title: Analog Coupled Oscillator Based Weighted Ising Machine

abstract: We report on an analog computing system with coupled non-linear oscillators which is capable of solving complex combinatorial optimization problems using the weighted Ising model. The circuit is composed of a fully-connected 4-node LC oscillator network with low-cost electronic components and compatible with traditional integrated circuit technologies. We present the theoretical modeling, experimental characterization, and statistical analysis our system, demonstrating single-run ground state accuracies of 98% on randomized MAX-CUT problem sets with binary weights and 84% with 5-bit weight resolutions. Solutions are obtained within 5 oscillator cycles, and the time-to-solution has been demonstrated to scale directly with oscillator frequency. We present scaling analysis which suggests that large coupled oscillator networks may be used to solve computationally intensive problems faster and more efficiently than conventional algorithms. The proof-of-concept system presented here provides the foundation for realizing such larger scale systems using existing hardware technologies and could pave the way towards an entirely novel computing paradigm.


title: Superfluid weight and Berezinskii-Kosterlitz-Thouless transition temperature of twisted bilayer graphene

abstract: We study superconductivity of twisted bilayer graphene with local and non-local attractive interactions. We obtain the superfluid weight and Berezinskii-Kosterlitz-Thouless (BKT) transition temperature for microscopic tight-binding and low-energy continuum models. We predict qualitative differences between local and non-local interaction schemes which could be distinguished experimentally. In the flat band limit where the pair potential exceeds the band width we show that the superfluid weight and BKT temperature are determined by multiband processes and quantum geometry of the band.


title: Eclipse: Generalizing kNN and Skyline

abstract: $k$ nearest neighbor ($k$NN) queries and skyline queries are important operators on multi-dimensional data points. Given a query point, $k$NN query returns the $k$ nearest neighbors based on a scoring function such as a weighted sum of the attributes, which requires predefined attribute weights (or preferences). Skyline query returns all possible nearest neighbors for any monotonic scoring functions without requiring attribute weights but the number of returned points can be prohibitively large. We observe that both $k$NN and skyline are inflexible and cannot be easily customized. In this paper, we propose a novel \emph{eclipse} operator that generalizes the classic $1$NN and skyline queries and provides a more flexible and customizable query solution for users. In eclipse, users can specify rough and customizable attribute preferences and control the number of returned points. We show that both $1$NN and skyline are instantiations of eclipse. To process eclipse queries, we propose a baseline algorithm with time complexity $O(n^22^{d-1})$, and an improved $O(n\log ^{d-1}n)$ time transformation-based algorithm, where $n$ is the number of points and $d$ is the number of dimensions. Furthermore, we propose a novel index-based algorithm utilizing duality transform with much better efficiency. The experimental results on the real NBA dataset and the synthetic datasets demonstrate the effectiveness of the eclipse operator and the efficiency of our eclipse algorithms.


title: An analysis of community structure in Brazilian political topic-based Twitter networks

abstract: Online social networks such as Twitter are important platforms for spreading public opinion on a variety of subjects. The classification of users through the analysis of their posts on Twitter according to their opinion sharing can help marketing ads and political campaigns to focus on specific user groups. Community detection-based techniques are specially useful to classify Twitter users, as they do not require rule-based methods or labeled data to perform the clustering task. In this paper, we constructed networks using data related to political discussions in Brazil extracted from Twitter. We show that (i) these networks follow the power-law distribution, indicating that a few popular users are responsible for most of the "mentions" and "retweets"; (ii) the most popular tweets are viral and spread across the communities whereas most of the remaining tweets are trapped in the communities where they originated; and (iii) words associated with positive sentiments are predominant in network communities related to the Brazilian presidential elections and appear in viral tweets.


title: Towards Stable and Efficient Training of Verifiably Robust Neural Networks

abstract: Training neural networks with verifiable robustness guarantees is challenging. Several existing approaches utilize linear relaxation based neural network output bounds under perturbation, but they can slow down training by a factor of hundreds depending on the underlying network architectures. Meanwhile, interval bound propagation (IBP) based training is efficient and significantly outperforms linear relaxation based methods on many tasks, yet it may suffer from stability issues since the bounds are much looser especially at the beginning of training. In this paper, we propose a new certified adversarial training method, CROWN-IBP, by combining the fast IBP bounds in a forward bounding pass and a tight linear relaxation based bound, CROWN, in a backward bounding pass. CROWN-IBP is computationally efficient and consistently outperforms IBP baselines on training verifiably robust neural networks. We conduct large scale experiments on MNIST and CIFAR datasets, and outperform all previous linear relaxation and bound propagation based certified defenses in $\ell_\infty$ robustness. Notably, we achieve 7.02% verified test error on MNIST at $\epsilon=0.3$, and 66.94% on CIFAR-10 with $\epsilon=8/255$. Code is available at https://github.com/deepmind/interval-bound-propagation (TensorFlow) and https://github.com/huanzhang12/CROWN-IBP (PyTorch).


title: freud: A Software Suite for High Throughput Analysis of Particle Simulation Data

abstract: The freud Python package is a powerful library for analyzing simulation data. Written with modern simulation and data analysis workflows in mind, freud provides a Python interface to fast, parallelized C++ routines that run efficiently on laptops, workstations, and supercomputing clusters. The package provides the core tools for finding particle neighbors in periodic systems, and offers a uniform API to a wide variety of methods implemented using these tools. As such, freud users can access standard methods such as the radial distribution function as well as newer, more specialized methods such as the potential of mean force and torque and local crystal environment analysis with equal ease. While many comparable tools place a heavy emphasis on reading and operating on trajectory file formats, freud instead accepts numerical arrays of data directly as inputs. By remaining agnostic to its data source, freud is suitable for analyzing any coarse-grained particle simulation, regardless of the original data representation or simulation method. When used for on-the-fly analysis in conjunction with scriptable simulation software such as HOOMD-blue, freud enables smart simulations that adapt to the current state of the system, allowing users to study phenomena such as nucleation and growth.


title: Liouville theorem for steady-state solutions of simplified Ericksen-Leslie system

abstract: In this paper, we investigate the steady simplified Ericksen-Leslie system. For three dimension, we obtain Liouville theorems if $u$ and $\nabla d$ satisfy the Galdi's[1] condition, or some decay conditions. Note that the simplified Ericksen-Leslie system becomes Navier-Stokes equations when $d$ is constant vector.


title: Permissioned Blockchain for Efficient and Secure Resource Sharing in Vehicular Edge Computing

abstract: With the fast expanding scale of vehicular networks, vehicular edge computing (VEC) has emerged and attracted growing attention from both industry and academia. Parked vehicles (PVs) have great potential to join vehicular networks for sharing their idle computing and networking resources. However, due to the underlying security and privacy threats, it is challenging to fairly motivate PVs for resource sharing in an efficient and secure way. In this paper, we propose a permissioned vehicular blockchain for secure and efficient resource sharing in VEC, namely, Parkingchain. We first design smart contract to achieve secure resource sharing and efficient service provisioning between PVs and service requesters (SRs). A multi-weight subjective logic based delegated Byzantine Fault Tolerance (DBFT) consensus mechanism is presented to improve the consensus process in Parkingchain. Further, we design a contract theory-based incentive mechanism to model the interactions between SR and PVs under asymmetric information scenario. Finally, numerical results demonstrate that the proposed incentive mechanism is effective and efficient compared with existing schemes.


title: Mechanisms of FMR line broadening in CoFeB-LiNbO$_3$ granular films in the vicinity of metal-insulator transition

abstract: Metal-insulator (CoFeB)$_x$(LiNbO$_3$)$_{100-x}$ nanocomposite films with different content of the ferromagnetic (FM) phase $x$ are investigated by ferromagnetic resonance (FMR) technique. A strong change of the FMR line shape is observed in the vicinity of metal-insulator transition (MIT) of the film, where the hopping-type conductivity $\sigma$ modifies to the regime of a strong intergranular tunnelling, characterized by a logarithmic dependence $\sigma(T)$ at high temperatures. It is shown that below MIT, the FMR linewidth is mainly determined by the inhomogeneous distribution of the local anisotropy axes in the film plane. Above MIT, the contribution of this inhomogeneity to the line broadening decreases. At the same time, two-magnon magnetic relaxation processes begin to play a significant role in the formation of the linewidth. The observed behaviour indicates the critical role of interparticle exchange in the tunnelling regime above MIT of the nanocomposite.


title: Provably Efficient $Q$-learning with Function Approximation via Distribution Shift Error Checking Oracle

abstract: $Q$-learning with function approximation is one of the most popular methods in reinforcement learning. Though the idea of using function approximation was proposed at least 60 years ago, even in the simplest setup, i.e, approximating $Q$-functions with linear functions, it is still an open problem on how to design a provably efficient algorithm that learns a near-optimal policy. The key challenges are how to efficiently explore the state space and how to decide when to stop exploring in conjunction with the function approximation scheme. The current paper presents a provably efficient algorithm for $Q$-learning with linear function approximation. Under certain regularity assumptions, our algorithm, Difference Maximization $Q$-learning (DMQ), combined with linear function approximation, returns a near-optimal policy using a polynomial number of trajectories. Our algorithm introduces a new notion, the Distribution Shift Error Checking (DSEC) oracle. This oracle tests whether there exists a function in the function class that predicts well on a distribution $\mathcal{D}_1$, but predicts poorly on another distribution $\mathcal{D}_2$, where $\mathcal{D}_1$ and $\mathcal{D}_2$ are distributions over states induced by two different exploration policies. For the linear function class, this oracle is equivalent to solving a top eigenvalue problem. We believe our algorithmic insights, especially the DSEC oracle, are also useful in designing and analyzing reinforcement learning algorithms with general function approximation.


title: Connecting Touch and Vision via Cross-Modal Prediction

