title: Joint Embedding Learning of Educational Knowledge Graphs

abstract: As an efficient model for knowledge organization, the knowledge graph has been widely adopted in several fields, e.g., biomedicine, sociology, and education. And there is a steady trend of learning embedding representations of knowledge graphs to facilitate knowledge graph construction and downstream tasks. In general, knowledge graph embedding techniques aim to learn vectorized representations which preserve the structural information of the graph. And conventional embedding learning models rely on structural relationships among entities and relations. However, in educational knowledge graphs, structural relationships are not the focus. Instead, rich literals of the graphs are more valuable. In this paper, we focus on this problem and propose a novel model for embedding learning of educational knowledge graphs. Our model considers both structural and literal information and jointly learns embedding representations. Three experimental graphs were constructed based on an educational knowledge graph which has been applied in real-world teaching. We conducted two experiments on the three graphs and other common benchmark graphs. The experimental results proved the effectiveness of our model and its superiority over other baselines when processing educational knowledge graphs.


title: Hierarchical Attention Networks for Medical Image Segmentation

abstract: The medical image is characterized by the inter-class indistinction, high variability, and noise, where the recognition of pixels is challenging. Unlike previous self-attention based methods that capture context information from one level, we reformulate the self-attention mechanism from the view of the high-order graph and propose a novel method, namely Hierarchical Attention Network (HANet), to address the problem of medical image segmentation. Concretely, an HA module embedded in the HANet captures context information from neighbors of multiple levels, where these neighbors are extracted from the high-order graph. In the high-order graph, there will be an edge between two nodes only if the correlation between them is high enough, which naturally reduces the noisy attention information caused by the inter-class indistinction. The proposed HA module is robust to the variance of input and can be flexibly inserted into the existing convolution neural networks. We conduct experiments on three medical image segmentation tasks including optic disc/cup segmentation, blood vessel segmentation, and lung segmentation. Extensive results show our method is more effective and robust than the existing state-of-the-art methods.


title: AT 2018cow VLBI: No Long-Lived Relativistic Outflow

abstract: We report on VLBI observations of the fast and blue optical transient (FBOT), AT 2018cow. At ~62 Mpc, AT 2018cow is the first relatively nearby FBOT. The nature of AT 2018cow is not clear, although various hypotheses from a tidal disruption event to different kinds of supernovae have been suggested. It had a very fast rise time (3.5 d) and an almost featureless blue spectrum although high photospheric velocities (40,000 km s$^{-1}$) were suggested early on. The X-ray luminosity was very high, ~$1.4 \times 10^{43}$ erg s$^{-1}$, larger than those of ordinary SNe, and more consistent with those of SNe associated with gamma-ray bursts. Variable hard X-ray emission hints at a long-lived "central engine." It was also fairly radio luminous, with a peak 8.4-GHz spectral luminosity of ~$4 \times 10^{28}$ erg s$^{-1}$ Hz$^{-1}$, allowing us to make VLBI observations at ages between 22 and 287 d. We do not resolve AT 2018cow. Assuming a circularly symmetric source, our observations constrain the average apparent expansion velocity to be <0.49$c$ by t = 98 d (3$\sigma$ limit). We also constrain the proper motion of AT 2018cow to be <0.51$c$. Since the radio emission generally traces the fastest ejecta, our observations make the presence of a long-lived relativistic jet with a lifetime of more than one month very unlikely.


title: Characterizing Scalability of Sparse Matrix-Vector Multiplications on Phytium FT-2000+ Many-cores

abstract: Understanding the scalability of parallel programs is crucial for software optimization and hardware architecture design. As HPC hardware is moving towards many-core design, it becomes increasingly difficult for a parallel program to make effective use of all available processor cores. This makes scalability analysis increasingly important. This paper presents a quantitative study for characterizing the scalability of sparse matrix-vector multiplications (SpMV) on Phytium FT-2000+, an ARM-based many-core architecture for HPC computing. We choose to study SpMV as it is a common operation in scientific and HPC applications. Due to the newness of ARM-based many-core architectures, there is little work on understanding the SpMV scalability on such hardware design. To close the gap, we carry out a large-scale empirical evaluation involved over 1,000 representative SpMV datasets. We show that, while many computation-intensive SpMV applications contain extensive parallelism, achieving a linear speedup is non-trivial on Phytium FT-2000+. To better understand what software and hardware parameters are most important for determining the scalability of a given SpMV kernel, we develop a performance analytical model based on the regression tree. We show that our model is highly effective in characterizing SpMV scalability, offering useful insights to help application developers for better optimizing SpMV on an emerging HPC architecture.


title: LionForests: Local Interpretation of Random Forests

abstract: Towards a future where machine learning systems will integrate into every aspect of people's lives, researching methods to interpret such systems is necessary, instead of focusing exclusively on enhancing their performance. Enriching the trust between these systems and people will accelerate this integration process. Many medical and retail banking/finance applications use state-of-the-art machine learning techniques to predict certain aspects of new instances. Tree ensembles, like random forests, are widely acceptable solutions on these tasks, while at the same time they are avoided due to their black-box uninterpretable nature, creating an unreasonable paradox. In this paper, we provide a methodology for shedding light on the predictions of the misjudged family of tree ensemble algorithms. Using classic unsupervised learning techniques and an enhanced similarity metric, to wander among transparent trees inside a forest following breadcrumbs, the interpretable essence of tree ensembles arises. An interpretation provided by these systems using our approach, which we call "LionForests", can be a simple, comprehensive rule.


title: An intrinsic approach to the non-abelian tensor product via internal crossed squares

abstract: We explain how, in the context of a semi-abelian category, the concept of an internal crossed square may be used to set up an intrinsic approach to the Brown-Loday non-abelian tensor product.


title: Joint Emotion Label Space Modelling for Affect Lexica

abstract: Emotion lexica are commonly used resources to combat data poverty in automatic emotion detection. However, vocabulary coverage issues, differences in construction method and discrepancies in emotion framework and representation result in a heterogeneous landscape of emotion detection resources, calling for a unified approach to utilising them. To combat this, we present an extended emotion lexicon of 30,273 unique entries, which is a result of merging eight existing emotion lexica by means of a multi-view variational autoencoder (VAE). We showed that a VAE is a valid approach for combining lexica with different label spaces into a joint emotion label space with a chosen number of dimensions, and that these dimensions are still interpretable. We tested the utility of the unified VAE lexicon by employing the lexicon values as features in an emotion detection model. We found that the VAE lexicon outperformed individual lexica, but contrary to our expectations, it did not outperform a naive concatenation of lexica, although it did contribute to the naive concatenation when added as an extra lexicon. Furthermore, using lexicon information as additional features on top of state-of-the-art language models usually resulted in a better performance than when no lexicon information was used.


title: Low-energy $^{23}$Al $\beta$-delayed proton decay and $^{22}$Na destruction in novae

abstract: The radionuclide $^{22}$Na is a target of $\gamma$-ray astronomy searches, predicted to be produced during thermonuclear runaways driving classical novae. The $^{22}$Na(p,$\gamma$)$^{23}$Mg reaction is the main destruction channel of $^{22}$Na during a nova, hence, its rate is needed to accurately predict the $^{22}$Na yield. However, experimental determinations of the resonance strengths have led to inconsistent results. In this work, we report a measurement of the branching ratios of the $^{23}$Al $\beta$-delayed protons, as a probe of the key 204--keV (center-of-mass) $^{22}$Na(p,$\gamma$)$^{23}$Mg resonance strength. We report a factor of 5 lower branching ratio compared to the most recent literature value. The variation in $^{22}$Na yield due to nuclear data inconsistencies was assessed using a series of hydrodynamic nova outburst simulations and has increased to a factor of 3.8, corresponding to a factor of $\sim$2 uncertainty in the maximum detectability distance. This is the first reported scientific measurement using the Gaseous Detector with Germanium Tagging (GADGET) system.


title: Deep-seismic-prior-based reconstruction of seismic data using convolutional neural networks

abstract: Reconstruction of seismic data with missing traces is a long-standing issue in seismic data processing. In recent years, rank reduction operations are being commonly utilized to overcome this problem, which require the rank of seismic data to be a prior. However, the rank of field data is unknown; usually it requires much time to manually adjust the rank and just obtain an approximated rank. Methods based on deep learning require very large datasets for training; however acquiring large datasets is difficult owing to physical or financial constraints in practice. Therefore, in this work, we developed a novel method based on unsupervised learning using the intrinsic properties of a convolutional neural network known as U-net, without training datasets. Only one undersampled seismic data was needed, and the deep seismic prior of input data could be exploited by the network itself, thus making the reconstruction convenient. Furthermore, this method can handle both irregular and regular seismic data. Synthetic and field data were tested to assess the performance of the proposed algorithm (DSPRecon algorithm); the advantages of using our method were evaluated by comparing it with the singular spectrum analysis (SSA) method for irregular data reconstruction and de-aliased Cadzow method for regular data reconstruction. Experimental results showed that our method provided better reconstruction performance than the SSA or Cadzow methods. The recovered signal-to-noise ratios (SNRs) were 32.68 dB and 19.11 dB for the DSPRecon and SSA algorithms, respectively. Those for the DSPRecon and Cadzow methods were 35.91 dB and 15.32 dB, respectively.


title: Quantum beats in the polarization of the spin-dependent photon echo from donor-bound excitons in CdTe/(Cd,Mg)Te quantum wells

