title: Internet-based Adaptive Distributed Simulation of Mobile Ad-hoc Networks

abstract: In this paper we focus on Internet-based simulation, a form of distributed simulation in which a set of execution units that are physically located around the globe work together to run a simulation model. This setup is very challenging because of the latency/variability of communications. Thus, clever mechanisms must be adopted in the distributed simulation, such as the adaptive partitioning of the simulated model and load balancing strategies among execution units. We simulate a wireless model over a real Internet-based distributed simulation setup, and evaluate the scalability of the simulator with and without the use of adaptive strategies for both communication overhead reduction and load-balancing enhancement. The results confirm the viability of our approach to build Internet-based simulations.


title: Modular Hybrid Plasmonic Integrated Circuit -- Rotation, Nanofocusing and Nonlinear Enhancement

abstract: We introduce a modular approach for efficiently interfacing photonic integrated circuits with deep-sub-wavelength hybrid plasmonic functionality. We demonstrate that an off-the-shelf silicon-on-insulator waveguide can be post-processed into an integrated hybrid plasmonic circuit by evaporating a silica and gold nanolayer. The circuit consists of a plasmonic rotator and a nanofocusser module, which together result in nano-scale, nonlinear wavelength conversion. We experimentally characterize each module, and demonstrate an intensity enhancement of $>200$ in a calculated mode area of $50\,{\rm nm}^2$ at $\lambda = 1320\,{\rm nm}$ using second harmonic generation. This work opens the door to customized plasmonic functionalities on industry-standard waveguides, bridging conventional integrated photonic circuits with hybrid plasmonic devices. This approach promises convenient access to nanometre-scale quantum information processing, nonlinear plasmonics, and single-molecule sensing.


title: Credit Card Fraud Detection Using Autoencoder Neural Network

abstract: Imbalanced data classification problem has always been a popular topic in the field of machine learning research. In order to balance the samples between majority and minority class. Oversampling algorithm is used to synthesize new minority class samples, but it could bring in noise. Pointing to the noise problems, this paper proposed a denoising autoencoder neural network (DAE) algorithm which can not only oversample minority class sample through misclassification cost, but it can denoise and classify the sampled dataset. Through experiments, compared with the denoising autoencoder neural network (DAE) with oversampling process and traditional fully connected neural networks, the results showed the proposed algorithm improves the classification accuracy of minority class of imbalanced datasets.


title: Computational Complexity of Hedonic Games on Sparse Graphs

abstract: The additively separable hedonic game (ASHG) is a model of coalition formation games on graphs. In this paper, we intensively and extensively investigate the computational complexity of finding several desirable solutions, such as a Nash stable solution, a maximum utilitarian solution, and a maximum egalitarian solution in ASHGs on sparse graphs including bounded-degree graphs, bounded-treewidth graphs, and near-planar graphs. For example, we show that finding a maximum egalitarian solution is weakly NP-hard even on graphs of treewidth 2, whereas it can be solvable in polynomial time on trees. Moreover, we give a pseudo fixed parameter algorithm when parameterized by treewidth.


title: Late-time large-distance asymptotics of the transverse correlation functions of the XX chain in the space-like regime

abstract: We derive an explicit expression for the leading term in the late-time, large-distance asymptotic expansion of a transverse dynamical two-point function of the XX chain in the spacelike regime. This expression is valid for all non-zero finite temperatures and for all magnetic fields below the saturation threshold. It is obtained here by means of a straightforward term-by-term analysis of a thermal form factor series, derived in previous work, and demonstrates the usefulness of the latter.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Anisotropic bootstrap percolation in three dimensions

abstract: Consider a $p$-random subset $A$ of initially infected vertices in the discrete cube $[L]^3$, and assume that the neighbourhood of each vertex consists of the $a_i$ nearest neighbours in the $\pm e_i$-directions for each $i \in \{1,2,3\}$, where $a_1\le a_2\le a_3$. Suppose we infect any healthy vertex $x\in [L]^3$ already having $a_3+1$ infected neighbours, and that infected sites remain infected forever. In this paper we determine the critical length for percolation up to a constant factor in the exponent, for all triples $(a_1,a_2,a_3)$. To do so, we introduce a new algorithm called the beams process and prove an exponential decay property for a family of subcritical two-dimensional bootstrap processes.


title: Theoretical interpretation of the $D^+_s \to \pi^+ \pi^0 \eta$ decay and the nature of $a_0(980)$

abstract: In a recent paper \cite{Ablikim:2019pit}, the BESIII collaboration reported the so-called first observation of pure $W$-annihilation decays $D^+_s \to a^+_0(980) \pi^0$ and $D_s^+ \to a^0_0(980)\pi^+$. The measured absolute branching fractions are, however, puzzlingly larger than those of other measured pure $W$-annihilation decays by at least one order of magnitude. In addition, the relative phase between the two decay modes is found to be about 180 degrees. In this letter, we show that all these can be easily understood if the $a_0(980)$ is a dynamically generated state from $\bar{K} K$ and $\pi \eta$ interactions in coupled channels. In such a scenario, the $D^+_s$ decay proceeds via internal $W$ emission instead of $W$-annihilation, which has a larger decay rate than $W$-annihilation. The proposed decay mechanism and the molecular nature of the $a_0(980)$ also provide a natural explanation to the measured negative interference between the two decay modes.


title: Steady vortex patches near a rotating flow with constant vorticity in a planar bounded domain

abstract: In this paper, we study steady vortex patch solutions to the incompressible Euler equations in a planar bounded domain $D$. Let $\psi_0$ be the solution of the elliptic problem $-\Delta \psi _{0} =1$ in $D$; $\psi_0=0$ on $\partial D$. We prove that for any finite collection of isolated maximum points of $\psi_0$, say $\{x_1,\cdot\cdot\cdot,x_k\},$ and any $k$-tuple $\vec{\kappa}=(\kappa_1,\cdot,\cdot,\cdot,\kappa_k)$ with $\kappa_i>0$ and $|\vec{\kappa}|:=\sum_{i=1}^k\kappa_i<<1,$ there exists a steady solution of the Euler equations such that the vorticity has the form $\omega^{\vec{\kappa}}=1-I_{\cup_{i=1}^k A^{\vec{\kappa}}_i}$, where $I$ denotes the characteristic function, $|A^{\vec{\kappa}}_i|=\kappa_i$ and $A^{\vec{\kappa}}_i$ "shrinks" to $x_i$ as $|\vec{\kappa}|\to 0$.


title: Opers for higher states of the quantum Boussinesq model

abstract: We study the ODE/IM correspondence for all the states of the quantum Boussinesq model. We consider a particular class of third order linear ordinary differential operators and show that the generalised monodromy data of such operators provide solutions to the Bethe Ansatz equations of the Quantum Boussinesq model.


title: On modelling the kinematics and evolutionary properties of pressure pulse driven impulsive solar jets

abstract: In this paper, we describe the kinematical and evolutionary properties of the impulsive cool jets in the solar atmosphere using numerical simulation by Godunov-type PLUTO code at two different strength of the quiet-Sun magnetic field (B=56, 112 Gauss). These types of chromospheric jets are originated by the pressure pulse, which mimics after effects of the localized heating in the lower solar atmosphere. These jets may be responsible for the transport of mass and energy in the localized upper atmosphere (i.e., corona). The detection of the height-time profiles for the jets, originated by imposing the different pressure pulses, exhibit the asymmetric near parabolic behaviour. This infers that the upward motion of the jet occurs under the influence of pressure perturbation. However, its downward motion is not only governed by the gravitational free fall, but also due to the complex plasma motions near its base under the effect of counter propagating pulses. Maximum height and life-time of the jets w.r.t. the strength of the pressure pulse show a linear increasing trend. This suggests that if the extent of the heating and thus pressure perturbations will be longer then more longer chromospheric jets can be triggered from the same location in the chromosphere. For the certain amplitude of pressure pulse, the strong magnetic field configuration (B=112 Gauss) leads more longer jet compared to the weaker field (B=56 Gauss). This suggests that the strong magnetic field guides the pressure pulse driven jets more efficiency towards the higher corona. In conclusion, our model mimics the properties and evolution of variety of the cool impulsive jets in the chromosphere (e.g., macrospicules, network jets, isolated repeated cool jets, confined \& small surges etc).


title: Detect Camouflaged Spam Content via StoneSkipping: Graph and Text Joint Embedding for Chinese Character Variation Representation

abstract: The task of Chinese text spam detection is very challenging due to both glyph and phonetic variations of Chinese characters. This paper proposes a novel framework to jointly model Chinese variational, semantic, and contextualized representations for Chinese text spam detection task. In particular, a Variation Family-enhanced Graph Embedding (VFGE) algorithm is designed based on a Chinese character variation graph. The VFGE can learn both the graph embeddings of the Chinese characters (local) and the latent variation families (global). Furthermore, an enhanced bidirectional language model, with a combination gate function and an aggregation learning function, is proposed to integrate the graph and text information while capturing the sequential information. Extensive experiments have been conducted on both SMS and review datasets, to show the proposed method outperforms a series of state-of-the-art models for Chinese spam detection.


title: Galactic chimney sweeping: the effect of 'gradual' stellar feedback mechanisms on the evolution of dwarf galaxies

abstract: We investigate the impact of time-resolved `gradual' stellar feedback processes in high redshift dwarf spheroidal galaxies. Here `gradual' feedback refers to individual stellar feedback events which deposit energy over a period of time. We conduct high resolution hydrodynamical simulations of dwarf spheroidal galaxies with halo masses of 10$^7$ M$_{\odot}$ - 10$^8$ M$_{\odot}$, based on z = 6 progenitors of the Milky Way's dwarf spheroidal galaxies. We also include a novel feedback prescription for individual massive stars, which includes stellar winds and a HMXB (High Mass X-ray Binary) phase, on top of supernovae. We find the mass of gas unbound across a 1 Gyr starburst is uniformly lowered if gradual feedback mechanisms are included across the range of metallicities, halo concentration parameters and galaxy masses studied here. Furthermore, we find including gradual feedback in the smallest galaxies delays the unbinding of the majority of the gas and facilitates the production of `chimneys' in the dense shell surrounding the feedback generated hot, pressurised `superbubble'. These `chimneys' vent hot gas from the galaxy interior, lowering the temperature of the central 10 kpc of the gaseous halo. Additionally, we find radiative cooling has little effect on the energetics of simulations that include a short, violent starburst compared with those that have a longer, less concentrated starburst. Finally, we investigate the relative impact of HMXB feedback and stellar winds on our results, finding the ubiquity of stellar winds throughout each starburst makes them a defining factor in the final state of the interstellar medium.


