title: Deep Convolutional and Recurrent Networks for Polyphonic Instrument Classification from Monophonic Raw Audio Waveforms

abstract: Sound Event Detection and Audio Classification tasks are traditionally addressed through time-frequency representations of audio signals such as spectrograms. However, the emergence of deep neural networks as efficient feature extractors has enabled the direct use of audio signals for classification purposes. In this paper, we attempt to recognize musical instruments in polyphonic audio by only feeding their raw waveforms into deep learning models. Various recurrent and convolutional architectures incorporating residual connections are examined and parameterized in order to build end-to-end classi-fiers with low computational cost and only minimal preprocessing. We obtain competitive classification scores and useful instrument-wise insight through the IRMAS test set, utilizing a parallel CNN-BiGRU model with multiple residual connections, while maintaining a significantly reduced number of trainable parameters.


title: Characterization of Weyl functions in the class of operator-valued generalized Nevanlinna functions

abstract: We provide the necessary and sufficient conditions for a generalized Nevanlinna function $Q$ ($Q\in N_{\kappa }\left( \mathcal{H} \right)$) to be a Weyl function (also known as a Weyl-Titchmarch function). We also investigate an important subclass of $N_{\kappa }(\mathcal{H})$, the functions that have a boundedly invertible derivative at infinity $Q'\left( \infty \right):=\lim \limits_{z \to \infty}{zQ(z)}$. These functions are regular and have the operator representation $Q\left( z \right)=\tilde{\Gamma}^{+}\left( A-z \right)^{-1}\tilde{\Gamma},z\in \rho \left( A \right)$, where $A$ is a bounded self-adjoint operator in a Pontryagin space $\mathcal{K}$. We prove that every such strict function $Q$ is a Weyl function associated with the symmetric operator $S:=A_{\vert (I-P)\mathcal{K}}$, where $P$ is the orthogonal projection, $P:=\tilde{\Gamma} \left( \tilde{\Gamma}^{+} \tilde{\Gamma} \right)^{-1} \tilde{\Gamma}^{+} $. Additionally, we provide the relation matrices of the adjoint relation $S^{+}$ of $S$, and of $\hat{A}$, where $\hat{A}$ is the representing relation of $\hat{Q}:=-Q^{-1}$. We illustrate our results through examples, wherein we begin with a given function $Q\in N_{\kappa }\left( \mathcal{H} \right)$ and proceed to determine the closed symmetric linear relation $S$ and the boundary triple $\Pi$ so that $Q$ becomes the Weyl function associated with $\Pi$.


title: Internal structure of cuscuton Bloch brane

abstract: This work deals with thick branes in bulk with a single extra dimension modeled by a two-field configuration. We first consider the inclusion of the cuscuton to also control the dynamics of one of the fields and investigate how it contributes to change the internal structure of the configuration in two distinct situations, with the standard and the asymmetric Bloch brane. The results show that the branes get a rich internal structure, with the geometry presenting a novel behavior which is also governed by the parameter that controls the strength of the cuscuton term. We also study the case where the dynamics of one of the two fields is only described by the cuscuton. All the models support analytical solutions which are stable against fluctuations in the metric, and the main results unveil significant modifications in the warp factor and energy density of the branes.


title: Revisiting Smoothed Online Learning

abstract: In this paper, we revisit the problem of smoothed online learning, in which the online learner suffers both a hitting cost and a switching cost, and target two performance metrics: competitive ratio and dynamic regret with switching cost. To bound the competitive ratio, we assume the hitting cost is known to the learner in each round, and investigate the simple idea of balancing the two costs by an optimization problem. Surprisingly, we find that minimizing the hitting cost alone is $\max(1, \frac{2}{\alpha})$-competitive for $\alpha$-polyhedral functions and $1 + \frac{4}{\lambda}$-competitive for $\lambda$-quadratic growth functions, both of which improve state-of-the-art results significantly. Moreover, when the hitting cost is both convex and $\lambda$-quadratic growth, we reduce the competitive ratio to $1 + \frac{2}{\sqrt{\lambda}}$ by minimizing the weighted sum of the hitting cost and the switching cost. To bound the dynamic regret with switching cost, we follow the standard setting of online convex optimization, in which the hitting cost is convex but hidden from the learner before making predictions. We modify Ader, an existing algorithm designed for dynamic regret, slightly to take into account the switching cost when measuring the performance. The proposed algorithm, named as Smoothed Ader, attains an optimal $O(\sqrt{T(1+P_T)})$ bound for dynamic regret with switching cost, where $P_T$ is the path-length of the comparator sequence. Furthermore, if the hitting cost is accessible in the beginning of each round, we obtain a similar guarantee without the bounded gradient condition, and establish an $\Omega(\sqrt{T(1+P_T)})$ lower bound to confirm the optimality.


title: Multi-Channel Speech Enhancement using Graph Neural Networks

abstract: Multi-channel speech enhancement aims to extract clean speech from a noisy mixture using signals captured from multiple microphones. Recently proposed methods tackle this problem by incorporating deep neural network models with spatial filtering techniques such as the minimum variance distortionless response (MVDR) beamformer. In this paper, we introduce a different research direction by viewing each audio channel as a node lying in a non-Euclidean space and, specifically, a graph. This formulation allows us to apply graph neural networks (GNN) to find spatial correlations among the different channels (nodes). We utilize graph convolution networks (GCN) by incorporating them in the embedding space of a U-Net architecture. We use LibriSpeech dataset and simulate room acoustics data to extensively experiment with our approach using different array types, and number of microphones. Results indicate the superiority of our approach when compared to prior state-of-the-art method.


title: Strong Brascamp-Lieb Inequalities

abstract: In this paper, we derive sharp nonlinear dimension-free Brascamp--Lieb inequalities (including hypercontractivity inequalities) for distributions on Polish spaces, which strengthen the classic Brascamp--Lieb inequalities. Applications include the extension of Mrs. Gerber's lemma to the cases of R\'enyi divergences and distributions on Polish spaces, the strengthening of small-set expansion theorems, and the characterization of the exponent of the $q$-stability. Our proofs in this paper are based on information-theoretic and coupling techniques.


title: Riemann zeros from a periodically-driven trapped ion

abstract: The non-trivial zeros of the Riemann zeta function are central objects in number theory. In particular, they enable one to reproduce the prime numbers. They have also attracted the attention of physicists working in Random Matrix Theory and Quantum Chaos for decades. Here we present an experimental observation of the lowest non-trivial Riemann zeros by using a trapped ion qubit in a Paul trap, periodically driven with microwave fields. The waveform of the driving is engineered such that the dynamics of the ion is frozen when the driving parameters coincide with a zero of the real component of the zeta function. Scanning over the driving amplitude thus enables the locations of the Riemann zeros to be measured experimentally to a high degree of accuracy, providing a physical embodiment of these fascinating mathematical objects in the quantum realm.


title: Thermodynamics of partonic matter in relativistic heavy-ion collisions from a multiphase transport model

abstract: Using the string melting version of a multiphase transport model, we focus on the evolution of thermodynamic properties of the central cell of parton matter produced in Au$+$Au collisions ranging from 200 GeV down to 2.7 GeV. The temperature and chemical potentials have been calculated based on both Boltzmann and quantum statistics in order to locate their evolution trajectories in the QCD phase diagram. We demonstrate that the trajectories can depend on many physical factors, especially the finite nuclear thickness at lower energies. However, from the evolution of pressure anisotropy, only partial thermalization can be achieved when the partonic systems reach the predicted QCD phase boundary. It provides some helpful insights to studying the QCD phase structure through relativistic heavy-ion collisions.


title: Configurational Entropy in Chaplygin Gas Models

abstract: The present work employs the Linder parametrization of a constant growth index \cite{linder/index} to investigate the evolution of growth rate of clustering and the dissipation of configurational entropy in some of the most widely studied Chaplygin gas models, such as the generalized Chaplygin gas and the modified Chaplygin gas. The model parameters of the Chaplygin gas models are found to play a vital role in the evolution of growth rate, dark energy density parameter, EoS parameter, and configurational entropy. Furthermore, the work communicates the rate of change of configurational entropy to attain a minimum which depend solely on the choice of model parameters and that there exist suitable parameter combinations giving rise to a viable dissipation of configurational entropy, and therefore certifying its time derivative to hit a minimum at a scale factor which complies with the current observational constraints on the redshift of transition from a dust to an accelerated Universe and thereby making Chaplygin gas models a viable candidate for dark energy.


title: Optimal Streaming Algorithms for Graph Matching

abstract: We present parameterized streaming algorithms for the graph matching problem in both the dynamic and the insert-only models. For the dynamic streaming model, we present a one-pass algorithm that, with high probability, computes a maximum-weight $k$-matching of a weighted graph in $\tilde{O}(Wk^2)$ space and that has $\tilde{O}(1)$ update time, where $W$ is the number of distinct edge weights and the notation $\tilde{O}()$ hides a poly-logarithmic factor in the input size. For the insert-only streaming model, we present a one-pass algorithm that runs in $O(k^2)$ space and has $O(1)$ update time, and that, with high probability, computes a maximum-weight $k$-matching of a weighted graph. The space complexity and the update-time complexity achieved by our algorithms for unweighted $k$-matching in the dynamic model and for weighted $k$-matching in the insert-only model are optimal. A notable contribution of this paper is that the presented algorithms {\it do not} rely on the apriori knowledge/promise that the cardinality of \emph{every} maximum-weight matching of the input graph is upper bounded by the parameter $k$. This promise has been a critical condition in previous works, and lifting it required the development of new tools and techniques.


title: HAWKS: Evolving Challenging Benchmark Sets for Cluster Analysis

