title: Tilted black-Si: ~0.45 form-birefringence from sub-wavelength needles

abstract: The self-organised conical needles produced by plasma etching of silicon (Si), known as black silicon (b-Si), create a form-birefringent surface texture when etching of Si orientated at angles of $\theta_i < 50 - 70^\circ$ (angle between the Si surface and vertical plasma E-field). The height of the needles in the form-birefringent region following 15~min etching was $d\sim 200$ nm and had a 100 $\mu$m width of the optical retardance/birefringence, characterised using polariscopy. The height of the b-Si needles corresponds closely to the skin-depth of Si $\sim\lambda/4$ for the visible spectral range. Reflection-type polariscope with a voltage-controlled liquid-crystal retarder is proposed to directly measure the retardance $\Delta n\times d/\lambda\approx 0.15$ of the region with tilted b-Si needles. The quantified form birefringence of $\Delta n = - 0.45$ over $\lambda = 400-700$~nm spectral window was obtained. Such high values of $\Delta n$ at visible wavelengths can only be observed in the most birefringence calcite or barium borate as well as in liquid crystals. The replication of b-Si into Ni-shim with high fidelity was also demonstrated and can be used for imprinting of the b-Si nanopattern into other materials.


title: StyleRig: Rigging StyleGAN for 3D Control over Portrait Images

abstract: StyleGAN generates photorealistic portrait images of faces with eyes, teeth, hair and context (neck, shoulders, background), but lacks a rig-like control over semantic face parameters that are interpretable in 3D, such as face pose, expressions, and scene illumination. Three-dimensional morphable face models (3DMMs) on the other hand offer control over the semantic parameters, but lack photorealism when rendered and only model the face interior, not other parts of a portrait image (hair, mouth interior, background). We present the first method to provide a face rig-like control over a pretrained and fixed StyleGAN via a 3DMM. A new rigging network, RigNet is trained between the 3DMM's semantic parameters and StyleGAN's input. The network is trained in a self-supervised manner, without the need for manual annotations. At test time, our method generates portrait images with the photorealism of StyleGAN and provides explicit control over the 3D semantic parameters of the face.


title: Radio, EUV, and X-Ray Observations During a Filament Rise in the 2011 June 7 Solar Flare

abstract: The most energetic flares start with a filament rise followed by magnetic reconnection below this filament. The start of the reconnection corresponds to the beginning of the flare impulsive phase. In this paper we study processes before this phase. During the filament rise we recognize an unusual radio continuum with a starting boundary drifting toward lower frequencies. The estimated velocity of the agent generating this continuum boundary is about 400 km/s, similar to that of the rising filament. In association with this filament rise, transient X-ray sources and extreme ultaviolet (EUV) brightenings are found near the filament footpoint and outside the locations where later two parallel flare ribbons appear. Moreover, oscillations with a ~30 s period are found simultaneously in radio, EUV, and X-ray observations. Around the end of these oscillations the flare impulsive phase starts as seen in observations of the drifting pulsation structure and X-ray source located at the upper part of the rising filament. We interpret the unusual radio continuum and transient X-ray sources, which are located outside the two parallel flare ribbons, as those generated during an interaction of the rising filament with the above-lying magnetic loops. The EUV brightening at the filament footpoint could be a signature of the magnetic reconnection inside the magnetic rope carrying the filament. Possible scenarios of the ~30 s period oscillations in radio, X-ray, and EUV are discussed.


title: EOLO: Embedded Object Segmentation only Look Once

abstract: In this paper, we introduce an anchor-free and single-shot instance segmentation method, which is conceptually simple with 3 independent branches, fully convolutional and can be used by easily embedding it into mobile and embedded devices. Our method, refer as EOLO, reformulates the instance segmentation problem as predicting semantic segmentation and distinguishing overlapping objects problem, through instance center classification and 4D distance regression on each pixel. Moreover, we propose one effective loss function to deal with sampling a high-quality center of gravity examples and optimization for 4D distance regression, which can significantly improve the mAP performance. Without any bells and whistles, EOLO achieves 27.7$\%$ in mask mAP under IoU50 and reaches 30 FPS on 1080Ti GPU, with a single-model and single-scale training/testing on the challenging COCO2017 dataset. For the first time, we show the different comprehension of instance segmentation in recent methods, in terms of both up-bottom, down-up, and direct-predict paradigms. Then we illustrate our model and present related experiments and results. We hope that the proposed EOLO framework can serve as a fundamental baseline for a single-shot instance segmentation task in Real-time Industrial Scenarios.


title: Axiomatizing Hybrid XPath with Data

abstract: In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the hybrid operator @. Then, we introduce an axiomatic system for HXPath=, and we prove it is strongly complete with respect to the class of abstract data models, i.e., data models in which data values are abstracted as equivalence relations. We prove a general completeness result similar to the one presented in, e.g., [BtC06], that ensures that certain extensions of the axiomatic system we introduce are also complete. The axiomatic systems that can be obtained in this way cover a large family of hybrid XPath languages over different classes of frames, for which we present concrete examples. In addition, we investigate axiomatizations over the class of tree models, structures widely used in practice. We show that a strongly complete, finitary, first-order axiomatization of hybrid XPath over trees does not exist, and we propose two alternatives to deal with this issue. We finally introduce filtrations to investigate the status of decidability of the satisfiability problem for these languages.


title: The Wigner's Semicircle Law of Weighted Random Networks

abstract: The spectral graph theory provides an algebraical approach to investigate the characteristics of weighted networks using the eigenvalues and eigenvectors of a matrix (e.g., normalized Laplacian matrix) that represents the structure of the network. However, it is difficult for large-scale and complex networks (e.g., social network) to represent their structure as a matrix correctly. If there is a universality that the eigenvalues are independent of the detailed structure in large-scale and complex network, we can avoid the difficulty. In this paper, we clarify the Wigner's Semicircle Law for weighted networks as such a universality. The law indicates that the eigenvalues of the normalized Laplacian matrix for weighted networks can be calculated from the a few network statistics (the average degree, the average link weight, and the square average link weight) when the weighted networks satisfy the sufficient condition of the node degrees and the link weights.


title: Gravitoviscous protoplanetary disks with a dust component. III. Evolution of gas, dust, and pebbles

abstract: We study the dynamics and growth of dust particles in circumstellar disks of different masses that are prone to gravitational instability during the critical first Myr of their evolution. The dust component is made up of two different components: micron-sized dust and grown dust of evolving size. For the dust component, we considered the dust coagulation, fragmentation, momentum exchange with the gas, and dust self-gravity. We found that the micron-sized dust particles grow rapidly in the circumstellar disk, reaching a few cm in size in the inner 100 au of the disk during less than 100 kyr after the disk formation, provided that fragmentation velocity is $30\rm~ms^{-1}$. Due to the accretion of micron dust particles from the surrounding envelope, which serves as a micron dust reservoir, the approximately cm-sized dust particles continue to be present in the disk for more than 900 kyr after the disk formation and maintain a dust-to-gas ratio close to 0.01. We show that a strong correlation exists between the gas and pebble fluxes in the disk. We find that radial surface density distribution of pebbles in the disk shows power-law distribution with an index similar to that of the Minimum-mass solar nebula (MMSN) regardless the disk mass. We also show that the gas surface density in our models agrees well with measurements of dust in protoplanetary disks of AS 209, HD 163296, and DoAr 25 systems. Pebbles are formed during the very early stages of protoplanetary disk evolution. They play a crucial role in the planet formation process. Our disc simulations reveal the early onset ($<10^5$ yr) of an inwards-drifting flux of pebble-sized particles that makes up approximately between one hundredth and one tenth of the gas mass flux, which appears consistent with mm-observations of discs. (Abridged)


title: Modified snaking in plane Couette flow with wall-normal suction

abstract: A specific family of spanwise-localised invariant solutions of plane Couette flow exhibits homoclinic snaking, a process by which spatially localised invariant solutions of a nonlinear partial differential equation smoothly grow additional structure at their fronts while undergoing a sequence of saddle-node bifurcations. Homoclinic snaking is well understood in the context of simpler pattern forming systems such as the one-dimensional Swift-Hohenberg equation with cubic-quintic nonlinearity, whose solutions remarkably well resemble the snaking solutions of plane Couette flow. We study the structural stability of the characteristic snakes-and-ladders structure associated with homoclinic snaking for flow modifications that break symmetries of plane Couette flow. We demonstrate that wall-normal suction modifies the bifurcation structure of three-dimensional plane Couette solutions in the same way, a symmetry-breaking quadratic term modifies solutions of the one-dimensional Swift-Hohenberg equation. These modifications are related to the breaking of the discrete rotational symmetry. At large amplitudes of the symmetry-breaking wall-normal suction the connected snakes-and-ladders structure is destroyed. Previously unknown solution branches are created and can be parametrically continued to vanishing suction. This yields new localised solutions of plane Couette flow that exist in a wide range of Reynolds number.


title: Higher spin partition functions via the quasinormal mode method in de Sitter quantum gravity

abstract: In this note we compute the 1-loop partition function of spin-$s$ fields on Euclidean de Sitter space $S^{2n+1}$ using the quasinormal mode method. Instead of computing the quasinormal mode frequencies from scratch, we use the analytic continuation prescription $L_{\text{AdS}}\to iL_{\text{dS}}$, appearing in the dS/CFT correspondence, and Wick rotate the normal mode frequencies of fields on thermal $\text{AdS}_{2n+1}$ into the quasinormal mode frequencies of fields on de Sitter space. We compare the quasinormal mode and heat kernel methods of calculating 1-loop determinants, finding exact agreement, and furthermore explicitly relate these methods via a sum over the conformal dimension. We discuss how the Wick rotation of normal modes on thermal $\text{AdS}_{2n+1}$ can be generalized to calculating 1-loop partition functions on the thermal spherical quotients $S^{2n+1}/\mathbb{Z}_{p}$. We further show that the quasinormal mode frequencies encode the group theoretic structure of the spherical spacetimes in question, analogous to the recent analysis made for thermal AdS in (1910.07607) and (1910.11913).


