title: Data Model, Collection and Evaluation Framework for Local Energy Systems

abstract: Distributed ledgers are a new type of database technology that allows open access to data stored across distributed, decentralised, publicly maintained infrastructures. Current implementations of the such ledgers expect competition between participants, are often energy hungry, poor in maintaining the natural structure of data and suffer from scalability constraints. The aim of my research work is to develop a distributed ledger-based middleware for data modelling and collection on household energy generation and use, while addressing scalability and energy inefficiency concerns of the ledger for this particular application domain. The energy data collected and made available through this middleware will be used for digital energy service delivery (e.g., automated peer to peer energy trading, topological estimations, etc.). The middleware also provides a platform for a consumer focused digital energy service delivery, as well as service model evaluation. The model evaluation will enable the prospective service users to evaluate the suitability of the given service for their needs before making a decision of service subscription.


title: Effective gaps are not effective: quasipolynomial classical simulation of obstructed stoquastic Hamiltonians

abstract: All known examples confirming the possibility of an exponential separation between classical simulation algorithms and stoquastic adiabatic quantum computing (AQC) exploit symmetries that constrain adiabatic dynamics to effective, symmetric subspaces. The symmetries produce large effective eigenvalue gaps, which in turn make adiabatic computation efficient. We present a classical algorithm to efficiently sample from the effective subspace of a $k$-local stoquastic Hamiltonian $H$, without a priori knowledge of its symmetries (or near-symmetries). Our algorithm maps any $k$-local Hamiltonian to a graph $G=(V,E)$ with $\lvert V \rvert = O\left(\mathrm{poly}(n)\right)$ where $n$ is the number of qubits. Given the well-known result of Babai, we exploit graph isomorphism to study the automorphisms of $G$ and arrive at an algorithm quasi-polynomial in $\lvert V\rvert$ for producing samples from the effective subspace eigenstates of $H$. Our results rule out exponential separations between stoquastic AQC and classical computation that arise from hidden symmetries in $k$-local Hamiltonians. Furthermore, our graph representation of $H$ is not limited to stoquastic Hamiltonians and may rule out corresponding obstructions in non-stoquastic cases, or be useful in studying additional properties of $k$-local Hamiltonians.


title: Unveiling cells' local environment during cryopreservation by correlative in situ spatial and thermal analyses

abstract: Cryopreservation is the only fully established procedure to extend the lifespan of living cells and tissues, a key to activities spanning from fundamental biology to clinical practice. Despite its prevalence and impact, central aspects of cryopreservation, such as the cell's physico-chemical environment during freezing, remain elusive. Here we address that question by coupling in situ microscopic directional freezing to visualize cells and their surroundings during freezing with the freezing medium phase diagram. We extract the freezing medium spatial distribution in cryopreservation, providing a tool to describe the cell vicinity at any point during freezing. We show that two major events define the cells' local environment over time: the interaction with the moving ice front and with the vitreous moving front - a term we introduce here. Our correlative strategy may be applied to cells relevant in clinical research and practice, and help designing new cryoprotective media based on local physico-chemical cues.


title: Fold-and-cut theorem: a vertical maths project around origami

abstract: Fold-and-cut theorem claims the possibility to cut out from a sheet a set of straight-line drawing using only one cut of scissors, without producing any other cut in the sheet and separating all the figures at the same time, just by folding flat the paper before the last cut. This fascinating and magic result, proved by E.Demaine and alii, allows a wide exploration of mathematical issues. We present in this paper several different approaches about the use of this result, as problem based learning, direct investigation, manipulative exploration and use of ICT, most of them based on learning by doing strategy. Most of the lessons we present have been tested on a group fo 170 students of primary and middle school and around 30 adults, who showed to be mostly satisfied with the experience.


title: The groupoid of finite sets is biinitial in the 2-category of rig categories

abstract: The groupoid of finite sets has a "canonical" structure of a symmetric 2-rig with the sum and product respectively given by the coproduct and product of sets. This 2-rig $\widehat{\mathbb{F}\mathbb{S} et}$ is just one of the many non-equivalent categorifications of the commutative rig $\mathbb{N}$ of natural numbers, together with the rig $\mathbb{N}$ itself viewed as a discrete rig category, the whole category of finite sets, the category of finite dimensional vector spaces over a field $k$, etc. In this paper it is shown that $\widehat{\mathbb{F}\mathbb{S} et}$ is the right categorification of $\mathbb{N}$ in the sense that it is biinitial in the 2-category of rig categories, in the same way as $\mathbb{N}$ is initial in the category of rigs. As a by-product, an explicit description of the homomorphisms of rig categories from a suitable version of $\widehat{\mathbb{F}\mathbb{S} et}$ into any (semistrict) rig category $\mathbb{S}$ is obtained in terms of a sequence of automorphisms of the objects $1+\stackrel{n)}{\cdots}+1$ in $\mathbb{S}$ for each $n\geq 0$.


title: The fourth- and fifth-order virial coefficients from weak-coupling to unitarity

abstract: In the current era of precision quantum many-body physics, one of the most scrutinized systems is the unitary limit of the nonrelativistic spin-$1/2$ Fermi gas, due to its simplicity and relevance for atomic, condensed matter, and nuclear physics. The thermodynamics of this strongly correlated system is determined by universal functions which, at high temperature, are governed by universal virial coefficients $b_n$ that capture the effects of the $n$-body system on the many-body dynamics. Currently, $b_2$ and $b_3$ are well understood, but the situation is less clear for $b_4$, and no predictions have been made for $b_5$. To answer these open questions, we implement a nonperturbative analytic approach based on the Trotter-Suzuki factorization of the imaginary-time evolution operator, using progressively finer temporal lattice spacings. Implementing these factorizations and automated algebra codes, we obtain the interaction-induced change $\Delta b_n$ from weak coupling to unitarity. At unitarity, we find: $\Delta b_3 = -0.356(4)$, in agreement with previous results; $\Delta b_4 = 0.062(2)$, in agreement with all previous theoretical estimates but at odds with experimental determinations; and $\Delta b_5 = 0.078(6)$, which is a prediction. We show the impact of those answers on the density equation of state and Tan contact, and track their origin back to their polarized and unpolarized components.


title: A Large Dataset of Historical Japanese Documents with Complex Layouts

abstract: Deep learning-based approaches for automatic document layout analysis and content extraction have the potential to unlock rich information trapped in historical documents on a large scale. One major hurdle is the lack of large datasets for training robust models. In particular, little training data exist for Asian languages. To this end, we present HJDataset, a Large Dataset of Historical Japanese Documents with Complex Layouts. It contains over 250,000 layout element annotations of seven types. In addition to bounding boxes and masks of the content regions, it also includes the hierarchical structures and reading orders for layout elements. The dataset is constructed using a combination of human and machine efforts. A semi-rule based method is developed to extract the layout elements, and the results are checked by human inspectors. The resulting large-scale dataset is used to provide baseline performance analyses for text region detection using state-of-the-art deep learning models. And we demonstrate the usefulness of the dataset on real-world document digitization tasks. The dataset is available at https://dell-research-harvard.github.io/HJDataset/.


title: Relativistic Landau and oscillator levels in a symmetric gauge field in a non-commutative complex space

abstract: In this work we obtain the exact solution for relativistic Landau problem plus oscillator potential in a complex symmetric gauge field in a non-commutative complex space, using the algebraic techniques of creation and annihilation operators. It is shown that the relativistic Landau problem in a complex symmetric gauge field in a non-commutative complex space is similar behavior to the Pauli equation in the presence of a symmetric gauge field in a commutative ordinary space. We derive the exact non-commutative Landau and oscillator energy levels, while the non-relativistic limit of the energy spectrum is obtained. We show that the energy is not degenerate and is splitted into two levels, as in the Zeeman effect.


title: Lipschitz constant estimation of Neural Networks via sparse polynomial optimization

abstract: We introduce LiPopt, a polynomial optimization framework for computing increasingly tighter upper bounds on the Lipschitz constant of neural networks. The underlying optimization problems boil down to either linear (LP) or semidefinite (SDP) programming. We show how to use the sparse connectivity of a network, to significantly reduce the complexity of computation. This is specially useful for convolutional as well as pruned neural networks. We conduct experiments on networks with random weights as well as networks trained on MNIST, showing that in the particular case of the $\ell_\infty$-Lipschitz constant, our approach yields superior estimates, compared to baselines available in the literature.


title: Finite genus solutions to the lattice Schwarzian Korteweg-de Vries equation

abstract: Based on integrable Hamiltonian systems related to the derivative Schwarzian Korteweg-de Vries (SKdV) equation, a novel discrete Lax pair for the lattice SKdV (lSKdV) equation is given by two copies of a Darboux transformation which can be used to derive an integrable symplectic correspondence. Resorting to the discrete version of Liouville-Arnold theorem, finite genus solutions to the lSKdV equation are calculated through Riemann surface method.


title: A fast semi-automatic method for classification and counting the number and types of blood cells in an image

abstract: A novel and fast semi-automatic method for segmentation, locating and counting blood cells in an image is proposed. In this method, thresholding is used to separate the nucleus from the other parts. We also use Hough transform for circles to locate the center of white cells. Locating and counting of red cells is performed using template matching. We make use of finding local maxima, labeling and mean value computation in order to shrink the areas obtained after applying Hough transform or template matching, to a single pixel as representative of location of each region. The proposed method is very fast and computes the number and location of white cells accurately. It is also capable of locating and counting the red cells with a small error.


title: Accelerated meta-algorithm for convex optimization

abstract: We propose an accelerated meta-algorithm, which allows to obtain accelerated methods for convex unconstrained minimization in different settings. As an application of the general scheme we propose nearly optimal methods for minimizing smooth functions with Lipschitz derivatives of an arbitrary order, as well as for smooth minimax optimization problems. The proposed meta-algorithm is more general than the ones in the literature and allows to obtain better convergence rates and practical performance in several settings.


title: A Spatio-temporal Transformer for 3D Human Motion Prediction

