title: MoMIT: Porting a JavaScript Interpreter on a Quarter Coin

abstract: The Internet of Things (IoT) is a network of physical, heterogeneous, connected devices providing services through private networks and the Internet. It connects a range of new devices to the Internet so they can communicate with Web servers and other devices around the world. Today's standard platform for communicating Web pages and Web apps is JavaScript (JS) and extending the same standard platform to connect IoT devices seems more than appropriate. However, porting JS applications to the large variety of IoT devices, specifically on System-on-a-Chip (SoCs) devices (\eg~Arduino Uno, Particle \photon), is challenging because these devices are constrained in terms of memory and storage capacity. Running JS applications adds an overhead of resources to deploy a code interpreter on the devices. Also, running JS applications may not be possible ``as is'' on some device missing some hardware/software capabilities. To address this problem, we propose \momit~a multiobjective optimization approach to miniaturize JS applications to run on IoT constrained devices. To validate \momit, we miniaturize a JS interpreter to execute a testbed comprised of 23 applications and measure their performances before and after applying the miniaturization process. We implement \momit~using three different search algorithms and found that it can reduce code size, memory usage, and CPU time by median values of 31\%, 56\%, and 36\% respectively. Finally, MoMIT ported the miniaturized JS interpreters up to to 2 SoCs additional devices, in comparison of using default JS interpreter features.


title: Clustering Degree-Corrected Stochastic Block Model with Outliers

abstract: For the degree corrected stochastic block model in the presence of arbitrary or even adversarial outliers, we develop a convex-optimization-based clustering algorithm that includes a penalization term depending on the positive deviation of a node from the expected number of edges to other inliers. We prove that under mild conditions, this method achieves exact recovery of the underlying clusters. Our synthetic experiments show that our algorithm performs well on heterogeneous networks, and in particular those with Pareto degree distributions, for which outliers have a broad range of possible degrees that may enhance their adversarial power. We also demonstrate that our method allows for recovery with significantly lower error rates compared to existing algorithms.


title: Invoice Financing of Supply Chains with Blockchain technology and Artificial Intelligence

