title: Explanation-based Weakly-supervised Learning of Visual Relations with Graph Networks

abstract: Visual relationship detection is fundamental for holistic image understanding. However, the localization and classification of (subject, predicate, object) triplets remain challenging tasks, due to the combinatorial explosion of possible relationships, their long-tailed distribution in natural images, and an expensive annotation process. This paper introduces a novel weakly-supervised method for visual relationship detection that relies on minimal image-level predicate labels. A graph neural network is trained to classify predicates in images from a graph representation of detected objects, implicitly encoding an inductive bias for pairwise relations. We then frame relationship detection as the explanation of such a predicate classifier, i.e. we obtain a complete relation by recovering the subject and object of a predicted predicate. We present results comparable to recent fully- and weakly-supervised methods on three diverse and challenging datasets: HICO-DET for human-object interaction, Visual Relationship Detection for generic object-to-object relations, and UnRel for unusual triplets; demonstrating robustness to non-comprehensive annotations and good few-shot generalization.


title: XMM-Newton and NICER measurement of the rms spectrum of the millihertz quasi-periodic oscillations in the neutron-star low-mass X-ray binary 4U 1636-53

abstract: We used two XMM-Newton and six Neutron Star Interior Composition Explorer (NICER) observations to investigate the fractional rms amplitude of the millihertz quasi-periodic oscillations (mHz QPOs) in the neutron-star low-mass X-ray binary 4U 1636-53. We studied, for the first time, the fractional rms amplitude of the mHz QPOs vs. energy in 4U 1636-53 down to 0.2 keV. We find that, as the energy increases from 0.2 keV to 3 keV, the rms amplitude of the mHz QPOs increases, different from the decreasing trend that has been previously observed above 3 keV. This finding has not yet been predicted by any current theoretical model, however, it provides an important observational feature to speculate whether a newly discovered mHz oscillation originates from the marginally stable nuclear burning process on the neutron star surface.


title: ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers

abstract: In this paper, we consider the problem of creating a safe-by-design Rectified Linear Unit (ReLU) Neural Network (NN), which, when composed with an arbitrary control NN, makes the composition provably safe. In particular, we propose an algorithm to synthesize such NN filters that safely correct control inputs generated for the continuous-time Kinematic Bicycle Model (KBM). ShieldNN contains two main novel contributions: first, it is based on a novel Barrier Function (BF) for the KBM model; and second, it is itself a provably sound algorithm that leverages this BF to a design a safety filter NN with safety guarantees. Moreover, since the KBM is known to well approximate the dynamics of four-wheeled vehicles, we show the efficacy of ShieldNN filters in CARLA simulations of four-wheeled vehicles. In particular, we examined the effect of ShieldNN filters on Deep Reinforcement Learning trained controllers in the presence of individual pedestrian obstacles. The safety properties of ShieldNN were borne out in our experiments: the ShieldNN filter reduced the number of obstacle collisions by 99.4%-100%. Furthermore, we also studied the effect of incorporating ShieldNN during training: for a constant number of episodes, 28% less reward was observed when ShieldNN wasn't used during training. This suggests that ShieldNN has the further property of improving sample efficiency during RL training.


title: Mining Label Distribution Drift in Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation targets to transfer task-related knowledge from labeled source domain to unlabeled target domain. Although tremendous efforts have been made to minimize domain divergence, most existing methods only partially manage by aligning feature representations from diverse domains. Beyond the discrepancy in data distribution, the gap between source and target label distribution, recognized as label distribution drift, is another crucial factor raising domain divergence, and has been under insufficient exploration. From this perspective, we first reveal how label distribution drift brings negative influence. Next, we propose Label distribution Matching Domain Adversarial Network (LMDAN) to handle data distribution shift and label distribution drift jointly. In LMDAN, label distribution drift is addressed by a source sample weighting strategy, which selects samples that contribute to positive adaptation and avoid adverse effects brought by the mismatched samples. Experiments show that LMDAN delivers superior performance under considerable label distribution drift.


title: Irrational pencils and Betti numbers

abstract: We study irrational pencils with isolated critical points on compact aspherical complex manifolds. We prove that if the set of critical points is nonempty, the homology of the kernel of the morphism induced by the pencil on fundamental groups is not finitely generated. This generalizes a result by Dimca, Papadima and Suciu. By considering self-products of the Cartwright-Steger surface, this allows us to build new examples of smooth projective varieties whose fundamental group has a non-finitely generated homology.


title: Scalar Poincar\'e Implies Matrix Poincar\'e

abstract: We prove that every reversible Markov semigroup which satisfies a Poincar\'e inequality satisfies a matrix-valued Poincar\'e inequality for Hermitian $d\times d$ matrix valued functions, with the same Poincar\'e constant. This generalizes recent results [Aoun et al. 2019, Kathuria 2019] establishing such inequalities for specific semigroups and consequently yields new matrix concentration inequalities. The short proof follows from the spectral theory of Markov semigroup generators.


title: Reverse Euclidean and Gaussian isoperimetric inequalities for parallel sets with applications

abstract: The $r$-parallel set of a measurable set $A \subseteq \mathbb R^d$ is the set of all points whose distance from $A$ is at most $r$. In this paper, we show that the surface area of an $r$-parallel set in $\mathbb R^d$ with volume at most $V$ is upper-bounded by $e^{\Theta(d)}V/r$, whereas its Gaussian surface area is upper-bounded by $\max(e^{\Theta(d)}, e^{\Theta(d)}/r)$. We also derive a reverse form of the Brunn-Minkowski inequality for $r$-parallel sets, and as an aside a reverse entropy power inequality for Gaussian-smoothed random variables. We apply our results to two problems in theoretical machine learning: (1) bounding the computational complexity of learning $r$-parallel sets under a Gaussian distribution; and (2) bounding the sample complexity of estimating robust risk, which is a notion of risk in the adversarial machine learning literature that is analogous to the Bayes risk in hypothesis testing.


title: Weak antilocalization in partially relaxed 200-nm HgTe films

abstract: The anomalous magnetoresistance caused by the weak antilocalization (WAL) effects in 200-nm HgTe films is experimentally studied. The film is a high quality 3D topological insulator with much stronger spatial separation of surface states than in previously studied thinner HgTe structures. However, in contrast to that films, the system under study is characterized by a reduced partial strain resulting in an almost zero bulk energy gap. It has been shown that at all positions of the Fermi level the system exhibits a WAL conductivity correction superimposed on classical parabolic magnetoresistance. Since high mobility of carriers, the analysis of the obtained results was performed using a ballistic WAL theory. The maximum of the WAL conductivity correction amplitude was found at a Fermi level position near the bulk energy gap indicating to full decoupling of the surface carriers in these conditions. The WAL amplitude monotonously decreases when the density of either bulk electrons or holes increases that results from the increasing coupling between surface and bulk carriers.


title: Spacematch: Using environmental preferences to match occupants to suitable activity-based workspaces

abstract: The activity-based workspace (ABW) paradigm is becoming more popular in commercial office spaces. In this strategy, occupants are given a choice of spaces to do their work and personal activities on a day-to-day basis. This paper shows the implementation and testing of the Spacematch platform that was designed to improve the allocation and management of ABW. An experiment was implemented to test the ability to characterize the preferences of occupants to match them with suitable environmentally-comfortable and spatially-efficient flexible workspaces. This approach connects occupants with a catalog of available work desks using a web-based mobile application and enables them to provide real-time environmental feedback. In this work, we tested the ability for this feedback data to be merged with indoor environmental values from Internet-of-Things (IoT) sensors to optimize space and energy use by grouping occupants with similar preferences. This paper outlines a case study implementation of this platform on two office buildings. This deployment collected 1,182 responses from 25 field-based research participants over a 30-day study. From this initial data set, the results show that the ABW occupants can be segmented into specific types of users based on their accumulated preference data, and matching preferences can be derived to build a recommendation platform.


title: The nuclear region of NGC 613 -- II. Kinematics and stellar archaeology

abstract: In this work, we continue the study of the central region of NGC 613 by da Silva et al. (2020), by analysing the stellar and gas kinematics and the stellar archaeology in optical and near-infrared data cubes. The high spatial resolution of the Gemini Multi-Object Spectrograph (GMOS) data cube allowed the detection, using spectral synthesis methods, of an inner circumnuclear ring, with a radius of $\sim$ 1 arcsec, composed of $\sim$ 10$^9$-yr stellar populations. Such a ring is located between the nucleus and the circumnuclear ring composed by H II regions detected in previous works. Besides that, there is a stellar rotation around the nucleus and the rings follow the same direction of rotation with different velocities. The intensity-weighted average stellar velocity dispersion at the centre is 92 $\pm$ 3 km s$^{-1}$. Three distinct gas outflow components were detected. The direction of the outflow observed with the H $\alpha$ emission line is compatible with the direction of the previously observed radio jet. The direction of one of the outflows detected in the [O III]$\lambda$5007 emission coincides with the axis of the ionization cone. There is no difference regarding the stellar populations and the stellar kinematics along the double stellar emission, probably separated by a dust lane as mentioned in Paper I, confirming that they are part of the same structure.


title: Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras

abstract: An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of $\mathcal{Q}$ correspond to certain natural expansions of $L$, which we call {\em algebraic expansions}. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of Abelian $\ell$-groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics.


title: A virtual element method for the Steklov eigenvalue problem allowing small edges

abstract: The aim of this paper is to analyze the influence of small edges in the computation of the spectrum of the Steklov eigenvalue problem by a lowest order virtual element method. Under weaker assumptions on the polygonal meshes, which can permit arbitrarily small edges with respect to the element diameter, we show that the scheme provides a correct approximation of the spectrum and prove optimal error estimates for the eigenfunctions and a double order for the eigenvalues. Finally, we report some numerical tests supporting the theoretical results.


title: Macroscopic and Microscopic Characteristics of Networks with Time-variant Functionality for Evaluating Resilience to External Perturbations

