title: Global Well-Posedness of a Class of Strictly Hyperbolic Cauchy Problems with Coefficients Non-Absolutely Continuous in Time

abstract: We investigate the behavior of the solutions of a class of certain strictly hyperbolic equations defined on $[0,T]\times \R^n$ in relation to a class of metrics on the phase space. In particular, we study the global regularity and decay issues of the solution to an equation with coefficients polynomially bound in $x$ and with their $t$-derivative of order $\textnormal{O}(t^{-q}),$ where $q \in \big[1,\frac{3}{2}\big)$. For this purpose, an appropriate generalized symbol class based on the metric is defined and the associated Planck function is used to define an infinite order operator to perform conjugation. We demonstrate that the solution not only experiences a loss of regularity (usually observed for the case of coefficients bounded in $x$) but also a decay in relation to the initial datum defined in a Sobolev space tailored to the generalized symbol class. Further, we observe that a precise behavior of the solution could be obtained by making an optimal choice of the metric in relation to the coefficients of the given equation. We also derive the cone conditions in the global setting.


title: A preceding low-virulence strain pandemic inducing immunity against COVID-19

abstract: Countries highly exposed to incoming traffic from China were expected to be at the highest risk of COVID-19 spread. However, COVID-19 case numbers (infection levels) are negatively correlated with incoming traffic-level. Moreover, infection levels are positively correlated with population-size, while the latter should only affect infection-level once herd immunity is reached. These could be explained if a low-virulence strain (LVS) began spreading a few months earlier from China, providing immunity from the later emerging known SARS-CoV-2 high-virulence strain (HVS). We find that the dynamics of the COVID-19 pandemic depend on the LVS and HVS spread doubling-times and the delay between their initial onsets. We find that LVS doubling-time to be $T_L\sim1.59\pm0.17$ times slower than the HVS ($T_H$), but its earlier onset allowed its global wide-spread to the levels required for herd-immunity. In countries exposed earlier to the LVS and/or having smaller population-size, the LVS achieved herd-immunity earlier, allowing less time for the spread of the HVS, and giving rise to lower HVS-infection levels. Such model accurately predicts a country's infection-level ({\rm R^{2}=0.74}; p-value of {\rm 5.2\times10^{-13}}), given only its population-size and incoming-traffic from China. It explains the negative correlation with incoming-traffic ($c_{exp}$), the positive correlation with the population size (n_{pop}) and their specific relations (${\rm N}_{{\rm cases}}\propto n_{pop}^{{\rm T_{L}/{\rm T_{H}}}}\times c_{exp}^{{\rm T_{L}/{\rm T_{H}-1}}}$). We find that most countries should have already achieved herd-immunity. Further COVID-19-spread in these countries is limited and is not expected to rise by more than a factor of 2-3. We suggest tests/predictions to further verify the model and biologically identify the LVS, and discuss the implications.


title: multiple layers of fuzzy logic to quantify vulnerabilies in iot

abstract: Quantifying vulnerabilities of network systems has been a highly controversial issue in the fields of network security and IoT. Much research has been conducted on this purpose; however, these have many ambiguities and uncertainties. In this paper, we investigate the quantification of vulnerability in the Department of Transportation (DOT) as our proof of concept. We initiate the analysis of security requirements, using Security Quality Requirements Engineering (SQUARE) for security requirements elicitation. Then we apply published security standards such as NIST SP-800 and ISO 27001 to map our security factors and sub-factors. Finally, we propose our Multi-layered Fuzzy Logic (MFL) approach based on Goal question Metrics (GQM) to quantify network security and IoT (Mobile Devices) vulnerability in DOT.


title: Characterizing the spread of CoViD-19

abstract: Since the beginning of the epidemic, daily reports of CoViD-19 cases, hospitalizations, and deaths from around the world have been publicly available. This paper describes methods to characterize broad features of the spread of the disease, with relatively long periods of constant transmission rates, using a new population modeling framework based on discrete-time difference equations. Comparative parameters are chosen for their weak dependence on model assumptions. Approaches for their point and interval estimation, accounting for additional sources of variance in the case data, are presented. These methods provide a basis to quantitatively assess the impact of changes to social distancing policies using publicly available data. As examples, data from Ontario and German states are analyzed using this framework. German case data show a small increase in transmission rates following the relaxation of lock-down rules on May 6, 2020. By combining case and death data from Germany, the mean and standard deviation of the time from infection to death are estimated.


title: Quasar catalogue for the astrometric calibration of the forthcoming ILMT survey

abstract: Quasars are ideal targets to use for astrometric calibration of large scale astronomical surveys as they have negligible proper motion and parallax. The forthcoming 4-m International Liquid Mirror Telescope (ILMT) will survey the sky that covers a width of about 27 arcminute. To carry out astrometric calibration of the ILMT observations, we aimed to compile a list of quasars with accurate equatorial coordinates and falling in the ILMT stripe. Towards this, we cross-correlated all the quasars that are known till the present date with the sources in the Gaia-DR2 catalogue, as the Gaia-DR2 sources have position uncertainties as small as a few milli arcsec (mas). We present here the results of this cross-correlation which is a catalogue of 6738 quasars that is suitable for astrometric calibration of the ILMT fields. In this work, we present this quasar catalogue. This catalogue of quasars can also be used to study quasar variability over diverse time scales when the ILMT starts its observations. While preparing this catalogue, we also confirmed that quasars in the ILMT stripe have proper motion and parallax lesser than 20 mas/yr and 10 mas, respectively.


title: Starspot evolution, Differential Rotation and Correlation between Chromospheric and Photospheric Activities on Kepler-411

abstract: We present an analysis of the starspot evolution, the surface differential rotation (SDR), the correlation between chromospheric activity indicators and the spatial connection between chromospheric and photospheric activities on the active star Kepler-411, using time series photometry over 4 years from Kepler, and spectroscopic data from Keck I 10-m telescope and Lijiang 2.4-m telescope. We constructed the light curve by re-performing photometry and reduction from the Target Pixel Files and Cotrending Basis Vectors with a manually redefined aperture using the software PyKE3. An efficient program, GEMC_LCM, was developed to apply a two-spots model to chosen light curve segments with three spot groups at fixed latitudes (30, 45), (30, 60) and (45, 60). We found a periodic variation of the starspots at period of about 660 days which independs on spot latitudes, and estimated the lower limit of SDR as $P_{\text{eq}} = 9.7810(0.0169)$ days and $\alpha = 0.1016(0.0023)$. Simultaneously, the relative variations of chromospheric activity indicators were derived by subtracting the overall mean spectrum from individual spectrum. It is found that Ca II H and K emissions are strongly correlated with each other, and there also exists a correlation between H$\alpha$ and Ca II H & K emissions, with large dispersion, in accordance with previous results. Furthermore we find the correlation between Ca II H and K emissions is different in 2011 and 2012. The chromospheric emission variation shows a highly spatial anti-correlation with the light curve, suggesting a spatial connection between the chromospheric active region and spot region.


title: Anisotropic magnetocaloric effect and critical behavior in CrCl$_3$

abstract: We report anisotropic magnetocaloric effect and magnetic critical behavior in van der Waals crystal CrCl$_3$. The maximum magnetic entropy change $-\Delta S_M^{max} \sim 14.6$ J kg$^{-1}$ K$^{-1}$ and the relative cooling power $RCP \sim 340.3$ J kg$^{-1}$ near $T_c$ with a magnetic field change of 5 T are much larger when compared to CrI$_{3}$ or CrBr$_{3}$. The rescaled $\Delta S_M(T,H)$ curves collapse onto a universal curve, confirming the second order ferromagnetic transition. Further critical behavior analysis around $T_c$ presents a set of critical exponents $\beta$ = 0.28(1) with $T_c$ = 19.4(2) K, $\gamma$ = 0.89(1) with $T_c$ = 18.95(8) K, and $\delta$ = 4.6(1) at $T_c$ = 19 K, which are close to those of theoretical tricritical mean field model.


title: Interferometric Unruh detectors for Bose-Einstein condensates

abstract: The Unruh effect predicts a thermal response for an accelerated detector moving through the vacuum. Here we propose an interferometric scheme to observe an analogue of the circular Unruh effect using a localized laser coupled to a Bose-Einstein condensate (BEC). Quantum fluctuations in the condensate are governed by an effective relativistic field theory, and as demonstrated, the coupled laser field acts as an effective Unruh-DeWitt detector thereof. The effective speed of light is lowered by 12 orders of magnitude to the sound velocity in the BEC. For detectors traveling close to the sound speed, observation of the Unruh effect in the analogue system becomes experimentally feasible.


title: Graph Sparsification by Universal Greedy Algorithms

abstract: Graph sparsification is to approximate an arbitrary graph by a sparse graph and is useful in many applications, such as simplification of social networks, least squares problems, numerical solution of symmetric positive definite linear systems and etc. In this paper, inspired by the well-known sparse signal recovery algorithm called orthogonal matching pursuit (OMP), we introduce a deterministic, greedy edge selection algorithm called universal greedy approach (UGA) for graph sparsification. For a general spectral sparsification problem, e.g., positive subset selection problem from a set of $m$ vectors from $\mathbb{R}^n$, we propose a nonnegative UGA algorithm which needs $O(mn^2+ n^3/\epsilon^2)$ time to find a $\frac{1+\epsilon/\beta}{1-\epsilon/\beta}$-spectral sparsifier with positive coefficients with sparsity $\le\lceil\frac{n}{\epsilon^2}\rceil$, where $\beta$ is the ratio between the smallest length and largest length of the vectors. The convergence of the nonnegative UGA algorithm will be established. For the graph sparsification problem, another UGA algorithm will be proposed which can output a $\frac{1+O(\epsilon)}{1-O(\epsilon)}$-spectral sparsifier with $\lceil\frac{n}{\epsilon^2}\rceil$ edges in $O(m+n^2/\epsilon^2)$ time from a graph with $m$ edges and $n$ vertices under some mild assumptions. This is a linear time algorithm in terms of the number of edges that the community of graph sparsification is looking for. The best result in the literature to the knowledge of the authors is the existence of a deterministic algorithm which is almost linear, i.e. $O(m^{1+o(1)})$ for some $o(1)=O(\frac{(\log\log(m))^{2/3}}{\log^{1/3}(m)})$. Finally, extensive experimental results, including applications to graph clustering and least squares regression, show the effectiveness of proposed approaches.


