title: A Survey on Instance Segmentation: State of the art

abstract: Object detection or localization is an incremental step in progression from coarse to fine digital image inference. It not only provides the classes of the image objects, but also provides the location of the image objects which have been classified. The location is given in the form of bounding boxes or centroids. Semantic segmentation gives fine inference by predicting labels for every pixel in the input image. Each pixel is labelled according to the object class within which it is enclosed. Furthering this evolution, instance segmentation gives different labels for separate instances of objects belonging to the same class. Hence, instance segmentation may be defined as the technique of simultaneously solving the problem of object detection as well as that of semantic segmentation. In this survey paper on instance segmentation -- its background, issues, techniques, evolution, popular datasets, related work up to the state of the art and future scope have been discussed. The paper provides valuable information for those who want to do research in the field of instance segmentation.


title: A geometric and combinatorial exploration of Hochschild lattices

abstract: Hochschild lattices are specific intervals in the dexter meet-semilattices recently introduced by Chapoton. A natural geometric realization of these lattices leads to some cell complexes introduced by Saneblidze, called the Hochschild polytopes. We obtain several geometrical properties of the Hochschild lattices, namely we give cubic realizations, establish that these lattices are EL-shellable, and show that they are constructible by interval doubling. We also prove several combinatorial properties as the enumeration of their $k$-chains and compute their degree polynomials.


title: OSCaR: Orthogonal Subspace Correction and Rectification of Biases in Word Embeddings

abstract: Language representations are known to carry stereotypical biases and, as a result, lead to biased predictions in downstream tasks. While existing methods are effective at mitigating biases by linear projection, such methods are too aggressive: they not only remove bias, but also erase valuable information from word embeddings. We develop new measures for evaluating specific information retention that demonstrate the tradeoff between bias removal and information retention. To address this challenge, we propose OSCaR (Orthogonal Subspace Correction and Rectification), a bias-mitigating method that focuses on disentangling biased associations between concepts instead of removing concepts wholesale. Our experiments on gender biases show that OSCaR is a well-balanced approach that ensures that semantic information is retained in the embeddings and bias is also effectively mitigated.


title: A DESGW Search for the Electromagnetic Counterpart to the LIGO/Virgo Gravitational Wave Binary Neutron Star Merger Candidate S190510g

abstract: We present the results from a search for the electromagnetic counterpart of the LIGO/Virgo event S190510g using the Dark Energy Camera (DECam). S190510g is a binary neutron star (BNS) merger candidate of moderate significance detected at a distance of 227$\pm$92 Mpc and localized within an area of 31 (1166) square degrees at 50\% (90\%) confidence. While this event was later classified as likely non-astrophysical in nature within 30 hours of the event, our short latency search and discovery pipeline identified 11 counterpart candidates, all of which appear consistent with supernovae following offline analysis and spectroscopy by other instruments. Later reprocessing of the images enabled the recovery of 6 more candidates. Additionally, we implement our candidate selection procedure on simulated kilonovae and supernovae under DECam observing conditions (e.g., seeing, exposure time) with the intent of quantifying our search efficiency and making informed decisions on observing strategy for future similar events. This is the first BNS counterpart search to employ a comprehensive simulation-based efficiency study. We find that using the current follow-up strategy, there would need to be 19 events similar to S190510g for us to have a 99\% chance of detecting an optical counterpart, assuming a GW170817-like kilonova. We further conclude that optimization of observing plans, which should include preference for deeper images over multiple color information, could result in up to a factor of 1.5 reduction in the total number of followups needed for discovery.


title: Extracurricular Learning: Knowledge Transfer Beyond Empirical Distribution

abstract: Knowledge distillation has been used to transfer knowledge learned by a sophisticated model (teacher) to a simpler model (student). This technique is widely used to compress model complexity. However, in most applications the compressed student model suffers from an accuracy gap with its teacher. We propose extracurricular learning, a novel knowledge distillation method, that bridges this gap by (1) modeling student and teacher output distributions; (2) sampling examples from an approximation to the underlying data distribution; and (3) matching student and teacher output distributions over this extended set including uncertain samples. We conduct rigorous evaluations on regression and classification tasks and show that compared to the standard knowledge distillation, extracurricular learning reduces the gap by 46% to 68%. This leads to major accuracy improvements compared to the empirical risk minimization-based training for various recent neural network architectures: 16% regression error reduction on the MPIIGaze dataset, +3.4% to +9.1% improvement in top-1 classification accuracy on the CIFAR100 dataset, and +2.9% top-1 improvement on the ImageNet dataset.


title: Mirror neutrons as dark matter in the Mirror Twin Two Higgs Doublet Model

abstract: In addition to being a solution to the little hierarchy problem, the Mirror Twin Higgs provides a natural setting for Asymmetric Dark Matter. In its incarnation with only one Higgs doublet and its mirror copy, dark matter would however almost certainly consist mostly of mirror atoms, which is severely ruled out by constraints on dark matter self-interactions. By adding a second Higgs doublet and its mirror, the vevs of the different Higgses can be arranged such that dark matter consists mostly of mirror neutrons, which is cosmologically viable. In this paper, it is shown that current constraints from colliders, flavour and cosmology can accommodate such a vev structure with little increase in the necessary tuning.


title: Study of freeze-out dynamics of strange hadrons

abstract: We study the chemical freeze-out dynamics of strange particles ($K,\, \Lambda,\, \Sigma$) from a homogeneous and isotropically expanding hadronic system of $\pi, K, \rho, N, \Lambda$ and $\Sigma$ with zero net baryon density. We use the momentum integrated Boltzmann equation and study their evolution over the bulk hadronic matter, a condition being similar to the one created at top RHIC and LHC energies. The cross-sections, which are input to the equations, are taken either from phenomenological models or parameterized by comparing against experimental data. From this microscopic calculation we find that these strange particles freeze-out near transition temperature $\approx T_c$ due to large relaxation time. The continuous cease of the inelastic processes due to gradual fall in the temperature and decrease in the number density, thus lead to early freeze out of strange hadrons $K, \Lambda$ and $\Sigma$ which happens sequentially near $T_c$. However, freeze-out of these strange species near Tc appears as a sudden and simultaneous process, which is mostly predicted by thermal model while explaining the yield of identified particles at RHIC and LHC energies.


title: Twitter and Census Data Analytics to Explore Socioeconomic Factors for Post-COVID-19 Reopening Sentiment

abstract: Investigating and classifying sentiments of social media users towards an item, situation, and system are very popular among the researchers. However, they rarely discuss the underlying socioeconomic factor associations for such sentiments. This study attempts to explore the factors associated with positive and negative sentiments of the people about reopening the economy, in the United States (US) amidst the COVID-19 global crisis. It takes into consideration the situational uncertainties (i.e., changes in work and travel pattern due to lockdown policies), economic downturn and associated trauma, and emotional factors such as depression. To understand the sentiment of the people about the reopening economy, Twitter data was collected, representing the 51 states including Washington DC of the US. State-wide socioeconomic characteristics of the people, built environment data, and the number of COVID-19 related cases were collected and integrated with Twitter data to perform the analysis. A binary logit model was used to identify the factors that influence people toward a positive or negative sentiment. The results from the logit model demonstrate that family households, people with low education levels, people in the labor force, low-income people, and people with higher house rent are more interested in reopening the economy. In contrast, households with a high number of members and high income are less interested to reopen the economy. The model can correctly classify 56.18% of the sentiments. The Pearson chi2 test indicates that overall this model has high goodness-of-fit. This study provides a clear indication to the policymakers where to allocate resources and what policy options they can undertake to improve the socioeconomic situations of the people and mitigate the impacts of pandemics in the current situation and as well as in the future.


abstract: We give a necessary and sufficient criterion for the existence of Borcherds products of half-integral weight associated to even lattices that split two hyperbolic planes. In particular we prove that half-integral weight Borcherds products exist for lattices of arbitrary rank.


title: SParSH-AMG: A library for hybrid CPU-GPU algebraic multigrid and preconditioned iterative methods

abstract: Hybrid CPU-GPU algorithms for Algebraic Multigrid methods (AMG) to efficiently utilize both CPU and GPU resources are presented. In particular, hybrid AMG framework focusing on minimal utilization of GPU memory with performance on par with GPU-only implementations is developed. The hybrid AMG framework can be tuned to operate at a significantly lower GPU-memory, consequently, enables to solve large algebraic systems. Combining the hybrid AMG framework as a preconditioner with Krylov Subspace solvers like Conjugate Gradient, BiCG methods provides a solver stack to solve a large class of problems. The performance of the proposed hybrid AMG framework is analysed for an array of matrices with different properties and size. Further, the performance of CPU-GPU algorithms are compared with the GPU-only implementations to illustrate the significantly lower memory requirements.


title: Dichotomizing $k$-vertex-critical $H$-free graphs for $H$ of order four

abstract: For $k \geq 3$, we prove (i) there is a finite number of $k$-vertex-critical $(P_2+\ell P_1)$-free graphs and (ii) $k$-vertex-critical $(P_3+P_1)$-free graphs have at most $2k-1$ vertices. Together with previous research, these results imply the following characterization where $H$ is a graph of order four: There is a finite number of $k$-vertex-critical $H$-free graphs for fixed $k \geq 5$ if and only if $H$ is one of $\overline{K_4}, P_4, P_2 + 2P_1$, or $P_3 + P_1$. Our results imply the existence of new polynomial-time certifying algorithms for deciding the $k$-colorability of $(P_2+\ell P_1)$-free graphs for fixed $k$.


title: Solution to the main problem of the artificial satellite by reverse normalization