abstract: Humans perceive the world using multi-modal sensory inputs such as vision, audition, and touch. In this work, we investigate the cross-modal connection between vision and touch. The main challenge in this cross-domain modeling task lies in the significant scale discrepancy between the two: while our eyes perceive an entire visual scene at once, humans can only feel a small region of an object at any given moment. To connect vision and touch, we introduce new tasks of synthesizing plausible tactile signals from visual inputs as well as imagining how we interact with objects given tactile data as input. To accomplish our goals, we first equip robots with both visual and tactile sensors and collect a large-scale dataset of corresponding vision and tactile image sequences. To close the scale gap, we present a new conditional adversarial model that incorporates the scale and location information of the touch. Human perceptual studies demonstrate that our model can produce realistic visual images from tactile data and vice versa. Finally, we present both qualitative and quantitative experimental results regarding different system designs, as well as visualizing the learned representations of our model.


title: Throttling processes equivalent to full throttling on trees

abstract: Consider a discrete-time process on a graph $G$ where a set $B$ of initial vertices are chosen to be colored blue (the remainder being white) and then a time step consists of every currently blue vertex forcing all of its neighbors to become blue; this process stops when every vertex of the graph is blue, and the process is called full forcing. The full throttling number of $G$ is then defined to be the minimum sum of the cardinality of $B$ and the number of time steps needed to complete the forcing process. On trees, the full throttling number is equivalent to the throttling numbers of several other graph processes, such as positive-semidefinite zero forcing, the game of cops and robbers, and the distance domination number (alternately, the $k$-radius) of a graph. For all of these, it is known that maximum possible throttling number for a tree on $n$ vertices is somewhere between $1.4502\sqrt{n}$ and $\frac{\sqrt{14}}{2}\sqrt{n}$, with the former exhibited by a family of spiders. After introducing some new ideas and methods for working with throttling on trees, this paper determines the exact full throttling number of all balanced spiders (trees with equal-length paths extending from a center vertex), and proves that their full throttling numbers are bounded above by that of paths of the same order $n$, which are known to have full throttling number $\lceil\sqrt{2n}-\frac{1}{2}\rceil$.


title: Cosmic Time Slip: Testing Gravity on Supergalactic Scales with Strong-Lensing Time Delays

abstract: We devise a test of nonlinear departures from general relativity (GR) using time delays in strong gravitational lenses. We use a phenomenological model of gravitational screening as a step discontinuity in the measure of curvature per unit mass, at a radius $\Lambda$. The resulting slip between two scalar gravitational potentials leads to a shift in the apparent positions and time delays of lensed sources, relative to the GR predictions, of size $\gamma_{\rm PN}-1$. As a proof of principle, we use measurements of two lenses, RXJ1121-1231 and B1608+656, to constrain deviations from GR to be below $|\gamma_{\rm PN}-1| \leq 0.2 \times (\Lambda/100\, \rm kpc)$. These constraints are complementary to other current probes, and are the tightest in the range $\Lambda=10-200$ kpc, showing that future measurements of strong-lensing time delays have great promise to seek departures from general relativity on kpc-Mpc scales.


title: Parabolic subgroups acting on the additional length graph

abstract: Let $A\neq A_1, A_2, I_{2m}$ be an irreducible Artin--Tits group of spherical type. We show that periodic elements of $A$ and the elements preserving some parabolic subgroup of $A$ act elliptically on the additional length graph $\mathcal{C}_{AL}(A)$, an hyperbolic, infinite diameter graph associated to $A$ constructed by Calvez and Wiest to show that $A/Z(A)$ is acylindrically hyperbolic. We use these results to find an element $g\in A$ such that $\langle P,g \rangle\cong P* \langle g \rangle$ for every proper standard parabolic subgroup $P$ of $A$. The length of $g$ is uniformly bounded with respect to the Garside generators, independently of $A$. This allows us to show that, in contrast with the Artin generators case, the sequence $\{\omega(A_n,\mathcal{S})\}_{n\in \mathbb{N}}$ of exponential growth rates of braid groups with respect to the Garside generating set, goes to infinity.


title: An emission spectrum for WASP-121b measured across the 0.8-1.1 micron wavelength range using the Hubble Space Telescope

abstract: WASP-121b is a transiting gas giant exoplanet orbiting close to its Roche limit, with an inflated radius nearly double that of Jupiter and a dayside temperature comparable to a late M dwarf photosphere. Secondary eclipse observations covering the 1.1-1.6 micron wavelength range have revealed an atmospheric thermal inversion on the dayside hemisphere, likely caused by high altitude absorption at optical wavelengths. Here we present secondary eclipse observations made with the Hubble Space Telescope Wide Field Camera 3 spectrograph that extend the wavelength coverage from 1.1 micron down to 0.8 micron. To determine the atmospheric properties from the measured eclipse spectrum, we performed a retrieval analysis assuming chemical equilibrium, with the effects of thermal dissociation and ionization included. Our best-fit model provides a good fit to the data with reduced chi^2=1.04. The data diverge from a blackbody spectrum and instead exhibit emission due to H- shortward of 1.1 micron. The best-fit model does not reproduce a previously reported bump in the spectrum at 1.25 micron, possibly indicating this feature is a statistical fluctuation in the data rather than a VO emission band as had been tentatively suggested. We estimate an atmospheric metallicity of [M/H]=1.09(-0.69,+0.57), and fit for the carbon and oxygen abundances separately, obtaining [C/H]=-0.29(-0.48,+0.61) and [O/H]=0.18(-0.60,+0.64). The corresponding carbon-to-oxygen ratio is C/O=0.49(-0.37,+0.65), which encompasses the solar value of 0.54, but has a large uncertainty.


title: C and Fortran OpenMP programs for rotating Bose-Einstein condensates

abstract: We present OpenMP versions of C and Fortran programs for solving the Gross-Pitaevskii equation for a rotating trapped Bose-Einstein condensate (BEC) in two (2D) and three (3D) spatial dimensions. The programs can be used to generate vortex lattices and study dynamics of rotating BECs. We use the split-step Crank-Nicolson algorithm for imaginary- and real-time propagation to calculate stationary states and BEC dynamics, respectively. The programs propagate the condensate wave function and calculate several relevant physical quantities, such as the energy, the chemical potential, and the root-mean-square sizes. The imaginary-time propagation starts with an analytic wave function with one vortex at the trap center, modulated by a random phase at different space points. Nevertheless, the converged wave function for a rapidly rotating BEC with a large number of vortices is most efficiently calculated using the pre-calculated converged wave function of a rotating BEC containing a smaller number of vortices as the initial state rather than using an analytic wave function with one vortex as the initial state. These pre-calculated initial states exhibit rapid convergence for fast-rotating condensates to states containing multiple vortices with an appropriate phase structure. This is illustrated here by calculating vortex lattices with up to 61 vortices in 2D and 3D. Outputs of the programs include calculated physical quantities, as well as the wave function and different density profiles (full density, integrated densities in lower dimensions, and density cross-sections). The provided real-time propagation programs can be used to study the dynamics of a rotating BEC using the imaginary-time stationary wave function as the initial state. We also study the efficiency of parallelization of the present OpenMP C and Fortran programs with different compilers.

categories: cond-mat.quant-gas nlin.PS physics.comp-ph quant-ph


title: Spatio-kinematical model of the collimated molecular outflow in the water-fountain nebula IRAS 16342-3814

abstract: In this work we aimed to describe the three-dimensional morphology and kinematics of the molecular gas of the water-fountain nebula IRAS 16342-3814. In order to do this, we retrieved data from the ALMA archive to analyse it using a simple spatio-kinematical model. We used the software SHAPE to construct a three-dimensional spatio-kinematical model of the molecular gas in IRAS 16342-3814. By reproducing the intensity distribution and position-velocity diagram of the CO emission from the ALMA observations we derived the morphology and velocity field of the gas. We used CO(1-0) data to support the physical interpretation of the model. A spatio-kinematical model that includes a high-velocity collimated outflow embedded within material expanding at relatively lower velocity reproduces the images and position-velocity diagrams from the observations. The high-velocity collimated outflow exhibits deceleration across its length, while the velocity of the surrounding component increases with distance. The morphology of the emitting region; the velocity field and the mass of the gas as function of velocity are in excellent agreement with the properties predicted for a molecular outflow driven by a jet. The timescale of the molecular outflow is estimated to be ~70-100 years. An oscillating pattern was found associated to the high-velocity collimated outflow. The oscillation period of the pattern is T~60-90 years and its opening angle is ~2 degrees. The CO (3-2) emission in IRAS 16342-3814 is interpreted in terms of a jet-driven molecular outflow expanding along an elongated region. The position-velocity diagram and the mass spectrum reveal a feature due to entrained material that is associated to the driving jet. It is likely that the jet in those objects has already disappeared since it is expected to last only for a couple of hundred years.


title: TensorNetwork for Machine Learning

abstract: We demonstrate the use of tensor networks for image classification with the TensorNetwork open source library. We explain in detail the encoding of image data into a matrix product state form, and describe how to contract the network in a way that is parallelizable and well-suited to automatic gradients for optimization. Applying the technique to the MNIST and Fashion-MNIST datasets we find out-of-the-box performance of 98% and 88% accuracy, respectively, using the same tensor network architecture. The TensorNetwork library allows us to seamlessly move from CPU to GPU hardware, and we see a factor of more than 10 improvement in computational speed using a GPU.

categories: cs.LG cond-mat.str-el cs.CV physics.comp-ph stat.ML


title: On the $x$--coordinates of Pell equations which are products of two: Lucas numbers, Pell numbers

abstract: Let $ \{L_n\}_{n\ge 0} $ be the sequence of Lucas numbers given by $ L_0=2, ~ L_1=1 $ and $ L_{n+2}=L_{n+1}+L_n $ for all $ n\ge 0 $. In the first paper, for an integer $d\geq 2$ which is square-free, we show that there is at most one value of the positive integer $x$ participating in the Pell equation $x^{2}-dy^{2}=\pm 1$ which is a product of two Lucas numbers, with a few exceptions that we completely characterize. Let $ \{P_m\}_{m\ge 0} $ be the sequence of Pell numbers given by $ P_0=0, ~ P_1=1 $ and $ P_{m+2}=2P_{m+1}+P_m $ for all $ m\ge 0 $. In the second paper, for an integer $d\geq 2$ which is square free, we show that there is at most one value of the positive integer $x$ participating in the Pell equation $x^{2}-dy^{2} =\pm 1$ which is a product of two Pell numbers.