title: An elasto-plastic approach based on microscopic insights for the steady state and transient dynamics of sheared disordered solids

abstract: In this letter, we develop a framework to study the mechanical response of athermal amorphous solids via a coupling of mesoscale and microscopic models. Using measurements of coarse grained quantities from simulations of dense disordered particulate systems, we present a coherent elasto-plastic model approach for deformation and flow of yield stress materials. For a given set of parameters, this model allows to match consistently transient and steady state features of driven disordered systems under both applied shear-rate and creep protocols.


title: Null second order corrections to Casimir energy in weak gravitational field: The Schwinger's approach

abstract: We show through Schwinger's approach that in a static weak gravitational background, the Casimir Energy for a real massless scalar field obeying Dirichlet boundary conditions on rectangular plates is unaltered from it's flat space-time value. The result is obtained considering an rather general class of backgrounds, adding further generality and consistency test for the previous work. The proposed result has direct consequences on earlier works in the literature that found gravity related corrections for similar setups.


title: On a combinatorial generation problem of Knuth

abstract: The well-known middle levels conjecture asserts that for every integer $n\geq 1$, all binary strings of length $2(n+1)$ with exactly $n+1$ many 0s and 1s can be ordered cyclically so that any two consecutive strings differ in swapping the first bit with a complementary bit at some later position. In his book `The Art of Computer Programming Vol. 4A' Knuth raised a stronger form of this conjecture (Problem 56 in Chapter 7, Section 2.1.3), which requires that the sequence of positions with which the first bit is swapped in each step of such an ordering has $2n+1$ blocks of the same length, and each block is obtained by adding $s=1$ (modulo $2n+1$) to the previous block. In this work, we prove Knuth's conjecture in a more general form, allowing for arbitrary shifts $s\geq 1$ that are coprime to $2n+1$. We also present an algorithm to compute this ordering, generating each new bitstring in $\mathcal{O}(n)$ time, using $\mathcal{O}(n)$ memory in total.


title: Operator growth bounds in a cartoon matrix model

abstract: We study operator growth in a model of $N(N-1)/2$ interacting Majorana fermions, which live on the edges of a complete graph of $N$ vertices. Terms in the Hamiltonian are proportional to the product of $q$ fermions which live on the edges of cycles of length $q$. This model is a cartoon "matrix model": the interaction graph mimics that of a single-trace matrix model, which can be holographically dual to quantum gravity. We prove (non-perturbatively in $1/N$, and without averaging over any ensemble) that the scrambling time of this model is at least of order $\log N$, consistent with the fast scrambling conjecture. We comment on apparent similarities and differences between operator growth in our "matrix model" and in the melonic models.

categories: hep-th cond-mat.str-el math-ph math.MP quant-ph


title: Dynamics of fintech terms in news and blogs and specialization of companies of the fintech industry

abstract: We perform a large scale analysis of a list of fintech terms in (i) news and blogs in English language and (ii) professional descriptions of companies operating in many countries. The occurrence and co-occurrence of fintech terms and locutions shows a progressive evolution of the list of fintech terms in a compact and coherent set of terms used worldwide to describe fintech business activities. By using methods of complex networks that are specifically designed to deal with heterogeneous systems, our analysis of a large set of professional descriptions of companies shows that companies having fintech terms in their description present over-expressions of specific attributes of country, municipality, and economic sector. By using the approach of statistically validated networks, we detect geographical and economic over-expressions of a set of companies related to the multi-industry, geographically and economically distributed fintech movement.


title: Multi-particle quantum-statistical correlation functions in a Hubble-expanding hadron gas

abstract: Quantum-statistical correlation measurements in high-energy physics represent an important tool to obtain information about the space-time structure of the particle-emitting source. There are several final state effects which may modify the measured femtoscopic correlation functions. One of these may be the interaction of the investigated particles with the expanding hadron gas, consisting of the other final state particles. This may cause the trajectories - and hence the phases - of the quantum-correlated pairs to be modified compared to free streaming. The resulting effect and could be interpreted as an Aharonov-Bohm-like phenomenon, in the sense that the possible paths of a quantum-correlated pair represent a closed loop, with an internally present field caused by the hadron gas. In this paper, the possible role of the effect in heavy-ion experiments is presented with analytical calculations and a simple numerical model. The modification of the strength of multi-particle Bose-Einstein correlation functions is investigated, and the is found that in case of sufficiently large source density, this effect may play a non-negligible role.


title: Thermomechanical Insight into the Stability of Nanoporous Graphene Membranes

abstract: Porous graphene (PG) is a graphene derivative endowed of nanoporous architectures. This material possesses a particular structure with interconnected networks of high pore volume, producing membranes with a large surface area. Experiments revealed that PG combines remarkable properties such as high mechanical strength and good thermal stability. In this work, we have carried out fully-atomistic reactive (ReaxFF) molecular dynamics simulations to perform a comprehensive study on the elastic properties, fracture mechanism, and thermal stability of 2D porous n-Benzo-CMPs (CMP and n refer, respectively, to pi-conjugated microporous polymers and the pore diameter) membranes with distinct nanoporous architectures. For comparison purposes, the results were also contrasted with the ones for graphene sheets of similar dimensions. We adopted three different nanoporous diameters: small (3.45 A), medium (8.07 A), and large (11.93 A). Results showed that PG is thermally stable up to 4660K, about 1000K smaller than the graphene melting point (5643K). During the PG heating, linear atomic chains are formed combining carbon and hydrogen atoms. The fracture strains range between 15%-34% by applying a uniaxial loading in both plane directions for temperatures up to 1200K. The fracture strain increases proportionally with the nanoporous size. Remarkably, the critical tensile strength for the PG complete fracture is temperature independent. Instead, it depends only on the nanoporous diameter. All the PG membranes go abruptly from elastic to completely fractured regimes after a critical strain threshold.


title: Traversable wormhole without interaction

abstract: We show that strong quantum entanglement can support a stable traversable wormhole without any explicit interaction or tunnelling term between the two boundary theories of the wormhole. Specifically we work with two complex SYK models. The entangled state is prepared using a tunnelling term in imaginary time but the tunnelling term is removed from the time evolution operator so the two complex SYK models are not coupled. Low temperature states show revival dynamics which is the hallmark of a traversable wormhole geometry. To send any meaningful information from one system to the other, one only needs to turn on a very small interaction term. The technique that we are employing can be applied to other systems to study aspects of quantum entanglement.


title: Goal-Aware Prediction: Learning to Model What Matters

abstract: Learned dynamics models combined with both planning and policy learning algorithms have shown promise in enabling artificial agents to learn to perform many diverse tasks with limited supervision. However, one of the fundamental challenges in using a learned forward dynamics model is the mismatch between the objective of the learned model (future state reconstruction), and that of the downstream planner or policy (completing a specified task). This issue is exacerbated by vision-based control tasks in diverse real-world environments, where the complexity of the real world dwarfs model capacity. In this paper, we propose to direct prediction towards task relevant information, enabling the model to be aware of the current task and encouraging it to only model relevant quantities of the state space, resulting in a learning objective that more closely matches the downstream task. Further, we do so in an entirely self-supervised manner, without the need for a reward function or image labels. We find that our method more effectively models the relevant parts of the scene conditioned on the goal, and as a result outperforms standard task-agnostic dynamics models and model-free reinforcement learning.


title: Towards Dense People Detection with Deep Learning and Depth images

abstract: This paper proposes a DNN-based system that detects multiple people from a single depth image. Our neural network processes a depth image and outputs a likelihood map in image coordinates, where each detection corresponds to a Gaussian-shaped local distribution, centered at the person's head. The likelihood map encodes both the number of detected people and their 2D image positions, and can be used to recover the 3D position of each person using the depth image and the camera calibration parameters. Our architecture is compact, using separated convolutions to increase performance, and runs in real-time with low budget GPUs. We use simulated data for initially training the network, followed by fine tuning with a relatively small amount of real data. We show this strategy to be effective, producing networks that generalize to work with scenes different from those used during training. We thoroughly compare our method against the existing state-of-the-art, including both classical and DNN-based solutions. Our method outperforms existing methods and can accurately detect people in scenes with significant occlusions.


title: Attend And Discriminate: Beyond the State-of-the-Art for Human Activity Recognition using Wearable Sensors

abstract: Wearables are fundamental to improving our understanding of human activities, especially for an increasing number of healthcare applications from rehabilitation to fine-grained gait analysis. Although our collective know-how to solve Human Activity Recognition (HAR) problems with wearables has progressed immensely with end-to-end deep learning paradigms, several fundamental opportunities remain overlooked. We rigorously explore these new opportunities to learn enriched and highly discriminating activity representations. We propose: i) learning to exploit the latent relationships between multi-channel sensor modalities and specific activities; ii) investigating the effectiveness of data-agnostic augmentation for multi-modal sensor data streams to regularize deep HAR models; and iii) incorporating a classification loss criterion to encourage minimal intra-class representation differences whilst maximising inter-class differences to achieve more discriminative features. Our contributions achieves new state-of-the-art performance on four diverse activity recognition problem benchmarks with large margins -- with up to 6% relative margin improvement. We extensively validate the contributions from our design concepts through extensive experiments, including activity misalignment measures, ablation studies and insights shared through both quantitative and qualitative studies.


title: Wavelet-Based Dual-Branch Network for Image Demoireing

abstract: When smartphone cameras are used to take photos of digital screens, usually moire patterns result, severely degrading photo quality. In this paper, we design a wavelet-based dual-branch network (WDNet) with a spatial attention mechanism for image demoireing. Existing image restoration methods working in the RGB domain have difficulty in distinguishing moire patterns from true scene texture. Unlike these methods, our network removes moire patterns in the wavelet domain to separate the frequencies of moire patterns from the image content. The network combines dense convolution modules and dilated convolution modules supporting large receptive fields. Extensive experiments demonstrate the effectiveness of our method, and we further show that WDNet generalizes to removing moire artifacts on non-screen images. Although designed for image demoireing, WDNet has been applied to two other low-levelvision tasks, outperforming state-of-the-art image deraining and derain-drop methods on the Rain100h and Raindrop800 data sets, respectively.


title: Joint Device Scheduling and Resource Allocation for Latency Constrained Wireless Federated Learning

abstract: In federated learning (FL), devices contribute to the global training by uploading their local model updates via wireless channels. Due to limited computation and communication resources, device scheduling is crucial to the convergence rate of FL. In this paper, we propose a joint device scheduling and resource allocation policy to maximize the model accuracy within a given total training time budget for latency constrained wireless FL. A lower bound on the reciprocal of the training performance loss, in terms of the number of training rounds and the number of scheduled devices per round, is derived. Based on the bound, the accuracy maximization problem is solved by decoupling it into two sub-problems. First, given the scheduled devices, the optimal bandwidth allocation suggests allocating more bandwidth to the devices with worse channel conditions or weaker computation capabilities. Then, a greedy device scheduling algorithm is introduced, which in each step selects the device consuming the least updating time obtained by the optimal bandwidth allocation, until the lower bound begins to increase, meaning that scheduling more devices will degrade the model accuracy. Experiments show that the proposed policy outperforms state-of-the-art scheduling policies under extensive settings of data distributions and cell radius.


title: Unsupervised Spatio-temporal Latent Feature Clustering for Multiple-object Tracking and Segmentation

abstract: Assigning consistent temporal identifiers to multiple moving objects in a video sequence is a challenging problem. A solution to that problem would have immediate ramifications in multiple object tracking and segmentation problems. We propose a strategy that treats the temporal identification task as a spatio-temporal clustering problem. We propose an unsupervised learning approach using a convolutional and fully connected autoencoder, which we call deep heterogeneous autoencoder, to learn discriminative features from segmentation masks and detection bounding boxes. We extract masks and their corresponding bounding boxes from a pretrained instance segmentation network and train the autoencoders jointly using task-dependent uncertainty weights to generate common latent features. We then construct constraints graphs that encourage associations among objects that satisfy a set of known temporal conditions. The feature vectors and the constraints graphs are then provided to the kmeans clustering algorithm to separate the corresponding data points in the latent space. We evaluate the performance of our method using challenging synthetic and real-world multiple-object video datasets. Our results show that our technique outperforms several state-of-the-art methods.


title: Robustifying Reinforcement Learning Agents via Action Space Adversarial Training

abstract: Adoption of machine learning (ML)-enabled cyber-physical systems (CPS) are becoming prevalent in various sectors of modern society such as transportation, industrial, and power grids. Recent studies in deep reinforcement learning (DRL) have demonstrated its benefits in a large variety of data-driven decisions and control applications. As reliance on ML-enabled systems grows, it is imperative to study the performance of these systems under malicious state and actuator attacks. Traditional control systems employ resilient/fault-tolerant controllers that counter these attacks by correcting the system via error observations. However, in some applications, a resilient controller may not be sufficient to avoid a catastrophic failure. Ideally, a robust approach is more useful in these scenarios where a system is inherently robust (by design) to adversarial attacks. While robust control has a long history of development, robust ML is an emerging research area that has already demonstrated its relevance and urgency. However, the majority of robust ML research has focused on perception tasks and not on decision and control tasks, although the ML (specifically RL) models used for control applications are equally vulnerable to adversarial attacks. In this paper, we show that a well-performing DRL agent that is initially susceptible to action space perturbations (e.g. actuator attacks) can be robustified against similar perturbations through adversarial training.


title: MosAIc: Finding Artistic Connections across Culture with Conditional Image Retrieval

abstract: We introduce MosAIc, an interactive web app that allows users to find pairs of semantically related artworks that span different cultures, media, and millennia. To create this application, we introduce Conditional Image Retrieval (CIR) which combines visual similarity search with user supplied filters or "conditions". This technique allows one to find pairs of similar images that span distinct subsets of the image corpus. We provide a generic way to adapt existing image retrieval data-structures to this new domain and provide theoretical bounds on our approach's efficiency. To quantify the performance of CIR systems, we introduce new datasets for evaluating CIR methods and show that CIR performs non-parametric style transfer. Finally, we demonstrate that our CIR data-structures can identify "blind spots" in Generative Adversarial Networks (GAN) where they fail to properly model the true data distribution.


title: Chiral Separation effect in non-homogeneous systems

abstract: We discuss chiral separation effect in the systems with spatial non - homogeneity. It may be caused by non - uniform electric potential or by another reasons, which do not, however, break chiral symmetry of an effective low energy theory. Such low energy effective theory describes quasiparticles close to the Fermi surfaces. In the presence of constant external magnetic field the non - dissipative axial current appears. It appears that its response to chemical potential and magnetic field (the CSE conductivity) is universal. It is robust to smooth modifications of the system and is expressed through an integral over a surface in momentum space that surrounds all singularities of the Green function. In itself this expression represents an extension of the topological invariant protecting Fermi points to the case of inhomogeneous systems.


title: High-Q Interstitial Square Coupled Microring Resonators Arrays

abstract: The properties of the square array of coupled Microring Resonators (MRRs) with interstitial rings are studied. Dispersion behavior of the interstitial square coupled MRRs is obtained through the transfer matrix method with the Floquet-Bloch periodic condition. Analytical formulas of the eigen wave vectors, band gaps and eigen mode vectors are derived for the special cases of the interstitial square coupled MRRs array with identical couplers and the regular square coupled MRRs array without the interstitial rings. Then, the eigen modes' field distribution are calculated for each of the four eigen wave vectors for a given frequency through the secular equation. Finally, numerical simulation is performed for an interstitial square coupled MRRs array with identical couplers and a regular square coupled MRRs array. The simulation result verifies the analytical analysis. Finally, the loaded quality factors of the interstitial 5-ring configuration, the regular 4-ring configuration and the 1-ring configuration are obtained. It is found that the loaded quality factor of the interstitial 5-ring configuration is up to 20 times and 8 times as high as those of the 1-ring configuration and the regular 4-ring configuration respectively, mainly due to the degenerated eigen modes at the resonant frequency. Thus, the interstitial square coupled MRRs array has the great potential to form high-quality integrated photonics components, including filters and resonance based sensing devices like the parity-time symmetric sensors.


title: On the image of the second l-adic Bloch map

abstract: For a smooth projective geometrically uniruled threefold defined over a perfect field we show that there exists a canonical abelian variety over the field, namely the second algebraic representative, whose rational Tate modules model canonically the third l-adic cohomology groups of the variety for all primes l. In addition, there exists a rational correspondence inducing these identifications. In the case of a geometrically rationally chain connected variety, one obtains canonical identifications between the integral Tate modules of the second algebraic representative and the third l-adic cohomology groups of the variety, and if the variety is a geometrically stably rational threefold, these identifications are induced by an integral correspondence. Our overall strategy consists in studying -- for arbitrary smooth projective varieties -- the image of the second ell-adic Bloch map restricted to the Tate module of algebraically trivial cycle classes in terms of the "correspondence (co)niveau filtration". This complements results with rational coefficients due to Suwa. In the appendix, we review the construction of the Bloch map and its basic properties.


title: Towards Credit-Fraud Detection via Sparsely Varying Gaussian Approximations

abstract: Fraudulent activities are an expensive problem for many financial institutions, costing billions of dollars to corporations annually. More commonly occurring activities in this regard are credit card frauds. In this context, the credit card fraud detection concept has been developed over the lines of incorporating the uncertainty in our prediction system to ensure better judgment in such a crucial task. We propose to use a sparse Gaussian classification method to work with the large data-set and use the concept of pseudo or inducing inputs. We perform the same with different sets of kernels and the different number of inducing data points to show the best accuracy was obtained with the selection of RBF kernel with a higher number of inducing points. Our approach was able to work over large financial data given the stochastic nature of our method employed and also good test accuracy with low variance over the prediction suggesting confidence and robustness in our model. Using the methodologies of Bayesian learning techniques with the incorporated inducing points phenomenon, are successfully able to obtain a healthy accuracy and a high confidence score.


title: Altruistic Decision-Making for Autonomous Driving with Sparse Rewards

abstract: In order to drive effectively, a driver must be aware of how they can expect other vehicles' behaviour to be affected by their decisions, and also how they are expected to behave by other drivers. One common family of methods for addressing this problem of interaction are those based on Game Theory. Such approaches often make assumptions about leaders and followers in an interaction which can result in conflicts arising when vehicles do not agree on the hierarchy, resulting in sub-optimal behaviour. In this work we define a measurement for the incidence of conflicts, Area of Conflict (AoC), for a given interactive decision-making model. Furthermore, we propose a novel decision-making method that reduces this value compared to an existing approach for incorporating altruistic behaviour. We verify our theoretical analysis empirically using a simulated lane-change scenario.


title: Conditional independences and causal relations implied by sets of equations

abstract: Real-world complex systems are often modelled by sets of equations with endogenous and exogenous variables. What can we say about the causal and probabilistic aspects of variables that appear in these equations without explicitly solving the equations? We make use of Simon's causal ordering algorithm (Simon, 1953) to construct a causal ordering graph and prove that it expresses the effects of soft and perfect interventions on the equations under certain unique solvability assumptions. We further construct a Markov ordering graph and prove that it encodes conditional independences in the distribution implied by the equations with independent random exogenous variables, under a similar unique solvability assumption. We discuss how this approach reveals and addresses some of the limitations of existing causal modelling frameworks, such as causal Bayesian networks and structural causal models.


title: Riemann's non-differentiable function and the binormal curvature flow

abstract: We make a connection between a famous analytical object introduced in the 1860s by Riemann, as well as some variants of it, and a nonlinear geometric PDE, the binormal curvature flow. As a consequence this analytical object has a non-obvious nonlinear geometric interpretation. We recall that the binormal flow is a standard model for the evolution of vortex filaments. We prove the existence of solutions of the binormal flow with smooth trajectories that are as close as desired to curves with a multifractal behavior. Finally, we show that this behavior falls within the multifractal formalism of Frisch and Parisi, which is conjectured to govern turbulent fluids.


title: Biharmonic $\delta(\lowercase{r})$-ideal hypersurfaces in Euclidean spaces are minimal

abstract: A submanifold $M^n$ of a Euclidean space $\mathbb{E}^N$ is called biharmonic if $\Delta\vec{H}=0$, where $\vec{H}$ is the mean curvature vector of $M^n$. A well known conjecture of B.Y. Chen states that the only biharmonic submanifolds of Euclidean spaces are the minimal ones. Ideal submanifolds were introduced by Chen as those which receive the least possible tension at each point. In this paper we prove that every $\delta(r)$-ideal biharmonic hypersurfaces in the Euclidean space $\mathbb{E}^{n+1}$ ($n\geq 3$) is minimal. In this way we generalize a recent result of B. Y. Chen and M. I. Munteanu. In particular, we show that every $\delta(r)$-ideal biconservative hypersurface in Euclidean space $\mathbb{E}^{n+1}$ for $n\geq 3$ must be of constant mean curvature.


title: Outage Probability Analysis of THz Relaying Systems

abstract: This paper focuses on quantifying the outage performance of terahertz (THz) relaying systems. In this direction, novel closed-form expressions for the outage probability of a dual-hop relaying system, in which both the source-relay and relay-destination links suffer from fading and stochastic beam misalignment, are extracted. Our results reveal the importance of taking into account the impact of beam misalignment when characterizing the outage performance of the system as well as when selecting the transmission frequencies.


title: Left invariant generalized complex and K\"ahler structures on simply connected four dimensional Lie groups: classification and invariant cohomologies

abstract: We give a complete classification of left invariant generalized complex structures of type 1 on four dimensional simply connected Lie groups and we compute for each class its invariant generalized Dolbeault cohomology, its invariant generalized Bott-Chern cohomology and its invariant generalized Aeppli cohomology. We classify also left invariant generalized K\"ahler structures on four dimensional simply connected Lie groups.


title: Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE

abstract: Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment -- a logic recently studied by Hannes Leitgeb under the label `HYPE'. We show in particular that, by formulating the theory PKF over HYPE one obtains a theory that is sound with respect to fixed-point models, while being proof-theoretically on a par with its classical counterpart KF. Moreover, we establish that also its schematic extension -- in the sense of Feferman -- is as strong as the schematic extension of KF, thus matching the strength of predicative analysis.


