title: One-Shot Learning for Language Modelling

abstract: Humans can infer a great deal about the meaning of a word, using the syntax and semantics of surrounding words even if it is their first time reading or hearing it. We can also generalise the learned concept of the word to new tasks. Despite great progress in achieving human-level performance in certain tasks (Silver et al., 2016), learning from one or few examples remains a key challenge in machine learning, and has not thoroughly been explored in Natural Language Processing (NLP). In this work we tackle the problem of oneshot learning for an NLP task by employing ideas from recent developments in machine learning: embeddings, attention mechanisms (softmax) and similarity measures (cosine, Euclidean, Poincare, and Minkowski). We adapt the framework suggested in matching networks (Vinyals et al., 2016), and explore the effectiveness of the aforementioned methods in one, two and three-shot learning problems on the task of predicting missing word explored in (Vinyals et al., 2016) by using the WikiText-2 dataset. Our work contributes in two ways: Our first contribution is that we explore the effectiveness of different distance metrics on k-shot learning, and show that there is no single best distance metric for k-shot learning, which challenges common belief. We found that the performance of a distance metric depends on the number of shots used during training. The second contribution of our work is that we establish a benchmark for one, two, and three-shot learning on a language task with a publicly available dataset that can be used to benchmark against in future research.


title: Alignment of a topological defect by an activity gradient

abstract: As a method for controlling active materials, researchers have suggested designing patterns of activity on a substrate, which should guide the motion of topological defects. To investigate this concept, we model the behavior of a single defect of topological charge $+1/2$, moving in an activity gradient. This modeling uses three methods: (1) approximate analytic solution of hydrodynamic equations, (2) macroscopic, symmetry-based theory of the defect as an effective oriented particle, and (3) numerical simulation. All three methods show that an activity gradient aligns the defect orientation, and hence should be useful to control defect motion.


title: Affine gravitational scenario for dark matter decay

abstract: Since the current evidence of its existence is revealed only through its gravitational influence, the way dark matter couples to gravity must be then of primary importance. Here, unlike the standard model sector which is typically coupled to metric, dark matter is supposed to couple only to spacetime affine connection through a $Z_2$-symmetry breaking term. We show that this structure leads to a coupling between dark matter, which is considered scalar, and the standard model Higgs potential. This induces dark matter decays into standard model particles through the Higgs which acts as a portal between the visible and the dark sectors. We study thoroughly the resulting decay modes for various mass ranges, and provide relevant bounds on the nonminimal coupling to affine gravity in line with observational data. Moreover, we find that the coupling to Higgs can be sufficiently large to facilitate production of dark matter lighter than 10 GeV at current and future high energy colliders.


title: Twitter and Facebook posts about COVID-19 are less likely to spread false and low-credibility content compared to other health topics

abstract: On February 2, 2020, the World Health Organization declared a COVID-19 social media "infodemic", with special attention to misinformation -- frequently understood as false claims. To understand the infodemic's scope and scale, we analyzed over 500 million posts from Twitter and Facebook about COVID-19 and other health topics, between March 8 and May 1, 2020. Following prior work, we assumed URL source credibility is a proxy for false content, but we also tested this assumption. Contrary to expectations, we found that messages about COVID-19 were more likely to contain links to more credible sources. Additionally, messages linking to government sources, and to news with intermediate credibility, were shared more often, on average, than links to non-credible sources. These results suggest that more ambiguous forms of misinformation about COVID-19 may be more likely to be disseminated through credible sources when compared to other health topics. Furthermore, the assumption that credibility is an adequate proxy for false content may overestimate the prevalence of false content online: less than 25% of posts linking to the least credible sources contained false content. Our results emphasize the importance of distinguishing between explicit falsehoods and more ambiguous forms of misinformation due to the search for meaning in an environment of scientific uncertainty.


title: Confronting GW190814 with hyperonization in dense matter and hypernuclear compact stars

abstract: We examine the possibility that the light companion in the highly asymmetric binary compact object coalescence event GW190814 is a hypernuclear star. We use density functional theory with functionals that have been tuned to the properties of $\Lambda$ hypernuclei as well as astrophysical constraints placed by the masses of the most massive millisecond pulsars, the mass-radius range inferred from the NICER experiment, and the binary neutron star merger event GW170817. We compute general-relativistic static and maximally rotating Keplerian configurations of purely nucleonic and hypernuclear stars. We find that while nucleonic stars are broadly consistent with a neutron star being involved in GW190814, this would imply no new degrees of freedom in the dense matter up to 6.5 times the nuclear saturation density. Allowing for hyperonization of dense matter, we find that the maximal masses of hypernuclear stars, even for maximal rapidly rotating configurations, are inconsistent with a stellar nature interpretation of the light companion in GW190814, implying that this event involved two black holes rather than a neutron star and a black hole.


title: An unsupervised learning approach to solving heat equations on chip based on Auto Encoder and Image Gradient

abstract: Solving heat transfer equations on chip becomes very critical in the upcoming 5G and AI chip-package-systems. However, batches of simulations have to be performed for data driven supervised machine learning models. Data driven methods are data hungry, to address this, Physics Informed Neural Networks (PINN) have been proposed. However, vanilla PINN models solve one fixed heat equation at a time, so the models have to be retrained for heat equations with different source terms. Additionally, issues related to multi-objective optimization have to be resolved while using PINN to minimize the PDE residual, satisfy boundary conditions and fit the observed data etc. Therefore, this paper investigates an unsupervised learning approach for solving heat transfer equations on chip without using solution data and generalizing the trained network for predicting solutions for heat equations with unseen source terms. Specifically, a hybrid framework of Auto Encoder (AE) and Image Gradient (IG) based network is designed. The AE is used to encode different source terms of the heat equations. The IG based network implements a second order central difference algorithm for structured grids and minimizes the PDE residual. The effectiveness of the designed network is evaluated by solving heat equations for various use cases. It is proved that with limited number of source terms to train the AE network, the framework can not only solve the given heat transfer problems with a single training process, but also make reasonable predictions for unseen cases (heat equations with new source terms) without retraining.

categories: cs.LG physics.app-ph physics.comp-ph stat.ML


title: Welcome to Gab Alt Right Discourses

abstract: Social media has become an important venue for diverse groups to share information, discuss political issues, and organize social movements. Recent scholarship has shown that the social media ecosystem can affect political thinking and expression. Individuals and groups across the political spectrum have engaged in the use of these platforms extensively, even creating their own forums with varying approaches to content moderation in pursuit of freer standards of speech. The Gab social media platform arose in this context. Gab is a social media platform for the so-called alt right, and much of the popular press has opined about the thematic content of discourses on Gab and platforms like it, but little research has examined the content itself. Using a publicly available dataset of all Gab posts from August 2016 until July 2019, the current paper explores a five percent random sample of this dataset to explore thematic content on the platform. We run multiple structural topic models, using standard procedures to arrive at an optimal k number of topics. The final model specifies 85 topics for 403,469 documents. We include as prevalence variables whether the source account has been flagged as a bot and the number of followers for the source account. Results suggest the most nodal topics in the dataset pertain to the authenticity of the Holocaust, the meaning of red pill, and the journalistic merit of mainstream media. We conclude by discussing the implications of our findings for work in ethical content moderation, online community development, political polarization, and avenues for future research.


title: A Parametrized Nonlinear Predictive Control Strategy for Relaxing COVID-19 Social Distancing Measures in Brazil

abstract: In this paper, we formulate a Nonlinear Model Predictive Control (NMPC) to plan appropriate social distancing measures (and relaxations) in order to mitigate the COVID-19 pandemic effects, considering the contagion development in Brazil. The NMPC strategy is designed upon an adapted data-driven Susceptible-Infected-Recovered-Deceased (SIRD) contagion model, which takes into account the effects of social distancing. Furthermore, the adapted SIRD model includes time-varying auto-regressive contagion parameters, which dynamically converge according to the stage of the pandemic. This new model is identified through a three-layered procedures, with analytical regressions, Least-Squares optimization runs and auto-regressive model fits. The data-driven model is validated and shown to adequately describe the contagion curves over large forecast horizons. In this model, control input is defined as finitely parametrized values for social distancing guidelines, which directly affect the transmission and infection rates of the SARS-CoV-2 virus. The NMPC strategy generates piece-wise constant quarantine guidelines which can be relaxed/strengthen as each week passes. The implementation of the method is pursued through a search mechanism, since the control is finitely parametrized and, thus, there exist a finite number of possible control sequences. Simulation essays are shown to illustrate the results obtained with the proposed closed-loop NMPC strategy, which is able to mitigate the number of infections and progressively loosen social distancing measures. With respect to an "open-loop"/no control condition, the number of deaths still could be reduced in up to 30 %. The forecast preview an infection peak to September 2nd, 2020, which could lead to over 1.5 million deaths if no coordinate health policy is enacted. The framework serves as guidelines for possible public health policies in Brazil.


title: Off-fault damage characterisation during and after experimental quasi-static and dynamic rupture in crustal rock from laboratory P-wave tomography and microstructures

abstract: Elastic strain energy released during shear failure in rock is partially spent as fracture energy $\Gamma$ to propagate the rupture further. $\Gamma$ is dissipated within the rupture tip process zone, and includes energy dissipated as off-fault damage, $\Gamma_\mathrm{off}$. Quantifying off-fault damage formed during rupture is crucial to understand its effect on rupture dynamics and slip-weakening processes behind the rupture tip, and its contribution to seismic radiation. Here, we quantify $\Gamma_\mathrm{off}$ and associated change in off-fault mechanical properties during and after quasi-static and dynamic rupture. We do so by performing dynamic and quasi-static shear failure experiments on intact Lanh\'elin granite under triaxial conditions. We quantify the change in elastic moduli around the fault from time-resolved 3D $P$-wave velocity tomography obtained during and after failure. We measure the off-fault microfracture damage after failure. From the tomography, we observe a localised maximum 25\% drop in $P$-wave velocity around the shear failure interface for both quasi-static and dynamic failure. Microfracture density data reveals a damage zone width of around 10 mm after quasi-static failure, and 20 mm after dynamic failure. Microfracture densities obtained from $P$-wave velocity tomography models using an effective medium approach are in good agreement with the measured off-fault microfracture damage. $\Gamma_\mathrm{off}$ obtained from off-fault microfracture measurements is around 3 kJm$^{2}$ for quasi-static rupture, and 5.5 kJm$^{2}$ for dynamic rupture. We argue that rupture velocity determines damage zone width for slip up to a few mm, and that shear fracture energy $\Gamma$ increases with increasing rupture velocity.