title: A novel nonequilibrium state of matter: a $d=4-\epsilon$ expansion study of Malthusian flocks

abstract: We show that "Malthusian flocks" -- i.e., coherently moving collections of self-propelled entities (such as living creatures) which are being "born" and "dying" during their motion -- belong to a new universality class in spatial dimensions $d>2$. We calculate the universal exponents and scaling laws of this new universality class to $O(\epsilon)$ in a $d=4-\epsilon$ expansion, and find these are different from the "canonical" exponents previously conjectured to hold for "immortal" flocks (i.e., those without birth and death) and shown to hold for incompressible flocks with spatial dimensions in the range of $2 < d \leq 4$. We also obtain a universal amplitude ratio relating the damping of transverse and longitudinal velocity and density fluctuations in these systems. Furthermore, we find a universal separatrix in real (${\bf r}$) space between two regions in which the equal time density correlation $\langle\delta\rho({\bf r}, t)\delta\rho(0, t)\rangle$ has opposite signs. Our expansion should be quite accurate in $d=3$, allowing precise quantitative comparisons between our theory, simulations, and experiments.


title: A+ Indexes: Tunable and Space-Efficient Adjacency Lists in Graph Database Management Systems

abstract: Graph database management systems (GDBMSs) are highly optimized to perform fast traversals, i.e., joins of vertices with their neighbours, by indexing the neighbourhoods of vertices in adjacency lists. However, existing GDBMSs have system-specific and fixed adjacency list structures, which makes each system efficient on only a fixed set of workloads. We describe a new tunable indexing subsystem for GDBMSs, we call A+ indexes, with materialized view support. The subsystem consists of two types of indexes: (i) vertex-partitioned indexes that partition 1-hop materialized views into adjacency lists on either the source or destination vertex IDs; and (ii) edge-partitioned indexes that partition 2-hop views into adjacency lists on one of the edge IDs. As in existing GDBMSs, a system by default requires one forward and one backward vertex-partitioned index, which we call the primary A+ index. Users can tune the primary index or secondary indexes by adding nested partitioning and sorting criteria. Our secondary indexes are space-efficient and use a technique we call offset lists. Our indexing subsystem allows a wider range of applications to benefit from GDBMSs' fast join capabilities. We demonstrate the tunability and space efficiency of A+ indexes through extensive experiments on three workloads.


title: Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems

abstract: In this paper, we propose a compositional approach to construct opacity-preserving finite abstractions (a.k.a symbolic models) for networks of discrete-time nonlinear control systems. Particularly, we introduce new notions of simulation functions that characterize the distance between control systems while preserving opacity properties across them. Instead of treating large-scale systems in a monolithic manner, we develop a compositional scheme to construct the interconnected finite abstractions together with the overall opacity-preserving simulation functions. For a network of incrementally input-to-state stable control systems and under some small-gain type condition, an algorithm for designing local quantization parameters is presented to orderly build the local symbolic models of subsystems such that the network of symbolic models simulates the original network for an a-priori defined accuracy while preserving its opacity properties.


title: AM-MobileNet1D: A Portable Model for Speaker Recognition

abstract: Speaker Recognition and Speaker Identification are challenging tasks with essential applications such as automation, authentication, and security. Deep learning approaches like SincNet and AM-SincNet presented great results on these tasks. The promising performance took these models to real-world applications that becoming fundamentally end-user driven and mostly mobile. The mobile computation requires applications with reduced storage size, non-processing and memory intensive and efficient energy-consuming. The deep learning approaches, in contrast, usually are energy expensive, demanding storage, processing power, and memory. To address this demand, we propose a portable model called Additive Margin MobileNet1D (AM-MobileNet1D) to Speaker Identification on mobile devices. We evaluated the proposed approach on TIMIT and MIT datasets obtaining equivalent or better performances concerning the baseline methods. Additionally, the proposed model takes only 11.6 megabytes on disk storage against 91.2 from SincNet and AM-SincNet architectures, making the model seven times faster, with eight times fewer parameters.


title: Viscoelastic properties of ring-linear DNA blends exhibit non-monotonic dependence on blend composition

abstract: Entangled ring polymers, along with blends of ring and linear polymers, continue to be a topic of great interest and debate due to the conflicting experimental results in the literature as well as the difficulty of producing entangled synthetic rings devoid of linear contaminants. Here, we create blended solutions of entangled ring and linear DNA with varying mass fractions of linear DNA. We use optical tweezers microrheology to measure the linear and nonlinear viscoelastic response of these blends. Our measurements reveal a strong non-monotonic dependence of linear viscoelastic properties on linear DNA fraction, with a pronounced maximum when the mass fraction of rings and linear chains are comparable, suggestive of pervasive threading of rings by linear chains. We observe a similar non-monotonicity in the nonlinear regime; however, a comparatively higher fraction of linear chains (0.5-0.7) is required for a substantial increase in resisitive force and slowing of relaxation dynamics to emerge. This nonlinear response also appears to be rate dependent, which we argue arises from force-induced de-threading of rings at high strain rates. Our results fill a longstanding gap in knowledge regarding the microrheology and nonlinear response of ring-linear polymer blends. Moreover, the uniquely strong mechanical response that ring-linear blends exhibit, along with the ability to finely tune these blends by varying the blend composition, provides new materials design principles.


title: Absorptive loss and band non-parabolicity as a physical origin of large nonlinearity in epsilon-near-zero materials

abstract: For decades, nonlinear optics has been used to control the frequency and propagation of light in unique ways enabling a wide range of applications such as ultrafast lasing, sub-wavelength imaging, and novel sensing methods. Through this, a key thread of research in the field has always been the development of new and improved nonlinear materials to empower these applications. Recently, epsilon-near-zero (ENZ) materials have emerged as a potential platform to enhanced nonlinear interactions, bolstered in large part due to the extreme refractive index tuning ({\Delta}n~ 0.1 - 1) of sub-micron thick films that has been demonstrated in literature. Despite this experimental success, the theory has lagged and is needed to guide future experimental efforts. Here, we construct a theoretical framework for the intensity-dependent refractive index of the most popular ENZ materials, heavily doped semiconductors. We demonstrate that the nonlinearity when excited below bandgap, is due to the modification of the effective mass of the electron sea which produces a shift in the plasma frequency. We discuss trends and trade-offs in the optimization of excitation conditions and material choice (such material loss, band structure, and index dispersion), and provide a figure of merit through which the performance of future materials may be evaluated. By illuminating the framework of the nonlinearity, we hope to propel future applications in this growing field.


title: Breaking Rayleigh's Criterion via Discernibility in High-Dimensional Light-Field Space with Snapshot Ghost Imaging

abstract: By encoding the high-dimensional light-field imaging information into a detectable two-dimensional speckle plane, ghost imaging camera via sparsity constraints (GISC camera) can directly catch the high-dimensional light-field imaging information with only one snapshot. This makes it worth to revisit the spatial resolution limit of this optical imaging system. In this paper we show both theoretically and experimentally that, while the resolution in high-dimensional light-field space is still limited by diffraction, the statistical spatial resolution of GISC camera can be greatly improved comparing to classical Rayleigh's criterion by utilizing the discernibility in high-dimensional light-field space. The interaction between imaging resolution, degrees of freedom of light field, and degrees of freedom of objects in high-dimensional light-field space is also demonstrated.


title: Sim-to-Real Transfer for Optical Tactile Sensing

abstract: Deep learning and reinforcement learning methods have been shown to enable learning of flexible and complex robot controllers. However, the reliance on large amounts of training data often requires data collection to be carried out in simulation, with a number of sim-to-real transfer methods being developed in recent years. In this paper, we study these techniques for tactile sensing using the TacTip optical tactile sensor, which consists of a deformable tip with a camera observing the positions of pins inside this tip. We designed a model for soft body simulation which was implemented using the Unity physics engine, and trained a neural network to predict the locations and angles of edges when in contact with the sensor. Using domain randomisation techniques for sim-to-real transfer, we show how this framework can be used to accurately predict edges with less than 1 mm prediction error in real-world testing, without any real-world data at all.


title: Revisiting Few-shot Activity Detection with Class Similarity Control

abstract: Many interesting events in the real world are rare making preannotated machine learning ready videos a rarity in consequence. Thus, temporal activity detection models that are able to learn from a few examples are desirable. In this paper, we present a conceptually simple and general yet novel framework for few-shot temporal activity detection based on proposal regression which detects the start and end time of the activities in untrimmed videos. Our model is end-to-end trainable, takes into account the frame rate differences between few-shot activities and untrimmed test videos, and can benefit from additional few-shot examples. We experiment on three large scale benchmarks for temporal activity detection (ActivityNet1.2, ActivityNet1.3 and THUMOS14 datasets) in a few-shot setting. We also study the effect on performance of different amount of overlap with activities used to pretrain the video classification backbone and propose corrective measures for future works in this domain. Our code will be made available.


title: Pacloud: Towards a Universal Cloud-based Linux Package Manager

abstract: Package managers are a very important part of Linux distributions but we have noticed two weaknesses in them: They use pre-built packages that are not optimised for specific hardware and often they are too heavy for a specific need, or packagesmay require plenty of time and resources to be compiled. In this paper, we present a novel Linux package manager which uses cloud computing features to compile and distribute Linux packages without impacting the end user's performance. We also show how Portage, Gentoo's package manager can be optimised for customisation and performance, along with the cloud computing features to compile Linux packages more efficiently. All of this resulting in a new cloud-based Linux package manager that is built for better computing performance.