title: Vacuum energy in a noncommutative-geometry setting

abstract: It has recently been proposed that vacuum energy is zero in spite of the quantum-field fluctuations that occur everywhere, even at absolute zero. The implication is that dark energy must have a different origin, unrelated to vacuum energy. It is proposed in this paper that noncommutative geometry, an offshoot of string theory, may provide such an origin due to its ability to account for the accelerated expansion.


title: Anomalous dimensions for $\phi^n$ in scale invariant $d=3$ theory

abstract: Recently it was shown that the scaling dimension of the operator $\phi^n$ in scale-invariant $d=3$ theory may be computed semiclassically, and this was verified to leading order (two loops) in perturbation theory at leading and subleading $n$. Here we extend this verification to six loops, once again at leading and subleading $n$. We then perform a similar exercise for a theory with a multiplet of real scalars and an $O(N)$ invariant hexic interaction. We also investigate the strong-coupling regime for this example.


title: Positive solutions to Schr\"odinger equations and geometric applications

abstract: A variant of Li-Tam theory, which associates to each end of a complete Riemannian manifold a positive solution of a given Schr\"odinger equation on the manifold, is developed. It is demonstrated that such positive solutions must be of polynomial growth of fixed order under a suitable scaling invariant Sobolev inequality. Consequently, a finiteness result for the number of ends follows. In the case when the Sobolev inequality is of particular type, the finiteness result is proven directly. As an application, an estimate on the number of ends for shrinking gradient Ricci solitons and submanifolds of Euclidean space is obtained.