title: AdS Black Brane Solution Surrounded by Quintessence in Massive Gravity and KSS Bound

abstract: In this paper, the Einstein AdS black brane solution in the presence of quintessence in context of massive gravity is introduced. The ratio of shear viscosity to entropy density for this solution violates the KSS bound by applying the Dirichlet boundary and regularity on the horizon conditions. Our result shows that this value is independent of quintessence in arbitrary dimensions.


title: A framework for studying behavioral evolution by reconstructing ancestral repertoires

abstract: Although extensive behavioral changes often exist between closely related animal species, our understanding of the genetic basis underlying the evolution of behavior has remained limited. Here, we propose a new framework to study behavioral evolution by computational estimation of ancestral behavioral repertoires. We measured the behaviors of individuals from six species of fruit flies using unsupervised techniques and identified suites of stereotyped movements exhibited by each species. We then fit a Generalized Linear Mixed Model to estimate the suites of behaviors exhibited by ancestral species, as well as the intra- and inter-species behavioral covariances. We found that much of intraspecific behavioral variation is explained by differences between individuals in the status of their behavioral hidden states, what might be called their "mood." Lastly, we propose a method to identify groups of behaviors that appear to have evolved together, illustrating how sets of behaviors, rather than individual behaviors, likely evolved. Our approach provides a new framework for identifying co-evolving behaviors and may provide new opportunities to study the genetic basis of behavioral evolution.


title: Class-wise Dynamic Graph Convolution for Semantic Segmentation

abstract: Recent works have made great progress in semantic segmentation by exploiting contextual information in a local or global manner with dilated convolutions, pyramid pooling or self-attention mechanism. In order to avoid potential misleading contextual information aggregation in previous works, we propose a class-wise dynamic graph convolution (CDGC) module to adaptively propagate information. The graph reasoning is performed among pixels in the same class. Based on the proposed CDGC module, we further introduce the Class-wise Dynamic Graph Convolution Network(CDGCNet), which consists of two main parts including the CDGC module and a basic segmentation network, forming a coarse-to-fine paradigm. Specifically, the CDGC module takes the coarse segmentation result as class mask to extract node features for graph construction and performs dynamic graph convolutions on the constructed graph to learn the feature aggregation and weight allocation. Then the refined feature and the original feature are fused to get the final prediction. We conduct extensive experiments on three popular semantic segmentation benchmarks including Cityscapes, PASCAL VOC 2012 and COCO Stuff, and achieve state-of-the-art performance on all three benchmarks.


title: Information in additional observations of a non-parametric experiment that is not estimable

abstract: Given $n$ independent and identically distributed observations and measuring the value of obtaining an additional observation in terms of Le Cam's notion of deficiency between experiments, we show for certain types of non-parametric experiments that the value of an additional observation decreases at a rate of $1/\sqrt{n}$. This is distinct from the known typical decrease at a rate of $1/n$ for parametric experiments and the non-decreasing value in the case of very large experiments. In particular, the rate of $1/\sqrt{n}$ holds for the experiment given by observing samples from a density about which we know only that it is bounded from below by some fixed constant. Thus there exists an experiment where the value of additional observations tends to zero but for which no estimator that is consistent (in total variation distance) exists.


title: Pontryagin's Maximum Principle for Infinite Horizon Optimal Control Problems with Bounded Processes and with State Constraints

abstract: This paper concerns a class of infinite horizon optimal control problems with state constraints. By extending the needle variation method to the infinite horizon case we obtain a complete set of necessary optimality conditions for a strong local minimizer in form of the Pontryagin maximum principle and the validity of several transversality conditions at infinity. To this purpose, we develop an approach in the space of continuous functions converging at infinity. The considerations including new results on optimality and transversality conditions, on Banach spaces of continuous functions, on the needle variation method and on problems with state constraints on the unbounded time horizon.


title: Generalisations of Singular Value Decomposition to dual-numbered matrices

abstract: We present two generalisations of Singular Value Decomposition from real-numbered matrices to dual-numbered matrices. We prove that every dual-numbered matrix has both types of SVD. Both of our generalisations are motivated by applications, either to geometry or to mechanics.


title: Gromov-Hausdorff convergence of quantised intervals

abstract: The Podles quantum sphere S^2_q admits a natural commutative C*-subalgebra I_q with spectrum {0} \cup {q^{2k}: k = 0,1,2,...}, which may therefore be considered as a quantised version of a classical interval. We study here the compact quantum metric space structure on I_q inherited from the corresponding structure on S^2_q, and provide an explicit formula for the metric induced on the spectrum. Moreover, we show that the resulting metric spaces vary continuously in the deformation parameter q with respect to the Gromov-Hausdorff distance, and that they converge to a classical interval of length pi as q tends to 1.


title: Using Deep Convolutional Neural Networks to Diagnose COVID-19 From Chest X-Ray Images

abstract: The COVID-19 epidemic has become a major safety and health threat worldwide. Imaging diagnosis is one of the most effective ways to screen COVID-19. This project utilizes several open-source or public datasets to present an open-source dataset of COVID-19 CXRs, named COVID-19-CXR-Dataset, and introduces a deep convolutional neural network model. The model validates on 740 test images and achieves 87.3% accuracy, 89.67 % precision, and 84.46% recall, and correctly classifies 98 out of 100 COVID-19 x-ray images in test set with more than 81% prediction probability under the condition of 95% confidence interval. This project may serve as a reference for other researchers aiming to advance the development of deep learning applications in medical imaging.


title: STAN: Towards Describing Bytecodes of Smart Contract

abstract: More than eight million smart contracts have been deployed into Ethereum, which is the most popular blockchain that supports smart contract. However, less than 1% of deployed smart contracts are open-source, and it is difficult for users to understand the functionality and internal mechanism of those closed-source contracts. Although a few decompilers for smart contracts have been recently proposed, it is still not easy for users to grasp the semantic information of the contract, not to mention the potential misleading due to decompilation errors. In this paper, we propose the first system named STAN to generate descriptions for the bytecodes of smart contracts to help users comprehend them. In particular, for each interface in a smart contract, STAN can generate four categories of descriptions, including functionality description, usage description, behavior description, and payment description, by leveraging symbolic execution and NLP (Natural Language Processing) techniques. Extensive experiments show that STAN can generate adequate, accurate, and readable descriptions for contract's bytecodes, which have practical value for users.


title: Discovery potential for the LHCb fully-charm tetraquark $X(6900)$ state via $\bar{p}p$ annihilation reaction

abstract: Inspired by the observation of the fully-charm tetraquark $X(6900)$ state at LHCb, the production of $X(6900)$ in $\bar{p}p\rightarrow J/\psi J/\psi $ reaction is studied within an effective Lagrangian approach and Breit-Wigner formula. The numerical results show that the cross section of $X(6900)$ at the c.m. energy of 6.9 GeV is much larger than that from the background contribution. Moreover, we estimate dozens of signal events can be detected by D0 experiment, which indicates that searching for the $X(6900)$ via antiproton-proton scattering may be a very important and promising way. Therefore, related experiments are suggested to be carried out.


title: Private, Fair, and Verifiable Aggregate Statistics for Mobile Crowdsensing in Blockchain Era

abstract: In this paper, we propose FairCrowd, a private, fair, and verifiable framework for aggregate statistics in mobile crowdsensing based on the public blockchain. In specific, mobile users are incentivized to collect and share private data values (e.g., current locations) to fufill a commonly interested task released by a customer, and the crowdsensing server computes aggregate statistics over the values of mobile users (e.g., the most popular location) for the customer. By utilizing the ElGamal encryption, the server learns nearly nothing about the private data or the statistical result. The correctness of aggregate statistics can be publicly verified by using a new efficient and verifiable computation approach. Moreover, the fairness of incentive is guaranteed based on the public blockchain in the presence of greedy service provider, customers, and mobile users, who may launch payment-escaping, payment-reduction, free-riding, double-reporting, and Sybil attacks to corrupt reward distribution. Finally, FairCrowd is proved to achieve verifiable aggregate statistics with privacy preservation for mobile users. Extensive experiments are conducted to demonstrate the high efficiency of FairCrowd for aggregate statistics in mobile crowdsensing.


title: Improving the HardNet Descriptor

abstract: In the thesis we consider the problem of local feature descriptor learning for wide baseline stereo focusing on the HardNet descriptor, which is close to state-of-the-art. AMOS Patches dataset is introduced, which improves robustness to illumination and appearance changes. It is based on registered images from selected cameras from the AMOS dataset. We provide recommendations on the patch dataset creation process and evaluate HardNet trained on data of different modalities. We also introduce a dataset combination and reduction methods, that allow comparable performance on a significantly smaller dataset. HardNet8, consistently outperforming the original HardNet, benefits from the architectural choices made: connectivity pattern, final pooling, receptive field, CNN building blocks found by manual or automatic search algorithms -- DARTS. We show impact of overlooked hyperparameters such as batch size and length of training on the descriptor quality. PCA dimensionality reduction further boosts performance and also reduces memory footprint. Finally, the insights gained lead to two HardNet8 descriptors: one performing well on a variety of benchmarks -- HPatches, AMOS Patches and IMW Phototourism, the other is optimized for IMW Phototourism.


title: Invariant measures on finite rank subshifts

abstract: In this note we show that for any subshift $X$ of finite $S$-rank every invariant measure $\mu$ is determined by its values on finitely many cylinders. Under mild conditions these cylinders are given by the letters of the alphabet in question.