abstract: Comprehensive benchmarking of clustering algorithms is rendered difficult by two key factors: (i)~the elusiveness of a unique mathematical definition of this unsupervised learning approach and (ii)~dependencies between the generating models or clustering criteria adopted by some clustering algorithms and indices for internal cluster validation. Consequently, there is no consensus regarding the best practice for rigorous benchmarking, and whether this is possible at all outside the context of a given application. Here, we argue that synthetic datasets must continue to play an important role in the evaluation of clustering algorithms, but that this necessitates constructing benchmarks that appropriately cover the diverse set of properties that impact clustering algorithm performance. Through our framework, HAWKS, we demonstrate the important role evolutionary algorithms play to support flexible generation of such benchmarks, allowing simple modification and extension. We illustrate two possible uses of our framework: (i)~the evolution of benchmark data consistent with a set of hand-derived properties and (ii)~the generation of datasets that tease out performance differences between a given pair of algorithms. Our work has implications for the design of clustering benchmarks that sufficiently challenge a broad range of algorithms, and for furthering insight into the strengths and weaknesses of specific approaches.


title: Existential rank and essential dimension of diophantine sets

abstract: We study the minimal number of existential quantifiers needed to define a diophantine set over a field and relate this number to the essential dimension of the functor of points associated to such a definition.


title: Rotation-Equivariant Deep Learning for Diffusion MRI

abstract: Convolutional networks are successful, but they have recently been outperformed by new neural networks that are equivariant under rotations and translations. These new networks work better because they do not struggle with learning each possible orientation of each image feature separately. So far, they have been proposed for 2D and 3D data. Here we generalize them to 6D diffusion MRI data, ensuring joint equivariance under 3D roto-translations in image space and the matching 3D rotations in $q$-space, as dictated by the image formation. Such equivariant deep learning is appropriate for diffusion MRI, because microstructural and macrostructural features such as neural fibers can appear at many different orientations, and because even non-rotation-equivariant deep learning has so far been the best method for many diffusion MRI tasks. We validate our equivariant method on multiple-sclerosis lesion segmentation. Our proposed neural networks yield better results and require fewer scans for training compared to non-rotation-equivariant deep learning. They also inherit all the advantages of deep learning over classical diffusion MRI methods. Our implementation is available at https://github.com/philip-mueller/equivariant-deep-dmri and can be used off the shelf without understanding the mathematical background.


title: Goods Transportation Problem Solving via Routing Algorithm

abstract: This paper outlines the ideas behind developing a graph-based heuristic-driven routing algorithm designed for a particular instance of a goods transportation problem with a single good type. The proposed algorithm solves the optimization problem of satisfying the demand of goods on a given undirected transportation graph with minimizing the estimated cost for each traversed segment of the delivery path. The operation of the routing algorithm is discussed and overall evaluation of the proposed problem solving technique is given.


title: Multi-class Generative Adversarial Nets for Semi-supervised Image Classification

abstract: From generating never-before-seen images to domain adaptation, applications of Generative Adversarial Networks (GANs) spread wide in the domain of vision and graphics problems. With the remarkable ability of GANs in learning the distribution and generating images of a particular class, they can be used for semi-supervised classification tasks. However, the problem is that if two classes of images share similar characteristics, the GAN might learn to generalize and hinder the classification of the two classes. In this paper, we use various images from MNIST and Fashion-MNIST datasets to illustrate how similar images cause the GAN to generalize, leading to the poor classification of images. We propose a modification to the traditional training of GANs that allows for improved multi-class classification in similar classes of images in a semi-supervised learning framework.


title: Hard color-singlet exchange in dijet events in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Events where the two leading jets are separated by a pseudorapidity interval devoid of particle activity, known as jet-gap-jet events, are studied in proton-proton collisions at $\sqrt{s} =$ 13 TeV. The signature is expected from hard color-singlet exchange. Each of the highest transverse momentum ($p_\mathrm{T}$) jets must have $p_\mathrm{T}^\text{jet}$ $\gt$ 40 GeV and pseudorapidity 1.4 $\lt$ $|\eta^\text{jet}|$ $\lt$ 4.7, with $\eta^\text{jet1} \eta^\text{jet2}$ $\lt$ 0, where $\text{jet1}$ and $\text{jet2}$ are the leading and subleading jets in $p_\mathrm{T}$, respectively. The analysis is based on data collected by the CMS and TOTEM experiments during a low luminosity, high-$\beta^*$ run at the CERN LHC in 2015, with an integrated luminosity of 0.66 pb$^{-1}$. Events with a low number of charged particles with $p_\mathrm{T}$ $\gt$ 0.2 GeV in the interval $|\eta|$ $\lt$ 1 between the jets are observed in excess of calculations that assume only color-exchange. The fraction of events produced via color-singlet exchange, $f_\text{CSE}$, is measured as a function of $p_\mathrm{T}^\text{jet2}$, the pseudorapidity difference between the two leading jets, and the azimuthal angular separation between the two leading jets. The fraction $f_\text{CSE}$ has values of 0.4-1.0%. The results are compared with previous measurements and with predictions from perturbative quantum chromodynamics. In addition, the first study of jet-gap-jet events detected in association with an intact proton using a subsample of events with an integrated luminosity of 0.40 pb$^{-1}$ is presented. The intact protons are detected with the Roman pot detectors of the TOTEM experiment. The $f_\text{CSE}$ in this sample is 2.91 $\pm$ 0.70 (stat) $^{+1.08}_{-1.01}$ (syst) times larger than that for inclusive dijet production in dijets with similar kinematics.


title: $m$-quasi Einstein manifolds with convex potential

abstract: The main objective of this paper is to investigate the $m$-quasi Einstein manifold when the potential function becomes convex. In this article, it is proved that an $m$-quasi Einstein manifold satisfying some integral conditions with vanishing Ricci curvature along the direction of potential vector field has constant scalar curvature and hence the manifold turns out to be an Einstein manifold. It is also shown that in an $m$-quasi Einstein manifold the potential function agrees with Hodge-de Rham potential up to a constant. Finally, it is proved that if a complete non-compact and non-expanding $m$-quasi Einstein manifold has bounded scalar curvature and the potential vector field has global finite norm, then the scalar curvature vanishes.


title: Freely floating objects on a fluid governed by the Boussinesq equations

abstract: We investigate here the interactions of waves governed by a Boussinesq system with a partially immersed body allowed to move freely in the vertical direction. We show that the whole system of equations can be reduced to a transmission problem for the Boussinesq equations with transmission conditions given in terms of the vertical displacement of the object and of the average horizontal discharge beneath it; these two quantities are in turn determined by two nonlinear ODEs with forcing terms coming from the exterior wave-field. Understanding the dispersive contribution to the added mass phenomenon allows us to solve these equations, and a new dispersive hidden regularity effect is used to derive uniform estimates with respect to the dispersive parameter. We then derive an abstract general Cummins equation describing the motion of the solid in the return to equilibrium problem and show that it takes an explicit simple form in two cases, namely, the nonlinear non dispersive and the linear dispersive cases; we show in particular that the decay rate towards equilibrium is much smaller in the presence of dispersion. The latter situation also involves an initial boundary value problem for a nonlocal scalar equation that has an interest of its own and for which we consequently provide a general analysis.


title: The Surface response around a sharply resonant surface polariton mode is simply a Lorentzian

abstract: At the planar interface between a material and vacuum, the complex surface response S(omega)=[eps(omega) 1]/[eps(omega)+1], with eps(omega) the relative complex dielectric permittivity of the material, exhibit resonances, typical of the surface polariton modes, when eps(omega) ~ 1. We show that for a moderately sharp resonance, S(omega) is satisfactorily described with a mere (complex) Lorentzian, independently of the details affecting the various bulk resonances describing ) eps(omega). Remarkably, this implies a quantitative correlation between the resonant behaviors of Re[S(omega)] and Im[S(omega)], respectively associated to dispersive and dissipative effects in the surface near-field. We show that this "strong resonance" approximation easily applies, and discuss its limits, based upon published data for sapphire, CaF2 and BaF2. Extension to interfaces between two media or to a non planar interface is briefly considered.


title: Isomorphs in nanoconfined liquids

abstract: We study in this paper the possible existence of Roskilde-simple liquids and their isomorphs in a rough-wall nanoconfinement. Isomorphs are curves in the thermodynamic phase diagram along which structure and dynamics are invariant in suitable nondimensionalized units. Two model liquids using molecular dynamics computer simulations are considered: the single-component Lennard-Jones (LJ) liquid and the Kob-Andersen binary LJ mixture, both of which in the bulk phases are known to have isomorphs. Nanoconfinement is implemented by adopting a slit-pore geometry with fcc crystalline walls; this implies inhomogenous density profiles both parallel and perpendicular to the confining walls. Despite this fact and consistent with an earlier study [Ingebrigtsen et. al, Phys. Rev. Lett. 111, 235901 (2013)] we find that these nanoconfined liquids have isomorphs to a good approximation. More specifically, we show good scaling of inhomogenous density profiles, mean-square displacements, and higher-order structures probed using the topological cluster classification algorithm along the isomorphs. From this study, we conjecture that in experiments, Roskilde-simple liquids may exhibit isomorphs if confined in a suitable manner, for example with carbon nanotubes. Our study thus provides an alternative framework for understanding nanoconfined liquids.


title: Sequential Recommendation in Online Games with Multiple Sequences, Tasks and User Levels

abstract: Online gaming is growing faster than ever before, with increasing challenges of providing better user experience. Recommender systems (RS) for online games face unique challenges since they must fulfill players' distinct desires, at different user levels, based on their action sequences of various action types. Although many sequential RS already exist, they are mainly single-sequence, single-task, and single-user-level. In this paper, we introduce a new sequential recommendation model for multiple sequences, multiple tasks, and multiple user levels (abbreviated as M$^3$Rec) in Tencent Games platform, which can fully utilize complex data in online games. We leverage Graph Neural Network and multi-task learning to design M$^3$Rec in order to model the complex information in the heterogeneous sequential recommendation scenario of Tencent Games. We verify the effectiveness of M$^3$Rec on three online games of Tencent Games platform, in both offline and online evaluations. The results show that M$^3$Rec successfully addresses the challenges of recommendation in online games, and it generates superior recommendations compared with state-of-the-art sequential recommendation approaches.


