title: The reflection component in the average and heartbeat spectra of the black-hole candidate IGR J17091-3642 during the 2016 outburst

abstract: We present simultaneous NuSTAR and Swift observations of the black hole transient IGR J17091-3642 during its 2016 outburst. By jointly fitting six NuSTAR and four Swift spectra, we found that during this outburst the source evolves from the hard to the hard/soft intermediate and back to the hard state, similar to the 2011 outburst. Unlike in the previous outburst, in this case we observed both a broad emission and an moderately broad absorption line in our observations. Our fits favour an accretion disc with an inclination angle of $\sim$$45\deg$ with respect to the line of sight and a high iron abundance of $3.5\pm0.3$ in units of the solar abundance. We also observed heartbeat variability in one NuSTAR observation. We fitted the phase-resolved spectra of this observation and found that the reflected emission varies independently from the direct emission, whereas in the fits to the average spectra these two quantities are strongly correlated. Assuming that in IGR J17091-3642 the inner radius of the disc both in the average and the phase-resolved spectra is located at the radius of the innermost stable circular orbit, with 90% confidence the spin parameter of the black hole in this system is $-0.13\leq a_{*}\leq0.27$.


title: Surface groups in uniform lattices of some semi-simple groups

abstract: We show that uniform lattices in some semi-simple groups (notably complex ones) admit Anosov surface subgroups. This result has a quantitative version: we introduce a notion, called $K$-Sullivan maps, which generalizes the notion of $K$-quasi-circles in hyperbolic geometry, and show in particular that Sullivan maps are H\"older. Using this notion, we show a quantitative version of our surface subgroup theorem and in particular that one can obtain $K$-Sullivan limit maps, as close as one wants to smooth round circles. All these results use the coarse geometry of "path of triangles" in a certain flag manifold and we prove an analogue to the Morse Lemma for quasi-geodesics in that context.


title: Snips Voice Platform: an embedded Spoken Language Understanding system for private-by-design voice interfaces

abstract: This paper presents the machine learning architecture of the Snips Voice Platform, a software solution to perform Spoken Language Understanding on microprocessors typical of IoT devices. The embedded inference is fast and accurate while enforcing privacy by design, as no personal user data is ever collected. Focusing on Automatic Speech Recognition and Natural Language Understanding, we detail our approach to training high-performance Machine Learning models that are small enough to run in real-time on small devices. Additionally, we describe a data generation procedure that provides sufficient, high-quality training data without compromising user privacy.


title: Search for an exotic decay of the Higgs boson to a pair of light pseudoscalars in the final state with two b quarks and two $\tau$ leptons in proton-proton collisions at $\sqrt{s}=$ 13 TeV

abstract: A search for an exotic decay of the Higgs boson to a pair of light pseudoscalar bosons is performed for the first time in the final state with two b quarks and two $\tau$ leptons. The search is motivated in the context of models of physics beyond the standard model (SM), such as two Higgs doublet models extended with a complex scalar singlet (2HDM+S), which include the next-to-minimal supersymmetric SM (NMSSM). The results are based on a data set of proton-proton collisions corresponding to an integrated luminosity of 35.9 fb$^{-1}$, accumulated by the CMS experiment at the LHC in 2016 at a center-of-mass energy of 13 TeV. Masses of the pseudoscalar boson between 15 and 60 GeV are probed, and no excess of events above the SM expectation is observed. Upper limits between 3 and 12% are set on the branching fraction $\mathcal{B}$(h $\to$ aa $\to$ 2$\tau$2b) assuming the SM production of the Higgs boson. Upper limits are also set on the branching fraction of the Higgs boson to two light pseudoscalar bosons in different 2HDM+S scenarios. Assuming the SM production cross section for the Higgs boson, the upper limit on this quantity is as low as 20% for a mass of the pseudoscalar of 40 GeV in the NMSSM.


title: Numerical methods for differential linear matrix equations via Krylov subspace methods

abstract: In the present paper, we present some numerical methods for computing approximate solutions to some large differential linear matrix equations. In the first part of this work, we deal with differential generalized Sylvester matrix equations with full rank right-hand sides using a global Galerkin and a norm-minimization approaches. In the second part, we consider large differential Lyapunov matrix equations with low rank right-hand sides and use the extended global Arnoldi process to produce low rank approximate solutions. We give some theoretical results and present some numerical experiments.


title: Infinitely many positive standing waves for Schr\"odinger equations with competing coefficients

abstract: The paper deals with the equation $-\Delta u+a(x) u +b(x)u^q -u^p = 0$, $u \in H^1(\R^N)$, whith $N\ge 2$, $1<q<p,\ p<{N+2\over N-2}$ if $N\ge 3$, $\inf a>0$, $a(x)\to a_\infty$ and $b(x)\to 0$ as $|x|\to\infty$. When $a(x)\le a_\infty$ and $b(x) = 0$ only a finite number of positive solutions to the problem is reasonably expected. Here we prove that the presence of a nonzero term $b(x)u^q $ with $b(x)\geq 0, \ b(x)\neq 0,$ under suitable assumptions on the decay rates of $a$ and $b,$ allows to obtain infinitely many positive solutions.


title: Precision spectra of $A\, ^2\Sigma^+,v'=0 \leftarrow X\, ^2\Pi_{3/2},v''=0,J''=3/2$ transitions in $^{16}$OH and $^{16}$OD

abstract: We report absolute optical frequencies of electronic transitions from the $X\, ^2\Pi_{3/2},v''=0,J''=3/2$ rovibronic ground state to the 12 lowest levels of the $A\, ^2\Sigma^+,v'=0$ vibronic state in $^{16}$OH, as well as to the 16 lowest levels of the same vibronic state in $^{16}$OD. The absolute frequencies of these transitions have been determined with a relative uncertainty of a few parts in $10^{11}$, representing a $\sim$1000-fold improvement over previous measurements. To reach this level of precision, an optical frequency comb has been used to transfer the stability of a narrow-linewidth I$_2$-stabilized reference laser onto the 308-nm spectroscopy laser. The comb is also used to compare the optical frequency of the spectroscopy laser to an atomic clock reference, providing absolute accuracy. Measurements have been carried out on OH/OD molecules in a highly-collimated molecular beam, reducing possible pressure shifts and minimizing Doppler broadening. Systematic shifts due to retroreflection quality, the Zeeman effect, and the ac Stark effect have been considered during the analysis of the measured spectra; particularly in the case of the OD isotopologue, these effects can result in shifts of the fitted line positions of as much as 300 kHz. The transition frequencies extracted in the analysis were also used to determine spectroscopic constants for the $A\, ^2\Sigma^+,v'=0$ vibronic state. The constants fitted in this work differ significantly from those reported in previous works that measured the $A - X$ transitions, resulting in typical deviations of the predicted optical transition frequencies of $\sim$150 MHz, but they generally agree quite well with the constants determined using hyperfine-resolved measurements of splittings within the $A$ state.


title: Reconciling complexities: for a stronger integration of approaches to complex socio-technical systems

abstract: Systems engineering has developed a mature knowledge on how to design, integrate and manage complex industrial systems, whereas disciplines studying complex systems in nature or society also propose numerous tools for their understanding. Socio-technical systems, that situate at their intersection, could benefit from a higher integration between these. This position paper advocates for such integrated approaches. A bibliometric study through citation networks first illustrates the respective isolation of some of these approaches. We then produce a proof-of-concept of how the transfer of concepts from biology can be useful for the design of complex systems, in the particular case of transportation networks, using a biological network growth model to produce various optimal networks in terms of cost and efficiency. We finally discuss possible disciplinary positioning of such hybrid approaches.


title: Maximizing acquisition functions for Bayesian optimization

abstract: Bayesian optimization is a sample-efficient approach to global optimization that relies on theoretically motivated value heuristics (acquisition functions) to guide its search process. Fully maximizing acquisition functions produces the Bayes' decision rule, but this ideal is difficult to achieve since these functions are frequently non-trivial to optimize. This statement is especially true when evaluating queries in parallel, where acquisition functions are routinely non-convex, high-dimensional, and intractable. We first show that acquisition functions estimated via Monte Carlo integration are consistently amenable to gradient-based optimization. Subsequently, we identify a common family of acquisition functions, including EI and UCB, whose properties not only facilitate but justify use of greedy approaches for their maximization.


title: Combined measurement of differential and total cross sections in the $H \rightarrow \gamma \gamma$ and the $H \rightarrow ZZ^* \rightarrow 4\ell$ decay channels at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A combined measurement of differential and inclusive total cross sections of Higgs boson production is performed using 36.1 fb$^{-1}$ of 13 TeV proton-proton collision data produced by the LHC and recorded by the ATLAS detector in 2015 and 2016. Cross sections are obtained from measured $H \rightarrow \gamma \gamma$ and $H \rightarrow ZZ^* \rightarrow 4\ell$ event yields, which are combined taking into account detector efficiencies, resolution, acceptances and branching fractions. The total Higgs boson production cross section is measured to be 57.0$^{+6.0}_{-5.9}$ (stat.) $^{+4.0}_{-3.3}$ (syst.) pb, in agreement with the Standard Model prediction. Differential cross-section measurements are presented for the Higgs boson transverse momentum distribution, Higgs boson rapidity, number of jets produced together with the Higgs boson, and the transverse momentum of the leading jet. The results from the two decay channels are found to be compatible, and their combination agrees with the Standard Model predictions.


title: Cooperative access networks: Optimum fronthaul quantization in distributed Massive MIMO and cloud RAN

abstract: We consider cooperative radio access network architectures, especially distributed massive MIMO and Cloud RAN, considering their similarities and differences. We address in particular the major challenge posed to both by the implementation of a high capacity fronthaul network to link the distributed access points to the central processing unit, and consider the effect on uplink performance of quantization of received signals in order to limit fronthaul load. We use the Bussgang decomposition along with a new approach to MMSE estimation of both channel and data to provide the basis of our analysis.


