title: Realisation of groups as automorphism groups in categories

abstract: It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic objects, infinitely many of them finite if $A$ is finite. In particular, this applies to dessins d'enfants, regarded as finite oriented hypermaps. The proof, involving maximal subgroups of various triangle groups, yields a simple construction of a regular map whose automorphism group contains an isomorphic copy of every finite group.


title: A new powerful and highly variable disk wind in an AGN-star forming galaxy, the case of MCG-03-58-007

abstract: We present the discovery of a new candidate for a fast disk wind, in the nearby Seyfert 2 galaxy MCG-03-58-007. This wind is discovered in a deep Suzaku observation that was performed in 2010. Overall the X-ray spectrum of MCG-03-58-007 is highly absorbed by a neutral column density of NH~10^23 cm^-2, in agreement with the optical classification as a type 2 AGN. In addition, this observation unveiled the presence of two deep absorption troughs at E = 7.4 +- 0.1 keV and E = 8.5 +- 0.2 keV. If associated with blue-shifted FeXXVI, these features can be explained with the presence of two highly ionised (log \xi/(erg cm/s)~ 5.5) and high column density (NH~5-8 x 10^23cm^-2) outflowing absorbers with v_out1~ -0.1c and v_out2~ -0.2c. The disk wind detected during this observation is most likely launched from within a few hundreds gravitational radii from the central black and has a kinetic output that matches the prescription for significant feedback. The presence of the lower velocity component of the disk wind is independently confirmed by the analysis of a follow-up XMM-Newton & NuSTAR observation. A faster (v_out~ -0.35 c) component of the wind is also seen in this second observation. During this observation we also witnessed an occultation event lasting \Delta t ~ 120 ksec, which we ascribe to an increase of the opacity of the disk wind (\Delta NH~1.4x10^24 cm^-2). Our interpretation is that the slow zone (v_out~ -0.1c) of the wind is the most stable but inhomogeneous component, while the faster zones could be associated with two different inner streamlines of the wind.


title: The orbital eccentricity of small planet systems

abstract: We determine the orbital eccentricities of individual small Kepler planets, through a combination of asteroseismology and transit light-curve analysis. We are able to constrain the eccentricities of 51 systems with a single transiting planet, which supplement our previous measurements of 66 planets in multi-planet systems. Through a Bayesian hierarchical analysis, we find evidence that systems with only one detected transiting planet have a different eccentricity distribution than systems with multiple detected transiting planets. The eccentricity distribution of the single-transiting systems is well described by the positive half of a zero-mean Gaussian distribution with a dispersion $\sigma_e = 0.32 \pm 0.06$, while the multiple-transit systems are consistent with $\sigma_e = 0.083^{+0.015}_{-0.020}$. A mixture model suggests a fraction of $0.76^{+0.21}_{-0.12}$ of single-transiting systems have a moderate eccentricity, represented by a Rayleigh distribution that peaks at $0.26^{+0.04}_{-0.06}$. This finding may reflect differences in the formation pathways of systems with different numbers of transiting planets. We investigate the possibility that eccentricities are "self-excited" in closely packed planetary systems, as well as the influence of long-period giant companion planets. We find that both mechanisms can qualitatively explain the observations. We do not find any evidence for a correlation between eccentricity and stellar metallicity, as has been seen for giant planets. Neither do we find any evidence that orbital eccentricity is linked to the detection of a companion star. Along with this paper we make available all of the parameters and uncertainties in the eccentricity distributions, as well as the properties of individual systems, for use in future studies.


title: Global Existence of Solutions to the Compressible Euler Equations with Time-dependent Damping and Logarithmic State Equation

abstract: In mathematical physics, the pressure function is determined by the equation of state. There are two existing barotropic state equations: the state equation for polytropic gas with adiabatic index greater than or equal to 1 and the state equation for generalized Chaplygin gas in cosmology. In this paper, a logarithmic pressure is derived naturally with the coexistence of the two existing state equations through an equivalent symmetric hyperbolic transformation. On the study of the logarithmic pressure, global existence of solutions with small initial data to the one-dimensional compressible Euler equations with time-dependent damping is established.


title: Enhanced thermopower via spin-state modification

abstract: We investigated the effect of pressure on the magnetic and thermoelectric properties of Sr$_{3.1}$Y$_{0.9}$Co$_{4}$O$_{10+\delta }$. The magnetization is reduced with the application of pressure, reflecting the spin-state modification of the Co$^{3+}$ ions into the nonmagnetic low-spin state. Accordingly, with increasing pressure, the Seebeck coefficient is enhanced, especially at low temperatures, at which the effect of pressure on the spin state becomes significant. These results indicate that the spin-orbital entropy is a key valuable for the thermoelectric properties of the strongly correlated cobalt oxides.


title: Finite groups with odd Sylow automizers

abstract: Let $p$ be an odd prime number. In this paper, we characterize the nonabelian composition factors of a finite group with odd $p$-Sylow automizers, and then prove that the McKay conjecture, the Alperin weight conjecture and the Alperin-McKay conjecture hold for such group.


title: A Broader View on Bias in Automated Decision-Making: Reflecting on Epistemology and Dynamics

abstract: Machine learning (ML) is increasingly deployed in real world contexts, supplying actionable insights and forming the basis of automated decision-making systems. While issues resulting from biases pre-existing in training data have been at the center of the fairness debate, these systems are also affected by technical and emergent biases, which often arise as context-specific artifacts of implementation. This position paper interprets technical bias as an epistemological problem and emergent bias as a dynamical feedback phenomenon. In order to stimulate debate on how to change machine learning practice to effectively address these issues, we explore this broader view on bias, stress the need to reflect on epistemology, and point to value-sensitive design methodologies to revisit the design and implementation process of automated decision-making systems.


title: Dark Matter Casts Light on the Early Universe

abstract: We show how knowledge of the cold dark matter (CDM) density can be used, in conjunction with measurements of the parameters of a scenario for beyond the Standard Model (BSM) physics, to provide information about the evolution of the Universe before Big Bang Nucleosynthesis (BBN). As examples of non-standard evolution, we consider models with a scalar field that may decay into BSM particles, and quintessence models. We illustrate our calculations using various supersymmetric models as representatives of classes of BSM scenarios in which the CDM density is either larger or smaller than the observed density when the early Universe is assumed to be radiation-dominated. In the case of a decaying scalar field, we show how the CDM density can constrain the initial scalar density and the reheating temperature after it decays in BSM scenarios that would yield overdense dark matter in standard radiation-dominated cosmology, and how the decays of the scalar field into BSM particles can be constrained in scenarios that would otherwise yield underdense CDM. We also show how the early evolution of the quintessence field can be constrained in BSM scenarios.


title: $\textrm{AdS}_{2}\times S^7$ solutions from D0 $-$ F1 $-$ D8 intersections

abstract: We study an exhaustive analytic class of massive type IIA backgrounds preserving sixteen real supercharges and enjoying $\textrm{SL}(2,\mathbb{R})\times\textrm{SO}(8)$ bosonic symmetry. The corresponding geometry is described by $\textrm{AdS}_{2}\times S^{7}$ warped over a line, which turns out to emerge from taking the near-horizon limit of D0 $-$ F1 $-$ D8 intersections. By studying the singularity structure of these solutions we find the possible presence of localized O8/D8 sources, as well as of fundamental strings smeared over the $S^{7}$. Finally we discuss the relation between the aforementioned solutions and the known $\textrm{AdS}_{7}\times S^{2}$ class through double analytic continuation.


title: Studio2Shop: from studio photo shoots to fashion articles

abstract: Fashion is an increasingly important topic in computer vision, in particular the so-called street-to-shop task of matching street images with shop images containing similar fashion items. Solving this problem promises new means of making fashion searchable and helping shoppers find the articles they are looking for. This paper focuses on finding pieces of clothing worn by a person in full-body or half-body images with neutral backgrounds. Such images are ubiquitous on the web and in fashion blogs, and are typically studio photos, we refer to this setting as studio-to-shop. Recent advances in computational fashion include the development of domain-specific numerical representations. Our model Studio2Shop builds on top of such representations and uses a deep convolutional network trained to match a query image to the numerical feature vectors of all the articles annotated in this image. Top-$k$ retrieval evaluation on test query images shows that the correct items are most often found within a range that is sufficiently small for building realistic visual search engines for the studio-to-shop setting.


title: First light with HiPERCAM on the GTC

abstract: HiPERCAM is a quintuple-beam imager that saw first light on the 4.2m William Herschel Telescope (WHT) in October 2017 and on the 10.4m Gran Telescopio Canarias (GTC) in February 2018. The instrument uses re-imaging optics and 4 dichroic beamsplitters to record ugriz (300-1000nm) images simultaneously on its five CCD cameras. The detectors in HiPERCAM are frame-transfer devices cooled thermo-electrically to -90degC, thereby allowing both long-exposure, deep imaging of faint targets, as well as high-speed (over 1000 windowed frames per second) imaging of rapidly varying targets. In this paper, we report on the as-built design of HiPERCAM, its first-light performance on the GTC, and some of the planned future enhancements.


title: Relational Constraints for Metric Learning on Relational Data

abstract: Most of metric learning approaches are dedicated to be applied on data described by feature vectors, with some notable exceptions such as times series, trees or graphs. The objective of this paper is to propose a metric learning algorithm that specifically considers relational data. The proposed approach can take benefit from both the topological structure of the data and supervised labels. For selecting relative constraints representing the relational information, we introduce a link-strength function that measures the strength of relationship links between entities by the side-information of their common parents. We show the performance of the proposed method with two different classical metric learning algorithms, which are ITML (Information Theoretic Metric Learning) and LSML (Least Squares Metric Learning), and test on several real-world datasets. Experimental results show that using relational information improves the quality of the learned metric.


title: Stringy $E$-functions of canonical toric Fano threefolds and their applications