title: An IR-based Approach Towards Automated Integration of Geo-spatial Datasets in Map-based Software Systems

abstract: Data is arguably the most valuable asset of the modern world. In this era, the success of any data-intensive solution relies on the quality of data that drives it. Among vast amount of data that are captured, managed, and analyzed everyday, geospatial data are one of the most interesting class of data that hold geographical information of real-world phenomena and can be visualized as digital maps. Geo-spatial data is the source of many enterprise solutions that provide local information and insights. In order to increase the quality of such solutions, companies continuously aggregate geospatial datasets from various sources. However, lack of a global standard model for geospatial datasets makes the task of merging and integrating datasets difficult and error-prone. Traditionally, domain experts manually validate the data integration process by merging new data sources and/or new versions of previous data against conflicts and other requirement violations. However, this approach is not scalable and is hinder toward rapid release, when dealing with frequently changing big datasets. Thus more automated approaches with limited interaction with domain experts is required. As a first step to tackle this problem, in this paper, we leverage Information Retrieval (IR) and geospatial search techniques to propose a systematic and automated conflict identification approach. To evaluate our approach, we conduct a case study in which we measure the accuracy of our approach in several real-world scenarios and we interview with software developers at Localintel Inc. (our industry partner) to get their feedbacks.


title: IITP at MEDIQA 2019: Systems Report for Natural Language Inference, Question Entailment and Question Answering

abstract: This paper presents the experiments accomplished as a part of our participation in the MEDIQA challenge, an (Abacha et al., 2019) shared task. We participated in all the three tasks defined in this particular shared task. The tasks are viz. i. Natural Language Inference (NLI) ii. Recognizing Question Entailment(RQE) and their application in medical Question Answering (QA). We submitted runs using multiple deep learning based systems (runs) for each of these three tasks. We submitted five system results in each of the NLI and RQE tasks, and four system results for the QA task. The systems yield encouraging results in all three tasks. The highest performance obtained in NLI, RQE and QA tasks are 81.8%, 53.2%, and 71.7%, respectively.


title: Templates of binary-induced spiral-shell patterns around mass-losing post-main sequence stars

abstract: The morphological properties of the outflowing circumstellar envelopes surrounding mass-losing stars in eccentric binary systems are presented from a set of three-dimensional hydrodynamical model simulations. Based on four template models of the envelope viewed for a range of inclination angles of the systems, we implement interpretative tools for observations at high spectral/angular resolutions (as illustrated via velocity channel maps as well as position-velocity, radius-velocity, and angle-radius diagrams). Within this framework, the image and kinematical structures can be used to place constraints on the orbital parameters of the system. Specifically, three unique characteristic patterns in the envelopes are found that distinguish these systems from those in binary systems in circular orbits. Bifurcation of the spiral pattern, asymmetry in the interarm density depression, and a concurrent spiral/ring appearance all point to a binary system with an eccentric orbit. The methodology presented in this paper is illustrated in an analysis of recent radio observations of several asymptotic giant branch stars.


title: $\gamma$-ray Strength Function for Barium Isotopes

abstract: Photoneutron cross sections were measured for $^{137}$Ba and $^{138}$Ba at energies below two-neutron threshold using quasi-monochromatic $\gamma$-ray beams produced in laser Compton-scattering at the NewSUBARU synchrotron radiation facility. The photoneutron data are used to constrain the $\gamma$-ray strength function on the basis of the Hartree-Fock-Bogolyubov plus quasi-particle random phase approximation using the Gogny D1M interaction. Supplementing the experimentally constrained $\gamma$-ray strength function with the zero-limit E1 and M1 contributions which are unique to the deexcitation mode, we discuss radiative neutron capture cross sections relevant to the s-process nucleosynthesis of barium isotopes in the vicinity of the neutron magic number 82.


title: The homotopy invariance of dihedral homology of involutive $A_\infty$-algebras over rings

abstract: The dihedral homology functor $HD:A_\infty^{{\rm inv}}(K)\to GrM(K)$ from the category $A_\infty^{{\rm inv}}(K)$ of involutive $A_\infty$-algebras over any commutative unital ring $K$ to the category $GrM(K)$ of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy equivalences of involutive $A_\infty$-algebras into isomorphisms of graded modules.


title: Poisson limit for the number of cycles in a random permutation and the number of segregating sites

abstract: Consider a random permutation of $\{1, \ldots, \lfloor n^{t_2}\rfloor\}$ drawn according to the Ewens measure with parameter $t_1$ and let $K(n, t)$ denote the number of its cycles, where $t\equiv (t_1, t_2)\in\mathbb [0, 1]^2$. Next, consider a sample drawn from a large, neutral population of haploid individuals subject to mutation under the infinitely many sites model of Kimura whose genealogy is governed by Kingman's coalescent. Let $S(n, t)$ count the number of segregating sites in a sample of size $\lfloor n^{t_2}\rfloor$ when mutations arrive at rate $t_1/2$. We show that $K(n, (t_1/\log n, t_2))-1$ and $S(n, (t_1/\log n, t_2))$ induce unique random measures $\Pi_n^K$ and $\Pi_n^S,$ respectively, on the positive quadrant $[0, \infty)^2.$ Our main result is to show that in the coupling of $S(n, t)$ and $K(n, t)$ introduced in~\cite{Pitters2019} we have weak convergence as $n\to\infty$ \begin{align*} (\Pi_n^K, \Pi_n^S)\to_d (\Pi, \Pi), \end{align*} where $\Pi$ is a Poisson point process on $[0, \infty)^2$ of unit intensity. This complements the work in~\cite{Pitters2019} where it was shown that the process $\{(K(n, t), S(n, t)), t\in [0, 1]^2\},$ appropriately rescaled, converges weakly to the product of the same one-dimensional Brownian sheet.


title: Realistic Speech-Driven Facial Animation with GANs

abstract: Speech-driven facial animation is the process that automatically synthesizes talking characters based on speech signals. The majority of work in this domain creates a mapping from audio features to visual features. This approach often requires post-processing using computer graphics techniques to produce realistic albeit subject dependent results. We present an end-to-end system that generates videos of a talking head, using only a still image of a person and an audio clip containing speech, without relying on handcrafted intermediate features. Our method generates videos which have (a) lip movements that are in sync with the audio and (b) natural facial expressions such as blinks and eyebrow movements. Our temporal GAN uses 3 discriminators focused on achieving detailed frames, audio-visual synchronization, and realistic expressions. We quantify the contribution of each component in our model using an ablation study and we provide insights into the latent representation of the model. The generated videos are evaluated based on sharpness, reconstruction quality, lip-reading accuracy, synchronization as well as their ability to generate natural blinks.


title: Termination of an inward migration of a gap-opening planet triggered by dust feedback

abstract: The planet migration due to the disk--planet interaction is one of the most important processes to determine the architecture of planetary systems. A sufficiently massive planet forms a density gap and migrates together with the gap. By carrying out two-dimensional and two-fluid (gas and dust grains) hydrodynamic simulations, we investigated the effects of the dust feedback on the migration of the gap-opening planet, which was not considered in previous studies. We found that the gas surface density at the outer edge of the gap becomes smaller due to the dust feedback, and thus the torque exerted from the outer disk decreases. This mechanism becomes effective as the gap becomes wider and deeper. In particular, when the mass of the planet is Jupiter-size and turbulent viscosity is $\alpha = 3\times 10^{-4}$, the planet can migrate outward due to the reduction of the torque exerted from the outer disk. Even for a smaller planet, the migration becomes significantly slow down. This termination of the inward migration triggered by the dust feedback may explain why ring and gap structures can be frequently observed within the protoplanetary disks.


title: An interpretable machine learning framework for dark matter halo formation

abstract: We present a generalization of our recently proposed machine learning framework, aiming to provide new physical insights into dark matter halo formation. We investigate the impact of the initial density and tidal shear fields on the formation of haloes over the mass range $11.4 \leq \log(M/M_{\odot}) \leq 13.4$. The algorithm is trained on an N-body simulation to infer the final mass of the halo to which each dark matter particle will later belong. We then quantify the difference in the predictive accuracy between machine learning models using a metric based on the Kullback-Leibler divergence. We first train the algorithm with information about the density contrast in the particles' local environment. The addition of tidal shear information does not yield an improved halo collapse model over one based on density information alone; the difference in their predictive performance is consistent with the statistical uncertainty of the density-only based model. This implies that our machine learning setup does not identify any significant role for the tidal shear in determining halo masses. This result is confirmed as we verify the ability of the initial conditions-to-halo mass mapping learnt from one simulation to generalize to independent simulations. Our work illustrates the broader potential of developing interpretable machine learning frameworks to gain physical understanding of non-linear large-scale structure formation.


title: The ASAS-SN Catalog of Variable Stars IV: Periodic Variables in the APOGEE Survey

abstract: We explore the synergy between photometric and spectroscopic surveys by searching for periodic variable stars among the targets observed by the Apache Point Observatory Galactic Evolution Experiment (APOGEE) using photometry from the All-Sky Automated Survey for Supernovae (ASAS-SN). We identified 1924 periodic variables among more than 258000 APOGEE targets; 465 are new discoveries. We homogeneously classified 430 eclipsing and ellipsoidal binaries, 139 classical pulsators (Cepheids, RR Lyrae and delta Scuti), 719 long period variables (pulsating red giants) and 636 rotational variables. The search was performed using both visual inspection and machine learning techniques. The light curves were also modeled with the damped random walk stochastic process. We find that the median [Fe/H] of variable objects is lower by 0.3 dex than that of the overall APOGEE sample. Eclipsing binaries and ellipsoidal variables are shifted to a lower median [Fe/H] by 0.2 dex. Eclipsing binaries and rotational variables exhibit significantly broader spectral lines than the rest of the sample. We make ASAS-SN light curves for all the APOGEE stars publicly available and provide parameters for the variable objects.


title: Periodically Driven Sachdev-Ye-Kitaev Models