abstract: Knowledge of time-variant functionality of real-world physical, social, and engineered networks is critical to the understanding of the resilience of networks facing external perturbations. The majority of existing studies, however, focus only on the topological properties of networks for resilience assessment, which does not fully capture their dynamical resilience. In this study, we evaluate and quantify network resilience based both on the functionality states of links and on topology. We propose three independent measures---the failure scaling index (FSI), the weighted degree scaling index (WDSI), and the link functionality irregularity index (LFII)---that capture macroscopic, microscopic, and temporal performance characteristics of networks. Accordingly, an integrated general resilience (GR) metric is used to assess performance loss and recovery speed in networks with time-variant functionality. We test the proposed methods in the study of traffic networks under urban flooding impacts in the context of Harris County, Texas, during Hurricane Harvey using a high-resolution dataset, which contains temporal speed of 20,000 roads every 5 minutes for 5 months. Our results show that link weights and node weighted degrees with perturbed functionality in the traffic network during flooding follow a scale-free distribution. Hence, three proposed measures capture clear resilience curves of the network as well as identify the irregularity of links. Accordingly, network performance measures and the methodology for resilience quantification reveal insights into the extent of network performance loss and recovery speed, suggesting possible improvements in network resilience in the face of external perturbations such as urban flooding.


title: Lobachevsky-type Formulas via Fourier Analysis

abstract: Recently renewed interest in the Lobachevsky-type integrals and interesting identities involving the cardinal sine motivate an extension of the classical Parseval formula involving both periodic and non-periodic functions. We develop a version of the Parseval formula that is often more practical in applications and illustrate its use by extending recent results on Lobachevsky-type integrals. Some previously known, interesting identities are re-proved in a more transparent manner and new formulas for integrals involving cardinal sine and Bessel functions are given.


title: Subvarieties of Pseudocomplemented Kleene Algebras

abstract: In this paper we study the subdirectly irreducible algebras in the variety ${\cal PCDM}$ of pseudocomplemented De Morgan algebras by means of their De Morgan $p$-spaces. We introduce the notion of $body$ of an algebra ${\bf L} \in {\cal PCDM}$ and determine $Body({\bf L})$ when ${\bf L}$ is subdirectly irreducible. As a consequence of this, in the case of pseudocomplemented Kleene algebras, three special subvarieties arise naturally, for which we give explicit identities that characterize them. We also introduce a subvariety ${\cal BPK}$ of ${\cal PCDM}$, namely the variety of $bundle$ $pseudocomplemented$ $Kleene$ $algebras$, determine the whole subvariety lattice and find explicit equational bases for each of the subvarieties. In addition, we study the subvariety ${\cal BPK}_0$ of ${\cal BPK}$ generated by the simple members of ${\cal BPK}$, determine the structure of the free algebra over a finite set and their finite weakly projective algebras.


title: New Upper Bounds for the Erd\H{o}s-Gy\'arf\'as Problem on Generalized Ramsey Numbers

abstract: A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ which assigns at least $q$ colors to each $p$-clique. The problem of determining the minimum number of colors, $f(n,p,q)$, needed to give a $(p,q)$-coloring of the complete graph $K_n$ is a natural generalization of the well-known problem of identifying the diagonal Ramsey numbers $r_k(p)$. The best-known general upper bound on $f(n,p,q)$ was given by Erd\H{o}s and Gy\'arf\'as in 1997 using a probabilistic argument. Since then, improved bounds in the cases where $p=q$ have been obtained only for $p\in\{4,5\}$, each of which was proved by giving a deterministic construction which combined a $(p,p-1)$-coloring using few colors with an algebraic coloring. In this paper, we provide a framework for proving new upper bounds on $f(n,p,p)$ in the style of these earlier constructions. We characterize all colorings of $p$-cliques with $p-1$ colors which can appear in our modified version of the $(p,p-1)$-coloring of Conlon, Fox, Lee, and Sudakov. This allows us to greatly reduce the amount of case-checking required in identifying $(p,p)$-colorings, which would otherwise make this problem intractable for large values of $p$. In addition, we generalize our algebraic coloring from the $p=5$ setting and use this to give improved upper bounds on $f(n,6,6)$ and $f(n,8,8)$.


title: Halogenated MXenes with Electrochemically Active Terminals for High Performance Zinc Ion Batteries

abstract: The class of two-dimensional metal carbides and nitrides known as MXenes offer a distinct manner of property tailoring for a wide range of applications. The ability to tune the surface chemistry for expanding the property space of MXenes is thus an important topic, although experimental exploration of new surface terminals remains a challenge. Here, we synthesized Ti3C2 MXene with unitary, binary and ternary halogen terminals, e.g. -Cl, -Br, -I, -BrI and -ClBrI, to investigate the effect of surface chemistry on the properties of MXenes. The electrochemical activity of Br and I element result in the extraordinary electrochemical performance of the MXenes as cathodes for aqueous zinc ion batteries. The -Br and -I containing MXenes, e.g. Ti3C2Br2 and Ti3C2I2, exhibit distinct discharge platforms with considerable capacities of 97.6 mAh g-1 and 135 mAh g-1. Ti3C2(BrI) and Ti3C2(ClBrI) exhibit dual discharge platforms with capacities of 117.2 mAh g-1 and 106.7 mAh g-1. In contrast, the previously discovered MXenes Ti3C2Cl2 and Ti3C2(OF) exhibit no discharge platforms, and only ~50% of capacities and energy densities of Ti3C2Br2. These results emphasize the effectiveness of the Lewis-acidic-melt etching route for tuning the surface chemistry of MXenes, and also show promise for expanding the MXene family towards various applications.


title: Small Sensitivity of the Simulated Climate of Tidally Locked Aquaplanets to Model Resolution

abstract: Tidally locked terrestrial planets around low-mass stars are the prime targets of finding potentially habitable exoplanets. Several atmospheric general circulation models have been employed to simulate their possible climates, however, model intercomparisons showed that there are large differences in the results of the models even when they are forced with the same boundary conditions. In this paper, we examine whether model resolution contributes to the differences. Using the atmospheric general circulation model ExoCAM coupled to a 50-m slab ocean, we examine three different horizontal resolutions (440 km * 550 km, 210 km * 280 km, and 50 km * 70 km in latitude and longitude) and three different vertical resolutions (26, 51, and 74 levels) under the same dynamical core and the same schemes of radiation, convection and clouds. Among the experiments, the differences are within 5 K in global-mean surface temperature and within 0.007 in planetary albedo. These differences are from cloud feedback, water vapor feedback, and the decreasing trend of relative humidity with increasing resolution. Relatively small-scale downdrafts between upwelling columns over the substellar region are better resolved and the mixing between dry and wet air parcels and between anvil clouds and their environment are enhanced as the resolution is increased. These reduce atmospheric relative humidity and high-level cloud fraction, causing a lower clear-sky greenhouse effect, a weaker cloud longwave radiation effect, and subsequently a cooler climate with increasing model resolution. Overall, the sensitivity of the simulated climate of tidally locked aquaplanets to model resolution is small.


title: Severi dimensions for unicuspidal curves

abstract: We study parameter spaces of linear series on projective curves in the presence of unibranch singularities, i.e. {\it cusps}; and to do so, we stratify cusps according to value semigroup. We show that {\it generalized Severi varieties} of maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$ with images of fixed degree and arithmetic genus are often {\it reducible} whenever $n \geq 3$. We also prove that the Severi variety of degree-$d$ maps with a hyperelliptic cusp of delta-invariant $g \ll d$ is of codimension at least $(n-1)g$ inside the space of degree-$d$ holomorphic maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$; and that for small $g$, the bound is exact, and the corresponding space of maps is the disjoint union of unirational strata. Finally, we conjecture a generalization for unicuspidal rational curves associated to an {\it arbitrary} value semigroup.


abstract: State-of-the-art deep networks are often too large to deploy on mobile devices and embedded systems. Mobile neural architecture search (NAS) methods automate the design of small models but state-of-the-art NAS methods are expensive to run. Differentiable neural architecture search (DNAS) methods reduce the search cost but explore a limited subspace of candidate architectures. In this paper, we introduce Fine-Grained Stochastic Architecture Search (FiGS), a differentiable search method that searches over a much larger set of candidate architectures. FiGS simultaneously selects and modifies operators in the search space by applying a structured sparse regularization penalty based on the Logistic-Sigmoid distribution. We show results across 3 existing search spaces, matching or outperforming the original search algorithms and producing state-of-the-art parameter-efficient models on ImageNet (e.g., 75.4% top-1 with 2.6M params). Using our architectures as backbones for object detection with SSDLite, we achieve significantly higher mAP on COCO (e.g., 25.8 with 3.0M params) than MobileNetV3 and MnasNet.


title: Mentari: A pipeline to model the galaxy SED using semi analytic models

abstract: We build a theoretical picture of how the light from galaxies evolves across cosmic time. In particular, we predict the evolution of the galaxy spectral energy distribution (SED) by carefully integrating the star formation and metal enrichment histories of semi-analytic model (SAM) galaxies and combining these with stellar population synthesis models which we call mentari. Our SAM combines prescriptions to model the interplay between gas accretion, star formation, feedback process, and chemical enrichment in galaxy evolution. From this, the SED of any simulated galaxy at any point in its history can be constructed and compared with telescope data to reverse engineer the various physical processes that may have led to a particular set of observations. The synthetic SEDs of millions of simulated galaxies from mentari can cover wavelengths from the far UV to infrared, and thus can tell a near complete story of the history of galaxy evolution. \keywords{galaxies: evolution - galaxies: stellar content - galaxies.}


title: Strong Gaussian approximation for cumulative processes

abstract: We establish optimal logarithmic rates of convergence in the strong invariance principle for multivariate cumulative processes in the Smith's sense. Exponential probabilistic inequalities of Koml\'{o}s-Major-Tusn\'{a}dy type are obtained. Provided examples include applications to stopped sums and birth and death processes.


title: Laboratory Optical Spectroscopy of Vibronic Transitions of the Thiophenoxy Radical