abstract: Supply chains lend themselves to blockchain technology, but certain challenges remain, especially around invoice financing. For example, the further a supplier is removed from the final consumer product, the more difficult it is to get their invoices financed. Moreover, for competitive reasons, retailers and manufacturers do not want to disclose their supply chains. However, upstream suppliers need to prove that they are part of a `stable' supply chain to get their invoices financed, which presents the upstream suppliers with huge, and often unsurmountable, obstacles to get the necessary finance to fulfil the next order, or to expand their business. Using a fictitious supply chain use case, which is based on a real world use case, we demonstrate how these challenges have the potential to be solved by combining more advanced and specialised blockchain technologies with other technologies such as Artificial Intelligence. We describe how atomic crosschain functionality can be utilised across private blockchains to retrieve the information required for an invoice financier to make informed decisions under uncertainty, and consider the effect this decision has on the overall stability of the supply chain.


title: Do Authors Deposit on Time? Tracking Open Access Policy Compliance

abstract: Recent years have seen fast growth in the number of policies mandating Open Access (OA) to research outputs. We conduct a large-scale analysis of over 800 thousand papers from repositories around the world published over a period of 5 years to investigate: a) if the time lag between the date of publication and date of deposit in a repository can be effectively tracked across thousands of repositories globally, and b) if introducing deposit deadlines is associated with a reduction of time from acceptance to public availability of research outputs. We show that after the introduction of the UK REF 2021 OA policy, this time lag has decreased significantly in the UK and that the policy introduction might have accelerated the UK's move towards immediate OA compared to other countries. This supports the argument for the inclusion of a time-limited deposit requirement in OA policies.


title: The chiral SYK model

abstract: We study the generalization of the Sachdev-Ye-Kitaev (SYK) model to a $1+1$ dimensional chiral SYK model of $N$ flavors of right-moving chiral Majorana fermions with all-to-all random 4-fermion interactions. The interactions in this model are exactly marginal, leading to an exact scaling symmetry. We show the Schwinger-Dyson equation of this model in the large $N$ limit is exactly solvable. In addition, we show this model is integrable for small $N\le6$ by bosonization. Surprisingly, the two point function in the large $N$ limit has exactly the same form as that for $N=4$, although the four point functions of the two cases are quite different. The ground state entropy in the large $N$ limit is the same as that of $N$ free chiral Majorana fermions, leading to a zero ground state entropy density. The OTOC of the model in the large $N$ limit exhibits a non-trivial spacetime structure reminscent of that found by Gu and Kitaev for generic SYK-like models. Specifically we find a Lyapunov regime inside an asymmetric butterfly cone, which are signatures of quantum chaos, and that the maximal velocity dependent Lyapunov exponent approaches the chaos bound $2\pi/\beta$ as the interaction strength approaches its physical upper bound. Finally, the model is integrable for (at least) $N\le6$ but chaotic in the large $N$ limit, leading us to conjecture that there is a transition from integrability to chaos as $N$ increases past a critical value.


title: An optimal transport problem with backward martingale constraints motivated by insider trading

abstract: We study a single-period optimal transport problem on $\mathbb{R}^2$ with a covariance-type cost function $c(x,y) = (x_1-y_1)(x_2-y_2)$ and a backward martingale constraint. We show that a transport plan $\gamma$ is optimal if and only if there is a maximal monotone set $G$ that supports the $x$-marginal of $\gamma$ and such that $c(x,y) = \min_{z\in G}c(z,y)$ for every $(x,y)$ in the support of $\gamma$. We obtain sharp regularity conditions for the uniqueness of an optimal plan and for its representation in terms of a map. Our study is motivated by a variant of the classical Kyle model of insider trading from Rochet and Vila (1994).


title: Robustness for Non-Parametric Classification: A Generic Attack and Defense

abstract: Adversarially robust machine learning has received much recent attention. However, prior attacks and defenses for non-parametric classifiers have been developed in an ad-hoc or classifier-specific basis. In this work, we take a holistic look at adversarial examples for non-parametric classifiers, including nearest neighbors, decision trees, and random forests. We provide a general defense method, adversarial pruning, that works by preprocessing the dataset to become well-separated. To test our defense, we provide a novel attack that applies to a wide range of non-parametric classifiers. Theoretically, we derive an optimally robust classifier, which is analogous to the Bayes Optimal. We show that adversarial pruning can be viewed as a finite sample approximation to this optimal classifier. We empirically show that our defense and attack are either better than or competitive with prior work on non-parametric classifiers. Overall, our results provide a strong and broadly-applicable baseline for future work on robust non-parametrics. Code available at https://github.com/yangarbiter/adversarial-nonparametrics/ .


title: Nature of the magnetism of iridium in the double perovskite Sr2CoIrO6

abstract: We report on our investigation on the magnetism of the iridate double perovskite Sr$_2$CoIrO$_6$, a nominally Ir$^{5+}$ Van Vleck $J_{eff}=0$ system. Using x-ray absorption (XAS) and x-ray magnetic circular dichroism (XMCD) spectroscopy at the Ir-$L_{2,3}$ edges, we found a nearly zero orbital contribution to the magnetic moment and thus an apparent breakdown of the $J_{eff}=0$ ground state. By carrying out also XAS and XMCD experiments at the Co-$L_{2,3}$ edges and by performing detailed full atomic multiplet calculations to simulate all spectra, we discovered that the compound consists of about 90% Ir$^{5+}$ ($J_{eff}=0$) and Co$^{3+}$ ($S=2$) and 10% Ir$^{6+}$ ($S=3/2$) and Co$^{2+}$ ($S=3/2$). The magnetic signal of this minority Ir$^{6+}$ component is almost equally strong as that of the main Ir$^{5+}$ component. We infer that there is a competition between the Ir$^{5+}$-Co$^{3+}$ and the Ir$^{6+}$-Co$^{2+}$ configurations in this stoichiometric compound.


title: Identification of nutrient deficiency in bean plants by prompt chlorophyll fluorescence measurements and Artificial Neural Networks

abstract: The deficiency of macro (N, P, S, Ca, Mg and K) and micro (Zn, Cu, B, Mo, Cl, Mn and Fe) minerals has a major effect on plant development. The lack of some nutrient minerals especially of nitrogen, potassium, calcium, phosphorus and iron is a huge problem for agriculture and early warning and prevention of the problem will be very useful for agro-industry. Methods currently used to determine nutritional deficiency in plants are soil analysis, plant tissue analysis, or combined methods. But these methods are slow and expensive. In this study, a new method for determining nutrient deficiency in plants based on the prompt fluorescence of chlorophyll a is proposed. In this paper bean plants are grown on a complete nutrient solution (control) were compared with those grown in a medium, which lacked one of these elements - N, P, K, Ca and Fe. In this article the mineral deficiency in nutrient solution was evaluated by the stress response of the plants estimated by leaves photosynthetic activity. The photosynthetic activity was estimated by analysis of the chlorophyll fluorescence using JIP-test approach that reflects functional activity of Photosystems I and II and of electron transfer chain between them, as well as the physiological state of the photosynthetic apparatus as whole. Next the fluorescence transient recorded from plants grown in nutrient solution with deficiency of N, P, K, Ca and Iron, as an input data in Artificial Neural Network was used. This ANN was train to recognise deficiency of N, P, K, Ca and Iron in bean plants. The results obtained were of high recognition accuracy. The ANN of fluorescence transient was presented as a possible approach to identify/predict the nutrient deficiency using the fast chlorophyll fluorescence records.


title: On C-Parallel Legendre Curves in Non-Sasakian Contact Metric Manifolds

abstract: In $(2n+1)$-dimensional non-Sasakian contact metric manifolds, we consider Legendre curves whose mean curvature vector fields are $\mathcal{C}$-parallel or $\mathcal{C}$-proper in the tangent or normal bundles. We obtain the curvature characterizations of these curves. Moreover, we give some examples of these kinds of curves which satisfy the conditions of our results.


title: Secrets of the Brain: An Introduction to the Brain Anatomical Structure and Biological Function

abstract: In this paper, we will provide an introduction to the brain structure and function. Brain is an astonishing living organ inside our heads, weighing about 1.5kg, consisting of billions of tiny cells. The brain enables us to sense the world around us (to touch, to smell, to see and to hear, etc.), to think and to respond to the world as well. The main obstacles that prevent us from creating a machine which can behavior like real-world creatures are due to our limited knowledge about the brain in both its structure and its function. In this paper, we will focus introducing the brain anatomical structure and biological function, as well as its surrounding sensory systems. Many of the materials used in this paper are from wikipedia and several other neuroscience introductory articles, which will be properly cited in this article. This is the first of the three tutorial articles about the brain (the other two are [26] and [27]). In the follow-up two articles, we will further introduce the low-level composition basis structures (e.g., neuron, synapse and action potential) and the high-level cognitive functions (e.g., consciousness, attention, learning and memory) of the brain, respectively.


title: Vandermondes in superspace

abstract: Superspace of rank $n$ is a $\mathbb{Q}$-algebra with $n$ commuting generators $x_1, \dots, x_n$ and $n$ anticommuting generators $\theta_1, \dots, \theta_n$. We present an extension of the Vandermonde determinant to superspace which depends on a sequence $\mathbf{a} = (a_1, \dots, a_r)$ of nonnegative integers of length $r \leq n$. We use superspace Vandermondes to construct graded representations of the symmetric group. This construction recovers hook-shaped Tanisaki quotients, the coinvariant ring for the Delta Conjecture constructed by Haglund, Rhoades, and Shimozono, and a superspace quotient related to positroids and Chern plethysm constructed by Billey, Rhoades, and Tewari. We define a notion of partial differentiation with respect to anticommuting variables to construct doubly graded modules from superspace Vandermondes. These doubly graded modules carry a natural ring structure which satisfies a 2-dimensional version of Poincar\'e duality. The application of polarization operators gives rise to other bigraded modules which give a conjectural module for the symmetric function $\Delta'_{e_{k-1}} e_n$ appearing in the Delta Conjecture of Haglund, Remmel, and Wilson.


title: Cell image classification: a comparative overview

abstract: Cell image classification methods are currently being used in numerous applications in cell biology and medicine. Applications include understanding the effects of genes and drugs in screening experiments, understanding the role and subcellular localization of different proteins, as well as diagnosis and prognosis of cancer from images acquired using cytological and histological techniques. We review three different approaches for cell image classification: numerical feature extraction, end to end classification with neural networks, and transport-based morphometry. In addition, we provide comparisons on four different cell imaging datasets to highlight the relative strength of each method.


title: Optimal Transport Relaxations with Application to Wasserstein GANs

abstract: We propose a family of relaxations of the optimal transport problem which regularize the problem by introducing an additional minimization step over a small region around one of the underlying transporting measures. The type of regularization that we obtain is related to smoothing techniques studied in the optimization literature. When using our approach to estimate optimal transport costs based on empirical measures, we obtain statistical learning bounds which are useful to guide the amount of regularization, while maintaining good generalization properties. To illustrate the computational advantages of our regularization approach, we apply our method to training Wasserstein GANs. We obtain running time improvements, relative to current benchmarks, with no deterioration in testing performance (via FID). The running time improvement occurs because our new optimality-based threshold criterion reduces the number of expensive iterates of the generating networks, while increasing the number of actor-critic iterations.


title: Efficient non-conjugate Gaussian process factor models for spike count data using polynomial approximations

abstract: Gaussian Process Factor Analysis (GPFA) has been broadly applied to the problem of identifying smooth, low-dimensional temporal structure underlying large-scale neural recordings. However, spike trains are non-Gaussian, which motivates combining GPFA with discrete observation models for binned spike count data. The drawback to this approach is that GPFA priors are not conjugate to count model likelihoods, which makes inference challenging. Here we address this obstacle by introducing a fast, approximate inference method for non-conjugate GPFA models. Our approach uses orthogonal second-order polynomials to approximate the nonlinear terms in the non-conjugate log-likelihood, resulting in a method we refer to as \textit{polynomial approximate log-likelihood} (PAL) estimators. This approximation allows for accurate closed-form evaluation of marginal likelihoods and fast numerical optimization for parameters and hyperparameters. We derive PAL estimators for GPFA models with binomial, Poisson, and negative binomial observations and find the PAL estimation is highly accurate, and achieves faster convergence times compared to existing state-of-the-art inference methods. We also find that PAL hyperparameters can provide sensible initialization for black box variational inference (BBVI), which improves BBVI accuracy. We demonstrate that PAL estimators achieve fast and accurate extraction of latent structure from multi-neuron spike train data.


title: Semi-Fredholm Theory on Hilbert C*-modules

abstract: In this paper we establish the semi-Fredholm theory on Hilbert C*-modules as a continuation of Fredholm theory on Hilbert C*-modules established by Mishchenko and Fomenko. We give a definition of a semi-Fredholm operator on Hilbert C*-module and prove that these semi-Fredholm operators are those that are one-sided invertible modulo compact operators, that the set of proper semi-Fredholm operators is open and many other results that generalize their classical counterparts.


title: An Approximate Restricted Likelihood Ratio Test for Variance Components in Generalized Linear Mixed Models

abstract: Generalized linear mixed models (GLMMs) are used to model responses from exponential families with a combination of fixed and random effects. For variance components in GLMMs, we propose an approximate restricted likelihood ratio test that conducts testing on the working responses used in penalized quasi-likelihood estimation. This presents the hypothesis test in terms of normalized responses, allowing for application of existing testing methods for linear mixed models. Our test is flexible, computationally efficient, and outperforms several competitors. We illustrate the utility of the proposed method with an extensive simulation study and two data applications. An R package is provided.


title: Analysis of putative exoplanetary signatures found in light curves of two sdBV stars observed by Kepler

abstract: $\bf{Context}$. We investigate the validity of the claim that invokes two extreme exoplanetary system candidates around the pulsating B-type subdwarfs KIC 10001893 and KIC 5807616 from the primary $\it{Kepler}$ field. $\bf{Aims}$. Our goal was to find characteristics and the source of weak signals that are observed in these subdwarf light curves. $\bf{Methods}$. To achieve this, we analyzed short- and long-cadence $\it{Kepler}$ data of the two stars by means of a Fourier transform and compared the results to Fourier transforms of simulated light curves to which we added exoplanetary signals. The long-cadence data of KIC 10001893 were extracted from CCD images of a nearby star, KIC 10001898, using a point spread function reduction technique. $\bf{Results}$. It appears that the amplitudes of the Fourier transform signals that were found in the low-frequency region depend on the methods that are used to extract and prepare $\it{Kepler}$ data. We demonstrate that using a comparison star for space telescope data can significantly reduce artifacts. Our simulations also show that a weak signal of constant amplitude and frequency, added to a stellar light curve, conserves its frequency in Fourier transform amplitude spectra to within 0.03 $\mu$Hz. $\bf{Conclusions}$. Based on our simulations, we conclude that the two low-frequency Fourier transform signals found in KIC 5807616 are likely the combined frequencies of the lower amplitude pulsating modes of the star. In the case of KIC 10001893, the signal amplitudes that are visible in the light curve depend on the data set and reduction methods. The strongest signal decreases significantly in amplitude when KIC 10001898 is used as a comparison star. Finally, we recommend that the signal detection threshold is increased to 5 $\sigma$ (or higher) for a Fourier transform analysis of $\it{Kepler}$ data in low-frequency regions.


title: Production of $\Lambda_\mathrm{c}^+$ baryons in proton-proton and lead-lead collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: The differential cross sections of $\Lambda_\mathrm{c}^+$ baryon production are measured via the exclusive decay channel $\Lambda_\mathrm{c}^+$ $\to$ pK$^-\pi^+$ using the CMS detector at the LHC. Spectra are measured as a function of transverse momentum ($p_\mathrm{T}$) in proton-proton (pp) and lead-lead (PbPb) collisions at a nucleon-nucleon center-of-mass energy of 5.02 TeV. The measurement is performed within the $\Lambda_\mathrm{c}^+$ rapidity interval $|y|$ $<$ 1.0 in the $p_\mathrm{T}$ range of 5-20 GeV/$c$ in pp and 10-20 GeV/$c$ in PbPb collisions. The observed yields of $\Lambda_\mathrm{c}^+$ for $p_\mathrm{T}$ of 10-20 GeV/$c$ suggest a possible suppression in central PbPb collisions compared to pp collisions scaled by the number of nucleon-nucleon (NN) interactions. The $\Lambda_\mathrm{c}^+/$D$^0$ production ratio in pp collisions is compared to theoretical models. In PbPb collisions, this ratio is consistent with the result from pp collisions in their common $p_\mathrm{T}$ range.


title: Empirical Likelihood for Contextual Bandits

abstract: We propose an estimator and confidence interval for computing the value of a policy from off-policy data in the contextual bandit setting. To this end we apply empirical likelihood techniques to formulate our estimator and confidence interval as simple convex optimization problems. Using the lower bound of our confidence interval, we then propose an off-policy policy optimization algorithm that searches for policies with large reward lower bound. We empirically find that both our estimator and confidence interval improve over previous proposals in finite sample regimes. Finally, the policy optimization algorithm we propose outperforms a strong baseline system for learning from off-policy data.


title: Approximately Strategyproof Tournament Rules: On Large Manipulating Sets and Cover-Consistence

abstract: We consider the manipulability of tournament rules, in which $n$ teams play a round robin tournament and a winner is (possibly randomly) selected based on the outcome of all $\binom{n}{2}$ matches. Prior work defines a tournament rule to be $k$-SNM-$\alpha$ if no set of $\leq k$ teams can fix the $\leq \binom{k}{2}$ matches among them to increase their probability of winning by $>\alpha$ and asks: for each $k$, what is the minimum $\alpha(k)$ such that a Condorcet-consistent (i.e. always selects a Condorcet winner when one exists) $k$-SNM-$\alpha(k)$ tournament rule exists? A simple example witnesses that $\alpha(k) \geq \frac{k-1}{2k-1}$ for all $k$, and [Schneider et al., 2017] conjectures that this is tight (and prove it is tight for $k=2$). Our first result refutes this conjecture: there exists a sufficiently large $k$ such that no Condorcet-consistent tournament rule is $k$-SNM-$1/2$. Our second result leverages similar machinery to design a new tournament rule which is $k$-SNM-$2/3$ for all $k$ (and this is the first tournament rule which is $k$-SNM-$(<1)$ for all $k$). Our final result extends prior work, which proves that single-elimination bracket with random seeding is $2$-SNM-$1/3$([Schneider et al., 2017]), in a different direction by seeking a stronger notion of fairness than Condorcet-consistence. We design a new tournament rule, which we call Randomized-King-of-the-Hill, which is $2$-SNM-$1/3$ and \emph{cover-consistent} (the winner is an uncovered team with probability $1$).


title: On the smallest Laplace eigenvalue for naturally reductive metrics on compact simple Lie groups

abstract: Eldredge, Gordina and Saloff-Coste recently conjectured that, for a given compact connected Lie group $G$, there is a positive real number $C$ such that $\lambda_1(G,g)\operatorname{diam}(G,g)^2\leq C$ for all left-invariant metrics $g$ on $G$. In this short note, we establish the conjecture for the small subclass of naturally reductive left-invariant metrics on a compact simple Lie group.


title: Nonlinear Pose Filters on the Special Euclidean Group SE(3) with Guaranteed Transient and Steady-state Performance

abstract: Two novel nonlinear pose (i.e, attitude and position) filters developed directly on the Special Euclidean Group SE(3)able to guarantee prescribed characteristics of transient and steady-state performance are proposed. The position error and normalized Euclidean distance of attitude error are trapped to arbitrarily start within a given large set and converge systematically and asymptotically to the origin from almost any initial condition. The transient error is guaranteed not to exceed a prescribed value while the steady-state error is bounded by a predefined small value. The first pose filter operates based on a set of vectorial measurements coupled with a group of velocity vectors and requires preliminary pose reconstruction. The second filter, on the contrary, is able to perform its function using a set of vectorial measurements and a group of velocity vectors directly. Both proposed filters provide reasonable pose estimates with superior convergence properties while being able to use measurements obtained from low-cost inertial measurement, landmark measurement, and velocity measurement units. Simulation results demonstrate effectiveness and robustness of the proposed filters considering large error in initialization and high level of uncertainties in velocity vectors as well as in the set of vector measurements. Attitude, position, pose estimation, nonlinear observer, estimate, special orthogonal group, special Euclidean group, SO(3), SE(3), prescribed performance function, transient, steady-state error, transformed error, Landmark, feature measurement, PPF, IMU, Lie algebra, Lie group, projection, Gyroscope, Inertial measurement units, rigid body, micro electromechanical systems, sensor, IMUs, MEMS, Roll, Pitch, Yaw, UAVs, QUAV, SVD, Fixed, Moving, Vehicles, Robot, Robotic System, Spacecraft, submarine, Underwater vehicle.


title: HowTo100M: Learning a Text-Video Embedding by Watching Hundred Million Narrated Video Clips

abstract: Learning text-video embeddings usually requires a dataset of video clips with manually provided captions. However, such datasets are expensive and time consuming to create and therefore difficult to obtain on a large scale. In this work, we propose instead to learn such embeddings from video data with readily available natural language annotations in the form of automatically transcribed narrations. The contributions of this work are three-fold. First, we introduce HowTo100M: a large-scale dataset of 136 million video clips sourced from 1.22M narrated instructional web videos depicting humans performing and describing over 23k different visual tasks. Our data collection procedure is fast, scalable and does not require any additional manual annotation. Second, we demonstrate that a text-video embedding trained on this data leads to state-of-the-art results for text-to-video retrieval and action localization on instructional video datasets such as YouCook2 or CrossTask. Finally, we show that this embedding transfers well to other domains: fine-tuning on generic Youtube videos (MSR-VTT dataset) and movies (LSMDC dataset) outperforms models trained on these datasets alone. Our dataset, code and models will be publicly available at: www.di.ens.fr/willow/research/howto100m/.


title: Manifold Matching Complexes

abstract: The matching complex of a graph is the simplicial complex whose vertex set is the set of edges of the graph with a face for each independent set of edges. In this paper we completely characterize the pairs (graph, matching complex) for which the matching complex is a homology manifold, with or without boundary. Except in dimension two, all of these manifolds are sphere or balls.


title: Sparse Variational Inference: Bayesian Coresets from Scratch

abstract: The proliferation of automated inference algorithms in Bayesian statistics has provided practitioners newfound access to fast, reproducible data analysis and powerful statistical models. Designing automated methods that are also both computationally scalable and theoretically sound, however, remains a significant challenge. Recent work on Bayesian coresets takes the approach of compressing the dataset before running a standard inference algorithm, providing both scalability and guarantees on posterior approximation error. But the automation of past coreset methods is limited because they depend on the availability of a reasonable coarse posterior approximation, which is difficult to specify in practice. In the present work we remove this requirement by formulating coreset construction as sparsity-constrained variational inference within an exponential family. This perspective leads to a novel construction via greedy optimization, and also provides a unifying information-geometric view of present and past methods. The proposed Riemannian coreset construction algorithm is fully automated, requiring no problem-specific inputs aside from the probabilistic model and dataset. In addition to being significantly easier to use than past methods, experiments demonstrate that past coreset constructions are fundamentally limited by the fixed coarse posterior approximation; in contrast, the proposed algorithm is able to continually improve the coreset, providing state-of-the-art Bayesian dataset summarization with orders-of-magnitude reduction in KL divergence to the exact posterior.


title: The Differentiation Lemma and the Reynolds Transport Theorem for Submanifolds with Corners

abstract: The Reynolds Transport Theorem, colloquially known as 'differentiation under the integral sign', is a central tool of applied mathematics, finding application in a variety of disciplines such as fluid dynamics, quantum mechanics, and statistical physics. In this work we state and prove generalizations thereof to submanifolds with corners evolving in a manifold via the flow of a smooth time-independent or time-dependent vector field. Thereby we close a practically important gap in the mathematical literature, as related works require various 'boundedness conditions' on domain or integrand that are cumbersome to satisfy in common modeling situations. By considering manifolds with corners, a generalization of manifolds and manifolds with boundary, this work constitutes a step towards a unified treatment of classical integral theorems for the 'unbounded case' for which the boundary of the evolving set can exhibit some irregularity.


title: Experimental Demonstration of Sixth Order Degenerate Band Edge in Coupled Microstrip Waveguides

abstract: We show the physical realization and experimental demonstration of an exceptional point of 6th order degeneracy in a triple ladder (or three-way) microwave waveguide realized using three coupled microstrips on a grounded dielectric substrate. This threeway waveguide supports six Bloch eigenmodes and all coalesce onto a degenerate single eigenmode at a given frequency. The three-way waveguide is gainless, and this exceptional point is associated to a vanishing group velocity and its multiple derivatives. Indeed the wavenumber-frequency dispersion diagram, that we call 6th order degenerate band edge (6DBE) has six coalescing branches. We provide the experimental verification of a 6th order exceptional point by evaluating the degenerate wavenumber-frequency dispersion diagram from the measurement of scattering parameters of a six-port unit cell. We also show the resonant behavior of a cavity made of the three-way waveguide with finite length. The unique properties of 6DBE can be exploited in designing innovative high-Q resonators, oscillators, filters, and pulse shaping devices.


title: Coronal Loop Scaling Laws for Various Forms of Parallel Heat Conduction

abstract: The solar atmosphere is dominated by loops of magnetic flux which connect the multi-million-degree corona to the much cooler chromosphere. The temperature and density structure of quasi-static loops is determined by the continuous flow of energy from the hot corona to the lower solar atmosphere. Loop scaling laws provide relationships between global properties of the loop (such as peak temperature, pressure, and length); they follow from the physical variable dependencies of various terms in the energy equation, and hence the form of the loop scaling law provides insight into the key physics that controls the loop structure. Traditionally, scaling laws have been derived under the assumption of collision-dominated thermal conduction. Here we examine the impact of different regimes of thermal conduction -- collision-dominated, turbulence-dominated, and free-streaming -- on the form of the scaling laws relating the loop temperature and heating rate to its pressure and half-length. We show that the scaling laws for turbulence-dominated conduction are fundamentally different than those for collision-dominated and free-streaming conduction, inasmuch as the form of the scaling laws now depend primarily on conditions at the low-temperature, rather than high-temperature, part of the loop. We also establish regimes in temperature and density space in which each of the applicable scaling laws prevail.


title: Efficient Project Gradient Descent for Ensemble Adversarial Attack

abstract: Recent advances show that deep neural networks are not robust to deliberately crafted adversarial examples which many are generated by adding human imperceptible perturbation to clear input. Consider $l_2$ norms attacks, Project Gradient Descent (PGD) and the Carlini and Wagner (C\&W) attacks are the two main methods, where PGD control max perturbation for adversarial examples while C\&W approach treats perturbation as a regularization term optimized it with loss function together. If we carefully set parameters for any individual input, both methods become similar. In general, PGD attacks perform faster but obtains larger perturbation to find adversarial examples than the C\&W when fixing the parameters for all inputs. In this report, we propose an efficient modified PGD method for attacking ensemble models by automatically changing ensemble weights and step size per iteration per input. This method generates smaller perturbation adversarial examples than PGD method while remains efficient as compared to C\&W method. Our method won the first place in IJCAI19 Targeted Adversarial Attack competition.


title: Photon sphere and reentrant phase transition of charged Born-Infeld-AdS black holes

abstract: In this paper, we extend the study of the relationship between the photon sphere and the thermodynamic phase transition, especially the reentrant phase transition, to this black hole background. According to the number of the thermodynamic critical points, the black hole systems are divided into four cases with different values of Born-Infeld parameter b, where the black hole systems can have no phase transition, reentrant phase transition, or Van der Waals-like phase transition. For these different cases, we obtain the corresponding phase structures in pressure-temperature diagram and temperature-specific volume diagram. The tiny differences between these cases are clearly displayed. On the other hand, the radius rps and the minimal impact parameter ups of the photon sphere are calculated via the effective potential of the radial motion of photons. For different cases, rps and ups are found to have different behaviors. In particular, with the increase of rps or ups, the temperature possesses a decrease-increase-decrease-increase behavior for fixed pressure if there exists the reentrant phase transition. While for fixed temperature, the pressure will show an increase-decrease-increase-decrease behavior instead. These behaviors are quite different from that of the Van der Waals-like phase transition. Near the critical point, the changes of rps and ups among the black hole phase transition confirm an universal critical exponent 12. Therefore, all the results indicate that, for the charged Born-Infeld-AdS black holes, not only the Van der Waals-like phase transition, but also the reentrant phase transition can be reflected through the photon sphere.


title: Investigation of potential ultra-low $Q$-value $\beta$-decay candidates $^{89}$Sr and $^{139}$Ba using Penning trap mass spectrometry

abstract: Background: Ultra-low $Q$-value $\beta$-decays are interesting processes to study with potential applications to nuclear $\beta$-decay theory and neutrino physics. While a number of potential ultra-low $Q$-value $\beta$-decay candidates exist, improved mass measurements are necessary to determine which are energetically allowed. Method: Penning trap mass spectrometry was used to determine the atomic mass of $^{89}$Y and $^{139}$La, from which $\beta$-decay $Q$-values for $^{89}$Sr and $^{139}$Ba were obtained to determine if there could be an ultra-low $Q$-value decay branch in the $\beta$-decay of $^{89}$Sr $\rightarrow$ $^{89}$Y or $^{139}$Ba $\rightarrow$ $^{139}$La. Results: The $^{89}$Sr $\rightarrow$ $^{89}$Y and $^{139}$Ba $\rightarrow$ $^{139}$La $\beta$-decay $Q$-values were measured to be $Q_{\rm{Sr}}$ = 1502.20(0.35) keV and $Q_{\rm{Ba}}$ = 2308.37(68) keV. These were compared to energies of excited states in $^{89}$Y at 1507.4(1) keV, and in $^{139}$La at 2310(19) keV and 2313(1) keV to determine $Q$-values of -5.20(37) keV for the potential ultra-low $\beta$-decay branch of $^{89}$Sr and -1.6(19.0) keV and -4.6(1.2) keV for those of $^{139}$Ba. Conclusion: The potential ultra-low $Q$-value decay branch of $^{89}$Sr to the $^{89}$Y (3/2$^-$, 1507.4 keV) state is energetically forbidden and has been ruled out. The potential ultra-low $Q$-value decay branch of $^{139}$Ba to the 2313 keV state in $^{139}$La with unknown J$^{\pi}$ has also been ruled out at the 4$\sigma$ level, while more precise energy level data is needed for the $^{139}$La (1/2$^+$, 2310 keV) state to determine if an ultra-low $Q$-value $\beta$-decay branch to this state is energetically allowed.


title: Benchmarking Minimax Linkage

abstract: Minimax linkage was first introduced by Ao et al. [3] in 2004, as an alternative to standard linkage methods used in hierarchical clustering. Minimax linkage relies on distances to a prototype for each cluster; this prototype can be thought of as a representative object in the cluster, hence improving the interpretability of clustering results. Bien and Tibshirani analyzed properties of this method in 2011 [2], popularizing the method within the statistics community. Additionally, they performed comparisons of minimax linkage to standard linkage methods, making use of five data sets and two different evaluation metrics (distance to prototype and misclassification rate). In an effort to expand upon their work and evaluate minimax linkage more comprehensively, our benchmark study focuses on thorough method evaluation via multiple performance metrics on several well-described data sets. We also make all code and data publicly available through an R package, for full reproducibility. Similarly to [2], we find that minimax linkage often produces the smallest maximum minimax radius of all linkage methods, meaning that minimax linkage produces clusters where objects in a cluster are tightly clustered around their prototype. This is true across a range of values for the total number of clusters (k). However, this is not always the case, and special attention should be paid to the case when k is the true known value. For true k, minimax linkage does not always perform the best in terms of all the evaluation metrics studied, including maximum minimax radius. This paper was motivated by the IFCS Cluster Benchmarking Task Force's call for clustering benchmark studies and the white paper [5], which put forth guidelines and principles for comprehensive benchmarking in clustering. Our work is designed to be a neutral benchmark study of minimax linkage.


title: Extension of Rough Set Based on Positive Transitive Relation

abstract: The application of rough set theory in incomplete information systems is a key problem in practice since missing values almost always occur in knowledge acquisition due to the error of data measuring, the limitation of data collection, or the limitation of data comprehension, etc. An incomplete information system is mainly processed by compressing the indiscernibility relation. The existing rough set extension models based on tolerance or symmetric similarity relations typically discard one relation among the reflexive, symmetric and transitive relations, especially the transitive relation. In order to overcome the limitations of the current rough set extension models, we define a new relation called the positive transitive relation and then propose a novel rough set extension model built upon which. The new model holds the merit of the existing rough set extension models while avoids their limitations of discarding transitivity or symmetry. In comparison to the existing extension models, the proposed model has a better performance in processing the incomplete information systems while substantially reducing the computational complexity, taking into account the relation of tolerance and similarity of positive transitivity, and supplementing the related theories in accordance to the intuitive classification of incomplete information. In summary, the positive transitive relation can improve current theoretical analysis of incomplete information systems and the newly proposed extension model is more suitable for processing incomplete information systems and has a broad application prospect.


title: Dissecting Content and Context in Argumentative Relation Analysis

abstract: When assessing relations between argumentative units (e.g., support or attack), computational systems often exploit disclosing indicators or markers that are not part of elementary argumentative units (EAUs) themselves, but are gained from their context (position in paragraph, preceding tokens, etc.). We show that this dependency is much stronger than previously assumed. In fact, we show that by completely masking the EAU text spans and only feeding information from their context, a competitive system may function even better. We argue that an argument analysis system that relies more on discourse context than the argument's content is unsafe, since it can easily be tricked. To alleviate this issue, we separate argumentative units from their context such that the system is forced to model and rely on an EAU's content. We show that the resulting classification system is more robust, and argue that such models are better suited for predicting argumentative relations across documents.


title: next-gen-scraPy: Extracting NFL Tracking Data from Images to Evaluate Quarterbacks and Pass Defenses

abstract: The NFL collects detailed tracking data capturing the location of all players and the ball during each play. Although the raw form of this data is not publicly available, the NFL releases a set of aggregated statistics via their Next Gen Stats (NGS) platform. They also provide charts showing the locations of pass attempts and outcomes for individual quarterbacks. Our work aims to partially close the gap between what data is available privately (to NFL teams) and publicly, and our contribution is twofold. First, we introduce an image processing tool designed specifically for extracting the raw data from the NGS pass charts. We extract the pass outcome, coordinates, and other metadata. Second, we analyze the resulting dataset, examining the spatial tendencies and performances of individual quarterbacks and defenses. We use a generalized additive model for completion percentages by field location. We introduce a Naive Bayes approach for estimating the 2-D completion percentage surfaces of individual teams and quarterbacks, and we provide a one-number summary, completion percentage above expectation (CPAE), for evaluating quarterbacks and team defenses. We find that our pass location data closely matches the NFL's tracking data, and that our CPAE metric closely matches the NFL's proprietary CPAE metric.


title: Detecting the Starting Frame of Actions in Video

abstract: In this work, we address the problem of precisely localizing key frames of an action, for example, the precise time that a pitcher releases a baseball, or the precise time that a crowd begins to applaud. Key frame localization is a largely overlooked and important action-recognition problem, for example in the field of neuroscience, in which we would like to understand the neural activity that produces the start of a bout of an action. To address this problem, we introduce a novel structured loss function that properly weights the types of errors that matter in such applications: it more heavily penalizes extra and missed action start detections over small misalignments. Our structured loss is based on the best matching between predicted and labeled action starts. We train recurrent neural networks (RNNs) to minimize differentiable approximations of this loss. To evaluate these methods, we introduce the Mouse Reach Dataset, a large, annotated video dataset of mice performing a sequence of actions. The dataset was collected and labeled by experts for the purpose of neuroscience research. On this dataset, we demonstrate that our method outperforms related approaches and baseline methods using an unstructured loss.


title: Evidence for supercritical behavior of high-pressure liquid hydrogen

abstract: Hydrogen exhibits unusual behaviors at megabar pressures, with consequences for planetary science, condensed matter physics and materials science. Experiments at such extreme conditions are challenging, often resulting in hard-to-interpret and controversial observations. We present a theoretical study of the phase diagram of dense hydrogen, using machine learning to overcome time and length scale limitations while describing accurately interatomic forces. We reproduce the re-entrant melting behavior and the polymorphism of the solid phase. In simulations based on the machine learning potential we find evidence for continuous metallization in the liquid, as a first-order liquid-liquid transition is pre-empted by freezing. This suggests a smooth transition between insulating and metallic layers in giant gas planets, and reconciles existing discrepancies between experiments as a manifestation of supercritical behavior.


title: Partitioning ordered hypergraphs

abstract: An {\em ordered $r$-graph} is an $r$-uniform hypergraph whose vertex set is linearly ordered. Given $2\leq k\leq r$, an ordered $r$-graph $H$ is {\em interval} $k$-{\em partite} if there exist at least $k$ disjoint intervals in the ordering such that every edge of $H$ has nonempty intersection with each of the intervals and is contained in their union. Our main result implies that for each $\alpha > k - 1$ and $d>0$, every $n$-vertex ordered $r$-graph with $d \,n^{\alpha}$ edges has for some $m\leq n$ an $m$-vertex interval $k$-partite subgraph with $\Omega(d\, m^{\alpha})$ edges. This is an extension to ordered $r$-graphs of the observation by Erd\H os and Kleitman that every $r$-graph contains an $r$-partite subgraph with a constant proportion of the edges. The restriction $\alpha > k-1$ is sharp. We also present applications of the main result to several extremal problems for ordered hypergraphs.


title: Rigid representations of triangle groups

abstract: We prove a generalization of a conjecture of C. Marion on generation properties of finite groups of Lie type, by considering geometric properties of an appropriate representation variety and associated tangent spaces.


title: Half-integral weight modular forms and real quadratic $p$-rational fields

abstract: Using half-integral weight modular forms we give a criterion for the existence of real quadratic $p$-rational fields. For $p=5$ we prove the existence of infinitely many real quadratic $p$-rational fields.


title: Increasing Transparent and Accountable Use of Data by Quantifying the Actual Privacy Risk in Interactive Record Linkage

abstract: Record linkage refers to the task of integrating data from two or more databases without a common identifier. MINDFIRL (MInimum Necessary Disclosure For Interactive Record Linkage) is a software system that demonstrates the tradeoff between utility and privacy in interactive record linkage. Due to the need to access personally identifiable information (PII) to accurately assess whether different records refer to the same person in heterogeneous databases, privacy is a major concern in interactive record linkage. MINDFIRL supports interactive record linkage while minimizing the privacy risk by (1) using pseudonyms to separate the identifying information from the sensitive information, (2) dynamically disclosing only the minimum necessary information incrementally, as needed on-demand at the point of decision, and (3) quantifies the risk due to the needed information disclosure to support transparency, the reasoning, communication, and decisions on the privacy and utility trade off. In this paper we present an overview of the MINDFIRL system and the k-Anonymized Privacy Risk (KAPR) score used to measure the privacy risk based on the disclosed information. We prove that KAPR score is a norm meeting all the desirable properties for a risk score for interactive record linkage.


title: Transition to metallization in warm dense helium-hydrogen mixtures using stochastic density functional theory within the Kubo-Greenwood formalism

abstract: The Kubo-Greenwood (KG) formula is often used in conjunction with Kohn-Sham (KS) density functional theory (DFT) to compute the optical conductivity, particularly for warm dense mater. For applying the KG formula, all KS eigenstates and eigenvalues up to an energy cutoff are required and thus the approach becomes expensive, especially for high temperatures and large systems, scaling cubically with both system size and temperature. Here, we develop an approach to calculate the KS conductivity within the stochastic DFT (sDFT) framework, which requires knowledge only of the KS Hamiltonian but not its eigenstates and values. We show that the computational effort associated with the method scales linearly with system size and reduces in proportion to the temperature unlike the cubic increase with traditional deterministic approaches. In addition, we find that the method allows an accurate description of the entire spectrum, including the high-frequency range, unlike the deterministic method which is compelled to introduce a high-frequency cut-off due to memory and computational time constraints. We apply the method to helium-hydrogen mixtures in the warm dense matter regime at temperatures of \sim60\text{kK} and find that the system displays two conductivity phases, where a transition from non-metal to metal occurs when hydrogen atoms constitute \sim0.3 of the total atoms in the system.


title: When Unseen Domain Generalization is Unnecessary? Rethinking Data Augmentation

abstract: Recent advances in deep learning for medical image segmentation demonstrate expert-level accuracy. However, in clinically realistic environments, such methods have marginal performance due to differences in image domains, including different imaging protocols, device vendors and patient populations. Here we consider the problem of domain generalization, when a model is trained once, and its performance generalizes to unseen domains. Intuitively, within a specific medical imaging modality the domain differences are smaller relative to natural images domain variability. We rethink data augmentation for medical 3D images and propose a deep stacked transformations (DST) approach for domain generalization. Specifically, a series of n stacked transformations are applied to each image in each mini-batch during network training to account for the contribution of domain-specific shifts in medical images. We comprehensively evaluate our method on three tasks: segmentation of whole prostate from 3D MRI, left atrial from 3D MRI, and left ventricle from 3D ultrasound. We demonstrate that when trained on a small source dataset, (i) on average, DST models on unseen datasets degrade only by 11% (Dice score change), compared to the conventional augmentation (degrading 39%) and CycleGAN-based domain adaptation method (degrading 25%); (ii) when evaluation on the same domain, DST is also better albeit only marginally. (iii) When training on large-sized data, DST on unseen domains reaches performance of state-of-the-art fully supervised models. These findings establish a strong benchmark for the study of domain generalization in medical imaging, and can be generalized to the design of robust deep segmentation models for clinical deployment.


title: Classifying the reported ability in clinical mobility descriptions

abstract: Assessing how individuals perform different activities is key information for modeling health states of individuals and populations. Descriptions of activity performance in clinical free text are complex, including syntactic negation and similarities to textual entailment tasks. We explore a variety of methods for the novel task of classifying four types of assertions about activity performance: Able, Unable, Unclear, and None (no information). We find that ensembling an SVM trained with lexical features and a CNN achieves 77.9% macro F1 score on our task, and yields nearly 80% recall on the rare Unclear and Unable samples. Finally, we highlight several challenges in classifying performance assertions, including capturing information about sources of assistance, incorporating syntactic structure and negation scope, and handling new modalities at test time. Our findings establish a strong baseline for this novel task, and identify intriguing areas for further research.


title: Video Modeling with Correlation Networks

abstract: Motion is a salient cue to recognize actions in video. Modern action recognition models leverage motion information either explicitly by using optical flow as input or implicitly by means of 3D convolutional filters that simultaneously capture appearance and motion information. This paper proposes an alternative approach based on a learnable correlation operator that can be used to establish frame-toframe matches over convolutional feature maps in the different layers of the network. The proposed architecture enables the fusion of this explicit temporal matching information with traditional appearance cues captured by 2D convolution. Our correlation network compares favorably with widely-used 3D CNNs for video modeling, and achieves competitive results over the prominent two-stream network while being much faster to train. We empirically demonstrate that correlation networks produce strong results on a variety of video datasets, and outperform the state of the art on four popular benchmarks for action recognition: Kinetics, Something-Something, Diving48 and Sports1M.


title: Understanding Heating in Active Region Cores through Machine Learning I. Numerical Modeling and Predicted Observables

abstract: To adequately constrain the frequency of energy deposition in active region cores in the solar corona, systematic comparisons between detailed models and observational data are needed. In this paper, we describe a pipeline for forward modeling active region emission using magnetic field extrapolations and field-aligned hydrodynamic models. We use this pipeline to predict time-dependent emission from active region NOAA 1158 as observed by SDO/AIA for low-, intermediate-, and high-frequency nanoflares. In each pixel of our predicted multi-wavelength, time-dependent images, we compute two commonly-used diagnostics: the emission measure slope and the time lag. We find that signatures of the heating frequency persist in both of these diagnostics. In particular, our results show that the distribution of emission measure slopes narrows and the mean decreases with decreasing heating frequency and that the range of emission measure slopes is consistent with past observational and modeling work. Furthermore, we find that the time lag becomes increasingly spatially coherent with decreasing heating frequency while the distribution of time lags across the whole active region becomes more broad with increasing heating frequency. In a follow up paper, we train a random forest classifier on these predicted diagnostics and use this model to classify real AIA observations of NOAA 1158 in terms of the underlying heating frequency.


title: Real or Fake? Learning to Discriminate Machine from Human Generated Text

abstract: Energy-based models (EBMs), a.k.a. un-normalized models, have had recent successes in continuous spaces. However, they have not been successfully applied to model text sequences. While decreasing the energy at training samples is straightforward, mining (negative) samples where the energy should be increased is difficult. In part, this is because standard gradient-based methods are not readily applicable when the input is high-dimensional and discrete. Here, we side-step this issue by generating negatives using pre-trained auto-regressive language models. The EBM then works in the residual of the language model; and is trained to discriminate real text from text generated by the auto-regressive models. We investigate the generalization ability of residual EBMs, a pre-requisite for using them in other applications. We extensively analyze generalization for the task of classifying whether an input is machine or human generated, a natural task given the training loss and how we mine negatives. Overall, we observe that EBMs can generalize remarkably well to changes in the architecture of the generators producing negatives. However, EBMs exhibit more sensitivity to the training set used by such generators.


title: Watch, Try, Learn: Meta-Learning from Demonstrations and Reward

abstract: Imitation learning allows agents to learn complex behaviors from demonstrations. However, learning a complex vision-based task may require an impractical number of demonstrations. Meta-imitation learning is a promising approach towards enabling agents to learn a new task from one or a few demonstrations by leveraging experience from learning similar tasks. In the presence of task ambiguity or unobserved dynamics, demonstrations alone may not provide enough information; an agent must also try the task to successfully infer a policy. In this work, we propose a method that can learn to learn from both demonstrations and trial-and-error experience with sparse reward feedback. In comparison to meta-imitation, this approach enables the agent to effectively and efficiently improve itself autonomously beyond the demonstration data. In comparison to meta-reinforcement learning, we can scale to substantially broader distributions of tasks, as the demonstration reduces the burden of exploration. Our experiments show that our method significantly outperforms prior approaches on a set of challenging, vision-based control tasks.


title: Searching for Dark Matter in the Galactic Halo with a Wide Field of View TeV Gamma-ray Observatory in the Southern Hemisphere

abstract: Despite mounting evidence that dark matter (DM) exists in the Universe, its fundamental nature remains unknown. We present sensitivity estimates to detect DM particles with a future very-high-energy ($\gtrsim$ TeV) wide field-of-view gamma-ray observatory in the Southern Hemisphere. This observatory would search for gamma rays from the annihilation or decay of DM particles in the Galactic halo. With a wide field of view, both the Galactic Center and a large fraction of the Galactic halo will be detectable with unprecedented sensitivity to DM in the mass range of $\sim$500 GeV to $\sim$2 PeV. These results, combined with those from other present and future gamma-ray observatories, will likely probe the thermal relic annihilation cross section of Weakly Interacting Massive Particles for all masses from $\sim$80 TeV down to the GeV range in most annihilation channels.


title: Stochastic Speckle Discrimination with Time-Tagged Photon Lists: Digging Below the Speckle Noise Floor

abstract: We present an algorithm that uses the distribution of photon arrival times to distinguish speckles from incoherent sources, like planets and disks, in high contrast images. Using simulated data, we show that our approach can overcome the noise limit from fluctuating speckle intensity. The algorithm is likely to be most advantageous when a coronagraph limits the coherent diffraction pattern in the image plane but the intensity is still strongly modulated by fast-timescale uncorrected stellar light, for example from atmospheric turbulence. These conditions are common at small inner working angles and will allow probing of exoplanet populations at smaller angular separations. The technique requires a fast science camera that can temporally resolve the speckle fluctuations, and the detection of many photons per speckle decorrelation time. Since the algorithm directly extracts the incoherent light, standard differential imaging post-processing techniques can be performed afterwards to further boost the signal.


title: Learning Physics-guided Face Relighting under Directional Light

abstract: Relighting is an essential step in realistically transferring objects from a captured image into another environment. For example, authentic telepresence in Augmented Reality requires faces to be displayed and relit consistent with the observer's scene lighting. We investigate end-to-end deep learning architectures that both de-light and relight an image of a human face. Our model decomposes the input image into intrinsic components according to a diffuse physics-based image formation model. We enable non-diffuse effects including cast shadows and specular highlights by predicting a residual correction to the diffuse render. To train and evaluate our model, we collected a portrait database of 21 subjects with various expressions and poses. Each sample is captured in a controlled light stage setup with 32 individual light sources. Our method creates precise and believable relighting results and generalizes to complex illumination conditions and challenging poses, including when the subject is not looking straight at the camera.


title: Water diffusion in carbon nanotubes under directional electric fields: Coupling between mobility and hydrogen bonding

abstract: We have investigated the diffusion and structure of TIP4P/2005 water confined in carbon nanotubes subjected to external electric fields. A wide range of diameters has been used to show a highly size-dependent behavior of the water diffusion. We also found that the diffusion is extremely affected by the intensity of the applied field. However, is the relative direction between the field and the tube axis that causes the most intriguing behavior. Electric fields forming angles of $0^{\circ}$ and $45^{\circ}$ with the tube axis were found to slow down the water dynamics by increasing organization, while fields perpendicular to the tube axis can enhance water diffusion in some cases by decreasing the hydrogen bond formation. Remarkably, for the 1.2 nm diameter long (9,9) nanotube, the field along the tube axis melts the water structure increasing the water mobility. These results points out that the structure and dynamics of confined water are extremely sensitive to external fields and suggest the use of electric fields as a facilitator for filtration processes.


title: Second harmonic microscopy of poled x-cut thin film lithium niobate: Understanding the contrast mechanism

abstract: Thin film lithium niobate is of great recent interest and an understanding of periodically poled thin-films is crucial for both fundamental physics and device developments. Second-harmonic (SH) microscopy allows for the non-invasive visualization and analysis of ferroelectric domain structures and walls. While the technique is well understood in bulk lithium niobate, SH microscopy in thin films is largely influenced by interfacial reflections and resonant enhancements, which depend on film thicknesses and the substrate materials. We present a comprehensive analysis of SH microscopy in x-cut lithium niobate thin films, based on a full three dimensional focus calculations, and accounting for interface reflections. We show that the dominant signal in back-reflection originates from a co-propagating phase-matched process observed through reflections, rather than direct detection of the counter-propagating signal as in bulk samples. We can explain the observation of domain structures in the thin film geometry, and in particular, we show that the SH signal from thin poled films allows to unambiguously distinguish areas, which are completely or only partly inverted in depth.


title: Femtosecond compression dynamics and timing jitter suppression in a terahertz-driven electron bunch compressor

abstract: We present the first demonstration of THz-driven bunch compression and timing stabilization of a few-fC relativistic electron beam with kinetic energy of 2.5 MeV using quasi-single-cycle strong field THz radiation in a shorted parallel-plate structure. Compression by nearly a factor of 3 produced a 39 fs rms bunch length and a reduction in timing jitter by more than a factor of 2, to 31 fs rms, offering a significant improvement to beam performance for applications like ultrafast electron diffraction. This THz-driven technique provides a critical step towards unprecedented timing resolution in ultrafast sciences and other accelerator applications using femtosecond-scale electron beams.


title: Unsupervised Feature Learning with K-means and An Ensemble of Deep Convolutional Neural Networks for Medical Image Classification

abstract: Medical image analysis using supervised deep learning methods remains problematic because of the reliance of deep learning methods on large amounts of labelled training data. Although medical imaging data repositories continue to expand there has not been a commensurate increase in the amount of annotated data. Hence, we propose a new unsupervised feature learning method that learns feature representations to then differentiate dissimilar medical images using an ensemble of different convolutional neural networks (CNNs) and K-means clustering. It jointly learns feature representations and clustering assignments in an end-to-end fashion. We tested our approach on a public medical dataset and show its accuracy was better than state-of-the-art unsupervised feature learning methods and comparable to state-of-the-art supervised CNNs. Our findings suggest that our method could be used to tackle the issue of the large volume of unlabelled data in medical imaging repositories.


title: Deep Contextualized Biomedical Abbreviation Expansion

abstract: Automatic identification and expansion of ambiguous abbreviations are essential for biomedical natural language processing applications, such as information retrieval and question answering systems. In this paper, we present DEep Contextualized Biomedical. Abbreviation Expansion (DECBAE) model. DECBAE automatically collects substantial and relatively clean annotated contexts for 950 ambiguous abbreviations from PubMed abstracts using a simple heuristic. Then it utilizes BioELMo to extract the contextualized features of words, and feed those features to abbreviation-specific bidirectional LSTMs, where the hidden states of the ambiguous abbreviations are used to assign the exact definitions. Our DECBAE model outperforms other baselines by large margins, achieving average accuracy of 0.961 and macro-F1 of 0.917 on the dataset. It also surpasses human performance for expanding a sample abbreviation, and remains robust in imbalanced, low-resources and clinical settings.


title: Robust Bi-Tempered Logistic Loss Based on Bregman Divergences

abstract: We introduce a temperature into the exponential function and replace the softmax output layer of neural nets by a high temperature generalization. Similarly, the logarithm in the log loss we use for training is replaced by a low temperature logarithm. By tuning the two temperatures we create loss functions that are non-convex already in the single layer case. When replacing the last layer of the neural nets by our bi-temperature generalization of logistic loss, the training becomes more robust to noise. We visualize the effect of tuning the two temperatures in a simple setting and show the efficacy of our method on large data sets. Our methodology is based on Bregman divergences and is superior to a related two-temperature method using the Tsallis divergence.


title: Partially Linear Additive Gaussian Graphical Models

abstract: We propose a partially linear additive Gaussian graphical model (PLA-GGM) for the estimation of associations between random variables distorted by observed confounders. Model parameters are estimated using an $L_1$-regularized maximal pseudo-profile likelihood estimator (MaPPLE) for which we prove $\sqrt{n}$-sparsistency. Importantly, our approach avoids parametric constraints on the effects of confounders on the estimated graphical model structure. Empirically, the PLA-GGM is applied to both synthetic and real-world datasets, demonstrating superior performance compared to competing methods.


title: TransNet: A deep network for fast detection of common shot transitions

abstract: Shot boundary detection (SBD) is an important first step in many video processing applications. This paper presents a simple modular convolutional neural network architecture that achieves state-of-the-art results on the RAI dataset with well above real-time inference speed even on a single mediocre GPU. The network employs dilated convolutions and operates just on small resized frames. The training process employed randomly generated transitions using selected shots from the TRECVID IACC.3 dataset. The code and a selected trained network will be available at https://github.com/soCzech/TransNet.


title: Online Forecasting of Total-Variation-bounded Sequences

abstract: We consider the problem of online forecasting of sequences of length $n$ with total-variation at most $C_n$ using observations contaminated by independent $\sigma$-subgaussian noise. We design an $O(n\log n)$-time algorithm that achieves a cumulative square error of $\tilde{O}(n^{1/3}C_n^{2/3}\sigma^{4/3} + C_n^2)$ with high probability.We also prove a lower bound that matches the upper bound in all parameters (up to a $\log(n)$ factor). To the best of our knowledge, this is the first \emph{polynomial-time} algorithm that achieves the optimal $O(n^{1/3})$ rate in forecasting total variation bounded sequences and the first algorithm that \emph{adapts to unknown} $C_n$. Our proof techniques leverage the special localized structure of Haar wavelet basis and the adaptivity to unknown smoothness parameters in the classical wavelet smoothing [Donoho et al., 1998]. We also compare our model to the rich literature of dynamic regret minimization and nonstationary stochastic optimization, where our problem can be treated as a special case. We show that the workhorse in those settings --- online gradient descent and its variants with a fixed restarting schedule --- are instances of a class of \emph{linear forecasters} that require a suboptimal regret of $\tilde{\Omega}(\sqrt{n})$. This implies that the use of more adaptive algorithms is necessary to obtain the optimal rate.


title: Global Semantic Description of Objects based on Prototype Theory

abstract: In this paper, we introduce a novel semantic description approach inspired on Prototype Theory foundations. We propose a Computational Prototype Model (CPM) that encodes and stores the central semantic meaning of objects category: the semantic prototype. Also, we introduce a Prototype-based Description Model that encodes the semantic meaning of an object while describing its features using our CPM model. Our description method uses semantic prototypes computed by CNN-classifications models to create discriminative signatures that describe an object highlighting its most distinctive features within the category. Our experiments show that: i) our CPM model (semantic prototype + distance metric) is able to describe the internal semantic structure of objects categories; ii) our semantic distance metric can be understood as the object visual typicality score within a category; iii) our descriptor encoding is semantically interpretable and significantly outperforms other image global encodings in clustering and classification tasks.


title: Scan-flood Fill(SCAFF): an Efficient Automatic Precise Region Filling Algorithm for Complicated Regions

abstract: Recently, instant level labeling for supervised machine learning requires a considerable number of filled masks. In this paper, we propose an efficient automatic region filling algorithm for complicated regions. Distinguishing between adjacent connected regions, the Main Filling Process scans through all pixels and fills all the pixels except boundary ones with either exterior or interior label color. In this way, we succeed in classifying all the pixels inside the region except boundary ones in the given image to form two groups: a background group and a mask group. We then set all exterior label pixels to background color, and interior label pixels to mask color. With this algorithm, we are able to generate output masks precisely and efficiently even for complicated regions as long as boundary pixels are given. Experimental results show that the proposed algorithm can generate precise masks that allow for various machine learning tasks such as supervised training. This algorithm can effectively handle multiple regions, complicated `holes' and regions whose boundaries touch the image border. By testing the algorithm on both toy and practical images, we show that the performance of Scan-flood Fill(SCAFF) has achieved favorable results.


