title: Bimodality and Scaling in Recurrence Networks from ECG data

abstract: Human heart is a complex system that can be studied using its electrical activity recorded as Electrocardiogram (ECG). Any variations or anomalies in the ECG can indicate abnormalities in the cardiac dynamics. In this work, we present a detailed analysis of ECG data using the framework of recurrence network (RN). We show how the measures of the recurrence networks constructed from ECG data sets, can quantify the complexity and variability underlying the data. Our study shows for the first time that the RN from ECG show the unique feature of bimodality in their degree distribution. We relate this to the complex dynamics underlying the cardiac system, with structures at two spatial scales. We also show that that there is relevant information to be extracted from the scaling of measures with recurrence threshold. Thus we observe two scaling regions in the link density for ECG data which is compared with scaling in RNs from standard chaotic and hyperchaotic systems and noise. While both bimodality and scaling are common features of RNs from all types of ECG data, we find disease specific variations in them can be quantified.


title: BCD-Net for Low-dose CT Reconstruction: Acceleration, Convergence, and Generalization

abstract: Obtaining accurate and reliable images from low-dose computed tomography (CT) is challenging. Regression convolutional neural network (CNN) models that are learned from training data are increasingly gaining attention in low-dose CT reconstruction. This paper modifies the architecture of an iterative regression CNN, BCD-Net, for fast, stable, and accurate low-dose CT reconstruction, and presents the convergence property of the modified BCD-Net. Numerical results with phantom data show that applying faster numerical solvers to model-based image reconstruction (MBIR) modules of BCD-Net leads to faster and more accurate BCD-Net; BCD-Net significantly improves the reconstruction accuracy, compared to the state-of-the-art MBIR method using learned transforms; BCD-Net achieves better image quality, compared to a state-of-the-art iterative NN architecture, ADMM-Net. Numerical results with clinical data show that BCD-Net generalizes significantly better than a state-of-the-art deep (non-iterative) regression NN, FBPConvNet, that lacks MBIR modules.


title: Drug-Drug Interaction Prediction Based on Knowledge Graph Embeddings and Convolutional-LSTM Network

abstract: Interference between pharmacological substances can cause serious medical injuries. Correctly predicting so-called drug-drug interactions (DDI) does not only reduce these cases but can also result in a reduction of drug development cost. Presently, most drug-related knowledge is the result of clinical evaluations and post-marketing surveillance; resulting in a limited amount of information. Existing data-driven prediction approaches for DDIs typically rely on a single source of information, while using information from multiple sources would help improve predictions. Machine learning (ML) techniques are used, but the techniques are often unable to deal with skewness in the data. Hence, we propose a new ML approach for predicting DDIs based on multiple data sources. For this task, we use 12,000 drug features from DrugBank, PharmGKB, and KEGG drugs, which are integrated using Knowledge Graphs (KGs). To train our prediction model, we first embed the nodes in the graph using various embedding approaches. We found that the best performing combination was a ComplEx embedding method creating using PyTorch-BigGraph (PBG) with a Convolutional-LSTM network and classic machine learning-based prediction models. The model averaging ensemble method of three best classifiers yields up to 0.94, 0.92, 0.80 for AUPR, F1-score, and MCC, respectively during 5-fold cross-validation tests.


title: Dueling Posterior Sampling for Preference-Based Reinforcement Learning

abstract: In preference-based reinforcement learning (RL), an agent interacts with the environment while receiving preferences instead of absolute feedback. While there is increasing research activity in preference-based RL, the design of formal frameworks that admit tractable theoretical analysis remains an open challenge. Building upon ideas from preference-based bandit learning and posterior sampling in RL, we present DUELING POSTERIOR SAMPLING (DPS), which employs preference-based posterior sampling to learn both the system dynamics and the underlying utility function that governs the preference feedback. As preference feedback is provided on trajectories rather than individual state-action pairs, we develop a Bayesian approach for the credit assignment problem, translating preferences to a posterior distribution over state-action reward models. We prove an asymptotic Bayesian no-regret rate for DPS with a Bayesian linear regression credit assignment model. This is the first regret guarantee for preference-based RL to our knowledge. We also discuss possible avenues for extending the proof methodology to other credit assignment models. Finally, we evaluate the approach empirically, showing competitive performance against existing baselines.


title: Cohomology of group theoretic Dehn fillings II

abstract: We study the cohomology of group theoretic Dehn fillings. Applying the Cohen-Lyndon property for sufficiently deep Dehn fillings of hyperbolically embedded subgroups $H\hookrightarrow_h G$, obtained by the second named author, we derive a spectral sequence that computes the cohomology of the corresponding Dehn filling quotients $\overline{G}$. As an application, we establish an isomorphism between the relative cohomology of the group pair $(G, H)$ and its sufficiently deep Dehn filling quotient pair $(\overline{G}, \overline{H})$. This allows us to generalise the results of Fujiwara and Manning on simplicial volume of Dehn fillings of hyperbolic manifolds to Dehn fillings of Poincar\'e duality pairs. We also strengthen the results of Olshanskii, Dahmani-Guirardel-Osin and Hull on SQ-universality and common quotients of acylindrically hyperbolic groups by adding cohomological finiteness conditions. We apply these results to obtain hyperbolic and acylindrically hyperbolic quotients with special properties.


title: Finite-temperature dynamics of a Tonks-Girardeau gas in a frequency-modulated harmonic trap

abstract: We study the out-of-equilibrium dynamics of a finite-temperature harmonically trapped Tonks-Girardeau gas induced by periodic modulation of the trap frequency. We give explicit exact solutions for the real-space density and momentum distributions of this interacting many-body system and characterize the stability diagram of the dynamics by mapping the many-body solution to the solution and stability diagram of Mathieu's differential equation. The mapping allows one to deduce the exact structure of parametric resonances in the parameter space characterized by the driving amplitude and frequency of the modulation. Furthermore, we analyze the same problem within the finite-temperature hydrodynamic approach and show that the respective solutions to the hydrodynamic equations can be mapped to the same Mathieu equation. Accordingly, the stability diagram and the structure of resonances following from the hydrodynamic approach is exactly the same as those obtained from the exact many-body solution.


title: Numerical approximation of the Schr\"odinger equation with concentrated potential

abstract: We present a family of algorithms for the numerical approximation of the Schr\"odinger equation with potential concentrated at a finite set of points. Our methods belong to the so-called fast and oblivious convolution quadrature algorithms. These algorithms are special implementations of Lubich's Convolution Quadrature which allow, for certain applications in particular parabolic problems, to significantly reduce the computational cost and memory requirements. Recently it has been noticed that their use can be extended to some hyperbolic problems. Here we propose a new family of such efficient algorithms tailored to the features of the Green's function for Schr\"odinger equations. In this way, we are able to keep the computational cost and the storage requirements significantly below existing approaches. These features allow us to perform reliable numerical simulations for longer times even in cases where the solution becomes highly oscillatory or seems to develop finite time blow-up. We illustrate our new algorithm with several numerical experiments.


title: To Learn or Not to Learn: Visual Localization from Essential Matrices

abstract: Visual localization is the problem of estimating a camera within a scene and a key component in computer vision applications such as self-driving cars and Mixed Reality. State-of-the-art approaches for accurate visual localization use scene-specific representations, resulting in the overhead of constructing these models when applying the techniques to new scenes. Recently, deep learning-based approaches based on relative pose estimation have been proposed, carrying the promise of easily adapting to new scenes. However, it has been shown such approaches are currently significantly less accurate than state-of-the-art approaches. In this paper, we are interested in analyzing this behavior. To this end, we propose a novel framework for visual localization from relative poses. Using a classical feature-based approach within this framework, we show state-of-the-art performance. Replacing the classical approach with learned alternatives at various levels, we then identify the reasons for why deep learned approaches do not perform well. Based on our analysis, we make recommendations for future work.


title: Semi-supervised Thai Sentence Segmentation Using Local and Distant Word Representations

abstract: A sentence is typically treated as the minimal syntactic unit used for extracting valuable information from a longer piece of text. However, in written Thai, there are no explicit sentence markers. We proposed a deep learning model for the task of sentence segmentation that includes three main contributions. First, we integrate n-gram embedding as a local representation to capture word groups near sentence boundaries. Second, to focus on the keywords of dependent clauses, we combine the model with a distant representation obtained from self-attention modules. Finally, due to the scarcity of labeled data, for which annotation is difficult and time-consuming, we also investigate and adapt Cross-View Training (CVT) as a semi-supervised learning technique, allowing us to utilize unlabeled data to improve the model representations. In the Thai sentence segmentation experiments, our model reduced the relative error by 7.4% and 10.5% compared with the baseline models on the Orchid and UGWC datasets, respectively. We also applied our model to the task of pronunciation recovery on the IWSLT English dataset. Our model outperformed the prior sequence tagging models, achieving a relative error reduction of 2.5%. Ablation studies revealed that utilizing n-gram presentations was the main contributing factor for Thai, while the semi-supervised training helped the most for English.


title: Delay engineered solitary states in complex networks

abstract: We present a technique to engineer solitary states by means of delayed links in a network of neural oscillators and in coupled chaotic maps. Solitary states are intriguing partial synchronization patterns, where a synchronized cluster coexists with solitary nodes displaced from this cluster and distributed randomly over the network. We induce solitary states in the originally synchronized network of identical nodes by introducing delays in the links for a certain number of selected network elements. It is shown that the extent of displacement and the position of solitary elements can be completely controlled by the choice (values) and positions (locations) of the incorporated delays, reshaping the delay engineered solitary states in the network.


title: VLBI imaging of black holes via second moment regularization