title: Energy conditions for a $(WRS)_4$ spacetime in $F(R)$-gravity

abstract: The objective of the present paper is to study 4-dimensional weakly Ricci symmetric spacetimes $(WRS)_4$ with non-zero constant Ricci scalar. We prove that such a $(WRS)_4$ satisfying $F(R)$-gravity field equations represents a perfect fluid with vanishing vorticity. Some energy conditions are studied under the current setting to constrain the functional form of $F(R)$. We examine a couple of popular toy models in $F(R)$-gravity, $F(R)=e^{\alpha R}$ where $\alpha$ is constant and $F(R)=R-\beta \tanh(R)$, $\beta$ is a constant. We also find that the equation of state parameter (EoS) in both models supports the universe's accelerating behavior, i.e., $\omega=-1$. According to the recently suggested observations of accelerated expansion, both cases define that the null, weak, and dominant energy conditions justify their requirements while the strong energy conditions violate them.


title: A new setup for giant soap films characterization

abstract: Artists, using an empirical knowledge, manage to generate and play with giant soap films and bubbles. Until now, scientific studies of soap films generated at a controlled velocity and without any feeding from the top, studied films of a few square centimeters. The present work aims to present a new setup to generate and characterize giant soap films (2~m $\times$ 0.7~m). Our setup is enclosed in a humidity-controlled box of 2.2~m high, 1~m long and 0.75~m large. Soap films are entrained by a fishing line withdrawn out of a bubbling solution at various velocities. We measure the maximum height of the generated soap films, as well as their lifetime, thanks to an automatic detection. This is allowed by light-sensitive resistors collecting the light reflected on the soap films and ensures robust statistical measurements. In the meantime, thickness measurements are performed with a UV-VIS-spectrometer, allowing us to map the soap films thickness over time.


title: Time-fractional kinetic equation for the non-Markovian kinetic processes

abstract: In this study, we analytically formulated the path integral representation of the conditional probabilities for non-Markovian kinetic processes in terms of the free energy of the thermodynamic system. We carry out analytically the time-fractional kinetic equations for these processes. Thus, in a simple way, we generalize path integral solutions of the Markovian to the non-Markovian cases. We conclude that these pedagogical results can be applied to some physical problems such as the deformed ion channels, internet networks and non-equilibrium phase transition problems.


title: An Efficient QOS Based Multimedia Content Distribution Mechanism in P2P Network

abstract: Peer-to-peer network is one in which each node in the network can act as a client or server for the other nodes in the network. It allows shared access to various resources such as files, peripherals, and sensors without the need for a central server. Content distribution in the P2P network from server is done by multicasting. Multicasting is the process of sending the data to the multiple designations. This technology is highly efficient for the large scale multimedia content delivery in P2P network where the end peer have identical set of system components. But in reality, the peers have heterogeneous set of requirements for different service levels as well as different service components. The ability to provide differentiated services to each peer with widely varying requirements is becoming important. We need to provide differentiated Services above the existing shared network infrastructure. The solution proposed to solve the above said problem is to provide individualized service to each peer. It focuses on constructing and maintaining an efficient multiple overlay multicast tree structure in the P2P network. The tree maintenance process is governed by two mechanisms called as dynamic reconfiguration driven by peer and less frequent tree maintenance by network status change observation. In this paper new scalable architecture is constructed and analysed based on the above strategies.


title: Improving Automated Visual Fault Detection by Combining a Biologically Plausible Model of Visual Attention with Deep Learning

abstract: It is a long-term goal to transfer biological processing principles as well as the power of human recognition into machine vision and engineering systems. One of such principles is visual attention, a smart human concept which focuses processing on a part of a scene. In this contribution, we utilize attention to improve the automatic detection of defect patterns for wafers within the domain of semiconductor manufacturing. Previous works in the domain have often utilized classical machine learning approaches such as KNNs, SVMs, or MLPs, while a few have already used modern approaches like deep neural networks (DNNs). However, one problem in the domain is that the faults are often very small and have to be detected within a larger size of the chip or even the wafer. Therefore, small structures in the size of pixels have to be detected in a vast amount of image data. One interesting principle of the human brain for solving this problem is visual attention. Hence, we employ here a biologically plausible model of visual attention for automatic visual inspection. We propose a hybrid system of visual attention and a deep neural network. As demonstrated, our system achieves among other decisive advantages an improvement in accuracy from 81% to 92%, and an increase in accuracy for detecting faults from 67% to 88%. Hence, the error rates are reduced from 19% to 8%, and notably from 33% to 12% for detecting a fault in a chip. These results show that attention can greatly improve the performance of visual inspection systems. Furthermore, we conduct a broad evaluation, identifying specific advantages of the biological attention model in this application, and benchmarks standard deep learning approaches as an alternative with and without attention. This work is an extended arXiv version of the original conference article published in "IECON 2020", which has been extended regarding visual attention.


title: Tight factorizations of girth-$g$-regular graphs

abstract: Girth-regular graphs with equal girth, regular degree and chromatic index are studied for the determination of 1-factorizations with each 1-factor intersecting every girth cycle. Applications to hamiltonian decomposability and to 3-dimensional geometry are given. Applications are suggested for priority assignment and optimization problems.


title: Identifying symmetries and predicting cluster synchronization in complex networks

abstract: Symmetries in a network connectivity regulate how the graph's functioning organizes into clustered states. Classical methods for tracing the symmetry group of a network require very high computational costs, and therefore they are of hard, or even impossible, execution for large sized graphs. We here unveil that there is a direct connection between the elements of the eigen-vector centrality and the clusters of a network. This gives a fresh framework for cluster analysis in undirected and connected graphs, whose computational cost is linear in $N$. We show that the cluster identification is in perfect agreement with symmetry based analyses, and it allows predicting the sequence of synchronized clusters which form before the eventual occurrence of global synchronization.


title: Topological scattering singularities and embedded eigenstates for polarization control and sensing applications

abstract: Epsilon-near-zero and epsilon near-pole materials enable reflective systems supporting a class of symmetry-protected and accidental embedded eigenstates (EE) characterized by a diverging phase-resonance. Here we show that pairs of topologically protected scattering singularities necessarily emerge from EEs when a non-Hermitian parameter is introduced, lifting the degeneracy between oppositely charged singularities. The underlying topological charges are characterized by an integer winding number and appear as phase vortices of the complex reflection coefficient. By creating and annihilating them, we show that these singularities obey charge conservation, and provide versatile control of amplitude, phase and polarization in reflection, with potential applications for polarization control and sensing.


title: Euclidean Affine Functions and Applications to Calendar Algorithms

abstract: We study properties of Euclidean affine functions (EAFs), namely those of the form $f(r) = (\alpha\cdot r + \beta)/\delta$, and their closely related expression $\mathring{f}(r) = (\alpha\cdot r + \beta)\%\delta$, where $r$, $\alpha$, $\beta$ and $\delta$ are integers, and where $/$ and $\%$ respectively denote the quotient and remainder of Euclidean division. We derive algebraic relations and numerical approximations that are important for the efficient evaluation of these expressions in modern CPUs. Since simple division and remainder are particular cases of EAFs (when $\alpha = 1$ and $\beta = 0$), the optimisations proposed in this paper can also be appplied to them. Such expressions appear in some of the most common tasks in any computer system, such as printing numbers, times and dates. We use calendar calculations as the main application example because it is richer with respect to the number of EAFs employed. Specifically, the main application presented in this article relates to Gregorian calendar algorithms. We will show how they can be implemented substantially more efficiently than is currently the case in widely used C, C++, C# and Java open source libraries. Gains in speed of a factor of two or more are common.


title: CrossLight: A Cross-Layer Optimized Silicon Photonic Neural Network Accelerator

abstract: Domain-specific neural network accelerators have seen growing interest in recent years due to their improved energy efficiency and inference performance compared to CPUs and GPUs. In this paper, we propose a novel cross-layer optimized neural network accelerator called CrossLight that leverages silicon photonics. CrossLight includes device-level engineering for resilience to process variations and thermal crosstalk, circuit-level tuning enhancements for inference latency reduction, and architecture-level optimization to enable higher resolution, better energy-efficiency, and improved throughput. On average, CrossLight offers 9.5x lower energy-per-bit and 15.9x higher performance-per-watt at 16-bit resolution than state-of-the-art photonic deep learning accelerators.


title: PerSim: Data-Efficient Offline Reinforcement Learning with Heterogeneous Agents via Personalized Simulators

abstract: We consider offline reinforcement learning (RL) with heterogeneous agents under severe data scarcity, i.e., we only observe a single historical trajectory for every agent under an unknown, potentially sub-optimal policy. We find that the performance of state-of-the-art offline and model-based RL methods degrade significantly given such limited data availability, even for commonly perceived "solved" benchmark settings such as "MountainCar" and "CartPole". To address this challenge, we propose PerSim, a model-based offline RL approach which first learns a personalized simulator for each agent by collectively using the historical trajectories across all agents, prior to learning a policy. We do so by positing that the transition dynamics across agents can be represented as a latent function of latent factors associated with agents, states, and actions; subsequently, we theoretically establish that this function is well-approximated by a "low-rank" decomposition of separable agent, state, and action latent functions. This representation suggests a simple, regularized neural network architecture to effectively learn the transition dynamics per agent, even with scarce, offline data. We perform extensive experiments across several benchmark environments and RL methods. The consistent improvement of our approach, measured in terms of both state dynamics prediction and eventual reward, confirms the efficacy of our framework in leveraging limited historical data to simultaneously learn personalized policies across agents.


title: The Life of a Surface Bubble

abstract: Surface bubbles are present in many industrial processes and in nature, as well as in CO$_2$ beverage. They have motivated many theoretical, numerical and experimental works. This paper presents the current knowledge on the physics of surface bubbles lifetime and shows the diversity of mechanisms at play that depend on the properties of the bath, the interfaces and the ambient air. In particular, we explore the role of drainage and evaporation on film thinning. We highlight the existence of two different scenarios depending on whether the film cap ruptures at large or small thickness compared to the thickness at which van der Waals interaction come in to play.