abstract: Let $\Delta$ be a $3$-dimensional lattice polytope containing exactly one interior lattice point. We give a simple combinatorial formula for computing the stringy $E$-function of the $3$-dimensional canonical toric Fano variety $X_{\Delta}$ associated with the polytope $\Delta$. Using the stringy Libgober-Wood identity and our formula, we generalize the well-known combinatorial identity $\sum_{\theta \preceq \Delta \atop \dim (\theta) =1} v(\theta) \cdot v(\theta^*) = 24$ holding in the case of $3$-dimensional reflexive polytopes $\Delta$.


title: Weight-importance sparse training in keyword spotting

abstract: Large size models are implemented in recently ASR system to deal with complex speech recognition problems. The num- ber of parameters in these models makes them hard to deploy, especially on some resource-short devices such as car tablet. Besides this, at most of time, ASR system is used to deal with real-time problem such as keyword spotting (KWS). It is contradictory to the fact that large model requires long com- putation time. To deal with this problem, we apply some sparse algo- rithms to reduces number of parameters in some widely used models, Deep Neural Network (DNN) KWS, which requires real short computation time. We can prune more than 90 % even 95% of parameters in the model with tiny effect decline. And the sparse model performs better than baseline models which has same order number of parameters. Besides this, sparse algorithm can lead us to find rational model size au- tomatically for certain problem without concerning choosing an original model size.


title: Limits on primordial magnetic fields from direct detection experiments of gravitational wave background

abstract: Primordial magnetic fields (PMFs) can source gravitational wave background (GWB). In this paper, we investigate the possible constraints on small-scale PMF considering the ongoing and forthcoming direct detection observations of GWB. In contrast to the conventional cosmological probes, e.g., cosmic microwave background anisotropies, which are useful to investigate large-scale PMFs ($>1 {\rm Mpc}$), the direct detection experiments of GWB can explore small-scale PMFs whose scales correspond to the observed frequencies of GWB. We show that future ground-based or space-based interferometric gravitational wave detectors give a strong constraint of about $10^{2} {\rm nG}$ on much smaller scales of about $k\approx 10^{12} {\rm Mpc}^{-1}$. We also demonstrate that pulsar timing arrays have a potential to strongly constrain PMFs. The current limits on GWB from pulsar timing arrays can put the tight constraint on the amplitude of the PMFs of about $30 {\rm nG}$ whose coherent length is of about $k\approx 10^{6} {\rm Mpc}^{-1}$. The future experiments for the direct detection of GWB by the Square Kilometre Array could give much tighter constraints on the amplitude of PMFs about $5 {\rm nG}$ on $k\approx 10^{6} {\rm Mpc}^{-1}$, on which scales, it is difficult to reach by using the cosmological observations.


title: Partition properties for simply definable colourings

