title: Makespan Minimization with OR-Precedence Constraints

abstract: We consider a variant of the NP-hard problem of assigning jobs to machines to minimize the completion time of the last job. Usually, precedence constraints are given by a partial order on the set of jobs, and each job requires all its predecessors to be completed before it can start. In his seminal paper, Graham (1966) presented a simple 2-approximation algorithm, and, more than 40 years later, Svensson (2010) proved that 2 is essentially the best approximation ratio one can hope for in general. In this paper, we consider a different type of precedence relation that has not been discussed as extensively and is called OR-precedence. In order for a job to start, we require that at least one of its predecessors is completed - in contrast to all its predecessors. Additionally, we assume that each job has a release date before which it must not start. We prove that Graham's algorithm has an approximation guarantee of 2 also in this setting, and present a polynomial-time algorithm that solves the problem to optimality, if preemptions are allowed. The latter result is in contrast to classical precedence constraints, for which Ullman (1975) showed that the preemptive variant is already NP-hard. Our algorithm generalizes a result of Johannes (2005) who gave a polynomial-time algorithm for unit processing time jobs subject to OR-precedence constraints, but without release dates. The performance guarantees presented here match the best-known ones for special cases where classical precedence constraints and OR-precedence constraints coincide.


title: Symmetry of constrained minimizers of the Cahn-Hilliard energy on the torus

abstract: We establish sufficient conditions for a function on the torus to be equal to its Steiner symmetrization and apply the result to volume-constrained minimizers of the Cahn-Hilliard energy. We also show how two-point rearrangements can be used to establish symmetry for the Cahn-Hilliard model. In two dimensions, the Bonnesen inequality can then be applied to quantitatively estimate the sphericity of superlevel sets.


title: Extremum Sensitivity Analysis with Polynomial Monte Carlo Filtering

abstract: Global sensitivity analysis is a powerful set of ideas and heuristics for understanding the importance and interplay between uncertain parameters in a computational model. Such a model is characterized by a set of input parameters and an output quantity of interest, where we typically assume that the inputs are independent and their marginal densities are known. If the output quantity is smooth, polynomial chaos can be used to extract Sobol' indices. In this paper, we build on these well-known ideas by examining two different aspects of this paradigm. First, we study whether sensitivity indices can be computed efficiently if one leverages a polynomial ridge approximation -- a polynomial fit over a subspace. Given the assumption of anisotropy in the dependence of a function, we show that sensitivity indices can be computed with a reduced number of model evaluations. Second, we discuss methods for evaluating sensitivities when constrained near output extrema. Methods based on the analysis of skewness are reviewed and a novel type of indices based on Monte Carlo filtering (MCF) -- extremum Sobol' indices -- is proposed. We combine these two ideas by showing that these indices can be computed efficiently with ridge approximations, and explore the relationship between MCF-based indices and skewness-based indices empirically.


title: Artificial skill in monsoon onset prediction: two recent examples

abstract: For two cases of empirical monsoon onset prediction it is argued that current verification practice leads to optimistically biased skill, caused by the intricacy of the model setup. For the case of the operational forecasts by the Indian Meteorological Department (IMD) it leads to an overlap of model definition and verification data. A more seriously flawed verification was used in a recent method based on trend extrapolations of 'tipping elements' (TE). Claims of TE of predicting onset 2 weeks earlier than other methods are unjustified. On the contrary, the correlation between TE forecasts and observations is as low as 0.24 and compares poorly to the reported IMD correlation of 0.78. That latter value likely being artificially inflated, currently the best and most reliable monsoon onset predictions come from a dynamical model with more reliable skill values of about 0.7.


title: On birational automorphisms of Severi-Brauer surfaces

abstract: The generators of the group of birational automorphisms of any Severi-Brauer surface non-isomorphic over an algebraically non-closed field to the projective plane are explicitly described.


title: Communication and Consensus Co-Design for Distributed, Low-Latency and Reliable Wireless Systems

abstract: Designing distributed, fast and reliable wireless consensus protocols is instrumental in enabling mission-critical decentralized systems, such as robotic networks in the industrial Internet of Things (IIoT), drone swarms in rescue missions, and so forth. However, chasing both low-latency and reliability of consensus protocols is a challenging task. The problem is aggravated under wireless connectivity that may be slower and less reliable, compared to wired connections. To tackle this issue, we investigate fundamental relationships between consensus latency and reliability through the lens of wireless connectivity, and co-design communication and consensus protocols for low-latency and reliable decentralized systems. Specifically, we propose a novel communication-efficient distributed consensus protocol, termed Random Representative Consensus (R2C), and show its effectiveness under gossip and broadcast communication protocols. To this end, we derive a closed-form end-to-end (E2E) latency expression of the R2C that guarantees a target reliability, and compare it with a baseline consensus protocol, referred to as Referendum Consensus (RC). The result shows that the R2C is faster compared to the RC and more reliable compared when co-designed with the broadcast protocol compared to that with the gossip protocol.


title: Weak approximation of the complex Brownian sheet from a L\'evy sheet and applications to SPDEs

abstract: We consider a L\'evy process in the plane and we use it to construct a family of complex-valued random fields that we show to converge in law, in the space of continuous functions, to a complex Brownian sheet. We apply this result to obtain weak approximations of the random field solution to a semilinear one-dimensional stochastic heat equation driven by the space-time white noise.


title: A new trigonometric identity with applications

abstract: In this paper we obtain a new curious identity involving trigonometric functions. Namely, for any positive odd integer $n$ we show that $$\sum_{k=1}^n(-1)^k(\cot kx)\sin k(n-k)x=\frac{1-n}2.$$ Consequently, for any positive odd integer $n$ and positive integer $m$ we have $$\sum_{k=1}^n(-1)^kk^{2m}B_{2m+1}\left(\frac{n-k}2\right)=0,$$ where $B_j(x)$ denotes the Bernoulli polynomial of degree $j$.


title: Simpler Quantum Counting

abstract: A simpler quantum counting algorithm based on amplitude amplification is presented. This algorithm is bounded by O(sqrt(N/M)) calls to the controlled-Grover operator where M is the number of marked states and N is the total number of states in the search space. This algorithm terminates within log(sqrt(N/M)) consecutive measurement steps when the probability p1 of measuring the state |1> is at least 0.5, and the result from the final step is used in estimating M by a classical post processing. The purpose of controlled-Grover iteration is to increase the probability p1. This algorithm requires less quantum resources in terms of the width and depth of the quantum circuit, produces a more accurate estimate of M, and runs significantly faster than the phase estimation-based quantum counting algorithm when the ratio M/N is small. We compare the two quantum counting algorithms by simulating various cases with a different M/N ratio, such as M/N > 0.125 or M/N < 0.001.


title: Automating concept-drift detection by self-evaluating predictive model degradation

abstract: A key aspect of automating predictive machine learning entails the capability of properly triggering the update of the trained model. To this aim, suitable automatic solutions to self-assess the prediction quality and the data distribution drift between the original training set and the new data have to be devised. In this paper, we propose a novel methodology to automatically detect prediction-quality degradation of machine learning models due to class-based concept drift, i.e., when new data contains samples that do not fit the set of class labels known by the currently-trained predictive model. Experiments on synthetic and real-world public datasets show the effectiveness of the proposed methodology in automatically detecting and describing concept drift caused by changes in the class-label data distributions.


title: On Arrangements of Orthogonal Circles

abstract: In this paper, we study arrangements of orthogonal circles, that is, arrangements of circles where every pair of circles must either be disjoint or intersect at a right angle. Using geometric arguments, we show that such arrangements have only a linear number of faces. This implies that orthogonal circle intersection graphs have only a linear number of edges. When we restrict ourselves to orthogonal unit circles, the resulting class of intersection graphs is a subclass of penny graphs (that is, contact graphs of unit circles). We show that, similarly to penny graphs, it is NP-hard to recognize orthogonal unit circle intersection graphs.


title: MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in\mathbb{F}_{q^6}[x]$

abstract: In [10], the existence of $\mathbb{F}_q$-linear MRD-codes of $\mathbb{F}_q^{6\times 6}$, with dimension $12$, minimum distance $5$ and left idealiser isomorphic to $\mathbb{F}_{q^6}$, defined by a trinomial of $\mathbb{F}_{q^6}[x]$, when $q$ is odd and $q\equiv 0,\pm 1\pmod 5$, has been proved. In this paper we show that this family produces $\mathbb{F}_q$-linear MRD-codes of $\mathbb{F}_q^{6\times 6}$, with the same properties, also in the remaining $q$ odd cases, but not in the $q$ even case. These MRD-codes are not equivalent to the previously known MRD-codes. We also prove that the corresponding maximum scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^6)$ are not $\mathrm{P}\Gamma\mathrm{L}(2,q^6)$-equivalent to any previously known scattered linear set.


title: On the motive of the Quot scheme of finite quotients of a locally free sheaf

abstract: Let $X$ be a smooth variety, $E$ a locally free sheaf on $X$. We express the generating function of the motives $[\textrm{Quot}_X(E,n)]$ in terms of the power structure on the Grothendieck ring of varieties. This extends a recent result of Bagnarol, Fantechi and Perroni for curves, and a result of Gusein-Zade, Luengo and Melle-Hern\'{a}ndez for Hilbert schemes. We compute this generating function for curves and we express the relative motive $[\textrm{Quot}_{\mathbb A^d}(\mathscr{O}^{\oplus r}) \to \textrm{Sym}\, \mathbb A^d]$ as a plethystic exponential.


title: Separation of variables bases for integrable $gl_{\mathcal{M}|\mathcal{N}}$ and Hubbard models