title: Using learned optimizers to make models robust to input noise

abstract: State-of-the art vision models can achieve superhuman performance on image classification tasks when testing and training data come from the same distribution. However, when models are tested on corrupted images (e.g. due to scale changes, translations, or shifts in brightness or contrast), performance degrades significantly. Here, we explore the possibility of meta-training a learned optimizer that can train image classification models such that they are robust to common image corruptions. Specifically, we are interested training models that are more robust to noise distributions not present in the training data. We find that a learned optimizer meta-trained to produce models which are robust to Gaussian noise trains models that are more robust to Gaussian noise at other scales compared to traditional optimizers like Adam. The effect of meta-training is more complicated when targeting a more general set of noise distributions, but led to improved performance on half of held-out corruption tasks. Our results suggest that meta-learning provides a novel approach for studying and improving the robustness of deep learning models.


title: Complex structure degenerations and collapsing of Calabi-Yau metrics

abstract: In this paper, we make progress on understanding the collapsing behavior of Calabi-Yau metrics on a degenerating family of polarized Calabi-Yau manifolds. In the case of a family of smooth Calabi-Yau hypersurfaces in projective space degenerating into the transversal union of two smooth Fano hypersurfaces in a generic way, we obtain a complete result in all dimensions establishing explicit and precise relationships between the metric collapsing and complex structure degenerations. This result is new even in complex dimension two. This is achieved via gluing and singular perturbation techniques, and a key geometric ingredient involving the construction of certain (not necessarily smooth) K\"ahler metrics with torus symmetry. We also discuss possible extensions of this result to more general settings.