abstract: Periodically driven quantum matter can realize exotic dynamical phases. In order to understand how ubiquitous and robust these phases are, it is pertinent to investigate the heating dynamics of generic interacting quantum systems. Here we study the thermalization in a periodically-driven generalized Sachdev-Ye-Kitaev (SYK)-model, which realizes a crossover from a heavy Fermi liquid (FL) to a non-Fermi liquid (NFL) at a tunable energy scale. Developing an exact field theoretic approach, we determine two distinct regimes in the heating dynamics. While the NFL heats exponentially and thermalizes rapidly, we report that the presence of quasi-particles in the heavy FL obstructs heating and thermalization over comparatively long time scales. Prethermal high-frequency dynamics and possible experimental realizations of non-equilibrium SYK physics are discussed as well.


title: An all order exact result for the anomalous dimension of the scalar primary in Chern Simons Vector Models

abstract: We present a conjecture for the leading $1/N$ anomalous dimension of the scalar primary operator in $U(N)_k$ Chern-Simons theories coupled to a single fundamental field, to all orders in the t'Hooft coupling $\lambda=\frac{N}{k}$. Following this we compute the anomalous dimension of the scalar in a Regular Bosonic theory perturbatively at two-loop order and demonstrate that matches exactly with the result predicted by our conjecture. We also show that our proposed expression for the anomalous dimension is consistent with all other existing two-loop perturbative results, which constrain its form at both weak and strong coupling thanks to the bosonization duality. Furthermore, our conjecture passes a novel non-trivial all loop test which provides a strong evidence for its consistency.


title: Simulating quantum many-body dynamics on a current digital quantum computer

abstract: Universal quantum computers are potentially an ideal setting for simulating many-body quantum dynamics that is out of reach for classical digital computers. We use state-of-the-art IBM quantum computers to study paradigmatic examples of condensed matter physics -- we simulate the effects of disorder and interactions on quantum particle transport, as well as correlation and entanglement spreading. Our benchmark results show that the quality of the current machines is below what is necessary for quantitatively accurate continuous time dynamics of observables and reachable system sizes are small comparable to exact diagonalization. Despite this, we are successfully able to demonstrate clear qualitative behaviour associated with localization physics and many-body interaction effects.


title: Unfrustrating the t-J Model: d-wave BCS Superconductivity in the $t'$-$J_z$-$V$ Model

abstract: The t-J model is believed to be a minimal model that may be capable of describing the low-energy physics of the cuprate superconductors. However, although the t-J model is simple in appearance, obtaining a detailed understanding of its phase diagram has proved to be challenging. We are therefore motivated to study modifications to the t-J model such that its phase diagram and mechanism for d-wave superconductivity can be understood analytically without making uncontrolled approximations. The modified model we consider is a $t'$-$J_z$-$V$ model on a square lattice, which has a second-nearest-neighbor hopping $t'$ (instead of a nearest-neighbor hopping $t$), an Ising (instead of Heisenberg) antiferromagnetic coupling $J_z$, and a nearest-neighbor repulsion $V$. In a certain strongly interacting limit, the ground state is an antiferromagnetic superconductor that can be described exactly by a Hamiltonian where the only interaction is a nearest-neighbor attraction. BCS theory can then be applied with arbitrary analytical control, from which nodeless d-wave or s-wave superconductivity can result.


title: Searches After Gravitational-waves Using ARizona Observatories (SAGUARO): System Overview and First Results from Advanced LIGO/Virgo's Third Observing Run

abstract: We present Searches After Gravitational-waves Using ARizona Observatories (SAGUARO), a comprehensive effort dedicated to the discovery and characterization of optical counterparts to gravitational wave (GW) events. SAGUARO utilizes ground-based facilities ranging from 1.5m to 10m in diameter, located primarily in the Northern Hemisphere. We provide an overview of SAGUARO's telescopic resources, pipeline for transient detection, and database for candidate visualization. We describe SAGUARO's discovery component, which utilizes the $5$~deg$^2$ field-of-view optical imager on the Mt. Lemmon 1.5m telescope, reaching limits of $\approx 21.3$~AB mag while rapidly tiling large areas. We also describe the follow-up component of SAGUARO, used for rapid vetting and monitoring of optical candidates. With the onset of Advanced LIGO/Virgo's third observing run, we present results from the first three SAGUARO searches following the GW events S190408an, S190425z and S190426c, which serve as a valuable proof-of-concept of SAGUARO. We triggered and searched 15, 60 and 60 deg$^{2}$ respectively, 17.6, 1.4 and 41.8 hrs after the initial GW alerts. We covered 7.8, 3.0 and 5.1\% of the total probability within the GW event localizations, reaching 3$\sigma$ limits of 19.8, 21.3 and 20.8 AB mag, respectively. Although no viable counterparts associated with these events were found, we recovered 6 known transients and ruled out 5 potential candidates. We also present Large Binocular Telescope spectroscopy of PS19eq/SN2019ebq, a promising kilonova candidate that was later determined to be a supernova. With the ability to tile large areas and conduct detailed follow-up, SAGUARO represents a significant addition to GW counterpart searches.


title: Suppressed effective viscosity in the bulk intergalactic plasma

abstract: Transport properties, such as viscosity and thermal conduction, of the hot intergalactic plasma in clusters of galaxies, are largely unknown. While for laboratory plasmas these characteristics are derived from the gas density and temperature, such recipes can be fundamentally different for the intergalactic plasma due to a low rate of particle collisions and a weak magnetic field. In numerical simulations, one often cuts through these unknowns by modeling these plasmas as hydrodynamic fluids, even though local, non-hydrodynamic features observed in clusters contradict this assumption. Using deep Chandra observations of the Coma Cluster, we probe gas fluctuations in intergalactic medium down to spatial scales where the transport processes should prominently manifest themselves - at least if hydrodynamic models with pure Coulomb collision rates were indeed adequate. We find that they do not, implying that the effective isotropic viscosity is orders of magnitude smaller than naively expected. This indicates an enhanced collision rate in the plasma due to particle scattering off microfluctuations caused by plasma instabilities, or that the transport processes are anisotropic with respect to local magnetic field. For that reason, numerical models with high Reynolds number appear more consistent with observations. Our results also demonstrate that observations of turbulence in clusters are becoming a branch of astrophysics that can sharpen theoretical views on such plasmas.


title: A giant Ly$\alpha$ nebula and a small-scale clumpy outflow in the system of the exotic quasar J0952+0114 unveiled by MUSE

abstract: The well-known quasar SDSS J095253.83+011421.9 (J0952+0114) at z=3.02 has one of the most peculiar spectra discovered so far, showing the presence of narrow Ly$\alpha$ and broad metal emission lines. Although recent studies have suggested that a Proximate Damped Ly$\alpha$ system (PDLA) causes this peculiar spectrum, the origin of the gas associated with the PDLA is unknown. Here we report the results of MUSE observations that reveal a new giant ($\approx$ 100 physical kpc) Lyman $\alpha$ nebula. The detailed analysis of the Ly$\alpha$ velocity, velocity dispersion, and surface brightness profiles suggests that the J0952+0114 Ly$\alpha$ nebula shares similar properties of other QSO nebulae previously detected with MUSE, implying that the PDLA in J0952+0144 is covering only a small fraction of the QSO emission solid angle. We also detected bright and spectrally narrow CIV$\lambda$1550 and HeII$\lambda$1640 extended emission around J0952+0114 with velocity centroids similar to the peak of the extended and central narrow Ly$\alpha$ emission. The presence of a peculiarly bright, unresolved, and relatively broad HeII$\lambda$1640 emission in the central region at exactly the same PDLA redshift hints at the possibility that the PDLA originates in a clumpy outflow with a bulk velocity of about 500 km/s. The smaller velocity dispersion of the large scale Ly$\alpha$ emission suggests that the high-speed outflow is confined to the central region. Lastly, the derived spatially resolved HeII/Ly$\alpha$ and CIV/Ly$\alpha$ maps show a positive gradient with the distance to the QSO hinting at a non-homogeneous ionization parameter distribution.


title: Direct detection of primordial black hole relics as dark matter

abstract: If dark matter is composed of primordial black holes, such black holes can span an enormous range of masses. A variety of observational constraints exist on massive black holes, and black holes with masses below $10^{15}\,\mathrm{g}$ are often assumed to have completely evaporated by the present day. But if the evaporation process halts at the Planck scale, it would leave behind a stable relic, and such objects could constitute the entirety of dark matter. Neutral Planck-scale relics are effectively invisible to both astrophysical and direct detection searches. However, we argue that such relics may typically carry electric charge, making them visible to terrestrial detectors. We evaluate constraints and detection prospects in detail, and show that if not already ruled out by monopole searches, this scenario can be largely explored within the next decade using existing or planned experimental equipment. A single detection would have enormous implications for cosmology, black hole physics, and quantum gravity.


title: On the Computational Power of RNNs

abstract: Recent neural network architectures such as the basic recurrent neural network (RNN) and Gated Recurrent Unit (GRU) have gained prominence as end-to-end learning architectures for natural language processing tasks. But what is the computational power of such systems? We prove that finite precision RNNs with one hidden layer and ReLU activation and finite precision GRUs are exactly as computationally powerful as deterministic finite automata. Allowing arbitrary precision, we prove that RNNs with one hidden layer and ReLU activation are at least as computationally powerful as pushdown automata. If we also allow infinite precision, infinite edge weights, and nonlinear output activation functions, we prove that GRUs are at least as computationally powerful as pushdown automata. All results are shown constructively.


title: A Blockchain Policy and Charging Control Framework for Roaming in Cellular Networks

abstract: As a technology foundation of cryptocurrencies, blockchain enables decentralized peer-to-peer trading through consensus mechanisms without the involvement of a third party. Blockchain has been regarded as an auspicious technology for future cellular networks. It is able to provide solutions to problems related to mobile operators and user trust, embedded smart contracts, security concerns, pricing (e.g. for roaming), etc. When applying blockchain to cellular networks, there are significant challenges in terms of deployment and application, due to resource-constrained transactions. This article begins by introducing the basic concept of blockchain and then moves on to illustrate its benefits and limitations in the roaming system. Two models of roaming-based blockchain technologies are offered to show their suitability for cellular networks as opposed to traditional technology. Finally, potential issues and challenges of roaming-based blockchains are addressed and evaluated using the roaming use case in the EU.