title: Twisted book decompositions and the Goeritz groups

abstract: We consider the Goeritz groups of the Heegaard splittings induced from twisted book decompositions. We show that there exist Heegaard splittings of distance $2$ that have the infinite-order mapping class groups whereas that are not induced from open book decompositions. Explicit computation of those mapping class groups are given.


title: Electronics Development for the New Photo-Detectors (PDOM and D-Egg) for IceCube-Upgrade

abstract: The planned IceCube-Upgrade will enhance the capability of IceCube in the detection of GeV-scale neutrino physics and enable an improved measurement of the properties of the glacial ice. Three types of new optical sensors will be deployed during the Upgrade: PDOM, D-Egg, and mDOM. Since the design of the PDOM and D-Egg are very similar, the development of the front-end electronics for the two optical sensors has been merged. The photo-electron signals detected by the PMTs are digitized with high-speed ultra-low power ADCs and processed in an FPGA, before being sent to the data acquisition system located on the surface of the South-Pole glacier. The almost final revision of the front-end electronics is equipped with the common microcontroller unit and the communication daughter board for simplifying the communication scheme for the three different modules. This contribution focuses on the design of the front-end electronics and presents first results from the performance tests.


title: Infinitesimal CR automorphisms and stability groups of nonminimal infinite type models in $\mathbb C^2$

abstract: We determine infinitesimal $\mathrm{CR}$ automorphisms and stability groups of real hypersurfaces in $\mathbb C^2$ in the case when the hypersurface is nonminimal and of infinite type at the reference point.


title: A Survey of Automated Programming Hint Generation -- The HINTS Framework

abstract: Automated tutoring systems offer the flexibility and scalability necessary to facilitate the provision of high quality and universally accessible programming education. In order to realise the full potential of these systems, recent work has proposed a diverse range of techniques for automatically generating hints to assist students with programming exercises. This paper integrates these apparently disparate approaches into a coherent whole. Specifically, it emphasises that all hint techniques can be understood as a series of simpler components with similar properties. Using this insight, it presents a simple framework for describing such techniques, the Hint Iteration by Narrow-down and Transformation Steps (HINTS) framework, and it surveys recent work in the context of this framework. It discusses important implications of the survey and framework, including the need to further develop evaluation methods and the importance of considering hint technique components when designing, communicating and evaluating hint systems. Ultimately, this paper is designed to facilitate future opportunities for the development, extension and comparison of automated programming hint techniques in order to maximise their educational potential.


title: Graph Convolutional Networks for Road Networks

abstract: Machine learning techniques for road networks hold the potential to facilitate many important transportation applications. Graph Convolutional Networks (GCNs) are neural networks that are capable of leveraging the structure of a road network by utilizing information of, e.g., adjacent road segments. While state-of-the-art GCNs target node classification tasks in social, citation, and biological networks, machine learning tasks in road networks differ substantially from such tasks. In road networks, prediction tasks concern edges representing road segments, and many tasks involve regression. In addition, road networks differ substantially from the networks assumed in the GCN literature in terms of the attribute information available and the network characteristics. Many implicit assumptions of GCNs do therefore not apply. We introduce the notion of Relational Fusion Network (RFN), a novel type of GCN designed specifically for machine learning on road networks. In particular, we propose methods that outperform state-of-the-art GCNs on both a road segment regression task and a road segment classification task by 32-40% and 21-24%, respectively. In addition, we provide experimental evidence of the short-comings of state-of-the-art GCNs in the context of road networks: unlike our method, they cannot effectively leverage the road network structure for road segment classification and fail to outperform a regular multi-layer perceptron.


title: Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud

abstract: Network side channels (NSCs) leak secrets through packet timing and packet sizes. They are of particular concern in public IaaS Clouds, where any tenant may be able to colocate and indirectly observe a victim's traffic shape. We present Pacer, the first system that eliminates NSC leaks in public IaaS Clouds end-to-end. It builds on the principled technique of shaping guest traffic outside the guest to make the traffic shape independent of secrets by design. However, Pacer also addresses important concerns that have not been considered in prior work -- it prevents internal side-channel leaks from affecting reshaped traffic, and it respects network flow control, congestion control and loss recovery signals. Pacer is implemented as a paravirtualizing extension to the host hypervisor, requiring modest changes to the hypervisor and the guest kernel, and only optional, minimal changes to applications. We present Pacer's key abstraction of a cloaked tunnel, describe its design and implementation, prove the security of important design aspects through a formal model, and show through an experimental evaluation that Pacer imposes moderate overheads on bandwidth, client latency, and server throughput, while thwarting attacks based on state-of-the-art CNN classifiers.


title: Revisiting CycleGAN for semi-supervised segmentation

abstract: In this work, we study the problem of training deep networks for semantic image segmentation using only a fraction of annotated images, which may significantly reduce human annotation efforts. Particularly, we propose a strategy that exploits the unpaired image style transfer capabilities of CycleGAN in semi-supervised segmentation. Unlike recent works using adversarial learning for semi-supervised segmentation, we enforce cycle consistency to learn a bidirectional mapping between unpaired images and segmentation masks. This adds an unsupervised regularization effect that boosts the segmentation performance when annotated data is limited. Experiments on three different public segmentation benchmarks (PASCAL VOC 2012, Cityscapes and ACDC) demonstrate the effectiveness of the proposed method. The proposed model achieves 2-4% of improvement with respect to the baseline and outperforms recent approaches for this task, particularly in low labeled data regime.


title: Uniqueness of solutions in multivariate Chebyshev approximation problems

abstract: We study the solution set to multivariate Chebyshev approximation problem, focussing on the ill-posed case when the uniqueness of solutions can not be established via strict polynomial separation. We obtain an upper bound on the dimension of the solution set and show that nonuniqueness is generic for the ill-posed problems on discrete domains. Moreover, given a prescribed set of points of minimal and maximal deviation we construct a function for which the dimension of the set of best approximating polynomials is maximal for any choice of domain. We also present several examples that illustrate the aforementioned phenomena, demonstrate practical application of our results and propose a number of open questions.


title: Hierarchical Pointer Net Parsing

abstract: Transition-based top-down parsing with pointer networks has achieved state-of-the-art results in multiple parsing tasks, while having a linear time complexity. However, the decoder of these parsers has a sequential structure, which does not yield the most appropriate inductive bias for deriving tree structures. In this paper, we propose hierarchical pointer network parsers, and apply them to dependency and sentence-level discourse parsing tasks. Our results on standard benchmark datasets demonstrate the effectiveness of our approach, outperforming existing methods and setting a new state-of-the-art.


title: Signature of nonequilibrium quantum phase transition in the long time average of Loschmidt echo

abstract: We unveil the role of the long time average of Loschmidt echo in the characterization of nonequilibrium quantum phase transitions by studying sudden quench processes across quantum phase transitions in various quantum systems. While the dynamical quantum phase transitions are characterized by the emergence of a series of zero points at critical times during time evolution, we demonstrate that nonequilibrium quantum phase transitions can be identified by nonanalyticities in the long time average of Loschmidt echo. The nonanalytic behaviours are illustrated by a sharp change in the long time average of Loschmidt echo or the corresponding rate function or the emergence of divergence in the second derivative of rate function when the driving quench parameter crosses the phase transition points. The connection between the second derivative of rate function and fidelity susceptibility is also discussed.


title: Geometric Methods in Partial Differential Equations

abstract: We study the interplay between geometry and partial differential equations. We show how the fundamental ideas we use require the ability to correctly calculate the dimensions of spaces associated to the varieties of zeros of the symbols of those differential equations. This brings to the center of the analysis several classical results from algebraic geometry, including the Cayley-Bacharach theorem and some of its variants as Serret's theorem, and the Brill-Noether Restsatz theorem.


title: Synchro-curvature modelling of the multi-frequency non-thermal emission of pulsars

abstract: We apply a synchro-curvature spectral emission model based on characterizing the dynamics of magnetospheric particles to fit the phase-average spectra of the most extended database for the non-thermal spectra of pulsars. We consider 36 pulsars with well-determined non-thermal spectra from X-rays to gamma-rays. The sample includes Crab and Crab twin, for which the spectra extends even to the optical/ultraviolet and infrared energies. We find that the model --with just three physical parameters and a global scaling-- can fit the observations well across eight orders of magnitude for 18 of the 36 pulsars studied. Additionally, we find a set of 8 pulsars for which the model still provides arguably good fits and another set of 10 pulsars for which the model fails in reproducing the spectra. We discuss why, propose and provide physical interpretations for a simple model extension (related to the geometry of the accelerating system with regards to the observer) that allows dealing with all such cases, ultimately providing very good fits for all pulsars. The extended model is still austere, adding only two additional parameters to the former set, of the same kind of the ones previously used. We use these fits to discuss issues going from the observed spectral origin, to the extent of the dominance of synchrotron or curvature regimes, the use of a model as predictor for searching new non-thermal pulsars starting from gamma-ray surveys, and how the model offers a setting where phase shifts between X-ray and gamma-ray light curves would naturally arise.


title: On the speed of algebraically defined graph classes