abstract: We study the quantum beats in the polarization of the photon echo from donor-bound exciton ensembles in semiconductor quantum wells. To induce these quantum beats, a sequence composed of a circularly polarized and a linearly polarized picosecond laser pulse in combination with an external transverse magnetic field is used. This results in an oscillatory behavior of the photon echo amplitude, detected in the $\sigma^+$ and $\sigma^-$ circular polarizations, occurring with opposite phases relative to each other. The beating frequency is the sum of the Larmor frequencies of the resident electron and the heavy hole when the second pulse is polarized along the magnetic field. The beating frequency is, on the other hand, the difference of these Larmor frequencies when the second pulse is polarized orthogonal to the magnetic field. The measurement of both beating frequencies serves as a method to determine precisely the in-plane hole $g$ factor, including its sign. We apply this technique to observe the quantum beats in the polarization of the photon echo from the donor-bound excitons in a 20-nm-thick CdTe/Cd$_{0.76}$Mg$_{0.24}$Te quantum well. From these quantum beats we obtain the in-plane heavy hole $g$ factor $g_h=-0.143\pm0.005$.


title: $p$-wave holographic superconductors with massive vector condensate in Born-Infeld electrodynamics

abstract: In this paper, we have studied the effect of Born-Infeld electrodynamics in holographic $p$-wave superconductors with massive vector condensation. We have analysed this model in the probe limit using a variational method known as the St\"urm-Liouville eigenvalue approach. For this $p$-wave holographic superconductor model, we have calculated the critical temperature $T_{c}$ as well as the value of the condensation operator for two different choices of $m^{2}$. We have also pointed out the similarities and dissimilarities between this model for $m^{2} = 0$ and $p$-wave holographic superconductor model constructed out of Einstein-Yang-Mills theory. We have then computed the conductivity of these holographic superconductor models using a self-consistent approach and have shown that the DC conductivity diverges.


title: Robustness and efficiency of leaderless probabilistic consensus protocols within Byzantine infrastructures

abstract: This paper investigates leaderless binary majority consensus protocols with low computational complexity in noisy Byzantine infrastructures. Using computer simulations, we show that explicit randomization of the consensus protocol can significantly increase the robustness towards faulty and malicious nodes. We identify the optimal amount of randomness for various Byzantine attack strategies on different kinds of network topologies.


title: CTA 102 -- year over year receiving you

abstract: The FSRQ CTA 102 (z=1.032) has been tremendously active over the last few years. During its peak activity lasting several months in late 2016 and early 2017, the gamma-ray and optical fluxes rose by up to a factor 100 above the quiescence level. We have interpreted the peak activity as the ablation of a gas cloud by the relativistic jet, which can nicely account for the months-long lightcurve in 2016 and 2017. The peak activity was in the middle of a 2-year-long high-state, which was characterized by increased fluxes and increased rms variability compared to the previous low-states, and which was flanked by two bright flares. In this presentation, we put the cloud-ablation scenario into the broader context of the 2-year-long high-state.


title: Optimized Raman pulses for atom interferometry

abstract: We present mirror and beamsplitter pulse designs that improve the fidelity of atom interferometry and increase its tolerance of systematic inhomogeneities. These designs are demonstrated experimentally with a cold thermal sample of $^{85}$Rb atoms. We first show a stimulated Raman inversion pulse design that achieves a ground hyperfine state transfer efficiency of 99.8(3)%, compared with a conventional $\pi$ pulse efficiency of 75(3)%. This inversion pulse is robust to variations in laser intensity and detuning, maintaining a transfer efficiency of 90% at detunings for which the $\pi$ pulse fidelity is below 20%, and is thus suitable for large momentum transfer interferometers using thermal atoms or operating in non-ideal environments. We then extend our optimization to all components of a Mach-Zehnder atom interferometer sequence and show that with a highly inhomogeneous atomic sample the fringe visibility is increased threefold over that using conventional $\pi$ and $\pi/2$ pulses.


title: Analysis of Deep Networks for Monocular Depth Estimation Through Adversarial Attacks with Proposal of a Defense Method

abstract: In this paper, we consider adversarial attacks against a system of monocular depth estimation (MDE) based on convolutional neural networks (CNNs). The motivation is two-fold. One is to study the security of MDE systems, which has not been actively considered in the community. The other is to improve our understanding of the computational mechanism of CNNs performing MDE. Toward this end, we apply the method recently proposed for visualization of MDE to defending attacks. It trains another CNN to predict a saliency map from an input image, such that the CNN for MDE continues to accurately estimate the depth map from the image with its non-salient part masked out. We report the following findings. First, unsurprisingly, attacks by IFGSM (or equivalently PGD) succeed in making the CNNs yield inaccurate depth estimates. Second, the attacks can be defended by masking out non-salient pixels, indicating that the attacks function by perturbing mostly non-salient pixels. However, the prediction of saliency maps is itself vulnerable to the attacks, even though it is not the direct target of the attacks. We show that the attacks can be defended by using a saliency map predicted by a CNN trained to be robust to the attacks. These results provide an effective defense method as well as a clue to understanding the computational mechanism of CNNs for MDE.


title: Bayesian Hierarchical Models for the Prediction of Volleyball Results

abstract: Statistical modelling of sports data has become more and more popular in the recent years and different types of models have been proposed to achieve a variety of objectives: from identifying the key characteristics which lead a team to win or lose to predicting the outcome of a game or the team rankings in national leagues. Although not as popular as football or basketball, volleyball is a team sport with both national and international level competitions in almost every country. However, there is almost no study investigating the prediction of volleyball game outcomes and team rankings in national leagues. We propose a Bayesian hierarchical model for the prediction of the rankings of volleyball national teams, which also allows to estimate the results of each match in the league. We consider two alternative model specifications of different complexity which are validated using data from the women's volleyball Italian Serie A1 2017-2018 season.


title: The Tutte Polynomial of Complex Reflection Groups

abstract: This article computes the Tutte polynomial of the hyperplane arrangements associated to the complex reflection groups. The calculations are based on both formulas of De Concini and Procesi for Tutte polynomial and the normaliser of parabolic subgroups in complex reflection groups determined by Krishnasamy and Taylor.


title: A Framework for End-to-End Deep Learning-Based Anomaly Detection in Transportation Networks

abstract: We develop an end-to-end deep learning-based anomaly detection model for temporal data in transportation networks. The proposed EVT-LSTM model is derived from the popular LSTM (Long Short-Term Memory) network and adopts an objective function that is based on fundamental results from EVT (Extreme Value Theory). We compare the EVT-LSTM model with some established statistical, machine learning, and hybrid deep learning baselines. Experiments on seven diverse real-world data sets demonstrate the superior anomaly detection performance of our proposed model over the other models considered in the comparison study.


title: Natural Language Generation Challenges for Explainable AI

abstract: Good quality explanations of artificial intelligence (XAI) reasoning must be written (and evaluated) for an explanatory purpose, targeted towards their readers, have a good narrative and causal structure, and highlight where uncertainty and data quality affect the AI output. I discuss these challenges from a Natural Language Generation (NLG) perspective, and highlight four specific NLG for XAI research challenges.


title: On Node Features for Graph Neural Networks

abstract: Graph neural network (GNN) is a deep model for graph representation learning. One advantage of graph neural network is its ability to incorporate node features into the learning process. However, this prevents graph neural network from being applied into featureless graphs. In this paper, we first analyze the effects of node features on the performance of graph neural network. We show that GNNs work well if there is a strong correlation between node features and node labels. Based on these results, we propose new feature initialization methods that allows to apply graph neural network to non-attributed graphs. Our experimental results show that the artificial features are highly competitive with real features.


title: Interface reflectivity of a superdiffusive spin current in ultrafast demagnetization and THz emission

abstract: The spin- and energy-dependent interface reflectivity of a ferromagnetic (FM) film in contact with a nonmagnetic (NM) film is calculated using a first-principles transport method and incorporated into the superdiffusive spin transport model to study the femtosecond laser-induced ultrafast demagnetization of Fe|NM and Ni|NM (NM= Au, Al & Pt) bilayers. By comparing the calculated demagnetization with transparent and real interfaces, we demonstrate that the spin-dependent reflection of hot electrons has a noticeable influence on the ultrafast demagnetization and the associated terahertz electromagnetic radiation. In particular, a spin filtering effect is found at the Fe|NM interface that increases the spin current injected into the NM metal, which enhances both the resulting demagnetization and the resulting THz emission. This suggests that the THz radiation can be optimized by tailoring the interface, indicating a very large tunability.


title: You Are Here: Geolocation by Embedding Maps and Images

abstract: We present a novel approach to geolocalising panoramic images on a 2-D cartographic map based on learning a low dimensional embedded space, which allows a comparison between an image captured at a location and local neighbourhoods of the map. The representation is not sufficiently discriminatory to allow localisation from a single image, but when concatenated along a route, localisation converges quickly, with over 90% accuracy being achieved for routes of around 200m in length when using Google Street View and Open Street Map data. The method generalises a previous fixed semantic feature based approach and achieves significantly higher localisation accuracy and faster convergence.


title: Balanced truncation model reduction for 3D linear magneto-quasistatic field problems

abstract: We consider linear magneto-quasistatic field equations which arise in simulation of low-frequency electromagnetic devices coupled to electrical circuits. A finite element discretization of such equations on 3D domains leads to a singular system of differential-algebraic equations. First, we study the structural properties of such a system and present a new regularization approach based on projecting out the singular state components. Furthermore, we present a Lyapunov-based balanced truncation model reduction method which preserves stability and passivity. By making use of the underlying structure of the problem, we develop an efficient model reduction algorithm. Numerical experiments demonstrate its performance on a test example.


title: Solving Online Threat Screening Games using Constrained Action Space Reinforcement Learning

abstract: Large-scale screening for potential threats with limited resources and capacity for screening is a problem of interest at airports, seaports, and other ports of entry. Adversaries can observe screening procedures and arrive at a time when there will be gaps in screening due to limited resource capacities. To capture this game between ports and adversaries, this problem has been previously represented as a Stackelberg game, referred to as a Threat Screening Game (TSG). Given the significant complexity associated with solving TSGs and uncertainty in arrivals of customers, existing work has assumed that screenees arrive and are allocated security resources at the beginning of the time window. In practice, screenees such as airport passengers arrive in bursts correlated with flight time and are not bound by fixed time windows. To address this, we propose an online threat screening model in which screening strategy is determined adaptively as a passenger arrives while satisfying a hard bound on acceptable risk of not screening a threat. To solve the online problem with a hard bound on risk, we formulate it as a Reinforcement Learning (RL) problem with constraints on the action space (hard bound on risk). We provide a novel way to efficiently enforce linear inequality constraints on the action output in Deep Reinforcement Learning. We show that our solution allows us to significantly reduce screenee wait time while guaranteeing a bound on risk.