title: Synthesis and Observation of Non-Abelian Gauge Fields in Real Space

abstract: Gauge fields, real or synthetic, are crucial for understanding and manipulation of physical systems. The associated geometric phases can be measured, for example, from the Aharonov--Bohm interference. So far, real-space realizations of gauge fields have been limited to Abelian (commutative) ones. Here we report an experimental synthesis of non-Abelian gauge fields in real space and the observation of the non-Abelian Aharonov--Bohm effect with classical waves and classical fluxes. Based on optical mode degeneracy, we break time-reversal symmetry in different manners---via temporal modulation and the Faraday effect---to synthesize tunable non-Abelian gauge fields. The Sagnac interference of two final states, obtained by reversely-ordered path integrals, demonstrates the non-commutativity of the gauge fields. Our work introduces real-space building blocks for non-Abelian gauge fields, relevant for classical and quantum exotic topological phenomena.


title: A Note on the Bateman-Horn Conjecture

abstract: We report the results of our empirical investigations on the Bateman-Horn conjecture. This conjecture, in its commonly known form, produces rather large deviations when the polynomials involved are not monic. We propose a modified version of the conjecture which empirically demonstrates remarkable accuracy even for modest values of primes.


title: Estimation Rates for Sparse Linear Cyclic Causal Models

