title: Tensor Decomposition for Multi-agent Predictive State Representation

abstract: Predictive state representation~(PSR) uses a vector of action-observation sequence to represent the system dynamics and subsequently predicts the probability of future events. It is a concise knowledge representation that is well studied in a single-agent planning problem domain. To the best of our knowledge, there is no existing work on using PSR to solve multi-agent planning problems. Learning a multi-agent PSR model is quite difficult especially with the increasing number of agents, not to mention the complexity of a problem domain. In this paper, we resort to tensor techniques to tackle the challenging task of multi-agent PSR model development problems. By first focusing on a two-agent setting, we construct the system dynamics matrix as a high order tensor for a PSR model, learn the prediction parameters and deduce state vectors directly through two different tensor decomposition methods respectively, and derive the transition parameters via linear regression. Subsequently, we generalize the PSR learning approaches in a multi-agent setting. Experimental results show that our methods can effectively solve multi-agent PSR modelling problems in multiple problem domains.


title: Poset Hopf Monoids

abstract: We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related through a Galois connection, then they are dual to each other. This duality is best understood by introducing a new basis constructed through M\"obius inversion. We use this new basis to give uniform proofs for cofreeness and calculations of primitives for the Hopf monoids of set partitions, graphs, hypergraphs, and simplicial complexes. Further, we show that the monoid and comonoid of a Hopf monoid are related through a Galois connection if and only if the Hopf monoid is linearized, commutative, and cocommutative. In these cases, we give a grouping-free formula for the antipode in terms of an evaluation of the characteristic polynomial of a related poset. This gives new proofs for the antipodes of the Hopf monoids of graphs, hypergraphs, set partitions, and simplicial complexes.


title: AFAT: Adaptive Failure-Aware Tracker for Robust Visual Object Tracking

abstract: Siamese approaches have achieved promising performance in visual object tracking recently. The key to the success of Siamese trackers is to learn appearance-invariant feature embedding functions via pair-wise offline training on large-scale video datasets. However, the Siamese paradigm uses one-shot learning to model the online tracking task, which impedes online adaptation in the tracking process. Additionally, the uncertainty of an online tracking response is not measured, leading to the problem of ignoring potential failures. In this paper, we advocate online adaptation in the tracking stage. To this end, we propose a failure-aware system, realised by a Quality Prediction Network (QPN), based on convolutional and LSTM modules in the decision stage, enabling online reporting of potential tracking failures. Specifically, sequential response maps from previous successive frames as well as current frame are collected to predict the tracking confidence, realising spatio-temporal fusion in the decision level. In addition, we further provide an Adaptive Failure-Aware Tracker (AFAT) by combing the state-of-the-art Siamese trackers with our system. The experimental results obtained on standard benchmarking datasets demonstrate the effectiveness of the proposed failure-aware system and the merits of our AFAT tracker, with outstanding and balanced performance in both accuracy and speed.


title: Code Duplication and Reuse in Jupyter Notebooks

abstract: Duplicating one's own code makes it faster to write software. This expediency is particularly valuable for users of computational notebooks. Duplication allows notebook users to quickly test hypotheses and iterate over data. In this paper, we explore how much, how and from where code duplication occurs in computational notebooks, and identify potential barriers to code reuse. Previous work in the area of computational notebooks describes developers' motivations for reuse and duplication but does not show how much reuse occurs or which barriers they face when reusing code. To address this gap, we first analyzed GitHub repositories for code duplicates contained in a repository's Jupyter notebooks, and then conducted an observational user study of code reuse, where participants solved specific tasks using notebooks. Our findings reveal that repositories in our sample have a mean self-duplication rate of 7.6%. However, in our user study, few participants duplicated their own code, preferring to reuse code from online sources.


title: From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata

abstract: The question whether P equals NP revolves around the discrepancy between active production and mere verification by Turing machines. In this paper, we examine the analogous problem for finite transducers and automata. Every nondeterministic finite transducer defines a binary relation associating each input word with all output words that the transducer can successfully produce on the given input. Finite-valued transducers are those for which there is a finite upper bound on the number of output words that the relation associates with every input word. We characterize finite-valued, functional, and unambiguous nondeterministic transducers whose relations can be verified by a deterministic two-tape automaton, show how to construct such an automaton if one exists, and prove the undecidability of the criterion.


title: List Decoding of Arikan's PAC Codes

abstract: Polar coding gives rise to the first explicit family of codes that provably achieve capacity with efficient encoding and decoding for a wide range of channels. However, its performance at short block lengths is far from optimal. Arikan has recently presented a new polar coding scheme, which he called polarization-adjusted convolutional (PAC) codes. Such PAC codes provide dramatic improvement in performance as compared to both standard successive-cancellation decoding as well as CRC-aided list decoding. Arikan's PAC codes are based primarily upon the following ideas: replacing CRC precoding with convolutional precoding (under appropriate rate profiling) and replacing list decoding by sequential decoding. His simulations show that PAC codes, resulting from the combination of these ideas, are close to finite-length bounds on the performance of any code under ML decoding. One of our main goals in this paper is to answer the following question: is sequential decoding essential for the superior performance of PAC codes? We show that similar performance can be achieved using list decoding when the list size $L$ is moderately large (say, $L \ge 128$). List decoding has distinct advantages over sequential decoding is certain scenarios, such as low-SNR regimes or situations where the worst-case complexity/latency is the primary constraint. Another objective is to provide some insights into the remarkable performance of PAC codes. We first observe that both sequential decoding and list decoding of PAC codes closely match ML decoding thereof. We then estimate the number of low weight codewords in PAC codes, using these estimates to approximate the union bound on their performance under ML decoding. These results indicate that PAC codes are superior to both polar codes and Reed-Muller codes, and suggest that the goal of rate-profiling may be to optimize the weight distribution at low weights.


title: Mitigating Advanced Adversarial Attacks with More Advanced Gradient Obfuscation Techniques

abstract: Deep Neural Networks (DNNs) are well-known to be vulnerable to Adversarial Examples (AEs). A large amount of efforts have been spent to launch and heat the arms race between the attackers and defenders. Recently, advanced gradient-based attack techniques were proposed (e.g., BPDA and EOT), which have defeated a considerable number of existing defense methods. Up to today, there are still no satisfactory solutions that can effectively and efficiently defend against those attacks. In this paper, we make a steady step towards mitigating those advanced gradient-based attacks with two major contributions. First, we perform an in-depth analysis about the root causes of those attacks, and propose four properties that can break the fundamental assumptions of those attacks. Second, we identify a set of operations that can meet those properties. By integrating these operations, we design two preprocessing functions that can invalidate these powerful attacks. Extensive evaluations indicate that our solutions can effectively mitigate all existing standard and advanced attack techniques, and beat 11 state-of-the-art defense solutions published in top-tier conferences over the past 2 years. The defender can employ our solutions to constrain the attack success rate below 7% for the strongest attacks even the adversary has spent dozens of GPU hours.


title: Few-Shot Open-Set Recognition using Meta-Learning

abstract: The problem of open-set recognition is considered. While previous approaches only consider this problem in the context of large-scale classifier training, we seek a unified solution for this and the low-shot classification setting. It is argued that the classic softmax classifier is a poor solution for open-set recognition, since it tends to overfit on the training classes. Randomization is then proposed as a solution to this problem. This suggests the use of meta-learning techniques, commonly used for few-shot classification, for the solution of open-set recognition. A new oPen sEt mEta LEaRning (PEELER) algorithm is then introduced. This combines the random selection of a set of novel classes per episode, a loss that maximizes the posterior entropy for examples of those classes, and a new metric learning formulation based on the Mahalanobis distance. Experimental results show that PEELER achieves state of the art open set recognition performance for both few-shot and large-scale recognition. On CIFAR and miniImageNet, it achieves substantial gains in seen/unseen class detection AUROC for a given seen-class classification accuracy.


title: OPRA: An Open-Source Online Preference Reporting and Aggregation System

abstract: We introduce the Online Preference Reporting and Aggregation (OPRA) system, an open-source online system that aims at providing support for group decision-making. We illustrate OPRA's distinctive features: UI for reporting rankings with ties, comprehensive analytics of preferences, and group decision-making in combinatorial domains. We also discuss our work in an automatic mentor matching system. We hope that the open-source nature of OPRA will foster the development of computerized group decision support systems.


title: Optimal Anticodes, Diameter Perfect Codes, Chains and Weights

abstract: Let $P$ be a partial order on $[n] = \{1,2,\ldots,n\}$, $\mathbb{F}_{q}^n$ be the linear space of $n$-tuples over a finite field $\mathbb{F}_{q}$ and $w$ be a weight on $\mathbb{F}_{q}$. In this paper, we consider metrics on $\mathbb{F}_{q}^n$ induced by chain orders $P$ over $[n]$ and weights $w$ over $\mathbb{F}_q$, and we determine the cardinality of all optimal anticodes and completely classify them. Moreover, we determine all diameter perfect codes for a set of relevant instances on the aforementioned metric spaces.


title: Better and Simpler Learning-Augmented Online Caching

abstract: Lykouris and Vassilvitskii (ICML 2018) introduce a model of online caching with machine-learned advice, where each page request additionally comes with a prediction of when that page will next be requested. In this model, a natural goal is to design algorithms that (1) perform well when the advice is accurate and (2) remain robust in the worst case a la traditional competitive analysis. Lykouris and Vassilvitskii give such an algorithm by adapting the Marker algorithm to the learning-augmented setting. In a recent work, Rohatgi (SODA 2020) improves on their result with an approach also inspired by randomized marking. We continue the study of this problem, but with a somewhat different approach: We consider combining the BlindOracle algorithm, which just na\"ively follows the predictions, with an optimal competitive algorithm for online caching in a black-box manner. The resulting algorithm outperforms all existing approaches while being significantly simpler. Moreover, we show that combining BlindOracle with LRU is in fact optimal among deterministic algorithms for this problem.