abstract: The imaging fidelity of the Event Horizon Telescope (EHT) is currently determined by its sparse baseline coverage. In particular, EHT coverage is dominated by long baselines, and is highly sensitive to atmospheric conditions and loss of sites between experiments. The limited short/mid-range baselines especially affect the imaging process, hindering the recovery of more extended features in the image. We present an algorithmic contingency for the absence of well-constrained short baselines in the imaging of compact sources, such as the supermassive black holes observed with the EHT. This technique enforces a specific second moment on the reconstructed image in the form of a size constraint, which corresponds to the curvature of the measured visibility function at zero baseline. The method enables the recovery of information lost in gaps of the baseline coverage on short baselines and enables corrections of any systematic amplitude offsets for the stations giving short-baseline measurements present in the observation. The regularization can use historical source size measurements to constrain the second moment of the reconstructed image to match the observed size. We additionally show that a characteristic size can be derived from available short-baseline measurements, extrapolated from other wavelengths, or estimated without complementary size constraints with parameter searches. We demonstrate the capabilities of this method for both static and movie reconstructions of variable sources.


title: A Restricted Black-box Adversarial Framework Towards Attacking Graph Embedding Models

abstract: With the great success of graph embedding model on both academic and industry area, the robustness of graph embedding against adversarial attack inevitably becomes a central problem in graph learning domain. Regardless of the fruitful progress, most of the current works perform the attack in a white-box fashion: they need to access the model predictions and labels to construct their adversarial loss. However, the inaccessibility of model predictions in real systems makes the white-box attack impractical to real graph learning system. This paper promotes current frameworks in a more general and flexible sense -- we demand to attack various kinds of graph embedding model with black-box driven. To this end, we begin by investigating the theoretical connections between graph signal processing and graph embedding models in a principled way and formulate the graph embedding model as a general graph signal process with corresponding graph filter. As such, a generalized adversarial attacker: GF-Attack is constructed by the graph filter and feature matrix. Instead of accessing any knowledge of the target classifiers used in graph embedding, GF-Attack performs the attack only on the graph filter in a black-box attack fashion. To validate the generalization of GF-Attack, we construct the attacker on four popular graph embedding models. Extensive experimental results validate the effectiveness of our attacker on several benchmark datasets. Particularly by using our attack, even small graph perturbations like one-edge flip is able to consistently make a strong attack in performance to different graph embedding models.


title: Minimum-Latency FEC Design with Delayed Feedback: Mathematical Modeling and Efficient Algorithms

abstract: In this paper, we consider the packet-level forward error correction (FEC) code design, without feedback or with delayed feedback, for achieving the minimum end-to-end latency, i.e., the latency between the time when packet is generated at the source and its \emph{in-order delivery} to the application layer of the destination. We first show that the minimum-latency FEC design problem can be modeled as a partially observable Markov decision process (POMDP), and hence the optimal code construction can be obtained by solving the corresponding POMDP. However, solving the POMDP optimally is in general difficult unless the size is very small. To this end, we propose an efficient heuristic algorithm, namely the majority vote policy, for obtaining a high quality approximate solution. We also derive the tight lower and upper bounds of the optimal state values of this POMDP, based on which a more sophisticated D-step search algorithm is implemented for obtaining near-optimal solutions. The simulation results show that the proposed code designs via solving the POMDP, either with the majority vote policy or the D-step search algorithm, strictly outperform the existing schemes, in both cases, without or with only delayed feedback.


title: Tuning the nonlinear dispersive coupling of nanomechanical string resonators

abstract: We investigate nonlinear dispersive mode coupling between the flexural in- and out-of-plane modes of two doubly clamped, nanomechanical silicon nitride string resonators. As the amplitude of one mode transitions from the linear response regime into the nonlinear regime, we find a frequency shift of two other modes. The resonators are strongly elastically coupled via a shared clamping point and can be tuned in and out of resonance dielectrically, giving rise to multimode avoided crossings. When the modes start hybridizing, their polarization changes. This affects the nonlinear dispersive coupling in a non-trivial way. We propose a theoretical model to describe the dependence of the dispersive coupling on the mode hybridization.


title: Building Deep, Equivariant Capsule Networks

abstract: Capsule networks are constrained by the parameter-expensive nature of their layers, and the general lack of provable equivariance guarantees. We present a variation of capsule networks that aims to remedy this. We identify that learning all pair-wise part-whole relationships between capsules of successive layers is inefficient. Further, we also realise that the choice of prediction networks and the routing mechanism are both key to equivariance. Based on these, we propose an alternative framework for capsule networks that learns to projectively encode the manifold of pose-variations, termed the space-of-variation (SOV), for every capsule-type of each layer. This is done using a trainable, equivariant function defined over a grid of group-transformations. Thus, the prediction-phase of routing involves projection into the SOV of a deeper capsule using the corresponding function. As a specific instantiation of this idea, and also in order to reap the benefits of increased parameter-sharing, we use type-homogeneous group-equivariant convolutions of shallower capsules in this phase. We also introduce an equivariant routing mechanism based on degree-centrality. We show that this particular instance of our general model is equivariant, and hence preserves the compositional representation of an input under transformations. We conduct several experiments on standard object-classification datasets that showcase the increased transformation-robustness, as well as general performance, of our model to several capsule baselines.


title: Adversarial View-Consistent Learning for Monocular Depth Estimation

abstract: This paper addresses the problem of Monocular Depth Estimation (MDE). Existing approaches on MDE usually model it as a pixel-level regression problem, ignoring the underlying geometry property. We empirically find this may result in sub-optimal solution: while the predicted depth map presents small loss value in one specific view, it may exhibit large loss if viewed in different directions. In this paper, inspired by multi-view stereo (MVS), we propose an Adversarial View-Consistent Learning (AVCL) framework to force the estimated depth map to be all reasonable viewed from multiple views. To this end, we first design a differentiable depth map warping operation, which is end-to-end trainable, and then propose a pose generator to generate novel views for a given image in an adversarial manner. Collaborating with the differentiable depth map warping operation, the pose generator encourages the depth estimation network to learn from hard views, hence produce view-consistent depth maps . We evaluate our method on NYU Depth V2 dataset and the experimental results show promising performance gain upon state-of-the-art MDE approaches.


title: Superconducting single-layer T-graphene and novel synthesis routes

abstract: Single-layer superconductors are ideal materials for fabricating superconducting nano devices. However, up to date, very few single-layer elemental superconductors have been predicted and especially no one has been successfully synthesized yet. Here, using crystal structure search techniques and ab initio calculations, we predict that a single-layer planar carbon sheet with 4- and 8-membered rings called T-graphene is a new intrinsic elemental superconductor with superconducting critical temperature (Tc) up to around 20.8 K. More importantly, we propose a synthesis route to obtain such a single-layer T-graphene, that is, a T-graphene potassium intercalation compound (C4K with P4/mmm symmetry) is firstly synthesized at high pressure (>11.5GPa) and then quenched to ambient condition; and finally, the single-layer T-graphene can be either exfoliated using the electrochemical method from the bulk C4K, or peeled off from bulk T-graphite C4, where C4 can be obtained from C4K by evaporating the K atoms. Interestingly, we find that the calculated Tc of C4K is about 30.4K at 0GPa, which sets a new record for layered carbon-based superconductors. The present findings add a new class of carbon based superconductors. In particular, once the single-layer T-graphene is synthesized, it can pave the way for fabricating superconducting devices together with other 2D materials using the layer-by-layer growth techniques.


title: A note on holographic subregion complexity and QCD phase transition

abstract: Using holographic subregion complexity, we study the confinement-deconfinement phase transition of quantum chromodynamics. In the model we consider here, we observe a connection between the potential energy of probe meson and the behavior of its complexity. Moreover, near the critical point, at which the phase transition takes place, our numerical calculations indicate that we need less information to specify a meson in the non-conformal vacuum than in the conformal one, despite the fact that the non-conformal vacuum has larger energy!


title: Behavior Pattern and Compiled Information Based Performance Prediction in MOOCs

abstract: With the development of MOOCs massive open online courses, increasingly more subjects can be studied online. Researchers currently show growing interest in the field of MOOCs, including dropout prediction, cheating detection and achievement prediction. Previous studies on achievement prediction mainly focused on students' video and forum behaviors, and few researchers have considered how well students perform their assignments. In this paper, we choose a C programming course as the experimental subject, which involved 1528 students. This paper mainly focuses on the students' accomplishment behaviors in programming assignments and compiled information from programming assignments. In this paper, feature sequences are extracted from the logs according to submission times, submission order and plagiarism. The experimental results show that the students who did not pass the exam had obvious sequence patterns but that the students who passed the test did not have an obvious sequence pattern. Then, we extract 23 features from the compiled information of students' programming assignments and select the most distinguishing features to predict the students' performances. The experimental results show that we can obtain an accuracy rate of 0.7049 for predicting students' performances.


title: Self-Propelled Droplet Transport on Shaped-Liquid Surfaces

abstract: The transport of small quantities of liquid on a solid surface is inhibited by the resistance to motion caused by the contact between the liquid and the solid. To overcome such resistance, motion can be externally driven through gradients in electric fields, but these all inconveniently involve the input of external energy. Alternatively, gradients in physical shape and wettability - the conical shape of cactus spines to create self-propelled motion. However, such self-propelled motion to date has limited success in overcoming the inherent resistance to motion of the liquid contact with the solid. Here we propose a simple solution in the form of shaped-liquid surface, where solid topographic structures at one length scale provides the base for a smaller length-scale liquid conformal layer. This dual-length scale render possible slippery surfaces with superhydrophobic properties. Combined to an heterogeneous topography, it provides a gradient in liquid-on-liquid wettability with minimal resistance to motion and long range directional self-propelled droplet transport. Moreover, the liquid-liquid contact enables impacting droplets to be captured and transported, even when the substrate is inverted. These design principles are highly beneficial for droplet transport in microfluidics, self-cleaning surfaces, fog harvesting and in heat transfer.


