title: Dust Production Rates in the Fomalhaut Debris Disk from SOFIA/FORCAST Mid-infrared Imaging

abstract: We present the first spatially resolved mid-infrared (37.1 $\mu$m) image of the Fomalhaut debris disk. We use PSF fitting and subtraction to distinctly measure the flux from the unresolved component and the debris disk. We measure an infrared excess in the point source of $0.9 \pm 0.2$ Jy, consistent with emission from warm dust in an inner disk structure (Su et al. 2016), and inconsistent with a stellar wind origin. We cannot confirm or rule out the presence of a pileup ring (Su et al. 2016) near the star. In the cold region, the 37 $\mu$m imaging is sensitive to emission from small, blowout grains, which is an excellent probe of the dust production rate from planetesimal collisions. Under the assumptions that the dust grains are icy aggregates and the debris disk is in steady state, this result is consistent with the dust production rates predicted by Kenyon & Bromley (2008) from theoretical models of icy planet formation. We find a dust luminosity of $(7.9 \pm 0.8) \times 10^{-4}$ L$_\odot$ and a dust mass of 8 -- 16 lunar masses, depending on grain porosity, with $\sim 1$ lunar mass in grains with radius 1 $\mu$m -- 1 mm. If the grains are icy and highly porous, meter-sized objects must be invoked to explain the far-IR, submm, and mm emission. If the grains are composed of astronomical silicates, there is a dearth of blowout grains (Pawellek et al. 2014) and the mass loss rate is well below the predicted dust production values.


title: Rigid Material on Top of a Compliant Flooring Effectively Reduces the Impact Force In The Event of a Forward Fall

abstract: The biomechanical studies have proposed several forward fall arresting strategies to reduce the impact forces in a human-robot collaboration environment. A proposed strategy is using a compliant flooring for an environment because it can reduce the stiffness of the ground. In this study, we proposed that if a rigid layer is mounted on a compliant flooring (double-layer flooring), the impact force is further reduced. In order to investigate this goal, we designed two subjective laboratory experiments. In experiment 1, the subjects were instructed falling to the ground where was covered by a single layer of compliant material (a foam pad). In experiment 2, the subjects fell on double-layer flooring when one rigid layer (a wood surface) was mounted on the compliant layer. The impact forces were measured for two short forward fall heights onto the outstretched hand. The results showed that the profile of the impact forces consists of two peaks. The first peak has a higher magnitude, and it is followed by the second peak with a lower magnitude. Comparing the magnitude of the first peak between two experiments shows a reduction of the impact force in experiment 2. In contrast, the magnitudes of second peaks are identical for both experiments. Therefore, we concluded that using a double-layer flooring, i.e.one rigid layer and one compliant layer can be an effective strategy for considerably reducing the impact force, and preventing the wrist fractures during the forward fall.


title: Cycle Consistent Adversarial Denoising Network for Multiphase Coronary CT Angiography

abstract: In coronary CT angiography, a series of CT images are taken at different levels of radiation dose during the examination. Although this reduces the total radiation dose, the image quality during the low-dose phases is significantly degraded. To address this problem, here we propose a novel semi-supervised learning technique that can remove the noises of the CT images obtained in the low-dose phases by learning from the CT images in the routine dose phases. Although a supervised learning approach is not possible due to the differences in the underlying heart structure in two phases, the images in the two phases are closely related so that we propose a cycle-consistent adversarial denoising network to learn the non-degenerate mapping between the low and high dose cardiac phases. Experimental results showed that the proposed method effectively reduces the noise in the low-dose CT image while the preserving detailed texture and edge information. Moreover, thanks to the cyclic consistency and identity loss, the proposed network does not create any artificial features that are not present in the input images. Visual grading and quality evaluation also confirm that the proposed method provides significant improvement in diagnostic quality.


title: Stable soft extrapolation of entire functions

abstract: Soft extrapolation refers to the problem of recovering a function from its samples, multiplied by a fast-decaying window and perturbed by an additive noise, over an interval which is potentially larger than the essential support of the window. A core theoretical question is to provide bounds on the possible amount of extrapolation, depending on the sample perturbation level and the function prior. In this paper we consider soft extrapolation of entire functions of finite order and type (containing the class of bandlimited functions as a special case), multiplied by a super-exponentially decaying window (such as a Gaussian). We consider a weighted least-squares polynomial approximation with judiciously chosen number of terms and a number of samples which scales linearly with the degree of approximation. It is shown that this simple procedure provides stable recovery with an extrapolation factor which scales logarithmically with the perturbation level and is inversely proportional to the characteristic lengthscale of the function. The pointwise extrapolation error exhibits a H\"{o}lder-type continuity with an exponent derived from weighted potential theory, which changes from 1 near the available samples, to 0 when the extrapolation distance reaches the characteristic smoothness length scale of the function. The algorithm is asymptotically minimax, in the sense that there is essentially no better algorithm yielding meaningfully lower error over the same smoothness class. When viewed in the dual domain, the above problem corresponds to (stable) simultaneous de-convolution and super-resolution for objects of small space/time extent. Our results then show that the amount of achievable super-resolution is inversely proportional to the object size, and therefore can be significant for small objects.


title: Design of TDC ASIC based on Temperature Compensation

abstract: .On the basis of requirement of CSNS, we designed a TDC chip with temperature compensation function in this paper, which employed TSMC 180nm process. Using delay unit bufx8 as the major method, delay lines in each level delayed input signal line through the bufx8 unit to realize fundamental measurement function. The time intervals of two fixed delay standard pulses did not change with temperature variation via intra-chip phase-locked loop. After that, the two standard pulses were sent to TDC internal delay line and measured their values. Then the measured values and standard values were compared. According to the result of comparing and decision switch, the structure of delay lines was reconstructed and their levels were recorded at the same time. We could ensure that the total length of the effective delay line were close to clock cycle as much as possible under the current temperature. The chip was tested after the completion of design. It was found that the time resolution of TDC ASIC was 73ps under 1.8V power supply at room temperature while the time resolutions were 103ps and 62ps at 85$^\circ$ and 0$^\circ$, respectively.


title: A Practical Incremental Learning Framework For Sparse Entity Extraction

abstract: This work addresses challenges arising from extracting entities from textual data, including the high cost of data annotation, model accuracy, selecting appropriate evaluation criteria, and the overall quality of annotation. We present a framework that integrates Entity Set Expansion (ESE) and Active Learning (AL) to reduce the annotation cost of sparse data and provide an online evaluation method as feedback. This incremental and interactive learning framework allows for rapid annotation and subsequent extraction of sparse data while maintaining high accuracy. We evaluate our framework on three publicly available datasets and show that it drastically reduces the cost of sparse entity annotation by an average of 85% and 45% to reach 0.9 and 1.0 F-Scores respectively. Moreover, the method exhibited robust performance across all datasets.


title: Development of energy-resolved neutron imaging detectors at RADEN

abstract: Energy-resolved neutron imaging at a pulsed source utilizes the energy-dependent neutron transmission measured via time-of-flight to extract quantitative information about the internal microstructure of an object. At the RADEN instrument at J-PARC in Japan, we use cutting-edge detectors employing micro-pattern detectors or fast Li-glass scintillators and fast, all-digital data acquisition to perform such measurements, while continuing their development toward better utilization of the intense neutron source. In particular, for the Micro-Pixel Chamber based Neutron Imaging Detector ({\mu}NID), a micro-pattern detector with a 400 {\mu}m pitch and employing 3He for neutron conversion, we have successfully improved the spatial resolution from 200 to 100 {\mu}m, increased the detection efficiency from 18 to 26% for thermal neutrons, and increased the maximum count rate from 0.4 to 1 Mcps. We are also testing a new readout element with a 215 {\mu}m pitch for further improved spatial resolution, and a {\mu}NID with boron-based neutron converter for increased rate performance.


title: Finite Temperature Behavior in the Second Landau Level of the Two-dimensional Electron Gas

abstract: Reports of weak local minima in the magnetoresistance at $\nu=2+3/5$, $2+3/7$, $2+4/9$, $2+5/9$, $2+5/7$, and $2+5/8$ in the second Landau level of the electron gas in GaAs/AlGaAs left open the possibility of fractional quantum Hall states at these filling factors. In a high quality sample we found that the magnetoresistance exhibits peculiar features near these filling factors of interest. These features, however, cannot be associated with fractional quantum Hall states; instead they originate from magnetoresistive fingerprints of the electronic bubble phases. We found only two exceptions: at $\nu=2+2/7$ and $2+5/7$ there is evidence for incipient fractional quantum Hall states at intermediate temperatures. As the temperature is lowered, these fractional quantum Hall states collapse due to a phase competition with bubble phases.


title: Markov chain Simulation for Multilevel Monte Carlo

abstract: This paper considers a new approach to using Markov chain Monte Carlo (MCMC) in contexts where one may adopt multilevel (ML) Monte Carlo. The underlying problem is to approximate expectations w.r.t. an underlying probability measure that is associated to a continuum problem, such as a continuous-time stochastic process. It is then assumed that the associated probability measure can only be used (e.g. sampled) under a discretized approximation. In such scenarios, it is known that to achieve a target error, the computational effort can be reduced when using MLMC relative to exact sampling from the most accurate discretized probability. The ideas rely upon introducing hierarchies of the discretizations where less accurate approximations cost less to compute, and using an appropriate collapsing sum expression for the target expectation. If a suitable coupling of the probability measures in the hierarchy is achieved, then a reduction in cost is possible. This article focused on the case where exact sampling from such coupling is not possible. We show that one can construct suitably coupled MCMC kernels when given only access to MCMC kernels which are invariant with respect to each discretized probability measure. We prove, under assumptions, that this coupled MCMC approach in a ML context can reduce the cost to achieve a given error, relative to exact sampling. Our approach is illustrated on a numerical example.