abstract: The thiophenoxy radical (C6H5S) is a species of possible astrophysical interest due to an electronic transition in a 5000 A region. The B <-- X electronic transition of this radical in the discharge of thiophenol was measured using a cavity ring-down spectrometer. The optical absorption spectrum of this transition was obtained in the range covering from the origin band (0-0) to a frequency of 1750 cm-1. The vibronic bands in the 400-1700 cm-1 region are stronger than the origin band, suggesting structural difference between the ground and excited electronic states. The prominent progression was assigned to the 6a symmetric in-plane CCC bending mode starting from the 6b10 forbidden band. Band origins of individual bands were determined by analysis of the rotational profiles. Although these vibronic bands were not found in optical spectra of diffuse clouds, the upper limits of the column densities for the thiophenoxy radical in the diffuse clouds toward HD 183143 and HD 204827 were evaluated to be 4 x 10^13 cm-2.


title: Policy Evaluation and Seeking for Multi-Agent Reinforcement Learning via Best Response

abstract: This paper introduces two metrics (cycle-based and memory-based metrics), grounded on a dynamical game-theoretic solution concept called sink equilibrium, for the evaluation, ranking, and computation of policies in multi-agent learning. We adopt strict best response dynamics (SBRD) to model selfish behaviors at a meta-level for multi-agent reinforcement learning. Our approach can deal with dynamical cyclical behaviors (unlike approaches based on Nash equilibria and Elo ratings), and is more compatible with single-agent reinforcement learning than alpha-rank which relies on weakly better responses. We first consider settings where the difference between largest and second largest underlying metric has a known lower bound. With this knowledge we propose a class of perturbed SBRD with the following property: only policies with maximum metric are observed with nonzero probability for a broad class of stochastic games with finite memory. We then consider settings where the lower bound for the difference is unknown. For this setting, we propose a class of perturbed SBRD such that the metrics of the policies observed with nonzero probability differ from the optimal by any given tolerance. The proposed perturbed SBRD addresses the opponent-induced non-stationarity by fixing the strategies of others for the learning agent, and uses empirical game-theoretic analysis to estimate payoffs for each strategy profile obtained due to the perturbation.


title: Numerical analysis of wave propagation across Solid-Fluid interface with Fluid-Structure interaction in circular tube

abstract: Fluid-structure interaction (FSI) and wave propagation in engineering structures can cause severe damage to piping systems or fluid machines, inducing serious accidents. In these phenomena, the mechanism of structural damage depends on the wave propagation across the fluid-solid interface. Previous studies reported that disagreements between the induced pressure value on the solid-fluid movable interface and the value predicted by the classical one-dimensional theory arose from the effects of two-dimensional wave propagation. To address this problem, in this study, a two-dimensional axisymmetric simulation of wave propagation across the solid-fluid interface with FSI was conducted. The simulation was performed using ANSYS Autodyn with a Lagrangian solver for solids and Eulerian solver for water. The results showed that radial wave propagation caused by the dynamic effect of the tube and water's inertia affected the peak pressure on the solid-fluid interface. The peak pressure was attenuated near the tube wall because of the inertial effect of the tube and fluid expansion. By calculating the mean pressure and axial stress to compare the simulated peak pressure with that from one-dimensional acoustic theory, it was indicated that the transition region for transmitted pressure was located immediately after the solid-fluid interface. In this region, the transmitted peak pressure may exceed the value predicted by one-dimensional acoustic theory. The transition region was oriented in the axial direction from the interface. In addition, prediction of the transmitted peak pressure with one-dimensional acoustic theory was suggested via normal wave speed in the unconfined fluid from a safety engineering perspective, although the circumferential stress generated in the tube enclosing fluid can be sufficiently accurately predicted using the same theory with the Korteweg speed.


title: Adaptive, Rate-Optimal Hypothesis Testing in Nonparametric IV Models

abstract: We propose a new adaptive hypothesis test for inequality (e.g., monotonicity, convexity) and equality (e.g., parametric, semiparametric) restrictions on a structural function in a nonparametric instrumental variables (NPIV) model. Our test statistic is based on a modified leave-one-out sample analog of a quadratic distance between the restricted and unrestricted sieve NPIV estimators. We provide computationally simple, data-driven choices of sieve tuning parameters and Bonferroni adjusted chi-squared critical values. Our test adapts to the unknown smoothness of alternative functions in the presence of unknown degree of endogeneity and unknown strength of the instruments. It attains the adaptive minimax rate of testing in $L^2$. That is, the sum of its type I error uniformly over the composite null and its type II error uniformly over nonparametric alternative models cannot be improved by any other hypothesis test for NPIV models of unknown regularities. Confidence sets in $L^2$ are obtained by inverting the adaptive test. Simulations confirm that our adaptive test controls size and its finite-sample power greatly exceeds existing non-adaptive tests for monotonicity and parametric restrictions in NPIV models. Empirical applications to test for shape restrictions of differentiated products demand and of Engel curves are presented.


title: The No-Flippancy Game

abstract: We analyze a coin-based game with two players where, before starting the game, each player selects a string of length $n$ comprised of coin tosses. They alternate turns, choosing the outcome of a coin toss according to specific rules. As a result, the game is deterministic. The player whose string appears first wins. If neither player's string occurs, then the game must be infinite. We study several aspects of this game. We show that if, after $4n-4$ turns, the game fails to cease, it must be infinite. Furthermore, we examine how a player may select their string to force a desired outcome. Finally, we describe the result of the game for particular cases.


title: Modeling Subjective Assessments of Guilt in Newspaper Crime Narratives

abstract: Crime reporting is a prevalent form of journalism with the power to shape public perceptions and social policies. How does the language of these reports act on readers? We seek to address this question with the SuspectGuilt Corpus of annotated crime stories from English-language newspapers in the U.S. For SuspectGuilt, annotators read short crime articles and provided text-level ratings concerning the guilt of the main suspect as well as span-level annotations indicating which parts of the story they felt most influenced their ratings. SuspectGuilt thus provides a rich picture of how linguistic choices affect subjective guilt judgments. In addition, we use SuspectGuilt to train and assess predictive models, and show that these models benefit from genre pretraining and joint supervision from the text-level ratings and span-level annotations. Such models might be used as tools for understanding the societal effects of crime reporting.


title: Deep Learning with Functional Inputs

abstract: We present a methodology for integrating functional data into deep densely connected feed-forward neural networks. The model is defined for scalar responses with multiple functional and scalar covariates. A by-product of the method is a set of dynamic functional weights that can be visualized during the optimization process. This visualization leads to greater interpretability of the relationship between the covariates and the response relative to conventional neural networks. The model is shown to perform well in a number of contexts including prediction of new data and recovery of the true underlying functional weights; these results were confirmed through real applications and simulation studies. A forthcoming R package is developed on top of a popular deep learning library (Keras) allowing for general use of the approach.


title: Binary linear codes with few weights from Boolean functions

abstract: Boolean functions have very nice applications in cryptography and coding theory, which have led to a lot of research focusing on their applications. The objective of this paper is to construct binary linear codes with few weights from the defining set, which is defined by some special Boolean functions and some additional restrictions. First, we provide two general constructions of binary linear codes with three or four weights from Boolean functions with at most three Walsh transform values and determine the parameters of their dual codes. Then many classes of binary linear codes with explicit weight enumerators are obtained. Some binary linear codes and their duals obtained are optimal or almost optimal. The binary linear codes obtained in this paper may have a special interest in secret sharing schemes, association schemes, strongly regular graphs.


title: Mean-Field Predictions of Scaling Prefactors Match Low-Dimensional Jammed Packings

abstract: No known analytic framework precisely explains all the phenomena observed in jamming. The replica theory for glass and jamming is a mean field theory which attempts to do so by working in the limit of infinite dimensions, such that correlations between neighbors are negligible. As such, results from this mean field theory are not guaranteed to be observed in finite dimensions. However, many results in mean field for jamming have been shown to be exact or nearly exact in low dimensions. This suggests that the infinite dimensional limit is not necessary to obtain these results. In this paper, we perform precision measurements of jamming scaling relationships between pressure, excess packing fraction, and number of excess contacts from dimensions 2-10 in order to extract the prefactors to these scalings. While these prefactors should be highly sensitive to finite dimensional corrections, we find the mean field predictions for these prefactors to be exact in low dimensions. Thus the mean field approximation is not necessary for deriving these prefactors. We present an exact, first principles derivation for one, leaving the other as an open question.


title: Compact photonic-crystal superabsorbers from strongly absorbing media

abstract: We present a route to near-perfect absorption in compact photonic-crystal (PC) structures constructed from strongly absorbing media that are typically highly reflective in bulk form. Our analysis suggests that the key underlying mechanism in such PC superabsorbers is the existence of a PC-band-edge reflectionless condition. Although the latter is by default uncharacteristic in photonic crystals, we propose here a clear recipe on how such condition can be met by tuning the structural characteristics of one-dimensional lossy PC structures. Based on this recipe we constructed a realizable three-layer SiC-BaF2-SiC PC operating within the Reststrahlen band of SiC. We demonstrate near-perfect absorption in this prototype of total thickness smaller than lamda/3, where more than 90% of the impinging light is absorbed by the top deep-subwavelength layer of thickness ~lamda/1100. We believe our study will inspire new photonic-crystal-based designs for extreme absorption harnessing across the electromagnetic spectrum.


title: Spatial behavior of solutions for a large class of non-local PDE's arising from stratified flows

abstract: We propose a theoretical model of a non-local dipersive-dissipative equation which contains as a particular case a large class of non-local PDE's arising from stratified flows. Within this fairly general framework, we study the spatial behavior of solutions proving some sharp pointwise and averaged decay properties as well as some pointwise grow properties.


title: CO-Search: COVID-19 Information Retrieval with Semantic Search, Question Answering, and Abstractive Summarization