abstract: We study partition properties for uncountable regular cardinals that arise by restricting partition properties defining large cardinal notions to classes of simply definable colourings. We show that both large cardinal assumptions and forcing axioms imply that there is a homogeneous closed unbounded subset of $\omega_1$ for every colouring of the finite sets of countable ordinals that is definable by a $\Sigma_1$-formula that only uses the cardinal $\omega_1$ and real numbers as parameters. Moreover, it is shown that certain large cardinal properties cause analogous partition properties to hold at the given large cardinal and these implications yield natural examples of inaccessible cardinals that possess strong partition properties for $\Sigma_1$-definable colourings and are not weakly compact. In contrast, we show that $\Sigma_1$-definability behaves fundamentally different at $\omega_2$ by showing that various large cardinal assumptions and \emph{Martin's Maximum} are compatible with the existence of a colouring of pairs of elements of $\omega_2$ that is definable by a $\Sigma_1$-formula with parameter $\omega_2$ and has no uncountable homogeneous set. Our results will also allow us to derive tight bounds for the consistency strengths of various partition properties for definable colourings. Finally, we use the developed theory to study the question whether certain homeomorphisms that witness failures of weak compactness at small cardinals can be simply definable.


title: Kerr beam self-cleaning on the $LP_{11}$ mode in graded-index multimode fiber

abstract: We report the experimental observation of Kerr beam self-cleaning in a graded-index multimode fiber, leading to output beam profiles different from a bell shape, close to the $LP_{01}$ mode. For specific coupling conditions, nonlinear coupling among the guided modes can reshape the output speckle pattern generated by a pulsed beam into the low order $LP_{11}$ mode. This was observed in a few meters long multimode fiber with 750 ps pulses at 1064 nm in the normal dispersion regime. The power threshold for $LP_{11}$ mode self-cleaning was about three times larger than that required for Kerr nonlinear self- cleaning into the $LP_{01}$ mode.


title: Inference, Learning, and Population Size: Projectivity for SRL Models

abstract: A subtle difference between propositional and relational data is that in many relational models, marginal probabilities depend on the population or domain size. This paper connects the dependence on population size to the classic notion of projectivity from statistical theory: Projectivity implies that relational predictions are robust with respect to changes in domain size. We discuss projectivity for a number of common SRL systems, and identify syntactic fragments that are guaranteed to yield projective models. The syntactic conditions are restrictive, which suggests that projectivity is difficult to achieve in SRL, and care must be taken when working with different domain sizes.


title: Comparing spatial networks: A 'one size fits all' efficiency-driven approach

abstract: Spatial networks are a powerful framework for studying a large variety of systems belonging to a broad diversity of contexts: from transportation to biology, from epidemiology to communications, and migrations, to cite a few. Spatial networks can be described in terms of their total cost (i.e. the total amount of resources needed for building or traveling their connections). Here, we address the issue of how to gauge and compare the quality of spatial network designs (i.e. efficiency vs. total cost) by proposing a two-step methodology. Firstly, we assess the network's design by introducing a quality function based on the concept of network's efficiency. Second, we propose an algorithm to estimate computationally the upper bound of our quality function for a given network. Complementarily, we provide a universal expression to obtain an approximated upper bound to any spatial network, regardless of its size. Smaller differences between the upper bound and the empirical value correspond to better designs. Finally, we test the applicability of this analytic tool-set on spatial network data-sets of different nature.


title: On the minimum quartet tree cost problem

abstract: Given a set of n data objects and their pairwise dissimilarities, the goal of the minimum quartet tree cost (MQTC) problem is to construct an optimal tree from the total number of possible combinations of quartet topologies on n, where optimality means that the sum of the dissimilarities of the embedded (or consistent) quartet topologies is minimal. We provide details and formulation of this novel challenging problem, and the preliminaries of an exact algorithm under current development which may be useful to improve the MQTC heuristics to date into more efficient hybrid approaches.


title: Computational steering of complex flow simulations

abstract: Computational Steering, the combination of a simulation back-end with a visualisation front-end, offers great possibilities to exploit and optimise scenarios in engineering applications. Due to its interactivity, it requires fast grid generation, simulation, and visualisation and, therefore, mostly has to rely on coarse and inaccurate simulations typically performed on rather small interactive computing facilities and not on much more powerful high-performance computing architectures operated in batch-mode. This paper presents a steering environment that intends to bring these two worlds - the interactive and the classical HPC world - together in an integrated way. The environment consists of efficient fluid dynamics simulation codes and a steering and visualisation framework providing a user interface, communication methods for distributed steering, and parallel visualisation tools. The gap between steering and HPC is bridged by a hierarchical approach that performs fast interactive simulations for many scenario variants increasing the accuracy via hierarchical refinements in dependence of the time the user wants to wait. Finally, the user can trigger large simulations for selected setups on an HPC architecture exploiting the pre-computations already done on the interactive system.


title: Diffusion Approximations for Expert Opinions in a Financial Market with Gaussian Drift

abstract: This paper investigates a financial market where returns depend on an unobservable Gaussian drift process. While the observation of returns yields information about the underlying drift, we also incorporate discrete-time expert opinions as an external source of information. For estimating the hidden drift it is crucial to consider the conditional distribution of the drift given the available observations, the so-called filter. For an investor observing both the return process and the discrete-time expert opinions, we investigate in detail the asymptotic behavior of the filter as the frequency of the arrival of expert opinions tends to infinity. In our setting, a higher frequency of expert opinions comes at the cost of accuracy, meaning that as the frequency of expert opinions increases, the variance of expert opinions becomes larger. We consider a model where information dates are deterministic and equidistant and another model where the information dates arrive randomly as the jump times of a Poisson process. In both cases we derive limit theorems stating that the information obtained from observing the discrete-time expert opinions is asymptotically the same as that from observing a certain diffusion process which can be interpreted as a continuous-time expert. We use our limit theorems to derive so-called diffusion approximations of the filter for high-frequency discrete-time expert opinions. These diffusion approximations are extremely helpful for deriving simplified approximate solutions of utility maximization problems.


title: Bouncing oil droplets, de Broglie's quantum thermostat and convergence to equilibrium

abstract: Recently, the properties of bouncing oil droplets, also known as "walkers", have attracted much attention because they are thought to offer a gateway to a better understanding of quantum behaviour. They constitute indeed a macroscopic realization of wave-particle duality, in the sense that their trajectories are guided by a self-generated surrounding wave. The aim of this paper is to develop a phenomenological theory for the behavior of walkers in terms of de Broglie-Bohm and Nelson dynamics. We study in particular how modifications of the de Broglie pilot-wave theory, \`a la Nelson, affect the process of relaxation to quantum equilibrium, and prove an H-theorem for the relaxation to quantum equilibrium under Nelson dynamics. We compare the onset of equilibrium in the Nelson and de Broglie-Bohm approaches and we also propose some simple experiments by which one can test the applicability of our theory to the context of bouncing oil droplets.


title: Minimum Labelling bi-Connectivity

abstract: A labelled, undirected graph is a graph whose edges have assigned labels, from a specific set. Given a labelled, undirected graph, the well-known minimum labelling spanning tree problem is aimed at finding the spanning tree of the graph with the minimum set of labels. This combinatorial problem, which is NP-hard, can be also formulated as to give the minimum number of labels that provide single connectivity among all the vertices of the graph. Here we consider instead the problem of finding the minimum set of labels that provide bi-connectivity among all the vertices of the graph. A graph is bi-connected if there are at least two disjoint paths joining every pair of vertices. We consider both bi-connectivity concept: the edge bi-connectivity where these paths cannot have a common edge and the vertex bi-connectivity where the paths cannot have a common vertex. We describe our preliminary investigation on the problem and provide the details on the solution approaches for the problem under current development.


title: The Interplay between Lexical Resources and Natural Language Processing

abstract: Incorporating linguistic, world and common sense knowledge into AI/NLP systems is currently an important research area, with several open problems and challenges. At the same time, processing and storing this knowledge in lexical resources is not a straightforward task. This tutorial proposes to address these complementary goals from two methodological perspectives: the use of NLP methods to help the process of constructing and enriching lexical resources and the use of lexical resources for improving NLP applications. Two main types of audience can benefit from this tutorial: those working on language resources who are interested in becoming acquainted with automatic NLP techniques, with the end goal of speeding and/or easing up the process of resource curation; and on the other hand, researchers in NLP who would like to benefit from the knowledge of lexical resources to improve their systems and models. The slides of the tutorial are available at https://bitbucket.org/luisespinosa/lr-nlp/


title: Eigenstate entanglement between quantum chaotic subsystems: universal transitions and power laws in the entanglement spectrum

abstract: We derive universal entanglement entropy and Schmidt eigenvalue behaviors for the eigenstates of two quantum chaotic systems coupled with a weak interaction. The progression from a lack of entanglement in the noninteracting limit to the entanglement expected of fully randomized states in the opposite limit is governed by the single scaling transition parameter, $\Lambda$. The behaviors apply equally well to few- and many-body systems, e.g.\ interacting particles in quantum dots, spin chains, coupled quantum maps, and Floquet systems as long as their subsystems are quantum chaotic, and not localized in some manner. To calculate the generalized moments of the Schmidt eigenvalues in the perturbative regime, a regularized theory is applied, whose leading order behaviors depend on $\sqrt{\Lambda}$. The marginal case of the $1/2$ moment, which is related to the distance to closest maximally entangled state, is an exception having a $\sqrt{\Lambda}\ln \Lambda$ leading order and a logarithmic dependence on subsystem size. A recursive embedding of the regularized perturbation theory gives a simple exponential behavior for the von Neumann entropy and the Havrda-Charv{\' a}t-Tsallis entropies for increasing interaction strength, demonstrating a universal transition to nearly maximal entanglement. Moreover, the full probability densities of the Schmidt eigenvalues, i.e.\ the entanglement spectrum, show a transition from power laws and L\'evy distribution in the weakly interacting regime to random matrix results for the strongly interacting regime. The predicted behaviors are tested on a pair of weakly interacting kicked rotors, which follow the universal behaviors extremely well.


title: Strategic behaviour and indicative price diffusion in Paris Stock Exchange auctions

abstract: We report statistical regularities of the opening and closing auctions of French equities, focusing on the diffusive properties of the indicative auction price. Two mechanisms are at play as the auction end time nears: the typical price change magnitude decreases, favoring underdiffusion, while the rate of these events increases, potentially leading to overdiffusion. A third mechanism, caused by the strategic behavior of traders, is needed to produce nearly diffusive prices: waiting to submit buy orders until sell orders have decreased the indicative price and vice-versa.


title: New Oe stars in LAMOST DR5

abstract: Stars of spectral type Oe are very rare. To date, only 13 Oe stars have been identified within our Galaxy. In this paper, we present six new Oe stars and four new B0e stars found in LAMOST DR5. Repeated spectral observations of the same Oe stars show some emission line variability. The H$\beta$ emission of TYC 4801-17-1 shows rapid V/R variation. Phase lags in the V/R ratio of TYC 4801-17-1 spectra are also seen. We found the unusual O4.5 star RL 128 is an Oe star with variable H$\alpha$ intensity and its Ca II triplet emission appears when H$\alpha$ emission reaches maximum intensity. These newly identified early type Oe and B0e stars significantly increase the known sample.


title: Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

abstract: Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability checkers. Often, relationships between variables of interest are not expressible directly as purely symbolic constraints. To this end, we present a new approach -- neuro-symbolic execution -- which learns an approximation of the relationship as a neural net. It features a constraint solver that can solve mixed constraints, involving both symbolic expressions and neural network representation. To do so, we envision such constraint solving as procedure combining SMT solving and gradient-based optimization. We demonstrate the utility of neuro-symbolic execution in constructing exploits for buffer overflows. We report success on 13/14 programs which have difficult constraints, known to require specialized extensions to symbolic execution. In addition, our technique solves $100$\% of the given neuro-symbolic constraints in $73$ programs from standard verification and invariant synthesis benchmarks.


title: Wide acceptance measurement of the K$^-$/K$^+$ ratio from Ni+Ni collisions at 1.91A GeV

abstract: The FOPI Collaboration at the GSI SIS-18 synchrotron measured charged kaons from central and semi-central collisions of Ni+Ni at a beam energy of 1.91A GeV. We present the distribution of the K$^-$\K$^+$ ratio on the energy vs polar angle plane in the nucleon-nucleon center-of-mass frame, with and without subtraction of the contribution of $\phi$(1020) meson decays to the K$^-$ yield. The acceptance of the current experiment is substantially wider compared to the previous measurement of the same colliding system. The ratio of K$^-$ to K$^+$ energy spectra is expected to be sensitive to the in-medium modifications of basic kaon properties like mass. Recent results obtained by the HADES Collaboration at 1.23A and 1.76A GeV indicate that after inclusion of the $\phi$ meson decay contribution to the K$^-$ production no difference between the slopes of the K$^-$ and K$^+$ energy spectra is observed within uncertainties. For our data a linear fit to this ratio obtained after subtraction of the $\phi$ meson contribution still shows a decrease with kinetic energy, although a constant value cannot be rejected. The contribution of $\Lambda(1520) \rightarrow p\text{K}^-$ decays estimated from fitting the thermal model to the experimental yields appears to be another factor of moderate relevance.


title: Stellar contributions to the line profiles of high-resolution transmission spectra of exoplanets

abstract: In-depth studies of exoplanetary atmospheres are starting to become reality. In order to unveil their properties in detail, we need spectra with a higher S/N and also more sophisticated analysis methods. With high-resolution spectrographs, we can not only detect the sodium feature in the atmosphere of exoplanets, but also characterize it by studying its line profile. After finding a clearly w-shaped sodium line profile in the transmission spectrum of HD189733b, we investigated possible sources of contamination given by the star and tried to correct for these spurious deformations. By analyzing the single transmission spectra of HD189733b in the wavelength space, we show that the main sodium signal that causes the absorption in the transmission spectrum is centered on the stellar rest frame. We concentrate on two main stellar effects that contaminate the transmission spectrum: center-to-limb variations and stellar rotation. We show the effects on the line profile: while we correct for the CLV using simulated theoretical stellar spectra, we provide a new method, based directly on observational data, to correct for the RM contribution to the line profile of the retrieved transmission spectrum. We apply the corrections to the spectra of HD189733b. Our analysis shows line profiles of the Na D lines in the transmission spectrum that are narrower than reported previously. The correction of the D2 line, which is deeper than the D1, is probably still incomplete since the planetary radius is larger at this wavelength. A careful detrending from spurious stellar effects followed by an inspection in the velocity space is mandatory when studying the line profile of atmospheric features in the high-resolution transmission spectrum of exoplanets. Data with higher S/N coupled with improved atmospheric models will allow us to adapt the magnitude of the corrections of stellar effects in an iterative way.


title: Classifying neuromorphic data using a deep learning framework for image classification

abstract: In the field of artificial intelligence, neuromorphic computing has been around for several decades. Deep learning has however made much recent progress such that it consistently outperforms neuromorphic learning algorithms in classification tasks in terms of accuracy. Specifically in the field of image classification, neuromorphic computing has been traditionally using either the temporal or rate code for encoding static images in datasets into spike trains. It is only till recently, that neuromorphic vision sensors are widely used by the neuromorphic research community, and provides an alternative to such encoding methods. Since then, several neuromorphic datasets as obtained by applying such sensors on image datasets (e.g. the neuromorphic CALTECH 101) have been introduced. These data are encoded in spike trains and hence seem ideal for benchmarking of neuromorphic learning algorithms. Specifically, we train a deep learning framework used for image classification on the CALTECH 101 and a collapsed version of the neuromorphic CALTECH 101 datasets. We obtained an accuracy of 91.66% and 78.01% for the CALTECH 101 and neuromorphic CALTECH 101 datasets respectively. For CALTECH 101, our accuracy is close to the best reported accuracy, while for neuromorphic CALTECH 101, it outperforms the last best reported accuracy by over 10%. This raises the question of the suitability of such datasets as benchmarks for neuromorphic learning algorithms.


title: Douglas factorization theorem revisited

abstract: Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For such an operator $A$, we show that the equation $AX=C$ has a positive solution if and only if the range inclusion ${\mathcal R}(C) \subseteq {\mathcal R}(A)$ holds and $CC^*\le t\, CA^*$ for some $t>0$. In addition, we deal with the solvability of the operator equation $(P+Q)^{1/2}X=P$, where $P$ and $Q$ are projections. We provide a counterexample to show that there exists a $C^*$-algebra $\mathfrak{A}$, a Hilbert $\mathfrak{A}$-module $\mathscr{H}$ and projections $P$ and $Q$ on $\mathscr{H}$ such that the operator equation $(P+Q)^{1/2}X=P$ has no solution. Moreover, we give a perturbation result related to the latter equation.


title: Edge metric dimension of some generalized Petersen graphs

abstract: The edge metric dimension problem was recently introduced, which initiated the study of its mathematical properties. The theoretical properties of the edge metric representations and the edge metric dimension of generalized Petersen graphs $GP(n,k)$ are studied in this paper. We prove the exact formulae for $GP(n,1)$ and $GP(n, 2)$, while for the other values of $k$ the lower bound is stated.


title: Dynamic load balancing strategies for hierarchical p-FEM solvers

abstract: Equation systems resulting from a p-version FEM discretisation typically require a special treatment as iterative solvers are not very efficient here. Applying hierarchical concepts based on a nested dissection approach allow for both the design of sophisticated solvers as well as for advanced parallelisation strategies. To fully exploit the underlying computing power of parallel systems, dynamic load balancing strategies become an essential component.


title: Tunable Nb superconducting resonators based upon a Ne-FIB-fabricated constriction nanoSQUID

abstract: Hybrid superconducting--spin systems offer the potential to combine highly coherent atomic quantum systems with the scalability of superconducting circuits. To fully exploit this potential requires a high quality-factor microwave resonator, tunable in frequency and able to operate at magnetic fields optimal for the spin system. Such magnetic fields typically rule out conventional Al-based Josephson junction devices that have previously been used for tunable high-$Q$ microwave resonators. The larger critical field of niobium (Nb) allows microwave resonators with large field resilience to be fabricated. Here, we demonstrate how constriction-type weak links, patterned in parallel into the central conductor of a Nb coplanar resonator using a neon focused ion beam (FIB), can be used to implement a frequency-tunable resonator. We study transmission through two such devices and show how they realise high quality factor, tunable, field resilient devices which hold promise for future applications coupling to spin systems.


title: Sample Efficient Semantic Segmentation using Rotation Equivariant Convolutional Networks

abstract: We propose a semantic segmentation model that exploits rotation and reflection symmetries. We demonstrate significant gains in sample efficiency due to increased weight sharing, as well as improvements in robustness to symmetry transformations. The group equivariant CNN framework is extended for segmentation by introducing a new equivariant (G->Z2)-convolution that transforms feature maps on a group to planar feature maps. Also, equivariant transposed convolution is formulated for up-sampling in an encoder-decoder network. To demonstrate improvements in sample efficiency we evaluate on multiple data regimes of a rotation-equivariant segmentation task: cancer metastases detection in histopathology images. We further show the effectiveness of exploiting more symmetries by varying the size of the group.


title: Dark matter search with the SABRE experiment

abstract: The SABRE (Sodium Iodide with Active Background REjection) experiment will search for an annually modulating signal from dark matter using an array of ultra-pure NaI(Tl) detectors surrounded by an active scintillator veto to further reduce the background. The first phase of the experiment is the SABRE Proof of Principle (PoP), a single 5 kg crystal detector operated in a liquid scintillator filled vessel at Laboratori Nazionali del Gran Sasso (LNGS). The SABRE-PoP installation is underway with the goal of running in 2018 and performing the first in situ measurement of the crystal background, testing the veto efficiency, and validating the SABRE concept. The second phase of SABRE will be twin arrays of NaI(Tl) detectors operating at LNGS and at the Stawell Underground Physics Laboratory (SUPL) in Australia. By locating detectors in both hemispheres, SABRE will minimize seasonal systematic effects. This paper presents the status report of the SABRE activities as well as the results from the most recent Monte Carlo simulation and the expected sensitivity.


title: Lattice Path Matroids are 3-Colorable

abstract: We show that every lattice path matroid of rank at least two has a quite simple coline, also known as a positive coline. Therefore every orientation of a lattice path matroid is 3-colorable with respect to the chromatic number of oriented matroids introduced by J. Ne\v{s}et\v{r}il, R. Nickel, and W. Hochst\"attler.


title: Tensor Network simulation of polaron-polaritons in organic microcavities

abstract: In the regime of strong coupling between molecular excitons and confined optical modes, the intra-molecular degrees of freedom are profoundly affected, leading to a reduced vibrational dressing of polaritons compared to bare electronically excited states. However, existing models only describe a single vibrational mode in each molecule, while actual molecules possess a large number of vibrational degrees of freedom and additionally interact with a continuous bath of phononic modes in the host medium in typical experiments. In this work, we investigate a small ensemble of molecules with an arbitrary number of vibrational degrees of freedom under strong coupling to a microcavity mode. We demonstrate that reduced vibrational dressing is still present in this case, and show that the influence of the phononic environment on most electronic and photonic observables in the lowest excited state can be predicted from just two collective parameters of the vibrational modes. Besides, we explore vibrational features that can be addressed exclusively by our extended model and could be experimentally tested. Our findings indicate that vibronic coupling is more efficiently suppressed for environments characterised by low-frequency (sub-Ohmic) modes.


title: The Droplet Formation-Dissolution Transition in Different Ensembles: Finite-Size Scaling from Two Perspectives

abstract: The formation and dissolution of a droplet is an important mechanism related to various nucleation phenomena. Here, we address the droplet formation-dissolution transition in a two-dimensional Lennard-Jones gas to demonstrate a consistent finite-size scaling approach from two perspectives using orthogonal control parameters. For the canonical ensemble, this means that we fix the temperature while varying the density and vice versa. Using specialised parallel multicanonical methods for both cases, we confirm analytical predictions at fixed temperature (rigorously only proven for lattice systems) and corresponding scaling predictions from expansions at fixed density. Importantly, our methodological approach provides us with reference quantities from the grand canonical ensemble that enter the analytical predictions. Our orthogonal finite-size scaling setup can be exploited for theoretical and experimental investigations of general nucleation phenomena - if one identifies the corresponding reference ensemble and adapts the theory accordingly. In this case, our numerical approach can be readily translated to the corresponding ensembles and thereby proves very useful for numerical studies of equilibrium droplet formation, in general.


title: Duality Respecting Representations and Compatible Complexity Measures for Gammoids

abstract: We show that every gammoid has special digraph representations, such that a representation of the dual of the gammoid may be easily obtained by reversing all arcs. In an informal sense, the duality notion of a poset applied to the digraph of a special representation of a gammoid commutes with the operation of forming the dual of that gammoid. We use these special representations in order to define a complexity measure for gammoids, such that the classes of gammoids with bounded complexity are closed under duality, minors, and direct sums.


title: Lifted Marginal MAP Inference

abstract: Lifted inference reduces the complexity of inference in relational probabilistic models by identifying groups of constants (or atoms) which behave symmetric to each other. A number of techniques have been proposed in the literature for lifting marginal as well MAP inference. We present the first application of lifting rules for marginal-MAP (MMAP), an important inference problem in models having latent (random) variables. Our main contribution is two fold: (1) we define a new equivalence class of (logical) variables, called Single Occurrence for MAX (SOM), and show that solution lies at extreme with respect to the SOM variables, i.e., predicate groundings differing only in the instantiation of the SOM variables take the same truth value (2) we define a sub-class {\em SOM-R} (SOM Reduce) and exploit properties of extreme assignments to show that MMAP inference can be performed by reducing the domain of SOM-R variables to a single constant.We refer to our lifting technique as the {\em SOM-R} rule for lifted MMAP. Combined with existing rules such as decomposer and binomial, this results in a powerful framework for lifted MMAP. Experiments on three benchmark domains show significant gains in both time and memory compared to ground inference as well as lifted approaches not using SOM-R.


title: The Complexity of Approximately Counting Retractions

abstract: Let $G$ be a graph that contains an induced subgraph $H$. A retraction from $G$ to $H$ is a homomorphism from $G$ to $H$ that is the identity function on $H$. Retractions are very well-studied: Given $H$, the complexity of deciding whether there is a retraction from an input graph $G$ to $H$ is completely classified, in the sense that it is known for which $H$ this problem is tractable (assuming $\mathrm{P}\neq \mathrm{NP}$). Similarly, the complexity of (exactly) counting retractions from $G$ to $H$ is classified (assuming $\mathrm{FP}\neq \#\mathrm{P}$). However, almost nothing is known about approximately counting retractions. Our first contribution is to give a complete trichotomy for approximately counting retractions to graphs of girth at least $5$. Our second contribution is to locate the retraction counting problem for each $H$ in the complexity landscape of related approximate counting problems. Interestingly, our results are in contrast to the situation in the exact counting context. We show that the problem of approximately counting retractions is separated both from the problem of approximately counting homomorphisms and from the problem of approximately counting list homomorphisms --- whereas for exact counting all three of these problems are interreducible. We also show that the number of retractions is at least as hard to approximate as both the number of surjective homomorphisms and the number of compactions. In contrast, exactly counting compactions is the hardest of all of these exact counting problems.


title: Massive Anti-de Sitter Gravity from String Theory

abstract: We study top-down embeddings of massive Anti-de Sitter (AdS) gravity in type-IIB string theory. The supergravity solutions have a AdS$_4$ fiber warped over a manifold M$_6$ whose shape resembles that of scottish bagpipes: The `bag' is a conventional AdS$_4$-compactification manifold, while the `pipes' are highly-curved semi-infinite Janus throats. Besides streamlining previous discussions of the problem, our main new result is a formula for the graviton mass which only depends on the effective gravitational coupling of the bag, and on the D3-brane charges and dilaton jumps of the Janus throats. We compare these embeddings to the Karch-Randall model and other bottom-up proposals for massive-AdS-gravity, and we comment on their holographic interpretation. This is a companion paper to [1], where some closely-related bimetric models with pure AdS$_5\times$S$^5$ throats were analyzed.


title: Neural Lattice Decoders

abstract: Lattice decoders constructed with neural networks are presented. Firstly, we show how the fundamental parallelotope is used as a compact set for the approximation by a neural lattice decoder. Secondly, we introduce the notion of Voronoi-reduced lattice basis. As a consequence, a first optimal neural lattice decoder is built from Boolean equations and the facets of the Voronoi cell. This decoder needs no learning. Finally, we present two neural decoders with learning. It is shown that L1 regularization and {\em a priori} information about the lattice structure lead to a simplification of the model.


title: Muon g-2 and rare top decays in up-type specific variant axion models

abstract: The invisible variant axion models (VAM's) offer a very attractive solution for the strong CP problem without the domain wall problem. We consider the up-type specific variant axion models and examine their compatibility with the muon $g-2$ anomaly and the constraints from lepton flavor universality, several flavor observables, and top quark measurements. We find that the combined $\chi^2$ fit favors the parameters $m_A\sim 15$ GeV and $\tan\beta \sim 40$, the same as the type-X 2HDM. Moreover, we find that there are no conflict with any flavor observables as long as the mixing angle $\rho_u$ is sufficiently small. In particular, a small nonzero mixing angle $\rho_u \sim \pi/100$ is slightly favored by the observed $B_s \to \mu\mu$ branching ratio. The up-specific VAM predicts the flavor-violating top rare decay $t\to uA$ followed by $A \to \tau\tau$, which would provide a smoking gun signature at the LHC. We show that current searches of $A$ already impose some constraints on the parameter space but are not sensitive to the most interesting light $m_A$ region. We propose an efficient search strategy that employs di-tau tagging using jet substructure information, and demonstrate that it can enhance the sensitivity on $BR(t \to uA)$, especially in the light $m_A$ region. This model also predicts the flavor-violating decay of heavy Higgs bosons, such as $H \to t u$, that would suppress the $H \to \tau\tau/\mu\mu$ decays. We also examine the up-specific VAM with the muon-specific lepton sector and the down-type specific VAM's as interesting alternative scenarios.


title: Well-Scaling Procedure for Deciding Gammoid Class-Membership of Matroids

abstract: We introduce a procedure that solves the decision problem whether a given matroid M is a gammoid. The procedure consists of three pieces: First, we introduce a notion of a valid matroid tableau which captures the current state of knowledge regarding the properties of matroids related to the matroid under consideration. Second, we give a sufficient set of rules that may be used to generate valid matroid tableaux. Third, we introduce a succession of steps that ultimately lead to a decisive tableau starting with any valid tableau. We argue that the decision problem scales well with respect to parallel computation models.


title: Logical Explanations for Deep Relational Machines Using Relevance Information

abstract: Our interest in this paper is in the construction of symbolic explanations for predictions made by a deep neural network. We will focus attention on deep relational machines (DRMs, first proposed by H. Lodhi). A DRM is a deep network in which the input layer consists of Boolean-valued functions (features) that are defined in terms of relations provided as domain, or background, knowledge. Our DRMs differ from those proposed by Lodhi, which use an Inductive Logic Programming (ILP) engine to first select features (we use random selections from a space of features that satisfies some approximate constraints on logical relevance and non-redundancy). But why do the DRMs predict what they do? One way of answering this is the LIME setting, in which readable proxies for a black-box predictor. The proxies are intended only to model the predictions of the black-box in local regions of the instance-space. But readability alone may not enough: to be understandable, the local models must use relevant concepts in an meaningful manner. We investigate the use of a Bayes-like approach to identify logical proxies for local predictions of a DRM. We show: (a) DRM's with our randomised propositionalization method achieve state-of-the-art predictive performance; (b) Models in first-order logic can approximate the DRM's prediction closely in a small local region; and (c) Expert-provided relevance information can play the role of a prior to distinguish between logical explanations that perform equivalently on prediction alone.


title: Microscopic predictions of the nuclear matter liquid-gas phase transition

abstract: We present first-principle predictions for the liquid-gas phase transition in symmetric nuclear matter employing both two- and three-nucleon chiral interactions. Our discussion focuses on the sources of systematic errors in microscopic quantum many body predictions. On the one hand, we test uncertainties of our results arising from changes in the construction of chiral Hamiltonians. We use five different chiral forces with consistently derived three-nucleon interactions. On the other hand, we compare the ladder resummation in the self-consistent Green's functions approach to finite temperature Brueckner--Hartree--Fock calculations. We find that systematics due to Hamiltonians dominate over many-body uncertainties. Based on this wide pool of calculations, we estimate that the critical temperature is $T_c=16 \pm 2$ MeV, in reasonable agreement with experimental results. We also find that there is a strong correlation between the critical temperature and the saturation energy in microscopic many-body simulations.


title: $\mathbb Z_2$-graded codimensions of unital algebras

abstract: We study polynomial identities of nonassociative algebras constructed by using infinite binary words and their combinatorial properties. Infinite periodic and Sturmian words were first applied for constructing examples of algebras with arbitrary real PI-exponent greater than one. Later we used these algebras for confirmation of the conjecture that PI-exponent increases precisely by one after adjoining an external unit to a given algebra. Here we prove the same result for these algebras for graded identities and graded PI-exponent, provided that the grading group is cyclic of order two.


title: A Pulmonary Nodule Detection Model Based on Progressive Resolution and Hierarchical Saliency

abstract: Detection of pulmonary nodules on chest CT is an essential step in the early diagnosis of lung cancer, which is critical for best patient care. Although a number of computer-aided nodule detection methods have been published in the literature, these methods still have two major drawbacks: missing out true nodules during the detection of nodule candidates and less-accurate identification of nodules from non-nodule. In this paper, we propose an automated pulmonary nodule detection algorithm that jointly combines progressive resolution and hierarchical saliency. Specifically, we design a 3D progressive resolution-based densely dilated FCN, namely the progressive resolution network (PRN), to detect nodule candidates inside the lung, and construct a densely dilated 3D CNN with hierarchical saliency, namely the hierarchical saliency network (HSN), to simultaneously identify genuine nodules from those candidates and estimate the diameters of nodules. We evaluated our algorithm on the benchmark LUng Nodule Analysis 2016 (LUNA16) dataset and achieved a state-of-the-art detection score. Our results suggest that the proposed algorithm can effectively detect pulmonary nodules on chest CT and accurately estimate their diameters.


title: Relating chemical bonding to physical properties: The origin of unexpected isotropic properties in layered materials

abstract: Layered materials span a very broad range of solids ranging from van der Waals materials to highly complex crystal structures such as clays. They are commonly believed to have highly anisotropic properties, which is essentially attributed to weak interlayer interactions. The layered Mg3Sb2 structure is currently being intensely scrutinized due to its outstanding thermoelectric properties. Based on quantitative chemical bonding analysis we unravel that Mg3Sb2 exhibits a nearly isotropic three-dimensional (3D) bonding network with the interlayer and intralayer bonds being surprisingly similar, and these unique chemical bonding features are the origin of the nearly isotropic structural and thermal properties. The isotropic 3D bonding network is found to be broadly applicable to many Mg-containing compounds with the layered CaAl2Si2-type structure. Intriguingly, a parameter based on the electron density can be used as an indicator measuring the anisotropy of lattice thermal conductivity in layered structures. This work extends our understanding of structure and properties based on chemical bonding analysis, and it will guide the search for, and design of, layered materials with tailored anisotropic properties.


title: Heavy Arc Orientations of Gammoids

abstract: In this work, we introduce a purely combinatorial way to obtain realizable orientations of a gammoid from a total order on the arc set of the digraph representing it, without first obtaining a matrix representing the gammoid over the reals.


title: Crowd Counting using Deep Recurrent Spatial-Aware Network

abstract: Crowd counting from unconstrained scene images is a crucial task in many real-world applications like urban surveillance and management, but it is greatly challenged by the camera's perspective that causes huge appearance variations in people's scales and rotations. Conventional methods address such challenges by resorting to fixed multi-scale architectures that are often unable to cover the largely varied scales while ignoring the rotation variations. In this paper, we propose a unified neural network framework, named Deep Recurrent Spatial-Aware Network, which adaptively addresses the two issues in a learnable spatial transform module with a region-wise refinement process. Specifically, our framework incorporates a Recurrent Spatial-Aware Refinement (RSAR) module iteratively conducting two components: i) a Spatial Transformer Network that dynamically locates an attentional region from the crowd density map and transforms it to the suitable scale and rotation for optimal crowd estimation; ii) a Local Refinement Network that refines the density map of the attended region with residual learning. Extensive experiments on four challenging benchmarks show the effectiveness of our approach. Specifically, comparing with the existing best-performing methods, we achieve an improvement of 12% on the largest dataset WorldExpo'10 and 22.8% on the most challenging dataset UCF_CC_50.