abstract: Causal models are important tools to understand complex phenomena and predict the outcome of controlled experiments, also known as interventions. In this work, we present statistical rates of estimation for linear cyclic causal models under the assumption of homoscedastic Gaussian noise by analyzing both the LLC estimator introduced by Hyttinen, Eberhardt and Hoyer and a novel two-step penalized maximum likelihood estimator. We establish asymptotic near minimax optimality for the maximum likelihood estimator over a class of sparse causal graphs in the case of near-optimally chosen interventions. Moreover, we find evidence for practical advantages of this estimator compared to LLC in synthetic numerical experiments.


title: Two-Weight Tb Theorems for Well-Localized Operators

abstract: This paper first defines operators that are "well-localized" with respect to a pair of accretive functions and establishes a global two-weight Tb theorem for such operators. Then it defines operators that are "well-localized" with respect to a pair of accretive systems and establishes a local two-weight Tb theorem for them. The proofs combine recent Tb proof techniques with arguments used to prove earlier T1 theorems for well-localized operators.


title: Charge-dependent pair correlations relative to a third particle in $p$+Au and $d$+Au collisions at RHIC

abstract: Quark interactions with topological gluon configurations can induce chirality imbalance and local parity violation in quantum chromodynamics. This can lead to electric charge separation along the strong magnetic field in relativistic heavy-ion collisions -- the chiral magnetic effect (CME). We report measurements by the STAR collaboration of a CME-sensitive observable in $p$+Au and $d$+Au collisions at 200 GeV, where the CME is not expected, using charge-dependent pair correlations relative to a third particle. We observe strong charge-dependent correlations similar to those measured in heavy-ion collisions. This bears important implications for the interpretation of the heavy-ion data.