title: A Swiss German Dictionary: Variation in Speech and Writing

abstract: We introduce a dictionary containing forms of common words in various Swiss German dialects normalized into High German. As Swiss German is, for now, a predominantly spoken language, there is a significant variation in the written forms, even between speakers of the same dialect. To alleviate the uncertainty associated with this diversity, we complement the pairs of Swiss German - High German words with the Swiss German phonetic transcriptions (SAMPA). This dictionary becomes thus the first resource to combine large-scale spontaneous translation with phonetic transcriptions. Moreover, we control for the regional distribution and insure the equal representation of the major Swiss dialects. The coupling of the phonetic and written Swiss German forms is powerful. We show that they are sufficient to train a Transformer-based phoneme to grapheme model that generates credible novel Swiss German writings. In addition, we show that the inverse mapping - from graphemes to phonemes - can be modeled with a transformer trained with the novel dictionary. This generation of pronunciations for previously unknown words is key in training extensible automated speech recognition (ASR) systems, which are key beneficiaries of this dictionary.


title: Learning Generative Models of Tissue Organization with Supervised GANs

abstract: A key step in understanding the spatial organization of cells and tissues is the ability to construct generative models that accurately reflect that organization. In this paper, we focus on building generative models of electron microscope (EM) images in which the positions of cell membranes and mitochondria have been densely annotated, and propose a two-stage procedure that produces realistic images using Generative Adversarial Networks (or GANs) in a supervised way. In the first stage, we synthesize a label "image" given a noise "image" as input, which then provides supervision for EM image synthesis in the second stage. The full model naturally generates label-image pairs. We show that accurate synthetic EM images are produced using assessment via (1) shape features and global statistics, (2) segmentation accuracies, and (3) user studies. We also demonstrate further improvements by enforcing a reconstruction loss on intermediate synthetic labels and thus unifying the two stages into one single end-to-end framework.


title: Almost-orthogonality principles for certain directional maximal functions

abstract: We develop almost-orthogonality principles for maximal functions associated with averages over line segments and directional singular integrals. Using them, we obtain sharp $L^2$-bounds for these maximal functions when the underlying direction set is equidistributed in $\mathbb{S}^{n-1}$.


title: Gauge hierarchy problem and scalegenesis

abstract: We review the gauge hierarchy problem in the standard model. We discuss the meaning of the quadratic divergence in terms of the Wilsonian renormalization group. Classical scale symmetry, which prohibits dimensionful parameters in the bare action, could play a key role for the understanding of the origin of the electroweak scale. We discuss the scale-generation mechanism, i.e. scalegenesis in scale invariant theories. In this paper, we introduce a scale invariant extension of the SM based on a strongly interacting scalar-gauge theory. It is discussed that asymptotically safe quantum gravity provides a hint about solutions to the gauge hierarchy problem.


title: Controllability of degenerate parabolic equation with memory

abstract: In this paper, we analyze the null controllability property for a degenerate parabolic equation involving memory terms with a locally distributed control. We first derive a null controllability result for a nonhomogeneous degenerate heat equation via new Carleman estimates with weighted time functions that do not blow up at t= 0. Then this result is successfully used with a classical fixed point to obtain null controllability for the initial memory system.


title: Deep Semantic Matching with Foreground Detection and Cycle-Consistency

abstract: Establishing dense semantic correspondences between object instances remains a challenging problem due to background clutter, significant scale and pose differences, and large intra-class variations. In this paper, we address weakly supervised semantic matching based on a deep network where only image pairs without manual keypoint correspondence annotations are provided. To facilitate network training with this weaker form of supervision, we 1) explicitly estimate the foreground regions to suppress the effect of background clutter and 2) develop cycle-consistent losses to enforce the predicted transformations across multiple images to be geometrically plausible and consistent. We train the proposed model using the PF-PASCAL dataset and evaluate the performance on the PF-PASCAL, PF-WILLOW, and TSS datasets. Extensive experimental results show that the proposed approach performs favorably against the state-of-the-art methods.


title: Supersymmetric Cluster Expansions and Applications to Random Schr\"odinger Operators

abstract: We study discrete random Schr\"odinger operators via the supersymmetric formalism. We develop a cluster expansion that converges at both strong and weak disorder. We prove the exponential decay of the disorder-averaged Green's function and the smoothness of the local density of states either at weak disorder and at energies in proximity of the unperturbed spectrum or at strong disorder and at any energy. As an application, we establish Lifshitz-tail-type estimates for the local density of states and thus localization at weak disorder.


title: Tidal Disruptions of White Dwarfs: Theoretical Models and Observational Prospects

abstract: White dwarf stars that enter the tidal radius of black holes with masses $\lesssim$ $10^5$ M$_{\odot}$ are doomed to be ripped apart by tidal forces. Black holes in this mass range between stellar black holes and supermassive black holes have not been conclusively identified so the detection of a tidal disruption of a white dwarf would provide clear evidence for the existence of intermediate-mass black holes. In this review, we present a theoretical and observational overview of the transient events that result from the tidal disruptions of white dwarfs by intermediate-mass black holes. This includes discussion of the latest simulations and predicted properties, the results of observational searches, as well as a summary of the potential for gravitational wave emission to be detected with upcoming missions.


title: Optical conductivity of the type-II Weyl semimetal TaIrTe$_4$

abstract: TaIrTe$_4$ is an example of a candidate Weyl type-II semimetal with a minimal possible number of Weyl nodes. Four nodes are reported to exist a single plane in $k$-space. The existence of a conical dispersion linked to Weyl nodes has yet to be shown experimentally. Here we use optical spectroscopy as a probe of the band structure on a low-energy scale. Studying optical conductivity allows us to probe intraband and interband transitions with zero momentum. In TaIrTe$_4$, we observe a narrow Drude contribution and an interband conductivity that may be consistent with a tilted linear band dispersion up to 40~meV. The interband conductivity allows us to establish the effective parameters of the conical dispersion; effective velocity $v=1.1\cdot 10^{4}$~m/s and tilt $\gamma=0.37$. The transport data, Seebeck and Hall coefficients, are qualitatively consistent with conical features in the band structure. Quantitative disagreement may be linked to the multiband nature of TaIrTe$_4$.


title: Petal Projections, Knot Colorings and Determinants

abstract: An \"{u}bercrossing diagram is a knot diagram with only one crossing that may involve more than two strands of the knot. Such a diagram without any nested loops is called a petal projection. Every knot has a petal projection from which the knot can be recovered using a permutation that represents strand heights. Using this permutation, we give an algorithm that determines the $p$-colorability and the determinants of knots from their petal projections. In particular, we compute the determinants of all prime knots with crossing number less than $10$ from their petal permutations.


title: Analytic description of anomalous diffusion in heterogeneous environments: Fokker-Planck equation without fractional derivatives

abstract: We present a model of diffusion in heterogeneous environment, which qualitatively reflects the transport properties of a polymeric membrane with carbon nanotubes. We derived Fokker-Planck equation from system of stochastic equations, responding diffusion regime in polymer and ballistic regime in nanotube areas. We show how probability density function is changed in presence of nanotube areas. Hereupon nonlinear time dependence of mean square displacement is observed, that indicates anomalous diffusion regime. Thus, the model explains mechanism of appearance of anomalous diffusion for diffusion-ballistic regime. Our approach does not suppose any type of distributions and using fractional differentiate apparatus.


title: Enriching Consumer Health Vocabulary Using Enhanced GloVe Word Embedding

abstract: Open-Access and Collaborative Consumer Health Vocabulary (OAC CHV, or CHV for short), is a collection of medical terms written in plain English. It provides a list of simple, easy, and clear terms that laymen prefer to use rather than an equivalent professional medical term. The National Library of Medicine (NLM) has integrated and mapped the CHV terms to their Unified Medical Language System (UMLS). These CHV terms mapped to 56000 professional concepts on the UMLS. We found that about 48% of these laymen's terms are still jargon and matched with the professional terms on the UMLS. In this paper, we present an enhanced word embedding technique that generates new CHV terms from a consumer-generated text. We downloaded our corpus from a healthcare social media and evaluated our new method based on iterative feedback to word embedding using ground truth built from the existing CHV terms. Our feedback algorithm outperformed unmodified GLoVe and new CHV terms have been detected.


title: Interactive Evolution and Exploration Within Latent Level-Design Space of Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) are an emerging form of indirect encoding. The GAN is trained to induce a latent space on training data, and a real-valued evolutionary algorithm can search that latent space. Such Latent Variable Evolution (LVE) has recently been applied to game levels. However, it is hard for objective scores to capture level features that are appealing to players. Therefore, this paper introduces a tool for interactive LVE of tile-based levels for games. The tool also allows for direct exploration of the latent dimensions, and allows users to play discovered levels. The tool works for a variety of GAN models trained for both Super Mario Bros. and The Legend of Zelda, and is easily generalizable to other games. A user study shows that both the evolution and latent space exploration features are appreciated, with a slight preference for direct exploration, but combining these features allows users to discover even better levels. User feedback also indicates how this system could eventually grow into a commercial design tool, with the addition of a few enhancements.


title: L1-Adaptive MPPI Architecture for Robust and Agile Control of Multirotors

abstract: This paper presents a multirotor control architecture, where Model Predictive Path Integral Control (MPPI) and L1 adaptive control are combined to achieve both fast model predictive trajectory planning and robust trajectory tracking. MPPI provides a framework to solve nonlinear MPC with complex cost functions in real-time. However, it often lacks robustness, especially when the simulated dynamics are different from the true dynamics. We show that the L1 adaptive controller robustifies the architecture, allowing the overall system to behave similar to the nominal system simulated with MPPI. The architecture is validated in a simulated multirotor racing environment.