abstract: We propose a novel Transformer-based architecture for the task of generative modelling of 3D human motion. Previous work commonly relies on RNN-based models considering shorter forecast horizons reaching a stationary and often implausible state quickly. Recent studies show that implicit temporal representations in the frequency domain are also effective in making predictions for a predetermined horizon. Our focus lies on learning spatio-temporal representations autoregressively and hence generation of plausible future developments over both short and long term. The proposed model learns high dimensional embeddings for skeletal joints and how to compose a temporally coherent pose via a decoupled temporal and spatial self-attention mechanism. Our dual attention concept allows the model to access current and past information directly and to capture both the structural and the temporal dependencies explicitly. We show empirically that this effectively learns the underlying motion dynamics and reduces error accumulation over time observed in auto-regressive models. Our model is able to make accurate short-term predictions and generate plausible motion sequences over long horizons. We make our code publicly available at https://github.com/eth-ait/motion-transformer.


title: Induced surface and curvature tensions equation of state of hard spheres and its virial coefficients

abstract: Here we present new results obtained for the equation of state with induced surface and curvature tensions. The explicit formulas for the first five virial coefficients of system pressure and for the induced surface and curvature tension coefficients are derived and their possible applications are briefly discussed.


title: Syn-QG: Syntactic and Shallow Semantic Rules for Question Generation

abstract: Question Generation (QG) is fundamentally a simple syntactic transformation; however, many aspects of semantics influence what questions are good to form. We implement this observation by developing SynQG, a set of transparent syntactic rules leveraging universal dependencies, shallow semantic parsing, lexical resources, and custom rules which transform declarative sentences into question-answer pairs. We utilize PropBank argument descriptions and VerbNet state predicates to incorporate shallow semantic content, which helps generate questions of a descriptive nature and produce inferential and semantically richer questions than existing systems. In order to improve syntactic fluency and eliminate grammatically incorrect questions, we employ back-translation over the output of these syntactic rules. A set of crowd-sourced evaluations shows that our system can generate a larger number of highly grammatical and relevant questions than previous QG systems and that back-translation drastically improves grammaticality at a slight cost of generating irrelevant questions.


title: Universal subdiffusion in strongly tilted many-body systems

abstract: The quantum dynamics away from equilibrium is of fundamental interest for interacting many-body systems. In this letter, we study tilted many-body systems using the effective Hamiltonian derived from the microscopic description. We first give general arguments for the density relaxation rate satisfying $1/\tau\propto k^4$ for a large class of systems, including the Fermi Hubbard model case as observed in the the recent experiment [1]. Here $k$ is the wave vector of the density wave. The main ingredients are the emergence of the reflection symmetry and dipole moment conservation to the leading non-trivial order of the large tilted strength. To support our analysis, we then construct a solvable model with large local Hilbert space dimension by coupling sites discribed by the Sachdev-Ye-Kitaev models, where the density response can be computed explicitly. The the tilt strength and the temperature dependence of the subdiffusion constant are also discussed.


title: Photonic Temperature and Wavelength Metrology by Spectral Pattern Recognition

abstract: Spectral pattern recognition is used to measure temperature and generate calibrated wavelength/frequency combs using a single silicon waveguide ring resonator. The ring generates two incommensurate interleaving TE and TM spectral combs that shift independently with temperature to create a spectral pattern that is unique at every temperature. Following an initial calibration, the ring temperature can be determined by recognizing the spectral resonance pattern, and as a consequence the wavelength of every resonance is also known. Two methods of pattern based temperature retrieval are presented. In the first method, the ring is locked to a previously determined temperature set-point defined by the coincidence of only two specific TE and TM cavity modes. Based on a prior calibration at the set-point, the ring temperature and hence all resonance wavelengths are then known and the resulting comb can be used as a wavelength calibration reference. In this configuration, all reference comb wavelengths have been reproduced within a 5 pm accuracy across an 80 nm range by using an on-chip micro-heater to tune the ring. For more general photonic thermometry, a spectral correlation algorithm is developed to recognize a resonance pattern across a 30 nm wide spectral window and thereby determine ring temperature continuously to 50 mK accuracy. The correlation method is extended to simultaneously determine temperature and to identify and correct for wavelength calibration errors in the interrogating light source. The temperature and comb wavelength accuracy is limited primarily by the linewidth of the ring resonances, with accuracy and resolution scaling with the ring quality factor.


title: CausalVAE: Structured Causal Disentanglement in Variational Autoencoder

abstract: Learning disentanglement aims at finding a low dimensional representation which consists of multiple explanatory and generative factors of the observational data. The framework of variational autoencoder (VAE) is commonly used to disentangle independent factors from observations. However, in real scenarios, factors with semantics are not necessarily independent. Instead, there might be an underlying causal structure which renders these factors dependent. We thus propose a new VAE based framework named CausalVAE, which includes a Causal Layer to transform independent exogenous factors into causal endogenous ones that correspond to causally related concepts in data. We further analyze the model identifiabitily, showing that the proposed model learned from observations recovers the true one up to a certain degree by providing supervision signals (e.g. feature labels). Experiments are conducted on various datasets, including synthetic and real word benchmark CelebA. Results show that the causal representations learned by CausalVAE are semantically interpretable, and their causal relationship as a Directed Acyclic Graph (DAG) is identified with good accuracy. Furthermore, we demonstrate that the proposed CausalVAE model is able to generate counterfactual data through "do-operation" to the causal factors.


title: Honesty Based Democratic Scheme to Improve Community Cooperation for IoT Based Vehicular Delay Tolerant Networks

abstract: Many Internet of things (IoT) applications have been developed and implemented on unreliable wireless networks like the Delay tolerant network (DTN), however, efficient data transfer in DTN is still an important issue for the IoT applications. One of the application areas of DTN is Vehicular Delay Tolerant Network (VDTN) where the network faces communication disruption due to lack of end-to-end relay route. It is challenging as some of the nodes show selfish behavior to preserve their resources like memory, and energy level and become non-cooperative. In this article, an Honesty based Democratic Scheme (HBDS) is introduced where vehicles with higher honesty level are elected as heads -- during the process. Vehicles involved in the process would maximize their rewards (reputation) through active participation in the network activities whereas nodes with non-cooperative selfish behavior are punished. The honesty level of the heads is analyzed using Vickrey, Clarke, and Groves (VCG) model. The mathematical model and algorithms developed in the proposed HBDS technique are simulated using the VDTNSim framework to evaluate their efficiency. The performance results show that the proposed scheme dominates current schemes in terms of packet delivery probability, packet delivery delay, number of packets drop, and overhead ratio.


title: Framed instanton homology and concordance

abstract: We define two concordance invariants of knots using framed instanton homology. These invariants $\nu^\sharp$ and $\tau^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which agrees in all known cases with the $\tau$ invariant in Heegaard Floer homology. We use $\nu^\sharp$ and $\tau^\sharp$ to compute the framed instanton homology of all nonzero rational Dehn surgeries on: 20 of the 35 nontrivial prime knots through 8 crossings, infinite families of twist and pretzel knots, and instanton L-space knots; and of 19 of the first 20 closed hyperbolic manifolds in the Hodgson--Weeks census. In another application, we determine when the cable of a knot is an instanton L-space knot. Finally, we discuss applications to the spectral sequence from odd Khovanov homology to the framed instanton homology of branched double covers, and to the behaviors of $\tau^\sharp$ and $\tau$ under genus-2 mutation.


title: Vertex Green's functions of a quarter-plane. Links between the functional equation, additive crossing and Lam\'e functions

abstract: In our previous work (Assier \& Shanin, QJMAM, 2019), we gave a new spectral formulation in two complex variables associated with the problem of plane-wave diffraction by a quarter-plane. In particular, we showed that the unknown spectral function satisfies a condition of additive crossing about its branch set. In this paper, we study a very similar class of spectral problem, and show how the additive crossing can be exploited in order to express its solution in terms of Lam\'e functions. The solutions obtained can be thought of as tailored vertex Green's functions whose behaviours in the near-field are directly related to the eigenvalues of the Laplace-Beltrami operator. This is important since the correct near-field behaviour at the tip of the quarter-plane had so far never been obtained via a multivariable complex analysis approach.


title: Infection arbitrage

abstract: Increasing the infection risk early in an epidemic is individually and socially optimal under some parameter values. The reason is that the early patients recover or die before the peak of the epidemic, which flattens the peak. This improves welfare if the peak exceeds the capacity of the healthcare system and the social loss rises rapidly enough in the number infected. The individual incentive to get infected early comes from the greater likelihood of receiving treatment than at the peak when the disease has overwhelmed healthcare capacity. Calibration to the Covid-19 pandemic data suggests that catching the infection at the start was individually optimal and for some loss functions would have reduced the aggregate loss.


title: Transmission Expansion Planning Using Cycle Flows

abstract: The common linear optimal power flow (LOPF) formulation that underlies most transmission expansion planning (TEP) formulations uses bus voltage angles as auxiliary optimization variables to describe Kirchhoff's voltage law. As well as introducing a large number of auxiliary variables, the angle-based formulation has the disadvantage that it is not well-suited to considering the connection of multiple disconnected networks, It is, however, possible to circumvent these auxiliary variables and reduce the required number of constraints by expressing Kirchhoff's voltage law directly in terms of the power flows, based on a cycle decomposition of the network graph. In computationally challenging benchmarks such as generation capacity expansion with multi-period LOPF, this equivalent reformulation was shown in previous work to reduce solving times for LOPF problems by an order of magnitude. Allowing line capacity to be co-optimized in a discrete TEP problem makes it a non-convex mixed-integer problem. This paper develops a novel cycle-based reformulation for the TEP problem with LOPF and compares it to the standard angle-based formulation. The combinatorics of the connection of multiple disconnected networks is formalized for both formulations, a topic which has not received attention in the literature. The cycle-based formulation is shown to conveniently accommodate synchronization options. Since both formulations use the big-$M$ disjunctive relaxation, useful derivations for suitable big-$M$ values are provided. The competing formulations are benchmarked on a realistic generation and transmission expansion model of the European transmission system at varying spatial and temporal resolutions. The cycle-based formulation solves up to 31 times faster for particular cases, while averaging at a speed-up of factor 4.


