title: Entanglement production by interaction quenches of quantum chaotic subsystems

abstract: The entanglement production in bipartite quantum systems is studied for initially unentangled product eigenstates of the subsystems, which are assumed to be quantum chaotic. Based on a perturbative computation of the Schmidt eigenvalues of the reduced density matrix, explicit expressions for the time-dependence of entanglement entropies, including the von Neumann entropy, are given. An appropriate re-scaling of time and the entropies by their saturation values leads a universal curve, independent of the interaction. The extension to the non-perturbative regime is performed using a recursively embedded perturbation theory to produce the full transition and the saturation values. The analytical results are found to be in good agreement with numerical results for random matrix computations and a dynamical system given by a pair of coupled kicked rotors.


title: Analysis of the London penetration depth in Ni-doped CaKFe4As4

abstract: We report combined experimental and theoretical analysis of superconductivity in CaK(Fe$_{1-x}$Ni$_x$)$_4$As$_4$ (CaK1144) for $x=$0, 0.017 and 0.034. To obtain the superfluid density, $\rho=\left(1+\Delta \lambda_L(T)/\lambda_L(0) \right)^{-2}$, the temperature dependence of the London penetration depth, $\Delta \lambda_L (T)$, was measured by using tunnel-diode resonator (TDR) and the results agreed with the microwave coplanar resonator (MWR) with the small differences accounted for by considering a three orders of magnitude higher frequency of MWR. The absolute value of $\lambda_L (T \ll T_c) \approx \lambda_L(0)$ was measured by using MWR, $\lambda_L (\mathrm{5~K}) \approx 170 \pm 20$ nm, which agreed well with the NV-centers in diamond optical magnetometry that gave $\lambda_L (\mathrm{5~K}) \approx 196 \pm 12$ nm. The experimental results are analyzed within the Eliashberg theory, showing that the superconductivity of CaK1144 is well described by the nodeless s$_{\pm}$ order parameter and that upon Ni doping the interband interaction increases.


title: Indirect effects of dark matter

abstract: Here we briefly review possible indirect effects of dark matter (DM) of the Universe. It includes effects in cosmic rays (CR): first of all, the positron excess at $\sim$ 500 GeV and possible electron-positron excess at 1-1.5 TeV. We tell that the main and least model-dependent constraint on such possible interpretation of CR effects goes from gamma-ray background. Even ordinary $e^+e^-$ mode of DM decay or annihilation produces prompt photons (FSR) so much that leads to contradiction with data on cosmic gamma-rays. We present our attempts to possibly avoid gamma-ray constraint. They concern peculiarities of both space distribution of DM and their physics. The latter involves complications of decay/annihilation modes of DM, modifications of Lagrangian of DM-ordinary matter interaction, and inclusion of mode with identical fermions in final state. In this way, no possibilities to suppress were found except, possibly, mode with identical fermions. While the case of spatial distribution variation allows achieving consistency between different data. Also we consider stable form of dark matter which can interact with baryons. We show which constraint such DM candidate can get from damping effect in plasma during large scale structure formation in comparison with other existing constraints.


title: Galois families of modular forms and application to weight one

abstract: We introduce Galois families of modular forms. They are a new kind of family coming from Galois representations of the absolute Galois groups of rational function fields over the rational field. We exhibit some examples and provide an infinite Galois family of non-liftable weight one Katz modular eigenforms over an algebraic closure of F_p for p in {3,5,7,11}.


title: Decoupling and Matching Strategies for Compact Antenna Arrays

abstract: Antenna arrays have been used in various applications and have become an important tool to achieve high spectral efficiency in wireless communications. Its use brings to the communications system an increase in performance in terms of capacity and reliability. Recently one of the main communications architectures that makes use of antenna arrays is the Multiple-Input Multiple-Output (MIMO) technology. MIMO technology has been applied in antenna arrays composed of elements in the order of tens to hundreds. In this way, it is necessary to use the structure of compact antennas that offer all the necessary robustness to the applied project. In this context, it is important to revisit the concepts of mutual coupling and impedance matching among antenna elements in an array. This paper proposes and evaluates three strategies of joint decoupling and impedance matching networks(DMN) for antenna arrays. The first method called DMN with Lumped Elements (DMN-LE) performs the decoupling and impedance matching steps with capacitors and inductors. The second method is called the Ring Hybrid (DMN-RH). It is utilizes a microstrip line in the ring form. With this approach is achieved first the decoupling followed by impedance matching steps. The third method is called Networkless Decoupling and Matching (NDM). It brings a concept of decoupling without the presence of a network itself. A comparison of the methods is performed both analytically and via computer simulations. We conclude that the third method, networkless one, is an interesting new alternative approach.


title: SDSS-IV MaNGA: Evidence for enriched accretion onto satellite galaxies in dense environments

abstract: We investigate the environmental dependence of the local gas-phase metallicity in a sample of star-forming galaxies from the MaNGA survey. Satellite galaxies with stellar masses in the range $9<\log(M_{*}/M_{\odot})<10$ are found to be $\sim 0.05 \, \mathrm{dex}$ higher in metallicity than centrals of similar stellar mass. Within the low-mass satellite population, we find that the interstellar medium (ISM) metallicity depends most strongly on the stellar mass of the galaxy that is central to the halo, though there is no obvious difference in the metallicity gradients. At fixed total stellar mass, the satellites of high mass ($M_{*}>10^{10.5} \, \mathrm{M_{\odot}}$) centrals are $\sim 0.1 \, \mathrm{dex}$ more metal rich than satellites of low-mass ($M_{*} < 10^{10} \, \mathrm{M_{\odot}}$) centrals, controlling for local stellar mass surface density and gas fraction. Fitting a gas-regulator model to the spaxel data, we are able to account for variations in the local gas fraction, stellar mass surface density and local escape velocity-dependent outflows. We find that the best explanation for the metallicity differences is the variation in the average metallicity of accreted gas between different environments that depends on the stellar mass of the dominant galaxies in each halo. This is interpreted as evidence for the exchange of enriched gas between galaxies in dense environments that is predicted by recent simulations.


title: WIQA: A dataset for "What if..." reasoning over procedural text

abstract: We introduce WIQA, the first large-scale dataset of "What if..." questions over procedural text. WIQA contains three parts: a collection of paragraphs each describing a process, e.g., beach erosion; a set of crowdsourced influence graphs for each paragraph, describing how one change affects another; and a large (40k) collection of "What if...?" multiple-choice questions derived from the graphs. For example, given a paragraph about beach erosion, would stormy weather result in more or less erosion (or have no effect)? The task is to answer the questions, given their associated paragraph. WIQA contains three kinds of questions: perturbations to steps mentioned in the paragraph; external (out-of-paragraph) perturbations requiring commonsense knowledge; and irrelevant (no effect) perturbations. We find that state-of-the-art models achieve 73.8% accuracy, well below the human performance of 96.3%. We analyze the challenges, in particular tracking chains of influences, and present the dataset as an open challenge to the community.


title: Keck Observations Confirm a Super-Jupiter Planet Orbiting M-dwarf OGLE-2005-BLG-071L

abstract: We present adaptive optics imaging from the NIRC2 instrument on the Keck-2 telescope that resolves the exoplanet host (and lens) star as it separates from the brighter source star. These observations yield the $K$-band brightness of the lens and planetary host star, as well as the lens-source relative proper motion, $\mu_{\rm rel,H}$. in the heliocentric reference frame. The $\mu_{\rm rel,H}$ measurement allows determination of the microlensing parallax vector, $\pi_E$, which had only a single component determined by the microlensing light curve. The combined measurements of $\mu_{\rm rel,H}$ and $K_L$ provide the masses of the host stat, $M_{\rm host} = 0.426\pm 0.037 M_\odot$, and planet, $m_p = 3.27 \pm 0.32 M_{\rm Jup}$ with a projected separation of $3.4\pm 0.5\,$AU. This confirms the tentative conclusion of a previous paper (Dong et al. 2009) that this super-Jupiter mass planet, OGLE-2005-BLG-071Lb, orbits an M-dwarf. Such planets are predicted to be rare by the core accretion theory and have been difficult to find with other methods, but there are two such planets with firm mass measurements from microlensing, and an additional 11 planetary microlens events with host mass estimates $< 0.5M_\odot$ and planet mass estimates $> 2$ Jupiter masses that could be confirmed by high angular follow-up observations. We also point out that OGLE-2005-BLG-071L has separated far enough from its host star that it should be possible to measure the host star metallicity withspectra from a high angular resolution telescope such as Keck, the VLT, the Hubble Space Telescope or the James Webb Space Telescope.


title: Radial Limits of Nonparametric PMC Surfaces with Intermediate Boundary Curvature

abstract: We investigate the boundary behavior of the variational solution $f$ of a Dirichlet problem for a prescribed mean curvature equation in a domain $\Omega\subset{\bf R}^{2}$ near a point $\mathcal{O}\in\partial\Omega$ under different assumptions about the curvature of $\partial\Omega$ on each side of $\mathcal{O}.$ We prove that the radial limits at $\mathcal{O}$ of $f$ exist under different assumptions about the Dirichlet boundary data $\phi,$ depending on the curvature properties of $\partial\Omega$ near $\mathcal{O}.$


title: Enhanced Detectability of Spinning Primordial Black Holes

abstract: Primordial black holes which are produced during an epoch of matter domination are expected to spin rapidly. It is shown that this leads to an enhancement of the detectability of the stochastic gravitational-wave background from their mergers. For a specific model, we explicitly demonstrate that this yields a $50\,\%$ increase of the gravitational-wave amplitude as compared to the non-spinning case.


title: Reasoning About Human-Object Interactions Through Dual Attention Networks