abstract: The speed of a class of graphs counts the number of graphs on the vertex set $\lbrace 1,\dots, n\rbrace$ inside the class as a function of $n$. In this paper, we investigate this function for many classes of graphs that naturally arise in discrete geometry, for example intersection graphs of segments or disks in the plane. While upper bounds follow from Warren's theorem (a variant of a theorem of Milnor and Thom), all the previously known lower bounds were obtained from ad hoc constructions for very specific classes. We prove a general theorem giving an essentially tight lower bound for the number of graphs on $\lbrace 1,\dots, n\rbrace$ whose edges are defined using the signs of a given finite list of polynomials, assuming these polynomials satisfy some reasonable conditions. This in particular implies lower bounds for the speed of many different classes of intersection graphs, which essentially match the known upper bounds. Our general result also gives essentially tight lower bounds for counting containment orders of various families of geometric objects, including circle orders and angle orders. Some of the applications presented in this paper are new, whereas others recover results of Alon-Scheinerman, Fox, McDiarmid-M\"{u}ller and Shi. For the proof of our result we use some tools from algebraic geometry and differential topology.


title: Circumcentered methods induced by isometries

abstract: Motivated by the circumcentered Douglas--Rachford method recently introduced by Behling, Bello Cruz and Santos to accelerate the Douglas--Rachford method, we study the properness of the circumcenter mapping and the circumcenter method induced by isometries. Applying the demiclosedness principle for circumcenter mappings, we present weak convergence results for circumcentered isometry methods, which include the Douglas--Rachford method (DRM) and circumcentered reflection methods as special instances. We provide sufficient conditions for the linear convergence of circumcentered isometry/reflection methods. We explore the convergence rate of circumcentered reflection methods by considering the required number of iterations and as well as run time as our performance measures. Performance profiles on circumcentered reflection methods, DRM and method of alternating projections for finding the best approximation to the intersection of linear subspaces are presented.


title: Refined position estimates for surfaces of Willmore type in Riemannian manifolds

abstract: In this paper we consider surfaces which are critical points of the Willmore functional subject to constrained area. In the case of small area we calculate the corrections to the intrinsic geometry induced by the ambient curvature. These estimates together with the choice of an adapted geometric center of mass lead to refined position estimates in relation to the scalar curvature of the ambient manifold.


title: Thermal boundary resistance predictions with non-equilibrium Green's function and molecular dynamics simulations

abstract: The non-equilibrium Green's function (NEGF) method with B\"uttiker probe scattering self-energies is assessed by comparing its predictions for the thermal boundary resistance with molecular dynamics (MD) simulations. For simplicity, the interface of Si/heavy-Si is considered, where heavy-Si differs from Si only in the mass value. With B\"uttiker probe scattering parameters tuned against MD in homogeneous Si, the NEGF-predicted thermal boundary resistance quantitatively agrees with MD for wide mass ratios. Artificial resistances that the unaltered Landauer approach yield at virtual interfaces in homogeneous systems are absent in the present NEGF approach. Spectral information result from NEGF in its natural representation without further transformations. The spectral results show that the scattering between different phonon modes plays a crucial role in thermal transport across interfaces. B\"uttiker probes provide an efficient and reliable way to include anharmonicity in phonon related NEGF. NEGF including the B\"uttiker probes can reliably predict phonon transport across interfaces and at finite temperatures.


title: An elementary proof of the lack of null controllability for the heat equation on the half line

abstract: In this note, we give an elementary proof of the lack of null controllability for the heat equation on the half line by employing the machinery inherited by the unified transform, known also as the Fokas method. This approach also extends in a uniform way to higher dimensions and different initial-boundary value problems governed by the heat equation, suggesting a novel methodology for studying problems related to controllability.


title: Binomial series and complex difference equations

abstract: We consider properties of binomial series $\sum_{n=0}^\infty a_n z^{\underline{n}}$, where $z^{\underline{n}}=z(z-1)\cdots(z-n+1)$ and the convergence of binomial series in the complex domain. The order of growth of entire and meromorphic solutions of some difference equations represented by binomial series are discussed. Examples are given. As an application, we construct a difference Riccati equation possessing a transcendental meromorphic solution of order $1/2$.


title: Geometric Multiplicities

abstract: In this paper, we introduce geometric multiplicities, which are positive varieties with potential fibered over the Cartan subgroup $H$ of a reductive group $G$. They form a monoidal category and we construct a monoidal functor from this category to the representations of the Langlands dual group $G^\vee$ of $G$. Using this, we explicitly compute various multiplicities in $G^\vee$-modules in many ways. In particular, we recover the formulas for tensor product multiplicities of Berenstein- Zelevinsky and generalize them in several directions. In the case when our geometric multiplicity $X$ is a monoid, i.e., the corresponding $G^\vee$ module is an algebra, we expect that in many cases, the spectrum of this algebra is affine $G^\vee$-variety $X^\vee$, and thus the correspondence $X\mapsto X^\vee$ has a flavor of both the Langlands duality and mirror symmetry.


title: Combinatorics of Wilson loops in $\mathcal{N}=4$ SYM theory

abstract: The theory of Wilson loops for gauge theories with unitary gauge groups is formulated in the language of symmetric functions. The main objects in this theory are two generating functions, which are related to each other by the involution that exchanges an irreducible representation with its conjugate. Both of them contain all information about the Wilson loops in arbitrary representations as well as the correlators of multiply-wound Wilson loops. This general framework is combined with the results of the Gaussian matrix model, which calculates the expectation values of $1/2$-BPS circular Wilson loops in $\mathcal{N}=4$ Super-Yang-Mills theory. General, explicit, formulas for the connected correlators of multiply-wound Wilson loops in terms of the traces of symmetrized matrix products are obtained, as well as their inverses. It is shown that the generating functions for Wilson loops in mutually conjugate representations are related by a duality relation whenever they can be calculated by a Hermitian matrix model.


title: Recursive patterns in online echo chambers

abstract: Despite their playful purpose social media changed the way users access information, debate, and form their opinions. Recent studies, indeed, showed that users online tend to promote their favored narratives and thus to form polarized groups around a common system of beliefs. Confirmation bias helps to account for users decisions about whether to spread content, thus creating informational cascades within identifiable communities. At the same time, aggregation of favored information within those communities reinforces selective exposure and group polarization. Along this path, through a thorough quantitative analysis we approach connectivity patterns over 1.2M of Facebook users engaged with two very conflicting narratives: scientific and conspiracy news. Analyzing such data, we quantitatively investigate the effect of two mechanisms (namely challenge avoidance and reinforcement seeking) behind confirmation bias, one of the major drivers of human behavior in social media. We find that challenge avoidance mechanism triggers the emergence of two distinct and polarized groups of users (i.e., echo chambers) who also tend to be surrounded by friends having similar systems of beliefs. Through a network based approach, we show how the reinforcement seeking mechanism limits the influence of neighbors and primarily drives the selection and diffusion of contents even among like-minded users, thus fostering the formation of highly polarized sub-clusters within the same echo chamber. Finally, we show that polarized users reinforce their preexisting beliefs by leveraging the activity of their like-minded neighbors, and this trend grows with the user engagement suggesting how peer influence acts as a support for reinforcement seeking.


title: LISA Pathfinder Performance Confirmed in an Open-Loop Configuration: Results from the Free-Fall Actuation Mode

abstract: We report on the results of the LISA Pathfinder (LPF) free-fall mode experiment, in which the control force needed to compensate the quasistatic differential force acting on two test masses is applied intermittently as a series of "impulse" forces lasting a few seconds and separated by roughly 350 s periods of true free fall. This represents an alternative to the normal LPF mode of operation in which this balancing force is applied continuously, with the advantage that the acceleration noise during free fall is measured in the absence of the actuation force, thus eliminating associated noise and force calibration errors. The differential acceleration noise measurement presented here with the free-fall mode agrees with noise measured with the continuous actuation scheme, representing an important and independent confirmation of the LPF result. An additional measurement with larger actuation forces also shows that the technique can be used to eliminate actuation noise when this is a dominant factor.


title: ORBSLAM-Atlas: a robust and accurate multi-map system

abstract: We propose ORBSLAM-Atlas, a system able to handle an unlimited number of disconnected sub-maps, that includes a robust map merging algorithm able to detect sub-maps with common regions and seamlessly fuse them. The outstanding robustness and accuracy of ORBSLAM are due to its ability to detect wide-baseline matches between keyframes, and to exploit them by means of non-linear optimization, however it only can handle a single map. ORBSLAM-Atlas brings the wide-baseline matching detection and exploitation to the multiple map arena. The result is a SLAM system significantly more general and robust, able to perform multi-session mapping. If tracking is lost during exploration, instead of freezing the map, a new sub-map is launched, and it can be fused with the previous map when common parts are visited. Our criteria to declare the camera lost contrast with previous approaches that simply count the number of tracked points, we propose to discard also inaccurately estimated camera poses due to bad geometrical conditioning. As a result, the map is split into more accurate sub-maps, that are eventually merged in a more accurate global map, thanks to the multi-mapping capabilities. We provide extensive experimental validation in the EuRoC datasets, where ORBSLAM-Atlas obtains accurate monocular and stereo results in the difficult sequences where ORBSLAM failed. We also build global maps after multiple sessions in the same room, obtaining the best results to date, between 2 and 3 times more accurate than competing multi-map approaches. We also show the robustness and capability of our system to deal with dynamic scenes, quantitatively in the EuRoC datasets and qualitatively in a densely populated corridor where camera occlusions and tracking losses are frequent.


title: On Optimal Dividend and Investment Strategy under Renewal Risk Models

abstract: In this paper we continue investigating the optimal dividend and investment problems under the Sparre Andersen model. More precisely, we assume that the claim frequency is a renewal process instead of a standard compound Poisson process, whence semi-Markovian. Building on our previous work \cite{BaiMa17}, where we established the dynamic programming principle via a {\it backward Markovization} procedure and proved that the value function is the unique {\it constrained} viscosity solution of the HJB equation, in this paper we focus on the construction of the optimal strategy. The main difficulties in this effort is two fold: the regularity of the viscosity solution to a non-local, nonlinear, and degenerate parabolic PDE on an unbounded domain, which seems to be new in its own right; and the well-posedness of the closed-loop stochastic system. By introducing an auxiliary PDE, we construct an $\e$-optimal strategy, and prove the well-posedness of the corresponding closed-loop system, via a "bootstrap" technique with the help of a Krylov estimate.


title: Copy-and-Paste Networks for Deep Video Inpainting

