title: Optimizing Response Time in SDN-Edge Environments for Time-Strict IoT Applications

abstract: The rise of the Internet of Things (IoT) has opened new research lines that focus on applying IoT applications to domains further beyond basic user-grade applications, such as Industry or Healthcare. These domains demand a very high Quality of Service (QoS), mainly a very short response time. In order to meet these demands, some works are evaluating how to modularize and deploy IoT applications in different nodes of the infrastructure (edge, fog, cloud), as well as how to place the network controllers, since these decisions affect the response time of the application. Some works in the literature have approached this problem by providing separate plans for deployment and placing of controllers. However, this approach makes sub-optimal decisions, that complicate guaranteeing the demanded response time. To guarantee an optimal response time, it is crucial to solve the problem in a single effort that considers both, the networking and computing dimensions. In this work, we analyze the influences between the response time of computing and networking in edge computing environments with SDN networks, merging both optimization efforts into a single one and proposing a solution to the joint problem. Our evaluation shows that our proposal can shorten response time by up to 28.97%


title: Automated Allocation of Detention Rooms Based on Inverse Graph Partitioning

abstract: Room allocation is a challenging task in detention centers since lots of related people need to be held separately with limited rooms. It is extremely difficult and risky to allocate rooms manually, especially for organized crime groups with close connections. To tackle this problem, we develop an intelligent room allocation system for detention centers to provide optimized room allocation schemes automatically. We first formalize the detention room allocation problem as inverse graph partitioning, which can measure the quality of room allocation schemes. Then, we propose two heuristic algorithms to achieve the global optimization and local optimization of detention room allocation. Experiment results on real-world datasets show that the proposed algorithms significantly outperform manual allocation and suggest that the system is of great practical application value.


title: Constraining the Neutron Star Mass--Radius Relation and Dense Matter Equation of State with NICER. III. Model Description and Verification of Parameter Estimation Codes

abstract: We describe the X-ray pulse profile models we use, and how we use them, to analyze Neutron Star Interior Composition Explorer (NICER) observations of rotation-powered millisecond pulsars to obtain information about the mass-radius relation of neutron stars and the equation of state of the dense matter in their cores. Here we detail our modeling of the observed profile of PSR J0030+0451 that we analyzed in Miller et al. (2019) and Riley et al. (2019) and describe a cross-verification of computations of the pulse profiles of a star with R/M 3, in case stars this compact need to be considered in future analyses. We also present our early cross-verification efforts of the parameter estimation procedures used by Miller et al. (2019) and Riley et al. (2019) by analyzing two distinct synthetic data sets. Both codes yielded credible regions in the mass-radius plane that are statistically consistent with one another and both gave posterior distributions for model parameter values consistent with the values that were used to generate the data. We also summarize the additional tests of the parameter estimation procedure of Miller et al. (2019) that used synthetic pulse profiles and the NICER pulse profile of PSR J0030+0451. We then illustrate how the precision of mass and radius estimates depends on the pulsar's spin rate and the size of its hot spot by analyzing four different synthetic pulse profiles. Finally, we assess possible sources of systematic error in these estimates made using this technique, some of which may warrant further investigation.


title: Anomalous-order exceptional point and non-Markovian Purcell effect at threshold in one-dimensional continuum systems

abstract: For a system consisting of a quantum emitter coupled near threshold (band edge) to a one-dimensional continuum with a van Hove singularity in the density of states, we demonstrate general conditions such that a characteristic triple level convergence occurs directly on the threshold as the coupling $g$ is shut off. For small $g$ values the eigenvalue and norm of each of these states can be expanded in a Puiseux expansion in terms of powers of $g^{2/3}$, which suggests the influence of a third-order exceptional point. However, in the actual $g \rightarrow 0$ limit, only two discrete states in fact coalesce as the system can be reduced to a $2 \times 2$ Jordan block; the third state instead merges with the continuum. Moreover, the decay width of the resonance state involved in this convergence is significantly enhanced compared to the usual Fermi golden rule, which is consistent with the Purcell effect. However, non-Markovian dynamics due to the branch-point effect are also enhanced near the threshold. Applying a perturbative analysis in terms of the Puiseux expansion that takes into account the threshold influence, we show that the combination of these effects results in quantum emitter decay of the unusual form $1 - C t^{3/2}$ on the key timescale during which most of the decay occurs. We then present two conditions that must be satisfied at the threshold for the anomalous exceptional point to occur: the density of states must contain an inverse square-root divergence and the potential must be non-singular. We further show that when the energy of the quantum emitter is detuned from threshold, the anomalous exceptional point splits into three ordinary exceptional points, two of which appear in the complex-extended parameter space. These results provide deeper insight into a well-known problem in spontaneous decay at a photonic band edge.


title: Optical power detector with broad spectral coverage, high detectivity and large dynamic range

abstract: Optical power measurements are needed in practically all technologies based on light. Here we report a general-purpose optical power detector based on the photoacoustic effect. Optical power incident on the detector's black absorber produces an acoustic signal, which is further converted into an electrical signal using a silicon-cantilever pressure transducer. We demonstrate an exceptionally large spectral coverage from ultraviolet to far infrared, with the possibility for further extension to the terahertz region. The linear dynamic range of the detector reaches 80 dB, ranging from a noise-equivalent power of 6 nW to 600 mW.


title: Searching for Monopoles via Monopolium Multiphoton Decays

abstract: We explore the phenomenology of a model of monopolium based on an electromagnetic dual formulation of Zwanziger and lattice gauge theory. The monopole is assumed to have a finite-sized inner structure based on a 't Hooft-Polyakov like solution, with the magnetic charge uniformly distributed on the surface of a sphere. The monopole and anti-monopole potential becomes linear plus Coulomb outside the sphere, analogous to the Cornell potential utilised in the study of quarkonium states. Discovery of a resonance feature in the diphoton channel as well as in a higher multiplicity photon channel would be a smoking gun for the existence of monopoles within this monopolium construction, with the mass and bound state properties extractable. Utilising the current LHC results in the diphoton channel, constraints on the monopole mass are determined for a wide range of model parameters. These are compared to the most recent MoEDAL results and found to be significantly more stringent in certain parameter regions, providing strong motivation for exploring higher multiplicity photon final state searches.


title: The theory of hereditarily bounded sets

abstract: We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds on its computational complexity. This stands in stark contrast to the structure $V_\omega=\bigcup_k H_k$ of hereditarily finite sets, which is well known to be bi-interpretable with the standard model of arithmetic $(\mathbb N,+,\cdot)$.


title: Fast Approximations for Rooted Connectivity in Weighted Directed Graphs

abstract: We consider approximations for computing minimum weighted cuts in directed graphs. We consider both rooted and global minimum cuts, and both edge-cuts and vertex-cuts. For these problems we give randomized Monte Carlo algorithms that compute a $(1+\epsilon)$-approximate minimum cut in $\tilde{O}(n^2 / \epsilon^2)$ time. These results extend and build on recent work [4] that obtained exact algorithms with similar running times in directed graphs with small integer capacities.


title: Process Outcome Prediction: CNN vs. LSTM (with Attention)

abstract: The early outcome prediction of ongoing or completed processes confers competitive advantage to organizations. The performance of classic machine learning and, more recently, deep learning techniques such as Long Short-Term Memory (LSTM) on this type of classification problem has been thorougly investigated. Recently, much research focused on applying Convolutional Neural Networks (CNN) to time series problems including classification, however not yet to outcome prediction. The purpose of this paper is to close this gap and compare CNNs to LSTMs. Attention is another technique that, in combination with LSTMs, has found application in time series classification and was included in our research. Our findings show that all these neural networks achieve satisfactory to high predictive power provided sufficiently large datasets. CNNs perfom on par with LSTMs; the Attention mechanism adds no value to the latter. Since CNNs run one order of magnitude faster than both types of LSTM, their use is preferable. All models are robust with respect to their hyperparameters and achieve their maximal predictive power early on in the cases, usually after only a few events, making them highly suitable for runtime predictions. We argue that CNNs' speed, early predictive power and robustness should pave the way for their application in process outcome prediction.


title: Stereo Radiance Fields (SRF): Learning View Synthesis for Sparse Views of Novel Scenes

abstract: Recent neural view synthesis methods have achieved impressive quality and realism, surpassing classical pipelines which rely on multi-view reconstruction. State-of-the-Art methods, such as NeRF, are designed to learn a single scene with a neural network and require dense multi-view inputs. Testing on a new scene requires re-training from scratch, which takes 2-3 days. In this work, we introduce Stereo Radiance Fields (SRF), a neural view synthesis approach that is trained end-to-end, generalizes to new scenes, and requires only sparse views at test time. The core idea is a neural architecture inspired by classical multi-view stereo methods, which estimates surface points by finding similar image regions in stereo images. In SRF, we predict color and density for each 3D point given an encoding of its stereo correspondence in the input images. The encoding is implicitly learned by an ensemble of pair-wise similarities -- emulating classical stereo. Experiments show that SRF learns structure instead of overfitting on a scene. We train on multiple scenes of the DTU dataset and generalize to new ones without re-training, requiring only 10 sparse and spread-out views as input. We show that 10-15 minutes of fine-tuning further improve the results, achieving significantly sharper, more detailed results than scene-specific models. The code, model, and videos are available at https://virtualhumans.mpi-inf.mpg.de/srf/.


title: IQDet: Instance-wise Quality Distribution Sampling for Object Detection

abstract: We propose a dense object detector with an instance-wise sampling strategy, named IQDet. Instead of using human prior sampling strategies, we first extract the regional feature of each ground-truth to estimate the instance-wise quality distribution. According to a mixture model in spatial dimensions, the distribution is more noise-robust and adapted to the semantic pattern of each instance. Based on the distribution, we propose a quality sampling strategy, which automatically selects training samples in a probabilistic manner and trains with more high-quality samples. Extensive experiments on MS COCO show that our method steadily improves baseline by nearly 2.4 AP without bells and whistles. Moreover, our best model achieves 51.6 AP, outperforming all existing state-of-the-art one-stage detectors and it is completely cost-free in inference time.