title: Semantic Query Language for Temporal Genealogical Trees

abstract: Computers play a crucial role in modern ancestry management, they are used to collect, store, analyze, sort and display genealogical data. However, current applications do not take into account the kinship structure of a natural language. In this paper we propose a new domain-specific language KISP which is based on a formalization of English kinship system, for accessing and querying traditional genealogical trees. KISP is a dynamically typed LISP-like programming language with a rich set of features, such as kinship term reduction and temporal information expression. Our solution provides a user with a coherent genealogical framework that allows for a natural navigation over any traditional family tree.


title: A Fixed-Target Programme at the LHC: Physics Case and Projected Performances for Heavy-Ion, Hadron, Spin and Astroparticle Studies

abstract: We review the context, the motivations and the expected performances of a comprehensive and ambitious fixed-target program using the multi-TeV proton and ion LHC beams. We also provide a detailed account of the different possible technical implementations ranging from an internal wire target to a full dedicated beam line extracted with a bent crystal. The possibilities offered by the use of the ALICE and LHCb detectors in the fixed-target mode are also reviewed.


title: Revisiting the semi-flexible entangled chains of polymer in the carbyne model

abstract: The Monte Carlo carbyne model is modified to investigate the glass transition of the semi-flexible entangled polymer chains. The stochastic bombardment between monomers are monitored by Metropolis algorithm with help of the consideration of hard potential while the mobility of monomers is governed by its mass, scattering rate and temperature. Our model is capable to show that the glass transition temperature reduces with decreasing film thickness and the formation of critical voids in the thinner polymer contributing to the glass transition that is much easier than the bulk polymer.