title: Zeros Sets Of H^p Functions In Lineally Convex Domains Of Finite Type In C^n

abstract: In this note we extend N. Th. Varopoulos result on zero sets of H p functions of strictly pseudo-convex domains in C n to lineally convex domains of finite type.


title: Frank-Wolfe variants for minimization of a sum of functions

abstract: We propose several variants of the Frank-Wolfe algorithm to minimize a sum of functions. The main proposed algorithm is inspired from the dual averaging scheme of Nesterov adapted for Frank Wolfe in a stochastic setting. A distributed version of this scheme is also suggested. Additionally, we propose a Frank-Wolfe variant based on incremental gradient techniques. The convergence rates for all the proposed algorithms are established. The performance is studied on least squares regression and multinomial classification.


title: Qunatification of Metabolites in MR Spectroscopic Imaging using Machine Learning

abstract: Magnetic Resonance Spectroscopic Imaging (MRSI) is a clinical imaging modality for measuring tissue metabolite levels in-vivo. An accurate estimation of spectral parameters allows for better assessment of spectral quality and metabolite concentration levels. The current gold standard quantification method is the LCModel - a commercial fitting tool. However, this fails for spectra having poor signal-to-noise ratio (SNR) or a large number of artifacts. This paper introduces a framework based on random forest regression for accurate estimation of the output parameters of a model based analysis of MR spectroscopy data. The goal of our proposed framework is to learn the spectral features from a training set comprising of different variations of both simulated and in-vivo brain spectra and then use this learning for the subsequent metabolite quantification. Experiments involve training and testing on simulated and in-vivo human brain spectra. We estimate parameters such as concentration of metabolites and compare our results with that from the LCModel.


title: Potent Value and Potent Operator with Pre- and Post-selected Quantum Systems

abstract: We introduce a novel concept which we call as potent value of system observable for pre- and post-selected quantum states. This describes, in general, how a quantum system affects the state of the apparatus during the time between two strong measurements corresponding to pre- and post-selections. The potent value can be realized for any interaction strength and for arbitrary coupling between the system and the apparatus observables. Most importantly, potent values generalize and unify the notion of the weak values and modular values of observables in quantum theory. Furthermore, we define a potent operator which describes the action of one system on the another and show that superposition of time-evolutions and time-translation machines are potent operators. These concepts may find useful applications in quantum information processing and can lead to technological benefits.


title: The Structure of Gaussian Minimal Bubbles

abstract: It is shown that $m$ disjoint sets with fixed Gaussian volumes that partition $\mathbb{R}^{n}$ with minimum Gaussian surface area must be $(m-1)$-dimensional. This follows from a second variation argument using infinitesimal translations. The special case $m=3$ proves the Double Bubble problem for the Gaussian measure, with an extra technical assumption. That is, when $m=3$, the three minimal sets are adjacent $120$ degree sectors. The technical assumption is that the triple junction points of the minimizing sets have polynomial volume growth. Assuming again the technical assumption, we prove the $m=4$ Triple Bubble Conjecture for the Gaussian measure. Our methods combine the Colding-Minicozzi theory of Gaussian minimal surfaces with some arguments used in the Hutchings-Morgan-Ritor\'{e}-Ros proof of the Euclidean Double Bubble Conjecture.


title: Adversarial examples from computational constraints

abstract: Why are classifiers in high dimension vulnerable to "adversarial" perturbations? We show that it is likely not due to information theoretic limitations, but rather it could be due to computational constraints. First we prove that, for a broad set of classification tasks, the mere existence of a robust classifier implies that it can be found by a possibly exponential-time algorithm with relatively few training examples. Then we give a particular classification task where learning a robust classifier is computationally intractable. More precisely we construct a binary classification task in high dimensional space which is (i) information theoretically easy to learn robustly for large perturbations, (ii) efficiently learnable (non-robustly) by a simple linear separator, (iii) yet is not efficiently robustly learnable, even for small perturbations, by any algorithm in the statistical query (SQ) model. This example gives an exponential separation between classical learning and robust learning in the statistical query model. It suggests that adversarial examples may be an unavoidable byproduct of computational limitations of learning algorithms.


title: Multimodal Sentiment Analysis To Explore the Structure of Emotions

abstract: We propose a novel approach to multimodal sentiment analysis using deep neural networks combining visual analysis and natural language processing. Our goal is different than the standard sentiment analysis goal of predicting whether a sentence expresses positive or negative sentiment; instead, we aim to infer the latent emotional state of the user. Thus, we focus on predicting the emotion word tags attached by users to their Tumblr posts, treating these as "self-reported emotions." We demonstrate that our multimodal model combining both text and image features outperforms separate models based solely on either images or text. Our model's results are interpretable, automatically yielding sensible word lists associated with emotions. We explore the structure of emotions implied by our model and compare it to what has been posited in the psychology literature, and validate our model on a set of images that have been used in psychology studies. Finally, our work also provides a useful tool for the growing academic study of images - both photographs and memes - on social networks.


title: On the Estimation of Entropy in the FastICA Algorithm

abstract: The fastICA method is a popular dimension reduction technique used to reveal patterns in data. Here we show both theoretically and in practice that the approximations used in fastICA can result in patterns not being successfully recognised. We demonstrate this problem using a two-dimensional example where a clear structure is immediately visible to the naked eye, but where the projection chosen by fastICA fails to reveal this structure. This implies that care is needed when applying fastICA. We discuss how the problem arises and how it is intrinsically connected to the approximations that form the basis of the computational efficiency of fastICA.


title: Conditional Generative Adversarial and Convolutional Networks for X-ray Breast Mass Segmentation and Shape Classification

abstract: This paper proposes a novel approach based on conditional Generative Adversarial Networks (cGAN) for breast mass segmentation in mammography. We hypothesized that the cGAN structure is well-suited to accurately outline the mass area, especially when the training data is limited. The generative network learns intrinsic features of tumors while the adversarial network enforces segmentations to be similar to the ground truth. Experiments performed on dozens of malignant tumors extracted from the public DDSM dataset and from our in-house private dataset confirm our hypothesis with very high Dice coefficient and Jaccard index (>94% and >89%, respectively) outperforming the scores obtained by other state-of-the-art approaches. Furthermore, in order to detect portray significant morphological features of the segmented tumor, a specific Convolutional Neural Network (CNN) have also been designed for classifying the segmented tumor areas into four types (irregular, lobular, oval and round), which provides an overall accuracy about 72% with the DDSM dataset.


title: Radiation hardness of small-pitch 3D pixel sensors up to a fluence of $3\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$

abstract: Small-pitch 3D silicon pixel detectors have been investigated as radiation-hard candidates for the innermost layers of the HL-LHC pixel detector upgrades. Prototype 3D sensors with pixel sizes of 50$\times$50 and 25$\times$100 $\mu$m$^{2}$ connected to the existing ATLAS FE-I4 readout chip have been produced by CNM Barcelona. Irradiations up to particle fluences of $3\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$, beyond the full expected HL-LHC fluences at the end of lifetime, have been carried out at Karlsruhe and CERN. The performance of the 50$\times$50 $\mu$m$^{2}$ devices has been measured in the laboratory and beam tests at CERN SPS. A high charge collected and a high hit efficiency of 98% were found up to the highest fluence. The bias voltage to reach the target efficiency of 97% at perpendicular beam incidence was found to be about 100 V at $1.4\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$ and 150 V at $2.8\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$, significantly lower than for the previous IBL 3D generation with larger inter-electrode distance and than for planar sensors. The power dissipation at -25$^{\circ}$C and $1.4\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$ was found to be 13 mW/cm$^2$. Hence, 3D pixel detectors demonstrated superior radiation hardness and were chosen as the baseline for the inner layer of the ATLAS HL-LHC pixel detector upgrade.


title: Situated Mapping of Sequential Instructions to Actions with Single-step Reward Observation

abstract: We propose a learning approach for mapping context-dependent sequential instructions to actions. We address the problem of discourse and state dependencies with an attention-based model that considers both the history of the interaction and the state of the world. To train from start and goal states without access to demonstrations, we propose SESTRA, a learning algorithm that takes advantage of single-step reward observations and immediate expected reward maximization. We evaluate on the SCONE domains, and show absolute accuracy improvements of 9.8%-25.3% across the domains over approaches that use high-level logical representations.


title: Psychophysics, Gestalts and Games

abstract: Many psychophysical studies are dedicated to the evaluation of the human gestalt detection on dot or Gabor patterns, and to model its dependence on the pattern and background parameters. Nevertheless, even for these constrained percepts, psychophysics have not yet reached the challenging prediction stage, where human detection would be quantitatively predicted by a (generic) model. On the other hand, Computer Vision has attempted at defining automatic detection thresholds. This chapter sketches a procedure to confront these two methodologies inspired in gestaltism. Using a computational quantitative version of the non-accidentalness principle, we raise the possibility that the psychophysical and the (older) gestaltist setups, both applicable on dot or Gabor patterns, find a useful complement in a Turing test. In our perceptual Turing test, human performance is compared by the scientist to the detection result given by a computer. This confrontation permits to revive the abandoned method of gestaltic games. We sketch the elaboration of such a game, where the subjects of the experiment are confronted to an alignment detection algorithm, and are invited to draw examples that will fool it. We show that in that way a more precise definition of the alignment gestalt and of its computational formulation seems to emerge. Detection algorithms might also be relevant to more classic psychophysical setups, where they can again play the role of a Turing test. To a visual experiment where subjects were invited to detect alignments in Gabor patterns, we associated a single function measuring the alignment detectability in the form of a number of false alarms (NFA). The first results indicate that the values of the NFA, as a function of all simulation parameters, are highly correlated to the human detection. This fact, that we intend to support by further experiments , might end up confirming that human alignment detection is the result of a single mechanism.


title: COREclust: a new package for a robust and scalable analysis of complex data