abstract: The non-linearities of the dynamics of Earth artificial satellites are encapsulated by two formal integrals that are customarily computed by perturbation methods. Standard procedures begin with a Hamiltonian simplification that removes non-essential short-period terms from the Geopotential, and follow with the removal of both short- and long-period terms by means of two different canonical transformations that can be carried out in either order. We depart from the tradition and proceed by standard normalization to show that the Hamiltonian simplification part is dispensable. Decoupling first the motion of the orbital plane from the in-plane motion reveals as a feasible strategy to reach higher orders of the perturbation solution, which, besides, permits an efficient evaluation of the long series that comprise the analytical solution.


title: Autosploit: A Fully Automated Framework for Evaluating the Exploitability of Security Vulnerabilities

abstract: The existence of a security vulnerability in a system does not necessarily mean that it can be exploited. In this research, we introduce Autosploit -- an automated framework for evaluating the exploitability of vulnerabilities. Given a vulnerable environment and relevant exploits, Autosploit will automatically test the exploits on different configurations of the environment in order to identify the specific properties necessary for successful exploitation of the existing vulnerabilities. Since testing all possible system configurations is infeasible, we introduce an efficient approach for testing and searching through all possible configurations of the environment. The efficient testing process implemented by Autosploit is based on two algorithms: generalized binary splitting and Barinel, which are used for noiseless and noisy environments respectively. We implemented the proposed framework and evaluated it using real vulnerabilities. The results show that Autosploit is able to automatically identify the system properties that affect the ability to exploit a vulnerability in both noiseless and noisy environments. These important results can be utilized for more accurate and effective risk assessment.


title: TDO-CIM: Transparent Detection and Offloading for Computation In-memory

abstract: Computation in-memory is a promising non-von Neumann approach aiming at completely diminishing the data transfer to and from the memory subsystem. Although a lot of architectures have been proposed, compiler support for such architectures is still lagging behind. In this paper, we close this gap by proposing an end-to-end compilation flow for in-memory computing based on the LLVM compiler infrastructure. Starting from sequential code, our approach automatically detects, optimizes, and offloads kernels suitable for in-memory acceleration. We demonstrate our compiler tool-flow on the PolyBench/C benchmark suite and evaluate the benefits of our proposed in-memory architecture simulated in Gem5 by comparing it with a state-of-the-art von Neumann architecture.


title: Existence and Uniqueness of Energy Solutions to the Stochastic Diffusive Surface Quasi-Geostrophic Equation with Additive Noise

abstract: We continue our study of the dynamics of a nearly inviscid periodic surface quasi-geostrophic equation. Here we consider a slightly diffusive stochastic SQG equation of the form \begin{equation*} \begin{cases} d\theta_t + |D|^{2\delta}\theta_t\,dx + (u_t \cdot \nabla)\theta_t\,dx + |D|^{\delta}dW_t = 0 \\ u_t = \nabla^\perp|D|^{-1}\theta_t. \end{cases} \end{equation*} We construct global energy solutions as introduced by P. Goncalves and M. Jara (2014) for any $\delta > 0$, so that any small amount of diffusion permits us to construct solutions. We show moreover that pathwise uniqueness of these energy solutions holds in the presence of sufficiently high diffusion $\delta > \frac32$.


title: Deep Feature Space: A Geometrical Perspective

abstract: One of the most prominent attributes of Neural Networks (NNs) constitutes their capability of learning to extract robust and descriptive features from high dimensional data, like images. Hence, such an ability renders their exploitation as feature extractors particularly frequent in an abundant of modern reasoning systems. Their application scope mainly includes complex cascade tasks, like multi-modal recognition and deep Reinforcement Learning (RL). However, NNs induce implicit biases that are difficult to avoid or to deal with and are not met in traditional image descriptors. Moreover, the lack of knowledge for describing the intra-layer properties -- and thus their general behavior -- restricts the further applicability of the extracted features. With the paper at hand, a novel way of visualizing and understanding the vector space before the NNs' output layer is presented, aiming to enlighten the deep feature vectors' properties under classification tasks. Main attention is paid to the nature of overfitting in the feature space and its adverse effect on further exploitation. We present the findings that can be derived from our model's formulation, and we evaluate them on realistic recognition scenarios, proving its prominence by improving the obtained results.


title: Topological Data Analysis on Simple English Wikipedia Articles

abstract: Single-parameter persistent homology, a key tool in topological data analysis, has been widely applied to data problems along with statistical techniques that quantify the significance of the results. In contrast, statistical techniques for two-parameter persistence, while highly desirable for real-world applications, have scarcely been considered. We present three statistical approaches for comparing geometric data using two-parameter persistent homology; these approaches rely on the Hilbert function, matching distance, and barcodes obtained from two-parameter persistence modules computed from the point-cloud data. Our statistical methods are broadly applicable for analysis of geometric data indexed by a real-valued parameter. We apply these approaches to analyze high-dimensional point-cloud data obtained from Simple English Wikipedia articles. In particular, we show how our methods can be utilized to distinguish certain subsets of the Wikipedia data and to compare with random data. These results yield insights into the construction of null distributions and stability of our methods with respect to noisy data.


title: Application of single metal Au and Ag/Si3N4/Au plasmonic sensors for glucose refractive index measurements

abstract: We have employed single gold layer metal and multilayer Ag/Si3N4/Au plasmonic sensors to monitor changes in the refraction index of glucose/water solutions. Our results show that the sensor can resolve glucose refractive index down to 1% concentration. In addition, we have simulated the strength of the surface plasmon resonance evanescent electric fields by using the finite difference method of COMSOL. The electric field strength for the Ag/Si3N4/Au sensor is much stronger than that for single gold layer SPR sensor.


title: The irreducibility of some Wronskian Hermite polynomials

abstract: We study the irreducibility of Wronskian Hermite polynomials labelled by partitions. It is known that these polynomials factor as a power of x times a remainder polynomial. We show that the remainder polynomial is irreducible for the partitions (n, m) with m <= 2, and (n, n) when n + 1 is a square. Our main tools are two theorems that we prove for all partitions. The first result gives a sharp upper bound for the slope of the edges of the Newton polygon for the remainder polynomial. The second result is a Schur-type congruence for Wronskian Hermite polynomials. We also explain how irreducibility determines the number of real zeros of Wronskian Hermite polynomials, and prove Veselov's conjecture for partitions of the form (n, k, k-1, ..., 1).


title: Preconditioning Markov Chain Monte Carlo Method for Geomechanical Subsidence using multiscale method and machine learning technique

abstract: In this paper, we consider the numerical solution of the poroelasticity problem with stochastic properties. We present a Two-stage Markov Chain Monte Carlo method for geomechanical subsidence. In this work, we study two techniques of preconditioning: (MS) multiscale method for model order reduction and (ML) machine learning technique. The purpose of preconditioning is the fast sampling, where a new proposal is first testes by a cheap multiscale solver or using fast prediction of the neural network and the full fine grid computations will be conducted only if the proposal passes the first step. To construct a reduced order model, we use the Generalized Multiscale Finite Element Method and present construction of the multiscale basis functions for pressure and displacements in stochastic fields. In order to construct a machine learning based preconditioning, we generate a dataset using a multiscale solver and use it to train neural networks. The Karhunen-Loeve expansion is used to represent the realization of the stochastic field. Numerical results are presented for two- and three-dimensional model examples.


title: Adversarial Mutual Information for Text Generation

abstract: Recent advances in maximizing mutual information (MI) between the source and target have demonstrated its effectiveness in text generation. However, previous works paid little attention to modeling the backward network of MI (i.e., dependency from the target to the source), which is crucial to the tightness of the variational information maximization lower bound. In this paper, we propose Adversarial Mutual Information (AMI): a text generation framework which is formed as a novel saddle point (min-max) optimization aiming to identify joint interactions between the source and target. Within this framework, the forward and backward networks are able to iteratively promote or demote each other's generated instances by comparing the real and synthetic data distributions. We also develop a latent noise sampling strategy that leverages random variations at the high-level semantic space to enhance the long term dependency in the generation process. Extensive experiments based on different text generation tasks demonstrate that the proposed AMI framework can significantly outperform several strong baselines, and we also show that AMI has potential to lead to a tighter lower bound of maximum mutual information for the variational information maximization problem.


title: Neutrino decoherence from quantum gravitational stochastic perturbations