title: Shared memories driven by the intrinsic memorability of items

abstract: When we experience an event, it feels like our previous experiences, our interpretations of that event (e.g., aesthetics, emotions), and our current state will determine how we will remember it. However, recent work has revealed a strong sway of the visual world itself in influencing what we remember and forget. Certain items -- including certain faces, words, images, and movements -- are intrinsically memorable or forgettable across observers, regardless of individual differences. Further, neuroimaging research has revealed that the brain is sensitive to memorability both rapidly and automatically during late perception. These strong consistencies in memory across people may reflect the broad organizational principles of our sensory environment, and may reveal how the brain prioritizes information before encoding items into memory. In this chapter, I will discuss our current state-of-the-art understanding of memorability for visual information, and what these findings imply about how we perceive and remember visual events.


title: On the state space structure of tripartite quantum systems

abstract: State space structure of tripartite quantum systems is analyzed. In particular, it has been shown that the set of states separable across all the three bipartitions [say $\mathcal{B}^{int}(ABC)$] is a strict subset of the set of states having positive partial transposition (PPT) across the three bipartite cuts [say $\mathcal{P}^{int}(ABC)$] for all the tripartite Hilbert spaces $\mathbb{C}_A^{d_1}\otimes\mathbb{C}_B^{d_2}\otimes\mathbb{C}_C^{d_3}$ with $\min\{d_1,d_2,d_3\}\ge2$. The claim is proved by constructing state belonging to the set $\mathcal{P}^{int}(ABC)$ but not belonging to $\mathcal{B}^{int}(ABC)$. For $(\mathbb{C}^{d})^{\otimes3}$ with $d\ge3$, the construction follows from specific type of multipartite unextendible product bases. However, such a construction is not possible for $(\mathbb{C}^{2})^{\otimes3}$ since for any $n$ the bipartite system $\mathbb{C}^2\otimes\mathbb{C}^n$ cannot have any unextendible product bases [Phys. Rev. Lett. 82, 5385 (1999)]. For the $3$-qubit system we, therefore, come up with a different construction.


title: Zero-Inertia Limit: from Particle Swarm Optimization to Consensus Based Optimization

abstract: Recently a continuous description of the particle swarm optimization (PSO) based on a system of stochastic differential equations was proposed by Grassi and Pareschi in arXiv:2012.05613 where the authors formally showed the link between PSO and the consensus based optimization (CBO) through zero-inertia limit. This paper is devoted to solving this theoretical open problem proposed in arXiv:2012.05613 by providing a rigorous derivation of CBO from PSO through the limit of zero inertia, and a quantified convergence rate is obtained as well. The proofs are based on a probabilistic approach by investigating the weak convergence of the corresponding stochastic differential equations (SDEs) of Mckean type in the continuous path space and the results are illustrated with some numerical examples.


title: Pincer-Based vs. Same-Direction Strategies of Search for Smart Evaders by Swarms of Agents

abstract: Suppose in a given planar region, there are smart mobile evaders and we want to detect them using sweeping agents. We assume that the agents have line sensors of equal length. We propose procedures for designing cooperative sweeping processes that ensure successful completion of the task, thereby deriving conditions on the sweeping speed of the agents and their paths. Successful completion of the task means that evaders with a known limit on their speed cannot escape the sweeping agents. A simpler task for the sweeping swarm is the confinement of the evaders to their initial domain. The feasibility of completing these tasks depends on geometric and dynamic constraints that impose a lower bound on the speed the sweeping agent must have. This critical speed is derived to ensure the satisfaction of the confinement task. Increasing the speed above the lower bound enables the agents to complete the search task as well. We present a quantitative and qualitative comparison analysis between the total search time of same-direction sweep processes and pincer-movement search strategies. We evaluate the different strategies by using two metrics, total search time and the minimal critical speed required for a successful search. We compare two types of pincer-movement search processes, circular and spiral, with their same-direction counterparts, for any even number of sweeping agents. We prove that pincer based strategies provide superior results in all practical scenarios and that the spiral pincer sweep process allows detection of all evaders while sweeping at nearly theoretically optimal speeds.


abstract: We establish a Riemann-Hilbert correspondence for Alexander complexes (also known as Sabbah specialization complexes) by using relative holonomic $\mathscr D$-modules in an equivariant way, which particularly gives a "global" approach to the correspondence for Deligne's nearby cycles. Using the correspondence and zero loci of Bernstein-Sato ideals, we obtain a formula for the relative support of the Alexander complexes.


title: A Hyperbolic-to-Hyperbolic Graph Convolutional Network

abstract: Hyperbolic graph convolutional networks (GCNs) demonstrate powerful representation ability to model graphs with hierarchical structure. Existing hyperbolic GCNs resort to tangent spaces to realize graph convolution on hyperbolic manifolds, which is inferior because tangent space is only a local approximation of a manifold. In this paper, we propose a hyperbolic-to-hyperbolic graph convolutional network (H2H-GCN) that directly works on hyperbolic manifolds. Specifically, we developed a manifold-preserving graph convolution that consists of a hyperbolic feature transformation and a hyperbolic neighborhood aggregation. The hyperbolic feature transformation works as linear transformation on hyperbolic manifolds. It ensures the transformed node representations still lie on the hyperbolic manifold by imposing the orthogonal constraint on the transformation sub-matrix. The hyperbolic neighborhood aggregation updates each node representation via the Einstein midpoint. The H2H-GCN avoids the distortion caused by tangent space approximations and keeps the global hyperbolic structure. Extensive experiments show that the H2H-GCN achieves substantial improvements on the link prediction, node classification, and graph classification tasks.


title: Finite-element dynamic-matrix approach for spin-wave dispersions in magnonic waveguides with arbitrary cross section

abstract: We present a numerical approach to efficiently calculate spin-wave dispersions and spatial mode profiles in magnetic waveguides of arbitrarily shaped cross section with any non-collinear equilibrium magnetization which is translationally invariant along the waveguide. Our method is based on the propagating-wave dynamic-matrix approach by Henry et al. and extends it to arbitrary cross sections using a finite-element method. We solve the linearized equation of motion of the magnetization only in a single waveguide cross section which drastically reduces computational effort compared to common three-dimensional micromagnetic simulations. In order to numerically obtain the dipolar potential of individual spin-wave modes, we present a plane-wave version of the hybrid finite-element/boundary-element method by Frekdin and Koehler which, for the first time, we extend to a modified version of the Poisson equation. Our method is applied to several important examples of magnonic waveguides including systems with surface curvature, such as magnetic nanotubes, where the curvature leads to an asymmetric spin-wave dispersion. In all cases, the validity of our approach is confirmed by other methods. Our method is of particular interest for the study of curvature-induced or magnetochiral effects on spin-wave transport but also serves as an efficient tool to investigate standard magnonic problems.


title: TESS observations of TX Col: Rapidly varying accretion flow

abstract: Using the first long-term photometry from the Transiting Exoplanet Survey Satellite, we have carried out a detailed time-resolved timing analysis of an intermediate polar TX Col. The power spectra of almost 52 days continuous time-series data reveal the orbital period of $5.691 \pm 0.006$ hr, spin period of $1909.5 \pm 0.2$ s, and beat period of $2105.76 \pm 0.25$ s, which is consistent with the earlier results. We have also found the presence of quasi-periodic oscillations (QPOs) for a few days with a period of 5850-5950 s, which appears to be due to the beating of the Keplerian period with the spin period of the white dwarf. The continuous data allowed us to look thoroughly at the day-wise evolution of the system's accretion geometry. We report here that the TX Col changes its accretion mechanism even on a time-scale of one day, confirming its variable disk-overflow accretion nature. For the majority of the time, it was found to be disk-overflow system with stream-fed dominance, however, pure disk-fed and pure stream-fed accretions cannot be ruled out during the observations.


title: In-field high throughput grapevine phenotyping with a consumer-grade depth camera

abstract: Plant phenotyping, that is, the quantitative assessment of plant traits including growth, morphology, physiology, and yield, is a critical aspect towards efficient and effective crop management. Currently, plant phenotyping is a manually intensive and time consuming process, which involves human operators making measurements in the field, based on visual estimates or using hand-held devices. In this work, methods for automated grapevine phenotyping are developed, aiming to canopy volume estimation and bunch detection and counting. It is demonstrated that both measurements can be effectively performed in the field using a consumer-grade depth camera mounted onboard an agricultural vehicle.


title: Isovector EMC effect from global QCD analysis with MARATHON data

abstract: We report the results of a Monte Carlo global QCD analysis of unpolarized parton distribution functions (PDFs), including for the first time constraints from ratios of $^3$He to $^3$H structure functions recently obtained by the MARATHON experiment at Jefferson Lab. Our simultaneous analysis of nucleon PDFs and nuclear effects in $A=2$ and $A=3$ nuclei reveals the first indication for an isovector nuclear EMC effect in light nuclei. We find that while the MARATHON data yield relatively weak constraints on the $F_2^n/F_2^p$ neutron to proton structure function ratio and on the $d/u$ PDF ratio, they suggest an enhanced nuclear effect on the $d$-quark PDF in the bound proton, questioning the assumptions commonly made in nuclear PDF analyses.


title: Projective Cones for Sequential Dispersing Billiards

abstract: We construct Birkhoff cones for dispersing billiards, which are contracted by the action of the transfer operator. This construction permits the study of statistical properties not only of regular dispersing billiards but also of sequential billiards (the billiard changes at each collision in a prescribed manner), open billiards (the dynamics exits some region or dies when hitting some obstacle) and many other examples. In particular, we include applications to chaotic scattering and the random Lorentz gas.