title: A note on the paper "Tang et al. [Bull Iran Math Soc (2019) doi:10.1007/s41980-019-00262-y]"

abstract: Very recently Tang et al. [Bull Iran Math Soc (2019) doi:10.1007/s41980-019-00262-y] have studied some majorization results for two certain subclasses of the starlike functions associated with the sine and cosine functions defined by $\mathcal{S}^*_s$ and $\mathcal{S}^*_c$, respectively. In this note we pointed out that the definition of the class $\mathcal{S}^*_c$ and it's result are incorrect and give correct definition and result.


title: Structure of proton based on the classical string model

abstract: In this paper, we propose several proton structure imagination scenarios based on classical string model. The radius and mass properties of protons in relativistic and non-relativistic cases are discussed, Contrary to asymptotic freedom, we find that the interaction between quarks in protons is inversely proportional to distance.


title: Theme-Aware Aesthetic Distribution Prediction With Full-Resolution Photographs

abstract: Aesthetic quality assessment (AQA) is a challenging task due to complex aesthetic factors. Currently, it is common to conduct AQA using deep neural networks that require fixed-size inputs. Existing methods mainly transform images by resizing, cropping, and padding or employ adaptive pooling to alternately capture the aesthetic features from fixed-size inputs. However, these transformations potentially damage aesthetic features. To address this issue, we propose a simple but effective method to accomplish full-resolution image AQA by combining image padding with region of image (RoM) pooling. Padding turns inputs into the same size. RoM pooling pools image features and discards extra padded features to eliminate the side effects of padding. In addition, the image aspect ratios are encoded and fused with visual features to remedy the shape information loss of RoM pooling. Furthermore, we observe that the same image may receive different aesthetic evaluations under different themes, which we call theme criterion bias. Hence, a theme-aware model that uses theme information to guide model predictions is proposed. Finally, we design an attention-based feature fusion module to effectively utilize both the shape and theme information. Extensive experiments prove the effectiveness of the proposed method over state-of-the-art methods.


title: Asymptotic enumeration of orientations of a graph as a function of the out-degree sequence

abstract: We prove an asymptotic formula for the number of orientations with given out-degree (score) sequence for a graph $G$. The graph $G$ is assumed to have average degrees at least $n^{1/3 + \varepsilon}$ for some $\varepsilon > 0$, and to have strong mixing properties, while the maximum imbalance (out-degree minus in-degree) of the orientation should be not too large. Our enumeration results have applications to the study of subdigraph occurrences in random orientations with given imbalance sequence. As one step of our calculation, we obtain new bounds for the maximum likelihood estimators for the Bradley-Terry model of paired comparisons.


title: A Dynamic Analysis of Energy Storage with Renewable and Diesel Generation using Volterra Equations

abstract: Energy storage systems will play a key role in the power system of the twenty first century considering the large penetrations of variable renewable energy, growth in transport electrification and decentralisation of heating loads. Therefore reliable real time methods to optimise energy storage, demand response and generation are vital for power system operations. This paper presents a concise review of battery energy storage and an example of battery modelling for renewable energy applications and second details an adaptive approach to solve this load levelling problem with storage. A dynamic evolutionary model based on the first kind Volterra integral equation is used in both cases. A direct regularised numerical method is employed to find the least-cost dispatch of the battery in terms of integral equation solution. Validation on real data shows that the proposed evolutionary Volterra model effectively generalises conventional discrete integral model taking into account both state of health and the availability of generation/storage.


title: Fully Automatic Video Colorization with Self-Regularization and Diversity

abstract: We present a fully automatic approach to video colorization with self-regularization and diversity. Our model contains a colorization network for video frame colorization and a refinement network for spatiotemporal color refinement. Without any labeled data, both networks can be trained with self-regularized losses defined in bilateral and temporal space. The bilateral loss enforces color consistency between neighboring pixels in a bilateral space and the temporal loss imposes constraints between corresponding pixels in two nearby frames. While video colorization is a multi-modal problem, our method uses a perceptual loss with diversity to differentiate various modes in the solution space. Perceptual experiments demonstrate that our approach outperforms state-of-the-art approaches on fully automatic video colorization. The results are shown in the supplementary video at https://youtu.be/Y15uv2jnK-4


title: Thick branes in higher-dimensional $f(R)$ gravity

abstract: We study the thick brane model within $f(R)\sim R^n$ modified gravity in $D$-dimensional spacetimes with $D\geq 6$. The system under consideration consists of two branes orthogonal to each other: the four-dimensional Lorentzian brane and $(D-5)$-dimensional Euclidean one. It is numerically shown that, for a given $D$, regular vacuum asymptotically anti-de Sitter solutions exist only in the range $1<n<D/2$. Depending on the values of $n$ and boundary conditions imposed on the Lorentzian brane, the solutions can pass or not pass through a fixed point located on the Lorentzian brane, and also be $Z_2$-symmetric or nonsymmetric. In the large-$D$ limit, we find approximate analytic solutions. It is also shown that a test scalar field is trapped on the Lorentzian brane at any $D$.


title: Low-Rank Pairwise Alignment Bilinear Network For Few-Shot Fine-Grained Image Classification

abstract: Deep neural networks have demonstrated advanced abilities on various visual classification tasks, which heavily rely on the large-scale training samples with annotated ground-truth. However, it is unrealistic always to require such annotation in real-world applications. Recently, Few-Shot learning (FS), as an attempt to address the shortage of training samples, has made significant progress in generic classification tasks. Nonetheless, it is still challenging for current FS models to distinguish the subtle differences between fine-grained categories given limited training data. To filling the classification gap, in this paper, we address the Few-Shot Fine-Grained (FSFG) classification problem, which focuses on tackling the fine-grained classification under the challenging few-shot learning setting. A novel low-rank pairwise bilinear pooling operation is proposed to capture the nuanced differences between the support and query images for learning an effective distance metric. Moreover, a feature alignment layer is designed to match the support image features with query ones before the comparison. We name the proposed model Low-Rank Pairwise Alignment Bilinear Network (LRPABN), which is trained in an end-to-end fashion. Comprehensive experimental results on four widely used fine-grained classification datasets demonstrate that our LRPABN model achieves the superior performances compared to state-of-the-art methods.


title: MoGA: Searching Beyond MobileNetV3

abstract: The evolution of MobileNets has laid a solid foundation for neural network applications on mobile end. With the latest MobileNetV3, neural architecture search again claimed its supremacy in network design. Unfortunately, till today all mobile methods mainly focus on CPU latencies instead of GPU, the latter, however, is much preferred in practice for it has faster speed, lower overhead and less interference. Bearing the target hardware in mind, we propose the first Mobile GPU-Aware (MoGA) neural architecture search in order to be precisely tailored for real-world applications. Further, the ultimate objective to devise a mobile network lies in achieving better performance by maximizing the utilization of bounded resources. Urging higher capability while restraining time consumption is not reconcilable. We alleviate the tension by weighted evolution techniques. Moreover, we encourage increasing the number of parameters for higher representational power. With 200x fewer GPU days than MnasNet, we obtain a series of models that outperform MobileNetV3 under the similar latency constraints, i.e., MoGA-A achieves 75.9% top-1 accuracy on ImageNet, MoGA-B meets 75.5% which costs only 0.5 ms more on mobile GPU. MoGA-C best attests GPU-awareness by reaching 75.3% and being slower on CPU but faster on GPU.The models and test code is made available here https://github.com/xiaomi-automl/MoGA.


title: Generation of shock waves from localized sources: The case of the Burgers equation

abstract: It is shown that the shock wave solutions of the Burgers equation can be generated from localized sources. The evolution equation obeyed by the sources has a novel characteristic: It has a single-soliton solution as well as an infinite family of localized-hump solutions.


title: Atmospheric characterization of terrestrial exoplanets in the mid-infrared: biosignatures, habitability & diversity

abstract: Exoplanet science is one of the most thriving fields of modern astrophysics. A major goal is the atmospheric characterization of dozens of small, terrestrial exoplanets in order to search for signatures in their atmospheres that indicate biological activity, assess their ability to provide conditions for life as we know it, and investigate their expected atmospheric diversity. None of the currently adopted projects or missions, from ground or in space, can address these goals. In this White Paper we argue that a large space-based mission designed to detect and investigate thermal emission spectra of terrestrial exoplanets in the MIR wavelength range provides unique scientific potential to address these goals and surpasses the capabilities of other approaches. While NASA might be focusing on large missions that aim to detect terrestrial planets in reflected light, ESA has the opportunity to take leadership and spearhead the development of a large MIR exoplanet mission within the scope of the "Voyage 2050" long-term plan establishing Europe at the forefront of exoplanet science for decades to come. Given the ambitious science goals of such a mission, additional international partners might be interested in participating and contributing to a roadmap that, in the long run, leads to a successful implementation. A new, dedicated development program funded by ESA to help reduce development and implementation cost and further push some of the required key technologies would be a first important step in this direction. Ultimately, a large MIR exoplanet imaging mission will be needed to help answer one of mankind's most fundamental questions: "How unique is our Earth?"


title: Computing the inverse geodesic length in planar graphs and graphs of bounded treewidth

abstract: The inverse geodesic length of a graph $G$ is the sum of the inverse of the distances between all pairs of distinct vertices of $G$. In some domains it is known as the Harary index or the global efficiency of the graph. We show that, if $G$ is planar and has $n$ vertices, then the inverse geodesic length of $G$ can be computed in roughly $O(n^{9/5})$ time. We also show that, if $G$ has $n$ vertices and treewidth at most $k$, then the inverse geodesic length of $G$ can be computed in $O(n \log^{O(k)}n)$ time. In both cases we use techniques developed for computing the sum of the distances, which does not have "inverse" component, together with batched evaluations of rational functions.


title: Tracing Hercules in Galactic azimuth with Gaia DR2