title: Online Spectral Approximation in Random Order Streams

abstract: This paper studies spectral approximation for a positive semidefinite matrix in the online setting. It is known in [Cohen et al. APPROX 2016] that we can construct a spectral approximation of a given $n \times d$ matrix in the online setting if an additive error is allowed. In this paper, we propose an online algorithm that avoids an additive error with the same time and space complexities as the algorithm of Cohen et al., and provides a better upper bound on the approximation size when a given matrix has small rank. In addition, we consider the online random order setting where a row of a given matrix arrives uniformly at random. In this setting, we propose time and space efficient algorithms to find a spectral approximation. Moreover, we reveal that a lower bound on the approximation size in the online random order setting is $\Omega (d \epsilon^{-2} \log n)$, which is larger than the one in the offline setting by an $\mathrm{O}\left( \log n \right)$ factor.


title: Ray Effect Mitigation for the Discrete Ordinates Method Using Artificial Scattering

abstract: Solving the radiative transfer equation with the discrete ordinates (S$_N$) method leads to a non-physical imprint of the chosen quadrature set on the solution. To mitigate these so-called ray effects, we propose a modification of the S$_N$ method, which we call artificial scattering S$_N$ (as-S$_N$). The method adds an artificial forward-peaked scattering operator which generates angular diffusion to the solution and thereby mitigates ray effects. Similar to artificial viscosity for spatial discretizations, the additional term vanishes as the number of ordinates approaches infinity. Our method allows an efficient implementation of explicit and implicit time integration according to standard S$_N$ solver technology. For two test cases, we demonstrate a significant reduction of the error for the as-S$_N$ method when compared to the standard S$_N$ method, both for explicit and implicit computations. Furthermore, we show that a prescribed numerical precision can be reached with less memory due to the reduction in the number of ordinates.


title: Blockchain-Assisted Spectrum Trading between Elastic Virtual Optical Networks

abstract: In communication networks, network virtualization can usually provide better capacity utilization and quality of service (QoS) than what can be achieved otherwise. However, conventional resource allocation for virtualized networks would still follow a fixed pattern based on the predicted capacity needs of the users, even though, in reality, the actual traffic demand of a user will always tend to fluctuate. The mismatch between the fixed capacity allocation and the actual fluctuating traffic would lead to degradation of provisioned network services and inefficiency in the assigned network capacity. To overcome this, we propose a new spectrum trading (ST) scheme between virtual optical networks (VONs) in the context of an elastic optical network (EON). The key idea here is to allow different VONs to trade their spectrum resources according to the actual capacity they need at different time instants. A VON with unused spectra can then trade away its unused spectra to other VONs that are short of spectrum resources at that time. In exchange, it is rewarded with a certain amount of credit for its contribution to the ST community, which it can then use later to get extra bandwidth, if needed. The trust-worthiness of the trading records between the VONs is ensured in a distributed fashion through a blockchain-assisted account book that is updated whenever a new trade occurs. For this, we develop a software-defined control plane to enable spectrum trading in an EON. The performance of the ST scheme is evaluated and compared with a scenario without such trading. Our results show that the proposed ST scheme is effective in improving the QoS of each VON and significantly improves the overall network capacity utilization.


title: How to profit from payments channels

abstract: Payment channel networks like Bitcoin's Lightning network are an auspicious approach for realizing high transaction throughput and almost-instant confirmations in blockchain networks. However, the ability to successfully make payments in such networks relies on the willingness of participants to lock collateral in the network. In Lightning, the key financial incentive is to lock collateral are small fees for routing payments for other participants. While users can choose these fees, currently, they mainly stick to the default fees. By providing insights on beneficial choices for fees, we aim to incentivize users to lock more collateral and improve the effectiveness of the network. In this paper, we consider a node $\mathbf{A}$ that given the network topology and the channel details selects where to establish channels and how much fee to charge such that its financial gain is maximized. We formalize the optimization problem and show that it is NP-hard. We design a greedy algorithm to approximate the optimal solution. In each step, our greedy algorithm selects a node which maximizes the total reward concerning the number of shortest paths passing through $\mathbf{A}$ and channel fees. Our simulation study leverages real-world data set to quantify the impact of our gain optimization and indicates that our strategy is at least a factor two better than other strategies.


title: Enantiomeric excess determination based on nonreciprocal transition induced spectral line elimination

abstract: The spontaneous emission spectrum of a multi-level atom or molecule with nonreciprocal transition is investigated. It is shown that the nonreciprocal transition can lead to the elimination of a spectral line in the spontaneous emission spectrum. As an application, we show that nonreciprocal transition arises from the phase-related driving fields in chiral molecules with cyclic three-level transitions, and the elimination of a spectral line induced by nonreciprocal transition provides us a method to determine the enantiomeric excess for the chiral molecules without requiring the enantio-pure samples.


title: Segmentation of Defective Skulls from CT Data for Tissue Modelling

abstract: In this work we present a method of automatic segmentation of defective skulls for custom cranial implant design and 3D printing purposes. Since such tissue models are usually required in patient cases with complex anatomical defects and variety of external objects present in the acquired data, most deep learning-based approaches fall short because it is not possible to create a sufficient training dataset that would encompass the spectrum of all possible structures. Because CNN segmentation experiments in this application domain have been so far limited to simple patch-based CNN architectures, we first show how the usage of the encoder-decoder architecture can substantially improve the segmentation accuracy. Then, we show how the number of segmentation artifacts, which usually require manual corrections, can be further reduced by adding a boundary term to CNN training and by globally optimizing the segmentation with graph-cut. Finally, we show that using the proposed method, 3D segmentation accurate enough for clinical application can be achieved with 2D CNN architectures as well as their 3D counterparts.


title: Defining the Topological Influencers and Predictive Principles to Engineer Band Structure of Halide Perovskites

abstract: Complex quantum coupling phenomena of halide perovskites are examined through ab-initio calculations and exact diagonalization of model Hamiltonians to formulate a set of fundamental guiding rules to engineer the bandgap through strain. The bandgap tuning in halides is crucial for photovoltaic applications and for establishing non-trivial electronic states. Using CsSnI$_3$ as the prototype material, we show that in the cubic phase, the bandgap reduces irrespective of the nature of strain. However, for the tetragonal phase, it reduces with tensile strain and increases with compressive strain, while the reverse is the case for the orthorhombic phase. The reduction can give rise to negative bandgap in the cubic and tetragonal phases leading to normal to topological insulator phase transition. Also, these halides tend to form a stability plateau in a space spanned by strain and octahedral rotation. In this plateau, with negligible cost to the total energy, the bandgap can be varied in a range of 1eV. Furthermore, we present a descriptor model for the perovskite to simulate their bandgap with strain and rotation. Analysis of band topology through model Hamiltonians led to the conceptualization of topological influencers that provide a quantitative measure of the contribution of each chemical bonding towards establishing a normal or topological insulator phase. On the technical aspect, we show that a four orbital based basis set (Sn-$\{s,p\}$ for CsSnI$_3$) is sufficient to construct the model Hamiltonian which can explain the electronic structure of each polymorph of halide perovskites.


title: Three-dimensional entanglement on a silicon chip

abstract: Entanglement is a counterintuitive feature of quantum physics that is at the heart of quantum technology. High-dimensional quantum states offer unique advantages in various quantum information tasks. Integrated photonic chips have recently emerged as a leading platform for the generation, manipulation and detection of entangled photons. Here, we report a silicon photonic chip that uses novel interferometric resonance-enhanced photon-pair sources, spectral demultiplexers and high-dimensional reconfigurable circuitries to generate, manipulate and analyse path-entangled three-dimensional qutrit states. By minimizing on-chip electrical and thermal cross-talk, we obtain high-quality quantum interference with visibilities above 96.5% and a maximumly entangled qutrit state with a fidelity of 95.5%. We further explore the fundamental properties of entangled qutrits to test quantum nonlocality and contextuality, and to implement quantum simulations of graphs and high-precision optical phase measurements. Our work paves the path for the development of multiphoton high-dimensional quantum technologies.


title: Extremely imbalanced two-dimensional electron-hole-photon systems

abstract: We investigate the phases of two-dimensional electron-hole systems strongly coupled to a microcavity photon field in the limit of extreme charge imbalance. Using variational wave functions, we examine the competition between different electron-hole paired states for the specific cases of semiconducting III-V single quantum wells, electron-hole bilayers, and transition metal dichalcogenide monolayers embedded in a planar microcavity. We show how the Fermi sea of excess charges modifies both the electron-hole bound state (exciton) properties and the dielectric constant of the cavity active medium, which in turn affects the photon component of the many-body polariton ground state. On the one hand, long-range Coulomb interactions and Pauli blocking of the Fermi sea promote electron-hole pairing with finite center-of-mass momentum, corresponding to an excitonic roton minimum. On the other hand, the strong coupling to the ultra-low-mass cavity photon mode favors zero-momentum pairs. We discuss the prospect of observing different types of electron-hole pairing in the photon spectrum.


title: Strategy-Proof and Non-Wasteful Multi-Unit Auction via Social Network