abstract: In this paper, we present a new R package COREclust dedicated to the detection of representative variables in high dimensional spaces with a potentially limited number of observations. Variable sets detection is based on an original graph clustering strategy denoted CORE-clustering algorithm that detects CORE-clusters, i.e. variable sets having a user defined size range and in which each variable is very similar to at least another variable. Representative variables are then robustely estimate as the CORE-cluster centers. This strategy is entirely coded in C++ and wrapped by R using the Rcpp package. A particular effort has been dedicated to keep its algorithmic cost reasonable so that it can be used on large datasets. After motivating our work, we will explain the CORE-clustering algorithm as well as a greedy extension of this algorithm. We will then present how to use it and results obtained on synthetic and real data.


title: Multiview Learning of Weighted Majority Vote by Bregman Divergence Minimization

abstract: We tackle the issue of classifier combinations when observations have multiple views. Our method jointly learns view-specific weighted majority vote classifiers (i.e. for each view) over a set of base voters, and a second weighted majority vote classifier over the set of these view-specific weighted majority vote classifiers. We show that the empirical risk minimization of the final majority vote given a multiview training set can be cast as the minimization of Bregman divergences. This allows us to derive a parallel-update optimization algorithm for learning our multiview model. We empirically study our algorithm with a particular focus on the impact of the training set size on the multiview learning results. The experiments show that our approach is able to overcome the lack of labeled information.


title: The heat equation with rough boundary conditions and holomorphic functional calculus

abstract: In this paper we consider the Laplace operator with Dirichlet boundary conditions on a smooth domain. We prove that it has a bounded $H^\infty$-calculus on weighted $L^p$-spaces for power weights which fall outside the classical class of $A_p$-weights. Furthermore, we characterize the domain of the operator and derive several consequences on elliptic and parabolic regularity. In particular, we obtain a new maximal regularity result for the heat equation with rough inhomogeneous boundary data.


title: Bias correction in daily maximum and minimum temperature measurements through Gaussian process modeling

abstract: The Global Historical Climatology Network-Daily database contains, among other variables, daily maximum and minimum temperatures from weather stations around the globe. It is long known that climatological summary statistics based on daily temperature minima and maxima will not be accurate, if the bias due to the time at which the observations were collected is not accounted for. Despite some previous work, to our knowledge, there does not exist a satisfactory solution to this important problem. In this paper, we carefully detail the problem and develop a novel approach to address it. Our idea is to impute the hourly temperatures at the location of the measurements by borrowing information from the nearby stations that record hourly temperatures, which then can be used to create accurate summaries of temperature extremes. The key difficulty is that these imputations of the temperature curves must satisfy the constraint of falling between the observed daily minima and maxima, and attaining those values at least once in a twenty-four hour period. We develop a spatiotemporal Gaussian process model for imputing the hourly measurements from the nearby stations, and then develop a novel and easy to implement Markov Chain Monte Carlo technique to sample from the posterior distribution satisfying the above constraints. We validate our imputation model using hourly temperature data from four meteorological stations in Iowa, of which one is hidden and the data replaced with daily minima and maxima, and show that the imputed temperatures recover the hidden temperatures well. We also demonstrate that our model can exploit information contained in the data to infer the time of daily measurements.


title: High throughput evaluation of the effect of Mg concentration on natural ageing of Al-Cu-Li-(Mg) alloys

abstract: The effect of Mg content on the natural ageing of Al-Cu-Li-(Mg) alloys has been investigated on a compositionally graded material made by linear friction welding, allowing to probe Mg contents between 0 and 0.4 at.%. High throughput time-and space-resolved characterization of natural ageing kinetics has been achieved using small-angle X-ray scattering, supplemented by differential scanning calorimetry. Natural ageing results mainly in the formation of Cu-rich clusters whose characteristics strongly depend on the presence of Mg. Larger precipitates of 2 nm size also form to a lesser extent above a Mg concentration of 0.1 at.%.


title: Symmetry and rigidity for the hinged composite plate problem

abstract: The composite plate problem is an eigenvalue optimization problem related to the fourth order operator $(-\Delta)^2$. In this paper we continue the study started in [10], focusing on symmetry and rigidity issues in the case of the hinged composite plate problem, a specific situation that allows us to exploit classical techniques like the moving plane method.


title: Isoperimetric inequalities and calibrations