title: 138175 (2000 EE104) and the Source of Interplanetary Field Enhancements

abstract: We present the first optical observations taken to characterize the near-Earth object 138175 (2000 EE104). This body is associated with Interplanetary Field Enhancements (IFEs), thought to be caused by interactions between the solar wind magnetic field and solid material trailing in the orbit of the parent body. Based on optical photometry, the radius (in meters) and mass (in kilograms) of an equal-area sphere are found to be r_n = 250(0.1/p_R)**0.5 and M_n = 1e11(0.1/p_R)**1.5, respectively, where p_R is the red geometric albedo and density 1500 kg/m3 is assumed. The measured colors are intermediate between those of C-type (primitive) and S-type (metamorphosed) asteroids but, with correction for the likely effects of phase-reddening, are more consistent with a C-type classification than with S-type. No evidence for co-moving companions larger than about 40(0.1/p_R) meter in radius is found, and no dust particle trail is detected, setting a limit to the trail optical depth 2e-9. Consideration of the size distribution produced by impact pulverization makes it difficult to generate the mass of nanodust (minimum 1e5 kg to 1e6 kg) required to account for IFEs, unless the size distribution is unusually steep. Furthermore, impact pulverization timescales for source objects of the required size are much longer than the dynamical timescale. While the new optical data do not definitively refute the hypothesis that boulder pulverization is the source of IFEs, neither do they provide any support for it.


title: A family of special cubic fourfolds with motive of abelian type

abstract: In this short note, we show that there exist one dimensional families of cubic fourfolds with Chow motive of abelian type and finite dimensional inside every Hassett divisor of special cubic fourfolds. This also implies abelianity and finite dimensionality of the motive of related Hyperk\"ahler varieties, such as the Fano variety of lines and the LLSvS 8fold.


title: Recent rigidity results for graphs with prescribed mean curvature

abstract: This survey describes some recent rigidity results obtained by the authors for the prescribed mean curvature problem on graphs $u : M \rightarrow \mathbb{R}$. Emphasis is put on minimal, CMC and capillary graphs, as well as on graphical solitons for the mean curvature flow, in warped product ambient spaces. A detailed analysis of the mean curvature operator is given, focusing on maximum principles at infinity, Liouville properties, gradient estimates. Among the geometric applications, we mention the Bernstein theorem for positive entire minimal graphs on manifolds with non-negative Ricci curvature, and a splitting theorem for capillary graphs over an unbounded domain $\Omega \subset M$, namely, for CMC graphs satisfying an overdetermined boundary condition.


title: Polestar: An Intelligent, Efficient and National-Wide Public Transportation Routing Engine

abstract: Public transportation plays a critical role in people's daily life. It has been proven that public transportation is more environmentally sustainable, efficient, and economical than any other forms of travel. However, due to the increasing expansion of transportation networks and more complex travel situations, people are having difficulties in efficiently finding the most preferred route from one place to another through public transportation systems. To this end, in this paper, we present Polestar, a data-driven engine for intelligent and efficient public transportation routing. Specifically, we first propose a novel Public Transportation Graph (PTG) to model public transportation system in terms of various travel costs, such as time or distance. Then, we introduce a general route search algorithm coupled with an efficient station binding method for efficient route candidate generation. After that, we propose a two-pass route candidate ranking module to capture user preferences under dynamic travel situations. Finally, experiments on two real-world data sets demonstrate the advantages of Polestar in terms of both efficiency and effectiveness. Indeed, in early 2019, Polestar has been deployed on Baidu Maps, one of the world's largest map services. To date, Polestar is servicing over 330 cities, answers over a hundred millions of queries each day, and achieves substantial improvement of user click ratio.


title: Investigation of Sentiment Controllable Chatbot

abstract: Conventional seq2seq chatbot models attempt only to find sentences with the highest probabilities conditioned on the input sequences, without considering the sentiment of the output sentences. In this paper, we investigate four models to scale or adjust the sentiment of the chatbot response: a persona-based model, reinforcement learning, a plug and play model, and CycleGAN, all based on the seq2seq model. We also develop machine-evaluated metrics to estimate whether the responses are reasonable given the input. These metrics, together with human evaluation, are used to analyze the performance of the four models in terms of different aspects; reinforcement learning and CycleGAN are shown to be very attractive.


title: Breaking the Curse of Space Explosion: Towards Efficient NAS with Curriculum Search

abstract: Neural architecture search (NAS) has become an important approach to automatically find effective architectures. To cover all possible good architectures, we need to search in an extremely large search space with billions of candidate architectures. More critically, given a large search space, we may face a very challenging issue of space explosion. However, due to the limitation of computational resources, we can only sample a very small proportion of the architectures, which provides insufficient information for the training. As a result, existing methods may often produce suboptimal architectures. To alleviate this issue, we propose a curriculum search method that starts from a small search space and gradually incorporates the learned knowledge to guide the search in a large space. With the proposed search strategy, our Curriculum Neural Architecture Search (CNAS) method significantly improves the search efficiency and finds better architectures than existing NAS methods. Extensive experiments on CIFAR-10 and ImageNet demonstrate the effectiveness of the proposed method.


title: Neutrabelian algebras

abstract: We introduce "neutrabelian algebras", and prove that finite, hereditarily neutrabelian algebras with a cube term are dualizable.