title: A second-order accurate semi-Lagrangian method for convection-diffusion equations with interfacial jumps

abstract: In this paper, we present a second-order accurate finite-difference method for solving convectiondiffusion equations with interfacial jumps on a moving interface. The proposed method is constructed under a semi-Lagrangian framework for convection-diffusion equations; a novel interpolation scheme is developed in the presence of jump conditions. Combined with a second-order ghost fluid method [3], a sharp capturing method with a first-order local truncation error near the interface and second-order truncation error away from the interface is developed for the convectiondiffusion equation. In addition, a level-set advection algorithm is presented when the velocity gradient jumps across the interface. Numerical experiments support the conclusion that the proposed methods for convection-diffusion equations and level-set advection are necessary for the second-order convergence solution and the interface position.


title: Operationalizing the Legal Principle of Data Minimization for Personalization

abstract: Article 5(1)(c) of the European Union's General Data Protection Regulation (GDPR) requires that "personal data shall be [...] adequate, relevant, and limited to what is necessary in relation to the purposes for which they are processed (`data minimisation')". To date, the legal and computational definitions of `purpose limitation' and `data minimization' remain largely unclear. In particular, the interpretation of these principles is an open issue for information access systems that optimize for user experience through personalization and do not strictly require personal data collection for the delivery of basic service. In this paper, we identify a lack of a homogeneous interpretation of the data minimization principle and explore two operational definitions applicable in the context of personalization. The focus of our empirical study in the domain of recommender systems is on providing foundational insights about the (i) feasibility of different data minimization definitions, (ii) robustness of different recommendation algorithms to minimization, and (iii) performance of different minimization strategies.We find that the performance decrease incurred by data minimization might not be substantial, but that it might disparately impact different users---a finding which has implications for the viability of different formal minimization definitions. Overall, our analysis uncovers the complexities of the data minimization problem in the context of personalization and maps the remaining computational and regulatory challenges.


title: Synthetic control method with convex hull restrictions: A Bayesian maximum a posteriori approach

abstract: Synthetic control methods have gained popularity among causal studies with observational data, particularly when estimating the impacts of the interventions that are implemented to a small number of large units. Implementing the synthetic control methods faces two major challenges: a) estimating weights for each control unit to create a synthetic control and b) providing statistical inferences. To overcome these challenges, we propose a Bayesian framework that implements the synthetic control method with the parallelly shiftable convex hull and provides a useful Bayesian inference, which is drawn from the duality between a penalized least squares method and a Bayesian Maximum A Posteriori (MAP) approach. Simulation results indicate that the proposed method leads to smaller biases compared to alternatives. We apply our Bayesian method to the real data example of Abadie and Gardeazabal (2003) and find that the treatment effects are statistically significant during the subset of the post-treatment period.


title: Nonlinear/non-iterative treatment of EFT-motivated gravity

abstract: We study a higher derivative extension to General Relativity and present a fully nonlinear/non-perturbative treatment to construct initial data and study its dynamical behavior in spherical symmetry when coupled to a massless scalar field. For initial data, we compare the obtained solutions with those from alternative treatments that rely on a perturbative (or iterative) approach. For the future evolution of such data, we implement a recently introduced approach which addresses mathematical pathologies brought in by the higher derivatives. Our solutions demonstrate the presence of unexpected phenomena -when seen from the lense of General Relativity, as well as departures from General Relativity in the quasi-normal mode behavior of the scalar field scattering off the black hole.


title: A note on highly Kummer-faithful fields

abstract: We introduce a notion of highly Kummer-faithful fields and study its relationship with the notion of Kummer-faithful fields. We also give some examples of highly Kummer-faithful fields. For example, if $k$ is a number field of finite degree over $\mathbb{Q}$, $g$ is an integer $>0$ and $\mathbf{m}=(m_p)_p$ is a family of non-negative integers, where $p$ ranges over all prime numbers, then the extension field $k_{g,\mathbf{m}}$ obtained by adjoining to $k$ all coordinates of the elements of the $p^{m_p}$-torsion subgroup $A[p^{m_p}]$ of $A$ for all semi-abelian varieties $A$ over $k$ of dimension at most $g$ and all prime numbers $p$, is highly Kummer-faithful.


title: COVID-19 and Global Economic Growth: Policy Simulations with a Pandemic-Enabled Neoclassical Growth Model

abstract: During the COVID-19 pandemic of 2019/2020, authorities have used temporary ad-hoc policy measures, such as lockdowns and mass quarantines, to slow its transmission. However, the consequences of widespread use of these unprecedented measures are poorly understood. To contribute to the understanding of the economic and human consequences of such policy measures, we therefore construct a mathematical model of an economy under the impact of a pandemic, select parameter values to represent the global economy under the impact of COVID-19, and perform numerical experiments by simulating a large number of possible policy responses. By varying the starting date of the policy intervention in the simulated scenarios, we find that the most effective policy intervention occurs around the time when the number of active infections is growing at its highest rate -- that is, the results suggest that the most severe measures should only be implemented when the disease is sufficiently spread. The intensity of the intervention, above a certain threshold, does not appear to have a great impact on the outcomes in our simulations, due to the strongly concave relationship that we identify between production shortfall and infection rate reductions. Our experiments further suggest that the intervention should last until after the peak established by the reduced infection rate, which implies that stricter policies should last longer. The model and its implementation, along with the general insights from our policy experiments, may help policymakers design effective emergency policy responses in the face of a serious pandemic, and contribute to our understanding of the relationship between the economic growth and the spread of infectious diseases.


title: Staircase-like transfer characteristics in multilayer MoS2 field-effect transistors

abstract: Layered semiconductors, such as MoS2, have attracted interest as channel materials for post-silicon and beyond-CMOS electronics. Much attention has been devoted to the monolayer limit, but the monolayer channel is not necessarily advantageous in terms of the performance of field-effect transistors (FETs). Therefore, it is important to investigate the characteristics of FETs that have multilayer channels. Here, we report the staircase-like transfer characteristics of FETs with exfoliated multilayer MoS2 flakes. Atomic force microscope characterizations reveal that the presence of thinner terraces at the edges of the flakes accompanies the staircase-like characteristics. The anomalous staircase-like characteristics are ascribable to a difference in threshold-voltage shift by charge transfer from surface adsorbates between the channel center and the thinner terrace at the edge. This study reveals the importance of the uniformity of channel thickness.


title: Fully implicit and accurate treatment of jump conditions for two-phase incompressible Navier-Stokes equation

abstract: We present a numerical method for two-phase incompressible Navier-Stokes equation with jump discontinuity in the normal component of the stress tensor and in the material properties. Although the proposed method is only first-order accurate, it does capture discontinuity sharply, not neglecting nor omitting any component of the jump condition. Discontinuities in velocity gradient and pressure are expressed using a linear combination of singular force and tangential derivatives of velocities to handle jump conditions in a fully implicit manner. The linear system for the divergence of the stress tensor is constructed in the framework of the ghost fluid method, and the resulting saddle-point system is solved via an iterative procedure. Numerical results support the inference that the proposed method converges in $L^\infty$ norms even when velocities and pressures are not smooth across the interface and can handle a large density ratio that is likely to appear in a real-world simulation.


title: Global Solutions of the Compressible Euler Equations with Large Initial Data of Spherical Symmetry and Positive Far-Field Density

abstract: We are concerned with the global existence theory for spherically symmetric solutions of the multidimensional compressible Euler equations with large initial data of positive far-field density. The central feature of the solutions is the strengthening of waves as they move radially inward toward the origin. Various examples have shown that the spherically symmetric solutions of the Euler equations blow up near the origin at certain time. A fundamental unsolved problem is whether the density of the global solution would form concentration to become a measure near the origin for the case when the total initial-energy is unbounded and the wave propagation is not at a finite speed starting initially. In this paper, we establish a global existence theory for spherically symmetric solutions of the compressible Euler equations with large initial data of positive far-field density and relative finite-energy. This is achieved by developing a new approach via adapting a class of degenerate density-dependent viscosity terms, so that a rigorous proof of the vanishing viscosity limit of global weak solutions of the Navier-Stokes equations with the density-dependent viscosity terms to the corresponding global solution of the Euler equations with large initial data of spherical symmetry and positive far-field density can be obtained. One of our main observations is that the adapted class of degenerate density-dependent viscosity terms not only includes the viscosity terms for the Navier-Stokes equations for shallow water (Saint Venant) flows but also, more importantly, is suitable to achieve our key objective of this paper. These results indicate that concentration is not formed in the vanishing viscosity limit for the Navier-Stokes approximations constructed in this paper even when the total initial-energy is unbounded.


title: Arithmetic Groups and the Lehmer Conjecture

abstract: We generalize a result of Sury and prove that uniform discreteness of cocompact lattices in higher rank semisimple Lie groups (first conjectured by Margulis) is equivalent to a weak form of Lehmer's conjecture. We include a short survey of related results and conjectures.


title: Tropical flag varieties

abstract: Flag matroids are combinatorial abstractions of flags of linear subspaces, just as matroids are of linear subspaces. We introduce the flag Dressian as a tropical analogue of the partial flag variety, and prove a correspondence between: (a) points on the flag Dressian, (b) valuated flag matroids, (c) flags of projective tropical linear spaces, and (d) coherent flag matroidal subdivisions. We introduce and characterize projective tropical linear spaces, which serve as a fundamental tool in our proof. We apply the correspondence to prove that all valuated flag matroids on ground set up to size 5 are realizable, and give an example where this fails for a flag matroid on 6 elements.


title: Quasi Branch and Bound for Smooth Global Optimization

