title: Attentional Road Safety Networks

abstract: Road safety mapping using satellite images is a cost-effective but a challenging problem for smart city planning. The scarcity of labeled data, misalignment and ambiguity makes it hard for supervised deep networks to learn efficient embeddings in order to classify between safe and dangerous road segments. In this paper, we address the challenges using a region guided attention network. In our model, we extract global features from a base network and augment it with local features obtained using the region guided attention network. In addition, we perform domain adaptation for unlabeled target data. In order to bridge the gap between safe samples and dangerous samples from source and target respectively, we propose a loss function based on within and between class covariance matrices. We conduct experiments on a public dataset of London to show that the algorithm achieves significant results with the classification accuracy of 86.21%. We obtain an increase of 4% accuracy for NYC using domain adaptation network. Besides, we perform a user study and demonstrate that our proposed algorithm achieves 23.12% better accuracy compared to subjective analysis.


title: A repetition-free hypersequent calculus for first-order rational Pavelka logic

abstract: We present a hypersequent calculus $\text{G}^3\text{\L}\forall$ for first-order infinite-valued {\L}ukasiewicz logic and for an extension of it, first-order rational Pavelka logic; the calculus is intended for bottom-up proof search. In $\text{G}^3\text{\L}\forall$, there are no structural rules, all the rules are invertible, and designations of multisets of formulas are not repeated in any premise of the rules. The calculus $\text{G}^3\text{\L}\forall$ proves any sentence that is provable in at least one of the previously known hypersequent calculi for the given logics. We study proof-theoretic properties of $\text{G}^3\text{\L}\forall$ and thereby provide foundations for proof search algorithms.


title: Structural transition in AuAgTe4 under pressure

abstract: Gold is inert and forms very few compounds. One of the most interesting of those is calaverite AuTe2, which has incommensurate structure and which becomes superconducting when doped or under pressure. There exist a "sibling" of AuTe2 the mineral sylvanite AuAgTe4, which properties are almost unknown. In sylvanite Au and Ag ions are ordered in stripes, and Te6 octahedra around metals are distorted in such a way that Ag becomes linearly coordinated, what is typical for Ag^{1+}, whereas Au is square coordinated - it is typical for d^8 configurations, i.e. one can assign to Au the valence 3+. Our theoretical study shows that at pressure P_C ~ 5 GPa there should occur in it a structural transition such that above this critical pressure Te6 octahedra around Au and Ag become regular and practically identical. Simultaneously Te-Te dimers, existing at P = 0 GPa, disappear, and material from a bad metal becomes a usual metal with predominantly Te 5p states at the Fermi energy. We expect that, similar to AuTe2, AuAgTe4 should become superconducting above P_C.


title: A First Look at Emoji Usage on GitHub: An Empirical Study

abstract: Emoji is becoming a ubiquitous language and gaining worldwide popularity in recent years including the field of software engineering (SE). As nonverbal cues, emojis are widely used in user understanding tasks such as sentiment analysis, but few work has been done to study emojis in SE scenarios. This paper presents a large scale empirical study on how GitHub users use emojis in development-related communications. We find that emojis are used by a considerable proportion of GitHub users. In comparison to Internet users, developers show interesting usage characteristics and have their own interpretation of the meanings of emojis. In addition, the usage of emojis reflects a positive and supportive culture of this community. Through a manual annotation task, we find that sentimental usage is a main intention of using emojis in issues, pull requests, and comments, while emojis are mainly used to emphasize important contents in README. These findings not only deepen our understanding about the culture of SE communities, but also provide implications on how to facilitate SE tasks with emojis such as sentiment analysis.


title: On the continuity of solutions to doubly singular parabolic equations

abstract: This paper considers a certain doubly singular parabolic equations with one singularity occurs in the time derivative, whose model is \begin{equation*} \partial_t\beta(u)-\operatorname{div}|Du|^{p-2}Du\ni0,\qquad \text{in}\quad \Omega\times(0,T)\end{equation*} where $\Omega\subset\mathbb{R}^N$ and $N\geq3$. We show that the bounded weak solutions are locally continuous in the range $$2-\epsilon_0\leq p<2,$$ provided $\epsilon_0>0$ is small enough, and the continuity is stable as $p\to2$.


title: An Efficient and Truthful Pricing Mechanism for Team Formation in Crowdsourcing Markets

abstract: In a crowdsourcing market, a requester is looking to form a team of workers to perform a complex task that requires a variety of skills. Candidate workers advertise their certified skills and bid prices for their participation. We design four incentive mechanisms for selecting workers to form a valid team (that can complete the task) and determining each individual worker's payment. We examine profitability, individual rationality, computational efficiency, and truthfulness for each of the four mechanisms. Our analysis shows that TruTeam, one of the four mechanisms, is superior to the others, particularly due to its computational efficiency and truthfulness. Our extensive simulations confirm the analysis and demonstrate that TruTeam is an efficient and truthful pricing mechanism for team formation in crowdsourcing markets.


title: Two-ended quasi-transitive graphs

abstract: The well-known characterization of two-ended groups says that every two-ended group can be split over finite subgroups which means it is isomorphic to either by a free product with amalgamation $A\ast_C B$ or an HNN-extension $\ast_{\phi} C$, where $C$ is a finite group and $[A:C]=[B:C]=2$ and $\phi\in Aut(C)$. In this paper, we show that there is a way in order to spilt two-ended quasi-transitive graphs without dominated ends and two-ended transitive graphs over finite subgraphs in the above sense. As an application of it, we characterize all groups acting with finitely many orbits almost freely on those graphs.


title: A connection between accretion states and the formation of ultra-relativistic outflows in a neutron star X-ray binary

abstract: The nearby accreting neutron star binary Sco X-1 is the closest example of ongoing relativistic jet production at high Eddington ratios. Previous radio studies have revealed that alongside mildly relativistic, radio-emitting ejecta, there is at times a much faster transfer of energy from the region of the accretion flow along the jet. The nature of this ultrarelativistic flow remains unclear and while there is some evidence for a similar phenomenon in other systems which might contain neutron stars, it has never been observed in a confirmed black hole system. We have compared these previous radio observations with a new analysis of simultaneous X-ray observations which were performed with the RXTE mission. We find that the ejection of the ultra-relativistic flow seems to be associated with the simultaneous appearance of two particular types of quasi-periodic oscillations in the X-ray power spectrum. In contrast, the mildly relativistic, radio-emitting outflows may be associated with flat-topped broad band noise in the X-ray power spectrum. This is the first time a link, albeit tentative, has been found between these mysterious unseen flows and the accretion flow from which they are launched.


title: Breaking the borders: an investigation of cross-ecosystem software packages

abstract: Software ecosystems are collections of projects that are developed and evolve together in the same environment. Existing literature investigates software ecosystems as isolated entities whose boundaries do not overlap and assumes they are self-contained. However, a number of software projects are distributed in more than one ecosystem. As different aspects, e.g., success, security vulnerabilities, bugs, etc., of such cross-ecosystem packages can affect multiple ecosystems, we investigate the presence and characteristics of these cross-ecosystem packages in 12 large software distributions. We found a small number of packages distributed in multiple packaging ecosystems and that such packages are usually distributed in two ecosystems. These packages tend to better support with new releases certain ecosystems, while their evolution can impact a multitude of packages in other ecosystems. Finally, such packages appear to be popular with large developer communities.


title: Symmetry protected phases in inhomogeneous spin chains

abstract: It has been shown recently that inhomogenous spin chains can exhibit exotic phenomena such as the breaking of the area law of the entanglement entropy. An example is given by the rainbow model where the exchange coupling constants decrease from the center of the chain. Here we show that by folding the chain around its center, the long-range entanglement becomes short-range which can lead to topological phases protected by symmetries (SPT). The phases are trivial for bond-centered foldings, and non trivial for site-centered ones. In the latter case, the folded spin 1/2 chain with $U(1)$ symmetry belongs to the Su-Schrieffer-Heeger class, while the folded chain with $SU(2)$ symmetry is in the Haldane phase. Finally, we extend these results to higher spin chains where we find a correspondence between the symmetry protection of gapped and gapless phases.


title: Universal Frequency Dependence of the Hopping AC Conductance in p-Ge/GeSi Structures in the Integer Quantum Hall Effect Regime

abstract: The hopping ac conductance, which is realized at the transverse conductance minima in the regime of the integer Hall effect, has been measured using a combination of acoustic and microwave methods. Measurements have been made in the p-GeSi/Ge/GeSi structures with quantum wells in a wide frequency range (30-1200 MHz). The experimental frequency dependences of the real part of ac conductance $\sigma_1$ have been interpreted on the basis of the model presuming hops between localized electronic states belonging to isolated clusters. At high frequencies, dominating clusters are pairs of close states; upon a decrease in frequency, large clusters that merge into an infinite percolation cluster as the frequency tends to zero become important. In this case, the frequency dependences of the ac conductance can be represented by a universal curve. The scaling parameters and their magnetic-field dependence have been determined.


title: Maximal $\tau_d$-rigid pairs

abstract: Let $\mathscr T$ be a $2$-Calabi--Yau triangulated category, $T$ a cluster tilting object with endomorphism algebra $\Gamma$. Consider the functor $\mathscr T( T,- ) : \mathscr T \rightarrow \mod \Gamma$. It induces a bijection from the isomorphism classes of cluster tilting objects to the isomorphism classes of support $\tau$-tilting pairs. This is due to Adachi, Iyama, and Reiten. The notion of $( d+2 )$-angulated categories is a higher analogue of triangulated categories. We show a higher analogue of the above result, based on the notion of maximal $\tau_d$-rigid pairs.


title: Distributed Anomaly Detection using Autoencoder Neural Networks in WSN for IoT