title: Diameter and Laplace eigenvalue estimates for compact homogeneous Riemannian manifolds

abstract: Let $G$ be a compact connected Lie group and let $K$ be a closed subgroup of $G$. In this paper we study whether the functional $g\mapsto \lambda_1(G/K,g)\operatorname{diam}(G/K,g)^2$ is bounded among $G$-invariant metrics $g$ on $G/K$. Eldredge, Gordina, and Saloff-Coste conjectured in 2018 that this assertion holds when $K$ is trivial; the only particular cases known so far are when $G$ is abelian, $\operatorname{SU}(2)$, and $\operatorname{SO}(3)$. In this article we prove the existence of the mentioned upper bound for every compact homogeneous space $G/K$ having multiplicity-free isotropy representation.


title: Improved Thermoelectric Properties in (1-x)LaCoO3/(x)La0.7Sr0.3CoO3 Composite

abstract: A high Seebeck coefficient (S), large electrical conductivity ({\sigma}), and reduced thermal conductivity ({\kappa}) are required to achieve a high figure-of-merit (zT) in an ideal thermoelectric (TE) system, which is challenging in a single system due to the interdependence of TE parameters. Composite approach is promising to manipulate the TE parameters. In this study, TE properties of (1-x)LaCoO3/(x)La0.7Sr0.3CoO3 (0.00 \leq x \leq 0.05) composite is discussed. The structural analysis confirms individual phases in the composite, which is further supported by electron microscopy analysis. The x-ray photoelectron analysis indicates that oxygen vacancies (VO) are present in the parent LaCoO3 system and increase with the addition of La0.7Sr0.3CoO3 (LSCO) in the composite. The increase in VO raises the degenerate states of cobalt and hence improves S in the composites. Temperature variation in S and {\sigma} are consistent with the spin-state transition and shows the correlation between these two parameters. The reduction in {\kappa} and {\sigma} with the addition of ball-milled La0.7Sr0.3CoO3 in the composite is attributed to the enhanced phonon-phonon and charge carrier scattering, respectively. A synergistic effect of enhanced S and reduced \kappa} result in five times improvement in zT of the composite compared to the parent LaCoO3 system at 800 K. This approach also improves the operating temperature for LaCoO3 based systems.


title: Hall Viscosity of the Composite-Fermion Fermi Seas for Fermions and Bosons

abstract: The Hall viscosity has been proposed as a topological property of incompressible fractional quantum Hall states and can be evaluated as Berry curvature. This paper reports on the Hall viscosities of composite-fermion Fermi seas at $\nu=1/m$, where $m$ is even for fermions and odd for bosons. A well-defined value for the Hall viscosity is not obtained by viewing the $1/m$ composite-fermion Fermi seas as the $n\rightarrow \infty$ limit of the Jain $\nu=n/(nm\pm 1)$ states, whose Hall viscosities $(\pm n+m)\hbar \rho/4$ ($\rho$ is the two-dimensional density) approach $\pm \infty$ in the limit $n\rightarrow \infty$. A direct calculation shows that the Hall viscosities of the composite-fermion Fermi sea states are finite, and also relatively stable with system size variation, although they are not topologically quantized in the entire $\tau$ space. I find that the $\nu=1/2$ composite-fermion Fermi sea wave function for a square torus yields a Hall viscosity that is expected from particle-hole symmetry and is also consistent with the orbital spin of $1/2$ for Dirac composite fermions. I compare my numerical results with some theoretical conjectures.


title: Evaluating Incidence and Impact Estimates of the COVID-19 Outbreak from Wuhan before Lockdown

abstract: Background: Wuhan, China was the epicenter of COVID-19 pandemic. The goal of current study is to understand the infection transmission dynamics before intervention measures were taken. Methods: Data and key events were searched through pubmed and internet. Epidemiological data were calculated using data extracted from a variety of data sources. Results: We established a timeline showing by January 1, 2020, Chinese authorities had been presented convincing evidence of human-to-human transmission; however, it was not until January 20, 2020 that this information was shared with the public. Our study estimated that there would have been 10989 total infected cases if interventions were taken on January 2, 2020, versus 239875 cases when lockdown was put in place on January 23, 2020. Conclusions: China's withholding of key information about the 2020 COVID-19 outbreak and its delayed response ultimately led to the largest public health crisis of this century and could have been avoided with earlier countermeasures.


title: Deep Retrieval: Learning A Retrievable Structure for Large-Scale Recommendations

abstract: One of the core problems in large-scale recommendations is to retrieve top relevant candidates accurately and efficiently, preferably in sub-linear time. Previous approaches are mostly based on a two-step procedure: first learn an inner-product model, and then use some approximate nearest neighbor (ANN) search algorithm to find top candidates. In this paper, we present Deep Retrieval (DR), to learn a retrievable structure directly with user-item interaction data (e.g. clicks) without resorting to the Euclidean space assumption in ANN algorithms. DR's structure encodes all candidate items into a discrete latent space. Those latent codes for the candidates are model parameters and learnt together with other neural network parameters to maximize the same objective function. With the model learnt, a beam search over the structure is performed to retrieve the top candidates for reranking. Empirically, we first demonstrate that DR, with sub-linear computational complexity, can achieve almost the same accuracy as the brute-force baseline on two public datasets. Moreover, we show that, in a live production recommendation system, a deployed DR approach significantly outperforms a well-tuned ANN baseline in terms of engagement metrics. To the best of our knowledge, DR is among the first non-ANN algorithms successfully deployed at the scale of hundreds of millions of items for industrial recommendation systems.


title: Sampler Design for Implicit Feedback Data by Noisy-label Robust Learning

abstract: Implicit feedback data is extensively explored in recommendation as it is easy to collect and generally applicable. However, predicting users' preference on implicit feedback data is a challenging task since we can only observe positive (voted) samples and unvoted samples. It is difficult to distinguish between the negative samples and unlabeled positive samples from the unvoted ones. Existing works, such as Bayesian Personalized Ranking (BPR), sample unvoted items as negative samples uniformly, therefore suffer from a critical noisy-label issue. To address this gap, we design an adaptive sampler based on noisy-label robust learning for implicit feedback data. To formulate the issue, we first introduce Bayesian Point-wise Optimization (BPO) to learn a model, e.g., Matrix Factorization (MF), by maximum likelihood estimation. We predict users' preferences with the model and learn it by maximizing likelihood of observed data labels, i.e., a user prefers her positive samples and has no interests in her unvoted samples. However, in reality, a user may have interests in some of her unvoted samples, which are indeed positive samples mislabeled as negative ones. We then consider the risk of these noisy labels, and propose a Noisy-label Robust BPO (NBPO). NBPO also maximizes the observation likelihood while connects users' preference and observed labels by the likelihood of label flipping based on the Bayes' theorem. In NBPO, a user prefers her true positive samples and shows no interests in her true negative samples, hence the optimization quality is dramatically improved. Extensive experiments on two public real-world datasets show the significant improvement of our proposed optimization methods.


title: Security and Machine Learning in the Real World

abstract: Machine learning (ML) models deployed in many safety- and business-critical systems are vulnerable to exploitation through adversarial examples. A large body of academic research has thoroughly explored the causes of these blind spots, developed sophisticated algorithms for finding them, and proposed a few promising defenses. A vast majority of these works, however, study standalone neural network models. In this work, we build on our experience evaluating the security of a machine learning software product deployed on a large scale to broaden the conversation to include a systems security view of these vulnerabilities. We describe novel challenges to implementing systems security best practices in software with ML components. In addition, we propose a list of short-term mitigation suggestions that practitioners deploying machine learning modules can use to secure their systems. Finally, we outline directions for new research into machine learning attacks and defenses that can serve to advance the state of ML systems security.


title: Learning Robust State Abstractions for Hidden-Parameter Block MDPs

abstract: Many control tasks exhibit similar dynamics that can be modeled as having common latent structure. Hidden-Parameter Markov Decision Processes (HiP-MDPs) explicitly model this structure to improve sample efficiency in multi-task settings. However, this setting makes strong assumptions on the observability of the state that limit its application in real-world scenarios with rich observation spaces. In this work, we leverage ideas of common structure from the HiP-MDP setting, and extend it to enable robust state abstractions inspired by Block MDPs. We derive instantiations of this new framework for both multi-task reinforcement learning (MTRL) and meta-reinforcement learning (Meta-RL) settings. Further, we provide transfer and generalization bounds based on task and state similarity, along with sample complexity bounds that depend on the aggregate number of samples across tasks, rather than the number of tasks, a significant improvement over prior work that use the same environment assumptions. To further demonstrate the efficacy of the proposed method, we empirically compare and show improvement over multi-task and meta-reinforcement learning baselines.


title: Applying Dynamic Training-Subset Selection Methods Using Genetic Programming for Forecasting Implied Volatility

abstract: Volatility is a key variable in option pricing, trading and hedging strategies. The purpose of this paper is to improve the accuracy of forecasting implied volatility using an extension of genetic programming (GP) by means of dynamic training-subset selection methods. These methods manipulate the training data in order to improve the out of sample patterns fitting. When applied with the static subset selection method using a single training data sample, GP could generate forecasting models which are not adapted to some out of sample fitness cases. In order to improve the predictive accuracy of generated GP patterns, dynamic subset selection methods are introduced to the GP algorithm allowing a regular change of the training sample during evolution. Four dynamic training-subset selection methods are proposed based on random, sequential or adaptive subset selection. The latest approach uses an adaptive subset weight measuring the sample difficulty according to the fitness cases errors. Using real data from SP500 index options, these techniques are compared to the static subset selection method. Based on MSE total and percentage of non fitted observations, results show that the dynamic approach improves the forecasting performance of the generated GP models, specially those obtained from the adaptive random training subset selection method applied to the whole set of training samples.


title: Distribution of the Volume of Weighted Gaussian Simplex