abstract: Quasi branch and bound is a recently introduced generalization of branch and bound, where lower bounds are replaced by a relaxed notion of quasi-lower bounds, required to be lower bounds only for sub-cubes containing a minimizer. This paper is devoted to studying the possible benefits of this approach, for the problem of minimizing a smooth function over a cube. This is accomplished by suggesting two quasi branch and bound algorithms, qBnB(2) and qBnB(3), that compare favorably with alternative branch and bound algorithms. The first algorithm we propose, qBnB(2), achieves second order convergence based only on a bound on second derivatives, without requiring calculation of derivatives. As such, this algorithm is suitable for derivative free optimization, for which typical algorithms such as Lipschitz optimization only have first order convergence and so suffer from limited accuracy due to the clustering problem. Additionally, qBnB(2) is provably more efficient than the second order Lipschitz gradient algorithm which does require exact calculation of gradients. The second algorithm we propose, qBnB(3), has third order convergence and finite termination. In contrast with BnB algorithms with similar guarantees who typically compute lower bounds via solving relatively time consuming convex optimization problems, calculation of qBnB(3) bounds only requires solving a small number of Newton iterations. Our experiments verify the potential of both these methods in comparison with state of the art branch and bound algorithms.


title: Nonreciprocal Magnon by Symmetric Anisotropic Exchange Interaction in Honeycomb Antiferromagnet

abstract: We investigate a microscopic origin of nonreciprocal magnon that is distinct from the Dzyaloshinskii-Moriya interaction in a honeycomb antiferromagnet. The key ingredient is a symmetric anisotropic exchange interaction depending on the bond direction, which results in a valley-type nonreciprocal magnon excitations under the staggered antiferromagnetic ordering. Furthermore, we find this type of nonreciprocal magnon exhibits a peculiar magnetic-field response; the nonreciprocal direction can be manipulated by the in-plane rotating magnetic field. The obtained results can be accounted for the emergence of the magnetic toroidal multipoles.


title: Inclusive semi-leptonic decays from lattice QCD

abstract: We develop a method to compute inclusive semi-leptonic decay rate of hadrons fully non-perturbatively using lattice QCD simulations. The sum over all possible final states is achieved by a calculation of the forward-scattering matrix elements on the lattice, and the phase-space integral is evaluated using their dependence on the time separation between two inserted currents. We perform a pilot lattice computation for the B_s -> X_c l nu decay with an unphysical bottom quark mass and compare the results with the corresponding OPE calculation. The method to treat the inclusive processes on the lattice can be applied to other processes, such as the lepton-nucleon inelastic scattering.


title: Multi-access Coded Caching Schemes From Cross Resolvable Designs

abstract: We present a novel caching and coded delivery scheme for a multi-access network where multiple users can have access to the same cache (shared cache) and any cache can assist multiple users. This scheme is obtained from resolvable designs satisfying certain conditions which we call {\it cross resolvable designs}. To be able to compare different multi-access coded schemes with different number of users we normalize the rate of the schemes by the number of users served. Based on this per-user-rate we show that our scheme performs better than the well known Maddah-Ali - Nieson (MaN) scheme and the recently proposed ("Multi-access coded caching : gains beyond cache-redundancy" by Serbetci, Parrinello and Elia) SPE scheme. It is shown that the resolvable designs from affine planes are cross resolvable designs and our scheme based on these performs better than the MaN scheme for large memory size cases. The exact size beyond which our performance is better is also presented. The SPE scheme considers only the cases where the product of the number of users and the normalized cache size is 2, whereas the proposed scheme allows different choices depending on the choice of the cross resolvable design.


title: Rotating Gauss-Bonnet BTZ Black Holes

abstract: We obtain rotating black hole solutions to the novel 3D Gauss-Bonnet theory of gravity recently proposed. These solutions generalize the BTZ metric and are not of constant curvature. They possess an ergoregion and outer horizon, but do not have an inner horizon. We present their basic properties and show that they break the universality of thermodynamics present for their static charged counterparts, whose properties we also discuss. Extending our considerations to higher dimensions, we also obtain novel 4D Gauss-Bonnet rotating black strings.


title: Multipartite Gaussian Entanglement of Formation

abstract: Entanglement of formation is a fundamental measure that quantifies the entanglement of bipartite quantum states. This measure has recently been extended into multipartite states taking the name $\alpha$-entanglement of formation. In this work, we follow an analogous multipartite extension for the Gaussian version of entanglement of formation, and focusing on the the finest partition of a multipartite Gaussian state we show this measure is fully additive and computable for 3-mode Gaussian states.


title: Anomaly Detection Based on Deep Learning Using Video for Prevention of Industrial Accidents

abstract: This paper proposes an anomaly detection method for the prevention of industrial accidents using machine learning technology.


title: Logic Verification of Ultra-Deep Pipelined Beyond-CMOS Technologies

abstract: Traditional logical equivalence checking (LEC) which plays a major role in entire chip design process faces challenges of meeting the requirements demanded by the many emerging technologies that are based on logic models different from standard complementary metal oxide semiconductor (CMOS). In this paper, we propose a LEC framework to be employed in the verification process of beyond-CMOS circuits. Our LEC framework is compatible with existing CMOS technologies, but, also able to check features and capabilities that are unique to beyond-CMOS technologies. For instance, the performance of some emerging technologies benefits from ultra-deep pipelining and verification of such circuits requires new models and algorithms. We, therefore, present the Multi-Cycle Input Dependency (MCID) circuit model which is a novel model representation of design to explicitly capture the dependency of primary outputs of the circuit on sequences of internal signals and inputs. Embedding the proposed circuit model and several structural checking modules, the process of verification can be independent of the underlying technology and signaling. We benchmark the proposed framework on post-synthesis rapid single-flux-quantum (RSFQ) netlists. Results show a comparative verification time of RSFQ circuit benchmark including 32-bit Kogge-Stone adder, 16-bit integer divider, and ISCAS'85 circuits with respect to ABC tool for similar CMOS circuits.


title: L^2UWE: A Framework for the Efficient Enhancement of Low-Light Underwater Images Using Local Contrast and Multi-Scale Fusion

abstract: Images captured underwater often suffer from suboptimal illumination settings that can hide important visual features, reducing their quality. We present a novel single-image low-light underwater image enhancer, L^2UWE, that builds on our observation that an efficient model of atmospheric lighting can be derived from local contrast information. We create two distinct models and generate two enhanced images from them: one that highlights finer details, the other focused on darkness removal. A multi-scale fusion process is employed to combine these images while emphasizing regions of higher luminance, saliency and local contrast. We demonstrate the performance of L^2UWE by using seven metrics to test it against seven state-of-the-art enhancement methods specific to underwater and low-light scenes. Code available at: https://github.com/tunai/l2uwe.


title: Performance Limits of Fluid Antenna Systems

abstract: Fluid antenna represents a concept where a mechanically flexible antenna can switch its location freely within a given space. Recently, it has been reported that even with a tiny space, a single-antenna fluid antenna system (FAS) can outperform an L-antenna maximum ratio combining (MRC) system in terms of outage probability if the number of locations (or ports) the fluid antenna can be switched to, is large enough. This letter aims to study if extraordinary capacity can also be achieved by FAS with a small space. We do this by deriving the ergodic capacity, and a capacity lower bound. This letter also derives the level crossing rate (LCR) and average fade duration (AFD) for the FAS.


title: Model-Based Risk Assessment for Cyber Physical Systems Security

abstract: Traditional techniques for Cyber-Physical Systems (CPS) security design either treat the cyber and physical systems independently, or do not address the specific vulnerabilities of real time embedded controllers and networks used to monitor and control physical processes. In this work, we develop and test an integrated model-based approach for CPS security risk assessment utilizing a CPS testbed with real-world industrial controllers and communication protocols. The testbed monitors and controls an exothermic Continuous Stirred Tank Reactor (CSTR) simulated in real-time. CSTR is a fundamental process unit in many industries, including Oil \& Gas, Petrochemicals, Water treatment, and nuclear industry. In addition, the process is rich in terms of hazardous scenarios that could be triggered by cyber attacks due to the lack of possible mechanical protection. The paper presents an integrated approach to analyze and design the cyber security system for a given CPS where the physical threats are identified first to guide the risk assessment process. A mathematical model is derived for the physical system using a hybrid automaton to enumerate potential hazardous states of the system. The cyber system is then analyzed using network and data flow models to develop the attack scenarios that may lead to the identified hazards. Finally, the attack scenarios are performed on the testbed and observations are obtained on the possible ways to prevent and mitigate the attacks. The insights gained from the experiments result in several key findings, including the expressive power of hybrid automaton in security risk assessment, the hazard development time and its impact on cyber security design, and the tight coupling between the physical and the cyber systems for CPS that requires an integrated design approach to achieve cost-effective and secure designs.


title: Optimal multi-wave sampling for regression modelling in two-phase designs

abstract: Two-phase designs involve measuring extra variables on a subset of the cohort where some variables are already measured. The goal of two-phase designs is to choose a subsample of individuals from the cohort and analyse that subsample efficiently. It is of interest to obtain an optimal design that gives the most efficient estimates of regression parameters. In this paper, we propose a multi-wave sampling design to approximate the optimal design for design-based estimators. Influences functions are used to compute the optimal sampling allocations. We propose to use informative priors on regression parameters to derive the wave-1 sampling probabilities because any pre-specified sampling probabilities may be far from optimal and decrease efficiency. Generalised raking is used in statistical analysis. We show that a two-wave sampling with reasonable informative priors will end up with higher precision for the parameter of interest and be close to the underlying optimal design.


title: On BT-limited Signals

abstract: In this paper, we introduce and characterize a subspace of bandlimited signals. The subspace consists of all $\Omega$ bandlimited signals such that the non-zero parts of their Fourier transforms are pieces of some $T$ bandlimited signals. The signals in the subspace are called BT-limited signals and the subspace is named as BT-limited signal space. For BT-limited signals, a signal extrapolation with an analytic error estimate exists outside the interval [-T, T] of given signal values with errors. Some new properties about and applying BT-limited signals are also presented.