title: Lift Up and Act! Classifier Performance in Resource-Constrained Applications

abstract: Classification tasks are common across many fields and applications where the decision maker's action is limited by resource constraints. In direct marketing only a subset of customers is contacted; scarce human resources limit the number of interviews to the most promising job candidates; limited donated organs are prioritized to those with best fit. In such scenarios, performance measures such as the classification matrix, ROC analysis, and even ranking metrics such as AUC measures outcomes different from the action of interest. At the same time, gains and lift that do measure the relevant outcome are rarely used by machine learners. In this paper we define resource-constrained classifier performance as a task distinguished from classification and ranking. We explain how gains and lift can lead to different algorithm choices and discuss the effect of class distribution.


title: Learning Transient Universe in Near-Ultraviolet By Wide-angle Cameras

abstract: We perform a detailed analysis and simulations on the transient detection capability in the near-ultraviolet (NUV) band by focusing on some major local transient events. These events include the tidal disruption event due to a supermassive blackhole, the shock breakout of a core-collapse supernova and the flare of a late-type star. Our simulations show that a set of small wide-angle NUV cameras can allow us to detect and study numerous galactic and extra-galactic transient events. Based on the analysis and simulations, here we propose a space-based NUV sky patrol mission by updating the proposal that was originally submitted to the Chinese Space Station mission in 2011. The mission proposed here is composed of a set of eight small wide-field NUV cameras each with a diameter of 20cm. The total sky area simultaneously covered by the NUV cameras is as large as 3000$\mathrm{deg^2}$. The survey cadence ranges from 30 to 300s. The transient events are required to be detected by a dedicated on-board software in real time.