abstract: Objects are entities we act upon, where the functionality of an object is determined by how we interact with it. In this work we propose a Dual Attention Network model which reasons about human-object interactions. The dual-attentional framework weights the important features for objects and actions respectively. As a result, the recognition of objects and actions mutually benefit each other. The proposed model shows competitive classification performance on the human-object interaction dataset Something-Something. Besides, it can perform weak spatiotemporal localization and affordance segmentation, despite being trained only with video-level labels. The model not only finds when an action is happening and which object is being manipulated, but also identifies which part of the object is being interacted with. Project page: \url{https://dual-attention-network.github.io/}.


title: X-ray spectral analysis of the neutron star in SNR 1E 0102.2-7219

abstract: We re-analysed numerous archival Chandra X-ray observations of the bright supernova remnant (SNR) 1E 0102.2-7219 in the Small Magellanic Cloud, to validate the detection of a neutron star (NS) in the SNR by Vogt et al. (2018). Careful attention to the background is necessary for this spectral analysis. We find that a blackbody + power-law model is a decent fit, suggestive of a relatively strong B field and synchrotron radiation, as in a normal young pulsar, though the thermal luminosity would be unusually high for young pulsars. Among realistic NS atmosphere models, a carbon atmosphere with B = 10^12 G best fits the observed X-ray spectra. Comparing its unusually high thermal luminosity (L_{bol} = 1.1^{+1.6}_{-0.5}*10^34 ergs/s) to other NSs, we find that its luminosity can be explained by the decay of an initially strong magnetic field (as in magnetars or high B-field pulsars) or by slower cooling after the supernova explosion. The nature of the NS in this SNR (and of others in the Magellanic Clouds) could be nicely confirmed by an X-ray telescope with an angular resolution like Chandra, but superior spectral resolution and effective area, such as the Lynx concept.


title: Everything Happens for a Reason: Discovering the Purpose of Actions in Procedural Text

abstract: Our goal is to better comprehend procedural text, e.g., a paragraph about photosynthesis, by not only predicting what happens, but why some actions need to happen before others. Our approach builds on a prior process comprehension framework for predicting actions' effects, to also identify subsequent steps that those effects enable. We present our new model (XPAD) that biases effect predictions towards those that (1) explain more of the actions in the paragraph and (2) are more plausible with respect to background knowledge. We also extend an existing benchmark dataset for procedural text comprehension, ProPara, by adding the new task of explaining actions by predicting their dependencies. We find that XPAD significantly outperforms prior systems on this task, while maintaining the performance on the original task in ProPara. The dataset is available at http://data.allenai.org/propara


title: Tighter Theory for Local SGD on Identical and Heterogeneous Data

abstract: We provide a new analysis of local SGD, removing unnecessary assumptions and elaborating on the difference between two data regimes: identical and heterogeneous. In both cases, we improve the existing theory and provide values of the optimal stepsize and optimal number of local iterations. Our bounds are based on a new notion of variance that is specific to local SGD methods with different data. The tightness of our results is guaranteed by recovering known statements when we plug $H=1$, where $H$ is the number of local steps. The empirical evidence further validates the severe impact of data heterogeneity on the performance of local SGD.

categories: cs.LG cs.DC cs.NA math.NA math.OC stat.ML


title: Recognizing Human Internal States: A Conceptor-Based Approach

abstract: The past few decades has seen increased interest in the application of social robots to interventions for Autism Spectrum Disorder as behavioural coaches [4]. We consider that robots embedded in therapies could also provide quantitative diagnostic information by observing patient behaviours. The social nature of ASD symptoms means that, to achieve this, robots need to be able to recognize the internal states their human interaction partners are experiencing, e.g. states of confusion, engagement etc. Approaching this problem can be broken down into two questions: (1) what information, accessible to robots, can be used to recognize internal states, and (2) how can a system classify internal states such that it allows for sufficiently detailed diagnostic information? In this paper we discuss these two questions in depth and propose a novel, conceptor-based classifier. We report the initial results of this system in a proof-of-concept study and outline plans for future work.


title: Extremes and extremal indices for level set observables on hyperbolic systems

abstract: Consider an ergodic measure preserving dynamical system $(T,X,\mu)$, and an observable $\phi:X\to\mathbb{R}$. For the time series $X_n(x)=\phi(T^{n}(x))$, we establish limit laws for the maximum process $M_n=\max_{k\leq n}X_k$ in the case where $\phi$ is an observable maximized on a curve or submanifold, and $(T,X,\mu)$ is a hyperbolic dynamical system. Such observables arise naturally in weather and climate applications. We consider the extreme value laws and extremal indices for these observables on Anosov diffeomorphisms, Sinai dispersing billiards and coupled expanding maps. In particular we obtain clustering and nontrivial extremal indices due to self intersection of submanifolds under iteration by the dynamics, not arising from any periodicity.


title: Visual Analytics of Student Learning Behaviors on K-12 Mathematics E-learning Platforms

abstract: With increasing popularity in online learning, a surge of E-learning platforms have emerged to facilitate education opportunities for k-12 (from kindergarten to 12th grade) students and with this, a wealth of information on their learning logs are getting recorded. However, it remains unclear how to make use of these detailed learning behavior data to improve the design of learning materials and gain deeper insight into students' thinking and learning styles. In this work, we propose a visual analytics system to analyze student learning behaviors on a K-12 mathematics E-learning platform. It supports both correlation analysis between different attributes and a detailed visualization of user mouse-movement logs. Our case studies on a real dataset show that our system can better guide the design of learning resources (e.g., math questions) and facilitate quick interpretation of students' problem-solving and learning styles.


title: Generating High Quality Random Numbers: A High Throughput Parallel Bitsliced Approach

abstract: In this work, by employing a bitsliced data representation as building blocks of algorithms, we showcase the capability and scalability of our proposed method in a variety of PRNG methods in the category of block and stream ciphers. While demonstrating the suitability of stream-ciphers for high throughput PRNG, as an example, we implement and investigate a bitsliced MICKEY 2.0 PRNG by altering the paradigm of internal functions and data structure. The LFSR-based (Linear Feedback Shift Register) nature of the PRNG in our implementation perfectly suits the GPU's many-core structure due to its register oriented architecture and allows the usage of bit slicing technique to further improve the performance. In our SIMD vectorized fully parallel GPU implementation, each GPU thread is capable of generating a remarkable number of 32 pseudo-random bits in each LFSR clock cycle. We then compare our implementation with some of the most significant PRNGs that display a satisfactory performance in both throughput and randomness criteria. The proposed implementation successfully passes the NIST test for statistical randomness and bit-wise correlation criteria. To the best of authors' best knowledge, our method outperforms the current best implementations in the literature for computer-based PRNG and the optical solutions in terms of performance and performance per cost, while maintaining an acceptable measure of randomness. Our highest performance among all of the implemented CPRNGs with the proposed method is achieved by the MICKEY 2.0 algorithm which shows 1.9x improvement over the state of the art NVIDIA's proprietary high-performance PRNG, cuRAND library, achieving 1.6 Tb/s of throughput on the affordable NVIDIA GTX 980 Ti.


title: Reinforcement Learning and Video Games

abstract: Reinforcement learning has exceeded human-level performance in game playing AI with deep learning methods according to the experiments from DeepMind on Go and Atari games. Deep learning solves high dimension input problems which stop the development of reinforcement for many years. This study uses both two techniques to create several agents with different algorithms that successfully learn to play T-rex Runner. Deep Q network algorithm and three types of improvements are implemented to train the agent. The results from some of them are far from satisfactory but others are better than human experts. Batch normalization is a method to solve internal covariate shift problems in deep neural network. The positive influence of this on reinforcement learning has also been proved in this study.


title: A CR singular analogue of Severi's theorem

abstract: Real-analytic CR functions on real-analytic CR singular submanifolds are not in general restrictions of holomorphic functions, unlike in the CR nonsingular case. We give a simple condition that completely characterizes those quadric CR singular manifolds of codimension 2 in ${\mathbb C}^{n+1}$ for which an extension result holds. Consequently, we obtain an extension result for general real-analytic CR singular submanifolds of codimension 2. As applications we give a condition for the flattening of such submanifolds, and we classify CR singular images of CR submanifolds up to second order.


title: Linking of Lagrangian Tori and Embedding Obstructions in Symplectic 4-Manifolds

abstract: We classify weakly exact, rational Lagrangian tori in $T^* \mathbb{T}^2- 0_{\mathbb{T}^2}$ up to Hamiltonian isotopy. This result is related to the classification theory of closed $1$-forms on $\mathbb{T}^n$ and also has applications to symplectic topology. As a first corollary, we strengthen a result due independently to Eliashberg-Polterovich and to Giroux describing Lagrangian tori in $T^* \mathbb{T}^2-0_{\mathbb{T}^2}$ which are homologous to the zero section. As a second corollary, we exhibit pairs of disjoint totally real tori $K_1, K_2 \subset T^*\mathbb{T}^2$, each of which is isotopic through totally real tori to the zero section, but such that the union $K_1 \cup K_2$ is not even smoothly isotopic to a Lagrangian. In the second part of the paper, we study linking of Lagrangian tori in $(\mathbb{R}^4, \omega)$ and in rational symplectic $4$-manifolds. We prove that the linking properties of such tori are determined by purely algebro-topological data, which can often be deduced from enumerative disk counts in the monotone case. We also use this result to describe certain Lagrangian embedding obstructions.


title: Photoemission Spectroscopic Evidence for the Dirac Nodal Line in Monoclinic Semimetal SrAs$_3$

abstract: Topological nodal-line semimetals with exotic quantum properties are characterized by symmetry-protected line-contact bulk band crossings in the momentum space. However, in most of identified topological nodal-line compounds, these topological non-trivial nodal lines are enclosed by complicated topological trivial states at the Fermi energy ($E_F$), which would perplex their identification and hinder further applications. Utilizing angle-resolved photoemission spectroscopy and first-principles calculations, we provide compelling evidence for the existence of Dirac nodal-line fermions in the monoclinic semimetal SrAs$_3$, which are close to $E_F$ and away from distraction of complex trivial Fermi surfaces or surface states. Our calculation indicates that two bands with opposite parity are inverted around \emph{Y} near $E_F$, which results in the single nodal loop at the $\Gamma$-\emph{Y}-\emph{S} plane with a negligible spin-orbit coupling effect. We track these band crossings and then unambiguously identify the complete nodal loop quantitatively, which provides a critical experimental support to the prediction of nodal-line fermions in the CaP$_3$ family of materials. Hosting simple topological non-trivial bulk electronic states around $E_F$ and no interfering with surface states on the natural cleavage plane, SrAs$_3$ is expected to be a potential platform for topological quantum state investigation and applications.


title: Impact of Grid Tariffs Design on the Zero Emission Neighborhoods Energy System Investments

abstract: This paper investigates the relationship between grid tariffs and investment in Zero Emission Neighborhoods (ZEN) energy system, and how the grid exchanges are affected. Different grid tariffs (energy based, time of use (ToU), subscribed capacity and dynamic) are implemented in an optimization model that minimizes the cost of investing and operating a ZEN during its lifetime. The analysis is conducted in two cases: non-constrained exports and exports limited to 100kWh/h. The results suggest that in the case with no limit on export, the grid tariff has little influence, but ToU is economically advantageous for both the ZEN and the DSO. When exports are limited, the subscribed capacity scheme allows to maintain DSO revenue, while the others cut them by half. This tariff also offers the lowest maximum peak and a good duration curve. The dynamic tariff creates new potentially problematic peak imports despite its benefits in other peak hours.


title: On the Size of Finite Rational Matrix Semigroups

abstract: Let $n$ be a positive integer and $\mathcal M$ a set of rational $n \times n$-matrices such that $\mathcal M$ generates a finite multiplicative semigroup. We show that any matrix in the semigroup is a product of matrices in $\mathcal M$ whose length is at most $2^{n (2 n + 3)} g(n)^{n+1} \in 2^{O(n^2 \log n)}$, where $g(n)$ is the maximum order of finite groups over rational $n \times n$-matrices. This result implies algorithms with an elementary running time for deciding finiteness of weighted automata over the rationals and for deciding reachability in affine integer vector addition systems with states with the finite monoid property.


title: Boosting Throughput and Efficiency of Hardware Spiking Neural Accelerators using Time Compression Supporting Multiple Spike Codes

abstract: Spiking neural networks (SNNs) are the third generation of neural networks and can explore both rate and temporal coding for energy-efficient event-driven computation. However, the decision accuracy of existing SNN designs is contingent upon processing a large number of spikes over a long period. Nevertheless, the switching power of SNN hardware accelerators is proportional to the number of spikes processed while the length of spike trains limits throughput and static power efficiency. This paper presents the first study on developing temporal compression to significantly boost throughput and reduce energy dissipation of digital hardware SNN accelerators while being applicable to multiple spike codes. The proposed compression architectures consist of low-cost input spike compression units, novel input-and-output-weighted spiking neurons, and reconfigurable time constant scaling to support large and flexible time compression ratios. Our compression architectures can be transparently applied to any given pre-designed SNNs employing either rate or temporal codes while incurring minimal modification of the neural models, learning algorithms, and hardware design. Using spiking speech and image recognition datasets, we demonstrate the feasibility of supporting large time compression ratios of up to 16x, delivering up to 15.93x, 13.88x, and 86.21x improvements in throughput, energy dissipation, the tradeoffs between hardware area, runtime, energy, and classification accuracy, respectively based on different spike codes on a Xilinx Zynq-7000 FPGA. These results are achieved while incurring little extra hardware overhead.


title: Scientific Discourse Tagging for Evidence Extraction

abstract: Evidence plays a crucial role in any biomedical research narrative, providing justification for some claims and refutation for others. We seek to build models of scientific argument using information extraction methods from full-text papers. We present the capability of automatically extracting text fragments from primary research papers that describe the evidence presented in that paper's figures, which arguably provides the raw material of any scientific argument made within the paper. We apply richly contextualized deep representation learning pre-trained on biomedical domain corpus to the analysis of scientific discourse structures and the extraction of "evidence fragments" (i.e., the text in the results section describing data presented in a specified subfigure) from a set of biomedical experimental research articles. We first demonstrate our state-of-the-art scientific discourse tagger on two scientific discourse tagging datasets and its transferability to new datasets. We then show the benefit of leveraging scientific discourse tags for downstream tasks such as claim-extraction and evidence fragment detection. Our work demonstrates the potential of using evidence fragments derived from figure spans for improving the quality of scientific claims by cataloging, indexing and reusing evidence fragments as independent documents.


title: Electrical Flows over Spanning Trees

abstract: The network reconfiguration problem seeks to find a rooted tree $T$ such that the energy of the (unique) feasible electrical flow over $T$ is minimized. The tree requirement on the support of the flow is motivated by operational constraints in electricity distribution networks. The bulk of existing results on convex optimization over vertices of polytopes and on the structure of electrical flows do not easily give guarantees for this problem, while many heuristic methods have been developed in the power systems community as early as 1989. Our main contribution is to give the first provable approximation guarantees for the network reconfiguration problem. We provide novel lower bounds and corresponding approximation factors for various settings ranging from $\min\{O(m-n), O(n)\}$ for general graphs, to $O(\sqrt{n})$ over grids with uniform resistances on edges, and $O(1)$ for grids with uniform edge resistances and demands. To obtain the result for general graphs, we propose a new method for (approximate) spectral graph sparsification, which may be of independent interest. Using insights from our theoretical results, we propose a general heuristic for the network reconfiguration problem that is orders of magnitude faster than existing methods in the literature, while obtaining comparable performance.


title: Deep Reinforcement Learning Algorithm for Dynamic Pricing of Express Lanes with Multiple Access Locations

abstract: This article develops a deep reinforcement learning (Deep-RL) framework for dynamic pricing on managed lanes with multiple access locations and heterogeneity in travelers' value of time, origin, and destination. This framework relaxes assumptions in the literature by considering multiple origins and destinations, multiple access locations to the managed lane, en route diversion of travelers, partial observability of the sensor readings, and stochastic demand and observations. The problem is formulated as a partially observable Markov decision process (POMDP) and policy gradient methods are used to determine tolls as a function of real-time observations. Tolls are modeled as continuous and stochastic variables, and are determined using a feedforward neural network. The method is compared against a feedback control method used for dynamic pricing. We show that Deep-RL is effective in learning toll policies for maximizing revenue, minimizing total system travel time, and other joint weighted objectives, when tested on real-world transportation networks. The Deep-RL toll policies outperform the feedback control heuristic for the revenue maximization objective by generating revenues up to 9.5% higher than the heuristic and for the objective minimizing total system travel time (TSTT) by generating TSTT up to 10.4% lower than the heuristic. We also propose reward shaping methods for the POMDP to overcome the undesired behavior of toll policies, like the jam-and-harvest behavior of revenue-maximizing policies. Additionally, we test transferability of the algorithm trained on one set of inputs for new input distributions and offer recommendations on real-time implementations of Deep-RL algorithms. The source code for our experiments is available online at https://github.com/venktesh22/ExpressLanes_Deep-RL


title: MultiFiT: Efficient Multi-lingual Language Model Fine-tuning

abstract: Pretrained language models are promising particularly for low-resource languages as they only require unlabelled data. However, training existing models requires huge amounts of compute, while pretrained cross-lingual models often underperform on low-resource languages. We propose Multi-lingual language model Fine-Tuning (MultiFiT) to enable practitioners to train and fine-tune language models efficiently in their own language. In addition, we propose a zero-shot method using an existing pretrained cross-lingual model. We evaluate our methods on two widely used cross-lingual classification datasets where they outperform models pretrained on orders of magnitude more data and compute. We release all models and code.


title: A parametric version of LLL and some consequences: parametric shortest and closest vector problems

abstract: Given a parametric lattice with a basis given by polynomials in Z[t], we give an algorithm to construct an LLL-reduced basis whose elements are eventually quasi-polynomial in t: that is, they are given by formulas that are piecewise polynomial in t (for sufficiently large t), such that each piece is given by a congruence class modulo a period. As a consequence, we show that there are parametric solutions of the shortest vector problem (SVP) and closest vector problem (CVP) that are also eventually quasi-polynomial in t.


title: Feasibility Study of Financial P2P Energy Trading in a Grid-tied Power Network

abstract: This paper studies the applicability of peer-to-peer (P2P) energy trading in a grid-tied network. The main objectives are to understand the impact of the financial P2P energy trading on the network operation, and thus demonstrate the importance of taking various issues related to power network into account while designing a practical P2P trading scheme. To do so, a simple mechanism is developed for energy trading among prosumers without considering any network constraints, as done by many existing studies. Once the trading parameters, such as the energy traded by each prosumer in the P2P market and the price per unit of energy are determined, the developed scheme is tested on a low-voltage (LV) network model to check its feasibility of deployment in a real P2P network. It is shown that although the considered trading scheme is economically beneficial to the participating prosumers compared to the existing incentive mechanisms (such as feed-in-tariff), it could be unfit for real deployment due to violating bus voltage limits during multiple P2P trading executed simultaneously. Further, the grid operator may experience financial losses for compensating the losses during P2P transactions.


title: Jacobi relations on naturally reductive homogeneous spaces

abstract: Naturally reductive spaces, in general, can be seen as an adequate generalization of Riemannian symmetric spaces. Nevertheless, there are some that are closer to symmetric spaces than others. On the one hand, there is the series of Hopf fibrations over complex space forms, including the Heisenberg groups with their metrics of type H. On the other hand, there exist certain naturally reductive spaces in dimensions six and seven whose torsion forms have a distinguished algebraic property. All these spaces generalize geometric or algebraic properties of $3$--dimensional naturally reductive spaces and have the following point in common: along every geodesic the Jacobi operator satisfies an ordinary differential equation with constant coefficients which can be chosen independently of the given geodesic.


title: The Separation Distribution of Ultra-Wide Binaries across Galactic Populations

abstract: We present an extensive sample of ultra-wide binary stars in the solar neighborhood, focusing on separations of $0.01<s/{pc}<1$. Using data from Gaia DR2, we define kinematic sub-populations via the systems' tangential velocities, i.e., disk-like ($v_{\perp, tot}<40$km/s), intermediate ($v_{\perp,tot}=(40-85)$km/s), and halo-like ($v_{\perp,tot}>85$km/s) samples, presuming that these velocity cuts represent a rough ordering in the binaries' age and metallicity. Through stringent cuts on astrometric precision, we can obtain pure binary samples with thousands of binaries in each sample. For all three populations, the distribution of binary separations extends smoothly to 1pc, displaying neither strong truncation nor bimodality. Fitting a smoothly-broken power law for the separation distribution, we find that its slope at separations $s=10^{2.5-4}$AU is the same for all sub-populations, $p(s)\propto s^{\gamma}$, with $\gamma\sim-1.54$. However, the logarithmic slope of $p(s)$ steepens at $s \gtrsim 10^4$AU. We find some evidences that the degree of steepening increases with the binaries' age, with a slope-change of only $\Delta\gamma\sim0.5$ for disk-like stars, but $\Delta\gamma>1$ for halo-like stars. This trend is contrary to what might be expected if steepening at wide separations were due to gravitational perturbations by molecular clouds or stars, which would preferentially disrupt disk binaries. If we were to interpret steepening at $s\gtrsim 10^4$AU as a consequence of disruption by massive halo objects, we would have to invoke a MACHO population inconsistent with other constraints. As a more plausible alternative, we propose a simple model to predict the separation distribution of wide binaries formed in dissolving star clusters. This model generically predicts $\gamma\sim-1.5$ as observed, with steepening at larger separations due to the finite size of binaries' birth clusters.


title: Boosting Classifiers with Noisy Inference

abstract: We present a principled framework to address resource allocation for realizing boosting algorithms on substrates with communication or computation noise. Boosting classifiers (e.g., AdaBoost) make a final decision via a weighted vote from the outputs of many base classifiers (weak classifiers). Suppose that the base classifiers' outputs are noisy or communicated over noisy channels; these noisy outputs will degrade the final classification accuracy. We show that this degradation can be effectively reduced by allocating more system resources for more important base classifiers. We formulate resource optimization problems in terms of importance metrics for boosting. Moreover, we show that the optimized noisy boosting classifiers can be more robust than bagging for the noise during inference (test stage). We provide numerical evidence to demonstrate the benefits of our approach.


title: Distorted stochastic dominance: a generalized family of stochastic orders

abstract: We study a generalized family of stochastic orders, semiparametrized by a distortion function H, namely H-distorted stochastic dominance, which may determine a continuum of dominance relations from the first- to the second-order stochastic dominance (and beyond). Such a family is especially suitable for representing a decision maker's preferences in terms of risk aversion and may be used in those situations in which a strong order does not have enough discriminative power, whilst a weaker one is poorly representative of some classes of decision makers. In particular, we focus on the class of power distortion functions, yielding power-distorted stochastic dominance, which seems to be particularly appealing owing to its computational simplicity and some interesting statistical interpretations. Finally, we characterize distorted stochastic dominance in terms of distortion functions yielding isotonic classes of distorted expectations.


title: Human-robot Collaborative Navigation Search using Social Reward Sources

abstract: This paper proposes a Social Reward Sources (SRS) design for a Human-Robot Collaborative Navigation (HRCN) task: human-robot collaborative search. It is a flexible approach capable of handling the collaborative task, human-robot interaction and environment restrictions, all integrated on a common environment. We modelled task rewards based on unexplored area observability and isolation and evaluated the model through different levels of human-robot communication. The models are validated through quantitative evaluation against both agents' individual performance and qualitative surveying of participants' perception. After that, the three proposed communication levels are compared against each other using the previous metrics.


title: Photometric precision of a Si:As impurity band conduction mid-infrared detector and application to transit spectroscopy

abstract: Transit spectroscopy is the most promising path toward characterizing nearby terrestrial planets at mid-infrared wavelengths in the next 20 years. The Spitzer Space telescope has achieved moderately good mid-infrared photometric precision in observations of transiting planets, but the intrinsic photometric stability of mid-IR detectors themselves has not been reported in the scientific or technical literature. Here, we evaluated the photometric precision of a JWST MIRI prototype mid-infrared Si:As impurity band conduction detector, using time-series data taken under flood illumination. These measurements of photometric precision were conducted over periods of 10 hours, representative of the time required to observe an exoplanet transit. After selecting multiple sub-regions with a size of 10x10 pixels and compensating for a gain change caused by our warm detector control electronics for the selected sub-regions, we found that the photometric precision was limited to 26.3ppm at high co-added signal levels due to a gain variation caused by our warm detector control electronics. The photometric precision was improved up to 12.8ppm after correcting for the gain drift. We also translated the photometric precision to the expected spectro-photometric precision, assuming that an optimized densified pupil spectrograph is used in transit observations. We found that the spectro-photometric precision of an optimized densified pupil spectrograph when used in transit observations is expected to be improved by the square root of the number of pixels per a spectral resolution element. At the high co-added signal levels, the total noise could be reduced down to 7ppm, which was larger by a factor of 1.3 than the ideal performance that was limited by the Poisson noise and readout noise. The systematic noise hidden behind the simulated transit spectroscopy was 1.7ppm.


title: Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis

abstract: An extreme transformation removes the body of a method that is reached by one test case at least. If the test suite passes on the original program and still passes after the extreme transformation, the transformation is said to be undetected, and the test suite needs to be improved. In this work we propose a technique to automatically determine which of the following three reasons prevent the detection of the extreme transformation is : the test inputs are not sufficient to infect the state of the program; the infection does not propagate to the test cases; the test cases have a weak oracle that does not observe the infection. We have developed Reneri, a tool that observes the program under test and the test suite in order to determine runtime differences between test runs on the original and the transformed method. The observations gathered during the analysis are processed by Reneri to suggest possible improvements to the developers. We evaluate Reneri on 15 projects and a total of 312 undetected extreme transformations. The tool is able to generate a suggestion for each each undetected transformation. For 63% of the cases, the existing test cases can infect the program state, meaning that undetected transformations are mostly due to observability and weak oracle issues. Interviews with developers confirm the relevance of the suggested improvements and experiments with state of the art automatic test generation tools indicate that no tool can improve the existing test suites to fix all undetected transformations.


title: Symplectic 4-Manifolds on the Noether Line and between the Noether and Half Noether Lines

abstract: We construct simply connected, minimal, symplectic 4-manifolds with exotic smooth structures and each with one Seiberg-Witten basic class up to sign, on the Noether line and between the Noether and half Noether lines by star surgeries introduced by Karakurt and Starkston, and by using complex singularities. We also construct certain configurations of complex singularities in the rational elliptic surfaces geometrically, without using any monodromy arguments. By using these configurations, we give symplectic embeddings of star shaped plumbings inside (some blow-ups of) elliptic surfaces.


title: Dual linear programming bounds for sphere packing via modular forms

abstract: We obtain new restrictions on the linear programming bound for sphere packing, by optimizing over spaces of modular forms to produce feasible points in the dual linear program. In contrast to the situation in dimensions 8 and 24, where the linear programming bound is sharp, we show that it comes nowhere near the best packing densities known in dimensions 12, 16, 20, 28, and 32. More generally, we provide a systematic technique for proving separations of this sort.


title: Understanding user search processes across varying cognitive levels

abstract: Web is often used for finding information and with a learning intention. In this thesis, we propose a study to investigate the process of learning online across varying cognitive learning levels using crowd-sourced participants. Our aim was to study the impact of cognitive learning levels on search as well as increase in knowledge. We present 150 participants with 6 search tasks for varying cognitive levels and collect user interactions and submitted answers as user data. We present quantitative analysis of user data which shows that the outcome for all cognitive levels is learning by quantifying it as calculated knowledge gain. Further, we also investigate the impact of cognitive learning level on user interaction and knowledge gain with the help of user data. We demonstrate that the cognitive learning level of search session has a significant impact on user's search behavior as well as on knowledge that is gained. Further, we establish a pattern in which the search behavior changes across cognitive learning levels where the least complex search task has minimum number of user interactions and most complex search task has maximum user interactions. With this observation, we were able to demonstrate a relation between a learner's search behavior and Krathwohl's revised Bloom's taxonomic structure of cognitive processes. The findings of this thesis intend to provide a significant work to bridge the relation between search, learning, and user.


title: Coding for Sunflowers

abstract: A sunflower is a family of sets that have the same pairwise intersections. We simplify a recent result of Alweiss, Lovett, Wu and Zhang that gives an upper bound on the size of every family of sets of size $k$ that does not contain a sunflower. We show how to use the converse of Shannon's noiseless coding theorem to give a cleaner proof of their result.


title: Some recent work on biharmonic conformal maps

abstract: This note reviews some of the recent work on biharmonic conformal maps (see \cite{OC}, Chapter 11, for a detailed survey). It will be focused on biharmonic conformal immersions and biharmonic conformal maps between manifolds of the same dimension and their links to isoparametric functions and Yamabe type equations, though biharmonic morphisms (maps that preserve solutions of bi-Laplace equations), generalized harmonic morphisms (maps that pull back germs of harmonic functions to germs of biharmonic functions), and biharmonic conformal and Riemannian submersions will also be touched.


title: Generative Speech Enhancement Based on Cloned Networks

abstract: We propose to implement speech enhancement by the regeneration of clean speech from a salient representation extracted from the noisy signal. The network that extracts salient features is trained using a set of weight-sharing clones of the extractor network. The clones receive mel-frequency spectra of different noisy versions of the same speech signal as input. By encouraging the outputs of the clones to be similar for these different input signals, we train a feature extractor network that is robust to noise. At inference, the salient features form the input to a WaveNet network that generates a natural and clean speech signal with the same attributes as the ground-truth clean signal. As the signal becomes noisier, our system produces natural sounding errors that stay on the speech manifold, in place of traditional artifacts found in other systems. Our experiments confirm that our generative enhancement system provides state-of-the-art enhancement performance within the generative class of enhancers according to a MUSHRA-like test. The clones based system matches or outperforms the other systems at each input signal-to-noise (SNR) range with statistical significance.


title: Logarithmic forms and differential equations for Feynman integrals

abstract: We describe how a dlog representation of Feynman integrals leads to simple differential equations. We derive these differential equations directly in loop momentum or embedding space making use of a localization trick and generalized unitarity. For the examples we study, the alphabet of the differential equation is related to special points in kinematic space, described by certain cut equations which encode the geometry of the Feynman integral. At one loop, we reproduce the motivic formulae described by Goncharov \cite{Goncharov:1996tate} that reappeared in the context of Feynman parameter integrals in \cite{Spradlin:2011wp,Arkani-Hamed:2017ahv}. The dlog representation allows us to generalize the differential equations to higher loops and motivates the study of certain mixed-dimension integrals.


title: Effectiveness of Adversarial Examples and Defenses for Malware Classification

abstract: Artificial neural networks have been successfully used for many different classification tasks including malware detection and distinguishing between malicious and non-malicious programs. Although artificial neural networks perform very well on these tasks, they are also vulnerable to adversarial examples. An adversarial example is a sample that has minor modifications made to it so that the neural network misclassifies it. Many techniques have been proposed, both for crafting adversarial examples and for hardening neural networks against them. Most previous work has been done in the image domain. Some of the attacks have been adopted to work in the malware domain which typically deals with binary feature vectors. In order to better understand the space of adversarial examples in malware classification, we study different approaches of crafting adversarial examples and defense techniques in the malware domain and compare their effectiveness on multiple datasets.


title: Localized Adversarial Training for Increased Accuracy and Robustness in Image Classification

abstract: Today's state-of-the-art image classifiers fail to correctly classify carefully manipulated adversarial images. In this work, we develop a new, localized adversarial attack that generates adversarial examples by imperceptibly altering the backgrounds of normal images. We first use this attack to highlight the unnecessary sensitivity of neural networks to changes in the background of an image, then use it as part of a new training technique: localized adversarial training. By including locally adversarial images in the training set, we are able to create a classifier that suffers less loss than a non-adversarially trained counterpart model on both natural and adversarial inputs. The evaluation of our localized adversarial training algorithm on MNIST and CIFAR-10 datasets shows decreased accuracy loss on natural images, and increased robustness against adversarial inputs.


title: Hardy's operator minus identity and power weights

abstract: Let $H$ be the Hardy operator and $I$ the identity operator acting on functions on the real half-line. We find optimal bounds for the operator $H - I$ in the setting of power weights and the cases of positive decreasing functions, positive functions, and general functions. As a byproduct, we obtain some results about the optimal relations between the norms of $H$ and its dual.


title: An Open Source Mesh Generation Platform for Biophysical Modeling Using Realistic Cellular Geometries

abstract: Advances in imaging methods such as electron microscopy, tomography and other modalities are enabling high-resolution reconstructions of cellular and organelle geometries. Such advances pave the way for using these geometries for biophysical and mathematical modeling once these data can be represented as a geometric mesh, which, when carefully conditioned, enables the discretization and solution of partial differential equations. In this study, we outline the steps for a na\"ive user to approach GAMer 2, a mesh generation code written in C++ designed to convert structural datasets to realistic geometric meshes, while preserving the underlying shapes. We present two example cases, 1) mesh generation at the subcellular scale as informed by electron tomography, and 2) meshing a protein with structure from x-ray crystallography. We further demonstrate that the meshes generated by GAMer are suitable for use with numerical methods. Together, this collection of libraries and tools simplifies the process of constructing realistic geometric meshes from structural biology data.


title: Ferroelectric enhancement of superconductivity in compressively strained SrTiO$_3$ films

abstract: SrTiO$_3$ is an incipient ferroelectric on the verge of a polar instability, which is avoided at low temperatures by quantum fluctuations. Within this unusual quantum paraelectric phase, superconductivity persists despite extremely dilute carrier densities. Ferroelectric fluctuations have been suspected to play a role in the origin of superconductivity by contributing to electron pairing. To investigate this possibility, we used optical second harmonic generation to measure the doping and temperature dependence of the ferroelectric order parameter in compressively strained SrTiO$_3$ thin films. At low temperatures, we uncover a spontaneous out-of-plane ferroelectric polarization with an onset that correlates perfectly with normal-state electrical resistivity anomalies. These anomalies have previously been associated with an enhancement of the superconducting critical temperature in doped SrTiO$_3$ films, directly linking the ferroelectric and superconducting phases. We develop a long-range mean-field Ising model of the ferroelectric phase transition to interpret the data and extract the relevant energy scales in the system. Our results support a long-suspected connection between ferroelectricity and superconductivity in SrTiO$_3$, but call into question the role played by ferroelectric fluctuations.


title: Characterizing the Deep Neural Networks Inference Performance of Mobile Applications

abstract: Today's mobile applications are increasingly leveraging deep neural networks to provide novel features, such as image and speech recognitions. To use a pre-trained deep neural network, mobile developers can either host it in a cloud server, referred to as cloud-based inference, or ship it with their mobile application, referred to as on-device inference. In this work, we investigate the inference performance of these two common approaches on both mobile devices and public clouds, using popular convolutional neural networks. Our measurement study suggests the need for both on-device and cloud-based inferences for supporting mobile applications. In particular, newer mobile devices is able to run mobile-optimized CNN models in reasonable time. However, for older mobile devices or to use more complex CNN models, mobile applications should opt in for cloud-based inference. We further demonstrate that variable network conditions can lead to poor cloud-based inference end-to-end time. To support efficient cloud-based inference, we propose a CNN model selection algorithm called CNNSelect that dynamically selects the most appropriate CNN model for each inference request, and adapts its selection to match different SLAs and execution time budgets that are caused by variable mobile environments. The key idea of CNNSelect is to make inference speed and accuracy trade-offs at runtime using a set of CNN models. We demonstrated that CNNSelect smoothly improves inference accuracy while maintaining SLA attainment in 88.5% more cases than a greedy baseline.


title: Deep learning of topological phase transitions from entanglement aspects

abstract: The one-dimensional $p$-wave superconductor proposed by Kitaev has long been a classic example for understanding topological phase transitions through various methods, such as examining Berry phase, edge states of open chains and, in particular, aspects from quantum entanglement of ground states. In order to understand the amount of information carried in the entanglement-related quantities, here we study topological phase transitions of the model with emphasis of using the deep learning approach. We feed different quantities, including Majorana correlation matrices (MCMs), entanglement spectra (ES) or entanglement eigenvectors (EE) originated from Block correlation matrices (BCMs), into the deep neural networks for training, and investigate which one could be the most useful input format in this approach. We find that ES is indeed too compressed information compared to MCM or EE. MCM and EE can provide us abundant information to recognize not only the topological phase transitions in the model but also phases of matter with different $U$(1) gauges, which is not reachable by using ES only.


title: Rank and border rank of Kronecker powers of tensors and Strassen's laser method

abstract: We prove that the border rank of the Kronecker square of the little Coppersmith-Winograd tensor $T_{cw,q}$ is the square of its border rank for $q > 2$ and that the border rank of its Kronecker cube is the cube of its border rank for $q > 4$. This answers questions raised implicitly in [Coppersmith-Winograd, 1990] and explicitly in [Bl\"aser, 2013] and rules out the possibility of proving new upper bounds on the exponent of matrix multiplication using the square or cube of a little Coppersmith-Winograd tensor in this range. In the positive direction, we enlarge the list of explicit tensors potentially useful for Strassen's laser method, introducing a skew-symmetric version of the Coppersmith-Winograd tensor, $T_{skewcw,q}$. For $q = 2$, the Kronecker square of this tensor coincides with the $3\times 3$ determinant polynomial, $\det_3 \in \mathbb{C}^9\otimes \mathbb{C}^9\otimes \mathbb{C}^9$, regarded as a tensor. We show that this tensor could potentially be used to show that the exponent of matrix multiplication is two. We determine new upper bounds for the (Waring) rank and the (Waring) border rank of $\det_3$, exhibiting a strict submultiplicative behaviour for $T_{skewcw,2}$ which is promising for the laser method. We establish general results regarding border ranks of Kronecker powers of tensors, and make a detailed study of Kronecker squares of tensors in $\mathbb{C}^3\otimes \mathbb{C}^3\otimes \mathbb{C}^3$.


title: Noise-robust exploration of many-body quantum states on near-term quantum devices

abstract: We describe a resource-efficient approach to studying many-body quantum states on noisy, intermediate-scale quantum devices. We employ a sequential generation model that allows us to bound the range of correlations in the resulting many-body quantum states. From this, we characterize situations where the estimation of local observables does not require the preparation of the entire state. Instead smaller patches of the state can be generated from which the observables can be estimated. This can potentially reduce circuit size and number of qubits for the computation of physical properties of the states. Moreover, we show that the effect of noise decreases along the computation. Our results apply to a broad class of widely studied tensor network states and can be directly applied to near-term implementations of variational quantum algorithms.


title: MAT: Multi-Fingered Adaptive Tactile Grasping via Deep Reinforcement Learning

abstract: Vision-based grasping systems typically adopt an open-loop execution of a planned grasp. This policy can fail due to many reasons, including ubiquitous calibration error. Recovery from a failed grasp is further complicated by visual occlusion, as the hand is usually occluding the vision sensor as it attempts another open-loop regrasp. This work presents MAT, a tactile closed-loop method capable of realizing grasps provided by a coarse initial positioning of the hand above an object. Our algorithm is a deep reinforcement learning (RL) policy optimized through the clipped surrogate objective within a maximum entropy RL framework to balance exploitation and exploration. The method utilizes tactile and proprioceptive information to act through both fine finger motions and larger regrasp movements to execute stable grasps. A novel curriculum of action motion magnitude makes learning more tractable and helps turn common failure cases into successes. Careful selection of features that exhibit small sim-to-real gaps enables this tactile grasping policy, trained purely in simulation, to transfer well to real world environments without the need for additional learning. Experimentally, this methodology improves over a vision-only grasp success rate substantially on a multi-fingered robot hand. When this methodology is used to realize grasps from coarse initial positions provided by a vision-only planner, the system is made dramatically more robust to calibration errors in the camera-robot transform.


title: Visible spectroscopy from the Mission Accessible Near-Earth Object Survey (MANOS): Taxonomic dependence on asteroid size

abstract: The Mission Accessible Near-Earth Object Survey (MANOS) aims to observe and characterize small (mean absolute magnitude H ~ 25 mag) Near-Earth Objects (NEOs) that are accessible by spacecraft (mean $\Delta v$ ~ 5.7 km/s) and that make close approaches with the Earth (mean Minimum Orbital Intersection Distance MOID ~ 0.03 AU). We present here the first results of the MANOS visible spectroscopic survey. The spectra were obtained from August 2013 to March 2018 at Lowell Observatory's Discovery Channel 4.3 meter telescope, and both Gemini North and South facilities. In total, 210 NEOs have been observed and taxonomically classified. Our taxonomic distribution shows significant variations with respect to surveys of larger objects. We suspect these to be due to a dependence of Main Belt source regions on object size. Compared to previous surveys of larger objects (Binzel et al. 2019, 2004; Perna et al. 2018), we report a lower fraction of S+Q-complex asteroids of 43.8 $\pm$ 4.6%. We associate this decrease with a lack of Phocaea family members at very small size. We also report higher fractions of X-complex and A-type asteroids of 23.8 $\pm$ 3.3% and 3.8 $\pm$ 1.3% respectively due to an increase of Hungaria family objects at small size. We find a strong correlation between the Q/S ratio and perihelion distance. We suggest this correlation is due to planetary close encounters with Venus playing a major role in turning asteroids from S to Q-type. This hypothesis is supported by a similar correlation between the Q/S ratio and Venus MOID.


title: Spinor fields in spherical symmetry. Einstein-Dirac and other space-times

abstract: We discuss the static spherically symmetric Einstein-spinor field system in the possible presence of various spinor field nonlinearities. We take into account that the spinor field energy-momentum tensor (EMT) has in general some off-diagonal components, whose vanishing due to the Einstein equations substantially affects the form of the spinor field itself and the space-time geometry. In particular, the EMT structure with any spinor field nonlinearities turns out to be the same as that of the EMT of a minimally coupled scalar field with a self-interaction potential. Therefore many results previously obtained for systems with such scalar fields are directly extended to the Einstein-spinor field system. Some special solutions are obtained and discussed, in particular, a solution for the Einstein-Dirac system (which lack asymptotic flatness) and some examples with spinor field nonlinearities.


title: SDM-Net: A Simple and Effective Model for Generalized Zero-Shot Learning

abstract: Zero-Shot Learning (ZSL) is a classification task where we do not have even a single training labeled example from a set of unseen classes. Instead, we only have prior information (or description) about seen and unseen classes, often in the form of physically realizable or descriptive attributes. Lack of any single training example from a set of classes prohibits use of standard classification techniques and losses, including the popular crossentropy loss. Currently, state-of-the-art approaches encode the prior class information into dense vectors and optimize some distance between the learned projections of the input vector and the corresponding class vector (collectively known as embedding models). In this paper, we propose a novel architecture of casting zero-shot learning as a standard neural-network with crossentropy loss. During training our approach performs soft-labeling by combining the observed training data for the seen classes with the similarity information from the attributes for which we have no training data or unseen classes. To the best of our knowledge, such similarity based soft-labeling is not explored in the field of deep learning. We evaluate the proposed model on the four benchmark datasets for zero-shot learning, AwA, aPY, SUN and CUB datasets, and show that our model achieves significant improvement over the state-of-the-art methods in Generalized-ZSL and ZSL settings on all of these datasets consistently.


title: A Survey of Techniques All Classifiers Can Learn from Deep Networks: Models, Optimizations, and Regularization

abstract: Deep neural networks have introduced novel and useful tools to the machine learning community. Other types of classifiers can potentially make use of these tools as well to improve their performance and generality. This paper reviews the current state of the art for deep learning classifier technologies that are being used outside of deep neural networks. Non-network classifiers can employ many components found in deep neural network architectures. In this paper, we review the feature learning, optimization, and regularization methods that form a core of deep network technologies. We then survey non-neural network learning algorithms that make innovative use of these methods to improve classification. Because many opportunities and challenges still exist, we discuss directions that can be pursued to expand the area of deep learning for a variety of classification algorithms.


title: Collective Description of Density Matrix of Identical Multi-level Atoms for Superradiance

abstract: A collective description of density matrix is presented for identical multi-level atoms, which are either excited initially, driven coherently or pumped incoherently. The density matrix is defined as expectation value of projection or transition operators in a basis of atom's product states. The identical matrix elements are identified with several integers, which specify uniquely the involved operators. To remove the redundancy, these identical elements are treated as single quantity and the equation for this quantity is dervied by mapping the transition or projection operators to a single vector specified with these integers. As a result, the number of computed elements increases polynomially rather than exponentially with the number of atoms. As an example, we carry out exact simulation of hundreds of two-level atoms and demonstrate the different conditions for observing superradiance and superfluorescence.


title: Definition Frames: Using Definitions for Hybrid Concept Representations

abstract: Advances in word representations have shown tremendous improvements in downstream NLP tasks, but lack semantic interpretability. In this paper, we introduce Definition Frames (DF), a matrix distributed representation extracted from definitions, where each dimension is semantically interpretable. DF dimensions correspond to the Qualia structure relations: a set of relations that uniquely define a term. Our results show that DFs have competitive performance with other distributional semantic approaches on word similarity tasks.


title: A refinement of the formula for $k$-ary trees and the Gould-Vandermonde's convolution

abstract: In this paper, we present an involution on some kind of colored $k$-ary trees which provides a combinatorial proof of a combinatorial sum involving the generalized Catalan numbers $C_{k,\gamma}(n)=\frac{\gamma}{k n+\gamma}{k n+\gamma\choose n}$. From the combinatorial sum, we refine the formula for $k$-ary trees and obtain an implicit formula for the generating function of the generalized Catalan numbers which obviously implies a Vandermonde type convolution generalized by Gould. Furthermore, we also obtain a combinatorial sum involving a vector generalization of the Catalan numbers by an extension of our involution.


title: Blandford-Znajek process as Alfv\'enic superradiance

abstract: The superradiant scattering of Alfv\'en waves (Alfv\'enic superradiance) in a forcefree magnetosphere is discussed to reveal the relationship between the Blandford-Znajek (BZ) process and superradiance. For simplicity, we consider a four-dimensional rotating black string spacetime of which each $z=\text{const}$ slice is a Ba\~nados-Teitelboim-Zanelli solution as an analogy of the equatorial plane of the Kerr spacetime. Then, it is confirmed that the condition for Alfv\'enic superradiance coincides with that for the BZ process, and the wave amplification can be very large due to a resonant scattering for some parameter sets of the wave frequency and the angular velocity of the magnetic field line. Moreover, by analysis of the Poynting flux, we first show that the BZ process can be interpreted as the long wavelength limit of Alfv\'enic superradiance.


title: Conditions for the existence, identification and calculus rules of the threshold of prox-boundedness

abstract: This work advances knowledge of the threshold of prox-boundedness of a function; an important concern in the use of proximal point optimization algorithms and in determining the existence of the Moreau envelope of the function. In finite dimensions, we study general prox-bounded functions and then focus on some useful families such as piecewise functions and Lipschitz continuous functions. The thresholds are explicitly determined when possible and bounds are established otherwise. Some calculus rules are constructed; we consider functions with known thresholds and find the thresholds of their sum and composition.


title: Hybrid Cascaded Neural Network for Liver Lesion Segmentation

abstract: Automatic liver lesion segmentation is a challenging task while having a significant impact on assisting medical professionals in the designing of effective treatment and planning proper care. In this paper we propose a cascaded system that combines both 2D and 3D convolutional neural networks to effectively segment hepatic lesions. Our 2D network operates on a slice by slice basis to segment the liver and larger tumors, while we use a 3D network to detect small lesions that are often missed in a 2D segmentation design. We employ this algorithm on the LiTS challenge obtaining a Dice score per case of 68.1%, which performs the best among all non pre-trained models and the second best among published methods. We also perform two-fold cross-validation to reveal the over- and under-segmentation issues in the LiTS annotations.


title: Unified $\ell_{2\rightarrow\infty}$ Eigenspace Perturbation Theory for Symmetric Random Matrices

abstract: Modern applications in statistics, computer science and network science have seen tremendous values of finer matrix spectral perturbation theory. In this paper, we derive a generic $\ell_{2\rightarrow\infty}$ eigenspace perturbation bound for symmetric random matrices, with independent or dependent entries and fairly flexible entry distributions. In particular, we apply our generic bound to binary random matrices with independent entries or with certain dependency structures, including the unnormalized Laplacian of inhomogenous random graphs and $m$-dependent matrices. Through a detailed comparison, we found that for binary random matrices with independent entries, our $\ell_{2\rightarrow\infty}$ bound is tighter than all existing bounds that we are aware of, while our condition is weaker than all but one of them in a less common regime. We apply our perturbation bounds in three problems and improve the state of the art: concentration of the spectral norm of sparse random graphs, exact recovery of communities in stochastic block models and partial consistency of divisive hierarchical clustering. Finally we discuss the extensions of our theory to random matrices with more complex dependency structures and non-binary entries, asymmetric rectangular matrices and induced perturbation theory in other metrics.


title: The chain rule for VU-decompositions of nonsmooth functions

abstract: In Variational Analysis, VU-theory provides a set of tools that is helpful for understanding and exploiting the structure of nonsmooth functions. The theory takes advantage of the fact that at any point, the space can be separated into two orthogonal subspaces: one that describes the direction of nonsmoothness of the function, and the other on which the function behaves smoothly and has a gradient. For a composite function, this work establishes a chain rule that facilitates the computation of such gradients and characterizes the smooth subspace under reasonable conditions. From the chain rule presented, formulas for the separation, smooth perturbation and sum of functions are provided. Several nonsmooth examples are explored, including norm functions, max-of-quadratic functions and LASSO-type regularizations.


title: Probabilistic framework for solving Visual Dialog

abstract: In this paper, we propose a probabilistic framework for solving the task of `Visual Dialog'. Solving this task requires reasoning and understanding of visual modality, language modality, and common sense knowledge to answer. Various architectures have been proposed to solve this task by variants of multi-modal deep learning techniques that combine visual and language representations. However, we believe that it is crucial to understand and analyze the sources of uncertainty for solving this task. Our approach allows for estimating uncertainty and also aids a diverse generation of answers. The proposed approach is obtained through a probabilistic representation module that provides us with representations for image, question and conversation history, a module that ensures that diverse latent representations for candidate answers are obtained given the probabilistic representations and an uncertainty representation module that chooses the appropriate answer that minimizes uncertainty. We thoroughly evaluate the model with a detailed ablation analysis, comparison with state of the art and visualization of the uncertainty that aids in the understanding of the method. Using the proposed probabilistic framework, we thus obtain an improved visual dialog system that is also more explainable.


title: Faster Johnson-Lindenstrauss Transforms via Kronecker Products

abstract: The Kronecker product is an important matrix operation with a wide range of applications in supporting fast linear transforms, including signal processing, graph theory, quantum computing and deep learning. In this work, we introduce a generalization of the fast Johnson-Lindenstrauss projection for embedding vectors with Kronecker product structure, the Kronecker fast Johnson-Lindenstrauss transform (KFJLT). The KFJLT reduces the embedding cost to an exponential factor of the standard fast Johnson-Lindenstrauss transform (FJLT)'s cost when applied to vectors with Kronecker structure, by avoiding explicitly forming the full Kronecker products. We prove that this computational gain comes with only a small price in embedding power: given $N = \prod_{k=1}^d n_k$, consider a finite set of $p$ points in a tensor product of $d$ constituent Euclidean spaces $\bigotimes_{k=d}^{1}\mathbb{R}^{n_k} \subset \mathbb{R}^{N}$. With high probability, a random KFJLT matrix of dimension $N \times m$ embeds the set of points up to multiplicative distortion $(1\pm \varepsilon)$ provided by $m \gtrsim \varepsilon^{-2} \cdot \log^{2d - 1} (p) \cdot \log N$. We conclude by describing a direct application of the KFJLT to the efficient solution of large-scale Kronecker-structured least squares problems for fitting the CP tensor decomposition.


title: Variable Rate Deep Image Compression With a Conditional Autoencoder

abstract: In this paper, we propose a novel variable-rate learned image compression framework with a conditional autoencoder. Previous learning-based image compression methods mostly require training separate networks for different compression rates so they can yield compressed images of varying quality. In contrast, we train and deploy only one variable-rate image compression network implemented with a conditional autoencoder. We provide two rate control parameters, i.e., the Lagrange multiplier and the quantization bin size, which are given as conditioning variables to the network. Coarse rate adaptation to a target is performed by changing the Lagrange multiplier, while the rate can be further fine-tuned by adjusting the bin size used in quantizing the encoded representation. Our experimental results show that the proposed scheme provides a better rate-distortion trade-off than the traditional variable-rate image compression codecs such as JPEG2000 and BPG. Our model also shows comparable and sometimes better performance than the state-of-the-art learned image compression models that deploy multiple networks trained for varying rates.


title: An Implicit Form of Krasulina's k-PCA Update without the Orthonormality Constraint

abstract: We shed new insights on the two commonly used updates for the online $k$-PCA problem, namely, Krasulina's and Oja's updates. We show that Krasulina's update corresponds to a projected gradient descent step on the Stiefel manifold of the orthonormal $k$-frames, while Oja's update amounts to a gradient descent step using the unprojected gradient. Following these observations, we derive a more \emph{implicit} form of Krasulina's $k$-PCA update, i.e. a version that uses the information of the future gradient as much as possible. Most interestingly, our implicit Krasulina update avoids the costly QR-decomposition step by bypassing the orthonormality constraint. We show that the new update in fact corresponds to an online EM step applied to a probabilistic $k$-PCA model. The probabilistic view of the updates allows us to combine multiple models in a distributed setting. We show experimentally that the implicit Krasulina update yields superior convergence while being significantly faster. We also give strong evidence that the new update can benefit from parallelism and is more stable w.r.t. tuning of the learning rate.


title: Solutions to the Kaup--Broer System and Its 2+1 Dimensional Integrable Generalization via the Dressing Method

abstract: In this paper we formulate the nonlocal dbar problem dressing method of Manakov and Zakharov [28, 29, 27] for the 4 scaling classes of the 1+1 dimensional Kaup--Broer system [7, 13]. The method for the 1+1 dimensional Kaup--Broer systems are reductions of a method for a complex valued 2+1 dimensional completely integrable partial differential equation first introduced in [23]. This method allows computation of solutions to all cases of the Kaup--Broer system. We then consider the case of non-capillary waves with usual gravitational forcing, and use the dressing method to compute N-soliton solutions and more general solutions in the closure of the N-soliton solutions in the topology of uniform convergence in compact sets called primitive solutions. These more general solutions are an analogue of the solutions derived in [11, 30, 31] for the KdV equation. We derive dressing functions for finite gap solutions. We compute counter propagating dispersive shockwave type solutions numerically.


title: Avoiding Fake State or Bright Light attack on the Single-Photon Detector

abstract: The eavesdropper technique nowadays is already improved from the theoretical perspective to the experimental perspective. The technique now more focusing on the loopholes of the components used such as modulator, laser, and detector. These all components actually are the classical component which normally being used in the communication system. The technique called "blinding detector" introduce by Vadim Makarov et. al. exploit the unavailability of a true single-photon detector. The detector behavior which is avalanche photodiode (APD) is being used in almost all quantum system and exploiting its vulnerability towards the quantum attacks which is limit the potential to detect the presence of the eavesdropper attack.


title: The real and imaginary parts of a weak value appearing as back-actions via a post-selection

abstract: In a weak measurement the real and imaginary parts of a weak value participate in the shifts of the complementary variables of a pointer. While the real part represents the value of an observable in the limit of zero measurement strength, the imaginary one is regarded as the back-action due to the measurement with a post-selection, which has an influence on the post-selection probability. In this paper I give a case in which a real part could also appear as such a back-action in a post-selection probability on an equal footing with an imaginary one. It is also shown that both of the real and imaginary parts can be inferred by observing the probability in practice, which has an advantage that an additional system of a pointer is not needed.


title: Anomaly Detection with Inexact Labels

abstract: We propose a supervised anomaly detection method for data with inexact anomaly labels, where each label, which is assigned to a set of instances, indicates that at least one instance in the set is anomalous. Although many anomaly detection methods have been proposed, they cannot handle inexact anomaly labels. To measure the performance with inexact anomaly labels, we define the inexact AUC, which is our extension of the area under the ROC curve (AUC) for inexact labels. The proposed method trains an anomaly score function so that the smooth approximation of the inexact AUC increases while anomaly scores for non-anomalous instances become low. We model the anomaly score function by a neural network-based unsupervised anomaly detection method, e.g., autoencoders. The proposed method performs well even when only a small number of inexact labels are available by incorporating an unsupervised anomaly detection mechanism with inexact AUC maximization. Using various datasets, we experimentally demonstrate that our proposed method improves the anomaly detection performance with inexact anomaly labels, and outperforms existing unsupervised and supervised anomaly detection and multiple instance learning methods.


title: Computing rational points on rank 0 genus 3 hyperelliptic curves

abstract: We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of $p$-adic integrals, which is known to be finite and include the set of rational points $C(\mathbb{Q})$. We implemented an algorithm in Sage to carry out the Chabauty-Coleman method on a database of $5870$ curves.


title: Evolution of the X-ray Profile of the Crab Pulsar

abstract: Using the archive data from the Rossi X-ray Timing Explorer ({\sl RXTE}), we have studied the evolution of the X-ray profile of the Crab pulsar in a time span of 11 years. The X-ray profiles, as characterized by a few parameters, changed slightly but significantly in these years: the separation of the two peaks increased with a rate $0.88\pm0.20\,\textordmasculine$\,per century, the flux ratio of the second pulse to the first pulse decreased with $(3.64\pm0.86)\times10^{-2}$\,per century, and the pulse widths of the two pulses descended with $1.44\pm0.15\,\textordmasculine$\, and $1.09\pm0.73\,\textordmasculine$\,per century, respectively. The evolutionary trends of the above parameters are similar to the radio results, but the values are different. We briefly discussed the constraints of these X-ray properties on the geometry of the emission region of this pulsar.


title: Antipodal Robotic Grasping using Generative Residual Convolutional Neural Network

abstract: In this paper, we present a modular robotic system to tackle the problem of generating and performing antipodal robotic grasps for unknown objects from n-channel image of the scene. We propose a novel Generative Residual Convolutional Neural Network (GR-ConvNet) model that can generate robust antipodal grasps from n-channel input at real-time speeds (~20ms). We evaluate the proposed model architecture on standard datasets and a diverse set of household objects. We achieved state-of-the-art accuracy of 97.7% and 94.6% on Cornell and Jacquard grasping datasets respectively. We also demonstrate a grasp success rate of 95.4% and 93% on household and adversarial objects respectively using a 7 DoF robotic arm.


title: Covariate Adaptive False Discovery Rate Control with Applications to Omics-Wide Multiple Testing

abstract: Conventional multiple testing procedures often assume hypotheses for different features are exchangeable. However, in many scientific applications, additional covariate information regarding the patterns of signals and nulls are available. In this paper, we introduce an FDR control procedure in large-scale inference problem that can incorporate covariate information. We develop a fast algorithm to implement the proposed procedure and prove its asymptotic validity even when the underlying model is misspecified and the p-values are weakly dependent (e.g., strong mixing). Extensive simulations are conducted to study the finite sample performance of the proposed method and we demonstrate that the new approach improves over the state-of-the-art approaches by being flexible, robust, powerful and computationally efficient. We finally apply the method to several omics datasets arising from genomics studies with the aim to identify omics features associated with some clinical and biological phenotypes. We show that the method is overall the most powerful among competing methods, especially when the signal is sparse. The proposed Covariate Adaptive Multiple Testing procedure is implemented in the R package CAMT.


title: Proceedings of the AI-HRI Symposium at AAAI-FSS 2019

abstract: The past few years have seen rapid progress in the development of service robots. Universities and companies alike have launched major research efforts toward the deployment of ambitious systems designed to aid human operators performing a variety of tasks. These robots are intended to make those who may otherwise need to live in assisted care facilities more independent, to help workers perform their jobs, or simply to make life more convenient. Service robots provide a powerful platform on which to study Artificial Intelligence (AI) and Human-Robot Interaction (HRI) in the real world. Research sitting at the intersection of AI and HRI is crucial to the success of service robots if they are to fulfill their mission. This symposium seeks to highlight research enabling robots to effectively interact with people autonomously while modeling, planning, and reasoning about the environment that the robot operates in and the tasks that it must perform. AI-HRI deals with the challenge of interacting with humans in environments that are relatively unstructured or which are structured around people rather than machines, as well as the possibility that the robot may need to interact naturally with people rather than through teach pendants, programming, or similar interfaces.


title: Dual-attention Focused Module for Weakly Supervised Object Localization

abstract: The research on recognizing the most discriminative regions provides referential information for weakly supervised object localization with only image-level annotations. However, the most discriminative regions usually conceal the other parts of the object, thereby impeding entire object recognition and localization. To tackle this problem, the Dual-attention Focused Module (DFM) is proposed to enhance object localization performance. Specifically, we present a dual attention module for information fusion, consisting of a position branch and a channel one. In each branch, the input feature map is deduced into an enhancement map and a mask map, thereby highlighting the most discriminative parts or hiding them. For the position mask map, we introduce a focused matrix to enhance it, which utilizes the principle that the pixels of an object are continuous. Between these two branches, the enhancement map is integrated with the mask map, aiming at partially compensating the lost information and diversifies the features. With the dual-attention module and focused matrix, the entire object region could be precisely recognized with implicit information. We demonstrate outperforming results of DFM in experiments. In particular, DFM achieves state-of-the-art performance in localization accuracy in ILSVRC 2016 and CUB-200-2011.


title: Stochastic optimal transport with free end time

abstract: We consider a stochastic transportation problem between two prescribed probability distributions (a source and a target) over processes with general drift dependence and with free end times. First, and in order to establish a dual principle, we associate two equivalent formulations of the primal problem in order to guarantee its convexity and lower semi-continuity with respect to the source and target distributions. We exhibit an equivalent Eulerian formulation, whose dual variational principle is given by Hamilton-Jacobi-Bellman type variational inequalities. In the case where the dependence on the drift is bounded, regularity results on the minimizers of the Eulerian problem then enable us to prove attainment in the corresponding dual problem. We also address attainment when the drift component of the cost defining Lagrangian $L$ is superlinear $L \approx |u|^p$ with $1<p<2$, in which case the setting is reminiscent of our approach -- in a previous work -- on deterministic controlled transport problems with free end time. We finally address criteria under which the optimal drift and stopping time are unique, namely strict convexity in the drift component and monotonicity in time of the Lagrangian.


title: Entangled states of dipolar bosons generated in a triple-well potential

abstract: We study the generation of entangled states using a device constructed from dipolar bosons confined to a triple-well potential. Dipolar bosons possess controllable, long-range interactions. This property permits specific choices to be made for the coupling parameters, such that the system is integrable. Integrability assists in the analysis of the system via an effective Hamiltonian constructed through a conserved operator. Through computations of fidelity we establish that this approach, to study the time-evolution of the entanglement for a class of non-entangled initial states, yields accurate approximations given by analytic formulae.


title: Stationary coalescing walks on the lattice II: Entropy

abstract: This paper is a sequel to Chaika and Krishnan [arXiv:1612.00434]. We again consider translation invariant measures on families of nearest-neighbor semi-infinite walks on the integer lattice Z^d. We assume that once walks meet, they coalesce. We consider various entropic properties of these systems. We show that in systems with completely positive entropy, bi-infinite trajectories must carry entropy. In the case of directed walks in dimension 2 we show that positive entropy guarantees that all trajectories cannot be bi-infinite. To show that our theorems are proper, we construct a stationary discrete-time symmetric exclusion process whose particle trajectories form bi-infinite trajectories carrying entropy.


title: Home Sweet Home: Quantifying Home Court Advantages For NCAA Basketball Statistics

abstract: Box score statistics are the baseline measures of performance for National Collegiate Athletic Association (NCAA) basketball. Between the 2011-2012 and 2015-2016 seasons, NCAA teams performed better at home compared to on the road in nearly all box score statistics across both genders and all three divisions. Using box score data from over 100,000 games spanning the three divisions for both women and men, we examine the factors underlying this discrepancy. The prevalence of neutral location games in the NCAA provides an additional angle through which to examine the gaps in box score statistic performance, which we believe has been underutilized in existing literature. We also estimate a regression model to quantify the home court advantages for box score statistics after controlling for other factors such as number of possessions, and team strength. Additionally, we examine the biases of scorekeepers and referees. We present evidence that scorekeepers tend to have greater home team biases when observing men compared to women, higher divisions compared to lower divisions, and stronger teams compared to weaker teams. Finally, we present statistically significant results indicating referee decisions are impacted by attendance, with larger crowds resulting in greater bias in favor of the home team.


title: Timelike minimal Lagrangian surfaces in the indefinite complex hyperbolic two-space

abstract: It has been known for some time that there exist $5$ essentially different real forms of the complex affine Kac-Moody algebra of type $A_2^{(2)}$ and that one can associate $4$ of these real forms with certain classes of "integrable surfaces", such as minimal Lagrangian surfaces in $\mathbb {CP}^2$ and $\mathbb {CH}^2$, as well as definite and indefinite affine spheres in $\mathbb R^3$. In this paper we consider the class of timelike minimal Lagrangian surfaces in the indefinite complex hyperbolic two-space $\mathbb{CH}^2_1$. We show that this class of surfaces corresponds to the fifth real form. Moreover, for each timelike Lagrangian surface in $\mathbb {CH}^2_1$ we define natural Gauss maps into certain homogeneous spaces and prove a Ruh-Vilms type theorem, characterizing timelike minimal Lagrangian surfaces among all timelike Lagrangian surfaces in terms of the harmonicity of these Gauss maps.


title: Formation control for multiple agents with local measurements: continuous-time and sampled-data-based cases

abstract: We study the formation control problem for a group of mobile agents in a plane, in which each agent is modeled as a kinematic point and can only use the local measurements in its local frame. The agents are required to maintain a geometric pattern while keeping a desired distance to a static/moving target. The prescribed formation is a general one which can be any geometric pattern, and the neighboring relationship of the N-agent system only has the requirement of containing a directed spanning tree. To solve the formation control problem, a distributed controller is proposed based on the idea of decoupled design. One merit of the controller is that it only uses each agent's local measurements in its local frame, so that a practical issue that the lack of a global coordinate frame or a common reference direction for real multi-robot systems is successfully solved. Considering another practical issue of real robotic applications that sampled data is desirable instead of continuous-time signals, the sampled-data based controller is developed. Theoretical analysis of the convergence to the desired formation is provided for the multi-agent system under both the continuous-time controller with a static/moving target and the sampled-data based one with a static target. Numerical simulations are given to show the effectiveness and performance of the controllers.


title: Comment on "Generalized near horizon extreme binary black hole geometry"

abstract: It is demonstrated that the near-horizon geometry of two extreme Kerr black holes of equal mass, which are held a finite distance apart by a massless strut, introduced recently in [Phys. Rev. D 100 (2019) 044033], is a particular member of the near horizon Kerr-Bolt class.


title: Real Time Dynamics and Confinement in the $\mathbb{Z}_{n}$ Schwinger-Weyl lattice model for 1+1 QED

abstract: We study the out-of-equilibrium properties of $1+1$ dimensional quantum electrodynamics (QED), discretized via the staggered-fermion Schwinger model with an Abelian $\mathbb{Z}_{n}$ gauge group. We look at two relevant phenomena: first, we analyze the stability of the Dirac vacuum with respect to particle/antiparticle pair production, both spontaneous and induced by an external electric field; then, we examine the string breaking mechanism. We observe a strong effect of confinement, which acts by suppressing both spontaneous pair production and string breaking into quark/antiquark pairs, indicating that the system dynamics displays a number of out-of-equilibrium features.