title: Syn2Real: A New Benchmark forSynthetic-to-Real Visual Domain Adaptation

abstract: Unsupervised transfer of object recognition models from synthetic to real data is an important problem with many potential applications. The challenge is how to "adapt" a model trained on simulated images so that it performs well on real-world data without any additional supervision. Unfortunately, current benchmarks for this problem are limited in size and task diversity. In this paper, we present a new large-scale benchmark called Syn2Real, which consists of a synthetic domain rendered from 3D object models and two real-image domains containing the same object categories. We define three related tasks on this benchmark: closed-set object classification, open-set object classification, and object detection. Our evaluation of multiple state-of-the-art methods reveals a large gap in adaptation performance between the easier closed-set classification task and the more difficult open-set and detection tasks. We conclude that developing adaptation methods that work well across all three tasks presents a significant future challenge for syn2real domain transfer.


title: Fine structure of swift heavy ion track in rutile TiO2

abstract: We report on the first observation of fine structure of latent tracks in rutile TiO2, which changes from cylinder to dumbbell-shape and then to sandglass-shape as a function of the ion path length. Based on inelastic thermal spike model, we show that Hagen-Poiseuille flow of molten phase produces the hillocks on surface and the void-rich zone near surface after epitaxial recrystallization due to material deficit, while at a deep depth, the lack of efficient outflow and recrystallization result in the absence of tracks. We propose that core-shell duration of transient molten phase induced by swift heavy ion and parabolic distribution of fluid velocity are radial-dependent. Moreover, the various morphologies of tracks are a consequence of the molten phase outflow and recrystallization during rapid cooling down. Our perspective provides a new interpretation in the track formation.


title: Adaptive guaranteed-performance consensus design for high-order multiagent systems

abstract: The current paper addresses the distributed guaranteed-performance consensus design problems for general high-order linear multiagent systems with leaderless and leader-follower structures, respectively. The information about the Laplacian matrix of the interaction topology or its minimum nonzero eigenvalue is usually required in existing works on the guaranteed-performance consensus, which means that their conclusions are not completely distributed. A new translation-adaptive strategy is proposed to realize the completely distributed guaranteed-performance consensus control by using the structure feature of a complete graph in the current paper. For the leaderless case, an adaptive guaranteed-performance consensualization criterion is given in terms of Riccati inequalities and a regulation approach of the consensus control gain is presented by linear matrix inequalities. Extensions to the leader-follower cases are further investigated. Especially, the guaranteed-performance costs for leaderless and leader-follower cases are determined, respectively, which are associated with the intrinsic structure characteristic of the interaction topologies. Finally, two numerical examples are provided to demonstrate theoretical results.


title: Nonlocality of All Quantum Networks

abstract: The multipartite correlations derived from local measurements on some composite quantum systems are inconsistent with those reproduced classically. This inconsistency is known as quantum nonlocality and shows a milestone in the foundations of quantum theory. Still, it is NP hard to decide a nonlocal quantum state. We investigate an extended question: how to characterize the nonlocal properties of quantum states that are distributed and measured in networks. We first prove the generic tripartite nonlocality of chain-shaped quantum networks using semiquantum nonlocal games. We then introduce a new approach to prove the generic activated nonlocality as a result of entanglement swapping for all bipartite entangled states. The result is further applied to show the multipartite nonlocality and activated nonlocality for all nontrivial quantum networks consisting of any entangled states. Our results provide the nonlocality witnesses and quantum superiorities of all connected quantum networks or nontrivial hybrid networks in contrast to classical networks.


title: Understanding End-to-End Effects of Channel Dynamics in Millimeter Wave 5G New Radio

abstract: A critical challenge for wireless communications in the millimeter wave (mmWave) bands is blockage. MmWave signals suffer significant penetration losses from many common materials and objects, and small changes in the position of obstacles in the environment can cause large variations in the channel quality. This paper provides a measurement-based study of the effects of human blockage on an end-to-end application over a mmWave cellular link. A phased array system is used to measure the channel in multiple directions almost simultaneously in a realistic indoor scenario. The measurements are integrated into a detailed ns-3 simulation that models both the latest 3GPP New Radio beam search procedure as well as the internet protocol stack. The measurement-based simulation illustrates how recovery from blockage depends on the path diversity and beam search.


title: The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable

abstract: We work primarily with the Kripke frame consisting of two-dimensional Minkowski spacetime with the irreflexive accessibility relation 'can reach with a slower-than-light signal'. We show that in the basic temporal language, the set of validities over this frame is decidable. We then refine this to PSPACE-complete. In both cases the same result for the corresponding reflexive frame follows immediately. With a little more work we obtain PSPACE-completeness for the validities of the Halpern-Shoham logic of intervals on the real line with two different combinations of modalities.


title: Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation

abstract: Mobile application security has been one of the major areas of security research in the last decade. Numerous application analysis tools have been proposed in response to malicious, curious, or vulnerable apps. However, existing tools, and specifically, static analysis tools, trade soundness of the analysis for precision and performance, and are hence soundy. Unfortunately, the specific unsound choices or flaws in the design of these tools are often not known or well-documented, leading to a misplaced confidence among researchers, developers, and users. This paper proposes the Mutation-based soundness evaluation ($\mu$SE) framework, which systematically evaluates Android static analysis tools to discover, document, and fix, flaws, by leveraging the well-founded practice of mutation analysis. We implement $\mu$SE as a semi-automated framework, and apply it to a set of prominent Android static analysis tools that detect private data leaks in apps. As the result of an in-depth analysis of one of the major tools, we discover 13 undocumented flaws. More importantly, we discover that all 13 flaws propagate to tools that inherit the flawed tool. We successfully fix one of the flaws in cooperation with the tool developers. Our results motivate the urgent need for systematic discovery and documentation of unsound choices in soundy tools, and demonstrate the opportunities in leveraging mutation testing in achieving this goal.


title: Boulevard: Regularized Stochastic Gradient Boosted Trees and Their Limiting Distribution

abstract: This paper examines a novel gradient boosting framework for regression. We regularize gradient boosted trees by introducing subsampling and employ a modified shrinkage algorithm so that at every boosting stage the estimate is given by an average of trees. The resulting algorithm, titled Boulevard, is shown to converge as the number of trees grows. We also demonstrate a central limit theorem for this limit, allowing a characterization of uncertainty for predictions. A simulation study and real world examples provide support for both the predictive accuracy of the model and its limiting behavior.


title: Small Time Convergence of Subordinators with Regularly or Slowly Varying Canonical Measure

abstract: We consider subordinators $X_\alpha=(X_\alpha(t))_{t\ge 0}$ in the domain of attraction at 0 of a stable subordinator $(S_\alpha(t))_{t\ge 0}$ (where $\alpha\in(0,1)$); thus, with the property that $\overline{\Pi}_\alpha$, the tail function of the canonical measure of $X_\alpha$, is regularly varying of index $-\alpha\in (-1,0)$ as $x\downarrow 0$. We also analyse the boundary case, $\alpha=0$, when $\overline{\Pi}_\alpha$ is slowly varying at 0. When $\alpha\in(0,1)$, we show that $(t \overline{\Pi}_\alpha (X_\alpha(t)))^{-1}$ converges in distribution, as $t\downarrow 0$, to the random variable $(S_\alpha(1))^\alpha$. This latter random variable, as a function of $\alpha$, converges in distribution as $\alpha\downarrow 0$ to the inverse of an exponential random variable. We prove these convergences, also generalised to functional versions (convergence in $\mathbb{D}[0,1]$), and to trimmed versions, whereby a fixed number of its largest jumps up to a specified time are subtracted from a process. The $\alpha=0$ case produces convergence to an extremal process constructed from ordered jumps of a Cauchy subordinator. Our results generalise random walk and stable process results of Darling, Cressie, Kasahara, Kotani and Watanabe.


title: Deep Generative Models with Learnable Knowledge Constraints

abstract: The broad set of deep generative models (DGMs) has achieved remarkable advances. However, it is often difficult to incorporate rich structured domain knowledge with the end-to-end DGMs. Posterior regularization (PR) offers a principled framework to impose structured constraints on probabilistic models, but has limited applicability to the diverse DGMs that can lack a Bayesian formulation or even explicit density evaluation. PR also requires constraints to be fully specified a priori, which is impractical or suboptimal for complex knowledge with learnable uncertain parts. In this paper, we establish mathematical correspondence between PR and reinforcement learning (RL), and, based on the connection, expand PR to learn constraints as the extrinsic reward in RL. The resulting algorithm is model-agnostic to apply to any DGMs, and is flexible to adapt arbitrary constraints with the model jointly. Experiments on human image generation and templated sentence generation show models with learned knowledge constraints by our algorithm greatly improve over base generative models.


title: Observation of perfect Andreev reflection due to Klein paradox in a topological superconducting state

abstract: In 1928, P. Dirac proposed a new wave equation to describe relativistic electrons. Shortly afterwards, O. Klein solved a simple potential step problem for the Dirac equation and stumbled upon an apparent paradox - the potential becomes transparent when the height is larger than the electron energy. For massless particles, backscattering is completely forbidden in Klein tunneling, leading to perfect transmission through any potential barrier. Recent advent of condensed matter systems with Dirac-like excitations, such as graphene and topological insulators (TIs), has opened the possibility of observing the Klein tunneling experimentally. In the surface states of TIs, fermions are bound by spin-momentum locking, and are thus immune to backscattering due to time-reversal symmetry. Here we report the observation of perfect Andreev reflection in point contact spectroscopy - a clear signature of Klein tunneling and a manifestation of the underlying relativistic physics of a proximity-induced superconducting state in a topological Kondo insulator.


title: Simultaneous Segmentation and Classification of Bone Surfaces from Ultrasound Using a Multi-feature Guided CNN