abstract: The COVID-19 global pandemic has resulted in international efforts to understand, track, and mitigate the disease, yielding a significant corpus of COVID-19 and SARS-CoV-2-related publications across scientific disciplines. As of May 2020, 128,000 coronavirus-related publications have been collected through the COVID-19 Open Research Dataset Challenge. Here we present CO-Search, a retriever-ranker semantic search engine designed to handle complex queries over the COVID-19 literature, potentially aiding overburdened health workers in finding scientific answers during a time of crisis. The retriever is built from a Siamese-BERT encoder that is linearly composed with a TF-IDF vectorizer, and reciprocal-rank fused with a BM25 vectorizer. The ranker is composed of a multi-hop question-answering module, that together with a multi-paragraph abstractive summarizer adjust retriever scores. To account for the domain-specific and relatively limited dataset, we generate a bipartite graph of document paragraphs and citations, creating 1.3 million (citation title, paragraph) tuples for training the encoder. We evaluate our system on the data of the TREC-COVID information retrieval challenge. CO-Search obtains top performance on the datasets of the first and second rounds, across several key metrics: normalized discounted cumulative gain, precision, mean average precision, and binary preference.


title: Simulating and mitigating crosstalk

abstract: We describe an efficient and scalable framework for modeling crosstalk effects on quantum information processors. By applying optimal control techniques, we show how to tuneup arbitrary high-fidelity parallel operations on systems with substantial local and nonlocal crosstalk. Simulations show drastically lower error rates for a 2D square array of 100 superconducting transmon qubits. These results suggest that rather than striving to engineer away undesirable interactions during fabrication, we can largely mitigate their effects through careful characterization and control optimization.


title: Cross-Correlated Attention Networks for Person Re-Identification

abstract: Deep neural networks need to make robust inference in the presence of occlusion, background clutter, pose and viewpoint variations -- to name a few -- when the task of person re-identification is considered. Attention mechanisms have recently proven to be successful in handling the aforementioned challenges to some degree. However previous designs fail to capture inherent inter-dependencies between the attended features; leading to restricted interactions between the attention blocks. In this paper, we propose a new attention module called Cross-Correlated Attention (CCA); which aims to overcome such limitations by maximizing the information gain between different attended regions. Moreover, we also propose a novel deep network that makes use of different attention mechanisms to learn robust and discriminative representations of person images. The resulting model is called the Cross-Correlated Attention Network (CCAN). Extensive experiments demonstrate that the CCAN comfortably outperforms current state-of-the-art algorithms by a tangible margin.


title: Zitterbewegung-mediated RKKY coupling in topological insulator thin films

abstract: The dynamics of itinerant electrons in topological insulator (TI) thin films is investigated using a multi-band decomposition approach. We show that the electron trajectory in the 2D film is anisotropic and confined within a characteristic region. Remarkably, the confinement and anisotropy of the electron trajectory are associated with the topological phase transition of the TI system, which can be controlled by tuning the film thickness and/or applying an in-plane magnetic field. Moreover, persistent electron wavepacket oscillation can be achieved in the TI thin film system at the phase transition point, which may assist in the experimental detection of the jitter motion (Zitterbewegung). The implications of the microscopic picture of electron motion in explaining other transport-related effects, e.g., electron-mediated RKKY coupling in the TI thin film system, are also discussed.


title: Local structure of idempotent algebras I

abstract: We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an arbitrary finite idempotent algebra including those admitting type 1. We show that this graph is connected, its edges can be classified into 4 types corresponding to the local behavior (set, semilattice, majority, or affine) of certain term operations. We also show that if the variety generated by the algebra omits type 1, then the structure of the algebra can be `improved' without introducing type 1 by choosing an appropriate reduct of the original algebra. Taylor minimal idempotent algebras introduced recently is a special case of such reducts. Then we refine this structure demonstrating that the edges of the graph of an algebra omitting type 1 can be made `thin', that is, there are term operations that behave very similar to semilattice, majority, or affine operations on 2-element subsets of the algebra. Finally, we prove certain connectivity properties of the refined structures. This research is motivated by the study of the Constraint Satisfaction Problem, although the problem itself does not really show up in this paper.


title: Uncertainty relations based on Wigner-Yanase skew information

abstract: In this paper, we use certain norm inequalities to obtain new uncertain relations based on the Wigner-Yanase skew information. First for an arbitrary finite number of observables we derive an uncertainty relation outperforming previous lower bounds. We then propose new weighted uncertainty relations for two noncompatible observables. Two separable criteria via skew information are also obtained.


title: Positive entropy implies chaos along any infinite sequence

abstract: Let $G$ be an infinite countable discrete amenable group. For any $G$-action on a compact metric space $(X,\rho)$, it turns out that if the action has positive topological entropy, then for any sequence $\{s_i\}_{i=1}^{+\infty}$ with pairwise distinct elements in $G$ there exists a Cantor subset $K$ of $X$ which is Li-Yorke chaotic along this sequence, that is, for any two distinct points $x,y\in K$, one has \[\limsup_{i\to+\infty}\rho(s_i x,s_iy)>0,\ \text{and}\ \liminf_{i\to+\infty}\rho(s_ix,s_iy)=0.\]


title: Fractional quantum Hall physics and higher-order momentum correlations in a few spinful fermionic contact-interacting ultracold atoms in rotating traps

abstract: The fractional quantum Hall effect (FQHE) is theoretically investigated, with numerical and algebraic approaches, in assemblies of a few spinful ultracold neutral fermionic atoms, interacting via repulsive contact potentials and confined in a single rapidly rotating two-dimensional harmonic trap. Going beyond the commonly used second-order correlations in the real configuration space, the methodology in this paper will assist the analysis of experimental observations by providing benchmark results for $N$-body spin-unresolved, as well as spin-resolved, momentum correlations measurable in time-of-flight experiments with individual particle detection. Our analysis shows that the few-body lowest-Landau-level (LLL) states with good magic angular momenta exhibit inherent ordered quantum structures in the $N$-body correlations, similar to those associated with rotating Wigner molecules (WMs), familiar from the field of semiconductor quantum dots under high magnetic fields. The application of a small perturbing stirring potential induces, at the ensuing avoided crossings, formation of symmetry broken states exhibiting ordered polygonal-ring structures, explicitly manifest in the single-particle density profile of the trapped particles. Away from the crossings, an LLL state obtained from exact diagonalization of the microscopic Hamiltonian, found to be well-described by a (1,1,1) Halperin two-component variational wavefunction, represents also a spinful rotating WM. Analysis of the calculated LLL wavefunction enables a two-dimensional generalization of the Girardeau one-dimensional 'fermionization' scheme, originally invoked for mapping of bosonic-type wave functions to those of spinless fermions.


title: Exploring Sparsity in Image Super-Resolution for Efficient Inference

abstract: Current CNN-based super-resolution (SR) methods process all locations equally with computational resources being uniformly assigned in space. However, since missing details in low-resolution (LR) images mainly exist in regions of edges and textures, less computational resources are required for those flat regions. Therefore, existing CNN-based methods involve redundant computation in flat regions, which increases their computational cost and limits their applications on mobile devices. In this paper, we explore the sparsity in image SR to improve inference efficiency of SR networks. Specifically, we develop a Sparse Mask SR (SMSR) network to learn sparse masks to prune redundant computation. Within our SMSR, spatial masks learn to identify "important" regions while channel masks learn to mark redundant channels in those "unimportant" regions. Consequently, redundant computation can be accurately localized and skipped while maintaining comparable performance. It is demonstrated that our SMSR achieves state-of-the-art performance with 41%/33%/27% FLOPs being reduced for x2/3/4 SR. Code is available at: https://github.com/LongguangWang/SMSR.


title: Quantum nucleation of up-down quark matter and astrophysical implications

abstract: Quark matter with only $u$ and $d$ quarks ($ud$QM) might be the ground state of baryonic matter at large baryon number $A>A_{\rm min}$. With $A_{\rm min}\gtrsim 300$, this has no direct conflict with the stability of ordinary nuclei. An intriguing test of this scenario is to look for quantum nucleation of $ud$QM inside neutron stars due to their large baryon densities. In this paper, we study the transition rate of cold neutron stars to $ud$ quark stars ($ud$QSs) and the astrophysical implications, considering the relevant theoretical uncertainties and observational constraints. It turns out that a large portion of parameter space predicts an instantaneous transition, and so the observed neutron stars are mostly $ud$QSs. We find this possibility still viable under the recent gravitational wave and pulsar observations, although there are debates on its compatibility with some observations that involve complicated structure of quark matter. The tension could be partially relieved in the two-families scenario, where the high-mass stars ($M\gtrsim2 M_{\odot}$) are all $ud$QSs and the low-mass ones ($M\sim1.4\, M_{\odot}$) are mostly hadronic stars. In this case, the slow transition of the low-mass hadronic stars points to a very specific class of hadronic models with moderately stiff EOSs, and $ud$QM properties are also strongly constrained.


title: Large scale anomalies in the CMB and non-Gaussianity in bouncing cosmologies

abstract: We propose that several of the anomalies that have been observed at large angular scales in the CMB have a common origin in a cosmic bounce that took place before the inflationary era. The bounce introduces a new physical scale in the problem, which breaks the almost scale invariance of inflation. As a result, the state of scalar perturbations at the onset of inflation is no longer the Bunch-Davies vacuum, but it rather contains excitations and non-Gaussianity, which are larger for infrared modes. We argue that the combined effect of these excitations and the correlations between CMB modes and longer wavelength perturbations, can account for the observed power suppression, for the dipolar asymmetry, and it can also produce a preference for odd-parity correlations. The model can also alleviate the tension in the lensing amplitude $A_L$. We adopt a phenomenological viewpoint by characterizing the model with a few free parameters, rather than restricting to specific bouncing theories. We identify the minimum set of ingredients needed for our ideas to hold, and point out examples of theories in the literature where these conditions are met.


title: Enhance Curvature Information by Structured Stochastic Quasi-Newton Methods