abstract: We construct quantum Separation of Variables (SoV) bases for both the fundamental inhomogeneous $gl_{\mathcal{M}|\mathcal{N}}$ supersymmetric integrable models and for the inhomogeneous Hubbard model both defined with quasi-periodic twisted boundary conditions given by twist matrices having simple spectrum. The SoV bases are obtained by using the integrable structure of these quantum models,i.e. the associated commuting transfer matrices, following the general scheme introduced in [1]; namely, they are given by set of states generated by the multiple action of the transfer matrices on a generic co-vector. The existence of such SoV bases implies that the corresponding transfer matrices have non degenerate spectrum and that they are diagonalizable with simple spectrum if the twist matrices defining the quasi-periodic boundary conditions have that property. Moreover, in these SoV bases the resolution of the transfer matrix eigenvalue problem leads to the resolution of the full spectral problem, i.e. both eigenvalues and eigenvectors. Indeed, to any eigenvalue is associated the unique (up to a trivial overall normalization) eigenvector whose wave-function in the SoV bases is factorized into products of the corresponding transfer matrix eigenvalue computed on the spectrum of the separate variables. As an application, we characterize completely the transfer matrix spectrum in our SoV framework for the fundamental $gl_{1|2}$ supersymmetric integrable model associated to a special class of twist matrices. From these results we also prove the completeness of the Bethe Ansatz for that case. The complete solution of the spectral problem for fundamental inhomogeneous $gl_{\mathcal{M}|\mathcal{N}}$ supersymmetric integrable models and for the inhomogeneous Hubbard model under the general twisted boundary conditions will be addressed in a future publication.

categories: math-ph cond-mat.str-el hep-th math.MP nlin.SI


title: Centralised and Distributed Optimization for Aggregated Flexibility Services Provision

abstract: The recent deployment of distributed battery units in prosumer premises offer new opportunities for providing aggregated flexibility services to both distribution system operators and balance responsible parties. The optimization problem presented in this paper is formulated with an objective of cost minimization which includes energy and battery degradation cost to provide flexibility services. A decomposed solution approach with the alternating direction method of multipliers (ADMM) is used instead of commonly adopted centralised optimization to reduce the computational burden and time, and then reduce scalability limitations. In this work we apply a modified version of ADMM that includes two new features with respect to the original algorithm: first, the primal variables are updated concurrently, which reduces significantly the computational cost when we have a large number of involved prosumers; second, it includes a regularization term named Proximal Jacobian (PJ) that ensures the stability of the solution. A case study is presented for optimal battery operation of 100 prosumer sites with real-life data. The proposed method finds a solution which is equivalent to the centralised optimization problem and is computed between 5 and 12 times faster. Thus, aggregators or large-scale energy communities can use this scalable algorithm to provide flexibility services.


title: Lectures on entanglement entropy in field theory and holography

abstract: These notes, based on lectures given at various schools over the last few years, aim to provide an introduction to entanglement entropies in quantum field theories, including holographic ones. We explore basic properties and simple examples of entanglement entropies, mostly in two dimensions, with an emphasis on physical rather than formal aspects of the subject. In the holographic case, the focus is on how the Ryu-Takayanagi formula geometrically realizes general features of field-theory entanglement, while revealing special properties of holographic theories. In order to make the notes somewhat self-contained for readers whose background is in high-energy theory, a brief introduction to the relevant aspects of quantum information theory is included.


title: A discriminative approach for finding and characterizing positivity violations using decision trees

abstract: The assumption of positivity in causal inference (also known as common support and co-variate overlap) is necessary to obtain valid causal estimates. Therefore, confirming it holds in a given dataset is an important first step of any causal analysis. Most common methods to date are insufficient for discovering non-positivity, as they do not scale for modern high-dimensional covariate spaces, or they cannot pinpoint the subpopulation violating positivity. To overcome these issues, we suggest to harness decision trees for detecting violations. By dividing the covariate space into mutually exclusive regions, each with maximized homogeneity of treatment groups, decision trees can be used to automatically detect subspaces violating positivity. By augmenting the method with an additional random forest model, we can quantify the robustness of the violation within each subspace. This solution is scalable and provides an interpretable characterization of the subspaces in which violations occur. We provide a visualization of the stratification rules that define each subpopulation, combined with the severity of positivity violation within it. We also provide an interactive version of the visualization that allows a deeper dive into the properties of each subspace.


title: Quantum synchronization in dimer atomic lattices

abstract: Synchronization phenomena have been recently reported in the quantum realm at atomic level due to collective dissipation. In this work we propose a dimer lattice of trapped atoms realizing a dissipative spin model where quantum synchronization occurs instead in presence of local dissipation. Atoms synchronization is enabled by the inhomogeneity of staggered local losses in the lattice and is favored by an increase of spins detuning. A comprehensive approach to quantum synchronization based on different measures considered in the literature allows to identify the main features of different synchronization regimes.


title: Early Structure Formation in $\Lambda$PBH Cosmologies

abstract: Cold dark matter (CDM) could be composed of primordial black holes (PBH) in addition to or instead of more orthodox weakly interacting massive particle dark matter (PDM). We study the formation of the first structures in such $\Lambda$PBH cosmologies using $N$-body simulations evolved from deep in the radiation era to redshift 99. When PBH are only a small component of the CDM, they are clothed by PDM to form isolated halos. On the other hand, when PBH make most of the CDM, halos can also grow via clustering of many PBH. We find that the halo mass function is well modelled via Poisson statistics assuming random initial conditions. We quantify the nonlinear velocities induced by structure formation and find that they are too small to significantly impact CMB constraints. A chief challenge is how best to extrapolate our results to lower redshifts relevant for some observational constraints.


title: How to observe and quantify quantum-discorded states via correlations

abstract: Quantum correlations between parts of a composite system most clearly reveal themselves through entanglement. Designing, maintaining, and controlling entangled systems is very demanding, which raises the stakes for understanding the efficacy of entanglement-free, yet quantum, correlations, exemplified by quantum discord. Discord is defined via conditional mutual entropies of parts of a composite system, and its direct measurement is hardly possible even via full tomographic characterization of the system state. Here we design a simple protocol to detect and quantify quantum discord in an unentangled bipartite system. Our protocol relies on a characteristic of discord that can be extracted from repeated direct measurements of certain correlations between subsystems of the bipartite system. The proposed protocol opens a way of extending experimental studies of discord to electronic systems but can also be implemented in quantum-optical systems.


title: Uniform $L^p$ Resolvent Estimates on the Torus

abstract: A new range of uniform $L^p$ resolvent estimates is obtained in the setting of the flat torus, improving previous results of Bourgain, Shao, Sogge and Yao. The arguments rely on the $\ell^2$-decoupling theorem and multidimensional Weyl sum estimates.


title: A class large solution of 3D incompressible micropolar fluid system

abstract: In this paper, we construct a class global large solution to the 3D incompressible micropolar fluid system. Precisely speaking, by choosing a special initial data which can be arbitrarily large in $\dot{B}^{-1}_{\infty,\infty}$, the system has a unique global solution.


title: Role of interactions in the energy of the spin resonance peak in Fe-based superconductors

abstract: We consider the spin response within the five-orbital model for iron-based superconductors and study two cases: equal and unequal gaps in different bands. In the first case, the spin resonance peak in the superconducting state appears below the characteristic energy scale determined by the gap magnitude, $2\Delta_L$. In the second case, the energy scale corresponds to the sum of smaller and larger gap magnitudes, $\Delta_L + \Delta_S$. Increasing the values of the Hubbard interaction and the Hund's exchange, we observe a shift of the spin resonance energy to lower frequencies.


title: The influence of nonlocal interactions on valence transitions and formation of excitonic bound states in the generalized Falicov-Kimball model

abstract: We use the density-matrix-renormalization-group (DMRG) method to study the combined effects of nonlocal interactions on valence transitions and the formation of excitonic bound states in the generalized Falicov-Kimball model. In particular, we consider the nearest-neighbour Coulomb interaction $U_{nn}$ between two $d$, two $f$, $d$ and $f$ electrons as well as the so-called correlated hopping term $U_{ch}$ and examine their effects on the density of conduction $n_d$ (valence $n_f$) electrons and the excitonic momentum distribution $N(q)$. It is shown that $U_{nn}$ and $U_{ch}$ exhibit very strong and fully different effects on valence transitions and the formation (condensation) of excitonic bound states. While the nonlocal interaction $U_{nn}$ suppresses the formation of zero momentum condensate ($N(q$=$0)$) and stabilizes the intermediate valence phases with $n_d \sim 0.5, n_f \sim 0.5$, the correlated hopping term $U_{ch}$ significantly enhances the number of excitons in the zero-momentum condensate and suppresses the stability region of intermediate valence phases. The physically most interesting results are observed if both $U_{nn}$ and $U_{ch}$ are nonzero, when the combined effects of $U_{nn}$ and $U_{ch}$ are able to generate discontinuous changes in $n_f$, $N(q$=$0)$ and some other ground-state quantities.


title: Channel Capacity Enhancement of SWIPT based CNOMA Downlink Transmission with Orbital Angular Momentum over Rician Fading Channel

abstract: In this paper, the integration of cooperative non-orthogonal multiple access (CNOMA) and power splitting based simultaneous wireless information and power transfer (SWIPT) is proposed to improve the spectral and energy efficiency. Moreover, different orbital angular momentum (OAM) based signals are also considered in this paper to transmit additional symbols to cell center user (CCU) and cell edge user (CEU). In the proposed technique, CCU is used as energy-constrained relay to forward signal to CEU. CCU harvests energy from the transmitted signal by the BS using the power splitting technique. The additional symbols are transmitted from the BS to CCU and CEU by utilizing different modes of OAM. This paper investigates the ergodic sum capacity (ESC) of the proposed technique along with analytical derivations over Rician fading channels. Finally, the performance in terms of ESC and energy efficiency over conventional technique compared to conventional multiple access is demonstrated by analysis and simulation.


title: Autonomous Driving in the Lung using Deep Learning for Localization

abstract: Lung cancer is the leading cause of cancer-related death worldwide, and early diagnosis is critical to improving patient outcomes. To diagnose cancer, a highly trained pulmonologist must navigate a flexible bronchoscope deep into the branched structure of the lung for biopsy. The biopsy fails to sample the target tissue in 26-33% of cases largely because of poor registration with the preoperative CT map. To improve intraoperative registration, we develop two deep learning approaches to localize the bronchoscope in the preoperative CT map based on the bronchoscopic video in real-time, called AirwayNet and BifurcationNet. The networks are trained entirely on simulated images derived from the patient-specific CT. When evaluated on recorded bronchoscopy videos in a phantom lung, AirwayNet outperforms other deep learning localization algorithms with an area under the precision-recall curve of 0.97. Using AirwayNet, we demonstrate autonomous driving in the phantom lung based on video feedback alone. The robot reaches four targets in the left and right lungs in 95% of the trials. On recorded videos in eight human cadaver lungs, AirwayNet achieves areas under the precision-recall curve ranging from 0.82 to 0.997.


