title: Gauge copies in the Landau-DeWitt gauge: a background invariant restriction

abstract: The Landau background gauge, also known as the Landau-DeWitt gauge, has found renewed interest during the past decade given its usefulness in accessing the confinement-deconfinement transition via the vacuum expectation value of the Polyakov loop, describable via an appropriate background. In this Letter, we revisit this gauge from the viewpoint of it displaying gauge (Gribov) copies. We generalize the Gribov-Zwanziger effective action in a BRST and background invariant way; this action leads to a restriction on the allowed gauge fluctuations, thereby eliminating the infinitesimal background gauge copies. The explicit background invariance of our action is in contrast with earlier attempts to write down and use an effective Gribov-Zwanziger action. It allows to address certain subtleties arising in these earlier works, such as a spontaneous and thus spurious Lorentz symmetry breaking, something which is now averted.


title: Revisiting hand-crafted feature for action recognition: a set of improved dense trajectories

abstract: We propose a feature for action recognition called Trajectory-Set (TS), on top of the improved Dense Trajectory (iDT). The TS feature encodes only trajectories around densely sampled interest points, without any appearance features. Experimental results on the UCF50, UCF101, and HMDB51 action datasets demonstrate that TS is comparable to state-of-the-arts, and outperforms many other methods; for HMDB the accuracy of 85.4%, compared to the best accuracy of 80.2% obtained by a deep method. Our code is available on-line at https://github.com/Gauffret/TrajectorySet .


title: The game theoretic p-Laplacian and semi-supervised learning with few labels

abstract: We study the game theoretic p-Laplacian for semi-supervised learning on graphs, and show that it is well-posed in the limit of finite labeled data and infinite unlabeled data. In particular, we show that the continuum limit of graph-based semi-supervised learning with the game theoretic p-Laplacian is a weighted version of the continuous p-Laplace equation. We also prove that solutions to the graph p-Laplace equation are approximately Holder continuous with high probability. Our proof uses the viscosity solution machinery and the maximum principle on a graph.


title: Lower Bounds for Approximating the Matching Polytope