title: In-situ adaptive reduction of nonlinear multiscale structural dynamics models

abstract: Conventional offline training of reduced-order bases in a predetermined region of a parameter space leads to parametric reduced-order models that are vulnerable to extrapolation. This vulnerability manifests itself whenever a queried parameter point lies in an unexplored region of the parameter space. This paper addresses this issue by presenting an in-situ, adaptive framework for nonlinear model reduction where computations are performed by default online, and shifted offline as needed. The framework is based on the concept of a database of local Reduced-Order Bases (ROBs), where locality is defined in the parameter space of interest. It achieves accuracy by updating on-the-fly a pre-computed ROB, and approximating the solution of a dynamical system along its trajectory using a sequence of most-appropriate local ROBs. It achieves efficiency by managing the dimension of a local ROB, and incorporating hyperreduction in the process. While sufficiently comprehensive, the framework is described in the context of dynamic multiscale computations in solid mechanics. In this context, even in a nonparametric setting of the macroscale problem and when all offline, online, and adaptation overhead costs are accounted for, the proposed computational framework can accelerate a single three-dimensional, nonlinear, multiscale computation by an order of magnitude, without compromising accuracy.


title: Design and Simulation of Memristor-Based Artificial Neural Network for Bidirectional Adaptive Neural Interface

abstract: This article proposes a general approach to the simulation and design of a multilayer perceptron (MLP) network on the basis of cross-bar arrays of metal-oxide memristive devices. The proposed approach uses the ANNM theory, tolerance theory, simulation methodology and experiment design. The tolerances analysis and synthesis process is performed for the ANNM hardware implementation on the basis of two arrays of memristive microdevices in the original 16x16 cross-bar topology being a component of bidirectional adaptive neural interface for automatic registration and stimulation of bioelectrical activity of a living neuronal culture used in robotics control system. The ANNM is trained for solving a nonlinear classification problem of stable information characteristics registered in the culture grown on a multi-electrode array. Memristive devices are fabricated on the basis of a newly engineered Au/Ta/ZrO2(Y)/Ta2O5/TiN/Ti multilayer structure, which contains self-organized interface oxide layers, nanocrystals and is specially developed to obtain robust resistive switching with low variation of parameters. An array of memristive devices is mounted into a standard metal-ceramic package and can be easily integrated into the neurointerface circuit. Memristive devices demonstrate bipolar switching of anionic type between the high-resistance state and low-resistance state and can be programmed to set the intermediate resistive states with a desired accuracy. The ANNM tuning, testing and control are implemented by the FPGA-based control subsystem. All developed models and algorithms are implemented as Python-based software.


title: On $\Gamma-$Convergence of a Variational Model for Lithium-Ion Batteries

abstract: A singularly perturbed phase field model used to model lithium-ion batteries including chemical and elastic effects is considered. The underlying energy is given by $$I_\epsilon [u,c ] := \int_\Omega \left( \frac{1}{\epsilon} f(c) + \epsilon\|\nabla c\|^2 + \frac{1}{\epsilon}\mathbb{C} (e(u)-ce_0) : (e(u)-ce_0)\right) dx, $$ where $f$ is a double well potential, $\mathbb{C}$ is a symmetric positive definite fourth order tensor, $c$ is the normalized lithium-ion density, and $u$ is the material displacement. The integrand contains elements close to those in energy functionals arising in both the theory of fluid-fluid and solid-solid phase transitions. For a strictly star-shaped, Lipschitz domain $\Omega \subset \mathbb{R}^2,$ it is proven that $\Gamma - \lim_{\epsilon\to 0} I_\epsilon = I_0,$ where $I_0$ is finite only for pairs $(u,c)$ such that $f(c) = 0$ and the symmetrized gradient $e(u) = ce_0$ almost everywhere. Furthermore, $I_0$ is characterized as the integral of an anisotropic interfacial energy density over sharp interfaces given by the jumpset of $c.$


title: Decoding the mechanisms underlying cell-fate decision-making during stem cell differentiation by Random Circuit Perturbation

abstract: Stem cells can precisely and robustly undergo cellular differentiation and lineage commitment, referred to as stemness. However, how the gene network underlying stemness regulation reliably specifies cell fates is not well understood. To address this question, we applied a recently developed computational method, Random Circuit Perturbation (RACIPE), to a nine-component gene regulatory network (GRN) governing stemness, from which we identified fifteen robust gene states. Among them, four out of the five most probable gene states exhibit gene expression patterns observed in single mouse embryonic cells at 32-cell and 64-cell stages. These gene states can be robustly predicted by the stemness GRN but not by randomized versions of the stemness GRN. Strikingly, we found a hierarchical structure of the GRN with the Oct4/Cdx2 motif functioning as the first decision-making module followed by Gata6/Nanog. We propose that stem cell populations, instead of being viewed as all having a specific cellular state, can be regarded as a heterogeneous mixture including cells in various states. Upon perturbations by external signals, stem cells lose the capacity to access certain cellular states, thereby becoming differentiated. The findings demonstrate that the functions of the stemness GRN is mainly determined by its well-evolved network topology rather than by detailed kinetic parameters.


title: Improved quantitative unique continuation for complex-valued drift equations in the plane

abstract: In this article, we investigate the quantitative unique continuation properties of complex-valued solutions to drift equations in the plane. We consider equations of the form $\Delta u + W \cdot \nabla u = 0$ in $\mathbb{R}^2$, where $W = W_1 + i W_2$ with each $W_j$ real-valued. Under the assumptions that $W_j \in L^{q_j}$ for some $q_1 \in [2, \infty]$, $q_2 \in (2, \infty]$, and $W_2$ exhibits rapid decay at infinity, we prove new global unique continuation estimates. This improvement is accomplished by reducing our equations to vector-valued Beltrami systems. Our results rely on a novel order of vanishing estimate combined with a finite iteration scheme.


title: Outside the Lyman-break box: detecting Lyman continuum emitters at $3.5<z<5.1$ with CLAUDS

abstract: Identifying non-contaminated sample of high-redshift galaxies with escaping Lyman continuum (LyC) flux is important for understanding the sources and evolution of cosmic reionization. We present CLAUDS $u$-band photometry of the COSMOS field to probe LyC radiation from spectroscopically confirmed galaxies at $z\geq3.5$ and outside the standard Lyman-break galaxy colour selection expectations. Complementary to the CLAUDS data, we use Subaru multi-filter photometry, \textit {Hubble Space Telescope} ($HST$) multi-filter imaging, and the spectroscopic surveys D10K, VUDS and 3D-HST. We present a sample of Lyman continuum galaxy (LCG) candidates in the redshift range $3.5\lesssim z\lesssim5.1$. Here, we introduce 5 LCG candidates, where two are flagged quality 1 and three quality 2. The estimated $f_{\rm esc}^{\rm abs}$ for quality 1 candidates are in the range $\sim5\% - 73\%$ and $\sim30\% - 93\%$. These estimates are based on our derived parameters from individual galaxies as inputs to a range of BPASS models as well as mean intergalactic medium (IGM) and maximal intergalactic and circumgalactic media (IGM+CGM) transmission. We conclude that our search for LCGs is most likely biased to lines of sight with low HI densities or free from Lyman limit systems. Our two best LCG candidates have EW (Ly$\alpha)\leq50$\AA\ and we find no correlation or anti-correlation between EW (Ly$\alpha$), $f_{\rm esc}^{\rm abs}$, and $R_{\rm obs}$, the ratio of ionizing to non-ionizing observed flux in the measured passbands. Stacking candidates without solid LyC detections ($S/N<3$) results in an estimated $f_{\rm esc}^{\rm abs}$ from galaxies not greater than $1\%$.


title: Analysis and Control of Dynamic Flow Networks Subject to Stochastic Cyber-Physical Disruptions

abstract: Modern network systems such as transportation, manufacturing, and communication systems are subject to cyber-physical disruptions. Cyber disruptions compromise sensing and/or actuating which closed-loop control relies on, and physical disruptions undermine network capability. This paper develops a novel approach to analysis and design of traffic control for dynamic flow networks subject to a rather broad class of disruptions. We consider a single-origin-single-destination acyclic network with possibly finite link storage spaces. Both cyber and physical disruptions are modeled as a set of discrete modes that modify the control and/or the network flow dynamics. The network switches between various modes according to a Markov process. By considering switched, piecewise polynomial Lyapunov functions and exploiting monotonicity of the network flow dynamics, we analyze network throughput under various disruption scenarios and show that cyber-physical disruptions can significantly reduce network throughput. For control design, we derive two results analogous to the classical max-flow min-cut theorem: (i) for a network with observable disruption modes, there exist mode-dependent controls that attain the expected-min-cut capacity; (ii) for a network with infinite link storage spaces, there exists an open-loop control that attains the min-expected-cut capacity. We also design a closed-loop control for general cases and derive an explicit relation from the control to a lower-bound for throughput. Our approach is illustrated by a series of numerical examples.


title: Moving-Resting Process with Measurement Error in Animal Movement Modeling

abstract: Statistical modeling of animal movement is of critical importance. The continuous trajectory of an animal's movements is only observed at discrete, often irregularly spaced time points. Most existing models cannot handle the unequal sampling interval naturally and/or do not allow inactivity periods such as resting or sleeping. The recently proposed moving-resting (MR) model is a Brownian motion governed by a telegraph process, which allows periods of inactivity in one state of the telegraph process. The MR model shows promise in modeling the movements of predators with long inactive periods such as many felids, but the lack of accommodation of measurement errors seriously prohibits its application in practice. Here we incorporate measurement errors in the MR model and derive basic properties of the model. Inferences are based on a composite likelihood using the Markov property of the chain composed by every other observed increments. The performance of the method is validated in finite sample simulation studies. Application to the movement data of a mountain lion in Wyoming illustrates the utility of the method.