abstract: Various imaging artifacts, low signal-to-noise ratio, and bone surfaces appearing several millimeters in thickness have hindered the success of ultrasound (US) guided computer assisted orthopedic surgery procedures. In this work, a multi-feature guided convolutional neural network (CNN) architecture is proposed for simultaneous enhancement, segmentation, and classification of bone surfaces from US data. The proposed CNN consists of two main parts: a pre-enhancing net, that takes the concatenation of B-mode US scan and three filtered image features for the enhancement of bone surfaces, and a modified U-net with a classification layer. The proposed method was validated on 650 in vivo US scans collected using two US machines, by scanning knee, femur, distal radius and tibia bones. Validation, against expert annotation, achieved statistically significant improvements in segmentation of bone surfaces compared to state-of-the-art.


title: On Deligne's conjecture for certain automorphic $L$-functions for ${\rm GL}(3)\times {\rm GL}(2)$

abstract: We prove Deligne's conjecture for central critical values of certain automorphic $L$-functions for ${\rm GL}(3)\times {\rm GL}(2)$. The proof is base on rationality results for central critical values of triple product $L$-functions, which follow from establishing explicit Ichino's formulae for trilinear period integrals for Hilbert cusp forms on totally real etale cubic algebras over $\mathbb{Q}$.


title: Optimal Streaming Erasure Codes over the Three-Node Relay Network

abstract: This paper investigates low-latency streaming codes for a three-node relay network. The source transmits a sequence of messages (streaming messages) to the destination through the relay between them, where the first-hop channel from the source to the relay and the second-hop channel from the relay to the destination are subject to packet erasures. Every source message must be recovered perfectly at the destination subject to a fixed decoding delay of $T$ time slots. In any sliding window of $T+1$ time slots, we assume no more than $N_1$ and $N_2$ erasures are introduced by the first-hop channel and second-hop channel respectively. Under this channel loss assumption, we fully characterize the maximum achievable rate in terms of $T$, $N_1$ and $N_2$. The achievability is proved by using a symbol-wise decode-forward strategy where the source symbols within the same message are decoded by the relay with different delays. The converse is proved by analyzing the maximum achievable rate for each channel when the erasures in the other channel are consecutive (bursty). In addition, we show that traditional message-wise decode-forward strategies, which require the source symbols within the same message to be decoded by the relay with the same delay, are sub-optimal in general.


title: Plenoptic Monte Carlo Object Localization for Robot Grasping under Layered Translucency

abstract: In order to fully function in human environments, robot perception will need to account for the uncertainty caused by translucent materials. Translucency poses several open challenges in the form of transparent objects (e.g., drinking glasses), refractive media (e.g., water), and diffuse partial occlusions (e.g., objects behind stained glass panels). This paper presents Plenoptic Monte Carlo Localization (PMCL) as a method for localizing object poses in the presence of translucency using plenoptic (light-field) observations. We propose a new depth descriptor, the Depth Likelihood Volume (DLV), and its use within a Monte Carlo object localization algorithm. We present results of localizing and manipulating objects with translucent materials and objects occluded by layers of translucency. Our PMCL implementation uses observations from a Lytro first generation light field camera to allow a Michigan Progress Fetch robot to perform grasping.


title: Completely Distributed Guaranteed-performance Consensualization for High-order Multiagent Systems with Switching Topologies

abstract: The guaranteed-performance consensualization for high-order linear and nonlinear multiagent systems with switching topologies is respectively realized in a completely distributed manner in the sense that consensus design criteria are independent of interaction topologies and switching motions. The current paper firstly proposes an adaptive consensus protocol with guaranteed-performance constraints and switching topologies, where interaction weights among neighboring agents are adaptively adjusted and state errors among all agents can be regulated. Then, a new translation-adaptive strategy is shown to realize completely distributed guaranteed-performance consensus control and an adaptive guaranteed-performance consensualization criterion is given on the basis of the Riccati inequality. Furthermore, an approach to regulate the consensus control gain and the guaranteed-performance cost is proposed in terms of linear matrix inequalities. Moreover, main conclusions for linear multiagent systems are extended to Lipschitz nonlinear cases. Finally, two numerical examples are provided to demonstrate theoretical results.


title: Q-DeckRec: A Fast Deck Recommendation System for Collectible Card Games

abstract: Deck building is a crucial component in playing Collectible Card Games (CCGs). The goal of deck building is to choose a fixed-sized subset of cards from a large card pool, so that they work well together in-game against specific opponents. Existing methods either lack flexibility to adapt to different opponents or require large computational resources, still making them unsuitable for any real-time or large-scale application. We propose a new deck recommendation system, named Q-DeckRec, which learns a deck search policy during a training phase and uses it to solve deck building problem instances. Our experimental results demonstrate Q-DeckRec requires less computational resources to build winning-effective decks after a training phase compared to several baseline methods.


title: Free Energy of Multiple Systems of Spherical Spin Glasses with Constrained Overlaps

abstract: The free energy of multiple systems of spherical spin glasses with constrained overlaps was first studied in arXiv:math/0604082. The authors proved an upper bound of the constrained free energy using Guerra's interpolation. In this paper, we prove this upper bound is sharp. Our approach combines the ideas of the Aizenman-Sims-Starr scheme in arXiv:1204.5115 and the synchronization mechanism used in the vector spin models in arXiv:1512.04441 and arXiv:1512.00370 to prove the matching lower bound. We derive a vector version of the Aizenman-Sims-Starr scheme for spherical spin glass and use the synchronization property of arrays obeying the overlap-matrix form of the Ghirlanda-Guerra identities to prove the matching lower bound.


title: Optimal error estimate of two linear and momentum-preserving Fourier pseudo-spectral schemes for the RLW equation

abstract: In this paper, two novel linear-implicit and momentum-preserving Fourier pseudo-spectral schemes are proposed and analyzed for the regularized long-wave equation. The numerical methods are based on the blend of the Fourier pseudo-spectral method in space and the linear-implicit Crank-Nicolson method or the leap-frog scheme in time. The two fully discrete linear schemes are shown to possess the discrete momentum conservation law, and the linear systems resulting from the schemes are proved uniquely solvable. Due to the momentum conservative property of the proposed schemes, the Fourier pseudo-spectral solution is proved to be bounded in the discrete $L^{\infty}$ norm. Then by using the standard energy method, both the linear-implicit Crank-Nicolson momentum-preserving scheme and the linear-implicit leap-frog momentum-preserving scheme are shown to have the accuracy of $\mathcal{O}(\tau^2+N^{-r})$ in the discrete $L^{\infty}$ norm without any restrictions on the grid ratio, where $N$ is the number of nodes and $\tau$ is the time step size. Numerical examples are carried out to verify the correction of the theory analysis and the efficiency of the proposed schemes.


title: How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects

abstract: Test Case Prioritization (TCP) is an increasingly important regression testing technique for reordering test cases according to a pre-defined goal, particularly as agile practices gain adoption. To better understand these techniques, we perform the first extensive study aimed at empirically evaluating four static TCP techniques, comparing them with state-of-research dynamic TCP techniques across several quality metrics. This study was performed on 58 real-word Java programs encompassing 714 KLoC and results in several notable observations. First, our results across two effectiveness metrics (the Average Percentage of Faults Detected APFD and the cost cognizant APFDc) illustrate that at test-class granularity, these metrics tend to correlate, but this correlation does not hold at test-method granularity. Second, our analysis shows that static techniques can be surprisingly effective, particularly when measured by APFDc. Third, we found that TCP techniques tend to perform better on larger programs, but that program size does not affect comparative performance measures between techniques. Fourth, software evolution does not significantly impact comparative performance results between TCP techniques. Fifth, neither the number nor type of mutants utilized dramatically impact measures of TCP effectiveness under typical experimental settings. Finally, our similarity analysis illustrates that highly prioritized test cases tend to uncover dissimilar faults.


title: Robust Rydberg gate via Landau-Zener control of F\"orster resonance

abstract: In this paper, we propose a scheme to implement the two-qubit controlled-Z gate via the Stark-tuned F\"orster interaction of Rydberg atoms, where the F\"orster defect is driven by a time-dependent electric field of a simple sinusoidal function while the matrix elements of the dipole-dipole interaction are time-independent. It is shown that when the system is initially in a specific state, it makes a cyclic evolution after a preset interaction time, returning to the initial state, but picks up a phase, which can be used for realizing a two-atom controlled-Z gate. Due to the interference of sequential Landau-Zener transitions, the population and phase of the state is quasi-deterministic after the cyclic evolution and therefore the gate fidelity is insensitive to fluctuations of the interaction time and the dipole-dipole matrix elements. Feasibility of the scheme realized with Cs atoms is discussed in detail, which shows that the two-qubit gate via Landau-Zener control can be realized with the state-of-the-art experimental setup.


title: Cross-position Activity Recognition with Stratified Transfer Learning

abstract: Human activity recognition aims to recognize the activities of daily living by utilizing the sensors on different body parts. However, when the labeled data from a certain body position (i.e. target domain) is missing, how to leverage the data from other positions (i.e. source domain) to help learn the activity labels of this position? When there are several source domains available, it is often difficult to select the most similar source domain to the target domain. With the selected source domain, we need to perform accurate knowledge transfer between domains. Existing methods only learn the global distance between domains while ignoring the local property. In this paper, we propose a \textit{Stratified Transfer Learning} (STL) framework to perform both source domain selection and knowledge transfer. STL is based on our proposed \textit{Stratified} distance to capture the local property of domains. STL consists of two components: Stratified Domain Selection (STL-SDS) can select the most similar source domain to the target domain; Stratified Activity Transfer (STL-SAT) is able to perform accurate knowledge transfer. Extensive experiments on three public activity recognition datasets demonstrate the superiority of STL. Furthermore, we extensively investigate the performance of transfer learning across different degrees of similarities and activity levels between domains. We also discuss the potential applications of STL in other fields of pervasive computing for future research.


title: On the Implicit Bias of Dropout