abstract: Auctions via social network, pioneered by Li et al. (2017), have been attracting considerable attention in the literature of mechanism design for auctions. However, no known mechanism has satisfied strategy-proofness, non-deficit, non-wastefulness, and individual rationality for the multi-unit unit-demand auction, except for some naive ones. In this paper, we first propose a mechanism that satisfies all the above properties. We then make a comprehensive comparison with two naive mechanisms, showing that the proposed mechanism dominates them in social surplus, seller's revenue, and incentive of buyers for truth-telling. We also analyze the characteristics of the social surplus and the revenue achieved by the proposed mechanism, including the constant approximability of the worst-case efficiency loss and the complexity of optimizing revenue from the seller's perspective.


title: Tuning the periodic V-peeling behavior of elastic tapes applied to thin compliant substrates

abstract: In this paper, we investigate the periodic peeling behavior of opposing symmetric peeling fronts involving an elastic tape peeled off from a deformable substrate of finite thickness, backed onto a rigid foundation. We treat the problem by means of an energetic formulation, and we found that, depending on the values of the initial detached length $l$, substrate thickness $h$, and peeling periodicity $\lambda$, the translational invariance of the peeling process is lost and restored, as the elastic interaction between the peeling fronts is limited by the substrate thickness. Indeed, given $h$ and $\lambda$, a critical value of the detached length can be found, which is able to prevent unstable peeling of the tape under a fixed applied load, thus resulting in enhanced adhesion strength, with respect to the classical Kendall's solution for peeling from a rigid substrate. On the other hand, given the geometrical system configuration (i.e. the detached length $l$) the load necessary to trigger the peeling can be minimized by conveniently tuning the ratio $h/\lambda$. This feature might be of interest for the development of innovative designs for future biomedical devices, such as Transdermal Drug Delivery Systems or wound dressing, requiring low peel adhesion for safe successive removals.


title: Moist Shallow Water Response to Tropical Forcing: Initial Value Problems

abstract: The response of a spherical moist shallow water system to tropical imbalances in the presence of inhomogeneous saturation fields is examined. While the initial moist response is similar to the dry reference run, albeit with a reduced equivalent depth, the long time solution depends quite strikingly on the nature of the saturation field. For a saturation field that only depends on latitude, specifically, one with a peak at the equator and falls off meridionally in both hemispheres, height imbalances adjust to large-scale, low-frequency westward propagating modes. When the background saturation environment is also allowed to vary with longitude, in addition to a westward quadrupole, there is a distinct eastward propagating response at long times. The nature of this eastward propagating mode is well described by moist potential vorticity conservation and it consists of wave packets that arc out to midlatitudes and return to the tropics and are predominantly rotational in character. In all moist cases, initially formed Kelvin waves decay, and this appears to be tied to the off-equatorial organization of moisture anomalies by rotational modes. Many of these basic features carry over to the response in the presence of realistic saturation fields derived from reanalysis based precipitable water. In boreal summer, long time eastward response is restricted to northern hemisphere and takes the form of a wavetrain that passes over Indian landmass into the subtropics, reaching across the Pacific to North America. In boreal winter, the eastward mode consists of a subtropically confined rotational quadrupole along with midlatitudinal disturbances. Thus, in addition to circumnavigating westward Rossby waves, slow eastward propagating modes appear to be a robust feature of the shallow water system with interactive moisture in the presence of saturation fields that vary with latitude and longitude.


title: An Algebraic Approach to the Weyl Groupoid

abstract: We unify the Kumjian-Renault Weyl groupoid construction with the Lawson-Lenz version of Exel's tight groupoid construction. We do this by utilising only a weak algebraic fragment of the C*-algebra structure, namely its *-semigroup reduct. Fundamental properties like local compactness are also shown to remain valid in general classes of *-rings.


title: PARAM: A Microprocessor Hardened for Power Side-Channel Attack Resistance

abstract: The power consumption of a microprocessor is a huge channel for information leakage. While the most popular exploitation of this channel is to recover cryptographic keys from embedded devices, other applications such as mobile app fingerprinting, reverse engineering of firmware, and password recovery are growing threats. Countermeasures proposed so far are tuned to specific applications, such as crypto-implementations. They are not scalable to the large number and variety of applications that typically run on a general purpose microprocessor. In this paper, we investigate the design of a microprocessor, called PARAM with increased resistance to power based side-channel attacks. To design PARAM, we start with identifying the most leaking modules in an open-source RISC V processor. We evaluate the leakage in these modules and then add suitable countermeasures. The countermeasures depend on the cause of leakage in each module and can vary from simple modifications of the HDL code ensuring secure translation by the EDA tools, to obfuscating data and address lines thus breaking correlation with the processor's power consumption. The resultant processor is instantiated on the SASEBO-GIII FPGA board and found to resist Differential Power Analysis even after one million power traces. Compared to contemporary countermeasures for power side-channel attacks, overheads in area and frequency are minimal.


title: Photon Emission Near Myers-Perry Black Holes in the Large Dimension Limit

abstract: We study the null geodesics extending from the near-horizon region out to the far region in the background of the Schwarzschild and the singly-spinning Myers-Perry black holes in the large dimension limit. We find that in this limit the radial integrals of these geodesics can be obtained by using the method of matched asymptotic expansions. If the motion of the photon is confined to the equator plane, then all geodesic equations are solvable analytically. The study in this paper may provide a toy model to analyze the observables relevant to the electromagnetic phenomena occurring near the black holes.


title: Object-based multi-temporal and multi-source land cover mapping leveraging hierarchical class relationships

abstract: European satellite missions Sentinel-1 (S1) and Sentinel-2 (S2) provide at highspatial resolution and high revisit time, respectively, radar and optical imagesthat support a wide range of Earth surface monitoring tasks such as LandUse/Land Cover mapping. A long-standing challenge in the remote sensingcommunity is about how to efficiently exploit multiple sources of information and leverage their complementary. In this particular case, get the most out ofradar and optical satellite image time series (SITS). Here, we propose to dealwith land cover mapping through a deep learning framework especially tailoredto leverage the multi-source complementarity provided by radar and opticalSITS. The proposed architecture is based on an extension of Recurrent NeuralNetwork (RNN) enriched via a customized attention mechanism capable to fitthe specificity of SITS data. In addition, we propose a new pretraining strategythat exploits domain expert knowledge to guide the model parameter initial-ization. Thorough experimental evaluations involving several machine learningcompetitors, on two contrasted study sites, have demonstrated the suitabilityof our new attention mechanism combined with the extend RNN model as wellas the benefit/limit to inject domain expert knowledge in the neural networktraining process.


title: Can We Benchmark Code Review Studies? A Systematic Mapping Study of Methodology, Dataset, and Metric

abstract: Code Review (CR) is the cornerstone for software quality assurance and a crucial practice for software development. As CR research matures, it can be difficult to keep track of the best practices and state-of-the-art in methodology, dataset, and metric. This paper investigates the potential of benchmarking by collecting methodology, dataset, and metric of CR studies. A systematic mapping study was conducted. A total of 112 studies from 19,847 papers published in high-impact venues between the years 2011 and 2019 were selected and analyzed. First, we find that empirical evaluation is the most common methodology (65% of papers), with solution and experience being the least common methodology. Second, we highlight 50% of papers that use the quantitative method or mixed-method have the potential for replicability. Third, we identify 457 metrics that are grouped into sixteen core metric sets, applied to nine Software Engineering topics, showing different research topics tend to use specific metric sets. We conclude that at this stage, we cannot benchmark CR studies. Nevertheless, a common benchmark will facilitate new researchers, including experts from other fields, to innovate new techniques and build on top of already established methodologies. A full replication is available at https://naist-se.github.io/code-review/.


title: Black-box Combinatorial Optimization using Models with Integer-valued Minima

abstract: When a black-box optimization objective can only be evaluated with costly or noisy measurements, most standard optimization algorithms are unsuited to find the optimal solution. Specialized algorithms that deal with exactly this situation make use of surrogate models. These models are usually continuous and smooth, which is beneficial for continuous optimization problems, but not necessarily for combinatorial problems. However, by choosing the basis functions of the surrogate model in a certain way, we show that it can be guaranteed that the optimal solution of the surrogate model is integer. This approach outperforms random search, simulated annealing and one Bayesian optimization algorithm on the problem of finding robust routes for a noise-perturbed traveling salesman benchmark problem, with similar performance as another Bayesian optimization algorithm, and outperforms all compared algorithms on a convex binary optimization problem with a large number of variables.


title: High electrical conducting deep-ultraviolet-transparent oxide semiconductor La-doped SrSnO3 exceeding ~3000 S cm-1

abstract: La-doped SrSnO3 (LSSO) is known as one of deep-ultraviolet (DUV)-transparent conducting oxides with an energy bandgap of ~4.6 eV. Since LSSO can be grown heteroepitaxially on more wide bandgap substrates such as MgO (Eg ~7.8 eV), LSSO is considered to be a good candidate as a DUV-transparent electrode. However, the electrical conductivity of LSSO films are below 1000 S cm^-1, most likely due to the low solubility of La ion in the LSSO lattice. Here we report that high electrically conducting (>3000 S cm^-1) LSSO thin films with an energy bandgap of ~4.6 eV can be fabricated by pulsed laser deposition on MgO substrate followed by a simple annealing in vacuum. From the X-ray diffraction and the scanning transmission electron microscopy analyses, we found that lateral grain growth occurred during the annealing, which improved the activation rate of La ion, leading to a significant improvement of carrier concentration (3.26 x 10^20 cm^-3) and Hall mobility (55.8 cm^2 V^-1 s^-1). The present DUV-transparent oxide semiconductor would be useful as a transparent electrode for developing optoelectronic devices, which transmit and/or emit DUV-light.


title: The impact of progenitor asymmetries on the neutrino-driven convection in core-collapse supernovae