title: A functional limit theorem for nested Karlin's occupancy scheme generated by discrete Weibull-like distributions

abstract: Let $(p_k)_{k\in\mathbb{N}}$ be a discrete probability distribution for which the counting function $x\mapsto \#\{k\in\mathbb{N}: p_k\geq 1/x\}$ belongs to the de Haan class $\Pi$. Consider a deterministic weighted branching process generated by $(p_k)_{k\in\mathbb{N}}$. A nested Karlin's occupancy scheme is the sequence of Karlin balls-in-boxes schemes in which boxes of the $j$th level, $j=1,2,\ldots$ are identified with the $j$th generation individuals and the hitting probabilities of boxes are identified with the corresponding weights. The collection of balls is the same for all generations, and each ball starts at the root and moves along the tree of the deterministic weighted branching process according to the following rule: transition from a mother box to a daughter box occurs with probability given by the ratio of the daughter and mother weights. Assuming there are $n$ balls, denote by $\mathcal{K}_n(j)$ the number of occupied (ever hit) boxes in the $j$th level. For each $j\in\mathbb{N}$, we prove a functional limit theorem for the vector-valued process $(\mathcal{K}^{(1)}_{\lfloor e^{T+u}\rfloor},\ldots, \mathcal{K}^{(j)}_{\lfloor e^{T+u}\rfloor})_{u\in\mathbb{R}}$, properly normalized and centered, as $T\to\infty$. The limit is a vector-valued process whose components are independent stationary Gaussian processes. An integral representation of the limit process is obtained.


title: Nonlinear Differential Equations with Perturbed Dirichlet Integral Boundary Conditions

abstract: This paper is devoted to prove the existence of positive solutions of a second order differential equation with a nonhomogeneous Dirichlet conditions given by a parameter dependence integral. The studied problem is a nonlocal perturbation of the Dirichlet conditions by considering a homogeneous Dirichlet-type condition at one extreme of the interval and an integral operator on the other one. We obtain the expression of the Green's function related to the linear part of the equation and characterize its constant sign. Such property will be fundamental to deduce the existence of solutions of the nonlinear problem. The results hold from fixed point theory applied to related operators defined on suitable cones.


title: Temporally-Coherent Surface Reconstruction via Metric-Consistent Atlases

abstract: We propose a method for the unsupervised reconstruction of a temporally-coherent sequence of surfaces from a sequence of time-evolving point clouds, yielding dense, semantically meaningful correspondences between all keyframes. We represent the reconstructed surface as an atlas, using a neural network. Using canonical correspondences defined via the atlas, we encourage the reconstruction to be as isometric as possible across frames, leading to semantically-meaningful reconstruction. Through experiments and comparisons, we empirically show that our method achieves results that exceed that state of the art in the accuracy of unsupervised correspondences and accuracy of surface reconstruction.


title: Domain Adaptation and Multi-Domain Adaptation for Neural Machine Translation: A Survey