abstract: We present a novel deep learning based algorithm for video inpainting. Video inpainting is a process of completing corrupted or missing regions in videos. Video inpainting has additional challenges compared to image inpainting due to the extra temporal information as well as the need for maintaining the temporal coherency. We propose a novel DNN-based framework called the Copy-and-Paste Networks for video inpainting that takes advantage of additional information in other frames of the video. The network is trained to copy corresponding contents in reference frames and paste them to fill the holes in the target frame. Our network also includes an alignment network that computes affine matrices between frames for the alignment, enabling the network to take information from more distant frames for robustness. Our method produces visually pleasing and temporally coherent results while running faster than the state-of-the-art optimization-based method. In addition, we extend our framework for enhancing over/under exposed frames in videos. Using this enhancement technique, we were able to significantly improve the lane detection accuracy on road videos.


title: Generating Persuasive Visual Storylines for Promotional Videos

abstract: Video contents have become a critical tool for promoting products in E-commerce. However, the lack of automatic promotional video generation solutions makes large-scale video-based promotion campaigns infeasible. The first step of automatically producing promotional videos is to generate visual storylines, which is to select the building block footage and place them in an appropriate order. This task is related to the subjective viewing experience. It is hitherto performed by human experts and thus, hard to scale. To address this problem, we propose WundtBackpack, an algorithmic approach to generate storylines based on available visual materials, which can be video clips or images. It consists of two main parts, 1) the Learnable Wundt Curve to evaluate the perceived persuasiveness based on the stimulus intensity of a sequence of visual materials, which only requires a small volume of data to train; and 2) a clustering-based backpacking algorithm to generate persuasive sequences of visual materials while considering video length constraints. In this way, the proposed approach provides a dynamic structure to empower artificial intelligence (AI) to organize video footage in order to construct a sequence of visual stimuli with persuasive power. Extensive real-world experiments show that our approach achieves close to 10% higher perceived persuasiveness scores by human testers, and 12.5% higher expected revenue compared to the best performing state-of-the-art approach.


title: Quantum Nature of the Hydrogen Bond from Ambient Conditions down to Ultra-low Temperatures

abstract: Many experimental techniques such as tagging photodissociation and helium nanodroplet isolation spectroscopy operate at very low temperatures in order to investigate hydrogen bonding. To elucidate the differences between such ultra-cold and usual ambient conditions, different hydrogen bonded systems are studied systematically from 300 K down to about 1 K using path integral simulations that explicitly consider both, the quantum nature of the nuclei and thermal fluctuations. For that purpose, finite sized water clusters, specifically the water dimer and hexamer, protonated water clusters including the Zundel and Eigen complexes, as well as hexagonal ice as a condensed phase representative are compared directly as a function of temperature. While weaker hydrogen bonds, as present in the neutral systems, show distinct structural differences between ambient conditions and the ultra-cold regime, the stronger hydrogen bonds of the protonated water clusters are less perturbed by temperature compared to their quantum ground state. In all studied systems, the quantum delocalization of the nuclei is found to vary drastically with temperature. Interestingly, upon reaching temperatures of about 1 K, the spatial quantum delocalization of the heavy oxygens approaches that of the protons for relatively weak spatial constraints, and even significantly exceeds the latter in case of the centered hydrogen bond in the Zundel complex. These findings are relevant for comparisons between experiments on hydrogen bonding carried out at ultra-cold versus ambient conditions as well as to understand quantum delocalization phenomena of nuclei by seamlessly extending our insights into noncovalent interactions down to ultra-low temperatures.


title: Some SonarQube Issues have a Significant but SmallEffect on Faults and Changes. A large-scale empirical study

abstract: Context. Companies commonly invest effort to remove technical issues believed to impact software qualities, such as removing anti-patterns or coding styles violations. Objective. Our aim is to analyze the diffuseness of Technical Debt (TD) items in software systems and to assess their impact on code changes and fault-proneness, considering also the type of TD items and their severity. Method. We conducted a case study among 33 Java projects from the Apache Software Foundation (ASF) repository. We analyzed 726 commits containing 27K faults and 12M changes. The projects violated 173 SonarQube rules generating more than 95K TD items in more than 200K classes. Results. Clean classes (classes not affected by TD items) are less change-prone than dirty ones, but the difference between the groups is small. Clean classes are slightly more change-prone than classes affected by TD items of type Code Smell or Security Vulnerability. As for fault-proneness, there is no difference between clean and dirty classes. Moreover, we found a lot of incongruities in the type and severity level assigned by SonarQube. Conclusions. Our result can be useful for practitioners to understand which TD items they should refactor and for researchers to bridge the missing gaps. They can also support companies and tool vendors in identifying TD items as accurately as possible.


title: Liouville theorem of axially symmetric Navier-Stokes equations with growing velocity at infinity

abstract: In the paper \cite{KNSS:1}, the authors make the following conjecture: {\it any bounded ancient mild solution of the 3D axially symmetric Navier-Stokes equations is constant.} And it is proved in the case that the solution is swirl free. Our purpose of this paper is to improve their result by allowing that the solution can grow with a power smaller than 1 with respect to the distance to the origin. Also, we will show that such a power is optimal to prove the Liouville type theorem since we can find counterexamples for the Navier-Stokes equations such that the Liouville theorem fails if the solution can grow linearly.


title: Long time behaviour of continuous-state nonlinear branching processes with catastrophes

abstract: Motivated by the study of a parasite infection in a cell line, we introduce a general class of Markov processes for the modelling of population dynamics. The population process evolves as a diffusion with positive jumps whose rate is a function of the population size. It also undergoes catastrophic events which kill a fraction of the population, at a rate depending on the population state. We study the long time behaviour of this class of processes.


title: On Laughter and Speech-Laugh, Based on Observations of Child-Robot Interaction

abstract: In this article, we study laughter found in child-robot interaction where it had not been prompted intentionally. Different types of laughter and speech-laugh are annotated and processed. In a descriptive part, we report on the position of laughter and speech-laugh in syntax and dialogue structure, and on communicative functions. In a second part, we report on automatic classification performance and on acoustic characteristics, based on extensive feature selection procedures.


title: Maximal operator for the higher order Calder\'on commutator

abstract: In this paper, we investigate the weighted multilinear boundedness properties of the maximal higher order Calder\'on commutator for the dimensions larger than two. We establish all weighted multilinear estimates on the product of the $L^p(\mathbb{R}^d,w)$ space, including some peculiar endpoint estimates of the higher dimensional Calder\'on commutator.


title: Thermodynamics and stability of $f(T,B)$ gravity with viscous fluid by observational constraints

abstract: In this paper, we study the model of $f(T, B)$ gravity with viscous fluid in flat-FRW metric, in which $T$ and $B$ are torsion scalar and boundary term, respectively. We obtain the Friedmann equations in the framework of modified teleparallel gravity by tetrad components. We consider an interacting model between matter and dark energy so that universe dominates by viscous fluid. Then, we write the corresponding cosmological parameters in terms of the redshift parameter, and, we parameterize the Hubble parameter with experimental data. In what follows, we plot the corresponding cosmological parameters for dark energy components in terms of redshift, thereafter we investigate the accelerated expansion of the universe. Moreover, we discuss the stability of the model by using the sound speed parameter. Finally, we investigate the validity of the generalized second law of thermodynamics.


title: A counterexample to a Proposition of Feldvoss-Wagemann and Burde-Wagemann

abstract: Our (weak) conjecture claims that a finite dimensional Lie algebra ${\bf g}$ over the field of complex numbers is semi-simple iff the Leibniz homology vanishes in positive dimensions $HL_i({\bf g})=0$, $i>0$. We will indicate a mistake in the recent proof of this conjecture due to Burde and Wagemann.


title: An Empirical Study into the Success of Listed Smart Contracts in Ethereum

abstract: Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximise the chance of success. A smart contract is intended to encode business logic and is therefore at the heart of every new business on the Ethereum blockchain. We have investigated how to measure the success of smart contracts, and whether successful smart contracts have characteristics that less successful smart contracts lack. The appearance of a smart contract on a listing website such as Etherscan or StateoftheDapps is such a characteristic. In this paper, we present a three-pronged analysis of the relative success of listed smart contracts. First, we have used statistical analysis on the publicly visible transaction history of the Ethereum blockchain to determine that listed contracts are significantly more successful than their unlisted counterparts. Next, we have conducted a survey among more than 200 developers via an anonymous online survey about their experience with the listing process. A significant majority of respondents do not believe that listing a contract itself contributes to its success, but they believe that the extra attention that is typically paid in tandem with the listing process does contribute. Finally, based on the respondents' answers, we have drafted 10 recommendations for developers and validated them by submitting them to an international panel of experts.


title: Rewarding High-Quality Data via Influence Functions

abstract: We consider a crowdsourcing data acquisition scenario, such as federated learning, where a Center collects data points from a set of rational Agents, with the aim of training a model. For linear regression models, we show how a payment structure can be designed to incentivize the agents to provide high-quality data as early as possible, based on a characterization of the influence that data points have on the loss function of the model. Our contributions can be summarized as follows: (a) we prove theoretically that this scheme ensures truthful data reporting as a game-theoretic equilibrium and further demonstrate its robustness against mixtures of truthful and heuristic data reports, (b) we design a procedure according to which the influence computation can be efficiently approximated and processed sequentially in batches over time, (c) we develop a theory that allows correcting the difference between the influence and the overall change in loss and (d) we evaluate our approach on real datasets, confirming our theoretical findings.


title: Online influence, offline violence: Language Use on YouTube surrounding the 'Unite the Right' rally

abstract: The media frequently describes the 2017 Charlottesville 'Unite the Right' rally as a turning point for the alt-right and white supremacist movements. Social movement theory suggests that the media attention and public discourse concerning the rally may have influenced the alt-right, but this has yet to be empirically tested. The current study investigates whether there are differences in language use between 7,142 alt-right and progressive YouTube channels, in addition to measuring possible changes as a result of the rally. To do so, we create structural topic models and measure bigram proportions in video transcripts, spanning eight weeks before to eight weeks after the rally. We observe differences in topics between the two groups, with the 'alternative influencers' for example discussing topics related to race and free speech to an increasing and larger extent than progressive channels. We also observe structural breakpoints in the use of bigrams at the time of the rally, suggesting there are changes in language use within the two groups as a result of the rally. While most changes relate to mentions of the rally itself, the alternative group also shows an increase in promotion of their YouTube channels. Results are discussed in light of social movement theory, followed by a discussion of potential implications for understanding the alt-right and their language use on YouTube.