title: Stochastic Weighted Matching: $(1-\epsilon)$ Approximation

abstract: Let $G=(V, E)$ be a given edge-weighted graph and let its {\em realization} $\mathcal{G}$ be a random subgraph of $G$ that includes each edge $e \in E$ independently with probability $p$. In the {\em stochastic matching} problem, the goal is to pick a sparse subgraph $Q$ of $G$ without knowing the realization $\mathcal{G}$, such that the maximum weight matching among the realized edges of $Q$ (i.e. graph $Q \cap \mathcal{G}$) in expectation approximates the maximum weight matching of the whole realization $\mathcal{G}$. In this paper, we prove that for any desirably small $\epsilon \in (0, 1)$, every graph $G$ has a subgraph $Q$ that guarantees a $(1-\epsilon)$-approximation and has maximum degree only $O_{\epsilon, p}(1)$. That is, the maximum degree of $Q$ depends only on $\epsilon$ and $p$ (both of which are known to be necessary) and not for example on the number of nodes in $G$, the edge-weights, etc. The stochastic matching problem has been studied extensively on both weighted and unweighted graphs. Previously, only existence of (close to) half-approximate subgraphs was known for weighted graphs [Yamaguchi and Maehara, SODA'18; Behnezhad et al., SODA'19]. Our result substantially improves over these works, matches the state-of-the-art for unweighted graphs [Behnezhad et al., STOC'20], and essentially settles the approximation factor.


title: Efficient Synthesis of Compact Deep Neural Networks

abstract: Deep neural networks (DNNs) have been deployed in myriad machine learning applications. However, advances in their accuracy are often achieved with increasingly complex and deep network architectures. These large, deep models are often unsuitable for real-world applications, due to their massive computational cost, high memory bandwidth, and long latency. For example, autonomous driving requires fast inference based on Internet-of-Things (IoT) edge devices operating under run-time energy and memory storage constraints. In such cases, compact DNNs can facilitate deployment due to their reduced energy consumption, memory requirement, and inference latency. Long short-term memories (LSTMs) are a type of recurrent neural network that have also found widespread use in the context of sequential data modeling. They also face a model size vs. accuracy trade-off. In this paper, we review major approaches for automatically synthesizing compact, yet accurate, DNN/LSTM models suitable for real-world applications. We also outline some challenges and future areas of exploration.


title: Protecting Classifiers From Attacks. A Bayesian Approach

abstract: Classification problems in security settings are usually modeled as confrontations in which an adversary tries to fool a classifier manipulating the covariates of instances to obtain a benefit. Most approaches to such problems have focused on game-theoretic ideas with strong underlying common knowledge assumptions, which are not realistic in the security realm. We provide an alternative Bayesian framework that accounts for the lack of precise knowledge about the attacker's behavior using adversarial risk analysis. A key ingredient required by our framework is the ability to sample from the distribution of originating instances given the possibly attacked observed one. We propose a sampling procedure based on approximate Bayesian computation, in which we simulate the attacker's problem taking into account our uncertainty about his elements. For large scale problems, we propose an alternative, scalable approach that could be used when dealing with differentiable classifiers. Within it, we move the computational load to the training phase, simulating attacks from an adversary, adapting the framework to obtain a classifier robustified against attacks.


title: Entanglement revivals as a probe of scrambling in finite quantum systems

abstract: The entanglement evolution after a quantum quench became one of the tools to distinguish integrable versus chaotic (non-integrable) quantum many-body dynamics. Following this line of thoughts, here we propose that the revivals in the entanglement entropy provide a finite-size diagnostic benchmark for the purpose. Indeed, integrable models display periodic revivals manifested in a dip in the block entanglement entropy in a finite system. On the other hand, in chaotic systems, initial correlations get dispersed in the global degrees of freedom (information scrambling) and such a dip is suppressed. We show that while for integrable systems the height of the dip of the entanglement of an interval of fixed length decays as a power law with the total system size, upon breaking integrability a much faster decay is observed, signalling strong scrambling. Our results are checked by exact numerical techniques in free-fermion and free-boson theories, and by time-dependent density matrix renormalisation group in interacting integrable and chaotic models.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: A possible link between brittle and ductile failure by viewing fracture as a topological defect

abstract: A continuum model of fracture that describes, in principle, the propagation and interaction of arbitrary distributions of cracks and voids with evolving topology without a fracture criterion is developed. It involves a 'law of motion' for crack-tips, primarily as a kinematical consequence coupled with thermodynamics. Fundamental kinematics endows the crack-tip with a topological charge. This allows the association of a kinematical conservation law for the charge, resulting in a fundamental evolution equation for the crack-tip field, and in turn the crack field. The vectorial crack field degrades the elastic modulus in a physically justified anisotropic manner. The mathematical structure of this conservation law allows an additive 'free' gradient of a scalar field in the evolution of the crack field. We associate this naturally emerging scalar field with the porosity that arises in the modeling of ductile failure. Thus, porosity-rate gradients affect the evolution of the crack-field which, then, naturally degrades the elastic modulus, and it is through this fundamental mechanism that spatial gradients in porosity growth affects the strain-energy density and stress carrying capacity of the material - and, as a dimensional consequence related to fundamental kinematics, introduces a length-scale in the model. The key hypothesis of this work is that brittle fracture is energy-driven while ductile fracture is stress-driven; under overall shear loadings where mean stress vanishes or is compressive, shear strain energy can still drive shear fracture in ductile materials.


title: Adaptive Attention Span in Computer Vision

abstract: Recent developments in Transformers for language modeling have opened new areas of research in computer vision. Results from late 2019 showed vast performance increases in both object detection and recognition when convolutions are replaced by local self-attention kernels. Models using local self-attention kernels were also shown to have less parameters and FLOPS compared to equivalent architectures that only use convolutions. In this work we propose a novel method for learning the local self-attention kernel size. We then compare its performance to fixed-size local attention and convolution kernels. The code for all our experiments and models is available at https://github.com/JoeRoussy/adaptive-attention-in-cv


title: Decoherence mitigation by real-time noise acquisition

abstract: We present a scheme to neutralize the dephasing effect induced by classical noise on a qubit. The scheme builds upon the key idea that this kind of noise can be recorded by a classical device during the qubit evolution, and that its effect can be undone by a suitable control sequence that is conditioned on the measurement result. We specifically demonstrate this scheme on a nitrogen-vacancy (NV) center that strongly couples to current noise in a nearby conductor. By conditioning the readout observable on a measurement of the current, we recover the full qubit coherence and its intrinsic coherence time $T_2$. We demonstrate that this scheme provides a simple way to implement single-qubit gates with an infidelity of $10^{-2}$ even if they are driven by noisy sources, and we estimate that an infidelity of $10^{-5}$ could be reached with additional improvements. We anticipate this method to find widespread adoption in experiments using fast control pulses driven from strong currents, in particular in nanoscale magnetic resonance imaging, where control of peak current s of 100 mA with a bandwidth of 100 MHz is required.


title: Hidden independence in unstructured probabilistic models

abstract: We describe a novel way to represent the probability distribution of a random binary string as a mixture having a maximally weighted component associated with independent (though not necessarily identically distributed) Bernoulli characters. We refer to this as the latent independent weight of the probabilistic source producing the string, and derive a combinatorial algorithm to compute it. The decomposition we propose may serve as an alternative to the Boolean paradigm of hypothesis testing, or to assess the fraction of uncorrupted samples originating from a source with independent marginals. In this sense, the latent independent weight quantifies the maximal amount of independence contained within a probabilistic source, which, properly speaking, may not have independent marginals.


title: Precise Critical Exponents of the O(N)-Symmetric Quantum field Model using Hypergeometric-Meijer Resummation

abstract: In this work, we show that one can select different types of Hypergeometric approximants for the resummation of divergent series with different large-order growth factors. Being of $n!$ growth factor, the divergent series for the $\varepsilon$-expansion of the critical exponents of the $O(N)$-symmetric model is approximated by the Hypergeometric functions $_{k+1}F_{k-1}$. The divergent $_{k+1}F_{k-1}$ functions are then resummed using their equivalent Meijer-G function representation. The convergence of the resummation results for the exponents $\nu$,\ $\eta$ and $\omega$ has been shown to improve systematically in going from low order to the highest known six-loops order. Our six-loops resummation results are very competitive to the recent six-loops Borel with conformal mapping predictions and to recent Monte Carlo simulation results. To show that precise results extend for high $N$ values, we listed the five-loops results for $\nu$ which are very accurate as well. The recent seven-loops order ($g$-series) for the renormalization group functions $\beta,\gamma_{\phi^2}$ and $\gamma_{m^2}$ have been resummed too. Accurate predictions for the critical coupling and the exponents $\nu$, $\eta$ and $\omega$ have been extracted from $\beta$,$\gamma_{\phi^2}$ and $\gamma_{m^2}$ approximants.


title: Doubly Degenerate Diffuse Interface Models of Anisotropic Surface Diffusion

abstract: We extend the doubly degenerate Cahn-Hilliard (DDCH) models for isotropic surface diffusion, which yield more accurate approximations than classical degenerate Cahn-Hilliard (DCH) models, to the anisotropic case. We consider both weak and strong anisotropies and demonstrate the capabilities of the approach for these cases numerically. The proposed model provides a variational and energy dissipative approach for anisotropic surface diffusion, enabling large scale simulations with material-specific parameters.

categories: math.NA cond-mat.mtrl-sci cs.NA physics.comp-ph


title: Microplastic Detection in Soil and Water Using Resonance Microwave Spectroscopy

abstract: A feasibility study of microplastic detection and quantification in soil and water using resonance microwave reflectometry is carried out using artificially created samples with high volumetric concentration of microplastic with 50{\mu}m-0.5mm particles size. A mathematical model expressing microplastic concentration in soil and water as a linear function of the measured S11 resonance frequency shift and relative permittivity contrast is developed and is found to be in a very good agreement with the experimental data. Next, this model is applied to find the best achievable theoretical resolution of microplastic concentration in the natural environment using microwave sensing technology which is shown to be at around 100ppm (parts-per-million) level in the linear signal detection regime. It is demonstrated that the best achievable level of microplastic contaminant resolution depends on the sensor probe Q-factor and sensitivity of the microwave receiver. The bound for the achievable contaminant concentration resolution is found in the analytical form for high-Q resonance microwave sensors of arbitrary geometry. Even though several well-established protocols based on optical, infrared and X-ray spectroscopy are currently being used for microplastic detection in the natural environment, microwave spectroscopy could offer additional possibilities, especially for low-cost, real-time in-situ microplastic detection in diverse environmental conditions outside of the laboratory space.


title: Almost intersecting families

abstract: Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost intersecting if it is not intersecting but to every $F \in \mathcal F$ there is at most one $F'\in \mathcal F$ satisfying $F \cap F' = \emptyset$. Gerbner et al. proved that if $n \geq 2k + 2$ then $|\mathcal F| \leq {n - 1\choose k - 1}$ holds for almost intersecting families. The main result implies the considerably stronger and best possible bound $|\mathcal F| \leq {n - 1\choose k - 1} - {n - k - 1\choose k - 1} + 2$ for $n > (2 + o(1))k$.


title: Detecting Centralized Architecture-Based Botnets using Travelling Salesperson Non-Deterministic Polynomial-Hard problem, TSP-NP Technique

abstract: The threats posed by botnets in the cyberspace continue to grow each day and it has become very hard to detect or infiltrate the cynicism of bots. This, is owing to the fact, that, the botnet developers each day, keep changing the propagation and attack techniques. Currently, most of these attacks have been centered on stealing computing energy, theft of personal information and Distributed Denial of Service (DDoS) attacks. In this paper, the authors propose a novel technique that uses the Non-Deterministic Polynomial-Time Hardness (NP-Hard Problem) based on the Traveling Salesperson Person (TSP) that depicts that a given bot, bj, is able to visit each host on a network environment, NE, and then it returns to the botmaster, in form of instruction(command), through optimal minimization of the hosts that are (may) be attacked. Given that bj represents a piece of malicious code and TSP-NP Hard Problem, which forms part of combinatorial optimization, the authors present this as an effective approach for the detection of the botnet. It is worth noting that the concentration of this study is basically on the centralized botnet architecture. This holistic approach shows that botnet detection accuracy can be increased with a degree of certainty and potentially decrease the chances of false positives. Nevertheless, a discussion on the possible applicability and implementation has also been given in this paper.


title: Fewer colors for perfect simulation of proper colorings

abstract: Given a graph $G$ and color set $\{1, \ldots, k\}$, a $\textit{proper coloring}$ is an assignment of a color to each vertex of $G$ such that no two vertices connected by an edge are given the same color. The problem of drawing a proper coloring exactly uniformly from the set of proper colorings is well-studied. Most recently, Bhandari and Chakraborty developed a polynomial expected time randomized algorithm for obtaining such draws when $k > 3\Delta$, where $\Delta$ is the maximum degree of the graph. Their approach used a bounding chain together with the coupling from the past protocol. Here a new randomized algorithm is presented based upon the randomness recycler protocol introduced by the author and Fill at FOCS 2000. Given $n$ vertices, this method takes $O(n \ln (n))$ expected steps when $k > 2.27(\Delta - 1)$ for all $\Delta \geq 2$.


title: Hardy-Littlewood theorems and the Bergman distance

abstract: We obtain non-Euclidean versions of classical theorems due to Hardy and Littlewood concerning smoothness of the boundary function of an analytic mapping on the unit disk with an appropriate growth condition.


title: Maximal degrees in subgraphs of Kneser graphs

abstract: In this paper, we study the maximum degree in non-empty induced subgraphs of the Kneser graph $KG(n,k)$. One of the main results asserts that, for $k>k_0$ and $n>64k^2$, whenever a non-empty subgraph has $m\ge k{n-2\choose k-2}$ vertices, its maximum degree is at least $\frac 12(1-\frac {k^2}n) m - {n-2\choose k-2}\ge 0.49 m$. This bound is essentially best possible. One of the intermediate steps is to obtain structural results on non-empty subgraphs with small maximum degree.


title: Monodromy of rational curves on K3 surfaces of low genus

abstract: In many situations, the monodromy group of enumerative problems will be the full symmetric group. In this paper, we study a similar phenomenon on the rational curves in $|\mathcal{O}(1)|$ on a generic K3 surface of fixed genus over $\mathbb{C}$ as the K3 surface varies. We prove that when the K3 surface has genus $g$, $1\leq g\leq 3$, the monodromy group is the full symmetric group.


title: Four qubits generated by Clifford gates

abstract: The Clifford group is the set of gates generated by the controlled not gates, the Hadamard gate and the P={{1,0},{0,i}} gate. We will say that a n-qubit state is a Clifford state if it can be prepared using Clifford gates. In this paper we study the set of all 4-qubit Clifford states. We prove that there are 293760 states and their entanglement entropy must be either 0, 2/3, 1, 4/3 and 5/3. We also show that any pair of these states can be connected using local gates and at most 3 CNOT gates. We achieve this by splitting the 293760 states into 18 groups where each pair of states in a group can be connected with a local Clifford gate. We then study how the different CNOT gates act on the 18 groups. We also study the Clifford states with real entries under the action of the subgroup C_R of Clifford gates with real entries. This time we show that every pair of Clifford states with real entries can be connected with at most 5 CNOT gates and local gates in C_R. The link https://youtu.be/42MI6ks2_eU leads to a YouTube video that explains the most important results in this paper.


title: Intersection theorems for $(-1,0,1)$-vectors

abstract: In this paper, we investigate Erd\H os--Ko--Rado type theorems for families of vectors from $\{0,\pm 1\}^n$ with fixed numbers of $+1$'s and $-1$'s. Scalar product plays the role of intersection size. In particular, we sharpen our earlier result on the largest size of a family of such vectors that avoids the smallest possible scalar product. We also obtain an exact result for the largest size of a family with no negative scalar products.


title: Axion Gamma-Ray Signatures from Quark Matter in Neutron Stars

abstract: We present a theoretical model for detecting axions from neutron stars in a QCD phase of quark matter, in which the gamma-rays are produced from decaying axions. The axions would be produced from a quark-antiquark pair $u\bar{u}$ or $d\bar{d}$. The chiral anomaly of QCD and the spontaneously broken symmetry are invoked to explain the non-conservation of the axion current. The axion quark-antiquark coupling can be computed via the Goldberger-Treiman relation, relying on the two-loop coupling form factors from the QCD axion current. From the coupling form factors, the axion emissivities $\epsilon_a$ can be derived, from which fluxes can be determined. A Monte Carlo simulation is used to compute the emissivity for axions from said neutron stars, from which the predicted gamma-ray signal from the Fermi Large Area Telescope (Fermi LAT) can be computed. We predict a photon flux which may be detectable by Fermi LAT, and limits on the QCD mass $m_a$. A signal from LIGO GWS 170817 could be produced from the neutron star merger as well, which is compared to the expected signal from the Fermi LAT. An upper bound $m_a\lesssim 10^{-10}$eV is thereby placed. Very stringent limits on the axion mass of nearly $m_a \simeq 10^{-14}$eV could be placed using this model with the closest neutron stars near 100 kpc. Axions could thus be detectable in gamma-rays for neutron stars as distant as 1 Mpc.


title: Predicting Station-Level Bike-Sharing Demands Using Graph Convolutional Neural Network

abstract: This study proposes a novel Graph Convolutional Neural Network with Data-driven Graph Filter (GCNN-DDGF) model that can learn hidden heterogeneous pairwise correlations among stations to predict station-level hourly demand in a large-scale bike-sharing network. Two architectures of the GCNN-DDGF model are explored: GCNNreg-DDGF is a regular GCNN-DDGF model which contains the convolution and feedforward blocks; GCNNrec-DDGF additionally contains a recurrent block from the Long Short-term Memory neural network to capture temporal dependencies in bike-sharing demand series. Furthermore, four GCNN models are proposed whose adjacency matrices are based on various bike-sharing system data, including Spatial Distance matrix (SD), Demand matrix (DE), Average Trip Duration matrix (ATD), and Demand Correlation matrix (DC). These six GCNN models along with seven other benchmark models are built and compared using the Citi Bike dataset from New York City, which includes 272 stations and over 28 million transactions from 2013 to 2016. Results show that the GCNNrec-DDGF performs the best in terms of the Root Mean Square Error, the Mean Absolute Error, and the coefficient of determination (R2), followed by the GCNNreg-DDGF. They outperform the other models.


title: Modeling Nonstationary and Asymmetric Multivariate Spatial Covariances via Deformations

abstract: Multivariate spatial-statistical models are often used when modeling environmental and socio-demographic processes. The most commonly used models for multivariate spatial covariances assume both stationarity and symmetry for the cross-covariances, but these assumptions are rarely tenable in practice. In this article we introduce a new and highly flexible class of nonstationary and asymmetric multivariate spatial covariance models that are constructed by modeling the simpler and more familiar stationary and symmetric multivariate covariances on a warped domain. Inspired by recent developments in the univariate case, we propose modeling the warping function as a composition of a number of simple injective warping functions in a deep-learning framework. Importantly, covariance-model validity is guaranteed by construction. We establish the types of warpings that allow for cross-covariance symmetry and asymmetry, and we use likelihood-based methods for inference that are computationally efficient. The utility of this new class of models is shown through two data illustrations: a simulation study on nonstationary data and an application on ocean temperatures at two different depths.


title: Novel algorithms and high-performance cloud computing enable efficient fully quantum mechanical protein-ligand scoring

abstract: Ranking the binding of small molecules to protein receptors through physics-based computation remains challenging. Though inroads have been made using free energy methods, these fail when the underlying classical mechanical force fields are insufficient. In principle, a more accurate approach is provided by quantum mechanical density functional theory (DFT) scoring, but even with approximations, this has yet to become practical on drug discovery-relevant timescales and resources. Here, we describe how to overcome this barrier using algorithms for DFT calculations that scale on widely available cloud architectures, enabling full density functional theory, without approximations, to be applied to protein-ligand complexes with approximately 2500 atoms in tens of minutes. Applying this to a realistic example of 22 ligands binding to MCL1 reveals that density functional scoring outperforms classical free energy perturbation theory for this system. This raises the possibility of broadly applying fully quantum mechanical scoring to real-world drug discovery pipelines.


title: Automatically Characterizing Targeted Information Operations Through Biases Present in Discourse on Twitter

abstract: This paper considers the problem of automatically characterizing overall attitudes and biases that may be associated with emerging information operations via artificial intelligence. Accurate analysis of these emerging topics usually requires laborious, manual analysis by experts to annotate millions of tweets to identify biases in new topics. We introduce extensions of the Word Embedding Association Test from Caliskan et al. to a new domain (Caliskan, 2017). Our practical and unsupervised method is used to quantify biases promoted in information operations. We validate our method using known information operation-related tweets from Twitter's Transparency Report. We perform a case study on the COVID-19 pandemic to evaluate our method's performance on non-labeled Twitter data, demonstrating its usability in emerging domains.


title: Intertwining operator associated to symmetric groups and summability on the unit sphere

abstract: An integral representation of the intertwining operator for the Dunkl operators associated with symmetric groups is derived for the class of functions of a single component. The expression provides a closed form formula for the reproducing kernels of $h$-harmonics associated with symmetric groups when one of the components is a coordinate vector. The latter allows us to establish a sharp result for the Ces\`aro summability of $h$-harmonic series on the unit sphere.


title: SimAlign: High Quality Word Alignments without Parallel Training Data using Static and Contextualized Embeddings

abstract: Word alignments are useful for tasks like statistical and neural machine translation (NMT) and cross-lingual annotation projection. Statistical word aligners perform well, as do methods that extract alignments jointly with translations in NMT. However, most approaches require parallel training data, and quality decreases as less training data is available. We propose word alignment methods that require no parallel data. The key idea is to leverage multilingual word embeddings, both static and contextualized, for word alignment. Our multilingual embeddings are created from monolingual data only without relying on any parallel data or dictionaries. We find that alignments created from embeddings are superior for four and comparable for two language pairs compared to those produced by traditional statistical aligners, even with abundant parallel data; e.g., contextualized embeddings achieve a word alignment F1 for English-German that is 5 percentage points higher than eflomal, a high-quality statistical aligner, trained on 100k parallel sentences.


title: Fully Parallel Mesh I/O using PETSc DMPlex with an Application to Waveform Modeling

abstract: Large-scale PDE simulations using high-order finite-element methods on unstructured meshes are an indispensable tool in science and engineering. The widely used open-source PETSc library offers an efficient representation of generic unstructured meshes within its DMPlex module. This paper details our recent implementation of parallel mesh reading and topological interpolation (computation of edges and faces from a cell-vertex mesh) into DMPlex. We apply these developments to seismic wave propagation scenarios on Mars as an example application. The principal motivation is to overcome single-node memory limits and reach mesh sizes which were impossible before. Moreover, we demonstrate that scalability of I/O and topological interpolation goes beyond 12'000 cores, and memory-imposed limits on mesh size vanish.


title: Predicting MMSE Score from Finger-Tapping Measurement

abstract: Dementia is a leading cause of diseases for the elderly. Early diagnosis is very important for the elderly living with dementias. In this paper, we propose a method for dementia diagnosis by predicting MMSE score from finger-tapping measurement with machine learning pipeline. Based on measurement of finger tapping movement, the pipeline is first to select finger-tapping attributes with copula entropy and then to predict MMSE score from the selected attributes with predictive models. Experiments on real world data show that the predictive models such developed present good prediction performance. As a byproduct, the associations between certain finger-tapping attributes ('Number of taps', 'Average of intervals', and 'Frequency of taps' of both hands of bimanual in-phase task) and MMSE score are discovered with copula entropy, which may be interpreted as the biological relationship between cognitive ability and motor ability and therefore makes the predictive models explainable. The selected finger-tapping attributes can be considered as dementia biomarkers.


title: Enhancing Pharmacovigilance with Drug Reviews and Social Media

abstract: This paper explores whether the use of drug reviews and social media could be leveraged as potential alternative sources for pharmacovigilance of adverse drug reactions (ADRs). We examined the performance of BERT alongside two variants that are trained on biomedical papers, BioBERT7, and clinical notes, Clinical BERT8. A variety of 8 different BERT models were fine-tuned and compared across three different tasks in order to evaluate their relative performance to one another in the ADR tasks. The tasks include sentiment classification of drug reviews, presence of ADR in twitter postings, and named entity recognition of ADRs in twitter postings. BERT demonstrates its flexibility with high performance across all three different pharmacovigilance related tasks.


title: On the existence and non-existence of improper homomorphisms of oriented and $2$-edge-coloured graphs to reflexive targets

abstract: We consider non-trivial homomorphisms to reflexive oriented graphs in which some pair of adjacent vertices have the same image. Using a notion of convexity for oriented graphs, we study those oriented graphs that do not admit such homomorphisms. We fully classify those oriented graphs with tree-width $2$ that do not admit such homomorphisms and show that it is NP-complete to decide if a graph admits an orientation that does not admit such homomorphisms. We prove analogous results for $2$-edge-coloured graphs. We apply our results on oriented graphs to provide a new tool in the study of chromatic number of orientations of planar graphs -- a long-standing open problem.


title: Arbitrarily high-order structure-preserving schemes for the Gross-Pitaevskii equation with angular momentum rotation in three dimensions

abstract: In this paper, we design a novel class of arbitrarily high-order structure-preserving numerical schemes for the time-dependent Gross-Pitaevskii equation with angular momentum rotation in three dimensions. Based on the idea of the scalar auxiliary variable approach which is proposed in the recent papers [J. Comput. Phys., 416 (2018) 353-407 and SIAM Rev., 61(2019) 474-506] for developing energy stable schemes for gradient flow systems, we firstly reformulate the Gross-Pitaevskii equation into an equivalent system with a modified energy conservation law. The reformulated system is then discretized by the Gauss collocation method in time and the standard Fourier pseudo-spectral method in space, respectively. We show that the proposed schemes can preserve the discrete mass and modified energy exactly. Numerical results are addressed to verify the efficiency and high-order accuracy of the proposed schemes.


title: On local Tur\'an problems

abstract: Since its formulation, Tur\'an's hypergraph problems have been among the most challenging open problems in extremal combinatorics. One of them is the following: given a $3$-uniform hypergraph $\mathcal{F}$ on $n$ vertices in which any five vertices span at least one edge, prove that $|\mathcal{F}| \ge (1/4 -o(1))\binom{n}{3}$. The construction showing that this bound would be best possible is simply $\binom{X}{3} \cup \binom{Y}{3}$ where $X$ and $Y$ evenly partition the vertex set. This construction has the following more general $(2p+1, p+1)$-property: any set of $2p+1$ vertices spans a complete sub-hypergraph on $p+1$ vertices. One of our main results says that, quite surprisingly, for all $p>2$ the $(2p+1,p+1)$-property implies the conjectured lower bound.


title: Structure, examples and classification for generalized near-group fusion categories

abstract: We describe the structure of a generalized near-group fusion category and present an example of this class of fusion categories which arises from the extension of a Fibonacci category. We then classify slightly degenerate generalized near-group fusion categories. We also prove a structure result for braided generalized Tambara-Yamagami fusion categories.


title: New HST data and modeling reveal a massive planetesimal collision around Fomalhaut

abstract: The apparent detection of an exoplanet orbiting Fomalhaut was announced in 2008. However, subsequent observations of Fomalhaut b raised questions about its status: Unlike other exoplanets, it is bright in the optical and nondetected in the infrared, and its orbit appears to cross the debris ring around the star without the expected gravitational perturbations. We revisit previously published data and analyze additional Hubble Space Telescope (HST) data, finding that the source is likely on a radial trajectory and has faded and become extended. Dynamical and collisional modeling of a recently produced dust cloud yields results consistent with the observations. Fomalhaut b appears to be a directly imaged catastrophic collision between two large planetesimals in an extrasolar planetary system. Similar events should be very rare in quiescent planetary systems of the age of Fomalhaut, suggesting that we are possibly witnessing the effects of gravitational stirring due to the orbital evolution of hypothetical planet(s) around the star.


title: Nonsymmorphic nodal-line metals in the two-dimensional rare earth monochalcogenides MX (M = Sc, Y; X = S, Se, Te)

abstract: We predict a new family of two-dimensional (2D) rare earth monochalcogenide materials MX (M = Sc, Y; X = S, Se, Te). Based on first-principles calculations, we confirm their stability and systematically investigate their mechanical properties. We find that these materials are metallic and interestingly, they possess nodal lines in the low-energy band structure surrounding the whole Brillouin zone, protected by nonsymmorphic crystal symmetries in the absence of spin-orbit coupling (SOC). SOC opens small energy gaps at the nodal line, except for two high-symmetry points, at which fourfold degenerate 2D spin-orbit Dirac points are obtained. We show that these topological band features are robust under uniaxial and biaxial strains, but can be lifted by the shear strain. We also investigate the optical conductivities of these materials, and show that the transformation of the band structure under strain can be inferred from the optical absorption spectrum. Our work reveals a new family of 2D topological metal materials with interesting mechanical and electronic properties, which will facilitate the study of nonsymmorphic symmetry enabled nodal features in 2D.


title: Graph Neural Network based Channel Tracking for Massive MIMO Networks

abstract: In this paper, we resort to the graph neural network (GNN) and propose the new channel tracking method for the massive multiple-input multiple-output networks under the high mobility scenario. We first utilize a small number of pilots to achieve the initial channel estimation. Then, we represent the obtained channel data in the form of graphs and describe the channel spatial correlation by the weights along the edges of the graph. Furthermore, we introduce the computation steps of the main unit for the GNN and design a GNN-based channel tracking framework, which includes an encoder, a core network and a decoder. Simulation results corroborate that our proposed GNN-based scheme can achieve better performance than the works with feedforward neural network.


title: Resource Allocation in Co-existing Optical Wireless HetNets

abstract: In multi-user optical wireless communication (OWC) systems interference between users and cells can significantly affect the quality of OWC links. Thus, in this paper, a mixed-integer linear programming (MILP) model is developed to establish the optimum resource allocation in wavelength division multiple access (WDMA) optical wireless systems. Consideration is given to the optimum allocation of wavelengths and access points (APs) to each user to support multiple users in an environment where Micro, Pico and Atto Cells co-exist for downlink communication. The high directionality of light rays in small cells, such as Pico and Atto cells, can offer a very high signal to noise and interference ratio (SINR) at high data rates. Consideration is given in this work to visible light communication links which utilise four wavelengths per access point (red, green, yellow and blue) for Pico and Atto cells systems, while the Micro cell system uses an infrared (IR) transmitter. Two 10-user scenarios are considered in this work. All users in both scenarios achieve a high optical channel bandwidth beyond 7.8 GHz. In addition, all users in the two scenarios achieve high SINR beyond the threshold (15.6 dB) needed for 10-9 on off keying (OOK) bit error rate at a data rate of 7.1 Gbps.


title: An end-to-end CNN framework for polarimetric vision tasks based on polarization-parameter-constructing network

abstract: Pixel-wise operations between polarimetric images are important for processing polarization information. For the lack of such operations, the polarization information cannot be fully utilized in convolutional neural network(CNN). In this paper, a novel end-to-end CNN framework for polarization vision tasks is proposed, which enables the networks to take full advantage of polarimetric images. The framework consists of two sub-networks: a polarization-parameter-constructing network (PPCN) and a task network. PPCN implements pixel-wise operations between images in the CNN form with 1x1 convolution kernels. It takes raw polarimetric images as input, and outputs polarization-parametric images to task network so as to complete a vison task. By training together, the PPCN can learn to provide the most suitable polarization-parametric images for the task network and the dataset. Taking faster R-CNN as task network, the experimental results show that compared with existing methods, the proposed framework achieves much higher mean-average-precision (mAP) in object detection task


title: Complete internal categories

abstract: Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the definitions of limit and completeness and clarifying some subtleties. Remarkably, complete internal categories are also cocomplete and feature a suitable version of the adjoint functor theorem. Such results are understood as consequences of the intrinsic smallness of internal categories.


title: Device Authentication Codes based on RF Fingerprinting using Deep Learning

abstract: In this paper, we propose Device Authentication Code (DAC), a novel method for authenticating IoT devices with wireless interface by exploiting their radio frequency (RF) signatures. The proposed DAC is based on RF fingerprinting, information theoretic method, feature learning, and discriminatory power of deep learning. Specifically, an autoencoder is used to automatically extract features from the RF traces, and the reconstruction error is used as the DAC and this DAC is unique to the device and the particular message of interest. Then Kolmogorov-Smirnov (K-S) test is used to match the distribution of the reconstruction error generated by the autoencoder and the received message, and the result will determine whether the device of interest belongs to an authorized user. We validate this concept on two experimentally collected RF traces from six ZigBee and five universal software defined radio peripheral (USRP) devices, respectively. The traces span a range of Signalto- Noise Ratio by varying locations and mobility of the devices and channel interference and noise to ensure robustness of the model. Experimental results demonstrate that DAC is able to prevent device impersonation by extracting salient features that are unique to any wireless device of interest and can be used to identify RF devices. Furthermore, the proposed method does not need the RF traces of the intruder during model training yet be able to identify devices not seen during training, which makes it practical.


title: A new type degenerate Daehee numbers and polynomials

abstract: In this paper, we study a degenerate version of the Daehee polynomials and numbers, namely the degenerate Daehee polynomials and numbers, which were recently introduced by Jang et. al. We derive their explicit expressions and some identities involving them. Further, we introduce the multiple degenerate Daehee numbers and higher-order degenerate Daehee polynomials and numbers which can be represented in terms of integrals on the unitcube. Again, we deduce their explicit expressions and some identities related to them.


title: Are we pretraining it right? Digging deeper into visio-linguistic pretraining

abstract: Numerous recent works have proposed pretraining generic visio-linguistic representations and then finetuning them for downstream vision and language tasks. While architecture and objective function design choices have received attention, the choice of pretraining datasets has received little attention. In this work, we question some of the default choices made in literature. For instance, we systematically study how varying similarity between the pretraining dataset domain (textual and visual) and the downstream domain affects performance. Surprisingly, we show that automatically generated data in a domain closer to the downstream task (e.g., VQA v2) is a better choice for pretraining than "natural" data but of a slightly different domain (e.g., Conceptual Captions). On the other hand, some seemingly reasonable choices of pretraining datasets were found to be entirely ineffective for some downstream tasks. This suggests that despite the numerous recent efforts, vision & language pretraining does not quite work "out of the box" yet. Overall, as a by-product of our study, we find that simple design choices in pretraining can help us achieve close to state-of-art results on downstream tasks without any architectural changes.


title: Learning to Evaluate Perception Models Using Planner-Centric Metrics

abstract: Variants of accuracy and precision are the gold-standard by which the computer vision community measures progress of perception algorithms. One reason for the ubiquity of these metrics is that they are largely task-agnostic; we in general seek to detect zero false negatives or positives. The downside of these metrics is that, at worst, they penalize all incorrect detections equally without conditioning on the task or scene, and at best, heuristics need to be chosen to ensure that different mistakes count differently. In this paper, we propose a principled metric for 3D object detection specifically for the task of self-driving. The core idea behind our metric is to isolate the task of object detection and measure the impact the produced detections would induce on the downstream task of driving. Without hand-designing it to, we find that our metric penalizes many of the mistakes that other metrics penalize by design. In addition, our metric downweighs detections based on additional factors such as distance from a detection to the ego car and the speed of the detection in intuitive ways that other detection metrics do not. For human evaluation, we generate scenes in which standard metrics and our metric disagree and find that humans side with our metric 79% of the time. Our project page including an evaluation server can be found at https://nv-tlabs.github.io/detection-relevance.


title: Interactive Patch Filtering as Debugging Aid

abstract: It is widely recognized that program repair tools need to have a high precision to be useful, i.e., the generated patches need to have a high probability to be correct. However, it is fundamentally difficult to ensure the correctness of the patches, and many tools compromise other aspects of repair performance such as recall for an acceptable precision. In this paper we ask a question: can a repair tool with a low precision be still useful? To explore this question, we propose an interactive filtering approach to patch review, which filters out incorrect patches by asking questions to the developers. Our intuition is that incorrect patches can still help understand the bug. With proper tool support, the benefit outweighs the cost even if there are many incorrect patches. We implemented the approach as an Eclipse plugin tool, InPaFer, and evaluated it with a simulated experiment and a user study with 30 developers. The results show that our approach improve the repair performance of developers, with 62.5% more successfully repaired bugs and 25.3% less debugging time in average. In particular, even if the generated patches are all incorrect, the performance of the developers would not be significantly reduced, and could be improved when some patches provide useful information for repairing, such as the faulty location and a partial fix.


title: Tensor completion using enhanced multiple modes low-rank prior and total variation

abstract: In this paper, we propose a novel model to recover a low-rank tensor by simultaneously performing double nuclear norm regularized low-rank matrix factorizations to the all-mode matricizations of the underlying tensor. An block successive upper-bound minimization algorithm is applied to solve the model. Subsequence convergence of our algorithm can be established, and our algorithm converges to the coordinate-wise minimizers in some mild conditions. Several experiments on three types of public data sets show that our algorithm can recover a variety of low-rank tensors from significantly fewer samples than the other testing tensor completion methods.


title: Harmonic moments and large deviations for a critical Galton-Watson process with immigration

abstract: In this paper, a critical Galton-Watson branching process with immigration $Z_{n}$ is studied. We first obtain the convergence rate of the harmonic moment of $Z_{n}$. Then the large deviation of $S_{Z_n}:=\sum_{i=1}^{Z_n} X_i$ is obtained, where $\{X_i\}$ is a sequence of independent and identically distributed zero-mean random variables with tail index $\alpha>2$. We shall see that the converging rate is determined by the immigration mean, the variance of reproducing and the tail index of $X_1^+$, comparing to previous result for supercritical case, where the rate depends on the Schr\"{o}der constant and the tail index.


title: Emergence of the Born rule in quantum optics

abstract: The Born rule provides a fundamental connection between theory and observation in quantum mechanics, yet its origin remains a mystery. We consider this problem within the context of quantum optics using only classical physics and the assumption of a quantum electrodynamic vacuum that is real rather than virtual. The connection to observation is made via classical intensity threshold detectors that are used as a simple, deterministic model of photon detection. By following standard experimental conventions of data analysis on discrete detection events, we show that this model is capable of reproducing several observed phenomena thought to be uniquely quantum in nature, thus providing greater elucidation of the quantum-classical boundary.


title: Compressible flow in a Noble-Abel Stiffened-Gas fluid

abstract: While compressible flow theory has relied on the perfect gas model as its workhorse for the past century, compressible dynamics in dense gases, solids and liquids have relied on many complex equations of state, yielding limited insight on the hydrodynamic aspect of the problems solved. Recently, Le M\'etayer and Saurel studied a simple yet promising equation of state owing to its ability to model both the thermal and compressibility aspects of the medium. It is a hybrid of the Noble-Abel equation of state and the stiffened gas model, labeled the Noble-Able Stiffened Gas (NASG) equation of state. In the present work, we derive the closed form analytical framework for modelling compressible flow in a medium approximated by the NASG equations of state. We derive the expressions for the isentrope, sound speed, the isentropic exponent, Riemann variables in the characteristic description, and jump conditions for shocks, deflagrations and detonations. We also illustrate the usefulness by addressing the Riemann problem. The closed form solutions generalize in a transparent way the well-established models for a perfect gas, highlighting the role of the medium's compressibility.


title: A Trustworthy Recruitment Process for Spatial Mobile Crowdsourcing in Large-scale Social IoT

abstract: Spatial Mobile Crowdsourcing (SMCS) can be leveraged by exploiting the capabilities of the Social Internet-of-Things (SIoT) to execute spatial tasks. Typically, in SMCS, a task requester aims to recruit a subset of IoT devices and commission them to travel to the task location. However, because of the exponential increase of IoT networks and their diversified devices (e.g., multiple brands, different communication channels, etc.), recruiting the appropriate devices/workers is becoming a challenging task. To this end, in this paper, we develop a recruitment process for SMCS platforms using automated SIoT service discovery to select trustworthy workers satisfying the requester requirements. The method we purpose includes mainly two stages: 1) a worker filtering stage, aiming at reducing the workers' search space to a subset of potential trustworthy candidates using the Louvain community detection algorithm (CD) applied to SIoT relation graphs. Next, 2) a selection process stage that uses an Integer Linear Program (ILP) to determine the final set of selected devices/workers. The ILP maximizes a worker efficiency metric incorporating the skills/specs level, recruitment cost, and trustworthiness level of the recruited IoT devices. Selected experiments analyze the performance of the proposed CD-ILP algorithm using a real-world dataset and show its superiority in providing an effective recruitment strategy compared to an existing stochastic algorithm.


title: Zeus: A System Description of the Two-Time Winner of the Collegiate SAE AutoDrive Competition

abstract: The SAE AutoDrive Challenge is a three-year collegiate competition to develop a self-driving car by 2020. The second year of the competition was held in June 2019 at MCity, a mock town built for self-driving car testing at the University of Michigan. Teams were required to autonomously navigate a series of intersections while handling pedestrians, traffic lights, and traffic signs. Zeus is aUToronto's winning entry in the AutoDrive Challenge. This article describes the system design and development of Zeus as well as many of the lessons learned along the way. This includes details on the team's organizational structure, sensor suite, software components, and performance at the Year 2 competition. With a team of mostly undergraduates and minimal resources, aUToronto has made progress towards a functioning self-driving vehicle, in just two years. This article may prove valuable to researchers looking to develop their own self-driving platform.


title: Machine Learning the Metastable Phase Diagram of Materials

abstract: Phase diagrams are an invaluable tool for material synthesis and provide information on the phases of the material at any given thermodynamic condition. Conventional phase diagram generation involves experimentation to provide an initial estimate of thermodynamically accessible phases, followed by use of phenomenological models to interpolate between the available experimental data points and extrapolate to inaccessible regions. Such an approach, combined with first-principles calculations and data-mining techniques, has led to exhaustive thermodynamic databases albeit at distinct thermodynamic equilibria. In contrast, materials during their synthesis, operation, or processing, may not reach their thermodynamic equilibrium state but, instead, remain trapped in a local free energy minimum, that may exhibit desirable properties. Mapping these metastable phases and their thermodynamic behavior is highly desirable but currently lacking. Here, we introduce an automated workflow that integrates first principles physics and atomistic simulations with machine learning (ML), and high-performance computing to allow rapid exploration of the metastable phases of a given elemental composition. Using a representative material, carbon, with a vast number of metastable phases without parent in equilibrium, we demonstrate automatic mapping of hundreds of metastable states ranging from near equilibrium to those far-from-equilibrium. Moreover, we incorporate the free energy calculations into a neural-network-based learning of the equations of state that allows for construction of metastable phase diagrams. High temperature high pressure experiments using a diamond anvil cell on graphite sample coupled with high-resolution transmission electron microscopy are used to validate our metastable phase predictions. Our introduced approach is general and broadly applicable to single and multi-component systems.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech


title: Large Deviations of the Entropy Production Rate for a Class of Gaussian Processes

abstract: We prove a large deviation principle (LDP) and a fluctuation theorem (FT) for the entropy production rate (EPR) of the following $d$ dimensional stochastic differential equation \begin{equation*} d X_{t}=AX_{t} d t+\sqrt{Q} d B_{t} \end{equation*} where $A$ is a real normal stable matrix, $Q$ is positive definite, and the matrices $A$ and $Q$ commute. The rate function for the EPR takes the following explicit form: \begin{equation*} I(x)=\left\{ \begin{array}{ll} x\frac{\sqrt{1+\ell_0(x)}-1}{2}+\frac 12\sum\limits_{k=1}^{d} \left(\sqrt{\alpha_k^2- \beta_k^2\ell_0(x)}+\alpha_k\right) , & x\ge 0 , \\ -x\frac{\sqrt{1+\ell_0(x)}+1}{2} +\frac 12\sum\limits_{k=1}^{d} \left(\sqrt{\alpha_k^2- \beta_k^2\ell_0(x)}+\alpha_k\right) , &x<0, \end{array} \right. \end{equation*} where $\alpha_{k}\pm {\rm i} \beta_{k}$ are the eigenvalues of $A$, and $\ell_0(x)$ is the unique solution of the equation: \begin{align*} |x|={\sqrt{1+\ell}} \times \sum_{k=1}^{d} \frac{\beta_k^2}{\sqrt{\alpha_k^2 -\ell\beta_k^2} },\qquad -1 \le \ell< \min_{k=1,...,d}\{\frac{\alpha_k^2}{\beta_k^2}\}. \end{align*} Simple closed form formulas for rate functions are rare and our work identifies an important class of large deviation problems where such formulas are available. The logarithmic moment generating function (the fluctuation function) $\Lambda$ associated with the LDP has a closed form (see it in the paper). The functions $\Lambda(\lambda)$ and $ I(x)$ satisfy the Cohen-Gallavotti symmetry properties. In particular, the functions $I$ and $\Lambda$ do not depend on the diffusion matrix $Q$, and are determined completely by the real and imaginary parts of the eigenvalues of $A$. Formally, the deterministic system with $Q=0$ has zero EPR and thus the model exhibits a phase transition in that the EPR changes discontinuously at $Q = 0$.


title: Jantzen coefficients and simplicity of generalized Verma modules

abstract: The main purpose of the paper is to establish new tools in the study of $\mathcal{O}^\mathfrak{p}$. We introduce the Jantzen coefficients of generalized Verma modules. It comes from the Jantzen's simplicity criteria for generalized Verma modules and has a deep relation with the structure of $\mathcal{O}^\mathfrak{p}$. We develop a reduction process to compute those coefficients. For which we need to consider generalized Verma modules induced from maximal parabolic subalgebras having maximal nontrivial singularity, so called basic generalized Verma modules. The classification of such modules is obtained in this paper. As the first application of our results, we give a refinement of Jantzen's simplicity criteria.


title: Janzten coefficients and Blocks of category $\mathcal{O}^\mathfrak{p}$

abstract: The BGG category $\mathcal{O}$ and its generalization $\mathcal{O}^\mathfrak{p}$ play essential roles in representation theory and have led to far-reaching work. Some elementary problems remain open for several decades, such as the block decomposition of category $\mathcal{O}^\mathfrak{p}$. In this paper, we solve the problem of blocks by applying the theory of Jantzen coefficients.


title: Blocks of the category $\mathcal{O}^\mathfrak{p}$ in type $E$

abstract: In this paper, we determine the blocks of $\mathcal{O}^\mathfrak{p}$ associated with semisimple Lie algebras of type $E$.


title: Jantzen coefficients and radical filtrations for generalized Verma modules

abstract: In this paper we give a sum formula for the radical filtration of generalized Verma modules in any (possibly singular) blocks of parabolic BGG category which can be viewed as a generalization of Jantzen sum formula for Verma modules in the usual BGG category $\mathcal{O}$. Combined with Jantzen coefficients, we determine the radical filtrations for all basic generalized Verma modules. The proof makes use of the graded version of parabolic BGG category. Explicit formulae for the graded decomposition numbers and inverse graded decomposition numbers of generalized Verma modules in any (possibly singular) integral blocks of the parabolic BGG category are also given.


title: Information flow networks of Chinese stock market sectors

abstract: Transfer entropy measures the strength and direction of information flow between different time series. We study the information flow networks of the Chinese stock market and identify important sectors and information flow paths. This paper uses the daily closing price data of the 28 level-1 sectors from Shenyin \& Wanguo Securities ranging from 2000 to 2017 to study the information transmission between different sectors. We construct information flow networks with the sectors as the nodes and the transfer entropy between them as the corresponding edges. Then we adopt the maximum spanning arborescence (MSA) to extracting important information flows and the hierarchical structure of the networks. We find that, during the whole sample period, the \textit{composite} sector is an information source of the whole stock market, while the \textit{non-bank financial} sector is the information sink. We also find that the \textit{non-bank finance}, \textit{bank}, \textit{computer}, \textit{media}, \textit{real estate}, \textit{medical biology} and \textit{non-ferrous metals} sectors appear as high-degree root nodes in the outgoing and incoming information flow MSAs. Especially, the \textit{non-bank finance} and \textit{bank} sectors have significantly high degrees after 2008 in the outgoing information flow networks. We uncover how stock market turmoils affect the structure of the MSAs. Finally, we reveal the specificity of information source and sink sectors and make a conclusion that the root node sector as the information sink of the incoming information flow networks. Overall, our analyses show that the structure of information flow networks changes with time and the market exhibits a sector rotation phenomenon. Our work has important implications for market participants and policy makers in managing market risks and controlling the contagion of risks.


title: Maximal almost disjoint families and pseudocompactness of hyperspaces

abstract: We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(\omega)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maximal almost disjoint family $\mathcal A$ of size less than $\mathfrak c$ whose hyperspace is not pseudocompact.


title: Lightweight Mask R-CNN for Long-Range Wireless Power Transfer Systems

abstract: Resonant Beam Charging (RBC) is a wireless charging technology which supports multi-watt power transfer over meter-level distance. The features of safety, mobility and simultaneous charging capability enable RBC to charge multiple mobile devices safely at the same time. To detect the devices that need to be charged, a Mask R-CNN based dection model is proposed in previous work. However, considering the constraints of the RBC system, it's not easy to apply Mask R-CNN in lightweight hardware-embedded devices because of its heavy model and huge computation. Thus, we propose a machine learning detection approach which provides a lighter and faster model based on traditional Mask R-CNN. The proposed approach makes the object detection much easier to be transplanted on mobile devices and reduce the burden of hardware computation. By adjusting the structure of the backbone and the head part of Mask R-CNN, we reduce the average detection time from $1.02\mbox{s}$ per image to $0.6132\mbox{s}$, and reduce the model size from $245\mbox{MB}$ to $47.1\mbox{MB}$. The improved model is much more suitable for the application in the RBC system.


title: RelSen: An Optimization-based Framework for Simultaneously Sensor Reliability Monitoring and Data Cleaning

abstract: Recent advances in the Internet of Things (IoT) technology have led to a surge on the popularity of sensing applications. As a result, people increasingly rely on information obtained from sensors to make decisions in their daily life. Unfortunately, in most sensing applications, sensors are known to be error-prone and their measurements can become misleading at any unexpected time. Therefore, in order to enhance the reliability of sensing applications, apart from the physical phenomena/processes of interest, we believe it is also highly important to monitor the reliability of sensors and clean the sensor data before analysis on them being conducted. Existing studies often regard sensor reliability monitoring and sensor data cleaning as separate problems. In this work, we propose RelSen, a novel optimization-based framework to address the two problems simultaneously via utilizing the mutual dependence between them. Furthermore, RelSen is not application-specific as its implementation assumes a minimal prior knowledge of the process dynamics under monitoring. This significantly improves its generality and applicability in practice. In our experiments, we apply RelSen on an outdoor air pollution monitoring system and a condition monitoring system for a cement rotary kiln. Experimental results show that our framework can timely identify unreliable sensors and remove sensor measurement errors caused by three types of most commonly observed sensor faults.


title: Model-Predictive Control via Cross-Entropy and Gradient-Based Optimization

abstract: Recent works in high-dimensional model-predictive control and model-based reinforcement learning with learned dynamics and reward models have resorted to population-based optimization methods, such as the Cross-Entropy Method (CEM), for planning a sequence of actions. To decide on an action to take, CEM conducts a search for the action sequence with the highest return according to the dynamics model and reward. Action sequences are typically randomly sampled from an unconditional Gaussian distribution and evaluated on the environment. This distribution is iteratively updated towards action sequences with higher returns. However, this planning method can be very inefficient, especially for high-dimensional action spaces. An alternative line of approaches optimize action sequences directly via gradient descent, but are prone to local optima. We propose a method to solve this planning problem by interleaving CEM and gradient descent steps in optimizing the action sequence. Our experiments show faster convergence of the proposed hybrid approach, even for high-dimensional action spaces, avoidance of local minima, and better or equal performance to CEM. Code accompanying the paper is available here https://github.com/homangab/gradcem.


title: Performance bound of the intensity-based model for noisy phase retrieval

abstract: The aim of noisy phase retrieval is to estimate a signal $\mathbf{x}_0\in \mathbb{C}^d$ from $m$ noisy intensity measurements $b_j=\left\lvert \langle \mathbf{a}_j,\mathbf{x}_0 \rangle \right\rvert^2+\eta_j, \; j=1,\ldots,m$, where $\mathbf{a}_j \in \mathbb{C}^d$ are known measurement vectors and $\eta=(\eta_1,\ldots,\eta_m)^\top \in \mathbb{R}^m$ is a noise vector. A commonly used model for estimating $\mathbf{x}_0$ is the intensity-based model $\widehat{\mathbf{x}}:=\mbox{argmin}_{\mathbf{x} \in \mathbb{C}^d} \sum_{j=1}^m \big(\left\lvert \langle \mathbf{a}_j,\mathbf{x} \rangle \right\rvert^2-b_j \big)^2$. Although one has already developed many efficient algorithms to solve the intensity-based model, there are very few results about its estimation performance. In this paper, we focus on the estimation performance of the intensity-based model and prove that the error bound satisfies $\min_{\theta\in \mathbb{R}}\|\widehat{\mathbf{x}}-e^{i\theta}\mathbf{x}_0\|_2 \lesssim \min\Big\{\frac{\sqrt{\|\eta\|_2}}{{m}^{1/4}}, \frac{\|\eta\|_2}{\| \mathbf{x}_0\|_2 \cdot \sqrt{m}}\Big\}$ under the assumption of $m \gtrsim d$ and $\mathbf{a}_j, j=1,\ldots,m,$ being Gaussian random vectors. We also show that the error bound is sharp. For the case where $\mathbf{x}_0$ is a $s$-sparse signal, we present a similar result under the assumption of $m \gtrsim s \log (ed/s)$. To the best of our knowledge, our results are the first theoretical guarantees for the intensity-based model and its sparse version. Our proofs employ Mendelson's small ball method which can deliver an effective lower bound on a nonnegative empirical process.


title: Continuous-time Monte Carlo Renormalization Group

abstract: We implement Monte Carlo Renormalization Group (MCRG) in the continuous-time Monte Carlo simulation of a quantum system. We demonstrate numerically the emergent isotropy between space and time at large distances for the systems that exhibit Lorentz invariance at quantum criticality. This allows us to estimate accurately the sound velocity for these quantum systems. $Q$-state Potts models in one and two space dimensions are used to illustrate the method.


title: Propagation dynamics of a reaction-diffusion equation in a time-periodic shifting environment

abstract: This paper concerns the nonautonomous reaction-diffusion equation \[ u_t=u_{xx}+ug(t,x-ct,u), \quad t>0,x\in\mathbb{R}, \] where $c\in\mathbb{R}$ is the shifting speed, and the time periodic nonlinearity $ug(t,\xi,u)$ is asymptotically of KPP type as $\xi \to-\infty$ and is negative as $\xi\to+\infty$. Under a subhomogeneity condition, we show that there is $c^*>0$ such that a unique forced time periodic wave exists if and only $|c|< c^*$ and it attracts other solutions in a certain sense according to the tail behavior of initial values. In the case where $|c|\ge c^*$, the propagation dynamics resembles that of the limiting system as $\xi\to\pm \infty$, depending on the shifting direction.


title: Thermoelectric properties of (an-)isotropic QGP in magnetic fields

abstract: The Seebeck effect and the Nernst effect, which reflect the appearance of electric fields along $x$-axis and along $y$-axis ($E_{x}$ and $E_{y}$), respectively, induced by the thermal gradient along $x$-axis, are studied in the QGP at an external magnetic field along $z$-axis. We calculate the associated Seebeck coefficient ($S_{xx}$) and Nernst signal ($N$) using the relativistic Boltzmann equation under the relaxation time approximation. In an isotropic QGP, the influences of magnetic field ($B$) and quark chemical potential ($\mu_{q}$) on these thermoelectric transport coefficients are investigated. In the presence (absence) of weak magnetic field, we find $S_{xx}$ for a fixed $\mu_{q}$ is negative (positive) in sign, indicating that the dominant carriers for converting heat gradient to electric field are negatively (positively) charged quarks. The absolute value of $S_{xx}$ decreases with increasing temperature. Unlike $S_{xx}$, the sign of $N$ is independent of charge carrier type, and its thermal behavior displays a peak structure. In the presence of strong magnetic field, due to the Landau quantization of transverse motion of (anti-)quarks perpendicular to magnetic field, only the longitudinal Seebeck coefficient ($S_{zz}$) exists. Our results show that the value of $S_{zz}$ at a fixed $\mu_{q}$ in the lowest Landau level (LLL) approximation always remains positive. Within the effect of high Landau levels, $S_{zz}$ exhibits a thermal structure similar to that in the LLL approximation. As the Landau level increases further, $S_{zz}$ decreases and even its sign changes from positive to negative. The computations of these thermoelectric transport coefficients are also extended to a medium with momentum-anisotropy induced by initial spatial expansion as well as strong magnetic field.


title: Large mechanical squeezing beyond 3dB of hybrid atom-optomechanical systems in highly unresolved sideband regime

abstract: We propose a scheme for the generation of strong mechanical squeezing beyond 3dB in hybrid atom-optomechanical systems in the highly unresolved sideband (HURSB) regime where the decay rate of cavity is much larger than the frequency of the mechanical oscillator. The system is formed by two two-level atomic ensembles and an optomechanical system with cavity driven by two lasers with different amplitudes. In the HURSB regime, the squeezing of the movable mirror can not be larger than 3dB if no atomic ensemble or only one atomic ensemble is put into the optomechanical system. However, if two atomic ensembles are put into the optomechanical system, the strong mechanical squeezing beyond 3dB is achieved even in the HURSB regime. Our scheme paves the way toward the implementation of strong mechanical squeezing beyond 3dB in hybrid atom-optomechanical systems in experiments.


title: TriGAN: Image-to-Image Translation for Multi-Source Domain Adaptation

abstract: Most domain adaptation methods consider the problem of transferring knowledge to the target domain from a single source dataset. However, in practical applications, we typically have access to multiple sources. In this paper we propose the first approach for Multi-Source Domain Adaptation (MSDA) based on Generative Adversarial Networks. Our method is inspired by the observation that the appearance of a given image depends on three factors: the domain, the style (characterized in terms of low-level features variations) and the content. For this reason we propose to project the image features onto a space where only the dependence from the content is kept, and then re-project this invariant representation onto the pixel space using the target domain and style. In this way, new labeled images can be generated which are used to train a final target classifier. We test our approach using common MSDA benchmarks, showing that it outperforms state-of-the-art methods.


title: Energy Storage Optimization for Grid Reliability

abstract: Large scale renewable energy integration is being planned for multiple power grids around the world. To achieve secure and stable grid operations, additional resources/reserves are needed to mitigate the inherent intermittency of renewable energy sources (RES). In this paper, we present formulations to understand the effect of fast storage reserves in improving grid reliability under different cost functions. Our formulations and solution schemes not only aim to minimize imbalance but also maintain state-of-charge (SoC) of storage. In particular, we show that accounting for system response due to inertia and local governor response enables a more realistic quantification of storage requirements for damping net load fluctuations. The storage requirement is significantly lower than values determined when such traditional response are not accounted for. We demonstrate the performance of our designed policies through studies using real data from the Elia TSO in Belgium and BPA agency in the USA. The numerical results enable us to benchmark the marginal effect on reliability due to increasing storage size under different system responses and associated cost functions.