title: Classical algorithms for Forrelation

abstract: We study the forrelation problem: given a pair of $n$-bit Boolean functions $f$ and $g$, estimate the correlation between $f$ and the Fourier transform of $g$. This problem is known to provide the largest possible quantum speedup in terms of its query complexity and achieves the landmark oracle separation between the complexity class BQP and the Polynomial Hierarchy. Our first result is a classical algorithm for the forrelation problem which has runtime $O(n2^{n/2})$. This is a nearly quadratic improvement over the best previously known algorithm. Secondly, we show that quantum query algorithm that makes $t$ queries to an $n$-bit oracle can be simulated by classical query algorithm making only $O(2^{n(1-1/2t)})$ queries. This fixes a gap in the literature arising from a recently discovered critical error in a previous proof; it matches recently established lower bounds (up to $poly(n,t))$ factors) and thus characterizes the maximal separation in query complexity between quantum and classical algorithms. Finally, we introduce a graph-based forrelation problem where $n$ binary variables live at vertices of some fixed graph and the functions $f,g$ are products of terms describing interactions between nearest-neighbor variables. We show that the graph-based forrelation problem can be solved on a classical computer in time $O(n)$ for any bipartite graph, any planar graph, or, more generally, any graph which can be partitioned into two subgraphs of constant treewidth. The graph-based forrelation is simply related to the variational energy achieved by the Quantum Approximate Optimization Algorithm (QAOA) with two entangling layers and Ising-type cost functions. By exploiting the connection between QAOA and the graph-based forrelation we were able to simulate the recently proposed Recursive QAOA with two entangling layers and $225$ qubits on a laptop computer.


title: Impact of h-index on authors ranking: A comparative analysis of Scopus and WoS

abstract: In academia, the research performance of the faculty members is either evaluated by the number of publications or the number of citations. Most of the time h-index is widely used during the hiring process or the faculty performance evaluation. The calculation of the h-index is shown in various databases; however, there is no recent or systematic evidence about the differences between them. In this study, we compare the difference in the h-index compiled with Scopus and Web of Science (WoS) with the aim of analyzing the ranking of the authors within a university. We analyze the publication records of 350 authors from Monash University (Australia). We also investigate the discipline wise variation in the authors ranking. 31% of the author's profiles show no variation in the two datasets whereas 55% of the author's profiles show a higher count in Scopus and 9% in WoS. The maximum difference in h-index count among Scopus and WoS is 3. On average 12.4% of publications per author are unique in Scopus and 4.1% in WoS. 53.5% of publications are common in both Scopus and WoS. Despite larger unique publications in Scopus, there is no difference shown in the Spearman correlation coefficient between WoS and Scopus citation counts and h-index.


title: On rough $I^*$ and $I^K$-convergence of sequences in normed linear spaces

abstract: In this paper, we have introduced first the notion of rough $I^*$-convergence in a normed linear space as an extension work of rough $I$-convergence and then rough $I^K$-convergence in more general way. Then we have studied some properties on these two newly introduced ideas. We also examined the relationship between rough $I$-convergence with both of rough $I^*$-convergence and rough $I^K$-convergence.


title: Graph Convolution for Semi-Supervised Classification: Improved Linear Separability and Out-of-Distribution Generalization

abstract: Recently there has been increased interest in semi-supervised classification in the presence of graphical information. A new class of learning models has emerged that relies, at its most basic level, on classifying the data after first applying a graph convolution. To understand the merits of this approach, we study the classification of a mixture of Gaussians, where the data corresponds to the node attributes of a stochastic block model. We show that graph convolution extends the regime in which the data is linearly separable by a factor of roughly $1/\sqrt{D}$, where $D$ is the expected degree of a node, as compared to the mixture model data on its own. Furthermore, we find that the linear classifier obtained by minimizing the cross-entropy loss after the graph convolution generalizes to out-of-distribution data where the unseen data can have different intra- and inter-class edge probabilities from the training data.


title: $ (j-i)sg_\kappa^*$-closed sets and pairwise semi $ t_\omega$-axiom in bispaces

abstract: Here we have introduced the ideas of $ (j-i)sg_\kappa^*$-closed sets and a semi generalized closed set in a bispace; $ i,j=1,2; i\not=j $ and then have studied on pairwise semi $T_0 $-axiom, pairwise semi $T_1 $-axiom and pairwise semi $T_\omega $-axiom. We have investigated some of their topological properties and also established a relation among these axioms under some additional conditions.


title: Discrete Cosine Transform in JPEG Compression

abstract: Image Compression has become an absolute necessity in today's day and age. With the advent of the Internet era, compressing files to share among other users is quintessential. Several efforts have been made to reduce file sizes while still maintain image quality in order to transmit files even on limited bandwidth connections. This paper discusses the need for Discrete Cosine Transform or DCT in the compression of images in Joint Photographic Experts Group or JPEG file format. Via an intensive literature study, this paper first introduces DCT and JPEG Compression. The section preceding it discusses how JPEG compression is implemented by DCT. The last section concludes with further real world applications of DCT in image processing.


title: Alternative Detectors for Spectrum Sensing by Exploiting Excess Bandwidth

abstract: The problems regarding spectrum sensing are studied by exploiting a priori and a posteriori in information of the received noise variance. First, the traditional Average Likelihood Ratio (ALR) and the General Likelihood Ratio Test (GLRT) detectors are investigated under a Gamma distributed function as a channel noise, for the first time, under the availability of a priori statistical distribution about the noise variance. Then, two robust detectors are proposed using the exiting excess bandwidth to deliver a posteriori probability on the received noise variance uncertainty. The first proposed detector that is based on traditional ALR employs marginal distribution of the observation under available a priori and a posteriori of the received signal, while the second proposed detector employs the Maximum a posteriori (MAP) estimation of the inverse of the noise power under the same hypothesizes as the first detector. In addition, analytical expressions for the performance of the proposed detectors are obtained in terms of the false-alarm and detection probabilities. The simulation results exhibit the superiority of the proposed detectors over the traditional counterparts.


title: Littlewood-Paley-Rubio de Francia Inequality for the Two-parameter Walsh System

abstract: A version of Littlewood-Paley-Rubio de Francia inequality for the two-parameter Walsh system is proved: for any family of disjoint rectangles $I_k = I_k^1 \times I_k^2$ in ${\mathbb{Z}_+ \times \mathbb{Z}_+}$ and a family of functions $f_k$ with Walsh spectrum inside $I_k$ the following is true \[\left\lVert\sum\limits_k f_k\right\rVert_{L^p} \leq C_p \left\lVert\left(\sum\limits_k \left|f_k\right|^2\right)^{1/2}\right\rVert_{L^p}, \qquad 1 < p \leq 2,\] where $C_p$ does not depend on the choice of rectangles $\left\{I_k\right\}$ or functions $\left\{f_k\right\}$. The arguments are based on the atomic theory of two-parameter martingale Hardy spaces. In the course of the proof, a two-parameter version of Gundy's theorem on the boundedness of operators taking martingales to measurable functions is formulated, which might be of independent interest.


title: Stratified Homotopy Theory and a Whitehead Group for Stratified Spaces

abstract: In this master thesis, we extend results from classical simple homotopy theory to the world of stratified homotopy theory. To obtain a well-established framework to work in, we prove a series of results on two model categories of simplicial sets and topological spaces, both equipped with a notion of filtration, introduced by Sylvain Douteau in his PHD thesis. In particular, we show that there is a fully faithful embedding of homotopy categories from the (finite) filtered simplicial into the filtered topological setting. We also use these results to characterize the morphisms in the topological filtered homotopy category between filtered spaces that are triangulable and stratified in some very general sense as stratified homotopy classes of stratum preserving maps. Then, moving on to simple homotopy theory, we propose a class of combinatorial elementary expansions for filtered simplicial sets that generalize both the classical ones as well as a class of stratified expansions suggested by Banagl et al. We show that they fulfill a series of axioms, suggested by Eckmann and Siebenmann for the construction of simple homotopy theory. In doing so, we obtain a combinatorially defined Whitehead group and torsion for filtered simplicial sets (and hence also for triangulable stratified spaces). We then begin a detailed investigation of their formal properties, proving for example that a Mayer-Vietoris formula holds. Next, we apply our results on stratified homotopy theory to obtain a more topological description of the Whitehead group and to generalize the Whitehead torsion to arbitrary stratum preserving maps of triangulated filtered spaces. Finally, we prove that our simple homotopy theory is a generalization of the classical one, in the sense that it agrees with the latter when one considers trivially filtered simplicial sets as CW-complexes.


title: BPFContain: Fixing the Soft Underbelly of Container Security

abstract: Linux containers currently provide limited isolation guarantees. While containers separate namespaces and partition resources, the patchwork of mechanisms used to ensure separation cannot guarantee consistent security semantics. Even worse, attempts to ensure complete coverage results in a mishmash of policies that are difficult to understand or audit. Here we present BPFContain, a new container confinement mechanism designed to integrate with existing container management systems. BPFContain combines a simple yet flexible policy language with an eBPF-based implementation that allows for deployment on virtually any Linux system running a recent kernel. In this paper, we present BPFContain's policy language, describe its current implementation as integrated into docker, and present benchmarks comparing it with current container confinement technologies.


title: Efficient Deviation Types and Learning for Hindsight Rationality in Extensive-Form Games

abstract: Hindsight rationality is an approach to playing general-sum games that prescribes no-regret learning dynamics for individual agents with respect to a set of deviations, and further describes jointly rational behavior among multiple agents with mediated equilibria. To develop hindsight rational learning in sequential decision-making settings, we formalize behavioral deviations as a general class of deviations that respect the structure of extensive-form games. Integrating the idea of time selection into counterfactual regret minimization (CFR), we introduce the extensive-form regret minimization (EFR) algorithm that achieves hindsight rationality for any given set of behavioral deviations with computation that scales closely with the complexity of the set. We identify behavioral deviation subsets, the partial sequence deviation types, that subsume previously studied types and lead to efficient EFR instances in games with moderate lengths. In addition, we present a thorough empirical analysis of EFR instantiated with different deviation types in benchmark games, where we find that stronger types typically induce better performance.