title: Tropical Duality in $(d+2)$-angulated categories

abstract: Let $\mathscr{C}$ be a $2$-Calabi-Yau triangulated category with two cluster tilting subcategories $\mathscr{T}$ and $\mathscr{U}$. Results by Demonet-Iyama-Jasso and J{\o}rgensen-Yakimov known as tropical duality says that the index with respect to $\mathscr{T}$ provides an isomorphism between the split Grothendieck groups of $\mathscr{U}$ and $\mathscr{T}$. We also have the notion of $c$-vectors, which using tropical duality have been proven to have sign coherence, and to be recoverable as dimension vectors of modules in a module category. The notion of triangulated categories extends to the notion of $(d+2)$-angulated categories. Using a higher analogue of cluster tilting objects, this paper generalises tropical duality to higher dimensions. This implies that these basic cluster tilting objects have the same number of indecomposable summands. It also proves that under conditions of mutability, $c$-vectors in the $(d+2)$-angulated case have sign coherence, and shows formulae for their computation. Finally, it proves that under the condition of mutability, the $c$-vectors are recoverable as dimension vectors of modules in a module category.


title: Robust Function-on-Function Regression

abstract: Functional linear regression is a widely used approach to model functional responses with respect to functional inputs. However, classical functional linear regression models can be severely affected by outliers. We therefore introduce a Fisher-consistent robust functional linear regression model that is able to effectively fit data in the presence of outliers. The model is built using robust functional principal component and least squares regression estimators. The performance of the functional linear regression model depends on the number of principal components used. We therefore introduce a consistent robust model selection procedure to choose the number of principal components. Our robust functional linear regression model can be used alongside an outlier detection procedure to effectively identify abnormal functional responses. A simulation study shows our method is able to effectively capture the regression behaviour in the presence of outliers, and is able to find the outliers with high accuracy. We demonstrate the usefulness of our method on jet engine sensor data. We identify outliers that would not be found if the functional responses were modelled independently of the functional input, or using non-robust methods.


title: Recursive Visual Sound Separation Using Minus-Plus Net

abstract: Sounds provide rich semantics, complementary to visual data, for many tasks. However, in practice, sounds from multiple sources are often mixed together. In this paper we propose a novel framework, referred to as MinusPlus Network (MP-Net), for the task of visual sound separation. MP-Net separates sounds recursively in the order of average energy, removing the separated sound from the mixture at the end of each prediction, until the mixture becomes empty or contains only noise. In this way, MP-Net could be applied to sound mixtures with arbitrary numbers and types of sounds. Moreover, while MP-Net keeps removing sounds with large energy from the mixture, sounds with small energy could emerge and become clearer, so that the separation is more accurate. Compared to previous methods, MP-Net obtains state-of-the-art results on two large scale datasets, across mixtures with different types and numbers of sounds.


title: Driving interactions efficiently in a composite few-body system

abstract: We study how to efficiently control an interacting few-body system consisting of three harmonically trapped bosons. Specifically we investigate the process of modulating the interparticle interactions to drive an initially non-interacting state to a strongly interacting one, which is an eigenstate of a chosen Hamiltonian. We also show that for unbalanced subsystems, where one can individually control the different inter- and intra-species interactions, complex dynamics originates when the symmetry of the ground state is broken by phase separation. However, as driving the dynamics too quickly can result in unwanted excitations of the final state, we optimize the driven processes using shortcuts to adiabaticity, which are designed to reduce these excitations at the end of the interaction ramp ensuring that the target eigenstate is reached.


title: The economics of minority language use: theory and empirical evidence for a language game model

abstract: Language and cultural diversity is a fundamental aspect of the present world. We study three modern multilingual societies -- the Basque Country, Ireland and Wales -- which are endowed with two, linguistically distant, official languages: $A$, spoken by all individuals, and $B$, spoken by a bilingual minority. In the three cases it is observed a decay in the use of minoritarian $B$, a sign of diversity loss. However, for the "Council of Europe" the key factor to avoid the shift of $B$ is its use in all domains. Thus, we investigate the language choices of the bilinguals by means of an evolutionary game theoretic model. We show that the language population dynamics has reached an evolutionary stable equilibrium where a fraction of bilinguals have shifted to speak $A$. Thus, this equilibrium captures the decline in the use of $B$. To test the theory we build empirical models that predict the use of $B$ for each proportion of bilinguals. We show that model-based predictions fit very well the observed use of Basque, Irish, and Welsh.


title: Tracking particles at fluences 5-10 $\cdot$1E16 $n_{eq}$/cm$^2$

abstract: This paper presents the possibility of using very thin Low Gain Avalanche Diodes (LGAD) ($25 - 50\mu$m thick) as tracking detector at future hadron colliders, where particle fluence will be above $10^{16}\; n_{eq}/cm^2$. In the present design, silicon sensors at the High-Luminosity LHC will be 100- 200 $\mu$m thick, generating, before irradiation, signals of 1-2 fC. This contribution shows how very thin LGAD can provide signals of the same magnitude via the interplay of gain in the gain layer and gain in the bulk up to fluences above $10^{16}\; n_{eq}/cm^2$: up to fluences of 0.1-0.3$\cdot 10^{16}\; n_{eq}/cm^2$, thin LGADs maintain a gain of $\sim$ 5-10 while at higher fluences the increased bias voltage will trigger the onset of multiplication in the bulk, providing the same gain as previously obtained in the gain layer. Key to this idea is the possibility of a reliable, high-density LGAD design able to hold large bias voltages ($\sim$ 500V).


title: Bases of the Intersection Cohomology of Grassmannian Schubert Varieties

abstract: The parabolic Kazhdan-Lusztig polynomials for Grassmannians can be computed by counting Dyck partitions. We "lift" this combinatorial formula to the corresponding category of singular Soergel bimodules to obtain bases of the Hom spaces between indecomposable objects. In particular, we describe bases of intersection cohomology of Schubert varieties in Grassmannians parametrized by Dyck partitions which extend (after dualizing) the classical Schubert basis of the ordinary cohomology.


title: Strong interactions and bi-excitons in a polariton mixture

abstract: We develop a many-body theory for the properties of exciton-polaritons interacting strongly with a Bose-Einstein condensate (BEC) of exciton-polaritons in another spin state. Interactions lead to the presence of a two-body bound state, the bi-exciton, giving rise to a Feshbach resonance in the polariton spectrum when its energy is equal to that of two free polaritons. Using the minimal set of terms to describe this resonance, our theory recovers the main findings of two experiments probing interaction effects for upper and lower polaritons in a BEC. This strongly supports that Feshbach physics has indeed been realized, and we furthermore extract the energy and decay of biexciton from the experimental data. The decay rate is predicted to be much larger than that coming from its dissociation into two free polaritons indicating that other decay channels are important.


title: Energy Efficiency Optimization for Secure Transmission in MISO Cognitive Radio Network with Energy Harvesting

abstract: In this paper, we investigate different secrecy energy efficiency (SEE) optimization problems in a multiple-input single-output underlay cognitive radio (CR) network in the presence of an energy harvesting receiver. In particular, these energy efficient designs are developed with different assumptions of channels state information (CSI) at the transmitter, namely perfect CSI, statistical CSI and imperfect CSI with bounded channel uncertainties. In particular, the overarching objective here is to design a beamforming technique maximizing the SEE while satisfying all relevant constraints linked to interference and harvested energy between transmitters and receivers. We show that the original problems are non-convex and their solutions are intractable. By using a number of techniques, such as non-linear fractional programming and difference of concave (DC) functions, we reformulate the original problems so as to render them tractable. We then combine these techniques with the Dinkelbach's algorithm to derive iterative algorithms to determine relevant beamforming vectors which lead to the SEE maximization. In doing this, we investigate the robust design with ellipsoidal bounded channel uncertainties, by mapping the original problem into a sequence of semidefinite programs by employing the semidefinite relaxation, non-linear fractional programming and S-procedure. Furthermore, we show that the maximum SEE can be achieved through a search algorithm in the single dimensional space. Numerical results, when compared with those obtained with existing techniques in the literature, show the effectiveness of the proposed designs for SEE maximization.


title: A metric on the space of neutron star models in general relativity and modified gravity

abstract: Some pairs of neutron star models can intuitively be thought of as being `closer' together than others, in the sense that more precise observations might be required to distinguish between them than would be necessary for other pairs. In this paper, borrowing ideas from the study of geometrodynamics, we introduce a mathematical formalism to define a geometric distance between stellar models, to provide a quantitative meaning to this notion of closeness. In particular, it is known that the set of all metrics on a Riemannian manifold itself admits the structure of a Riemannian manifold (`configuration manifold'), which comes equipped with a canonical metric. By thinking of a stationary star as being a particular $3+1$ metric, the structure of which is determined through the Tolman-Oppenheimer-Volkoff relations and their generalisations, points on a suitably restricted configuration manifold can be thought of as representing different stars, and distances between these points can be computed. We develop the necessary mathematical machinery to build the configuration manifold of neutron star models, and provide some worked examples to illustrate how this space might be used in future studies of stellar structure.


title: Cross-domain Aspect Category Transfer and Detection via Traceable Heterogeneous Graph Representation Learning

abstract: Aspect category detection is an essential task for sentiment analysis and opinion mining. However, the cost of categorical data labeling, e.g., label the review aspect information for a large number of product domains, can be inevitable but unaffordable. In this study, we propose a novel problem, cross-domain aspect category transfer and detection, which faces three challenges: various feature spaces, different data distributions, and diverse output spaces. To address these problems, we propose an innovative solution, Traceable Heterogeneous Graph Representation Learning (THGRL). Unlike prior text-based aspect detection works, THGRL explores latent domain aspect category connections via massive user behavior information on a heterogeneous graph. Moreover, an innovative latent variable "Walker Tracer" is introduced to characterize the global semantic/aspect dependencies and capture the informative vertexes on the random walk paths. By using THGRL, we project different domains' feature spaces into a common one, while allowing data distributions and output spaces stay differently. Experiment results show that the proposed method outperforms a series of state-of-the-art baseline models.