title: A glimpse of heavy scales through the electroweak resonance theory

abstract: The apparent absence of new heavy states at the LHC below the TeV scale points that there is a gap in the electroweak energy spectrum. This scenario is conveniently described through the electroweak effective theory, an effective description that contains the Standard Model fields and symmetries. A generic non-linear realization of the electroweak symmetry breaking pattern $SU(2)_L \otimes SU(2)_R \to SU(2)_{L+R}$ with a singlet Higgs is adopted, with no assumption about how it couples to the Standard Model. To seek for heavy particles, we formulate the electroweak resonance theory as the most general high-energy Lagrangian including both fermionic and $J^P = 0^\pm,\, 1^\pm$ bosonic heavy states, where all the resonances can form n-plets under the electroweak and the color group. An extended analysis of the imprints that the heavy states leave on the low-energy theory is performed, with an special emphasis on spin-1 fields and their formalism implementation. We study the phenomenology of the $P$ even purely bosonic sector of the resonance theory, where the low-energy predictions are refined with the assumption of very reasonable ultraviolet constraints.


title: Anatomy of $B_s \to VV $ decays and effects of next-to-leading order contributions in the perturbative QCD factorization approach

abstract: By employing the perturbative QCD (PQCD) factorization approach, we calculated the branching ratios, CP-violating asymmetries, the longitudinal and transverse polarization fractions and other physical observables of the thirteen charmless hadronic $\bar{B}^0_s \to V V $ decays with the inclusion of all currently known next-to-leading order (NLO) contributions. We focused on the examination of the effects of all those currently known NLO contributions and found that: (a) for the measured decays $\bar{ B}_s^0 \to \phi \phi, K^{*0} \phi,\bar K^{*0} K^{*0}$ and $\rho^0 \phi$, the NLO contributions can provide $\sim 20\%$ to $\sim 40\%$ enhancements to the leading order (LO) PQCD predictions of their CP-averaged branching ratios, and consequently the agreement between the PQCD predictions and the measured values are improved effectively after the inclusion of the NLO contributions; (b) for the measured decays, the NLO corrections to the LO PQCD predictions for $(f_L,f_\perp)$ and $(\phi_{\|},\phi_{\bot})$ are generally small in size, but the weak penguin annihilation contributions play an important role in understanding the data about their decay rates, $f_L$ and $f_\perp$; (c) the NLO PQCD predictions for above mentioned physical observables do agree with the measured ones and the theoretical predictions from the QCDF, SCET and FAT approaches; (d) for other considered $B_s^0 \to VV$ decays, the NLO PQCD predictions for their decay rates and other physical observables are also basically consistent with the theoretical predictions from other popular approaches, future precision measurements could help us to test or examine these predictions.