abstract: The second data release of the Gaia mission has revealed, in stellar velocity and action space, multiple ridges, the exact origin of which is still debated. Recently, we demonstrated that a large Galactic bar with pattern speed 39 km/s/kpc does create most of the observed ridges. Among those ridges, the Hercules moving group would then be associated to orbits trapped at the co-rotation resonance of the bar. Here we show that a distinctive prediction of such a model is that the angular momentum of Hercules at the Sun's radius must significantly decrease with increasing Galactocentric azimuth, i.e. when getting closer to the major axis of the bar. We show that such a dependence of the angular momentum of trapped orbits on the azimuth would on the other hand not happen close to the outer Lindblad resonance of a faster bar, unless the orbital distribution is still far from phase-mixed, namely for a bar perturbation younger than ~ 2 Gyr. Using Gaia DR2 and Bayesian distances from the StarHorse code, and tracing the average Galactocentric radial velocity as a function of angular momentum and azimuth, we show that the Hercules angular momentum changes significantly with azimuth as expected for the co-rotation resonance of a dynamically old large bar.


title: Construction of projective special K\"ahler manifolds

abstract: In this paper we present an intrinsic characterisation of projective special K\"ahler manifolds in terms of a symmetric tensor satisfying certain differential and algebraic conditions. We show that this tensor vanishes precisely when the structure is locally isomorphic to a standard projective special K\"ahler structure on $\mathrm{SU}(n,1)/\mathrm{S}(\mathrm{U}(n)\mathrm{U}(1))$. We use this characterisation to classify 4-dimensional projective special K\"ahler Lie groups.


title: A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

abstract: In this paper we consider a generalized version of Carleman's inequality. An equivalent version of it states that $\|f\|_{A_\alpha^{2\alpha}}\leq\|f\|_{H^2}$, where $f$ is a holomorphic function and $\alpha>1$. If the norms $\|f\|_{A_\alpha^{2\alpha}}$ are decreasing in $\alpha$, then the inequality holds for $f$. For a dense set of functions, we calculate the derivative of the norms $\|f\|_{A_\alpha^{2\alpha}}$ in $\alpha$ and give sufficient conditions for this derivative to be non-positive. As an application, we prove the inequality for linear combinations of two reproducing kernels. Some numerical evidences are also provided.


title: Spatio-Temporal RBF Neural Networks

abstract: Herein, we propose a spatio-temporal extension of RBFNN for nonlinear system identification problem. The proposed algorithm employs the concept of time-space orthogonality and separately models the dynamics and nonlinear complexities of the system. The proposed RBF architecture is explored for the estimation of a highly nonlinear system and results are compared with the standard architecture for both the conventional and fractional gradient decent-based learning rules. The spatio-temporal RBF is shown to perform better than the standard and fractional RBFNNs by achieving fast convergence and significantly reduced estimation error.


title: Integrable systems connected with black holes

abstract: This work is devoted to the study of some important questions in general relativity. They include topics related to astrophysical shock waves, impulsive signals, gravitational memory effect, black hole geometries and integrable systems connected with them.


title: ARGAN: Attentive Recurrent Generative Adversarial Network for Shadow Detection and Removal

abstract: In this paper we propose an attentive recurrent generative adversarial network (ARGAN) to detect and remove shadows in an image. The generator consists of multiple progressive steps. At each step a shadow attention detector is firstly exploited to generate an attention map which specifies shadow regions in the input image.Given the attention map, a negative residual by a shadow remover encoder will recover a shadow-lighter or even a shadow-free image. A discriminator is designed to classify whether the output image in the last progressive step is real or fake. Moreover, ARGAN is suitable to be trained with a semi-supervised strategy to make full use of sufficient unsupervised data. The experiments on four public datasets have demonstrated that our ARGAN is robust to detect both simple and complex shadows and to produce more realistic shadow removal results. It outperforms the state-of-the-art methods, especially in detail of recovering shadow areas.


title: CREST: Hardware Formal Verification with ANSI-C Reference Specifications

abstract: This paper presents CREST, a prototype front-end tool intended as an add-on to commercial EDA formal verifcation environments. CREST is an adaptation of the CBMC bounded model checker for C, an academic tool widely used in industry for software analysis and property verification. It leverages the capabilities of CBMC to process hardware datapath specifications written in arbitrary ANSI-C, without limiting restrictions to a synthesizable subset. We briefly sketch the architecture of our tool and show its use in a range of verification case studies.


title: On the stability of two-flavor and three-flavor quark stars

abstract: Following our recenty proposed self-consistent mean-field approximation approach, we have done some researches on the chiral phase transition of strong interaction matter within the framework of Nambu-Jona-Lasinio (NJL) model. The chiral susceptibility and equation of state (EOS) are computed in this work for both two-flavor and three-flavor quark matter for contrast. The Pauli-Villars scheme, which can preserve gauge invariance, is used in this paper. Moreover, whether the three-flavor quark matter is more stable than the two-flavor quark matter or not in quark stars is discussed in this work. In our model, when the bag constant are the same, the two-flavor quark matter has a higher pressure than the three-flavor quark matter, which is different from what Witten proposed in his pioneering work.


title: On the Kirchhoff type equations in $\mathbb{R}^{N}$