title: Combinatorial and stochastic properties of ranked tree-child networks

abstract: Tree-child networks are a recently-described class of directed acyclic graphs that have risen to prominence in phylogenetics (the study of evolutionary trees and networks). Although these networks have a number of attractive mathematical properties, many combinatorial questions concerning them remain intractable. In this paper, we show that endowing these networks with a biologically relevant ranking structure yields mathematically tractable objects, which we term ranked tree-child networks (RTCNs). We explain how to derive exact and explicit combinatorial results concerning the enumeration and generation of these networks. We also explore probabilistic questions concerning the properties of RTCNs when they are sampled uniformly at random. These questions include the lengths of random walks between the root and leaves (both from the root to the leaves and from a leaf to the root); the distribution of the number of cherries in the network; and sampling RTCNs conditional on displaying a given tree. We also formulate a conjecture regarding the scaling limit of the process that counts the number of lineages in the ancestry of a leaf. The main idea in this paper, namely using ranking as a way to achieve combinatorial tractability, may also extend to other classes of networks.


title: Easy computation of the Bayes Factor to fully quantify Occam's razor

abstract: The Bayes factor is the gold-standard figure of merit for comparing fits of models to data, for hypothesis selection and parameter estimation. However it is little used because it is computationally very intensive. Here it is shown how Bayes factors can be calculated accurately and easily, so that any least-squares or maximum-likelihood fits may be routinely followed by the calculation of Bayes factors to guide the best choice of model and hence the best estimations of parameters. Approximations to the Bayes factor, such as the Bayesian Information Criterion (BIC), are increasingly used. Occam's razor expresses a primary intuition, that parameters should not be multiplied unnecessarily, and that is quantified by the BIC. The Bayes factor quantifies two further intuitions. Models with physically-meaningful parameters are preferable to models with physically-meaningless parameters. Models that could fail to fit the data, yet which do fit, are preferable to models which span the data space and are therefore guaranteed to fit the data. The outcomes of using Bayes factors are often very different from traditional statistics tests and from the BIC. Three examples are given. In two of these examples, the easy calculation of the Bayes factor is exact. The third example illustrates the rare conditions under which it has some error and shows how to diagnose and correct the error.


title: A curated collection of COVID-19 online datasets

abstract: One of the defining moments of the year 2020 is the outbreak of Coronavirus Disease (Covid-19), a deadly virus affecting the body's respiratory system to the point of needing a breathing aid via ventilators. As of June 21, 2020 there are 12,929,306 confirmed cases and 569,738 confirmed deaths across 216 countries, areas or territories. The scale of spread and impact of the pandemic left many nations grappling with preventive and curative approaches. The infamous lockdown measure introduced to mitigate the virus spread has altered many aspects of our social routines in which demand for online-based services skyrocketed. As the virus propagate, so does misinformation and fake news around it via online social media, which seems to favour virality over veracity. With a majority of the populace confined to their homes for a long period, vulnerability to the toxic impact of online misinformation is high. A case in point is the various myths and disinformation associated with the Covid-19, which, if left unchecked, could lead to a catastrophic outcome and hamper the fight against the virus. While the scientific community is actively engaged in identifying the virus treatment, there is a growing interest in combating the associated harmful infodemic. To this end, researchers have been curating and documenting various datasets about Covid-19. In line with existing studies, we provide an expansive collection of curated datasets to support the fight against the pandemic, especially concerning misinformation. The collection consists of 3 categories of Twitter data, information about standard practices from credible sources and a chronicle of global situation reports. We describe how to retrieve the hydrated version of the data and proffer some research problems that could be addressed using the data.


title: Parcels and particles: Markov blankets in the brain

abstract: At the inception of human brain mapping, two principles of functional anatomy underwrote most conceptions - and analyses - of distributed brain responses: namely functional segregation and integration. There are currently two main approaches to characterising functional integration. The first is a mechanistic modelling of connectomics in terms of directed effective connectivity that mediates neuronal message passing and dynamics on neuronal circuits. The second phenomenological approach usually characterises undirected functional connectivity (i.e., measurable correlations), in terms of intrinsic brain networks, self-organised criticality, dynamical instability, etc. This paper describes a treatment of effective connectivity that speaks to the emergence of intrinsic brain networks and critical dynamics. It is predicated on the notion of Markov blankets that play a fundamental role in the self-organisation of far from equilibrium systems. Using the apparatus of the renormalisation group, we show that much of the phenomenology found in network neuroscience is an emergent property of a particular partition of neuronal states, over progressively larger scales. As such, it offers a way of linking dynamics on directed graphs to the phenomenology of intrinsic brain networks.


title: Base 3/2 and Greedily Partitioned Sequences

abstract: We delve into the connection between base $\frac{3}{2}$ and the greedy partition of non-negative integers into 3-free sequences. Specifically, we find a fractal structure on strings written with digits 0, 1, and 2. We use this structure to prove that the even non-negative integers written in base $\frac{3}{2}$ and then interpreted in base 3 form the Stanley cross-sequence, where the Stanley cross-sequence comprises the first terms of the infinitely many sequences that are formed by the greedy partition of non-negative integers into 3-free sequences.


title: The Variational Field Equations of Cosmological Topologically Massive Supergravity

abstract: We discuss the formulation of cosmological topologically massive (simple) supergravity theory in three-dimensional Riemann-Cartan space-times. We use the language of exterior differential forms and the properties of Majorana spinors on 3-dimensional space-times to explicitly demonstrate the local supersymmetry of the action density involved. Coupled field equations that are complete in both of their bosonic and fermionic sectors are derived by a first order variational principle subject to a torsion-constraint imposed by the method of Lagrange multipliers. We compare these field equations with the partial results given in the literature using a second order variational formalism.


title: Characterizations of the Cauchy distribution associated with integral transforms

abstract: We give two new simple characterizations of the Cauchy distribution by using the M\"obius and Mellin transforms. They also yield characterizations of the circular Cauchy distribution and the mixture Cauchy model.


title: Ecalle's paralogarithmic resurgence monomials and effective synthesis

abstract: Paralogarithms constitute a family of special functions, which are some generalizations of hyperlogarithms. They have been introduced by Jean Ecalle in the context of the classification of complex analytic dynamical systems with irregular singularities, to solve the so-called "synthesis problem" in an effective and very general way. We describe the formalism of resurgence monomials, introduce the paralogarithmic family and present the effective synthesis with paralogarithmic monomials, of analytic vector fields having a saddle-node singularity, following Ecalle.


title: Path spaces I: A Menger-type result

abstract: Infinite graphs are finitary in the sense that their points are connected via finite paths. So what would an infinitary generalization of finite graphs look like? Usually this question is answered with the aid of topology, e.g. in the case of graph-like spaces. Here we introduce a more combinatorial answer, which we call path space, and prove a version of Menger's theorem for it. Since there are many topological path-like objects which induce path spaces, this result can be applied in a variety of settings.


title: Boundary complexes of moduli spaces of curves in higher genus

abstract: Given a collection of boundary divisors in the moduli space of stable genus-zero n-pointed curves, Giansiracusa proved that their intersection is nonempty if and only if all pairwise intersections are nonempty. We give a complete classification of the pairs (g,n) for which the analogous statement holds in the moduli space of n-pointed curves of genus g.


title: Indecomposable Continuum with a Strong Non-Cut Point

abstract: We construct an indecomposable continuum with exactly one strong non-cut point. The method is an adaptation of Bellamy $[1]$. We start with an $\omega_1$-chain of indecomposable metric continua and retractions. The inverse limit is an indecomposable continuum with exactly two composants. Our example is formed by identifying a point in each composant.


title: Deep Anomaly Detection for Time-series Data in Industrial IoT: A Communication-Efficient On-device Federated Learning Approach

abstract: Since edge device failures (i.e., anomalies) seriously affect the production of industrial products in Industrial IoT (IIoT), accurately and timely detecting anomalies is becoming increasingly important. Furthermore, data collected by the edge device may contain the user's private data, which is challenging the current detection approaches as user privacy is calling for the public concern in recent years. With this focus, this paper proposes a new communication-efficient on-device federated learning (FL)-based deep anomaly detection framework for sensing time-series data in IIoT. Specifically, we first introduce a FL framework to enable decentralized edge devices to collaboratively train an anomaly detection model, which can improve its generalization ability. Second, we propose an Attention Mechanism-based Convolutional Neural Network-Long Short Term Memory (AMCNN-LSTM) model to accurately detect anomalies. The AMCNN-LSTM model uses attention mechanism-based CNN units to capture important fine-grained features, thereby preventing memory loss and gradient dispersion problems. Furthermore, this model retains the advantages of LSTM unit in predicting time series data. Third, to adapt the proposed framework to the timeliness of industrial anomaly detection, we propose a gradient compression mechanism based on Top-\textit{k} selection to improve communication efficiency. Extensive experiment studies on four real-world datasets demonstrate that the proposed framework can accurately and timely detect anomalies and also reduce the communication overhead by 50\% compared to the federated learning framework that does not use a gradient compression scheme.


title: Optimal verification of stabilizer states

abstract: Statistical verification of a quantum state aims to certify whether a given unknown state is close to the target state with confidence. So far, sample-optimal verification protocols based on local measurements have been found only for disparate groups of states: bipartite pure states, GHZ states, and antisymmetric basis states. In this work, we investigate systematically optimal verification of entangled stabilizer states using Pauli measurements. First, we provide a lower bound on the sample complexity of any verification protocol based on separable measurements, which is independent of the number of qubits and the specific stabilizer state. Then we propose a simple algorithm for constructing optimal protocols based on Pauli measurements. Our calculations suggest that optimal protocols based on Pauli measurements can saturate the above bound for all entangled stabilizer states, and this claim is verified explicitly for states up to seven qubits. Similar results are derived when each party can choose only two measurement settings, say X and Z. Furthermore, by virtue of the chromatic number, we provide an upper bound for the minimum number of settings required to verify any graph state, which is expected to be tight. For experimentalists, optimal protocols and protocols with the minimum number of settings are explicitly provided for all equivalent classes of stabilizer states up to seven qubits. For theorists, general results on stabilizer states (including graph states in particular) and related structures derived here may be of independent interest beyond quantum state verification.