title: Accelerated Coronary MRI with sRAKI: A Database-Free Self-Consistent Neural Network k-space Reconstruction for Arbitrary Undersampling

abstract: This study aims to accelerate coronary MRI using a novel reconstruction algorithm, called self-consistent robust artificial-neural-networks for k-space interpolation (sRAKI). sRAKI performs iterative parallel imaging reconstruction by enforcing coil self-consistency using subject-specific neural networks. This approach extends the linear convolutions in SPIRiT to nonlinear interpolation using convolutional neural networks (CNNs). These CNNs are trained individually for each scan using the scan-specific autocalibrating signal (ACS) data. Reconstruction is performed by imposing the learned self-consistency and data-consistency enabling sRAKI to support random undersampling patterns. Fully-sampled targeted right coronary artery MRI was acquired in six healthy subjects for evaluation. The data were retrospectively undersampled, and reconstructed using SPIRiT, $\ell_1$-SPIRiT and sRAKI for acceleration rates of 2 to 5. Additionally, prospectively undersampled whole-heart coronary MRI was acquired to further evaluate performance. The results indicate that sRAKI reduces noise amplification and blurring artifacts compared with SPIRiT and $\ell_1$-SPIRiT, especially at high acceleration rates in targeted data. Quantitative analysis shows that sRAKI improves normalized mean-squared-error (~44% and ~21% over SPIRiT and $\ell_1$-SPIRiT at rate 5) and vessel sharpness (~10% and ~20% over SPIRiT and $\ell_1$-SPIRiT at rate 5). In addition, whole-heart data shows the sharpest coronary arteries when resolved using sRAKI, with 11% and 15% improvement in vessel sharpness over SPIRiT and $\ell_1$-SPIRiT, respectively. Thus, sRAKI is a database-free neural network-based reconstruction technique that may further accelerate coronary MRI with arbitrary undersampling patterns, while improving noise resilience over linear parallel imaging and image sharpness over $\ell_1$ regularization techniques.


title: A Survey of Data Quality Measurement and Monitoring Tools

abstract: High-quality data is key to interpretable and trustworthy data analytics and the basis for meaningful data-driven decisions. In practical scenarios, data quality is typically associated with data preprocessing, profiling, and cleansing for subsequent tasks like data integration or data analytics. However, from a scientific perspective, a lot of research has been published about the measurement (i.e., the detection) of data quality issues and different generally applicable data quality dimensions and metrics have been discussed. In this work, we close the gap between research into data quality measurement and practical implementations by investigating the functional scope of current data quality tools. With a systematic search, we identified 667 software tools dedicated to "data quality", from which we evaluated 13 tools with respect to three functionality areas: (1) data profiling, (2) data quality measurement in terms of metrics, and (3) continuous data quality monitoring. We selected the evaluated tools with regard to pre-defined exclusion criteria to ensure that they are domain-independent, provide the investigated functions, and are evaluable freely or as trial. This survey aims at a comprehensive overview on state-of-the-art data quality tools and reveals potential for their functional enhancement. Additionally, the results allow a critical discussion on concepts, which are widely accepted in research, but hardly implemented in any tool observed, for example, generally applicable data quality metrics.


title: Unconventional electromagnetic properties of the graphene quantum dots

abstract: Quantum dots based on the graphene stripes show unconventional optical properties in the THz frequency range. The graphene quantum dot (GQD) is made of electrically gated stripe with zigzag edges. Inside the active region (AR), which is enclosed between the source and drain electrodes, there are two sharp energy ($\pm $)-levels, whose separation $2\Delta $ is controlled with Stark effect by applying the lateral dc electric field. Such the edge states determine the unique nature of elementary excitations, chiral fermions, that are responsible for the non-linear optical responce revealing a potential for many applications. They are, e.g., the frequency multiplication and self-focusing of two dimensional solitons. Furthemore, when injection of the non-equilibrium electrons causes an inverse population of the levels localized in AR, the subsequent recombination of electrons and holes leads to a coherent emission of the THz waves.


title: Abelian Higgs model at four loops, fixed-point collision and deconfined criticality

abstract: The abelian Higgs model is the textbook example for the superconducting transition and the Anderson-Higgs mechanism, and has become pivotal in the description of deconfined quantum criticality. We study the abelian Higgs model with $n$ complex scalar fields at unprecedented four-loop order in the $4-\epsilon$ expansion and find that the annihilation of the critical and bicritical points occurs at a critical number of $n_c \approx 182.95\left(1 - 1.752\epsilon + 0.798 \epsilon^2 + 0.362\epsilon^3\right) + \mathcal{O}\left(\epsilon^4\right)\nonumber$. Consequently, below $n_c$, the transition turns from second to first order. Resummation of the series to extract the result in three-dimensions provides strong evidence for a critical $n_c(d=3)$ which is significantly below the leading-order value, but the estimates for $n_c$ are widely spread. Conjecturing the topology of the renormalization group flow between two and four dimensions, we obtain a smooth interpolation function for $n_c(d)$ and find $n_c(3)\approx 12.2\pm 3.9$ as our best estimate in three dimensions. Finally, we discuss Miransky scaling occurring below $n_c$ and comment on implications for weakly first-order behavior of deconfined quantum transitions. We predict an emergent hierarchy of length scales between deconfined quantum transitions corresponding to different $n$.


title: Testing cosmology and fundamental physics with the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is the next generation ground-based observatory for $\gamma$-ray astronomy at energies above 30 GeV. Thanks to its unique capabilities, CTA observations will address a plethora of open questions in astrophysics ranging from the origin of cosmic messengers to the exploration of the frontiers of physics. In this note, we present a comprehensive sensitivity study to assess the potential of CTA to measure the $\gamma$-ray absorption on the extragalactic background light (EBL), to constrain or detect intergalactic magnetic fields (IGMFs), and probe physics beyond the Standard Model such as axion-like particles (ALPs) and Lorentz invariance violation (LIV), which could modify the $\gamma$-ray spectra features expected from EBL absorption. Our results suggest that CTA will have unprecedented sensitivity to detect IGMF signatures and will probe so-far unexplored regions of the LIV and ALP parameter space. Furthermore, an indirect measurement of the EBL and of its evolution will be performed with unrivaled precision.


title: Stack sorting with restricted stacks

abstract: The (classical) problem of characterizing and enumerating permutations that can be sorted using two stacks connected in series is still largely open. In the present paper we address a related problem, in which we impose restrictions both on the procedure and on the stacks. More precisely, we consider a greedy algorithm where we perform the rightmost legal operation (here "rightmost" refers to the usual representation of stack sorting problems). Moreover, the first stack is required to be $\sigma$-avoiding, for some permutation $\sigma$, meaning that, at each step, the elements maintained in the stack avoid the pattern $\sigma$ when read from top to bottom. Since the set of permutations which can be sorted by such a device (which we call $\sigma$-machine) is not always a class, it would be interesting to understand when it happens. We will prove that the set of $\sigma$-machines whose associated sortable permutations are not a class is counted by Catalan numbers. Moreover, we will analyze two specific $\sigma$-machines in full details (namely when $\sigma=321$ and $\sigma=123$), providing for each of them a complete characterization and enumeration of sortable permutations.


title: Development of a low-cost monitor for radon detection in air

abstract: An active device for radon detection in the air was developed. The monitor operates in pulse counting mode for real-time continuous measurements. The presented prototype has a relatively simple design made of low-price and easy to acquire components which made it possible to develop an inexpensive device. The device used as a sensor, the SLCD-61N5 Si-PIN planar photodiode, which has an area of 9.67x9.67 mm2, is sensitive to alpha particles. An Arduino Uno microcontroller was used as a data acquisition system. Signals were observed when placing an 241Am or 226Ra source near the sensor. The sensor's sensitivity has small bias dependency and the device can operate even at modest voltage. As a result of a one-month test in a radon-rich atmosphere, a positive high correlation (Pearson's r equal to 0.977) was obtained between our prototype and a Geiger-Muller detector.


title: Functional model for boundary-value problems

abstract: We develop a functional model for operators arising in the study of boundary-value problems of materials science and mathematical physics. We then provide explicit formulae for the resolvents of the associated extensions of symmetric operators in terms of the associated generalised Dirichlet-to-Neumann maps, which can be utilised in the analysis of the properties of parameter-dependent problems as well as in the study of their spectra.

categories: math.AP cond-mat.mtrl-sci math-ph math.FA math.MP


title: Estimating regional cerebral blood flow using resting-state functional MRI via machine learning

abstract: Perfusion MRI is an important modality in many brain imaging protocols, since it probes cerebrovascular changes in aging and many diseases; however, it may not be always available. Here we introduce a method that seeks to estimate regional perfusion properties using spectral information of resting-state functional MRI (rsfMRI) via machine learning. We used pairs of rsfMRI and arterial spin labeling (ASL) images from the same elderly individuals with normal cognition (NC; n = 45) and mild cognitive impairment (MCI; n = 26), and built support vector machine models aiming to estimate regional cerebral blood flow (CBF) from the rsfMRI signal alone. This method demonstrated higher associations between the estimated CBF and actual CBF (ASL-CBF) at the total lobar gray matter (r = 0.40; FDR-p = 1.9e-03), parietal lobe (r = 0.46, FDR-p = 8e-04), and occipital lobe (r = 0.35; FDR-p = 0.01) using rsfMRI signals of frequencies [0.01-0.15] Hertz compared to frequencies [0.01-0.10] Hertz and [0.01-0.20] Hertz, respectively. We further observed significant associations between the estimated CBF and actual CBF in 24 regions of interest (p < 0.05), with the highest association observed in the superior parietal lobule (r = 0.50, FDR-p = 0.002). Moreover, the estimated CBF at superior parietal lobule showed significant correlation with the mini-mental state exam (MMSE) score (r = 0.27; FDR-p = 0.04) and decreased in MCI with lower MMSE score compared to NC group (FDR-p = 0.04). Overall, these results suggest that the proposed framework can obtain estimates of regional perfusion from rsfMRI, which can serve as surrogate perfusion measures in the absence of ASL.