abstract: Algorithmic approaches endow deep learning systems with implicit bias that helps them generalize even in over-parametrized settings. In this paper, we focus on understanding such a bias induced in learning through dropout, a popular technique to avoid overfitting in deep learning. For single hidden-layer linear neural networks, we show that dropout tends to make the norm of incoming/outgoing weight vectors of all the hidden nodes equal. In addition, we provide a complete characterization of the optimization landscape induced by dropout.


title: Interposing a Varying Gravitational Constant Between Modified Newtonian Dynamics and Weak Weyl Gravity

abstract: The Newtonian gravitational constant $G$ obeys the dimensional relation $[G] [M] [a] = [v]^4$, where $M$, $a$, and $v$ denote mass, acceleration, and speed, respectively. Since the baryonic Tully-Fisher (BTF) and Faber-Jackson (BFJ) relations are observed facts, this relation implies that $G\, a = {\rm constant}$. This result cannot be obtained in Newtonian dynamics which cannot explain the origin of the BTF and BFJ relations. An alternative, modified Newtonian dynamics (MOND) assumes that $G=G_0$ is constant in space and derives naturally a characteristic constant acceleration $a=a_0$, as well as the BTF and BFJ relations. This is overkill and it comes with a penalty: MOND cannot explain the origin of $a_0$. A solid physical resolution of this issue is that $G \propto a^{-1}$, which implies that in lower-acceleration environments the gravitational force is boosted relative to its Newtonian value because $G$ increases. This eliminates all problems related to MOND's empirical cutoff $a_0$ and yields a quantitative method for mapping the detailed variations of $G(a)$ across each individual galaxy as well as on larger and smaller scales. On the opposite end, the large accelerations produced by $G(a)$ appear to be linked to the weak-field limit of the fourth-order theory of conformal Weyl gravity.


title: An Improved Algorithm for Crossing Curved Light Surfaces: rapidly rotating pulsar magnetospheres in curved spacetime

abstract: The structure of force-free, steady and axisymmetric magnetosphere of a neutron star (NS) is governed by the Grad-Shafranov (GS) equation, which is a second-order differential equation but degrades to first-order on the light surface (LS). The key to numerically solving the GS equation is to enable magnetic field lines smoothly cross the LS, and crossing a straight LS in flat spacetime has been a well-studied problem. But the numerical algorithm implementation becomes complicate in the presence of a bent LS, e.g. in curved spacetime, since there is no suitable computation grid adapted to it. We propose to circumvent this grid-LS mismatch problem by introducing a new coordinate frame designed such that the LS in it is a straight line. As an application, we investigate the general relativistic (GR) effect in magnetosphere structure of rapidly rotating pulsars in detail, where the LS is bent towards the central NS. We split the GR effect into two parts, curvature and frame-dragging; measure each of them and examine their dependence on the NS mass and the angular velocity for pulsars embedded in aligned dipole and multipole magnetic fields. Qualitatively speaking, we find that the curvature effect compactifies the magnetic field lines near the NS, therefore reduces the open magnetic flux and the Poynting luminosity, while the frame-dragging effect contributes a minor part in shaping the magnetosphere structure but plays a role in enhancing the spacelike current generation.


title: Correlated pseudo-marginal Metropolis-Hastings using quasi-Newton proposals

abstract: Pseudo-marginal Metropolis-Hastings (pmMH) is a versatile algorithm for sampling from target distributions which are not easy to evaluate point-wise. However, pmMH requires good proposal distributions to sample efficiently from the target, which can be problematic to construct in practice. This is especially a problem for high-dimensional targets when the standard random-walk proposal is inefficient. We extend pmMH to allow for constructing the proposal based on information from multiple past iterations. As a consequence, quasi-Newton (qN) methods can be employed to form proposals which utilize gradient information to guide the Markov chain to areas of high probability and to construct approximations of the local curvature to scale step sizes. The proposed method is demonstrated on several problems which indicate that qN proposals can perform better than other common Hessian-based proposals.


title: Model-independent Curvature Determination from Gravitational-Wave Standard Sirens and Cosmic Chronometers

abstract: The detection of gravitational waves (GWs) provides a direct way to measure the luminosity distance, which enables us to probe cosmology. In this paper, we continue to expand the application of GW standard sirens in cosmology, and propose that the spatial curvature can be estimated in a model-independent way by comparing the distances from future GW sources and current cosmic-chronometer observations. We expect an electromagnetic counterpart of the GW event to give the source redshift, and simulate hundreds of GW data from the coalescence of double neutron stars and black hole--neutron star binaries using the Einstein Telescope as reference. Our simulations show that, from 100 simulated GW events and 31 current cosmic-chronometer measurements, the error of the curvature parameter $\Omega_{K}$ is expected to be constrained at the level of $\sim0.125$. If 1000 GW events are observed, the uncertainty of $\Omega_{K}$ would be further reduced to $\sim0.040$. We also find that adding 50 mock $H(z)$ data (consisting of 81 cosmic-chronometer data and 1000 simulated GW events) could result in much tighter constraint on the zero cosmic curvature, for which, $\Omega_{K}=-0.002\pm0.028$. Compared to some actual model-independent curvature tests involving the distances from other cosmic probes, this method with GW data achieves constraints with much higher precision.


title: Parabolic vector bundles on Klein surfaces

abstract: Given a discrete subgroup $\Gamma$ of finite co-volume of $\mathrm{PGL}(2,\mathbb{R})$, we define and study parabolic vector bundles on the quotient $\Sigma$ of the (extended) hyperbolic plane by $\Gamma$. If $\Gamma$ contains an orientation-reversing isometry, then the above is equivalent to studying real and quaternionic parabolic vector bundles on the orientation cover of $\Sigma$. We then prove that isomorphism classes of polystable real and quaternionic parabolic vector bundles are in bijective correspondence with equivalence classes of real and quaternionic unitary representations of $\Gamma$. Similar results are obtained for compact-type real parabolic vector bundles over Klein surfaces.


title: Understanding Dropout as an Optimization Trick

abstract: As one of standard approaches to train deep neural networks, dropout has been applied to regularize large models to avoid overfitting, and the improvement in performance by dropout has been explained as avoiding co-adaptation between nodes. However, when correlations between nodes are compared after training the networks with or without dropout, one question arises if co-adaptation avoidance explains the dropout effect completely. In this paper, we propose an additional explanation of why dropout works and propose a new technique to design better activation functions. First, we show that dropout can be explained as an optimization technique to push the input towards the saturation area of nonlinear activation function by accelerating gradient information flowing even in the saturation area in backpropagation. Based on this explanation, we propose a new technique for activation functions, {\em gradient acceleration in activation function (GAAF)}, that accelerates gradients to flow even in the saturation area. Then, input to the activation function can climb onto the saturation area which makes the network more robust because the model converges on a flat region. Experiment results support our explanation of dropout and confirm that the proposed GAAF technique improves image classification performance with expected properties.


title: Embeddings of $3$--manifolds via open books

abstract: In this note, we discuss embeddings of $3$--manifolds via open books. First we show that every open book of every closed orientable $3$--manifold admits an open book embedding in any open book decompistion of $S^2 \times S^3$ and $S^2 \widetilde{\times} S^3$ with the page a disk bundle over $S^2$ and monodromy the identity. We then use open book embeddings to reprove that every closed orientable $3$--manifold embeds in $S^5.$


title: Theory of Machine Networks: A Case Study

abstract: We propose a simplification of the Theory-of-Mind Network architecture, which focuses on modeling complex, deterministic machines as a proxy for modeling nondeterministic, conscious entities. We then validate this architecture in the context of understanding engines, which, we argue, meet the required internal and external complexity to yield meaningful abstractions.


title: Social Media and User Privacy

abstract: Online users generate tremendous amounts of data. To better serve users, it is required to share the user-related data among researchers, advertisers and application developers. Publishing such data would raise more concerns on user privacy. To encourage data sharing and mitigate user privacy concerns, a number of anonymization and de-anonymization algorithms have been developed to help protect privacy of users. This paper reviews my doctoral research on online users privacy specifically in social media. In particular, I propose a new adversarial attack specialized for social media data. I further provide a principled way to assess effectiveness of anonymizing different aspects of social media data. My work sheds light on new privacy risks in social media data due to innate heterogeneity of user-generated data.


title: Causal Inference for Early Detection of Pathogenic Social Media Accounts

abstract: Pathogenic social media accounts such as terrorist supporters exploit communities of supporters for conducting attacks on social media. Early detection of PSM accounts is crucial as they are likely to be key users in making a harmful message "viral". This paper overviews my recent doctoral work on utilizing causal inference to identify PSM accounts within a short time frame around their activity. The proposed scheme (1) assigns time-decay causality scores to users, (2) applies a community detection-based algorithm to group of users sharing similar causality scores and finally (3) deploys a classification algorithm to classify accounts. Unlike existing techniques that require network structure, cascade path, or content, our scheme relies solely on action log of users.


title: The COSINE-100 Data Acquisition System

abstract: COSINE-100 is a dark matter direct detection experiment designed to test the annual modulation signal observed by the DAMA/LIBRA experiment. COSINE-100 consists of 8 NaI(Tl) crystals with a total mass of 106 kg, a 2200 L liquid scintillator veto, and 37 muon detector panels. We present details of the data acquisition system of COSINE-100, including waveform storage using flash analog-to-digital converters for crystal events and integrated charge storage using charge-sensitive analog-to-digital converters for liquid scintillator and plastic scintillator muon veto events. We also discuss several trigger conditions developed in order to distinguish signal events from photomultiplier noise events. The total trigger rate observed for the crystal/liquid scintillator (plastic scintillator) detector is 15 Hz (24 Hz).


title: On an Immuno-inspired Distributed, Embodied Action-Evolution cum Selection Algorithm