title: GGM knockoff filter: False Discovery Rate Control for Gaussian Graphical Models

abstract: We propose a new method to learn the structure of a Gaussian graphical model with finite sample false discovery rate control. Our method builds on the knockoff framework of Barber and Cand\`{e}s for linear models. We extend their approach to the graphical model setting by using a local (node-based) and a global (graph-based) step: we construct knockoffs and feature statistics for each node locally, and then solve a global optimization problem to determine a threshold for each node. We then estimate the neighborhood of each node, by comparing its feature statistics to its threshold, resulting in our graph estimate. Our proposed method is very flexible, in the sense that there is freedom in the choice of knockoffs, feature statistics, and the way in which the final graph estimate is obtained. For any given data set, it is not clear a priori what choices of these hyperparameters are optimal. We therefore use a sample-splitting-recycling procedure that first uses half of the samples to select the hyperparameters, and then learns the graph using all samples, in such a way that the finite sample FDR control still holds. We compare our method to several competitors in simulations and on a real data set.


title: Parameter-free Structural Diversity Search

abstract: The problem of structural diversity search is to find the top-k vertices with the largest structural diversity in a graph. However, when identifying distinct social contexts, existing structural diversity models (e.g., t-sized component, t-core, and t-brace) are sensitive to an input parameter of t. To address this drawback, we propose a parameter-free structural diversity model. Specifically, we propose a novel notation of discriminative core, which automatically models various kinds of social contexts without parameter t. Leveraging on discriminative cores and h-index, the structural diversity score for a vertex is calculated. We study the problem of parameter-free structural diversity search in this paper. An efficient top-k search algorithm with a well-designed upper bound for pruning is proposed. Extensive experiment results demonstrate the parameter sensitivity of existing t-core based model and verify the superiority of our methods.


title: On the support of a non-autocorrelated function on a hyperbolic surface

abstract: Let $f$ be a non-negative square-integrable function on a finite volume hyperbolic surface $\Gamma\backslash\mathbb{H}$, and assume that $f$ is non-autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius $r$. We show that in this case the support of $f$ is small, namely, it satisfies $\mu(supp{f}) \leq (r+1)e^{-\frac{r}{2}} \mu(\Gamma\backslash\mathbb{H})$. As a corollary, we prove a lower bound for the measurable chromatic number of the graph, whose vertices are the points of $\Gamma\backslash\mathbb{H}$, and two points are connected by an edge if there is a geodesic of length $r$ between them. We show that for any finite covolume $\Gamma$ the measurable chromatic number is at least $e^{\frac{r}{2}}(r+1)^{-1}$.


title: Designing with Data: A Case Study

abstract: As the Internet of Things continues to take hold in the commercial world, the teams designing these new technologies are constantly evolving and turning their hand to uncharted territory. This is especially key within the field of secondary service design as businesses attempt to utilize and find value in the sensor data being produced by connected products. This paper discusses the ways in which a commercial design team use smart thermostat data to prototype an advice-giving chatbot. The team collaborate to produce a chat sequence through careful ordering of data & reasoning about customer reactions. The paper contributes important insights into design methods being used in practice within the under researched areas of chatbot prototyping and secondary service design.


title: KNOSOS: a fast orbit-averaging neoclassical code for stellarator geometry

abstract: KNOSOS (KiNetic Orbit-averaging SOlver for Stellarators) is a freely available, open-source code (\href{https://github.com/joseluisvelasco/KNOSOS}{https://github.com/joseluisvelasco/KNOSOS}) that calculates neoclassical transport in low-collisionality plasmas of three-dimensional magnetic confinement devices by solving the radially local drift-kinetic and quasineutrality equations. The main feature of KNOSOS is that it relies on orbit-averaging to solve the drift-kinetic equation very fast. KNOSOS treats rigorously the effect of the component of the magnetic drift that is tangent to magnetic surfaces, and of the component of the electrostatic potential that varies on the flux surface, {\varphi}_1. Furthermore, the equation solved is linear in {\varphi}_1, which permits an efficient solution of the quasineutrality equation. As long as the radially local approach is valid, KNOSOS can be applied to the calculation of neoclassical transport in stellarators (helias, heliotrons, heliacs, etc.) and tokamaks with broken axisymmetry. In this paper, we show several calculations for the stellarators W7-X, LHD, NCSX and TJ-II that provide benchmark with standard local codes and demonstrate the advantages of this approach.


title: Isometric immersions of Riemannian manifolds in $k$-codimensional Euclidean space

abstract: We use a new method to give conditions for the existence of a local isometric immersion of a Riemannian $n$-manifold $M$ in $\mathbb{R}^{n+k}$, for a given $n$ and $k$. These equate to the (local) existence of a $k$-tuple of scalar fields on the manifold, satisfying a certain non-linear equation involving the Riemannian curvature tensor of $M$. Setting $k=1$, we proceed to recover the fundamental theorem of hypersurfaces. In the case of manifolds of positive sectional curvature and $n\geq 3$, we reduce the solvability of the Gauss and Codazzi equations to the cancelation of a set of obstructions involving the logarithm of the Riemann curvature operator. The resulting theorem has a structural similarity to the Weyl-Schouten theorem, suggesting a parallelism between conformally flat $n$-manifolds and those that admit an isometric immersion in $\mathbb{R}^{n+1}$.


title: High-Field Quantum Disordered State in $\alpha$-RuCl3: Spin Flips, Bound States, and a Multi-Particle Continuum

abstract: Layered $\alpha$-RuCl3 has been discussed as a proximate Kitaev spin liquid compound. Raman and THz spectroscopy of magnetic excitations confirm that the low-temperature antiferromagnetic ordered phase features a broad Raman continuum, together with two magnon-like excitations at 2.7 and 3.6 meV, respectively. The continuum strength is maximized as long-range order is suppressed by an external magnetic field. The state above the field-induced quantum phase transition around 7.5 T is characterized by a gapped multi-particle continuum out of which a two-particle bound state emerges, together with a well-defined single-particle excitation at lower energy. Exact diagonalization calculations demonstrate that Kitaev and off-diagonal exchange terms in the Fleury-Loudon operator are crucial for the occurrence of these features in the Raman spectra. Our study firmly establishes the partially-polarized quantum disordered character of the high-field phase.


title: Multi-Grained Spatio-temporal Modeling for Lip-reading

abstract: Lip-reading aims to recognize speech content from videos via visual analysis of speakers' lip movements. This is a challenging task due to the existence of homophemes-words which involve identical or highly similar lip movements, as well as diverse lip appearances and motion patterns among the speakers. To address these challenges, we propose a novel lip-reading model which captures not only the nuance between words but also styles of different speakers, by a multi-grained spatio-temporal modeling of the speaking process. Specifically, we first extract both frame-level fine-grained features and short-term medium-grained features by the visual front-end, which are then combined to obtain discriminative representations for words with similar phonemes. Next, a bidirectional ConvLSTM augmented with temporal attention aggregates spatio-temporal information in the entire input sequence, which is expected to be able to capture the coarse-gained patterns of each word and robust to various conditions in speaker identity, lighting conditions, and so on. By making full use of the information from different levels in a unified framework, the model is not only able to distinguish words with similar pronunciations, but also becomes robust to appearance changes. We evaluate our method on two challenging word-level lip-reading benchmarks and show the effectiveness of the proposed method, which also demonstrate the above claims.


title: A case study about the mass exclusion limits for the BSM vector resonances with the direct couplings to the third quark generation

abstract: The upper bounds that the LHC measurements searching for heavy resonances beyond the Standard model set on the resonance production cross sections are not universal. They depend on various characteristics of the resonance under consideration, like its mass, spin, and its interaction pattern. Their validity are also limited by the assumptions and approximations applied to their calculations. The bounds are typically used to derive the mass exclusion limits for the new resonances. In our work, we address some of the issues that emerge when deriving the mass exclusion limits for the strongly coupled composite $SU(2)_{L+R}$ vector resonance triplet which would interact directly to the third quark generation only. We investigate the restrictions on the applicability of the generally used limit-obtaining procedure to this particular type of vector resonances. We demonstrate that, in this case, it is necessary to consider the bottom quark partonic contents of the proton. Eventually, we find the mass exclusion limits for this resonance triplet for some representative subsets of the parameter space.


title: APD profiles and transfinite asymptotic dimension

abstract: We develop the theory of APD profiles introduced by J. Dydak for $\infty$-pseudometric spaces. We connect them with transfinite asymptotic dimension defined by T. Radul. We give a characterization of spaces with transfinite asymptotic dimension at most $\omega+n$ for $n\in\omega$ and a sufficient condition for a space to have transfinite asymptotic dimension at most $m\cdot \omega+n$ for $m,n\in\omega$, using the language of APD profiles.


title: On the Mixed Connectivity Conjecture of Beineke and Harary

abstract: The conjecture of Beineke and Harary states that for any two vertices which can be separated by $k$ vertices and $l$ edges for $l\geq 1$ but neither by $k$ vertices and $l-1$ edges nor $k-1$ vertices and $l$ edges there are $k+l$ edge-disjoint paths connecting these two vertices of which $k+1$ are internally disjoint. In this paper we consider this conjecture for $l=2$ and any $k\in \mathbb{N}$. Afterwards, we utilize this result to prove that the conjecture holds for all graphs of treewidth at most $3$ and all $k$ and $l$. We also show that it is NP-complete to decide whether two vertices can be separated by $k$ vertices and $l$ edges.


title: Generation of Local Symmetry-Preserving Operations

abstract: We introduce a new practical and more general definition of local symmetry-preserving operations on polyhedra. These can be applied to arbitrary plane graphs and result in plane graphs with the same symmetry. With some additional properties we can restrict the connectivity, e.g. when we only want to consider polyhedra. Using some base structures and a list of 10 extensions, we can generate all possible local symmetry-preserving operations isomorph-free.


title: How emotions drive opinion polarization: An agent-based model

abstract: We provide an agent-based model to explain the emergence of collective opinions not based on feedback between different opinions, but based on emotional interactions between agents. The driving variable is the emotional state of agents, characterized by their valence and their arousal. Both determine their emotional expression, from which collective emotional information is generated. This information feeds back on the dynamics of emotional states and of individual opinions in a non-linear manner. We derive the critical conditions for emotional interactions to obtain either consensus or polarization of opinions. Stochastic agent-based simulations and formal analyses of the model explain our results. Possible ways to validate the model are discussed.


title: Semi-supervised Learning of Fetal Anatomy from Ultrasound

abstract: Semi-supervised learning methods have achieved excellent performance on standard benchmark datasets using very few labelled images. Anatomy classification in fetal 2D ultrasound is an ideal problem setting to test whether these results translate to non-ideal data. Our results indicate that inclusion of a challenging background class can be detrimental and that semi-supervised learning mostly benefits classes that are already distinct, sometimes at the expense of more similar classes.


title: Strongly enlarged topological regime and enhanced superconducting gap in nanowires coupled to Ising superconductors

abstract: An external magnetic field is needed to drive a nanowire in proximity to an s-wave superconductor into a topological regime which supports Majorana end states. However, a magnetic field generally suppresses the proximity superconducting gap induced on the nanowire. In recent experiments using InSb nanowires coupled to Al, the induced proximity gap vanishes at magnetic fields B~1T. This results in a small superconducting gap on the wire and a narrow topological regime which is proportional to the strength of the magnetic field. In this work, we show that by placing nanowires in proximity to recently discovered Ising superconductors such as the atomically thin transition-metal dichalcogenide(TMD) NbSe2, the topological superconducting gap on the wire can maintain at a large magnetic field as strong as B~10T. This robust topological superconducting gap is induced by the unique equal-spin triplet Cooper pairs of the parent Ising superconductor. The strong magnetic field allows a topological regime ten times larger than those in InSb wires coupled to Al. Our work establishes a realistic platform for building robust Majorana-based qubits.


title: Normal and intruder configurations in $^{34}$Si populated in the $\beta^-$ decay of $^{34}$Mg and $^{34}$Al

abstract: The structure of $^{34}$Si was studied through $\gamma$ spectroscopy separately in the $\beta^-$ decays of $^{34}$Mg and $^{34}$Al at the ISOLDE facility of CERN. Different configurations in $^{34}$Si were populated independently from the two recently identified $\beta$-decaying states in $^{34}$Al having spin-parity assignments $J^\pi = 4^-$ dominated by the normal configuration $\pi (d_{5/2})^{-1} \otimes \nu (f_{7/2})$ and $J^\pi = 1^+$ by the intruder configuration $\pi (d_{5/2})^{-1} \otimes \nu (d_{3/2})^{-1}(f_{7/2})^{2}$. The paper reports on spectroscopic properties of $^{34}$Si such as an extended level scheme, spin and parity assignments based on log($ft$) values and $\gamma$-ray branching ratios, absolute $\beta$ feeding intensities and neutron emission probabilities. A total of 11 newly identified levels and 26 transitions were added to the previously known level scheme of $^{34}$Si. Large scale shell-model calculations using the {\sc sdpf-u-mix} interaction, able to treat higher order intruder configurations, are compared with the new results and conclusions are drawn concerning the predictive power of {\sc sdpf-u-mix}, the $N=20$ shell gap, the level of mixing between normal and intruder configurations for the 0$_1^+$, 0$_2^+$ and 2$_1^+$ states and the absence of triaxial deformation in $^{34}$Si.


title: Infinite energy quasi-periodic solutions to nonlinear Schr\"odinger equations on $\mathbb R$

abstract: We present a set of smooth infinite energy global solutions (without spatial symmetry) to the non-integrable, nonlinear Schr\"odinger equations on $\Bbb R$. These solutions are space-time quasi-periodic with two frequencies each. Previous results [B2,1], and their generalizations [W2-4], are quasi-periodic in time, but periodic in space. This paper generalizes Bourgain's semi-algebraic set method [B3] to analyze nonlinear PDEs, in the non-compact space quasi-periodic setting on $\Bbb R$.


title: Domain Intersection and Domain Difference

abstract: We present a method for recovering the shared content between two visual domains as well as the content that is unique to each domain. This allows us to map from one domain to the other, in a way in which the content that is specific for the first domain is removed and the content that is specific for the second is imported from any image in the second domain. In addition, our method enables generation of images from the intersection of the two domains as well as their union, despite having no such samples during training. The method is shown analytically to contain all the sufficient and necessary constraints. It also outperforms the literature methods in an extensive set of experiments. Our code is available at https://github.com/sagiebenaim/DomainIntersectionDifference.


title: Normalized solutions for a coupled Schr\"odinger system

abstract: In the present paper, we prove the existence of solutions $(\lambda_1,\lambda_2,u,v)\in\mathbb{R}^2\times H^1(\mathbb{R}^3,\mathbb{R}^2)$ to systems of coupled Schr\"odinger equations $$ \begin{cases} -\Delta u+\lambda_1u=\mu_1 u^3+\beta uv^2\quad &\hbox{in}\;\mathbb{R}^3\\ -\Delta v+\lambda_2v=\mu_2 v^3+\beta u^2v\quad&\hbox{in}\;\mathbb{R}^3\\ u,v>0&\hbox{in}\;\mathbb{R}^3 \end{cases} $$ satisfying the normalization constraint $ \displaystyle\int_{\mathbb{R}^3}u^2=a^2\quad\hbox{and}\;\int_{\mathbb{R}^3}v^2=b^2, $ which appear in binary mixtures of Bose-Einstein condensates or in nonlinear optics. The parameters $\mu_1,\mu_2,\beta>0$ are prescribed as are the masses $a,b>0$. The system has been considered mostly in the fixed frequency case. And when the masses are prescribed, the standard approach to this problem is variational with $\lambda_1,\lambda_2$ appearing as Lagrange multipliers. Here we present a new approach based on bifurcation theory and the continuation method. We obtain the existence of normalized solutions for any given $a,b>0$ for $\beta$ in a large range. We also give a result about the nonexistence of positive solutions. From which one can see that our existence theorem is almost the best. Especially, if $\mu_1=\mu_2$ we prove that normalized solutions exist for all $\beta>0$ and all $a,b>0$.


title: Linear magnetoelectric effect in the antiferromagnetic Sm2BaCuO5

abstract: We report the discovery of linear magnetoelectric effect in the well-known green phase compound, Sm2BaCuO5, which crystallizes in the centrosymmetric orthorhombic (Pnma) structure. Magnetization and specific heat measurements reveal the long-range antiferromagnetic ordering of Cu2+ and Sm3+-ions moments at TN1 = 23 K and TN2 = 5 K, respectively. Applied magnetic field induces dielectric anomaly at TN1 whose magnitude increases with field, which results in significant (1.7%) magnetocapacitance effect. On the other hand, the dielectric anomaly observed in zero-applied magnetic field at TN2 shows a small (0.4%) magnetocapacitance effect. Interestingly, applied magnetic field induces an electric polarization below TN1 and the polarization varies linearly up to the maximum applied field of 9 T with the magnetoelectric coefficient {\alpha} ~ 4.4 ps/m, demonstrating high magnetoelectric coupling. Below TN2, the electric polarization decreases from 35 to 29 {\mu}C/m2 at 2 K and 9 T due to ordering of Sm-sublattice. The observed linear magnetoelectricity in Sm2BaCuO5 is explained using symmetry analysis.


title: Approximation Algorithms for Partially Colorable Graphs

abstract: Graph coloring problems are a central topic of study in the theory of algorithms. We study the problem of partially coloring partially colorable graphs. For $\alpha \leq 1$ and $k \in \mathbb{Z}^+$, we say that a graph $G=(V,E)$ is $\alpha$-partially $k$-colorable, if there exists a subset $S\subset V$ of cardinality $ |S | \geq \alpha | V |$ such that the graph induced on $S$ is $k$-colorable. Partial $k$-colorability is a more robust structural property of a graph than $k$-colorability. For graphs that arise in practice, partial $k$-colorability might be a better notion to use than $k$-colorability, since data arising in practice often contains various forms of noise. We give a polynomial time algorithm that takes as input a $(1 - \epsilon)$-partially $3$-colorable graph $G$ and a constant $\gamma \in [\epsilon, 1/10]$, and colors a $(1 - \epsilon/\gamma)$ fraction of the vertices using $\tilde{O}\left(n^{0.25 + O(\gamma^{1/2})} \right)$ colors. We also study natural semi-random families of instances of partially $3$-colorable graphs and partially $2$-colorable graphs, and give stronger bi-criteria approximation guarantees for these family of instances.


title: Property testing of the Boolean and binary rank

abstract: We present algorithms for testing if a $(0,1)$-matrix $M$ has Boolean/binary rank at most $d$, or is $\epsilon$-far from Boolean/binary rank $d$ (i.e., at least an $\epsilon$-fraction of the entries in $M$ must be modified so that it has rank at most $d$). The query complexity of our testing algorithm for the Boolean rank is $\tilde{O}\left(d^4/ \epsilon^6\right)$. For the binary rank we present a testing algorithm whose query complexity is $O(2^{2d}/\epsilon)$. Both algorithms are $1$-sided error algorithms that always accept $M$ if it has Boolean/binary rank at most $d$, and reject with probability at least $2/3$ if $M$ is $\epsilon$-far from Boolean/binary rank $d$.


title: 2-Local automorphisms on $AW^\ast$-algebras

abstract: The paper is devoted to 2-local automorphisms on $AW^\ast$-algebras. Using the technique of matrix algebras over a unital Banach algebra we prove that any 2-local automorphism on an arbitrary $AW^\ast$-algebra without finite type~I direct summands is a global automorphism.


title: Sampling first-passage times of fractional Brownian Motion using adaptive bisections

abstract: We present an algorithm to efficiently sample first-passage times for fractional Brownian motion. To increase the resolution, an initial coarse lattice is successively refined close to the target, by adding exactly sampled midpoints, where the probability that they reach the target is non-negligible. Compared to a path of $N$ equally spaced points, the algorithm achieves the same numerical accuracy $N_{\rm eff}$, while sampling only a small fraction of all points. Though this induces a statistical error, the latter is bounded for each bridge, allowing us to bound the total error rate by a number of our choice, say $P_{\rm error}^{\rm tot}=10^{-6}$. This leads to significant improvements in both memory and speed. For $H=0.33$ and $N_{\rm eff}=2^{32}$, we need $5\,000$ times less CPU time and $10\, 000$ times less memory than the classical Davies Harte algorithm. The gain grows for $H=0.25$ and $N_{\rm eff} = 2^{42}$ to $3\cdot 10^{5}$ for CPU and $10^6$ for memory. We estimate our algorithmic complexity as ${\cal C}^{\rm ABSec}(N_{\rm eff}) = {\cal O}\left(\left( \ln N_{\rm eff}\right)^{3}\right)$, to be compared to Davies Harte which has complexity ${\cal C}^{\rm DH}(N) = {\cal O}\left(N \ln N \right)$. Decreasing $P_{\rm error}^{\rm tot}$ results in a small increase in complexity, proportional to $\ln (1/P_{\rm error}^{\rm tot})$. Our current implementation is limited to the values of $N_{\rm eff}$ given above, due to a loss of floating-point precision. The algorithm can be adapted to other extreme events and arbitrary Gaussian processes. It enables one to numerically validate theoretical predictions that were hitherto inaccessible.


title: Existence of regular nut graphs for degree at most 11

abstract: A nut graph is a singular graph with one-dimensional kernel and corresponding eigenverctor with no zero elements. The problem of determining the orders $n$ for which $d$-regular nut graphs exist was recently posed by Gauci, Pisanski and Sciriha. These orders are known for $d \leq 4$. Here we solve the problem for all remaining cases $d\leq 11$ and determine the complete lists of all $d$-regular nut graphs of order $n$ for small values of $d$ and $n$. The existence or non-existence of small regular nut graphs is determined by a computer search. The main tool is a construction that produces, for any $d$-regular nut graph of order $n$, another $d$-regular nut graph of order $n + 2d$. If we are given a sufficient number of $d$-regular nut graphs of consecutive orders, called seed graphs, this construction may be applied in such a way that the existence of all $d$-regular nut graphs of higher orders is established. For even $d$ the orders $n$ are indeed consecutive, while for odd $d$ the orders $n$ are consecutive even numbers. Furthermore, necessary conditions for combinations of order and degree for vertex-transitive nut graphs are derived.


title: Charged-hadron suppression in Pb+Pb and Xe+Xe collisions measured with the ATLAS detector

abstract: The ATLAS detector at the LHC recorded 0.49nb$^{-1}$ of Pb+Pb collisions and 25pb$^{-1}$ of $pp$ collisions, both at the center-of-mass energy 5.02TeV per nucleon pair. Recently, ATLAS also recorded 3$\mu$b$^{-1}$ of Xe+Xe collisions at the center-of-mass energy 5.44TeV, which provides a new opportunity to study the system-size dependence of the charged-hadron production in heavy-ion collisions. The large acceptance of the ATLAS detector allows to measure the spectra of charged hadrons in a wide range of pseudorapidity and transverse momentum. The nuclear modification factors $R_\mathrm{AA}$ are constructed as a ratio of the spectra measured in Pb+Pb or Xe+Xe collisions to that measured in $pp$ collisions. The $R_\mathrm{AA}$ obtained in the two systems are presented for different centrality intervals and the results are discussed.


title: Compact groups with countable Engel sinks

abstract: An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is an Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$.) It is proved that if every element of a compact (Hausdorff) group $G$ has a countable (or finite) Engel sink, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent. This settles a question suggested by J. S. Wilson.


title: $\bf ^{12}{C} + {}^{16}{O}$ molecular resonances at deep sub-barrier energy

abstract: The existence of $^{12}{\rm C} + {}^{16}{\rm O}$ molecular resonances at sub-barrier energy has been a significant problem in nuclear astrophysics because they strongly affect the $^{12}{\rm C} + {}^{16}{\rm O}$ fusion reaction rate in type Ia supernovae and heavy stars. However, experimental surveys have been limited to 4~MeV and cannot access the deep sub-barrier energy due to a very small fusion cross section. Here we predict a couple of resonances with $J^\pi=0^+$, $2^+$, and $4^+$ in the deep sub-barrier energy based on the antisymmetrized molecular dynamics calculation that reproduces the known resonances and low-lying spectrum of $^{28}{\rm Si}$.


title: Geometry of $1$-codimensional measures in Heisenberg groups

abstract: This paper is devoted to the study of tangential properties of measures with density in the Heisenberg groups $\mathbb{H}^n$. Among other results we prove that measures with $(2n+1)$-density have only flat tangents and conclude the classification of uniform measures in $\mathbb{H}^1$.


title: Enhancing Failure Propagation Analysis in Cloud Computing Systems

abstract: In order to plan for failure recovery, the designers of cloud systems need to understand how their system can potentially fail. Unfortunately, analyzing the failure behavior of such systems can be very difficult and time-consuming, due to the large volume of events, non-determinism, and reuse of third-party components. To address these issues, we propose a novel approach that joins fault injection with anomaly detection to identify the symptoms of failures. We evaluated the proposed approach in the context of the OpenStack cloud computing platform. We show that our model can significantly improve the accuracy of failure analysis in terms of false positives and negatives, with a low computational cost.


title: Boundedness of multilinear pseudo-differential operators of $S_{0,0}$-type in $L^2$-based amalgam spaces

abstract: We consider the multilinear pseudo-differential operators with symbols in a generalized $S_{0,0}$-type class and prove the boundedness of the operators from $(L^2,\ell^{q_1}) \times \dots \times (L^2,\ell^{q_N})$ to $(L^2,\ell^{r})$, where $(L^2, \ell^{q})$ denotes the $L^2$-based amalgam space. This extends the previous result by the same authors, which treated the bilinear pseudo-differential operators and gave the $L^2 \times L^2 $ to $(L^2, \ell^{1})$ boundedness.


title: Weight Annotation in Information Extraction

abstract: The framework of document spanners abstracts the task of information extraction from text as a function that maps every document (a string) into a relation over the document's spans (intervals identified by their start and end indices). For instance, the regular spanners are the closure under the Relational Algebra (RA) of the regular expressions with capture variables, and the expressive power of the regular spanners is precisely captured by the class of VSet-automata -- a restricted class of transducers that mark the endpoints of selected spans. In this work, we embark on the investigation of document spanners that can annotate extractions with auxiliary information such as confidence, support, and confidentiality measures. To this end, we adopt the abstraction of provenance semirings by Green et al., where tuples of a relation are annotated with the elements of a commutative semiring, and where the annotation propagates through the positive RA operators via the semiring operators. Hence, the proposed spanner extension, referred to as an annotator, maps every string into an annotated relation over the spans. As a specific instantiation, we explore weighted VSet-automata that, similarly to weighted automata and transducers, attach semiring elements to transitions. We investigate key aspects of expressiveness, such as the closure under the positive RA, and key aspects of computational complexity, such as the enumeration of annotated answers and their ranked enumeration in the case of ordered semirings. For a number of these problems, fundamental properties of the underlying semiring, such as positivity, are crucial for establishing tractability.


title: Empty perovskites as Coulomb floppy networks: entropic elasticity and negative thermal expansion

abstract: Floppy Networks (FNs) provide valuable insight into the origin of anomalous mechanical and thermal properties in soft matter systems, from polymers, rubber, and biomolecules to glasses and granular materials. Here, we use the very same FN concept to construct a quantitative microscopic theory of empty perovskites, a family of crystals with ReO$_3$ structure, which exhibit a number of unusual properties. One remarkable example is ScF$_3$, which shows a near-zero-temperature structural instability and large negative thermal expansion (NTE). We trace these effects to an FN-like crystalline architecture formed by strong nearest-neighbor bonds, which is stabilized by net electrostatic repulsion that plays a role similar to osmotic pressure in polymeric gels. NTE in these crystalline solids, which we conceptualize as Coulomb Floppy Networks, emerges from the tension effect of Coulomb repulsion combined with the FN's entropic elasticity, and has the same physical origin as in gels and rubber. Our theory provides an accurate, quantitative description of phonons, thermal expansion, compressibility, and structural phase diagram, all in excellent agreement with experiments. The entropic stabilization of critical soft modes, which play only a secondary role in NTE, explains the observed phase diagram. Significant entropic elasticity resolves the puzzle of a marked, $\approx$50\% discrepancy between the experimentally observed bulk modulus and ab initio calculations. The Coulomb FN approach is potentially applicable to other important materials with markedly covalent bonds, from perovskite oxides to iron chalcogenides, whose anomalous vibrational and structural properties are still poorly understood.


title: Point defect states emergence in a plasmonic crystal

abstract: Plasmonic crystals are well known to have band structure including a bandgap, enabling the control of surface plasmon propagation and confinement. The band dispersion relation of bulk crystals has been generally measured by momentum-resolved spectroscopy using far field optical techniques while the defects introduced in the crystals have separately been investigated by near field imaging techniques so far. Particularly, defect related energy levels introduced in the plasmonic band gap have not been observed experimentally. In order to investigate such a localized mode, we performed electron energy-loss spectroscopy (EELS), on a point defect introduced in a plasmonic crystal made up of flat cylinders protruding out of a metal film and arranged on a triangular lattice. The energy level of the defect mode was observed to lie within the full band-gap energy range. This was confirmed by a momentum-resolved EELS measurement of the band gap performed on the same plasmonic crystal. Furthermore, we experimentally and theoretically investigated the emergence of the defect states by starting with a corral of flat cylinders protrusions and adding sequentially additional shells of those in order to eventually forming a plasmonic band-gap crystal encompassing a single point defect. It is demonstrated that a defect-like state already forms with a crystal made up of only two shells.