title: Asymptotic behavior of solution and non-existence of global solution to a class of conformable time-fractional stochastic equation

abstract: Consider the following class of conformable time-fractional stochastic equation $$T_{\alpha,t}^a u(x,t)=\lambda\sigma(u(x,t))\dot{W}_t,\,\,\,\,x\in\mathbb{R},\,t\in[a,\infty), \,\,0<\alpha<1,$$ with a non-random initial condition $u(x,0)=u_0(x),\,x\in\mathbb{R}$ assumed to be non-negative and bounded, $T_{\alpha,t}^a$ is a conformable time - fractional derivative, $\sigma:\mathbb{R}\rightarrow\mathbb{R}$ is globally Lipschitz continuous, $\dot{W}_t$ a generalized derivative of Wiener process and $\lambda>0$ is the noise level. Given some precise and suitable conditions on the non-random initial function, we study the asymptotic behaviour of the solution with respect to the time parameter $t$ and the noise level parameter $\lambda$. We also show that when the non-linear term $\sigma$ grows faster than linear, the energy of the solution blows-up at finite time for all $\alpha\in (0,1)$.


title: Updates of PDFs in the MMHT framework

abstract: We summarise recent developments in the path towards the "MMHT19" parton distribution functions. We concentrate on the extraction of the strange quark upon the improvement of theoretical calculations for NNLO charged current cross sections; the effect of an extension of our parameterisation; and the role of correlated uncertainties in some data sets which prove difficult to fit.


title: The multiplicity distribution of Kepler's exoplanets

abstract: The true multiplicity distribution of transiting planet systems is obscured by strong observational biases, leading low-multiplicity systems to be overrepresented in the observed sample. Using the Kepler FGK planet hosts, we employ approximate Bayesian computation to infer the multiplicity distribution by comparing simulated catalogs to the observed one. After comparing a total of ten different multiplicity distributions, half of which were two-population models, to the observed data, we find that a single-population model following a Zipfian distribution is able to explain the Kepler data as well as any of the dichotomous models we test. Our work provides another example of a way to explain the observed Kepler multiplicities without invoking a dichotomous planet population. Using our preferred Zipfian model, we estimate that an additional $2393_{-717}^{+904}$ planets likely reside in the 1537 FGK Kepler systems studied in this work, which would increase the planet count by a factor of $2.22_{-0.36}^{+0.46}$. Of these hidden worlds, $663_{-151}^{+158}$ are expected to reside in ostensibly single-transiting-planet systems, meaning that an additional planet(s) is expected for approximately 1-in-2 such Kepler systems.


title: The Cardy Formula from Goldstone Bosons

abstract: Two dimensional conformal field theories, can be described by their pseudo Goldstone bosons when the conformal symmetry is spontaneously and anomalously broken. We show that the Schwarzian action of these bosons leads to the Cardy formula without using modular invariance. As a result, the Cardy formula applies to conformal field theories on a cylinder and chiral theories in one dimension. This also explains why the Cardy--Verlinde formula for theories on $S^1 \times S^{d-2}$ can be written in the form of the Cardy formula of an effective two dimensional theory.


title: The 2D Volkov-Akulov model as a $T \bar{T}$ deformation

abstract: We show that the two-dimensional $N=(2,2)$ Volkov-Akulov action that describes the spontaneous breaking of supersymmetry is a $T\bar{T}$ deformation of a free fermionic theory. Our findings point toward a possible relation between nonlinear supersymmetry and $T \bar T$ flows.


title: Rigidly rotating, incompressible spheroid-ring systems: new bifurcations, critical rotations and degenerate states

abstract: The equilibrium of incompressible spheroid-ring systems in rigid rotation is investigated by numerical means for a unity density contrast. A great diversity of binary configurations is obtained, with no limit neither in the mass ratio, nor in the orbital separation. We found only detached binaries, meaning that the end-point of the $\epsilon_2$-sequence is the single binary state in strict contact, easily prone to mass-exchange. The solutions show a remarkable confinement in the rotation frequency-angular momentum diagram, with a total absence of equilibrium for $\Omega^2/ \pi G \rho \gtrsim 0.21$. A short band of degeneracy is present next to the one-ring sequence. We unveil a continuum of bifurcations all along the ascending side of the Maclaurin sequence for eccentricities of the ellipsoid less than $\approx 0.612$ and which involves a gradually expanding, initially massless loop.


title: Stellar and Dust Properties of a Complete Sample of Massive Dusty Galaxies at $1 \le z \le 4$ from MAGPHYS Modeling of UltraVISTA DR3 and Herschel Photometry

abstract: We investigate the stellar and dust properties of massive (log$(M_*/M_\odot) \ge 10.5$) and dusty ($A_V \ge 1$) galaxies at $1 \le z \le 4$ by modeling their spectral energy distributions (SEDs) obtained from the combination of UltraVISTA DR3 photometry and \textit{Herschel} PACS-SPIRE data using MAGPHYS. Although the rest-frame U-V vs V-J (UVJ) diagram traces well the star-formation rates (SFR) and dust obscuration (A$_V$) out to $z \sim 3$, $\sim$15-20\% of the sample surprisingly resides in the quiescent region of the UVJ diagram, while $\sim50$\% at $3<z<4$ fall in the unobscured star-forming region. The median SED of massive dusty galaxies exhibits weaker MIR and UV emission, and redder UV slopes with increasing cosmic time. The IR emission for our sample has a significant contribution ($>20\%$) from dust heated by evolved stellar populations rather than star formation, demonstrating the need for panchromatic SED modeling. The local relation between dust mass and SFR is followed only by a sub-sample with cooler dust temperatures, while warmer objects have reduced dust masses at a given SFR. Most star-forming galaxies in our sample do not follow local IRX-$\beta$ relations, though IRX does strongly correlate with A$_V$. Our sample follows local relations, albeit with large scatter, between ISM diagnostics and sSFR. We show that FIR-detected sources represent the extreme of a continuous population of dusty galaxies rather than a fundamentally different population. Finally, using commonly adopted relations to derive SFRs from the combination of the rest-frame UV and the observed 24$\mu$m is found to overestimate the SFR by a factor of 3-5 for the galaxies in our sample.


title: ReconViguRation: Reconfiguring Physical Keyboards in Virtual Reality

abstract: Physical keyboards are common peripherals for personal computers and are efficient standard text entry devices. Recent research has investigated how physical keyboards can be used in immersive head-mounted display-based Virtual Reality (VR). So far, the physical layout of keyboards has typically been transplanted into VR for replicating typing experiences in a standard desktop environment. In this paper, we explore how to fully leverage the immersiveness of VR to change the input and output characteristics of physical keyboard interaction within a VR environment. This allows individual physical keys to be reconfigured to the same or different actions and visual output to be distributed in various ways across the VR representation of the keyboard. We explore a set of input and output mappings for reconfiguring the virtual presentation of physical keyboards and probe the resulting design space by specifically designing, implementing and evaluating nine VR-relevant applications: emojis, languages and special characters, application shortcuts, virtual text processing macros, a window manager, a photo browser, a whack-a-mole game, secure password entry and a virtual touch bar. We investigate the feasibility of the applications in a user study with 20 participants and find that, among other things, they are usable in VR. We discuss the limitations and possibilities of remapping the input and output characteristics of physical keyboards in VR based on empirical findings and analysis and suggest future research directions in this area.


title: Physics in the information age: qualitative methods (with examples from quantum mechanics)

abstract: The traditional pedagogical paradigm in physics is based on a deductive approach. However, with the recent advances in information technology, we are facing a dramatic increase in the amount of readily available information; hence, the ability to memorize the material and provide rigorous derivations lacks significance. Our success in navigating the current "sea" of information depends increasingly on our skills in pattern recognition and prompt qualitative analysis. Inductive learning (using examples and intuition-based) is most suitable for the development of such skills. This needed change in our pedagogical paradigm remains yet to be addressed in physics curricula. We propose that incorporating inductive elements in teaching -by infusing qualitative methods - will better prepare us to deal with the new information landscape. These methods bring the learning experience closer to the realities of active research. As an example, we are presenting a compendium for teaching qualitative methods in quantum mechanics, a traditionally non-intuitive subject.


title: Measurements of triple-differential cross sections for inclusive isolated-photon+jet events in pp collisions at $\sqrt{s} =$ 8 TeV

abstract: Measurements are presented of the triple-differential cross section for inclusive isolated-photon+jet events in pp collisions at $\sqrt{s} =$ 8 TeV as a function of photon transverse momentum ($p_\mathrm{T}^\gamma$), photon pseudorapidity ($\eta^\gamma$), and jet pseudorapidity ($\eta^\text{jet}$). The data correspond to an integrated luminosity of 19.7 fb$^{-1}$ that probe a broad range of the available phase space, for $|\eta^\gamma|$ $<$ 1.44 and 1.57 $<$ $|\eta^\gamma|$ $<$ 2.50, $|\eta^\text{jet}|$ $<$ 2.5, 40 $<$ $p_\mathrm{T}^\gamma$ $<$ 1000 GeV, and jet transverse momentum, $p_\mathrm{T}^\text{jet}$, $>$ 25 GeV. The measurements are compared to next-to-leading order perturbative quantum chromodynamics calculations, which reproduce the data within uncertainties.


title: Understanding the Linewidth of the ESR Spectrum Detected by a Single NV Center in Diamond