abstract: Traditional Evolutionary Robotics (ER) employs evolutionary techniques to search for a single monolithic controller which can aid a robot to learn a desired task. These techniques suffer from bootstrap and deception issues when the tasks are complex for a single controller to learn. Behaviour-decomposition techniques have been used to divide a task into multiple subtasks and evolve separate subcontrollers for each subtask. However, these subcontrollers and the associated subcontroller arbitrator(s) are all evolved off-line. A distributed, fully embodied and evolutionary version of such approaches will greatly aid online learning and help reduce the reality gap. In this paper, we propose an immunology-inspired embodied action-evolution cum selection algorithm that can cater to distributed ER. This algorithm evolves different subcontrollers for different portions of the search space in a distributed manner just as antibodies are evolved and primed for different antigens in the antigenic space. Experimentation on a collective of real robots embodied with the algorithm showed that a repertoire of antibody-like subcontrollers was created, evolved and shared on-the-fly to cope up with different environmental conditions. In addition, instead of the conventionally used approach of broadcasting for sharing, we present an Intelligent Packet Migration scheme that reduces energy consumption.


title: CFENet: An Accurate and Efficient Single-Shot Object Detector for Autonomous Driving

abstract: The ability to detect small objects and the speed of the object detector are very important for the application of autonomous driving, and in this paper, we propose an effective yet efficient one-stage detector, which gained the second place in the Road Object Detection competition of CVPR2018 workshop - Workshop of Autonomous Driving(WAD). The proposed detector inherits the architecture of SSD and introduces a novel Comprehensive Feature Enhancement(CFE) module into it. Experimental results on this competition dataset as well as the MSCOCO dataset demonstrate that the proposed detector (named CFENet) performs much better than the original SSD and the state-of-the-art method RefineDet especially for small objects, while keeping high efficiency close to the original SSD. Specifically, the single scale version of the proposed detector can run at the speed of 21 fps, while the multi-scale version with larger input size achieves the mAP 29.69, ranking second on the leaderboard


title: AutoSpearman: Automatically Mitigating Correlated Metrics for Interpreting Defect Models

abstract: The interpretation of defect models heavily relies on software metrics that are used to construct them. However, such software metrics are often correlated to defect models. Prior work often uses feature selection techniques to remove correlated metrics in order to improve the performance of defect models. Yet, the interpretation of defect models may be misleading if feature selection techniques produce subsets of inconsistent and correlated metrics. In this paper, we investigate the consistency and correlation of the subsets of metrics that are produced by nine commonly-used feature selection techniques. Through a case study of 13 publicly-available defect datasets, we find that feature selection techniques produce inconsistent subsets of metrics and do not mitigate correlated metrics, suggesting that feature selection techniques should not be used and correlation analyses must be applied when the goal is model interpretation. Since correlation analyses often involve manual selection of metrics by a domain expert, we introduce AutoSpearman, an automated metric selection approach based on correlation analyses. Our evaluation indicates that AutoSpearman yields the highest consistency of subsets of metrics among training samples and mitigates correlated metrics, while impacting model performance by 1-2%pts. Thus, to automatically mitigate correlated metrics when interpreting defect models, we recommend future studies use AutoSpearman in lieu of commonly-used feature selection techniques.


title: A Multi-Modal Chinese Poetry Generation Model

abstract: Recent studies in sequence-to-sequence learning demonstrate that RNN encoder-decoder structure can successfully generate Chinese poetry. However, existing methods can only generate poetry with a given first line or user's intent theme. In this paper, we proposed a three-stage multi-modal Chinese poetry generation approach. Given a picture, the first line, the title and the other lines of the poem are successively generated in three stages. According to the characteristics of Chinese poems, we propose a hierarchy-attention seq2seq model which can effectively capture character, phrase, and sentence information between contexts and improve the symmetry delivered in poems. In addition, the Latent Dirichlet allocation (LDA) model is utilized for title generation and improve the relevance of the whole poem and the title. Compared with strong baseline, the experimental results demonstrate the effectiveness of our approach, using machine evaluations as well as human judgments.


title: A NoSQL Data-based Personalized Recommendation System for C2C e-Commerce

abstract: With the considerable development of customer-to-customer (C2C) e-commerce in the recent years, there is a big demand for an effective recommendation system that suggests suitable websites for users to sell their items with some specified needs. Nonetheless, e-commerce recommendation systems are mostly designed for business-to-customer (B2C) websites, where the systems offer the consumers the products that they might like to buy. Almost none of the related research works focus on choosing selling sites for target items. In this paper, we introduce an approach that recommends the selling websites based upon the item's description, category, and desired selling price. This approach employs NoSQL data-based machine learning techniques for building and training topic models and classification models. The trained models can then be used to rank the websites dynamically with respect to the user needs. The experimental results with real-world datasets from Vietnam C2C websites will demonstrate the effectiveness of our proposed method.


title: Twistor triangles in the period domain of complex tori

abstract: We study the geometry of the (generalized) twistor triangles $\triangle J_1J_2J_3$ in the period domain of compact complex tori of complex dimension $2n$ by the means of the representation theory of the algebras (of real dimension 8) generated by the complex structures $J_1,J_2,J_3$. Considering the period domain as the homogeneous space for $G=GL_{4n}(\mathbb{R})$, we introduce on it a $G$-invariant pseudometric and define pseudometric invariants, helping us to distinguish triangles from a reasonable class up to $G$-equivalence.


title: Multi-agent Inverse Reinforcement Learning for Certain General-sum Stochastic Games

abstract: This paper addresses the problem of multi-agent inverse reinforcement learning (MIRL) in a two-player general-sum stochastic game framework. Five variants of MIRL are considered: uCS-MIRL, advE-MIRL, cooE-MIRL, uCE-MIRL, and uNE-MIRL, each distinguished by its solution concept. Problem uCS-MIRL is a cooperative game in which the agents employ cooperative strategies that aim to maximize the total game value. In problem uCE-MIRL, agents are assumed to follow strategies that constitute a correlated equilibrium while maximizing total game value. Problem uNE-MIRL is similar to uCE-MIRL in total game value maximization, but it is assumed that the agents are playing a Nash equilibrium. Problems advE-MIRL and cooE-MIRL assume agents are playing an adversarial equilibrium and a coordination equilibrium, respectively. We propose novel approaches to address these five problems under the assumption that the game observer either knows or is able to accurate estimate the policies and solution concepts for players. For uCS-MIRL, we first develop a characteristic set of solutions ensuring that the observed bi-policy is a uCS and then apply a Bayesian inverse learning method. For uCE-MIRL, we develop a linear programming problem subject to constraints that define necessary and sufficient conditions for the observed policies to be correlated equilibria. The objective is to choose a solution that not only minimizes the total game value difference between the observed bi-policy and a local uCS, but also maximizes the scale of the solution. We apply a similar treatment to the problem of uNE-MIRL. The remaining two problems can be solved efficiently by taking advantage of solution uniqueness and setting up a convex optimization problem. Results are validated on various benchmark grid-world games.


title: Compressible Navier-Stokes approximation for the Boltzmann equation in bounded domains

abstract: It is well known that the full compressible Navier-Stokes equations can be deduced via the Chapman-Enskog expansion from the Boltzmann equation as the first-order correction to the Euler equations with viscosity and heat-conductivity coefficients of order of the Knudsen number $\epsilon>0$. In the paper, we carry out the rigorous mathematical analysis of the compressible Navier-Stokes approximation for the Boltzmann equation regarding the initial-boundary value problems in general bounded domains. The main goal is to measure the uniform-in-time deviation of the Boltzmann solution with diffusive reflection boundary condition from a local Maxwellian with its fluid quantities given by the solutions to the corresponding compressible Navier-Stokes equations with consistent non-slip boundary conditions whenever $\epsilon>0$ is small enough. Specifically, it is shown that for well chosen initial data around constant equilibrium states, the deviation weighted by a velocity function is $O(\epsilon^{1/2})$ in $L^\infty_{x,v}$ and $O(\epsilon^{3/2})$ in $L^2_{x,v}$ globally in time. The proof is based on the uniform estimates for the remainder in different functional spaces without any spatial regularity. One key step is to obtain the global-in-time existence as well as uniform-in-$\epsilon$ estimates for regular solutions to the full compressible Navier-Stokes equations in bounded domains when the parameter $\epsilon>0$ is involved in the analysis.


title: Emergent symmetries of the Standard Model

abstract: We show how, using multipartite entanglement, the symmetries among bosons and fermions of the Standard Model of particle physics emerge. Fermions belong to tripartite maximally entangled classes starting with basic chiral right and left states. Quarks and leptons belong to different classes, with only leptons appearing as asymptotic states in three space dimensions. The Higgs boson is the scalar mode with a nonvanishing vacuum expectation value, other bosons are as usual linked to symmetry generators.


title: A Hopf-type boundary point lemma for pairs of solutions to quasilinear equations

abstract: We show a Hopf boundary point lemma for $u=u_{1}-u_{2},$ given $u_{1},u_{2} \in C^{1,\alpha}$ each weak solutions to a quasilinear equation $\sum_{i=1}^{n} D_{i}(A^{i}(x,u,Du))+B(x,u,Du)=0$ under mild boundedness assumptions on $A^{1},\ldots,A^{n},B.$


title: Well-posedness of nonisentropic Euler equations with physical vacuum

abstract: We consider the local well-posedness of the one-dimensional nonisentropic Euler equations with moving physical vacuum boundary condition. The physical vacuum singularity requires the sound speed to be scaled as the square root of the distance to the vacuum boundary. The main difficulty lies in the fact that the system of hyperbolic conservation laws becomes characteristic and degenerate at the vacuum boundary. Our proof is based on an approximation of the Euler equations by a degenerate parabolic regularization obtained from a specific choice of a degenerate artificial viscosity term. Then we construct the solutions to this degenerate parabolic problem and establish the estimates that are uniform with respect to the artificial viscosity parameter. Solutions to the compressible Euler equations are obtained as the limit of the vanishing artificial viscosity. Different from the isentropic case \cite{Coutand4, Lei}, our momentum equation of conservation laws has an extra term $p_{S}S_x$ that leads to some extra terms in the energy function and causes more difficulties even for the case of $\gamma=2$. Moreover, we deal with this free boundary problem starting from the general cases of $2\leq\gamma<3$ and $1<\gamma<2 $ instead of only emphasizing the isentropic case of $\gamma=2$ in \cite{Coutand4, jang1, Lei}.