abstract: In this paper, we consider stochastic second-order methods for minimizing a finite summation of nonconvex functions. One important key is to find an ingenious but cheap scheme to incorporate local curvature information. Since the true Hessian matrix is often a combination of a cheap part and an expensive part, we propose a structured stochastic quasi-Newton method by using partial Hessian information as much as possible. By further exploiting either the low-rank structure or the kronecker-product properties of the quasi-Newton approximations, the computation of the quasi-Newton direction is affordable. Global convergence to stationary point and local superlinear convergence rate are established under some mild assumptions. Numerical results on logistic regression, deep autoencoder networks and deep convolutional neural networks show that our proposed method is quite competitive to the state-of-the-art methods.


title: Learning What to Defer for Maximum Independent Sets

abstract: Designing efficient algorithms for combinatorial optimization appears ubiquitously in various scientific fields. Recently, deep reinforcement learning (DRL) frameworks have gained considerable attention as a new approach: they can automate the design of a solver while relying less on sophisticated domain knowledge of the target problem. However, the existing DRL solvers determine the solution using a number of stages proportional to the number of elements in the solution, which severely limits their applicability to large-scale graphs. In this paper, we seek to resolve this issue by proposing a novel DRL scheme, coined learning what to defer (LwD), where the agent adaptively shrinks or stretch the number of stages by learning to distribute the element-wise decisions of the solution at each stage. We apply the proposed framework to the maximum independent set (MIS) problem, and demonstrate its significant improvement over the current state-of-the-art DRL scheme. We also show that LwD can outperform the conventional MIS solvers on large-scale graphs having millions of vertices, under a limited time budget.


title: The topological structure of function space of transitive maps

abstract: Let $C(\mathbf I)$ be the set of all continuous self-maps from ${\mathbf I}=[0,1]$ with the topology of uniformly convergence. A map $f\in C({\mathbf I})$ is called a transitive map if for every pair of non-empty open sets $U,V$ in $\mathbf{I}$, there exists a positive integer $n$ such that $U\cap f^{-n}(V)\not=\emptyset.$ We note $T(\mathbf{I})$ and $\overline{T(\mathbf{I})}$ to be the sets of all transitive maps and its closure in the space $C(\mathbf I)$. In this paper, we show that $T(\mathbf{I})$ and $\overline{T(\mathbf{I})}$ are homeomorphic to the separable Hilbert space $\ell_2$.


title: Random sampling and reconstruction of concentrated signals in a reproducing kernel space

abstract: In this paper, we consider (random) sampling of signals concentrated on a bounded Corkscrew domain $\Omega$ of a metric measure space, and reconstructing concentrated signals approximately from their (un)corrupted sampling data taken on a sampling set contained in $\Omega$. We establish a weighted stability of bi-Lipschitz type for a (random) sampling scheme on the set of concentrated signals in a reproducing kernel space. The weighted stability of bi-Lipschitz type provides a weak robustness to the sampling scheme, however due to the nonconvexity of the set of concentrated signals, it does not imply the unique signal reconstruction. From (un)corrupted samples taken on a finite sampling set contained in $\Omega$, we propose an algorithm to find approximations to signals concentrated on a bounded Corkscrew domain $\Omega$. Random sampling is a sampling scheme where sampling positions are randomly taken according to a probability distribution. Next we show that, with high probability, signals concentrated on a bounded Corkscrew domain $\Omega$ can be reconstructed approximately from their uncorrupted (or randomly corrupted) samples taken at i.i.d. random positions drawn on $\Omega$, provided that the sampling size is at least of the order $\mu(\Omega) \ln (\mu(\Omega))$, where $\mu(\Omega)$ is the measure of the concentrated domain $\Omega$. Finally, we demonstrate the performance of proposed approximations to the original concentrated signal when the sampling procedure is taken either with small density or randomly with large size.


title: Canonicalizing Open Knowledge Bases with Multi-Layered Meta-Graph Neural Network

abstract: Noun phrases and relational phrases in Open Knowledge Bases are often not canonical, leading to redundant and ambiguous facts. In this work, we integrate structural information (from which tuple, which sentence) and semantic information (semantic similarity) to do the canonicalization. We represent the two types of information as a multi-layered graph: the structural information forms the links across the sentence, relational phrase, and noun phrase layers; the semantic information forms weighted intra-layer links for each layer. We propose a graph neural network model to aggregate the representations of noun phrases and relational phrases through the multi-layered meta-graph structure. Experiments show that our model outperforms existing approaches on a public datasets in general domain.


title: Learning a functional control for high-frequency finance

abstract: We use a deep neural network to generate controllers for optimal trading on high frequency data. For the first time, a neural network learns the mapping between the preferences of the trader, i.e. risk aversion parameters, and the optimal controls. An important challenge in learning this mapping is that in intraday trading, trader's actions influence price dynamics in closed loop via the market impact. The exploration--exploitation tradeoff generated by the efficient execution is addressed by tuning the trader's preferences to ensure long enough trajectories are produced during the learning phase. The issue of scarcity of financial data is solved by transfer learning: the neural network is first trained on trajectories generated thanks to a Monte-Carlo scheme, leading to a good initialization before training on historical trajectories. Moreover, to answer to genuine requests of financial regulators on the explainability of machine learning generated controls, we project the obtained "blackbox controls" on the space usually spanned by the closed-form solution of the stylized optimal trading problem, leading to a transparent structure. For more realistic loss functions that have no closed-form solution, we show that the average distance between the generated controls and their explainable version remains small. This opens the door to the acceptance of ML-generated controls by financial regulators.


title: Giant topological longitudinal circular photo-galvanic effect in the chiral multifold semimetal CoSi

abstract: The absence of mirror symmetry, or chirality, is behind striking natural phenomena found in systems as diverse as DNA and crystalline solids. A remarkable example occurs when chiral semimetals with topologically protected band degeneracies are illuminated with circularly polarized light. Under the right conditions, the part of the generated photocurrent that switches sign upon reversal of the light's polarization, known as the circular photogalvanic effect, is predicted to depend only on fundamental constants. The conditions to observe quantization are non-universal, and depend on material parameters and the incident frequency. In this work, we perform terahertz emission spectroscopy with tunable photon energy from 0.2 eV - 1.1 eV in the chiral topological semimetal CoSi. We identify a large longitudinal photocurrent peaked at 0.4 eV reaching $\sim$ 550 $\mu A/V^{2}$, which is much larger than the photocurrent in any chiral crystal reported in the literature. Using first-principles calculations we establish that the peak originates from topological band crossings, reaching 3.3$\pm$0.3 in units of the quantization constant. Our calculations indicate that the quantized CPGE is within reach in CoSi upon doping and increase of the hot-carrier lifetime. The large photo-conductivity suggests that topological semimetals could potentially be used as novel mid-infrared detectors.


title: Discussion of "On nearly assumption-free tests of nominal confidence interval coverage for causal parameters estimated by machine learning"

abstract: We congratulate the authors on their exciting paper, which introduces a novel idea for assessing the estimation bias in causal estimates. Doubly robust estimators are now part of the standard set of tools in causal inference, but a typical analysis stops with an estimate and a confidence interval. The authors give an approach for a unique type of model-checking that allows the user to check whether the bias is sufficiently small with respect to the standard error, which is generally required for confidence intervals to be reliable.


title: UAV Optimal Guidance in Wind Fields Using ZEM/ZEV with Generalized Performance Index

abstract: This paper presents an optimal guidance approach for a UAV navigation between two given points in 3D considering the wind influence. The proposed cost function to be minimized involves the weighting of the travel time and the control energy. An analytical expression is derived for the optimal cost yielding a fourth-order polynomial whose positive real roots correspond to the optimal travel times. The optimization problem is shown to be equivalent to the Zero-Effort-Miss/Zero-Effort-Velocity (ZEM/ZEV) optimal guidance approach for the case of a constant wind acceleration. Case studies for the rendez-vous and the intercept problems are shown through simulation examples for different wind conditions.


title: De-Anonymizing Text by Fingerprinting Language Generation

abstract: Components of machine learning systems are not (yet) perceived as security hotspots. Secure coding practices, such as ensuring that no execution paths depend on confidential inputs, have not yet been adopted by ML developers. We initiate the study of code security of ML systems by investigating how nucleus sampling---a popular approach for generating text, used for applications such as auto-completion---unwittingly leaks texts typed by users. Our main result is that the series of nucleus sizes for many natural English word sequences is a unique fingerprint. We then show how an attacker can infer typed text by measuring these fingerprints via a suitable side channel (e.g., cache access times), explain how this attack could help de-anonymize anonymous texts, and discuss defenses.


title: Dynamic Tensor Rematerialization

abstract: Checkpointing enables the training of deep learning models under restricted memory budgets by freeing intermediate activations from memory and recomputing them on demand. Current checkpointing techniques statically plan these recomputations offline and assume static computation graphs. We demonstrate that a simple online algorithm can achieve comparable performance by introducing Dynamic Tensor Rematerialization (DTR), a greedy online algorithm for checkpointing that is extensible and general, is parameterized by eviction policy, and supports dynamic models. We prove that DTR can train an $N$-layer linear feedforward network on an $\Omega(\sqrt{N})$ memory budget with only $\mathcal{O}(N)$ tensor operations. DTR closely matches the performance of optimal static checkpointing in simulated experiments. We incorporate a DTR prototype into PyTorch merely by interposing on tensor allocations and operator calls and collecting lightweight metadata on tensors.


title: Tunable spin and orbital polarization in SrTiO3-based heterostructures

abstract: We formulate the effective Hamiltonian of Rashba spin-orbit coupling (RSOC) in $\mathrm{LaAlO_3/SrTiO_3}$ (LAO/STO) heterostructures. We derive analytical expressions of properties, e.g., Rashba parameter, effective mass, band edge energy and orbital occupancy, as functions of material and tunable heterostructure parameters. While linear RSOC is dominant around the $\Gamma$-point, cubic RSOC becomes significant at the higher-energy anti-crossing region. We find that linear RSOC stems from the structural inversion asymmetry (SIA), while the cubic term is induced by both SIA and bulk asymmetry. Furthermore, the SOC strength shows a striking dependence on the tunable heterostructure parameters such as STO thickness and the interfacial electric field which is ascribed to the quantum confinement effect near the LAO/STO interface. The calculated values of the linear and cubic RSOC are in agreement with previous experimental results.