title: Towards Lifelong Self-Supervision For Unpaired Image-to-Image Translation

abstract: Unpaired Image-to-Image Translation (I2IT) tasks often suffer from lack of data, a problem which self-supervised learning (SSL) has recently been very popular and successful at tackling. Leveraging auxiliary tasks such as rotation prediction or generative colorization, SSL can produce better and more robust representations in a low data regime. Training such tasks along an I2IT task is however computationally intractable as model size and the number of task grow. On the other hand, learning sequentially could incur catastrophic forgetting of previously learned tasks. To alleviate this, we introduce Lifelong Self-Supervision (LiSS) as a way to pre-train an I2IT model (e.g., CycleGAN) on a set of self-supervised auxiliary tasks. By keeping an exponential moving average of past encoders and distilling the accumulated knowledge, we are able to maintain the network's validation performance on a number of tasks without any form of replay, parameter isolation or retraining techniques typically used in continual learning. We show that models trained with LiSS perform better on past tasks, while also being more robust than the CycleGAN baseline to color bias and entity entanglement (when two entities are very close).


title: Derivative martingale of the branching Brownian motion in dimension $d \geq 1$

abstract: We consider a branching Brownian motion in $\mathbb{R}^d$. We prove that there exists a random subset $\Theta$ of $\mathbb{S}^{d-1}$ such that the limit of the derivative martingale exists simultaneously for all directions $\theta \in \Theta$ almost surely. This allows us to define a random measure on $\mathbb{S}^{d-1}$ whose density is given by the derivative martingale. The proof is based on first moment arguments: we approximate the martingale of interest by a series of processes, which do not take into account the particles that travelled too far away. We show that these new processes are uniformly integrable martingales whose limits can be made to converge to the limit of the original martingale.


title: Weakly-Supervised Action Localization with Expectation-Maximization Multi-Instance Learning

abstract: Weakly-supervised action localization requires training a model to localize the action segments in the video given only video level action label. It can be solved under the Multiple Instance Learning (MIL) framework, where a bag (video) contains multiple instances (action segments). Since only the bag's label is known, the main challenge is assigning which key instances within the bag to trigger the bag's label. Most previous models use attention-based approaches applying attentions to generate the bag's representation from instances, and then train it via the bag's classification. These models, however, implicitly violate the MIL assumption that instances in negative bags should be uniformly negative. In this work, we explicitly model the key instances assignment as a hidden variable and adopt an Expectation-Maximization (EM) framework. We derive two pseudo-label generation schemes to model the E and M process and iteratively optimize the likelihood lower bound. We show that our EM-MIL approach more accurately models both the learning objective and the MIL assumptions. It achieves state-of-the-art performance on two standard benchmarks, THUMOS14 and ActivityNet1.2.


title: The GBT 350-MHz Drift Scan Pulsar Survey. III. Detection of a magnetic field in the eclipsing material of PSR J2256-1024

abstract: We present the first measurement of a non-zero magnetic field in the eclipsing material of a black widow pulsar. Black widows are millisecond pulsars which are ablating their companions; therefore they are often proposed as one potential source of isolated millisecond pulsars. PSR J2256-1024 is an eclipsing black widow discovered at radio wavelengths and later also observed in the X-ray and gamma parts of the spectrum. Here we present the radio timing solution for PSR J2256-1024, polarization profiles at 350, 820, and 1500~MHz and an investigation of changes in the polarization profile due to eclipsing material in the system. In the latter we find evidence of Faraday rotation in the linear polarization shortly after eclipse, measuring a rotation measure of 0.44(6) rad per meter squared and a corresponding line-of-sight magnetic field of 3.5(17) mG.


title: Chiral magnetic effect of hot electrons

abstract: We propose a way to observe the chiral magnetic effect in non-centrosymmetric Weyl semimetals under the action of strong electric field, via the non-linear part of their I-V characteristic that is odd in the external magnetic field, or odd-in-magnetic field voltages in electrically open circuits. This effect relies on valley-selective heating in such materials, which in general leads to nonequilibrium valley population imbalances. In the presence of an external magnetic field, such a valley-imbalanced Weyl semimetal will in general develop an electric current along the direction of the magnetic field -- the chiral magnetic effect. We also discuss a specific experimental setup to observe the chiral magnetic effect of hot electrons.


title: Worst-Case Risk Quantification under Distributional Ambiguity using Kernel Mean Embedding in Moment Problem

abstract: In order to anticipate rare and impactful events, we propose to quantify the worst-case risk under distributional ambiguity using a recent development in kernel methods -- the kernel mean embedding. Specifically, we formulate the generalized moment problem whose ambiguity set (i.e., the moment constraint) is described by constraints in the associated reproducing kernel Hilbert space in a nonparametric manner. We then present the tractable approximation and its theoretical justification. As a concrete application, we numerically test the proposed method in characterizing the worst-case constraint violation probability in the context of a constrained stochastic control system.


title: A Workload Adaptive Haptic Shared Control Scheme for Semi-Autonomous Driving

abstract: Haptic shared control is used to manage the control authority allocation between a human and an autonomous agent in semi-autonomous driving. Existing haptic shared control schemes, however, do not take full consideration of the human agent. To fill this research gap, this study presents a haptic shared control scheme that adapts to a human operator's workload, eyes on road and input torque in real-time. We conducted human-in-the-loop experiments with 24 participants. In the experiment, a human operator and an autonomy module for navigation shared the control of a simulated notional High Mobility Multipurpose Wheeled Vehicle (HMMWV) at a fixed speed. At the same time, the human operator performed a target detection task for surveillance. The autonomy could be either adaptive or non-adaptive to the above-mentioned human factors. Results indicate that the adaptive haptic control scheme resulted in significantly lower workload, higher trust in autonomy, better driving task performance and smaller control effort.


title: Long-term statistics of pulsar glitches triggered by a Brownian stress accumulation process

abstract: A microphysics-agnostic meta-model of rotational glitches in rotation-powered pulsars is developed, wherein the globally averaged internal stress accumulates as a Brownian process between glitches, and a glitch is triggered once a critical threshold is surmounted. Precise, falsifiable predictions are made regarding long-term event statistics in individual pulsars. For example, the Spearman cross-correlation coefficient between the size of a glitch and the waiting time until the next glitch should exceed 0.25 in all pulsars. Among the six pulsars with the most recorded glitches, PSR J0537$-$6910 and PSR J0835$-$4510 are consistent with the predictions of the meta-model, while PSR J1740$-$3015 and PSR J0631$+$1036 are not. PSR J0534$+$2200 and PSR J1341$-$6220 are only consistent with the meta-model, if there exists an undetected population of small glitches with small waiting times, which we do not resolve. The results are compared with a state-dependent Poisson process, another microphysics-agnostic meta-model in the literature. The results are also applied briefly to recent pulse-to-pulse observations of PSRJ0835$-$4510, which appear to reveal evidence for a negative fluctuation in rotation frequency just prior to the 2016 glitch.


title: Classification of Frobenius, two-step solvable Lie poset algebras

abstract: We show that the isomorphism class of a two-step solvable Lie poset subalgebra of a semisimple Lie algebra is determined by its dimension. We further establish that all such algebras are absolutely rigid.


title: Weak lensing clusters from HSC survey first-year data: Mitigating the dilution effect of foreground and cluster member galaxies

abstract: We present a weak lensing cluster search using Hyper Suprime-Cam Subaru Strategic Program (HSC survey) first-year data. We pay special attention to the dilution effect of cluster member and foreground galaxies on weak lensing signals from clusters of galaxies; we adopt the globally normalized weak lensing estimator which is least affected by cluster member galaxies, and we select source galaxies by using photometric redshift information to mitigate the effect of foreground galaxies. We produce six samples of source galaxies with different low-$z$ galaxy cuts, construct weak lensing mass maps for each of the source sample, and search for high peaks in the mass maps that cover an effective survey area of $\sim$120 deg$^2$. We combine six catalogs of high peaks into a sample of cluster candidates which contains 124 high peaks with signal-to-noise ratios greater than five. We cross-match the peak sample with the public optical cluster catalog constructed from the same HSC survey data to identify cluster counterparts of the peaks. We find that 107 out of 124 peaks have matched clusters within 5 arcmin from peak positions. Among them, we define a sub-sample of 64 secure clusters that we use to examine dilution effects on our weak lensing cluster search. We find that source samples with the low-$z$ galaxy cuts mitigate the dilution effect on weak lensing signals of high-$z$ clusters ($z > 0.3$), and thus combining multiple peak catalogs from different source samples improves the efficiency of weak lensing cluster searches.


title: The Edge of Depth: Explicit Constraints between Segmentation and Depth

abstract: In this work we study the mutual benefits of two common computer vision tasks, self-supervised depth estimation and semantic segmentation from images. For example, to help unsupervised monocular depth estimation, constraints from semantic segmentation has been explored implicitly such as sharing and transforming features. In contrast, we propose to explicitly measure the border consistency between segmentation and depth and minimize it in a greedy manner by iteratively supervising the network towards a locally optimal solution. Partially this is motivated by our observation that semantic segmentation even trained with limited ground truth (200 images of KITTI) can offer more accurate border than that of any (monocular or stereo) image-based depth estimation. Through extensive experiments, our proposed approach advances the state of the art on unsupervised monocular depth estimation in the KITTI.