title: A Portfolio Choice Problem Under Risk Capacity Constraint

abstract: This paper studies an optimal investing problem for a retiree facing longevity risk and living standard risk. We formulate the investing problem as a portfolio choice problem under a time-varying risk capacity constraint. We derive the optimal investment strategy under the specific condition on model parameters in terms of second-order ordinary differential equations. We demonstrate an endogenous number that measures the expected value to sustain the spending post-retirement. The optimal portfolio is nearly neutral to the stock market movement if the portfolio's value is higher than this number; but, if the portfolio is not worth enough to sustain the retirement spending, the retiree actively invests in the stock market for the higher expected return. Besides, we solve an optimal portfolio choice problem under a leverage constraint and show that the optimal portfolio would lose significantly in stressed markets. This paper shows that the time-varying risk capacity constraint has important implications for asset allocation in retirement.


title: Deep Learning on the 2-Dimensional Ising Model to Extract the Crossover Region with a Variational Autoencoder

abstract: The 2-dimensional Ising model on a square lattice is investigated with a variational autoencoder in the non-vanishing field case for the purpose of extracting the crossover region between the ferromagnetic and paramagnetic phases. The encoded latent variable space is found to provide suitable metrics for tracking the order and disorder in the Ising configurations that extends to the extraction of a crossover region in a way that is consistent with expectations. The extracted results achieve an exceptional prediction for the critical point as well as agreement with previously published results on the configurational magnetizations of the model. The performance of this method provides encouragement for the use of machine learning to extract meaningful structural information from complex physical systems where little a priori data is available.


title: Red Luminescence in H-doped beta-Ga2O3

abstract: The effects of hydrogen incorporation into beta-Ga2O3 thin films have been investigated by chemical, electrical and optical characterization techniques. Hydrogen incorporation was achieved by remote plasma doping without any structural alterations of the film; however, X-ray photoemission reveals major changes in the oxygen chemical environment. Depth-resolved cathodoluminescence (CL) reveals that the near-surface region of the H-doped Ga2O3 film exhibits a distinct red luminescence (RL) band at 1.9 eV. The emergence of the H-related RL band is accompanied by an enhancement in the electrical conductivity of the film by an order of magnitude. Temperature-resolved CL points to the formation of abundant H-related donors with a binding energy of 28 +/- 4 meV. The RL emission is attributed to shallow donor-deep acceptor pair recombination, where the acceptor is a VGa-H complex and the shallow donor is interstitial H. The binding energy of the VGa-H complex, based on our experimental considerations, is consistent with the computational results by Varley et al [J. Phys.: Condens. Matter, 23, 334212, 2011].


title: A Theory of Auto-Scaling for Resource Reservation in Cloud Services

abstract: We consider a distributed server system consisting of a large number of servers, each with limited capacity on multiple resources (CPU, memory, disk, etc.). Jobs with different rewards arrive over time and require certain amounts of resources for the duration of their service. When a job arrives, the system must decide whether to admit it or reject it, and if admitted, in which server to schedule the job. The objective is to maximize the expected total reward received by the system. This problem is motivated by control of cloud computing clusters, in which, jobs are requests for Virtual Machines or Containers that reserve resources for various services, and rewards represent service priority of requests or price paid per time unit of service by clients. We study this problem in an asymptotic regime where the number of servers and jobs' arrival rates scale by a factor $L$, as $L$ becomes large. We propose a resource reservation policy that asymptotically achieves at least $1/2$, and under certain monotone property on jobs' rewards and resources, at least $1-1/e$ of the optimal expected reward. The policy automatically scales the number of VM slots for each job type as the demand changes, and decides in which servers the slots should be created in advance, without the knowledge of traffic rates. It effectively tracks a low-complexity greedy packing of existing jobs in the system while maintaining only a small number, $g(L)=\omega(\log L)$, of reserved VM slots for high priority jobs that pack well.


title: HazeDose: Design and Analysis of a Personal Air Pollution Inhaled Dose Estimation System using Wearable Sensors

abstract: Nowadays air pollution becomes one of the biggest world issues in both developing and developed countries. Helping individuals understand their air pollution exposure and health risks, the traditional way is to utilize data from static monitoring stations and estimate air pollution qualities in a large area by government agencies. Data from such sensing system is very sparse and cannot reflect real personal exposure. In recent years, several research groups have developed participatory air pollution sensing systems which use wearable or portable units coupled with smartphones to crowd-source urban air pollution data. These systems have shown remarkable improvement in spatial granularity over government-operated fixed monitoring systems. In this paper, we extend the paradigm to HazeDose system, which can personalize the individuals' air pollution exposure. Specifically, we combine the pollution concentrations obtained from an air pollution estimation system with the activity data from the individual's on-body activity monitors to estimate the personal inhalation dosage of air pollution. Users can visualize their personalized air pollution exposure information via a mobile application. We show that different activities, such as walking, cycling, or driving, impact their dosage, and commuting patterns contribute to a significant proportion of an individual's daily air pollution dosage. Moreover, we propose a dosage minimization algorithm, with the trial results showing that up to 14.1% of a biker's daily exposure can be reduced while using alternative routes the driver can inhale 25.9% less than usual. One heuristic algorithm is also introduced to balance the execution time and dosage reduction for alternative routes scenarios. The results show that up to 20.3% dosage reduction can be achieved when the execution time is almost one seventieth of the original one.


title: Tensor decomposition to Compress Convolutional Layers in Deep Learning