abstract: Let $X_0, \ldots, X_l$ be independent standard Gaussian vectors in $\mathbb{R}^d$ such that $l \leqslant d$. We derive an explicit formula for the distribution of the volume of weighted Gaussian simplex without the origin -- $l$-dimensional simplex $\mathrm{conv}(\sigma_0X_0, \ldots, \sigma_lX_l)$ ($\sigma_0, \ldots, \sigma_l > 0$).


title: Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games

abstract: Two-player mean-payoff Stackelberg games are nonzero-sum infinite duration games played on a bi-weighted graph by Leader (Player 0) and Follower (Player 1). Such games are played sequentially: first, Leader announces her strategy, second, Follower chooses his best-response. If we cannot impose which best-response is chosen by Follower, we say that Follower, though strategic, is adversarial towards Leader. The maximal value that Leader can get in this nonzero-sum game is called the adversarial Stackelberg value (ASV) of the game. We study the robustness of strategies for Leader in these games against two types of deviations: (i) Modeling imprecision - the weights on the edges of the game arena may not be exactly correct, they may be delta-away from the right one. (ii) Sub-optimal response - Follower may play epsilon-optimal best-responses instead of perfect best-responses. First, we show that if the game is zero-sum then robustness is guaranteed while in the nonzero-sum case, optimal strategies for ASV are fragile. Second, we provide a solution concept to obtain strategies for Leader that are robust to both modeling imprecision, and as well as to the epsilon-optimal responses of Follower, and study several properties and algorithmic problems related to this solution concept.


title: Simple and Efficient Hard Label Black-box Adversarial Attacks in Low Query Budget Regimes

abstract: We focus on the problem of black-box adversarial attacks, where the aim is to generate adversarial examples for deep learning models solely based on information limited to output label~(hard label) to a queried data input. We propose a simple and efficient Bayesian Optimization~(BO) based approach for developing black-box adversarial attacks. Issues with BO's performance in high dimensions are avoided by searching for adversarial examples in a structured low-dimensional subspace. We demonstrate the efficacy of our proposed attack method by evaluating both $\ell_\infty$ and $\ell_2$ norm constrained untargeted and targeted hard label black-box attacks on three standard datasets - MNIST, CIFAR-10 and ImageNet. Our proposed approach consistently achieves 2x to 10x higher attack success rate while requiring 10x to 20x fewer queries compared to the current state-of-the-art black-box adversarial attacks.


title: Boundedness and decay for the Teukolsky equation on Kerr in the full subextremal range $|a|<M$: frequency space analysis

abstract: This paper is the first of a series regarding the Teukolsky equation of spin $\pm 1$ and spin $\pm 2$ on Kerr backgrounds in the full subextremal range of parameters $|a|<M$. In the present paper, we study fixed frequency solutions of the transformed system of equations introduced by Dafermos, Holzegel and Rodnianski, obtaining estimates which are uniform in the separation parameters. A corollary of our result, to be laid out in the second paper of the series, is that solutions of the Teukolsky equation on subextremal Kerr arising from regular initial data remain bounded and decay in time. This is a key step in establishing the full linear stability of Kerr under electromagnetic and gravitational perturbations. Our estimates can also be applied to understanding more delicate features of the Teukolsky equation, such as their scattering properties.


title: LIGO/Virgo black holes and dark matter: The effect of spatial clustering

abstract: We discuss the effect of clustering for the determination of the merger rate of binary black holes in the LIGO mass range. While for a Poissonian initial distribution, and assuming isolated binaries, the allowed fraction of Primordial Black Holes (PBHs) to dark matter (DM) is a few percent, we show that this bound can be relaxed if PBHs are clustered. More precisely we show that for large clustering the merger rate can drop with increasing fraction of PBHs, introducing a degeneracy in the parameters of the theory consistent with a given present merger rate, and allowing all the DM to be in the form of stellar mass PBHs. This degeneracy can however be broken by looking at the evolution of the merger rate with redshift. For a simple clustering model that we consider, we show that the LIGO projected sensitivity can disentangle, through the observation of a stochastic background of gravitational waves, different clustered distributions having the same present merger rate.


title: Plateau Phenomenon in Gradient Descent Training of ReLU networks: Explanation, Quantification and Avoidance