title: Multi-Subspace Neural Network for Image Recognition

abstract: In image classification task, feature extraction is always a big issue. Intra-class variability increases the difficulty in designing the extractors. Furthermore, hand-crafted feature extractor cannot simply adapt new situation. Recently, deep learning has drawn lots of attention on automatically learning features from data. In this study, we proposed multi-subspace neural network (MSNN) which integrates key components of the convolutional neural network (CNN), receptive field, with subspace concept. Associating subspace with the deep network is a novel designing, providing various viewpoints of data. Basis vectors, trained by adaptive subspace self-organization map (ASSOM) span the subspace, serve as a transfer function to access axial components and define the receptive field to extract basic patterns of data without distorting the topology in the visual task. Moreover, the multiple-subspace strategy is implemented as parallel blocks to adapt real-world data and contribute various interpretations of data hoping to be more robust dealing with intra-class variability issues. To this end, handwritten digit and object image datasets (i.e., MNIST and COIL-20) for classification are employed to validate the proposed MSNN architecture. Experimental results show MSNN is competitive to other state-of-the-art approaches.


title: Electronic States of Al-Mg-Zn Quasicrystal and Its Approximant based on the First-Principles Calculations

abstract: First-principles calculations are performed to investigate the electronic states of 1/1 and 2/1 approximants with the composition Al$_{15}$Zn$_{40}$Mg$_{45}$ which is close to the quasicrystal (QC) Al$_{14.9}$Zn$_{41.0}$Mg$_{44.1}$ in which the superconductivity is recently discovered. The density of states for the 1/1 approximant shows a wide pseudogap structure near the Fermi level as commonly observed in various approximants of the QCs, whereas those for the 2/1 approximant do not show such a wide pseudogap. Instead of the wide pseudogap, the 2/1 approximant shows a remarkable narrow pseudogap at the Fermi level in contrast to the 1/1 approximant, which shows a shallow hump at the Fermi level within the wide pseudogap. This seems to be consistent with the experimental observation of the electrical resistivity, which increases with decreasing temperature from the room temperature down to around the superconducting transition temperature for the 2/1 approximant together with the QC, whereas it monotonically decreases for the 1/1 approximant.


title: Heuristics for the asymptotics of the number of $S_n$-number fields

abstract: We give a heuristic argument supporting conjectures of Bhargava on the asymptotics of the number of $S_n$-number fields having bounded discriminant. We then make our arguments rigorous in the case $n=3$ giving a new elementary proof of the Davenport-Heilbronn theorem. Our basic method is to count elements of small height in $S_n$-fields while carefully keeping track of the index of the monogenic ring that they generate.


title: Improving excited state potential energy surfaces via optimal orbital shapes

abstract: We demonstrate that, rather than resorting to high-cost dynamic correlation methods, qualitative failures in excited-state potential energy surface predictions can often be remedied at no additional cost by ensuring that optimal molecular orbitals are used for each individual excited state. This approach also avoids the weighting choices required by state-averaging and dynamic weighting and obviates their need for expensive wave function response calculations when relaxing excited state geometries. Although multi-state approaches are of course preferred near conical intersections, other features of excited-state potential energy surfaces can benefit significantly from our single state approach. In three different systems, including a double bond dissociation, a biologically relevant amino hydrogen dissociation, and an amino-to-ring intramolecular charge transfer, we show that state-specific orbitals offer qualitative improvements over the state-averaged status quo.


title: Optimization-based incentivization and control scheme for autonomous traffic

abstract: We consider the problem of incentivization and optimal control of autonomous vehicles for improving traffic congestion. In our scenario, autonomous vehicles must be incentivized in order to participate in traffic improvement. Using the theory and methods of optimal transport, we propose a constrained optimization framework over dynamics governed by partial differential equations, so that we can optimally select a portion of vehicles to be incentivized and controlled. The goal of the optimization is to obtain a uniform distribution of vehicles over the spatial domain. To achieve this, we consider two types of penalties on vehicle density, one is the $L^2$ cost and the other is a multiscale-norm cost, commonly used in fluid-mixing problems. To solve this non-convex optimization problem, we introduce a novel algorithm, which iterates between solving a convex optimization problem and propagating the flow of uncontrolled vehicles according to the Lighthill-Whitham-Richards model. We perform numerical simulations, which suggest that the optimization of the $L^2$ cost is ineffective while optimization of the multiscale norm is effective. The results also suggest the use of a dedicated lane for this type of control in practice.


title: Learning Visual Commonsense for Robust Scene Graph Generation

abstract: Scene graph generation models understand the scene through object and predicate recognition, but are prone to mistakes due to the challenges of perception in the wild. Perception errors often lead to nonsensical compositions in the output scene graph, which do not follow real-world rules and patterns, and can be corrected using commonsense knowledge. We propose the first method to acquire visual commonsense such as affordance and intuitive physics automatically from data, and use that to improve the robustness of scene understanding. To this end, we extend Transformer models to incorporate the structure of scene graphs, and train our Global-Local Attention Transformer on a scene graph corpus. Once trained, our model can be applied on any scene graph generation model and correct its obvious mistakes, resulting in more semantically plausible scene graphs. Through extensive experiments, we show our model learns commonsense better than any alternative, and improves the accuracy of state-of-the-art scene graph generation methods.


title: Interfacial crystal Hall effect reversible by ferroelectric polarization

abstract: The control of spin-dependent properties by voltage, not involving magnetization switching, has significant advantages for low-power spintronics. Here, we predict that the interfacial crystal Hall effect (ICHE) can serve for this purpose. We show that the ICHE can occur in heterostructures composed of compensated antiferromagnetic metals and non-magnetic insulators due to reduced symmetry at the interface, and it can be made reversible if the antiferromagnet is layered symmetrically between two identical ferroelectric layers. We explicitly demonstrate this phenomenon using density functional theory calculations for three material systems: MnBi$_{2}$Te$_{4}$/GeI$_{2}$ and topological In$_{2}$Te$_{3}$/MnBi$_{2}$Te$_{4}$/In$_{2}$Te$_{3}$ van der Waals heterostructures, and GeTe/Ru$_{2}$MnGe/GeTe heterostructure composed of three-dimensional materials. We show that all three systems reveal a sizable ICHE, while the latter two exhibit a quantum ICHE and ICHE, respectively, reversible with ferroelectric polarization. Our proposal opens an alternative direction for voltage controlled spintronics and offers not yet explored possibilities for functional devices by heterostructure design.


title: Metallicity Distribution of Galactic Halo Field RR Lyrae, and the Effect of Metallicity on their Pulsation Properties

abstract: We present our analysis of a large sample (over 150k) of candidate Galactic RR Lyrae (RRL) stars for which we derived high quality photometry at UV, optical and infrared wavelengths, using data from publicly available surveys. For a sub-sample of these stars (~2,400 fundamental mode field RRLs) we have measured their individual metallicity using the Delta S method, resulting in the largest and most homogeneous spectroscopic data set collected for RRLs. We use this sample to study the metallicity distribution in the Galactic Halo, including the long-standing problem of the Oosterhoff dichotomy among Galactic globular clusters. We also analyze the dependence of their pulsation properties, and in particular the shape of their infrared light curves, from their [Fe/H] abundance.


title: A basis theorem for the affine Kauffmann category and its cyclotomic quotients

abstract: The affine Kauffmann category is a strict monoidal category and can be considered as a $q$-analogue of the affine Brauer category in (Rui et al. in Math. Zeit. 293, 503-550, 2019). In this paper, we prove a basis theorem for the morphism spaces in the affine Kauffmann category. The cyclotomic Kauffmann category is a quotient category of the affine Kauffmann category. We also prove that any morphism space in this category is free over an integral domain $\mathbb K$ with maximal rank if and only if the $\mathbf u$-admissible condition holds in the sense of Definition 1.13.


title: Building Low-Resource NER Models Using Non-Speaker Annotation

abstract: In low-resource natural language processing (NLP), the key problems are a lack of target language training data, and a lack of native speakers to create it. Cross-lingual methods have had notable success in addressing these concerns, but in certain common circumstances, such as insufficient pre-training corpora or languages far from the source language, their performance suffers. In this work we propose a complementary approach to building low-resource Named Entity Recognition (NER) models using ``non-speaker'' (NS) annotations, provided by annotators with no prior experience in the target language. We recruit 30 participants in a carefully controlled annotation experiment with Indonesian, Russian, and Hindi. We show that use of NS annotators produces results that are consistently on par or better than cross-lingual methods built on modern contextual representations, and have the potential to outperform with additional effort. We conclude with observations of common annotation patterns and recommended implementation practices, and motivate how NS annotations can be used in addition to prior methods for improved performance. For more details, http://cogcomp.org/page/publication_view/941


title: Visor: Privacy-Preserving Video Analytics as a Cloud Service

abstract: Video-analytics-as-a-service is becoming an important offering for cloud providers. A key concern in such services is privacy of the videos being analyzed. While trusted execution environments (TEEs) are promising options for preventing the direct leakage of private video content, they remain vulnerable to side-channel attacks. We present Visor, a system that provides confidentiality for the user's video stream as well as the ML models in the presence of a compromised cloud platform and untrusted co-tenants. Visor executes video pipelines in a hybrid TEE that spans both the CPU and GPU. It protects the pipeline against side-channel attacks induced by data-dependent access patterns of video modules, and also addresses leakage in the CPU-GPU communication channel. Visor is up to $1000\times$ faster than na\"ive oblivious solutions, and its overheads relative to a non-oblivious baseline are limited to $2\times$--$6\times$.


title: De Rham's theorem for Orlicz cohomology in the case of Lie groups