title: Graphs with few trivial characteristic ideals

abstract: We give a characterization of the graphs with at most three trivial characteristic ideals. This implies the complete characterization of the regular graphs whose critical groups have at most three invariant factors equal to 1 and the characterization of the graphs whose Smith groups have at most 3 invariant factors equal to 1. We also give an alternative and simpler way to obtain the characterization of the graphs whose Smith groups have at most 3 invariant factors equal to 1, and a list of minimal forbidden graphs for the family of graphs with Smith group having at most 4 invariant factors equal to 1.


title: Manifold-Aware CycleGAN for High-Resolution Structural-to-DTI Synthesis

abstract: Unpaired image-to-image translation has been applied successfully to natural images but has received very little attention for manifold-valued data such as in diffusion tensor imaging (DTI). The non-Euclidean nature of DTI prevents current generative adversarial networks (GANs) from generating plausible images and has mainly limited their application to diffusion MRI scalar maps, such as fractional anisotropy (FA) or mean diffusivity (MD). Even if these scalar maps are clinically useful, they mostly ignore fiber orientations and therefore have limited applications for analyzing brain fibers. Here, we propose a manifold-aware CycleGAN that learns the generation of high-resolution DTI from unpaired T1w images. We formulate the objective as a Wasserstein distance minimization problem of data distributions on a Riemannian manifold of symmetric positive definite 3x3 matrices SPD(3), using adversarial and cycle-consistency losses. To ensure that the generated diffusion tensors lie on the SPD(3) manifold, we exploit the theoretical properties of the exponential and logarithm maps of the Log-Euclidean metric. We demonstrate that, unlike standard GANs, our method is able to generate realistic high-resolution DTI that can be used to compute diffusion-based metrics and potentially run fiber tractography algorithms. To evaluate our model's performance, we compute the cosine similarity between the generated tensors principal orientation and their ground-truth orientation, the mean squared error (MSE) of their derived FA values and the Log-Euclidean distance between the tensors. We demonstrate that our method produces 2.5 times better FA MSE than a standard CycleGAN and up to 30% better cosine similarity than a manifold-aware Wasserstein GAN while synthesizing sharp high-resolution DTI.


title: On a question of Slaman and Steel

abstract: We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer, it implies there is a universal countable Borel equivalence which is not uniformly universal, and that there is a $(\equiv_T,\equiv_m)$-invariant function which is not uniformly invariant on any pointed perfect set.


title: Improved Source Counting and Separation for Monaural Mixture

abstract: Single-channel speech separation in time domain and frequency domain has been widely studied for voice-driven applications over the past few years. Most of previous works assume known number of speakers in advance, however, which is not easily accessible through monaural mixture in practice. In this paper, we propose a novel model of single-channel multi-speaker separation by jointly learning the time-frequency feature and the unknown number of speakers. Specifically, our model integrates the time-domain convolution encoded feature map and the frequency-domain spectrogram by attention mechanism, and the integrated features are projected into high-dimensional embedding vectors which are then clustered with deep attractor network to modify the encoded feature. Meanwhile, the number of speakers is counted by computing the Gerschgorin disks of the embedding vectors which are orthogonal for different speakers. Finally, the modified encoded feature is inverted to the sound waveform using a linear decoder. Experimental evaluation on the GRID dataset shows that the proposed method with a single model can accurately estimate the number of speakers with 96.7 % probability of success, while achieving the state-of-the-art separation results on multi-speaker mixtures in terms of scale-invariant signal-to-noise ratio improvement (SI-SNRi) and signal-to-distortion ratio improvement (SDRi).


title: Knowledge as Priors: Cross-Modal Knowledge Generalization for Datasets without Superior Knowledge

abstract: Cross-modal knowledge distillation deals with transferring knowledge from a model trained with superior modalities (Teacher) to another model trained with weak modalities (Student). Existing approaches require paired training examples exist in both modalities. However, accessing the data from superior modalities may not always be feasible. For example, in the case of 3D hand pose estimation, depth maps, point clouds, or stereo images usually capture better hand structures than RGB images, but most of them are expensive to be collected. In this paper, we propose a novel scheme to train the Student in a Target dataset where the Teacher is unavailable. Our key idea is to generalize the distilled cross-modal knowledge learned from a Source dataset, which contains paired examples from both modalities, to the Target dataset by modeling knowledge as priors on parameters of the Student. We name our method "Cross-Modal Knowledge Generalization" and demonstrate that our scheme results in competitive performance for 3D hand pose estimation on standard benchmark datasets.


title: Large-scale behavior of a particle system with mean-field interaction: Traveling wave solutions

abstract: We use probabilistic methods to study properties of mean-field models, arising as large-scale limits of certain particle systems with mean-field interaction. The underlying particle system is such that $n$ particles move forward on the real line. Specifically, each particle "jumps forward" at some time points, with the instantaneous rate of jumps given by a decreasing function of the particle's location quantile within the overall distribution of particle locations. A mean-field model describes the evolution of the particles' distribution, when $n$ is large. It is essentially a solution to an integro-differential equation within a certain class. Our main results concern the existence and uniqueness of -- and attraction to -- mean-field models which are traveling waves, under general conditions on the jump-rate function and the jump-size distribution.


title: Quantum correlations overcome the photodamage limits of light microscopy

abstract: State-of-the-art microscopes use intense lasers that can severely disturb biological processes, function and viability. This introduces hard limits on performance that only quantum photon correlations can overcome. Here we demonstrate this absolute quantum advantage, achieving signal-to-noise beyond the photodamage-free capacity of conventional microscopy. We achieve this in a coherent Raman microscope, which we use to image molecular bonds within a cell with both quantum-enhanced contrast and sub-wavelength resolution. This allows the observation of nanoscale biological structures that would otherwise not be resolved. Coherent Raman microscopes allow highly selective biomolecular finger-printing in unlabelled specimens, but photodamage is a major roadblock for many applications. By showing that this roadblock can be overcome, our work provides a path towards order-of-magnitude improvements in both sensitivity and imaging speed.

categories: physics.optics physics.bio-ph physics.med-ph quant-ph


title: Fully-Corrective Gradient Boosting with Squared Hinge: Fast Learning Rates and Early Stopping

abstract: Boosting is a well-known method for improving the accuracy of weak learners in machine learning. However, its theoretical generalization guarantee is missing in literature. In this paper, we propose an efficient boosting method with theoretical generalization guarantees for binary classification. Three key ingredients of the proposed boosting method are: a) the \textit{fully-corrective greedy} (FCG) update in the boosting procedure, b) a differentiable \textit{squared hinge} (also called \textit{truncated quadratic}) function as the loss function, and c) an efficient alternating direction method of multipliers (ADMM) algorithm for the associated FCG optimization. The used squared hinge loss not only inherits the robustness of the well-known hinge loss for classification with outliers, but also brings some benefits for computational implementation and theoretical justification. Under some sparseness assumption, we derive a fast learning rate of the order ${\cal O}((m/\log m)^{-1/4})$ for the proposed boosting method, which can be further improved to ${\cal O}((m/\log m)^{-1/2})$ if certain additional noise assumption is imposed, where $m$ is the size of sample set. Both derived learning rates are the best ones among the existing generalization results of boosting-type methods for classification. Moreover, an efficient early stopping scheme is provided for the proposed method. A series of toy simulations and real data experiments are conducted to verify the developed theories and demonstrate the effectiveness of the proposed method.


title: Spatio-Temporal Action Detection with Multi-Object Interaction

abstract: Spatio-temporal action detection in videos requires localizing the action both spatially and temporally in the form of an "action tube". Nowadays, most spatio-temporal action detection datasets (e.g. UCF101-24, AVA, DALY) are annotated with action tubes that contain a single person performing the action, thus the predominant action detection models simply employ a person detection and tracking pipeline for localization. However, when the action is defined as an interaction between multiple objects, such methods may fail since each bounding box in the action tube contains multiple objects instead of one person. In this paper, we study the spatio-temporal action detection problem with multi-object interaction. We introduce a new dataset that is annotated with action tubes containing multi-object interactions. Moreover, we propose an end-to-end spatio-temporal action detection model that performs both spatial and temporal regression simultaneously. Our spatial regression may enclose multiple objects participating in the action. During test time, we simply connect the regressed bounding boxes within the predicted temporal duration using a simple heuristic. We report the baseline results of our proposed model on this new dataset, and also show competitive results on the standard benchmark UCF101-24 using only RGB input.


title: Inverse methods for design of soft materials

abstract: Functional soft materials, comprising colloidal and molecular building blocks that self-organize into complex structures as a result of their tunable interactions, enable a wide array of technological applications. Inverse methods provide systematic means for navigating their inherently high-dimensional design spaces to create materials with targeted properties. While multiple physically motivated inverse strategies have been successfully implemented in silico, their translation to guiding experimental materials discovery has thus far been limited to a handful of proof-of-concept studies. In this Perspective, we discuss recent advances in inverse methods for design of soft materials that address two challenges: (1) methodological limitations that prevent such approaches from satisfying design constraints and (2) computational challenges that limit the size and complexity of systems that can be addressed. Strategies that leverage machine learning have proven particularly effective, including methods to discover order parameters that characterize complex structural motifs and schemes to efficiently compute macroscopic properties from the underlying structure. We also highlight promising opportunities to improve the experimental realizability of materials designed computationally, including discovery of materials with functionality at multiple thermodynamic states, design of externally directed assembly protocols that are simple to implement in experiments, and strategies to improve the accuracy and computational efficiency of experimentally relevant models.


title: Energy-Efficiency Path Planning for Quadrotor UAV Under Wind Conditions