abstract: The explosion of massive stars in core-collapse supernovae may be aided by the convective instabilities that develop in their innermost nuclear burning shells. The resulting fluctuations support the explosion by generating additional turbulence behind the supernova shock. It was suggested that the buoyant density perturbations arising from the interaction of the pre-collapse asymmetries with the shock may be the primary contributor to the enhancement of the neutrino-driven turbulent convection in the post-shock region. Employing three-dimensional numerical simulations of a toy model, we investigate the impact of such density perturbations on the post-shock turbulence. We consider a wide range of perturbation parameters. The spatial scale and the amplitude of the perturbations are found to be of comparable importance. The turbulence is particularly enhanced when the perturbation frequency is close to that of the convective turnovers in the gain region. Our analysis confirms that the buoyant density perturbations is indeed the main source of the additional turbulence in the gain region, validating the previous order-of-magnitude estimates.


title: A Fast Sampling Gradient Tree Boosting Framework

abstract: As an adaptive, interpretable, robust, and accurate meta-algorithm for arbitrary differentiable loss functions, gradient tree boosting is one of the most popular machine learning techniques, though the computational expensiveness severely limits its usage. Stochastic gradient boosting could be adopted to accelerates gradient boosting by uniformly sampling training instances, but its estimator could introduce a high variance. This situation arises motivation for us to optimize gradient tree boosting. We combine gradient tree boosting with importance sampling, which achieves better performance by reducing the stochastic variance. Furthermore, we use a regularizer to improve the diagonal approximation in the Newton step of gradient boosting. The theoretical analysis supports that our strategies achieve a linear convergence rate on logistic loss. Empirical results show that our algorithm achieves a 2.5x--18x acceleration on two different gradient boosting algorithms (LogitBoost and LambdaMART) without appreciable performance loss.


title: A new proof of a classical result on the topology of orientable connected and compact surfaces by means of the Bochner technique

abstract: As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from $X$, defined on the open subset out the zeroes of $X$. Thanks to the Whitney embedding theorem and a standard approximation procedure, as a consequence, we give a new proof of the following well-known fact: if on an orientable, connected and compact $2$-dimensional smooth manifold there exists a continuous tangent vector field with no zeroes, then the manifold is diffeomorphic (or equivalently homeomorphic) to a torus.


title: Empirical model of campus air temperature and urban morphology parameters based on field measurement and machine learning in Singapore

abstract: The rising air temperature caused by Urban Heat Island (UHI) effect has become a problem for Singapore, it not only affects the thermal comfort of outdoor microclimate environment, but also increases the cooling energy consumption of buildings. As part of a multiscale and multi-physics urban microclimate model, weather stations were installed at 15 points within kent ridge campus of National University of Singapore (NUS) and continuously recorded the microclimate data from February 2019 to May 2019. A Geographical Information System (GIS) map and 3D model were constructed for extracting urban morphology parameters such as BDG, PAVE, WALL and HBDG. Through a site survey, SVF and GnPR were calculated. By using multi-criteria linear regression and machine learning, this research investigated five regression models for prediction of outdoor air temperature including linear regression (LR), k-nearest neighbours (KNN), support vector regression (SVR), decision tree (DT) and random forests (RF). The analysis of variables by best subsets regression showed greenery played crucial role in the mitigation of both daytime and night-time UHI. Pedestrian level wind flow was helpful in heat release in the daytime. High-rise buildings provided self-shadowing to reduce ambient air temperature but higher SVF was harmful to heat release in the night-time. For regression models, RF had the best predictive performance. Average RMSE of RF was reduced by 4% to 29% compared to linear regression. The learning curve indicated that the predictive power of LR could not be improved by additional data provision. In contrast, the downward trend in bias and variance suggested that RF can benefit from the training of big data. During the deployment of learning algorithms, RF continued to outperform other learning algorithms.


title: The axial curvature for corank 1 singular surfaces

abstract: For singular corank 1 surfaces in $\mathbb R^3$ we introduce a distinguished normal vector called the axial vector. Using this vector and the curvature parabola we define a new type of curvature called the axial curvature, which generalizes the singular curvature for frontal type singularities. We then study contact properties of the surface with respect to the plane orthogonal to the axial vector and show how they are related to the axial curvature. Finally, for certain fold type singularities, we relate the axial curvature with the Gaussian curvature of an appropriate blow up.


title: NQontrol: An open-source platform for digital control-loops in quantum-optical experiments

abstract: Experiments in quantum optics often require a large number of control loops, e.g. for length-stabilization of optical cavities and control of phase gates. These control loops are generally implemented using one of three approaches: commercial (digital) controllers, self-built analog circuitry, or custom solutions based on Field Programmable Gate Arrays (FPGAs) and microcontrollers. Each of these approaches has individual drawbacks, such as high cost, lack of scalability and flexibility, or high maintenance effort. Here we present NQontrol, a solution based on the ADwin digital control platform that delivers eight simultaneous locking loops running with 200 kHz sampling frequency, and offers five second-order filtering sections per channel for optimal control performance. A comprehensive software package written in Python, together with a web-based graphical user interface (GUI), makes the system as easy to use as commercial products, while giving the full flexibility of open-source platforms.


title: Optical magnetic dipole levitation using a plasmonic surface

abstract: Optically-induced magnetic resonances in non-magnetic media have unlocked magnetic light-matter interactions and led to new technologies in many research fields. Previous proposals for the levitation of nanoscale particles without structured illumination have worked on the basis of epsilon-near-zero surfaces or anisotropic materials but these carry with them significant fabrication difficulties. We report the optical levitation of a magnetic dipole over a wide range of realistic materials, including bulk metals, thereby relieving these difficulties. The repulsion is independent of surface losses and we propose an experiment to detect this force which consists of a core-shell nanoparticle, exhibiting a magnetic resonance, in close proximity to a gold substrate under plane wave illumination. We anticipate the use of this phenomenon in new nanomechanical devices.


title: Hierarchical Average Reward Policy Gradient Algorithms

abstract: Option-critic learning is a general-purpose reinforcement learning (RL) framework that aims to address the issue of long term credit assignment by leveraging temporal abstractions. However, when dealing with extended timescales, discounting future rewards can lead to incorrect credit assignments. In this work, we address this issue by extending the hierarchical option-critic policy gradient theorem for the average reward criterion. Our proposed framework aims to maximize the long-term reward obtained in the steady-state of the Markov chain defined by the agent's policy. Furthermore, we use an ordinary differential equation based approach for our convergence analysis and prove that the parameters of the intra-option policies, termination functions, and value functions, converge to their corresponding optimal values, with probability one. Finally, we illustrate the competitive advantage of learning options, in the average reward setting, on a grid-world environment with sparse rewards.


title: Zero-Shot Semantic Parsing for Instructions

abstract: We consider a zero-shot semantic parsing task: parsing instructions into compositional logical forms, in domains that were not seen during training. We present a new dataset with 1,390 examples from 7 application domains (e.g. a calendar or a file manager), each example consisting of a triplet: (a) the application's initial state, (b) an instruction, to be carried out in the context of that state, and (c) the state of the application after carrying out the instruction. We introduce a new training algorithm that aims to train a semantic parser on examples from a set of source domains, so that it can effectively parse instructions from an unknown target domain. We integrate our algorithm into the floating parser of Pasupat and Liang (2015), and further augment the parser with features and a logical form candidate filtering logic, to support zero-shot adaptation. Our experiments with various zero-shot adaptation setups demonstrate substantial performance gains over a non-adapted parser.


title: Almost supplementary difference sets and quaternary sequences

abstract: We introduce almost supplementary difference sets (ASDS). For odd $m$, certain ASDS in ${\mathbb Z}_m$ that have amicable incidence matrices are equivalent to quaternary sequences of odd length $m$ with optimal autocorrelation. As one consequence, if $2m-1$ is a prime power, or $m \equiv 1 \mod 4$ is prime, then ASDS of this kind exist. We also explore connections to optimal binary sequences and group cohomology.


title: Casting a Wide Net: Robust Extraction of Potentially Idiomatic Expressions

abstract: Idiomatic expressions like `out of the woods' and `up the ante' present a range of difficulties for natural language processing applications. We present work on the annotation and extraction of what we term potentially idiomatic expressions (PIEs), a subclass of multiword expressions covering both literal and non-literal uses of idiomatic expressions. Existing corpora of PIEs are small and have limited coverage of different PIE types, which hampers research. To further progress on the extraction and disambiguation of potentially idiomatic expressions, larger corpora of PIEs are required. In addition, larger corpora are a potential source for valuable linguistic insights into idiomatic expressions and their variability. We propose automatic tools to facilitate the building of larger PIE corpora, by investigating the feasibility of using dictionary-based extraction of PIEs as a pre-extraction tool for English. We do this by assessing the reliability and coverage of idiom dictionaries, the annotation of a PIE corpus, and the automatic extraction of PIEs from a large corpus. Results show that combinations of dictionaries are a reliable source of idiomatic expressions, that PIEs can be annotated with a high reliability (0.74-0.91 Fleiss' Kappa), and that parse-based PIE extraction yields highly accurate performance (88% F1-score). Combining complementary PIE extraction methods increases reliability further, to over 92% F1-score. Moreover, the extraction method presented here could be extended to other types of multiword expressions and to other languages, given that sufficient NLP tools are available.


title: Statistical Inference on Partially Linear Panel Model under Unobserved Linearity

abstract: A new statistical procedure, based on a modified spline basis, is proposed to identify the linear components in the panel data model with fixed effects. Under some mild assumptions, the proposed procedure is shown to consistently estimate the underlying regression function, correctly select the linear components, and effectively conduct the statistical inference. When compared to existing methods for detection of linearity in the panel model, our approach is demonstrated to be theoretically justified as well as practically convenient. We provide a computational algorithm that implements the proposed procedure along with a path-based solution method for linearity detection, which avoids the burden of selecting the tuning parameter for the penalty term. Monte Carlo simulations are conducted to examine the finite sample performance of our proposed procedure with detailed findings that confirm our theoretical results in the paper. Applications to Aggregate Production and Environmental Kuznets Curve data also illustrate the necessity for detecting linearity in the partially linear panel model.