title: A Non-Relativistic Limit of NS-NS Gravity

abstract: We discuss a particular non-relativistic limit of NS-NS gravity that can be taken at the level of the action and equations of motion, without imposing any geometric constraints by hand. This relies on the fact that terms that diverge in the limit and that come from the Vielbein in the Einstein-Hilbert term and from the kinetic term of the Kalb-Ramond two-form field cancel against each other. This cancelling of divergences is the target space analogue of a similar cancellation that takes place at the level of the string sigma model between the Vielbein in the kinetic term and the Kalb-Ramond field in the Wess-Zumino term. The limit of the equations of motion leads to one equation more than the limit of the action, due to the emergence of a local target space scale invariance in the limit. Some of the equations of motion can be solved by scale invariant geometric constraints. These constraints define a so-called Dilatation invariant String Newton-Cartan geometry.


title: Effect of cellular rearrangement time delays on the rheology of vertex models for confluent tissues

abstract: Large-scale tissue deformation during biological processes such as morphogenesis requires cellular rearrangements. The simplest rearrangement in confluent cellular monolayers involves neighbor exchanges among four cells, called a T1 transition, in analogy to foams. But unlike foams, cells must execute a sequence of molecular processes, such as endocytosis of adhesion molecules, to complete a T1 transition. Such processes could take a long time compared to other timescales in the tissue. In this work, we incorporate this idea by augmenting vertex models to require a fixed, finite time for T1 transitions, which we call the "T1 delay time". We study how variations in T1 delay time affect tissue mechanics, by quantifying the relaxation time of tissues in the presence of T1 delays and comparing that to the cell-shape based timescale that characterizes fluidity in the absence of any T1 delays. We show that the molecular-scale T1 delay timescale dominates over the cell shape-scale collective response timescale when the T1 delay time is the larger of the two. We extend this analysis to tissues that become anisotropic under convergent extension, finding similar results. Moreover, we find that increasing the T1 delay time increases the percentage of higher-fold coordinated vertices and rosettes, and decreases the overall number of successful T1s, contributing to a more elastic-like -- and less fluid-like -- tissue response. Our work suggests that molecular mechanisms that act as a brake on T1 transitions could stiffen global tissue mechanics and enhance rosette formation during morphogenesis.

categories: physics.bio-ph cond-mat.soft q-bio.CB q-bio.TO


title: Search for top squarks in final states with two top quarks and several light-flavor jets in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Many new physics models, including versions of supersymmetry characterized by $R$-parity violation (RPV), compressed mass spectra, long decay chains, or additional hidden sectors, predict the production of events with top quarks, low missing transverse momentum, and many additional quarks or gluons. The results of a search for new physics in events with two top quarks and additional jets are reported. The search is performed using events with at least seven jets and exactly one electron or muon. No requirement on missing transverse momentum is imposed. The study is based on a sample of proton-proton collisions at $\sqrt{s} =$ 13 TeV corresponding to 137 fb$^{-1}$ of integrated luminosity collected with the CMS detector at the LHC in 2016-2018. The data are used to determine best fit values and upper limits on the cross section for pair production of top squarks in scenarios of RPV and stealth supersymmetry. Top squark masses up to 670 (870) GeV are excluded at 95% confidence level for the RPV (stealth) scenario, and the maximum observed local signal significance is 2.8 standard deviations for the RPV scenario with top squark mass of 400 GeV.


title: Almost-linear-time Weighted $\ell_p$-norm Solvers in Slightly Dense Graphs via Sparsification

abstract: We give almost-linear-time algorithms for constructing sparsifiers with $n\ poly(\log n)$ edges that approximately preserve weighted $(\ell^{2}_2 + \ell^{p}_p)$ flow or voltage objectives on graphs. For flow objectives, this is the first sparsifier construction for such mixed objectives beyond unit $\ell_p$ weights, and is based on expander decompositions. For voltage objectives, we give the first sparsifier construction for these objectives, which we build using graph spanners and leverage score sampling. Together with the iterative refinement framework of [Adil et al, SODA 2019], and a new multiplicative-weights based constant-approximation algorithm for mixed-objective flows or voltages, we show how to find $(1+2^{-\text{poly}(\log n)})$ approximations for weighted $\ell_p$-norm minimizing flows or voltages in $p(m^{1+o(1)} + n^{4/3 + o(1)})$ time for $p=\omega(1),$ which is almost-linear for graphs that are slightly dense ($m \ge n^{4/3 + o(1)}$).


title: Matter-wave phase operators for quantum atom optics: On the possibility of experimental verification

abstract: In early 90's Mandel and coworkers performed an experiment \cite{mandel} to examine the significance of quantum phase operators by measuring the phase between two optical fields. We show that this type of quantum mechanical phase measurement is possible for matter-waves of ultracold atoms in a double well. In the limit of low number of atoms quantum and classical phases are drastically different. However, in the large particle number limit, they are quite similar. We assert that the matter-wave counterpart of the experiment \cite{mandel} is realizable with the evolving technology of atom optics.


title: Normalized Convolution Upsampling for Refined Optical Flow Estimation

abstract: Optical flow is a regression task where convolutional neural networks (CNNs) have led to major breakthroughs. However, this comes at major computational demands due to the use of cost-volumes and pyramidal representations. This was mitigated by producing flow predictions at quarter the resolution, which are upsampled using bilinear interpolation during test time. Consequently, fine details are usually lost and post-processing is needed to restore them. We propose the Normalized Convolution UPsampler (NCUP), an efficient joint upsampling approach to produce the full-resolution flow during the training of optical flow CNNs. Our proposed approach formulates the upsampling task as a sparse problem and employs the normalized convolutional neural networks to solve it. We evaluate our upsampler against existing joint upsampling approaches when trained end-to-end with a a coarse-to-fine optical flow CNN (PWCNet) and we show that it outperforms all other approaches on the FlyingChairs dataset while having at least one order fewer parameters. Moreover, we test our upsampler with a recurrent optical flow CNN (RAFT) and we achieve state-of-the-art results on Sintel benchmark with ~6% error reduction, and on-par on the KITTI dataset, while having 7.5% fewer parameters (see Figure 1). Finally, our upsampler shows better generalization capabilities than RAFT when trained and evaluated on different datasets.


title: Highly efficient parallel grand canonical simulations of interstitial-driven deformation-diffusion processes

abstract: Diffusion of interstitial alloying elements like H, O, C, and N in metals and their continuous relocation and interactions with their microstructures have crucial influences on metals properties. However, besides limitations in experimental tools in capturing these mechanisms, the inefficiency of numerical tools also inhibits modeling efforts. Here, we present an efficient framework to perform hybrid grand canonical Monte Carlo and molecular dynamics simulations that allow for parallel insertion/deletion of Monte Carlo moves. A new methodology for calculation of the energy difference at trial moves that can be applied to many-body potentials as well as pair ones is a primary feature of our implementation. We study H diffusion in Fe (ferrite phase) and Ni polycrystalline samples to demonstrate the efficiency and scalability of the algorithm and its application. The computational cost of using our framework for half a million atoms is a factor of 250 less than the cost of using existing libraries.


title: DNA codes over two noncommutative rings of order four

abstract: In this paper, we describe a new type of DNA codes over two noncommutative rings $E$ and $F$ of order four with characteristic 2. Our DNA codes are based on quasi self-dual codes over $E$ and $F$. Using quasi self-duality, we can describe fixed GC-content constraint weight distributions and reverse-complement constraint minimum distributions of those codes.


title: DeepRA: Predicting Joint Damage From Radiographs Using CNN with Attention

abstract: Joint damage in Rheumatoid Arthritis (RA) is assessed by manually inspecting and grading radiographs of hands and feet. This is a tedious task which requires trained experts whose subjective assessment leads to low inter-rater agreement. An algorithm which can automatically predict the joint level damage in hands and feet can help optimize this process, which will eventually aid the doctors in better patient care and research. In this paper, we propose a two-staged approach which amalgamates object detection and convolution neural networks with attention which can efficiently and accurately predict the overall and joint level narrowing and erosion from patients radiographs. This approach has been evaluated on hands and feet radiographs of patients suffering from RA and has achieved a weighted root mean squared error (RMSE) of 1.358 and 1.404 in predicting joint level narrowing and erosion Sharp van der Heijde (SvH) scores which is 31% and 19% improvement with respect to the baseline SvH scores, respectively. The proposed approach achieved a weighted absolute error of 1.456 in predicting the overall damage in hands and feet radiographs for the patients which is a 79% improvement as compared to the baseline. Our method also provides an inherent capability to provide explanations for model predictions using attention weights, which is essential given the black box nature of deep learning models. The proposed approach was developed during the RA2 Dream Challenge hosted by Dream Challenges and secured 4th and 8th position in predicting overall and joint level narrowing and erosion SvH scores from radiographs.


title: On the commuting probability for subgroups of a finite group

abstract: Let $K$ be a subgroup of a finite group $G$. The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$. Assume that $Pr(K,G)\geq\epsilon$ for some fixed $\epsilon>0$. We show that there is a normal subgroup $T\leq G$ and a subgroup $B\leq K$ such that the indexes $[G:T]$ and $[K:B]$ and the order of the commutator subgroup $[T,B]$ are $\epsilon$-bounded. This extends the well known theorem, due to P. M. Neumann, that covers the case where $K=G$. We deduce a number of corollaries of this result. A typical application is that if $K$ is the generalized Fitting subgroup $F^*(G)$ then $G$ has a class-2-nilpotent normal subgroup $R$ such that both the index $[G:R]$ and the order of the commutator subgroup $[R,R]$ are $\epsilon$-bounded. In the same spirit we consider the cases where $K$ is a term of the lower central series of $G$, or a Sylow subgroup, etc.