title: Exhausting the background approach for bounding the heat transport in Rayleigh-B\'enard convection

abstract: We revisit the optimal heat transport problem for Rayleigh-B\'enard convection in which a rigorous upper bound on the Nusselt number, $Nu$, is sought as a function of the Rayleigh number $Ra$. Concentrating on the 2-dimensional problem with stress-free boundary conditions, we impose the full heat equation as a constraint for the bound using a novel 2-dimensional background approach thereby complementing the `wall-to-wall' approach of Hassanzadeh \etal \,(\emph{J. Fluid Mech.} \textbf{751}, 627-662, 2014). Imposing the same symmetry on the problem, we find correspondence with their result for $Ra \leq Ra_c:=4468.8$ but, beyond that, the optimal fields complexify to produce a higher bound. This bound approaches that by a 1-dimensional background field as the length of computational domain $L\rightarrow\infty$. On lifting the imposed symmetry, the optimal 2-dimensional temperature background field reverts back to being 1-dimensional giving the best bound $Nu\le 0.055Ra^{1/2}$ compared to $Nu \le 0.026Ra^{1/2}$ in the non-slip case. % We then show via an inductive bifurcation analysis that imposing the full time-averaged Boussinesq equations as constraints (by introducing 2-dimensional temperature {\em and} velocity background fields) is also unable to lower this bound. This then exhausts the background approach for the 2-dimensional (and by extension 3-dimensional) Rayleigh-Benard problem with the bound remaining stubbornly $Ra^{1/2}$ while data seems more to scale like $Ra^{1/3}$ for large $Ra$. % Finally, we show that adding a velocity background field to the formulation of Wen \etal\, (\emph{Phys. Rev. E.} \textbf{92}, 043012, 2015), which is able to use an extra vorticity constraint due to the stress-free condition to lower the bound to $ Nu \le O(Ra^{5/12})$, also fails to improve the bound.


title: A New Proof of the Gromov's Theorem on Almost Flat Manifolds

abstract: We will give a new proof for the Gromov's theorem on almost flat manifolds, which is an inductive proof on dimension.


title: Segregation models for density-bidisperse granular flows

abstract: Individual constituent balance equations are often used to derive expressions for species-specific segregation velocities in flows of dense granular mixtures. We propose a semiempirical expression for the interspecies momentum exchange in density-bidisperse granular flows as an extension of ideas from kinetic theory and compare it to a previous viscous drag approach that is analogous to particles settling in a fluid. The proposed model expands the range of the granular kinetic theory from short-duration binary collisions to the multiple enduring contacts characteristic of dense shear flows and incorporates the effects of particle friction, concentration ratio, and local flow conditions. The segregation velocities derived from the momentum balance equation using both interspecies drag models match the downward and upward segregation velocities of heavy and light particles obtained from DEM simulations through the flowing layer depth for different density ratios and constituent concentrations in confined shear flows. Predictions of the kinetic theory inspired approach are additionally compared to results from free surface heap flow simulations, and, again, a close match is observed.


title: Finely Split Phase Transitions of Rotating and Accelerating Black Holes