abstract: We prove the equivalence between the simplicial Orlicz cohomology and the Orlicz-de Rham cohomology in the case of Lie groups. Since the first one is a quasi-isometry invariant for uniformly contractible simplicial complexes with bounded geometry, we obtain the invariance of the second one in the case of contractible Lie groups. We also define the Orlicz cohomology of a Gromov-hyperbolic space relative to a point on its boundary at infinity, for which the same results are true.


title: Energy-momentum density and pressure relations for a relativistic ideal gas with a bulk motion

abstract: We derive here, from first principles, the energy-momentum densities of a perfect fluid, in the form of an ideal molecular gas, in an inertial frame where the fluid possesses a bulk motion. We begin from the simple expressions for the energy density and pressure of a perfect fluid in the rest frame of the fluid, where the fluid constituents (gas molecules) may possess a random motion, but no bulk motion. From a Lorentz transformation of the velocity vectors of molecules, moving along different directions in the rest frame of the fluid, we compute their energy-momentum vectors and number densities in an inertial frame moving with respect to the rest frame of the liquid. From that we arrive at the energy-momentum density of the fluid in a frame where it has a bulk motion. This way we explicitly demonstrate how a couple of curious pressure-dependent terms make appearance in the energy-momentum density of a perfect fluid having a bulk motion. In addition to an ideal molecular gas, we compute the energy-momentum density for a photon gas also, which of course matches with the energy-momentum density expression obtained for a molecular gas having ultra-relativistic random motion.


title: Positivity of the density for rough differential equations

abstract: Due to recent developments of Malliavin calculus for rough differential equations, it is now known that, under natural assumptions, the law of a unique solution at a fixed time has a smooth density function. Therefore, it is quite natural to ask whether or when the density is strictly positive. In this paper we study this problem from the viewpoint of Aida-Kusuoka-Stroock's general theory.


title: On the spin-up events and spin direction of the X-ray pulsar GX 301-2

abstract: Recently a retrograde neutron star is proposed for the classical wind-fed X-ray pulsar, GX 301-2, to explain the orbital spin-up to spin-down reversal near periastron, based on the stream model invoked to explain the pre-periastron flare of GX 301-2 previously. We study in detail three rare spin-up events detected by Fermi/GBM and find that the spin derivatives are correlated with the Swift/BAT fluxes, following a relation of $\dot{\nu}\propto F^{0.75\pm0.05}$. All the spin-up events of GX 301-2 started about 10 days after the periastron, which is the time needed for tidally stripped gas to reach the neutron star. The slow rotation of the optical companion implies that the accreted matter is likely to have angular momentum in the direction of the orbital motion, as in a Roche-Lobe-like overflow. As a result, the spin-up events of GX 301-2 would favor accretion of a prograde disk to a prograde neutron star. We also find that the flare of intrinsic X-ray emission of GX 301-2 happened 0.4 days before periastron, while the flare of low energy emission (2-10 keV) happened about 1.4 days before periastron. The preceding low energy flare can be explained by stronger absorption of the intrinsic X-ray emission closer to the periastron. This finding weakened the need of the stream model. The pulse fraction of GX 301-2 near periastron is reduced heavily, which is likely caused by Compton scattering process. Compton reflection from the optical companion might be responsible for the observed orbital spin reversal of GX 301-2.


title: Electronic structure of a Si-containing topological Dirac semimetal CaAl2Si2

abstract: There has been an upsurge in the discovery of topological quantum materials, where various topological insulators and semimetals have been theoretically predicted and experimentally observed. However, only very few of them contains silicon, the most widely used element in electronic industry. Recently, ternary compound CaAl2Si2 has been predicted to be a topological Dirac semimetal, hosting Lorentz-symmetry-violating quasiparticles with a strongly tilted conical band dispersion. In this work, by using high-resolution angle-resolved photoemission spectroscopy (ARPES), we investigated the comprehensive electronic structure of CaAl2Si2. A pair of topological Dirac crossings is observed along the kz direction, in good agreement with the ab initio calculations, confirming the topological Dirac semimetal nature of the compound. Our study expands the topological material family on Si-containing compounds, which have great application potential in realizing low-cost, nontoxic electronic device with topological quantum states.


title: Substantially enhanced deuteron-triton fusion probabilities in intense low-frequency laser fields

abstract: Deuteron-triton (DT) fusion is the primary fusion reaction used in controlled fusion research, mainly for its relatively high reaction cross sections compared to other fusion options. Even so, to attain appreciable reaction probabilities very high temperatures (on the order of 10-100 million kelvins) are required, which are extremely challenging to achieve and maintain. We show that intense low-frequency laser fields, such as those in the near-infrared regime for the majority of intense laser facilities around the world, are highly effective in transferring energy to the DT system and enhancing the DT fusion probabilities. The fusion probabilities are shown to be enhanced by at least an order of magnitude in 800-nm laser fields with intensities on the order of 10$^{21}$ W/cm$^2$. The demanding temperature requirement of controlled nuclear fusion may be relaxed if intense low-frequency lasers are exploited.


title: Solving Constrained CASH Problems with ADMM

abstract: The CASH problem has been widely studied in the context of automated configurations of machine learning (ML) pipelines and various solvers and toolkits are available. However, CASH solvers do not directly handle black-box constraints such as fairness, robustness or other domain-specific custom constraints. We present our recent approach [Liu, et al., 2020] that leverages the ADMM optimization framework to decompose CASH into multiple small problems and demonstrate how ADMM facilitates incorporation of black-box constraints.


title: $L^p$-boundedness of wave operators for 2D Schr\"odinger operators with point interactions

abstract: For two dimensional Schr\"odinger operator $H$ with point interactions, We prove that wave operators of scattering for the pair $(H,H_0)$, $H_0$ being the free Schr\"odinger operator, are bounded in the Lebesgue space $L^p(\R^2)$ for $1<p<\infty$ if and only if there are no generalized eigenfunctions of $Hu(x)=0$ which satisfy $u(x)= C|x|^{-1}+ o(|x|^{-1})$ as $|x|\to \infty$, $C\not=0$. Otherwise they are bounded for $1<p\leq 2$ and unbounded for $2<p<\infty$.


title: FedCD: Improving Performance in non-IID Federated Learning

abstract: Federated learning has been widely applied to enable decentralized devices, which each have their own local data, to learn a shared model. However, learning from real-world data can be challenging, as it is rarely identically and independently distributed (IID) across edge devices (a key assumption for current high-performing and low-bandwidth algorithms). We present a novel approach, FedCD, which clones and deletes models to dynamically group devices with similar data. Experiments on the CIFAR-10 dataset show that FedCD achieves higher accuracy and faster convergence compared to a FedAvg baseline on non-IID data while incurring minimal computation, communication, and storage overheads.


title: Approximate Gradient Coding with Optimal Decoding

abstract: In distributed optimization problems, a technique called gradient coding, which involves replicating data points, has been used to mitigate the effect of straggling machines. Recent work has studied approximate gradient coding, which concerns coding schemes where the replication factor of the data is too low to recover the full gradient exactly. Our work is motivated by the challenge of creating approximate gradient coding schemes that simultaneously work well in both the adversarial and stochastic models. To that end, we introduce novel approximate gradient codes based on expander graphs, in which each machine receives exactly two blocks of data points. We analyze the decoding error both in the random and adversarial straggler setting, when optimal decoding coefficients are used. We show that in the random setting, our schemes achieve an error to the gradient that decays exponentially in the replication factor. In the adversarial setting, the error is nearly a factor of two smaller than any existing code with similar performance in the random setting. We show convergence bounds both in the random and adversarial setting for gradient descent under standard assumptions using our codes. In the random setting, our convergence rate improves upon block-box bounds. In the adversarial setting, we show that gradient descent can converge down to a noise floor that scales linearly with the adversarial error to the gradient. We demonstrate empirically that our schemes achieve near-optimal error in the random setting and converge faster than algorithms which do not use the optimal decoding coefficients.


title: Iterative Edit-Based Unsupervised Sentence Simplification

abstract: We present a novel iterative, edit-based approach to unsupervised sentence simplification. Our model is guided by a scoring function involving fluency, simplicity, and meaning preservation. Then, we iteratively perform word and phrase-level edits on the complex sentence. Compared with previous approaches, our model does not require a parallel training set, but is more controllable and interpretable. Experiments on Newsela and WikiLarge datasets show that our approach is nearly as effective as state-of-the-art supervised approaches.


title: Visual Attention for Musical Instrument Recognition

abstract: In the field of music information retrieval, the task of simultaneously identifying the presence or absence of multiple musical instruments in a polyphonic recording remains a hard problem. Previous works have seen some success in improving instrument classification by applying temporal attention in a multi-instance multi-label setting, while another series of work has also suggested the role of pitch and timbre in improving instrument recognition performance. In this project, we further explore the use of attention mechanism in a timbral-temporal sense, \`a la visual attention, to improve the performance of musical instrument recognition using weakly-labeled data. Two approaches to this task have been explored. The first approach applies attention mechanism to the sliding-window paradigm, where a prediction based on each timbral-temporal `instance' is given an attention weight, before aggregation to produce the final prediction. The second approach is based on a recurrent model of visual attention where the network only attends to parts of the spectrogram and decide where to attend to next, given a limited number of `glimpses'.


title: Automatic Curriculum Learning through Value Disagreement

abstract: Continually solving new, unsolved tasks is the key to learning diverse behaviors. Through reinforcement learning (RL), we have made massive strides towards solving tasks that have a single goal. However, in the multi-task domain, where an agent needs to reach multiple goals, the choice of training goals can largely affect sample efficiency. When biological agents learn, there is often an organized and meaningful order to which learning happens. Inspired by this, we propose setting up an automatic curriculum for goals that the agent needs to solve. Our key insight is that if we can sample goals at the frontier of the set of goals that an agent is able to reach, it will provide a significantly stronger learning signal compared to randomly sampled goals. To operationalize this idea, we introduce a goal proposal module that prioritizes goals that maximize the epistemic uncertainty of the Q-function of the policy. This simple technique samples goals that are neither too hard nor too easy for the agent to solve, hence enabling continual improvement. We evaluate our method across 13 multi-goal robotic tasks and 5 navigation tasks, and demonstrate performance gains over current state-of-the-art methods.