title: Learning low-rank latent mesoscale structures in networks

abstract: It is common to use networks to encode the architecture of interactions between entities in complex systems in the physical, biological, social, and information sciences. To study the large-scale behavior of complex systems, it is useful to examine mesoscale structures in networks as building blocks that influence such behavior. We present a new approach for describing low-rank mesoscale structures in networks, and we illustrate our approach using several synthetic network models and empirical friendship, collaboration, and protein--protein interaction (PPI) networks. We find that these networks possess a relatively small number of `latent motifs' that together can successfully approximate most subgraphs of a network at a fixed mesoscale. We use an algorithm for `network dictionary learning' (NDL), which combines a network-sampling method and nonnegative matrix factorization, to learn the latent motifs of a given network. The ability to encode a network using a set of latent motifs has a wide variety of applications to network-analysis tasks, such as comparison, denoising, and edge inference. Additionally, using a new network denoising and reconstruction (NDR) algorithm, we demonstrate how to denoise a corrupted network by using only the latent motifs that one learns directly from the corrupted network.

categories: cs.SI cs.LG math.OC physics.soc-ph stat.ML


title: Discounting the Past

abstract: Stochastic games with discounted payoff, introduced by Shapley, model adversarial interactions in stochastic environments where two players try to optimize a discounted sum of rewards. In this model, long-term weights are geometrically attenuated based on the delay in their occurrence. We propose a temporally dual notion -- called past-discounting -- where agents have geometrically decaying memory of the rewards encountered during a play of the game. We study objective functions based on past-discounted weight sequences and examine the corresponding stochastic games with liminf, discounted, and mean payoffs. For objectives specified as the limit inferior of past-discounted reward sequences, we show that positional determinacy fails and that optimal strategies may require unbounded memory. To overcome this obstacle, we study an approximate windowed objective based on the idea of using sliding windows of finite length to examine infinite plays. On the other hand, for objectives specified as the discounted and average limits of past-discounted reward sequences we establish determinacy in mixed stationary strategies in the setting of concurrent stochastic games and show how the values of these games may be computed via reductions to standard discounted and mean-payoff games.


title: How Framelets Enhance Graph Neural Networks

abstract: This paper presents a new approach for assembling graph neural networks based on framelet transforms. The latter provides a multi-scale representation for graph-structured data. We decompose an input graph into low-pass and high-pass frequencies coefficients for network training, which then defines a framelet-based graph convolution. The framelet decomposition naturally induces a graph pooling strategy by aggregating the graph feature into low-pass and high-pass spectra, which considers both the feature values and geometry of the graph data and conserves the total information. The graph neural networks with the proposed framelet convolution and pooling achieve state-of-the-art performance in many node and graph prediction tasks. Moreover, we propose shrinkage as a new activation for the framelet convolution, which thresholds high-frequency information at different scales. Compared to ReLU, shrinkage activation improves model performance on denoising and signal compression: noises in both node and structure can be significantly reduced by accurately cutting off the high-pass coefficients from framelet decomposition, and the signal can be compressed to less than half its original size with well-preserved prediction performance.


title: On $\mathbf{2\times2}$ determinants originating from survival probabilities in homogeneous discrete time risk model

abstract: We analyze $2\times 2$ Hankel-like determinants $D_n$ that arise in the initial values problem for the ultimate time survival probability $\varphi(u)$ in a homogeneous discrete time risk model $W(n)=u+\kappa n+\sum_{i=1}^nZ_i$, where $Z_i$ are positive integer valued i.i.d. random claims, the initial surplus $u \in \mathbb{N}_0$ and the income rate $\kappa=2$. We prove the asymptotic version of a recent conjecture on the non--vanishing and monotonicity of $D_n$ and derive explicit formulas for the initial values $\varphi(0)$, $\varphi(1)$ of a recurrence that yields survival probabilities. In cases when $Z_i$ are Bernoulli or Geometrically distributed, the conjecture on $D_n$ is shown to hold for all $n\in\mathbb{N}_0$. Additionally, a generating function $\Xi(s)$ for ultimate survival probabilities $\varphi(u)$ is derived.


title: Learning in Multi-Stage Decentralized Matching Markets

abstract: Matching markets are often organized in a multi-stage and decentralized manner. Moreover, participants in real-world matching markets often have uncertain preferences. This article develops a framework for learning optimal strategies in such settings, based on a nonparametric statistical approach and variational analysis. We propose an efficient algorithm, built upon concepts of "lower uncertainty bound" and "calibrated decentralized matching," for maximizing the participants' expected payoff. We show that there exists a welfare-versus-fairness trade-off that is characterized by the uncertainty level of acceptance. Participants will strategically act in favor of a low uncertainty level to reduce competition and increase expected payoff. We prove that participants can be better off with multi-stage matching compared to single-stage matching. We demonstrate aspects of the theoretical predictions through simulations and an experiment using real data from college admissions.


title: Model Synthesis for Communication Traces of System-on-Chip Designs

abstract: Concise and abstract models of system-level behaviors are invaluable in design analysis, testing, and validation. In this paper, we consider the problem of inferring models from communication traces of system-on-chip~(SoC) designs. The traces capture communications among different blocks of a SoC design in terms of messages exchanged. The extracted models characterize the system-level communication protocols governing how blocks exchange messages, and coordinate with each other to realize various system functions. In this paper, the above problem is formulated as a constraint satisfaction problem, which is then fed to a SMT solver. The solutions returned by the SMT solver are used to extract the models that accept the input traces. In the experiments, we demonstrate the proposed approach with traces collected from a transaction-level simulation model of a multicore SoC design and traces of a more detailed multicore SoC design developed in GEM5 environment.


title: Adaptive Network Modeling of Social Distancing Interventions

abstract: The COVID-19 pandemic has proved to be one of the most disruptive public health emergencies in recent memory. Among non-pharmaceutical interventions, social distancing and lockdown measures are some of the most common tools employed by governments around the world to combat the disease. While mathematical models of COVID-19 are ubiquitous, few have leveraged network theory in a general way to explain the mechanics of social distancing. In this paper, we build on existing network models for heterogeneous, clustered networks with random link activation/deletion dynamics to put forth realistic mechanisms of social distancing using piecewise constant activation/deletion rates. We find our models are capable of rich qualitative behavior, and offer meaningful insight with relatively few intervention parameters. In particular, we find that the severity of social distancing interventions and when they begin have more impact than how long it takes for the interventions to take full effect.


title: The first large scale collection of diverse Hausa language datasets

abstract: Hausa language belongs to the Afroasiatic phylum, and with more first-language speakers than any other sub-Saharan African language. With a majority of its speakers residing in the Northern and Southern areas of Nigeria and the Republic of Niger, respectively, it is estimated that over 100 million people speak the language. Hence, making it one of the most spoken Chadic language. While Hausa is considered well-studied and documented language among the sub-Saharan African languages, it is viewed as a low resource language from the perspective of natural language processing (NLP) due to limited resources to utilise in NLP-related tasks. This is common to most languages in Africa; thus, it is crucial to enrich such languages with resources that will support and speed the pace of conducting various downstream tasks to meet the demand of the modern society. While there exist useful datasets, notably from news sites and religious texts, more diversity is needed in the corpus. We provide an expansive collection of curated datasets consisting of both formal and informal forms of the language from refutable websites and online social media networks, respectively. The collection is large and more diverse than the existing corpora by providing the first and largest set of Hausa social media data posts to capture the peculiarities in the language. The collection also consists of a parallel dataset, which can be used for tasks such as machine translation with applications in areas such as the detection of spurious or inciteful online content. We describe the curation process -- from the collection, preprocessing and how to obtain the data -- and proffer some research problems that could be addressed using the data.


title: Blowing Big Bubbles

abstract: Although street artists have the know-how to blow bubbles over one meter in length, the bubble width is typically determined by the size of the hoop, or wand they use. In this article we explore a regime in which, by blowing gently, we generate bubbles with radius up to ten times larger than the wand. We observe the big bubbles at lowest air speeds, analogous to the dripping mode observed in droplet formation. We also explore the impact of the surfactant chosen to stabilize the bubbles. We are able to create bubbles of comparable size using either Fairy liquid, a commercially available detergent often used by street artists, or sodium dodecyl sulfate (SDS) solutions. The bubbles obtained from Fairy liquid detach from the wand and are stable for several seconds, however those from SDS tend to burst just before detachment.


title: The choice number versus the chromatic number for graphs embeddable on orientable surfaces

abstract: We show that for loopless $6$-regular triangulations on the torus the gap between the choice number and chromatic number is at most $2$. We also show that the largest gap for graphs embeddable in an orientable surface of genus $g$ is of the order $\Theta(\sqrt{g})$, and moreover for graphs with chromatic number of the order $o(\sqrt{g}/\log_{2}(g))$ the largest gap is of the order $o(\sqrt{g})$.


title: Data-Driven Vulnerability Detection and Repair in Java Code

abstract: Java platform provides various APIs to facilitate secure coding. However, correctly using security APIs is usually challenging for developers who lack cybersecurity training. Prior work shows that many developers misuse security APIs; such misuses can introduce vulnerabilities into software, void security protections, and present security exploits to hackers. To eliminate such API-related vulnerabilities, this paper presents SEADER -- our new approach that detects and repairs security API misuses. Given an exemplar, insecure code snippet, and its secure counterpart, SEADER compares the snippets and conducts data dependence analysis to infer the security API misuse templates and corresponding fixing operations. Based on the inferred information, given a program, SEADER performs inter-procedural static analysis to search for any security API misuse and to propose customized fixing suggestions for those vulnerabilities. To evaluate SEADER, we applied it to 25 <insecure, secure> code pairs, and SEADER successfully inferred 18 unique API misuse templates and related fixes. With these vulnerability repair patterns, we further applied SEADER to 10 open-source projects that contain in total 32 known vulnerabilities. Our experiment shows that SEADER detected vulnerabilities with 100% precision, 84% recall, and 91% accuracy. Additionally, we applied SEADER to 100 Apache open-source projects and detected 988 vulnerabilities; SEADER always customized repair suggestions correctly. Based on SEADER's outputs, we filed 60 pull requests. Up till now, developers of 18 projects have offered positive feedbacks on SEADER's suggestions. Our results indicate that SEADER can effectively help developers detect and fix security API misuses. Whereas prior work either detects API misuses or suggests simple fixes, SEADER is the first tool to do both for nontrivial vulnerability repairs.