abstract: Quadrotor unmanned aerial vehicles have a limited quantity of embedded energy. To preserve and guaranty the success of the UAV mission, we should manage energy consumption during the mission. In this study we introduce an optimization algorithm to minimize the consumed energy in quadrotor mission under windy conditions. The mechanical energy consumed by rotors of the flying vehicle is formulated with an efficiency function. Then, we formulate the energy minimization problem as an optimal control problem. The last problem is solved in order to calculate minimum energy for quadrotor simple mission under windy conditions. In simulation experiment, we compare the proposed method with an adaptive control approach.


title: Littlewood Complexes for Symmetric Groups

abstract: We construct a complex $\mathcal{L}_\bullet^\lambda$ resolving the irreducible representations $\mathcal{S}^{\lambda[n]}$ of the symmetric groups $S_n$ by representations restricted from $GL_n(k)$. This construction lifts to $\mathrm{Rep}(S_\infty)$, where it yields injective resolutions of simple objects. It categorifies stable Specht polynomials, and allows us to understand evaluations of these polynomials for all $n$.


title: A theory of independent mechanisms for extrapolation in generative models

abstract: Generative models can be trained to emulate complex empirical data, but are they useful to make predictions in the context of previously unobserved environments? An intuitive idea to promote such extrapolation capabilities is to have the architecture of such model reflect a causal graph of the true data generating process, such that one can intervene on each node independently of the others. However, the nodes of this graph are usually unobserved, leading to overparameterization and lack of identifiability of the causal structure. We develop a theoretical framework to address this challenging situation by defining a weaker form of identifiability, based on the principle of independence of mechanisms. We demonstrate on toy examples that classical stochastic gradient descent can hinder the model's extrapolation capabilities, suggesting independence of mechanisms should be enforced explicitly during training. Experiments on deep generative models trained on real world data support these insights and illustrate how the extrapolation capabilities of such models can be leveraged.


title: Rough 1D Photonic Crystals: a transfer matrix approach

abstract: Interfacial roughness is prevalent in 1D photonic crystals and other layered structures, but is not generally accounted for in their design nor the analysis of their optical properties due to a lack of simple theoretical approaches. We present a transfer matrix formalism to incorporate the effects of interfacial roughness in the optical properties of stratified systems such as 1D photonic crystals and apply it to calculate the optical response of some nanoporous anodic alumina and porous silicon structures. We have validated our formalism by comparing our results to some experiments.


title: Boundary-Aware Dense Feature Indicator for Single-Stage 3D Object Detection from Point Clouds

abstract: 3D object detection based on point clouds has become more and more popular. Some methods propose localizing 3D objects directly from raw point clouds to avoid information loss. However, these methods come with complex structures and significant computational overhead, limiting its broader application in real-time scenarios. Some methods choose to transform the point cloud data into compact tensors first and leverage off-the-shelf 2D detectors to propose 3D objects, which is much faster and achieves state-of-the-art results. However, because of the inconsistency between 2D and 3D data, we argue that the performance of compact tensor-based 3D detectors is restricted if we use 2D detectors without corresponding modification. Specifically, the distribution of point clouds is uneven, with most points gather on the boundary of objects, while detectors for 2D data always extract features evenly. Motivated by this observation, we propose DENse Feature Indicator (DENFI), a universal module that helps 3D detectors focus on the densest region of the point clouds in a boundary-aware manner. Moreover, DENFI is lightweight and guarantees real-time speed when applied to 3D object detectors. Experiments on KITTI dataset show that DENFI improves the performance of the baseline single-stage detector remarkably, which achieves new state-of-the-art performance among previous 3D detectors, including both two-stage and multi-sensor fusion methods, in terms of mAP with a 34FPS detection speed.


title: Internal split opfibrations and cofunctors

abstract: Split opfibrations are functors equipped with a suitable choice of opcartesian lifts. The purpose of this paper is to characterise internal split opfibrations through separating the structure of a suitable choice of lifts from the property of these lifts being opcartesian. The underlying structure of an internal split opfibration is captured by an internal functor equipped with an internal cofunctor, while the property may be expressed as a pullback condition, akin to the simple condition on an internal functor to be an internal discrete opfibration. Furthermore, this approach provides two additional characterisations of internal split opfibrations, via the d\'ecalage construction and strict factorisation systems. For small categories, this theory clarifies several aspects of delta lenses which arise in computer science.


title: Improving Perceptual Quality of Drum Transcription with the Expanded Groove MIDI Dataset

abstract: We introduce the Expanded Groove MIDI dataset (E-GMD), an automatic drum transcription (ADT) dataset that contains 444 hours of audio from 43 drum kits, making it an order of magnitude larger than similar datasets, and the first with human-performed velocity annotations. We use E-GMD to optimize classifiers for use in downstream generation by predicting expressive dynamics (velocity) and show with listening tests that they produce outputs with improved perceptual quality, despite similar results on classification metrics. Via the listening tests, we argue that standard classifier metrics, such as accuracy and F-measure score, are insufficient proxies of performance in downstream tasks because they do not fully align with the perceptual quality of generated outputs.


title: Central elements in affine mod $p$ Hecke algebras via perverse $\mathbb{F}_p$-sheaves

abstract: Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke algebra to the center of the Iwahori mod $p$ Hecke algebra. We also give a formula for the central integral Bernstein elements in the Iwahori mod $p$ Hecke algebra. To accomplish these goals we construct a nearby cycles functor for perverse $\mathbb{F}_p$-sheaves and we use Frobenius splitting techniques to prove some properties of this functor. We also prove that certain equal characteristic analogues of local models of Shimura varieties are strongly $F$-regular, and hence they are $F$-rational and have pseudo-rational singularities.


title: Technical Report: Developing a Working Data Hub

abstract: Data forms a key component of any enterprise. The need for high quality and easy access to data is further amplified by organizations wishing to leverage machine learning or artificial intelligence for their operations. To this end, many organizations are building resources for managing heterogenous data, providing end-users with an organization wide view of available data, and acting as a centralized repository for data owned/collected by an organization. Very broadly, we refer to these class of techniques as a "data hub." While there is no clear definition of what constitutes a data hub, some of the key characteristics include: data catalog; links to data sets or owners of data sets or centralized data repository; basic ability to serve / visualize data sets; access control policies that ensure secure data access and respects policies of data owners; and computing capabilities tied with data hub infrastructure. Of course, developing such a data hub entails numerous challenges. This document provides background in databases, data management and outlines best practices and recommendations for developing and deploying a working data hub.


title: Semi-Supervised Cervical Dysplasia Classification With Learnable Graph Convolutional Network

abstract: Cervical cancer is the second most prevalent cancer affecting women today. As the early detection of cervical carcinoma relies heavily upon screening and pre-clinical testing, digital cervicography has great potential as a primary or auxiliary screening tool, especially in low-resource regions due to its low cost and easy access. Although an automated cervical dysplasia detection system has been desirable, traditional fully-supervised training of such systems requires large amounts of annotated data which are often labor-intensive to collect. To alleviate the need for much manual annotation, we propose a novel graph convolutional network (GCN) based semi-supervised classification model that can be trained with fewer annotations. In existing GCNs, graphs are constructed with fixed features and can not be updated during the learning process. This limits their ability to exploit new features learned during graph convolution. In this paper, we propose a novel and more flexible GCN model with a feature encoder that adaptively updates the adjacency matrix during learning and demonstrate that this model design leads to improved performance. Our experimental results on a cervical dysplasia classification dataset show that the proposed framework outperforms previous methods under a semi-supervised setting, especially when the labeled samples are scarce.


title: Instances of Computational Optimal Recovery: Dealing with Observation Errors

abstract: When attempting to recover functions from observational data, one naturally seeks to do so in an optimal manner with respect to some modeling assumption. With a focus put on the worst-case setting, this is the standard goal of Optimal Recovery. The distinctive twists here are the consideration of inaccurate data through some boundedness models and the emphasis on computational realizability. Several scenarios are unraveled through the efficient constructions of optimal recovery maps: local optimality under linearly or semidefinitely describable models, global optimality for the estimation of linear functionals under approximability models, and global near-optimality under approximability models in the space of continuous functions.


title: Cells in affine q-Schur algebras

abstract: We develop algebraic and geometrical approaches toward canonical bases for affine q-Schur algebras of arbitrary type introduced in this paper. A duality between an affine q-Schur algebra and a corresponding affine Hecke algebra is established. We introduce an inner product on the affine q-Schur algebra, with respect to which the canonical basis is shown to be positive and almost orthonormal. We then formulate the cells and asymptotic forms for affine q-Schur algebras, and develop their basic properties analogous to the cells and asymptotic forms for affine Hecke algebras established by Lusztig. The results on cells and asymptotic algebras are also valid for q-Schur algebras of arbitrary finite type.


title: Stabilization of It\^o Stochastic T-S Models via Line Integral and Novel Estimate for Hessian Matrices

abstract: This paper proposes a line integral Lyapunov function approach to stability analysis and stabilization for It\^o stochastic T-S models. Unlike the deterministic case, stability analysis of this model needs the information of Hessian matrix of the line integral Lyapunov function which is related to partial derivatives of the basis functions. By introducing a new method to handle these partial derivatives and using the property of state-dependent matrix with rank one, the stability conditions of the underlying system can be established via a line integral Lyapunov function. These conditions obtained are more general than the ones which are based on quadratic Lyapunov functions. Based on the stability conditions, a controller is developed by cone complementarity linerization algorithm. A non-quadratic Lyapunov function approach is thus proposed for the stabilization problem of the It\^o stochastic T-S models. It has been shown that the problem can be solved by optimizing sum of traces for a group of products of matrix variables with linear constraints. Numerical examples are given to illustrate the effectiveness of the proposed control scheme.