abstract: Spectral analysis of electron spin resonance (ESR) is a powerful technique for various investigations including characterization of spin systems, measurements of spin concentration, and probing spin dynamics. The nitrogen-vacancy (NV) center in diamond is a promising magnetic sensor enabling improvement of ESR sensitivity to the level of a single spin. Therefore, understanding the nature of NV-detected ESR (NV-ESR) spectrum is critical for applications to nanoscale ESR. Within this work we investigate the linewidth of NV-ESR from single substitutional nitrogen centers (called P1 centers). NV-ESR is detected by a double electron-electron resonance (DEER) technique. By studying the dependence of the DEER excitation bandwidth on NV-ESR linewidth, we find that the spectral resolution is improved significantly and eventually limited by inhomogeneous broadening of the detected P1 ESR. Moreover, we show that the NV-ESR linewidth can be as narrow as 0.3 MHz.


title: A diagrammatic approach to variational quantum ansatz construction

abstract: Variational quantum eigensolvers (VQEs) are a promising class of quantum algorithms for preparing approximate ground states in near-term quantum devices. Minimizing the error in such an approximation requires designing ansatzes using physical considerations that target the studied system. One such consideration is size-extensivity, meaning that the ground state quantum correlations are to be compactly represented in the ansatz. On digital quantum computers, however, the size-extensive ansatzes usually require expansion via Trotter-Suzuki methods. These introduce additional costs and errors to the approximation. In this work, we present a diagrammatic scheme for the digital VQE ansatzes, which is size-extensive but does not rely on Trotterization. We start by designing a family of digital ansatzes that explore the entire Hilbert space with the minimum number of free parameters. We then demonstrate how one may compress an arbitrary digital ansatz, by enforcing symmetry constraints of the target system, or by using them as parent ansatzes for a hierarchy of increasingly long but increasingly accurate sub-ansatzes. We apply a perturbative analysis and develop a diagrammatic formalism that ensures the size-extensivity of generated hierarchies. We test our methods on a short spin chain, finding good convergence to the ground state in the paramagnetic and the ferromagnetic phase of the transverse-field Ising model.


title: Understanding Neural Machine Translation by Simplification: The Case of Encoder-free Models

abstract: In this paper, we try to understand neural machine translation (NMT) via simplifying NMT architectures and training encoder-free NMT models. In an encoder-free model, the sums of word embeddings and positional embeddings represent the source. The decoder is a standard Transformer or recurrent neural network that directly attends to embeddings via attention mechanisms. Experimental results show (1) that the attention mechanism in encoder-free models acts as a strong feature extractor, (2) that the word embeddings in encoder-free models are competitive to those in conventional models, (3) that non-contextualized source representations lead to a big performance drop, and (4) that encoder-free models have different effects on alignment quality for German-English and Chinese-English.


title: Existence and regularity of Faber Krahn minimizers in a Riemannian manifold

abstract: In this paper, we study the minimization of $\lambda_{1}(\Omega)$, the first Dirichlet eigenvalue of the Laplace-Beltrami operator, within the class of open sets $\Omega$ of fixed volume in a Riemmanian manifold $(M,g)$. In the Euclidian setting (when $(M,g)=(\mathbb{R}^n,e)$), the well-known Faber-Krahn inequality asserts that the solution of such problem is any ball of suitable volume. Even if similar results are known or may be expected for Riemannian manifolds with symmetries, we cannot expect to find explicit solutions for general manifolds $(M,g)$. In this paper we study existence and regularity properties for this spectral shape optimization problem in a Riemannian setting, in a similar fashion as for the isoperimetric problem. We first give an existence result in the context of compact Riemannian manifolds, and we discuss the case of non-compact manifolds by giving a counter-example to existence. We then focus on the regularity theory for this problem, and using the tools coming from the theory of free boundary problems, we show that solutions are smooth up to a possible residual set of co-dimension 5 or higher.


title: Seeing Far vs. Seeing Wide: Volume Complexity of Local Graph Problems

abstract: Consider a graph problem that is locally checkable but not locally solvable: given a solution we can check that it is feasible by verifying all constant-radius neighborhoods, but to find a solution each node needs to explore the input graph at least up to distance $\Omega(\log n)$ in order to produce its output. We consider the complexity of such problems from the perspective of volume: how large a subgraph does a node need to see in order to produce its output. We study locally checkable graph problems on bounded-degree graphs. We give a number of constructions that exhibit tradeoffs between deterministic distance, randomized distance, deterministic volume, and randomized volume: - If the deterministic distance is linear, it is also known that randomized distance is near-linear. In contrast, we show that there are problems with linear deterministic volume but only logarithmic randomized volume. - We prove a volume hierarchy theorem for randomized complexity: among problems with linear deterministic volume complexity, there are infinitely many distinct randomized volume complexity classes between $\Omega(\log n)$ and $O(n)$. This hierarchy persists even when restricting to problems whose randomized and deterministic distance complexities are $\Theta(\log n)$. - Similar hierarchies exist for polynomial distance complexities: for any $k, \ell \in N$ with $k \leq \ell$, there are problems whose randomized and deterministic distance complexities are $\Theta(n^{1/\ell})$, randomized volume complexities are $\Theta(n^{1/k})$, and whose deterministic volume complexities are $\Theta(n)$. Additionally, we consider connections between our volume model and massively parallel computation (MPC). We give a general simulation argument that any volume-efficient algorithm can be transformed into a space-efficient MPC algorithm.


title: On scalar radiation

abstract: We discuss radiation in theories with scalar fields. Our key observation is that even in flat spacetime, the radiative fields depend qualitatively on the coupling of the scalar field to the Ricci scalar: for non-minimally coupled scalars, the radiative energy density is not positive definite, the radiated power is not Lorentz invariant and it depends on the derivative of the acceleration. We explore implications of this observation for radiation in conformal field theories. First, we find a relation between two coefficients that characterize radiation, that holds in all the conformal field theories we consider. Furthermore, we find evidence that for a $1/2$-BPS probe coupled to ${\cal N}=4$ super Yang-Mills, and following an arbitrary trajectory, the spacetime dependence of the one-point function of the energy-momentum tensor is independent of the Yang-Mills coupling.


title: Finite-dimensional differential graded algebras and their geometric realizations

abstract: We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with a full separable semi-exceptional collection. Moreover, we also show that it gives a characterization of such categories assuming that a subcategory is idempotent complete and has a classical generator.


title: A condition under which classical simulability implies efficient state learnability

abstract: In the task of quantum state learning, one receives some data about measurements performed on a state, and using that, must make predictions on the outcomes of unseen measurements. Computing a prediction is generally hard but it has been shown that learning can be performed efficiently for states that are generated by Clifford circuits, which are known to be efficiently classically simulable. This naturally leads to the question, how does efficient state learnability compare with efficient classical simulation? In this work we introduce an extra condition on top of classical simulablity that guarantees efficiently learnability. To illustrate this we prove two new examples of efficient learnability: states with low (Schmidt rank) entanglement and states described by an 'efficient' ontological model.


title: Fragility of Layout-Based and Visual GUI Test Scripts: An Assessment Study on a Hybrid Mobile Application

abstract: Context: Albeit different approaches exist for automated GUI testing of hybrid mobile applications, the practice appears to be not so commonly adopted by developers. A possible reason for such a low diffusion can be the fragility of the techniques, i.e. the frequent need for maintaining test cases when the GUI of the app is changed. Goal: In this paper, we perform an assessment of the maintenance needed by test cases for a hybrid mobile app, and the related fragility causes. Methods: We evaluated a small test suite with a Layout-based testing tool (Appium) and a Visual one (EyeAutomate) and observed the changes needed by tests during the co-evolution with the GUI of the app. Results: We found that 20% Layout-based test methods and 30% Visual test methods had to be modified at least once, and that each release induced fragilities in 3-4% of the test methods. Conclusion: Fragility of GUI tests can induce relevant maintenance efforts in test suites of large applications. Several principal causes for fragilities have been identified for the tested hybrid application, and guidelines for developers are deduced from them.


title: Peeking Behind the Ordinal Curtain: Improving Distortion via Cardinal Queries

abstract: Aggregating the preferences of individuals into a collective decision is the core subject of study of social choice theory. In 2006, Procaccia and Rosenschein considered a utilitarian social choice setting, where the agents have explicit numerical values for the alternatives, yet they only report their linear orderings over them. To compare different aggregation mechanisms, Procaccia and Rosenschein introduced the notion of distortion, which quantifies the inefficiency of using only ordinal information when trying to maximize the social welfare, i.e., the sum of the underlying values of the agents for the chosen outcome. Since then, this research area has flourished and bounds on the distortion have been obtained for a wide variety of fundamental scenarios. However, the vast majority of the existing literature is focused on the case where nothing is known beyond the ordinal preferences of the agents over the alternatives. In this paper, we take a more expressive approach, and consider mechanisms that are allowed to further ask a few cardinal queries in order to gain partial access to the underlying values that the agents have for the alternatives. With this extra power, we design new deterministic mechanisms that achieve significantly improved distortion bounds and, in many cases, outperform the best-known randomized ordinal mechanisms. We paint an almost complete picture of the number of queries required by deterministic mechanisms to achieve specific distortion bounds.


title: Geochemistry constrains global hydrology on Early Mars

abstract: Ancient hydrology is recorded by sedimentary rocks on Mars. The most voluminous sedimentary rocks that formed during Mars' Hesperian period are sulfate-rich rocks, explored by the $Opportunity$ rover from 2004-2012 and soon to be investigated by the $Curiosity$ rover at Gale crater. A leading hypothesis for the origin of these sulfates is that the cations were derived from evaporation of deep-sourced groundwater, as part of a global circulation of groundwater. Global groundwater circulation would imply sustained warm Earthlike conditions on Early Mars. Global circulation of groundwater including infiltration of water initially in equilibrium with Mars' CO$_2$ atmosphere implies subsurface formation of carbonate. We find that the CO$_2$ sequestration implied by the global groundwater hypothesis for the origin of sulfate-rich rocks on Mars is 30-5000 bars if the $Opportunity$ data are representative of Hesperian sulfate-rich rocks, which is so large that (even accounting for volcanic outgassing) it would bury the atmosphere. This disfavors the hypothesis that the cations for Mars' Hesperian sulfates were derived from upwelling of deep sourced groundwater. If, instead, Hesperian sulfate-rich rocks are approximated as pure Mg-sulfate (no Fe), then the CO$_2$ sequestration is 0.3-400 bars. The low end of this range is consistent with the hypothesis that the cations for Mars' Hesperian sulfates were derived from upwelling of deep sourced groundwater. In both cases, carbon sequestration by global groundwater circulation actively works to terminate surface habitability, rather than being a passive marker of warm Earthlike conditions. $Curiosity$ will soon be in a position to discriminate between these two hypotheses. Our work links Mars sulfate cation composition, carbon isotopes, and climate change.