title: Galois hulls of cyclic serial codes over a finite chain ring

abstract: In this paper, we explore some properties of Galois hulls of cyclic serial codes over a chain ring and we devise an algorithm for computing all the possible parameters of the Euclidean hulls of that codes. We also establish the average $p^r$-dimension of the Euclidean hull, where $\mathbb{F}_{p^r}$ is the residue field of $R$, and we provide some results of its relative growth.


title: Solving stochastic equations with unbounded nonlinear perturbations

abstract: This paper is interested in semilinear stochastic equations having unbounded nonlinear perturbations in the deterministic part and/or in the random part. Moreover, the linear part of these equations is governed by a not necessarily analytic semigroup. The main difficulty with these equations is how to define the concept of mild solutions due to the chosen type of unbounded perturbations. To overcome this problem, we first proved a regularity property of the stochastic convolution with respect to the domain of "admissible" unbounded linear operators (not necessarily closed or closable). This is done using Yosida extensions of such unbounded linear operators. After proving the well-posedness of these equations, we also establish the Feller property for the corresponding transition semigroups. Several examples like heat equations and schr\"odinger equations with nonlocal perturbations terms are given. Finally, we give an application to a general class of semilinear neutral stochastic equations.


title: A Novel Bio-Inspired Texture Descriptor based on Biodiversity and Taxonomic Measures

abstract: Texture can be defined as the change of image intensity that forms repetitive patterns, resulting from physical properties of the object's roughness or differences in a reflection on the surface. Considering that texture forms a complex system of patterns in a non-deterministic way, biodiversity concepts can help texture characterization in images. This paper proposes a novel approach capable of quantifying such a complex system of diverse patterns through species diversity and richness and taxonomic distinctiveness. The proposed approach considers each image channel as a species ecosystem and computes species diversity and richness measures as well as taxonomic measures to describe the texture. The proposed approach takes advantage of ecological patterns' invariance characteristics to build a permutation, rotation, and translation invariant descriptor. Experimental results on three datasets of natural texture images and two datasets of histopathological images have shown that the proposed texture descriptor has advantages over several texture descriptors and deep methods.


title: Constraints on Effective Field Theory Couplings Using 311.2 days of LUX Data

abstract: We report here the results of an Effective Field Theory (EFT) WIMP search analysis using LUX data. We build upon previous LUX analyses by extending the search window to include nuclear recoil energies up to $\sim$180 keV$_{nr}$, requiring a reassessment of data quality cuts and background models. In order to use a binned Profile Likelihood statistical framework, the development of new analysis techniques to account for higher-energy backgrounds was required. With a 3.14$\times10^4$ kg$\cdot$day exposure using data collected between 2014 and 2016, we set 90\% C.L. exclusion limits on non-relativistic EFT WIMP couplings to neutrons and protons, providing the most stringent constraints on a significant fraction of the possible EFT WIMP interactions. Additionally, we report world-leading exclusion limits on inelastic EFT WIMP-nucleon recoils.


title: Comment on "The phase diagram of the multi-matrix model with ABAB-interaction from functional renormalization"

abstract: Recently, [JHEP 20 131 (2020)] obtained (a similar, scaled version of) the ($a,b$)-phase diagram derived from the Kazakov--Zinn-Justin solution of the Hermitian two-matrix model with interactions \[\mathrm{Tr\,}\Big\{\frac{a}{4} (A^4+B^4)+\frac{b}{2} ABAB\Big\}\,,\] starting from Functional Renormalization. We comment on something unexpected: the phase diagram of [JHEP 20 131 (2020)] is based on a $\beta_b$-function that does not have the one-loop structure of the Wetterich-Morris Equation. This raises the question of how to reproduce the phase diagram from a set of $\beta$-functions that is, in its totality, consistent with Functional Renormalization. A non-minimalist, yet simple truncation that could lead to the phase diagram is provided. Additionally, we identify the ensemble for which the result of op. cit. would be entirely correct.


title: Adaptive Optimization of Autonomous Vehicle Computational Resources for Performance and Energy Improvement

abstract: Autonomous vehicles usually consume a large amount of computational power for their operations, especially for the tasks of sensing and perception with artificial intelligence algorithms. Such a computation may not only cost a significant amount of energy but also cause performance issues when the onboard computational resources are limited. To address this issue, this paper proposes an adaptive optimization method to online allocate the onboard computational resources of an autonomous vehicle amongst multiple vehicular subsystems depending on the contexts of the situations that the vehicle is facing. Different autonomous driving scenarios were designed to validate the proposed approach and the results showed that it could help improve the overall performance and energy consumption of autonomous vehicles compared to existing computational arrangement.


title: Detecting and Quantifying Wash Trading on Decentralized Cryptocurrency Exchanges

abstract: Cryptoassets such as cryptocurrencies and tokens are increasingly traded on decentralized exchanges. The advantage for users is that the funds are not in custody of a centralized external entity. However, these exchanges are prone to manipulative behavior. In this paper, we illustrate how wash trading activity can be identified on two of the first popular limit order book-based decentralized exchanges on the Ethereum blockchain, IDEX and EtherDelta. We identify a lower bound of accounts and trading structures that meet the legal definitions of wash trading, discovering that they are responsible for a wash trading volume in equivalent of 159 million U.S. Dollars. While self-trades and two-account structures are predominant, complex forms also occur. We quantify these activities, finding that on both exchanges, more than 30\% of all traded tokens have been subject to wash trading activity. On EtherDelta, 10% of the tokens have almost exclusively been wash traded. All data is made available for future research. Our findings underpin the need for countermeasures that are applicable in decentralized systems.


title: On the Last Iterate Convergence of Momentum Methods

abstract: SGD with Momentum (SGDM) is a widely used family of algorithms for large-scale optimization of machine learning problems. Yet, when optimizing generic convex functions, no advantage is known for any SGDM algorithm over plain SGD. Moreover, even the most recent results require changes to the SGDM algorithms, like averaging of the iterates and a projection onto a bounded domain, which are rarely used in practice. In this paper, we focus on the convergence rate of the last iterate of SGDM. For the first time, we prove that for any constant momentum factor, there exists a Lipschitz and convex function for which the last iterate of SGDM suffers from a suboptimal convergence rate of $\Omega(\frac{\ln T}{\sqrt{T}})$ after $T$ iterations. Based on this fact, we study a class of (both adaptive and non-adaptive) Follow-The-Regularized-Leader-based SGDM algorithms with increasing momentum and shrinking updates. For these algorithms, we show that the last iterate has optimal convergence $O(\frac{1}{\sqrt{T}})$ for unconstrained convex stochastic optimization problems without projections onto bounded domains nor knowledge of $T$. Further, we show a variety of results for FTRL-based SGDM when used with adaptive stepsizes. Empirical results are shown as well.


title: On the convergence of group-sparse autoencoders

abstract: Recent approaches in the theoretical analysis of model-based deep learning architectures have studied the convergence of gradient descent in shallow ReLU networks that arise from generative models whose hidden layers are sparse. Motivated by the success of architectures that impose structured forms of sparsity, we introduce and study a group-sparse autoencoder that accounts for a variety of generative models, and utilizes a group-sparse ReLU activation function to force the non-zero units at a given layer to occur in blocks. For clustering models, inputs that result in the same group of active units belong to the same cluster. We proceed to analyze the gradient dynamics of a shallow instance of the proposed autoencoder, trained with data adhering to a group-sparse generative model. In this setting, we theoretically prove the convergence of the network parameters to a neighborhood of the generating matrix. We validate our model through numerical analysis and highlight the superior performance of networks with a group-sparse ReLU compared to networks that utilize traditional ReLUs, both in sparse coding and in parameter recovery tasks. We also provide real data experiments to corroborate the simulated results, and emphasize the clustering capabilities of structured sparsity models.


title: Weight Initialization Techniques for Deep Learning Algorithms in Remote Sensing: Recent Trends and Future Perspectives

abstract: During the last decade, several research works have focused on providing novel deep learning methods in many application fields. However, few of them have investigated the weight initialization process for deep learning, although its importance is revealed in improving deep learning performance. This can be justified by the technical difficulties in proposing new techniques for this promising research field. In this paper, a survey related to weight initialization techniques for deep algorithms in remote sensing is conducted. This survey will help practitioners to drive further research in this promising field. To the best of our knowledge, this paper constitutes the first survey focusing on weight initialization for deep learning models.


title: Clustering Interval-Censored Time-Series for Disease Phenotyping

abstract: Unsupervised learning is often used to uncover clusters in data. However, different kinds of noise may impede the discovery of useful patterns from real-world time-series data. In this work, we focus on mitigating the interference of interval censoring in the task of clustering for disease phenotyping. We develop a deep generative, continuous-time model of time-series data that clusters time-series while correcting for censorship time. We provide conditions under which clusters and the amount of delayed entry may be identified from data under a noiseless model. On synthetic data, we demonstrate accurate, stable, and interpretable results that outperform several benchmarks. On real-world clinical datasets of heart failure and Parkinson's disease patients, we study how interval censoring can adversely affect the task of disease phenotyping. Our model corrects for this source of error and recovers known clinical subtypes.


title: Asymmetric Heavy Tails and Implicit Bias in Gaussian Noise Injections