abstract: We investigate the thermodynamic phase behaviour of rotating and slowly accelerating AdS black holes. While we find some similarities with the non-rotating charged counterparts, such as the peculiar phenomena of "snapping swallow tails" we also find subtle but significant distinctions that can be attributed to a qualitatively modified parameter space of the solution. Consequently the zeroth order phase transition now occurs over a range of pressures, mini-entropic black holes no longer exist in the regime of slow acceleration, and the "no black hole region" emerges continuously---from a zero temperature extremal black hole. The formerly equal transition pressure now experiences a fine splitting, as the emergence of a no black hole region and the zeroth-order phase transition appear at different pressures, different also from the termination pressure of the first order phase transition. This has the further effect of admitting reentrant phase transitions that can be achieved in two ways, either by varying the temperature at fixed pressure or varying the pressure at fixed temperature.


title: Clinical Concept Extraction for Document-Level Coding

abstract: The text of clinical notes can be a valuable source of patient information and clinical assessments. Historically, the primary approach for exploiting clinical notes has been information extraction: linking spans of text to concepts in a detailed domain ontology. However, recent work has demonstrated the potential of supervised machine learning to extract document-level codes directly from the raw text of clinical notes. We propose to bridge the gap between the two approaches with two novel syntheses: (1) treating extracted concepts as features, which are used to supplement or replace the text of the note; (2) treating extracted concepts as labels, which are used to learn a better representation of the text. Unfortunately, the resulting concepts do not yield performance gains on the document-level clinical coding task. We explore possible explanations and future research directions.


title: S-ConvNet: A Shallow Convolutional Neural Network Architecture for Neuromuscular Activity Recognition Using Instantaneous High-Density Surface EMG Images

abstract: The concept of neuromuscular activity recognition using instantaneous high-density surface electromyography (HD-sEMG) images opens up new avenues for the development of more fluid and natural muscle-computer interfaces. However, the existing approaches employed a very large deep convolutional neural network (ConvNet) architecture and complex training schemes for HD-sEMG image recognition, which requires the network architecture to be pre-trained on a very large-scale labeled training dataset, as a result, it makes computationally very expensive. To overcome this problem, we propose S-ConvNet and All-ConvNet models, a simple yet efficient framework for learning instantaneous HD-sEMG images from scratch for neuromuscular activity recognition. Without using any pre-trained models, our proposed S-ConvNet and All-ConvNet demonstrate very competitive recognition accuracy to the more complex state of the art for neuromuscular activity recognition based on instantaneous HD-sEMG images, while using a ~ 12 x smaller dataset and reducing learning parameters to a large extent. The experimental results proved that the S-ConvNet and All-ConvNet are highly effective for learning discriminative features for instantaneous HD-sEMG image recognition especially in the data and high-end resource constrained scenarios.


title: Piecewise contractions and b-adic expansions

abstract: Let $I=[0,1)$, $b\in \{2,3,\ldots\}$ and $f:I\to I$ be an injective piecewise $\frac{1}{b}$-affine map, that is, assume that there exists a partition of $I$ into intervals $I_1,\ldots,I_n$ such that $\vert f(x)-f(y)\vert\le\frac1b \vert x-y\vert$ for all $x,y\in I_i$ and $1\le i\le n$. In this note, we study the $\delta$-parameter family of maps $f_{\delta}=R_{\delta}\circ f$, where $R_\delta:x\mapsto \{x+\delta\}$. More precisely, we show that the set $\mathcal{N}$ of parameters $\delta$ for which $f_{\delta}$ has only natural codings with maximal complexity is a non-empty set with Hausdorff \mbox{dimension $0$}. We also show that for all $\delta\in\mathcal{N}$, the map $f_{\delta}$ is topologically semiconjugate to a minimal $n$-interval exchange transformation satisfying Keane's i.d.o.c. condition. The main result turns out to be a concrete application of the result by Mauduit and Moreira that the set of numbers having $b$-adic expansion with entropy $0$ has Hausdorff dimension $0$.


title: Direct observation of van der Waals stacking dependent interlayer magnetism

abstract: Controlling the crystal structure is a powerful approach for manipulating the fundamental properties of solids. Unique to two-dimensional (2D) van der Waals materials, the control can be achieved by modifying the stacking order through rotation and translation between the layers. Here, we report the first observation of stacking dependent interlayer magnetism in the 2D magnetic semiconductor, chromium tribromide (CrBr3), enabled by the successful growth of its monolayer and bilayer through molecular beam epitaxy. Using in situ spin-polarized scanning tunneling microscopy and spectroscopy, we directly correlated the atomic lattice structure with observed magnetic order. We demonstrated that while individual CrBr3 monolayer is ferromagnetic, the interlayer coupling in bilayer depends strongly on the stacking order and can be either ferromagnetic or antiferromagnetic. Our observations provide direct experimental evidence for exploring the stacking dependent layered magnetism, and pave the way for manipulating 2D magnetism with unique layer twist angle control.


title: On the Leaders' Graphical Characterization for Controllability of Path Related Graphs

abstract: The problem of leaders location plays an important role in the controllability of undirected graphs.The concept of minimal perfect critical vertex set is introduced by drawing support from the eigenvector of Laplace matrix. Using the notion of minimal perfect critical vertex set, the problem of finding the minimum number of controllable leader vertices is transformed into the problem of finding all minimal perfect critical vertex sets. Some necessary and sufficient conditions for special minimal perfect critical vertex sets are provided, such as minimal perfect critical 2 vertex set, and minimal perfect critical vertex set of path or path related graphs. And further, the leaders location problem for path graphs is solved completely by the algorithm provided in this paper. An interesting result that there never exist a minimal perfect critical 3 vertex set is proved, too.


title: Applications of Gaussian Binomials to Coding Theory for Deletion Error Correction

abstract: We present new applications on $q$-binomials, also known as Gaussian binomial coefficients. Our main theorems determine cardinalities of certain error-correcting codes based on Varshamov-Tenengolts codes and prove a curious phenomenon relating to deletion sphere for specific cases.


title: Some Ideas on Categories and Sheaves

abstract: We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue of sheaves from their stalks; lastly, we introduce the sheaf-theoretical expression for topological spaces, and rediscribe some essential items in topology and geometry by defining a kind of generally existing category sheaves.


title: A Novel Modeling Approach for All-Dielectric Metasurfaces Using Deep Neural Networks

abstract: Metasurfaces have become a promising means for manipulating optical wavefronts in flat and high-performance optical devices. Conventional metasurface device design relies on trial-and-error methods to obtain target electromagnetic (EM) response, an approach that demands significant efforts to investigate the enormous number of possible meta-atom structures. In this paper, a deep neural network approach is introduced that significantly improves on both speed and accuracy compared to techniques currently used to assemble metasurface-based devices. Our neural network approach overcomes three key challenges that have limited previous neural-network-based design schemes: input/output vector dimensional mismatch, accurate EM-wave phase prediction, as well as adaptation to 3-D dielectric structures, and can be generically applied to a wide variety of metasurface device designs across the entire electromagnetic spectrum. Using this new methodology, examples of neural networks capable of producing on-demand designs for meta-atoms, metasurface filters, and phase-change reconfigurable metasurfaces are demonstrated.


title: Protocol for implementing quantum nonparametric learning with trapped ions

abstract: Nonparametric learning is able to make reliable predictions by extracting information from similarities between a new set of input data and all samples. Here we point out a quantum paradigm of nonparametric learning which offers an exponential speedup over the sample size. By encoding data into quantum feature space, similarity between the data is defined as an inner product of quantum states. A quantum training state is introduced to superpose all data of samples, encoding relevant information for learning in its bipartite entanglement spectrum. We demonstrate that a trained state for prediction can be obtained by entanglement spectrum transformation, using quantum matrix toolbox. We further work out a feasible protocol to implement the quantum nonparametric learning with trapped ions, and demonstrate the power of quantum superposition for machine learning.


title: Light Higgs bosons in the general NMSSM

abstract: Physics beyond the Standard Model (SM) may manifest itself as small deviations from the SM predictions for Higgs signal strengths at 125 GeV. Then, a plausible and interesting possibility is that the Higgs sector is extended and at the weak scale there appears an additional Higgs boson weakly coupled to the SM sector. Combined with the LEP excess in $e^+e^-\to Z(h\to b\bar b)$, the diphoton excess around 96 GeV recently reported by CMS may suggest such a possibility. We examine if those LEP and CMS excesses can be explained simultaneously by a singlet-like Higgs boson in the general next-to-minimal supersymmetric Standard Model (NMSSM). Higgs mixing in the NMSSM relies on the singlet coupling to the MSSM Higgs doublets and the higgsino mass parameter, and thus is subject to the constraints on these supersymmetric parameters. We find that the NMSSM can account for both the LEP and CMS excesses at 96 GeV while accommodating the observed 125 GeV SM-like Higgs boson. Interestingly, the required mixing angles constrain the heavy doublet Higgs boson to be heavier than about 500 GeV. We also show that the viable region of mixing parameter space is considerably modified if the higgsino mass parameter is around the weak scale, mainly because of the Higgs coupling to photons induced by the charged higgsinos.


title: Conformal invariance and singlet fermionic dark matter

abstract: We study a classically scale-invariant model with an electroweak singlet complex scalar mediator together with an anomaly free set of two fermionic dark matters. We introduce $U(1)_X$ gauge symmetry with a new charge $X$ in the dark sector in order to stabilize the mass of the scalar singlet with a new gauge boson. Our conformally invariant scalar potential generates the electroweak symmetry breaking via the Coleman-Weinberg mechanism, and the new scalar singlet acquires its mass through radiative corrections of the fermionic dark matters and the new gauge boson as well as of the SM particles. Taking into account the collider bounds, we present the allowed region of new physics parameters satisfying the recent measurement of relic abundance. With the obtained parameter sets, we predict the elastic scattering cross section of the new singlet fermions into target nuclei for a direct detection of the dark matter. We also discuss the collider signatures and future discovery potentials of the new scalar and gauge boson.