abstract: Consider a nonlinear Kirchhoff type equation as follows \begin{equation*} \left\{ \begin{array}{ll} -\left( a\int_{\mathbb{R}^{N}}|\nabla u|^{2}dx+b\right) \Delta u+u=f(x)\left\vert u\right\vert ^{p-2}u & \text{ in }\mathbb{R}^{N}, \\ u\in H^{1}(\mathbb{R}^{N}), & \end{array}% \right. \end{equation*}% where $N\geq 1,a,b>0,2<p<\min \left\{ 4,2^{\ast }\right\}$($2^{\ast }=\infty $ for $N=1,2$ and $2^{\ast }=2N/(N-2)$ for $N\geq 3)$ and the function $f\in C(\mathbb{R}^{N})\cap L^{\infty }(\mathbb{R}^{N})$. Distinguishing from the existing results in the literature, we are more interested in the geometric properties of the energy functional related to the above problem. Furthermore, the nonexistence, existence, unique and multiplicity of positive solutions are proved dependent on the parameter $a$ and the dimension $N.$ In particular, we conclude that a unique positive solution exists for $1\leq N\leq4$ while at least two positive solutions are permitted for $N\geq5$.


title: Fast Nonoverlapping Block Jacobi Method for the Dual Rudin--Osher--Fatemi Model

abstract: We consider nonoverlapping domain decomposition methods for the Rudin--Osher--Fatemi~(ROF) model, which is one of the standard models in mathematical image processing. The image domain is partitioned into rectangular subdomains and local problems in subdomains are solved in parallel. Local problems can adopt existing state-of-the-art solvers for the ROF model. We show that the nonoverlapping relaxed block Jacobi method for a dual formulation of the ROF model has the $O(1/n)$ convergence rate of the energy functional, where $n$ is the number of iterations. Moreover, by exploiting the forward-backward splitting structure of the method, we propose an accelerated version whose convergence rate is $O(1/n^2)$. The proposed method converges faster than existing domain decomposition methods both theoretically and practically, while the main computational cost of each iteration remains the same. We also provide the dependence of the convergence rates of the block Jacobi methods on the image size and the number of subdomains. Numerical results for comparisons with existing methods are presented.


title: Automatic Fact-Checking Using Context and Discourse Information

abstract: We study the problem of automatic fact-checking, paying special attention to the impact of contextual and discourse information. We address two related tasks: (i) detecting check-worthy claims, and (ii) fact-checking claims. We develop supervised systems based on neural networks, kernel-based support vector machines, and combinations thereof, which make use of rich input representations in terms of discourse cues and contextual features. For the check-worthiness estimation task, we focus on political debates, and we model the target claim in the context of the full intervention of a participant and the previous and the following turns in the debate, taking into account contextual meta information. For the fact-checking task, we focus on answer verification in a community forum, and we model the veracity of the answer with respect to the entire question--answer thread in which it occurs as well as with respect to other related posts from the entire forum. We develop annotated datasets for both tasks and we run extensive experimental evaluation, confirming that both types of information ---but especially contextual features--- play an important role.


title: A Groupoid Picture of Elek Algebras

abstract: We describe a construction by G\'abor Elek, associating C*-algebras with uniformly recurrent subgroups, in the language of groupoid C*-algebras. This allows us to simplify several proofs in the original paper and fully characterise their nuclearity. We furthermore relate our groupoids to the dynamics of the group acting on its uniformly recurrent subgroup.


title: Generators of the cohomology ring, after Newstead

abstract: Newstead gave the generators of the cohomology ring of the moduli space of rank 2 semi-stable, torsion-free sheaves with fixed odd degree determinant over a smooth, projective curve. In this article, we generalize this result to the case when the underlying curve is irreducible, nodal. We show that these generators (of the cohomology ring in the nodal curve case) arise naturally as degeneration of Newstead's generators in the smooth curve case.


title: Energy asymptotics in the three-dimensional Brezis--Nirenberg problem

abstract: For a bounded open set $\Omega\subset\mathbb R^3$ we consider the minimization problem $$ S(a+\epsilon V) = \inf_{0\not\equiv u\in H^1_0(\Omega)} \frac{\int_\Omega (|\nabla u|^2+ (a+\epsilon V) |u|^2)\,dx}{(\int_\Omega u^6\,dx)^{1/3}} $$ involving the critical Sobolev exponent. The function $a$ is assumed to be critical in the sense of Hebey and Vaugon. Under certain assumptions on $a$ and $V$ we compute the asymptotics of $S(a+\epsilon V)-S$ as $\epsilon\to 0+$, where $S$ is the Sobolev constant. (Almost) minimizers concentrate at a point in the zero set of the Robin function corresponding to $a$ and we determine the location of the concentration point within that set. We also show that our assumptions are almost necessary to have $S(a+\epsilon V)<S$ for all sufficiently small $\epsilon>0$.


title: Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering

abstract: We improve previous work on the consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality building on previous work by Adolf, Cox and Welch. Specifically, we have greatly reduced our reliance on covering properties in the proof. This will allow us to handle sequences in which sets concentrating on points of countable cofinality appear infinitely often. Furthermore we will show that if $\kappa$ is a J\'onsson cardinal with $\kappa < \aleph_\kappa$ then the sharp for a model with a strong cardinal exists.


title: Leveraging Random Assignment to Impute Missing Covariates in Causal Studies

abstract: Baseline covariates in randomized experiments are often used in the estimation of treatment effects, for example, when estimating treatment effects within covariate-defined subgroups. In practice, however, covariate values may be missing for some data subjects. To handle missing values, analysts can use imputation methods to create completed datasets, from which they can estimate treatment effects. Common imputation methods include mean imputation, single imputation via regression, and multiple imputation. For each of these methods, we investigate the benefits of leveraging randomized treatment assignment in the imputation routines, that is, making use of the fact that the true covariate distributions are the same across treatment arms. We do so using simulation studies that compare the quality of inferences when we respect or disregard the randomization. We consider this question for imputation routines implemented using covariates only, and imputation routines implemented using the outcome variable. In either case, accounting for randomization offers only small gains in accuracy for our simulation scenarios. Our results also shed light on the performances of these different procedures for imputing missing covariates in randomized experiments when one seeks to estimate heterogeneous treatment effects.


title: Scheduling to Minimize Age of Information in Multi-State Time-Varying Networks with Power Constraints

abstract: In this paper, we study how to collect fresh data in time-varying networks with power constrained users. We measure data freshness from the perspective of the central controller by using the metric Age of Information, namely the time elapsed since the generation time-stamp of the freshest information. We wonder what is the minimum AoI performance the network can achieve and how to design scheduling algorithms to approach it. To answer these questions when scheduling decisions are restricted to bandwidth constraint, we first decouple the multi-user scheduling problem into a single user constrained Markov decision process (CMDP) through relaxation of the hard bandwidth constraint. Next we exploit the threshold structure of the optimal policy for the decoupled single user CMDP and obtain the optimum solution through linear programming (LP). Finally, an asymptotic optimal truncated policy that can satisfy the hard bandwidth constraint is built upon the optimal solution to each of the decoupled single-user sub-problem. The performance is verified through simulations. Our investigation shows that to obtain a small AoI performance, the scheduler exploits good channels to schedule users supported by limited power. Users equipped with enough transmission power are updated in a timely manner such that the bandwidth constraint can be satisfied.


title: Upper limit on the fraction of alien civilizations that develop communication technology

abstract: We re-examine the likelihood for alien civilizations to develop communication technology on the basis of the general assumption that life elsewhere could have a non-carbon chemical foundation. We particularized the discussion to a complex silicon-based biochemistry in a nitrogen solvent, and elaborate on the environment in which such a chemistry is feasible, and if so, on what scales. More concretely, we determine the region outside the habitable zone where such organisms can grow and flourish and after that we study how our findings impact the recently derived upper limit on the fraction of living intelligent species that develop communication technology $\langle \xi_{\rm biotec} \rangle$. We also compare this new restriction on $\langle \xi_{\rm biotec} \rangle$ with that resulting from the extension of the habitable zone to accommodate subsurface exolife, originating in planets with subsurface (water) oceans.


title: Prediction of three-fold fermions in a nearly-ideal Dirac semimetal BaAgAs

abstract: Materials with triply-degenerate nodal points in their low-energy electronic spectrum produce crystalline-symmetry-enforced three-fold fermions, which conceptually lie between the two-fold Weyl and four-fold Dirac fermions. Here we show how a silver-based Dirac semimetal BaAgAs realizes three-fold fermions through our first-principles calculations combined with a low-energy effective $\mathbf{k.p}$ model Hamiltonian analysis. BaAgAs is shown to harbor triply-degenerate nodal points, which lie on its $C_{3}$ rotation axis, and are protected by the $C_{6v}$($C_2\otimes C_{3v}$) point-group symmetry in the absence of spin-orbit coupling (SOC) effects. When the SOC is turned on, BaAgAs transitions into a nearly-ideal Dirac semimetal state with a pair of Dirac nodes lying on the $C_{3}$ rotation axis. We show that breaking inversion symmetry in the BaAgAs$_{1-x}$P$_x$ alloy yields a clean and tunable three-fold fermion semimetal. Systematic relaxation of other symmetries in BaAgAs generates a series of other topological phases. BaAgAs materials thus provide an ideal platform for exploring tunable topological properties associated with a variety of different fermionic excitations.


title: Nilpotent orbits of height 2 and involutions in the affine Weyl group

abstract: Let G be an almost simple group over an algebraically closed field k of characteristic zero, let g be its Lie algebra and let B be a Borel subgroup of G. Then B acts with finitely many orbits on the variety N_2 of the nilpotent elements in g whose height is at most 2. We provide a parametrization of the B-orbits in N_2 in terms of subsets of pairwise orthogonal roots, and we provide a complete description of the inclusion order among the B-orbit closures in terms of the Bruhat order on certain involutions in the affine Weyl group of g.


title: A Data Structure Perspective to the RDD-based Apriori Algorithm on Spark

abstract: During the recent years, a number of efficient and scalable frequent itemset mining algorithms for big data analytics have been proposed by many researchers. Initially, MapReduce-based frequent itemset mining algorithms on Hadoop cluster were proposed. Although, Hadoop has been developed as a cluster computing system for handling and processing big data, but the performance of Hadoop does not meet the expectation for the iterative algorithms of data mining, due to its high I/O, and writing and then reading intermediate results in the disk. Consequently, Spark has been developed as another cluster computing infrastructure which is much faster than Hadoop due to its in-memory computation. It is highly suitable for iterative algorithms and supports batch, interactive, iterative, and stream processing of data. Many frequent itemset mining algorithms have been re-designed on the Spark, and most of them are Apriori-based. All these Spark-based Apriori algorithms use Hash Tree as the underlying data structure. This paper investigates the efficiency of various data structures for the Spark-based Apriori. Although, the data structure perspective has been investigated previously, but for MapReduce-based Apriori, and it must be re-investigated in the distributed computing environment of Spark. The considered underlying data structures are Hash Tree, Trie, and Hash Table Trie. The experimental results on the benchmark datasets show that the performance of Spark-based Apriori with Trie and Hash Table Trie are almost similar but both perform many times better than Hash Tree in the distributed computing environment of Spark.


title: Energy Efficiency Optimization for UAV-assisted Backscatter Communications

abstract: Future Internet-of-Things (IoT) has high demand for energy-saving communications, especially in remote areas and smart cities. To meet this demand, we propose novel Unmanned Aerial Vehicle-assisted backscatter communications, where a UAV first collects data from multiple terrestrial backscattering tags via time division multiple access, and then flies into the coverage region of a terrestrial base station to upload its collected data to its associated base station. To determine the optimal UAV data collection location, we first analyze the system average outage probability, and then optimize the energy efficiency with the optimal backscattering location through Golden Section method under UAV energy constraint. Our analytical and simulation results illustrate that there is a trade-off between UAV data collection location and the outage probability, and the optimal UAV data collection location to achieve maximum energy efficiency needs to be closer to the tags for lower UAV transmit power.


title: The minimum possible volume size of u-way (v, k, t) trades

abstract: A u-way (v; k; t) trade is a pair T = (X; T_1; T2,...,T_u) such that for each t-subset of v-set X the number of blocks containing this t-subset is the same in each Ti (1 <= i <=u). In the other words for each 1 <= i < j <= u, (X; T_i; T_j) is a (v; k; t) trade. There are many questions concerning u-way trades. The main question is about the minimum volume and minimum foundation size of u-way (v; k; t) trades. In this paper, we determine the minimum volume and minimum foundation size of u-way (v; t + 1; t) trades for each integer number u >2 and t = 2.


title: SF-Net: Structured Feature Network for Continuous Sign Language Recognition

abstract: Continuous sign language recognition (SLR) aims to translate a signing sequence into a sentence. It is very challenging as sign language is rich in vocabulary, while many among them contain similar gestures and motions. Moreover, it is weakly supervised as the alignment of signing glosses is not available. In this paper, we propose Structured Feature Network (SF-Net) to address these challenges by effectively learn multiple levels of semantic information in the data. The proposed SF-Net extracts features in a structured manner and gradually encodes information at the frame level, the gloss level and the sentence level into the feature representation. The proposed SF-Net can be trained end-to-end without the help of other models or pre-training. We tested the proposed SF-Net on two large scale public SLR datasets collected from different continuous SLR scenarios. Results show that the proposed SF-Net clearly outperforms previous sequence level supervision based methods in terms of both accuracy and adaptability.


title: Semi-supervised representation learning via dual autoencoders for domain adaptation

abstract: Domain adaptation aims to exploit the knowledge in source domain to promote the learning tasks in target domain, which plays a critical role in real-world applications. Recently, lots of deep learning approaches based on autoencoders have achieved a significance performance in domain adaptation. However, most existing methods focus on minimizing the distribution divergence by putting the source and target data together to learn global feature representations, while they do not consider the local relationship between instances in the same category from different domains. To address this problem, we propose a novel Semi-Supervised Representation Learning framework via Dual Autoencoders for domain adaptation, named SSRLDA. More specifically, we extract richer feature representations by learning the global and local feature representations simultaneously using two novel autoencoders, which are referred to as marginalized denoising autoencoder with adaptation distribution (MDAad) and multi-class marginalized denoising autoencoder (MMDA) respectively. Meanwhile, we make full use of label information to optimize feature representations. Experimental results show that our proposed approach outperforms several state-of-the-art baseline methods.


title: Error Analysis of Approximate Array Multipliers

abstract: Approximate computing is a nascent energy-efficient computing paradigm suitable for error-tolerant applications. However, the value of approximation error depends on the applied inputs where individual output error may reach intolerable level while the average output error is acceptable. Thus, it is critical to show the response of approximate design for various applied inputs where understanding the interdependence between the inputs and the approximation error could be utilized to control the output quality. In this report, we exhaustively analyze the accuracy of 20 different designs of 8-bit approximate array multipliers. We designed these multipliers based on various configurations including the type of approximable component and how much of the result to approximate, i.e., approximation degree. Accuracy analysis shows a strong correlation between the applied inputs and the magnitude of the observed error, i.e., error distance, normalized error distance and peak-to-signal-noise ratio. We may utilize this input-dependency of approximation error, in controlling the quality of approximate computing by eliminating large magnitude errors and improving the quality of the final results.


title: Characterising Volunteers' Task Execution Patterns Across Projects on Multi-Project Citizen Science Platforms

abstract: Citizen science projects engage people in activities that are part of a scientific research effort. On multi-project citizen science platforms, scientists can create projects consisting of tasks. Volunteers, in turn, participate in executing the project's tasks. Such type of platforms seeks to connect volunteers and scientists' projects, adding value to both. However, little is known about volunteer's cross-project engagement patterns and the benefits of such patterns for scientists and volunteers. This work proposes a Goal, Question, and Metric (GQM) approach to analyse volunteers' cross-project task execution patterns and employs the Semiotic Inspection Method (SIM) to analyse the communicability of the platform's cross-project features. In doing so, it investigates what are the features of platforms to foster volunteers' cross-project engagement, to what extent multi-project platforms facilitate the attraction of volunteers to perform tasks in new projects, and to what extent multi-project participation increases engagement on the platforms. Results from analyses on real platforms show that volunteers tend to explore multiple projects, but they perform tasks regularly in just a few of them; few projects attract much attention from volunteers; volunteers recruited from other projects on the platform tend to get more engaged than those recruited outside the platform. System inspection shows that platforms still lack personalised and explainable recommendations of projects and tasks. The findings are translated into useful claims about how to design and manage multi-project platforms.


title: Linear stability of elliptic relative equilibria of four-body problem with two infinitesimal masses

abstract: In this paper, we consider the elliptic relative equilibria of four-body problem with two infinitesimal masses. The most interesting case is when the two small masses tend to the same Lagrangian point $L_4$ (or $L_5$). In \cite{Xia}, Z. Xia showed that there exist four central configurations: two of them are non-convex, and the other two are convex. We prove that the elliptic relative equilibria raised from the non-convex central configurations are always linearly unstable; while for the elliptic relative equilibria raised from the convex central configurations, the conditions of linear stability with respect to the parameters are given.


title: Analytically approximated scalarized black holes and their thermodynamic stability

abstract: It is recently shown that, besides the Schwarzshcild black hole solution, there exist also scalarized black hole solutions in some Einstein-scalar-Gauss-Bonnet theories. In this paper, we construct analytical expressions for the metric functions and scalar field configurations for these scalarized black hole solutions approximately by employing the continued fraction parametrization method and investigate their thermodynamic stability. It is found that the horizon entropy of a scalarized black hole is always smaller than that of a Schwarzschild black hole, which indicates that these scalarized black holes may decay to Schwarzschild black holes by emission of scalar waves. This fact also implies the possibility to extract the energy of scalar charges.


title: Business-Driven Technical Debt Prioritization

abstract: Technical debt happens when teams take shortcuts on software development to gain short-term benefits at the cost of making future changes more expensive. Previous results show that there is a misalignment between the prioritization done by technical professionals and the prioritization expected by business ones. This paper presents a business-driven approach to prioritize technical debt items. The research is organized into four phases: exploratory, to identify the research focus; concept verification, where the proposed approach was evaluated on a multi-case study; solution, where a design science research was conducted to develop Tracy, a framework for technical debt prioritization; and validation. Results so far show that the business-driven prioritization of technical debt items can improve the alignment and communication between the technical and business stakeholders.


title: Experimental realization of quantum teleportation using coined quantum walks

abstract: The goal of teleportation is to transfer the state of one particle to another particle. In coined quantum walks, conditional shift operators can introduce entanglement between position space and coin space. This entanglement resource can be used as a quantum channel for teleportation, as proposed by Wang, Shang and Xue [Quantum Inf. Process. 16, 221 (2017)]. Here, we demonstrate the implementation of quantum teleportation using quantum walks on a five-qubit quantum computer and a 32-qubit simulator provided by IBM quantum experience beta platform. We show the teleportation of single-qubit, two-qubit and three-qubit quantum states with circuit implementation on the quantum devices. The teleportation of Bell, W and GHZ states has also been demonstrated as special cases of the above states.


title: JUMT at WMT2019 News Translation Task: A Hybrid approach to Machine Translation for Lithuanian to English

abstract: In the current work, we present a description of the system submitted to WMT 2019 News Translation Shared task. The system was created to translate news text from Lithuanian to English. To accomplish the given task, our system used a Word Embedding based Neural Machine Translation model to post edit the outputs generated by a Statistical Machine Translation model. The current paper documents the architecture of our model, descriptions of the various modules and the results produced using the same. Our system garnered a BLEU score of 17.6.


title: Another Simple but Faster Method for 2D Line Clipping

abstract: The majority of methods for line clipping make a rather large number of comparisons and involve a lot of calculations compared to modern ones. Most of the times, they are not so efficient as well as not so simple and applicable to the majority of cases. Besides the most popular ones, namely, Cohen-Sutherland, Liang-Barsky, Cyrus-Beck and Nicholl-Lee-Nicholl, other line-clipping methods have been presented over the years, each one having its own advantages and disadvantages. In this paper a new computation method for 2D line clipping against a rectangular window is introduced. The proposed method has been compared with the afore-mentioned ones as well as with two others; namely, Skala and Kodituwakku-Wijeweera-Chamikara, with respect to the number of operations performed and the computation time. The performance of the proposed method has been found to be better than all of the above-mentioned methods and it is found to be very fast, simple and can be implemented easily in any programming language or integrated development environment.


title: Improving IT Support by Enhancing Incident Management Process with Multi-modal Analysis

abstract: IT support services industry is going through a major transformation with AI becoming commonplace. There has been a lot of effort in the direction of automation at every human touchpoint in the IT support processes. Incident management is one such process which has been a beacon process for AI based automation. The vision is to automate the process from the time an incident/ticket arrives till it is resolved and closed. While text is the primary mode of communicating the incidents, there has been a growing trend of using alternate modalities like image to communicate the problem. A large fraction of IT support tickets today contain attached image data in the form of screenshots, log messages, invoices and so on. These attachments help in better explanation of the problem which aids in faster resolution. Anybody who aspires to provide AI based IT support, it is essential to build systems which can handle multi-modal content. In this paper we present how incident management in IT support domain can be made much more effective using multi-modal analysis. The information extracted from different modalities are correlated to enrich the information in the ticket and used for better ticket routing and resolution. We evaluate our system using about 25000 real tickets containing attachments from selected problem areas. Our results demonstrate significant improvements in both routing and resolution with the use of multi-modal ticket analysis compared to only text based analysis.


title: Gender and Racial Diversity in Commercial Brands' Advertising Images on Social Media

abstract: Gender and racial diversity in the mediated images from the media shape our perception of different demographic groups. In this work, we investigate gender and racial diversity of 85,957 advertising images shared by the 73 top international brands on Instagram and Facebook. We hope that our analyses give guidelines on how to build a fully automated watchdog for gender and racial diversity in online advertisements.


title: Tunneling vortex dynamics in linearly coupled Bose-Hubbard rings

abstract: The quantum dynamics of population-balanced fractional vortices and population-imbalanced vortices in an effective two-state bosonic system, made of two coupled discrete circuits with few sites, is addressed within the Bose-Hubbard model. % We show that for low on-site interaction, the tunneling of quantized vortices between the rings performs a coherent, oscillating dynamics connecting current states with chiral symmetry. The vortex-flux transfer dually follows the usual sinusoidal particle current of the Josephson effect, in good agreement with a mean-field approximation. Within such regime, the switch of persistent currents in the rings resembles flux-qubit features, and is feasible to experimental realization. On the contrary, strong interatomic interactions suppress the chiral current and lead the system into fragmented condensation.


title: Machine learning and evolutionary algorithm studies of graphene metamaterials for optimized plasmon-induced transparency

abstract: Machine learning and optimization algorithms have been widely applied in the design and optimization for photonic devices. In this article, we briefly review recent progress of this field of research and show some data-driven applications (e.g. spectrum prediction, inverse design and performance optimization) for novel graphene metamaterials (GMs). The structure of the GMs is well-designed to achieve the wideband plasmon induced transparency effect, which is regarded as optimization object and can be theoretically demonstrated by using transfer matrix method. Some classical machine learning algorithms, including k nearest neighbour, decision tree, random forest and artificial neural networks, are utilized to equivalently substitute the numerical simulation in the forward spectrum prediction and complete the inverse design for the GMs. The calculated results demonstrate that all the algorithms are effective and the random forest has advantages in terms of accuracy and training speed. Moreover, the single-objective and multi-objective optimization algorithms are used to achieve steep transmission characteristics by synthetically taking many performance metrics into consideration. The maximum difference between the transmission peaks and dips in the optimized transmission spectrum can reach 0.97. In comparison to previous works, we provide a guidance for intelligent design of photonic devices and advanced materials based on machine learning and evolutionary algorithms.


title: Separating Argument Structure from Logical Structure in AMR

abstract: The AMR (Abstract Meaning Representation) formalism for representing meaning of natural language sentences was not designed to deal with scope and quantifiers. By extending AMR with indices for contexts and formulating constraints on these contexts, a formalism is derived that makes correct prediction for inferences involving negation and bound variables. The attractive core predicate-argument structure of AMR is preserved. The resulting framework is similar to that of Discourse Representation Theory.


title: Telescope Array 10 Year Composition

abstract: Estimates of the composition of ultra high energy cosmic rays (UHECRs) can be inferred by recording the depth of air shower maximum, $X_{\mathrm{max}}$, for many showers and comparing the distributions to those predicted by Monte Carlo simulations. Traditionally, UHECR composition has relied upon comparison of the first and second moments of the $X_{\mathrm{max}}$ distributions to estimate the compatibility between data and simulations, but with the large UHECR datasets being built the current generation experiments better tests which compare full distributions can be employed. Such tests can be used to understand the accuracy with which UHECR composition can actually be understood at the current level of statistics and quantitatively measure the significance of agreement or disagreement with models in order to reject them. In this paper we present the most recent results of 10 years of Telescope Array hybrid $X_{\mathrm{max}}$ measurements which is found to agree with a predominantly light composition. In previously published results we have demonstrated the agreement of Telescope Array hybrid $X_{\mathrm{max}}$ data with single element models using systematic shifting of the data in order to ensure the shapes of the distributions are being compared. Here we present multi-component source models fit to hybrid $X_{\mathrm{max}}$ data and report on the relative fractions of those sources that best fit the data. Below $10^{19.1}$ eV TA hybrid data is found to be compatible with mixtures composed of predominantly light elements such as protons and helium.


title: Exact BER Performance Analysis for Downlink NOMA Systems Over Nakagami-m Fading Channels

abstract: In this paper, the performance of a promising technology for the next generation wireless communications, non-orthogonal multiple access (NOMA), is investigated. In particular, the bit error rate (BER) performance of downlink NOMA systems over Nakagami-m flat fading channels, is presented. Under various conditions and scenarios, the exact BER of downlink NOMA systems considering successive interference cancellation (SIC) is derived. The transmitted signals are randomly generated from quadrature phase shift keying (QPSK) and two NOMA systems are considered; two users' and three users' systems. The obtained BER expressions are then used to evaluate the optimal power allocation for two different objectives, achieving fairness and minimizing average BER. The two objectives can be used in a variety of applications such as satellite applications with constrained transmitted power. Numerical results and Monte Carlo simulations perfectly match with the derived BER analytical results and provide valuable insight into the advantages of optimal power allocation which show the full potential of downlink NOMA systems.


title: A multi-wavelength study of a massive, active galaxy at $z\sim 2$: coupling the kinematics of the ionized and molecular gas

abstract: We report a multi-wavelength study of the massive ($M_{\star} \gtrsim 10^{11} \rm{M}_{\odot}$), $z\sim 2$ star-forming galaxy GMASS 0953, which hosts an obscured AGN. We combined near-infrared observations of the GNIRS, SINFONI and KMOS spectrographs to study the kinematics of the [O III]$\lambda 5007$ and H$\alpha$ emission lines. Our analysis shows that GMASS 0953 may host an ionized disc extending up to 13 kpc, which rotates at a velocity of $V_{\rm{ion}} = 203^{+17}_{-20} {\ \rm kms}^{-1}$ at the outermost radius. Evidence of rotation on a smaller scale ($R \sim 1$ kpc) arises from the CO(J=6-5) line. The central velocity $V_{\rm{CO}} = 320^{+ 92}_{-53} {\ \rm kms}^{-1}$ traced by the molecular gas is higher than $V_{\rm{ion}}$, suggesting that the galaxy harbors a multi-phase disc with a rotation curve that peaks in the very central regions. The galaxy appears well located on the $z = 0$ baryonic Tully-Fisher relation. We also discuss the possibility that the [O III]$\lambda 5007$ and H$\alpha$ velocity gradients are due to a galactic-scale wind. Besides, we found evidence of an AGN-driven outflow traced by a broad blueshifted wing affecting the [O III]$\lambda 5007$ line, which presents a velocity offset $\Delta v = -535 \pm 152 {\ \rm kms}^{-1}$ from the systemic velocity. Because of the short depletion timescale ($\tau_{\rm{dep}}\sim 10^8$ yr) due to gas ejection and gas consumption by star formation activity, GMASS 0953 may likely evolve into a passive galaxy. However, the role of the AGN in depleting the gas reservoir of the galaxy is quite unclear because of the uncertainties affecting the outflow rate.


title: Efficient spin excitation via ultrafast damping-like torques in antiferromagnets

abstract: Damping effects form the core of many emerging concepts for high-speed spintronic applications. Important characteristics such as device switching times and magnetic domain-wall velocities depend critically on the damping rate. While the implications of spin damping for relaxation processes are intensively studied, damping effects during impulsive spin excitations are assumed to be negligible because of the shortness of the excitation process. Herein, we show that, unlike in ferromagnets, ultrafast damping plays a crucial role in antiferromagnets because of their strongly elliptical spin precession. In time-resolved measurements, we find that ultrafast damping results in an immediate spin canting along the short precession axis. The interplay between antiferromagnetic exchange and magnetic anisotropy amplifies this canting by several orders of magnitude towards large-amplitude modulations of the antiferromagnetic order parameter. This leverage effect discloses a highly efficient route towards the ultrafast manipulation of magnetism in antiferromagnetic spintronics.


title: Equivalence of the categories of group triples and of hypergroups over the group

abstract: The main result of this paper is that the categories of (right) hypergroups over the group and of triples, consisting of a group, its subgroup and a (right) transversal to this subgroup, are equivalent.


title: The Frequency-Shift in the Gravitational Microlensing

abstract: The relative transverse velocity of a lens with respect to the source star in gravitational lensing results in a frequency shift in the light rays passing by a lens. We propose using this relativistic effect for measuring the relative velocity of the lens with respect to the source star in gravitational microlensing. High precision spectrographs with the accuracy of detecting the relative frequency shift in the order of $10^{-11}$ will enable us to measure this effect in the microlensing events. The spectrographs such as ESPRESSO is going to be used for detecting exoplanets with the accuracy of the radial velocity of $0.1$~m/s. This kind of instrument can be used in follow-up observations of the microlensing events. Combining the spectroscopic observation with the parallax measurements of microlensing events from space and proper motion of the source stars with GAIA telescope enables us to measure all the parameters of the microlensing events. The result would be measuring the mass and the transverse velocity of lenses with the masses in the range of the black holes to the free-floating planets.


title: ASNets: Deep Learning for Generalised Planning

abstract: In this paper, we discuss the learning of generalised policies for probabilistic and classical planning problems using Action Schema Networks (ASNets). The ASNet is a neural network architecture that exploits the relational structure of (P)PDDL planning problems to learn a common set of weights that can be applied to any problem in a domain. By mimicking the actions chosen by a traditional, non-learning planner on a handful of small problems in a domain, ASNets are able to learn a generalised reactive policy that can quickly solve much larger instances from the domain. This work extends the ASNet architecture to make it more expressive, while still remaining invariant to a range of symmetries that exist in PPDDL problems. We also present a thorough experimental evaluation of ASNets, including a comparison with heuristic search planners on seven probabilistic and deterministic domains, an extended evaluation on over 18,000 Blocksworld instances, and an ablation study. Finally, we show that sparsity-inducing regularisation can produce ASNets that are compact enough for humans to understand, yielding insights into how the structure of ASNets allows them to generalise across a domain.


title: Generalized Gaussian beams in terms of Jones vectors

abstract: Based on the operator formalism that arises from the underlying SU(2) group structure, a formula is derived that provides a description of the generalized Hermite-Laguerre Gauss modes in terms of a Jones vector, traditionally used to describe polarization. This identity highlights the relation between these generalized Gaussian beams, the elliptical ray families, and the Majorana constellations used to represent structured-Gaussian beams. Moreover, it provides a computational advantage over the standard formula in terms of Wigner $d$ functions.


title: The Capacity of Quantum Neural Networks

abstract: A key open question in quantum computation is what advantages quantum neural networks (QNNs) may have over classical neural networks (NNs), and in what situations these advantages may transpire. Here we address this question by studying the memory capacity $C$ of QNNs, which is a metric of the expressive power of a QNN that we have adapted from classical NN theory. We present a capacity inequality showing that the capacity of a QNN is bounded by the information $W$ that can be trained into its parameters: $C \leq W$. One consequence of this bound is that QNNs that are parameterized classically do not show an advantage in capacity over classical NNs having an equal number of parameters. However, QNNs that are parametrized with quantum states could have exponentially larger capacities. We illustrate our theoretical results with numerical experiments by simulating a particular QNN based on a Gaussian Boson Sampler. We also study the influence of sampling due to wavefunction collapse during operation of the QNN, and provide an analytical expression connecting the capacity to the number of times the quantum system is measured.


title: Backward nucleon production by heavy baryonic resonances in proton-nucleus collisions

abstract: The production of backward nucleons, $N(180^\circ)$, at $180^\circ$ in the nuclear target rest frame in proton-nucleus ($\mathrm{p}+A$) collisions is studied. The backward nucleons appearing outside of the kinematically allowed range of proton-nucleon ($\mathrm{p}+N$) reactions are shown to be due to secondary reactions of heavy baryonic resonances produced inside the nucleus. Baryonic resonances $R$ created in primary $\mathrm{p}+N$ reactions can change their masses and momenta due to successive collisions $R+N\rightarrow R +N $ with other nuclear nucleons. Two distinct mechanisms and kinematic restrictions are studied: the reaction $R+N\rightarrow N(180^\circ)+N$ and the resonance decay $R\rightarrow N(180^\circ)+\pi$. Simulations of $\mathrm{p}+A$ collisions using the Ultra-relativistic Quantum Molecular Dynamics model support these mechanisms and are consistent with available data on proton backward production.


title: Stratified Homotopy Theory

abstract: A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces involves invariants such as intersection cohomology which are only invariants under stratification-preserving homotopies. In this thesis, we study the homotopy theory of stratified spaces with respect to those stratified homotopies. To do so, we construct model categories for stratified spaces and we introduce new invariants to characterize them, the filtered homotopy groups. A stratified space can be seen as a topological space $X$ together with a continuous map to a poset of strata $X\to P$. We begin our study by restricting ourselves to the filtered case, where the poset of strata is fixed. We define the model category of filtered simplicial sets, show that it admits a description "\`a la Kan", and characterize its weak-equivalences using the filtered homotopy groups. We deduce a proof of a filtered version of Whitehead theorem. We then construct a model category of filtered spaces. Its weak-equivalences are the morphisms that induce isomorphisms on all filtered homotopy groups, and its fibrations satisfy a filtered version of Serre's lifting conditions. We show that it is Quillen-equivalent to a category of diagrams of simplicial sets. We then work toward a comparison between the model categories of filtered simplicial sets and of filtered spaces. They are connected by a Quillen-adjunction, similar to the classical Kan-Quillen adjunction. We conjecture that it is in fact a Quillen equivalence. Lastly, working with the notion of Quillen bifibration, we show that there are model categories of stratified spaces and of stratified simplicial sets. We show that the two are related by an adjunction that preserve weak equivalences.


title: Unsupervised Learning of Depth and Deep Representation for Visual Odometry from Monocular Videos in a Metric Space

abstract: For ego-motion estimation, the feature representation of the scenes is crucial. Previous methods indicate that both the low-level and semantic feature-based methods can achieve promising results. Therefore, the incorporation of hierarchical feature representation may benefit from both methods. From this perspective, we propose a novel direct feature odometry framework, named DFO, for depth estimation and hierarchical feature representation learning from monocular videos. By exploiting the metric distance, our framework is able to learn the hierarchical feature representation without supervision. The pose is obtained with a coarse-to-fine approach from high-level to low-level features in enlarged feature maps. The pixel-level attention mask can be self-learned to provide the prior information. In contrast to the previous methods, our proposed method calculates the camera motion with a direct method rather than regressing the ego-motion from the pose network. With this approach, the consistency of the scale factor of translation can be constrained. Additionally, the proposed method is thus compatible with the traditional SLAM pipeline. Experiments on the KITTI dataset demonstrate the effectiveness of our method.


title: Decay widths at the scission point in nuclear fission

abstract: An outstanding problem in the theory of nuclear fission is understanding the Hamiltonian dynamics at the scission point. Here we apply the Generator Coordinate Method to calculate decay widths for pre-scission configurations into the two-fragment continuum. Transitions that are allowed under diabatic dynamics can have widths up to several MeV. For non-diabatic decays through the pairing interaction, typical widths to a specific final state channel are 2-3 orders of magnitude smaller. The nucleus U-236 is taken as a representative example in the calculations.


title: Nef-partitions arising from unimodular configurations

abstract: Reflexive polytopes have been studied from viewpoints of combinatorics, commutative algebra and algebraic geometry. A nef-partition of a reflexive polytope $\mathcal{P}$ is a decomposition $\mathcal{P}=\mathcal{P}_1+\cdots+\mathcal{P}_r$ such that each $\mathcal{P}_i$ is a lattice polytope containing the origin. Batyrev and van Straten gave a combinatorial method for explicit constructions of mirror pairs of Calabi-Yau complete intersections obtained from nef-partitions. In the present paper, by means of Gr\"{o}bner basis techniques, we give a large family of nef-partitions arising from unimodular configurations.


title: Random Additions in Urns of Integers

abstract: Consider an urn containing balls labeled with integer values. Define a discrete-time random process by drawing two balls, one at a time and with replacement, and noting the labels. Add a new ball labeled with the sum of the two drawn labels. This model was introduced by Siegmund and Yakir ({\it Ann. Probab. 33(5), 2005}) for labels taking values in a finite group, in which case the distribution defined by the urn converges to the uniform distribution on the group. For the urn of integers, the main result of this paper is an exponential limit law. The mean of the exponential is a random variable with distribution depending on the starting configuration. This is a novel urn model which combines multi-drawing and an infinite type of balls. The proof of convergence uses the contraction method for recursive distributional equations.


title: Integrable Deformation of Space Curves, Generalized Heisenberg Ferromagnet Equation and Two-Component Modified Camassa-Holm Equation

abstract: In this paper, we provide the geometric formulation to the two-component Camassa-Holm equation (2-mCHE). We also study the relation between the 2-mCHE and the M-CV equation. We have shown that these equations arise from the invariant space curve flows in three-dimensional Euclidean geometry. Using this approach we have established the geometrical equivalence between the 2-mCHE and the M-CV equation. The gauge equivalence between these equations is also considered.


title: Non-Hermitian Boundary State Engineering in Anomalous Floquet Topological Insulators

abstract: In Hermitian topological systems, the bulk-boundary correspondence strictly constraints boundary transport to values determined by the topological properties of the bulk. We demonstrate that this constraint can be lifted in non-Hermitian Floquet insulators. Provided that the insulator supports an anomalous topological phase, non-Hermiticity allows us to modify the boundary states independently of the bulk, without sacrificing their topological nature. We explore the ensuing possibilities for a Floquet topological insulator with non-Hermitian time-reversal symmetry, where the helical transport via counterpropagating boundary states can be tailored in ways that overcome the constraints imposed by Hermiticity. Non-Hermitian boundary state engineering specifically enables the enhancement of boundary transport relative to bulk motion, helical transport with a preferred direction, and chiral transport in the same direction on opposite boundaries. We explain the experimental relevance of our findings for the example of photonic waveguide lattices.


title: Unsupervised Microvascular Image Segmentation Using an Active Contours Mimicking Neural Network

abstract: The task of blood vessel segmentation in microscopy images is crucial for many diagnostic and research applications. However, vessels can look vastly different, depending on the transient imaging conditions, and collecting data for supervised training is laborious. We present a novel deep learning method for unsupervised segmentation of blood vessels. The method is inspired by the field of active contours and we introduce a new loss term, which is based on the morphological Active Contours Without Edges (ACWE) optimization method. The role of the morphological operators is played by novel pooling layers that are incorporated to the network's architecture. We demonstrate the challenges that are faced by previous supervised learning solutions, when the imaging conditions shift. Our unsupervised method is able to outperform such previous methods in both the labeled dataset, and when applied to similar but different datasets. Our code, as well as efficient PyTorch reimplementations of the baseline methods VesselNN and DeepVess is available on GitHub - https://github.com/shirgur/UMIS.


title: Science goals and mission concepts for a future orbital and in situ exploration of Titan

abstract: In this white paper, we present a cross-section of important scientific questions that remain partially or completely unanswered, ranging from Titan exosphere to the deep interior, and we detail which instrumentation and mission scenarios should be used to answer them. Our intention is to formulate the science goals for the next generation of planetary missions to Titan in order to prepare the future exploration of the moon. The ESA L-class mission concept that we propose is composed of a Titan orbiter and at least an in situ element (lake lander and/or drone(s)).


title: Soluble Groups with few orbits under automorphisms

abstract: Let $G$ be a group. The orbits of the natural action of Aut$(G)$ on $G$ are called ``automorphism orbits'' of $G$, and the number of automorphism orbits of $G$ is denoted by $\omega(G)$. We prove that if $G$ is a soluble group with finite rank such that $\omega(G)< \infty$, then $G$ contains a torsion-free characteristic nilpotent subgroup $K$ such that $G = K \rtimes H$, where $H$ is a finite group. Moreover, we classify the mixed order soluble groups of finite rank such that $\omega(G)=3$.


title: Extended ionized-gas structures in Seyfert 2 galaxy Mrk 78

abstract: Search for and study of extended emission-line regions (EELRs) related to AGN in early-type galaxies is interesting to probe the history of nuclear ionization activity and also to understand the process of external gas accretion. In this work, we present observations of the EELR in Mrk 78 obtained at the 6-m Russian telescope using the long-slit and 3D spectroscopy methods. We show that ionized-gas clouds at the 12-16 kpc projected distances from the nucleus are ionized by the AGN radiation. Also we have checked if the galaxy appearing in the optical images in the immediate neighbourhood of Mrk 78 near the external clouds is a dwarf companion or a part of a tidal structure. However, the spectrum of this galaxy, SDSS J074240.37+651021.4, obtained at the 6-m telescope corresponds to the distant background galaxy.


title: Edge states in ordinary differential equations for dislocations

abstract: In this article, we study Schr\"odinger operators on the real line, when the external potential represents a dislocation in a periodic medium. We study how the spectrum varies with the dislocation parameter. We introduce several integer-valued indices, including Chern number for bulk indices, and various spectral flows for edge indices. We prove that all these indices coincide, providing a proof a bulk-edge correspondence in this case. The study is also made for dislocations in Dirac models on the real line. We prove that 0 is always an eigenvalue of such operators.


title: Transparent Negative Index of Refraction Metamaterial Using a Wire Array in a Magnetic Host

abstract: We have made measurements of microwave transmission over the 12 - 18 GHz range and through a simple metamaterial exhibiting a negative index of refraction. The metamaterial consisted of an array of wires cladded in dielectric embedded in a magnetic ferrite. The ferrite replaced the cut-ring structure usually used to create the negative permeability. The dielectric cladding decoupled the ferrite from the wires, thereby allowing the wire array permittivity to be simultaneously negative with the permeability. The simplicity of the design allows for miniaturization of potential microwave devices based on this metamaterial.