abstract: The ability of neural networks to provide `best in class' approximation across a wide range of applications is well-documented. Nevertheless, the powerful expressivity of neural networks comes to naught if one is unable to effectively train (choose) the parameters defining the network. In general, neural networks are trained by gradient descent type optimization methods, or a stochastic variant thereof. In practice, such methods result in the loss function decreases rapidly at the beginning of training but then, after a relatively small number of steps, significantly slow down. The loss may even appear to stagnate over the period of a large number of epochs, only to then suddenly start to decrease fast again for no apparent reason. This so-called plateau phenomenon manifests itself in many learning tasks. The present work aims to identify and quantify the root causes of plateau phenomenon. No assumptions are made on the number of neurons relative to the number of training data, and our results hold for both the lazy and adaptive regimes. The main findings are: plateaux correspond to periods during which activation patterns remain constant, where activation pattern refers to the number of data points that activate a given neuron; quantification of convergence of the gradient flow dynamics; and, characterization of stationary points in terms solutions of local least squares regression lines over subsets of the training data. Based on these conclusions, we propose a new iterative training method, the Active Neuron Least Squares (ANLS), characterised by the explicit adjustment of the activation pattern at each step, which is designed to enable a quick exit from a plateau. Illustrative numerical examples are included throughout.


title: CenterNet3D: An Anchor Free Object Detector for Point Cloud

abstract: Accurate and fast 3D object detection from point clouds is a key task in autonomous driving. Existing one-stage 3D object detection methods can achieve real-time performance, however, they are dominated by anchor-based detectors which are inefficient and require additional post-processing. In this paper, we eliminate anchors and model an object as a single point--the center point of its bounding box. Based on the center point, we propose an anchor-free CenterNet3D network that performs 3D object detection without anchors. Our CenterNet3D uses keypoint estimation to find center points and directly regresses 3D bounding boxes. However, because inherent sparsity of point clouds, 3D object center points are likely to be in empty space which makes it difficult to estimate accurate boundaries. To solve this issue, we propose an extra corner attention module to enforce the CNN backbone to pay more attention to object boundaries. Besides, considering that one-stage detectors suffer from the discordance between the predicted bounding boxes and corresponding classification confidences, we develop an efficient keypoint-sensitive warping operation to align the confidences to the predicted bounding boxes. Our proposed CenterNet3D is non-maximum suppression free which makes it more efficient and simpler. We evaluate CenterNet3D on the widely used KITTI dataset and more challenging nuScenes dataset. Our method outperforms all state-of-the-art anchor-based one-stage methods and has comparable performance to two-stage methods as well. It has an inference speed of 20 FPS and achieves the best speed and accuracy trade-off. Our source code will be released at https://github.com/wangguojun2018/CenterNet3d.


title: Three quick recipes with fully extended oriented 2d TQFTs

abstract: It always happens: you have a talk for dinner and nothing prepared. Your signature dish never fails, but you have served it too many times already and you'd like to surprise your guests with something new. Try these quick, light and colourful reinterpretations of haute cuisine classics, like (nonabelian) Fourier transforms and the Plancherel theorem for finite groups.


title: On a Competitive Secretary Problem with Deferred Selections

abstract: We study secretary problems in settings with multiple agents. In the standard secretary problem, a sequence of arbitrary awards arrive online, in a random order, and a single decision maker makes an immediate and irrevocable decision whether to accept each award upon its arrival. The requirement to make immediate decisions arises in many cases due to an implicit assumption regarding competition. Namely, if the decision maker does not take the offered award immediately, it will be taken by someone else. The novelty in this paper is in introducing a multi-agent model in which the competition is endogenous. In our model, multiple agents compete over the arriving awards, but the decisions need not be immediate; instead, agents may select previous awards as long as they are available (i.e., not taken by another agent). If an award is selected by multiple agents, ties are broken either randomly or according to a global ranking. This induces a multi-agent game in which the time of selection is not enforced by the rules of the games, rather it is an important component of the agent's strategy. We study the structure and performance of equilibria in this game. For random tie breaking, we characterize the equilibria of the game, and show that the expected social welfare in equilibrium is nearly optimal, despite competition among the agents. For ranked tie breaking, we give a full characterization of equilibria in the 3-agent game, and show that as the number of agents grows, the winning probability of every agent under non-immediate selections approaches her winning probability under immediate selections.


title: Non-IID Recommender Systems: A Review and Framework of Recommendation Paradigm Shifting

abstract: While recommendation plays an increasingly critical role in our living, study, work, and entertainment, the recommendations we receive are often for irrelevant, duplicate, or uninteresting products and services. A critical reason for such bad recommendations lies in the intrinsic assumption that recommended users and items are independent and identically distributed (IID) in existing theories and systems. Another phenomenon is that, while tremendous efforts have been made to model specific aspects of users or items, the overall user and item characteristics and their non-IIDness have been overlooked. In this paper, the non-IID nature and characteristics of recommendation are discussed, followed by the non-IID theoretical framework in order to build a deep and comprehensive understanding of the intrinsic nature of recommendation problems, from the perspective of both couplings and heterogeneity. This non-IID recommendation research triggers the paradigm shift from IID to non-IID recommendation research and can hopefully deliver informed, relevant, personalized, and actionable recommendations. It creates exciting new directions and fundamental solutions to address various complexities including cold-start, sparse data-based, cross-domain, group-based, and shilling attack-related issues.


title: Learning Accurate and Human-Like Driving using Semantic Maps and Attention

abstract: This paper investigates how end-to-end driving models can be improved to drive more accurately and human-like. To tackle the first issue we exploit semantic and visual maps from HERE Technologies and augment the existing Drive360 dataset with such. The maps are used in an attention mechanism that promotes segmentation confidence masks, thus focusing the network on semantic classes in the image that are important for the current driving situation. Human-like driving is achieved using adversarial learning, by not only minimizing the imitation loss with respect to the human driver but by further defining a discriminator, that forces the driving model to produce action sequences that are human-like. Our models are trained and evaluated on the Drive360 + HERE dataset, which features 60 hours and 3000 km of real-world driving data. Extensive experiments show that our driving models are more accurate and behave more human-like than previous methods.


title: Stability, memory, and messaging tradeoffs in heterogeneous service systems

abstract: We consider a heterogeneous distributed service system, consisting of $n$ servers with unknown and possibly different processing rates. Jobs with unit mean and independent processing times arrive as a renewal process of rate $\lambda n$, with $0<\lambda<1$, to the system. Incoming jobs are immediately dispatched to one of several queues associated with the $n$ servers. We assume that the dispatching decisions are made by a central dispatcher endowed with a finite memory, and with the ability to exchange messages with the servers. We study the fundamental resource requirements (memory bits and message exchange rate) in order for a dispatching policy to be {\bf maximally stable}, i.e., stable whenever the processing rates are such that the arrival rate is less than the total available processing rate. First, for the case of Poisson arrivals and exponential service times, we present a policy that is maximally stable while using a positive (but arbitrarily small) message rate, and $\log_2(n)$ bits of memory. Second, we show that within a certain broad class of policies, a dispatching policy that exchanges $o\big(n^2\big)$ messages per unit of time, and with $o(\log(n))$ bits of memory, cannot be maximally stable. Thus, as long as the message rate is not too excessive, a logarithmic memory is necessary and sufficient for maximal stability.


title: Exploring Dynamic Difficulty Adjustment in Videogames

abstract: Videogames are nowadays one of the biggest entertainment industries in the world. Being part of this industry means competing against lots of other companies and developers, thus, making fanbases of vital importance. They are a group of clients that constantly support your company because your video games are fun. Videogames are most entertaining when the difficulty level is a good match for the player's skill, increasing the player engagement. However, not all players are equally proficient, so some kind of difficulty selection is required. In this paper, we will present Dynamic Difficulty Adjustment (DDA), a recently arising research topic, which aims to develop an automated difficulty selection mechanism that keeps the player engaged and properly challenged, neither bored nor overwhelmed. We will present some recent research addressing this issue, as well as an overview of how to implement it. Satisfactorily solving the DDA problem directly affects the player's experience when playing the game, making it of high interest to any game developer, from independent ones, to 100 billion dollar businesses, because of the potential impacts in player retention and monetization.


title: Alpha-Net: Architecture, Models, and Applications

abstract: Deep learning network training is usually computationally expensive and intuitively complex. We present a novel network architecture for custom training and weight evaluations. We reformulate the layers as ResNet-similar blocks with certain inputs and outputs of their own, the blocks (called Alpha blocks) on their connection configuration form their own network, combined with our novel loss function and normalization function form the complete Alpha-Net architecture. We provided the empirical mathematical formulation of network loss function for more understanding of accuracy estimation and further optimizations. We implemented Alpha-Net with 4 different layer configurations to express the architecture behavior comprehensively. On a custom dataset based on ImageNet benchmark, we evaluate Alpha-Net v1, v2, v3, and v4 for image recognition to give the accuracy of 78.2%, 79.1%, 79.5%, and 78.3% respectively. The Alpha-Net v3 gives improved accuracy of approx. 3% over the last state-of-the-art network ResNet 50 on ImageNet benchmark. We also present an analysis of our dataset with 256, 512, and 1024 layers and different versions of the loss function. Input representation is also crucial for training as initial preprocessing will take only a handful of features to make training less complex than it needs to be. We also compared network behavior with different layer structures, different loss functions, and different normalization functions for better quantitative modeling of Alpha-Net.


title: Collaborative Unsupervised Domain Adaptation for Medical Image Diagnosis

abstract: Deep learning based medical image diagnosis has shown great potential in clinical medicine. However, it often suffers two major difficulties in real-world applications: 1) only limited labels are available for model training, due to expensive annotation costs over medical images; 2) labeled images may contain considerable label noise (e.g., mislabeling labels) due to diagnostic difficulties of diseases. To address these, we seek to exploit rich labeled data from relevant domains to help the learning in the target task via {Unsupervised Domain Adaptation} (UDA). Unlike most UDA methods that rely on clean labeled data or assume samples are equally transferable, we innovatively propose a Collaborative Unsupervised Domain Adaptation algorithm, which conducts transferability-aware adaptation and conquers label noise in a collaborative way. We theoretically analyze the generalization performance of the proposed method, and also empirically evaluate it on both medical and general images. Promising experimental results demonstrate the superiority and generalization of the proposed method.


title: Quantum search of matching on signed graphs

abstract: We construct a quantum searching model of a signed edge driven by a quantum walk. The time evolution operator of this quantum walk provides a weighted adjacency matrix induced by the assignment of sign to each edge. This sign can be regarded as so called the edge coloring. Then as an application, under an arbitrary edge coloring which gives a matching on a complete graph, we consider a quantum search of a colored edge from the edge set of a complete graph. We show that this quantum walk finds a colored edge within the time complexity of $O(n^{\frac{2-\alpha}{2}})$ with probability $1-o(1)$ while the corresponding random walk on the line graph finds them within the time complexity of $O(n^{2-\alpha})$ if we set the number of the edges of the matching by $O(n^{\alpha})$ for $0 \le \alpha \le 1$.


title: AutoRec: An Automated Recommender System

abstract: Realistic recommender systems are often required to adapt to ever-changing data and tasks or to explore different models systematically. To address the need, we present AutoRec, an open-source automated machine learning (AutoML) platform extended from the TensorFlow ecosystem and, to our knowledge, the first framework to leverage AutoML for model search and hyperparameter tuning in deep recommendation models. AutoRec also supports a highly flexible pipeline that accommodates both sparse and dense inputs, rating prediction and click-through rate (CTR) prediction tasks, and an array of recommendation models. Lastly, AutoRec provides a simple, user-friendly API. Experiments conducted on the benchmark datasets reveal AutoRec is reliable and can identify models which resemble the best model without prior knowledge.


title: A note on the differentiability of the Hellinger-Kantorovich distances

abstract: This paper will deal with differentiability properties of the class of Hellinger-Kantorovich distances which was recently introduced on the space of finite nonnegative Radon measures.


title: Mimetic Einstein-Cartan-Kibble-Sciama (ECKS) gravity

abstract: In this paper, we formulate the Mimetic theory of gravity in first-order formalism for differential forms, i.e., the mimetic version of Einstein-Cartan-Kibble-Sciama (ECKS) gravity. We consider different possibilities on how torsion is affected by conformal transformations and discuss how this translates into the interpolation between two different conformal transformations of the spin connection, parameterized with a zero-form parameter $\lambda$. We prove that regardless of the type of transformation one chooses, in this setting torsion remains as a non-propagating field. We also discuss the conservation of the mimetic stress-energy tensor and show that the trace of the total stress-energy tensor is not null but depends on both, the value of $\lambda$ and spacetime torsion.


title: MeTRAbs: Metric-Scale Truncation-Robust Heatmaps for Absolute 3D Human Pose Estimation

abstract: Heatmap representations have formed the basis of human pose estimation systems for many years, and their extension to 3D has been a fruitful line of recent research. This includes 2.5D volumetric heatmaps, whose X and Y axes correspond to image space and Z to metric depth around the subject. To obtain metric-scale predictions, 2.5D methods need a separate post-processing step to resolve scale ambiguity. Further, they cannot localize body joints outside the image boundaries, leading to incomplete estimates for truncated images. To address these limitations, we propose metric-scale truncation-robust (MeTRo) volumetric heatmaps, whose dimensions are all defined in metric 3D space, instead of being aligned with image space. This reinterpretation of heatmap dimensions allows us to directly estimate complete, metric-scale poses without test-time knowledge of distance or relying on anthropometric heuristics, such as bone lengths. To further demonstrate the utility our representation, we present a differentiable combination of our 3D metric-scale heatmaps with 2D image-space ones to estimate absolute 3D pose (our MeTRAbs architecture). We find that supervision via absolute pose loss is crucial for accurate non-root-relative localization. Using a ResNet-50 backbone without further learned layers, we obtain state-of-the-art results on Human3.6M, MPI-INF-3DHP and MuPoTS-3D. Our code will be made publicly available to facilitate further research.


title: Disturbance Decoupling for Gradient-based Multi-Agent Learning with Quadratic Costs

abstract: Motivated by applications of multi-agent learning in noisy environments, this paper studies the robustness of gradient-based learning dynamics with respect to disturbances. While disturbances injected along a coordinate corresponding to any individual player's actions can always affect the overall learning dynamics, a subset of players can be disturbance decoupled---i.e., such players' actions are completely unaffected by the injected disturbance. We provide necessary and sufficient conditions to guarantee this property for games with quadratic cost functions, which encompass quadratic one-shot continuous games, finite-horizon linear quadratic (LQ) dynamic games, and bilinear games. Specifically, disturbance decoupling is characterized by both algebraic and graph-theoretic conditions on the learning dynamics, the latter is obtained by constructing a game graph based on gradients of players' costs. For LQ games, we show that disturbance decoupling imposes constraints on the controllable and unobservable subspaces of players. For two player bilinear games, we show that disturbance decoupling within a player's action coordinates imposes constraints on the payoff matrices. Illustrative numerical examples are provided.


title: BERTERS: Multimodal Representation Learning for Expert Recommendation System with Transformer

abstract: The objective of an expert recommendation system is to trace a set of candidates' expertise and preferences, recognize their expertise patterns, and identify experts. In this paper, we introduce a multimodal classification approach for expert recommendation system (BERTERS). In our proposed system, the modalities are derived from text (articles published by candidates) and graph (their co-author connections) information. BERTERS converts text into a vector using the Bidirectional Encoder Representations from Transformer (BERT). Also, a graph Representation technique called ExEm is used to extract the features of candidates from the co-author network. Final representation of a candidate is the concatenation of these vectors and other features. Eventually, a classifier is built on the concatenation of features. This multimodal approach can be used in both the academic community and the community question answering. To verify the effectiveness of BERTERS, we analyze its performance on multi-label classification and visualization tasks.


title: Cross-Domain Medical Image Translation by Shared Latent Gaussian Mixture Model

abstract: Current deep learning based segmentation models often generalize poorly between domains due to insufficient training data. In real-world clinical applications, cross-domain image analysis tools are in high demand since medical images from different domains are often needed to achieve a precise diagnosis. An important example in radiology is generalizing from non-contrast CT to contrast enhanced CTs. Contrast enhanced CT scans at different phases are used to enhance certain pathologies or organs. Many existing cross-domain image-to-image translation models have been shown to improve cross-domain segmentation of large organs. However, such models lack the ability to preserve fine structures during the translation process, which is significant for many clinical applications, such as segmenting small calcified plaques in the aorta and pelvic arteries. In order to preserve fine structures during medical image translation, we propose a patch-based model using shared latent variables from a Gaussian mixture model. We compare our image translation framework to several state-of-the-art methods on cross-domain image translation and show our model does a better job preserving fine structures. The superior performance of our model is verified by performing two tasks with the translated images - detection and segmentation of aortic plaques and pancreas segmentation. We expect the utility of our framework will extend to other problems beyond segmentation due to the improved quality of the generated images and enhanced ability to preserve small structures.


title: Dark Nucleosynthesis: Cross-sections and Astrophysical Signals

abstract: We investigate dark matter bound-state formation and its implication for indirect-detection experiments. We focus on the case where dark matter is a baryon of a strongly-coupled dark sector and provide generic formulae for the formation of shallow nuclear bound states on emission of photons, and W and Z gauge bosons. These processes can occur via electric and magnetic transitions, and give rise to indirect signals that are testable in monochromatic and diffuse photon measurements by Fermi and HESS. We also study the validity of factorizing the bound-state formation cross section into a short-distance nuclear part multiplied by Sommerfeld-enhancement factors. We find that the short-distance nuclear potential often violates factorization, modifying in particular the location of the peaks associated with zero-energy bound states. Finally we revisit bound-state formation of a (weakly-coupled) Minimal DM quintuplet including isospin-breaking effects, and find it gives rise to indirect-detection signals that are compatible with current bounds.


title: Original Research By Young Twinkle Students (ORBYTS): Ephemeris Refinement of Transiting Exoplanets II

abstract: We report follow-up observations of four transiting exoplanets, TRES-2b, HAT-P-22b, HAT-P-36b and XO-2b, as part of the Original Research By Young Twinkle Students (ORBYTS) programme. These observations were taken using the Las Cumbres Observatory Global Telescope Network's (LCOGT) robotic 0.4 m telescopes and were analysed using the HOlomon Photometric Software (HOPS). Such observations are key for ensuring accurate transit times for upcoming telescopes, such as the James Webb Space Telescope (JWST), Twinkle and Ariel, which may seek to characterise the atmospheres of these planets. The data have been uploaded to ExoClock and a significant portion of this work has been completed by secondary school students in London.


title: Excitations in the spin-1 trimer chain compound CaNi3P4O14: gapped dispersive spinwaves to gapless magnetic excitations

abstract: Magnetic excitations and the spin Hamiltonian of the spin-1 J1-J1-J2 trimer chain compound CaNi3P4O14 have been investigated by inelastic neutron scattering. Experimental data reveal gapped dispersive spin wave excitations in the 3D long-range ordered magnetic state (TC = 16 K), and gapless magnetic excitations above the TC. Simulated magnetic excitations, by using the linear spin wave theory, for a model of coupled trimer spin-chains provide a good description of the observed experimental data. The analysis reveals both ferromagnetic J1 and J2 interactions within the chains, and an antiferromagnetic interchain interaction J3 between chains. The strengths of the J1 and J2 are found to be closer (J2/J1 ~ 0.81), and J3 is determined to be weaker (J3/ J1 ~ 0.69), which is consistent with the spin chain type crystal structure. Presence of a weak single-ion-anisotropy (D/J=0.19) is also revealed. The strengths and signs of exchange interactions explain why the 1/3 magnetization is absent in the studied spin-1 compound CaNi3P4O14 in contrast to its S= 5/2 counterpart Mn based isostructural compound. The signs of the exchange interactions are in agreement with that obtained from the reported DFT calculations, whereas, their strengths are found to be significantly different. The relatively strong value of the J3 in CaNi3P4O14 gives a conventional 3D type magnetic ordering below the TC, however, retains its 1D character above the TC. The present experimental study also reveals a sharp change of single-ion anisotropy across the TC indicating that the stability of the 3D magnetic ordering in CaNi3P4O14 is ascribed to the local magnetic anisotropy in addition to interchain interactions. The present study divulges the importance of full knowledge of the exchange interactions in trimer spin chain compounds to understand their exotic magnetic properties, such as 1/3 magnetization plateau.


title: Ambitwistor Strings and the Scattering Equations on AdS$_3\times$S$^3$

abstract: We construct an ambitwistor string that describes Type II supergravity on AdS$_3\times$S$^3$ with pure NS flux. The background Einstein equations ensure that the model is anomaly free. The spectrum consists of supergravity fluctuations around this background, with no higher string states. This theory transforms the problem of computing $n$-point tree-level amplitudes on AdS$_3$ into that of understanding an $\mathfrak{sl}_2$ Gaudin integrable system, whose representations are determined by the dual boundary operators and whose spectral parameters correspond to the worldsheet insertion points. The scattering equations take a similar form to flat space, with $n(n-3)/2$ parameters $\tau_{ij}$ parametrizing the eigenvalues of the Gaudin model.


title: Model Checking Branching Properties on Petri Nets with Transits (Full Version)

abstract: To model check concurrent systems, it is convenient to distinguish between the data flow and the control. Correctness is specified on the level of data flow whereas the system is configured on the level of control. Petri nets with transits and Flow-LTL are a corresponding formalism. In Flow-LTL, both the correctness of the data flow and assumptions on fairness and maximality for the control are expressed in linear time. So far, branching behavior cannot be specified for Petri nets with transits. In this paper, we introduce Flow-CTL* to express the intended branching behavior of the data flow while maintaining LTL for fairness and maximality assumptions on the control. We encode physical access control with policy updates as Petri nets with transits and give standard requirements in Flow-CTL*. For model checking, we reduce the model checking problem of Petri nets with transits against Flow-CTL* via automata constructions to the model checking problem of Petri nets against LTL. Thereby, physical access control with policy updates under fairness assumptions for an unbounded number of people can be verified.


title: Multitask Learning Strengthens Adversarial Robustness

abstract: Although deep networks achieve strong accuracy on a range of computer vision benchmarks, they remain vulnerable to adversarial attacks, where imperceptible input perturbations fool the network. We present both theoretical and empirical analyses that connect the adversarial robustness of a model to the number of tasks that it is trained on. Experiments on two datasets show that attack difficulty increases as the number of target tasks increase. Moreover, our results suggest that when models are trained on multiple tasks at once, they become more robust to adversarial attacks on individual tasks. While adversarial defense remains an open challenge, our results suggest that deep networks are vulnerable partly because they are trained on too few tasks.


title: Separation of congruence intervals and implications

abstract: The Constraint Satisfaction Problem (CSP) has been intensively studied in many areas of computer science and mathematics. The approach to the CSP based on tools from universal algebra turned out to be the most successful one to study the complexity and algorithms for this problem. Several techniques have been developed over two decades. One of them is through associating edge-colored graphs with algebras and studying how the properties of algebras are related with the structure of the associated graphs. This approach has been introduced in our previous two papers (A.Bulatov, Local structure of idempotent algebras I,II. arXiv:2006.09599, arXiv:2006.10239, 2020). In this paper we further advance it by introducing new structural properties of finite idempotent algebras omitting type 1 such as separation congruences, collapsing polynomials, and their implications for the structure of subdirect products of finite algebras. This paper also provides the algebraic background for our proof of Feder-Vardi Dichotomy Conjecture (A. Bulatov, A Dichotomy Theorem for Nonuniform CSPs. FOCS 2017: 319-330).


title: Modeling Artistic Workflows for Image Generation and Editing

abstract: People often create art by following an artistic workflow involving multiple stages that inform the overall design. If an artist wishes to modify an earlier decision, significant work may be required to propagate this new decision forward to the final artwork. Motivated by the above observations, we propose a generative model that follows a given artistic workflow, enabling both multi-stage image generation as well as multi-stage image editing of an existing piece of art. Furthermore, for the editing scenario, we introduce an optimization process along with learning-based regularization to ensure the edited image produced by the model closely aligns with the originally provided image. Qualitative and quantitative results on three different artistic datasets demonstrate the effectiveness of the proposed framework on both image generation and editing tasks.


title: Electric and heat transport in a charge two-channel Kondo device

abstract: Motivated by the experimental realization of a multi-channel charge Kondo device [Iftikhar et al., Nature 526, 233 (2015)], we study generic charge and heat transport properties of the charge two-channel Kondo model. We present a comprehensive discussion of the out-of-equilibrium and time-dependent charge transport, as well as thermal transport within linear response theory. The transport properties are calculated at, and also in the vicinity of, the exactly solvable Emery-Kivelson point, which has the form of a Majorana fermion resonant level model. We focus on regimes where our solution gives exact results for the physical quantum dot device, and highlight new predictions relevant to future experiments.


title: Gallai-Ramsey number for the union of stars

abstract: Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of the complete graph $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain the exact value of the Gallai-Ramsey numbers for the union of two stars in many cases and bounds in other cases. This work represents the first class of disconnected graphs to be considered as the desired monochromatic subgraph.