abstract: We prove that any extended formulation that approximates the matching polytope on $n$-vertex graphs up to a factor of $(1+\varepsilon)$ for any $\frac2n \le \varepsilon \le 1$ must have at least $\binom{n}{{\alpha}/{\varepsilon}}$ defining inequalities where $0<\alpha<1$ is an absolute constant. This is tight as exhibited by the $(1+\varepsilon)$ approximating linear program obtained by dropping the odd set constraints of size larger than $({1+\varepsilon})/{\varepsilon}$ from the description of the matching polytope. Previously, a tight lower bound of $2^{\Omega(n)}$ was only known for $\varepsilon = O\left(\frac{1}{n}\right)$ [Rothvoss, STOC '14; Braun and Pokutta, IEEE Trans. Information Theory '15] whereas for $\frac2n \le \varepsilon \le 1$, the best lower bound was $2^{\Omega\left({1}/{\varepsilon}\right)}$ [Rothvoss, STOC '14]. The key new ingredient in our proof is a close connection to the non-negative rank of a lopsided version of the unique disjointness matrix.


title: Structural Deep Embedding for Hyper-Networks

abstract: Network embedding has recently attracted lots of attentions in data mining. Existing network embedding methods mainly focus on networks with pairwise relationships. In real world, however, the relationships among data points could go beyond pairwise, i.e., three or more objects are involved in each relationship represented by a hyperedge, thus forming hyper-networks. These hyper-networks pose great challenges to existing network embedding methods when the hyperedges are indecomposable, that is to say, any subset of nodes in a hyperedge cannot form another hyperedge. These indecomposable hyperedges are especially common in heterogeneous networks. In this paper, we propose a novel Deep Hyper-Network Embedding (DHNE) model to embed hyper-networks with indecomposable hyperedges. More specifically, we theoretically prove that any linear similarity metric in embedding space commonly used in existing methods cannot maintain the indecomposibility property in hyper-networks, and thus propose a new deep model to realize a non-linear tuplewise similarity function while preserving both local and global proximities in the formed embedding space. We conduct extensive experiments on four different types of hyper-networks, including a GPS network, an online social network, a drug network and a semantic network. The empirical results demonstrate that our method can significantly and consistently outperform the state-of-the-art algorithms.


title: On Capacity Models for Network Design

abstract: In network design problems capacity constraints are modeled in three different ways depending on the application and the underlying technology for installing capacity: directed, bidirected, and undirected. In the literature, polyhedral investigations for strengthening mixed-integer formulations are done separately for each model. In this paper, we examine the relationship between these models to provide a unifying approach and show that one can indeed translate valid inequalities from one to the others. In particular, we show that the projections of the undirected and bidirected models onto the capacity variables are the same. We demonstrate that valid inequalities previously given for the undirected and bidirected models can be derived as a consequence of the relationship between these models and the directed model.


title: Electron paramagnetic resonance spectroscopy using a single artificial atom

abstract: Electron paramagnetic resonance (EPR) spectroscopy is an important technology in physics, chemistry, materials science, and biology. Sensitive detection with a small sample volume is a key objective in these areas, because it is crucial, for example, for the readout of a highly packed spin based quantum memory or the detection of unlabeled metalloproteins in a single cell. In conventional EPR spectrometers, the energy transfer from the spins to the cavity at a Purcell enhanced rate plays an essential role and requires the spins to be resonant with the cavity, however the size of the cavity (limited by the wavelength) makes it difficult to improve the spatial resolution. Here, we demonstrate a novel EPR spectrometer using a single artificial atom as a sensitive detector of spin magnetization. The artificial atom, a superconducting flux qubit, provides advantages both in terms of its quantum properties and its much stronger coupling with magnetic fields. We have achieved a sensitivity of $\sim$400 spins/$\sqrt{\mathrm{Hz}}$ with a magnetic sensing volume around $10^{-14} \lambda^3$ (50 femto-liters). This corresponds to an improvement of two-order of magnitude in the magnetic sensing volume compared with the best cavity based spectrometers while maintaining a similar sensitivity as those spectrometers . Our artificial atom is suitable for scaling down and thus paves the way for measuring single spins on the nanometer scale.


title: On DS functor for affine Lie superalgebras

abstract: We study Duflo-Serganova functor for non-twisted affine Lie superalgebras and affine vertex superalgebras.


title: Diverse Magnetic Quantization in Bilayer Silicene

abstract: The generalized tight-binding model is developed to investigate the rich and unique electronic properties of AB-bt (bottom-top) bilayer silicene under uniform perpendicular electric and magnetic fields. The first pair of conduction and valence bands, with an observable energy gap, displays unusual energy dispersions. Each group of conduction/valence Landau levels (LLs) is further classified into four subgroups, that is, there exist the sublattice- and spin-dominated LL subgroups. The magnetic-field-dependent LL energy spectra exhibit irregular behavior corresponding to the critical points of the band structure. Moreover, the electric field can induce many LL anti-crossings. The main features of the LLs are uncovered with many van Hove singularities in the density-of-states and non-uniform delta-function-like peaks in the magneto-absorption spectra. The feature-rich magnetic quantization directly reflects the geometric symmetries, intra-layer and inter-layer atomic interactions, spin-orbital couplings, and the field effects. The results of this work can be applied to novel designs of $Si$-based nano-electronics and nano-devices with enhanced mobilities.


title: Recurrent Segmentation for Variable Computational Budgets

abstract: State-of-the-art systems for semantic image segmentation use feed-forward pipelines with fixed computational costs. Building an image segmentation system that works across a range of computational budgets is challenging and time-intensive as new architectures must be designed and trained for every computational setting. To address this problem we develop a recurrent neural network that successively improves prediction quality with each iteration. Importantly, the RNN may be deployed across a range of computational budgets by merely running the model for a variable number of iterations. We find that this architecture is uniquely suited for efficiently segmenting videos. By exploiting the segmentation of past frames, the RNN can perform video segmentation at similar quality but reduced computational cost compared to state-of-the-art image segmentation methods. When applied to static images in the PASCAL VOC 2012 and Cityscapes segmentation datasets, the RNN traces out a speed-accuracy curve that saturates near the performance of state-of-the-art segmentation methods.


title: Restricting Greed in Training of Generative Adversarial Network

abstract: Generative adversarial network (GAN) has gotten wide re-search interest in the field of deep learning. Variations of GAN have achieved competitive results on specific tasks. However, the stability of training and diversity of generated instances are still worth studying further. Training of GAN can be thought of as a greedy procedure, in which the generative net tries to make the locally optimal choice (minimizing loss function of discriminator) in each iteration. Unfortunately, this often makes generated data resemble only a few modes of real data and rotate between modes. To alleviate these problems, we propose a novel training strategy to restrict greed in training of GAN. With help of our method, the generated samples can cover more instance modes with more stable training process. Evaluating our method on several representative datasets, we demonstrate superiority of improved training strategy on typical GAN models with different distance metrics.


title: Source Localisation Using Binary Measurements

abstract: This paper considers the problem of localising a stationary signal source using a team of mobile agents which only take binary measurements. Background false detection rates and missed detection probabilities are incorporated into the framework. A Bayesian estimation algorithm that discretises the search environment is employed, and analytical convergence and consistency results for this are derived. Fisher Information is then used as a metric for the design of optimal agent geometries. Knowledge of the probability of detection as a function of the source and agent locations is assumed in the analysis, with special attention given to range-dependent functions. The behaviour of the algorithm under inexact knowledge of the probability of detection is also analysed. Finally, simulation results are presented to demonstrate the effectiveness of the algorithm.


title: A Framework for Semantic In-network Caching and Prefetching in 5G Mobile Networks

abstract: Recent popularity of mobile devices increased the demand for mobile network services and applications that require minimal delay. 5G mobile networks are expected to provide much lesser delay than the present mobile networks. One of the conventional ways for decreasing latency is caching content closer to end users. However, currently deployed methods are not effective enough. In this paper, we propose a new astute in-network caching framework that is able to smartly predict subsequent user requests and prefetch necessary contents to remarkably decrease the end-to-end latency in 5G mobile networks. We employ semantic inference by edge computing, deduce what the end-user may request in the sequel and prefetch the content. We validate the proposed technique by emulations, compare it with the state of the art and present impressive gains.


title: Adapting Local Sequential Algorithms to the Distributed Setting

abstract: It is a well known fact that sequential algorithms which exhibit a strong "local" nature can be adapted to the distributed setting given a legal graph coloring. The running time of the distributed algorithm will then be at least the number of colors. Surprisingly, this well known idea was never formally stated as a unified framework. In this paper we aim to define a robust family of local sequential algorithms which can be easily adapted to the distributed setting. We then develop new tools to further enhance these algorithms, achieving state of the art results for fundamental problems. We define a simple class of greedy-like algorithms which we call \emph{orderless-local} algorithms. We show that given a legal $c$-coloring of the graph, every algorithm in this family can be converted into a distributed algorithm running in $O(c)$ communication rounds in the CONGEST model. We show that this family is indeed robust as both the method of conditional expectations and the unconstrained submodular maximization algorithm of Buchbinder \etal \cite{BuchbinderFNS15} can be expressed as orderless-local algorithms for \emph{local utility functions} --- Utility functions which have a strong local nature to them. We use the above algorithms as a base for new distributed approximation algorithms for the weighted variants of some fundamental problems: Max $k$-Cut, Max-DiCut, Max 2-SAT and correlation clustering. We develop algorithms which have the same approximation guarantees as their sequential counterparts, up to a constant additive $\epsilon$ factor, while achieving an $O(\log^* n)$ running time for deterministic algorithms and $O(\epsilon^{-1})$ running time for randomized ones. This improves exponentially upon the currently best known algorithms.


title: More on the restricted almost unbiased Liu-estimator in Logistic regression

abstract: To address the problem of multicollinearity in the logistic regression model, in this paper we propose a new estimator called Stochastic restricted almost unbiased logistic Liu-estimator (SRAULLE) when the prior information is available in the form of stochastic linear restrictions. A Monte Carlo simulation study was carried out to compare the performance of the proposed estimator with some existing estimators in the scalar mean squared error (SMSE) sense. Finally, a real data example was given to appraise the performance of the estimators.


title: Deformation estimation of an elastic object by partial observation using a neural network

abstract: Deformation estimation of elastic object assuming an internal organ is important for the computer navigation of surgery. The aim of this study is to estimate the deformation of an entire three-dimensional elastic object using displacement information of very few observation points. A learning approach with a neural network was introduced to estimate the entire deformation of an object. We applied our method to two elastic objects; a rectangular parallelepiped model, and a human liver model reconstructed from computed tomography data. The average estimation error for the human liver model was 0.041 mm when the object was deformed up to 66.4 mm, from only around 3 % observations. These results indicate that the deformation of an entire elastic object can be estimated with an acceptable level of error from limited observations by applying a trained neural network to a new deformation.


title: Steady bipartite coherence induced by non-equilibrium environment

abstract: We study the steady state of two coupled two-level atoms interacting with a non-equilibrium environment that consists of two heat baths at different temperatures. Specifically, we analyze four cases with respect to the configuration about the interactions between atoms and heat baths. Using secular approximation, the conventional master equation usually neglects steady-state coherence, even when the system is coupled with a non-equilibrium environment. When employing the master equation with no secular approximation, we find that the system coherence in our model, denoted by the off-diagonal terms in the reduced density matrix spanned by the eigenvectors of the system Hamiltonian, would survive after a long-time decoherence evolution. The absolute value of residual coherence in the system relies on different configurations of interaction channels between the system and the heat baths. We find that a large steady quantum coherence term can be achieved when the two atoms are resonant. The absolute value of quantum coherence decreases in the presence of additional atom-bath interaction channels. Our work sheds new light on the mechanism of steady-state coherence in microscopic quantum systems in non-equilibrium environments.


title: Aerial Drop of Robots and Sensors for Optimal Area Coverage

abstract: The problem of rapid optimal coverage through the distribution a team of robots or static sensors via means of aerial drop is the topic of this work. Considering a nonholonomic (fixed-wing) aerial robot that corresponds to the carrier of a set of small holonomic (rotorcraft) aerial robots as well as static modules that are all equipped with a camera sensor, we address the problem of selecting optimal aerial drop times and configurations while the motion capabilities of the small aerial robots are also exploited to further survey their area of responsibility until they hit the ground. The overall solution framework consists of lightweight path-planning algorithms that can run on virtually any processing unit that might be available on-board. Evaluation studies in simulation as well as a set of elementary experiments that prove the validity of important assumptions illustrate the potential of the approach.


title: Snorkel: Rapid Training Data Creation with Weak Supervision

abstract: Labeling training data is increasingly the largest bottleneck in deploying machine learning systems. We present Snorkel, a first-of-its-kind system that enables users to train state-of-the-art models without hand labeling any training data. Instead, users write labeling functions that express arbitrary heuristics, which can have unknown accuracies and correlations. Snorkel denoises their outputs without access to ground truth by incorporating the first end-to-end implementation of our recently proposed machine learning paradigm, data programming. We present a flexible interface layer for writing labeling functions based on our experience over the past year collaborating with companies, agencies, and research labs. In a user study, subject matter experts build models 2.8x faster and increase predictive performance an average 45.5% versus seven hours of hand labeling. We study the modeling tradeoffs in this new setting and propose an optimizer for automating tradeoff decisions that gives up to 1.8x speedup per pipeline execution. In two collaborations, with the U.S. Department of Veterans Affairs and the U.S. Food and Drug Administration, and on four open-source text and image data sets representative of other deployments, Snorkel provides 132% average improvements to predictive performance over prior heuristic approaches and comes within an average 3.60% of the predictive performance of large hand-curated training sets.


title: Subdifferential representation of convex functions on $X^*$

abstract: In this paper, we obtain subdifferential representation of a proper $w^*$-lower semicontinous convex function on $X^*$ as follows: Let $g$ be a proper convex $w^*$-lower semicontinuous function on $X^*$. Assume that int dom $g$ $\neq\emptyset$ (resp. int (dom ($g^*|_X)$)$\neq\emptyset$). Then given any point $x_0^*$ $\in$ D ($\partial g\cap X$) and $x^*$ $\in$ dom $g$ (resp. $x^*\in X^*$), we have $$g(x^*)=g(x_0^*)+\sup\{\sum_{i=0}^{n-1}\langle x_i,x_{i+1}^*-x_i^*\rangle +\langle x_n,x^*-x_n^*\rangle \},$$ where the above supremum is taken over all integers $n$, all $x_i^*\in X^*$ and all $x_i\in\partial g(x_i^*)\cap X$ for $i=0,1,\cdots,n$. (resp. if, moreover, $X^*$ has the Radon-Nikodym property, then we may estimate the above supremum among the set of $w^*$-strongly exposed points of $g$.)


title: Topological Recurrent Neural Network for Diffusion Prediction

abstract: In this paper, we study the problem of using representation learning to assist information diffusion prediction on graphs. In particular, we aim at estimating the probability of an inactive node to be activated next in a cascade. Despite the success of recent deep learning methods for diffusion, we find that they often underexplore the cascade structure. We consider a cascade as not merely a sequence of nodes ordered by their activation time stamps; instead, it has a richer structure indicating the diffusion process over the data graph. As a result, we introduce a new data model, namely diffusion topologies, to fully describe the cascade structure. We find it challenging to model diffusion topologies, which are dynamic directed acyclic graphs (DAGs), with the existing neural networks. Therefore, we propose a novel topological recurrent neural network, namely Topo-LSTM, for modeling dynamic DAGs. We customize Topo-LSTM for the diffusion prediction task, and show it improves the state-of-the-art baselines, by 20.1%--56.6% (MAP) relatively, across multiple real-world data sets. Our code and data sets are available online at https://github.com/vwz/topolstm.


title: Hybrid Oracle: Making Use of Ambiguity in Transition-based Chinese Dependency Parsing

abstract: In the training of transition-based dependency parsers, an oracle is used to predict a transition sequence for a sentence and its gold tree. However, the transition system may exhibit ambiguity, that is, there can be multiple correct transition sequences that form the gold tree. We propose to make use of the property in the training of neural dependency parsers, and present the Hybrid Oracle. The new oracle gives all the correct transitions for a parsing state, which are used in the cross entropy loss function to provide better supervisory signal. It is also used to generate different transition sequences for a sentence to better explore the training data and improve the generalization ability of the parser. Evaluations show that the parsers trained using the hybrid oracle outperform the parsers using the traditional oracle in Chinese dependency parsing. We provide analysis from a linguistic view. The code is available at https://github.com/lancopku/nndep .


title: Analytic calculation of radio emission from parameterized extensive air showers, a tool to extract shower parameters

abstract: The radio intensity and polarization footprint of a cosmic-ray induced extensive air shower is determined by the time-dependent structure of the current distribution residing in the plasma cloud at the shower front. In turn, the time dependence of the integrated charge-current distribution in the plasma cloud, the longitudinal shower structure, is determined by interesting physics which one would like to extract such as the location and multiplicity of the primary cosmic-ray collision or the values of electric fields in the atmosphere during thunderstorms. To extract the structure of a shower from its footprint requires solving a complicated inverse problem. For this purpose we have developed a code that semi-analytically calculates the radio footprint of an extensive air shower given an arbitrary longitudinal structure. This code can be used in a optimization procedure to extract the optimal longitudinal shower structure given a radio footprint. On the basis of air-shower universality we propose a simple parametrization of the structure of the plasma cloud. This parametrization is based on the results of Monte-Carlo shower simulations. Deriving the parametrization also teaches which aspects of the plasma cloud are important for understanding the features seen in the radio-emission footprint. The calculated radio footprints are compared with microscopic CoREAS simulations.


title: Enhanced communication with the assistance of indefinite causal order

abstract: In quantum Shannon theory, the way information is encoded and decoded takes advantage of the laws of quantum mechanics, while the way communication channels are interlinked is assumed to be classical. In this Letter we relax the assumption that quantum channels are combined classically, showing that a quantum communication network where quantum channels are combined in a superposition of different orders can achieve tasks that are impossible in conventional quantum Shannon theory. In particular, we show that two identical copies of a completely depolarizing channel become able to transmit information when they are combined in a quantum superposition of two alternative orders. This finding runs counter to the intuition that if two communication channels are identical, using them in different orders should not make any difference. The failure of such intuition stems from the fact that a single noisy channel can be a random mixture of elementary, non-commuting processes, whose order (or lack thereof) can affect the ability to transmit information.


title: QCBA: Improving Rule Classifiers Learned from Quantitative Data by Recovering Information Lost by Discretisation

abstract: A prediscretisation of numerical attributes which is required by some rule learning algorithms is a source of inefficiencies. This paper describes new rule tuning steps that aim to recover lost information in the discretisation and new pruning techniques that may further reduce the size of rule models and improve their accuracy. The proposed QCBA method was initially developed to postprocess quantitative attributes in models generated by the Classification based on associations (CBA) algorithm, but it can also be applied to the results of other rule learning approaches. We demonstrate the effectiveness on the postprocessing of models generated by five association rule classification algorithms (CBA, CMAR, CPAR, IDS, SBRL) and two first-order logic rule learners (FOIL2 and PRM). Benchmarks on 22 datasets from the UCI repository show smaller size and the overall best predictive performance for FOIL2+QCBA compared to all seven baselines. Postoptimised CBA models have a better predictive performance compared to the state-of-the-art rule learner CORELS in this benchmark. The article contains an ablation study for the individual postprocessing steps and a scalability analysis on the KDD'99 Anomaly detection dataset.


title: On a conjecture about the absence of an initial balanced pair for Pisot substitutions

abstract: Sellami and Sirvent conjectured that the balanced pair algorithm fails for the following pair of Pisot substitutions: \[ \varphi_0: \begin{array}{l} a \mapsto abc b \mapsto a c \mapsto ac \end{array} \quad \text{ and } \quad \varphi_1: \begin{array}{l} a \mapsto cba b \mapsto a c \mapsto ca \end{array}. \] The conjecture stated the balanced pair algorithm fails because there is no initial balanced pair. In the present note we prove this conjecture using a method based on simultaneous coding of the pair of the fixed points of the morphisms.


title: Semi-supervised learning of hierarchical representations of molecules using neural message passing

abstract: With the rapid increase of compound databases available in medicinal and material science, there is a growing need for learning representations of molecules in a semi-supervised manner. In this paper, we propose an unsupervised hierarchical feature extraction algorithm for molecules (or more generally, graph-structured objects with fixed number of types of nodes and edges), which is applicable to both unsupervised and semi-supervised tasks. Our method extends recently proposed Paragraph Vector algorithm and incorporates neural message passing to obtain hierarchical representations of subgraphs. We applied our method to an unsupervised task and demonstrated that it outperforms existing proposed methods in several benchmark datasets. We also experimentally showed that semi-supervised tasks enhanced predictive performance compared with supervised ones with labeled molecules only.


title: Transport coefficients in a finite volume Polyakov--Nambu--Jona-Lasinio model

abstract: Finite size consideration of matter significantly affects transport coefficients like shear viscosity, bulk viscosity, electrical conductivity, which we have investigated here in the framework of the Polyakov-Nambu-Jona-Lasinio model. Owing to the basic quantum mechanics, a non-zero lower momentum cut-off is implemented in momentum integrations, used in the expressions of constituent quark masses and transport coefficients. When the system size decreases, the values of these trans- port coefficients are enhanced in low temperature range. At high temperature domain, shear viscos- ity and electrical conductivity become independent of system sizes. Whereas, bulk viscosity, which is associated with scale violating quantities of the system, faces some non-trivial size dependence in this regime. In the phenomenological direction, our microscopic estimations can also be linked with the macroscopic outcome, based on dissipative hydrodynamical simulation.


title: Operator means deformed by a fixed point method

abstract: By means of a fixed point method we discuss the deformation of operator means and multivariate means of positive definite matrices/operators. It is shown that the deformation of an operator mean becomes again an operator mean. The means deformed by the weighted power means are particularly examined.


title: Intelligent Notification Systems: A Survey of the State of the Art and Research Challenges

abstract: Notifications provide a unique mechanism for increasing the effectiveness of real-time information delivery systems. However, notifications that demand users' attention at inopportune moments are more likely to have adverse effects and might become a cause of potential disruption rather than proving beneficial to users. In order to address these challenges a variety of intelligent notification mechanisms based on monitoring and learning users' behavior have been proposed. The goal of such mechanisms is maximizing users' receptivity to the delivered information by automatically inferring the right time and the right context for sending a certain type of information. This article provides an overview of the current state of the art in the area of intelligent notification mechanisms that relies on the awareness of users' context and preferences. More specifically, we first present a survey of studies focusing on understanding and modeling users' interruptibility and receptivity to notifications from desktops and mobile devices. Then, we discuss the existing challenges and opportunities in developing mechanisms for intelligent notification systems in a variety of application scenarios.


title: Digital Encyclopedia of Scientific Results

abstract: This study describes a vision, how technology can help improving the efficiency in research. We propose a new clean-slate design, where more emphasis is given on the correctness and up-to-dateness of the scientific results, it is more open to new ideas and better utilize the research efforts worldwide by providing personalized interface for every researcher. The key idea is to reveal the structure and connections of the problems solved in the scientific studies. We will build the system with the main focus on the solved problems itself, and treat the studies only as one presentation form. By utilizing artificial intelligence and machine learning on the network of the solved problems we could coordinate individual research activities in a large scale, that has never been seen before.


title: Hierarchical Policy Search via Return-Weighted Density Estimation

abstract: Learning an optimal policy from a multi-modal reward function is a challenging problem in reinforcement learning (RL). Hierarchical RL (HRL) tackles this problem by learning a hierarchical policy, where multiple option policies are in charge of different strategies corresponding to modes of a reward function and a gating policy selects the best option for a given context. Although HRL has been demonstrated to be promising, current state-of-the-art methods cannot still perform well in complex real-world problems due to the difficulty of identifying modes of the reward function. In this paper, we propose a novel method called hierarchical policy search via return-weighted density estimation (HPSDE), which can efficiently identify the modes through density estimation with return-weighted importance sampling. Our proposed method finds option policies corresponding to the modes of the return function and automatically determines the number and the location of option policies, which significantly reduces the burden of hyper-parameters tuning. Through experiments, we demonstrate that the proposed HPSDE successfully learns option policies corresponding to modes of the return function and that it can be successfully applied to a challenging motion planning problem of a redundant robotic manipulator.


title: Characterization of generic projective space bundles and algebraicity of foliations

abstract: In this paper we consider various notions of positivity for distributions on complex projective manifolds. We start by analyzing distributions having big slope with respect to curve classes, obtaining characterizations of generic projective space bundles in terms of movable curve classes. We then apply this result to investigate algebraicity of leaves of foliations, providing a lower bound for the algebraic rank of a foliation in terms of invariants measuring positivity. We classify foliations attaining this bound, and describe those whose algebraic rank slightly exceeds this bound.


title: PhasePack: A Phase Retrieval Library

abstract: Phase retrieval deals with the estimation of complex-valued signals solely from the magnitudes of linear measurements. While there has been a recent explosion in the development of phase retrieval algorithms, the lack of a common interface has made it difficult to compare new methods against the state-of-the-art. The purpose of PhasePack is to create a common software interface for a wide range of phase retrieval algorithms and to provide a common testbed using both synthetic data and empirical imaging datasets. PhasePack is able to benchmark a large number of recent phase retrieval methods against one another to generate comparisons using a range of different performance metrics. The software package handles single method testing as well as multiple method comparisons. The algorithm implementations in PhasePack differ slightly from their original descriptions in the literature in order to achieve faster speed and improved robustness. In particular, PhasePack uses adaptive stepsizes, line-search methods, and fast eigensolvers to speed up and automate convergence.


title: Computing majority with low-fan-in majority queries

abstract: In this paper we examine the problem of computing majority function $\mathrm{MAJ}_n$ on $n$ bits by depth-two formula, where each gate is a majority function on at most $k$ inputs. We present such formula that gives the first nontrivial upper bound for this problem, with $k = \frac{2}{3} n + 4$. This answers an open question in [Kulikov, Podolskii, 2017]. We also look at this problem in adaptive setting - when we are allowed to query for value of $\mathrm{MAJ}_k$ on any subset, and wish to minimize the number of such queries. We give a simple lower bound for this setting with $\lceil n/k \rceil$ queries, and we present two algorithms for this model: the first one makes $\approx 2\frac{n}{k} \log k$ queries in the case when we are limited to the standard majority functions, and the second one makes $\frac{n}{k} \log k$ queries when we are allowed to change the threshold of majority function.


title: Gradual Tuning: a better way of Fine Tuning the parameters of a Deep Neural Network

abstract: In this paper we present an alternative strategy for fine-tuning the parameters of a network. We named the technique Gradual Tuning. Once trained on a first task, the network is fine-tuned on a second task by modifying a progressively larger set of the network's parameters. We test Gradual Tuning on different transfer learning tasks, using networks of different sizes trained with different regularization techniques. The result shows that compared to the usual fine tuning, our approach significantly reduces catastrophic forgetting of the initial task, while still retaining comparable if not better performance on the new task.


title: Restricted lonesum matrices

abstract: Lonesum matrices are matrices that are uniquely reconstructible from their row and column sum vectors. These matrices are enumerated by the poly-Bernoulli numbers that are related to the multiple zeta values and have a rich literature in number theory. Combinatorially, lonesum matrices are in bijection with many other combinatorial objects: several permutation classes, other matrix classes, acyclic orientations in graphs etc. Motivated of these facts, we study in this paper lonesum matrices with restriction on the number of columns and rows of the same type.


title: Time Operators and Time Crystals

abstract: We investigate time operators in the context of quantum time crystals in ring systems. A generalized commutation relation called the generalized weak Weyl relation is used to derive a class of self-adjoint time operators for ring systems with a periodic time evolution: The conventional Aharonov-Bohm time operator is obtained by taking the infinite-radius limit. Then, we discuss the connection between time operators, time crystals and real-space topology. We also reveal the relationship between our time operators and a $\mathcal{PT}$-symmetric time operator. These time operators are then used to derive several energy-time uncertainty relations.


title: A comparative study on polynomial dealiasing and split form discontinuous Galerkin schemes for under-resolved turbulence computations

abstract: This work focuses on the accuracy and stability of high-order nodal discontinuous Galerkin (DG) methods for under-resolved turbulence computations. In particular we consider the inviscid Taylor-Green vortex (TGV) flow to analyse the implicit large eddy simulation (iLES) capabilities of DG methods at very high Reynolds numbers. The governing equations are discretised in two ways in order to suppress aliasing errors introduced into the discrete variational forms due to the under-integration of non-linear terms. The first, more straightforward way relies on consistent/over-integration, where quadrature accuracy is improved by using a larger number of integration points, consistent with the degree of the non-linearities. The second strategy, originally applied in the high-order finite difference community, relies on a split (or skew-symmetric) form of the governing equations. Different split forms are available depending on how the variables in the non-linear terms are grouped. The desired split form is then built by averaging conservative and non-conservative forms of the governing equations, although conservativity of the DG scheme is fully preserved. A preliminary analysis based on Burgers' turbulence in one spatial dimension is conducted and shows the potential of split forms in keeping the energy of higher-order polynomial modes close to the expected levels. This indicates that the favourable dealiasing properties observed from split-form approaches in more classical schemes seem to hold for DG. The remainder of the study considers a comprehensive set of (under-resolved) computations of the inviscid TGV flow and compares the accuracy and robustness of consistent/over-integration and split form discretisations based on the local Lax-Friedrichs and Roe-type Riemann solvers...


title: Two-dimensional non commutative Swanson model and its bicoherent states

abstract: We introduce an extended version of the Swanson model, defined on a two-dimensional non commutative space, which can be diagonalized exactly by making use of pseudo-bosonic operators. Its eigenvalues are explicitly computed and the biorthogonal sets of eigenstates of the Hamiltonian and of its adjoint are explicitly constructed. We also show that it is possible to construct two displacement-like operators from which a family of bi-coherent states can be obtained. These states are shown to be eigenstates of the deformed lowering operators, and their projector allows to produce a suitable resolution of the identity in a dense subspace of $\Lc^2(\Bbb R^2)$.


title: A Novel Approach for Security Situational Awareness in the Internet of Things

abstract: Internet of Things (IoT) is characterized by various of heterogeneous devices and facing numerous threats. Modeling security of IoT is still a certain challenge. This paper defines a Stochastic Colored Petri Net (SCPN) for IoT-based smart environment and then proposes a Markov Game model for security situational awareness (SSA) in the defined SCPN. All possible attack paths are computed by the SCPN, and antagonistic behavior of both attackers and defenders are taken into consideration dynamically according to Game Theory. Two attack scenarios in smart home environment are taken into consideration to demonstrate the effectiveness of the proposed model. The proposed model can form a macroscopic trend curve of security situation. Analysis of the results shows the capabilities of the proposed model in finding vulnerable devices and potential attack paths, and even mitigating the impact of attacks. To our knowledge, this is the first attempt to establish a dynamic SSA model for a complex IoT-based smart environment.


title: Chip-integrated plasmonic cavity-enhanced single nitrogen-vacancy center emission

abstract: High temporal stability and spin dynamics of individual nitrogen-vacancy (NV) centers in diamond crystals make them one of the most promising quantum emitters operating at room temperature. We demonstrate a chip-integrated cavity-coupled emission into propagating surface plasmon polariton (SPP) modes narrowing NV center's broad emission bandwidth with enhanced coupling efficiency. The cavity resonator consists of two distributed Bragg mirrors that are built at opposite sides of the coupled NV emitter and are integrated with a dielectric-loaded SPP waveguide (DLSPPW), using electron-beam lithography of hydrogen silsesquioxane resist deposited on silver-coated silicon substrates. A quality factor of ~ 70 for the cavity (full width at half maximum ~ 10 nm) with full tunability of the resonance wavelength is demonstrated. An up to 42-fold decay rate enhancement of the spontaneous emission at the cavity resonance is achieved, indicating high DLSPPW mode confinement.


title: The effect of hydroxyl on dye-sensitized solar cells assembled with TiO2 nanorods

abstract: TiO2 nanorods have been prepared on ITO substrates by dc reactive magnetron sputtering technique. The hydroxyl groups have been introduced on the nanorods surface. The structure and the optical properties of these nanorods have been studied. The dye-sensitized solar cells (DSSCs) have been assembled using these TiO2 nanorods as photoelectrode. And the effect of the hydroxyl groups on the properties of the photoelectric conversion of the DSSCs has been studied.


title: Hyper-dimensional computing for a visual question-answering system that is trainable end-to-end

abstract: In this work we propose a system for visual question answering. Our architecture is composed of two parts, the first part creates the logical knowledge base given the image. The second part evaluates questions against the knowledge base. Differently from previous work, the knowledge base is represented using hyper-dimensional computing. This choice has the advantage that all the operations in the system, namely creating the knowledge base and evaluating the questions against it, are differentiable, thereby making the system easily trainable in an end-to-end fashion.


title: Calculations involving the multivariate normal and multivariate t distributions with and without truncation

abstract: This paper presents a set of Stata commands and Mata functions to evaluate different distributional quantities of the multivariate normal distribution, and a particular type of non-central multivariate t distribution. Specifically, their densities, distribution functions, equicoordinate quantiles, and pseudo-random vectors can be computed efficiently, either in the absence or presence of variable truncation.


title: The High Frequency Radio Emission of the Galactic Center Magnetar SGR J1745-29 During a Transitional Period

abstract: The origin of the high-frequency radio emission detected from several magnetars is poorly understood. In this paper, we report the ~40 GHz properties of SGR J1745-29 as measured using Jansky Very Large Array (JVLA) and Robert C. Byrd Green Bank Telescope (GBT) observations between 2013 October 26 and 2014 May 31. Our analysis of a Q-band (45 GHz) GBT observation on 2014 April 10 resulted in the earliest detection of pulsed radio emission at high frequencies (>20 GHz); we found that the average pulse has a singly peaked profile with width ~75 ms (~2% of the 3.764 s pulse period) and an average pulsed flux density of ~100 mJy. We also detected very bright, short (<10 ms) single pulses during ~70% of this neutron star's rotations, and the peak flux densities of these bright pulses follow the same log-normal distribution as measured at 8.5 GHz. Additionally, our analysis of contemporaneous JVLA observations suggest that its 41/44 GHz flux density varied between ~1-4 mJy during this period, with a ~2x change observed on ~20 minute timescales during a JVLA observation on 2014 May 10. Such a drastic change over short time-scales is inconsistent with the radio emission resulting from a shock powered by the magnetar's supersonic motion through the surrounding medium, and instead is dominated by pulsed emission generated in its magnetosphere.


title: Abaqus2Matlab: A suitable tool for finite element post-processing

abstract: A suitable piece of software is presented to connect Abaqus, a sophisticated finite element package, with Matlab, the most comprehensive program for mathematical analysis. This interface between these well-known codes not only benefits from the image processing and the integrated graph-plotting features of Matlab but also opens up new opportunities in results post-processing, statistical analysis and mathematical optimization, among many other possibilities. The software architecture and usage are appropriately described and two problems of particular engineering significance are addressed to demonstrate its capabilities. Firstly, the software is employed to assess cleavage fracture through a novel 3-parameter Weibull probabilistic framework. Then, its potential to create and train neural networks is used to identify damage parameters through a hybrid experimental-numerical scheme, and model crack propagation in structural materials by means of a cohesive zone approach. The source code, detailed documentation and a large number of tutorials can be freely downloaded from www.abaqus2matlab.com.


title: Structures in the nuclear electric-dipole spectrum

abstract: I undertake an anatomy of the nuclear electric-dipole spectrum and discuss selected observations. First, using data and calculations on 208Pb as a representative case, I identify five conspicuous structures in the spectra of heavy nuclei: (1) the giant dipole resonance (GDR), (2) the dipole compression mode, (3) the isoscalar low-energy dipole mode (IS-LED),(4) the isoscalar mode in the region of the GDR, and (5) a concentration of "pygmy" dipole strength (PDS) between the latter two. Next, compiling the data from Texas A&M I show that the energy of (4) follows roughly a A^{-1/6} dependence on the mass number. Finally, I summarize recent theoretical studies on the PDS in exotic nuclei, which suggest a strong influence of shell effects and loose binding.


title: An Efficient Fog-Assisted Unstable Sensor Detection Scheme with Privacy Preserved

abstract: The Internet of Thing (IoT) has been a hot topic in both research community and industry. It is anticipated that in future IoT, an enormous number of sensors will collect the physical information every moment to enable the control center making better decisions to improve the quality of service (QoS). However, the sensors maybe faulty and thus generate inaccurate data which would compromise the decision making. To guarantee the QoS, the system should be able to detect faulty sensors so as to eliminate the damages of inaccurate data. Various faulty sensor detection mechanisms have been developed in the context of wireless sensor network (WSN). Some of them are only fit for WSN while the others would bring a communication burden to control center. To detect the faulty sensors for general IoT applications and save the communication resource at the same time, an efficient faulty sensor detection scheme is proposed in this paper. The proposed scheme takes advantage of fog computing to save the computation and communication resource of control center. To preserve the privacy of sensor data, the Paillier Cryptosystem is adopted in the fog computing. The batch verification technique is applied to achieve efficient authentication. The performance analyses are presented to demonstrate that the proposed detection scheme is able to conserve the communication resource of control center and achieve a high true positive ratio while maintaining an acceptable false positive ratio. The scheme could also withstand various security attacks and preserve data privacy.


title: Atomic layer doping of Mn magnetic impurities from surface chains at a Ge/Si hetero-interface

abstract: We realize Mn $\delta$-doping into Si and Si/Ge interfaces using Mn atomic chains on Si(001). Highly sensitive X-ray absorption fine structure techniques reveal that encapsulation at room temperature prevents the formation of silicides / germanides whilst maintaining one dimensional anisotropic structures. This is revealed by studying both the incident X-ray polarization dependence and post-annealing effects. Density functional theory calculations suggest that Mn atoms are located at substitutional sites, and show good agreement with experiment. A comprehensive magnetotransport study reveals magnetic ordering within the Mn $\delta$-doped layer, which is present at around 120\,K. We demonstrate that doping methods based on the burial of surface nanostructures allows for the realization of systems for which conventional doping methods fail.


title: Using LSTM Encoder-Decoder Algorithm for Detecting Anomalous ADS-B Messages

abstract: Although the ADS-B system is going to play a major role in the safe navigation of airplanes and air traffic control (ATC) management, it is also well known for its lack of security mechanisms. Previous research has proposed various methods for improving the security of the ADS-B system and mitigating associated risks. However, these solutions typically require the use of additional participating nodes (or sensors) (e.g., to verify the location of the airplane by analyzing the physical signal) or modification of the current protocol architecture (e.g., adding encryption or authentication mechanisms.) Due to the regulation process regarding avionic systems and the fact that the ADS-B system is already deployed in most airplanes, applying such modifications to the current protocol at this stage is impractical. In this paper we propose an alternative security solution for detecting anomalous ADS-B messages aimed at the detection of spoofed or manipulated ADS- B messages sent by an attacker or compromised airplane. The proposed approach utilizes an LSTM encoder-decoder algorithm for modeling flight routes by analyzing sequences of legitimate ADS-B messages. Using these models, aircraft can autonomously evaluate received ADS-B messages and identify deviations from the legitimate flight path (i.e., anomalies). We examined our approach on six different flight route datasets to which we injected different types of anomalies. Using our approach we were able to detect all of the injected attacks with an average false alarm rate of 4.3% for all of datasets.


title: Does $X(3872)$ count?

abstract: The question on whether or not weakly bound states should be effectively incorporated in a hadronic representation of the QCD partition function is addressed by analyzing the example of the $X(3872)$, a resonance close to the $D\bar D^*$ threshold which has been suggested as an example of a loosely bound molecule. This can be decided by studying the $D \bar D^*$ scattering phase-shifts in the $J^{PC}=1^{++}$ channel and their contribution to the level density in the continuum, which also gives information on its abundance in a hot medium. In this work, it is shown that, in a purely molecular picture, the bound state contribution cancels the continuum, resulting in a null occupation number density at finite temperature, which implies the $X(3872)$ does not count below the Quark-Gluon Plasma crossover ($T \sim 150$MeV). However, if a non-zero $c \bar c$ component is present in the $X(3872)$ wave function such cancellation does not occur for temperatures above $T\gtrsim 250$MeV.


title: The universal Hall bialgebra of a double 2-Segal space

abstract: Hall algebras and related constructions have had diverse applications in mathematics and physics, ranging from representation theory and quantum groups to Donaldson-Thomas theory and the algebra of BPS states. The theory of $2$-Segal spaces was introduced independently by Dyckerhoff-Kapranov and G\'alvez-Carrillo-Kock-Tonks as a unifying framework for Hall algebras: every $2$-Space defines an algebra in the $\infty$-category of spans, and different Hall algebras correspond to different linearisations of this universal Hall algebra. A recurring theme is that Hall algebras can often be equipped with a coproduct which makes them a bialgebra, possibly up to a `twist'. In this paper will explain the appearance of these bialgebraic structures using the theory of $2$-Segal spaces: We construct the universal Hall bialgebra of a double $2$-Segal space, which is a lax bialgebra in the $(\infty,2)$-category of bispans. Moreover, we show how examples of double $2$-Segal spaces arise from Waldhausen's $S$-construction.


title: B-branes and supersymmetric quivers in 2d

abstract: We study 2d $\mathcal{N}=(0,2)$ supersymmetric quiver gauge theories that describe the low-energy dynamics of D1-branes at Calabi-Yau fourfold (CY$_4$) singularities. On general grounds, the holomorphic sector of these theories---matter content and (classical) superpotential interactions---should be fully captured by the topological $B$-model on the CY$_4$. By studying a number of examples, we confirm this expectation and flesh out the dictionary between B-brane category and supersymmetric quiver: the matter content of the supersymmetric quiver is encoded in morphisms between B-branes (that is, Ext groups of coherent sheaves), while the superpotential interactions are encoded in the $A_\infty$ algebra satisfied by the morphisms. This provides us with a derivation of the supersymmetric quiver directly from the CY$_4$ geometry. We also suggest a relation between triality of $\mathcal{N}=(0,2)$ gauge theories and certain mutations of exceptional collections of sheaves. 0d $\mathcal{N}=1$ supersymmetric quivers, corresponding to D-instantons probing CY$_5$ singularities, can be discussed similarly.


title: The Almost Sure Semicircle Law for Random Band Matrices with Dependent Entries

abstract: We analyze the empirical spectral distribution of random periodic band matrices with correlated entries. The correlation structure we study was first introduced in 2015 by Hochst\"attler, Kirsch and Warzel, who named their setup "almost uncorrelated" and showed convergence to the semicircle distribution in probability. We strengthen their results which turn out to be also valid almost surely. Moreover, we extend them to band matrices. Sufficient conditions for convergence to the semicircle distribution both in probability and almost surely are provided. In contrast to convergence in probability, almost sure convergence seems to require a minimal growth rate for the bandwidth. Examples that fit our general setup include Curie-Weiss distributed, correlated Gaussian, and as a special case, independent entries.


title: A semi-discrete Boltzmann equation based on a finite volume scheme

abstract: In this work we consider the classical non-linear Boltzmann equation, where the unknown is the distribution function $f$, which depends on the time $t$, the vector $\mathbf{x}$ (the position of a molecule) and its velocity $\mathbf{\xi}$. From the Boltzmann equation we derive a semi-discrete model, which consists in a set of partial differential equations in time and space. The new unknowns are two moments of the distribution function $f$ and, according to a finite volume scheme, integrals of $f$ with respect to the velocity $\mathbf{\xi}$, over bounded and open sets. We do not introduce any approximation for the partial derivatives with respect to $\mathbf{x}$ and the time $t$. We also propose the use of truncated octahedra as bounded domains of integration. This reduces both the computing complexity and the number of the constant numerical coefficients arising from the collision operator. All the numerical parameters can be obtained by means of numerical quadrature.


title: Chemical modeling for predicting the abundances of certain aldimines and amines in hot cores

abstract: We consider six isomeric groups (CH3N, CH5N, C2H5N, C2H7N, C3H7N and C3H9N) to review the presence of amines and aldimines within the interstellar medium (ISM). Each of these groups contains at least one aldimine or amine. Methanimine (CH2NH) from CH3N and methylamine (CH3NH2) from CH5N isomeric group were detected a few decades ago. Recently, the presence of ethanimine (CH3CHNH) from C2H5N isomeric group has been discovered in the ISM. This prompted us to investigate the possibility of detecting any aldimine or amine from the very next three isomeric groups in this sequence: C2H7N, C3H7N and C3H9N. We employ high-level quantum chemical calculations to estimate accurate energies of all the species. According to enthalpies of formation, optimized energies, and expected intensity ratio, we found that ethylamine (precursor of glycine) from C2H7N isomeric group, (1Z)-1-propanimine from C3H7N isomeric group, and trimethylamine from C3H9N isomeric group are the most viable candidates for the future astronomical detection. Based on our quantum chemical calculations and from other approximations (from prevailing similar types of reactions), a complete set of reaction pathways to the synthesis of ethylamine and (1Z)-1-propanimine is prepared. Moreover, a large gas-grain chemical model is employed to study the presence of these species in the ISM. Our modeling results suggest that ethylamine and (1Z)-1-propanimine could efficiently be formed in hot-core regions and could be observed with present astronomical facilities. Radiative transfer modeling is also implemented to additionally aid their discovery in interstellar space.


title: A two-stage Fisher exact test for multi-arm studies with binary outcome variables

abstract: In small sample studies with binary outcome data, use of a normal approximation for hypothesis testing can lead to substantial inflation of the type-I error-rate. Consequently, exact statistical methods are necessitated, and accordingly, much research has been conducted to facilitate this. Recently, this has included methodology for the design of two-stage multi-arm studies utilising exact binomial tests. These designs were demonstrated to carry substantial efficiency advantages over a fixed sample design, but generally suffered from strong conservatism. An alternative classical means of small sample inference with dichotomous data is Fisher's exact test. However, this method is limited to single-stage designs when there are multiple arms. Therefore, here, we propose a two-stage version of Fisher's exact test, with the potential to stop early to accept or reject null hypotheses, which is applicable to multi-arm studies. In particular, we provide precise formulae describing the requirements for achieving weak or strong control of the familywise error-rate with this design. Following this, we describe how the design parameters may be optimised to confer desirable operating characteristics. For a motivating example based on a phase II clinical trial, we demonstrate that on average our approach is less conservative than corresponding optimal designs based on exact binomial tests.


title: N-body problem with contact interactions

abstract: We introduce \emph{contact interactions hamiltonians} (self-adjointoperators defined by boundary conditions) between $N$ massive particles in $R^3$, $N \geq 3$. We prove that they are limits (in strong resolvent sense) when $ \epsilon \to 0$ of interaction through a two-body potential which scales according to $ V_\epsilon (|x|) =\epsilon ^{-3} V ( \frac {|x|}{ \epsilon} )$ where $ V(|x|) $ is an integrable function. The advantage of the formalism of contact interactions is that the results do not depend on the shape of the approximating potentials. Depending on the masses and symmetries there may be three body bound states with wave function localized near the barycenter and less localized four-body bound states. For some range of masses there is an infinity of bound states with energies which accumulate geometrically to zero (Efimov effect). For contact interactions these are all the bound states which can be present in the $N$-body system. We study of zero range hamiltonians by first compactly embedding the physical space $ L^2(R^{3 (N-1)}) $ in a larger Hilbert space of more singular functions (Krein space) Estimates are done in the auxiliary space, where strong resolvent convergence when $ \epsilon \to 0$ and spectral properties are easily established. If the hamiltonian \emph{in Krein space} is positive, coming back to $L^2 (R^{3N})$ is done using the compactness of the Krein map and the fact that for positive forms weak convergence implies strong convergence. If it is not positive we use a somewhat more sophisticated operation, $ \Gamma-$convergence [Dal]. In both cases the limit operator is unique.


title: Communications in Choreographies, Revisited

abstract: Choreographic Programming is a paradigm for developing correct-by-construction concurrent programs, by writing high-level descriptions of the desired communications and then synthesising process implementations automatically. So far, choreographic programming has been explored in the monadic setting: interaction terms express point-to-point communications of a single value. However, real-world systems often rely on interactions of polyadic nature, where multiple values are communicated among two or more parties, like multicast, scatter-gather, and atomic exchanges. We introduce a new model for choreographic programming equipped with a primitive for grouped interactions that subsumes all the above scenarios. Intuitively, grouped interactions can be thought of as being carried out as one single interaction. In practice, they are implemented by processes that carry them out in a concurrent fashion. After formalising the intuitive semantics of grouped interactions, we prove that choreographic programs and their implementations are correct and deadlock-free by construction.


title: Empirical processes for recurrent and transient random walks in random scenery

abstract: In this paper, we are interested in the asymptotic behaviour of the sequence of processes $(W_n(s,t))_{s,t\in[0,1]}$ with \begin{equation*} W_n(s,t):=\sum_{k=1}^{\lfloor nt\rfloor}\big(1_{\{\xi_{S_k}\leq s\}}-s\big) \end{equation*} where $(\xi_x, x\in\mathbb{Z}^d)$ is a sequence of independent random variables uniformly distributed on $[0,1]$ and $(S_n)_{n\in\mathbb N}$ is a random walk evolving in $\mathbb{Z}^d$, independent of the $\xi$'s. In Wendler (2016), the case where $(S_n)_{n\in\mathbb N}$ is a recurrent random walk in $\mathbb{Z}$ such that $(n^{-\frac 1\alpha}S_n)_{n\geq 1}$ converges in distribution to a stable distribution of index $\alpha$, with $\alpha\in(1,2]$, has been investigated. Here, we consider the cases where $(S_n)_{n\in\mathbb N}$ is either: a) a transient random walk in $\mathbb{Z}^d$, b) a recurrent random walk in $\mathbb{Z}^d$ such that $(n^{-\frac 1d}S_n)_{n\geq 1}$ converges in distribution to a stable distribution of index $d\in\{1,2\}$.


title: Visualisation and 'diagnostic classifiers' reveal how recurrent and recursive neural networks process hierarchical structure

abstract: We investigate how neural networks can learn and process languages with hierarchical, compositional semantics. To this end, we define the artificial task of processing nested arithmetic expressions, and study whether different types of neural networks can learn to compute their meaning. We find that recursive neural networks can find a generalising solution to this problem, and we visualise this solution by breaking it up in three steps: project, sum and squash. As a next step, we investigate recurrent neural networks, and show that a gated recurrent unit, that processes its input incrementally, also performs very well on this task. To develop an understanding of what the recurrent network encodes, visualisation techniques alone do not suffice. Therefore, we develop an approach where we formulate and test multiple hypotheses on the information encoded and processed by the network. For each hypothesis, we derive predictions about features of the hidden state representations at each time step, and train 'diagnostic classifiers' to test those predictions. Our results indicate that the networks follow a strategy similar to our hypothesised 'cumulative strategy', which explains the high accuracy of the network on novel expressions, the generalisation to longer expressions than seen in training, and the mild deterioration with increasing length. This is turn shows that diagnostic classifiers can be a useful technique for opening up the black box of neural networks. We argue that diagnostic classification, unlike most visualisation techniques, does scale up from small networks in a toy domain, to larger and deeper recurrent networks dealing with real-life data, and may therefore contribute to a better understanding of the internal dynamics of current state-of-the-art models in natural language processing.


title: Block Neural Network Avoids Catastrophic Forgetting When Learning Multiple Task

abstract: In the present work we propose a Deep Feed Forward network architecture which can be trained according to a sequential learning paradigm, where tasks of increasing difficulty are learned sequentially, yet avoiding catastrophic forgetting. The proposed architecture can re-use the features learned on previous tasks in a new task when the old tasks and the new one are related. The architecture needs fewer computational resources (neurons and connections) and less data for learning the new task than a network trained from scratch


title: Superconductivity Emerging from Excitonic Mott insulator - Theory of Alkaline Doped Fullerene

abstract: A three-orbital model derived from the two-dimensional projection of the $ab$ $initio$ Hamiltonian for alkaline doped fullerene A$_3$C$_{60}$ with A=Cs,Rb,K is studied by a variational Monte Carlo method. We correctly reproduce the experimental isotropic s-wave superconductivity around the $ab$ $initio$ parameters. With narrowing the bandwidth, the transition to an insulator is also reproduced, where orbital symmetry is found to be spontaneously broken with emergence of an excitonic Mott insulator for two orbitals and an antiferromagnetic insulator nearly degenerate with a spin liquid for the third orbital. The superconductivity is a consequence of exciton melting.


title: Quantifying Quillen's Uniform $\mathcal{F}_p$-isomorphism Theorem

abstract: Let $G$ be a finite group with $2$-Sylow subgroup of order less than or equal to 16. For such a $G$, we prove a quantified version of Quillen's uniform $\mathcal{F}_p$-isomorphism theorem, which holds uniformly for all $G$-spaces. We do this by bounding from above the exponent of Borel equivariant $\mathbf{F}_2$-cohomology, as introduced by Mathew-Naumann-Noel, with respect to the family of elementary abelian 2-subgroups.


title: Learning to Rank based on Analogical Reasoning

abstract: Object ranking or "learning to rank" is an important problem in the realm of preference learning. On the basis of training data in the form of a set of rankings of objects represented as feature vectors, the goal is to learn a ranking function that predicts a linear order of any new set of objects. In this paper, we propose a new approach to object ranking based on principles of analogical reasoning. More specifically, our inference pattern is formalized in terms of so-called analogical proportions and can be summarized as follows: Given objects $A,B,C,D$, if object $A$ is known to be preferred to $B$, and $C$ relates to $D$ as $A$ relates to $B$, then $C$ is (supposedly) preferred to $D$. Our method applies this pattern as a main building block and combines it with ideas and techniques from instance-based learning and rank aggregation. Based on first experimental results for data sets from various domains (sports, education, tourism, etc.), we conclude that our approach is highly competitive. It appears to be specifically interesting in situations in which the objects are coming from different subdomains, and which hence require a kind of knowledge transfer.


title: On the inner products of some Deligne--Lusztig type representations

abstract: In this paper we introduce a family of Deligne--Lusztig type varieties attached to connected reductive groups over quotients of discrete valuation rings, naturally generalising the higher Deligne--Lusztig varieties and some constructions related to the algebraisation problem raised by Lusztig. We establish the inner product formula between the representations associated to these varieties and the higher Deligne--Lusztig representations.


title: Guaranteed Outlier Removal for Point Cloud Registration with Correspondences

abstract: An established approach for 3D point cloud registration is to estimate the registration function from 3D keypoint correspondences. Typically, a robust technique is required to conduct the estimation, since there are false correspondences or outliers. Current 3D keypoint techniques are much less accurate than their 2D counterparts, thus they tend to produce extremely high outlier rates. A large number of putative correspondences must thus be extracted to ensure that sufficient good correspondences are available. Both factors (high outlier rates, large data sizes) however cause existing robust techniques to require very high computational cost. In this paper, we present a novel preprocessing method called \emph{guaranteed outlier removal} for point cloud registration. Our method reduces the input to a smaller set, in a way that any rejected correspondence is guaranteed to not exist in the globally optimal solution. The reduction is performed using purely geometric operations which are deterministic and fast. Our method significantly reduces the population of outliers, such that further optimization can be performed quickly. Further, since only true outliers are removed, the globally optimal solution is preserved. On various synthetic and real data experiments, we demonstrate the effectiveness of our preprocessing method. Demo code is available as supplementary material.


title: Optimal Risk Allocation in Reinsurance Networks

abstract: In this paper we consider reinsurance or risk sharing from a macroeconomic point of view. Our aim is to find socially optimal reinsurance treaties. In our setting we assume that there are $n$ insurance companies each bearing a certain risk and one representative reinsurer. The optimization problem is to minimize the sum of all capital requirements of the insurers where we assume that all insurance companies use a form of Range-Value-at-Risk. We show that in case all insurers use Value-at-Risk and the reinsurer's premium principle satisfies monotonicity, then layer reinsurance treaties are socially optimal. For this result we do not need any dependence structure between the risks. In the general setting with Range-Value-at-Risk we obtain again the optimality of layer reinsurance treaties under further assumptions, in particular under the assumption that the individual risks are positively dependent through the stochastic ordering. At the end, we discuss the difference between socially optimal reinsurance treaties and individually optimal ones by looking at a number of special cases.


title: Nanoclustering phase competition induces the resistivity hump in colossal magnetoresistive manganites

abstract: Using a two-band double-exchange model with Jahn-Teller lattice distortions and super-exchange interactions, supplemented by quenched disorder, at electron density $n=0.65$, we explicitly demonstrate the coexistence of the $n$ = 1/2-type ($\pi, \pi$) charge-ordered and the ferromagnetic nanoclusters above the ferromagnetic transition temperature $T_{\rm c}$ in colossal magnetoresistive (CMR) manganites. The resistivity increases due to the enhancement of the volume fraction of the charge-ordered and the ferromagnetic nanoclusters with decreasing the temperature down to $T_{\rm c}$. The ferromagnetic nanoclusters start to grow and merge, and the volume fraction of the charge-ordered nanoclusters decreases below $T_{\rm c}$, leading to the sharp drop in the resistivity. By applying a small external magnetic field $h$, we show that the resistivity above $T_{\rm c}$ increases, as compared with the case when $h=0$, a fact which further confirms the coexistence of the charge-ordered and the ferromagnetic nanoclusters. In addition, we show that the volume fraction of the charge-ordered nanoclusters decreases with increasing the bandwidth and consequently the resistivity hump diminishes for large bandwidth manganites, in good qualitative agreement with experiments. The obtained insights from our calculations provide a complete pathway to understand the phase competition in CMR manganites.


title: Multi-stream 3D FCN with Multi-scale Deep Supervision for Multi-modality Isointense Infant Brain MR Image Segmentation

abstract: We present a method to address the challenging problem of segmentation of multi-modality isointense infant brain MR images into white matter (WM), gray matter (GM), and cerebrospinal fluid (CSF). Our method is based on context-guided, multi-stream fully convolutional networks (FCN), which after training, can directly map a whole volumetric data to its volume-wise labels. In order to alleviate the poten-tial gradient vanishing problem during training, we designed multi-scale deep supervision. Furthermore, context infor-mation was used to further improve the performance of our method. Validated on the test data of the MICCAI 2017 Grand Challenge on 6-month infant brain MRI segmentation (iSeg-2017), our method achieved an average Dice Overlap Coefficient of 95.4%, 91.6% and 89.6% for CSF, GM and WM, respectively.


title: Locating All Real Solutions of Power Flow Equations: A Convex Optimization Based Method

abstract: This paper proposes a convex optimization based method that either locates all real roots of a set of power flow equations or declares no real solution exists in the given area. In the proposed method, solving the power flow equations is reformulated as a global optimization problem (GPF for short) that minimizes the sum of slack variables. All the global minima of GPF with a zero objective value have a one-to-one correspondence to the real roots of power flow equations. By solving a relaxed version of GPF over a hypercube, if the optimal value is strictly positive, there is no solution in this area and the hypercube is discarded. Otherwise the hypercube is further divided into smaller ones. This procedure repeats recursively until all the real roots are located in small enough hypercubes through the successive refinement of the feasible region embedded in a bisection paradigm. This method is desired in a number of power system security assessment applications, for instance, the transient stability analysis as well as voltage stability analysis, where the closest unstable equilibrium and all Type-I unstable equilibrium is required, respectively. The effectiveness of the proposed method is verified by analyzing several test systems.


title: Separating Simultaneous Seismic Sources using Robust Inversion of Radon and Migration Operators

abstract: The advent of high density 3D wide azimuth survey configurations has greatly increased the cost of seismic acquisition. Simultaneous source acquisition presents an opportunity to decrease costs by reducing the survey time. Source time delays are typically long enough for seismic reflection energy to decay to negligible levels before firing another source. Simultaneous source acquisition abandons this minimum time restriction and allows interference between seismic sources to compress the survey time. Seismic data processing methods must address the interference introduced by simultaneous overlapping sources. Simultaneous source data are characterized by high amplitude interference artefacts that may be stronger than the primary signal. These large amplitudes are due to the time delay between sources and the rapid decay of seismic energy with arrival time. Therefore, source interference will appear as outliers in denoising algorithms that make use of a Radon transform. This will reduce the accuracy of Radon transform de-noising especially for weak signals. Formulating the Radon transform as an inverse problem with an L1 misfit makes it robust to outliers caused by source interference. This provides the ability to attenuate strong source interference while preserving weak underlying signal. In order to improve coherent signal focusing, an apex shifted hyperbolic Radon transform (ASHRT) is used to remove source interferences. ASHRT transform basis functions are tailored to match the travel time hyperbolas of reflections in common receiver gathers. However, the ASHRT transform has a high computational cost due to the extension of the model dimensions by scanning for apex locations. By reformulating the ASHRT operator using a Stolt migration/demigration kernel that exploits the Fast Fourier Transform (FFT), the computational efficiency of the operator is drastically improved.


title: Stratifying quotient stacks and moduli stacks

abstract: Recent results in geometric invariant theory (GIT) for non-reductive linear algebraic group actions allow us to stratify quotient stacks of the form [X/H], where X is a projective scheme and H is a linear algebraic group with internally graded unipotent radical acting linearly on X, in such a way that each stratum [S/H] has a geometric quotient S/H. This leads to stratifications of moduli stacks (for example, sheaves over a projective scheme) such that each stratum has a coarse moduli space.


title: Timed Comparisons of Semi-Markov Processes

abstract: Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probability of firing a transition at a certain moment in time. In this paper we consider the trace-based semantics of semi-Markov processes, and investigate the question of how to compare two semi-Markov processes with respect to their time-dependent behaviour. To this end, we introduce the relation of being "faster than" between processes and study its algorithmic complexity. Through a connection to probabilistic automata we obtain hardness results showing in particular that this relation is undecidable. However, we present an additive approximation algorithm for a time-bounded variant of the faster-than problem over semi-Markov processes with slow residence-time functions, and a coNP algorithm for the exact faster-than problem over unambiguous semi-Markov processes.


title: Tracking for Half an Hour

abstract: Long-term tracking requires extreme stability to the multitude of model updates and robustness to the disappearance and loss of the target as such will inevitably happen. For motivation, we have taken 10 randomly selected OTB-sequences, doubled each by attaching a reversed version and repeated each double sequence 20 times. On most of these repetitive videos, the best current tracker performs worse on each loop. This illustrates the difference between optimization for short-term versus long-term tracking. In a long-term tracker a combined global and local search strategy is beneficial, allowing for recovery from failures and disappearance. Most importantly, the proposed tracker also employs cautious updating, guided by self-quality assessment. The proposed tracker is still among the best on the 20-sec OTB-videos while achieving state-of-the-art on the 100-sec UAV20L benchmark. On 10 new half-an-hour videos with city bicycling, sport games etc, the proposed tracker outperforms others by a large margin where the 2010 TLD tracker comes second.


title: Jamming Detection in Massive MIMO Systems

abstract: This paper considers the physical layer security of a pilot-based massive multiple-input multiple-output (MaMIMO) system in presence of a multi-antenna jammer. To improve security of the network, we propose a new jamming detection method that makes use of a generalized likelihood ratio test over some coherence blocks. Our proposed method utilizes intentionally unused pilots in the network. The performance of the proposed detector improves by increasing the number of antennas at the base station, the number of unused pilots and also by the number of the coherence blocks that are utilized. Simulation results confirm our analyses and show that in the MaMIMO regime, perfect detection (i.e., correct detection probability is one) is achievable even with a small number of unused pilots.


title: Wave Particle Duality in Asymmetric Beam Interference

abstract: It is well known that in a two-slit interference experiment, acquiring which-path information about the particle, leads to a degrading of the interference. It is argued that path-information has a meaning only when one can umabiguously tell which slit the particle went through. Using this idea, two duality relations are derived for the general case where the two paths may not be equally probable, and the two slits may be of unequal widths. These duality relations, which are inequalities in general, saturate for all pure states. Earlier known results are recovered in suitable limit.


title: Limit theorems for free L\'evy processes

abstract: We consider different limit theorems for additive and multiplicative free L\'evy processes. The main results are concerned with positive and unitary multiplicative free L\'evy processes at small time, showing convergence to log free stable laws for many examples. The additive case is much easier, and we establish the convergence at small or large time to free stable laws. During the investigation we found out that a log free stable law with index $1$ coincides with the Dykema-Haagerup distribution. We also consider limit theorems for positive multiplicative Boolean L\'evy processes at small time, obtaining log Boolean stable laws in the limit.


title: Data Multiplexing in Radio Interferometric Calibration

abstract: New and upcoming radio interferometers will produce unprecedented amounts of data that demand extremely powerful computers for processing. This is a limiting factor due to the large computational power and energy costs involved. Such limitations restrict several key data processing steps in radio interferometry. One such step is calibration where systematic errors in the data are determined and corrected. Accurate calibration is an essential component in reaching many scientific goals in radio astronomy and the use of consensus optimization that exploits the continuity of systematic errors across frequency significantly improves calibration accuracy. In order to reach full consensus, data at all frequencies need to be calibrated simultaneously. In the SKA regime, this can become intractable if the available compute agents do not have the resources to process data from all frequency channels simultaneously. In this paper, we propose a multiplexing scheme that is based on the alternating direction method of multipliers (ADMM) with cyclic updates. With this scheme, it is possible to simultaneously calibrate the full dataset using far fewer compute agents than the number of frequencies at which data are available. We give simulation results to show the feasibility of the proposed multiplexing scheme in simultaneously calibrating a full dataset when a limited number of compute agents are available.


title: Biregular models of log Del Pezzo surfaces with rigid singularities

abstract: We construct biregular models of families of log Del Pezzo surfaces with rigid cyclic quotient singularities such that a general member in each family is wellformed and quasismooth. Each biregular model consists of infinite series of such families of surfaces; parameterized by the natural numbers $\mathbb{N}$. Each family in these models is represented by either a codimension 3 Pfaffian format modelled on the Pl\"ucker embedding of Gr(2,5) or a codimension 4 format modelled on the Segre embedding of \(\mathbb{P}^2 \times \mathbb{P}^2 \). In particular, we show the existence of two biregular models in codimension 4 which are bi parameterized, giving rise to an infinite series of models of families of log Del Pezzo surfaces. We identify those models of surfaces which do not admit a \(\mathbb {Q}\)-Gorenstein deformation to a toric variety.


title: Traces of non-equilibrium dynamics in relativistic heavy-ion collisions

abstract: The impact of non-equilibrium effects on the dynamics of heavy-ion collisions is investigated by comparing a non-equilibrium transport approach, the Parton-Hadron-String-Dynamics (PHSD), to a 2D+1 viscous hydrodynamical model, which is based on the assumption of local equilibrium and conservation laws. Starting the hydrodynamical model from the same non-equilibrium initial condition as in the PHSD, using an equivalent lQCD Equation-of-State (EoS), the same transport coefficients, i.e. shear viscosity $\eta$ and the bulk viscosity $\zeta$ in the hydrodynamical model, we compare the time evolution of the system in terms of energy density, Fourier transformed energy density, spatial and momentum eccentricities and ellipticity in order to quantify the traces of non-equilibrium phenomena. In addition, we also investigate the role of initial pre-equilibrium flow on the hydrodynamical evolution and demonstrate its importance for final state observables. We find that due to non-equilibrium effects, the event-by-event transport calculations show large fluctuations in the collective properties, while ensemble averaged observables are close to the hydrodynamical results.


title: Proceedings Sixth Workshop on Synthesis

abstract: The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system. Contributions of interest include algorithms, complexity and decidability analysis, as well as reproducible heuristics, implemented tools, and experimental evaluation. Application domains include software, hardware, embedded, and cyber-physical systems. Computation models include functional, reactive, hybrid and timed systems. Identifying, formalizing, and evaluating synthesis in particular application domains is encouraged. The sixth iteration of the workshop took place in Heidelberg, Germany. It was co-located with the 29th International Conference on Computer Aided Verification. The workshop included four contributed talks, four invited talks, and reports on the Syntax-Guided Synthesis Competition (SyGuS) and the Reactive Synthesis Competition (SYNTCOMP).


title: Naturalness and Dark Matter in a Realistic Intersecting D6-Brane Model

abstract: We revisit a three-family Pati-Salam model with a realistic phenomenology from intersecting D6-branes in Type IIA string theory compactified on a $\mathbf{T}^6/(\mathbb{Z}_2 \times \mathbb{Z}_2)$ orientifold, and study its naturalness in view of the current LHC and dark matter searches. We discuss spectrum and phenomenological features of this scenario demanding fine tuning better than 1\%. This requirement restricts the lightest neutralino to have mass less than about 600 GeV. We observe that the viable parameter space is tightly constrained by the requirements of naturalness and consistency with the observed dark matter relic density, so that it is fully testable at current and future dark matter searches, unless a non-thermal production mechanism of dark matter is at work. We find that $Z$-resonance, $h$-resonance, $A$-funnel and light stau/stop-neutralino coannihilation solutions are consistent with current LHC and dark matter constraints while the "well-tempered" neutralino scenario is ruled out in our model. Moreover, we observe that only Bino, Higgsinos, right-handed staus and stops can have mass below 1 TeV.


title: Real topological Hochschild homology

abstract: This paper interprets Hesselholt and Madsen's real topological Hochschild homology functor THR in terms of the multiplicative norm construction. We show that THR satisfies cofinality and Morita invariance, and that it is suitably multiplicative. We then calculate its geometric fixed points and its Mackey functor of components, and show a decomposition result for group-algebras. Using these structural results we determine the homotopy type of THR($\mathbb{F}_p$) and show that its bigraded homotopy groups are polynomial on one generator over the bigraded homotopy groups of $H\mathbb{F}_p$. We then calculate the homotopy type of THR($\mathbb{Z}$) away from the prime $2$, and the homotopy ring of the geometric fixed-points spectrum $\Phi^{\mathbb{Z}/2}$THR($\mathbb{Z}$).


title: On Structural Parameterizations of Firefighting

abstract: The Firefighting problem is defined as follows. At time $t=0$, a fire breaks out at a vertex of a graph. At each time step $t \geq 0$, a firefighter permanently defends (protects) an unburned vertex, and the fire then spread to all undefended neighbors from the vertices on fire. This process stops when the fire cannot spread anymore. The goal is to find a sequence of vertices for the firefighter that maximizes the number of saved (non burned) vertices. The Firefighting problem turns out to be NP-hard even when restricted to bipartite graphs or trees of maximum degree three. We study the parameterized complexity of the Firefighting problem for various structural parameterizations. All our parameters measure the distance to a graph class (in terms of vertex deletion) on which the firefighting problem admits a polynomial time algorithm. Specifically, for a graph class $\mathcal{F}$ and a graph $G$, a vertex subset $S$ is called a modulator to $\mathcal{F}$ if $G \setminus S$ belongs to $\mathcal{F}$. The parameters we consider are the sizes of modulators to graph classes such as threshold graphs, bounded diameter graphs, disjoint unions of stars, and split graphs. To begin with, we show that the problem is W[1]-hard when parameterized by the size of a modulator to diameter at most two graphs and split graphs. In contrast to the above intractability results, we show that Firefighting is fixed parameter tractable (FPT) when parameterized by the size of a modulator to threshold graphs and disjoint unions of stars, which are subclasses of diameter at most two graphs. We further investigate the kernelization complexity of these problems to find that firefighting admits a polynomial kernel when parameterized by the size of a modulator to a clique, while it is unlikely to admit a polynomial kernel when parameterized by the size of a modulator to a disjoint union of stars.


title: Learning Less is More - 6D Camera Localization via 3D Surface Regression

abstract: Popular research areas like autonomous driving and augmented reality have renewed the interest in image-based camera localization. In this work, we address the task of predicting the 6D camera pose from a single RGB image in a given 3D environment. With the advent of neural networks, previous works have either learned the entire camera localization process, or multiple components of a camera localization pipeline. Our key contribution is to demonstrate and explain that learning a single component of this pipeline is sufficient. This component is a fully convolutional neural network for densely regressing so-called scene coordinates, defining the correspondence between the input image and the 3D scene space. The neural network is prepended to a new end-to-end trainable pipeline. Our system is efficient, highly accurate, robust in training, and exhibits outstanding generalization capabilities. It exceeds state-of-the-art consistently on indoor and outdoor datasets. Interestingly, our approach surpasses existing techniques even without utilizing a 3D model of the scene during training, since the network is able to discover 3D scene geometry automatically, solely from single-view constraints.


title: Structure of sunspot light bridges in the chromosphere and transition region

abstract: Light bridges (LBs) are elongated structures with enhanced intensity embedded in sunspot umbra and pores. We studied the properties of a sample of 60 LBs observed with the Interface Region Imaging Spectrograph (IRIS). Using IRIS near- and far-ultraviolet spectra, we measured the line intensity, width, and Doppler shift; followed traces of LBs in the chromosphere and transition region (TR); and compared LB parameters with umbra and quiet Sun. There is a systematic emission enhancement in LBs compared to nearby umbra from the photosphere up to the TR. Light bridges are systematically displaced toward the solar limb at higher layers: the amount of the displacement at one solar radius compares well with the typical height of the chromosphere and TR. The intensity of the LB sample compared to the umbra sample peaks at the middle/upper chromosphere where they are almost permanently bright. Spectral lines emerging from the LBs are broader than the nearby umbra. The systematic redshift of the Si IV line in the LB sample is reduced compared to the quiet Sun sample. We found a significant correlation between the line width of ions arising at temperatures from 3x10^4 to 1.5x10^5 K as there is also a strong spatial correlation among the line and continuum intensities. In addition, the intensity-line width relation holds for all spectral lines in this study. The correlations indicate that the cool and hot plasma in LBs are coupled. Light bridges comprise multi-temperature and multi-disciplinary structures extending up to the TR. Diverse heating sources supply the energy and momentum to different layers, resulting in distinct dynamics in the photosphere, chromosphere, and TR.


title: Transmission x-ray microscopy at low temperatures - analyzing supercurrents with high spatial resolution

abstract: Scanning transmission x-ray microscopy has been used to image electric currents in superconducting films at temperatures down to 20 K. The magnetic stray field of supercurrents in a thin YBaCuO film is mapped into a soft-magnetic coating of permalloy. The so created local magnetization of the ferromagnetic film can be detected by dichroic absorption of polarized x-rays. To enable high-quality measurements in transmission geometry the whole heterostructure of ferromagnet, superconductor and single-crystalline substrate has been thinned to an overall thickness of less than 1 micron. With this novel technique local supercurrents can be analyzed in a wide range of temperatures and magnetic fields. A magnetic resolution of less than 100nm together with simultaneously obtained nanostructural data allow the correlation of local supercurrents with the micro- and nanostructure of the superconducting film.


title: Torelli problem for Calabi-Yau threefolds with GLSM description

abstract: We construct a gauged linear sigma model with two non-birational K\"alher phases which we prove to be derived equivalent, $\mathbb{L}$-equivalent, deformation equivalent and Hodge equivalent. This provides a new counterexample to the birational Torelli problem which admits a simple GLSM interpretation.


title: Dispersion measurement method with down conversion process

abstract: Proper characterization of nonlinear crystals is essential for designing single photon sources. We show a technique for dispersion characterization of a nonlinear material by making use of phase matching in the process of parametric down conversion. Our method is demonstrated on an exemplary periodically poled potassium titanyl phosphate $KTiOPO_4$ crystal phase-matched for $396$ nm to $532$ nm and $1550$ nm. We show a procedure to characterize the dispersion in the range of $390$ to $1800$ nm by means of only one spectrometer for the UV-visible range.