abstract: The subject of these Notes is the new proof, proposed in [F. H{\'e}lein, In{\'e}galit{\'e} isop{\'e}rim{\'e}trique et calibrations, Annales de l'Institut Fourier 44, 4 (1994), 1211-1218] of the classical isoperimetric inequality in the plane. This proof is far from being the first one, but its interest is that it uses essentially integration by parts and Stoke's formula in a simple manner, like in a calibration. Here we expound again this proof and discuss in which sense our proof works like a calibration, or it can be understood in the framework of the theory of null Lagrangians, which goes back to Weierstrass, Mayer, Hilbert, Weyl, Carath{\'e}odory, and Lepage.


title: Production of faces of the Kronecker cone containing only stable triples

abstract: One way to study the Kronecker coefficients is to focus on the Kronecker cone, which is generated by the triples of partitions corresponding to non-zero Kronecker coefficients. In this article we are interested in producing particular faces of this cone, formed of stable triples (a notion defined by J. Stembridge in 2014), using many geometric notions -- principally those of dominant and well-covering pairs -- and results of N. Ressayre. This extends a result obtained independently by L. Manivel and E. Vallejo in 2014 or 2015, expressed in terms of additive matrix. To illustrate the fact that it allows to produce quite a few new faces of the Kronecker cone, we give at the end of the article details about what our results yield for "small dimensions".


title: Study of micro-macro acceleration schemes for linear slow-fast stochastic differential equations with additive noise

abstract: Computational multi-scale methods capitalize on a large time-scale separation to efficiently simulate slow dynamics over long time intervals. For stochastic systems, one often aims at resolving the statistics of the slowest dynamics. This paper looks at the efficiency of a micro-macro acceleration method that couples short bursts of stochastic path simulation with extrapolation of spatial averages forward in time. To have explicit derivations, we elicit an amenable linear test equation containing multiple time scales. We make derivations and perform numerical experiments in the Gaussian setting, where only the evolution of mean and variance matters. The analysis shows that, for this test model, the stability threshold on the extrapolation step is largely independent of the time-scale separation. In consequence, the micro-macro acceleration method increases the admissible time steps far beyond those for which a direct time discretization becomes unstable.


title: Large-scale tight-binding simulations of quantum transport in ballistic graphene

abstract: Graphene has proven to host outstanding mesoscopic effects involving massless Dirac quasiparticles travelling ballistically resulting in the current flow exhibiting light-like behaviour. A new branch of 2D electronics inspired by the standard principles of optics is rapidly evolving, calling for a deeper understanding of transport in large-scale devices at a quantum level. Here we perform large-scale quantum transport calculations based on a tight-binding model of graphene and the non-equilibrium Green's function method and include the effects of $p-n$ junctions of different shape, magnetic field, and absorptive regions acting as drains for current. We stress the importance of choosing absorbing boundary conditions in the calculations to correctly capture how current flows in the limit of infinite devices. As a specific application we present a fully quantum-mechanical framework for the "2D Dirac fermion microscope" recently proposed by B{\o}ggild $et\, al.$ [Nat. Comm. 8, 10.1038 (2017)], tackling several key electron-optical effects therein predicted via semiclassical trajectory simulations, such as electron beam collimation, deflection and scattering off Veselago dots. Our results confirm that a semiclassical approach to a large extend is sufficient to capture the main transport features in the mesoscopic limit and the optical regime, but also that a richer electron-optical landscape is to be expected when coherence or other purely quantum effects are accounted for in the simulations.


title: Alexandrov Spaces with Maximal Radius

abstract: Abstract. In this paper we prove several rigidity theorems related to and including Lytchak's problem. The focus is on Alexandrov spaces with \curv\geq1, nonempty boundary, and maximal radius \frac{\pi}{2}. We exhibit many such spaces that indicate that this class is remarkably flexible. Nevertheless, we also show that when the boundary is either geometrically or topologically spherical, then it is possible to obtain strong rigidity results. In contrast to this one can show that with general lower curvature bounds and strictly convex boundary only cones can have maximal radius. We also mention some connections between our problems and the positive mass conjectures. This paper is an expanded version and replacement of the two previous versions


title: Graph Oracle Models, Lower Bounds, and Gaps for Parallel Stochastic Optimization

abstract: We suggest a general oracle-based framework that captures different parallel stochastic optimization settings described by a dependency graph, and derive generic lower bounds in terms of this graph. We then use the framework and derive lower bounds for several specific parallel optimization settings, including delayed updates and parallel processing with intermittent communication. We highlight gaps between lower and upper bounds on the oracle complexity, and cases where the "natural" algorithms are not known to be optimal.


title: Computing square-free polarized abelian varieties over finite fields

abstract: We give algorithms to compute isomorphism classes of ordinary abelian varieties defined over a finite field $\mathbb{F}_q$ whose characteristic polynomial (of Frobenius) is square-free and of abelian varieties defined over the prime field $\mathbb{F}_p$ whose characteristic polynomial is square-free and does not have real roots. In the ordinary case we are also able to compute the polarizations and the group of automorphisms (of the polarized variety) and, when the polarization is principal, the period matrix.


title: A Case for Variability-Aware Policies for NISQ-Era Quantum Computers

abstract: Recently, IBM, Google, and Intel showcased quantum computers ranging from 49 to 72 qubits. While these systems represent a significant milestone in the advancement of quantum computing, existing and near-term quantum computers are not yet large enough to fully support quantum error-correction. Such systems with few tens to few hundreds of qubits are termed as Noisy Intermediate Scale Quantum computers (NISQ), and these systems can provide benefits for a class of quantum algorithms. In this paper, we study the problems of Qubit-Allocation (mapping of program qubits to machine qubits) and Qubit-Movement(routing qubits from one location to another to perform entanglement). We observe that there exists variation in the error rates of different qubits and links, which can have an impact on the decisions for qubit movement and qubit allocation. We analyze characterization data for the IBM-Q20 quantum computer gathered over 52 days to understand and quantify the variation in the error-rates and find that there is indeed significant variability in the error rates of the qubits and the links connecting them. We define reliability metrics for NISQ computers and show that the device variability has the substantial impact on the overall system reliability. To exploit the variability in error rate, we propose Variation-Aware Qubit Movement (VQM) and Variation-Aware Qubit Allocation (VQA), policies that optimize the movement and allocation of qubits to avoid the weaker qubits and links and guide more operations towards the stronger qubits and links. We show that our Variation-Aware policies improve the reliability of the NISQ system up to 2.5x.


title: Paradoxical decompositions and finitary rules

abstract: We colour every point x of a probability space X according to the colours of a finite list x_1, ...., x_k of points such that each of the x_i, as a function of x, is a measure preserving transformation. We ask two questions about a colouring rule (1) does there exist a finitely additive extension of the probability measure for which the x_i remain measure preserving and also a colouring obeying the rule almost everywhere that is measurable with respect to this extension?, and (2) does there exist any colouring obeying the rule almost everywhere? if the answer to the first question is no and to the second question yes, we say that the colouring rule is paradoxical. A paradoxical colouring rule not only allows for a paradoxical partition of the space, it requires one. We pay special attention to generalizations of the Hausdorff paradox.


title: On stability properties of the Cubic-Quintic Schrodinger equation with delta-point interaction

abstract: We study analytically and numerically the existence and orbital stability of the peak-standing-wave solutions for the cubic-quintic nonlinear Schrodinger equation with a point interaction determined by the delta of Dirac. We study the cases of attractive-attractive and attractive-repulsive nonlinearities and we recover some results in the literature. Via a perturbation method and continuation argument we determine the Morse index of some specific self-adjoint operators that arise in the stability study. Orbital instability implications from a spectral instability result are established. In the case of an attractive-attractive case and an focusing interaction we give an approach based in the extension theory of symmetric operators for determining the Morse index.


title: LOFAR observations of the mode-switching pulsar B0943+10

abstract: PSR B0943+10 is an old non-recycled pulsar which for decades has been mostly known for its rapid and spontaneous radio mode switching. Recently, Hermsen et al. (2013) discovered correlated changes in the thermal X-ray emission from the polar cap, thus demonstrating that radio modes are not just a product of the local changes in the radio emission region, but a sign of some global magnetospheric transformation. At about the same time, owing to the commissioning of the new generation of low-frequency radio arrays, the broadband observations at the lowest edge of ionospheric transparency window became available. At these radio frequencies profile morphology and the single-pulse properties of PSR B0943+10's emission become very dynamic, providing details not only about the emission itself, but also about the conditions in the polar gap. Here, I will present the recent results of the LOFAR observations of PSR B0943+10 and discuss their contribution to the multiwavelength picture.


title: Constraints on models of scalar and vector leptoquarks decaying to a quark and a neutrino at $\sqrt{s}=$ 13 TeV

abstract: The results of a previous search by the CMS Collaboration for squarks and gluinos are reinterpreted to constrain models of leptoquark (LQ) production. The search considers jets in association with a transverse momentum imbalance, using the $M_\mathrm{T2}$ variable. The analysis uses proton-proton collision data at $\sqrt{s}=$ 13 TeV, recorded with the CMS detector at the LHC in 2016 and corresponding to an integrated luminosity of 35.9 fb$^{-1}$. Leptoquark pair production is considered with LQ decays to a neutrino and a top, bottom, or light quark. This reinterpretation considers higher mass values than the original CMS search to constrain both scalar and vector LQs. Limits on the cross section for LQ pair production are derived at the 95% confidence level depending on the LQ decay mode. A vector LQ decaying with a 50% branching fraction to t$\nu$, and 50% to b$\tau$, has been proposed as part of an explanation of anomalous flavor physics results. In such a model, using only the decays to t$\nu$, LQ masses below 1530 GeV are excluded assuming the Yang--Mills case with coupling $\kappa =$ 1, or 1115 GeV in the minimal coupling case $\kappa =$ 0, placing the most stringent constraint to date from pair production of vector LQs.


title: Importance sampling for slow-fast diffusions based on moderate deviations

abstract: We consider systems of slow--fast diffusions with small noise in the slow component. We construct provably logarithmic asymptotically optimal importance schemes for the estimation of rare events based on the moderate deviations principle. Using the subsolution approach we construct schemes and identify conditions under which the schemes will be asymptotically optimal. Moderate deviations--based importance sampling offers a viable alternative to large deviations importance sampling when the events are not too rare. In particular, in many cases of interest one can indeed construct the required change of measure in closed form, a task which is more complicated using the large deviations--based importance sampling, especially when it comes to multiscale dynamically evolving processes. The presence of multiple scales and the fact that we do not make any periodicity assumptions for the coefficients driving the processes, complicates the design and the analysis of efficient importance sampling schemes. Simulation studies illustrate the theory.


title: Skyrmion Lattice Collapse and Defect-Induced Melting in Chiral Magnetic Films

abstract: Magnetic phase transitions are a test bed for exploring the physics of non-equilibrium phenomena in condensed matter, which become even more complex when topological constraints are involved. In particular, the investigation of skyrmions and skyrmion lattices offers insight into fundamental processes of topological-charge creation and annihilation upon changing the magnetic state. Nonetheless, the exact physical mechanisms behind these phase transitions remain unresolved. Here, we have systematically compared ultra-thin films with isotropic and anisotropic Dzyaloshinskii-Moriya interactions (DMI), demonstrating a nearly identical behavior in technologically relevant materials such as interfacial systems. We numerically show that in perfect systems skyrmion lattices can be inverted in a field-induced first-order phase transition. The existence of even a single defect, however, replaces the inversion with a second-order phase transition of defect-induced lattice melting. This radical change in the system's behavior from a first-order to a second-order phase transition signifies the importance of such an analysis for all realistic systems in order to correctly interpret experimental data. Our results shed light on complex topological charge annihilation mechanisms that mediate transitions between magnetic states and pave the way for an experimental realization of these phenomena.


title: The $\nu$ process in the light of an improved understanding of supernova neutrino spectra

abstract: We study the neutrino-induced production of nuclides in explosive supernova nucleosynthesis for progenitor stars with solar metallicity including neutrino nucleus reactions for all nuclei with charge numbers $Z < 76$ with average neutrino energies in agreement with modern Supernova simulations. Considering progenitors with initial main sequence masses between 13~M$_\odot$ and 30~M$_\odot$, we find a significant production of $^{11}$B, $^{138}$La, and $^{180}$Ta by neutrino nucleosynthesis, despite the significantly reduced neutrino energies. The production of $^{19}$F turns out to be more sensitive to the progenitor mass and structure than to the $\nu$ process. With our complete set of cross sections we have identified effects of the $\nu$~process on several stable nuclei including $^{33}$S, $^{40}$Ar, $^{41}$K, $^{59}$Co, and $^{113}$In at the 10\% level. Neutrino-induced reactions contribute to a similar extent to the production of radioactive ${}^{26}$Al and increase the yield of $^{22}$Na by 50\%. Future $\gamma$~ray astronomy missions may reach the precision at which the contribution from the $\nu$~process becomes relevant. We find that the production of $^{22}$Na by the $\nu$~process could explain the Ne-E(L) component of meteoritic graphite grains. The $\nu$~process enhances the yield of $^{36}$Cl and we point out that the resulting $^{36}$Cl/$^{35}$Cl ratio is in agreement with the values infrerred for the early solar system. Our extended set of neutrino-nucleus interactions also allows us to exclude any further effects of the $\nu$ process on stable nuclei and to quantify the effects on numerous, hitherto unconsidered radioactive nuclei, e.g., $^{36}$Cl, $^{72}$As, $^{84}$Rb, and $^{88}$Y.


title: Hyperspectral Image Unmixing with Endmember Bundles and Group Sparsity Inducing Mixed Norms

abstract: Hyperspectral images provide much more information than conventional imaging techniques, allowing a precise identification of the materials in the observed scene, but because of the limited spatial resolution, the observations are usually mixtures of the contributions of several materials. The spectral unmixing problem aims at recovering the spectra of the pure materials of the scene (endmembers), along with their proportions (abundances) in each pixel. In order to deal with the intra-class variability of the materials and the induced spectral variability of the endmembers, several spectra per material, constituting endmember bundles, can be considered. However, the usual abundance estimation techniques do not take advantage of the particular structure of these bundles, organized into groups of spectra. In this paper, we propose to use group sparsity by introducing mixed norms in the abundance estimation optimization problem. In particular, we propose a new penalty which simultaneously enforces group and within group sparsity, to the cost of being nonconvex. All the proposed penalties are compatible with the abundance sum-to-one constraint, which is not the case with traditional sparse regression. We show on simulated and real datasets that well chosen penalties can significantly improve the unmixing performance compared to the naive bundle approach.


title: Pattern invariance for reaction-diffusion systems on complex networks

abstract: Given a reaction-diffusion system interacting via a complex network, we propose two different techniques to modify the network topology while preserving its dynamical behaviour. In the region of parameters where the homogeneous solution gets spontaneously destabilized, perturbations grow along the unstable directions made available across the networks of connections, yielding irregular spatio-temporal patterns. We exploit the spectral properties of the Laplacian operator associated to the graph in order to modify its topology, while preserving the unstable manifold of the underlying equilibrium. The new network is isodynamic to the former, meaning that it reproduces the dynamical response (pattern) to a perturbation, as displayed by the original system. The first method acts directly on the eigenmodes, thus resulting in a general redistribution of link weights which, in some cases, can completely change the structure of the original network. The second method uses localization properties of the eigenvectors to identify and randomize a subnetwork that is mostly embedded only into the stable manifold. We test both techniques on different network topologies using the Ginzburg-Landau system as a reference model. Whereas the correlation between patterns on isodynamic networks generated via the first recipe is larger, the second method allows for a finer control at the level of single nodes. This work opens up a new perspective on the multiple possibilities for identifying the family of discrete supports that instigate equivalent dynamical responses on a multispecies reaction-diffusion system.


title: Photon super-bunching from a generic tunnel junction

abstract: Generating correlated photon pairs at the nanoscale is a prerequisite to creating highly integrated optoelectronic circuits that perform quantum computing tasks based on heralded single-photons. Here we demonstrate fulfilling this requirement with a generic tip-surface metal junction. When the junction is luminescing under DC bias, inelastic tunneling events of single electrons produce a photon stream in the visible spectrum whose super-bunching index is 17 when measured with a 53 picosecond instrumental resolution limit. These photon bunches contain true photon pairs of plasmonic origin, distinct from accidental photon coincidences. The effect is electrically rather than optically driven - completely absent are pulsed lasers, down-conversions, and four-wave mixing schemes. This discovery has immediate and profound implications for quantum optics and cryptography, notwithstanding its fundamental importance to basic science and its ushering in of heralded photon experiments on the nanometer scale.


title: Reconciliation of weak pairwise spike-train correlations and highly coherent local field potentials across space

abstract: Multi-electrode arrays covering several square millimeters of neural tissue provide simultaneous access to population signals such as extracellular potentials and spiking activity of one hundred or more individual neurons. The interpretation of the recorded data calls for multiscale computational models with corresponding spatial dimensions and signal predictions. Such models facilitate identifying candidate mechanisms underlying experimentally observed spatiotemporal activity patterns in the cortex. Multi-layer spiking neuron network models of local cortical circuits covering about 1 mm$^2$ have been developed, integrating experimentally obtained neuron-type-specific connectivity data and reproducing features of observed in-vivo spiking statistics. Local field potentials (LFPs) can be computed from the simulated spiking activity. We here extend a local network and LFP model to an area of 4$\times$4 mm$^2$. The upscaling preserves the densities of neurons while capturing a larger proportion of the local synapses within the model. The procedure further introduces distance-dependent connection probabilities and conduction delays. Based on model predictions of spiking activity and LFPs, we find that the upscaling procedure preserves the overall spiking statistics of the original model and reproduces asynchronous irregular spiking across populations and weak pairwise spike-train correlations in agreement with experimental data recorded in the sensory cortex. In contrast with the weak spike-train correlations, the correlation of LFP signals is strong and decays over a distance of several hundred micrometers, compatible with experimental observations. Enhanced spatial coherence in the low-gamma band around 50 Hz may explain the recent experimental report of an apparent band-pass filter effect in the spatial reach of the LFP.


title: Spiral arm crossings inferred from ridges in Gaia stellar velocity distributions

abstract: The solar neighborhood contains disc stars that have recently crossed spiral arms in the Galaxy. We propose that boundaries in local velocity distributions separate stars that have recently crossed or been perturbed by a particular arm from those that haven't. Ridges in the stellar velocity distributions constructed from the second Gaia data release trace orbits that could have touched nearby spiral arms at apocentre or pericentre. The multiple ridges and arcs seen in local velocity distributions are consistent with the presence of multiple spiral features and different pattern speeds and imply that the outer Galaxy is flocculent rather than grand design.


title: Invariants of graph drawings in the plane

abstract: We present a simplified exposition of some classical and modern results on graph drawings in the plane. These results are chosen so that they illustrate some spectacular recent higher-dimensional results on the border of topology and combinatorics. We define a mod2-valued self-intersection invariant (i.e. the van Kampen number) and its generalizations. We present elementary formulations and arguments accessible to mathematicians not specialized in any of the areas discussed. So most part of this survey could be studied before textbooks on algebraic topology, as an introduction to starting ideas of algebraic topology motivated by algorithmic, combinatorial and geometric problems.


title: Heuristic Planning for Rough Terrain Locomotion in Presence of External Disturbances and Variable Perception Quality

abstract: The quality of the visual feedback can vary significantly on a legged robot that is meant to traverse unknown and unstructured terrains. The map of the environment, acquired with online state-of-the-art algorithms, often degrades after a few steps, due to sensing inaccuracies, slippage and unexpected disturbances. When designing locomotion algorithms, this degradation can result in planned trajectories that are not consistent with the reality, if not dealt properly. In this work, we propose a heuristic-based planning approach that enables a quadruped robot to successfully traverse a significantly rough terrain (e.g., stones up to 10 cm of diameter), in absence of visual feedback. When available, the approach allows also to exploit the visual feedback (e.g., to enhance the stepping strategy) in multiple ways, according to the quality of the 3D map. The proposed framework also includes reflexes, triggered in specific situations, and the possibility to estimate online an unknown time-varying disturbance and compensate for it. We demonstrate the effectiveness of the approach with experiments performed on our quadruped robot HyQ (85 kg), traversing different terrains, such as: ramps, rocks, bricks, pallets and stairs. We also demonstrate the capability to estimate and compensate for disturbances, showing the robot walking up a ramp while pulling a cart attached to its back.


title: A principle for converting Lindstr\"om-type lemmas to Stembridge-type theorems, with applications to walks, groves, and alternating flows

abstract: We prove that Fomin's generalization of Lindstr\"om's lemma for paths on acyclic directed graphs to walks on general directed graphs also generalizes a theorem of Stembridge in the same way. Moreover, we show that whenever a family of operations satisfies a Lindstr\"om-type determinant relation, a related family of operations satisfies a Stembridge-type Pfaffian relation. We give example applications to Kenyon and Wilson's work on groves and to Talaska's work on alternating flows.


title: On a conjecture of the paper Differentiability of the Conjugacy in the Hartman-Grobman Theorem

abstract: In this note we show that for the construction of differentiable conjugation, the assumption of the existence of smooth bump function is not necessary, and consequently the corresponding conjecture stated in the paper of W. Zhang, K. Lu and W. Zhang "Differentiability of the Conjugacy in the Hartman-Grobman Theorem" (\cite{ZLZ}) is incorrect. We show that instead of bump functions we can use smooth blid maps. We also propose a construction of the blid map for the space $X=C^0[0,1]$, which does not possess a smooth bump function.


title: SLSDeep: Skin Lesion Segmentation Based on Dilated Residual and Pyramid Pooling Networks

abstract: Skin lesion segmentation (SLS) in dermoscopic images is a crucial task for automated diagnosis of melanoma. In this paper, we present a robust deep learning SLS model, so-called SLSDeep, which is represented as an encoder-decoder network. The encoder network is constructed by dilated residual layers, in turn, a pyramid pooling network followed by three convolution layers is used for the decoder. Unlike the traditional methods employing a cross-entropy loss, we investigated a loss function by combining both Negative Log Likelihood (NLL) and End Point Error (EPE) to accurately segment the melanoma regions with sharp boundaries. The robustness of the proposed model was evaluated on two public databases: ISBI 2016 and 2017 for skin lesion analysis towards melanoma detection challenge. The proposed model outperforms the state-of-the-art methods in terms of segmentation accuracy. Moreover, it is capable to segment more than $100$ images of size 384x384 per second on a recent GPU.


title: Nikulin involutions and the CHL string

abstract: We study certain even-eight curve configurations on a specific class of Jacobian elliptic K3 surfaces with lattice polarizations of rank ten. These configurations are associated with K3 double covers, some of which are elliptic but not Jacobian elliptic. Several non-generic cases corresponding to K3 surfaces of higher Picard rank are also discussed. Finally, the results and the construction in question are interpreted in the context of the string dualities linked with the eight-dimensional CHL string.


title: Hypercyclicity of Shifts on Weighted ${\mathbf L}^p$ Spaces of Directed Trees

abstract: In this paper, we study the hypercyclicity of forward and backward shifts on weighted $L^p$ spaces of a directed tree. In the forward case, only the trivial trees may support hypercyclic shifts, in which case the classical results of Salas apply. For the backward case, nontrivial trees may support hypercyclic shifts. We obtain necessary conditions and sufficient conditions for hypercyclicity of the backward shift and, in the case of a rooted tree on an unweighted space, we show that these conditions coincide.


title: Detecting Influence Campaigns in Social Networks Using the Ising Model

abstract: We consider the problem of identifying coordinated influence campaigns conducted by automated agents or bots in a social network. We study several different Twitter datasets which contain such campaigns and find that the bots exhibit heterophily - they interact more with humans than with each other. We use this observation to develop a probability model for the network structure and bot labels based on the Ising model from statistical physics. We present a method to find the maximum likelihood assignment of bot labels by solving a minimum cut problem. Our algorithm allows for the simultaneous detection of multiple bots that are potentially engaging in a coordinated influence campaign, in contrast to other methods that identify bots one at a time. We find that our algorithm is able to more accurately find bots than existing methods when compared to a human labeled ground truth. We also look at the content posted by the bots we identify and find that they seem to have a coordinated agenda.


title: Quasiclassical theory of the spin-orbit magnetoresistance of three-dimensional Rashba metals

abstract: The magnetoresistance of a three-dimensional Rashba material placed on top of a ferromagnetic insulator is theoretically investigated. In addition to the intrinsic Rashba spin-orbit interaction, we also consider extrinsic spin-orbit coupling via side-jump and skew scattering, and the Elliott-Yafet spin relaxation mechanism. The latter is anisotropic due to the mass anisotropy which reflects the noncentrosymmetric crystal structure of three-dimensional Rashba metals. A quasiclassical approach is employed to derive a set of coupled spin-diffusion equations, which are supplemented by boundary conditions that account for the spin-transfer torque at the interface of the bilayer. The magnetoresistance is fully determined by the current-induced spin polarization, i.e., it cannot in general be ascribed to a single (bulk) spin Hall angle. Our theoretical results reproduce several features of the experiments, at least qualitatively, and contain established phenomenological results in the relevant limiting cases. In particular, the anisotropy of the Elliott-Yafet spin relaxation mechanism plays a major role for the interpretation of the observed magnetoresistance.


title: The reported durations of GOES Soft X-Ray flares in different solar cycles

abstract: The Geostationary Orbital Environmental Satellites (GOES) Soft X-ray (SXR) sensors have provided data relating to, inter alia, the time, intensity and duration of solar flares since the 1970s. The GOES SXR Flare List has become the standard reference catalogue for solar flares and is widely used in solar physics research and space weather. We report here that in the current version of the list there are significant differences between the mean duration of flares which occurred before May 1997 and the mean duration of flares thereafter. Our analysis shows that the reported flare timings for the pre-May 1997 data were not based on the same criteria as is currently the case. This finding has serious implications for all those who used flare duration (or fluence, which depends on the chosen start and end times) as part of their analysis of pre-May 1997 solar events, or statistical analyses of large samples of flares, e.g. as part of the assessment of a Solar Energetic Particle forecasting algorithm.


title: Constraints on long-lived, higher-spin particles from galaxy bispectrum

abstract: The presence of massive particles with spin during inflation induces distinct signatures on correlation functions of primordial curvature fluctuations. In particular, the bispectrum of primordial perturbations obtains an angular dependence determined by the spin of the particle, which can be used to set constraints on the presence of such particles. If these particles are long-lived on super-Hubble scales, as is the case for example for partially massless particles, their imprint on correlation functions of curvature perturbations would be unsuppressed. In this paper, we make a forecast for how well such angular dependence can be constrained by the upcoming EUCLID spectroscopic survey via the measurement of galaxy bispectrum.


title: Quantifying Local Randomness in Human DNA and RNA Sequences Using Erdos Motifs

abstract: In 1932, Paul Erdos asked whether a random walk constructed from a binary sequence can achieve the lowest possible deviation (lowest discrepancy), for the sequence itself and for all its subsequences formed by homogeneous arithmetic progressions. Although avoiding low discrepancy is impossible for infinite sequences, as recently proven by Terence Tao, attempts were made to construct such sequences with finite lengths. We recognize that such constructed sequences (we call these "Erdos sequences") exhibit certain hallmarks of randomness at the local level: they show roughly equal frequencies of subsequences, and at the same time exclude the trivial periodic patterns. For the human DNA we examine the frequency of a set of Erdos motifs of length-10 using three nucleotides-to-binary mappings. The particular length-10 Erdos sequence is derived by the length-11 Mathias sequence and is identical with the first 10 digits of the Thue-Morse sequence, underscoring the fact that both are deficient in periodicities. Our calculations indicate that: (1) the purine (A and G)/pyridimine (C and T) based Erdos motifs are greatly underrepresented in the human genome, (2) the strong(G and C)/weak(A and T) based Erdos motifs are slightly overrepresented, (3) the densities of the two are negatively correlated, (4) the Erdos motifs based on all three mappings being combined are slightly underrepresented, and (5) the strong/weak based Erdos motifs are greatly overrepresented in the human messenger RNA sequences.


title: Degrees of Categoricity Above Limit Ordinals

abstract: A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic computable copies of $\mathcal{A}$. Fokina, Kalimullin, and Miller showed that every degree d.c.e. in and above $\mathbf{0}^{(n)}$, for any $n < \omega$, and also the degree $\mathbf{0}^{(\omega)}$, are degrees of categoricity. Later, Csima, Franklin, and Shore showed that every degree $\mathbf{0}^{(\alpha)}$ for any computable ordinal $\alpha$, and every degree d.c.e. in and above $\mathbf{0}^{(\alpha)}$ for any successor ordinal $\alpha$, is a degree of categoricity. We show that every degree c.e. in and above $\mathbf{0}^{(\alpha)}$, for $\alpha$ a limit ordinal, is a degree of categoricity. We also show that every degree c.e. in and above $\mathbf{0}^{(\omega)}$ is the degree of categoricity of a prime model, making progress towards a question of Bazhenov and Marchuk.


title: Consequence-Based Axiom Pinpointing

abstract: Axiom pinpointing refers to the problem of finding the axioms in an ontology that are relevant for understanding a given entailment or consequence. One approach for axiom pinpointing, known as glass-box, is to modify a classical decision procedure for the entailments into a method that computes the solutions for the pinpointing problem. Recently, consequence-based decision procedures have been proposed as a promising alternative for tableaux-based reasoners for standard ontology languages. In this work, we present a general framework to extend consequence-based algorithms with axiom pinpointing.


title: How Much Restricted Isometry is Needed In Nonconvex Matrix Recovery?

abstract: When the linear measurements of an instance of low-rank matrix recovery satisfy a restricted isometry property (RIP)---i.e. they are approximately norm-preserving---the problem is known to contain no spurious local minima, so exact recovery is guaranteed. In this paper, we show that moderate RIP is not enough to eliminate spurious local minima, so existing results can only hold for near-perfect RIP. In fact, counterexamples are ubiquitous: we prove that every x is the spurious local minimum of a rank-1 instance of matrix recovery that satisfies RIP. One specific counterexample has RIP constant $\delta=1/2$, but causes randomly initialized stochastic gradient descent (SGD) to fail 12% of the time. SGD is frequently able to avoid and escape spurious local minima, but this empirical result shows that it can occasionally be defeated by their existence. Hence, while exact recovery guarantees will likely require a proof of no spurious local minima, arguments based solely on norm preservation will only be applicable to a narrow set of nearly-isotropic instances.


title: Hunting for Axionlike Dark Matter by Searching for an Oscillating Neutron Electric Dipole Moment

abstract: We report on a search for ultra-low-mass axion-like dark matter by analysing the ratio of the spin-precession frequencies of stored ultracold neutrons and $^{199}$Hg atoms for an axion-induced oscillating electric dipole moment of the neutron and an axion-wind spin-precession effect. No signal consistent with dark matter is observed for the axion mass range $10^{-24}~\textrm{eV} \le m_a \le 10^{-17}~\textrm{eV}$. Our null result sets the first laboratory constraints on the coupling of axion dark matter to gluons, which improve on astrophysical limits by up to 3 orders of magnitude, and also improves on previous laboratory constraints on the axion coupling to nucleons by up to a factor of 40. The results were initially presented in Phys. Rev. X 7, 041034, of which this proceeding is largely a summary.


title: Intrinsic Image Transformation via Scale Space Decomposition

abstract: We introduce a new network structure for decomposing an image into its intrinsic albedo and shading. We treat this as an image-to-image transformation problem and explore the scale space of the input and output. By expanding the output images (albedo and shading) into their Laplacian pyramid components, we develop a multi-channel network structure that learns the image-to-image transformation function in successive frequency bands in parallel, within each channel is a fully convolutional neural network with skip connections. This network structure is general and extensible, and has demonstrated excellent performance on the intrinsic image decomposition problem. We evaluate the network on two benchmark datasets: the MPI-Sintel dataset and the MIT Intrinsic Images dataset. Both quantitative and qualitative results show our model delivers a clear progression over state-of-the-art.


title: Neural Argument Generation Augmented with Externally Retrieved Evidence

abstract: High quality arguments are essential elements for human reasoning and decision-making processes. However, effective argument construction is a challenging task for both human and machines. In this work, we study a novel task on automatically generating arguments of a different stance for a given statement. We propose an encoder-decoder style neural network-based argument generation model enriched with externally retrieved evidence from Wikipedia. Our model first generates a set of talking point phrases as intermediate representation, followed by a separate decoder producing the final argument based on both input and the keyphrases. Experiments on a large-scale dataset collected from Reddit show that our model constructs arguments with more topic-relevant content than a popular sequence-to-sequence generation model according to both automatic evaluation and human assessments.


title: Parallel Architecture and Hyperparameter Search via Successive Halving and Classification

abstract: We present a simple and powerful algorithm for parallel black box optimization called Successive Halving and Classification (SHAC). The algorithm operates in $K$ stages of parallel function evaluations and trains a cascade of binary classifiers to iteratively cull the undesirable regions of the search space. SHAC is easy to implement, requires no tuning of its own configuration parameters, is invariant to the scale of the objective function and can be built using any choice of binary classifier. We adopt tree-based classifiers within SHAC and achieve competitive performance against several strong baselines for optimizing synthetic functions, hyperparameters and architectures.


title: Unsupervised Learning for Large-Scale Fiber Detection and Tracking in Microscopic Material Images

abstract: Constructing 3D structures from serial section data is a long standing problem in microscopy. The structure of a fiber reinforced composite material can be reconstructed using a tracking-by-detection model. Tracking-by-detection algorithms rely heavily on detection accuracy, especially the recall performance. The state-of-the-art fiber detection algorithms perform well under ideal conditions, but are not accurate where there are local degradations of image quality, due to contaminants on the material surface and/or defocus blur. Convolutional Neural Networks (CNN) could be used for this problem, but would require a large number of manual annotated fibers, which are not available. We propose an unsupervised learning method to accurately detect fibers on the large scale, that is robust against local degradations of image quality. The proposed method does not require manual annotations, but uses fiber shape/size priors and spatio-temporal consistency in tracking to simulate the supervision in the training of the CNN. Experiments show significant improvements over state-of-the-art fiber detection algorithms together with advanced tracking performance.


title: Rough convergence of sequences in a cone metric space

abstract: Here we have introduced the idea of rough convergence of sequences in a cone metric space. Also it has been investigated how far several basic properties of rough convergence as valid in a normed linear space are affected in a cone metric space.


title: E-Voting with Blockchain: An E-Voting Protocol with Decentralisation and Voter Privacy

abstract: Technology has positive impacts on many aspects of our social life. Designing a 24hour globally connected architecture enables ease of access to a variety of resources and services. Furthermore, technology like Internet has been a fertile ground for innovation and creativity. One of such disruptive innovation is blockchain -- a keystone of cryptocurrencies. The blockchain technology is presented as a game changer for many of the existing and emerging technologies/services. With its immutability property and decentralised architecture, it is taking centre stage in many services as an equalisation factor to the current parity between consumers and large corporations/governments. One of such potential applications of the blockchain is in e-voting schemes. The objective of such a scheme would be to provide a decentralised architecture to run and support a voting scheme that is open, fair and independently verifiable. In this paper, we propose potentially a new e-voting protocol that utilises the blockchain as a transparent ballot box. The protocol has been designed with adhering to the fundamental e-voting properties in mind as well as offering a degree of decentralisation and allowing for the voter to change/update their vote (within the permissible voting period). The paper highlights the pros and cons of using blockchain for such a proposal from practical point view in both development/deployment and usage contexts. Concluding the paper with a potential roadmap for blockchain technology to be able to support complex applications.


title: An evaluation of the security of the Bitcoin Peer-to- Peer Network

abstract: Bitcoin is a decentralised digital currency that relies on cryptography rather than trusted third parties such as central banks for its security. Underpinning the operation of the currency is a peer-to-peer (P2P) network that facilitates the execution of transactions by end users, as well as the transaction confirmation process known as bitcoin mining. The security of this P2P network is vital for the currency to function and subversion of the underlying network can lead to attacks on bitcoin users including theft of bitcoins, manipulation of the mining process and denial of service (DoS). As part of this paper the network protocol and bitcoin core software are analysed, with three bitcoin message exchanges (the connection handshake, GETHEADERS/HEADERS and MEMPOOL/INV) found to be potentially vulnerable to spoofing and use in distributed denial of service (DDoS) attacks. Possible solutions to the identified weaknesses and vulnerabilities are evaluated, such as the introduction of random nonces into network messages exchanges.


title: Scraping SERPs for Archival Seeds: It Matters When You Start

abstract: Event-based collections are often started with a web search, but the search results you find on Day 1 may not be the same as those you find on Day 7. In this paper, we consider collections that originate from extracting URIs (Uniform Resource Identifiers) from Search Engine Result Pages (SERPs). Specifically, we seek to provide insight about the retrievability of URIs of news stories found on Google, and to answer two main questions: first, can one "refind" the same URI of a news story (for the same query) from Google after a given time? Second, what is the probability of finding a story on Google over a given period of time? To answer these questions, we issued seven queries to Google every day for over seven months (2017-05-25 to 2018-01-12) and collected links from the first five SERPs to generate seven collections for each query. The queries represent public interest stories: "healthcare bill," "manchester bombing," "london terrorism," "trump russia," "travel ban," "hurricane harvey," and "hurricane irma." We tracked each URI in all collections over time to estimate the discoverability of URIs from the first five SERPs. Our results showed that the daily average rate at which stories were replaced on the default Google SERP ranged from 0.21 -0.54, and a weekly rate of 0.39 - 0.79, suggesting the fast replacement of older stories by newer stories. The probability of finding the same URI of a news story after one day from the initial appearance on the SERP ranged from 0.34 - 0.44. After a week, the probability of finding the same news stories diminishes rapidly to 0.01 - 0.11. Our findings suggest that due to the difficulty in retrieving the URIs of news stories from Google, collection building that originates from search engines should begin as soon as possible in order to capture the first stages of events, and should persist in order to capture the evolution of the events...


title: Vortex lattice in the crossover of a Bose gas from weak coupling to unitarity

abstract: The formation of a regular lattice of quantized vortices in a fluid under rotation is a smoking-gun signature of its superfluid nature. Here we study the vortex lattice in a dilute superfluid gas of bosonic atoms at zero temperature along the crossover from the weak-coupling regime, where the inter-atomic scattering length is very small compared to the average distance between atoms, to the unitarity regime, where the inter-atomic scattering length diverges. This study is based on high-performance numerical simulations of the time-dependent nonlinear Schrodinger equation for the superfluid order parameter in three spatial dimensions, using a realistic analytic expression for the bulk equation of state of the system along the crossover from weak-coupling to unitarity. This equation of state has the correct weak-coupling and unitarity limits and faithfully reproduces the results of an accurate multi-orbital microscopic calculation. Our numerical predictions of the number of vortices and root-mean-square sizes are important benchmarks for future experiments.


title: Learning Restricted Boltzmann Machines via Influence Maximization

abstract: Graphical models are a rich language for describing high-dimensional distributions in terms of their dependence structure. While there are algorithms with provable guarantees for learning undirected graphical models in a variety of settings, there has been much less progress in the important scenario when there are latent variables. Here we study Restricted Boltzmann Machines (or RBMs), which are a popular model with wide-ranging applications in dimensionality reduction, collaborative filtering, topic modeling, feature extraction and deep learning. The main message of our paper is a strong dichotomy in the feasibility of learning RBMs, depending on the nature of the interactions between variables: ferromagnetic models can be learned efficiently, while general models cannot. In particular, we give a simple greedy algorithm based on influence maximization to learn ferromagnetic RBMs with bounded degree. In fact, we learn a description of the distribution on the observed variables as a Markov Random Field. Our analysis is based on tools from mathematical physics that were developed to show the concavity of magnetization. Our algorithm extends straighforwardly to general ferromagnetic Ising models with latent variables. Conversely, we show that even for a contant number of latent variables with constant degree, without ferromagneticity the problem is as hard as sparse parity with noise. This hardness result is based on a sharp and surprising characterization of the representational power of bounded degree RBMs: the distribution on their observed variables can simulate any bounded order MRF. This result is of independent interest since RBMs are the building blocks of deep belief networks.


title: Modeling lithium-ion solid-state electrolytes with a pinball model

abstract: We introduce a simple and efficient model to describe the potential energy surface of lithium diffusing in a solid-state ionic conductor. First, we assume that the Li atoms are fully ionized and we neglect the weak dependence of the electronic valence charge density on the instantaneous position of the Li ions. Second, we freeze the atoms of the host lattice in their equilibrium positions; consequently, also the valence charge density is frozen. We thus obtain a computational setup (the "pinball model") for which extremely inexpensive molecular dynamics simulation can be performed. To assess the accuracy of the model, we contrast it with full first-principles molecular dynamics simulations performed either with a free or frozen host lattice; in this latter case, the charge density still readjusts itself self-consistently to the actual positions of the diffusing Li ions. We show that the pinball model is able to reproduce accurately the static and dynamic properties of the diffusing Li ions - including forces, power spectra, and diffusion coefficients - when compared to the self-consistent frozen-host lattice simulations. The frozen-lattice approximation itself is often accurate enough, and certainly a good proxy in most materials. These observations unlock efficient ways to simulating the diffusion of lithium in the solid state, and provide additional physical insight into the respective roles of charge-density rearrangements or lattice vibrations in affecting lithium diffusion.


title: Gaussian bounds for the inhomogeneous Landau equation with hard potentials

abstract: We consider weak solutions of the spatially inhomogeneous Landau equation with hard potentials ($\gamma \in (0,1]$), under the assumption that mass, energy, and entropy densities are under control. In this regime, with arbitrary initial data, we show that solutions satisfy pointwise Gaussian upper and lower bounds in the velocity variable. This is different from the behavior in the soft potentials case ($\gamma <0$), where Gaussian estimates are known not to hold without corresponding assumptions on the initial data. Our upper bounds imply weak solutions are $C^\infty$ in all three variables, and that continuation of solutions is governed only by the mass, energy, and entropy.


title: Training verified learners with learned verifiers

abstract: This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train two networks: a predictor network that performs the task at hand,e.g., predicting labels given inputs, and a verifier network that computes a bound on how well the predictor satisfies the properties being verified. Both networks can be trained simultaneously to optimize a weighted combination of the standard data-fitting loss and a term that bounds the maximum violation of the property. Experiments show that not only is the predictor-verifier architecture able to train networks to achieve state of the art verified robustness to adversarial examples with much shorter training times (outperforming previous algorithms on small datasets like MNIST and SVHN), but it can also be scaled to produce the first known (to the best of our knowledge) verifiably robust networks for CIFAR-10.


title: Observation of 2e-periodic Supercurrents in Nanowire Single-Cooper-Pair Transistors

abstract: Parity control of superconducting islands hosting Majorana zero modes (MZMs) is required to operate topological qubits made from proximitized semiconductor nanowires. We, therefore, study parity effects in hybrid InAs-Al single-Cooper-pair transistors (SCPTs) as a first step. In particular, we investigate the gate-charge supercurrent modulation and observe a consistent 2$e$-periodic pattern indicating a general lack of low-energy subgap states in these nanowires at zero magnetic field. In a parallel magnetic field, an even-odd pattern develops with a gate-charge spacing that oscillates as a function of field demonstrating that the modulation pattern is sensitive to the presence of a single subgap state. In addition, we find that the parity lifetime of the SCPT decreases exponentially with magnetic field as the subgap state approaches zero energy. Our work highlights the important role that intentional quasiparticle traps and superconducting gap engineering would play in topological qubits that require quenching of the island charge dispersion.


title: Duluth UROP at SemEval-2018 Task 2: Multilingual Emoji Prediction with Ensemble Learning and Oversampling

abstract: This paper describes the Duluth UROP systems that participated in SemEval--2018 Task 2, Multilingual Emoji Prediction. We relied on a variety of ensembles made up of classifiers using Naive Bayes, Logistic Regression, and Random Forests. We used unigram and bigram features and tried to offset the skewness of the data through the use of oversampling. Our task evaluation results place us 19th of 48 systems in the English evaluation, and 5th of 21 in the Spanish. After the evaluation we realized that some simple changes to preprocessing could significantly improve our results. After making these changes we attained results that would have placed us sixth in the English evaluation, and second in the Spanish.


title: Extended Integrated Interleaved Codes over any Field with Applications to Locally Recoverable Codes

abstract: Integrated Interleaved (II) and Extended Integrated Interleaved (EII) codes are a versatile alternative for Locally Recoverable (LRC) codes, since they require fields of relatively small size. II and EII codes are generally defined over Reed-Solomon type of codes. A new comprehensive definition of EII codes is presented, allowing for EII codes over any field, and in particular, over the binary field $GF(2)$. The traditional definition of II and EII codes is shown to be a special case of the new definition. Improvements over previous constructions of LRC codes, in particular, for binary codes, are given, as well as cases meeting an upper bound on the minimum distance. Properties of the codes are presented as well, in particular, an iterative decoding algorithm on rows and columns generalizing the iterative decoding algorithm of product codes. Two applications are also discussed: one is finding a systematic encoding of EII codes such that the parity symbols have a balanced distribution on rows, and the other is the problem of ordering the symbols of an EII code such that the maximum length of a correctable burst is achieved.


title: On the distance matrices of the CP graphs

abstract: This paper introduces a new class of graphs, the CP graphs, and shows that their distance determinant and distance inertia are independent of their structures. The CP graphs include the family of linear $2$-trees. When a graph is attached with a CP graph, it is shown that the distance determinant and the distance inertia are also independent of the structure of the CP graph. Applications to the addressing problem proposed by Graham and Pollak in 1971 are given.


title: Does the Black Hole Merger Rate Evolve with Redshift?

abstract: We explore the ability of gravitational-wave detectors to extract the redshift distribution of binary black hole (BBH) mergers. The evolution of the merger rate across redshifts $0 < z \lesssim 1$ is directly tied to the formation and evolutionary processes, providing insight regarding the progenitor formation rate together with the distribution of time delays between formation and merger. Because the limiting distance to which BBHs are detected depends on the masses of the binary, the redshift distribution of detected binaries depends on their underlying mass distribution. We therefore consider the mass and redshift distributions simultaneously, and fit the merger rate density, ${dN}/{dm_1\,dm_2\,dz}$. Our constraints on the mass distribution agree with previously published results, including evidence for an upper mass cutoff at $\sim 40 \ M_\odot$. Additionally, we show that the current set of six BBH detections are consistent with a merger rate density that is uniform in comoving volume. Although our constraints on the redshift distribution are not yet tight enough to distinguish between BBH formation channels, we show that it will be possible to distinguish between different astrophysically motivated models of the merger rate evolution with $\sim 100$--$300$ LIGO-Virgo detections (to be expected within 2--5 years). Specifically, we will be able to infer whether the formation rate peaks at higher or lower redshifts than the star formation rate, or the typical time delay between formation and merger. Meanwhile, with $\sim 100$ detections, the inferred redshift distribution will place constraints on more exotic scenarios such as modified gravity.


title: UMDuluth-CS8761 at SemEval-2018 Task 9: Hypernym Discovery using Hearst Patterns, Co-occurrence frequencies and Word Embeddings

abstract: Hypernym Discovery is the task of identifying potential hypernyms for a given term. A hypernym is a more generalized word that is super-ordinate to more specific words. This paper explores several approaches that rely on co-occurrence frequencies of word pairs, Hearst Patterns based on regular expressions, and word embeddings created from the UMBC corpus. Our system Babbage participated in Subtask 1A for English and placed 6th of 19 systems when identifying concept hypernyms, and 12th of 18 systems for entity hypernyms.


title: On the maximum of conditioned random walks and tightness for pinning models

abstract: We consider real random walks with finite variance. We prove an optimal integrability result for the diffusively rescaled maximum, when the walk or its bridge is conditioned to stay positive, or to avoid zero. As an application, we prove tightness under diffusive rescaling for general pinning and wetting models based on random walks.


title: Towards a glaucoma risk index based on simulated hemodynamics from fundus images

abstract: Glaucoma is the leading cause of irreversible but preventable blindness in the world. Its major treatable risk factor is the intra-ocular pressure, although other biomarkers are being explored to improve the understanding of the pathophysiology of the disease. It has been recently observed that glaucoma induces changes in the ocular hemodynamics. However, its effects on the functional behavior of the retinal arterioles have not been studied yet. In this paper we propose a first approach for characterizing those changes using computational hemodynamics. The retinal blood flow is simulated using a 0D model for a steady, incompressible non Newtonian fluid in rigid domains. The simulation is performed on patient-specific arterial trees extracted from fundus images. We also propose a novel feature representation technique to comprise the outcomes of the simulation stage into a fixed length feature vector that can be used for classification studies. Our experiments on a new database of fundus images show that our approach is able to capture representative changes in the hemodynamics of glaucomatous patients. Code and data are publicly available in https://ignaciorlando.github.io.


title: UMDSub at SemEval-2018 Task 2: Multilingual Emoji Prediction Multi-channel Convolutional Neural Network on Subword Embedding

abstract: This paper describes the UMDSub system that participated in Task 2 of SemEval-2018. We developed a system that predicts an emoji given the raw text in a English tweet. The system is a Multi-channel Convolutional Neural Network based on subword embeddings for the representation of tweets. This model improves on character or word based methods by about 2\%. Our system placed 21st of 48 participating systems in the official evaluation.


title: Light-trapping enhanced thin-film III-V quantum dot solar cells fabricated by epitaxial lift-off

abstract: We report thin-film InAs/GaAs quantum dot (QD) solar cells with $n-i-p{+}$ deep junction structure and planar back reflector fabricated by epitaxial lift-off (ELO) of full 3-inch wafers. External quantum efficiency measurements demonstrate twofold enhancement of the QD photocurrent in the ELO QD cell compared to the wafer-based QD cell. In the GaAs wavelength range, the ELO QD cell perfectly preserves the current collection efficiency of the baseline single-junction ELO cell. We demonstrate by full-wave optical simulations that integrating a micro-patterned diffraction grating in the ELO cell rearside provides more than tenfold enhancement of the near-infrared light harvesting by QDs. Experimental results are thoroughly discussed with the help of physics-based simulations to single out the impact of QD dynamics and defects on the cell photovoltaic behavior. It is demonstrated that non radiative recombination in the QD stack is the bottleneck for the open circuit voltage ($V_{oc}$) of the reported devices. More important, our theoretical calculations demonstrate that the $V_{oc}$ offest of 0.3 V from the QD ground state identified by \emph{Tanabe et al., 2012}, from a collection of experimental data of high quality III-V QD solar cells is a reliable - albeit conservative - metric to gauge the attainable $V_{oc}$ and to quantify the scope for improvement by reducing non radiative recombination. Provided that material quality issues are solved, we demonstrate - by transport and rigorous electromagnetic simulations - that light-trapping enhanced thin-film cells with twenty InAs/GaAs QD layers reach efficiency higher than 28\% under unconcentrated light, ambient temperature. If photon recycling can be fully exploited, 30\% efficiency is deemed to be feasible.


title: Quenching of nuclear matrix elements for $0\nu\beta\beta$ decay by chiral two-body currents

abstract: We examine the leading effects of two-body weak currents from chiral effective field theory on the matrix elements governing neutrinoless double-beta decay. In the closure approximation these effects are generated by the product of a one-body current with a two-body current, yielding both two- and three-body operators. When the three-body operators are considered without approximation, they quench matrix elements by about 10%, less than suggested by prior work, which neglected portions of the operators. The two-body operators, when treated in the standard way, can produce much larger quenching. In a consistent effective field theory, however, these large effects become divergent and must be renormalized by a contact operator, the coefficient of which we cannot determine at present.


title: Detecting Violations of Differential Privacy

abstract: The widespread acceptance of differential privacy has led to the publication of many sophisticated algorithms for protecting privacy. However, due to the subtle nature of this privacy definition, many such algorithms have bugs that make them violate their claimed privacy. In this paper, we consider the problem of producing counterexamples for such incorrect algorithms. The counterexamples are designed to be short and human-understandable so that the counterexample generator can be used in the development process -- a developer could quickly explore variations of an algorithm and investigate where they break down. Our approach is statistical in nature. It runs a candidate algorithm many times and uses statistical tests to try to detect violations of differential privacy. An evaluation on a variety of incorrect published algorithms validates the usefulness of our approach: it correctly rejects incorrect algorithms and provides counterexamples for them within a few seconds.


title: On the global evolution of self-gravitating matter. Nonlinear interactions in Gowdy symmetry

abstract: We are interested in the evolution of a compressible fluid under its self-generated gravitational field. Assuming here Gowdy symmetry, we investigate the algebraic structure of the Euler equations satisfied by the mass density and velocity field. We exhibit several interaction functionals that provide us with a uniform control on weak solutions in suitable Sobolev norms or in bounded variation. These functionals allow us to study the local regularity and nonlinear stability properties of weakly regular fluid flows governed by the Euler-Gowdy system. In particular for the Gowdy equations, we prove that a spurious matter field arises under weak convergence, and we establish the nonlinear stability of weak solutions.


title: Electroweak scale physics & exotic searches at LHCb

abstract: The LHCb experiment has a broad and varied physics programme, extending far beyond its core set of flavour physics measurements. This contribution summarises recent electroweak scale measurements and searches for exotic states in the dimuon final state.


title: Pairing Mechanism in Hunds Metal Superconductors and the Universality of the Superconducting Gap to Critical Temperature Ratio

abstract: We analyze a simple model containing the physical ingredients of a Hund's metal, the local spin fluctuations with power-law correlators, $(\Omega_0/|\Omega|)^\gamma$, with $\gamma$ greater than one, interacting with electronic quasiparticles. While the critical temperature and the gap change significantly with varying parameters, the $2\Delta_{max}/k_BT_c$ remains close to twice the BCS value in agreement with experimental observations in the iron-based superconductors (FeSC).


title: Rationalizing Loop Integration

abstract: We show that direct Feynman-parametric loop integration is possible for a large class of planar multi-loop integrals. Much of this follows from the existence of manifestly dual-conformal Feynman-parametric representations of planar loop integrals, and the fact that many of the algebraic roots associated with (e.g. Landau) leading singularities are automatically rationalized in momentum-twistor space---facilitating direct integration via partial fractioning. We describe how momentum twistors may be chosen non-redundantly to parameterize particular integrals, and how strategic choices of coordinates can be used to expose kinematic limits of interest. We illustrate the power of these ideas with many concrete cases studied through four loops and involving as many as eight particles. Detailed examples are included as ancillary files to this work's submission to the arXiv.