title: Probing Noncommutative Gravity with Gravitational Wave and Binary Pulsar Observations

abstract: Noncommutative gravity is a natural method of quantizing spacetime by promoting the spacetime coordinates themselves to operators which do not commute. This approach is motivated, for example, from a quantum gravity perspective, among others. Noncommutative gravity has been tested against the binary black hole merger event GW150914. Here, we extend and improve upon such a previous analysis by (i) relaxing an assumption made on the preferred direction due to noncommutativity, (ii) using posterior samples produced by the LIGO/Virgo Collaborations, (iii) consider other gravitational wave events, namely GW151226, GW170608, GW170814 and GW170817, and (iv) consider binary pulsar observations. Using Kepler's law that contains the noncommutative effect at second post-Newtonian order, we derive corrections to the gravitational waveform phase and the pericenter precession. Using the gravitational wave and double pulsar binary observations, we find bounds on a space-time noncommutative tensor $\theta^{0i}$ in terms of the preferred frame direction with respect to the orientation of each binary. We find that the gravitational wave bounds are stronger than the binary pulsar one by an order of magnitude and the noncommutative tensor normalized by the Planck length and time is constrained to be of order unity.


title: Mechanism Design for Efficient Online and Offline Allocation of Electric Vehicles to Charging Stations

abstract: We study the problem of allocating Electric Vehicles (EVs) to charging stations and scheduling their charging. We develop offline and online solutions that treat EV users as self-interested agents that aim to maximise their profit and minimise the impact on their schedule. We formulate the problem of the optimal EV to charging station allocation as a Mixed Integer Programming (MIP) one and we propose two pricing mechanisms: A fixed-price one, and another that is based on the well known Vickrey-Clark-Groves (VCG) mechanism. Later, we develop online solutions that incrementally call the MIP-based algorithm. We empirically evaluate our mechanisms and we observe that both scale well. Moreover, the VCG mechanism services on average $1.5\%$ more EVs than the fixed-price one. In addition, when the stations get congested, VCG leads to higher prices for the EVs and higher profit for the stations, but lower utility for the EVs. However, we theoretically prove that the VCG mechanism guarantees truthful reporting of the EVs' preferences. In contrast, the fixed-price one is vulnerable to agents' strategic behaviour as non-truthful EVs can charge in place of truthful ones. Finally, we observe that the online algorithms are on average at $98\%$ of the optimal in EV satisfaction.


title: On certain properties of the class $U(\lambda)$