abstract: The development of deep learning techniques has allowed Neural Machine Translation (NMT) models to become extremely powerful, given sufficient training data and training time. However, systems struggle when translating text from a new domain with a distinct style or vocabulary. Fine-tuning on in-domain data allows good domain adaptation, but requires sufficient relevant bilingual data. Even if this is available, simple fine-tuning can cause overfitting to new data and `catastrophic forgetting' of previously learned behaviour. We concentrate on robust approaches to domain adaptation for NMT, particularly where a system may need to translate across multiple domains. We divide techniques into those revolving around data selection or generation, model architecture, parameter adaptation procedure, and inference procedure. We finally highlight the benefits of domain adaptation and multi-domain adaptation techniques to other lines of NMT research.


title: The Surprising Performance of Simple Baselines for Misinformation Detection

abstract: As social media becomes increasingly prominent in our day to day lives, it is increasingly important to detect informative content and prevent the spread of disinformation and unverified rumours. While many sophisticated and successful models have been proposed in the literature, they are often compared with older NLP baselines such as SVMs, CNNs, and LSTMs. In this paper, we examine the performance of a broad set of modern transformer-based language models and show that with basic fine-tuning, these models are competitive with and can even significantly outperform recently proposed state-of-the-art methods. We present our framework as a baseline for creating and evaluating new methods for misinformation detection. We further study a comprehensive set of benchmark datasets, and discuss potential data leakage and the need for careful design of the experiments and understanding of datasets to account for confounding variables. As an extreme case example, we show that classifying only based on the first three digits of tweet ids, which contain information on the date, gives state-of-the-art performance on a commonly used benchmark dataset for fake news detection --Twitter16. We provide a simple tool to detect this problem and suggest steps to mitigate it in future datasets.


title: A National Discovery Cloud: Preparing the US for Global Competitiveness in the New Era of 21st Century Digital Transformation

abstract: The nature of computation and its role in our lives have been transformed in the past two decades by three remarkable developments: the emergence of public cloud utilities as a new computing platform; the ability to extract information from enormous quantities of data via machine learning; and the emergence of computational simulation as a research method on par with experimental science. Each development has major implications for how societies function and compete; together, they represent a change in technological foundations of society as profound as the telegraph or electrification. Societies that embrace these changes will lead in the 21st Century; those that do not, will decline in prosperity and influence. Nowhere is this stark choice more evident than in research and education, the two sectors that produce the innovations that power the future and prepare a workforce able to exploit those innovations, respectively. In this article, we introduce these developments and suggest steps that the US government might take to prepare the research and education system for its implications.


title: Aligning Latent and Image Spaces to Connect the Unconnectable

abstract: In this work, we develop a method to generate infinite high-resolution images with diverse and complex content. It is based on a perfectly equivariant generator with synchronous interpolations in the image and latent spaces. Latent codes, when sampled, are positioned on the coordinate grid, and each pixel is computed from an interpolation of the nearby style codes. We modify the AdaIN mechanism to work in such a setup and train the generator in an adversarial setting to produce images positioned between any two latent vectors. At test time, this allows for generating complex and diverse infinite images and connecting any two unrelated scenes into a single arbitrarily large panorama. Apart from that, we introduce LHQ: a new dataset of \lhqsize high-resolution nature landscapes. We test the approach on LHQ, LSUN Tower and LSUN Bridge and outperform the baselines by at least 4 times in terms of quality and diversity of the produced infinite images. The project page is located at https://universome.github.io/alis.


title: Probing NSI in Atmospheric Neutrino Experiments using Oscillation Dip and Valley

abstract: We propose a new approach to probe neutral-current non-standard neutrino interaction parameter $\varepsilon_{\mu\tau}$ using the oscillation dip and oscillation valley. Using the simulated ratio of upward-going and downward-going reconstructed muon events at the upcoming ICAL detector, we demonstrate that the presence of non-zero $\varepsilon_{\mu\tau}$ would result in the shift in the dip location as well as the bending of the oscillation valley. Thanks to the charge identification capability of ICAL, the opposite shifts in the locations of oscillation dips as well as the contrast in the curvatures of oscillation valleys for $\mu^-$ and $\mu^+$ is used to constrain $|\varepsilon_{\mu\tau}|$ at 90% C.L. to about 2% using 500 kt$\cdot$yr exposure. Our procedure incorporates statistical fluctuations, uncertainties in oscillation parameters, and systematic errors.


title: Simulations of the Biermann battery mechanism in two-fluid partially ionised plasmas

abstract: In the absence of an initial seed, the Biermann battery term of a non-ideal induction equation acts as a source that generates weak magnetic fields. These fields are then amplified via a dynamo mechanism. The Kelvin-Helmholtz instability is a fluid phenomenon that takes place in many astrophysical scenarios and can trigger the action of the Biermann battery and dynamo processes. We aim to investigate the effect that the ionisation degree of the plasma and the interaction between the charged and neutral species have on the generation and amplification of magnetic fields during the different stages of the instability. We use the two-fluid model implemented in the numerical code Mancha-2F. We perform 2D simulations starting from a configuration with no initial magnetic field and which is unstable due to a velocity shear. We vary the ionisation degree of the plasma and we analyse the role that the different collisional terms included in the equations of the model play on the evolution of the instability and the generation of magnetic field. We find that when no collisional coupling is considered between the two fluids, the effect of the Biermann battery mechanism does not depend on the ionisation degree. However, when elastic collisions are taken into account, the generation of magnetic field is increased as the ionisation degree is reduced. This behaviour is slightly enhanced if the process of charge-exchange is also considered. We also find a dependence on the total density of the plasma related to the dependence on the coupling degree between the two fluids. As the total density is increased, the results from the two-fluid model converge to the predictions of single-fluid models.


title: ComBiNet: Compact Convolutional Bayesian Neural Network for Image Segmentation

abstract: Fully convolutional U-shaped neural networks have largely been the dominant approach for pixel-wise image segmentation. In this work, we tackle two defects that hinder their deployment in real-world applications: 1) Predictions lack uncertainty quantification that may be crucial to many decision-making systems; 2) Large memory storage and computational consumption demanding extensive hardware resources. To address these issues and improve their practicality we demonstrate a few-parameter compact Bayesian convolutional architecture, that achieves a marginal improvement in accuracy in comparison to related work using significantly fewer parameters and compute operations. The architecture combines parameter-efficient operations such as separable convolutions, bilinear interpolation, multi-scale feature propagation and Bayesian inference for per-pixel uncertainty quantification through Monte Carlo Dropout. The best performing configurations required fewer than 2.5 million parameters on diverse challenging datasets with few observations.


title: Three-loop vertex integrals at symmetric point

abstract: This paper provides details of the massless three-loop three-point integrals calculation at the symmetric point. Our work aimed to extend known two-loop results for such integrals to the three-loop level. Obtained results can find their application in regularization-invariant symmetric point momentum-subtraction (RI/SMOM) scheme QCD calculations of renormalization group functions and various composite operator matrix elements. To calculate integrals, we solve differential equations for auxiliary integrals by transforming the system to the $\varepsilon$-form. Calculated integrals are expressed through the basis of functions with uniform transcendental weight. We provide expansion up to the transcendental weight six for the basis functions in terms of harmonic polylogarithms with six-root of unity argument.


title: Sum index, difference index and exclusive sum number of graphs

abstract: We consider two recent conjectures of Harrington, Henninger-Voss, Karhadkar, Robinson and Wong concerning relationships between the sum index, difference index and exclusive sum number of graphs. One conjecture posits an exact relationship between the first two invariants; we show that in fact the predicted value may be arbitrarily far from the truth in either direction. In the process we establish some new bounds on both the sum and difference index. The other conjecture, that the exclusive sum number can exceed the sum index by an arbitrarily large amount, follows from known, but non-constructive, results; we give an explicit construction demonstrating it. Simultaneously with the first version of this paper appearing, Harrington et al. updated their preprint with two counterexamples to the first conjecture; however, their counterexamples only give a discrepancy of 1, and only in one direction. They therefore modified the conjecture from an equality to an inequality; our results show that this is still false in general.


title: K-PLUG: Knowledge-injected Pre-trained Language Model for Natural Language Understanding and Generation in E-Commerce

abstract: Existing pre-trained language models (PLMs) have demonstrated the effectiveness of self-supervised learning for a broad range of natural language processing (NLP) tasks. However, most of them are not explicitly aware of domain-specific knowledge, which is essential for downstream tasks in many domains, such as tasks in e-commerce scenarios. In this paper, we propose K-PLUG, a knowledge-injected pre-trained language model based on the encoder-decoder transformer that can be transferred to both natural language understanding and generation tasks. We verify our method in a diverse range of e-commerce scenarios that require domain-specific knowledge. Specifically, we propose five knowledge-aware self-supervised pre-training objectives to formulate the learning of domain-specific knowledge, including e-commerce domain-specific knowledge-bases, aspects of product entities, categories of product entities, and unique selling propositions of product entities. K-PLUG achieves new state-of-the-art results on a suite of domain-specific NLP tasks, including product knowledge base completion, abstractive product summarization, and multi-turn dialogue, significantly outperforms baselines across the board, which demonstrates that the proposed method effectively learns a diverse set of domain-specific knowledge for both language understanding and generation tasks.


title: Unified quark-hadron EoS and critical endpoint in the QCD phase diagram

abstract: We present a recent development towards a unified description of quark-hadron matter in the QCD phase diagram that is based on a cluster decomposition of the generalized Beth-Uhlenbeck approach to quark matter, selfconsistently coupled to Polyakov-loop and mesonic background fields. The Mott dissociation of hadrons under extreme conditions of temperature and density is triggered by chiral symmetry restoration and confining aspects are modeled by the coupling to the background mean fields. First results for the QCD phase diagram with the capability to describe critical endpoints as well as crossover-all-over are presented and an excellent agreement with lattice QCD on the temperature axis is obtained.


title: 500 W Peak Power Cavity Dumped 2-micron GaSb-Based VECSEL

abstract: A single transverse mode high pulse-energy VECSEL was developed. The GaSb based VECSEL emits at a wavelength of 2.04 microns with a peak power exceeding 500W while maintaining good beam quality. The cavity employs a Pockels cell combined with a low-loss thin film polarizer to selectively dump the intracavity energy into a 10ns pulse. The laser has promise for incoherent LiDAR, materials processing, gas sensing, and nonlinear optics.


title: I Need Your Advice... Human Perceptions of Robot Moral Advising Behaviors

abstract: Due to their unique persuasive power, language-capable robots must be able to both act in line with human moral norms and clearly and appropriately communicate those norms. These requirements are complicated by the possibility that humans may ascribe blame differently to humans and robots. In this work, we explore how robots should communicate in moral advising scenarios, in which the norms they are expected to follow (in a moral dilemma scenario) may be different from those their advisees are expected to follow. Our results suggest that, in fact, both humans and robots are judged more positively when they provide the advice that favors the common good over an individual's life. These results raise critical new questions regarding people's moral responses to robots and the design of autonomous moral agents.


title: Persisting correlation between electrical transport and magnetic dynamics in M-type hexaferrites

abstract: In this work we present frequency-dependent magnetic susceptibility and dc electric transport properties of three different compositions of hexaferrite Ba$_{1-x}$Pb$_{x}$Fe$_{12-y}$Al$_{y}$O$_{19}$. We find a correlation between activation energies of dc electric transport and ac magnetic susceptibility which persists in the whole researched range of aluminium substitution $x=0$ to $3.3$. This result is discussed in the context of charged magnetic domain walls, the pinning of which is determined by charge carriers activated over the transport gap. Our work points toward a general relaxational mechanism in ferrimagnetic semiconductors which directly affects dynamic magnetic properties via electric transport.


title: Multiscale Thermodynamics: Energy, Entropy, and Symmetry from Atoms to Bulk Behavior

abstract: Here we investigate how local properties of particles in a thermal bath influence the thermodynamics of the bath. We utilize nanothermodynamics, based on two postulates: that small systems can be treated self-consistently by coupling to an ensemble of similarly small systems, and that a large ensemble of small systems forms its own thermodynamic bath. We adapt these ideas to study how a large system may subdivide into an ensemble of smaller subsystems, causing internal heterogeneity across multiple size scales. For the semi-classical ideal gas, maximum entropy favors subdividing a large system of atoms into regions of variable size. The mechanism of region formation could come from quantum exchange that makes atoms in each region indistinguishable, while decoherence between regions allows atoms in separate regions to be distinguishable by location. Combining regions reduces the total entropy, as expected when distinguishable particles become indistinguishable, and as required by theorems for sub-additive entropy. Combining large volumes of small regions gives the entropy of mixing for a semi-classical ideal gas, resolving Gibbs paradox without invoking quantum symmetry for distant atoms. Other models we study are based on Ising-like spins in 1-D. We find similarity in the properties of a two-state model in the nanocanonical ensemble and a three-state model in the canonical ensemble. Thus, emergent phenomena may alter the thermal behavior of microscopic models, and the correct ensemble is necessary for fully-accurate predictions. We add a nonlinear correction to Boltzmann's factor in simulations of the Ising-like spins to imitate the dynamics of spin exchange on intermediate lengths, yielding the statistics of indistinguishable states. These simulations exhibit 1/f-like noise at low frequencies (f), and white noise at higher f, similar to the thermal fluctuations found in many materials.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas physics.atm-clus


title: Sums of four squareful numbers

abstract: We find an asymptotic formula for the number of primitive vectors $(z_1,\ldots,z_4)\in (\mathbb{Z}_{\neq 0})^4$ such that $z_1,\ldots, z_4$ are all squareful and bounded by $B$, and $z_1+\cdots + z_4 = 0$. Our result agrees in the power of $B$ and $\log B$ with the Campana-Manin conjecture of Pieropan, Smeets, Tanimoto and V\'{a}rilly-Alvarado.


title: Efficiently Teaching an Effective Dense Retriever with Balanced Topic Aware Sampling

abstract: A vital step towards the widespread adoption of neural retrieval models is their resource efficiency throughout the training, indexing and query workflows. The neural IR community made great advancements in training effective dual-encoder dense retrieval (DR) models recently. A dense text retrieval model uses a single vector representation per query and passage to score a match, which enables low-latency first stage retrieval with a nearest neighbor search. Increasingly common, training approaches require enormous compute power, as they either conduct negative passage sampling out of a continuously updating refreshing index or require very large batch sizes for in-batch negative sampling. Instead of relying on more compute capability, we introduce an efficient topic-aware query and balanced margin sampling technique, called TAS-Balanced. We cluster queries once before training and sample queries out of a cluster per batch. We train our lightweight 6-layer DR model with a novel dual-teacher supervision that combines pairwise and in-batch negative teachers. Our method is trainable on a single consumer-grade GPU in under 48 hours (as opposed to a common configuration of 8x V100s). We show that our TAS-Balanced training method achieves state-of-the-art low-latency (64ms per query) results on two TREC Deep Learning Track query sets. Evaluated on NDCG@10, we outperform BM25 by 44%, a plainly trained DR by 19%, docT5query by 11%, and the previous best DR model by 5%. Additionally, TAS-Balanced produces the first dense retriever that outperforms every other method on recall at any cutoff on TREC-DL and allows more resource intensive re-ranking models to operate on fewer passages to improve results further.


title: Blockchain Machine: A Network-Attached Hardware Accelerator for Hyperledger Fabric

abstract: In this paper, we demonstrate how Hyperledger Fabric, one of the most popular permissioned blockchains, can benefit from network-attached acceleration. The scalability and peak performance of Fabric is primarily limited by the bottlenecks present in its block validation/commit phase. We propose Blockchain Machine, a hardware accelerator coupled with a hardware-friendly communication protocol, to act as the validator peer. It can be adapted to applications and their smart contracts, and is targeted for a server with network-attached FPGA acceleration card. The Blockchain Machine retrieves blocks and their transactions in hardware directly from the network interface, which are then validated through a configurable and efficient block-level and transaction-level pipeline. The validation results are then transferred to the host CPU where non-bottleneck operations are executed. From our implementation integrated with Fabric v1.4 LTS, we observed up to 12x speedup in block validation when compared to software-only validator peer, with commit throughput of up to 68,900 tps. Our work provides an acceleration platform that will foster further research on hardware acceleration of permissioned blockchains.


title: Event Detection as Question Answering with Entity Information

abstract: In this paper, we propose a recent and under-researched paradigm for the task of event detection (ED) by casting it as a question-answering (QA) problem with the possibility of multiple answers and the support of entities. The extraction of event triggers is, thus, transformed into the task of identifying answer spans from a context, while also focusing on the surrounding entities. The architecture is based on a pre-trained and fine-tuned language model, where the input context is augmented with entities marked at different levels, their positions, their types, and, finally, the argument roles. Experiments on the ACE~2005 corpus demonstrate that the proposed paradigm is a viable solution for the ED task and it significantly outperforms the state-of-the-art models. Moreover, we prove that our methods are also able to extract unseen event types.


title: Understanding the Eluder Dimension

abstract: We provide new insights on eluder dimension, a complexity measure that has been extensively used to bound the regret of algorithms for online bandits and reinforcement learning with function approximation. First, we study the relationship between the eluder dimension for a function class and a generalized notion of rank, defined for any monotone "activation" $\sigma : \mathbb{R}\to \mathbb{R}$, which corresponds to the minimal dimension required to represent the class as a generalized linear model. It is known that when $\sigma$ has derivatives bounded away from $0$, $\sigma$-rank gives rise to an upper bound on eluder dimension for any function class; we show however that eluder dimension can be exponentially smaller than $\sigma$-rank. We also show that the condition on the derivative is necessary; namely, when $\sigma$ is the $\mathsf{relu}$ activation, the eluder dimension can be exponentially larger than $\sigma$-rank. For binary-valued function classes, we obtain a characterization of the eluder dimension in terms of star number and threshold dimension, quantities which are relevant in active learning and online learning respectively.


title: New results for MaxCut in $H$-free graphs

abstract: The MaxCut problem asks for the size ${\rm mc}(G)$ of a largest cut in a graph $G$. It is well known that ${\rm mc}(G)\ge m/2$ for any $m$-edge graph $G$, and the difference ${\rm mc}(G)-m/2$ is called the surplus of $G$. The study of the surplus of $H$-free graphs was initiated by Erd\H{o}s and Lov\'asz in the 70s, who in particular asked what happens for triangle-free graphs. This was famously resolved by Alon, who showed that in the triangle-free case the surplus is $\Omega(m^{4/5})$, and found constructions matching this bound. We prove several new results in this area. Firstly, we show that for every fixed odd $r\ge 3$, any $C_r$-free graph with $m$ edges has surplus $\Omega_r\big(m^{\frac{r+1}{r+2}}\big)$. This is tight, as is shown by a construction of pseudorandom $C_r$-free graphs due to Alon and Kahale. It improves previous results of several researchers, and complements a result of Alon, Krivelevich and Sudakov which is the same bound when $r$ is even. Secondly, generalizing the result of Alon, we allow the graph to have triangles, and show that if the number of triangles is a bit less than in a random graph with the same density, then the graph has large surplus. For regular graphs our bounds on the surplus are sharp. Thirdly, we prove that an $n$-vertex graph with few copies of $K_r$ and average degree $d$ has surplus $\Omega_r(d^{r-1}/n^{r-3})$, which is tight when $d$ is close to $n$ provided that a conjectured dense pseudorandom $K_r$-free graph exists. This result is used to improve the best known lower bound (as a function of $m$) on the surplus of $K_r$-free graphs. Our proofs combine techniques from semidefinite programming, probabilistic reasoning, as well as combinatorial and spectral arguments.


title: Solutions of the Loewner equation with combined driving functions

abstract: The paper is devoted to the multiple chordal Loewner differential equation with different driving functions on two time intervals. We obtain exact implicit or explicit solutions to the Loewner equations with piecewise constant driving functions and with combined constant and square root driving functions. In both cases, there is an analytical and geometrical description of generated traces.


title: [RE] Double-Hard Debias: Tailoring Word Embeddings for Gender Bias Mitigation

abstract: Despite widespread use in natural language processing (NLP) tasks, word embeddings have been criticized for inheriting unintended gender bias from training corpora. programmer is more closely associated with man and homemaker is more closely associated with woman. Such gender bias has also been shown to propagate in downstream tasks.


title: On the local constancy of certain mod $p$ Galois representations

abstract: In this article we study local constancy of the mod $p$ reduction of certain $2$-dimensional crystalline representations of $\mathrm{Gal}\left(\bar{\mathbb{Q}}_p/\mathbb{Q}_p\right)$ using the mod $p$ local Langlands correspondence. We prove local constancy in the weight space by giving an explicit lower bound on the local constancy radius centered around weights going up to $(p-1)^{2} +3$ and the slope fixed in $(0, \ p-1)$ satisfying certain constraints. We establish the lower bound by determining explicitly the mod $p$ reductions at nearby weights and applying a local constancy result of Berger.


title: A fast and Accurate Similarity-constrained Subspace Clustering Framework for Unsupervised Hyperspectral Image Classification

abstract: Accurate land cover segmentation of spectral images is challenging and has drawn widespread attention in remote sensing due to its inherent complexity. Although significant efforts have been made for developing a variety of methods, most of them rely on supervised strategies. Subspace clustering methods, such as Sparse Subspace Clustering (SSC), have become a popular tool for unsupervised learning due to their high performance. However, the computational complexity of SSC methods prevents their use on large spectral remotely sensed datasets. Furthermore, since SSC ignores the spatial information in the spectral images, its discrimination capability is limited, hampering the clustering results' spatial homogeneity. To address these two relevant issues, in this paper, we propose a fast algorithm that obtains a sparse representation coefficient matrix by first selecting a small set of pixels that best represent their neighborhood. Then, it performs spatial filtering to enforce the connectivity of neighboring pixels and uses fast spectral clustering to get the final segmentation. Extensive simulations with our method demonstrate its effectiveness in land cover segmentation, obtaining remarkable high clustering performance compared with state-of-the-art SSC-based algorithms and even novel unsupervised-deep-learning-based methods. Besides, the proposed method is up to three orders of magnitude faster than SSC when clustering more than $2 \times 10^4$ spectral pixels.


title: Pose Recognition with Cascade Transformers

abstract: In this paper, we present a regression-based pose recognition method using cascade Transformers. One way to categorize the existing approaches in this domain is to separate them into 1). heatmap-based and 2). regression-based. In general, heatmap-based methods achieve higher accuracy but are subject to various heuristic designs (not end-to-end mostly), whereas regression-based approaches attain relatively lower accuracy but they have less intermediate non-differentiable steps. Here we utilize the encoder-decoder structure in Transformers to perform regression-based person and keypoint detection that is general-purpose and requires less heuristic design compared with the existing approaches. We demonstrate the keypoint hypothesis (query) refinement process across different self-attention layers to reveal the recursive self-attention mechanism in Transformers. In the experiments, we report competitive results for pose recognition when compared with the competing regression-based methods.


title: Discrete Cosine Transform Network for Guided Depth Map Super-Resolution

abstract: Guided depth super-resolution (GDSR) is an essential topic in multi-modal image processing, which reconstructs high-resolution (HR) depth maps from low-resolution ones collected with suboptimal conditions with the help of HR RGB images of the same scene. To solve the challenges in interpreting the working mechanism, extracting cross-modal features and RGB texture over-transferred, we propose a novel Discrete Cosine Transform Network (DCTNet) to alleviate the problems from three aspects. First, the Discrete Cosine Transform (DCT) module reconstructs the multi-channel HR depth features by using DCT to solve the channel-wise optimization problem derived from the image domain. Second, we introduce a semi-coupled feature extraction module that uses shared convolutional kernels to extract common information and private kernels to extract modality-specific information. Third, we employ an edge attention mechanism to highlight the contours informative for guided upsampling. Extensive quantitative and qualitative evaluations demonstrate the effectiveness of our DCTNet, which outperforms previous state-of-the-art methods with a relatively small number of parameters. The code is available at \url{https://github.com/Zhaozixiang1228/GDSR-DCTNet}.


title: Numerical-relativity simulations of the quasi-circular inspiral and merger of non-spinning, charged black holes: methods and comparison with approximate approaches

abstract: We present fully general relativistic simulations of the quasi-circular inspiral and merger of charged, non-spinning, binary black holes with charge-to-mass ratio $\lambda \le 0.3$. We discuss the key features that enabled long term and stable evolutions of these binaries. We also present a formalism for computing the angular momentum carried away by electromagnetic waves, and the electromagnetic contribution to black-hole horizon properties. We implement our formalism and present the results for the first time in numerical-relativity simulations. In addition, we compare our full non-linear solutions with existing approximate models for the inspiral and ringdown phases. We show that Newtonian models based on the quadrupole approximation have errors of 20 % - 100 % in key gauge-invariant quantities. On the other hand, for the systems considered, we find that estimates of the remnant black hole spin based on the motion of test particles in Kerr-Newman spacetimes agree with our non-linear calculations to within a few percent. Finally, we discuss the prospects for detecting black hole charge by future gravitational-wave detectors using either the inspiral-merger-ringdown signal or the ringdown signal alone.


title: TSDAE: Using Transformer-based Sequential Denoising Auto-Encoder for Unsupervised Sentence Embedding Learning

abstract: Learning sentence embeddings often requires a large amount of labeled data. However, for most tasks and domains, labeled data is seldom available and creating it is expensive. In this work, we present a new state-of-the-art unsupervised method based on pre-trained Transformers and Sequential Denoising Auto-Encoder (TSDAE) which outperforms previous approaches by up to 6.4 points. It can achieve up to 93.1% of the performance of in-domain supervised approaches. Further, we show that TSDAE is a strong domain adaptation and pre-training method for sentence embeddings, significantly outperforming other approaches like Masked Language Model. A crucial shortcoming of previous studies is the narrow evaluation: Most work mainly evaluates on the single task of Semantic Textual Similarity (STS), which does not require any domain knowledge. It is unclear if these proposed methods generalize to other domains and tasks. We fill this gap and evaluate TSDAE and other recent approaches on four different datasets from heterogeneous domains.


title: Simple Exchange-Correlation Energy Functionals for Strongly Coupled Light-Matter Systems based on the Fluctuation-Dissipation Theorem

abstract: Recent experimental advances in strongly coupled light-matter systems has sparked the development of general ab-initio methods capable of describing interacting light-matter systems from first principles. One of these methods, quantum-electrodynamical density-functional theory (QEDFT), promises computationally efficient calculations for large correlated light-matter systems with the quality of the calculation depending on the underlying approximation for the exchange-correlation functional. So far no true density-functional approximation has been introduced limiting the efficient application of the theory. In this paper, we introduce the first gradient-based density functional for the QEDFT exchange-correlation energy derived from the adiabatic-connection fluctuation-dissipation theorem. We benchmark this simple-to-implement approximation on small systems in optical cavities and demonstrate its relatively low computational costs for fullerene molecules up to C$_{180}$ coupled to 400,000 photon modes in a dissipative optical cavity. This work now makes first principle calculations of much larger systems possible within the QEDFT framework effectively combining quantum optics with large-scale electronic structure theory.

categories: physics.chem-ph cond-mat.mtrl-sci physics.comp-ph quant-ph


title: Hybrid quantum-classical approach for coupled-cluster Green's function theory

abstract: The three key elements of a quantum simulation are state preparation, time evolution, and measurement. While the complexity scaling of time evolution and measurements are well known, many state preparation methods are strongly system-dependent and require prior knowledge of the system's eigenvalue spectrum. Here, we report on a quantum-classical implementation of the coupled-cluster Green's function (CCGF) method, which replaces explicit ground state preparation with the task of applying unitary operators to a simple product state. While our approach is broadly applicable to many models, we demonstrate it here for the Anderson impurity model (AIM). The method requires a number of $T$ gates that grows as $ \mathcal{O} \left(N^5 \right)$ per time step to calculate the impurity Green's function in the time domain, where $N$ is the total number of energy levels in the AIM. Since the number of $T$ gates is analogous to the computational time complexity of a classical simulation, we achieve an order of magnitude improvement over a classical CCGF calculation of the same order, which requires $ \mathcal{O} \left(N^6 \right)$ computational resources per time step.


title: To Trust or Not to Trust a Regressor: Estimating and Explaining Trustworthiness of Regression Predictions

abstract: In hybrid human-AI systems, users need to decide whether or not to trust an algorithmic prediction while the true error in the prediction is unknown. To accommodate such settings, we introduce RETRO-VIZ, a method for (i) estimating and (ii) explaining trustworthiness of regression predictions. It consists of RETRO, a quantitative estimate of the trustworthiness of a prediction, and VIZ, a visual explanation that helps users identify the reasons for the (lack of) trustworthiness of a prediction. We find that RETRO-scores negatively correlate with prediction error across 117 experimental settings, indicating that RETRO provides a useful measure to distinguish trustworthy predictions from untrustworthy ones. In a user study with 41 participants, we find that VIZ-explanations help users identify whether a prediction is trustworthy or not: on average, 95.1% of participants correctly select the more trustworthy prediction, given a pair of predictions. In addition, an average of 75.6% of participants can accurately describe why a prediction seems to be (not) trustworthy. Finally, we find that the vast majority of users subjectively experience RETRO-VIZ as a useful tool to assess the trustworthiness of algorithmic predictions.


title: UPB at SemEval-2021 Task 1: Combining Deep Learning and Hand-Crafted Features for Lexical Complexity Prediction

abstract: Reading is a complex process which requires proper understanding of texts in order to create coherent mental representations. However, comprehension problems may arise due to hard-to-understand sections, which can prove troublesome for readers, while accounting for their specific language skills. As such, steps towards simplifying these sections can be performed, by accurately identifying and evaluating difficult structures. In this paper, we describe our approach for the SemEval-2021 Task 1: Lexical Complexity Prediction competition that consists of a mixture of advanced NLP techniques, namely Transformer-based language models, pre-trained word embeddings, Graph Convolutional Networks, Capsule Networks, as well as a series of hand-crafted textual complexity features. Our models are applicable on both subtasks and achieve good performance results, with a MAE below 0.07 and a Person correlation of .73 for single word identification, as well as a MAE below 0.08 and a Person correlation of .79 for multiple word targets. Our results are just 5.46% and 6.5% lower than the top scores obtained in the competition on the first and the second subtasks, respectively.


title: Do Time Constraints Re-Prioritize Attention to Shapes During Visual Photo Inspection?

abstract: People's visual experiences of the world are easy to carve up and examine along natural language boundaries, e.g., by category labels, attribute labels, etc. However, it is more difficult to elicit detailed visuospatial information about what a person attends to, e.g., the specific shape of a tree. Paying attention to the shapes of things not only feeds into well defined tasks like visual category learning, but it is also what enables us to differentiate similarly named objects and to take on creative visual pursuits, like poetically describing the shape of a thing, or finding shapes in the clouds or stars. We use a new data collection method that elicits people's prioritized attention to shapes during visual photo inspection by asking them to trace important parts of the image under varying time constraints. Using data collected via crowdsourcing over a set of 187 photographs, we examine changes in patterns of visual attention across individuals, across image types, and across time constraints.


title: On fully nonlinear parabolic mean field games with examples of nonlocal and local diffusions

abstract: In this paper we introduce a class of fully nonlinear mean field games posed in $[0,T]\times\mathbb{R}^d$. We justify that they are related to controlled local or nonlocal diffusions, and more generally in our setting, to a new control interpretation involving time change rates of stochastic (L\'evy) processes. The main results are existence and uniqueness of solutions under general assumptions. These results are applied to strongly degenerate equations of order less than one - and non-degenerate equations - including both local second-order and nonlocal with fractional Laplacians. Uniqueness holds without strict monotonicity of couplings or strict convexity of Hamiltonians, and in the degenerate case, it relies on a new type of argument for (nonlocal) Fokker-Planck equations. We consider a rich class of nonlocal operators and processes and develop tools to work in the whole space without explicit moment assumptions.


title: Maximizing spreading in complex networks with risk in node activation

abstract: It is widely acknowledged that the initial spreaders play an important role for the wide spreading of information in complex networks. Thus, a variety of centrality-based methods have been proposed to identify the most influential spreaders. However, most of the existing studies have overlooked the fact that in real social networks it is more costly and difficult to convince influential individuals to act as initial spreaders, resulting in a high risk in maximizing the spreading. In this paper, we address this problem on the basis of the assumption that large-degree nodes are activated with a higher risk than small-degree nodes. We aim to identify the effective initial spreaders to maximize spreading when considering both the activation risk and the outbreak size of initial spreaders. On random networks, the analytical analysis reveals that the degree of optimal initial spreaders does not correspond to the largest degree of nodes in the network but rather be determined by infection probability and difference of activation risk among nodes with different degree. Here, we propose a risk-aware metric to identify the effective spreaders on real networks. The numerical simulation shows that the risk-aware metric outperforms the existing benchmark centralities in maximizing the effective spreading.


title: An Update to the Minho Quotation Resource

abstract: The Minho Quotation Resource was originally released in 2012. It provided approximately 500,000 quotes from business leaders, analysts and politicians that spanned the period from 2008 to 2012. The original resource had several failings which include a large number of missing job titles and affiliations as well as unnormalised job titles which produced a large variation in spellings and formats of the same employment position. Also, there were numerous duplicate posts. This update has standardised the job title text as well as the imputation of missing job titles and affiliations. Duplicate quotes have been deleted. This update also provides some metaphor and simile extraction as well as an emotion distribution of the quotes. This update has also replaced an antiquated version of Lucene index with a JSONL format as well as a rudimentary interface that can query the data supplied with the resource. It is hoped that this update will encourage the study of business communication in a time of a financial crisis.


title: Leptophilic Composite Asymmetric Dark Matter and its Detection

abstract: We propose a model which explains the baryon asymmetry of the universe and dark matter relic density at the same time. In this model, dark matter candidate is the dark baryon composed by dark quarks. A scalar mediator, which couples to the standard model leptons and dark quarks, is introduced to generate the asymmetry of baryon and dark baryon simultaneously. Direct detection and collider detection of this model are studied. We find that current underground direct detection experiments and LHC can hardly detect this model. But future lepton colliders, such as CEPC, have great potential to detect a large portion of the model parameter space by "displaced lepton jet" signal.


title: Phishing Mitigation Techniques: A Literature Survey

abstract: Email is a channel of communication which is considered to be a confidential medium of communication for exchange of information among individuals and organisations. The confidentiality consideration about e-mail is no longer the case as attackers send malicious emails to users to deceive them into disclosing their private personal information such as username, password, and bank card details, etc. In search of a solution to combat phishing cybercrime attacks, different approaches have been developed. However, the traditional exiting solutions have been limited in assisting email users to identify phishing emails from legitimate ones. This paper reveals the different email and website phishing solutions in phishing attack detection. It first provides a literature analysis of different existing phishing mitigation approaches. It then provides a discussion on the limitations of the techniques, before concluding with an exploration into how phishing detection can be improved.


title: Resource Rationing for Wireless Federated Learning: Concept, Benefits, and Challenges

abstract: We advocate a new resource allocation framework, which we term resource rationing, for wireless federated learning (FL). Unlike existing resource allocation methods for FL, resource rationing focuses on balancing resources across learning rounds so that their collective impact on the federated learning performance is explicitly captured. This new framework can be integrated seamlessly with existing resource allocation schemes to optimize the convergence of FL. In particular, a novel "later-is-better" principle is at the front and center of resource rationing, which is validated empirically in several instances of wireless FL. We also point out technical challenges and research opportunities that are worth pursuing. Resource rationing highlights the benefits of treating the emerging FL as a new class of service that has its own characteristics, and designing communication algorithms for this particular service.


title: A hierarchical deep learning framework for the consistent classification of land use objects in geospatial databases

abstract: Land use as contained in geospatial databases constitutes an essential input for different applica-tions such as urban management, regional planning and environmental monitoring. In this paper, a hierarchical deep learning framework is proposed to verify the land use information. For this purpose, a two-step strategy is applied. First, given high-resolution aerial images, the land cover information is determined. To achieve this, an encoder-decoder based convolutional neural net-work (CNN) is proposed. Second, the pixel-wise land cover information along with the aerial images serves as input for another CNN to classify land use. Because the object catalogue of geospatial databases is frequently constructed in a hierarchical manner, we propose a new CNN-based method aiming to predict land use in multiple levels hierarchically and simultaneously. A so called Joint Optimization (JO) is proposed where predictions are made by selecting the hier-archical tuple over all levels which has the maximum joint class scores, providing consistent results across the different levels. The conducted experiments show that the CNN relying on JO outperforms previous results, achieving an overall accuracy up to 92.5%. In addition to the individual experiments on two test sites, we investigate whether data showing different characteristics can improve the results of land cover and land use classification, when processed together. To do so, we combine the two datasets and undertake some additional experiments. The results show that adding more data helps both land cover and land use classification, especially the identification of underrepre-sented categories, despite their different characteristics.


title: Multifunctional photoresponsive organic molecule for electric field sensing and modulation

abstract: Organic molecules with nonlinear optical behavior have advanced a wide range of fields spanning from integrated photonics to biological imaging. With advances in microscopy, an emerging application is multifunctional nonlinear organic imaging agents. Unlike conventional imaging probes which simply emit light through single or multi photon processes, multifunctional materials allow systems to be simultaneously imaged and controlled. In this work, we report a multifunctional molecular probe for modulating and reporting electric fields. The probe molecule consists of two distinct functional modules which are connected by a long alkyl chain. The electric field detector module relies on the two-photon (2p) imaging agent and photo-induced electron transfer (PeT) dye, TPE. Two-photon imaging agents have demonstrated less damage and larger penetration depths in cells and live tissue imaging. The electric field modulator module relies on the organic photoconductor, NAI. To reduce cross-talk and optimize absorption and emission wavelengths, the molecular structure is first studied using density functional theory modeling, and then the multi-functional molecular probe is synthesized. The photophysical, photoconductivity, and biotoxicity of the probe molecule are studied in a range of solvents and solid state, and the results agree with the theoretical predictions. Specifically, 2p excitation in a biocompatible solvent is demonstrated, the photoconductivity is rapid and reversible, and the material has low cytotoxicity. Additionally, the entire system is optically controlled, including signal read-out, and the two modules can be operated simultaneously or individually. This work sets the stage for modulation and detection of bioelectric fields in a range of cell and tissue types.


title: Unsupervised Learning in Next-Generation Networks: Real-Time Performance Self-Diagnosis

abstract: This letter demonstrates the use of unsupervised machine learning to enable performance self-diagnosis of next-generation cellular networks. We propose two simplified applications of unsupervised learning that can enable real-time performance self-diagnosis on edge nodes such as the radio access network intelligent controller (RIC). The first application detects anomalous performance and finds its root cause of faults, configuration, or network procedure failures. The second application uses clustering to learn the relationship between two performance measures. Our proposed applications run in near-constant time complexity, making them, combined with subject-matter expertise validation, suitable real-time RIC applications for network diagnosis.


title: Entanglement of two disjoint intervals in conformal field theory and the 2D Coulomb gas on a lattice

abstract: In the conformal field theories given by the Ising and Dirac models, when the system is in the ground state, the moments of the reduced density matrix of two disjoint intervals and of its partial transpose have been written as partition functions on higher genus Riemann surfaces with $\mathbb{Z}_n$ symmetry. We show that these partition functions can be expressed as the grand canonical partition functions of the two-dimensional two component classical Coulomb gas on certain circular lattices at specific values of the coupling constant.

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


title: Reducing Surface Wetness Leads to Tropical Hydrological Cycle Regime Transition

abstract: Earth's modern climate is characterized by wet, rainy deep tropics, however paleoclimate and planetary science have revealed a wide range of hydrological cycle regimes connected to different external parameters. Here we investigate how surface wetness affects the tropical hydrological cycle. When surface wetness is decreased in an Earth-like general circulation model, the tropics remain wet but transition from a rainy to rain-free regime. The rain-free regime occurs when surface precipitation is suppressed as negative evaporation (surface condensation) balances moisture flux convergence. The regime transition is dominated by near-surface relative humidity changes in contrast to the hypothesis that relative humidity changes are small. We show near-surface relative humidity changes responsible for the regime transition are controlled by re-evaporation of stratiform precipitation near the lifting condensation level. Re-evaporation impacts the near-surface through vertical mixing. Our results reveal a new rain-free tropical hydrological cycle regime that goes beyond the wet/dry paradigm.


title: Circuit quantum electrodynamics: A new look toward developing full-wave numerical models

abstract: Devices built using circuit quantum electrodynamics architectures are one of the most popular approaches currently being pursued to develop quantum information processing hardware. Although significant progress has been made over the previous two decades, there remain many technical issues limiting the performance of fabricated systems. Addressing these issues is made difficult by the absence of rigorous numerical modeling approaches. This work begins to address this issue by providing a new mathematical description of one of the most commonly used circuit quantum electrodynamics systems, a transmon qubit coupled to microwave transmission lines. Expressed in terms of three-dimensional vector fields, our new model is better suited to developing numerical solvers than the circuit element descriptions commonly used in the literature. We present details on the quantization of our new model, and derive quantum equations of motion for the coupled field-transmon system. These results can be used in developing full-wave numerical solvers in the future. To make this work more accessible to the engineering community, we assume only a limited amount of training in quantum physics and provide many background details throughout derivations.


title: A Multifractal Decomposition for Self-similar Measures with Exact Overlaps

abstract: We study self-similar measures in $\mathbb{R}$ satisfying the weak separation condition along with weak technical assumptions which are satisfied in all known examples. For such a measure $\mu$, we show that there is a finite set of concave functions $\{\tau_1,\ldots,\tau_m\}$ such that the $L^q$-spectrum of $\mu$ is given by $\min\{\tau_1,\ldots,\tau_m\}$ and the multifractal spectrum of $\mu$ is given by $\max\{\tau_1^*,\ldots,\tau_m^*\}$, where $\tau_i^*$ denotes the concave conjugate of $\tau_i$. In particular, the measure $\mu$ satisfies the multifractal formalism if and only if its multifractal spectrum is a concave function. This implies that $\mu$ satisfies the multifractal formalism at values corresponding to points of differentiability of the $L^q$-spectrum. We also verify existence of the limit for the $L^q$-spectra of such measures for every $q\in\mathbb{R}$. As a direct application, we obtain many new results and simple proofs of well-known results in the multifractal analysis of self-similar measures satisfying the weak separation condition.


title: Kerr spacetime geometric optics for vortex beams

abstract: We apply the analogy between gravitational fields and optical media in the general relativistic geometric optics framework to describe how light can acquire orbital angular momentum (OAM) when it traverses the gravitational field of a massive rotating compact object and the interplay between OAM and polarization. Kerr spacetimes are known not only to impose a gravitational Faraday rotation on the polarization of a light beam, but also to set a characteristic fingerprint in the orbital angular momentum distribution of the radiation passing nearby a rotating black hole (BH). Kerr spacetime behaves like an inhomogeneous and anisotropic medium, in which light can acquire orbital angular momentum and spin-to-orbital angular momentum conversion can occur, acting as a polarization and phase changing medium for the gravitationally lensed light, as confirmed by the data analysis of M87* black hole.


title: Detecting Cross-Geographic Biases in Toxicity Modeling on Social Media

abstract: Online social media platforms increasingly rely on Natural Language Processing (NLP) techniques to detect abusive content at scale in order to mitigate the harms it causes to their users. However, these techniques suffer from various sampling and association biases present in training data, often resulting in sub-par performance on content relevant to marginalized groups, potentially furthering disproportionate harms towards them. Studies on such biases so far have focused on only a handful of axes of disparities and subgroups that have annotations/lexicons available. Consequently, biases concerning non-Western contexts are largely ignored in the literature. In this paper, we introduce a weakly supervised method to robustly detect lexical biases in broader geocultural contexts. Through a case study on a publicly available toxicity detection model, we demonstrate that our method identifies salient groups of cross-geographic errors, and, in a follow up, demonstrate that these groupings reflect human judgments of offensive and inoffensive language in those geographic contexts. We also conduct analysis of a model trained on a dataset with ground truth labels to better understand these biases, and present preliminary mitigation experiments.


title: IGA : An Intent-Guided Authoring Assistant

abstract: While large-scale pretrained language models have significantly improved writing assistance functionalities such as autocomplete, more complex and controllable writing assistants have yet to be explored. We leverage advances in language modeling to build an interactive writing assistant that generates and rephrases text according to fine-grained author specifications. Users provide input to our Intent-Guided Assistant (IGA) in the form of text interspersed with tags that correspond to specific rhetorical directives (e.g., adding description or contrast, or rephrasing a particular sentence). We fine-tune a language model on a dataset heuristically-labeled with author intent, which allows IGA to fill in these tags with generated text that users can subsequently edit to their liking. A series of automatic and crowdsourced evaluations confirm the quality of IGA's generated outputs, while a small-scale user study demonstrates author preference for IGA over baseline methods in a creative writing task. We release our dataset, code, and demo to spur further research into AI-assisted writing.


title: Burling graphs revisited, part I: New characterizations

abstract: The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Each of them is isomorphic to the intersection graph of a set of axis-parallel boxes in $R^3$. These graphs were also proved to have other geometrical representations: intersection graphs of line segments in the plane, and intersection graphs of frames, where a frame is the boundary of an axis-aligned rectangle in the plane. We call Burling graph every graph that is an induced subgraph of some graph in the Burling sequence. We give five new equivalent ways to define Burling graphs. Three of them are geometrical, one is of a more graph-theoretical flavour and one is more axiomatic.


title: Self-adjointness of non-semibounded covariant Schr\"odinger operators on Riemannian manifolds

abstract: In the context of a geodesically complete Riemannian manifold $M$, we study the self-adjointness of $\nabla^{\dagger}\nabla+V$ where $\nabla$ is a metric covariant derivative (with formal adjoint $\nabla^{\dagger}$) on a Hermitian vector bundle $\mathcal{V}$ over $M$, and $V$ is a locally square integrable section of $\textrm{End }\mathcal{V}$ such that the (fiberwise) norm of the "negative" part $V^{-}$ belongs to the local Kato class (or, more generally, local contractive Dynkin class). Instead of the lower semiboundedness hypothesis, we assume that there exists a number $\varepsilon \in [0,1]$ and a positive function $q$ on $M$ satisfying certain growth conditions, such that $\varepsilon \nabla^{\dagger}\nabla+V\geq -q$, the inequality being understood in the quadratic form sense over $C_{c}^{\infty}(\mathcal{V})$. In the first result, which pertains to the case $\epsilon \in [0,1)$, we use the elliptic equation method. In the second result, which pertains to the case $\varepsilon=1$, we use the hyperbolic equation method.


title: On the thermalisation of leptons from heavy-flavour meson decay in pp collisions

abstract: It is shown that the $\mu^{\pm}$ originating from the decay of heavy-flavour mesons in the simulated proton-proton collisions at $\sqrt{s} = 13$ TeV using the PYTHIA 8 event generator can be made into two groups based on the value of their light front variable such that one among these two groups of $\mu^{\pm}$ follow the Boltzmann statistics with a nearly isotropic angular distribution. A similar effect is not observed for $e^{\pm}$ from the decay of heavy-flavour mesons in these collisions.


title: Do Neural Network Weights account for Classes Centers?

abstract: The exploitation of Deep Neural Networks (DNNs) as descriptors in feature learning challenges enjoys apparent popularity over the past few years. The above tendency focuses on the development of effective loss functions that ensure both high feature discrimination among different classes, as well as low geodesic distance between the feature vectors of a given class. The vast majority of the contemporary works rely their formulation on an empirical assumption about the feature space of a network's last hidden layer, claiming that the weight vector of a class accounts for its geometrical center in the studied space. The paper at hand follows a theoretical approach and indicates that the aforementioned hypothesis is not exclusively met. This fact raises stability issues regarding the training procedure of a DNN, as shown in our experimental study. Consequently, a specific symmetry is proposed and studied both analytically and empirically that satisfies the above assumption, addressing the established convergence issues.


title: Generalized Simple Streaming Codes from MDS Codes

abstract: Streaming codes represent a packet-level FEC scheme for achieving reliable, low-latency communication. In the literature on streaming codes, the commonly-assumed Gilbert-Elliott channel model, is replaced by a more tractable, delay-constrained, sliding-window (DCSW) channel model that can introduce either random or burst erasures. The known streaming codes that are rate optimal over the DCSW channel model are constructed by diagonally embedding a scalar block code across successive packets. These code constructions have field size that is quadratic in the delay parameter $\tau$ and have a somewhat complex structure with an involved decoding procedure. This led to the introduction of simple streaming (SS) codes in which diagonal embedding is replaced by staggered-diagonal embedding (SDE). The SDE approach reduces the impact of a burst of erasures and makes it possible to construct near-rate-optimal streaming codes using Maximum Distance Separable (MDS) code having linear field size. The present paper takes this development one step further, by retaining the staggered-diagonal feature, but permitting the placement of more than one code symbol from a given scalar codeword within each packet. These generalized, simple streaming codes allow us to improve upon the rate of SS codes, while retaining the simplicity of working with MDS codes. We characterize the maximum code rate of streaming codes under a constraint on the number of contiguous packets over which symbols of the underlying scalar code are dispersed. Such a constraint leads to simplified code construction and reduced-complexity decoding.


title: Fast quantum state reconstruction via accelerated non-convex programming

abstract: We propose a new quantum state reconstruction method that combines ideas from compressed sensing, non-convex optimization, and acceleration methods. The algorithm, called Momentum-Inspired Factored Gradient Descent (\texttt{MiFGD}), extends the applicability of quantum tomography for larger systems. Despite being a non-convex method, \texttt{MiFGD} converges \emph{provably} close to the true density matrix at an accelerated linear rate, in the absence of experimental and statistical noise, and under common assumptions. With this manuscript, we present the method, prove its convergence property and provide Frobenius norm bound guarantees with respect to the true density matrix. From a practical point of view, we benchmark the algorithm performance with respect to other existing methods, in both synthetic and real experiments performed on an IBM's quantum processing unit. We find that the proposed algorithm performs orders of magnitude faster than state of the art approaches, with the same or better accuracy. In both synthetic and real experiments, we observed accurate and robust reconstruction, despite experimental and statistical noise in the tomographic data. Finally, we provide a ready-to-use code for state tomography of multi-qubit systems.

categories: quant-ph cs.IT cs.LG math.IT math.OC stat.ML


title: A New Fast Monte Carlo Code for Solving Radiative Transfer Equations based on Neumann Solution

abstract: In this paper, we proposed a new Monte Carlo radiative transport (MCRT) scheme, which is based completely on the Neumann series solution of Fredholm integral equation. This scheme indicates that the essence of MCRT is the calculation of infinite terms of multiple integrals in Neumann solution simultaneously. Under this perspective we redescribed MCRT procedure systematically, in which the main work amounts to choose an associated probability distribution function (PDF) for a set of random variables and the corresponding unbiased estimation functions. We can select a relatively optimal estimation procedure that has a lower variance from an infinite possible choices, such as the term by term estimation. In this scheme, MCRT can be regarded as a pure problem of integral evaluation, rather than as the tracing of random walking photons. Keeping this in mind, one can avert some subtle intuitive mistakes. In addition the $\delta$-functions in these integrals can be eliminated in advance by integrating them out directly. This fact together with the optimal chosen random variables can remarkably improve the Monte Carlo (MC) computational efficiency and accuracy, especially in systems with axial or spherical symmetry. An MCRT code, Lemon (Linear Integral Equations' Monte Carlo Solver Based on the Neumann solution), has been developed completely based on this scheme. Finally, we intend to verify the validation of Lemon, a suite of test problems mainly restricted to flat spacetime have been reproduced and the corresponding results are illustrated in detail.


title: How does salinity shape ocean circulation and ice geometry on Enceladus and other icy satellites?

abstract: Of profound astrobiological interest, Enceladus appears to have a global subsurface ocean that is salty, indicating water-rock reaction at present or in the past, important for its habitability. Here, we investigate how salinity and the partition of heat production between the silicate core and the ice shell affect ocean dynamics and the associated heat transport -- a key factor that determines the equilibrium ice shell geometry. Assuming steady state conditions, we show that the meridional overturning circulation of the ocean, driven by heat and salt exchange with the ice, has opposing signs at very low and very high salinities. Regardless of these differing circulations, heat and freshwater converge towards the equator, where the ice is thick, acting to homogenize thickness variations. In order to maintain the observed ice thickness variation, the polar-amplified ice dissipation needs to be strong enough and ocean heat convergence cannot overwhelm well-constrained heat loss rates through the thick equatorial ice sheet. This requirement is found violated if the main heat source is in the core rather than the ice shell, or if the ocean is very fresh or very salty. Instead, with a salinity of intermediate range, the temperature- and salinity-induced density gradient largely cancel one another, leading to much reduced overturning and equatorial heat convergence rates and consistent budgets in appearance of a significant ice dissipation.


title: A Gaussian fixed point random walk

abstract: In this note, we design a discrete random walk on the real line which takes steps $0, \pm 1$ (and one with steps in $\{\pm 1, 2\}$) where at least $96\%$ of the signs are $\pm 1$ in expectation, and which has $\mathcal{N}(0,1)$ as a stationary distribution. As an immediate corollary, we obtain an online version of Banaszczyk's discrepancy result for partial colorings and $\pm 1, 2$ signings. Additionally, we recover linear time algorithms for logarithmic bounds for the Koml\'{o}s conjecture in an oblivious online setting.


title: Translating synthetic natural language to database queries: a polyglot deep learning framework

abstract: The number of databases as well as their size and complexity is increasing. This creates a barrier to use especially for non-experts, who have to come to grips with the nature of the data, the way it has been represented in the database, and the specific query languages or user interfaces by which data are accessed. These difficulties worsen in research settings, where it is common to work with many different databases. One approach to improving this situation is to allow users to pose their queries in natural language. In this work we describe a machine learning framework, Polyglotter, that in a general way supports the mapping of natural language searches to database queries. Importantly, it does not require the creation of manually annotated data for training and therefore can be applied easily to multiple domains. The framework is polyglot in the sense that it supports multiple different database engines that are accessed with a variety of query languages, including SQL and Cypher. Furthermore Polyglotter also supports multi-class queries. Our results indicate that our framework performs well on both synthetic and real databases, and may provide opportunities for database maintainers to improve accessibility to their resources.


title: On the Complexity of a Family of Decoupled Multi-Robot Motion Planning Problems

abstract: In multi-robot motion planning (MRMP) the aim is to plan the motion of several robots operating in a common workspace, while avoiding collisions with obstacles or with fellow robots. The main contribution of this paper is a simple construction that serves as a lower bound for the computational cost of a variety of prevalent MRMP problems. In particular we show that optimal decoupling of multi-robot motion -- decoupling being a standard approach to practically addressing MRMP -- is NP-hard. The basic problem for which we present our construction is monotone MRMP, a restricted and natural MRMP variant, where robots move one by one to their targets with no intermediate stops. Observing the hardness of these restricted versions of MRMP is significant as it guides the search for efficient solutions towards techniques that can cope with intractable problems. Furthermore, our construction highlights structural properties of difficult instances, such as the need of robots to pass through many start and target positions of other robots. These insights can lead to useful problem relaxations resulting in efficient solutions and to suitable engineering of workspaces.