title: Probabilistic Databases with an Infinite Open-World Assumption

abstract: Probabilistic databases (PDBs) introduce uncertainty into relational databases by specifying probabilities for several possible instances. Traditionally, they are finite probability spaces over database instances. Such finite PDBs inherently make a closed-world assumption: non-occurring facts are assumed to be impossible, rather than just unlikely. As convincingly argued by Ceylan et al. (KR '16), this results in implausibilities and clashes with intuition. An open-world assumption, where facts not explicitly listed may have a small positive probability can yield more reasonable results. The corresponding open-world model of Ceylan et al., however, assumes that all entities in the PDB come from a fixed finite universe. In this work, we take one further step and propose a model of "truly" open-world PDBs with an infinite universe. This is natural when we consider entities from typical domains such as integers, real numbers, or strings. While the probability space might become infinitely large, all instances of a PDB remain finite. We provide a sound mathematical framework for infinite PDBs generalizing the existing theory of finite PDBs. Our main results are concerned with countable, tuple-independent PDBs; we present a generic construction showing that such PDBs exist in the infinite and provide a characterization of their existence. This construction can be used to give an open-world semantics to finite PDBs. The construction can also be extended to so-called block-independent-disjoint probabilistic databases. Algorithmic questions are not the focus of this paper, but we show how query evaluation algorithms can be lifted from finite PDBs to perform approximate evaluation (with an arbitrarily small additive approximation error) in countably infinite tuple-independent PDBs.


title: Rigorous asymptotics of a KdV soliton gas

abstract: We analytically study the long time and large space asymptotics of a new broad class of solutions of the KdV equation introduced by Dyachenko, Zakharov, and Zakharov. These solutions are characterized by a Riemann--Hilbert problem which we show arises as the limit $N\to \infty$ of a gas of $N$-solitons. We show that this gas of solitons in the limit $N \to \infty$ is slowly approaching a cnoidal wave solution for $x \to - \infty$ (up to terms of order $\mathcal{O} (1/x)$), while approaching zero exponentially fast for $x\to+\infty$. We establish an asymptotic description of the gas of solitons for large times that is valid over the entire spatial domain, in terms of Jacobi elliptic functions.


title: The ring of local tropical fans and tropical nearby monodromy eigenvalues

abstract: We extend the tropical intersection theory to tropicalizations of germs of analytic sets. In particular, we construct a (not entirely obvious) local version of the ring of tropical fans with a nondegenerate intersection pairing. As an application, we study nearby monodromy eigenvalues -- the eigenvalues of the monodromy operators of singularities, adjacent to a given singularity of a holomorphic function $f$. More precisely, we express some of such values in terms of certain resolutions of $f$. The expression is given it terms of the exceptional divisor strata of arbitrary codimension, generalizing the classical A'Campo formula that consumes only codimension 1 strata and produces only monodromy eigenvalues at the origin. For this purpose, we introduce tropical characteristic classes of germs of analytic sets, and use this calculus to detect some of the nearby monodromy eigenvalues, which we call tropical. The study is motivated by the monodromy conjectures by Igusa, Denef and Loeser: every pole of an appropriate local zeta function of $f$ induces a nearby monodromy eigenvalue. We propose a presumably stronger version of this conjecture: all poles of the local zeta function induce tropical nearby monodromy eigenvalues. In particular, if the singularity is non-degenerate with respect to its Newton polyhedron $N$, then the tropical monodromy eigenvalues can be expressed in terms of fiber polytopes of certain faces of $N$, so our conjecture (unlike the original ones) becomes a purely combinatorial statement about a polyhedron. This statement is confirmed for the topological zeta function in dimension up to 4 in a joint work with A. Lemahieu and K. Takeuchi, which, in particular, supports our conjecture and proves the original one for non-degenerate singularities in 4 variables.


title: Picosecond acoustic excitation driven ultrafast magnetization dynamics in dielectric Bi-substituted yttrium iron garnet

abstract: Using femtosecond optical pulses, we have investigated the ultrafast magnetization dynamics induced in a dielectric film of bismuth-substituted yttrium iron garnet (Bi-YIG) buried below a thick Cu/Pt metallic bilayer. We show that exciting the sample from Pt surface launches an acoustic strain pulse propagating into the garnet film. We discovered that this strain pulse induces a coherent magnetization precession in the Bi-YIG at the frequency of the ferromagnetic resonance. The observed phenomena can be explain by strain-induced changes of magnetocristalline anisotropy via the inverse magnetostriction effect. These findings open new perspectives toward the control of the magnetization in magnetic garnets embedded in complex heterostructure devices.


title: Electron-electron interactions of the multi-Cooper-pairs in the 1D limit and their role in the formation of global phase coherence in quasi-one-dimensional superconducting nanowire arrays

abstract: Nanostructuring of superconducting materials to form dense arrays of thin parallel nanowires with significantly large transverse Josephson coupling has proven to be an effective way to increase the upper critical field of superconducting elements by as much as two orders of magnitude as compared to the corresponding bulk materials and, in addition, may cause considerable enhancements in their critical temperatures. Such materials have been realized in the linear pores of mesoporous substrates or exist intrinsically in the form of various quasi-1D crystalline materials. The transverse coupling between the superconducting nanowires is determined by the size-dependent coherence length E0. In order to obtain E0 over the Langer-Ambegaokar- McCumber-Halperin (LAMH) theory, extensive experimental fitting parameters have been required over the last 40 years. We propose a novel Monte Carlo algorithm for determining E0 of the multi-Cooper pair system in the 1D limit. The concepts of uncertainty principle, Pauli-limit, spin flip mechanism, electrostatic interaction, thermal perturbation and co-rotating of electrons are considered in the model. We use Pb nanowires as an example to monitor the size effect of E0 as a result of the modified electron-electron interaction without the need for experimental fitting parameters. We investigate how the coherence length determines the transverse coupling of nanowires in dense arrays. This determines whether or not a global phase-coherent state with zero resistance can be formed in such arrays. Our Monte Carlo results are in very good agreement with experimental data from various types of superconducting nanowire arrays


title: Multi-modal Egocentric Activity Recognition using Audio-Visual Features

abstract: Egocentric activity recognition in first-person videos has an increasing importance with a variety of applications such as lifelogging, summarization, assisted-living and activity tracking. Existing methods for this task are based on interpretation of various sensor information using pre-determined weights for each feature. In this work, we propose a new framework for egocentric activity recognition problem based on combining audio-visual features with multi-kernel learning (MKL) and multi-kernel boosting (MKBoost). For that purpose, firstly grid optical-flow, virtual-inertia feature, log-covariance, cuboid are extracted from the video. The audio signal is characterized using a "supervector", obtained based on Gaussian mixture modelling of frame-level features, followed by a maximum a-posteriori adaptation. Then, the extracted multi-modal features are adaptively fused by MKL classifiers in which both the feature and kernel selection/weighing and recognition tasks are performed together. The proposed framework was evaluated on a number of egocentric datasets. The results showed that using multi-modal features with MKL outperforms the existing methods.


title: Synchronization of periodic self-oscillators interacting via memristor-based coupling

abstract: A model of two self-sustained oscillators interacting through memristive coupling is studied. Memristive coupling is realized by using a cubic memristor model. Numerical simulation is combined with theoretical analysis by means of quasi-harmonic reduction. It is shown that specifics of the memristor nonlinearity results in appearance of infinitely many equilibrium points, which form a line of equilibria in the phase space of the system under study. It is established that possibility to observe the effect of phase locking in the considered system depends both on parameter values and initial conditions. Consequently, boundaries of a synchronization area are determined by the initial conditions. It is demonstrated that addition of a small term into the memristor state equation gives rise to disappearance of the line of equilibria and eliminates the dependence of synchronization on the initial conditions.


title: Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming

abstract: In probabilistic reasoning, the traditionally discrete domain has been elevated to the hybrid domain encompassing additionally continuous random variables. Inference in the hybrid domain, however, usually necessitates to condone trade-offs on either the inference on discrete or continuous random variables. We introduce a novel approach based on weighted model integration and algebraic model counting that circumvents these trade-offs. We then show how it supports knowledge compilation and exact probabilistic inference. Moreover, we introduce the hybrid probabilistic logic programming language HAL-ProbLog, an extension of ProbLog, to which we apply our inference approach.


title: A new decision theoretic sampling plan for type-I and type-I hybrid censored samples from the exponential distribution

abstract: The study proposes a new decision theoretic sampling plan (DSP) for Type-I and Type-I hybrid censored samples when the lifetimes of individual items are exponentially distributed with a scale parameter. The DSP is based on an estimator of the scale parameter which always exists, unlike the MLE which may not always exist. Using a quadratic loss function and a decision function based on the proposed estimator, a DSP is derived. To obtain the optimum DSP, a finite algorithm is used. Numerical results demonstrate that in terms of the Bayes risk, the optimum DSP is as good as the Bayesian sampling plan (BSP) proposed by \cite{lin2002bayesian} and \cite{liang2013optimal}. The proposed DSP performs better than the sampling plan of \cite{Lam1994bayesian} and \cite{lin2008-10exact} in terms of Bayes risks. The main advantage of the proposed DSP is that for higher degree polynomial and non-polynomial loss functions, it can be easily obtained as compared to the BSP.


title: Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs

abstract: We study Ramsey's theorem for pairs and two colours in the context of the theory of $\alpha$-large sets introduced by Ketonen and Solovay. We prove that any $2$-colouring of pairs from an $\omega^{300n}$-large set admits an $\omega^n$-large homogeneous set. We explain how a formalized version of this bound gives a more direct proof, and a strengthening, of the recent result of Patey and Yokoyama [Adv. Math. 330 (2018), 1034--1070] stating that Ramsey's theorem for pairs and two colours is $\forall\Sigma^0_2$-conservative over the axiomatic theory $\mathsf{RCA}_0$ (recursive comprehension).


title: Using mobile service for supply chain management : a survey and challenges

abstract: Efficient supply chain management calls for robust analytical and optimal models to automate its process. Therefore, information technology is an essential ingredient that integrates these tools in supply chain. With the emergence of wireless, the high technologies and the reliability of mobile devices, mobile web services draw a promising horizon facing economic challenges. They offer new personalized services to each actor in the supply chain on their mobile devices at anytime and anywhere. This paper presents a literature review of mobile web service implemented on the industry context based on the supply chain management approach. First, a large definition of mobile web service and some proposal architecture are exposed. Then the paper discuss some generic related work on mobile web service focusing on supply chain management. Finally some challenges on m-service oriented supply chain management are proposed.


title: Adaptive multi-fidelity polynomial chaos approach to Bayesian inference in inverse problems

abstract: The polynomial chaos (PC) expansion has been widely used as a surrogate model in the Bayesian inference to speed up the Markov chain Monte Carlo (MCMC) calculations. However, the use of a PC surrogate introduces the modeling error, that may severely distort the estimate of the posterior distribution. This error can be corrected by increasing the order of the PC expansion, but the cost for building the surrogate may increase dramatically. In this work, we seek to address this challenge by proposing an adaptive procedure to construct a multi-fidelity PC surrogate. This new strategy combines (a large number of) low-fidelity surrogate model evaluations and (a small number of) high-fidelity model evaluations, yielding an adaptive multi-fidelity approach. Here the low-fidelity surrogate is chosen as the prior-based PC surrogate, while the high-fidelity model refers to the true forward model. The key idea is to construct and refine the multi-fidelity approach over a sequence of samples adaptively determined form data, so that the approximation can eventually concentrate to the posterior distribution. We illustrate the performance of the proposed strategy through two nonlinear inverse problems. It is shown that the proposed adaptive multi-fidelity approach can improve significantly the accuracy, yet without a dramatic increase in the computational complexity. The numerical results also indicate that our new algorithm can enhance the efficiency by several orders of magnitude compared to a standard MCMC approach using only the true forward model.


title: Harnessing AI for Speech Reconstruction using Multi-view Silent Video Feed

abstract: Speechreading or lipreading is the technique of understanding and getting phonetic features from a speaker's visual features such as movement of lips, face, teeth and tongue. It has a wide range of multimedia applications such as in surveillance, Internet telephony, and as an aid to a person with hearing impairments. However, most of the work in speechreading has been limited to text generation from silent videos. Recently, research has started venturing into generating (audio) speech from silent video sequences but there have been no developments thus far in dealing with divergent views and poses of a speaker. Thus although, we have multiple camera feeds for the speech of a user, but we have failed in using these multiple video feeds for dealing with the different poses. To this end, this paper presents the world's first ever multi-view speech reading and reconstruction system. This work encompasses the boundaries of multimedia research by putting forth a model which leverages silent video feeds from multiple cameras recording the same subject to generate intelligent speech for a speaker. Initial results confirm the usefulness of exploiting multiple camera views in building an efficient speech reading and reconstruction system. It further shows the optimal placement of cameras which would lead to the maximum intelligibility of speech. Next, it lays out various innovative applications for the proposed system focusing on its potential prodigious impact in not just security arena but in many other multimedia analytics problems.


title: Strong Dynamics and Natural Inflation

abstract: We continue our investigation of the 4d effective field theory for closed string axions in Type II compactifications with D-branes. The inclusion of St\"uckelberg couplings for the axions requires the presence of chiral fermions at D-brane intersections, whose interactions at strong non-Abelian gauge coupling induce mass terms for the axions and scalar chiral condensate excitations, dubbed infladrons. The set-up allows for a realization of natural-like inflation with a closed string axion as inflaton and a flattened scalar potential due to the back-reaction of the more massive infladrons. We further point out that this large field inflationary model is not compromised by axionic wormhole corrections.


title: W polarization in $e^+e^-$, gluon-gluon and $\gamma\gamma \to W t\bar b $ for testing the top quark mass structure and the presence of final interactions

abstract: We analyze the $Wt\bar b$ production processes and especially the rate of longitudinal $W$ polarization sensitive to a possible top quark mass scale dependence and to the presence of strong final state $Wt$ interactions for example generated by a dark matter environment. We give illustrations for the three processes $e^+e^-$, gluon-gluon and $\gamma\gamma \to W t\bar b $.


title: Automorphisms of graph products of groups and acylindrical hyperbolicity

abstract: This article is dedicated to the study of the acylindrical hyperbolicity of automorphism groups of graph products of groups. Our main result is that, if $\Gamma$ is a finite graph which contains at least two vertices and is not a join and if $\mathcal{G}$ is a collection of finitely generated irreducible groups, then either $\Gamma \mathcal{G}$ is infinite dihedral or $\mathrm{Aut}(\Gamma \mathcal{G})$ is acylindrically hyperbolic. This theorem is new even for right-angled Artin groups and right-angled Coxeter groups. Various consequences are deduced from this statement and from the techniques used to prove it. For instance, we show that the automorphism groups of most graph products verify vastness properties such as being SQ-universal; we show that many automorphism groups of graph products do not satisfy Kazhdan's property (T); we solve the isomorphism problem between graph products in some cases; and we show that a graph product of coarse median groups, as defined by Bowditch, is coarse median itself.


title: Long-time asymptotics for the Massive Thirring model

abstract: We consider the massive Thirring model and establish pointwise long-time behavior of its solutions in weighted Sobolev spaces. For soliton-free initial data we can show that the solution converges to a linear solution modulo a phase correction caused by the cubic nonlinearity. For initial data that support finitely many solitons we obtain long-time behavior in the form of a multi-soliton which in turn splits into a sum of localized solitons. This phenomenon is known as soliton resolution. The methods we will is the nonlinear steepest descent of Deift and Zhou and the paper also relies on recent progress in the inverse scattering transform for the massive Thirring model.


title: Indirect search for color octet electron at PWFA-LC

abstract: Indirect search for color octet electron at Plasma Wake Field Accelerator- Linear Collider (PWFA-LC) has been considered. It is shown that color octet electron masses can be probed up to 17.7 TeV at PWFA-LC with three years integrated luminosity. In addition, the compositeness scale can be probed up to 38.5 TeV.


title: Lack of thermalization for integrability-breaking impurities

abstract: We investigate the effects of localized integrability-breaking perturbations on the large times dynamics of thermodynamic quantum and classical systems. In particular, we suddenly activate an impurity which breaks the integrability of an otherwise homogeneous system. We focus on the large times dynamics and on the thermalization properties of the impurity, which is shown to have mere perturbative effects even at infinite times, thus preventing thermalization. This is in clear contrast with homogeneous integrability-breaking terms, which display the prethermalization paradigm and are expected to eventually cause thermalization, no matter the weakness of the integrability-breaking term. Analytic quantitative results are obtained in the case where the bulk Hamiltonian is free and the impurity interacting.


title: An isoperimetric inequality for Hamming balls and local expansion in hypercubes

abstract: We prove a vertex isoperimetric inequality for the $n$-dimensional Hamming ball $\mathcal{B}_n(R)$ of radius $R$. The isoperimetric inequality is sharp up to a constant factor for sets that are comparable to $\mathcal{B}_n(R)$ in size. A key step in the proof is a local expansion phenomenon in hypercubes.


title: More on Equienergetic Threshold Graphs

abstract: The energy of a graph is defined as the sum the absolute values of the eigenvalues of its adjacency matrix. A threshold graph G on n vertices is coded by a binary sequence of length n. In this paper we answer a question posed by Jacobs et al. [Eigenvalues and energy in threshold graphs, Linear Algebra Appl. 465 (2015) 412-425], by giving an infinite sequences of threshold graphs having the same energy but differ to the complete graph's energy.


title: A hybrid organic/inorgaic scintillator for high performance measurements

abstract: New experimental research programs in the field of neutrino physics are calling for new detectors with large masses, high energy resolution and good background rejection capabilities. This paper presents a novel hybrid organic/inorganic scintillator, which is able to improve on all three aspects simultaneously. This scintillator consists of microscopic grains of inorganic crystals suspended in an organic scintillating carrier medium. Due to multiple scattering off the crystals, this scintillator appears opaque over longer distances and is intended for use in specialized detectors. Thanks to the crystal phase it can natively incorporate a large variety of elements in large quantities, so that a sufficiently large detector can reach elemental loadings on the ton- or multiton scale. At the same time, this composition can produce very high light outputs and provides additional particle identification capabilities. This scintillator concept is expected to provide significant advantages for future neutrino experiments, like searches of neutrinoless double beta experiments and reactor antineutrino physics.


title: Systematic classification of three-loop realizations of the Weinberg operator

abstract: We study systematically the decomposition of the Weinberg operator at three-loop order. There are more than four thousand connected topologies. However, the vast majority of these are infinite corrections to lower order neutrino mass diagrams and only a very small percentage yields models for which the three-loop diagrams are the leading order contribution to the neutrino mass matrix. We identify 73 topologies that can lead to genuine three-loop models with fermions and scalars, i.e. models for which lower order diagrams are automatically absent without the need to invoke additional symmetries. The 73 genuine topologies can be divided into two sub-classes: Normal genuine ones (44 cases) and special genuine topologies (29 cases). The latter are a special class of topologies, which can lead to genuine diagrams only for very specific choices of fields. The genuine topologies generate 374 diagrams in the weak basis, which can be reduced to only 30 distinct diagrams in the mass eigenstate basis. We also discuss how all the mass eigenstate diagrams can be described in terms of only five master integrals. We present some concrete models and for two of them we give numerical estimates for the typical size of neutrino masses they generate. Our results can be readily applied to construct other $d=5$ neutrino mass models with three loops.


title: Polarimetric and spectroscopic study of radio-quiet weak emission line quasars

abstract: A small subset of optically selected radio-quiet quasars showing weak or no emission lines may turn out to be the elusive radio-quiet BL Lac objects, or simply be radio-quiet QSOs with a still-forming/shielded broad line region (BLR). High polarisation ($p$ $>$ 3$-$4$\%$), a hallmark of BL Lacs, can be used to test whether some optically selected `radio-quiet weak emission line quasars' (RQWLQs) show a fractional polarisation high enough to qualify as radio-quiet analogs of BL Lac objects. Out of the observed six RQWLQs candidates showing an insignificant proper motion, only two are found to have $p$ $>$ 1$\%$. For these two RQWLQs, namely J142505.59$+$035336.2, J154515.77+003235.2, we found polarisation of 1.03$\pm$0.36$\%$, 1.59$\pm$0.53$\%$ respectively, which again is too modest to justify a (radio-quiet) BL Lac classification. We also present here a statistical comparison of the optical spectral index, for a set of 40 RQWLQs with redshift-luminosity matched control sample of 800 QSOs and an equivalent sample of 120 blazars. The spectral index distribution of RQWLQs is found to differ, at a high significance level, from that of blazars and is consistent with that of the ordinary QSOs. Likewise, a structure-function analysis of photometric light curves presented here suggests that the mechanism driving optical variability in RQWLQs is similar to that operating in QSOs and different from that of blazars. These findings are consistent with the common view that the central engine in RQWLQs, as a population, is akin to that operating in normal QSOs and the primary differences between them might be related to differences in the BLR.


title: A fermionic impurity in a dipolar quantum droplet

abstract: In this article we develop the framework to describe Bose-Fermi mixtures of magnetic atoms, focusing on the interaction of bosonic self-bound dipolar quantum droplets with a small number of fermions. We find an attractive interaction potential due to the dipolar interaction with several bound states, which can be occupied by one fermion each, resulting in a very weak back-action on the bosons. We conclude, that these impurities might act as unique probes giving access to inherent properties of dipolar quantum droplets.


title: Bubbling analysis and geometric convergence results for free boundary minimal surfaces

abstract: We investigate the limit behaviour of sequences of free boundary minimal hypersurfaces with bounded index and volume, by presenting a detailed blow-up analysis near the points where curvature concentration occurs. Thereby, we derive a general quantization identity for the total curvature functional, valid in ambient dimension less than eight and applicable to possibly improper limit hypersurfaces. In dimension three, this identity can be combined with the Gauss-Bonnet theorem to provide a constraint relating the topology of the free boundary minimal surfaces in a converging sequence, of their limit, and of the bubbles or half-bubbles that occur as blow-up models. We present various geometric applications of these tools, including a description of the behaviour of index one free boundary minimal surfaces inside a 3-manifold of non-negative scalar curvature and strictly mean convex boundary. In particular, in the case of compact, simply connected, strictly mean convex domains in $\mathbb{R}^3$ unconditional convergence occurs for all topological types except the disk and the annulus, and in those cases the possible degenerations are classified.


title: The Cylinder Theorem in ${\cal H}^2\times R$

abstract: We consider cylinders in ${\cal H}^2\times R$ (see definitions in the introduction) and prove that a complete and connected surface in ${\cal H}^2\times R$ with the vanishing of the Gauss and extrinsic curvatures is a cylinder.


title: Mixing of the Square Plaquette Model on a Critical Length Scale

abstract: Plaquette models are short range ferromagnetic spin models that play a key role in the dynamic facilitation approach to the liquid glass transition. In this paper we study the dynamics of the square plaquette model at the smallest of the three critical length scales discovered in arXiv:1707.03036. Our main result is the computation of the spectral gap, and mixing times, for two natural boundary conditions. We observe that these time scales depend heavily on the boundary condition in this scaling regime.


title: Investigation of dust attenuation and star formation activity in galaxies hosting GRBs

abstract: The gamma-ray bursts hosts (GRBHs) are excellent targets to study the extinction properties of dust and its effects on the global emission of distant galaxies. The dust extinction curve is measured along the GRB afterglow line of sight and the analysis of the spectral energy distribution (SED) of the host galaxy gives access to the global dust attenuation of the stellar light. We selected a sample of 30 GRBs for which the extinction curve along the GRB afterglow line-of-sight (l.o.s) is measured in the rest-frame ultraviolet (UV) up to optical and we analysed the properties of the extinction curve as a function of the host galaxy properties. From these 30 GRBs, we selected seven GRBHs with a good rest-frame UV to near infra-red spectral coverage for the host. The attenuation curve was derived by fitting the SEDs of the GRBH sample with the CIGALE SED fitting code. Different star formation histories were studied to recover the star formation rates (SFR) derived using H$_{\alpha}$ luminosities. The most extinguished GRBs are preferentially found in the more massive hosts and the UV bump is preferentially found in the most extinguished GRB l.o.s. Five out of seven hosts are best fitted with a recent burst of star formation, leading to lower stellar mass estimates than previously found. The average attenuation in the host galaxies is about 70% of the amount of extinction along the GRB l.o.s. We find a great variety in the derived attenuation curves of GRBHs, the UV slope can be similar, flatter or even steeper than the extinction curve slope. We find that the flatter (steeper) attenuation curves are found in galaxies with the highest (lowest) SFR and stellar masses. The comparison of our results with radiative transfer simulations leads to a uniform distribution of dust and stars in a very clumpy ISM for half the GRBHs and various dust-stars geometries for the second half of the sample.


title: Adaptation to Easy Data in Prediction with Limited Advice

abstract: We derive an online learning algorithm with improved regret guarantees for `easy' loss sequences. We consider two types of `easiness': (a) stochastic loss sequences and (b) adversarial loss sequences with small effective range of the losses. While a number of algorithms have been proposed for exploiting small effective range in the full information setting, Gerchinovitz and Lattimore [2016] have shown the impossibility of regret scaling with the effective range of the losses in the bandit setting. We show that just one additional observation per round is sufficient to circumvent the impossibility result. The proposed Second Order Difference Adjustments (SODA) algorithm requires no prior knowledge of the effective range of the losses, $\varepsilon$, and achieves an $O(\varepsilon \sqrt{KT \ln K}) + \tilde{O}(\varepsilon K \sqrt[4]{T})$ expected regret guarantee, where $T$ is the time horizon and $K$ is the number of actions. The scaling with the effective loss range is achieved under significantly weaker assumptions than those made by Cesa-Bianchi and Shamir [2018] in an earlier attempt to circumvent the impossibility result. We also provide a regret lower bound of $\Omega(\varepsilon\sqrt{T K})$, which almost matches the upper bound. In addition, we show that in the stochastic setting SODA achieves an $O\left(\sum_{a:\Delta_a>0} \frac{K^3 \varepsilon^2}{\Delta_a}\right)$ pseudo-regret bound that holds simultaneously with the adversarial regret guarantee. In other words, SODA is safe against an unrestricted oblivious adversary and provides improved regret guarantees for at least two different types of `easiness' simultaneously.


title: Mammography Dual View Mass Correspondence

abstract: Standard breast cancer screening involves the acquisition of two mammography X-ray projections for each breast. Typically, a comparison of both views supports the challenging task of tumor detection and localization. We introduce a deep learning, patch-based Siamese network for lesion matching in dual-view mammography. Our locally-fitted approach generates a joint patch pair representation and comparison with a shared configuration between the two views. We performed a comprehensive set of experiments with the network on standard datasets, among them the large Digital Database for Screening Mammography (DDSM). We analyzed the effect of transfer learning with the network between different types of datasets and compared the network-based matching to using Euclidean distance by template matching. Finally, we evaluated the contribution of the matching network in a full detection pipeline. Experimental results demonstrate the promise of improved detection accuracy using our approach.