title: Instances of Computational Optimal Recovery: Refined Approximability Models

abstract: Models based on approximation capabilities have recently been studied in the context of Optimal Recovery. These models, however, are not compatible with overparametrization, since model- and data-consistent functions could then be unbounded. This drawback motivates the introduction of refined approximability models featuring an added boundedness condition. Thus, two new models are proposed in this article: one where the boundedness applies to the target functions (first type) and one where the boundedness applies to the approximants (second type). For both types of model, optimal maps for the recovery of linear functionals are first described on an abstract level before their efficient constructions are addressed. By exploiting techniques from semidefinite programming, these constructions are explicitly carried out on a common example involving polynomial subspaces of $\mathcal{C}[-1,1]$.


title: Equilibrium Selection in Data Markets: Multiple-Principal, Multiple-Agent Problems with Non-Rivalrous Goods

abstract: There are several aspects of data markets that distinguish them from a typical commodity market: asymmetric information, the non-rivalrous nature of data, and informational externalities. Formally, this gives rise to a new class of games which we call multiple-principal, multiple-agent problem with non-rivalrous goods. Under the assumption that the principal's payoff is quasilinear in the payments given to agents, we show that there is a fundamental degeneracy in the market of non-rivalrous goods. This multiplicity of equilibria also affects common refinements of equilibrium definitions intended to uniquely select an equilibrium: both variational equilibria and normalized equilibria will be non-unique in general. This implies that most existing equilibrium concepts cannot provide predictions on the outcomes of data markets emerging today. The results support the idea that modifications to payment contracts themselves are unlikely to yield a unique equilibrium, and either changes to the models of study or new equilibrium concepts will be required to determine unique equilibria in settings with multiple principals and a non-rivalrous good.


abstract: Supervised cross-modal hashing aims to embed the semantic correlations of heterogeneous modality data into the binary hash codes with discriminative semantic labels. Because of its advantages on retrieval and storage efficiency, it is widely used for solving efficient cross-modal retrieval. However, existing researches equally handle the different tasks of cross-modal retrieval, and simply learn the same couple of hash functions in a symmetric way for them. Under such circumstance, the uniqueness of different cross-modal retrieval tasks are ignored and sub-optimal performance may be brought. Motivated by this, we present a Task-adaptive Asymmetric Deep Cross-modal Hashing (TA-ADCMH) method in this paper. It can learn task-adaptive hash functions for two sub-retrieval tasks via simultaneous modality representation and asymmetric hash learning. Unlike previous cross-modal hashing approaches, our learning framework jointly optimizes semantic preserving that transforms deep features of multimedia data into binary hash codes, and the semantic regression which directly regresses query modality representation to explicit label. With our model, the binary codes can effectively preserve semantic correlations across different modalities, meanwhile, adaptively capture the query semantics. The superiority of TA-ADCMH is proved on two standard datasets from many aspects.


title: Extreme Multi-label Classification from Aggregated Labels

abstract: Extreme multi-label classification (XMC) is the problem of finding the relevant labels for an input, from a very large universe of possible labels. We consider XMC in the setting where labels are available only for groups of samples - but not for individual ones. Current XMC approaches are not built for such multi-instance multi-label (MIML) training data, and MIML approaches do not scale to XMC sizes. We develop a new and scalable algorithm to impute individual-sample labels from the group labels; this can be paired with any existing XMC method to solve the aggregated label problem. We characterize the statistical properties of our algorithm under mild assumptions, and provide a new end-to-end framework for MIML as an extension. Experiments on both aggregated label XMC and MIML tasks show the advantages over existing approaches.


title: GitHub Repositories with Links to Academic Papers: Public Access, Traceability, and Evolution

abstract: Traceability between published scientific breakthroughs and their implementation is essential, especially in the case of open-source scientific software which implements bleeding-edge science in its code. However, aligning the link between GitHub repositories and academic papers can prove difficult, and the current practice of establishing and maintaining such links remains unknown. This paper investigates the role of academic paper references contained in these repositories. We conduct a large-scale study of 20 thousand GitHub repositories that make references to academic papers. We use a mixed-methods approach to identify public access, traceability and evolutionary aspects of the links. Although referencing a paper is not typical, we find that a vast majority of referenced academic papers are public access. These repositories tend to be affiliated with academic communities. More than half of the papers do not link back to any repository. We find that academic papers from top-tier SE venues are not likely to reference a repository, but when they do, they usually link to a GitHub software repository. In a network of arXiv papers and referenced repositories, we find that the most referenced papers are (i) highly-cited in academia and (ii) are referenced by repositories written in different programming languages.


title: On The Differences Between Song and Speech Emotion Recognition: Effect of Feature Sets, Feature Types, and Classifiers

abstract: In this paper, we evaluate the different features sets, feature types, and classifiers on both song and speech emotion recognition. Three feature sets: GeMAPS, pyAudioAnalysis, and LibROSA; two feature types: low-level descriptors and high-level statistical functions; and four classifiers: multilayer perceptron, LSTM, GRU, and convolution neural networks are examined on both song and speech data with the same parameter values. The results show no remarkable difference between song and speech data using the same method. In addition, high-level statistical functions of acoustic features gained higher performance scores than low-level descriptors in this classification task. This result strengthens the previous finding on the regression task which reported the advantage use of high-level features.


title: NetDP: An Industrial-Scale Distributed Network Representation Framework for Default Prediction in Ant Credit Pay

abstract: Ant Credit Pay is a consumer credit service in Ant Financial Service Group. Similar to credit card, loan default is one of the major risks of this credit product. Hence, effective algorithm for default prediction is the key to losses reduction and profits increment for the company. However, the challenges facing in our scenario are different from those in conventional credit card service. The first one is scalability. The huge volume of users and their behaviors in Ant Financial requires the ability to process industrial-scale data and perform model training efficiently. The second challenges is the cold-start problem. Different from the manual review for credit card application in conventional banks, the credit limit of Ant Credit Pay is automatically offered to users based on the knowledge learned from big data. However, default prediction for new users is suffered from lack of enough credit behaviors. It requires that the proposal should leverage other new data source to alleviate the cold-start problem. Considering the above challenges and the special scenario in Ant Financial, we try to incorporate default prediction with network information to alleviate the cold-start problem. In this paper, we propose an industrial-scale distributed network representation framework, termed NetDP, for default prediction in Ant Credit Pay. The proposal explores network information generated by various interaction between users, and blends unsupervised and supervised network representation in a unified framework for default prediction problem. Moreover, we present a parameter-server-based distributed implement of our proposal to handle the scalability challenge. Experimental results demonstrate the effectiveness of our proposal, especially in cold-start problem, as well as the efficiency for industrial-scale dataset.


title: Shared Cross-Modal Trajectory Prediction for Autonomous Driving

abstract: Predicting future trajectories of traffic agents in highly interactive environments is an essential and challenging problem for the safe operation of autonomous driving systems. On the basis of the fact that self-driving vehicles are equipped with various types of sensors (e.g., LiDAR scanner, RGB camera, radar, etc.), we propose a Cross-Modal Embedding framework that aims to benefit from the use of multiple input modalities. At training time, our model learns to embed a set of complementary features in a shared latent space by jointly optimizing the objective functions across different types of input data. At test time, a single input modality (e.g., LiDAR data) is required to generate predictions from the input perspective (i.e., in the LiDAR space), while taking advantages from the model trained with multiple sensor modalities. An extensive evaluation is conducted to show the efficacy of the proposed framework using two benchmark driving datasets.


title: Bondi on spherically symmetric accretion

abstract: Hermann Bondi's 1952 paper "On spherically symmetrical accretion" is recognized as one of the foundations of accretion theory. Although Bondi later remarked that it was "not much more than an examination exercise", his mathematical analysis of spherical accretion on to a point mass has found broad use across fields of astrophysics that were embryonic or non-existent at the time of the paper's publication. In this non-technical review, I describe the motivations for Bondi's work, and briefly discuss some of the applications of Bondi accretion in high energy astrophysics, galaxy formation, and star formation.


title: Ontology-based Interpretable Machine Learning for Textual Data

abstract: In this paper, we introduce a novel interpreting framework that learns an interpretable model based on an ontology-based sampling technique to explain agnostic prediction models. Different from existing approaches, our algorithm considers contextual correlation among words, described in domain knowledge ontologies, to generate semantic explanations. To narrow down the search space for explanations, which is a major problem of long and complicated text data, we design a learnable anchor algorithm, to better extract explanations locally. A set of regulations is further introduced, regarding combining learned interpretable representations with anchors to generate comprehensible semantic explanations. An extensive experiment conducted on two real-world datasets shows that our approach generates more precise and insightful explanations compared with baseline approaches.


title: A relative spannedness for log canonical pairs and quasi-log canonical pairs

abstract: We establish a relative spannedness for log canonical pairs, which is a generalization of the basepoint-freeness for varieties with log-terminal singularities by Andreatta--Wi\'sniewski. Moreover, we establish a generalization for quasi-log canonical pairs.


title: Degree assortativity in networks of spiking neurons

abstract: Degree assortativity refers to the increased or decreased probability of connecting two neurons based on their in- or out-degrees, relative to what would be expected by chance. We investigate the effects of such assortativity in a network of theta neurons. The Ott/Antonsen ansatz is used to derive equations for the expected state of each neuron, and these equations are then coarse-grained in degree space. We generate families of effective connectivity matrices parametrised by assortativity coefficient and use SVD decompositions of these to efficiently perform numerical bifurcation analysis of the coarse-grained equations. We find that of the four possible types of degree assortativity, two have no effect on the networks' dynamics, while the other two can have a significant effect.