title: "Grating Echo" instrument for small-angle neutron scattering investigations

abstract: The concept of the instrument with absorption gratings into small-angle neutron scattering measuring is discussed. The instrument action consists of passing direct and scattered radiation through a system of 3 absorption gratings, consisting of periodic transparent and absorbing strips. The instrument operates in a mode of geometric optics. The principle of operation of the instrument is demonstrated on a prototype created for optical radiation. For the instrument equations of the radiation transmission and the display of the sample, scattering function has been derived. The necessary parameters of neutron absorption gratings and design limitations of the installation are given. By the concept of "grating echo instrument for neutron scattering", the expected characteristics and experimental possibilities are presented.


title: Frequent Elements with Witnesses in Data Streams

abstract: Detecting frequent elements is among the oldest and most-studied problems in the area of data streams. Given a stream of $m$ data items in $\{1, 2, \dots, n\}$, the objective is to output items that appear at least $d$ times, for some threshold parameter $d$, and provably optimal algorithms are known today. However, in many applications, knowing only the frequent elements themselves is not enough: For example, an Internet router may not only need to know the most frequent destination IP addresses of forwarded packages, but also the timestamps of when these packages appeared or any other meta-data that "arrived" with the packages, e.g., their source IP addresses. In this paper, we introduce the witness version of the frequent elements problem: Given a desired approximation guarantee $\alpha \ge 1$ and a desired frequency $d \le \Delta$, where $\Delta$ is the frequency of the most frequent item, the objective is to report an item together with at least $d / \alpha$ timestamps of when the item appeared in the stream (or any other meta-data that arrived with the items). We give provably optimal algorithms for both the insertion-only and insertion-deletion stream settings: In insertion-only streams, we show that space $\tilde{O}(n + d \cdot n^{\frac{1}{\alpha}})$ is necessary and sufficient for every integral $1 \le \alpha \le \log n$. In insertion-deletion streams, we show that space $\tilde{O}(\frac{n \cdot d}{\alpha^2})$ is necessary and sufficient, for every $\alpha \le \sqrt{n}$.


title: A Conditional Perspective for Iterated Belief Contraction

abstract: According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially because for iterated belief change the connection between revision and contraction via the Levi and Harper identity is not straightforward, and therefore, characterisation results do not transfer easily between iterated revision and contraction. In this article, we develop an axiomatisation of iterated contraction in terms of changing conditional beliefs. We prove that the new set of postulates conforms semantically to the class of operators like the ones given by Konieczny and Pino P\'erez for iterated contraction.


title: Fast Actively Secure OT Extension for Short Secrets

abstract: Oblivious Transfer (OT) is one of the most fundamental cryptographic primitives with wide-spread application in general secure multi-party computation (MPC) as well as in a number of tailored and special-purpose problems of interest such as private set intersection (PSI), private information retrieval (PIR), contract signing to name a few. Often the instantiations of OT require prohibitive communication and computation complexity. OT extension protocols are introduced to compute a very large number of OTs referred to as extended OTs at the cost of a small number of OTs referred to as seed OTs. We present a fast OT extension protocol for small secrets in the active setting. Our protocol when used to produce 1-out-of-n OTs outperforms all the known actively secure OT extensions. Our protocol is built on the semi-honest secure extension protocol of Kolesnikov and Kumaresan of CRYPTO'13 (referred to as KK13 protocol henceforth) which is the best known OT extension for short secrets.


title: Minimal texture of quark mass matrices and precision CKM measurements

abstract: We have carried out an extensive analysis of all possible minimal texture quark mass matrices implying 169 texture 6 zero combinations. One finds that all these combinations are ruled out, a good number of these analytically, the other possibilities are excluded by the present quark mixing data. Interestingly, even if in future, there are changes in the ranges of the light quark masses, these conclusions remain valid.


title: Table-Of-Contents generation on contemporary documents

abstract: The generation of precise and detailed Table-Of-Contents (TOC) from a document is a problem of major importance for document understanding and information extraction. Despite its importance, it is still a challenging task, especially for non-standardized documents with rich layout information such as commercial documents. In this paper, we present a new neural-based pipeline for TOC generation applicable to any searchable document. Unlike previous methods, we do not use semantic labeling nor assume the presence of parsable TOC pages in the document. Moreover, we analyze the influence of using external knowledge encoded as a template. We empirically show that this approach is only useful in a very low resource environment. Finally, we propose a new domain-specific data set that sheds some light on the difficulties of TOC generation in real-world documents. The proposed method shows better performance than the state-of-the-art on a public data set and on the newly released data set.


title: Motility and Phototaxis of $Gonium$, the Simplest Differentiated Colonial Alga

abstract: Green algae of the $Volvocine$ lineage, spanning from unicellular $Chlamydomonas$ to vastly larger $Volvox$, are models for the study of the evolution of multicellularity, flagellar dynamics, and developmental processes. Phototactic steering in these organisms occurs without a central nervous system, driven solely by the response of individual cells. All such algae spin about a body-fixed axis as they swim; directional photosensors on each cell thus receive periodic signals when that axis is not aligned with the light. The flagella of $Chlamydomonas$ and $Volvox$ both exhibit an adaptive response to such signals in a manner that allows for accurate phototaxis, but in the former the two flagella have distinct responses, while the thousands of flagella on the surface of spherical $Volvox$ colonies have essentially identical behaviour. The planar 16-cell species $Gonium~pectorale$ thus presents a conundrum, for its central 4 cells have a $Chlamydomonas$-like beat that provide propulsion normal to the plane, while its 12 peripheral cells generate rotation around the normal through a $Volvox$-like beat. Here, we combine experiment, theory, and computations to reveal how $Gonium$, perhaps the simplest differentiated colonial organism, achieves phototaxis. High-resolution cell tracking, particle image velocimetry of flagellar driven flows, and high-speed imaging of flagella on micropipette-held colonies show how, in the context of a recently introduced model for $Chlamydomonas$ phototaxis, an adaptive response of the peripheral cells alone leads to photo-reorientation of the entire colony. The analysis also highlights the importance of local variations in flagellar beat dynamics within a given colony, which can lead to enhanced reorientation dynamics.


title: Accuracy of the finite-temperature Lanczos method compared to simple typicality-based estimates

abstract: We study trace estimators for equilibrium thermodynamic observables that rely on the idea of typicality and derivatives thereof such as the finite-temperature Lanczos method (FTLM). As numerical examples quantum spin systems are studied. Our initial aim was to identify pathological examples or circumstances, such as strong frustration or unusual densities of states, where these methods could fail. Instead we failed with the attempt. All investigated systems allow such approximations, only at temperatures of the order of the lowest energy gap the convergence is somewhat slower in the number of random vectors over which observables are averaged.


title: Online Power Allocation at Energy Harvesting Transmitter for Multiple Receivers with and without Individual Rate Constraints for OMA and NOMA Transmissions

abstract: In this paper, we propose an online power allocation scheme to maximize the time averaged sum rate for multiple downlink receivers with energy harvesting transmitter. The transmitter employs non-orthogonal multiple access (NOMA) and/or orthogonal multiple access (OMA) to transmit data to multiple users. Additionally, we consider the scenario where each individual user has a quality of service constraint on its required instantaneous rate. The decisions of total transmit power and power allocation for different users in a given time slot are obtained with the help of Lyapunov optimization technique. The proposed schemes do not require any statistical information of the channel states and the harvested energy. The proposed power allocation schemes entail in small complexity based power allocation decisions. Therefore, the proposed schemes can provide solutions in real time and are more suited for online power allocation problems where the system state parameters (e.g. channel state, harvested energy etc) change quickly. The performances of the proposed schemes are demonstrated with the help of simulation results.


title: Sufficient conditions for the uniqueness of solution of the weighted norm minimization problem

abstract: Prior support constrained compressed sensing, achieved via the weighted norm minimization, has of late become popular due to its potential for applications. For the weighted norm minimization problem, $$ min \|x\|_{p,w} \text{ subject to } y=Ax, \; p=0,1, \text{ and } w \in [0,1], $$ uniqueness results are known when $w=0,1$. Here, $\|x\|_{p,w}=w\|x_T\|_p+\|x_{T^c}\|_p, \; p=0,1$ with $T$ representing the partial support information. The work reported in this paper presents the conditions that ensure the uniqueness of the solution of this problem for general $w \in [0,1]$.


title: Two properties of the partial theta function

abstract: For the partial theta function $\theta (q,z):=\sum_{j=0}^{\infty}q^{j(j+1)/2}z^j$, $q$, $z\in \mathbb{C}$, $|q|<1$, we prove that its zero set is connected. This set is smooth at every point $(q^{\flat},z^{\flat})$ such that $z^{\flat}$ is a simple or double zero of $\theta (q^{\flat},.)$. For $q\in (0,1)$, $q\rightarrow 1^-$ and $a\geq e^{\pi}$, there are $o(1/(1-q))$ and $(\ln (a/e^{\pi}))/(1-q)+o(1/(1-q))$ real zeros of $\theta (q,.)$ in the intervals $[-e^{\pi},0)$ and $[-a,-e^{-\pi}]$ respectively (and none in $[0,\infty)$). For $q\in (-1,0)$, $q\rightarrow -1^+$ and $a\geq e^{\pi /2}$, there are $o(1/(1+q))$ real zeros of $\theta (q,.)$ in the interval $[-e^{\pi /2},e^{\pi /2}]$ and $(\ln (a/e^{\pi /2})/2)/(1+q)+o(1/(1+q))$ in each of the intervals $[-a,-e^{\pi /2}]$ and $[e^{\pi /2},a]$.


title: Neural Approximate Dynamic Programming for On-Demand Ride-Pooling