title: Trinion Conformal Blocks from Topological strings

abstract: In this paper we investigate the relation between conformal blocks of Liouville CFT and the topological string partition functions of the rank one trinion theory $T_2$. The partition functions exhibit jumps when passing from one chamber in the parameter space to another. Such jumps can be attributed to a change of the integration contour in the free field representation of Liouville conformal blocks. We compare the partition functions of the $T_2$ theories representing trifundamental half hypermultiplets in $N=2$, $d=4$ field theories to the partition functions associated to bifundamental hypermultiplets. We find that both are related to the same Liouville conformal blocks up to inessential factors. In order to establish this picture we combine and compare results obtained using topological vertex techniques, matrix models and topological recursion. We furthermore check that the partition functions obtained by gluing two $T_2$ vertices can be represented in terms of a four point Liouville conformal block. Our results indicate that the $T_2$ vertex offers a useful starting point for developing an analog of the instanton calculus for SUSY gauge theories with trifundamental hypermultiplets.


title: Oscillons and Dark Matter

abstract: Oscillons are bound states sustained by self-interactions that appear in rather generic scalar models. They can be extremely long-lived and in the context of cosmology they have a built-in formation mechanism - parametric resonance instability. These features suggest that oscillons can affect the standard picture of scalar ultra-light dark matter (ULDM) models. We explore this idea along two directions. First, we investigate numerically oscillon lifetimes and their dependence on the shape of the potential. We find that scalar potentials that occur in well motivated axion-like models can lead to oscillons that live up to $10^8$ cycles or more. Second, we discuss the observational constraints on the ULDM models once the presence of oscillons is taken into account. For a wide range of axion masses, oscillons decay around or after matter-radiation equality and can thus act as early seeds for structure formation. We also discuss the possibility that oscillons survive up to today. In this case they can most easily play the role of dark matter.


title: Constraints on Black Hole Jet Models Used As Diagnostic Tools of Event Horizon Telescope Observations of M87

abstract: Jet models of Event Horizon Telescope (EHT) data should also conform to the observed jet profiles just downstream. This study evaluates conformance of models of black hole jets to images of the innermost jet of M87. This is a basic test that should be passed before using them to perform a physical interpretation of EHT data. Recent 86 GHz Very Long Baseline Interferometry observations of M87 have revealed the morphology and size of the jet near its source ($<65$\,M, or 0.06 lt-yrs after correcting for line of sight to the jet, where $M$ is the black hole mass in geometrized units) for the first time. Current transverse resolution indicates that this region is dominated by flux emanating from the edge of the jet. The observed inner jet profiles are compared to all existing published synthetic radio images constructed from "state of the art" 3-D numerical simulations of the black hole accretion system in M87. Despite efforts to produce the characteristic wide, edge dominated jet, these models are too narrow (by a factor of $\sim2$) in the region 0.06 - 0.32 lt-yrs from the source, even though the jets (spine and/or sheath) in the image plane might appear conformant farther downstream. Furthermore, the synthetic radio images are not edge dominated 0.06 - 0.32 lt-yrs from the source, but spine dominated. Analyses that implement these models as physical diagnostics of EHT visibility amplitudes are therefore suspect. Thus, these inner jet characteristics are important considerations before applying simulations to the EHT data.


title: Duality in finite element exterior calculus and Hodge duality on the sphere

abstract: Finite element exterior calculus refers to the development of finite element methods for differential forms, generalizing several earlier finite element spaces of scalar fields and vector fields to arbitrary dimension $n$, arbitrary polynomial degree $r$, and arbitrary differential form degree $k$. The study of finite element exterior calculus began with the $\mathcal P_r\Lambda^k$ and $\mathcal P_r^-\Lambda^k$ families of finite element spaces on simplicial triangulations. In their development of these spaces, Arnold, Falk, and Winther rely on a duality relationship between $\mathcal P_r\Lambda^k$ and $\mathring{\mathcal P}_{r+k+1}^-\Lambda^{n-k}$ and between $\mathcal P_r^-\Lambda^k$ and $\mathring{\mathcal P}_{r+k}\Lambda^{n-k}$. In this article, we show that this duality relationship is, in essence, Hodge duality of differential forms on the standard $n$-sphere, disguised by a change of coordinates. We remove the disguise, giving explicit correspondences between the $\mathcal P_r\Lambda^k$, $\mathcal P_r^-\Lambda^k$, $\mathring{\mathcal P}_r\Lambda^k$ and $\mathring{\mathcal P}_r^-\Lambda^k$ spaces and spaces of differential forms on the sphere. As a direct corollary, we obtain new pointwise duality isomorphisms between $\mathcal P_r\Lambda^k$ and $\mathring{\mathcal P}_{r+k+1}^-\Lambda^{n-k}$ and between $\mathcal P_r^-\Lambda^k$ and $\mathring{\mathcal P}_{r+k}\Lambda^{n-k}$, which we illustrate with examples.


title: Perceptual Based Adversarial Audio Attacks

abstract: Recent work has shown the possibility of adversarial attacks on automatic speechrecognition (ASR) systems. However, in the vast majority of work in this area, theattacks have been executed only in the digital space, or have involved short phrasesand static room settings. In this paper, we demonstrate a physically realizableaudio adversarial attack. We base our approach specifically on a psychoacoustic-property-based loss function, and automated generation of room impulse responses, to create adversarial attacks that are robust when played over a speaker in multiple environments. We show that such attacks are possible even while being virtually imperceptible to listeners.


title: Unraveling the Role of Frictional Contacts and Particle Orientational Order During Shear-thickening in Suspensions of Colloidal Rods

abstract: There is now convincing evidence that inter-particle frictional contacts are essential for observing shear-thickening in concentrated suspensions of compact particles. While this has inspired many strategies to tailor the rheology in these systems, in the more general case, viz-a-viz suspensions of anisotropic particles, the mechanism of shear-thickening remains unclear. Here through simultaneous measurements of the bulk viscosity and the first Normal stress difference, we show that strong shear thickening in suspensions of colloidal rods is accompanied by large positive normal stresses, indicating the formation of a system-spanning frictional contact network. We also find that flow in the shear-thickening regime is unsteady and shows a rather rich time-dependence. By carrying out single particle-resolved confocal rheology measurements, we provide compelling evidence that this rheological chaos arises from a strong coupling between the imposed flow and particle orientational order. Building on these observations, we designed colloidal rods with temperature-tunable tribological properties and demonstrate the feasibility of achieving in-situ control over suspension rheology. These findings show that the interplay between orientational order and frictional interactions plays a critical role in the shear thickening of dense suspensions of colloidal rods.


title: Data-Driven Machine Learning Techniques for Self-healing in Cellular Wireless Networks: Challenges and Solutions

abstract: For enabling automatic deployment and management of cellular networks, the concept of self-organizing network (SON) was introduced. SON capabilities can enhance network performance, improve service quality, and reduce operational and capital expenditure (OPEX/CAPEX). As an important component in SON, self-healing is defined as a network paradigm where the faults of target networks are mitigated or recovered by automatically triggering a series of actions such as detection, diagnosis and compensation. Data-driven machine learning has been recognized as a powerful tool to bring intelligence into network and to realize self-healing. However, there are major challenges for practical applications of machine learning techniques for self-healing. In this article, we first classify these challenges into five categories: 1) data imbalance, 2) data insufficiency, 3) cost insensitivity, 4) non-real-time response, and 5) multi-source data fusion. Then we provide potential technical solutions to address these challenges. Furthermore, a case study of cost-sensitive fault detection with imbalanced data is provided to illustrate the feasibility and effectiveness of the suggested solutions.


title: Bounds on Regularity of Quadratic Monomial Ideals

abstract: Castelnuovo-Mumford regularity is a measure of algebraic complexity of an ideal. Regularity of monomial ideals can be investigated combinatorially. We use a simple graph decomposition and results from structural graph theory to prove, improve and generalize many of the known bounds on regularity of quadratic square-free monomial ideals.


title: Composite polaron formed on surface of two-dimensional lattice system in weak coupling regime

abstract: We investigate the properties of composite polaron containing the effects of electron-phonon coupling and interaction between impurity and electron-hole pair. A model of a two-dimensional electron gas occupying the surface of two-dimensional Dirac honeycomb lattice is constructed. We focus on the weak coupling regime throughout the whole paper. Our results are meaningful to the study of pairing mechanism as well as the phonon-mediated high-temperature superconductivity.


title: Posterior Average Effects

abstract: Economists are often interested in estimating averages with respect to distributions of unobservables, such as moments of individual fixed-effects, or average partial effects in discrete choice models. For such quantities, we propose and study posterior average effects (PAE), where the average is computed conditional on the sample, in the spirit of empirical Bayes and shrinkage methods. While the usefulness of shrinkage for prediction is well-understood, a justification of posterior conditioning to estimate population averages is currently lacking. We show that PAE have minimum worst-case specification error under various forms of misspecification of the parametric distribution of unobservables. In addition, we introduce a measure of informativeness of the posterior conditioning, which quantifies the worst-case specification error of PAE relative to parametric model-based estimators. As illustrations, we report PAE estimates of distributions of neighborhood effects in the US, and of permanent and transitory components in a model of income dynamics.


title: Online Allocation and Pricing: Constant Regret via Bellman Inequalities

abstract: We develop a framework for designing simple and efficient policies for a family of online allocation and pricing problems, that includes online packing, budget-constrained probing, dynamic pricing, and online contextual bandits with knapsacks. In each case, we evaluate the performance of our policies in terms of their regret (i.e., additive gap) relative to an offline controller that is endowed with more information than the online controller. Our framework is based on Bellman Inequalities, which decompose the loss of an algorithm into two distinct sources of error: (1) arising from computational tractability issues, and (2) arising from estimation/prediction of random trajectories. Balancing these errors guides the choice of benchmarks, and leads to policies that are both tractable and have strong performance guarantees. In particular, in all our examples, we demonstrate constant-regret policies that only require re-solving an LP in each period, followed by a simple greedy action-selection rule; thus, our policies are practical as well as provably near optimal.