title: OCC: A Smart Reply System for Efficient In-App Communications

abstract: Smart reply systems have been developed for various messaging platforms. In this paper, we introduce Uber's smart reply system: one-click-chat (OCC), which is a key enhanced feature on top of the Uber in-app chat system. It enables driver-partners to quickly respond to rider messages using smart replies. The smart replies are dynamically selected according to conversation content using machine learning algorithms. Our system consists of two major components: intent detection and reply retrieval, which are very different from standard smart reply systems where the task is to directly predict a reply. It is designed specifically for mobile applications with short and non-canonical messages. Reply retrieval utilizes pairings between intent and reply based on their popularity in chat messages as derived from historical data. For intent detection, a set of embedding and classification techniques are experimented with, and we choose to deploy a solution using unsupervised distributed embedding and nearest-neighbor classifier. It has the advantage of only requiring a small amount of labeled training data, simplicity in developing and deploying to production, and fast inference during serving and hence highly scalable. At the same time, it performs comparably with deep learning architectures such as word-level convolutional neural network. Overall, the system achieves a high accuracy of 76% on intent detection. Currently, the system is deployed in production for English-speaking countries and 71% of in-app communications between riders and driver-partners adopted the smart replies to speedup the communication process.


title: Formation of quasi-periodic slow magnetoacoustic wave trains by the heating/cooling misbalance

abstract: Slow magnetoacoustic waves are omnipresent in both natural and laboratory plasma systems. The wave-induced misbalance between plasma cooling and heating processes causes the amplification or attenuation, and also dispersion, of slow magnetoacoustic waves. The wave dispersion could be attributed to the presence of characteristic time scales in the system, connected with the plasma heating or cooling due to the competition of the heating and cooling processes in the vicinity of the thermal equilibrium. We analysed linear slow magnetoacoustic waves in a plasma in a thermal equilibrium formed by a balance of optically thin radiative losses, field-align thermal conduction, and an unspecified heating. The dispersion is manifested by the dependence of the effective adiabatic index of the wave on the wave frequency, making the phase and group speeds frequency-dependent. The mutual effect of the wave amplification and dispersion is shown to result into the occurrence of an oscillatory pattern in an initially broadband slow wave, with the characteristic period determined by the thermal misbalance time scales, i.e. by the derivatives of the combined radiation loss and heating function with respect to the density and temperature, evaluated at the equilibrium. This effect is illustrated by estimating the characteristic period of the oscillatory pattern, appearing because of thermal misbalance in the plasma of the solar corona. It is found that by an order of magnitude the period is about the typical periods of slow magnetoacoustic oscillations detected in the corona.


title: Entering into the Wide Field Adaptive Optics Era on Maunakea

abstract: As part of the National Science Foundation funded "Gemini in the Era of MultiMessenger Astronomy" (GEMMA) program, Gemini Observatory is developing GNAO, a widefield adaptive optics (AO) facility for Gemini-North on Maunakea, the only 8m-class open-access telescope available to the US astronomers in the northern hemisphere. GNAO will provide the user community with a queue-operated Multi-Conjugate AO (MCAO) system, enabling a wide range of innovative solar system, Galactic, and extragalactic science with a particular focus on synergies with JWST in the area of time-domain astronomy. The GNAO effort builds on institutional investment and experience with the more limited block-scheduled Gemini Multi-Conjugate System (GeMS), commissioned at Gemini South in 2013. The project involves close partnerships with the community through the recently established Gemini AO Working Group and the GNAO Science Team, as well as external instrument teams. The modular design of GNAO will enable a planned upgrade to a Ground Layer AO (GLAO) mode when combined with an Adaptive Secondary Mirror (ASM). By enhancing the natural seeing by an expected factor of two, GLAO will vastly improve Gemini North's observing efficiency for seeing-limited instruments and strengthen its survey capabilities for multi-messenger astronomy.


title: Investigating Italian disinformation spreading on Twitter in the context of 2019 European elections

abstract: We investigate the presence (and the influence) of disinformation spreading on online social networks in Italy, in the5-month period preceding the 2019 European Parliament elections. To this aim we collected a large-scale dataset oftweets associated to thousands of news articles published on Italian disinformation websites. In the observation period,a few outlets accounted for most of the deceptive information circulating on Twitter, which focused on controversialand polarizing topics of debate such as immigration, national safety and (Italian) nationalism. We found evidence ofconnections between different disinformation outlets across Europe, U.S. and Russia, which often linked to each otherand featured similar, even translated, articles in the period before the elections. Overall, the spread of disinformation onTwitter was confined in a limited community, strongly (and explicitly) related to the Italian conservative and far-rightpolitical environment, who had a limited impact on online discussions on the up-coming elections.


title: Performance of the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is expected to become the by far largest and most sensitive observatory for very-high-energy gamma rays in the energy range from 20 GeV to more than 300 TeV. CTA will be capable of detecting gamma rays from extremely faint sources with unprecedented precision on energy and direction. The performance of the future observatory derived from detailed Monte Carlo simulations is presented in this contribution for the two CTA sites located on the island of La Palma (Spain) and near Paranal (Chile). This includes the evaluation of CTA sensitivity over observations pointing towards different elevations and for operations at higher night-sky background light levels.


title: The structure and free resolutions of the symbolic powers of star configurations of hypersurfaces

abstract: Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of determining the structure of symbolic powers of a wide generalization of star configurations of points (introduced by Geramita, Harbourne, Migliore and Nagel) called star configurations of hypersurfaces in $\mathbb P_k^n$. Here (1) we provide explicit minimal generating sets of the symbolic powers $I^{(m)}$ of these ideals $I$, (2) we introduce a notion of $\delta$-c.i. quotients, which generalize ideals with linear quotients, and show that $I^{(m)}$ have $\delta$-c.i. quotients, (3) we show that the shape of the Betti tables of these symbolic powers is determined by certain "Koszul" strands and we prove that a little bit more than the bottom half of the Betti table has a regular, almost hypnotic, pattern, and (4) we provide a closed formula for all the graded Betti numbers in these strands. As a special case of (2) we deduce that symbolic powers of ideals of star configurations of points have linear quotients. We also improve and extend results by Galetto, Geramita, Shin and Van Tuyl, and provide explicit new general formulas for the minimal number of generators and the symbolic defects of star configurations. Finally, inspired by Young tableaux, we introduce a technical tool which may be of independent interest: it is a "canonical" way of writing any monomial in any given set of polynomials. Our methods are characteristic--free.


title: Kosterlitz-Thouless Melting of Magnetic Order in the Triangular Quantum Ising Material TmMgGaO$_4$

abstract: Frustrated magnets host the promises of material realizations of new paradigm of quantum matter, while direct comparison of unbiased model calculations with experimental measurements is still very challenging. Here, we design and implement a protocol of employing many-body computation methodologies for accurate model calculation -- both equilibrium and dynamical properties -- of a frustrated rare-earth magnet TmMgGaO$_4$ (TMGO), which perfectly explains the corresponding experimental findings. Our results confirm TMGO is an ideal realization of triangular-lattice Ising model with an intrinsic transverse field. The magnetic order of TMGO is predicted to melt through two successive Kosterlitz-Thouless (KT) phase transitions, with a floating KT phase in between. The dynamical spectra calculated suggest remnant images of a vanishing magnetic stripe order that represent vortex-antivortex pairs, resembling rotons in a superfluid helium film. TMGO therefore constitutes a rare quantum magnet for realizing KT physics and we further propose experimental detections of its intriguing properties.


title: Driving plasmonic nanoantennas at perfect impedance matching using generalized coherent perfect absorption

abstract: Coherent perfect absorption (CPA) describes the absence of all outgoing modes from a lossy resonator, driven by lossless incoming modes. Here, we show that for nanoresonators that also exhibit radiative losses, e.g. plasmonic nanoantennas, a generalized version of CPA (gCPA) can be applied. In gCPA outgoing modes are sup-pressed only for a subset of (guided plasmonic) modes while other (radiative) modes are treated as additional loss channels - a situation typically referred to as perfect impedance matching. Here we make use of gCPA to show how to achieve perfect impedance matching between a single nanowire plasmonic waveguide and a plasmonic nanoantenna. Antennas with both radiant and subradiant characteristics are considered. We further demonstrate potential applications in background-free sensing.


title: On the Evaluation of Conditional GANs

abstract: Conditional Generative Adversarial Networks (cGANs) are finding increasingly widespread use in many application domains. Despite outstanding progress, quantitative evaluation of such models often involves multiple distinct metrics to assess different desirable properties, such as image quality, conditional consistency, and intra-conditioning diversity. In this setting, model benchmarking becomes a challenge, as each metric may indicate a different "best" model. In this paper, we propose the Frechet Joint Distance (FJD), which is defined as the Frechet distance between joint distributions of images and conditioning, allowing it to implicitly capture the aforementioned properties in a single metric. We conduct proof-of-concept experiments on a controllable synthetic dataset, which consistently highlight the benefits of FJD when compared to currently established metrics. Moreover, we use the newly introduced metric to compare existing cGAN-based models for a variety of conditioning modalities (e.g. class labels, object masks, bounding boxes, images, and text captions). We show that FJD can be used as a promising single metric for cGAN benchmarking and model selection. Code can be found at https://github.com/facebookresearch/fjd.


title: Querying Knowledge via Multi-Hop English Questions