abstract: On-demand ride-pooling (e.g., UberPool) has recently become popular because of its ability to lower costs for passengers while simultaneously increasing revenue for drivers and aggregation companies. Unlike in Taxi on Demand (ToD) services -- where a vehicle is only assigned one passenger at a time -- in on-demand ride-pooling, each (possibly partially filled) vehicle can be assigned a group of passenger requests with multiple different origin and destination pairs. To ensure near real-time response, existing solutions to the real-time ride-pooling problem are myopic in that they optimise the objective (e.g., maximise the number of passengers served) for the current time step without considering its effect on future assignments. This is because even a myopic assignment in ride-pooling involves considering what combinations of passenger requests that can be assigned to vehicles, which adds a layer of combinatorial complexity to the ToD problem. A popular approach that addresses the limitations of myopic assignments in ToD problems is Approximate Dynamic Programming (ADP). Existing ADP methods for ToD can only handle Linear Program (LP) based assignments, however, while the assignment problem in ride-pooling requires an Integer Linear Program (ILP) with bad LP relaxations. To this end, our key technical contribution is in providing a general ADP method that can learn from ILP-based assignments. Additionally, we handle the extra combinatorial complexity from combinations of passenger requests by using a Neural Network based approximate value function and show a connection to Deep Reinforcement Learning that allows us to learn this value-function with increased stability and sample-efficiency. We show that our approach outperforms past approaches on a real-world dataset by up to 16%, a significant improvement in city-scale transportation problems.


title: High-Precision Ramsey-Comb Spectroscopy Based on High-Harmonic Generation

abstract: High-harmonic generation (HHG) is widely used for up-conversion of amplified (near) infrared ultrafast laser pulses to short wavelengths. We demonstrate that Ramsey-comb spectroscopy, based on two such pulses derived from a frequency-comb laser, enables us to observe phase effects in this process with a few mrad precision. As a result, we could perform the most accurate spectroscopic measurement based on light from HHG, illustrated with a determination of the $5p^6 \rightarrow 5p^5 8s~^2[3/2]_1$ transition at 110 nm in $^{132}$Xe. We improve its relative accuracy $10^4$ times to a value of $2.3\times10^{-10}$. This is 3.6 times better than shown before involving HHG, and promising to enable $1S-2S$ spectroscopy of He$^+$ for fundamental tests.


title: On the physics of transient ejection from bubble bursting

abstract: The transient ejection due to a bubble bursting at the interface of a liquid with a gas environment is here described using a dynamical scaling analysis along the process. We show here that the ejection of a liquid microjet requires the backfire of a vortex ring inside the liquid to preserve physical symmetry, which involves a non-trivial scaling. We present the first single uniformly valid expression for the size and speed of ejected droplets for the whole range of the Ohnesorge and Bond numbers where droplet ejection occurs. The evolution of the flow variables, the apparent singularity for a critical Ohnesorge number, and the dispersion of data around this point are explained. Our model generalizes or displaces other recently proposed ones, impacting for instance the statistical description of sea spray.


title: On the Unboundedness of the Transit Time of Mean-Median Orbits

abstract: The transit time of mean-median orbits ---the time it takes for an orbit to become stationary--- has been conjectured to be finite but unbounded over the rationals. Through a study of some near-regular structures in these orbits, we construct two non-trivial sequences of initial sets of increasing size for which the transit time grows linearly and quadratically, respectively, with the size of the set.


title: Ghost-free higher-order theories of gravity with torsion

abstract: In this manuscript we will present the theoretical framework of the recently proposed infinite derivative theory of gravity with a non-symmetric connection. We will explicitly derive the field equations at the linear level and obtain new solutions with a non-trivial form of the torsion tensor in the presence of a fermionic source, and show that these solutions are both ghost and singularity-free.


title: Crystallographic Refinement using Non-Spherical Form Factors in olex2.refine

abstract: We have implemented a procedure that allows the use of non-spherical atomic form factors in a standard crystallographic X-Ray refinement. We outline the procedure for their use, alongside a mathematical justification of their viability.


title: Properties of spin-polarized impurities -- ferrons, in the unitary Fermi gas

abstract: A new excitation mode has been predicted to exist in the unitary Fermi gas. It has a form of a spin-polarized impurity, which was dubbed as ferron. It is characterized by a closed nodal surface of the pairing field surrounding a partially spin-polarized superfluid region, where the phase differs by $\pi$. In this paper, we discuss the effect of temperature on the generation of the ferron and the adiabaticity of the spin-polarizing potential together with ferron's ground state properties.


title: Incentive-Compatible Classification

abstract: We investigate the possibility of an incentive-compatible (IC, a.k.a. strategy-proof) mechanism for the classification of agents in a network according to their reviews of each other. In the $ \alpha $-classification problem we are interested in selecting the top $ \alpha $ fraction of users. We give upper bounds (impossibilities) and lower bounds (mechanisms) on the worst-case coincidence between the classification of an IC mechanism and the ideal $ \alpha $-classification. We prove bounds which depend on $ \alpha $ and on the maximal number of reviews given by a single agent, $ \Delta $. Our results show that it is harder to find a good mechanism when $ \alpha $ is smaller and $ \Delta $ is larger. In particular, if $ \Delta $ is unbounded, then the best mechanism is trivial (that is, it does not take into account the reviews). On the other hand, when $ \Delta $ is sublinear in the number of agents, we give a simple, natural mechanism, with a coincidence ratio of $ \alpha $.


title: Self-supervised Learning of 3D Objects from Natural Images

abstract: We present a method to learn single-view reconstruction of the 3D shape, pose, and texture of objects from categorized natural images in a self-supervised manner. Since this is a severely ill-posed problem, carefully designing a training method and introducing constraints are essential. To avoid the difficulty of training all elements at the same time, we propose training category-specific base shapes with fixed pose distribution and simple textures first, and subsequently training poses and textures using the obtained shapes. Another difficulty is that shapes and backgrounds sometimes become excessively complicated to mistakenly reconstruct textures on object surfaces. To suppress it, we propose using strong regularization and constraints on object surfaces and background images. With these two techniques, we demonstrate that we can use natural image collections such as CIFAR-10 and PASCAL objects for training, which indicates the possibility to realize 3D object reconstruction on diverse object categories beyond synthetic datasets.


title: Discriminants of Toric Varieties

abstract: We study the subvariety of singular sections, the discriminant, of a base point free linear system $|L|$ on a smooth toric variety $X$. On one hand we describe pairs $(X,L)$ for which the discriminant is of low dimension. Precisely, we collect some bounds on this dimension and classify those pairs whose dimension differs the bound less than or equal to two. On the other hand we study the degree of the discriminant for some relevant families on polarized toric varieties, describing their minimal values and the region of the ample cone where this minimal is attained.


title: Stellar cosmic rays as an important source of ionisation in protoplanetary disks: a disk mass dependent process

abstract: We assess the ionising effect of low energy protostellar cosmic rays in protoplanetary disks around a young solar mass star for a wide range of disk parameters. We assume a source of low energy cosmic rays located close to the young star which travel diffusively through the protoplanetary disk. We use observationally inferred values from nearby star-forming regions for the total disk mass and the radial density profile. We investigate the influence of varying the disk mass within the observed scatter for a solar mass star. We find that for a large range of disk masses and density profiles that protoplanetary disks are "optically thin" to low energy ($\sim$3 GeV) cosmic rays. At $R\sim10$au, for all of the disks that we consider ($M_\mathrm{disk}=6.0\times10^{-4} - 2.4\times 10^{-2}M_\odot$), the ionisation rate due to low energy stellar cosmic rays is larger than that expected from unmodulated galactic cosmic rays. This is in contrast to our previous results which assumed a much denser disk which may be appropriate for a more embedded source. At $R\sim70$au, the ionisation rate due to stellar cosmic rays dominates in $\sim$50% of the disks. These are the less massive disks with less steep density profiles. At this radius there is at least an order of magnitude difference in the ionisation rate between the least and most massive disk that we consider. Our results indicate, for a wide range of disk masses, that low energy stellar cosmic rays provide an important source of ionisation at the disk midplane at large radii ($\sim$70au).


title: Controllable high-speed polariton waves in a PT-symmetric lattice

abstract: Parity-time (PT) symmetry gives rise to unusual phenomena in many physical systems, presently attracting a lot of attention. One essential and non-trivial task is the fabrication and design of the PT-symmetric lattices in different systems. Here we introduce a method to realize such a lattice in an exciton-polariton condensate in a planar semiconductor microcavity. We theoretically demonstrate that in the regime, where lattice profile is nearly PT-symmetric, a polariton wave can propagate at very high velocity resulting from the beating of a ground state condensate created in the lowest energy band at very small momentum and a condensate simultaneously created in higher energy states with large momentum. The spontaneous excitation of these two states in the nonlinear regime due to competition between multiple eigenmodes becomes possible since the spectrum of nearly PT-symmetric structure reveals practically identical amplification for Bloch waves from the entire Brillouin zone. There exists a wide velocity range for the resulting polariton wave. This velocity can be controlled by an additional coherent pulse carrying a specific momentum. We also discuss the breakup of the PT-symmetry when the polariton lifetime exceeds a certain threshold value.


title: The dynamics of the stomatognathic system from 4D multimodal data

abstract: The purpose of this chapter is to discuss methods of acquisition, visualization and analysis of the dynamics of a complex biomedical system, illustrated by the human stomatognathic system. The stomatognathic system consists of the teeth and the skull bones with the maxilla and the mandible. Its dynamics can be described by the change of mutual position of the lower/mandibular part versus the upper/maxillary one due to the physiological motion of opening, chewing and swallowing. In order to analyse the dynamics of the stomatognathic system its morphology and motion has to be digitized, which is done using static and dynamic multimodal imagery like CBCT and 3D scans data and temporal measurements of motion. The integration of multimodal data incorporates different direct and indirect methods of registration - aligning of all the data in the same coordinate system. The integrated sets of data form 4D multimodal data which can be further visualized, modeled, and subjected to multivariate time series analysis. Example results are shown. Although there is no direct method of imaging the TMJ motion, the integration of multimodal data forms an adequate tool. As medical imaging becomes ever more diverse and ever more accessible, organizing the imagery and measurements into unified, comprehensive records can deliver to the doctor the most information in the most accessible form, creating a new quality in data simulation, analysis and interpretation.