abstract: Let ${\mathcal A}$ be the class of functions analytic in the unit disk ${\mathbb D} := \{ z\in {\mathbb C}:\, |z| < 1 \}$ and normalized such that $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper we study the class $\mathcal{U}(\lambda)$, $0<\lambda \leq1$, consisting of functions $f$ from ${\mathcal{A}}$ satisfying \[\left|\left(\frac{z}{f(z)}\right)^2f'(z)-1\right| < \lambda \quad (z\in {\mathbb D}).\] and give results regarding the Zalcman Conjecture, the generalised Zalcman conjecture, the Krushkal inequality and the second and third order Hankel determinant.


title: The Origin of Matter at the Base of Relativistic Jets in Active Galactic Nuclei

abstract: The generation of relativistic jets in active sources such as blazars is a complex problem with many aspects, most of them still not fully understood. Relativistic jets are likely produced by the accretion of matter and magnetic fields onto spinning black holes. Ergospheric dragging effects launch a Poynting-dominated outflow in the polar directions of these systems. Observations with very high resolution of the jet in the nearby radio galaxy M87 and evidence of extremely fast variability in the non-thermal radiation of several other objects indicate that charged particles produce synchrotron emission and gamma rays very close to the base of the jet. How these particles are injected into the magnetically shielded outflow is a mystery. Here we explore the effects of various processes in the hot accretion inflow close to the black hole that might result in the copious production of neutral particles which, through annihilation and decay in the jet's funnel, might load the outflow with mass and charged particles on scales of a few Schwarzschild radii.


title: Analyzing Optical TDMA to Mitigate Interference in Downlink LiFi Optical Attocell Networks

abstract: Co-channel interference in the downlink of LiFi attocell networks significantly decreases the network performance in terms of rate. Analysis of multiple access schemes is essential to mitigate interference and improve rate. The light emitting diodes (LEDs) being centrally monitored, the time division multiple access (TDMA) scheme over the LEDs will be suitable to analyze. This work considers the interference characterization in [1] over M-PAM modulated signals to derive an exact expression for the goodput G of the time scheduled attocell network, which is arranged as a deterministic square lattice in two dimensions. Given this TDMA over the LEDs, numerical simulations show that the LEDs can be optimally time scheduled to maximize the goodput, which implies that the TDMA mitigates interference in an attocell network compared to the case when the LEDs are unscheduled.


title: Rainbow odd cycles

abstract: We prove that every family of (not necessarily distinct) odd cycles $O_1, \dots, O_{2\lceil n/2 \rceil-1}$ in the complete graph $K_n$ on $n$ vertices has a rainbow odd cycle (that is, a set of edges from distinct $O_i$'s, forming an odd cycle). As part of the proof, we characterize those families of $n$ odd cycles in $K_{n+1}$ that do not have any rainbow odd cycle. We also characterize those families of $n$ cycles in $K_{n+1}$, as well as those of $n$ edge-disjoint nonempty subgraphs of $K_{n+1}$, without any rainbow cycle.


title: Supervised clustering of high dimensional data using regularized mixture modeling

abstract: Identifying relationships between molecular variations and their clinical presentations has been challenged by the heterogeneous causes of a disease. It is imperative to unveil the relationship between the high dimensional molecular manifestations and the clinical presentations, while taking into account the possible heterogeneity of the study subjects. We proposed a novel supervised clustering algorithm using penalized mixture regression model, called CSMR, to deal with the challenges in studying the heterogeneous relationships between high dimensional molecular features to a phenotype. The algorithm was adapted from the classification expectation maximization algorithm, which offers a novel supervised solution to the clustering problem, with substantial improvement on both the computational efficiency and biological interpretability. Experimental evaluation on simulated benchmark datasets demonstrated that the CSMR can accurately identify the subspaces on which subset of features are explanatory to the response variables, and it outperformed the baseline methods. Application of CSMR on a drug sensitivity dataset again demonstrated the superior performance of CSMR over the others, where CSMR is powerful in recapitulating the distinct subgroups hidden in the pool of cell lines with regards to their coping mechanisms to different drugs. CSMR represents a big data analysis tool with the potential to resolve the complexity of translating the clinical manifestations of the disease to the real causes underpinning it. We believe that it will bring new understanding to the molecular basis of a disease, and could be of special relevance in the growing field of personalized medicine.


title: Bounds for discrepancies in the Hamming space

abstract: We derive bounds for the ball $L_p$-discrepancies in the Hamming space for $0<p<\infty$ and $p=\infty$. Sharp estimates of discrepancies have been obtained for many spaces such as the Euclidean spheres and more general compact Riemannian manifolds. In the present paper, we show that the behavior of discrepancies in the Hamming space differs fundamentally because the volume of the ball in this space depends on its radius exponentially while such a dependence for the Riemannian manifolds is polynomial.


title: Hunting for top partner with a new signature at the LHC

abstract: Vector-like top partner plays a central role in many new physics models which attempt to address the hierarchy problem. The top partner is conventionally assumed to decay to a quark and a SM boson. However, it is also possible that the top partner decays to a non-SM scalar and a top quark. Such an exotic decay channel can be the main decay channel of top partner, and thus provides new windows to search for top partner at the LHC. In this paper, with classical machine learning method Boosted Decision Tree (BDT), we perform a model independent study of the discovery potential of this new signature at the LHC. In order to suppress the main QCD background, we consider subdominant but clean decay channel $a\to \gamma\gamma$. For completeness, the single production process and pair production process of top partner are all taken into account. We find that, for both single and pair production, the future High-Luminosity LHC can exclude the top partner mass up to TeV scale through channel $T\to t a$ ($a\to \gamma\gamma$), even if $BR(a\to \gamma\gamma)$ is as small as $\mathcal{O}$(0.1\%). Besides, our result shows that single production can overmatch pair production at 14 TeV LHC, provided that top partner is heavier than $800\sim 900$ GeV.


title: Landau Quantized Dynamics and Spectrum of the Diced Lattice

abstract: In this work the role of magnetic Landau quantization in the dynamics and spectrum of Diced Lattice charge carriers is studied in terms of the associated pseudospin 1 Green's function. The equations of motion for the 9 matrix elements of this Green's function are formulated in position/frequency representation and are solved explicitly in terms of a closed form integral representation involving only elementary functions. The latter is subsequently expanded in a Laguerre eigenfunction series whose frequency poles identify the discretized energy spectrum for the Landau-quantized Diced Lattice as $\epsilon_n = \pm\sqrt{2(2n+1)\alpha^2 eB}$ ($\alpha\sqrt{2}$ is the characteristic speed for the Diced Lattice) which differs significantly from the nonrelativistic linear dependence of $\epsilon_n$ on $B$, and is similar to the corresponding $\sqrt{B}-$dependence of other Dirac materials (Graphene, Group VI Dichalcogenides).


title: Coverage Analysis of a Thinned LiFi Optical Attocell Network

abstract: This work analyzes coverage in the downlink of a thinned LiFi attocell network of deterministically arranged LEDs. The network is thinned by a Bernoulli probability p over all the LEDs to decide whether each one of them acts as a LiFi source or not. Then we use the series approximation approach used in [1] to obtain closed form expressions for the probability of coverage in such thinned LiFi attocell networks and validate them using numerical simulations.


title: Outer space for RAAGs

abstract: For any right-angled Artin group $A_{\Gamma}$ we construct a finite-dimensional space $\mathcal{O}_{\Gamma}$ on which the group $\text{Out}(A_{\Gamma})$ of outer automorphisms of $A_{\Gamma}$ acts with finite point stabilizers. We prove that $\mathcal{O}_{\Gamma}$ is contractible, so that the quotient is a rational classifying space for $\text{Out}(A_{\Gamma})$. The space $\mathcal{O}_{\Gamma}$ blends features of the symmetric space of lattices in $\mathbb{R}^n$ with those of Outer space for the free group $F_n$. Points in $\mathcal{O}_{\Gamma}$ are locally CAT(0) metric spaces that are homeomorphic (but not isometric) to certain locally CAT(0) cube complexes, marked by an isomorphism of their fundamental group with $A_{\Gamma}$.


title: Integration of max-stable processes and Bayesian model averaging to predict extreme climatic events in multi-model ensembles

abstract: Projections of changes in extreme climate are sometimes predicted by using multi-model ensemble methods such as Bayesian model averaging (BMA) embedded with the generalized extreme value (GEV) distribution. BMA is a popular method for combining the forecasts of individual simulation models by weighted averaging and characterizing the uncertainty induced by simulating the model structure. This method is referred to as the GEV-embedded BMA. It is, however, based on a point-wise analysis of extreme events, which means it overlooks the spatial dependency between nearby grid cells. Instead of a point-wise model, a spatial extreme model such as the max-stable process (MSP) is often employed to improve precision by considering spatial dependency. We propose an approach that integrates the MSP into BMA, which is referred to as the MSP-BMA herein. The superiority of the proposed method over the GEV-embedded BMA is demonstrated by using extreme rainfall intensity data on the Korean peninsula from Coupled Model Intercomparison Project Phase 5 (CMIP5) multi-models. The reanalysis data called APHRODITE (Asian Precipitation Highly-Resolved Observational Data Integration Towards Evaluation, v1101) and 17 CMIP5 models are examined for 10 grid boxes in Korea. In this example, the MSP-BMA achieves a variance reduction over the GEV-embedded BMA. The bias inflation by MSP-BMA over the GEV-embedded BMA is also discussed. A by-product technical advantage of the MSP-BMA is that tedious `regridding' is not required before and after the analysis while it should be done for the GEV-embedded BMA.


title: Geometry Constrained Weakly Supervised Object Localization

abstract: We propose a geometry constrained network, termed GC-Net, for weakly supervised object localization (WSOL). GC-Net consists of three modules: a detector, a generator and a classifier. The detector predicts the object location defined by a set of coefficients describing a geometric shape (i.e. ellipse or rectangle), which is geometrically constrained by the mask produced by the generator. The classifier takes the resulting masked images as input and performs two complementary classification tasks for the object and background. To make the mask more compact and more complete, we propose a novel multi-task loss function that takes into account area of the geometric shape, the categorical cross-entropy and the negative entropy. In contrast to previous approaches, GC-Net is trained end-to-end and predict object location without any post-processing (e.g. thresholding) that may require additional tuning. Extensive experiments on the CUB-200-2011 and ILSVRC2012 datasets show that GC-Net outperforms state-of-the-art methods by a large margin. Our source code is available at https://github.com/lwzeng/GC-Net.


title: White Paper Towards a Fuller Understanding of Icy Satellite Seafloors, Interiors, and Habitability

abstract: Icy satellites represent compelling astrobiological targets, but their rocky interiors must be better characterized. Fundamental research programs and thematic workshops promoting ocean world interdisciplinarity are key. Future missions to icy satellites should explicitly include objectives to characterize interfaces between rock and water or high-pressure ices.


title: Optimally controlled quantum discrimination and estimation

abstract: Quantum discrimination and estimation are pivotal for many quantum technologies, and their performance depends on the optimal choice of probe state and measurement. Here we show that their performance can be further improved by suitably tailoring the pulses that make up the interferometer. Developing an optimal control framework and applying it to the discrimination and estimation of a magnetic field in the presence of noise, we find an increase in the overall achievable state distinguishability. Moreover, the maximum distinguishability can be stabilized for times that are more than an order of magnitude longer than the decoherence time.


title: Geometric invariants of spectrum of the Navier-Lam\'{e} operator

abstract: For a compact connected Riemannian $n$-manifold $(\Omega,g)$ with smooth boundary, we explicitly calculate the first two coefficients $a_0$ and $a_1$ of the asymptotic expansion of $\sum_{k=1}^\infty e^{-t \tau_k^\mp}= a_0t^{-n/2} \mp a_1 t^{-(n-1)/2}+a_2^\mp t^{-(n-2)/2} +\cdots+ a_m^\mp t^{-(n-m)/2} +O(t^{-(n-m-1)/2})$ as $t\to 0^+$, where $\tau^-_k$ (respectively, $\tau^+_k$) is the $k$-th Navier-Lam\'{e} eigenvalue on $\Omega$ with Dirichlet (respectively, Neumann) boundary condition. These two coefficients provide precise information for the volume of the elastic body $\Omega$ and the surface area of the boundary $\partial \Omega$ in terms of the spectrum of the Navier-Lam\'{e} operator. This gives an answer to an interesting and open problem mentioned by Avramidi in \cite{Avr10}. More importantly, our method is valid to explicitly calculate all the coefficients $a_l^\mp$, $2\le l\le m$, in the above asymptotic expansion. As an application, we show that an $n$-dimensional ball is uniquely determined by its Navier-Lam\'{e} spectrum among all bounded elastic bodies with smooth boundary.


title: Magnetization transfer from protons to quadrupolar nuclei in solid-state NMR using PRESTO or dipolar-mediated refocused INEPT methods

abstract: We compare here the performances of two approaches to achieve such transfer: PRESTO (Phase-shifted Recoupling Effects a Smooth Transfer of Order), which is currently the method of choice to achieve the magnetization transfer from protons to quadrupolar nuclei and which has been shown to supersede Cross-Polarization under Magic-Angle Spinning (MAS) for quadrupolar nuclei and D-RINEPT (Dipolar-mediated Refocused Insensitive Nuclei Enhanced by Polarization Transfer) using symmetry-based SR4${}_1{}^2$ recoupling, which has already been employed to transfer the magnetization in the reverse way from half-integer quadrupolar spin to protons. We also test the PRESTO sequence with R16${}_7{}^6$ recoupling using 270${}_0$90${}_180$ composite $\pi$-pulses as inversion elements. This recoupling scheme has not so far been employed to reintroduce dipolar couplings with protons. These various techniques to transfer the magnetization from protons to quadrupolar nuclei are analyzed using (i) an average Hamiltonian theory, (ii) numerical simulations of spin dynamics, and (iii) experimental ${}^1$H $\rightarrow {}^{27}$Al and ${}^{1}$H $\rightarrow {}^{17}$O transfers in as-synthesized AlPO4-14 and ${}^{17}$O-labelled fumed silica, respectively. The experiments and simulations are done at two magnetic fields (9.4 and 18.8 T) and several spinning speeds (15, 18-24 and 60 kHz). This analysis indicates that owing to its $\gamma$-encoded character, PRESTO yields the highest transfer efficiency at low magnetic fields and MAS frequencies, whereas owing to its higher robustness to rf-field inhomogeneity and chemical shifts, D-RINEPT is more sensitive at high fields and MAS frequencies, notably for protons exhibiting large offset or CSA, such as those involved in hydrogen bonds.


title: On lengths of burn-off chip-firing games

abstract: We continue our studies of burn-off chip-firing games from [Discrete Math. Theor. Comput. Sci. 15 (2013), no. 1, 121-132; MR3040546] and [Australas. J. Combin. 68 (2017), no. 3, 330-345; MR3656659]. The latter article introduced randomness by choosing successive seeds uniformly from the vertex set of a graph $G$. The length of a game is the number of vertices that fire (by sending a chip to each neighbor and annihilating one chip) as an excited chip configuration passes to a relaxed state. This article determines the probability distribution of the game length in a long sequence of burn-off games. Our main results give exact counts for the number of pairs $(C,v)$, with $C$ a relaxed legal configuration and $v$ a seed, corresponding to each possible length. In support, we give our own proof of the well-known equicardinality of the set $\mathcal{R}$ of relaxed legal configurations on $G$ and the set of spanning trees in the cone $G^*$ of $G$. We present an algorithmic, bijective proof of this correspondence.


title: Lazy State Determination: More concurrency for contending linearizable transactions

abstract: The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence, many transactional systems eschew strong semantics to achieve acceptable performance. We show that by leveraging semantic information associated with the transactional programs to increase concurrency, it is possible to significantly improve performance while maintaining linearizability. To this end, we introduce the lazy state determination API to easily expose the semantics of application transactions to the database, and propose new optimistic and pessimistic concurrency control algorithms that leverage this information to safely increase concurrency in the presence of contention. Our evaluation shows that our approach can achieve up to 5x more throughput with 1.5c less latency than standard techniques in the popular TPC-C benchmark.


title: Numbers which are orders only of cyclic groups

abstract: We call $n$ a cyclic number if every group of order $n$ is cyclic. It is implicit in work of Dickson, and explicit in work of Szele, that $n$ is cyclic precisely when $\gcd(n,\phi(n))=1$. With $C(x)$ denoting the count of cyclic $n\le x$, Erd\H{o}s proved that $$C(x) \sim e^{-\gamma} x/\log\log\log{x}, \quad\text{as $x\to\infty$}.$$ We show that $C(x)$ has an asymptotic series expansion, in the sense of Poincar\'e, in descending powers of $\log\log\log{x}$, namely $$\frac{e^{-\gamma} x}{\log\log\log{x}} \left(1-\frac{\gamma}{\log\log\log{x}} + \frac{\gamma^2 + \frac{1}{12}\pi^2}{(\log\log\log{x})^2} - \frac{\gamma^3 +\frac{1}{4} \gamma \pi^2 + \frac{2}{3}\zeta(3)}{(\log\log\log{x})^3} + \dots \right). $$


title: White Paper on the Case for Landed Mercury Science

abstract: We advocate for establishing key scientific priorities for the future of Mercury exploration, including the development of specific science goals for a landed mission. We support the Mercury science community in fostering closer collaboration with ongoing and planned exoplanet investigations. The continued exploration of Mercury should be conceived as a multi-mission, multi-generational effort, and that the landed exploration of Mercury be a high scientific priority in the coming decade.


title: Total coloring and efficient domination applications to non-Cayley non-Shreier vertex-transitive graphs

abstract: Let $0<k\in\mathbb{Z}$. Let the star 2-set transposition graph $ST^2_k$ be the $(2k-1)$-regular graph whose vertices are the $2k$-strings on $k$ symbols, each symbol repeated twice, with its edges given each by the transposition of the initial entry of one such $2k$-string with any entry that contains a different symbol than that of the initial entry. The pancake 2-set transposition graph $PC^2_k$ has the same vertex set of $ST^2_k$ and its edges involving each the maximal product of concentric disjoint transpositions in any prefix of an endvertex string, including the external transposition being that of an edge of $ST^2_k$. For $1<k\in\mathbb{Z}$, we show that $ST^2_k$ and $PC^2_k$, among other intermediate transposition graphs, have total colorings via $2k-1$ colors. They, in turn, yield efficient dominating sets, or E-sets, of the vertex sets of $ST^2_k$ and $PC^2_k$, and partitions into into $2k-1$ such E-sets, generalizing Dejter-Serra work on E-sets in such graphs.


title: Approaches to the implementation of generalized complex numbers in the Julia language

abstract: In problems of mathematical physics, to study the structures of spaces using the Cayley-Klein models in theoretical calculations, the use of generalized complex numbers is required. In the case of computational experiments, such tasks require their high-quality implementation in a programming language. The proposed small implementation of generalized complex numbers in modern programming languages have several disadvantages. In this article, we propose using the Julia language as the language for implementing generalized complex numbers, not least because it supports the multiple dispatch mechanism. The paper demonstrates the approach to the implementation of one of the types of generalized complex numbers, namely dual numbers. We place particular emphasis on the description of the use of the multiple dispatch mechanism to implement a new numerical type. The resulting implementation of dual numbers can be considered as a prototype for a complete software module for supporting generalized complex numbers.


title: Hypothesis tests for structured rank correlation matrices

abstract: Joint modeling of a large number of variables often requires dimension reduction strategies that lead to structural assumptions of the underlying correlation matrix, such as equal pair-wise correlations within subsets of variables. The underlying correlation matrix is thus of interest for both model specification and model validation. In this paper, we develop tests of the hypothesis that the entries of the Kendall rank correlation matrix are linear combinations of a smaller number of parameters. The asymptotic behavior of the proposed test statistics is investigated both when the dimension is fixed and when it grows with the sample size. We pay special attention to the restricted hypothesis of partial exchangeability, which contains full exchangeability as a special case. We show that under partial exchangeability, the test statistics and their large-sample distributions simplify, which leads to computational advantages and better performance of the tests. We propose various scalable numerical strategies for implementation of the proposed procedures, investigate their behavior through simulations and power calculations under local alternatives, and demonstrate their use on a real dataset of mean sea levels at various geographical locations.


title: Milliken's tree theorem and its applications: a computability-theoretic perspective

abstract: Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and consequences. Motivated by a question of Dobrinen, we initiate the study of Milliken's tree theorem from the point of view of computability theory. Our advance here stems from a careful analysis of the Halpern-La\"{u}chli theorem which shows that it can be carried out effectively (i.e., that it is computably true). We use this as the basis of a new inductive proof of Milliken's tree theorem that permits us to gauge its effectivity in turn. The principal outcome of this is a comprehensive classification of the computable content of Milliken's tree theorem. We apply our analysis also to several well-known applications of Milliken's tree theorem, namely Devlin's theorem, a partition theorem for Rado graphs, and a generalized version of the so-called tree theorem of Chubb, Hirst, and McNicholl. These are all certain kinds of extensions of Ramsey's theorem for different structures, namely the rational numbers, the Rado graph, and perfect binary trees, respectively. We obtain a number of new results about how these principles relate to Milliken's tree theorem and to each other, in terms of both their computability-theoretic and combinatorial aspects. We identify again the familiar dichotomy between coding the halting problem or not based on the size of instance, but this is more subtle here owing to the more complicated underlying structures, particularly in the case of Devlin's theorem. We also establish new structural Ramsey-theoretic properties of the Rado graph theorem and the generalized Chubb-Hirst-McNicholl tree theorem using Zucker's notion of big Ramsey structure.


title: Octahedral Frames for Feature-Aligned Cross-Fields

abstract: We present a method for designing smooth cross fields on surfaces that automatically align to sharp features of an underlying geometry. Our approach introduces a novel class of energies based on a representation of cross fields in the spherical harmonic basis. We provide theoretical analysis of these energies in the smooth setting, showing that they penalize deviations from surface creases while otherwise promoting intrinsically smooth fields. We demonstrate the applicability of our method to quad-meshing and include an extensive benchmark comparing our fields to other automatic approaches for generating feature-aligned cross fields on triangle meshes.


title: Temperature Effect on Interactions of Oil Droplet with Water-wetted Shale Kerogen at Reservoir Temperatures

abstract: Understanding the thermodynamics of the interfacial interactions between oil and kerogen is imperative for recovering hydrocarbon in tight reservoirs, especially in unconventional shale that retains abundant hydrocarbon in kerogen nanopores. The temperature effect on the interactions of light oil with a type II kerogen in water was investigated using molecular dynamics simulation. Non-polar and polar light oil droplets were modeled with clusters of 30 octane molecules and 30 octanethiol molecules, respectively. Kerogen was modeled with a molecular fragment from a type II kerogen. The free energy calculations were performed at constant volume and temperature with umbrella sampling at temperatures in the range of 300--500 K (27--227 {\deg}C, 80--440 {\deg}F), comparable to the reservoir conditions of common shale plays. The result shows that the free energy of desorption of an oil droplet scales linearly with temperature. For oil droplets, the desorption free energy cannot be quantitatively scaled up from that of a single oil molecule. Additionally, the free energy of desorption exhibited a strong temperature dependence, suggesting a significant entropic contribution to the free energy. The contact angle of oil droplets was estimated by the morphologies of the oil cluster in contact with the kerogen surface, identified at the lowest free energy point in the free energy profile. The cosine of the contact angle is linearly correlated with the free energy of the desorption. This study provides a thermodynamic basis and molecular details on how temperature affects the oil interactions with kerogen, providing a valuable insight to strategy for improving unconventional oil recovery.


title: An Introduction to $\mathbf{A}^1$-Enumerative Geometry

abstract: We provide an expository introduction to $\mathbb{A}^1$-enumerative geometry, which uses the machinery of $\mathbb{A}^1$-homotopy theory to enrich classical enumerative geometry questions over a broader range of fields. Included is a discussion of enriched local degrees of morphisms of smooth schemes, following Morel, $\mathbb{A}^1$-Milnor numbers, as well as various computational tools and recent examples. Based off lectures delivered by Kirsten Wickelgren at the 2018 LMS-CMI summer school ''Homotopy Theory and Arithmetic Geometry, Motivic and Diophantine Aspects.''


title: A framework to evaluate whether to pool or separate behaviors in a multilayer network

abstract: A multilayer network approach combines different network layers, which are connected by interlayer edges, to create a single mathematical object. These networks can contain a variety of information types and represent different aspects of a system. However, the process for selecting which information to include is not always straightforward. Using data on two agonistic behaviors in a captive population of monk parakeets (Myiopsitta monachus), we developed a framework for investigating how pooling or splitting behaviors at the scale of dyadic relationships (between two individuals) affects individual- and group-level social properties. We designed two reference models to test whether randomizing the number of interactions across behavior types results in similar structural patterns as the observed data. Although the behaviors were correlated, the first reference model suggests that the two behaviors convey different information about some social properties and should therefore not be pooled. However, once we controlled for data sparsity, we found that the observed measures corresponded with those from the second reference model. Hence, our initial result may have been due to the unequal frequencies of each behavior. Overall, our findings support pooling the two behaviors. Awareness of how selected measurements can be affected by data properties is warranted, but nonetheless our framework disentangles these efforts and as a result can be used for myriad types of behaviors and questions. This framework will help researchers make informed and data-driven decisions about which behaviors to pool or separate, prior to using the data in subsequent multilayer network analyses.


title: Determination of the entanglement entropy in elastic scattering using model-independent method for hadron femtoscopy

abstract: The entanglement entropy of two-body elastic scattering at high energies is studied by using the model-independent L\'evy imaging method for investigating the hadron structure. It is considered the finite entropy in the momentum Hilbert space properly regularized and results are compared to recent evaluation using the diffraction peak approximation. We present the entropy for RHIC, Tevatron and LHC energies pointing out the underlying uncertainties.


title: Optimal Control of Joint Multi-Virus Infection and Information Spreading

abstract: Nowadays, epidemic models provide an appropriate tool for describing the propagation of biological viruses in human or animal populations, or rumours and other kinds of information in social networks and malware in both computer and ad hoc networks. Commonly, there are exist multiple types of malware infecting a network of computing devices, or different messages can spread over the social network. Information spreading and virus propagation are interdependent processes. To capture such independencies, we integrate two epidemic models into one holistic framework, known as the modified Susceptible-Warned-Infected-Recovered-Susceptible (SWIRS) model. The first epidemic model describes the information spreading regarding the risk of malware attacks and possible preventive procedures. The second one describes the propagation of multiple viruses over the network of devices. To minimize the impact of the virus spreading and improve the protection of the networks, we consider an optimal control problem with two types of control strategies: information spreading among healthy nodes and the treatment of infected nodes. We obtain the structure of optimal control strategies and study the condition of epidemic outbreaks. The main results are extended to the case of the network of two connected clusters. Numerical examples are used to corroborate the theoretical findings.


title: Beyond Single Stage Encoder-Decoder Networks: Deep Decoders for Semantic Image Segmentation

abstract: Single encoder-decoder methodologies for semantic segmentation are reaching their peak in terms of segmentation quality and efficiency per number of layers. To address these limitations, we propose a new architecture based on a decoder which uses a set of shallow networks for capturing more information content. The new decoder has a new topology of skip connections, namely backward and stacked residual connections. In order to further improve the architecture we introduce a weight function which aims to re-balance classes to increase the attention of the networks to under-represented objects. We carried out an extensive set of experiments that yielded state-of-the-art results for the CamVid, Gatech and Freiburg Forest datasets. Moreover, to further prove the effectiveness of our decoder, we conducted a set of experiments studying the impact of our decoder to state-of-the-art segmentation techniques. Additionally, we present a set of experiments augmenting semantic segmentation with optical flow information, showing that motion clues can boost pure image based semantic segmentation approaches.


title: Atomic-resolution elemental mapping at cryogenic temperatures enabled by direct electron detection

abstract: Spectroscopic mapping by scanning transmission electron microscopy coupled with electron energy loss spectroscopy (STEM-EELS) is a powerful technique for determining the structure and chemistry of a wide range of materials and interfaces. The extension of this technique to cryogenic temperatures opens the door to new experiments across many fields including materials physics, energy storage and conversion, and biology. Such experiments, however, often face signal limitations due to sample sensitivity or the need for rapid data acquisition under less stable cryogenic conditions. Compared to traditional indirect detection systems such as charge coupled devices (CCDs), direct electron detectors (DEDs) offer improved detective quantum efficiencies, narrower point spread functions, and superior signal-to-noise ratios. Here, we compare the performance of a Gatan K2 Summit DED to an UltraScan 1000 CCD for use in signal-limited atomic-resolution STEM-EELS experiments. Due to its improved point spread function, the DED's energy resolution remains comparable to that of the CCD at a 5 times lower dispersion, providing simultaneous access to a much broader total energy range without sacrificing spectral resolution. More importantly, the benefits of direct detection enable a variety of low-signal experiments, including atomic-resolution mapping of minor and high energy edges such as the La-M$_{2,3}$ edge at 1123 eV and the Bi-M$_{4,5}$ edge at 2580 eV. For rapid acquisitions at 400 spectra per second, elemental maps recorded with the DED show an up to 40 percent increase in atomic lattice fringe contrast compared to those acquired with the CCD. Taking advantage of these performance improvements and the fast readout of the K2 DED, we use direct detection STEM-EELS to demonstrate atomic-resolution elemental mapping at cryogenic temperatures.


title: A Generic Visualization Approach for Convolutional Neural Networks

abstract: Retrieval networks are essential for searching and indexing. Compared to classification networks, attention visualization for retrieval networks is hardly studied. We formulate attention visualization as a constrained optimization problem. We leverage the unit L2-Norm constraint as an attention filter (L2-CAF) to localize attention in both classification and retrieval networks. Unlike recent literature, our approach requires neither architectural changes nor fine-tuning. Thus, a pre-trained network's performance is never undermined L2-CAF is quantitatively evaluated using weakly supervised object localization. State-of-the-art results are achieved on classification networks. For retrieval networks, significant improvement margins are achieved over a Grad-CAM baseline. Qualitative evaluation demonstrates how the L2-CAF visualizes attention per frame for a recurrent retrieval network. Further ablation studies highlight the computational cost of our approach and compare L2-CAF with other feasible alternatives. Code available at https://bit.ly/3iDBLFv


title: Nonlinear spectroscopy of collective modes in excitonic insulator

abstract: The nonlinear optical response of an excitonic insulator coupled to lattice degrees of freedom is shown to depend in strong and characteristic ways on whether the insulating behavior originates primarily from electron-electron or electron-lattice interactions. Linear response optical signatures of the massive phase mode and the amplitude (Higgs) mode are identified. Upon nonlinear excitation resonant to the phase mode, a new in-gap mode at twice the phase mode frequency is induced, leading to a huge second harmonic response. Excitation of in-gap phonon modes leads to different and much smaller effects. A Landau-Ginzburg theory analysis explain these different behavior and reveals that a parametric resonance of the strongly excited phase mode is the origin of the photo-induced mode in the electron-dominant case. The difference in the nonlinear optical response serve as a measure of the dominant mechanism of the ordered phase.


title: On the scale hierarchy in radiative symmetry breaking

abstract: The emergence of a scale hierarchy in the case of spontaneous radiative breaking of conformal symmetry is discussed using the example of a simple quantum field theory model. The Coleman-Weinberg mechanism is implemented in the one-loop approximation of the effective potential of a scalar field interacting with a fermion field. The emergence of a hierarchy between the renormalization scale and the magnitude of the scalar field vacuum expectation value is shown. An effective model in the vicinity of the effective potential minimum is constructed, and absence of a direct renormalization group transition to the original theory is established. It is shown that effective model parameters measurement in the infrared region allows us to determine the scale that limits the applicability region of the model.


title: Berry-Esseen Bounds for Projection Parameters and Partial Correlations with Increasing Dimension

abstract: We provide finite sample bounds on the Normal approximation to the law of the least squares estimator of the projection parameters normalized by the sandwich-based standard errors. Our results hold in the increasing dimension setting and under minimal assumptions on the data generating distribution. In particular, we do not assume a linear regression function and only require the existence of finitely many moments for the response and the covariates. Furthermore, we construct confidence sets for the projection parameters in the form of hyper-rectangles and establish finite sample bounds on their coverage and accuracy. We derive analogous results for partial correlations among the entries of sub-Gaussian vectors. \end{abstract}


title: Metal-Insulator Transition and Band Magnetism in the Spin-$1/2$ Falicov-Kimball Model on A Triangular Lattice with External Magnetic Field

abstract: Ground state properties of the spin$-1/2$ Falicov-Kimball model on a triangular lattice in the presence of uniform external magnetic field are explored. Both the orbital and the Zeeman field-induced effects are taken into account and in each unit cell only rational flux fractions are considered. Numerical results, obtained with the help of Monte Carlo simulation algorithm, reveal that the ground state properties strongly depend on the onsite Coulomb correlation between itinerant and localized electrons, orbital magnetic field as well as the Zeeman splitting. Strikingly, for the on-site Coulomb correlation $U/t \approx 1$, the Zeeman splitting produces a phase transition from paramagnetic metal/insulator to ferromagnetic insulator/metal transition in the itinerant electron subsystem accompanied by the phase segregation to the bounded/regular phase in the localized electrons subsystem. For the onsite Coulomb correlation $U/t \approx 5$, although no metal to insulator transition is observed but a magnetic phase transition from paramagnetic phase to ferromagnetic phase in the itinerant electron subsystem is observed with the Zeeman splitting. These results are applicable to the layered systems e.g. cobaltates, rare earth and transition metal dichalcogenides, $GdI_{2}$, $NaTiO_{2}$, $NaVO_{2}$ and $Be_{x}Zn_{1-x}O$ etc. It has been also proposed that the results can be realized in the optical lattices with mixtures of light atoms and heavy atoms using the cold atomic techniques.


title: Optimal Feedback Law Recovery by Gradient-Augmented Sparse Polynomial Regression

abstract: A sparse regression approach for the computation of high-dimensional optimal feedback laws arising in deterministic nonlinear control is proposed. The approach exploits the control-theoretical link between Hamilton-Jacobi-Bellman PDEs characterizing the value function of the optimal control problems, and first-order optimality conditions via Pontryagin's Maximum Principle. The latter is used as a representation formula to recover the value function and its gradient at arbitrary points in the space-time domain through the solution of a two-point boundary value problem. After generating a dataset consisting of different state-value pairs, a hyperbolic cross polynomial model for the value function is fitted using a LASSO regression. An extended set of low and high-dimensional numerical tests in nonlinear optimal control reveal that enriching the dataset with gradient information reduces the number of training samples, and that the sparse polynomial regression consistently yields a feedback law of lower complexity.


title: Non-equilibrium Band Broadening, Gap Renormalization and Band Inversion in Black Phosphorus

abstract: Black phosphorous (BP) is a layered semiconductor with high carrier mobility, anisotropic optical response and wide bandgap tunability. In view of its application in optoelectronic devices, understanding transient photo-induced effects is crucial. Here, we investigate by time- and angle-resolved photoemission spectroscopy BP in its pristine state and in the presence of Stark splitting, chemically induced by Cs ad-sorption. We show that photo-injected carriers trigger bandgap renormalization and a concurrent valence band attening caused by Pauli blocking. In the biased sample, photoexcitation leads to a long-lived (ns) surface photovoltage of few hundreds mV that counterbalances the Cs-induced surface band bending. This allows us to disentangle bulk from surface electronic states and to clarify the mechanism underlying the band inversion observed in bulk samples.


title: COVID-19 Data Analysis and Forecasting: Algeria and the World

abstract: The novel coronavirus disease 2019 COVID-19 has been leading the world into a prominent crisis. As of May 19, 2020, the virus had spread to 215 countries with more than 4,622,001 confirmed cases and 311,916 reported deaths worldwide, including Algeria with 7201 cases and 555 deaths. Analyze and forecast COVID-19 cases and deaths growth could be useful in many ways, governments could estimate medical equipment and take appropriate policy responses, and experts could approximate the peak and the end of the disease. In this work, we first train a time series Prophet model to analyze and forecast the number of COVID-19 cases and deaths in Algeria based on the previously reported numbers. Then, to better understand the spread and the properties of the COVID-19, we include external factors that may contribute to accelerate/slow the spread of the virus, construct a dataset from reliable sources, and conduct a large-scale data analysis considering 82 countries worldwide. The evaluation results show that the time series Prophet model accurately predicts the number of cases and deaths in Algeria with low RMSE scores of 218.87 and 4.79 respectively, while the forecast suggests that the total number of cases and deaths are expected to increase in the coming weeks. Moreover, the worldwide data-driven analysis reveals several correlations between the increase/decrease in the number of cases and deaths and external factors that may contribute to accelerate/slow the spread of the virus such as geographic, climatic, health, economic, and demographic factors.


title: Extrinsic plastic hardening of polymer thin films in flat punch indentation

abstract: Confined geometries offer useful and experimentally amenable mechanical testing arrangements in which to study the molecular and micro-structural processes which govern plastic yield in stress environments dominated by hydrostatic pressure over shear. However, the changes to macroscopic stress strain behaviour that result from switching from an unconfined mode such as uniaxial compression to a confined one are often overlooked and display a surprising level of complexity, even for simple elastic plastic constitutive models. Here we report a confinement induced strain hardening effect in polystyrene thin films achieved through repeated plastic loading with a cylindrical flat punch whose diameter is many times the initial film thickness. This high aspect ratio combines with constraint provided by film material surrounding the contact to generate a state of confined uniaxial strain in the indented region, rendering the deformation one dimensional. By repeated loading into the plastic domain, we achieve a 66% increase in the confined yield stress, from 0.3 GPa to 0.5 GPa. Through finite element simulation and analytic modelling of the principal stresses and strains, we show that this effect arises not from intrinsic changes to the structure of the material, but rather residual stresses imparted during plastic loading. We contrast this effect with intrinsic changes to glassy thin films such as physical ageing and thermal cross-linking.


title: Mono vs Multilingual Transformer-based Models: a Comparison across Several Language Tasks

abstract: BERT (Bidirectional Encoder Representations from Transformers) and ALBERT (A Lite BERT) are methods for pre-training language models which can later be fine-tuned for a variety of Natural Language Understanding tasks. These methods have been applied to a number of such tasks (mostly in English), achieving results that outperform the state-of-the-art. In this paper, our contribution is twofold. First, we make available our trained BERT and Albert model for Portuguese. Second, we compare our monolingual and the standard multilingual models using experiments in semantic textual similarity, recognizing textual entailment, textual category classification, sentiment analysis, offensive comment detection, and fake news detection, to assess the effectiveness of the generated language representations. The results suggest that both monolingual and multilingual models are able to achieve state-of-the-art and the advantage of training a single language model, if any, is small.


title: Full Quaternion Representation of Color images: A Case Study on QSVD-based Color Image Compression

abstract: For many years, channels of a color image have been processed individually, or the image has been converted to grayscale one with respect to color image processing. Pure quaternion representation of color images solves this issue as it allows images to be processed in a holistic space. Nevertheless, it brings additional costs due to the extra fourth dimension. In this paper, we propose an approach for representing color images with full quaternion numbers that enables us to process color images holistically without additional cost in time, space and computation. With taking auto- and cross-correlation of color channels into account, an autoencoder neural network is used to generate a global model for transforming a color image into a full quaternion matrix. To evaluate the model, we use UCID dataset, and the results indicate that the model has an acceptable performance on color images. Moreover, we propose a compression method based on the generated model and QSVD as a case study. The method is compared with the same compression method using pure quaternion representation and is assessed with UCID dataset. The results demonstrate that the compression method using the proposed full quaternion representation fares better than the other in terms of time, quality, and size of compressed files.


title: Designing Hyper-Thin Acoustic Metasurfaces with Membrane Resonators

abstract: We design extremely-thin acoustic metasurfaces, providing a versatile platform for the manipulation of reflected pressure fields, that are constructed from mass loads and stretched membranes fixed to a periodic rigid framework. These metasurfaces demonstrate deeply subwavelength control and can have thicknesses an order of magnitude less than those based around Helmholtz resonators. Each sub-unit of the metasurface is resonant at a frequency tuned geometrically, this tunability provides phase control and using a set of finely tuned membrane resonators we create a phase-grating metasurface. This surface is designed to exhibit all-angle negative reflections with the ratio of wavelength, $\lambda$, to thickness, $h$, of $\lambda/h\approx 23.1$, and to create a flat mirror using the phase profile of an elliptic reflecting mirror. A further important acoustic application is to sound diffusers and we proceed to design a deeply subwavelength membrane-based meta-diffuser that can be two orders of magnitude thinner than the operating wavelength, i.e. thickness $\approx\lambda/102$. This paves the way for developing advanced acoustic metasurfaces with applicability to functional acoustic devices in sound-related industries.


title: Extreme values of the derivative of Blaschke products and hypergeometric polynomials

abstract: A finite Blaschke product, restricted to the unit circle, is a smooth covering map. The maximum and minimum values of the derivative of this map reflect the geometry of the Blaschke product. We identify two classes of extremal Blaschke products: those that maximize the difference between the maximum and minimum of the derivative, and those that minimize it. Both classes turn out to have the same algebraic structure, being the quotient of two hypergeometric polynomials.


title: Numerical Simulation and the Universality Class of the KPZ Equation for Curved Substrates

abstract: The Kardar-Parisi-Zhang (KPZ) equation for surface growth has been analyzed for over three decades. Some experiments indicated the power law for the interface width, $w(t)\sim t^\beta$, remains the same as in growth on planar surfaces. Escudero (Phys. Rev. Lett. {\bf 100}, 116101, 2008) argued, however, that for the radial KPZ equations in (1+1)-dimension $w(t)$ should increase as $w(t)\sim [\ln(t)]^{1/2}$ in the long-time limit. Krug (Phys. Rev. Lett. {\bf 102}, 139601, 2009) argued, however, that the dynamics of the interface must remain unchanged with a change in the geometry. Other studies indicated that for radial growth the exponent $\beta$ should remain the same as that of the planar case, regardless of whether the growth is linear or nonlinear, but that the saturation regime will not be reached anymore. We present the results of extensive numerical simulations in (1+1)-dimensions of the radial KPZ equation, starting from an initial circular substrate. We find that unlike the KPZ equation for flat substrates, the transition from linear to nonlinear universality classes is not sharp. Moreover, in the long-time limit the interface width exhibits logarithmic growth with the time, instead of saturation. We also find that evaporation dominates the growth process when the coefficient of the nonlinear term in the KPZ equation is small, and that the average radius of the interface decreases with time and reaches a minimum but not zero value.

categories: cond-mat.stat-mech cs.NA math.NA physics.comp-ph


title: A Theory of Multiple-Source Adaptation with Limited Target Labeled Data

abstract: We present a theoretical and algorithmic study of the multiple-source domain adaptation problem in the common scenario where the learner has access only to a limited amount of labeled target data, but where the learner has at disposal a large amount of labeled data from multiple source domains. We show that a new family of algorithms based on model selection ideas benefits from very favorable guarantees in this scenario and discuss some theoretical obstacles affecting some alternative techniques. We also report the results of several experiments with our algorithms that demonstrate their practical effectiveness.


title: Connecting the Dots: Detecting Adversarial Perturbations Using Context Inconsistency

abstract: There has been a recent surge in research on adversarial perturbations that defeat Deep Neural Networks (DNNs) in machine vision; most of these perturbation-based attacks target object classifiers. Inspired by the observation that humans are able to recognize objects that appear out of place in a scene or along with other unlikely objects, we augment the DNN with a system that learns context consistency rules during training and checks for the violations of the same during testing. Our approach builds a set of auto-encoders, one for each object class, appropriately trained so as to output a discrepancy between the input and output if an added adversarial perturbation violates context consistency rules. Experiments on PASCAL VOC and MS COCO show that our method effectively detects various adversarial attacks and achieves high ROC-AUC (over 0.95 in most cases); this corresponds to over 20% improvement over a state-of-the-art context-agnostic method.


title: Machine learning generated configurations in presence of a conserved quantity: a cautionary tale

abstract: We investigate the performance of machine learning algorithms trained exclusively with configurations obtained from importance sampling Monte Carlo simulations of the two-dimensional Ising model with conserved magnetization. For supervised machine learning, we use convolutional neural networks and find that the corresponding output not only allows to locate the phase transition point with high precision, it also displays a finite-size scaling characterized by an Ising critical exponent. For unsupervised learning, restricted Boltzmann machines (RBM) are trained to generate new configurations that are then used to compute various quantities. We find that RBM is incapable of recognizing the conserved quantity and generates configurations with magnetizations and energies forbidden in the original physical system. The RBM generated configurations result in energy density probability distributions with incorrect weights as well as in wrong spatial correlations. We show that shortcomings are also encountered when training RBM with configurations obtained from the non-conserved Ising model.


title: On the illumination of centrally symmetric cap bodies in small dimensions

abstract: The illumination number $I(K)$ of a convex body $K$ in Euclidean space $\mathbb{E}^d$ is the smallest number of directions that completely illuminate the boundary of a convex body. A cap body $K_c$ of a ball is the convex hull of a Euclidean ball and a countable set of points outside the ball under the condition that each segment connecting two of these points intersects the ball. The main results of this paper are the sharp estimates $I(K_c)\leq6$ for centrally symmetric cap bodies of a ball in $\mathbb{E}^3$, and $I(K_c)\leq 8$ for unconditionally symmetric cap bodies of a ball in $\mathbb{E}^4$.


title: Exploiting vulnerabilities of deep neural networks for privacy protection

abstract: Adversarial perturbations can be added to images to protect their content from unwanted inferences. These perturbations may, however, be ineffective against classifiers that were not {seen} during the generation of the perturbation, or against defenses {based on re-quantization, median filtering or JPEG compression. To address these limitations, we present an adversarial attack {that is} specifically designed to protect visual content against { unseen} classifiers and known defenses. We craft perturbations using an iterative process that is based on the Fast Gradient Signed Method and {that} randomly selects a classifier and a defense, at each iteration}. This randomization prevents an undesirable overfitting to a specific classifier or defense. We validate the proposed attack in both targeted and untargeted settings on the private classes of the Places365-Standard dataset. Using ResNet18, ResNet50, AlexNet and DenseNet161 {as classifiers}, the performance of the proposed attack exceeds that of eleven state-of-the-art attacks. The implementation is available at https://github.com/smartcameras/RP-FGSM/.