title: Comparison of Diverse Decoding Methods from Conditional Language Models

abstract: While conditional language models have greatly improved in their ability to output high-quality natural language, many NLP applications benefit from being able to generate a diverse set of candidate sequences. Diverse decoding strategies aim to, within a given-sized candidate list, cover as much of the space of high-quality outputs as possible, leading to improvements for tasks that re-rank and combine candidate outputs. Standard decoding methods, such as beam search, optimize for generating high likelihood sequences rather than diverse ones, though recent work has focused on increasing diversity in these methods. In this work, we perform an extensive survey of decoding-time strategies for generating diverse outputs from conditional language models. We also show how diversity can be improved without sacrificing quality by over-sampling additional candidates, then filtering to the desired number.


title: Variants of the Smith-Wilson method with a view towards applications

abstract: We propose two variants of the Smith-Wilson method for practical application in the insurance industry. Our first variant relaxes the Smith-Wilson energy and can be used to incorporate less reliable market data with a certain weight rather than disregarding it completely. This is particularly useful for deriving yield curves in the IFRS 17 accounting regime, where there is a mandate to incorporate all available market data. A second variant incorporates the requirement to reach the ultimate forward rate at a prescribed term into the problem formulation. This provides a natural way to fulfil the Solvency II convergence requirement and is more elegant than the current methodology adapting the term-scale parameter to control convergence.


title: Model Independent analysis of MeV scale dark matter: II. Implications from $e^-e^+$ colliders and Direct Detection

abstract: Dark matter particles with masses in the sub-GeV range have escaped severe constraints from direct detection experiments such as LUX, PANDAX-II and XENON100 as the corresponding recoil energies are, largely, lower than the detector thresholds. In a companion paper, we demonstrated, in a model independent approach, that a significantly large fraction of the parameter space escapes the cosmological and astrophysical constraints. We show here, though, that the remaining parameter space lends itself to the possibility of discovery at both direct detection experiments (such as CRESST-II) as well as in a low-energy collider such as Belle-II.


title: Predicting Choice with Set-Dependent Aggregation

abstract: Providing users with alternatives to choose from is an essential component in many online platforms, making the accurate prediction of choice vital to their success. A renewed interest in learning choice models has led to significant progress in modeling power, but most current methods are either limited in the types of choice behavior they capture, cannot be applied to large-scale data, or both. Here we propose a learning framework for predicting choice that is accurate, versatile, theoretically grounded, and scales well. Our key modeling point is that to account for how humans choose, predictive models must capture certain set-related invariances. Building on recent results in economics, we derive a class of models that can express any behavioral choice pattern, enjoy favorable sample complexity guarantees, and can be efficiently trained end-to-end. Experiments on three large choice datasets demonstrate the utility of our approach.


title: Supracentrality Analysis of Temporal Networks with Directed Interlayer Coupling

abstract: We describe centralities in temporal networks using a supracentrality framework to study centrality trajectories, which characterize how the importances of nodes change in time. We study supracentrality generalizations of eigenvector-based centralities, a family of centrality measures for time-independent networks that includes PageRank, hub and authority scores, and eigenvector centrality. We start with a sequence of adjacency matrices, each of which represents a time layer of a network at a different point or interval of time. Coupling centrality matrices across time layers with weighted interlayer edges yields a \emph{supracentrality matrix} $\mathbb{C}(\omega)$, where $\omega$ controls the extent to which centrality trajectories change over time. We can flexibly tune the weight and topology of the interlayer coupling to cater to different scientific applications. The entries of the dominant eigenvector of $\mathbb{C}(\omega)$ represent \emph{joint centralities}, which simultaneously quantify the importance of every node in every time layer. Inspired by probability theory, we also compute \emph{marginal} and \emph{conditional centralities}. We illustrate how to adjust the coupling between time layers to tune the extent to which nodes' centrality trajectories are influenced by the oldest and newest time layers. We support our findings by analysis in the limits of small and large $\omega$.

categories: cs.SI cs.NA math.NA physics.data-an physics.soc-ph


title: Modular compactifications of $\mathcal M_{2,n}$ with Gorenstein singularities

abstract: We study the geometry of Gorenstein curve singularities of genus two, and of their stable limits. These singularities come in two families, corresponding to either Weierstrass or conjugate points on a semistable tail. For every $1\leq m <n$, a stability condition - using one of the markings as a reference point, and therefore not $\mathfrak S_n$-symmetric - defines proper Deligne-Mumford stacks $\overline{\mathcal M}_{2,n}^{(m)}$ containing the locus of smooth curves as a dense open substack.


title: Free-energy cost of localizing a single monomer of a confined polymer

abstract: We describe a simple Monte Carlo simulation method to calculate the free-energy cost of localizing a single monomer of a polymer confined to a cavity. The localization position is chosen to be on the inside surface of the confining cavity. The method is applied to a freely-jointed hard-sphere polymer chain confined to cavities of spherical and cubic geometries. In the latter case we consider localization at a corner and at the center of a face of the confining cube. We consider cases of end-monomer localization both with and without tethering of the other end monomer to a point on the surface. We also examine localization of monomers at arbitrary position along the contour of the polymer. We characterize the dependence of the free energy on the cavity size and shape, the localization position, and the polymer length. The quantitative trends can be understood using standard scaling arguments and use of a simple theoretical model. The results are relevant to those theories of polymer translocation that focus on the importance of the free-energy barrier as the translocation process requires an initial localization of a monomer to the position of a nanopore.


title: Covariance-regularized reconstruction of data cubes in integral field spectroscopy and application to MaNGA data

abstract: Integral field spectroscopy can map astronomical objects spatially and spectroscopically. Due to instrumental and atmospheric effects, it is common for integral field instruments to yield a sampling of the sky image that is both irregular and wavelength-dependent. Most subsequent analysis procedures require a regular, wavelength independent sampling (for example a fixed rectangular grid), and thus an initial step of fundamental importance is to resample the data onto a new grid. The best possible resampling would produce a well-sampled image, with a resolution equal to that imposed by the intrinsic spatial resolution of the instrument, telescope, and atmosphere, and with no statistical correlations between neighboring pixels. A standard method in the field to produce a regular set of samples from an irregular set of samples is Shepard's method, but Shepard's method typically yields images with a degraded resolution and large statistical correlations between pixels. Here we introduce a new method, which improves on Shepard's method in both these respects. We apply this method to data from the Mapping Nearby Galaxies at Apache Point Observatory survey, part of Sloan Digital Sky Survey IV, demonstrating a full-width half maximum close to that of the intrinsic resolution (and ~ 16% better than Shepard's method) and low statistical correlations between pixels. These results nearly achieve the ideal resampling. This method can have broader applications to other integral field data sets and to other astronomical data sets (such as dithered images) with irregular sampling.


title: Constant coefficient Laurent biorthogonal polynomials, Riordan arrays and moment sequences

abstract: We study properties of constant coefficient Laurent biorthogonal polynomials using Riordan arrays. We give details of related orthogonal polynomials, and we explore relationships between the moments of these orthogonal polynomials, the moments of the defining Laurent biorthogonal polynomials, and the expansions of $T$-fractions. Closed form expressions are given for the polynomials and their moments.


title: Cancellation in additively twisted sums on $\mathrm{GL}(2)$ with non-linear phase

abstract: Let $\lambda_g (n)$ be the Fourier coefficients of a holomorphic cusp modular form $g$ for $\mathrm{SL}_2 (\mathbb{Z})$. The aim of this article is to get non-trivial bound on non-linearly additively twisted sums of the Fourier coefficients $\lambda_g (n)$. Precisely, we prove for any $3/4 < \beta < 3/2$, $\beta \neq 1 $, the following non-trivial estimate $$ \sum_{n \leq N}\lambda_g(n)\,e(\alpha\, n^{\beta})\ll_{g, \alpha, \beta, \varepsilon} N^{\frac{1}{2}+ \frac{\beta}{3} +\varepsilon} + N^{\frac{3}{2}-\frac {2\beta}{3} + \varepsilon}, $$ for any $\varepsilon > 0$. This is the first time that non-trivial estimate for such sums is achieved for $1 < \beta < 3/2$, breaking the barrier $\beta = 1$ in the work of X. Ren and Y. Ye. It also improves their estimate in the range $9/10 < \beta < 1$. The key of our approach is a newly developed Bessel $\delta$-method.


title: Balancing a static black ring with a phantom scalar field

abstract: All known five dimensional, asymptotically flat, static black rings possess conical singularities. However, there is no fundamental obstruction forbidding the existence of balanced configurations, and we show that the Einstein--Klein-Gordon equations admit (numerical) solutions describing static asymptotically flat black rings, which are regular on and outside the event horizon. The scalar field is 'phantom', which creates the self-repulsion necessary to balance the black rings. Similar solutions are likely to exist in other spacetime dimensions, the basic properties of a line element describing a four dimensional, asymptotically flat black ring geometry being discussed.


title: On the halves of a Riordan array and their antecedents

abstract: Every Riordan array has what we call a horizontal half and a vertical half. These halves of a Riordan array have been studied separately before. Here, we place them in a common context, showing that one may be obtained from the other. We also ask and answer the question: given a Riordan array, when is it the half (either horizontal of vertical) of a Riordan array?


title: Representation of Boolean functions in terms of quantum computation

abstract: The relationship between quantum physics and discrete mathematics is reviewed in this article. The Boolean functions unitary representation is considered. The relationship between Zhegalkin polynomial, which defines the algebraic normal form of Boolean function, and quantum logic circuits is described. It is shown that quantum information approach provides simple algorithm to construct Zhegalkin polynomial using truth table. Developed methods and algorithms have arbitrary Boolean function generalization with multibit input and multibit output. Such generalization allows us to use many-valued logic (k-valued logic, where k is a prime number). Developed methods and algorithms can significantly improve quantum technology realization. The presented approach is the baseline for transition from classical machine logic to quantum hardware.


title: An efficient Lagrangian-based heuristic to solve a multi-objective sustainable supply chain problem