abstract: Wireless sensor networks (WSN) are fundamental to the Internet of Things (IoT) by bridging the gap between the physical and the cyber worlds. Anomaly detection is a critical task in this context as it is responsible for identifying various events of interests such as equipment faults and undiscovered phenomena. However, this task is challenging because of the elusive nature of anomalies and the volatility of the ambient environments. In a resource-scarce setting like WSN, this challenge is further elevated and weakens the suitability of many existing solutions. In this paper, for the first time, we introduce autoencoder neural networks into WSN to solve the anomaly detection problem. We design a two-part algorithm that resides on sensors and the IoT cloud respectively, such that (i) anomalies can be detected at sensors in a fully distributed manner without the need for communicating with any other sensors or the cloud, and (ii) the relatively more computation-intensive learning task can be handled by the cloud with a much lower (and configurable) frequency. In addition to the minimal communication overhead, the computational load on sensors is also very low (of polynomial complexity) and readily affordable by most COTS sensors. Using a real WSN indoor testbed and sensor data collected over 4 consecutive months, we demonstrate via experiments that our proposed autoencoder-based anomaly detection mechanism achieves high detection accuracy and low false alarm rate. It is also able to adapt to unforeseeable and new changes in a non-stationary environment, thanks to the unsupervised learning feature of our chosen autoencoder neural networks.


title: The Cosmological Constant and the Electroweak Scale

abstract: String theory has no parameter except the string scale, so a dynamically compactified solution to 4 dimensional spacetime should determine both the Planck scale and the cosmological constant $\Lambda$. In the racetrack K\"ahler uplift flux compactification model in Type IIB theory, where the string theory landscape is generated by scanning over discrete values of all the flux parameters, a statistical preference for an exponentially small $\Lambda$ is found to be natural (arXiv:1305.0753). Within this framework and matching the median $\Lambda$ value to the observed $\Lambda$, a mass scale ${\bf m}\simeq 100$ GeV naturally appears. We explain how the electroweak scale can be identified with this mass scale.


title: Exponential convexifying of polynomials

abstract: Let $X\subset\mathbb{R}^n$ be a convex closed and semialgebraic set and let $f$ be a polynomial positive on $X$. We prove that there exists an exponent $N\geq 1$, such that for any $\xi\in\mathbb{R}^n$ the function $\varphi_N(x)=e^{N|x-\xi|^2}f(x)$ is strongly convex on $X$. When $X$ is unbounded we have to assume also that the leading form of $f$ is positive in $\mathbb{R}^n\setminus\{0\}$. We obtain strong convexity of $\varPhi_N(x)=e^{e^{N|x|^2}}f(x)$ on possibly unbounded $X$, provided $N$ is sufficiently large, assuming only that $f$ is positive on $X$. We apply these results for searching critical points of polynomials on convex closed semialgebraic sets.


title: Multiple positive bound state solutions of a critical Choquard equation