title: Exact relations between Rayleigh-B\'enard and rotating plane Couette flow in 2D

abstract: Rayleigh-B\'enard convection (RBC) and Taylor-Couette Flow (TCF) are two paradigmatic fluid dynamical systems frequently discussed together because of their many similarities despite their different geometries and forcing. Often these analogies require approximations, but in the limit of large radii where TCF becomes rotating plane Couette flow (RPC) exact relations can be established. When the flows are restricted to two spatial degrees of freedom there is an exact specification that maps the three velocity components in RPC to the two velocity components and one temperature field in RBC. Using this, we deduce several relations between both flows: (i) The Rayleigh number $Ra$ in convection and the Reynolds $Re$ and rotation $R_\Omega$ number in RPC flow are related by $Ra= Re^2 R_\Omega (1-R_\Omega)$. (ii) Heat and angular momentum transport differ by $(1-R_\Omega)$, explaining why angular momentum transport is not symmetric around $R_\Omega=1/2$ even though the relation between $Ra$ and $R_\Omega$ has this symmetry. This relationship leads to a predicted value of $R_\Omega$ that maximizes the angular momentum transport that agrees remarkably well with existing numerical simulations of the full 3D system. (iii) One variable in both flows satisfy a maximum principle i.e., the fields' extrema occur at the walls. Accordingly, backflow events in shear flow \emph{cannot} occur in this two-dimensional setting. (iv) For free slip boundary conditions on the axial and radial velocity components, previous rigorous analysis for RBC implies that the azimuthal momentum transport in RPC is bounded from above by $Re^{5/6}$ with a scaling exponent smaller than the anticipated $Re^1$.


title: Epitaxial niobium nitride superconducting nanowire single-photon detectors

abstract: Superconducting nanowires used in single-photon detectors have been realized on amorphous or poly-crystalline films. Here, we report the use of single-crystalline NbN thin films for superconducting nanowire single-photon detectors (SNSPDs). Grown by molecular beam epitaxy (MBE) at high temperature on nearly lattice-matched AlN-on-sapphire substrates, the NbN films exhibit high degree of uniformity and homogeneity. Even with relatively thick films, the fabricated nanowire detectors show saturated internal efficiency at near-IR wavelengths, demonstrating the potential of MBE-grown NbN for realizing large arrays of on-chip SNSPDs and their integration with AlN-based $\chi^{(2)}$ quantum photonic circuits.


title: Sustainable spin current in the time-dependent Rashba system

abstract: The generation of spin current and spin polarization in 2DEG Rashba system is considered, in which the spin-orbital coupling (SOC) is modulated by an ac gate voltage. By using non-Abelian gauge field method, we show the presence of an additional electric field. This field induces a spin current generated even in the presence of impurity scattering and is related to the time-modulation of the Rashba SOC strength. In addition, the spin precession can be controlled by modulating the modulation frequency of the Rashba SOC strength. It is shown that at high modulation frequency, the precessional motion is suppressed so that the electron spin polarization can be sustained in the 2DEG


title: ExSampling: a system for the real-time ensemble performance of field-recorded environmental sounds

abstract: We propose ExSampling: an integrated system of recording application and Deep Learning environment for a real-time music performance of environmental sounds sampled by field recording. Automated sound mapping to Ableton Live tracks by Deep Learning enables field recording to be applied to real-time performance, and create interactions among sound recorders, composers and performers.


title: Parameterized MDPs and Reinforcement Learning Problems -- A Maximum Entropy Principle Based Framework

abstract: We present a framework to address a class of sequential decision making problems. Our framework features learning the optimal control policy with robustness to noisy data, determining the unknown state and action parameters, and performing sensitivity analysis with respect to problem parameters. We consider two broad categories of sequential decision making problems modelled as infinite horizon Markov Decision Processes (MDPs) with (and without) an absorbing state. The central idea underlying our framework is to quantify exploration in terms of the Shannon Entropy of the trajectories under the MDP and determine the stochastic policy that maximizes it while guaranteeing a low value of the expected cost along a trajectory. This resulting policy enhances the quality of exploration early on in the learning process, and consequently allows faster convergence rates and robust solutions even in the presence of noisy data as demonstrated in our comparisons to popular algorithms such as Q-learning, Double Q-learning and entropy regularized Soft Q-learning. The framework extends to the class of parameterized MDP and RL problems, where states and actions are parameter dependent, and the objective is to determine the optimal parameters along with the corresponding optimal policy. Here, the associated cost function can possibly be non-convex with multiple poor local minima. Simulation results applied to a 5G small cell network problem demonstrate successful determination of communication routes and the small cell locations. We also obtain sensitivity measures to problem parameters and robustness to noisy environment data.


title: Regulating algorithmic filtering on social media

abstract: By filtering the content that users see, social media platforms have the ability to influence users' perceptions and decisions, from their dining choices to their voting preferences. This influence has drawn scrutiny, with many calling for regulations on filtering algorithms, but designing and enforcing regulations remains challenging. In this work, we examine three questions. First, given a regulation, how would one design an audit to enforce it? Second, does the audit impose a performance cost on the platform? Third, how does the audit affect the content that the platform is incentivized to filter? In response, we propose a method such that, given a regulation, an auditor can test whether that regulation is met with only black-box access to the filtering algorithm. We then turn to the platform's perspective. The platform's goal is to maximize an objective function while meeting regulation. We find that there are conditions under which the regulation does not place a high performance cost on the platform and, notably, that content diversity can play a key role in aligning the interests of the platform and regulators.


title: On some characterizations of convex polyhedra

abstract: This work provides two sufficient conditions in terms of sections or projections for a convex body to be a polytope. These conditions are necessary as well.


title: Constrained regret minimization for multi-criterion multi-armed bandits

abstract: We consider a stochastic multi-armed bandit setting and study the problem of constrained regret minimization over a given time horizon. Each arm is associated with an unknown, possibly multi-dimensional distribution, and the merit of an arm is determined by several, possibly conflicting attributes. The aim is to optimize a 'primary' attribute subject to user-provided constraints on other 'secondary' attributes. We assume that the attributes can be estimated using samples from the arms' distributions, and that the estimators enjoy suitable concentration properties. We propose an algorithm called Con-LCB that guarantees a logarithmic regret, i.e., the average number of plays of all non-optimal arms is at most logarithmic in the horizon. The algorithm also outputs a Boolean flag that correctly identifies, with high probability, whether the given instance is feasible/infeasible with respect to the constraints. We also show that Con-LCB is optimal within a universal constant, i.e., that more sophisticated algorithms cannot do much better universally. Finally, we establish a fundamental trade-off between regret minimization and feasibility identification. Our framework finds natural applications, for instance, in financial portfolio optimization, where risk constrained maximization of expected return is meaningful.


title: Entropy production due to adiabatic particle creation in a holographic dissipative cosmology

abstract: Cosmological adiabatic particle creation results in the generation of irreversible entropy. The evolution of this entropy is examined in a flat Friedmann--Robertson--Walker universe at late times, using a dissipative model with a power-law term (proportional to the power of the Hubble parameter $H$). In a dissipative universe, the irreversible entropy included in the Hubble volume is found to be proportional to $H^{-1}$, unlike for the case of the Bekenstein--Hawking entropy on the horizon of the universe. In addition, the evolution of the horizon entropy is examined, extending the previous analysis of a non-dissipative universe [Phys.\ Rev.\ D \textbf{100}, 123545 (2019) (arXiv:1911.08306)]. In the present model, the generalized second law of thermodynamics is always satisfied, whereas the maximization of entropy is satisfied under specific conditions. The dissipative universe should be constrained by the entropy maximization as if the universe behaves as an ordinary, isolated macroscopic system. The thermodynamic constraints are likely to be consistent with constraints on a transition from a decelerating universe to an accelerating universe.


title: Wannier quasi-classical approach to high harmonic generation in semiconductors

abstract: We develop a quasi-classical theory of high harmonic generation in semiconductors based on an interband current that has been transformed from Bloch to Wannier basis. The Wannier quasi-classical approach reveals a complete picture of the mechanisms shaping high harmonic generation, such that quantitative agreement with full quantum calculations is obtained. The intuitive picture revealed by quasi-classical wavepacket propagation will be helpful in the interpretation and design of high harmonic and attosecond experiments. Beyond that, the capacity to quantitatively model quantum dynamics with classical trajectories should prove useful for a wider spectrum of condensed matter research, including coherent control, transport theory, and strong field physics.


title: Tests of conservation laws in post-Newtonian gravity with binary pulsars

abstract: General relativity is a fully conservative theory, but there exist other possible metric theories of gravity. We consider non-conservative ones with a parameterized post-Newtonian (PPN) parameter, $\zeta_2$. A non-zero $\zeta_2$ induces a self-acceleration for the center of mass of an eccentric binary pulsar system, which contributes to the second time derivative of the pulsar spin frequency, $\ddot{\nu}$. In our work, using the method in Will (1992), we provide an improved analysis with four well-timed, carefully-chosen binary pulsars. In addition, we extend Will's method and derive $\zeta_2$'s effect on the third time derivative of the spin frequency, $\dddot{\nu}$. For PSR B1913+16, the constraint from $\dddot{\nu}$ is even tighter than that from $\ddot{\nu}$. We combine multiple pulsars with Bayesian inference, and obtain an upper limit, $\left|\zeta_{2}\right|<1.3\times10^{-5}$ at 95% confidence level, assuming a flat prior in $\log_{10} \left| \zeta_{2}\right|$. It improves the existing bound by a factor of three. Moreover, we propose an analytical timing formalism for $\zeta_2$. Our simulated times of arrival with simplified assumptions show binary pulsars' capability in limiting $\zeta_{2}$, and useful clues are extracted for real data analysis in future. In particular, we discover that for PSRs B1913+16 and J0737$-$3039A, $\dddot{\nu}$ can yield more constraining limits than $\ddot{\nu}$.