abstract: Sustainable Supply Chain (SSC) management aims at integrating economic, environmental and social goals to assist in the long-term planning of a company and its supply chains. There is no consensus in the literature as to whether social and environmental responsibilities are profit-compatible. However, the conflicting nature of these goals is explicit when considering specific assessment measures and, in this scenario, multi-objective optimization is a way to represent problems that simultaneously optimize the goals. This paper proposes a Lagrangian matheuristic method, called $AugMathLagr$, to solve a hard and relevant multi-objective problem found in the literature. $AugMathLagr$ was extensively tested using artificial instances defined by a generator presented in this paper. The results show a competitive performance of $AugMathLagr$ when compared with an exact multi-objective method limited by time and a matheuristic recently proposed in the literature and adapted here to address the studied problem. In addition, computational results on a case study are presented and analyzed, and demonstrate the outstanding performance of $AugMathLagr$.


title: Superintegrable deformations of oscillator and Coulomb systems

abstract: Generalizations of oscillator and Coulomb models are discussed via introduction of holomorphic coordinates. Complex Euclidean analogue of the Smorodinsky-Winternitz system is introduced and studied. Complex projective analogue of Rosochatius model is also discussed. Supersymmetric extensions of these models are considered.


title: The concept of weak measurements and the super-efficiency of quantum tomography

abstract: The quantum measurement procedure based on the Lorentz transformation formalism and weak perturbation of the system is considered. In the simple case of a single-qubit it turns out that one can perform 4-dimension pseudo-rotation along with ordinary 3-dimension rotations on the Bloch sphere. These pseudo-rotations are similar to the Lorentz transformation in special relativity theory. The extension of the Lorentz transformation for many-qubit systems is also considered. The quantum measurement protocols based on the Lorentz transformation are proposed. It has been shown that these protocols cease to form the decomposition of unity and could be superefficient providing the fidelity higher than any POVM-measurement protocol. However, one can perform the complement of the Lorentz protocol to POVM-protocol by an additional measurement operator. If the initial mixed state is close to the pure one this operator corresponds to weak perturbation of the state while the original Lorentz protocol sets the strong perturbations. As the result, the feedback provides an effective control of a quantum system introducing weak perturbations to the quantum state. The results of this research are essential for the development of methods for the control of quantum information technologies.


title: Machine Learning Models for the Lattice Thermal Conductivity Prediction of Inorganic Materials

abstract: The lattice thermal conductivity ($\kappa_{\rm L} $) is a critical property of thermoelectrics, thermal barrier coating materials and semiconductors. While accurate empirical measurements of $\kappa_{\rm L} $ are extremely challenging, it is usually approximated through computational approaches, such as semi-empirical models, Green-Kubo formalism coupled with molecular dynamics simulations, and first-principles based methods. However, these theoretical methods are not only limited in terms of their accuracy, but sometimes become computationally intractable owing to their cost. Thus, in this work, we build a machine learning (ML)-based model to accurately and instantly predict $\kappa_{\rm L}$ of inorganic materials, using a benchmark data set of experimentally measured $\kappa_{\rm L} $ of about 100 inorganic solids. We use advanced and universal feature engineering techniques along with the Gaussian process regression algorithm, and compare the performance of our ML model with past theoretical works. The trained ML model is not only helpful for rational design and screening of novel materials, but we also identify key features governing the thermal transport behavior in non-metals.


title: Simultaneous multi-region background subtraction for core-level EEL spectra

abstract: We present a multi-region extension of standard power-law background subtraction for core-level EEL spectra to improve the robustness of background removal. This method takes advantage of the post-edge shape of core-loss EEL edges to enable simultaneous and co-dependent fitting of pre- and post-edge background regions. This method also produces simultaneous and consistent background removal from multiple edges in a single EEL spectrum. The stability of this method with respect to the fitting energy window is also discussed.


title: Time Synchronization in 5G Wireless Edge: Requirements and Solutions for Critical-MTC

abstract: Wireless edge is about distributing intelligence to the wireless devices wherein the distribution of accurate time reference is essential for time-critical machine-type communication (cMTC). In 5G-based cMTC, enabling time synchronization in the wireless edge means moving beyond the current synchronization needs and solutions in 5G radio access. In this article, we analyze the device-level synchronization needs of potential cMTC applications: industrial automation, power distribution, vehicular communication, and live audio/video production. We present an over-the-air (OTA) synchronization scheme comprised of 5G air interface parameters, and discuss their associated timing errors. We evaluate the estimation error in device-to-base station propagation delay from timing advance (TA) under random errors and show how to reduce the estimation error. In the end, we identify the random errors specific to dense multipath fading environments and discuss countermeasures.


title: Nonlowness independent from frequent mind changes

abstract: It was recently shown that the computably enumerable (c.e.) degrees that embed the critical triple (Downey, Greenberg, Weber 2007) and the M3 lattice structure (Downey, Greenberg 2015) are exactly those that change their minds sufficiently often. Therefore the embeddability strength of a c.e. degree has much to do with the degree's mind change frequency. Nonlowness is another common measure of degree strength, with nonlow degrees expected to compute more degrees than low ones. We ask if nonlowness and frequent mind changes are independent measures of strength. Downey and Greenberg (2015) claimed this to be true without proof, so we present one here. We prove the claim by building low and nonlow c.e. sets with an arbitrary number of mind changes. We base our proof on our direct construction of a nonlow low2 array computable set. Such sets were always known to exist, but also never constructed directly in any publication.


title: Automatic Relevance Determination Bayesian Neural Networks for Credit Card Default Modelling

abstract: Credit risk modelling is an integral part of the global financial system. While there has been great attention paid to neural network models for credit default prediction, such models often lack the required interpretation mechanisms and measures of the uncertainty around their predictions. This work develops and compares Bayesian Neural Networks(BNNs) for credit card default modelling. This includes a BNNs trained by Gaussian approximation and the first implementation of BNNs trained by Hybrid Monte Carlo(HMC) in credit risk modelling. The results on the Taiwan Credit Dataset show that BNNs with Automatic Relevance Determination(ARD) outperform normal BNNs without ARD. The results also show that BNNs trained by Gaussian approximation display similar predictive performance to those trained by the HMC. The results further show that BNN with ARD can be used to draw inferences about the relative importance of different features thus critically aiding decision makers in explaining model output to consumers. The robustness of this result is reinforced by high levels of congruence between the features identified as important using the two different approaches for training BNNs.


title: Stability of Long-lived Antiskyrmions in Mn-Pt-Sn Material

abstract: The lifetime of antiskyrmions at room temperature in a Mn-Pt-Sn tetragonal Heusler material has been calculated using an atomic scale representation including nearly a million spins. The evaluation of the pre-exponential factor in the Arrhenius rate expression for this large system is made possible by an implementation of harmonic transition state theory that avoids evaluation of the eigenvalues of the Hessian matrix.The parameter values in the extended Heisenberg Hamiltonian, including anisotropic Dzyaloshinskii-Moriya interaction, are chosen to reproduce experimental observations [A. K. Nayak $\it{et\,al.}$, Nature $\textbf{548}$, 561 (2017)], in particular the 150 nm diameter. The calculated results are consistent with the long lifetime observed in the laboratory and this exceptional stability of the antiskyrmions is found to result from large activation energy for collapse due to strong exchange coupling while the pre-exponential factor in the Arrhenius expression for the lifetime is found to have a typical magnitude of 10$^{-12}$ s, despite the large number of spins. The long lifetime is, therefore, found to result from energetic effects rather than entropic effects in this system.


title: Theoretical and experimental study of multi-mode thermal states with subtraction of a random number of photons

abstract: The work is devoted to the theoretical and experimental study of quantum states of light conditionally prepared by subtraction of a random number of photons from the initial multimode thermal state. A fixed number of photons is subtracted from a multimode quantum state, but only a subsystem of a lower number of modes is registered, in which the number of subtracted photons turns out to be a non-fixed random variable. It is shown that the investigation of multiphoton subtracted multimode thermal states provides a direct study of the fundamental quantum-statistical properties of bosons using a simple experimental implementation. The developed experimental setup plays a role of a specific boson lototron, which is based on the fundamental link between the statistics of boson systems and the Polya distribution. It is shown that the calculation of the photon number distribution based on the Polya urn scheme is equivalent to a calculation using statistical weights for boson systems. A mathematical model based on the composition of the Polya distribution and thermal state is developed and verified. The experimental results are in a good agreement with the developed theory.


title: Identifying four wave resonant interactions in a surface gravity wave turbulence experiment

abstract: The nonlinear dynamics of waves at the sea surface is believed to be ruled by the Weak Turbulence framework. In order to investigate the nonlinear coupling among gravity surface waves, we developed an experiment in the Coriolis facility which is a 13-m diameter circular tank. An isotropic and statistically stationary wave turbulence of average steepness of 10\% is maintained by two wedge wave makers. The space and time resolved wave elevation is measured using a stereoscopic technique. Wave-wave interactions are analyzed through third and fourth order correlations. We investigate specifically the role of bound waves generated by non resonant 3-wave coupling. Specifically, we implement a space-time filter to separate the dynamics of free waves (i.e. following the dispersion relation) from the bound waves. We observe that the free wave dynamics causes weak resonant 4-wave correlations. A weak level of correlation is actually the basis of the Weak Turbulence Theory. Thus our observations support the use of the Weak Turbulence to model gravity wave turbulence as is currently been done in the operational models of wave forecasting. Although in the theory bound waves are not supposed to contribute to the energy cascade, our observation raises the question of the impact of bound waves on dissipation and thus on energy transfers as well.


title: Measurement of turbulent spatial structure and kinetic energy spectrum by exact temporal-to-spatial mapping