abstract: Gaussian noise injections (GNIs) are a family of simple and widely-used regularisation methods for training neural networks, where one injects additive or multiplicative Gaussian noise to the network activations at every iteration of the optimisation algorithm, which is typically chosen as stochastic gradient descent (SGD). In this paper we focus on the so-called `implicit effect' of GNIs, which is the effect of the injected noise on the dynamics of SGD. We show that this effect induces an asymmetric heavy-tailed noise on SGD gradient updates. In order to model this modified dynamics, we first develop a Langevin-like stochastic differential equation that is driven by a general family of asymmetric heavy-tailed noise. Using this model we then formally prove that GNIs induce an `implicit bias', which varies depending on the heaviness of the tails and the level of asymmetry. Our empirical results confirm that different types of neural networks trained with GNIs are well-modelled by the proposed dynamics and that the implicit effect of these injections induces a bias that degrades the performance of networks.


title: A Statistical Relational Approach to Learning Distance-based GCNs

abstract: We consider the problem of learning distance-based Graph Convolutional Networks (GCNs) for relational data. Specifically, we first embed the original graph into the Euclidean space $\mathbb{R}^m$ using a relational density estimation technique thereby constructing a secondary Euclidean graph. The graph vertices correspond to the target triples and edges denote the Euclidean distances between the target triples. We emphasize the importance of learning the secondary Euclidean graph and the advantages of employing a distance matrix over the typically used adjacency matrix. Our comprehensive empirical evaluation demonstrates the superiority of our approach over $12$ different GCN models, relational embedding techniques and rule learning techniques.


title: A Distance Covariance-based Estimator

abstract: Weak instruments present a major setback to empirical work. This paper introduces an estimator that admits weak, uncorrelated, or mean-independent instruments that are non-independent of endogenous covariates. Relative to conventional instrumental variable methods, the proposed estimator weakens the relevance condition considerably without imposing a stronger exclusion restriction. Identification mainly rests on (1) a weak conditional median exclusion restriction imposed on pairwise differences in disturbances and (2) non-independence between covariates and instruments. Under mild conditions, the estimator is consistent and asymptotically normal. Monte Carlo experiments showcase an excellent performance of the estimator, and two empirical examples illustrate its practical utility.


title: Tailoring quantum gases by Floquet engineering

abstract: Floquet engineering is the concept of tailoring a system by a periodic drive. It has been very successful in opening new classes of Hamiltonians to the study with ultracold atoms in optical lattices, such as artificial gauge fields, topological band structures and density-dependent tunneling. Furthermore, driven systems provide new physics without static counterpart such as anomalous Floquet topological insulators. In this review article, we provide an overview of the exciting developments in the field and discuss the current challenges and perspectives.


title: Coherent emission in pulsars, magnetars and Fast Radio Bursts: reconnection-driven free electron laser

abstract: We develop a model of the generation of coherent radio emission in the Crab pulsar, magnetars and Fast Radio Bursts (FRBs). Emission is produced by a reconnection-generated beam of particles via a variant of Free Electron Laser (FEL) mechanism, operating in a weakly-turbulent, guide-field dominated plasma. We first consider nonlinear Thomson scattering in a guide-field dominated regime, and apply to model to explain emission bands observed in Crab pulsar and in Fast Radio Bursts. We consider particle motion in a combined fields of the electromagnetic wave and thee lectromagnetic (Alfvenic) wiggler. Charge bunches, created via a ponderomotive force, Compton/Raman scatter the wiggler field coherently. The model is both robust to the underlying plasma parameters and succeeds in reproducing a number of subtle observed features: (i) emission frequencies depend mostly on the length $\lambda_t$ of turbulence and the Lorentz factor of the reconnection generated beam, $\omega \sim \gamma_b^2 ( c/\lambda_t) $ - it is independent of the absolute value of the underlying magnetic field. (ii) The model explains both broadband emission and the presence of emission stripes, including multiple stripes observed in the High Frequency Interpulse of the Crab pulsar. (iii) The model reproduces correlated polarization properties: presence of narrow emission bands in the spectrum favors linear polarization, while broadband emission can have arbitrary polarization. (iv) The mechanism is robust to the momentum spread of the particle in the beam. We also discuss a model of wigglers as non-linear force-free Alfven solitons (light darts).


title: Beating Two-Thirds For Random-Order Streaming Matching

abstract: We study the maximum matching problem in the random-order semi-streaming setting. In this problem, the edges of an arbitrary $n$-vertex graph $G=(V, E)$ arrive in a stream one by one and in a random order. The goal is to have a single pass over the stream, use $n \cdot poly(\log n)$ space, and output a large matching of $G$. We prove that for an absolute constant $\epsilon_0 > 0$, one can find a $(2/3 + \epsilon_0)$-approximate maximum matching of $G$ using $O(n \log n)$ space with high probability. This breaks the natural boundary of $2/3$ for this problem prevalent in the prior work and resolves an open problem of Bernstein [ICALP'20] on whether a $(2/3 + \Omega(1))$-approximation is achievable.


title: Essential m-dissipativity and hypocoercivity of Langevin dynamics with multiplicative noise

abstract: We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics with multiplicative noise, studying the longtime behaviour of the strongly continuous contraction semigroup solving the abstract Cauchy problem for the associated backward Kolmogorov operator. Hypocoercivity for the Langevin dynamics with constant diffusion matrix was proven previously by Dolbeault, Mouhot and Schmeiser in the corresponding Fokker-Planck framework, and made rigorous in the Kolmogorov backwards setting by Grothaus and Stilgenbauer. We extend these results to weakly differentiable diffusion coefficient matrices, introducing multiplicative noise for the corresponding stochastic differential equation. The rate of convergence is explicitly computed depending on the choice of these coefficients and the potential giving the outer force. In order to obtain a solution to the abstract Cauchy problem, we first prove essential self-adjointness of non-degenerate elliptic Dirichlet operators on Hilbert spaces, using prior elliptic regularity results and techniques from Bogachev, Krylov and R\"ockner. We apply operator perturbation theory to obtain essential m-dissipativity of the Kolmogorov operator, extending the m-dissipativity results from Conrad and Grothaus. We emphasize that the chosen Kolmogorov approach is natural, as the theory of generalized Dirichlet forms implies a stochastic representation of the Langevin semigroup as the transition kernel of a diffusion process which provides a martingale solution to the Langevin equation with multiplicative noise. Moreover, we show that even a weak solution is obtained this way.


title: Strong exciton-photon coupling with colloidal quantum dots in a tuneable microcavity

abstract: Polariton emission from optical cavities integrated with various luminophores has been extensively studied recently due to the wide variety of possible applications in photonics, particularly promising in terms of fabrication of low-threshold sources of coherent emission. Tuneable microcavities allow extensive investigation of the photophysical properties of matter placed inside the cavity by deterministically changing the coupling strength and controllable switching from weak to strong and ultra-strong coupling regimes. Here we demonstrate room temperature strong coupling of exciton transitions in CdSe/ZnS/CdS/ZnS colloidal quantum dots with the optical modes of a tuneable low-mode-volume microcavity. Strong coupling is evidenced by a large Rabi splitting of the photoluminescence spectra depending on the detuning of the microcavity. A coupling strength of 154 meV has been achieved. High quantum yields, excellent photostability, and scalability of fabrication of QDs paves the way to practical applications of coupled systems based on colloidal QDs in photonics, optoelectronics, and sensing.


abstract: In this paper, we set out to systematically design a minimal active RoT for tiny low-end MCU-s. We begin with the following questions: (1) What functions and hardware support are required to guarantee actions in the presence of malware?, (2) How to implement this efficiently?, and (3) What security benefits stem from such an active RoT architecture? We then design, implement, formally verify, and evaluate GAROTA: Generalized Active Root-Of-Trust Architecture. We believe that GAROTA is the first clean-slate design of an active RoT for low-end MCU-s. We show how GAROTA guarantees that even a fully software-compromised low-end MCU performs a desired action. We demonstrate its practicality by implementing GAROTA in the context of three types of applications where actions are triggered by: sensing hardware, network events and timers. We also formally specify and verify GAROTA functionality and properties.


title: Moments and tails of hitting times of Bessel processes and convolutions of elementary mixtures of exponential distributions

abstract: We present explicit estimates of right and left tails and exact (up to universal, multiplicative constants) estimates of tails and moments of hitting times of Bessel processes. The latter estimates are obtained from more general estimates of moments and tails established for convolutions of elementary mixtures of exponential distributions.


title: Optimization of Flat to Round Transformers with Self-fields using Adjoint Techniques

abstract: A continuous system of moment equations is introduced that models the transverse dynamics of a beam of charged particles as it passes through an arbitrary lattice of quadrupoles and solenoids in the presence of self-fields. Then, figures of merit are introduced specifying system characteristics to be optimized. The resulting model is used to optimize the parameters of the lattice elements of a flat to round transformer with self-fields, as could be applied in electron cooling. Results are shown for a case of no self-fields and two cases with self-fields. The optimization is based on a gradient descent algorithm in which the gradient is calculated using adjoint methods that prove to be very computationally efficient. Two figures of merit are studied and compared: one emphasizing radial force balance in the solenoid, the other emphasizing minimization of transverse beam energy in the solenoid.


title: Mitigating Negative Side Effects via Environment Shaping

abstract: Agents operating in unstructured environments often produce negative side effects (NSE), which are difficult to identify at design time. While the agent can learn to mitigate the side effects from human feedback, such feedback is often expensive and the rate of learning is sensitive to the agent's state representation. We examine how humans can assist an agent, beyond providing feedback, and exploit their broader scope of knowledge to mitigate the impacts of NSE. We formulate this problem as a human-agent team with decoupled objectives. The agent optimizes its assigned task, during which its actions may produce NSE. The human shapes the environment through minor reconfiguration actions so as to mitigate the impacts of the agent's side effects, without affecting the agent's ability to complete its assigned task. We present an algorithm to solve this problem and analyze its theoretical properties. Through experiments with human subjects, we assess the willingness of users to perform minor environment modifications to mitigate the impacts of NSE. Empirical evaluation of our approach shows that the proposed framework can successfully mitigate NSE, without affecting the agent's ability to complete its assigned task.