abstract: The inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge representation and reasoning (KRR) paradigm commonplace. Knowledge and query authoring using natural language, especially controlled natural language (CNL), is one of the promising approaches that could enable domain experts, who are not trained logicians, to both create formal knowledge and query it. In previous work, we introduced the KALM system (Knowledge Authoring Logic Machine) that supports knowledge authoring (and simple querying) with very high accuracy that at present is unachievable via machine learning approaches. The present paper expands on the question answering aspect of KALM and introduces KALM-QA (KALM for Question Answering) that is capable of answering much more complex English questions. We show that KALM-QA achieves 100% accuracy on an extensive suite of movie-related questions, called MetaQA, which contains almost 29,000 test questions and over 260,000 training questions. We contrast this with a published machine learning approach, which falls far short of this high mark.


title: Analog content addressable memories with memristors

abstract: A content-addressable-memory compares an input search word against all rows of stored words in an array in a highly parallel manner. While supplying a very powerful functionality for many applications in pattern matching and search, it suffers from large area, cost and power consumption, limiting its use. Past improvements have been realized by using memristors to replace the static-random-access-memory cell in conventional designs, but employ similar schemes based only on binary or ternary states for storage and search. We propose a new analog content-addressable-memory concept and circuit to overcome these limitations by utilizing the analog conductance tunability of memristors. Our analog content-addressable-memory stores data within the programmable conductance and can take as input either analog or digital search values. Experimental demonstrations, scaled simulations and analysis show that our analog content-addressable-memory can reduce area and power consumption, which enables the acceleration of existing applications, but also new computing application areas.


title: Parameterized post-Newtonian limit of general teleparallel gravity theories

abstract: We derive the post-Newtonian limit of a general class of teleparallel gravity theories, whose action is given by a free function of three scalar quantities obtained from the torsion of the teleparallel connection. This class of theories is chosen to be sufficiently generic in order to include the $f(T)$ class of theories as well as new general relativity as subclasses. To derive its post-Newtonian limit, we first impose the Weitzenb\"ock gauge, and then introduce a post-Newtonian approximation of the tetrad field around a Minkowski background solution. Our results show that the class of theories we consider is fully conservative, with only the parameters $\beta$ and $\gamma$ potentially deviating from their general relativity values. In particular, we find that the post-Newtonian limit of any $f(T)$ theory is identical to that of general relativity, so that these theories cannot be distinguished by measurements of the post-Newtonian parameters alone.


title: Strangeness neutrality and the QCD phase diagram

abstract: Since the incident nuclei in heavy-ion collisions do not carry strangeness, the global net strangeness of the detected hadrons has to vanish. We show that there is an intimate relation between strangeness neutrality and baryon-strangeness correlations. In the context of heavy-ion collisions, the former is a consequence of quark number conservation of the strong interactions while the latter are sensitive probes of the character of QCD matter. We investigate the sensitivity of baryon-strangeness correlations on the freeze-out conditions of heavy-ion collisions by studying their dependence on temperature, baryon- and strangeness chemical potential. The impact of strangeness neutrality on the QCD equation of state at finite chemical potentials will also be discussed. We model the low-energy sector of QCD by an effective Polyakov loop enhanced quark-meson model with 2+1 dynamical quark flavors and use the functional renormalization group to account for the non-perturbative quantum fluctuations of hadrons.


title: Parametric study of polar configurations around binaries

abstract: Dynamical studies suggest that most of the circumbinary discs (CBDs) should be coplanar. However, under certain initial conditions, the CBD can evolve toward polar orientation. Here we extend the parametric study of polar configurations around detached close-in binaries through $N$-body simulations. For polar configurations around binaries with mass ratios $q$ below $0.7$, the nominal location of the mean motion resonance (MMR) $1~:~4$ predicts the limit of stability for $e_{B} > 0.1$. Alternatively, for $e_{B} < 0.1$ or $q \sim 1$, the nominal location of the MMR $1~:~3$ is the closest stable region. The presence of a} giant planet increases the region of forbidden polar configurations around low mass ratio binaries with eccentricities $e_B\sim0.4$ with respect to rocky earth-like planets. For equal mass stars, the eccentricity excitation $\Delta e$ of polar orbits smoothly increases with decreasing distance to the binary. For $q<1$, $\Delta e$ can reach values as high as $0.4$. Finally, we studied polar configurations around $HD~98800BaBb$ and show that the region of stability is strongly affected by the relative positions of the nodes. The most stable configurations in the system correspond to polar particles, which are not expected to survive on longer time-scales due to the presence of the external perturber HD~$98800AaAb$.


title: Emissive Azobenzenes Delivered on a Silver Coordination Polymer

abstract: Azobenzene has become a ubiquitous component of functional molecules and polymeric materials because of the light-induced trans-cis isomerization of the diazene group. In contrast, there are very few applications utilizing azobenzene luminescence, since the excitation energy typically dissipates via nonradiative pathways. Inspired by our earlier studies with 2,2'-bis[N,N'-(2-pyridyl)methyl]diaminoazobenzene (AzoAMoP) and related compounds, we investigated a series of five aminoazobenzene derivatives and their corresponding silver complexes. Four of the aminoazobenzene ligands, which exhibit no emission under ambient conditions, form silver coordination polymers that are luminescent at room temperature. AzoAEpP (2,2'-bis[N,N'-(4-pyridyl)ethyl]diaminoazobenzene) assembles into a three-dimensional coordination polymer (AgAAEpP) that undergoes a reversible loss of emission upon the addition of metal-coordinating analytes such as pyridine. The switching behavior is consistent with the disassembly and reassembly of the coordination polymer driven by displacement of the aminoazobenzene ligands by coordinating analytes.


title: A scalar version of the Caflisch-Luke paradox

abstract: Consider an infinite cloud of hard spheres sedimenting in a Stokes flow in the whole space $\mathbb R^d$. Despite many contributions in fluid mechanics and applied mathematics, there is so far no rigorous definition of the associated effective sedimentation velocity. Calculations by Caflisch and Luke in dimension $d=3$ suggest that the effective velocity is well-defined for hard spheres distributed according to a weakly correlated and dilute point process, and that the variance of the sedimentation speed is infinite. This constitutes the Caflisch-Luke paradox. In this contribution, we consider a scalar version of this problem that displays the same difficulties in terms of interaction between the differential operator and the randomness, but is simpler in terms of PDE analysis. For a class of hardcore point processes we rigorously prove that the effective velocity is well-defined in dimensions $d>2$, and that the variance is finite in dimensions $d>4$, confirming the formal calculations by Caflisch and Luke, and opening a way to the systematic study of such problems.


title: Adhesive wear and interaction of tangentially loaded micro-contacts

abstract: Current engineering wear models are often based on empirical parameters rather than built upon physical considerations. Here, we look for a physical description of adhesive wear at the microscale, at which the interaction between two surfaces comes down to the contact of asperities. Recent theoretical work has shown that there is a critical micro-contact size above which it becomes energetically favorable to form a wear particle. We extend this model by taking into consideration the elastic interaction of multiple closely-spaced micro-contacts in 2D, with different sizes and separation distances. Fundamental contact mechanics solutions are used to evaluate the elastic energy stored by shearing the micro-contacts, and the stored energy is compared to the energy needed to detach a single joined debris particle or multiple debris particles under the micro-contacts. Molecular dynamics simulations are used to test the predictions of the outcome for various sets of parameters. Our model provides simple criteria to evaluate the energetic feasibility of the different wear formation scenarios. Those criteria can be used to rationalize the transition between mild and severe wear regimes and help define the notion of asperity.


title: Evaluating the Utility of Document Embedding Vector Difference for Relation Learning

abstract: Recent work has demonstrated that vector offsets obtained by subtracting pretrained word embedding vectors can be used to predict lexical relations with surprising accuracy. Inspired by this finding, in this paper, we extend the idea to the document level, in generating document-level embeddings, calculating the distance between them, and using a linear classifier to classify the relation between the documents. In the context of duplicate detection and dialogue act tagging tasks, we show that document-level difference vectors have utility in assessing document-level similarity, but perform less well in multi-relational classification.


title: Imperfect Gaps in Gap-ETH and PCPs

abstract: We study the role of perfect completeness in probabilistically checkable proof systems (PCPs) and give a new way to transform a PCP with imperfect completeness to a PCP with perfect completeness when the initial gap is a constant. In particular, we show that $\text{PCP}_{c,s}[r,q] \subseteq \text{PCP}_{1,1-\Omega(1)}[r+O(1),q+O(r)]$, for $c-s=\Omega(1)$. This implies that one can convert imperfect completeness to perfect in linear-sized PCPs for $NTIME[O(n)]$ with a $O(\log n)$ additive loss in the query complexity $q$. We show our result by constructing a "robust circuit" using threshold gates. These results are a gap amplification procedure for PCPs (when completeness is imperfect), analogous to questions studied in parallel repetition and pseudorandomness. We also investigate the time complexity of approximating perfectly satisfiable instances of 3SAT versus those with imperfect completeness. We show that the Gap-ETH conjecture without perfect completeness is equivalent to Gap-ETH with perfect completeness, i.e. we show that Gap-3SAT, where the gap is not around 1, has a subexponential algorithm, if and only if, Gap-3SAT with perfect completeness has subexponential algorithms. We also relate the time complexities of these two problems in a more fine-grained way, to show that $T_2(n) \leq T_1(n(\log\log n)^{O(1)})$, where $T_1(n),T_2(n)$ denote the randomized time-complexity of approximating MAX 3SAT with perfect and imperfect completeness, respectively.


title: Neural Quantum States of frustrated magnets: generalization and sign structure

abstract: Neural quantum states (NQS) attract a lot of attention due to their potential to serve as a very expressive variational ansatz for quantum many-body systems. Here we study the main factors governing the applicability of NQS to frustrated magnets by training neural networks to approximate ground states of several moderately-sized Hamiltonians using the corresponding wavefunction structure on a small subset of the Hilbert space basis as training dataset. We notice that generalization quality, i.e. the ability to learn from a limited number of samples and correctly approximate the target state on the rest of the space, drops abruptly when frustration is increased. We also show that learning the sign structure is considerably more difficult than learning amplitudes. Finally, we conclude that the main issue to be addressed at this stage, in order to use the method of NQS for simulating realistic models, is that of generalization rather than expressibility.