title: Another class of warped product skew CR-submanifolds of Kenmotsu manifolds

abstract: Recently, Naghi et al. \cite{NAGHI} studied warped product skew CR-submanifold of the form $M_1\times_fM_\bot$ of order $1$ of a Kenmotsu manifold $\bar{M}$ such that $M_1=M_T\times M_\theta$, where $M_T$, $M_\bot$ and $M_\theta$ are invariant, anti-invariant and proper slant submanifolds of $\bar{M}$. The present paper deals with the study of warped product submanifolds by interchanging the two factors $M_T$ and $M_\bot$, i.e, the warped products of the form $M_2\times_fM_T$ such that $M_2=M_\bot\times M_\theta$. The existence of such warped product is ensured by an example and then we characterize such warped product submanifold. A lower bounds of the square norm of second fundamental form is derived with sharp relation, whose equality case is also considered.


title: A large-scale real-life crowd steering experiment via arrow-like stimuli

abstract: We introduce "Moving Light": an unprecedented real-life crowd steering experiment that involved about 140.000 participants among the visitors of the Glow 2017 Light Festival (Eindhoven, NL). Moving Light targets one outstanding question of paramount societal and technological importance: "can we seamlessly and systematically influence routing decisions in pedestrian crowds?" Establishing effective crowd steering methods is extremely relevant in the context of crowd management, e.g. when it comes to keeping floor usage within safety limits (e.g. during public events with high attendance) or at designated comfort levels (e.g. in leisure areas). In the Moving Light setup, visitors walking in a corridor face a choice between two symmetric exits defined by a large central obstacle. Stimuli, such as arrows, alternate at random and perturb the symmetry of the environment to bias choices. While visitors move in the experiment, they are tracked with high space and time resolution, such that the efficiency of each stimulus at steering individual routing decisions can be accurately evaluated a posteriori. In this contribution, we first describe the measurement concept in the Moving Light experiment and then we investigate quantitatively the steering capability of arrow indications.


title: Ergodic Isoenergetic Molecular Dynamics for Microcanonical-Ensemble Averages

abstract: Considerable research has led to ergodic isothermal dynamics which can replicate Gibbs' canonical distribution for simple ( small ) dynamical problems. Adding one or two thermostat forces to the Hamiltonian motion equations can give an ergodic isothermal dynamics to a harmonic oscillator, to a quartic oscillator, and even to the "Mexican-Hat" ( double-well ) potential problem. We consider here a time-reversible dynamical approach to Gibbs' "microcanonical" ( isoenergetic ) distribution for simple systems. To enable isoenergetic ergodicity we add occasional random rotations to the velocities. This idea conserves energy exactly and can be made to cover the entire energy shell with an ergodic dynamics. We entirely avoid the Poincar\'e-section holes and island chains typical of Hamiltonian chaos. We illustrate this idea for the simplest possible two-dimensional example, a single particle moving in a periodic square-lattice array of scatterers, the "cell model".


title: Multivariate Constrained Robust M-Regression for Shaping Forward Curves in Electricity Markets

abstract: In this paper, a multivariate constrained robust M-regression (MCRM) method is developed to estimate shaping coefficients for electricity forward prices. An important benefit of the new method is that model arbitrage can be ruled out at an elementary level, as all shaping coefficients are treated simultaneously. Moreover, the new method is robust to outliers, such that the provided results are stable and not sensitive to isolated sparks or dips in the market. An efficient algorithm is presented to estimate all shaping coefficients at a low computational cost. To illustrate its good performance, the method is applied to German electricity prices.


title: EM and EM'-index sequence: Construction and application in scientific assessment of scholars