abstract: Feature extraction for tensor data serves as an important step in many tasks such as anomaly detection, process monitoring, image classification, and quality control. Although many methods have been proposed for tensor feature extraction, there are still two challenges that need to be addressed: 1) how to reduce the computation cost for high dimensional and large volume tensor data; 2) how to interpret the output features and evaluate their significance. {The most recent methods in deep learning, such as Convolutional Neural Network (CNN), have shown outstanding performance in analyzing tensor data, but their wide adoption is still hindered by model complexity and lack of interpretability. To fill this research gap, we propose to use CP-decomposition to approximately compress the convolutional layer (CPAC-Conv layer) in deep learning. The contributions of our work could be summarized into three aspects: (1) we adapt CP-decomposition to compress convolutional kernels and derive the expressions of both forward and backward propagations for our proposed CPAC-Conv layer; (2) compared with the original convolutional layer, the proposed CPAC-Conv layer can reduce the number of parameters without decaying prediction performance. It can combine with other layers to build novel deep Neural Networks; (3) the value of decomposed kernels indicates the significance of the corresponding feature map, which provides us with insights to guide feature selection.


title: Kinetics of charge carrier recombination in beta-Ga2O3 crystals

abstract: Cathodoluminescence spectra were measured to determine the characteristics of luminescence bands and carrier dynamics in beta-Ga2O3 bulk single crystals. The CL emission was found to be dominated by a broad UV emission peaked at 3.40 eV, which exhibits strong quenching with increasing temperature; however, its spectral shape and energy position remain virtually unchanged. We observed a super-linear increase of CL intensity with excitation density; this kinetics of carrier recombination can be explained in terms of carrier trapping and charge transfer at Fe impurity centres. The temperature-dependent properties of this UV band are consistent with weakly bound electrons in self-trapped excitons with an activation energy of 48 +/- 10 meV. In addition to the self-trapped exciton emission, a blue luminescence (BL) band is shown to be related to a donor-like defect, which increases significantly in concentration after hydrogen plasma annealing. The point defect responsible for the BL, likely an oxygen vacancy, is strongly coupled to the lattice exhibiting a Huang-Rhys factor of ~ 7.3.


title: Calibrated Surrogate Losses for Adversarially Robust Classification

abstract: Adversarially robust classification seeks a classifier that is insensitive to adversarial perturbations of test patterns. This problem is often formulated via a minimax objective, where the target loss is the worst-case value of the 0-1 loss subject to a bound on the size of perturbation. Recent work has proposed convex surrogates for the adversarial 0-1 loss, in an effort to make optimization more tractable. A primary question is that of consistency, that is, whether minimization of the surrogate risk implies minimization of the adversarial 0-1 risk. In this work, we analyze this question through the lens of calibration, which is a pointwise notion of consistency. We show that no convex surrogate loss is calibrated with respect to the adversarial 0-1 loss when restricted to the class of linear models. We further introduce a class of nonconvex losses and offer necessary and sufficient conditions for losses in this class to be calibrated. We also show that if the underlying distribution satisfies Massart's noise condition, convex losses can also be calibrated in the adversarial setting.


title: IoT-based Remote Control Study of a Robotic Trans-esophageal Ultrasound Probe via LAN and 5G

abstract: A robotic trans-esophageal echocardiography (TEE) probe has been recently developed to address the problems with manual control in the X-ray envi-ronment when a conventional probe is used for interventional procedure guidance. However, the robot was exclusively to be used in local areas and the effectiveness of remote control has not been scientifically tested. In this study, we implemented an Internet-of-things (IoT)-based configuration to the TEE robot so the system can set up a local area network (LAN) or be configured to connect to an internet cloud over 5G. To investigate the re-mote control, backlash hysteresis effects were measured and analysed. A joy-stick-based device and a button-based gamepad were then employed and compared with the manual control in a target reaching experiment for the two steering axes. The results indicated different hysteresis curves for the left-right and up-down steering axes with the input wheel's deadbands found to be 15 deg and deg, respectively. Similar magnitudes of positioning errors at approximately 0.5 deg and maximum overshoots at around 2.5 deg were found when manually and robotically controlling the TEE probe. The amount of time to finish the task indicated a better performance using the button-based gamepad over joystick-based device, although both were worse than the manual control. It is concluded that the IoT-based remote control of the TEE probe is feasible and a trained user can accurately manipulate the probe. The main identified problem was the backlash hysteresis in the steering axes, which can result in continuous oscillations and overshoots.


title: The formation of the open cluster NGC 602 in the Small Magellanic Cloud triggered by colliding HI flows

abstract: NGC 602 is an outstanding young open cluster in the Small Magellanic Cloud. We have analyzed the new HI data taken with the Galactic Australian Square Kilometre Array Pathfinder survey project at an angular resolution of 30". The results show that there are three velocity components in the NGC 602 region. We found that two of them having ~20 km s$^{-1}$ velocity separation show complementary spatial distribution with a displacement of 147 pc. We present a scenario that the two clouds collided with each other and triggered the formation of NGC 602 and eleven O stars. The average time scale of the collision is estimated to be ~8 Myr, while the collision may have continued over a few Myr. The red shifted HI cloud extending ~500 pc flows possibly to the Magellanic Bridge, which was driven by the close encounter with the Large Magellanic Cloud 200 Myr ago (Fujimoto & Noguchi 1990; Muller & Bekki 2007). Along with the RMC136 and LHA 120-N 44 regions the present results lend support for that the galaxy interaction played a role in forming high-mass stars and clusters.


title: Complex networks for event detection in heterogeneous high volume news streams

abstract: Detecting important events in high volume news streams is an important task for a variety of purposes.The volume and rate of online news increases the need for automated event detection methods thatcan operate in real time. In this paper we develop a network-based approach that makes the workingassumption that important news events always involve named entities (such as persons, locationsand organizations) that are linked in news articles. Our approach uses natural language processingtechniques to detect these entities in a stream of news articles and then creates a time-stamped seriesof networks in which the detected entities are linked by co-occurrence in articles and sentences. Inthis prototype, weighted node degree is tracked over time and change-point detection used to locateimportant events. Potential events are characterized and distinguished using community detectionon KeyGraphs that relate named entities and informative noun-phrases from related articles. Thismethodology already produces promising results and will be extended in future to include a widervariety of complex network analysis techniques.


title: Amenability of groupoids and asymptotic invariance of convolution powers

abstract: The original definition of amenability given by von Neumann in the highly non-constructive terms of means was later recast by Day using approximately invariant probability measures. Moreover, as it was conjectured by Furstenberg and proved by Kaimanovich-Vershik and Rosenblatt, the amenability of a locally compact group is actually equivalent to the existence of a single probability measure on the group with the property that the sequence of its convolution powers is asymptotically invariant. In the present article we extend this characterization of amenability to measured groupoids. It implies, in particular, that the amenability of a measure class preserving group action is equivalent to the existence of a random environment on the group parameterized by the action space, and such that the tail of the random walk in almost every environment is trivial.


title: Universal Lesion Detection by Learning from Multiple Heterogeneously Labeled Datasets

abstract: Lesion detection is an important problem within medical imaging analysis. Most previous work focuses on detecting and segmenting a specialized category of lesions (e.g., lung nodules). However, in clinical practice, radiologists are responsible for finding all possible types of anomalies. The task of universal lesion detection (ULD) was proposed to address this challenge by detecting a large variety of lesions from the whole body. There are multiple heterogeneously labeled datasets with varying label completeness: DeepLesion, the largest dataset of 32,735 annotated lesions of various types, but with even more missing annotation instances; and several fully-labeled single-type lesion datasets, such as LUNA for lung nodules and LiTS for liver tumors. In this work, we propose a novel framework to leverage all these datasets together to improve the performance of ULD. First, we learn a multi-head multi-task lesion detector using all datasets and generate lesion proposals on DeepLesion. Second, missing annotations in DeepLesion are retrieved by a new method of embedding matching that exploits clinical prior knowledge. Last, we discover suspicious but unannotated lesions using knowledge transfer from single-type lesion detectors. In this way, reliable positive and negative regions are obtained from partially-labeled and unlabeled images, which are effectively utilized to train ULD. To assess the clinically realistic protocol of 3D volumetric ULD, we fully annotated 1071 CT sub-volumes in DeepLesion. Our method outperforms the current state-of-the-art approach by 29% in the metric of average sensitivity.


title: COVID-19 and Your Smartphone: BLE-based Smart Contact Tracing

abstract: Contact tracing is of paramount importance when it comes to preventing the spreading of infectious diseases. Contact tracing is usually performed manually by authorized personnel. Manual contact tracing is an inefficient, error-prone, time-consuming process of limited utility to the population at large as those in close contact with infected individuals are informed hours, if not days, later. This paper introduces an alternative way to manual contact tracing. The proposed Smart Contact Tracing (SCT) system utilizes the smartphone's Bluetooth Low Energy (BLE) signals and machine learning classifier to accurately and quickly determined the contact profile. SCT's contribution is two-fold: a) classification of the user's contact as high/low-risk using precise proximity sensing, and b) user anonymity using a privacy-preserving communications protocol. SCT leverages BLE's non-connectable advertising feature to broadcast a signature packet when the user is in the public space. Both broadcasted and observed signatures are stored in the user's smartphone and they are only uploaded to a secure signature database when a user is confirmed by public health authorities to be infected. Using received signal strength (RSS) each smartphone estimates its distance from other user's phones and issues real-time alerts when social distancing rules are violated. The paper includes extensive experimentation utilizing real-life smartphone positions and a comparative evaluation of five machine learning classifiers. Reported results indicate that a decision tree classifier outperforms other states of the art classification methods in terms of accuracy. Lastly, to facilitate research in this area, and to contribute to the timely development of advanced solutions the entire data set of six experiments with about 123,000 data points is made publicly available.


title: Review of Mathematical frameworks for Fairness in Machine Learning

abstract: A review of the main fairness definitions and fair learning methodologies proposed in the literature over the last years is presented from a mathematical point of view. Following our independence-based approach, we consider how to build fair algorithms and the consequences on the degradation of their performance compared to the possibly unfair case. This corresponds to the price for fairness given by the criteria $\textit{statistical parity}$ or $\textit{equality of odds}$. Novel results giving the expressions of the optimal fair classifier and the optimal fair predictor (under a linear regression gaussian model) in the sense of $\textit{equality of odds}$ are presented.


title: The SIGMORPHON 2020 Shared Task on Unsupervised Morphological Paradigm Completion

abstract: In this paper, we describe the findings of the SIGMORPHON 2020 shared task on unsupervised morphological paradigm completion (SIGMORPHON 2020 Task 2), a novel task in the field of inflectional morphology. Participants were asked to submit systems which take raw text and a list of lemmas as input, and output all inflected forms, i.e., the entire morphological paradigm, of each lemma. In order to simulate a realistic use case, we first released data for 5 development languages. However, systems were officially evaluated on 9 surprise languages, which were only revealed a few days before the submission deadline. We provided a modular baseline system, which is a pipeline of 4 components. 3 teams submitted a total of 7 systems, but, surprisingly, none of the submitted systems was able to improve over the baseline on average over all 9 test languages. Only on 3 languages did a submitted system obtain the best results. This shows that unsupervised morphological paradigm completion is still largely unsolved. We present an analysis here, so that this shared task will ground further research on the topic.


title: Quasi parton distribution functions at NNLO: flavor non-diagonal quark contributions

abstract: We present a next-to-next-to-leading order (NNLO) calculation of the quasi parton distribution functions (Quasi-PDFs) in the large momentum effective theory (LaMET). We focus on the flavor non-diagonal quark-quark channel and demonstrate the LaMET factorization at the NNLO accuracy in the modified minimal subtraction scheme. The matching coefficient between the quasi-PDF and the light-cone PDF is derived. This provides a first step towards a complete NNLO analysis of quasi-PDFs and to better understand the nucleon structures from the first principle of QCD.


title: $L^p$-Kato class measures and their relations with Sobolev embedding theorems for Dirichlet spaces