abstract: Neutrinos undergoing stochastic perturbations as they propagate experience decoherence, damping neutrino oscillations over distance. Such perturbations may result from fluctuations in space-time itself if gravity is a quantum force, including interactions between neutrinos and virtual black holes. In this work we model the influence of heuristic neutrino-virtual black hole interaction scenarios on neutrino propagation and evaluate the resulting signals in astrophysical and atmospheric neutrinos. We demonstrate how these effects can be represented in the framework of open quantum systems, allowing experimental constraints on such systems to be connected to quantum gravitational effects. Finally, we consider the energy-dependence of such Planck scale physics at energies observed in current neutrino experiments, and show that sensitivity to Planck scale physics well below the `natural' expectation is achievable in certain scenarios.


title: On stable and finite Morse index solutions of the fractional Toda system

abstract: We develop a monotonicity formula for solutions of the fractional Toda system $$ (-\Delta)^s f_\alpha = e^{-(f_{\alpha+1}-f_\alpha)} - e^{-(f_\alpha-f_{\alpha-1})} \quad \text{in} \ \ \mathbb R^n,$$ when $0<s<1$, $\alpha=1,\cdots,Q$, $f_0=-\infty$, $f_{Q+1}=\infty$ and $Q \ge2$ is the number of equations in this system. We then apply this formula, technical integral estimates, classification of stable homogeneous solutions, and blow-down analysis arguments to establish Liouville type theorems for finite Morse index (and stable) solutions of the above system when $n > 2s$ and $$ \dfrac{\Gamma(\frac{n}{2})\Gamma(1+s)}{\Gamma(\frac{n-2s}{2})} \frac{Q(Q-1)}{2} > \frac{ \Gamma(\frac{n+2s}{4})^2 }{ \Gamma(\frac{n-2s}{4})^2} . $$ Here, $\Gamma$ is the Gamma function. When $Q=2$, the above equation is the classical (fractional) Gelfand-Liouville equation.


title: Automata and tame expansions of $(\mathbb{Z},+)$

abstract: The problem of characterizing which automatic sets of integers are stable is here solved. Given a positive integer $d$ and a subset $A\subseteq \mathbb{Z}$ whose set of representations base $d$ is recognized by a finite automaton, a necessary condition is found for $x+y\in A$ to be a stable formula in $\operatorname{Th}(\mathbb{Z},+,A)$. Combined with a theorem of Moosa and Scanlon this gives a combinatorial characterization of the $d$-automatic $A\subseteq \mathbb{Z}$ such that $(\mathbb{Z},+,A)$ is stable. This characterization is in terms of what were called "$F$-sets" by Moosa and Scanlon and "elementary $p$-nested sets" by Derksen. Automata-theoretic methods are also used to produce some NIP expansions of $(\mathbb{Z},+)$, in particular the expansion by the monoid $(d^\mathbb{N},\times )$.


title: Riemannian counterparts to Lorentzian space forms

abstract: On a smooth $n$-manifold $M$ with $n \geq 3$, we study pairs $(g,T)$ consisting of a Riemannian metric $g$ and a unit length closed vector field $T$. Motivated by how Ricci solitons generalize Einstein metrics via a distinguished vector field, we propose to generalize space forms by considering those pairs $(g,T)$ whose corresponding Lorentzian metric $g_{\scriptscriptstyle L} = g - 2T^{\flat} \otimes T^{\flat}$ has constant curvature. We show by examples that such pairs exist when $M$ is noncompact, and that complete metrics exist among them. When $M$ is compact, however, the situation is more rigid. In the compact setting, we prove that the only pairs $(g,T)$ whose corresponding Lorentzian metric $g_{\scriptscriptstyle L}$ is a space form are those where $(M,g)$ is flat and its universal covering splits isometrically as a product $\mathbb{R} \times N$. The nonexistence of compact Lorentzian spherical space forms plays a key role in our proof.


title: Data Movement Is All You Need: A Case Study on Optimizing Transformers

abstract: Transformers are one of the most important machine learning workloads today. Training one is a very compute-intensive task, often taking days or weeks, and significant attention has been given to optimizing transformers. Despite this, existing implementations do not efficiently utilize GPUs. We find that data movement is the key bottleneck when training. Due to Amdahl's Law and massive improvements in compute performance, training has now become memory-bound. Further, existing frameworks use suboptimal data layouts. Using these insights, we present a recipe for globally optimizing data movement in transformers. We reduce data movement by up to 22.91% and overall achieve a 1.30x performance improvement over state-of-the-art frameworks when training a BERT encoder layer and 1.19x for the entire BERT. Our approach is applicable more broadly to optimizing deep neural networks, and offers insight into how to tackle emerging performance bottlenecks.


title: Circular dichroism in non-chiral metal halide perovskites

abstract: We demonstrate theoretically that non-chiral perovskite layers can exhibit circular dichroism (CD) in the absence of a magnetic field and without chiral activation by chiral molecules. The effect is shown to be due to splitting of helical excitonic states which can form in structures of orthorhombic or lower symmetry that exhibit Rashba spin effects. The selective coupling of these helical exciton states to helical light is shown to give rise to circular dichroism. Polarization dependent absorption is shown to occur due to the combined effect of Rashba splitting, in-plane symmetry breaking, and the effect of the exciton momentum on its fine structure, which takes the form of Zeeman splitting in an effective magnetic field. We calculate significant CD with an anisotropy factor of up to 30% in orthorhombic perovskite layers under off-normal top illumination conditions, raising the possibility of its observation in non-chiral perovskite structures.


title: Deep Geometric Texture Synthesis

abstract: Recently, deep generative adversarial networks for image generation have advanced rapidly; yet, only a small amount of research has focused on generative models for irregular structures, particularly meshes. Nonetheless, mesh generation and synthesis remains a fundamental topic in computer graphics. In this work, we propose a novel framework for synthesizing geometric textures. It learns geometric texture statistics from local neighborhoods (i.e., local triangular patches) of a single reference 3D model. It learns deep features on the faces of the input triangulation, which is used to subdivide and generate offsets across multiple scales, without parameterization of the reference or target mesh. Our network displaces mesh vertices in any direction (i.e., in the normal and tangential direction), enabling synthesis of geometric textures, which cannot be expressed by a simple 2D displacement map. Learning and synthesizing on local geometric patches enables a genus-oblivious framework, facilitating texture transfer between shapes of different genus.


title: A $C^1$-continuous Trace-Finite-Cell-Method for linear thin shell analysis on implicitly defined surfaces

abstract: A Trace-Finite-Cell-Method for the numerical analysis of thin shells is presented combining concepts of the TraceFEM and the Finite-Cell-Method. As an underlying shell model we use the Koiter model, which we re-derive in strong form based on first principles of continuum mechanics by recasting well-known relations formulated in local coordinates to a formulation independent of a parametrization. The field approximation is constructed by restricting shape functions defined on a structured background grid on the shell surface. As shape functions we use on a background grid the tensor product of cubic splines. This yields $C^1$-continuous approximation spaces, which are required by the governing equations of fourth order. The parametrization-free formulation allows a natural implementation of the proposed method and manufactured solutions on arbitrary geometries for code verification. Thus, the implementation is verified by a convergence analysis where the error is computed with an exact manufactured solution. Furthermore, benchmark tests are investigated.


title: A Reinforcement Learning Approach for Dynamic Information Flow Tracking Games for Detecting Advanced Persistent Threats

abstract: Advanced Persistent Threats (APTs) are stealthy attacks that threaten the security and privacy of sensitive information. Interactions of APTs with victim system introduce information flows that are recorded in the system logs. Dynamic Information Flow Tracking (DIFT) is a promising detection mechanism for detecting APTs. DIFT taints information flows originating at system entities that are susceptible to an attack, tracks the propagation of the tainted flows, and authenticates the tainted flows at certain system components according to a pre-defined security policy. Deployment of DIFT to defend against APTs in cyber systems is limited by the heavy resource and performance overhead associated with DIFT. In this paper, we propose a resource-efficient model for DIFT by incorporating the security costs, false-positives, and false-negatives associated with DIFT. Specifically, we develop a game-theoretic framework and provide an analytical model of DIFT that enables the study of trade-off between resource efficiency and the effectiveness of detection. Our game model is a nonzero-sum, infinite-horizon, average reward stochastic game. Our model incorporates the information asymmetry between players that arises from DIFT's inability to distinguish malicious flows from benign flows and APT's inability to know the locations where DIFT performs a security analysis. Additionally, the game has incomplete information as the transition probabilities (false-positive and false-negative rates) are unknown. We propose a multiple-time scale stochastic approximation algorithm to learn an equilibrium solution of the game. We prove that our algorithm converges to an average reward Nash equilibrium. We evaluate our proposed model and algorithm on a real-world ransomware dataset and validate the effectiveness of the proposed approach.


title: Similarity Search for Efficient Active Learning and Search of Rare Concepts

abstract: Many active learning and search approaches are intractable for large-scale industrial settings with billions of unlabeled examples. Existing approaches search globally for the optimal examples to label, scaling linearly or even quadratically with the unlabeled data. In this paper, we improve the computational efficiency of active learning and search methods by restricting the candidate pool for labeling to the nearest neighbors of the currently labeled set instead of scanning over all of the unlabeled data. We evaluate several selection strategies in this setting on three large-scale computer vision datasets: ImageNet, OpenImages, and a de-identified and aggregated dataset of 10 billion images provided by a large internet company. Our approach achieved similar mean average precision and recall as the traditional global approach while reducing the computational cost of selection by up to three orders of magnitude, thus enabling web-scale active learning.


title: Conformal Perturbations and Local Smoothing

abstract: The purpose of this paper is to study the effect of conformal perturbations on the local smoothing effect for the Schr\"odinger equation on surfaces of revolution. The paper \cite{ChWu-lsm} studied the Schr\"odinger equation on surfaces of revolution with one trapped orbit. The dynamics near this trapping were unstable, but degenerately so. Beginning from the metric $g$ from this paper, we consider the perturbed metric $g_s = e^{sf}g$, where $f$ is a smooth, compactly supported function. If $s$ is small enough and finitely many derivatives of $f$ satisfy appropriate symbolic estimates, then we show that a local smoothing estimate still holds.


title: Normalized Connectomes Show Increased Synchronizability with Age Through Their Second Largest Eigenvalue

abstract: The synchronization of different brain regions is widely observed under both normal and pathological conditions such as epilepsy. However, the relationship between the dynamics of these brain regions, the connectivity between them, and the ability to synchronize remains an open question. We investigated the problem of inter-region synchronization in networks of Wilson-Cowan/Neural field equations with homeostatic plasticity, each of which acts as a model for an isolated brain region. We considered arbitrary connection profiles with only one constraint: the rows of the connection matrices are all identically normalized. We found that these systems often synchronize to the solution obtained from a single, self-coupled neural region. We analyze the stability of this solution through a straightforward modification of the Master Stability Function (MSF) approach and found that synchronized solutions lose stability for connectivity matrices when the second largest positive eigenvalue is sufficiently large, for values of the global coupling parameter that are not too large. This result was numerically confirmed for ring systems and lattices and was also robust to small amounts of heterogeneity in the homeostatic set points in each node. Finally, we tested this result on connectomes obtained from 196 subjects over a broad age range (4-85 years) from the Human Connectome Project. We found that the second largest eigenvalue tended to decrease with age, indicating an increase in synchronizability that may be related to the increased prevalence of epilepsy with old age.


title: Provably More Efficient Q-Learning in the One-Sided-Feedback/Full-Feedback Settings

abstract: Motivated by the episodic version of the classical inventory control problem, we propose a new Q-learning-based algorithm, Elimination-Based Half-Q-Learning (HQL), that enjoys improved efficiency over existing algorithms for a wide variety of problems in the one-sided-feedback setting. We also provide a simpler variant of the algorithm, Full-Q-Learning (FQL), for the full-feedback setting. We establish that HQL incurs $ \tilde{\mathcal{O}}(H^3\sqrt{ T})$ regret and FQL incurs $\tilde{\mathcal{O}}(H^2\sqrt{ T})$ regret, where $H$ is the length of each episode and $T$ is the total length of the horizon. The regret bounds are not affected by the possibly huge state and action space. Our numerical experiments demonstrate the superior efficiency of HQL and FQL, and the potential to combine reinforcement learning with richer feedback models.


title: Continuous-Time Multi-Armed Bandits with Controlled Restarts

abstract: Time-constrained decision processes have been ubiquitous in many fundamental applications in physics, biology and computer science. Recently, restart strategies have gained significant attention for boosting the efficiency of time-constrained processes by expediting the completion times. In this work, we investigate the bandit problem with controlled restarts for time-constrained decision processes, and develop provably good learning algorithms. In particular, we consider a bandit setting where each decision takes a random completion time, and yields a random and correlated reward at the end, with unknown values at the time of decision. The goal of the decision-maker is to maximize the expected total reward subject to a time constraint $\tau$. As an additional control, we allow the decision-maker to interrupt an ongoing task and forgo its reward for a potentially more rewarding alternative. For this problem, we develop efficient online learning algorithms with $O(\log(\tau))$ and $O(\sqrt{\tau\log(\tau)})$ regret in a finite and continuous action space of restart strategies, respectively. We demonstrate an applicability of our algorithm by using it to boost the performance of SAT solvers.


title: A new relativistic theory for Modified Newtonian Dynamics

abstract: We propose a relativistic gravitational theory leading to modified Newtonian dynamics, a paradigm that explains the observed universal galactic acceleration scale and related phenomenology. We discuss phenomenological requirements leading to its construction and demonstrate its agreement with the observed cosmic microwave background and matter power spectra on linear cosmological scales. We show that its action expanded to second order is free of ghost instabilities and discuss its possible embedding in a more fundamental theory.


title: Using Human Psychophysics to Evaluate Generalization in Scene Text Recognition Models

abstract: Scene text recognition models have advanced greatly in recent years. Inspired by human reading we characterize two important scene text recognition models by measuring their domains i.e. the range of stimulus images that they can read. The domain specifies the ability of readers to generalize to different word lengths, fonts, and amounts of occlusion. These metrics identify strengths and weaknesses of existing models. Relative to the attention-based (Attn) model, we discover that the connectionist temporal classification (CTC) model is more robust to noise and occlusion, and better at generalizing to different word lengths. Further, we show that in both models, adding noise to training images yields better generalization to occlusion. These results demonstrate the value of testing models till they break, complementing the traditional data science focus on optimizing performance.


title: Deep neural networks for the evaluation and design of photonic devices

abstract: The data sciences revolution is poised to transform the way photonic systems are simulated and designed. Photonics are in many ways an ideal substrate for machine learning: the objective of much of computational electromagnetics is the capture of non-linear relationships in high dimensional spaces, which is the core strength of neural networks. Additionally, the mainstream availability of Maxwell solvers makes the training and evaluation of neural networks broadly accessible and tailorable to specific problems. In this Review, we will show how deep neural networks, configured as discriminative networks, can learn from training sets and operate as high-speed surrogate electromagnetic solvers. We will also examine how deep generative networks can learn geometric features in device distributions and even be configured to serve as robust global optimizers. Fundamental data sciences concepts framed within the context of photonics will also be discussed, including the network training process, delineation of different network classes and architectures, and dimensionality reduction.

categories: eess.IV cs.LG physics.app-ph physics.optics


title: Enforcing Almost-Sure Reachability in POMDPs

abstract: Partially-Observable Markov Decision Processes (POMDPs) are a well-known stochastic model for sequential decision making under limited information. We consider the EXPTIME-hard problem of synthesising policies that almost-surely reach some goal state without ever visiting a bad state. In particular, we are interested in computing the winning region, that is, the set of system configurations from which a policy exists that satisfies the reachability specification. A direct application of such a winning region is the safe exploration of POMDPs by, for instance, restricting the behavior of a reinforcement learning agent to the region. We present two algorithms: A novel SAT-based iterative approach and a decision-diagram based alternative. The empirical evaluation demonstrates the feasibility and efficacy of the approaches.


title: Decomposition and embedding in the stochastic $GW$ self-energy

abstract: We present two new developments for computing excited state energies within the $GW$ approximation. First, calculations of the Green's function and the screened Coulomb interaction are decomposed into two parts: one is deterministic while the other relies on stochastic sampling. Second, this separation allows constructing a subspace self-energy, which contains dynamic correlation from only a particular (spatial or energetic) region of interest. The methodology is exemplified on large-scale simulations of nitrogen-vacancy states in a periodic hBN monolayer and hBN-graphene heterostructure. We demonstrate that the deterministic embedding of strongly localized states significantly reduces statistical errors, and the computational cost decreases by more than an order of magnitude. The computed subspace self-energy unveils how interfacial couplings affect electronic correlations and identifies contributions to excited-state lifetimes. While the embedding is necessary for the proper treatment of impurity states, the decomposition yields new physical insight into quantum phenomena in heterogeneous systems.


title: Thermal Conductivity Measurement of Supported Thin Film Materials Using the 3$\omega$ method

abstract: In this article, we are proposing a thorough analysis of the cross, and the in-plane thermal conductivity of thin-film materials based on the 3$\omega$ method. The analysis accommodates a 2D mathematical heat transfer model of a semi-infinite body and the details of the sample preparation followed by the measurement process. The presented mathematical model for the system considers a two-dimensional space for its solution. It enables the calculation of the cross-plane thermal conductivity with a single frequency measurement, the derived equation opens new opportunities for frequency-based and penetration-depth dependent thermal conductivity analysis. The derived equation for the in-plane thermal conductivity is dependent on the cross-plane thermal conductivity. Both in and cross-plane thermal conductivities enable the measurements in two steps of measurements, the resistance-temperature slope measurement and another set of measures that extracts the third harmonic of the voltage signal. We evaluated the methodology in two sets of samples, silicon nitride and boron nitride, both on silicon wafers. We observed anisotropic thermal conductivity in the cross and the in-plane direction, despite the isotropic nature of the thin films, which we relate to the total anisotropy of the thin film-substrate system. The technique is conducive to the thermal analysis of next-generation nanoelectronic devices.


title: Evaluation of Fairness Trade-offs in Predicting Student Success

abstract: Predictive models for identifying at-risk students early can help teaching staff direct resources to better support them, but there is a growing concern about the fairness of algorithmic systems in education. Predictive models may inadvertently introduce bias in who receives support and thereby exacerbate existing inequities. We examine this issue by building a predictive model of student success based on university administrative records. We find that the model exhibits gender and racial bias in two out of three fairness measures considered. We then apply post-hoc adjustments to improve model fairness to highlight trade-offs between the three fairness measures.


title: Curve shortening flow on Riemann surfaces with possible ambient conic singularities

abstract: In this paper, we study the curve shortening flow (CSF) on Riemann surfaces. We generalize Huisken's comparison function to Riemann surfaces and surfaces with conic singularities. We reprove the Gage-Hamilton-Grayson theorem on surfaces. We also prove that for embedded simple closed curves, CSF can not touch conic singularities with cone angles $\leq \pi$.


title: Scattered one-counter languges have rank less than $\omega^2$

abstract: A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that scattered context-free (regular, resp.) orderings have rank less than $\omega^\omega$ ($\omega$, resp). In this paper we confirm the conjecture that one-counter languages have rank less than $\omega^2$.


title: Nonempirical definition of the Mendeleev numbers: Organizing the chemical space

abstract: Organizing a chemical space so that elements with similar properties would take neighboring places in a sequence can help to predict new materials. In this paper, we propose a universal method of generating such a one-dimensional sequence of elements, i.e. at arbitrary pressure, which could be used to create a well-structured chemical space of materials and facilitate the prediction of new materials. This work clarifies the physical meaning of Mendeleev numbers, which was earlier tabulated by Pettifor. We compare our proposed sequence of elements with alternative sequences formed by different Mendeleev numbers using the data for hardness, magnetization, enthalpy of formation, and atomization energy. For an unbiased evaluation of the MNs, we compare clustering rates obtained with each system of MNs.


title: Dynamical Mass Generation in Wick Cutkosky Model

abstract: Studying extent of dynamical generation of mass in a quantum field theory, which may have non-perturbative attributes, is an essential step towards complete understanding of the theory. It has historic relevance to interactions including fermions. However, as search of further fundamental scalars continues, inquiring into the possibility of dynamical generation of mass becomes crucial for scalars with masses much lower than the electroweak scale. This paper addresses Yukawa interaction between a complex doublet field, conveniently named the Higgs, and a scalar singlet studied in terms of correlation functions and the dynamical masses produced in the parameter space of the model. The study is conducted using the method of Dyson Schwinger equation. The Higgs is found to be receiving negative squared masses while the scalar singlet field receives positive squared mass. Higgs propagators are found to be significantly more sensitive to couplings in comparison to the scalar propagators. The vertices are relatively more stable against the cutoff used in comparison to the propagators and dynamically generated masses. No indication of a critical coupling is found within the explored range of coupling values. The model is found to have strong cutoff effects until the cutoff is raised to 100 TeV. The model suggests no sign of triviality.


title: On alternating quasipositive links

abstract: We prove that if a quasipositive link can be represented by an alternating diagram satisfying the condition that no pair of Seifert circles is connected by a single crossing, then the diagram is positive and the link is strongly quasipositive.


title: Efficient parallel 3D computation of the compressible Euler equations with an invariant-domain preserving second-order finite-element scheme

abstract: We discuss the efficient implementation of a high-performance second-order collocation-type finite-element scheme for solving the compressible Euler equations of gas dynamics on unstructured meshes. The solver is based on the convex limiting technique introduced by Guermond et al. (SIAM J. Sci. Comput. 40, A3211-A3239, 2018). As such it is invariant-domain preserving, i.e., the solver maintains important physical invariants and is guaranteed to be stable without the use of ad-hoc tuning parameters. This stability comes at the expense of a significantly more involved algorithmic structure that renders conventional high-performance discretizations challenging. We develop an algorithmic design that allows SIMD vectorization of the compute kernel, identify the main ingredients for a good node-level performance, and report excellent weak and strong scaling of a hybrid thread/MPI parallelization.


title: Deep Learning for Vision-based Prediction: A Survey

abstract: Vision-based prediction algorithms have a wide range of applications including autonomous driving, surveillance, human-robot interaction, weather prediction. The objective of this paper is to provide an overview of the field in the past five years with a particular focus on deep learning approaches. For this purpose, we categorize these algorithms into video prediction, action prediction, trajectory prediction, body motion prediction, and other prediction applications. For each category, we highlight the common architectures, training methods and types of data used. In addition, we discuss the common evaluation metrics and datasets used for vision-based prediction tasks. A database of all the information presented in this survey including, cross-referenced according to papers, datasets and metrics, can be found online at https://github.com/aras62/vision-based-prediction.


title: Simple conditions for convergence of sequential Monte Carlo genealogies with applications

abstract: We present simple conditions under which the limiting genealogical process associated with a class of interacting particle systems with non-neutral selection mechanisms, as the number of particles grows, is a time-rescaled Kingman coalescent. Sequential Monte Carlo algorithms are popular methods for approximating integrals in problems such as non-linear filtering and smoothing which employ this type of particle system. Their performance depends strongly on the properties of the induced genealogical process. We verify the conditions of our main result for standard sequential Monte Carlo algorithms with a broad class of low-variance resampling schemes, as well as for conditional sequential Monte Carlo with multinomial resampling.


title: Emergence of ferromagnetism due to Ir substitutions in single-crystalline Ba[Co(1 x)Ir(x)]2As2

abstract: The ternary-arsenide compound BaCo2As2 was previously proposed to be in proximity to a quantum-critical point where long-range ferromagnetic (FM) order is suppressed by quantum fluctuations. Here we report the effect of Ir substitution for Co on the magnetic and thermal properties of Ba[Co(1-x)Ir(x)]2As2 (0 <= x <= 0.25) single crystals. These compositions all crystallize in an uncollapsed body-centered-tetragonal ThCr2Si2 structure with space group I4/mmm. Magnetic susceptibility measurements reveal clear signatures of FM ordering for x >= 0.11 with a nearly composition-independent Curie temperature TC = 13 K. The small variation of TC with x, the occurrence of hysteresis in magnetization versus field isotherms at low field and temperature, very small spontaneous and remanent magnetizations < 0.01 muB/f.u., and thermomagnetic irreversibility in the low-temperature region together indicate that the FM response arises from short-range FM ordering of spin clusters as previously inferred to occur in Ca[Co{1-x}Ir{x}]{2-y}As2. Heat-capacity Cp(T) data do not exhibit any clear feature around TC, further indicating that the FM ordering is short-range and/or associated with itinerant moments. The Cp(T) in the paramagnetic temperature regime 25-300 K is well described by the sum of a Sommerfeld electronic contribution and Debye and Einstein lattice contributions where the latter suggests the occurrence of low-frequency optic modes associated with the heavy Ba atoms in the crystals.


title: Plane algebraic curves in fancy balls

abstract: Boileau and Rudolph called a link $L$ in the $3$-sphere a $\bf C$-boundary if it can be realized as the intersection of an algebraic curve $A$ in $\bf C^2$ with the boundary of a smooth embedded $4$-ball $B$. They showed that some links are not $\bf C$-boundaries. We say that $L$ is a strong $\bf C$-boundary if $A\setminus B$ is connected. In particular, all quasipositive links are strong $\bf C$-boundaries. In this paper we give examples of non-quasipositive strong $\bf C$-boundaries and non-strong $\bf C$-boundaries. We give a complete classification of (strong) $\bf C$-boundaries with at most 5 crossings.


title: Splitting methods for a class of non-potential mean field games

abstract: We extend the methods from Nurbekyan, Saude "Fourier approximation methods for first-order nonlocal mean-field games" [Port. Math. 75 (2018), no. 3-4] and Liu, Jacobs, Li, Nurbekyan, Osher "Computational methods for nonlocal mean field games with applications" [arXiv:2004.12210] to a class of non-potential mean-field game (MFG) systems with mixed couplings. Up to now, splitting methods have been applied to potential MFG systems that can be cast as convex-concave saddle-point problems. Here, we show that a class of non-potential MFG can be cast as primal-dual pairs of monotone inclusions and solved via extensions of convex optimization algorithms such as the primal-dual hybrid gradient (PDHG) algorithm. A critical feature of our approach is in considering dual variables of nonlocal couplings in Fourier or feature spaces.


title: Robust Multi-Agent Task Assignment in Failure-Prone and Adversarial Environments

abstract: The problem of assigning agents to tasks is a central computational challenge in many multi-agent autonomous systems. However, in the real world, agents are not always perfect and may fail due to a number of reasons. A motivating application is where the agents are robots that operate in the physical world and are susceptible to failures. This paper studies the problem of Robust Multi-Agent Task Assignment, which seeks to find an assignment that maximizes overall system performance while accounting for potential failures of the agents. We investigate both, stochastic and adversarial failures under this framework. For both cases, we present efficient algorithms that yield optimal or near-optimal results.


title: Traffic Delay Reduction at Highway Diverges Using an Advance Warning System Based on a Probabilistic Prediction Model

abstract: This paper presents an on-board advance warning system for vehicles based on a probabilistic prediction model that advises them on when to change lanes to reach a highway diverge on time. The system is based on a model that estimates the probability of reaching a goal state on the road using one or multiple lane changes. This estimate is based on several traffic-related parameters such as the distribution of inter-vehicle headway distances as well as driver-related parameters like lane change duration. For an upcoming diverge, the advance warning system uses the model to continuously calculate the probability of reaching it and advise the driver to change lanes when the probability dips below a certain threshold. To evaluate the performance of the proposed system in reducing traffic delay at highway diverges, it was used on a segment of a four-lane highway to advise vehicles taking an off-ramp on when to change lanes. Results show that using the proposed system reduces average delay up to 6% and maximum delay up to 16%, depending on traffic flow and the ratio of vehicles taking the off-ramp.


title: Verification of indefinite-horizon POMDPs

abstract: The verification problem in MDPs asks whether, for any policy resolving the nondeterminism, the probability that something bad happens is bounded by some given threshold. This verification problem is often overly pessimistic, as the policies it considers may depend on the complete system state. This paper considers the verification problem for partially observable MDPs, in which the policies make their decisions based on (the history of) the observations emitted by the system. We present an abstraction-refinement framework extending previous instantiations of the Lovejoy-approach. Our experiments show that this framework significantly improves the scalability of the approach.


title: Twisted Moduli Spaces and Duistermaat-Heckman Measures

abstract: Following Boalch-Yamakawa and Meinrenken, we consider a certain class of moduli spaces on bordered surfaces from a quasi-Hamiltonian perspective. For a given Lie group $G$, these character varieties parametrize flat $G$-connections on "twisted" local systems, in the sense that the transition functions take values in $G\rtimes\mathrm{Aut}(G)$. After reviewing the necessary tools to discuss twisted quasi-Hamiltonian manifolds, we construct a Duistermaat-Heckman (DH) measure on $G$ that is invariant under the twisted conjugation action $g\mapsto hg\kappa(h^{-1})$ for $\kappa\in\mathrm{Aut}(G)$, and characterize it by giving a localization formula for its Fourier coefficients. We then illustrate our results by determining the DH measures of our twisted moduli spaces.


title: The Meshing of the Sky: Delivering Ubiquitous Connectivity to Ground Internet of Things

abstract: Nowadays, Unmanned Aerial Vehicles (UAVs) are being used in several novel applications, especially in the telecommunication domain. However, ensuring UAV communication and networking for the purpose of a specific application is still challenging. Indeed, due to the mobility of a UAV in a vast area, permanent connectivity over the back-haul is very sporadic and might be lost. In this paper, we consider an aerial mesh network where each UAV can serve as a flying base station to boost terrestrial base station in case of damaged infrastructure case for example, or/and provide connectivity for uncovered or poorly covered nodes, and behaves as a relay to establish communication between two components owing to a lack of reliable direct communication link between them. We then detail a case study where a UAV-fleet are used to collect data from the ground Internet of Things (IoT) devices and forward it to cloud for further processing passing by a remote gateway. We aim here to build a queueing framework including network layer, MAC layer, and physical layer and investigate both uplink and downlink communication links. Next, we derive some closed forms allowing us to predict the network performance in terms of traffic intensity at every UAV of the aerial mesh network, end-to-end (E2E) throughput and e2e delay of ongoing streams. Next, we conduct extensive simulations to illustrate the benefit of our framework. Results discussion and numerous insights on parameter setting, target quality of service and design consideration are also drawn.


title: The Venus Life Equation

abstract: Ancient Venus and Earth may have been similar in crucial ways for the development of life, such as liquid water oceans, land-ocean interfaces, favorable chemical ingredients and energy pathways. If life ever developed on, or was transported to, early Venus from elsewhere, it might have thrived, expanded and then survived the changes that have led to an inhospitable surface on Venus today. The Venus cloud layer may provide a refugium for extant life that persisted from an earlier more habitable surface environment. We introduce the Venus Life Equation - a theory and evidence-based approach to calculate the probability of extant life on Venus, L, using three primary factors of life: Origination, Robustness, and Continuity, or L = O x R x C. We evaluate each of these factors using our current understanding of Earth and Venus environmental conditions from the Archaean to the present. We find that the probability of origination of life on Venus would be similar to that of the Earth and argue that the other factors should be nonzero, comparable to other promising astrobiological targets in the solar system. The Venus Life Equation also identifies poorly understood aspects of Venus that can be addressed by direct observations with future exploration missions.


title: Generalized propensity score approach to causal inference with spatial interference

abstract: Many spatial phenomena exhibit treatment interference where treatments at one location may affect the response at other locations. Because interference violates the stable unit treatment value assumption, standard methods for causal inference do not apply. We propose a new causal framework to recover direct and spill-over effects in the presence of spatial interference, taking into account that treatments at nearby locations are more influential than treatments at locations further apart. Under the no unmeasured confounding assumption, we show that a generalized propensity score is sufficient to remove all measured confounding. To reduce dimensionality issues, we propose a Bayesian spline-based regression model accounting for a sufficient set of variables for the generalized propensity score. A simulation study demonstrates the accuracy and coverage properties. We apply the method to estimate the causal effect of wildland fires on air pollution in the Western United States over 2005--2018.


title: Ideal formulations for constrained convex optimization problems with indicator variables

abstract: Motivated by modern regression applications, in this paper, we study the convexification of a class of convex optimization problems with indicator variables and combinatorial constraints on the indicators. Unlike most of the previous work on convexification of sparse regression problems, we simultaneously consider the nonlinear non-separable objective, indicator variables, and combinatorial constraints. Specifically, we give the convex hull description of the epigraph of the composition of a one-dimensional convex function and an affine function under arbitrary combinatorial constraints. As special cases of this result, we derive ideal convexifications for problems with hierarchy, multi-collinearity, and sparsity constraints. Moreover, we also give a short proof that for a separable objective function, the perspective reformulation is ideal independent from the constraints of the problem. Our computational experiments with regression problems under hierarchy constraints on real datasets demonstrate the potential of the proposed approach in improving the relaxation quality without significant computational overhead.


title: Coverage Analysis and Scaling Laws of Ultra-Dense Networks

abstract: In this paper, we develop an innovative approach to quantitatively characterize the performance of ultra-dense wireless networks in a plethora of propagation environments. The proposed framework has the potential of significantly simplifying the cumbersome procedure of analyzing the coverage probability and allowing the remarkable unification of single- and multi-antenna networks through compact representations. By harnessing this key feature, we develop a novel statistical machinery to study the scaling laws of wireless network densification considering general channel power distributions including the entire space of multipath and shadowing models as well as associated beamforming gain due to the use of multiple antenna. We further formulate the relationship between network density, antenna height, antenna array seize and carrier frequency showing how the coverage probability can be maintained with ultra-densification. From a system design perspective, we present a new innovative theoretical discovery stipulating that if multiple antenna BS are deployed and moved to higher frequencies, then monotonically increasing the coverage probability by means of ultra-densification is possible, and this without lowering the antenna height. Such findings are completely different from the conclusions in existing works, who suggest to lower the BS height as to leverage the potential of network densification. Simulation results substantiate performance trends leveraging network densification and antenna deployment and configuration against path loss models and signal-to-noise plus interference (SINR) thresholds.


title: JWST Transit Spectra II: Constraining Aerosol Species, Particle-size Distributions, Temperature, and Metallicity for Cloudy Exoplanets

abstract: JWST will provide moderate resolution transit spectra with continuous wavelength coverage from the optical to the mid-infrared for the first time. In this paper, we illustrate how different aerosol species, size-distributions, and spatial distributions encode information in JWST transit spectra. We use the transit spectral modeling code METIS, along with Mie theory and several flexible treatments of aerosol size and spatial distributions to perform parameter sensitivity studies, calculate transit contribution functions, compute Jacobians, and retrieve parameters with Markov Chain Monte Carlo. The broader wavelength coverage of JWST will likely encompass enough non-gray aerosol behavior to recover information about the species and size-distribution of particles, especially if distinct resonance features arising from the aerosols are present. Within the JWST wavelength range, the optical and mid-infrared typically provide information about 0.1-1 $\mu$m sized aerosols, while the near-infrared to mid-infrared wavelengths usually provide information about gaseous absorption, even if aerosols are present. Strong gaseous absorption features in the infrared often remain visible, even when clouds and hazes are flattening the optical and NIR portion of the spectrum that is currently observable. For some combinations of aerosol properties, temperature, and surface gravity, one can make a precise measure of metallicity despite the presence of aerosols, but more often the retrieved metallicity of a cloudy or hazy atmosphere has significantly lower precision than for a clear atmosphere with otherwise similar properties. Future efforts to securely link aerosol properties to atmospheric metallicity and temperature in a physically motivated manner will ultimately enable a robust physical understanding of the processes at play in cloudy, hazy exoplanet atmospheres.


title: The dynamical approach to the conjugacy in groups

abstract: Given a discrete group $G$, we identify the Stone-$\check C$ech compactification $\beta G$ with the set of all ultrafilters on $G$ and put $G^\ast =\beta G\setminus G$. The action $G$ on $G$ by the conjugations $(g,x)\mapsto g^{-1}xg$ induces the action of $G$ on $G^\ast$ by $(g, p)\mapsto p^g $, $p^g = \{ g^{-1} Pg: P\in p\}$. We study interplays between the algebraic properties of $G$ and the dynamical properties of $(G, G^\ast)$. In particular, we show that $p^G$ is finite for each $p\in G^\ast$ if and only if the commutant of $G$ is finite.


title: An Approach to Regular Separability in Vector Addition Systems

abstract: We study the problem of regular separability of languages of vector addition systems with states (VASS). It asks whether for two given VASS languages K and L, there exists a regular language R that includes K and is disjoint from L. While decidability of the problem in full generality remains an open question, there are several subclasses for which decidability has been shown: It is decidable for (i) one-dimensional VASS, (ii) VASS coverability languages, (iii) languages of integer VASS, and (iv) commutative VASS languages. We propose a general approach to deciding regular separability. We use it to decide regular separability of an arbitrary VASS language from any language in the classes (i), (ii), and (iii). This generalizes all previous results, including (iv).


title: Robustness to Transformations Across Categories: Is Robustness To Transformations Driven by Invariant Neural Representations?

abstract: Deep Convolutional Neural Networks (DCNNs) have demonstrated impressive robustness to recognize objects under transformations (eg. blur or noise) when these transformations are included in the training set. A hypothesis to explain such robustness is that DCNNs develop invariant neural representations that remain unaltered when the image is transformed. However, to what extent this hypothesis holds true is an outstanding question, as robustness to transformations could be achieved with properties different from invariance, eg. parts of the network could be specialized to recognize either transformed or non-transformed images. This paper investigates the conditions under which invariant neural representations emerge by leveraging that they facilitate robustness to transformations beyond the training distribution. Concretely, we analyze a training paradigm in which only some object categories are seen transformed during training and evaluate whether the DCNN is robust to transformations across categories not seen transformed. Our results with state-of-the-art DCNNs indicate that invariant neural representations do not always drive robustness to transformations, as networks show robustness for categories seen transformed during training even in the absence of invariant neural representations. Invariance only emerges as the number of transformed categories in the training set is increased. This phenomenon is much more prominent with local transformations such as blurring and high-pass filtering than geometric transformations such as rotation and thinning, which entail changes in the spatial arrangement of the object. Our results contribute to a better understanding of invariant neural representations in deep learning and the conditions under which it spontaneously emerges.


title: Long-term Pedestrian Trajectory Prediction using Mutable Intention Filter and Warp LSTM

abstract: Trajectory prediction is one of the key capabilities for robots to safely navigate and interact with pedestrians. Critical insights from human intention and behavioral patterns need to be integrated to effectively forecast long-term pedestrian behavior. Thus, we propose a framework incorporating a Mutable Intention Filter and a Warp LSTM (MIF-WLSTM) to simultaneously estimate human intention and perform trajectory prediction. The Mutable Intention Filter is inspired by particle filtering and genetic algorithms, where particles represent intention hypotheses that can be mutated throughout the pedestrian motion. Instead of predicting sequential displacement over time, our Warp LSTM learns to generate offsets on a full trajectory predicted by a nominal intention-aware linear model, which considers the intention hypotheses during filtering process. Through experiments on a publicly available dataset, we show that our method outperforms baseline approaches and demonstrate the robust performance of our method under abnormal intention-changing scenarios. Code is available at https://github.com/tedhuang96/mifwlstm.


title: FathomNet: An underwater image training database for ocean exploration and discovery

abstract: Thousands of hours of marine video data are collected annually from remotely operated vehicles (ROVs) and other underwater assets. However, current manual methods of analysis impede the full utilization of collected data for real time algorithms for ROV and large biodiversity analyses. FathomNet is a novel baseline image training set, optimized to accelerate development of modern, intelligent, and automated analysis of underwater imagery. Our seed data set consists of an expertly annotated and continuously maintained database with more than 26,000 hours of videotape, 6.8 million annotations, and 4,349 terms in the knowledge base. FathomNet leverages this data set by providing imagery, localizations, and class labels of underwater concepts in order to enable machine learning algorithm development. To date, there are more than 80,000 images and 106,000 localizations for 233 different classes, including midwater and benthic organisms. Our experiments consisted of training various deep learning algorithms with approaches to address weakly supervised localization, image labeling, object detection and classification which prove to be promising. While we find quality results on prediction for this new dataset, our results indicate that we are ultimately in need of a larger data set for ocean exploration.


title: Hamiltonicity of the Double Vertex Graph and the Complete Double Vertex Graph of some Join Graphs

abstract: Let $G$ be a simple graph of order $n$. The double vertex graph $F_2(G)$ of $G$ is the graph whose vertices are the $2$-subsets of $V(G)$, where two vertices are adjacent in $F_2(G)$ if their symmetric difference is a pair of adjacent vertices in $G$. A generalization of this graph is the complete double vertex graph $M_2(G)$ of $G$, defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which $F_2(G)$ and $M_2(G)$ are Hamiltonian. This family of graphs is the set of join graphs $G=G_1 + G_2$, where $G_1$ and $G_2$ are of order $m\geq 1$ and $n\geq 2$, respectively, and $G_2$ has a Hamiltonian path. For this family of graphs, we show that if $m\leq 2n$ then $F_2(G)$ is Hamiltonian, and if $m\leq 2(n-1)$ then $M_2(G)$ is Hamiltonian.


title: Sharp asymptotics of correlation functions in the subcritical long-range random-cluster and Potts models

abstract: For a family of random-cluster models with cluster weights $q\geq 1$, we prove that the probability that $0$ is connected to $x$ is asymptotically equal to $\tfrac{1}{q}\chi(\beta)^{2}\beta J_{0,x}$. The method developed in this article can be applied to any spin model for which there exists a random-cluster representation which is one-monotonic.


title: Growth kinetics and atomistic mechanisms of native oxidation of ZrS$_x$Se$_{2-x}$ and MoS$_2$ crystals

abstract: A thorough understanding of native oxides is essential for designing semiconductor devices. Here we report a study of the rate and mechanisms of spontaneous oxidation of bulk single crystals of ZrS$_x$Se$_{2-x}$ alloys and MoS$_2$. ZrS$_x$Se$_{2-x}$ alloys oxidize rapidly, and the oxidation rate increases with Se content. Oxidation of basal surfaces is initiated by favorable O$_2$ adsorption and proceeds by a mechanism of Zr-O bond switching, that collapses the van der Waals gaps, and is facilitated by progressive redox transitions of the chalcogen. The rate-limiting process is the formation and out-diffusion of SO$_2$. In contrast, MoS$_2$ basal surfaces are stable due to unfavorable oxygen adsorption. Our results provide insight and quantitative guidance for designing and processing semiconductor devices based on ZrS$_x$Se$_{2-x}$ and MoS$_2$, and identify the atomistic-scale mechanisms of bonding and phase transformations in layered materials with competing anions.


title: Approximation Theory of Tree Tensor Networks: Tensorized Univariate Functions -- Part I

abstract: We study the approximation of functions by tensor networks (TNs). We show that Lebesgue $L^p$-spaces in one dimension can be identified with tensor product spaces of arbitrary order through tensorization. We use this tensor product structure to define subsets of $L^p$ of rank-structured functions of finite representation complexity. These subsets are then used to define different approximation classes of tensor networks, associated with different measures of complexity. These approximation classes are shown to be quasi-normed linear spaces. We study some elementary properties and relationships of said spaces. In part II of this work, we will show that classical smoothness (Besov) spaces are continuously embedded into these approximation classes. We will also show that functions in these approximation classes do not possess any Besov smoothness, unless one restricts the depth of the tensor networks. The results of this work are both an analysis of the approximation spaces of TNs and a study of the expressivity of a particular type of neural networks (NN) -- namely feed-forward sum-product networks with sparse architecture. The input variables of this network result from the tensorization step, interpreted as a particular featuring step which can also be implemented with a neural network with a specific architecture. We point out interesting parallels to recent results on the expressivity of rectified linear unit (ReLU) networks -- currently one of the most popular type of NNs.


title: Graph Neural Networks Including Sparse Interpretability

abstract: Graph Neural Networks (GNNs) are versatile, powerful machine learning methods that enable graph structure and feature representation learning, and have applications across many domains. For applications critically requiring interpretation, attention-based GNNs have been leveraged. However, these approaches either rely on specific model architectures or lack a joint consideration of graph structure and node features in their interpretation. Here we present a model-agnostic framework for interpreting important graph structure and node features, Graph neural networks Including SparSe inTerpretability (GISST). With any GNN model, GISST combines an attention mechanism and sparsity regularization to yield an important subgraph and node feature subset related to any graph-based task. Through a single self-attention layer, a GISST model learns an importance probability for each node feature and edge in the input graph. By including these importance probabilities in the model loss function, the probabilities are optimized end-to-end and tied to the task-specific performance. Furthermore, GISST sparsifies these importance probabilities with entropy and L1 regularization to reduce noise in the input graph topology and node features. Our GISST models achieve superior node feature and edge explanation precision in synthetic datasets, as compared to alternative interpretation approaches. Moreover, our GISST models are able to identify important graph structure in real-world datasets. We demonstrate in theory that edge feature importance and multiple edge types can be considered by incorporating them into the GISST edge probability computation. By jointly accounting for topology, node features, and edge features, GISST inherently provides simple and relevant interpretations for any GNN models and tasks.


title: The Character Table of $\text{GL}_n(\mathbb{F}_q)\rtimes\!<\!\sigma\!>\!$

abstract: We compute the character table of $\text{GL}_n(\mathbb{F}_q)\rtimes\!<\!\sigma\!>\!$, $\sigma$ being an order 2 exterior automorphism.


title: Accelerating Prostate Diffusion Weighted MRI using Guided Denoising Convolutional Neural Network: Retrospective Feasibility Study

abstract: Purpose: To investigate feasibility of accelerating prostate diffusion-weighted imaging (DWI) by reducing the number of acquired averages and denoising the resulting image using a proposed guided denoising convolutional neural network (DnCNN). Materials and Methods: Raw data from the prostate DWI scans were retrospectively gathered (between July 2018 and July 2019) from six single-vendor MRI scanners. 118 data sets were used for training and validation (age: 64.3 +- 8 years) and 37 - for testing (age: 65.1 +- 7.3 years). High b-value diffusion-weighted (hb-DW) data were reconstructed into noisy images using two averages and reference images using all sixteen averages. A conventional DnCNN was modified into a guided DnCNN, which uses the low b-value DWI image as a guidance input. Quantitative and qualitative reader evaluations were performed on the denoised hb-DW images. A cumulative link mixed regression model was used to compare the readers scores. The agreement between the apparent diffusion coefficient (ADC) maps (denoised vs reference) was analyzed using Bland Altman analysis. Results: Compared to the DnCNN, the guided DnCNN produced denoised hb-DW images with higher peak signal-to-noise ratio and structural similarity index and lower normalized mean square error (p < 0.001). Compared to the reference images, the denoised images received higher image quality scores (p < 0.0001). The ADC values based on the denoised hb-DW images were in good agreement with the reference ADC values. Conclusion: Accelerating prostate DWI by reducing the number of acquired averages and denoising the resulting image using the proposed guided DnCNN is technically feasible.


title: Anisotropic Fast Diffusion Equations

abstract: We prove the existence of self-similar fundamental solutions (SSF) of the anisotropic porous medium equation in the suitable fast diffusion range. Each of such SSF solutions is uniquely determined by its mass. We also obtain the asymptotic behaviour of all finite-mass solutions in terms of the family of self-similar fundamental solutions. Time decay rates are derived as well as other properties of the solutions, like quantitative boundedness, positivity and regularity. The combination of self-similarity and anisotropy is essential in our analysis and creates serious mathematical difficulties that are addressed by means of novel methods.


title: R\'edei permutations with cycles of the same length

abstract: Let $\mathbb{F}_q$ be a finite field of odd characteristic. We study R\'edei functions that induce permutations over $\mathbb{P}^1(\mathbb{F}_q)$ whose cycle decomposition contains only cycles of length $1$ and $j$, for an integer $j\geq 2$. When $j$ is $4$ or a prime number, we give necessary and sufficient conditions for a R\'edei permutation of this type to exist over $\mathbb{P}^1(\mathbb{F}_q)$, characterize R\'edei permutations consisting of $1$- and $j$-cycles, and determine their total number. We also present explicit formulas for R\'edei involutions based on the number of fixed points, and procedures to construct R\'edei permutations with a prescribed number of fixed points and $j$-cycles for $j \in \{3,4,5\}$.


title: Weighted hypersoft configuration model

abstract: Maximum entropy null models of networks come in different flavors that depend on the type of constraints under which entropy is maximized. If the constraints are on degree sequences or distributions, we are dealing with configuration models. If the degree sequence is constrained exactly, the corresponding microcanonical ensemble of random graphs with a given degree sequence is the configuration model per se. If the degree sequence is constrained only on average, the corresponding grand-canonical ensemble of random graphs with a given expected degree sequence is the soft configuration model. If the degree sequence is not fixed at all but randomly drawn from a fixed distribution, the corresponding hypercanonical ensemble of random graphs with a given degree distribution is the hypersoft configuration model, a more adequate description of dynamic real-world networks in which degree sequences are never fixed but degree distributions often stay stable. Here, we introduce the hypersoft configuration model of weighted networks. The main contribution is a particular version of the model with power-law degree and strength distributions, and superlinear scaling of strengths with degrees, mimicking the properties of some real-world networks. As a byproduct, we generalize the notions of sparse graphons and their entropy to weighted networks.


title: Situation Calculus by Term Rewriting

abstract: A version of the situation calculus in which situations are represented as first-order terms is presented. Fluents can be computed from the term structure, and actions on the situations correspond to rewrite rules on the terms. Actions that only depend on or influence a subset of the fluents can be described as rewrite rules that operate on subterms of the terms in some cases. If actions are bidirectional then efficient completion methods can be used to solve planning problems. This representation for situations and actions is most similar to the fluent calculus of Thielscher \cite{Thielscher98}, except that this representation is more flexible and more use is made of the subterm structure. Some examples are given, and a few general methods for constructing such sets of rewrite rules are presented. This paper was submitted to FSCD 2020 on December 23, 2019.


title: Functional MRI applications for psychiatric disease subtyping: a review

abstract: Psychiatric disorders have historically been classified using symptom information alone. With the advent of new technologies that allowed researchers to investigate brain mechanisms more directly, interest in the mechanistic rationale behind defined pathologies and aetiology redefinition has greatly increased. This is particularly appealing for the field of personalised medicine, which searches for data-driven approaches to improve individual diagnosis, prognosis and treatment selection. Here we intend to systematically analyse the usage of functional MRI on both the elucidation of psychiatric disease biotypes and the interpretation of subtypes obtained via unsupervised learning applied to symptom or biomarker data. We searched the existing literature for functional MRI applications to the obtention or interpretation of psychiatric disease subtypes. The PRISMA guidelines were applied to filter the retrieved studies, and the active learning framework ASReviews was applied for article prioritization. From the 20 studies that met the inclusion criteria, 5 used functional MRI data to interpret symptom-derived disease clusters, 4 used it for the interpretation of clusters derived from biomarker data other than fMRI itself, and 11 applied clustering to fMRI directly. Major depression disorder and schizophrenia were the two most studied pathologies, followed by ADHD, psychosis, autism disorder, and early violence. No trans-diagnostic studies were retrieved. While interest in personalised medicine and data-driven disease subtyping is on the rise and psychiatry is not the exception, unsupervised analyses of functional MRI data are inconsistent to date, and much remains to be done in terms of gathering and centralising data, standardising pipelines and model validation, and method refinement. The usage of fMRI in the field of trans-diagnostic psychiatry remains vastly unexplored.


title: Identifying Packet Loss and Reordering Packets in Keyed UDP Transmissions

abstract: The User Datagram Protocol (UDP) and other similar protocols send the application data from the source machine to the destination machine inside segments, without foreseeing nor allowing for any type of control on the transmission or success metrics. These protocols are very convenient for e.g. real time data transmission. But when the reliability of the transmitted data is critical, other protocols termed as connection-oriented, allow for full control of the data transmission process, assuring that the received data is an exact copy of the transmitted data, e.g. the case of the Transmission Control Protocol (TCP). To sustain the increased functionality and features of the connection-oriented protocol, a set of mechanisms is implemented based on some specific fields of the segment header. These mechanisms result in a significant overhead in terms of the increased number of transmitted packets. This may further translate into significant delays, because of the additional number of switching and routing tasks, and eventually, because of more complex communications procedures, such as e.g. transmission window resizing, and of course, acknowledgement and sequence numbers updating. The two extremes of these communication modalities, one that has no control at all, and the other one that allows for full control, have resulted in the creation of an intermediate protocol that allows for a limited degree of knowledge on how successful a transmission was, and even for an eventual reordering of the segments that arrive out of sequence. This paper presents simulation results that confirm the efficiency of the new almost-reliable UDP protocol, termed Keyed User Datagram Protocol (or KUDP) for transmission of data that includes the ability to identify which packets were lost and to reorder packets that were received out-of-sequence, and points future tasks to be pursued in this research.


title: Approximation Theory of Tree Tensor Networks: Tensorized Univariate Functions -- Part II

abstract: We study the approximation by tensor networks (TNs) of functions from classical smoothness classes. The considered approximation tool combines a tensorization of functions in $L^p([0,1))$, which allows to identify a univariate function with a multivariate function (or tensor), and the use of tree tensor networks (the tensor train format) for exploiting low-rank structures of multivariate functions. The resulting tool can be interpreted as a feed-forward neural network, with first layers implementing the tensorization, interpreted as a particular featuring step, followed by a sum-product network with sparse architecture. In part I of this work, we presented several approximation classes associated with different measures of complexity of tensor networks and studied their properties. In this work (part II), we show how classical approximation tools, such as polynomials or splines (with fixed or free knots), can be encoded as a tensor network with controlled complexity. We use this to derive direct (Jackson) inequalities for the approximation spaces of tensor networks. This is then utilized to show that Besov spaces are continuously embedded into these approximation spaces. In other words, we show that arbitrary Besov functions can be approximated with optimal or near to optimal rate. We also show that an arbitrary function in the approximation class possesses no Besov smoothness, unless one limits the depth of the tensor network.


title: Null-eigenvalue localization of quantum walks on real-world complex networks

abstract: First we report that the adjacency matrices of real-world complex networks systematically have null eigenspaces with much higher dimensions than that of random networks. These null eigenvalues are caused by duplication mechanisms leading to structures with local symmetries which should be more present in complex organizations. The associated eigenvectors of these states are strongly localized. We then evaluate these microstructures in the context of quantum mechanics, demonstrating the previously mentioned localization by studying the spread of continuous-time quantum walks. This null-eigenvalue localization is essentially different from the Anderson localization in the following points: first, the eigenvalues do not lie on the edges of the density of states but at its center; second, the eigenstates do not decay exponentially and do not leak out of the symmetric structures. In this sense, it is closer to the bound state in continuum.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech quant-ph


title: Multifunctional Meta-Optic Systems: Inversely Designed with Artificial Intelligence

abstract: Flat optics foresees a new era of ultra-compact optical devices, where metasurfaces serve as the foundation. Conventional designs of metasurfaces start with a certain structure as the prototype, followed by an extensive parametric sweep to accommodate the requirements of phase and amplitude of the emerging light. Regardless of how computation-consuming the process is, a predefined structure can hardly realize the independent control over the polarization, frequency, and spatial channels, which hinders the potential of metasurfaces to be multifunctional. Besides, achieving complicated and multiple functions calls for designing a meta-optic system with multiple cascading layers of metasurfaces, which introduces super exponential complexity. In this work we present an artificial intelligence framework for designing multilayer meta-optic systems with multifunctional capabilities. We demonstrate examples of a polarization-multiplexed dual-functional beam generator, a second order differentiator for all-optical computation, and a space-polarization-wavelength multiplexed hologram. These examples are barely achievable by single-layer metasurfaces and unattainable by traditional design processes.


title: Multi-view Frequency LSTM: An Efficient Frontend for Automatic Speech Recognition

abstract: Acoustic models in real-time speech recognition systems typically stack multiple unidirectional LSTM layers to process the acoustic frames over time. Performance improvements over vanilla LSTM architectures have been reported by prepending a stack of frequency-LSTM (FLSTM) layers to the time LSTM. These FLSTM layers can learn a more robust input feature to the time LSTM layers by modeling time-frequency correlations in the acoustic input signals. A drawback of FLSTM based architectures however is that they operate at a predefined, and tuned, window size and stride, referred to as 'view' in this paper. We present a simple and efficient modification by combining the outputs of multiple FLSTM stacks with different views, into a dimensionality reduced feature representation. The proposed multi-view FLSTM architecture allows to model a wider range of time-frequency correlations compared to an FLSTM model with single view. When trained on 50K hours of English far-field speech data with CTC loss followed by sMBR sequence training, we show that the multi-view FLSTM acoustic model provides relative Word Error Rate (WER) improvements of 3-7% for different speaker and acoustic environment scenarios over an optimized single FLSTM model, while retaining a similar computational footprint.


title: Convex optimization for finite horizon robust covariance control of linear stochastic systems

abstract: This work addresses the finite-horizon robust covariance control problem for discrete-time, partially observable, linear system affected by random zero mean noise and deterministic but unknown disturbances restricted to lie in what is called ellitopic uncertainty set (e.g., finite intersection of centered at the origin ellipsoids/elliptic cylinders). Performance specifications are imposed on the random state-control trajectory via averaged convex quadratic inequalities, linear inequalities on the mean, as well as pre-specified upper bounds on the covariance matrix. For this problem we develop a computationally tractable procedure for designing affine control policies, in the sense that the parameters of the policy that guarantees the aforementioned performance specifications are obtained as solutions to an explicit convex program. Our theoretical findings are illustrated by a numerical example.


title: Problems with Lorentz Violation Originating From a Cosmologically Varying Pseudoscalar Field

abstract: Lorentz- and CPT-violating models of electrodynamics with Chern-Simons terms are typically plagued by various sorts of instabilities. However, when the Chern-Simons term arises from a slow time variation in a pseudoscalar field with an axion-like electromagnetic coupling, the total energy of the theory is bounded below. We examine the behavior of such a theory, finding that in a systematic power series expansion of the magnetic and pseudoscalar fields, singularities appear in the field profiles. Some of the questionable behavior can be cured by taking a fully nonperturbative approach, but other problematic terms remain. This may be an indication that Cerenkov-like radiation will automatically carry away energy from a moving charge, preventing a charge from moving with uniform velocity over extended distances.


title: Hybrid Wannier Chern bands in magic angle twisted bilayer graphene and the quantized anomalous Hall effect

abstract: We propose a method for studying the strong interaction regimes in twisted bilayer graphene using hybrid Wannier functions, that are Wannier-like in one direction and Bloch-like in the other. We focus on the active bands as given by the continuum model proposed by Bistritzer and MacDonald, and discuss the properties of corresponding hybrid Wannier functions. We then employ the method for a study of the fillings of $\pm 3$ electrons per moir\'e cell using the Hartree-Fock method. We discuss at length different regimes under which a quantized anomalous Hall effect is seen in these two fillings.


title: An Approach for Clustering Subjects According to Similarities in Cell Distributions within Biopsies

abstract: In this paper, we introduce a novel and interpretable methodology to cluster subjects suffering from cancer, based on features extracted from their biopsies. Contrary to existing approaches, we propose here to capture complex patterns in the repartitions of their cells using histograms, and compare subjects on the basis of these repartitions. We describe here our complete workflow, including creation of the database, cells segmentation and phenotyping, computation of complex features, choice of a distance function between features, clustering between subjects using that distance, and survival analysis of obtained clusters. We illustrate our approach on a database of hematoxylin and eosin (H&E)-stained tissues of subjects suffering from Stage I lung adenocarcinoma, where our results match existing knowledge in prognosis estimation with high confidence.