abstract: Most of the scientometric indicators use only the total number of citations of an article and produce a single number for scientific assessment of scholars. Although this concept is very simple to compute, it fails to show the scientific productivity and impact of scholars during a time-span or in a year. To overcome this, several time series indicators have been proposed that consider the citations from the entire research career of a scholar. However, these indicators fail to give a comparative assessment of two scholars having same or very similar index value. To overcome this shortcoming, h-index sequence was proposed to assess the impact of scholars during a particular time-span and to compare multiple scholars at a similar stage in their careers. The h-index sequence is based on the h-index formulation. One of the main issues related to the h-index is that it completely ignores the excess citation in scientific assessment; h-index sequence also exhibits a similar behaviour. To overcome these limitations, in this article, we have discussed the EM and $EM^{'}$-index sequence, and performed an empirical study based on yearly citation count earned from all publications of 89 scholars' publication data. The element of the EM and $EM^{'}$-index sequence for a given year shows the impact of a scholar for that year. We conclude that the EM and $EM^{'}$-index sequence could be used as an alternative metrics to asses the impact of scholars.


title: Giant Enhancement of the Thermo-Particle Transport Figure of Merit and Breakdown of the Wiedemann-Franz Law in Unitary Fermi Gases

abstract: We theoretically investigate the thermo-particle transport properties of an unitary Fermi gas be- tween two reservoirs connected by a quantum point contact. We find several distinguished properties that are qualitatively different from those of weak or non-interacting gas systems. The particle trans- port figure of merit is drastically enhanced in the unitary regime and it increases as the transmission coefficient increases, exactly opposite to the behavior in the weak or non-interacting gas systems. The Lorentz number violates the Wiedemann-Franz law, demonstrating the breakdown of Fermi liquid. These transport properties are the hallmarks of the unitary Fermi gas and are attributed to the existence of preformed Cooper pairs.


title: Linear-Time Online Algorithm Inferring the Shortest Path from a Walk

abstract: We consider the problem of inferring an edge-labeled graph from the sequence of edge labels seen in a walk of that graph. It has been known that this problem is solvable in $O(n \log n)$ time when the targets are path or cycle graphs. This paper presents an online algorithm for the problem of this restricted case that runs in $O(n)$ time, based on Manacher's algorithm for computing all the maximal palindromes in a string.


title: SuperPCA: A Superpixelwise PCA Approach for Unsupervised Feature Extraction of Hyperspectral Imagery

abstract: As an unsupervised dimensionality reduction method, principal component analysis (PCA) has been widely considered as an efficient and effective preprocessing step for hyperspectral image (HSI) processing and analysis tasks. It takes each band as a whole and globally extracts the most representative bands. However, different homogeneous regions correspond to different objects, whose spectral features are diverse. It is obviously inappropriate to carry out dimensionality reduction through a unified projection for an entire HSI. In this paper, a simple but very effective superpixelwise PCA approach, called SuperPCA, is proposed to learn the intrinsic low-dimensional features of HSIs. In contrast to classical PCA models, SuperPCA has four main properties. (1) Unlike the traditional PCA method based on a whole image, SuperPCA takes into account the diversity in different homogeneous regions, that is, different regions should have different projections. (2) Most of the conventional feature extraction models cannot directly use the spatial information of HSIs, while SuperPCA is able to incorporate the spatial context information into the unsupervised dimensionality reduction by superpixel segmentation. (3) Since the regions obtained by superpixel segmentation have homogeneity, SuperPCA can extract potential low-dimensional features even under noise. (4) Although SuperPCA is an unsupervised method, it can achieve competitive performance when compared with supervised approaches. The resulting features are discriminative, compact, and noise resistant, leading to improved HSI classification performance. Experiments on three public datasets demonstrate that the SuperPCA model significantly outperforms the conventional PCA based dimensionality reduction baselines for HSI classification. The Matlab source code is available at https://github.com/junjun-jiang/SuperPCA


title: Natural illumination solution for rotating space settlements

abstract: Cylindrical kilometre-scale artificial gravity space settlements were proposed by Gerard O'Neill in the 1970s. The early concept had two oppositely rotating cylinders and moving mirrors to simulate the diurnal cycle. Later, the Kalpana One concept exhibited passively stable rotation and no large moving parts. Here we propose and analyse a specific light transfer solution for Kalpana One type settlements. Our proposed solution is technically reliable because it avoids large moving parts that could be single failure points. The scheme has an array of cylindrical paraboloid concentrators in the outer wall and semi-toroidal reflectors at the equator which distribute the concentrated sunlight onto the living surface. The living cylinder is divided into a number of $\varphi$-sections (valleys) that are in different phases of the diurnal and seasonal cycles. To reduce the mass of nitrogen needed, a shallow atmosphere is used which is contained by a pressure-tight transparent roof. The only moving parts needed are local blinders installed below the roof of each valley. We also find that settlements of this class have a natural location at the equator where one can build multi-storey urban blocks. The location is optimal from the mass distribution (rotational stability) point of view. If maximally built, the amount of urban floorspace per person becomes large, up to 25,000 m$^2$, which is an order of magnitude larger than the food-producing rural biosphere area per person. Large urban floorspace area per person may increase the material standard of living much beyond Earth while increasing the total mass per person relatively little.


title: Generating Counterfactual Explanations with Natural Language

abstract: Natural language explanations of deep neural network decisions provide an intuitive way for a AI agent to articulate a reasoning process. Current textual explanations learn to discuss class discriminative features in an image. However, it is also helpful to understand which attributes might change a classification decision if present in an image (e.g., "This is not a Scarlet Tanager because it does not have black wings.") We call such textual explanations counterfactual explanations, and propose an intuitive method to generate counterfactual explanations by inspecting which evidence in an input is missing, but might contribute to a different classification decision if present in the image. To demonstrate our method we consider a fine-grained image classification task in which we take as input an image and a counterfactual class and output text which explains why the image does not belong to a counterfactual class. We then analyze our generated counterfactual explanations both qualitatively and quantitatively using proposed automatic metrics.


title: On Representer Theorems and Convex Regularization

abstract: We establish a general principle which states that regularizing an inverse problem with a convex function yields solutions which are convex combinations of a small number of atoms. These atoms are identified with the extreme points and elements of the extreme rays of the regularizer level sets. An extension to a broader class of quasi-convex regularizers is also discussed. As a side result, we characterize the minimizers of the total gradient variation, which was still an unresolved problem.


title: The multifaceted behavior of integrated supOU processes: The infinite variance case

abstract: The so-called "supOU" processes, namely the superpositions of Ornstein-Uhlenbeck type processes are stationary processes for which one can specify separately the marginal distribution and the dependence structure. They can have finite or infinite variance. We study the limit behavior of integrated infinite variance supOU processes adequately normalized. Depending on the specific circumstances, the limit can be fractional Brownian motion but it can also be a process with infinite variance, a L\'evy stable process with independent increments or a stable process with dependent increments. We show that it is even possible to have infinite variance integrated supOU processes converging to processes whose moments are all finite. A number of examples are provided.


title: Orientation independent room-temperature optical 13C hyperpolarization in powdered diamond

abstract: Dynamic nuclear polarization via contact with electronic spins has emerged as an attractive route to enhance the sensitivity of nuclear magnetic resonance (NMR) beyond the traditional limits imposed by magnetic field strength and temperature. Among the various alternative implementations, the use of nitrogen vacancy (NV) centers in diamond - a paramagnetic point defect whose spin can be optically polarized at room temperature - has attracted widespread attention, but applications have been hampered by the need to align the NV axis with the external magnetic field. Here we overcome this hurdle through the combined use of continuous optical illumination and a microwave sweep over a broad frequency range. As a proof of principle, we demonstrate our approach using powdered diamond where we attain bulk 13C spin polarization in excess of 0.25 percent under ambient conditions. Remarkably, our technique acts efficiently on diamond crystals of all orientations, and polarizes nuclear spins with a sign that depends exclusively on the direction of the microwave sweep. Our work paves the way towards the use of hyperpolarized diamond particles as imaging contrast agents for biosensing and, ultimately, for the hyperpolarization of nuclear spins in arbitrary liquids brought in contact with their surface.


title: Partial sums of Hyper-Bessel function with applications

abstract: The main purpose of present paper is to determine some lower bounds for the quotient of the normalized hyper-Bessel function and its partial sum, as well as for the quotient of the derivative of normalized hyper-Bessel function and its partial sum. In addition, some applications related to obtained results are also given.


title: Optimal Beamforming and Time Allocation for Partially Wireless Powered Sensor Networks with Downlink SWIPT

abstract: Wireless powered sensor networks (WPSNs) have emerged as a key development towards the future self-sustainable Internet of Things (IoT) networks. To achieve a good balance between self-sustainability and reliability, partially WPSNs with a mixed power solution are desirable for practical applications. Specifically, most of the sensor nodes are wireless powered but the key sensor node adopts traditional wire/battery power for reliability. As a result, this paper mainly investigates optimal design for the partially WPSNs in which simultaneous wireless information and power transfer (SWIPT) is adopted in the downlink. Two scenarios with space division multiple access (SDMA) and time division multiple access (TDMA) in the uplink are considered. For both the SDMA-enabled and TDMA-enabled partially WPSNs, joint design of downlink beamforming, uplink beamforming and time allocation is investigated to maximize the uplink sum rate while guaranteeing the quality-of-service (i.e., satisfying the downlink rate constraint) at the key sensor node. After analyzing the feasibility of uplink sum rate maximization problems and the influence of the downlink rate constraint, semi-closed-form optimal solutions for both SDMA-enabled and TDMA-enabled WPSNs are proposed with guaranteed global optimality. Complexity analysis is also provided to justify the advantage of the proposed solutions in low complexity. The effectiveness and optimality of the proposed optimal solutions are finally demonstrated by simulations.


title: On the optical counterparts of radio transients and variables

abstract: We investigate the relation between the radio (F_r) and optical (F_o) flux densities of a variety of classes of radio transients and variables, with the aim of analysing whether this information can be used, in the future, to classify such events. Using flux density values between 1-10 GHz and the optical bands V and R, we build a sample with a total of 12,441 F_r and F_o measurements. The sample contains both Galactic objects, such as stellar sources and X-ray binaries, and extragalactic objects, such as gamma-ray bursts and quasars. By directly comparing the two parameters, it is already possible to distinguish between the Galactic and extragalactic populations. Although individual classes are harder to separate from the F_r-F_o parameter space to a high accuracy, and can only provide approximations, the basic approach provides an already useful foundation to develop a more accurate classification technique. In addition, we illustrate how example objects from different classes move in the parameter space as they evolve over time, offering a feature that could be used to reduce the confusion between classes. A small, blind test of the classification performance is also undertaken using a catalogue of FIRST transient and variable sources, to demonstrate the advantages and current limitations of the approach. With more multi-wavelength data becoming available in the future, we discuss other classification techniques which the F_r-F_o method could be combined with and potentially become an important part of an automatic radio transient classification system.


title: Spin properties of NV centers in high-pressure, high-temperature grown diamond

abstract: The sensitivity of magnetic and electric field sensors based on nitrogen-vacancy (NV) center in diamond strongly depends on the available concentration of NV and their coherence properties. Achieving high coherence times simultaneously with high concentration is a challenging experimental task. Here, we demonstrate that by using a high-pressure, high-temperature growing technique, one can achieve nearly maximally possible effective coherence T2* times, limited only by carbon nuclear spins at low nitrogen concentrations or nitrogen electron spin at high nitrogen concentrations. Hahn-echo T2 coherence times were also investigated and found to demonstrate reasonable values. Thus, the high-pressure, high-temperature technique is a strong contender to the popular chemical vapor deposition method in the development of high-sensitivity, diamond-based sensors.


title: Beyond Worst-Case Analysis

abstract: In the worst-case analysis of algorithms, the overall performance of an algorithm is summarized by its worst performance on any input. This approach has countless success stories, but there are also important computational problems --- like linear programming, clustering, online caching, and neural network training --- where the worst-case analysis framework does not provide any helpful advice on how to solve the problem. This article covers a number of modeling methods for going beyond worst-case analysis and articulating which inputs are the most relevant.


title: Linear Tree Constraints

abstract: Linear tree constraints were introduced by Hofmann and Rodriguez in the context of amortized resource analysis for object oriented programs. More precisely, they gave a reduction from inference of resource types to constraint solving. Thus, once we have found an algorithm to solve the constraints generated from a program, we can read off the resource consumption from their solutions. These constraints have the form of pointwise linear inequalities between infinite trees labeled with nonnegative rational numbers. We are interested in the question if a system of such constraints is simultaneously satisfiable. Bauer and Hofmann have recently identified a fragment of the tree constraint problem (UTC) that is still sufficient for program analysis and they proved that the list case of UTC is decidable, whereas the case with trees of degree at least two remained open. In this paper, we solve this problem. We give a decision procedure that covers the entire range of constraints needed for resource analysis.


title: Limited Evaluation Evolutionary Optimization of Large Neural Networks

abstract: Stochastic gradient descent is the most prevalent algorithm to train neural networks. However, other approaches such as evolutionary algorithms are also applicable to this task. Evolutionary algorithms bring unique trade-offs that are worth exploring, but computational demands have so far restricted exploration to small networks with few parameters. We implement an evolutionary algorithm that executes entirely on the GPU, which allows to efficiently batch-evaluate a whole population of networks. Within this framework, we explore the limited evaluation evolutionary algorithm for neural network training and find that its batch evaluation idea comes with a large accuracy trade-off. In further experiments, we explore crossover operators and find that unprincipled random uniform crossover performs extremely well. Finally, we train a network with 92k parameters on MNIST using an EA and achieve 97.6 % test accuracy compared to 98 % test accuracy on the same network trained with Adam. Code is available at https://github.com/jprellberg/gpuea.


title: Visually-Aware Personalized Recommendation using Interpretable Image Representations

abstract: Visually-aware recommender systems use visual signals present in the underlying data to model the visual characteristics of items and users' preferences towards them. In the domain of clothing recommendation, incorporating items' visual information (e.g., product images) is particularly important since clothing item appearance is often a critical factor in influencing the user's purchasing decisions. Current state-of-the-art visually-aware recommender systems utilize image features extracted from pre-trained deep convolutional neural networks, however these extremely high-dimensional representations are difficult to interpret, especially in relation to the relatively low number of visual properties that may guide users' decisions. In this paper we propose a novel approach to personalized clothing recommendation that models the dynamics of individual users' visual preferences. By using interpretable image representations generated with a unique feature learning process, our model learns to explain users' prior feedback in terms of their affinity towards specific visual attributes and styles. Our approach achieves state-of-the-art performance on personalized ranking tasks, and the incorporation of interpretable visual features allows for powerful model introspection, which we demonstrate by using an interactive recommendation algorithm and visualizing the rise and fall of fashion trends over time.


title: Shape Optimization using the Finite Element Method on Multiple Meshes

abstract: An important step in shape optimization with partial differential equation constraints is to adapt the geometry during each optimization iteration. Common strategies are to employ mesh-deformation or re-meshing, where one or the other typically lacks robustness or is computationally expensive. This paper proposes a different approach, in which the computational domain is represented by multiple, independent meshes. A Nitsche based finite element method is used to weakly enforce continuity over the non-matching mesh interfaces. The optimization is preformed using an iterative gradient method, in which the shape-sensitivities are obtained by employing the Hadamard formulas and the adjoint approach. An optimize-then-discretize approach is chosen due to its independence of the FEM framework. Since the individual meshes may be moved freely, re-meshing or mesh deformations can be entirely avoided in cases where the geometry changes consists of rigid motions or scaling. By this free movement, we obtain robust and computational cheap mesh adaptation for optimization problems even for large domain changes. For general geometry changes, the method can be combined with mesh-deformation or re-meshing techniques to reduce the amount of deformation required. We demonstrate the capabilities of the method on several examples, including the optimal placement of heat emitting wires in a cable to minimize the chance of overheating, the drag minimization in Stokes flow, and the orientation of 25 objects in a Stokes flow.


title: Morphological properties of galaxies in different Local Volume environments

abstract: We consider an all-sky sample of 1029 Local Volume (LV) galaxies situated within a distance of 11 Mpc. Their majority have precise distances, estimates of hydrogen mass fraction and star-formation rate derived from far-ultraviolet or Halpha fluxes. To describe an environment, we attribute two dimensionless values: the density contrast created by the most significant neighbour and the local density contrast produced by all neighbours within a separation of 1 Mpc. The hydrogen mass fraction exhibits a weak effect of HI deficiency being the most pronounced for dwarf irregular galaxies. The specific star-formation rate (sSFR) is more sensitive to the environment than the hydrogen mass fraction. Almost all (99 per cent) LV galaxies have their sSFR below -9.4 dex (1/yr). We notice that irregular dwarfs as well as late-type bulgeless galaxies are capable to reproduce their stellar mass with the observed sSFR over the cosmic time. Thus, the transformation of gas into stars in dIrs and spiral disks is rather sluggish unlike that in E, S0, dSph galaxies, whose star-formation history has been stormy and short. Scatter of SFR(Halpha)-to-SFR(FUV) ratio increases from Sc, Sd, Sm galaxies towards BCD, Im, Ir types that favours the idea of bursty star formations in low-mass galaxies. However, this bursty activity is caused rather by internal processes than by an external tidal action. A fraction of quenched E, S0, dSph galaxies increases from ~5 per cent in the field up to ~50 per cent in the densest regions.


title: Approximate Nearest Neighbor Search in High Dimensions

abstract: The nearest neighbor problem is defined as follows: Given a set $P$ of $n$ points in some metric space $(X,D)$, build a data structure that, given any point $q$, returns a point in $P$ that is closest to $q$ (its "nearest neighbor" in $P$). The data structure stores additional information about the set $P$, which is then used to find the nearest neighbor without computing all distances between $q$ and $P$. The problem has a wide range of applications in machine learning, computer vision, databases and other fields. To reduce the time needed to find nearest neighbors and the amount of memory used by the data structure, one can formulate the {\em approximate} nearest neighbor problem, where the the goal is to return any point $p' \in P$ such that the distance from $q$ to $p'$ is at most $c \cdot \min_{p \in P} D(q,p)$, for some $c \geq 1$. Over the last two decades, many efficient solutions to this problem were developed. In this article we survey these developments, as well as their connections to questions in geometric functional analysis and combinatorial geometry.


title: Accelerating fields up to 49 MV/m in TESLA-shape superconducting RF niobium cavities via 75C vacuum bake

abstract: In this paper we present the discovery of a new surface treatment applied to superconducting radio frequency (SRF) niobium cavities, leading to unprecedented accelerating fields of 49 MV/m in TESLA-shaped cavities, in continuous wave (CW); the corresponding peak magnetic fields are the highest ever measured in CW, about 210 mT. For TESLA-shape cavities the maximum quench field ever achieved was ~45 MV/m - reached very rarely- with most typical values being below 40 MV/m. These values are reached for niobium surfaces treated with electropolishing followed by the so called mild bake, a 120C vacuum bake (for 48 hours for fine grain and 24 hours for large grain surfaces). We discover that the addition during the mild bake of a step at 75C for few hours, before the 120C, increases systematically the quench fields up to unprecedented values of 49 MV/m. The significance of the result lays not only in the relative improvement, but in the proof that niobium surfaces can sustain and exceed CW radio frequency magnetic fields much larger than Hc1, pointing to an extrinsic nature of the current field limitations, and therefore to the potential to reach accelerating fields well beyond the current state of the art.


title: Extended $r$-spin theory in all genera and the discrete KdV hierarchy

abstract: In this paper we construct a family of cohomology classes on the moduli space of stable curves generalizing Witten's $r$-spin classes. They are parameterized by a phase space which has one extra dimension and in genus $0$ they correspond to the extended $r$-spin classes appearing in the computation of intersection numbers on the moduli space of open Riemann surfaces, while when restricted to the usual smaller phase space, they give in all genera the product of the top Hodge class by the $r$-spin class. They do not form a cohomological field theory, but a more general object which we call F-CohFT, since in genus $0$ it corresponds to a flat F-manifold. For $r=2$ we prove that the partition function of such F-CohFT gives a solution of the discrete KdV hierarchy. Moreover the same integrable system also appears as its double ramification hierarchy.


title: Topological photonic crystal nanocavity laser

abstract: Topological edge states exist at the interfaces between two topologically-distinct materials. The presence and number of such modes are deterministically predicted from the bulk-band topologies, known as the bulk-edge correspondence. This principle is highly useful for predictably controlling optical modes in resonators made of photonic crystals (PhCs), leading to the recent demonstrations of micro-scale topological lasers. Meanwhile, zero-dimensional topological trapped states in the nanoscale remained unexplored, despite its importance for enhancing light-matter interactions and for wide applications including single-mode nanolasers. Here, we report a topological PhC nanocavity with a near-diffraction-limited mode volume and its application to single-mode lasing. The topological origin of the nanocavity, formed at the interface between two topologically-distinct PhCs, guarantees the existence of only one mode within its photonic bandgap. The observed lasing accompanies a high spontaneous emission coupling factor stemming from the nanoscale confinement. These results encompass a way to greatly downscale topological photonics.


title: Unveiling the semantic structure of text documents using paragraph-aware Topic Models

abstract: Classic Topic Models are built under the Bag Of Words assumption, in which word position is ignored for simplicity. Besides, symmetric priors are typically used in most applications. In order to easily learn topics with different properties among the same corpus, we propose a new line of work in which the paragraph structure is exploited. Our proposal is based on the following assumption: in many text document corpora there are formal constraints shared across all the collection, e.g. sections. When this assumption is satisfied, some paragraphs may be related to general concepts shared by all documents in the corpus, while others would contain the genuine description of documents. Assuming each paragraph can be semantically more general, specific, or hybrid, we look for ways to measure this, transferring this distinction to topics and being able to learn what we call specific and general topics. Experiments show that this is a proper methodology to highlight certain paragraphs in structured documents at the same time we learn interesting and more diverse topics.


title: Enhancing Sentence Embedding with Generalized Pooling

abstract: Pooling is an essential component of a wide variety of sentence representation and embedding models. This paper explores generalized pooling methods to enhance sentence embedding. We propose vector-based multi-head attention that includes the widely used max pooling, mean pooling, and scalar self-attention as special cases. The model benefits from properly designed penalization terms to reduce redundancy in multi-head attention. We evaluate the proposed model on three different tasks: natural language inference (NLI), author profiling, and sentiment classification. The experiments show that the proposed model achieves significant improvement over strong sentence-encoding-based methods, resulting in state-of-the-art performances on four datasets. The proposed approach can be easily implemented for more problems than we discuss in this paper.


title: Computing the symmetries of a ruled rational surface

abstract: We present a method for computing all the symmetries of a rational ruled surface defined by a rational parametrization which works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the surface. The method proceeds by translating the problem into the parameter space, and relies on polynomial system solving. If we want all the symmetries of the surface, including rotational symmetries, we need to deal with polynomial systems in four variables; if we are only interested in involutions (e.g. central symmetries, axial symmetries, reflections in a plane), we can come down to bivariate polynomial systems. An application to compute symmetries of an implicit algebraic surface under certain conditions is also provided.


title: Distinguished curves and integrability in Riemannian, conformal, and projective geometry

abstract: We give a new characterisation of the unparametrised geodesics, or distinguished curves, for affine, pseudo-Riemannian, conformal, and projective geometry. This is a type of moving incidence relation. The characterisation is used to provide a very general theory and construction of quantities that are necessarily conserved along the curves. The formalism immediately yields explicit formulae for these curve first integrals. The usual role of Killing tensors and conformal Killing tensors is recovered as a special case, but the construction shows that a significantly larger class of equation solutions also yield curve first integrals. In particular any normal solution to an equation from the class of first BGG equations can yield such a conserved quantity. For some equations the condition of normality is not required. For nowhere-null curves in pseudo-Riemannian and conformal geometry additional results are available. We provide a fundamental tractor-valued invariant of such curves and this quantity is parallel if and only if the curve is an unparametrised conformal circle.


title: A sharper bound for the Jensen's operator inequality

abstract: The primary goal of this paper is to improve the operator version of Jensen inequality. As an application, we provide an improvement for the celebrated Ando's inequality. Additionally, we give a tight bound for the operator H\"older inequality.


title: Effects of Chiral Effective Field Theory Equation of State on Binary Neutron Star Mergers

abstract: We present fully general relativistic simulations of binary neutron star mergers, employing a new zero- temperature chiral effective field theory equation of state, the BL EOS. We offer a comparison with respect to the older GM3 EOS, which is based on standard relativistic mean field theory, and separately determine the impact of the mass. We provide a detailed analysis of the dynamics, with focus on the post-merger phase. For all models, we extract the gravitational wave strain and the post-merger frequency spectrum. Further, we determine the amount, velocity, and polar distribution of ejected matter, and provide estimates for the resulting kilonova signals. We also study the evolution of the disk while it is interacting with the hypermassive remnant, and dis- cuss the merits of different disk mass definitions applicable before collapse, with regard to the mass remaining after BH formation. Finally, we investigate the radial mass distribution and rotation profile of the remnants, which validate previous results and also corroborate a recently proposed stability criterion.