abstract: IIn this paper we consider the problem $$ \left\{ \begin{array}{rcl} -\Delta u+V_{\lambda}(x)u=(I_{\mu}*|u|^{2^{*}_{\mu}})|u|^{2^{*}_{\mu}-2}u \ \ \mbox{in} \ \ \mathbb{R}^{N},\\ u>0 \ \ \mbox{in} \ \ \mathbb{R}^{N}, \end{array} \right.\leqno{(P_{\lambda})} $$ where $V_{\lambda}=\lambda+V_{0}$ with $\lambda \geq 0$, $V_0\in L^{N/2}(\R^N)$, $I_{\mu}=\frac{1}{|x|^\mu}$ is the Riesz potential with $0<\mu<\min\{N,4\}$ and $2^{*}_{\mu}=\frac{2N-\mu}{N-2}$ with $N\geq 3$. Under some smallness assumption on $V_0$ and $\lambda$ we prove the existence of two positive solutions of $(P_\lambda)$. In order to prove the main result, we used variational methods combined with degree theory.


title: Proximal extrapolated gradient methods with prediction and correction for monotone variational inequalities

abstract: An efficient proximal-gradient-based method, called proximal extrapolated gradient method, is designed for solving monotone variational inequality in Hilbert space. The proposed method extends the acceptable range of parameters to obtain larger step sizes. The step size is predicted based a local information of the operator and corrected by linesearch procedures to satisfy a very weak condition, which is even weaker than the boundedness of sequence generated and always holds when the operator is the gradient of a convex function. We establish its convergence and ergodic convergence rate in theory under the larger range of parameters. Furthermore, we improve numerical efficiency by employing the proposed method with non-monotonic step size, and obtain the upper bound of the parameter relating to step size by an extremely simple example. Related numerical experiments illustrate the improvements in efficiency from the larger step size.


title: Quantum Statistical Inference

abstract: In this thesis, I present several results on quantum statistical inference in the following two directions. Firstly, I demonstrate that quantum algorithms can be applied to enhance the computing and training of Gaussian processes (GPs), a powerful model widely used in classical statistical inference and supervised machine learning. A crucial component of the quantum GP algorithm is solving linear systems with quantum computers, for which I present a novel algorithm that achieves a provable advantage over previously known methods. I will also explicitly address the task of encoding the classical data into a quantum state for machine learning applications. I then apply the quantum enhanced GPs to Bayesian deep learning and present an experimental demonstration on contemporary hardware and simulators. Secondly, I look into the notion of quantum causality and apply it to inferring spatial and temporal quantum correlations, and present an analytical toolkit for causal inference in quantum data. I will also make the connection between causality and quantum communications, and present a general bound for the quantum capacity of noisy communication channels.


title: Existence of solutions for a class of fractional elliptic problems on exterior domains

abstract: This work concerns with the existence of solutions for the following class of nonlocal elliptic problems \begin{equation*}\label{00} \left\{ \begin{array}{l} (-\Delta)^{s}u + u = |u|^{p-2}u\;\;\mbox{in $\Omega$},\\ u \geq 0 \quad \mbox{in} \quad \Omega \quad \mbox{and} \quad u \not\equiv 0, \\ u=0 \quad \mathbb{R}^N \setminus \Omega, \end{array} \right. \end{equation*} involving the fractional Laplacian operator $(-\Delta)^{s}$, where $s\in (0,1)$, $N> 2s$, $\Omega \subset \R^N$ is an exterior domain with (non-empty) smooth boundary $\partial \Omega$ and $p\in (2, 2_{s}^{*})$. The main technical approach is based on variational and topological methods. The variational analysis that we perform in this paper dealing with exterior domains is quite general and may be suitable for other goals too.


title: Quadrature Squeezing in the Cavity Mode Driven by Coherent Light and Interacting with Two-Level Atom

abstract: We have analyzed the quadrature squeezing in a cavity mode driven by coherent light and interacting with a two-level atom. We have found that the cavity mode is in a squeezed state, with the maximum quadrature squeezing being $50\%$ below the vacuum-state level. We have also considered the superposition of a pair of cavity modes, each driven by coherent light and interacting with a two-level atom. We have found that the superposed cavity modes are in a squeezed state and the squeezing occurs in both quadratures. We have established that the uncertainty relation perfectly holds for this case. In addition, we have observed that the sum of the maximum squeezing in the plus and minus quadratures is $50\%$.


title: Affine transitions for involution Stanley symmetric functions

abstract: We study a family of symmetric functions $\hat F_z$ indexed by involutions $z$ in the affine symmetric group. These power series are analogues of Lam's affine Stanley symmetric functions and generalizations of the involution Stanley symmetric functions introduced by Hamaker, Pawlowski, and the first author. Our main result is to prove a transition formula for $\hat F_z$ which can be used to define an affine involution analogue of the Lascoux-Sch\"utzenberger tree. Our proof of this formula relies on Lam and Shimozono's transition formula for affine Stanley symmetric functions and some new technical properties of the strong Bruhat order on affine permutations.


title: Fractional elliptic problem in exterior domains with nonlocal Neumann boundary condition

abstract: In this paper we consider the existence of solution for the following class of fractional elliptic problem \begin{equation}\label{00} \left\{\begin{aligned} (-\Delta)^su + u &= Q(x) |u|^{p-1}u\;\;\mbox{in}\;\;\R^N \setminus \Omega\\ \mathcal{N}_su(x) &= 0\;\;\mbox{in}\;\;{\Omega}, \end{aligned} \right. \end{equation} where $s\in (0,1)$, $N> 2s$, $\Omega\subset \R^N$ is a bounded set with smooth boundary, $(-\Delta)^s$ denotes the fractional Laplacian operator and $\mathcal{N}_s$ is the nonlocal operator that describes the Neumann boundary condition, which is given by $$ \mathcal{N}_su(x) = C_{N,s} \int_{\R^N \setminus \Omega} \frac{u(x) - u(y)}{|x-y|^{N+2s}}dy,\;\;x\in {\Omega}. $$


title: Non-classical Correlations in n-Cycle Setting

abstract: We explore non-classical correlations in n-cycle setting. In particular, we focus on correlations manifested by Kochen-Specker-Klyachko box (KS box), scenarios involving n-cycle non-contextuality inequalities and Popescu-Rohlrich boxes (PR box). We provide the criteria for optimal classical simulation of a KS box of arbitrary n dimension. The non-contextuality inequalities are analysed for n-cycle setting, and the condition for the quantum violation for odd as well as even n-cycle is discussed. We offer a simple extension of even cycle non-contextuality inequalities to the continuous variable case. Furthermore, we simulate a generalized PR box using KS box and provide some interesting insights. Towards the end, we discuss a few possible interesting open problems for future research.


title: Effective {\L}ojasiewicz gradient inequality and finite determinacy of non-isolated Nash function singularities

abstract: Let $X\subset \mathbb{R}^n$ be a compact semialgebraic set and let $f:X\to \mathbb{R}$ be a nonzero Nash function. We give a Solern\'o and D'Acunto-Kurdyka type estimation of the exponent $\varrho\in[0,1)$ in the {\L}ojasiewicz gradient inequality $|\nabla f(x)|\ge C|f(x)|^\varrho$ for $x\in X$, $|f(x)|<\varepsilon$ for some constants $C,\varepsilon>0$, in terms of the degree of a polynomial $P$ such that $P(x,f(x))=0$, $x\in X$. As a corollary we obtain an estimation of the degree of sufficiency of non-isolated Nash functions singularities


title: An Empirical Study on Decision making for Quality Requirements

abstract: [Context] Quality requirements are important for product success yet often handled poorly. The problems with scope decision lead to delayed handling and an unbalanced scope. [Objective] This study characterizes the scope decision process to understand influencing factors and properties affecting the scope decision of quality requirements. [Method] We studied one company's scope decision process over a period of five years. We analyzed the decisions artifacts and interviewed experienced engineers involved in the scope decision process. [Results] Features addressing quality aspects explicitly are a minor part (4.41%) of all features handled. The phase of the product line seems to influence the prevalence and acceptance rate of quality features. Lastly, relying on external stakeholders and upfront analysis seems to lead to long lead-times and an insufficient quality requirements scope. [Conclusions] There is a need to make quality mode explicit in the scope decision process. We propose a scope decision process at a strategic level and a tactical level. The former to address long-term planning and the latter to cater for a speedy process. Furthermore, we believe it is key to balance the stakeholder input with feedback from usage and market in a more direct way than through a long plan-driven process.


title: Statistical analysis of the new catalogue of CP stars

abstract: This talk is devoted to the statistical analysis of the new catalogue of Chemically Peculiar stars compiled from papers, where chemical abundances of those stars were given. The catalogue contains chemical abundances and physical parameters of 428 stars based on high-resolution spectroscopy data. Spearman's rank correlation test was applied for 416 CP (108 HgMn, 188 ApBp and 120 AmFm) stars and the correlation between chemical abundances and different physical parameters (effective temperature, surface gravity and rotational velocity) was checked. From dozens interesting cases we secluded four cases: the Mn peculiarities in HgMn stars, the Ca correlation with respect to effective temperature in AmFm stars, the case of helium and iron in ApBp stars. We applied also Anderson-Darling (AD) test on ApBp stars to check if multiplicity is a determinant parameter for abundance peculiarities.


title: LHC Searches for Dark Matter in Compressed Mass Scenarios: Challenges in the Forward Proton Mode

abstract: We analyze in detail the LHC prospects at the center-of-mass enery of 14 TeV for charged electroweakino searches, decaying to leptons, in compressed supersymmetry scenarios, via exclusive photon-initiated pair production. This provides a potentially increased sensitivity in comparison to inclusive channels, where the background is often overwhelming. We pay particular attention to the challenges that such searches would face in the hostile high pile--up environment of the LHC, giving close consideration to the backgrounds that will be present. The signal we focus on is the exclusive production of same-flavour muon and electron pairs, with missing energy in the final state, and with two outgoing intact protons registered by the dedicated forward proton detectors installed in association with ATLAS and CMS. We present results for slepton masses of 120--300 GeV and slepton--neutralino mass splitting of 10--20 GeV, and find that the relevant backgrounds can be controlled to the level of the expected signal yields. The most significant such backgrounds are due to semi--exclusive lepton pair production at lower masses, with a proton produced in the initial proton dissociation system registering in the forward detectors, and from the coincidence of forward protons produced in pile-up events with an inclusive central event that mimics the signal. We also outline a range of potential methods to further suppress these backgrounds as well as to enlarge the signal yields.


title: Linear optics for direct observation of quantum violation of pigeonhole principle by joint weak measurement

abstract: When three pigeons are in two pigeonholes, at least two of them should be in the same pigeonhole, which is called pigeonhole principle. Recently Aharonov el al have shown that the principle can be violated in a pre-postselected quantum system. This violation sheds light on a new aspect of quantum correlations, as both of the pre and postselected states are separable states. To prove this kind of quantum correlations, a measurement apparatus must be arranged in entanglement to perform a joint measurement on the quantum system. In this paper we discuss how to design the state of entangled meters to achieve such a measurement. We also propose an experimental setup composed of linear optics for direct observation of violation of pigeonhole principle.


title: Moebius rigidity for compact deformations of negatively curved manifolds

abstract: Let $(X, g_0)$ be a complete, simply connected Riemannian manifold with sectional curvatures $K_{g_0}$ satisfying $-b^2 \leq K_{g_0} \leq -1$ for some $b \geq 1$. Let $g_1$ be a Riemannian metric on $X$ such that $g_1 = g_0$ outside a compact in $X$, and with sectional curvatures $K_{g_1}$ satisfying $K_{g_1} \leq -1$. The identity map $id : (X, g_0) \to (X, g_1)$ is bi-Lipschitz, and hence induces a homeomorphism between the boundaries at infinity of $(X, g_0)$ and $(X, g_1)$, which we denote by $\hat{id}_{g_0, g_1} : \partial_{g_0} X \to \partial_{g_1} X$. We show that if the boundary map $\hat{id}_{g_0, g_1}$ is Moebius (i.e. preserves cross-ratios), then it extends to an isometry $F : (X, g_0) \to (X, g_1)$.


title: A Quasi-Optimal Crouzeix-Raviart Discretization of the Stokes Equations

abstract: We present a modification of the Crouzeix-Raviart discretization of the Stokes equations in arbitrary dimension which is quasi-optimal, in the sense that the error of the discrete velocity field in a broken $H^1$-norm is proportional to the error of the best approximation to the analytical velocity field. In particular, the velocity error is independent of the pressure error and the discrete velocity field is element-wise solenoidal. Moreover, the sum of the velocity error times the viscosity plus the pressure $L^2$-error is proportional to the sum of the respective best errors. All proportionality constants are bounded in terms of shape regularity and do not depend on the viscosity. For simply connected two-dimensional domains, the velocity and pressure can be computed separately. The modification only affects the right-hand side aka load vector. The cost for building the modified load vector is proportional to the cost for building the standard load vector. Some numerical experiments illustrate our theoretical results.


title: Energy preserving methods for nonlinear Schr\"odinger equations

abstract: This paper is concerned with the numerical integration in time of nonlinear Schr\"odinger equations using different methods preserving the energy or a discrete analog of it. The Crank-Nicolson method is a well known method of order 2 but is fully implicit and one may prefer a linearly implicit method like the relaxation method introduced in [10] for the cubic nonlinear Schr{\"o}dinger equation. This method is also an energy preserving method and numerical simulations have shown that its order is 2. In this paper we give a rigorous proof of the order of this relaxation method and propose a generalized version that allows to deal with general power law nonlinearites. Numerical simulations for different physical models show the efficiency of these methods.


title: A Multimodal LSTM for Predicting Listener Empathic Responses Over Time

abstract: People naturally understand the emotions of-and often also empathize with-those around them. In this paper, we predict the emotional valence of an empathic listener over time as they listen to a speaker narrating a life story. We use the dataset provided by the OMG-Empathy Prediction Challenge, a workshop held in conjunction with IEEE FG 2019. We present a multimodal LSTM model with feature-level fusion and local attention that predicts empathic responses from audio, text, and visual features. Our best-performing model, which used only the audio and text features, achieved a concordance correlation coefficient (CCC) of 0.29 and 0.32 on the Validation set for the Generalized and Personalized track respectively, and achieved a CCC of 0.14 and 0.14 on the held-out Test set. We discuss the difficulties faced and the lessons learnt tackling this challenge.


title: LIGA: A Cryptosystem Based on the Hardness of Rank-Metric List and Interleaved Decoding

abstract: We propose the new rank-metric code-based cryptosystem LIGA which is based on the hardness of list decoding and interleaved decoding of Gabidulin codes. LIGA is an improved variant of the Faure-Loidreau (FL) system, which was broken in a structural attack by Gaborit, Otmani, and Tal\'e Kalachi (GOT, 2018). We keep the FL encryption and decryption algorithms, but modify the insecure key generation algorithm. Our crucial observation is that the GOT attack is equivalent to decoding an interleaved Gabidulin code. The new key generation algorithm constructs public keys for which all polynomial-time interleaved decoders fail---hence LIGA resists the GOT attack. We also prove that the public-key encryption version of LIGA is IND-CPA secure in the standard model and the KEM version is IND-CCA2 secure in the random oracle model, both under hardness assumptions of formally defined problems related to list decoding and interleaved decoding of Gabidulin codes. We propose and analyze various exponential-time attacks on these problems, calculate their work factors, and compare the resulting parameters to NIST proposals. The strengths of LIGA are short ciphertext sizes and (relatively) small key sizes. Further, LIGA guarantees correct decryption and has no decryption failure rate. It is not based on hiding the structure of a code. Since there are efficient and constant-time algorithms for encoding and decoding Gabidulin codes, timing attacks on the encryption and decryption algorithms can be easily prevented.


title: Th\'eor\`eme d'Erd\H{o}s-Kac pour les translat\'es d'entiers ayant $k$ facteurs premiers

abstract: Let $x\geqslant 3$. For $1\leqslant n\leqslant x$ an integer, let $\omega(n)$ be its number of distinct prime factors. We show that $\omega(n-1)$ satisfies an Erd\H{o}s-Kac type theorem whenever $\omega(n)=k$ where $1\leqslant k\ll\log\log x$, thus extending a result of Halberstam.


title: A3: Assisting Android API Migrations Using Code Examples

abstract: The fast-paced evolution of Android APIs has posed a challenging task for Android app developers. To leverage Android's frequently released APIs, developers must often spend considerable effort on API migrations. Prior research and Android official documentation typically provide enough information to guide developers in identifying the API calls that must be migrated and the corresponding API calls in an updated version of Android (what to migrate). However, API migration remains a challenging task since developers lack the knowledge of how to migrate the API calls. There exist code examples, such as Google Samples, that illustrate the usage of APIs. We posit that by analyzing the changes of API usage in code examples, we can learn API migration patterns to assist developers with API Migrations. In this paper, we propose an approach that learns API migration patterns from code examples, applies these patterns to the source code of Android apps for API migration, and presents the results to users as potential migration solutions. To evaluate our approach, we migrate API calls in open source Android apps by learning API migration patterns from code examples. We find that our approach can successfully learn API migration patterns and provide API migration assistance in 71 out of 80 cases. Our approach can either migrate API calls with little to no extra modifications needed or provide guidance to assist with the migrations. Through a user study, we find that adopting our approach can reduce the time spent on migrating APIs, on average, by 29%. Moreover, our interviews with app developers highlight the benefits of our approach when seeking API migrations. Our approach demonstrates the value of leveraging the knowledge contained in software repositories to facilitate API migrations.


title: Mixed Uncertainty Sets for Robust Combinatorial Optimization

abstract: In robust optimization, the uncertainty set is used to model all possible outcomes of uncertain parameters. In the classic setting, one assumes that this set is provided by the decision maker based on the data available to her. Only recently it has been recognized that the process of building useful uncertainty sets is in itself a challenging task that requires mathematical support. In this paper, we propose an approach to go beyond the classic setting, by assuming multiple uncertainty sets to be prepared, each with a weight showing the degree of belief that the set is a "true" model of uncertainty. We consider theoretical aspects of this approach and show that it is as easy to model as the classic setting. In an extensive computational study using a shortest path problem based on real-world data, we auto-tune uncertainty sets to the available data, and show that with regard to out-sample performance, the combination of multiple sets can give better results than each set on its own.


title: Some proofs of the Poincar\'e--Birkhoff--Witt theorem and related matters

abstract: The first part of this article is concerned with proving the symmetric PBW theorem using Magnus commutators. Extensions of the Dynkin--Specht--Wever lemma and a general theorem of Nouaz\'e--Revoy type are also obtained. The second part focuses on free Lie $K$-algebras and the basic PBW theorem. Appendices are provided in order make the discussion self-contained, and also putting it into context.


title: LSST Cadence Optimization White Paper in Support of Observations of Unresolved Tidal Stellar Streams in Galaxies beyond the Local Group

abstract: Deep observations of faint surface brightness stellar tidal streams in external galaxies with LSST are addressed in this White Paper contribution. We propose using the Wide--Fast--Deep survey that contains several nearby galaxies (at distances where the stars themselves are not resolved, i.e., beyond 20 Mpc). In the context of hierarchical galaxy formation, it is necessary to understand the prevalence and properties of tidal substructure around external galaxies based on integrated (i.e., unresolved) diffuse light. This requires collecting observations on much larger samples of galaxies than the Milky Way and M31. We will compare the observed structures to the predictions of cosmological models of galactic halo formation that inform us about the number and properties of streams around Milky Way-like galaxies. The insight gained from these comparisons will allow us to infer the properties of stream progenitors (masses, dynamics, metallicities, stellar populations). The changes in the host galaxies caused by the interactions with the dissolving companion galaxies will be another focus of our studies. We conclude by discussing synergies with WFIRST and Euclid, and also provide concrete suggestions for how the effects of scattered light could be minimized in LSST images to optimize the search for low surface brightness features, such as faint unresolved stellar tidal streams.


title: SMT vs NMT: A Comparison over Hindi & Bengali Simple Sentences

abstract: In the present article, we identified the qualitative differences between Statistical Machine Translation (SMT) and Neural Machine Translation (NMT) outputs. We have tried to answer two important questions: 1. Does NMT perform equivalently well with respect to SMT and 2. Does it add extra flavor in improving the quality of MT output by employing simple sentences as training units. In order to obtain insights, we have developed three core models viz., SMT model based on Moses toolkit, followed by character and word level NMT models. All of the systems use English-Hindi and English-Bengali language pairs containing simple sentences as well as sentences of other complexity. In order to preserve the translations semantics with respect to the target words of a sentence, we have employed soft-attention into our word level NMT model. We have further evaluated all the systems with respect to the scenarios where they succeed and fail. Finally, the quality of translation has been validated using BLEU and TER metrics along with manual parameters like fluency, adequacy etc. We observed that NMT outperforms SMT in case of simple sentences whereas SMT outperforms in case of all types of sentence.


title: Constructing the Near field and Far field with Reactive Metagratings: Study on the Degrees of Freedom

abstract: We report that metamaterial-inspired one-dimensional gratings (or metagratings) can be used to control nonpropagating diffraction orders as well as propagating ones. By accurate engineering of the near field, it becomes possible to satisfy power-conservation conditions and achieve perfect control over all propagating diffraction orders with passive and lossless metagratings. We show that each propagating diffraction order requires 2 degrees of freedom represented by passive and lossless loaded thin "wires." This provides a solution to the old problem of power management between diffraction orders created by a grating. The theory developed is verified by both three-dimensional full-wave numerical simulations and experimental measurements, and can be readily applied to the design of wavefront-manipulation devices over the entire electromagnetic spectrum as well as in different fields of physics.


title: Model of a Data Mining System for Personalized Therapy of Speech Disorders

abstract: Lately, the children with speech disorder have more and more become object of specialists attention and investment in speech disorder therapy are increasing The development and use of information technology in order to assist and follow speech disorder therapy allowed researchers to collect a considerable volume of data. The aim of this paper is to present a data mining system designed to be associated with TERAPERS system in order to provide information based on which one could improve the process of personalized therapy of speech disorders.


title: Automatic individual pig detection and tracking in surveillance videos

abstract: Individual pig detection and tracking is an important requirement in many video-based pig monitoring applications. However, it still remains a challenging task in complex scenes, due to problems of light fluctuation, similar appearances of pigs, shape deformations and occlusions. To tackle these problems, we propose a robust real time multiple pig detection and tracking method which does not require manual marking or physical identification of the pigs, and works under both daylight and infrared light conditions. Our method couples a CNN-based detector and a correlation filter-based tracker via a novel hierarchical data association algorithm. The detector gains the best accuracy/speed trade-off by using the features derived from multiple layers at different scales in a one-stage prediction network. We define a tag-box for each pig as the tracking target, and the multiple object tracking is conducted in a key-points tracking manner using learned correlation filters. Under challenging conditions, the tracking failures are modelled based on the relations between responses of detector and tracker, and the data association algorithm allows the detection hypotheses to be refined, meanwhile the drifted tracks can be corrected by probing the tracking failures followed by the re-initialization of tracking. As a result, the optimal tracklets can sequentially grow with on-line refined detections, and tracking fragments are correctly integrated into respective tracks while keeping the original identifications. Experiments with a dataset captured from a commercial farm show that our method can robustly detect and track multiple pigs under challenging conditions. The promising performance of the proposed method also demonstrates a feasibility of long-term individual pig tracking in a complex environment and thus promises a commercial potential.


title: Time Fractional Poisson Equations: Representations and Estimates

abstract: In this paper, we study existence and uniqueness of strong as well as weak solutions for general time fractional Poisson equations. We show that there is an integral representation of the solutions of time fractional Poisson equations with zero initial values in terms of semigroup for the infinitesimal spatial generator ${\cal L}$ and the corresponding subordinator associated with the time fractional derivative. This integral representation has an integral kernel $q(t, x, y)$, which we call the fundamental solution for the time fractional Poisson equation, if the semigrou for ${\cal L}$ has an integral kernel. We further show that $q(t, x, y)$ can be expressed as a time fractional derivative of the fundamental solution for the homogenous time fractional equation under the assumption that the associated subordinator admits a conjugate subordinator. Moreover, when the Laplace exponent of the associated subordinator satisfies the weak scaling property and its distribution is self-decomposable, we establish two-sided estimates for the fundamental solution $q(t,x, y)$ through explicit estimates of transition density functions of subordinators.


title: Ultrafast THz probe of photo-induced polarons in lead-halide perovskites

abstract: We study the nature of photo-excited charge carriers in CsPbBr3 nanocrystal thin films by ultrafast optical pump - THz probe spectroscopy. We observe a deviation from a pure Drude dispersion of the THz dielectric response that is ascribed to the polaronic nature of carriers; a transient blueshift of observed phonon frequencies is indicative of the coupling between photogenerated charges and stretching-bending modes of the deformed inorganic sublattice, as confirmed by DFT calculations.


title: Reconfigurable formations of quadrotors on Lissajous curves for surveillance applications

abstract: This paper proposes trajectory planning strategies for online reconfiguration of a multi-agent formation on a Lissajous curve. In our earlier work, a multi-agent formation with constant parametric speed was proposed in order to address multiple objectives such as repeated collision-free surveillance and guaranteed sensor coverage of the area with ability for rogue target detection and trapping. This work addresses the issue of formation reconfiguration within this context. In particular, smooth parametric trajectories are designed for the purpose using calculus of variations. These trajectories have been employed in conjunction with a simple local cooperation scheme so as to achieve collision-free reconfiguration between different Lissajous curves. A detailed theoretical analysis of the proposed scheme is provided. These surveillance and reconfiguration strategies have also been validated through simulations in MATLAB\reg for agents performing parametric motion along the curves, and by Software-In-The-Loop simulation for quadrotors. In addition, they are validated experimentally with a team of quadrotors flying in a motion capture environment.


title: CAMLroot: revisiting the OCaml FFI

abstract: The OCaml language comes with a facility for interfacing with C code -- the Foreign Function Interface or FFI. The primitives for working with the OCaml runtime -- and, in particular, with the garbage collector (GC) -- strive for a minimal overhead: they avoid unnecessary work and allow for calls to C code to be very cheap. But they are also hard to use properly. Satisfying the GC invariants leads to counter-intuitive C code and there are hardly any safety checks to warn the developer. In this work, we explore two complementary approaches to mitigate these issues. First, simply adding an indirection to the API manipulating OCaml values let us write safer code amenable to optional runtime tests that assert proper use of the API. Second, a notion of region for tracking lifetimes of OCaml values on C side let us trade some performance for simpler code.


title: Topology optimization with worst-case handling of material uncertainties

abstract: In this article a topology optimization method is developed, which is aware of material uncertainties. The uncertainties are handled in a worst-case sense, i.e. the worst possible material distribution over a given uncertainty set is taken into account for each topology. The worst-case approach leads to a minimax problem, which is analyzed throughout the paper. A conservative convex relaxation for the inner maximization problem is suggested, which allows to treat the minimax problem by minimization of an optimal value function. A Tikhonov type and a barrier regularization scheme are developed, which render the resulting minimization problem continuously differentiable. The barrier regularization scheme turns out to be more suitable for the practical solution of the problem, as it can be closely linked to a highly efficient interior point approach used for the evaluation of the optimal value function and its gradient. Based on this, the outer minimization problem can be approached by a gradient based optimization solver like the method of moving asymptotes. Examples from additive manufacturing as well as material degradation are examined, demonstrating the practical applicability as well as the efficiency of the suggested method. Finally, the impact of the convex relaxation of the inner problem is investigated. It is observed that for large material deviations, the robust solution may become too conservative. As a remedy, a RAMP-type continuation scheme for the inner problem is suggested and numerically tested.


title: On the potential for open-endedness in neural networks

abstract: Natural evolution gives the impression of leading to an open-ended process of increasing diversity and complexity. If our goal is to produce such open-endedness artificially, this suggests an approach driven by evolutionary metaphor. On the other hand, techniques from machine learning and artificial intelligence are often considered too narrow to provide the sort of exploratory dynamics associated with evolution. In this paper, we hope to bridge that gap by reviewing common barriers to open-endedness in the evolution-inspired approach and how they are dealt with in the evolutionary case - collapse of diversity, saturation of complexity, and failure to form new kinds of individuality. We then show how these problems map onto similar issues in the machine learning approach, and discuss how the same insights and solutions which alleviated those barriers in evolutionary approaches can be ported over. At the same time, the form these issues take in the machine learning formulation suggests new ways to analyze and resolve barriers to open-endedness. Ultimately, we hope to inspire researchers to be able to interchangeably use evolutionary and gradient-descent-based machine learning methods to approach the design and creation of open-ended systems.


title: Halide perovskites: Is it all about the interfaces?

abstract: Design and modification of the interfaces, always a critical issue for semiconductor devices, has become the primary tool to harness the full potential of halide perovskite (HaP)-based ones. In particular the outstanding improvements in HaP solar cell performance and stability can be primarily ascribed to a careful choice of the interfacial layout in the layer stack. In this review we describe the unique challenges and opportunities of these approaches (section A). For this purpose, we first elucidate the basic physical and chemical properties of the exposed HaP thin film and crystal surface (section B). We then lay out the energetic alignment processes to adjacent transport and buffer layers (section C) and finally elaborate on the impact of the interface formation on how well/poor a device functions. Based on those sections we then present a road map for the next steps in interfacial design principles for HaP semiconductors (section D).


title: Singular Behavior of Harmonic Maps Near Corners

abstract: For a harmonic map $\mathcal{F}:\mathcal{Z} {\buildrel {\,harm\,} \over\longrightarrow} \mathcal{W}$ transforming the contour of a corner of the boundary $\partial\mathcal{Z}$ into a rectilinear segment of the boundary $\partial\mathcal{W}$, the behavior near the vertex of the specified corner is investigated. The behavior of the inverse map $\mathcal{F}^{-1}:\mathcal{W} \longrightarrow \mathcal{Z}$ near the preimage of the vertex is investigated as well. In particular, we prove that if $\varphi$ is the value of the exit angle from the vertex of the reentrant corner for a smooth curve $\mathcal{L}$ and $\theta$ is the value of the exit angle from the vertex image for the image $\mathcal{F} (\mathcal{L})$ of the specified curve, then the dependence of $\theta$ on $\varphi$ is described by a discontinuous function.Thus, such a behavior of the harmonic map qualitatively differs from the behavior of the corresponding conformal map: for the latter one, the dependence $\theta (\varphi)$ is described by a linear function.


title: Online Learning to Rank with List-level Feedback for Image Filtering

abstract: Online learning to rank (OLTR) via implicit feedback has been extensively studied for document retrieval in cases where the feedback is available at the level of individual items. To learn from item-level feedback, the current algorithms require certain assumptions about user behavior. In this paper, we study a more general setup: OLTR with list-level feedback, where the feedback is provided only at the level of an entire ranked list. We propose two methods that allow online learning to rank in this setup. The first method, PGLearn, uses a ranking model to generate policies and optimizes it online using policy gradients. The second method, RegLearn, learns to combine individual document relevance scores by directly predicting the observed list-level feedback through regression. We evaluate the proposed methods on the image filtering task, in which deep neural networks (DNNs) are used to rank images in response to a set of standing queries. We show that PGLearn does not perform well in OLTR with list-level feedback. RegLearn, instead, shows good performance in both online and offline metrics.


title: The Crossing Tverberg Theorem

abstract: Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls of the $X_i$, $i=1,\ldots,r$, all share a common point. In this paper, we prove a strengthening of this theorem that guarantees a partition which, in addition to the above, has the property that the boundaries of full-dimensional convex hulls have pairwise nonempty intersections. Possible generalizations and algorithmic aspects are also discussed. As a concrete application, we show that any $n$ points in the plane in general position span $\lfloor n/3\rfloor$ vertex-disjoint triangles that are pairwise crossing, meaning that their boundaries have pairwise nonempty intersections; this number is clearly best possible. A previous result of Rebollar et al.\ guarantees $\lfloor n/6\rfloor$ pairwise crossing triangles. Our result generalizes to a result about simplices in $\mathbb R^d,d\ge2$.


title: EasiCSDeep: A deep learning model for Cervical Spondylosis Identification using surface electromyography signal

abstract: Cervical spondylosis (CS) is a common chronic disease that affects up to two-thirds of the population and poses a serious burden on individuals and society. The early identification has significant value in improving cure rate and reducing costs. However, the pathology is complex, and the mild symptoms increase the difficulty of the diagnosis, especially in the early stage. Besides, the time-consuming and costliness of hospital medical service reduces the attention to the CS identification. Thus, a convenient, low-cost intelligent CS identification method is imperious demanded. In this paper, we present an intelligent method based on the deep learning to identify CS, using the surface electromyography (sEMG) signal. Faced with the complex, high dimensionality and weak usability of the sEMG signal, we proposed and developed a multi-channel EasiCSDeep algorithm based on the convolutional neural network, which consists of the feature extraction, spatial relationship representation and classification algorithm. To the best of our knowledge, this EasiCSDeep is the first effort to employ the deep learning and the sEMG data to identify CS. Compared with previous state-of-the-art algorithm, our algorithm achieves a significant improvement.


title: Prop of ribbon hypergraphs and strongly homotopy involutive Lie bialgebras

abstract: For any integer $d$ we introduce a prop $RHra_d$ of oriented ribbon hypergraphs (in which "edges" can connect more than two vertices) and prove that it admits a canonical morphism of props, $$ Holieb_d^\diamond \longrightarrow RHra_d, $$ $Holieb_d^\diamond$ being the (degree shifted) minimal resolution of prop of involutive Lie bialgebras, which is non-trivial on every generator of $Holieb_d^\diamond$. We obtain two applications of this general construction. As a first application we show that for any graded vector space $W$ equipped with a family of cyclically (skew)symmetric higher products the associated vector space of cyclic words in elements of $W$ has a combinatorial $Holieb_d^\diamond$-structure. As an illustration we construct for each natural number $N\geq 1$ an explicit combinatorial strongly homotopy involutive Lie bialgebra structure on the vector space of cyclic words in $N$ graded letters which extends the well-known Schedler's necklace Lie bialgebra structure from the formality theory of the Goldman-Turaev Lie bialgebra in genus zero. Second, we introduced new (in general, non-trivial) operations in string topology. Given any closed connected and simply connected manifold $M$ of dimension $\geq 4$. We show that the reduced equivariant homology $\bar{H}_\bullet^{S^1}(LM)$ of the space $LM$ of free loops in $M$ carries a canonical representation of the dg prop $Holieb_{2-n}^\diamond$ on $\bar{H}_\bullet^{S^1}(LM)$ controlled by four ribbon hypergraphs explicitly shown in this paper.


title: CFUN: Combining Faster R-CNN and U-net Network for Efficient Whole Heart Segmentation

abstract: In this paper, we propose a novel heart segmentation pipeline Combining Faster R-CNN and U-net Network (CFUN). Due to Faster R-CNN's precise localization ability and U-net's powerful segmentation ability, CFUN needs only one-step detection and segmentation inference to get the whole heart segmentation result, obtaining good results with significantly reduced computational cost. Besides, CFUN adopts a new loss function based on edge information named 3D Edge-loss as an auxiliary loss to accelerate the convergence of training and improve the segmentation results. Extensive experiments on the public dataset show that CFUN exhibits competitive segmentation performance in a sharply reduced inference time. Our source code and the model are publicly available at https://github.com/Wuziyi616/CFUN.


title: Fluctuations and photon statistics in quantum metamaterial near the superradiant transition

abstract: The analysis of single-mode photon fluctuations and their counting statistics at the superradiant phase transition is presented. The study concerns the equilibrium Dicke model in a regime where the Rabi frequency, related to a coupling of the photon mode with a finite-number qubit environment, plays a role of the transition's control parameter. We use the effective Matsubara action formalism based on the representation of Pauli operators as bilinear forms with complex and Majorana fermions. Then, we address fluctuations of superradiant order parameter and quasiparticles. The average photon number, the fluctuational Ginzburg-Levanyuk region of the phase transition and Fano factor are evaluated. We determine the cumulant generating function which describes a full counting statistics of equilibrium photon number. Exact numerical simulation of the superradiant transition demonstrates quantitative agreement with analytical calculations.


title: Eigenvalue bounds for some classes of matrices associated with graphs

abstract: For a given complex square matrix $A$ with constant row sum, we establish two new eigenvalue inclusion sets. Using these bounds, first we derive bounds for the second largest and smallest eigenvalues of adjacency matrices of $k$-regular graphs. Then, we establish some bounds for the second largest and the smallest eigenvalues of the normalized adjacency matrices of graphs and the second smallest eigenvalue and the largest eigenvalue of the Laplacian matrices of graphs. Sharpness of these bounds are verified by examples.


title: The root cause of hydrogen induced changes in optical transmission of vanadium

abstract: The changes in the optical transmission of thin vanadium layers upon hydrogen absorption are found to be dominated by the volume changes of the layers and not directly linked to concentration. This effect is demonstrated by utilising the difference in the hydrogen induced expansion of V layers in Fe/V and Cr/V superlattices. Hydrogen resides solely in the vanadium layers in these superlattices, while occupying different sites, causing different lattice expansion. Quantitative agreement is obtained between the experimental results and first principle density functional calculations.


title: On the arithmetic and the geometry of skew-reciprocal polynomials

abstract: We reformulate Lehmer's question from 1933 and a question due to Schinzel and Zassenhaus from 1965 in terms of a comparison of the Mahler measures and the houses, respectively, of monic integer reciprocal and skew-reciprocal polynomials of the same degree. This entails that understanding the difference between orientation-preserving and orientation-reversing mapping classes is at least as complicated as answering these questions.


title: Localized inverse factorization

abstract: We propose a localized divide and conquer algorithm for inverse factorization $S^{-1} = ZZ^*$ of Hermitian positive definite matrices $S$ with localized structure, e.g. exponential decay with respect to some given distance function on the index set of $S$. The algorithm is a reformulation of recursive inverse factorization [J. Chem. Phys., 128 (2008), 104105] but makes use of localized operations only. At each level of recursion, the problem is cut into two subproblems and their solutions are combined using iterative refinement [Phys. Rev. B, 70 (2004), 193102] to give a solution to the original problem. The two subproblems can be solved in parallel without any communication and, using the localized formulation, the cost of combining their results is proportional to the cut size, defined by the binary partition of the index set. This means that for cut sizes increasing as $o(n)$ with system size $n$ the cost of combining the two subproblems is negligible compared to the overall cost for sufficiently large systems. We also present an alternative derivation of iterative refinement based on a sign matrix formulation, analyze the stability, and propose a parameterless stopping criterion. We present bounds for the initial factorization error and the number of iterations in terms of the condition number of $S$ when the starting guess is given by the solution of the two subproblems in the binary recursion. These bounds are used in theoretical results for the decay properties of the involved matrices. The localization properties of our algorithms are demonstrated for matrices corresponding to nearest neighbor overlap on one-, two-, and three-dimensional lattices as well as basis set overlap matrices generated using the Hartree-Fock and Kohn-Sham density functional theory electronic structure program Ergo [SoftwareX, 7 (2018), 107].


title: C3: Concentrated-Comprehensive Convolution and its application to semantic segmentation

abstract: One of the practical choices for making a lightweight semantic segmentation model is to combine a depth-wise separable convolution with a dilated convolution. However, the simple combination of these two methods results in an over-simplified operation which causes severe performance degradation due to loss of information contained in the feature map. To resolve this problem, we propose a new block called Concentrated-Comprehensive Convolution (C3) which applies the asymmetric convolutions before the depth-wise separable dilated convolution to compensate for the information loss due to dilated convolution. The C3 block consists of a concentration stage and a comprehensive convolution stage. The first stage uses two depth-wise asymmetric convolutions for compressed information from the neighboring pixels to alleviate the information loss. The second stage increases the receptive field by using a depth-wise separable dilated convolution from the feature map of the first stage. We applied the C3 block to various segmentation frameworks (ESPNet, DRN, ERFNet, ENet) for proving the beneficial properties of our proposed method. Experimental results show that the proposed method preserves the original accuracies on Cityscapes dataset while reducing the complexity. Furthermore, we modified ESPNet to achieve about 2% better performance while reducing the number of parameters by half and the number of FLOPs by 35% compared with the original ESPNet. Finally, experiments on ImageNet classification task show that C3 block can successfully replace dilated convolutions.


title: Brewster effect when approaching exceptional points of degeneracy: Epsilon-near-zero behavior

abstract: We reveal that the phenomenon of full transmission without phase accumulation commonly associated with epsilon-near-zero (ENZ) materials for a plane-wave does not require vanishing of permittivity. We theoretically connect the phenomenon with condition of the Brewster effect satisfied at the edges of stop bands (so called exceptional points of degeneracy) and show that the full transmission without phase accumulation can be observed in various one-dimensional periodic structures. Particularly, exploiting the manifold of exceptional points of degeneracy in one-dimensional all-dielectric periodic lattices, we demonstrate that these structures not only offer a lossless and extremely simple, CMOS compatible alternative for some applications of ENZ media, but exhibit new properties of all-angle full transmission with zero phase delay.


title: Separation of water and fat signal in whole-body gradient echo scans using convolutional neural networks

abstract: Purpose: To perform and evaluate water-fat signal separation of whole-body gradient echo scans using convolutional neural networks. Methods: Whole-body gradient echo scans of 240 subjects, each consisting of 5 bipolar echoes, were used. Reference fat fraction maps were created using a conventional method. Convolutional neural networks, more specifically 2D U-nets, were trained using 5-fold cross-validation with 1 or several echoes as input, using the squared difference between the output and the reference fat fraction maps as the loss function. The outputs of the networks were assessed by the loss function, measured liver fat fractions, and visually. Training was performed using a graphics processing unit (GPU). Inference was performed using the GPU as well as a central processing unit (CPU). Results: The loss curves indicated convergence, and the final loss of the validation data decreased when using more echoes as input. The liver fat fractions could be estimated using only 1 echo, but results were improved by use of more echoes. Visual assessment found the quality of the outputs of the networks to be similar to the reference even when using only 1 echo, with slight improvements when using more echoes. Training a network took at most 28.6 h. Inference time of a whole-body scan took at most 3.7 s using the GPU and 5.8 min using the CPU. Conclusion: It is possible to perform water-fat signal separation of whole-body gradient echo scans using convolutional neural networks. Separation was possible using only 1 echo, although using more echoes improved the results.


title: Strong Cosmic Censorship under Quasinormal Modes of Non-Minimally Coupled Massive Scalar Field

abstract: We investigate the strong cosmic censorship conjecture in lukewarm Reissner-Nordstr\"{o}m-de Sitter black holes (and Mart\'{i}nez-Troncoso-Zanelli black holes) using the quasinormal resonance of non-minimally coupled massive scalar field. The strong cosmic censorship conjecture is closely related to the stability of the Cauchy horizon governed by the decay rate of the dominant quasinormal mode. Here, dominant modes are obtained in the limits of small and large mass black holes. Then, we connect the modes by using the WKB approximation. In our analysis, the strong cosmic censorship conjecture is valid except in the range of the small-mass limit, in which the dominant mode can be assumed to be that of the de Sitter spacetime. Particularly, the coupling constant and mass of the scalar field determine the decay rate in the small mass range. Therefore, the validity of the strong cosmic censorship conjecture depends on the characteristics of the scalar field.


title: Multiferroic spin-superfluid and spin-supersolid phases in MnCr2S4

abstract: Spin supersolids and spin superfluids reveal complex canted spin structures with independent order of longitudinal and transverse spin components. This work addresses the question whether these exotic phases can exhibit spin-driven ferroelectricity. Here we report the results of dielectric and pyrocurrent measurements of MnCr2S4 as function of temperature and magnetic field up to 60 T. This sulfide chromium spinel exhibits a Yafet-Kittel type canted spin structure at low temperatures. As function of external magnetic field, the manganese spins undergo a sequence of ordering patterns of the transverse and longitudinal spin components, which can be mapped onto phases as predicted by lattice-gas models including solid, liquid, super-fluid, and supersolid phases. By detailed dielectric and pyrocurrent measurements, we document a zoo of multiferroic phases with sizable ferroelectric polarization strongly varying from phase to phase. Using lattice-gas terminology, the title compound reveals multiferroic spin-superfluid and spin-supersolid phases, while the antiferromagnetic solid is paraelectric.


title: On Bohr's theorem for general Dirichlet series

abstract: We present quantitative versions of Bohr's theorem on general Dirichlet series $D=\sum a_{n} e^{-\lambda_{n}s}$ assuming different assumptions on the frequency $\lambda:=(\lambda_{n})$, including the conditions introduced by Bohr and Landau. Therefore using the summation method by typical (first) means invented by M. Riesz, without any condition on $\lambda$, we give upper bounds for the norm of the partial sum operator $S_{N}(D):=\sum_{n=1}^{N} a_{n}(D)e^{-\lambda_{n}s}$ of length $N$ on the space $\mathcal{D}_{\infty}^{ext}(\lambda)$ of all somewhere convergent $\lambda$-Dirichlet series allowing a holomorphic and bounded extension to the open right half plane $[Re>0]$. As a consequence for some classes of $\lambda$'s we obtain a Montel theorem in $\mathcal{D}_{\infty}(\lambda)$; the space of all $D \in \mathcal{D}_{\infty}^{ext}(\lambda)$ which converge on $[Re>0]$. Moreover following the ideas of Neder we give a construction of frequencies $\lambda$ for which $\mathcal{D}_{\infty}(\lambda)$ fails to be complete.


title: Ancient solutions for Andrews' hypersurface flow

abstract: We construct the ancient solutions of the hypersurface flows in Euclidean spaces studied by B. Andrews in 1994. As time $t \rightarrow 0^-$ the solutions collapse to a round point where $0$ is the singular time. But as $t\rightarrow-\infty$ the solutions become more and more oval. Near the center the appropriately-rescaled pointed Cheeger-Gromov limits are round cylinder solutions $S^J \times \mathbb{R}^{n-J}$, $1 \leq J \leq n-1$. These results are the analog of the corresponding results in Ricci flow ($J=n-1$) and mean curvature flow.


title: Protective layer enhanced the stability and superconductivity of tailored antimonene bilayer

abstract: For two-dimensional superconductors, the high stability in ambient conditions is critical for experiments and applications. Few-layer antimonene can be non-degradative over a couple of months, which is superior to the akin black phosphorus. Based on the anisotropic Migdal-Eliashberg theory and maximally-localised Wannier functions, this work predicts that electron-doping and Ca-intercalation can transform $\beta$-Sb bilayer from a semimetal to a superconductor. However, the stability of antimonene bilayer in air trends to be decreased due to the electron doping. To overcome this drawback, two kinds of protective layers (graphene and $h$-BN) are proposed to enhance the stability. Interestingly, the superconducting transition temperature will also be enhanced to $9.6$ K, making it a promising candidate as nanoscale superconductor.


title: Multiple Model-Free Knockoffs

abstract: Model-free knockoffs is a recently proposed technique for identifying covariates that is likely to have an effect on a response variable. The method is an efficient method to control the false discovery rate in hypothesis tests for separate covariates. This paper presents a generalisation of the technique using multiple sets of model-free knockoffs. This is formulated as an open question in Candes et al. [4]. With multiple knockoffs, we are able to reduce the randomness in the knockoffs, making the result stronger. Since we use the same structure for generating all the knockoffs, the computational resources is far smaller than proportional with the number of knockoffs. We prove a bound on the asymptotic false discovery rate when the number of sets increases that is better then the published bounds for one set.


title: Semi-Supervised Learning for Face Sketch Synthesis in the Wild

abstract: Face sketch synthesis has made great progress in the past few years. Recent methods based on deep neural networks are able to generate high quality sketches from face photos. However, due to the lack of training data (photo-sketch pairs), none of such deep learning based methods can be applied successfully to face photos in the wild. In this paper, we propose a semi-supervised deep learning architecture which extends face sketch synthesis to handle face photos in the wild by exploiting additional face photos in training. Instead of supervising the network with ground truth sketches, we first perform patch matching in feature space between the input photo and photos in a small reference set of photo-sketch pairs. We then compose a pseudo sketch feature representation using the corresponding sketch feature patches to supervise our network. With the proposed approach, we can train our networks using a small reference set of photo-sketch pairs together with a large face photo dataset without ground truth sketches. Experiments show that our method achieve state-of-the-art performance both on public benchmarks and face photos in the wild. Codes are available at https://github.com/chaofengc/Face-Sketch-Wild.


title: Winding number and Cutting number of Harmonic cycle

abstract: A harmonic cycle $\lambda$, also called a discrete harmonic form, is a solution of the Laplace's equation with the combinatorial Laplace operator obtained from the boundary operators of a chain complex. By the combinatorial Hodge theory, harmonic spaces are isomorphic to the homology groups with real coefficients. In particular, if a cell complex has a one dimensional reduced homology, it has a unique harmonic cycle up to scalar, which we call the \emph{standard harmonic cycle}. In this paper, we will present a formula for the standard harmonic cycle $\lambda$ of a cell complex based on a high-dimensional generalization of cycletrees. Moreover, by using duality, we will define the standard harmonic cocycle $\lambda^*$, and show intriguing combinatorial properties of $\lambda$ and $\lambda^*$ in relation to (dual) spanning trees, (dual) cycletrees, winding numbers $w(\cdot)$ and cutting numbers $c(\cdot)$ in high dimensions.


title: Instability of a horizontal water half-cylinder under vertical vibration

abstract: We present the results of an experimental investigation on parametrically driven waves in a water half-cylinder on a rigid horizontal plate, which is sinusoidally vibrated in the vertical direction. As the forcing amplitude is raised above a critical value, stationary waves are excited in the water half-cylinder. Parametrically excited subharmonic waves are non-axisymmetricand qualitatively different from the axisymmetric Savart-Plateau-Rayleigh waves in a vertical liquid cylinder or jet. Depending on the driving frequency, stationary waves of different azimuthal wave numbers are excited. A linear theory is also supplemented, which captures the observed dispersion relations quantitatively.


title: Combining DFT with ML to study size specific interactions between metal clusters and adsorbates

abstract: To date, density functional theory (DFT) is one of the most accurate and yet practical theory to gain insight about materials properties. Although successful, the computational cost is the main hurdle even today. A way out is combining DFT with machine learning (ML) to reduce the computational cost without compromising accuracy. However, the success of this approach hinges on the correctness of the descriptors. In the present work, we demonstrate that, based on {\it only} interatomic distances as descriptors, our ML model predicts interaction energy between an adsorbate and Al cluster with absolute mean error (AME) $\sim$ 0.05 eV (or less) and reproduces the PES experienced by an incoming atom. Our extensive DFT calculations reveal that atoms experiencing identical environment within a cluster have identical interaction energy patterns. Further, we demonstrate that our model is not specific to Al clusters, and could be applied to clusters of different elements as well. Its application to compute PES experienced by various test atoms and molecules in the vicinity of different clusters proves the transferability of the model not just to clusters of different elements but also to various molecules. The descriptors chosen are invariant to rotation, translation, and permutation yet very simple to compute is one of the most crucial points of the present work.


title: Generalized inverse xgamma distribution: A non-monotone hazard rate model

abstract: In this article, a generalized inverse xgamma distribution (GIXGD) has been introduced as the generalized version of the inverse xgamma distribution. The proposed model exhibits the pattern of non-monotone hazard rate and belongs to family of positively skewed models. The explicit expressions of some distributional properties, such as, moments, inverse moments, conditional moments, mean deviation, quantile function have been derived. The maximum likelihood estimation procedure has been used to estimate the unknown model parameters as well as survival characteristics of GIXGD. The practical applicability of the proposed model has been illustrated through a survival data of guinea pigs.


title: A family of scalar-Einstein and vacuum Brans-Dicke axisymmetric solutions

abstract: A new method is proposed, that establishes a one to one correspondance between the whole set of static axially symmetric vacuum GR solutions and a specific class of stationary axially symmetric scalar-Einstein solutions having a given mass and a given angular momentum. The method explicitly takes advantage of the Kerr metric Ricci flatness. This also results in a class of stationary axially symmetric vacuum, ie Kerrlike, Brans-Dicke solutions. A particular solution, that is asymptotically flat, is more closely considered. It converges to Kerr for a vanishing scalar charge, but fails to converge to the Fisher-Janis-Newman-Winicour solution for a vanishing "rotation parameter". This solution exhibits a naked singularity having a ringlike structure.


title: DoS Attacks at Cooperative MAC

abstract: Cooperative networking brings performance improvement to most of the issues in wireless networks, such as fading or delay due to slow stations. However, due to cooperation when data is relayed via other nodes, there network is more prone to attacks. Since, channel access is very important for cooperation, most of the attacks happens at MAC. One of the most critical attack is denial of service, which is reason of cooperation failure. Therefore, the cooperative network as well as simple wireless LAN must be defensive against DOS attacks. In this article we analyzed all possible of DoS attacks that can happen at MAC layer of WLAN. The cooperative protocols must consider defense against these attacks. This article also provided survey of available solutions to these attacks. At the end it described its damages and cost as well as how to handle these attacks while devising cooperative MAC.


title: Counts of (tropical) curves in $E\times \mathbb{P}^1$ and Feynman integrals

abstract: We study generating series of Gromov-Witten invariants of $E\times\mathbb{P}^1$ and their tropical counterparts. Using tropical degeneration and floor diagram techniques, we can express the generating series as sums of Feynman integrals, where each summand corresponds to a certain type of graph which we call a pearl chain. The individual summands are --- just as in the case of mirror symmetry of elliptic curves, where the generating series of Hurwitz numbers equals a sum of Feynman integrals --- complex analytic path integrals involving a product of propagators (equal to the Weierstrass-$\wp$-function plus an Eisenstein series). We also use pearl chains to study generating functions of counts of tropical curves in $E_{\mathbb{T}}\times\mathbb{P}^1_\mathbb{T}$ of so-called leaky degree.


title: Split Grothendieck rings of rooted trees and skew shapes via monoid representations

abstract: We study commutative ring structures on the integral span of rooted trees and $n$-dimensional skew shapes. The multiplication in these rings arises from the smash product operation on monoid representations in pointed sets. We interpret these as Grothendieck rings of indecomposable monoid representations over $\fun$ - the "field" of one element. We also study the base-change homomorphism from $\mt$-modules to $k[t]$-modules for a field $k$ containing all roots of unity, and interpret the result in terms of Jordan decompositions of adjacency matrices of certain graphs.


title: Limit of 1-Dimensional Mixed-Mechanism Interacting Particle System Model

abstract: Elaborating on the model from voter process with mixed-mechanism under suitable scaling, I have two new mechanisms which are random switch and unbiased local Homogenization and subtly biased advantage but with state dependent coefficient involved. The most crucial one, the existence of high-frequency duplication generating the diffusion term and noise term in each case identifies the limit equation as SPDE driven by space time white noise.


title: Nanotechnology: The New Features

abstract: Nanotechnologies are attracting increasing investments from both governments and industries around the world, which offers great opportunities to explore the new emerging nanodevices, such as the Carbon Nanotube and Nanosensors. This technique exploits the specific properties which arise from structure at a scale characterized by the interplay of classical physics and quantum mechanics. It is difficult to predict these properties a priori according to traditional technologies. Nanotechnologies will be one of the next promising trends after MOS technologies. However, there has been much hype around nanotechnology, both by those who want to promote it and those who have fears about its potentials. This paper gives a deep survey regarding different aspects of the new nanotechnologies, such as materials, physics, and semiconductors respectively, followed by an introduction of several state-of-the-art nanodevices and then new nanotechnology features. Since little research has been carried out on the toxicity of manufactured nanoparticles and nanotubes, this paper also discusses several problems in the nanotechnology area and gives constructive suggestions and predictions.


title: The finitary content of sunny nonexpansive retractions

abstract: We use techniques of proof mining to extract a uniform rate of metastability (in the sense of Tao) for the strong convergence of approximants to fixed points of uniformly continuous pseudocontractive mappings in Banach spaces which are uniformly convex and uniformly smooth, i.e. a slightly restricted form of the classical result of Reich. This is made possible by the existence of a modulus of uniqueness specific to uniformly convex Banach spaces and by the arithmetization of the use of the limit superior. The metastable convergence can thus be proved in a system which has the same provably total functions as first-order arithmetic and therefore one may interpret the resulting proof in G\"odel's system $T$ of higher-type functionals. The witness so obtained is then majorized (in the sense of Howard) in order to produce the final bound, which is shown to be definable in the subsystem $T_1$. This piece of information is further used to obtain rates of metastability to results which were previously only analyzed from the point of view of proof mining in the context of Hilbert spaces, i.e. the convergence of the iterative schemas of Halpern and Bruck.


title: A semi-proximal augmented Lagrangian based decomposition method for primal block angular convex composite quadratic conic programming problems

abstract: We propose a semi-proximal augmented Lagrangian based decomposition method for convex composite quadratic conic programming problems with primal block angular structures. Using our algorithmic framework, we are able to naturally derive several well known augmented Lagrangian based decomposition methods for stochastic programming such as the diagonal quadratic approximation method of Mulvey and Ruszczy\'{n}ski. Moreover, we are able to derive novel enhancements and generalizations of these well known methods. We also propose a semi-proximal symmetric Gauss-Seidel based alternating direction method of multipliers for solving the corresponding dual problem. Numerical results show that our algorithms can perform well even for very large instances of primal block angular convex QP problems. For example, one instance with more than $300,000$ linear constraints and $12,500,000$ nonnegative variables is solved in less than a minute whereas Gurobi took more than 3 hours, and another instance {\tt qp-gridgen1} with more than $331,000$ linear constraints and $986,000$ nonnegative variables is solved in about 5 minutes whereas Gurobi took more than 35 minutes.


title: Description of algorithms for Ben-Gurion University Submission to the LOCATA challenge

abstract: This paper summarizes the methods used to localize the sources recorded for the LOCalization And TrAcking (LOCATA) challenge. The tasks of stationary sources and arrays were considered, i.e., tasks 1 and 2 of the challenge, which were recorded with the Nao robot array, and the Eigenmike array. For both arrays, direction of arrival (DOA) estimation has been performed with measurements in the short time Fourier transform domain, and with direct-path dominance (DPD) based tests, which aim to identify time-frequency (TF) bins dominated by the direct sound. For the recordings with Nao, a DPD test which is applied directly to the microphone signals was used. For the Eigenmike recordings, a DPD based test designed for plane-wave density measurements in the spherical harmonics domain was used. After acquiring DOA estimates with TF bins that passed the DPD tests, a stage of k-means clustering is performed, to assign a final DOA estimate for each speaker.


title: Long-range depth imaging using a single-photon detector array and non-local data fusion

abstract: The ability to measure and record high-resolution depth images at long stand-off distances is important for a wide range of applications, including connected and automotive vehicles, defense and security, and agriculture and mining. In LIDAR (light detection and ranging) applications, single-photon sensitive detection is an emerging approach, offering high sensitivity to light and picosecond temporal resolution, and consequently excellent surface-to-surface resolution. The use of large format CMOS single-photon detector arrays provides high spatial resolution and allows the timing information to be acquired simultaneously across many pixels. In this work, we combine state-of-the-art single-photon detector array technology with non-local data fusion to generate high resolution three-dimensional depth information of long-range targets. The system is based on a visible pulsed illumination system at 670~nm and a 240~$\times$ 320 pixel array sensor, achieving sub-centimeter precision in all three spatial dimensions at a distance of 150 meters. The non-local data fusion combines information from an optical image with sparse sampling of the single-photon array data, providing accurate depth information at low signature regions of the target.


title: On Spin II

abstract: Having previously identified the photon field with a (special) linear Complex, we give a brief account on identifications and reasoning so far. Then, in order to include spinorial degrees of freedom into the Lagrangean description, we discuss the mapping of lines to spins based on an old transfer principle by Lie. This introduces quaternionic reps and relates to our original group-based approach by SU(4) and SU*(4)~SL(2,H), respectively. Finally, we discuss some related geometrical aspects in terms of (spatial) projective geometry which point to a projective construction scheme and algebraic geometry.


title: Tree-structured Kronecker Convolutional Network for Semantic Segmentation

abstract: Most existing semantic segmentation methods employ atrous convolution to enlarge the receptive field of filters, but neglect partial information. To tackle this issue, we firstly propose a novel Kronecker convolution which adopts Kronecker product to expand the standard convolutional kernel for taking into account the partial feature neglected by atrous convolutions. Therefore, it can capture partial information and enlarge the receptive field of filters simultaneously without introducing extra parameters. Secondly, we propose Tree-structured Feature Aggregation (TFA) module which follows a recursive rule to expand and forms a hierarchical structure. Thus, it can naturally learn representations of multi-scale objects and encode hierarchical contextual information in complex scenes. Finally, we design Tree-structured Kronecker Convolutional Networks (TKCN) which employs Kronecker convolution and TFA module. Extensive experiments on three datasets, PASCAL VOC 2012, PASCAL-Context and Cityscapes, verify the effectiveness of our proposed approach. We make the code and the trained model publicly available at https://github.com/wutianyiRosun/TKCN.


title: Fractional smoothness in $L^p$ with Dunkl weight and its applications

abstract: We define fractional power of the Dunkl Laplacian, fractional modulus of smoothness and fractional $K$-functional in $L^p$-space with the Dunkl weight. As application, we prove direct and inverse theorems of approximation theory, and some inequalities for entire functions of spherical exponential type in fractional settings.


title: A differential graded Lie algebra controlling the Poisson deformations of an affine Poisson variety

abstract: We construct a differential graded Lie algebra $\fg$ controlling the Poisson deformations of an affine Poisson variety. We analyse $\fg$ in the case of affine Gorenstein toric Poisson varieties. Moreover, explicit description of the second and third Hochschild cohomology groups is given for three-dimensional affine Gorenstein toric varieties.


title: A Style-Based Generator Architecture for Generative Adversarial Networks

abstract: We propose an alternative generator architecture for generative adversarial networks, borrowing from style transfer literature. The new architecture leads to an automatically learned, unsupervised separation of high-level attributes (e.g., pose and identity when trained on human faces) and stochastic variation in the generated images (e.g., freckles, hair), and it enables intuitive, scale-specific control of the synthesis. The new generator improves the state-of-the-art in terms of traditional distribution quality metrics, leads to demonstrably better interpolation properties, and also better disentangles the latent factors of variation. To quantify interpolation quality and disentanglement, we propose two new, automated methods that are applicable to any generator architecture. Finally, we introduce a new, highly varied and high-quality dataset of human faces.


title: Subjective Annotations for Vision-Based Attention Level Estimation

abstract: Attention level estimation systems have a high potential in many use cases, such as human-robot interaction, driver modeling and smart home systems, since being able to measure a person's attention level opens the possibility to natural interaction between humans and computers. The topic of estimating a human's visual focus of attention has been actively addressed recently in the field of HCI. However, most of these previous works do not consider attention as a subjective, cognitive attentive state. New research within the field also faces the problem of the lack of annotated datasets regarding attention level in a certain context. The novelty of our work is two-fold: First, we introduce a new annotation framework that tackles the subjective nature of attention level and use it to annotate more than 100,000 images with three attention levels and second, we introduce a novel method to estimate attention levels, relying purely on extracted geometric features from RGB and depth images, and evaluate it with a deep learning fusion framework. The system achieves an overall accuracy of 80.02%. Our framework and attention level annotations are made publicly available.


title: Configurational Entropy for Skyrmion-like Magnetic Structures

abstract: In this work we explore the relationship between two ideas recently introduced in the literature. The first one deals with a quantity related to the informational contents of solutions of spatially localized structures, and the second consists of obtaining analytical solutions to describe skyrmion-like structures in magnetic materials. In particular, we use the topological charge density to extract information on the configurational entropy of the magnetic structure.


title: The FLUXCOM ensemble of global land-atmosphere energy fluxes

abstract: Although a key driver of Earth's climate system, global land-atmosphere energy fluxes are poorly constrained. Here we use machine learning to merge energy flux measurements from FLUXNET eddy covariance towers with remote sensing and meteorological data to estimate net radiation, latent and sensible heat and their uncertainties. The resulting FLUXCOM database comprises 147 global gridded products in two setups: (1) 0.0833${\deg}$ resolution using MODIS remote sensing data (RS) and (2) 0.5${\deg}$ resolution using remote sensing and meteorological data (RS+METEO). Within each setup we use a full factorial design across machine learning methods, forcing datasets and energy balance closure corrections. For RS and RS+METEO setups respectively, we estimate 2001-2013 global (${\pm}$ 1 standard deviation) net radiation as 75.8${\pm}$1.4 ${W\ m^{-2}}$ and 77.6${\pm}$2 ${W\ m^{-2}}$, sensible heat as 33${\pm}$4 ${W\ m^{-2}}$ and 36${\pm}$5 ${W\ m^{-2}}$, and evapotranspiration as 75.6${\pm}$10 ${\times}$ 10$^3$ ${km^3\ yr^{-1}}$ and 76${\pm}$6 ${\times}$ 10$^3$ ${km^3\ yr^{-1}}$. FLUXCOM products are suitable to quantify global land-atmosphere interactions and benchmark land surface model simulations.


title: Two Weight Inequalities for Positive Operators: Doubling Cubes

abstract: For the maximal operator $ M $ on $ \mathbb R ^{d}$, and $ 1< p , \rho < \infty $, there is a finite constant $ D = D _{p, \rho }$ so that this holds. For all weights $ w, \sigma $ on $ \mathbb R ^{d}$, the operator $ M (\sigma \cdot )$ is bounded from $ L ^{p} (\sigma ) \to L ^{p} (w)$ if and only the pair of weights $ (w, \sigma )$ satisfy the two weight $ A _{p}$ condition, and this testing inequality holds: \begin{equation*} \int _{Q} M (\sigma \mathbf 1_{Q} ) ^{p} \; d w \lesssim \sigma ( Q), \end{equation*} for all cubes $ Q$ for which there is a cube $ P \supset Q$ satisfying $ \sigma (P) < D \sigma (Q)$, and $ \ell P = \rho \ell Q$. This was recently proved by Kangwei Li and Eric Sawyer. We give a short proof, which is easily seen to hold for several closely related operators.


title: Room-temperature ferromagnetic insulating state in highly cation-ordered epitaxial oxide double perovskite

abstract: Ferromagnetic insulators (FMIs) are one of the most important components in developing dissipationless electronic and spintronic devices. However, since ferromagnetism generally accompanies metallicity, FMIs are innately rare to find in nature. Here, novel room-temperature FMI films are epitaxially synthesized by deliberate control of the ratio of two B-site cations in the double perovskite Sr2FeReO6. In contrast to the known ferromagnetic metallic phase in stoichiometric Sr2FeReO6, a FMI state with a high Curie temperature (Tc~400 K) and a large saturation magnetization (MS~1.8 {\mu}B/f.u.) is found in highly cation-ordered Fe-rich phases. The stabilization of the FMI state is attributed to the formation of extra Fe3+-Fe3+ and Fe3+-Re6+ bonding states, which originate from the excess Fe. The emerging FMI state by controlling cations in the epitaxial oxide perovskites opens the door to developing novel oxide quantum materials & heterostructures.


title: Open-circuit ultrafast generation of nanoscopic toroidal moments: The swift phase generator

abstract: Efficient and flexible schemes for a swift, field-free control of the phase in quantum devices have far-reaching impact on energy-saving operation of quantum computing, data storage, and sensoring nanodevices. We report a novel approach for an ultrafast generation of a field-free vector potential that is tunable in duration, sign, and magnitude, allowing to impart non-invasive, spatio-temporally controlled changes to the quantum nature of nanosystems. The method relies on triggering a steady-state toroidal moment in a donut-shaped nanostructure that serves as a vector-potential generator and quantum phase modulator. Irradiated by moderately intense, few cycle THz pulses with appropriately shaped polarization states, the nano donut is brought to a steady-state where a nearby object does not experience electric nor magnetic fields but feels the photo-generated vector potential. Designing the time structure of the driving THz pulses allows for launching picosecond trains of vector potentials which is the key for a contact-free optimal control of quantum coherent states. During the toroidal moment rise up time radiation is emitted which can be tuned in a very broad frequency band. We carry out full-fledged quantum dynamic simulations, and theoretical analysis to illuminate the underlying principles and to endorse the feasibility, robustness, and versatility of the scheme. This research could trigger a new class of ultrafast quantum devices operated and switched in an energy-efficient, contact and field-free manner, enabling new techniques for use in quantum information, magnetic nanostructures and superconducting tunnel junctions as well as in toroidally ordered systems and multiferroics.