title: Martian Year 34 Column Dust Climatology from Mars Climate Sounder Observations: Reconstructed Maps and Model Simulations

abstract: We have reconstructed longitude-latitude maps of column dust optical depth (CDOD) for Martian year (MY) 34 (May 5, 2017 --- March 23, 2019) using observations by the Mars Climate Sounder (MCS) aboard NASA's Mars Reconnaissance Orbiter spacecraft. Our methodology works by gridding standard and newly available estimates of CDOD from MCS limb observations, using the "iterative weighted binning" methodology. In this work, we reconstruct four gridded CDOD maps per sol, at different Mars Universal Times. Together with the seasonal and day-to-day variability, the use of several maps per sol allows to explore also the daily variability of CDOD in the MCS dataset, which is shown to be particularly strong during the MY 34 equinoctial Global Dust Event (GDE). Regular maps of CDOD are then produced by daily averaging and spatially interpolating the irregularly gridded maps using a standard "kriging" interpolator, and can be used as "dust scenario" for numerical model simulations. In order to understand whether the daily variability of CDOD has a physical explanation, we have carried out numerical simulations with the "Laboratoire de M\'et\'eorologie Dynamique" Mars Global Climate Model. Using a "free dust" run initiated at $L_s \sim 210^\circ$ with the corresponding kriged map, but subsequently free of further CDOD forcing, we show that the model is able to account for some of the observed daily variability in CDOD. The model serves also to confirm that the use of the MY 34 daily-averaged dust scenario in a GCM produces results consistent with those obtained for the MY 25 GDE.


title: Probability density of the fractional Langevin equation with reflecting walls

abstract: We investigate anomalous diffusion processes governed by the fractional Langevin equation and confined to a finite or semi-infinite interval by reflecting potential barriers. As the random and damping forces in the fractional Langevin equation fulfill the appropriate fluctuation-dissipation relation, the probability density on a finite interval converges for long times towards the expected uniform distribution prescribed by thermal equilibrium. In contrast, on a semi-infinite interval with a reflecting wall at the origin, the probability density shows pronounced deviations from the Gaussian behavior observed for normal diffusion. If the correlations of the random force are persistent (positive), particles accumulate at the reflecting wall while anti-persistent (negative) correlations lead to a depletion of particles near the wall. We compare and contrast these results with the strong accumulation and depletion effects recently observed for non-thermal fractional Brownian motion with reflecting walls, and we discuss broader implications.


title: Comparing Multi-class, Binary and Hierarchical Machine Learning Classification schemes for variable stars

abstract: Upcoming synoptic surveys are set to generate an unprecedented amount of data. This requires an automatic framework that can quickly and efficiently provide classification labels for several new object classification challenges. Using data describing 11 types of variable stars from the Catalina Real-Time Transient Surveys (CRTS), we illustrate how to capture the most important information from computed features and describe detailed methods of how to robustly use Information Theory for feature selection and evaluation. We apply three Machine Learning (ML) algorithms and demonstrate how to optimize these classifiers via cross-validation techniques. For the CRTS dataset, we find that the Random Forest (RF) classifier performs best in terms of balanced-accuracy and geometric means. We demonstrate substantially improved classification results by converting the multi-class problem into a binary classification task, achieving a balanced-accuracy rate of $\sim$99 per cent for the classification of ${\delta}$-Scuti and Anomalous Cepheids (ACEP). Additionally, we describe how classification performance can be improved via converting a 'flat-multi-class' problem into a hierarchical taxonomy. We develop a new hierarchical structure and propose a new set of classification features, enabling the accurate identification of subtypes of cepheids, RR Lyrae and eclipsing binary stars in CRTS data.


title: Self-bound Doubly-Dipolar Bose-Einstein condensates

abstract: We analyze the physics of self-bound droplets in a doubly dipolar Bose-Einstein condensate (DDBEC) composed by particles with both electric and magnetic dipole moments. Using the particularly relevant case of dysprosium, we show that the anisotropy of the doubly-dipolar interaction potential is highly versatile and nontrivial, depending critically on the relative orientation and strength between the two dipole moments. This opens novel possibilities for exploring intriguing quantum many-body physics. Interestingly, by varying the angle between the two dipoles we find a dimensional crossover from quasi one-dimensional to quasi two-dimensional self-bound droplets. This opens a so far unique scenario in condensate physics, in which a dimensional crossover is solely driven by interactions in the absence of any confinement.


title: First-order relativistic hydrodynamics is stable

abstract: We study linearized stability in first-order relativistic viscous hydrodynamics in the most general frame. There is a region in the parameter space of transport coefficients where the perturbations of the equilibrium state are stable. This defines a class of stable frames, with the Landau-Lifshitz frame falling outside the class. The existence of stable frames suggests that viscous relativistic fluids may admit a sensible hydrodynamic description in terms of temperature, fluid velocity, and the chemical potential only, i.e. in terms of the same hydrodynamic variables as non-relativistic fluids. Alternatively, it suggests that the Israel-Stewart and similar constructions may be unnecessary for a sensible relativistic hydrodynamic theory.


title: Dynamical relativistic liquid bodies

abstract: We establish the local-in-time existence of solutions to the relativistic Euler equations representing dynamical liquid bodies in vacuum.


title: The three dynamical fates of Boson Stars

abstract: In this manuscript the three types of late-time behavior of spherically symmetric Boson Stars are presented, these are: stable configurations, unstable bounded that collapse to form black holes and unstable unbounded that explode. The results are found by solving the spherically symmetric Einstein-Klein-Gordon system of equations for a complex scalar field with initial conditions corresponding to a Boson Star. The solution is based on a constrained evolution that uses the method of lines for the scalar field and solves the constraint equations for the geometry on the fly.


title: Neural Probabilistic Logic Programming in DeepProbLog

abstract: We introduce DeepProbLog, a neural probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques of the underlying probabilistic logic programming language ProbLog can be adapted for the new language. We theoretically and experimentally demonstrate that DeepProbLog supports (i) both symbolic and subsymbolic representations and inference, (ii) program induction, (iii) probabilistic (logic) programming, and (iv) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.


title: Temporally Coherent General Dynamic Scene Reconstruction

abstract: Existing techniques for dynamic scene reconstruction from multiple wide-baseline cameras primarily focus on reconstruction in controlled environments, with fixed calibrated cameras and strong prior constraints. This paper introduces a general approach to obtain a 4D representation of complex dynamic scenes from multi-view wide-baseline static or moving cameras without prior knowledge of the scene structure, appearance, or illumination. Contributions of the work are: An automatic method for initial coarse reconstruction to initialize joint estimation; Sparse-to-dense temporal correspondence integrated with joint multi-view segmentation and reconstruction to introduce temporal coherence; and a general robust approach for joint segmentation refinement and dense reconstruction of dynamic scenes by introducing shape constraint. Comparison with state-of-the-art approaches on a variety of complex indoor and outdoor scenes, demonstrates improved accuracy in both multi-view segmentation and dense reconstruction. This paper demonstrates unsupervised reconstruction of complete temporally coherent 4D scene models with improved non-rigid object segmentation and shape reconstruction and its application to free-viewpoint rendering and virtual reality.


title: Exploiting bilateral symmetry in brain lesion segmentation

abstract: Brain lesions, including stroke and tumours, have a high degree of variability in terms of location, size, intensity and form, making automatic segmentation difficult. We propose an improvement to existing segmentation methods by exploiting the bilateral quasi-symmetry of healthy brains, which breaks down when lesions are present. Specifically, we use nonlinear registration of a neuroimage to a reflected version of itself ("reflective registration") to determine for each voxel its homologous (corresponding) voxel in the other hemisphere. A patch around the homologous voxel is added as a set of new features to the segmentation algorithm. To evaluate this method, we implemented two different CNN-based multimodal MRI stroke lesion segmentation algorithms, and then augmented them by adding extra symmetry features using the reflective registration method described above. For each architecture, we compared the performance with and without symmetry augmentation, on the SISS Training dataset of the Ischemic Stroke Lesion Segmentation Challenge (ISLES) 2015 challenge. Using affine reflective registration improves performance over baseline, but nonlinear reflective registration gives significantly better results: an improvement in Dice coefficient of 13 percentage points over baseline for one architecture and 9 points for the other. We argue for the broad applicability of adding symmetric features to existing segmentation algorithms, specifically using nonlinear, template-free methods.


title: Opportunities and Challenges of Standard Model Production Cross Section Measurements at 8 TeV using CMS Open Data

abstract: The CMS Open Data project offers new opportunities to measure cross sections of standard model (SM) processes which have not been probed so far. In this work, we evaluate the challenges and the opportunities of the CMS Open Data project in the view of cross-section measurements. In particular, we reevaluate SM cross sections of the production of W bosons, Z bosons, top-quark pairs and WZ dibosons in several decay channels at a center of mass energy of 8 TeV with a corresponding integrated luminosity of 1.8 fb-1. Those cross sections have been previously measured by the ATLAS and CMS collaborations and hence can be used to validate our analysis and calibration strategy. This gives an indication to which precision also new, so far unmeasured cross sections can be determined using CMS Open Data by scientists, who are not a member of the LHC collaborations and hence lack detailed knowledge on experimental and detector related effects and their handling.


title: Optomechanics with Levitated Particles

abstract: Optomechanics is concerned with the use of light to control mechanical objects. As a field, it has been hugely successful in the production of precise and novel sensors, the development of low-dissipation nanomechanical devices, and the manipulation of quantum signals. Micro- and nano-particles levitated in optical fields act as nanoscale oscillators, making them excellent low-dissipation optomechanical objects, with minimal thermal contact to the environment when operating in vacuum. Levitated optomechanics is seen as the most promising route for studying high-mass quantum physics, with the promise of creating macroscopically separated superposition states at masses of $10^6$ amu and above. Optical feedback, both using active monitoring or the passive interaction with an optical cavity, can be used to cool the centre-of-mass of levitated nanoparticles well below 1 mK, paving the way to operation in the quantum regime. In addition, trapped mesoscopic particles are the paradigmatic system for studying nanoscale stochastic processes, and have already demonstrated their utility in state-of-the-art force sensing.