abstract: We present a method for converting a time record of turbulent velocity measured at a point in a flow to a spatial velocity record consisting of consecutive convection elements. The spatial record allows computation of dynamic statistical moments such as turbulent kinetic wavenumber spectra and spatial structure functions in a way that bypasses the need for Taylor's Hypothesis. The spatial statistics agree with the classical counterparts, such as the total kinetic energy spectrum, at least for spatial extents up to the Taylor microscale. The requirements for applying the method is access to the instantaneous velocity magnitude, in addition to the desired flow quantity, and a high temporal resolution in comparison to the relevant time scales of the flow. We map, without distortion and bias, notoriously difficult developing turbulent high intensity flows using three main aspects that distinguish these measurements from previous work in the field; 1) The measurements are conducted using laser Doppler anemometry and are therefore not contaminated by directional ambiguity (in contrast to, e.g., frequently employed hot-wire anemometers); 2) The measurement data are extracted using a correctly and transparently functioning processor and is analysed using methods derived from first principles to provide unbiased estimates of the velocity statistics; 3) The method is first confirmed to produce the correct statistics using computer simulations and later applied to measurements in some of the most difficult regions of a round turbulent jet -- the non-equilibrium developing region and the outermost parts of the developed jet. The measurements in the developing region reveal interesting features of an incomplete Richardson-Kolmogorov cascade under development.


title: Helical structure of longitudinal vortices embedded in turbulent wall-bounded flow

abstract: Embedded vortices in turbulent wall-bounded flow over a flat plate, generated by a passive rectangular vane-type vortex generator with variable angle $\beta$ to the incoming flow in a low-Reynolds number flow ($Re=2600$ based on the inlet grid mesh size $L=0.039\;$m and free stream velocity $U_{\infty} = 1.0\;$m s$^{-1}$) have been studied with respect to helical symmetry. The studies were carried out in a low-speed closed-circuit wind tunnel utilizing Stereoscopic Particle Image Velocimetry (SPIV). The vortices have been shown to possess helical symmetry, allowing the flow to be described in a simple fashion. Iso-contour maps of axial vorticity revealed a dominant primary vortex and a weaker secondary one for $20^{\circ} \leq \beta \leq 40^{\circ}$. For angles outside of this range, the helical symmetry was impaired due to the emergence of additional flow effects. A model describing the flow has been utilized, showing strong concurrence with the measurements, even though the model is decoupled from external flow processes that could perturb the helical symmetry. The pitch, vortex core size, circulation and the advection velocity of the vortex all vary linearly with the device angle $\beta$. This is important for flow control, since one thereby can determine the axial velocity induced by the helical vortex as well as the swirl redistributing the axial velocity component for a given device angle $\beta$. This also simplifies theoretical studies, \eg to understand and predict the stability of the vortex and to model the flow numerically.


title: Intelligent Anomaly Detection and Mitigation in Data Centers

abstract: Data centers play a key role in today's Internet. Cloud applications are mainly hosted on multi-tenant warehouse-scale data centers. Anomalies pose a serious threat to data centers' operations. If not controlled properly, a simple anomaly can spread throughout the data center, resulting in a cascading failure. Amazon AWS had been affected by such incidents recently. Although some solutions are proposed to detect anomalies and prevent cascading failures, they mainly rely on application-specific metrics and case-based diagnosis to detect the anomalies. Given the variety of applications on a multi-tenant data center, proposed solutions are not capable of detecting anomalies in a timely manner. In this paper we design an application-agnostic anomaly detection scheme. More specifically, our design uses a highly distributed data mining scheme over network-level traffic metrics to detect anomalies. Once anomalies are detected, simple actions are taken to mitigate the damage. This ensures that errors are confined and prevents cascading failures before administrators intervene.


title: Long-run risk sensitive dyadic impulse control

abstract: In this paper long-run risk sensitive optimisation problem is studied with dyadic impulse control applied to continuous-time Feller-Markov process. In contrast to the existing literature, focus is put on unbounded and non-uniformly ergodic case by adapting the weight norm approach. In particular, it is shown how to combine geometric drift with local minorisation property in order to extend local span-contraction approach when the process as well as the linked reward/cost functions are unbounded. For any predefined risk-aversion parameter, the existence of solution to suitable Bellman equation is shown and linked to the underlying stochastic control problem. For completeness, examples of uncontrolled processes that satisfy the geometric drift assumption are provided.


title: A/B Testing Measurement Framework for Recommendation Models Based on Expected Revenue

abstract: We provide a method to determine whether a new recommendation system improves the revenue per visit (RPV) compared to the status quo. We achieve our goal by splitting RPV into conversion rate and average order value (AOV). We use the two-part test suggested by Lachenbruch to determine if the data generating process in the new system is different. In cases that this test does not give us a definitive answer about the change in RPV, we propose two alternative tests to determine if RPV has changed. Both of these tests rely on the assumption that non-zero purchase values follow a log-normal distribution. We empirically validate this assumption using data collected at different points in time from Staples.com. On average, our method needs a smaller sample size than other methods. Furthermore, it does not require any subjective outlier removal. Finally, it characterizes the uncertainty around RPV by providing a confidence interval.


title: Alteration of helical vortex core without change in flow topology

abstract: The abrupt expansion of the slender vortex core with changes in flow topology is commonly known as vortex breakdown. We present new experimental observations of an alteration of the helical vortex core in wall bounded turbulent flow with abrupt growth in core size, but without change in flow topology. The helical symmetry as such is preserved, though the characteristic parameters of helical symmetry of the vortex core transfer from a smooth linear variation to a different trend under the influence of a non-uniform pressure gradient, causing an increase in helical pitch without changing its sign.


title: Instance Segmentation with Point Supervision

abstract: Instance segmentation methods often require costly per-pixel labels. We propose a method that only requires point-level annotations. During training, the model only has access to a single pixel label per object, yet the task is to output full segmentation masks. To address this challenge, we construct a network with two branches: (1) a localization network (L-Net) that predicts the location of each object; and (2) an embedding network (E-Net) that learns an embedding space where pixels of the same object are close. The segmentation masks for the located objects are obtained by grouping pixels with similar embeddings. At training time, while L-Net only requires point-level annotations, E-Net uses pseudo-labels generated by a class-agnostic object proposal method. We evaluate our approach on PASCAL VOC, COCO, KITTI and CityScapes datasets. The experiments show that our method (1) obtains competitive results compared to fully-supervised methods in certain scenarios; (2) outperforms fully- and weakly- supervised methods with a fixed annotation budget; and (3) is a first strong baseline for instance segmentation with point-level supervision.


title: A Unified Framework of Constrained Robust Submodular Optimization with Applications

abstract: Robust optimization is becoming increasingly important in machine learning applications. In this paper, we study a unified framework of robust submodular optimization. We study this problem both from a minimization and maximization perspective (previous work has only focused on variants of robust submodular maximization). We do this under a broad range of combinatorial constraints including cardinality, knapsack, matroid as well as graph-based constraints such as cuts, paths, matchings and trees. Furthermore, we also study robust submodular minimization and maximization under multiple submodular upper and lower bound constraints. We show that all these problems are motivated by important machine learning applications including robust data subset selection, robust co-operative cuts and robust co-operative matchings. In each case, we provide scalable approximation algorithms and also study hardness bounds. Finally, we empirically demonstrate the utility of our algorithms on synthetic data, and real-world applications of robust cooperative matchings for image correspondence, robust data subset selection for speech recognition, and image collection summarization with multiple queries.


title: Shadowing Property for the free group acting in the circle

abstract: For the free group $F_2$ acting in $S^{1}$, we will prove that if the minimal set for the action is not a Cantor set, then the action does not have the shadowing property. We will also construct an example, whose minimal set is a Cantor set, that it has the shadowing property.


title: Scattering theory of the screened Casimir interaction in electrolytes

abstract: We apply the scattering approach to the Casimir interaction between two dielectric half-spaces separated by an electrolyte solution. We take the nonlocal electromagnetic response of the intervening medium into account, which results from the presence of movable ions in solution. In addition to the usual transverse modes, we consider longitudinal channels and their coupling by reflection at the surface of the local dielectric. The Casimir interaction energy is calculated from the matrix describing a round-trip of coupled transverse and longitudinal waves between the interacting surfaces. The nonzero-frequency contributions are approximately unaffected by the presence of ions. We find, at zero frequency, a contribution from longitudinal channels, which is screened over a distance of the order of the Debye length, alongside an unscreened term arising from transverse-magnetic modes. The latter defines the long-distance asymptotic limit for the interaction.


title: A Vortex Generator Flow Model Based on Self-Similarity

abstract: The present work examines the downstream vortex evolution behind a cascade of vortex generators producing counter-rotating vortices in a boundary layer of negligible streamwise pressure gradient. For the current study, which is an extension of the model presented in [4], these parameters are all seen to vary linearly in the downstream direction. Based on the experimental observations triggered by a previous study, the vortices generated by vortex generators have been observed to be self-similar for both the axial ($u_z$) and azimuthal ($u_{\theta}$) velocity profiles. The previous model, which is based merely on $u_z$ and $u_{\theta}$ at one single downstream location, can therefore be extended to include the downstream development of the vortex using self-similarity scaling arguments. This knowledge is important for fundamental understanding as well as for the aspect of applications, for which parametric experiments can be substantially reduced in terms of required time and cost by facilitating engineering models.


title: Interpretable and Personalized Apprenticeship Scheduling: Learning Interpretable Scheduling Policies from Heterogeneous User Demonstrations

abstract: Resource scheduling and coordination is an NP-hard optimization requiring an efficient allocation of agents to a set of tasks with upper- and lower bound temporal and resource constraints. Due to the large-scale and dynamic nature of resource coordination in hospitals and factories, human domain experts manually plan and adjust schedules on the fly. To perform this job, domain experts leverage heterogeneous strategies and rules-of-thumb honed over years of apprenticeship. What is critically needed is the ability to extract this domain knowledge in a heterogeneous and interpretable apprenticeship learning framework to scale beyond the power of a single human expert, a necessity in safety-critical domains. We propose a personalized and interpretable apprenticeship scheduling algorithm that infers an interpretable representation of all human task demonstrators by extracting decision-making criteria via an inferred, personalized embedding non-parametric in the number of demonstrator types. We achieve near-perfect LfD accuracy in synthetic domains and 88.22\% accuracy on a planning domain with real-world, outperforming baselines. Finally, our user study showed our methodology produces more interpretable and easier-to-use models than neural networks ($p < 0.05$).