abstract: In this paper, we discuss relationships between the continuous embeddings of Dirichlet spaces $(\mathcal{F}, \mathcal{E}_1)$ into Lebesgue spaces and the integrability of the associated resolvent kernel $r_\alpha(x, y)$. For a positive measure $\mu$, we consider the following two properties; the first one is that the Dirichlet space $(\mathcal{F}, \mathcal{E}_1)$ is continuously embedded into $L^{2p}(E;\mu)$ (which we write as (Sob)$_p$), and the second one is that the family of 1-order resolvent kernels $\{r_1(x, y)\}_{x\in E}$ is uniformly $p$-th integrable in $y$ with respect to the measure $\mu$ (which we write as (Dyn)$_p$). Under some assumptions, for a measure $\mu$ satisfying (Dyn)$_1$, we prove (Dyn)$_{p'}$ implies (Sob)$_p$ for $1\leq p \leq p'<\infty$, and prove (Sob)$_{p'}$ implies (Dyn)$_p$ for $1\leq p < p'<\infty$. To prove these results we introduce $L^p$-Kato class, an $L^p$-version of the set of Kato class measures, and discuss its properties. We also give variants of such relations corresponding to the Gagliardo-Nirenberg type interpolation inequalities. As an application, we discuss the continuity of intersection measures in time.


title: Stereo Vision Based Single-Shot 6D Object Pose Estimation for Bin-Picking by a Robot Manipulator

abstract: We propose a fast and accurate method of 6D object pose estimation for bin-picking of mechanical parts by a robot manipulator. We extend the single-shot approach to stereo vision by application of attention architecture. Our convolutional neural network model regresses to object locations and rotations from either a left image or a right image without depth information. Then, a stereo feature matching module, designated as Stereo Grid Attention, generates stereo grid matching maps. The important point of our method is only to calculate disparity of the objects found by the attention from stereo images, instead of calculating a point cloud over the entire image. The disparity value is then used to calculate the depth to the objects by the principle of triangulation. Our method also achieves a rapid processing speed of pose estimation by the single-shot architecture and it is possible to process a 1024 x 1024 pixels image in 75 milliseconds on the Jetson AGX Xavier implemented with half-float model. Weakly textured mechanical parts are used to exemplify the method. First, we create original synthetic datasets for training and evaluating of the proposed model. This dataset is created by capturing and rendering numerous 3D models of several types of mechanical parts in virtual space. Finally, we use a robotic manipulator with an electromagnetic gripper to pick up the mechanical parts in a cluttered state to verify the validity of our method in an actual scene. When a raw stereo image is used by the proposed method from our stereo camera to detect black steel screws, stainless screws, and DC motor parts, i.e., cases, rotor cores and commutator caps, the bin-picking tasks are successful with 76.3%, 64.0%, 50.5%, 89.1% and 64.2% probability, respectively.


title: Norm, trace, and formal codegrees of fusion categories

abstract: We prove several results in the theory of fusion categories using the product (norm) and sum (trace) of Galois conjugates of formal codegrees. First, we prove that finitely-many fusion categories exist up to equivalence whose global dimension has a fixed norm. Furthermore, with two exceptions, all formal codegrees of spherical fusion categories with square-free norm are rational integers. This implies, with three exceptions, that every spherical braided fusion category whose global dimension has prime norm is pointed. The reason exceptions occur is related to the classical Schur-Siegel-Smyth problem of describing totally positive algebraic integers of small absolute trace.


title: Pushforwards of klt pairs under morphisms to abelian varieties

abstract: Let $f$ be a morphism from a klt pair $(X, \Delta)$ to an abelian variety $A$, $m\geq1$ a rational number and $D$ a Cartier divisor on $X$ such that $D\sim_{\mathbb Q}m(K_X+\Delta)$. We prove that the sheaf $f_*\mathcal{O}_X(D)$ becomes globally generated after pullback by an isogeny and has the Chen-Jiang decomposition, along with some related results. These are applied to some effective results for $\mathcal{O}_X(D)$ when $X$ is irregular.


title: CedrusDB: Persistent Key-Value Store with Memory-Mapped Lazy-Trie

abstract: As a result of RAM becoming cheaper, there has been a trend in key-value store design towards maintaining a fast in-memory index (such as a hash table) while logging user operations to disk, allowing high performance under failure-free conditions while still being able to recover from failures. This design, however, comes at the cost of long recovery times or expensive checkpoint operations. This paper presents a new in-memory index that is also storage-friendly. A "lazy-trie" is a variant of the hash-trie data structure that achieves near-optimal height, has practical storage overhead, and can be maintained on-disk with standard write-ahead logging. We implemented CedrusDB, persistent key-value store based on a lazy-trie. The lazy-trie is kept on disk while made available in memory using standard memory-mapping. The lazy-trie organization in virtual memory allows CedrusDB to better leverage concurrent processing than other on-disk index schemes (LSMs, B+-trees). CedrusDB achieves comparable or superior performance to recent log-based in-memory key-value stores in mixed workloads while being able to recover quickly from failures.


title: On the Mass Distribution of the Intra-Cluster Light in Galaxy Groups and Clusters

abstract: We take advantage of a semi-analytic model with a state-of-art implementation of the formation of the intra-cluster light (ICL) to study the mass distribution of the ICL in galaxy groups and clusters, at different redshifts. We assume the ICL to follow a NFW profile with a different concentration, linked to that of the dark matter by the relation $c_{ICL}=\gamma c_{DM}$, where the parameter $\gamma$ is set to reproduce the observed relation between the stellar mass in the brightest cluster galaxy (BCG) and ICL in the innermost 100 kpc and the halo mass ($M^*_{100}-M_{500}$), at $z=0$. The model is then tested against several theoretical and observational results, from the present time to $z\sim1.5$. Our analysis shows that the fraction of stellar mass in the BCG and ICL within the innermost 100 kpc is an increasing function of redshift, parameter $\gamma$, and a decreasing function of the halo mass. The value of $\gamma$ required to match the observed $M^*_{100}-M_{500}$ is $\gamma=3$ at $z=0$, but there are hints that it might be a function of redshift and halo mass. This result indicates that the distribution of the ICL is more concentrated than the dark matter one, but less concentrated than previously found by other studies. We suggest that a modified version of the NFW is a good description of the distribution of the diffuse light in groups and clusters, which makes the ICL a reliable tracer of the dark matter, in good agreement with recent observational findings.


title: Reducible Fermi surface for multi-layer quantum graphs including stacked graphene

abstract: We construct two types of multi-layer quantum graphs (Schr\"odinger operators on metric graphs) for which the dispersion function of wave vector and energy is proved to be a polynomial in the dispersion function of the single layer. This leads to the reducibility of the algebraic Fermi surface, at any energy, into several components. Each component contributes a set of bands to the spectrum of the graph operator. When the layers are graphene, AA-, AB-, and ABC-stacking are allowed within the same multi-layer structure. Conical singularities (Dirac cones) characteristic of single-layer graphene break when multiple layers are coupled, except for special AA-stacking. One of the tools we introduce is a surgery-type calculus for obtaining the dispersion function for a periodic quantum graph by gluing two graphs together.


title: The Breit-Wigner series for noncompactly supported potentials on the line

abstract: We propose a conjecture stating that for resonances, $\lambda_j$, of a noncompactly supported potential, the series $\sum_j \operatorname{Im} \lambda_j/|\lambda_j|^2$ diverges. This series appears in the Breit-Wigner approximation for a compactly supported potential, in which case it converges. We provide heuristic motivation for this conjecture and prove it in several cases.


title: From Prediction to Prescription: Evolutionary Optimization of Non-Pharmaceutical Interventions in the COVID-19 Pandemic

abstract: Several models have been developed to predict how the COVID-19 pandemic spreads, and how it could be contained with non-pharmaceutical interventions (NPIs) such as social distancing restrictions and school and business closures. This paper demonstrates how evolutionary AI could be used to facilitate the next step, i.e. determining most effective intervention strategies automatically. Through evolutionary surrogate-assisted prescription (ESP), it is possible to generate a large number of candidate strategies and evaluate them with predictive models. In principle, strategies can be customized for different countries and locales, and balance the need to contain the pandemic and the need to minimize their economic impact. While still limited by available data, early experiments suggest that workplace and school restrictions are the most important and need to be designed carefully. It also demonstrates that results of lifting restrictions can be unreliable, and suggests creative ways in which restrictions can be implemented softly, e.g. by alternating them over time. As more data becomes available, the approach can be increasingly useful in dealing with COVID-19 as well as possible future pandemics.


title: Suitable sets for strongly topological gyrogroups

abstract: A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each countable Hausdorff topological gyrogroup has a suitable set; moreover, it is shown that each separable metrizable strongly topological gyrogroup has a suitable set.


title: Intrinsic Stabilizer Reduction and Generalized Donaldson-Thomas Invariants

abstract: Let $\sigma$ be a stability condition on the bounded derived category $D^b({\mathop{\rm Coh}\nolimits} W)$ of a Calabi-Yau threefold $W$ and $\mathcal{M}$ a moduli stack parametrizing $\sigma$-semistable objects of fixed topological type. We define generalized Donaldson-Thomas invariants which act as virtual counts of objects in $\mathcal{M}$, fully generalizing the approach introduced by Kiem, Li and the author in the case of semistable sheaves. We construct an associated proper Deligne-Mumford stack $\widetilde{\mathcal{M}}^{\mathbb{C}^\ast}$, called the $\mathbb{C}^\ast$-rigidified intrinsic stabilizer reduction of $\mathcal{M}$, with an induced semi-perfect obstruction theory of virtual dimension zero, and define the generalized Donaldson-Thomas invariant via Kirwan blowups to be the degree of the associated virtual cycle $[\widetilde{\mathcal{M}}^{\mathbb{C}^\ast}]^{\mathrm{vir}} \in A_0 (\widetilde{\mathcal{M}}^{\mathbb{C}^\ast})$. This stays invariant under deformations of the complex structure of $W$. Examples of applications include Bridgeland stability, polynomial stability, Gieseker and slope stability.


title: Unsupervised Audio Source Separation using Generative Priors

abstract: State-of-the-art under-determined audio source separation systems rely on supervised end-end training of carefully tailored neural network architectures operating either in the time or the spectral domain. However, these methods are severely challenged in terms of requiring access to expensive source level labeled data and being specific to a given set of sources and the mixing process, which demands complete re-training when those assumptions change. This strongly emphasizes the need for unsupervised methods that can leverage the recent advances in data-driven modeling, and compensate for the lack of labeled data through meaningful priors. To this end, we propose a novel approach for audio source separation based on generative priors trained on individual sources. Through the use of projected gradient descent optimization, our approach simultaneously searches in the source-specific latent spaces to effectively recover the constituent sources. Though the generative priors can be defined in the time domain directly, e.g. WaveGAN, we find that using spectral domain loss functions for our optimization leads to good-quality source estimates. Our empirical studies on standard spoken digit and instrument datasets clearly demonstrate the effectiveness of our approach over classical as well as state-of-the-art unsupervised baselines.


title: DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices

abstract: With the recent advances in voice synthesis, AI-synthesized fake voices are indistinguishable to human ears and widely are applied to produce realistic and natural DeepFakes, exhibiting real threats to our society. However, effective and robust detectors for synthesized fake voices are still in their infancy and are not ready to fully tackle this emerging threat. In this paper, we devise a novel approach, named \emph{DeepSonar}, based on monitoring neuron behaviors of speaker recognition (SR) system, \ie, a deep neural network (DNN), to discern AI-synthesized fake voices. Layer-wise neuron behaviors provide an important insight to meticulously catch the differences among inputs, which are widely employed for building safety, robust, and interpretable DNNs. In this work, we leverage the power of layer-wise neuron activation patterns with a conjecture that they can capture the subtle differences between real and AI-synthesized fake voices, in providing a cleaner signal to classifiers than raw inputs. Experiments are conducted on three datasets (including commercial products from Google, Baidu, \etc) containing both English and Chinese languages to corroborate the high detection rates (98.1\% average accuracy) and low false alarm rates (about 2\% error rate) of DeepSonar in discerning fake voices. Furthermore, extensive experimental results also demonstrate its robustness against manipulation attacks (\eg, voice conversion and additive real-world noises). Our work further poses a new insight into adopting neuron behaviors for effective and robust AI aided multimedia fakes forensics as an inside-out approach instead of being motivated and swayed by various artifacts introduced in synthesizing fakes.


title: Sparse SVM for Sufficient Data Reduction

abstract: Kernel-based methods for support vector machines (SVM) have shown highly advantageous performance in various applications. However, they may incur prohibitive computational costs for large-scale sample datasets. Therefore, data reduction (reducing the number of support vectors) appears to be necessary, which gives rise to the topic of the sparse SVM. Motivated by this problem, the sparsity constrained kernel SVM optimization has been considered in this paper in order to control the number of support vectors. Based on the established optimality conditions associated with the stationary equations, a Newton-type method is developed to handle the sparsity constrained optimization. This method is found to enjoy the one-step convergence property if the starting point is chosen to be close to a local region of a stationary point, thereby leading to a super-high computational speed. Numerical comparisons with several powerful solvers demonstrate that the proposed method performs exceptionally well, particularly for large-scale datasets in terms of a much lower number of support vectors and shorter computational time.


title: Observation of E8 Particles in an Ising Chain Antiferromagnet

abstract: Near the transverse-field induced quantum critical point of the Ising chain, an exotic dynamic spectrum consisting of exactly eight particles was predicted, which is uniquely described by an emergent quantum integrable field theory with the symmetry of the $E_8$ Lie algebra, but rarely explored experimentally. Here we use high-resolution terahertz spectroscopy to resolve quantum spin dynamics of the quasi-one-dimensional Ising antiferromagnet BaCo$_2$V$_2$O$_8$ in an applied transverse field. By comparing to an analytical calculation of the dynamical spin correlations, we identify $E_8$ particles as well as their two-particle excitations.


title: A Practical Index Structure Supporting Fr\'echet Proximity Queries Among Trajectories

abstract: We present a scalable approach for range and $k$ nearest neighbor queries under computationally expensive metrics, like the continuous Fr\'echet distance on trajectory data. Based on clustering for metric indexes, we obtain a dynamic tree structure whose size is linear in the number of trajectories, regardless of the trajectory's individual sizes or the spatial dimension, which allows one to exploit low `intrinsic dimensionality' of data sets for effective search space pruning. Since the distance computation is expensive, generic metric indexing methods are rendered impractical. We present strategies that (i) improve on known upper and lower bound computations, (ii) build cluster trees without any or very few distance calls, and (iii) search using bounds for metric pruning, interval orderings for reduction, and randomized pivoting for reporting the final results. We analyze the efficiency and effectiveness of our methods with extensive experiments on diverse synthetic and real-world data sets. The results show improvement over state-of-the-art methods for exact queries, and even further speed-ups are achieved for queries that may return approximate results. Surprisingly, the majority of exact nearest-neighbor queries on real data sets are answered without any distance computations.


title: Bubbly and Buoyant Particle-Laden Turbulent Flows

abstract: Fluid turbulence is commonly associated with stronger drag, greater heat transfer, and more efficient mixing than in laminar flows. In many natural and industrial settings, turbulent liquid flows contain suspensions of dispersed bubbles and light particles. Recently, much attention has been devoted to understanding the behavior and underlying physics of such flows by use of both experiments and high-resolution direct numerical simulations. This review summarizes our present understanding of various phenomenological aspects of bubbly and buoyant particle-laden turbulent flows. We begin by discussing different dynamical regimes, including those of crossing trajectories and wake-induced oscillations of rising particles, and regimes in which bubbles and particles preferentially accumulate near walls or within vortical structures. We then address how certain paradigmatic turbulent flows, such as homogeneous isotropic turbulence, channel flow, Taylor-Couette turbulence, and thermally driven turbulence, are modified by the presence of these dispersed bubbles and buoyant particles. We end with a list of summary points and future research questions.


title: Powering Electronic Devices from Salt Gradients in AA Battery-Sized Stacks of Hydrogel-Infused Paper

abstract: Strongly electric fish use gradients of ions within their bodies to generate stunning external electrical discharges; the most powerful of these organisms, the Atlantic torpedo ray, can produce pulses of over 1 kW from its electric organs. Despite extensive study of this phenomenon in nature, the development of artificial power generation schemes based on ion gradients for portable, wearable, or implantable human use has remained out of reach. Previously, inspired by the electric eel, we developed an artificial electric organ that generated electricity from ion gradients within stacked hydrogels and, like the eel, was optimized to deliver large voltages that exceeded 100 V. Due to its high internal resistance, the current of this power source was, however, too low to power standard electronics. Here we introduce an artificial electric organ that takes inspiration from the unique morphologies of torpedo rays for maximal current output. This power source uses a hybrid material of hydrogel-infused paper to create, organize, and reconfigure stacks of thin, arbitrarily large gel films both in series and in parallel. The resulting increase in electrical power by almost two orders of magnitude compared to the original eel-inspired design makes it possible to power electronic devices and establishes that biology's mechanism of generating significant electrical power can now be realized from benign and soft materials in a portable size.


title: Universal compressive characterization of quantum dynamics

abstract: Recent quantum technologies utilize complex multidimensional processes that govern the dynamics of quantum systems. We develop an adaptive diagonal-element-probing compression technique that feasibly characterizes any unknown quantum processes using much fewer measurements compared to conventional methods. This technique utilizes compressive projective measurements that are generalizable to arbitrary number of subsystems. Both numerical analysis and experimental results with unitary gates demonstrate low measurement costs, of order $O(d^2)$ for $d$-dimensional systems, and robustness against statistical noise. Our work potentially paves the way for a reliable and highly compressive characterization of general quantum devices.


title: Computable reducibility of equivalence relations and an effective jump operator

abstract: We introduce the computable FS-jump, an analog of the classical Friedman--Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers).


title: Domain Knowledge Integration By Gradient Matching For Sample-Efficient Reinforcement Learning

abstract: Model-free deep reinforcement learning (RL) agents can learn an effective policy directly from repeated interactions with a black-box environment. However in practice, the algorithms often require large amounts of training experience to learn and generalize well. In addition, classic model-free learning ignores the domain information contained in the state transition tuples. Model-based RL, on the other hand, attempts to learn a model of the environment from experience and is substantially more sample efficient, but suffers from significantly large asymptotic bias owing to the imperfect dynamics model. In this paper, we propose a gradient matching algorithm to improve sample efficiency by utilizing target slope information from the dynamics predictor to aid the model-free learner. We demonstrate this by presenting a technique for matching the gradient information from the model-based learner with the model-free component in an abstract low-dimensional space and validate the proposed technique through experimental results that demonstrate the efficacy of this approach.


title: Moments of nucleon isovector structure functions in $2+1+1$-flavor QCD

abstract: We present results on the isovector momentum fraction, $\langle x \rangle_{u-d}$, helicity moment, $\langle x \rangle_{\Delta u-\Delta d}$, and the transversity moment, $\langle x \rangle_{\delta u-\delta d}$, of the nucleon obtained using nine ensembles of gauge configurations generated by the MILC collaboration using $2+1+1$-flavors of dynamical highly improved staggered quarks (HISQ). The correlation functions are calculated using the Wilson-Clover action and the renormalization of the three operators is carried out nonperturbatively on the lattice in the RI${}^\prime$-MOM scheme. The data have been collected at lattice spacings $a \approx 0.15,\ 0.12,\ 0.09,$ and 0.06 fm and $M_\pi \approx 310,\ 220$ and 135 MeV, which are used to obtain the physical values using a simultaneous chiral-continuum-finite-volume fit. The final results, in the $\overline{MS}$ scheme at 2 GeV, are $\langle x \rangle_{u-d} = 0.173(14)(07)$, $\langle x \rangle_{\Delta u-\Delta d} = 0.213(15)(22)$ and $\langle x \rangle_{\delta u-\delta d} = 0.208(19)(24)$, where the first error is the overall analysis uncertainty and the second is an additional systematic uncertainty due to possible residual excited-state contributions. These results are consistent with other recent lattice calculations and phenomenological global fit values.


title: Pattern Denoising in Molecular Associative Memory using Pairwise Markov Random Field Models

abstract: We propose an in silico molecular associative memory model for pattern learning, storage and denoising using Pairwise Markov Random Field (PMRF) model. Our PMRF-based molecular associative memory model extracts locally distributed features from the exposed examples, learns and stores the patterns in the molecular associative memory and denoises the given noisy patterns via DNA computation based operations. Thus, our computational molecular model demonstrates the functionalities of content-addressability of human memory. Our molecular simulation results show that the averaged mean squared error between the learned and denoised patterns are low (< 0.014) up to 30% of noise.


title: A Maneuver-based Urban Driving Dataset and Model for Cooperative Vehicle Applications

abstract: Short-term future of automated driving can be imagined as a hybrid scenario in which both automated and human-driven vehicles co-exist in the same environment. In order to address the needs of such road configuration, many technology solutions such as vehicular communication and predictive control for automated vehicles have been introduced in the literature. Both aforementioned solutions rely on driving data of the human driver. In this work, we investigate the currently available driving datasets and introduce a real-world maneuver-based driving dataset that is collected during our urban driving data collection campaign. We also provide a model that embeds the patterns in maneuver-specific samples. Such model can be employed for classification and prediction purposes.


title: Generalized Core Inverse in a proper $*$-ring

abstract: In this paper, we introduce the notion of weak core and central weak core inverse in a {\it proper $*$-ring}. We further elaborate on these two classes by producing a few representations and characterizations of the weak core and central weak core invertible elements. We investigated additive properties and a few explicit expressions for these two classes of inverses through other generalized inverses. In addition, numerical examples are provided to validate claims on weak core inverses. Following {\it proper $*$-ring} and their interconnections with Clifford algebra, we also present examples of the group inverse and the weak core inverse of a non-zero non-invertible quaternion $\mathbb{H}_s$.


title: JointMap: Joint Query Intent Understanding For Modeling Intent Hierarchies in E-commerce Search

abstract: An accurate understanding of a user's query intent can help improve the performance of downstream tasks such as query scoping and ranking. In the e-commerce domain, recent work in query understanding focuses on the query to product-category mapping. But, a small yet significant percentage of queries (in our website 1.5% or 33M queries in 2019) have non-commercial intent associated with them. These intents are usually associated with non-commercial information seeking needs such as discounts, store hours, installation guides, etc. In this paper, we introduce Joint Query Intent Understanding (JointMap), a deep learning model to simultaneously learn two different high-level user intent tasks: 1) identifying a query's commercial vs. non-commercial intent, and 2) associating a set of relevant product categories in taxonomy to a product query. JointMap model works by leveraging the transfer bias that exists between these two related tasks through a joint-learning process. As curating a labeled data set for these tasks can be expensive and time-consuming, we propose a distant supervision approach in conjunction with an active learning model to generate high-quality training data sets. To demonstrate the effectiveness of JointMap, we use search queries collected from a large commercial website. Our results show that JointMap significantly improves both "commercial vs. non-commercial" intent prediction and product category mapping by 2.3% and 10% on average over state-of-the-art deep learning methods. Our findings suggest a promising direction to model the intent hierarchies in an e-commerce search engine.


title: Lowering the energy threshold in COSINE-100 dark matter searches

abstract: COSINE-100 is a dark matter detection experiment that uses NaI(Tl) crystal detectors operating at the Yangyang underground laboratory in Korea since September 2016. Its main goal is to test the annual modulation observed by the DAMA/LIBRA experiment with the same target medium. Recently DAMA/LIBRA has released data with an energy threshold lowered to 1 keV, and the persistent annual modulation behavior is still observed at 9.5$\sigma$. By lowering the energy threshold for electron recoils to 1 keV, COSINE-100 annual modulation results can be compared to those of DAMA/LIBRA in a model-independent way. Additionally, the event selection methods provide an access to a few to sub-GeV dark matter particles using constant rate studies. In this article, we discuss the COSINE-100 event selection algorithm, its validation, and efficiencies near the threshold.


title: X-ray scattering from a plane parallel slab using radiation transfer considerations

abstract: X-ray scattering power of a plane parallel homogeneous slab of material is derived using radiation intensity transfer equations.The scattering power scales with the ratio of the scattering coefficient of interest to the total attenuation coefficient. The results can be used to guide the choice of slab thickness, scattering geometry and photon energy to maximize scattering power in both elastic and inelastic X-ray scattering experiments.


title: Nanosecond dynamics in intrinsic topological insulator $\text{Bi}_{2-x}\text{Sb}_x\text{Se}_3$ revealed by time-resolved optical reflectivity

abstract: $\text{Bi}_2\text{Se}_3$ is an ideal three-dimensional topological insulator in which the chemical potential can be brought into the bulk band gap with antimony doping. Here, we utilize ultrafast time-resolved transient reflectivity to characterize the photoexcited carrier decay in $\text{Bi}_{2-x}\text{Sb}_x\text{Se}_3$ nanoplatelets. We report a substantial slowing of the bulk carrier relaxation time in bulk-insulating $\text{Bi}_{2-x}\text{Sb}_x\text{Se}_3$ nanoplatelets as compared to $n$-type bulk-metallic $\text{Bi}_2\text{Se}_3$ at low temperatures, which approaches $3.3 \text{ ns}$ in the zero pump fluence limit. This long-lived decay is correlated across different fluences and antimony concentrations, revealing unique decay dynamics not present in $n$-type $\text{Bi}_2\text{Se}_3$, namely the slow bimolecular recombination of bulk carriers.


title: Assessing Centrality Without Knowing Connections

abstract: We consider the privacy-preserving computation of node influence in distributed social networks, as measured by egocentric betweenness centrality (EBC). Motivated by modern communication networks spanning multiple providers, we show for the first time how multiple mutually-distrusting parties can successfully compute node EBC while revealing only differentially-private information about their internal network connections. A theoretical utility analysis upper bounds a primary source of private EBC error---private release of ego networks---with high probability. Empirical results demonstrate practical applicability with a low 1.07 relative error achievable at strong privacy budget $\epsilon=0.1$ on a Facebook graph, and insignificant performance degradation as the number of network provider parties grows.


title: Age of Information in an Overtake-Free Network of Quasi-Reversible Queues

abstract: We show how to calculate the Age of Information in an overtake-free network of quasi-reversible queues, with exponential exogenous interarrivals of multiple classes of update packets and exponential service times at all nodes. Results are provided for any number of M/M/1 First-Come-First-Served (FCFS) queues in tandem, and for a network with two classes of update packets, entering through different queues in the network and exiting through the same queue. The main takeaway is that in a network with different classes of update packets, individual classes roughly preserve the ages they would achieve if they were alone in the network, except when shared queues become saturated, in which case the ages increase considerably.


title: A Distributed Multi-GPU System for Large-Scale Node Embedding at Tencent

abstract: Real-world node embedding applications often contain hundreds of billions of edges with high-dimension node features. Scaling node embedding systems to efficiently support these applications remains a challenging problem. In this paper we present a high-performance multi-GPU node embedding system. It uses model parallelism to split node embeddings onto each GPU's local parameter server, and data parallelism to train these embeddings on different edge samples in parallel. We propose a hierarchical data partitioning strategy and an embedding training pipeline to optimize both communication and memory usage on a GPU cluster. With the decoupled design of CPU tasks (random walk) and GPU tasks (embedding training), our system is highly flexible and can fully utilize all computing resources on a GPU cluster. Comparing with the current state-of-the-art multi-GPU single-node embedding system, our system achieves 5.9x-14.4x speedup on average with competitive or better accuracy on open datasets. Using 40 NVIDIA V100 GPUs on a network with almost three hundred billion edges and more than one billion nodes, our implementation requires only 3 minutes to finish one training epoch.


title: Multi-locus interactions and the build-up of reproductive isolation

abstract: All genes interact with other genes, and their additive effects and epistatic interactions affect an organism's phenotype and fitness. Recent theoretical and empirical work has advanced our understanding of the role of multi-locus interactions in speciation. However, relating different models to one another and to empirical observations is challenging. This review focuses on multi-locus interactions that lead to reproductive isolation (RI) through reduced hybrid fitness. We first review theoretical approaches and show how recent work incorporating a mechanistic understanding of multi-locus interactions recapitulates earlier models, but also makes novel predictions concerning the build-up of RI. These include high variance in the build-up rate of RI among taxa, the emergence of strong incompatibilities producing localised barriers to introgression, and an effect of population size on the build-up of RI. We then review recent experimental approaches to detect multi-locus interactions underlying RI using genomic data. We argue that future studies would benefit from overlapping methods like Ancestry Disequilibrium scans, genome scans of differentiation and analyses of hybrid gene expression. Finally, we highlight a need for further overlap between theoretical and empirical work, and approaches that predict what kind of patterns multi-locus interactions resulting in incompatibilities will leave in genome-wide polymorphism data.


title: On primitive $3$-generated axial algebras of Jordan type

abstract: Axial algebras of Jordan type $\eta$ are commutative algebras generated by idempotents whose adjoint operators have the minimal polynomial dividing $(x-1)x(x-\eta)$, where $\eta\not\in\{0,1\}$ is fixed, with restrictive multiplication rules. These properties generalize the Pierce decompositions for idempotents in Jordan algebras, where $\frac{1}{2}$ is replaced with $\eta$. In particular, Jordan algebras generated by idempotents are axial algebras of Jordan type $\frac{1}{2}$. If $\eta\neq\frac{1}{2}$ then it is known that axial algebras of Jordan type $\eta$ are factors of the so-called Matsuo algebras corresponding to 3-transposition groups. We call the generating idempotents {\it axes} and say that an axis is {\it primitive} if its adjoint operator has 1-dimensional 1-eigenspace. It is known that a subalgebra generated by two primitive axes has dimension at most three. The 3-generated case has been opened so far. We prove that any axial algebra of Jordan type generated by three primitive axes has dimension at most nine. If the dimension is nine and $\eta=\frac{1}{2}$ then we either show how to find a proper ideal in this algebra or prove that the algebra is isomorphic to certain Jordan matrix algebras.


title: Attraction tames two-dimensional melting: from continuous to discontinuous transitions

abstract: Two-dimensional systems may admit a hexatic phase and hexatic-liquid transitions of different natures. The determination of their phase diagrams proved challenging, and indeed those of hard-disks, hard regular polygons, and inverse power-law potentials, have been only recently clarified. In this context, the role of attractive forces is currently speculative, despite their prevalence at both the molecular and colloidal scale. Here we demonstrate, via numerical simulations, that attraction promotes a discontinuous melting scenario with no hexatic phase. At high-temperature, Lennard-Jones particles and attractive polygons follow the shape-dominated melting scenario observed in hard-disks and hard polygons, respectively. Conversely, all systems melt via a first-order transition with no hexatic phase at low temperature, where attractive forces dominate. The intermediate temperature melting scenario is shape-dependent. Our results suggest that, in colloidal experiments, the tunability of the strength of the attractive forces allows for the observation of different melting scenario in the same system.