title: RefineDetLite: A Lightweight One-stage Object Detection Framework for CPU-only Devices

abstract: Previous state-of-the-art real-time object detectors have been reported on GPUs which are extremely expensive for processing massive data and in resource-restricted scenarios. Therefore, high efficiency object detectors on CPU-only devices are urgently-needed in industry. The floating-point operations (FLOPs) of networks are not strictly proportional to the running speed on CPU devices, which inspires the design of an exactly "fast" and "accurate" object detector. After investigating the concern gaps between classification networks and detection backbones, and following the design principles of efficient networks, we propose a lightweight residual-like backbone with large receptive fields and wide dimensions for low-level features, which are crucial for detection tasks. Correspondingly, we also design a light-head detection part to match the backbone capability. Furthermore, by analyzing the drawbacks of current one-stage detector training strategies, we also propose three orthogonal training strategies---IOU-guided loss, classes-aware weighting method and balanced multi-task training approach. Without bells and whistles, our proposed RefineDetLite achieves 26.8 mAP on the MSCOCO benchmark at a speed of 130 ms/pic on a single-thread CPU. The detection accuracy can be further increased to 29.6 mAP by integrating all the proposed training strategies, without apparent speed drop.


title: Learning Generalized Quasi-Geostrophic Models Using Deep Neural Numerical Models

abstract: We introduce a new strategy designed to help physicists discover hidden laws governing dynamical systems. We propose to use machine learning automatic differentiation libraries to develop hybrid numerical models that combine components based on prior physical knowledge with components based on neural networks. In these architectures, named Deep Neural Numerical Models (DNNMs), the neural network components are used as building-blocks then deployed for learning hidden variables of underlying physical laws governing dynamical systems. In this paper, we illustrate an application of DNNMs to upper ocean dynamics, more precisely the dynamics of a sea surface tracer, the Sea Surface Height (SSH). We develop an advection-based fully differentiable numerical scheme, where parts of the computations can be replaced with learnable ConvNets, and make connections with the single-layer Quasi-Geostrophic (QG) model, a baseline theory in physical oceanography developed decades ago.


title: Are galactic star formation and quenching governed by local, global or environmental phenomena?

abstract: We present an analysis of star formation and quenching in the SDSS-IV MaNGA-DR15, utilising over 5 million spaxels from $\sim$3500 local galaxies. We estimate star formation rate surface densities ($\Sigma_{\rm SFR}$) via dust corrected $H\alpha$ flux where possible, and via an empirical relationship between specific star formation rate (sSFR) and the strength of the 4000 Angstrom break (D4000) in all other cases. We train a multi-layered artificial neural network (ANN) and a random forest (RF) to classify spaxels into `star forming' and `quenched' categories given various individual (and groups of) parameters. We find that global parameters (pertaining to the galaxy as a whole) perform collectively the best at predicting when spaxels will be quenched, and are substantially superior to local/ spatially resolved and environmental parameters. Central velocity dispersion is the best single parameter for predicting quenching in central galaxies. We interpret this observational fact as a probable consequence of the total integrated energy from AGN feedback being traced by the mass of the black hole, which is well known to correlate strongly with central velocity dispersion. Additionally, we train both an ANN and RF to estimate $\Sigma_{\rm SFR}$ values directly via regression in star forming regions. Local/ spatially resolved parameters are collectively the most predictive at estimating $\Sigma_{\rm SFR}$ in these analyses, with stellar mass surface density at the spaxel location ($\Sigma_*$) being by far the best single parameter. Thus, quenching is fundamentally a global process but star formation is governed locally by processes within each spaxel.


title: Non-separating immersions of spheres and Bing houses

abstract: We construct Bing houses in all dimensions $n \geq 3$, obtaining non-separating PL immersions of $\mathbb{S}^n \rightarrow\mathbb{R}^{n+1}$.


title: WASP-127b transmission spectrum]{Abundance measurements of H$_{2}$O and carbon-bearing species in the atmosphere of WASP-127b confirm its super-solar metallicity

abstract: The chemical abundances of exoplanet atmospheres may provide valuable information about the bulk compositions, formation pathways, and evolutionary histories of planets. Exoplanets with large, relatively cloud-free atmospheres, and which orbit bright stars provide the best opportunities for accurate abundance measurements. For this reason, we measured the transmission spectrum of the bright (V~10.2), large (1.37 R$_{J}$), sub-Saturn mass (0.19 M$_{J}$) exoplanet WASP-127b across the near-UV to near-infrared wavelength range (0.3 - 5 $\mu$m), using the Hubble and Spitzer Space Telescopes. Our results show a feature-rich transmission spectrum, with absorption from Na, H$_{2}$O, and CO$_{2}$, and wavelength-dependent scattering from small-particle condensates. We ran two types of atmospheric retrieval models: one enforcing chemical equilibrium, and the other which fit the abundances freely. Our retrieved abundances at chemical equilibrium for Na, O and C are all super-solar, with abundances relative to solar values of 9$^{+15}_{-6}$, 16$^{+7}_{-5}$, and 26$^{+12}_{-9}$ respectively. Despite giving conflicting C/O ratios, both retrievals gave super-solar CO$_{2}$ volume mixing ratios, which adds to the likelihood that WASP-127b's bulk metallicity is super-solar, since CO$_{2}$ abundance is highly sensitive to atmospheric metallicity. We detect water at a significance of 13.7 $\sigma$. Our detection of Na is in agreement with previous ground-based detections, though we find a much lower abundance, and we also do not find evidence for Li or K despite increased sensitivity. In the future, spectroscopy with JWST will be able to constrain WASP-127b's C/O ratio, and may reveal the formation history of this metal-enriched, highly observable exoplanet.


title: Efficient Derivative Computation for Cumulative B-Splines on Lie Groups

abstract: Continuous-time trajectory representation has recently gained popularity for tasks where the fusion of high-frame-rate sensors and multiple unsynchronized devices is required. Lie group cumulative B-splines are a popular way of representing continuous trajectories without singularities. They have been used in near real-time SLAM and odometry systems with IMU, LiDAR, regular, RGB-D and event cameras, as well as for offline calibration. These applications require efficient computation of time derivatives (velocity, acceleration), but all prior works rely on a computationally suboptimal formulation. In this work we present an alternative derivation of time derivatives based on recurrence relations that needs $\mathcal{O}(k)$ instead of $\mathcal{O}(k^2)$ matrix operations (for a spline of order $k$) and results in simple and elegant expressions. While producing the same result, the proposed approach significantly speeds up the trajectory optimization and allows for computing simple analytic derivatives with respect to spline knots. The results presented in this paper pave the way for incorporating continuous-time trajectory representations into more applications where real-time performance is required.


title: Improved calculations of electron-ion Bremsstrahlung Gaunt factors for astrophysical applications

abstract: Electron-ion Bremsstrahlung (free-free) emission and absorption occur in many astrophysical plasmas for a wide range of physical conditions. This classical problem has been studied multiple times, and many analytical and numerical approximations exist. However, accurate calculations of the transition from the non-relativistic to the relativistic regime remain sparse. Here we provide a comprehensive study of the free-free Gaunt factors for ions with low charge (Z<=10). We compute the Gaunt factor using the expressions for the differential cross section given by Elwert & Haug (EH) and compare to various limiting cases. We develop a new software package, BRpack, for direct numerical applications. This package uses a combination of pre-computed tables and analytical approximations to efficiently cover a wide range of electron and photon energies, providing a representation of the EH Gaunt factor to better than 0.03% precision for Z<=2. Our results are compared to those of previous studies highlighting the improvements achieved here. BRpack should be useful in computations of spectral distortions of the cosmic microwave background, radiative transfer problems during reionization or inside galaxy clusters, and the modeling of galactic free-free foregrounds. The developed computational methods can furthermore be extended to higher energies and ion charge.


title: D3S -- A Discriminative Single Shot Segmentation Tracker

abstract: Template-based discriminative trackers are currently the dominant tracking paradigm due to their robustness, but are restricted to bounding box tracking and a limited range of transformation models, which reduces their localization accuracy. We propose a discriminative single-shot segmentation tracker - D3S, which narrows the gap between visual object tracking and video object segmentation. A single-shot network applies two target models with complementary geometric properties, one invariant to a broad range of transformations, including non-rigid deformations, the other assuming a rigid object to simultaneously achieve high robustness and online target segmentation. Without per-dataset finetuning and trained only for segmentation as the primary output, D3S outperforms all trackers on VOT2016, VOT2018 and GOT-10k benchmarks and performs close to the state-of-the-art trackers on the TrackingNet. D3S outperforms the leading segmentation tracker SiamMask on video object segmentation benchmark and performs on par with top video object segmentation algorithms, while running an order of magnitude faster, close to real-time.


title: Convexity of sets in metric Abelian groups

abstract: In the present paper, we introduce a new concept of convexity which is generated by a family of endomorphisms of an Abelian group. In Abelian groups equipped with a translation invariant metric, we define the boundedness, the norm, the measure of injectivity and the spectral radius of endomorphisms. Beyond the investigation of their properties, our first main goal is an extension of the celebrated R\aa dstr\"om Cancellation Theorem. Another result generalizes the Neumann Invertibility Theorem. Next we define the convexity of sets with respect to a family of endomorphisms and we describe the set-theoretical and algebraic structure of the class of such sets. Given a subset, we also consider the family of endomorphisms that make this subset convex and we establish the basic properties of this family. Our first main result establishes conditions which imply midpoint convexity. The next main result, using our extension of the R\aa dstr\"om Cancellation Theorem, presents further structural properties of the family of endomorphisms that make a subset convex.