title: On the regularity of Cauchy hypersurfaces and temporal functions in closed cone structures

abstract: We complement our work on the causality of upper semi-continuous distributions of cones with some results on Cauchy hypersurfaces. We prove that every locally stably acausal Cauchy hypersurface is stable. Then we prove that the signed distance $d_S$ from a spacelike hypersurface $S$ is, in a neighborhood of it, as regular as the hypersurface, and by using this fact we give a proof that every Cauchy hypersurface is the level set of a Cauchy temporal (and steep) function of the same regularity as the hypersurface. We also show that in a globally hyperbolic closed cone structure compact spacelike hypersurfaces with boundary can be extended to Cauchy spacelike hypersurfaces of the same regularity. We end the work with a separation result and a density result.


title: An $\mathrm{\textit{ab-initio}}$ effective solid state photoluminescence by frequency constraint of cluster calculation

abstract: Measuring the photoluminescence of defects in crystals is a common experimental technique for analysis and identification. However, current theoretical simulations typically require the simulation of a large number of atoms to eliminate finite size effects, which discourages computationally expensive excited state methods. We show how to extract the room-temperature photoluminescence spectra of defect centres in bulk from an $\mathrm{\textit{ab-initio}}$ simulation of a defect in small clusters. The finite size effect of small clusters manifests as strong coupling to low frequency vibrational modes. We find that removing vibrations below a cutoff frequency determined by constrained optimization returns the main features of the solid state photoluminescence spectrum. This strategy is illustrated for an NV$^{-}$ defect in diamond, presenting a connection between defects in solid state and clusters; the first vibrationally resolved $\mathrm{\textit{ab-initio}}$ photoluminescence spectrum of an NV$^{-}$ defect in a nanodiamond; and an alternative technique for simulating photoluminescence for solid state defects utilizing more accurate excited state methods.


title: Multi-Macdonald polynomials

abstract: We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.


title: Post-Newtonian limit of scalar-torsion theories of gravity as analogue to scalar-curvature theories

abstract: We consider a recently proposed class of extended teleparallel theories of gravity, which entail a scalar field which is non-minimally coupled to the torsion of a flat, metric-compatible connection. This class of scalar-torsion theories of gravity is constructed in analogy to and as a direct extension of the well-studied class of scalar-curvature gravity theories, and has various common features, such as the conformal frame freedom. For this class we determine the parametrized post-Newtonian limit, both for a massive and a massless scalar field. In the massive case, we determine the effective gravitational constant and the post-Newtonian parameter $\gamma$, both of which depend on the distance between the gravitating and test masses. In the massless case, we calculate the full set of parameters and find that only $\gamma$ and $\beta$ potentially deviate from their general relativity values. In particular, we find that for a minimally coupled scalar field the theory becomes indistinguishable from general relativity at this level of the post-Newtonian approximation.


title: Impact of disorder on dynamics and ordering in the honeycomb lattice iridate Na$_2$IrO$_3$

abstract: Kitaev's honeycomb spin-liquid model and its proposed realization in materials such as $\alpha$-RuCl$_3$, Li$_2$IrO$_3$ and Na$_2$IrO$_3$ continue to present open questions about how the dynamics of a spin-liquid are modified in the presence of non-Kitaev interactions as well as the presence of inhomogeneities. Here we use $^{23}$Na nuclear magnetic resonance to probe both static and dynamical magnetic properties in single crystal Na$_2$IrO$_3$. We find that the NMR shift follows the bulk susceptibility above 30 K but deviates from it below; moreover below $T_N$ the spectra show a broad distribution of internal magnetic fields. Both of these results provide evidence for inequivalent magnetic sites at low temperature, suggesting inhomogeneities are important for the magnetism. The spin-lattice relaxation rate is isotropic and diverges at $T_N$, suggesting that the Kitaev cubic axes may control the critical quantum spin fluctuations. In the ordered state, we observe gapless excitations, which may arise from site substitution, emergent defects from milder disorder, or possibly be associated with nearby quantum paramagnetic states distinct from the Kitaev spin liquid.


title: Locality, Statefulness, and Causality in Distributed Information Systems (Concerning the Scale Dependence Of System Promises)

abstract: Several popular best-practice manifestos for IT design and architecture use terms like `stateful', `stateless', `shared nothing', etc, and describe `fact based' or `functional' descriptions of causal evolution to describe computer processes, especially in cloud computing. The concepts are used ambiguously and sometimes in contradictory ways, which has led to many imprecise beliefs about their implications. This paper outlines the simple view of state and causation in Promise Theory, which accounts for the scaling of processes and the relativity of different observers in a natural way. It's shown that the concepts of statefulness or statelessness are artifacts of observational scale and causal bias towards functional evaluation. If we include feedback loops, recursion, and process convergence, which appear acausal to external observers, the arguments about (im)mutable state need to be modified in a scale-dependent way. In most cases the intended focus of such remarks is not terms like `statelessness' but process predictability. A simple principle may be substituted in most cases as a guide to system design: the principle the separation of dynamic scales. Understanding data reliance and the ability to keep stable promises is of crucial importance to the consistency of data pipelines, and distributed client-server interactions, albeit in different ways. With increasingly data intensive processes over widely separated distributed deployments, e.g. in the Internet of Things and AI applications, the effects of instability need a more careful treatment. These notes are part of an initiative to engage with thinkers and practitioners towards a more rational and disciplined language for systems engineering for era of ubiquitous extended-cloud computing.


title: Targets and Holes

abstract: We address the extreme value problem of a one-dimensional dynamical system approaching a fixed target while constrained to avoid a fixed set which can be thought of as a small hole. The presence of the latter influences the extremal index which will now depend explicitly on the escape rate.


title: Spatially Inhomogeneous Competition between Superconductivity and the Charge Density Wave in YBa$_2$Cu$_3$O$_{6.67}$

abstract: The charge density wave in the high-temperature superconductor YBa$_2$Cu$_3$O$_{7-x}$ (YBCO) is now known to have two different ordering tendencies differentiated by their $c$-axis correlations. These correspond to ferro- (F-CDW) and antiferro- (AF-CDW) couplings between CDW in neighbouring CuO$_2$ bilayers. This discovery has prompted a number of fundamental questions. For example, how does superconductivity adjust to two competing orders and are either of these orders responsible for the electronic reconstruction? Here we use high-energy x-ray diffraction to study YBa$_2$Cu$_3$O$_{6.67}$ as a function of magnetic field and temperature. We show that regions of the sample with F-CDW correlations suppress superconductivity more strongly than those with AF-CDW correlations. This implies that an inhomogeneous superconducting state exists, in which some regions show a weak or fragile form of superconductivity. By comparison of F-CDW and AF-CDW correlation lengths, it is furthermore concluded that F-CDW ordering is sufficiently long-range to modify the electronic structure. Our study thus suggests that F-CDW correlations have an important impact on superconducting and normal state properties of underdoped YBCO.


title: Phonon renormalization in the Kitaev quantum spin liquid

abstract: We study the self-energy of phonons, magnetoelastically coupled to the two-dimensional Kitaev spin-model on the honeycomb lattice. Fractionalization of magnetic moments into mobile Majorana matter and a static $\mathbb{Z}_{2}$ gauge field lead to a continuum of relaxation processes comprising two channels. Thermal flux excitations, which act as an emergent disorder, strongly affect the phonon renormalization. Above the flux proliferation temperature, the dispersion of a narrow quasiparticle-hole channel is suppressed in favor of broad and only weakly momentum dependent features, covering large spectral ranges. Our analysis is based on complementary calculations in the low-temperature homogeneous gauge and a mean-field treatment of thermal gauge fluctuations, valid at intermediate and high temperatures.


title: Maximal subgroups of countable groups, a survey

abstract: This paper is a survey on the works [MS77, MS79, MS81] on maximal subgroups in finitely generated linear groups, and the works that followed it [GG08, GG13b, GG13a, Kap03, Iva92, HO16, GM16, AGS14, Sf90, Sf98, Per05, AKT16, FG18, GS17] concerning maximal subgroups of infinite index in linear groups as well as in various other groups possessing a suitable geometry or dynamics.


title: Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing

abstract: Weighted model integration (WMI) is a very appealing framework for probabilistic inference: it allows to express the complex dependencies of real-world hybrid scenarios where variables are heterogeneous in nature (both continuous and discrete) via the language of Satisfiability Modulo Theories (SMT); as well as computing probabilistic queries with arbitrarily complex logical constraints. Recent work has shown WMI inference to be reducible to a model integration (MI) problem, under some assumptions, thus effectively allowing hybrid probabilistic reasoning by volume computations. In this paper, we introduce a novel formulation of MI via a message passing scheme that allows to efficiently compute the marginal densities and statistical moments of all the variables in linear time. As such, we are able to amortize inference for arbitrarily rich MI queries when they conform to the problem structure, here represented as the primal graph associated to the SMT formula. Furthermore, we theoretically trace the tractability boundaries of exact MI. Indeed, we prove that in terms of the structural requirements on the primal graph that make our MI algorithm tractable - bounding its diameter and treewidth - the bounds are not only sufficient, but necessary for tractable inference via MI.


title: Minimum size generating partitions and their application to demand fulfillment optimization problems

abstract: For $n$ and $k$ integers we introduce the notion of some partition of $n$ being able to generate another partition of $n$. We solve the problem of finding the minimum size partition for which the set of partitions this partition can generate contains all size-$k$ partitions of $n$. We describe how this result can be applied to solving a class of combinatorial optimization problems.


title: Sparse regularization of inverse problems by operator-adapted frame thresholding

abstract: We analyze sparse frame based regularization of inverse problems by means of a diagonal frame decomposition (DFD) for the forward operator, which generalizes the SVD. The DFD allows to define a non-iterative (direct) operator-adapted frame thresholding approach which we show to provide a convergent regularization method with linear convergence rates. These results will be compared to the well-known analysis and synthesis variants of sparse $\ell^1$-regularization which are usually implemented thorough iterative schemes. If the frame is a basis (non-redundant case), the three versions of sparse regularization, namely synthesis and analysis variants of $\ell^1$ regularization as well as the DFD thresholding are equivalent. However, in the redundant case, those three approaches are pairwise different.


title: Computing Full Conformal Prediction Set with Approximate Homotopy

abstract: If you are predicting the label $y$ of a new object with $\hat y$, how confident are you that $y = \hat y$? Conformal prediction methods provide an elegant framework for answering such question by building a $100 (1 - \alpha)\%$ confidence region without assumptions on the distribution of the data. It is based on a refitting procedure that parses all the possibilities for $y$ to select the most likely ones. Although providing strong coverage guarantees, conformal set is impractical to compute exactly for many regression problems. We propose efficient algorithms to compute conformal prediction set using approximated solution of (convex) regularized empirical risk minimization. Our approaches rely on a new homotopy continuation technique for tracking the solution path with respect to sequential changes of the observations. We also provide a detailed analysis quantifying its complexity.


title: 2-D Cluster Variation Method Free Energy: Fundamentals and Pragmatics

abstract: Despite being invented in 1951 by R. Kikuchi, the 2-D Cluster Variation Method (CVM), has not yet received attention. Nevertheless, this method can usefully characterize 2-D topographies using just two parameters; the activation enthalpy and the interaction enthalpy. This Technical Report presents 2-D CVM details, including the dependence of the various configuration variables on the enthalpy parameters, as well as illustrations of various topographies (ranging from scale-free-like to rich club-like) that result from different parameter selection. The complete derivation for the analytic solution, originally presented simply as a result in Kikuchi and Brush (1967) is given here, along with careful comparison of the analytically-predicted configuration variables versus those obtained when performing computational free energy minimization on a 2-D grid. The 2-D CVM can potentially function as a secondary free energy minimization within the hidden layer of a neural network, providing a basis for extending node activations over time and allowing temporal correlation of patterns.


title: Non-existence of Yamabe minimizers on singular spheres

abstract: We prove that a minimizer of the Yamabe functional does not exist for a sphere $\mathbb{S}^n$ of dimension $n \geq 3$, endowed with a standard edge-cone spherical metric of cone angle greater than or equal to $4\pi$, along a great circle of codimension two. When the cone angle along the singularity is smaller than $2\pi$, the corresponding metric is known to be a Yamabe metric, and we show that all Yamabe metrics in its conformal class are obtained from it by constant multiples and conformal diffeomorphisms preserving the singular set.


title: Investigating early-type galaxy evolution with a multi-wavelength approach. III. Insights from SPH simulations with chemo-photometric implementation

abstract: We are exploring galaxy evolution in low density environments exploiting smooth particle hydrodynamic simulations including chemo-photometric implementation. From a large grid of simulations of galaxy encounters and mergers starting from triaxial halos of gas e dark matter, we single out the simulations matching the global properties of our targets. These simulations are used to give insights into their evolution. We focus on 11 early-type galaxies selected because of their nearly passive stage of evolution in the nuclear region. However, a variety of UV features are detected in more than half of these galaxies. We find no significant differences in the formation mechanisms between galaxies with or without UV features. Major and minor mergers are able to reproduce their peculiar UV morphologies, galaxy encounters are more suitable for 'normal' early-type galaxies. Their star formation rate self-quenches several Gyr later the merger/encounter occurred, via gas exhaustion and stellar feedback, moving the galaxy from blue to red colors, driving the galaxy transformation. The length of the quenching is mass dependent and lasts from 1 to 5 Gyr or more in the less massive systems. All our targets are gas rich at redshift 1. Three of them assembled at most 40% of their current stellar mass at z>1, and seven assembled more than 50% between redshift 0.5 and 1. Their stellar mass grows with 4% by crossing the Green Valley before reaching their current position on the NUV-r vs. Mr diagram.


title: FACE: Feasible and Actionable Counterfactual Explanations

abstract: Work in Counterfactual Explanations tends to focus on the principle of "the closest possible world" that identifies small changes leading to the desired outcome. In this paper we argue that while this approach might initially seem intuitively appealing it exhibits shortcomings not addressed in the current literature. First, a counterfactual example generated by the state-of-the-art systems is not necessarily representative of the underlying data distribution, and may therefore prescribe unachievable goals(e.g., an unsuccessful life insurance applicant with severe disability may be advised to do more sports). Secondly, the counterfactuals may not be based on a "feasible path" between the current state of the subject and the suggested one, making actionable recourse infeasible (e.g., low-skilled unsuccessful mortgage applicants may be told to double their salary, which may be hard without first increasing their skill level). These two shortcomings may render counterfactual explanations impractical and sometimes outright offensive. To address these two major flaws, first of all, we propose a new line of Counterfactual Explanations research aimed at providing actionable and feasible paths to transform a selected instance into one that meets a certain goal. Secondly, we propose FACE: an algorithmically sound way of uncovering these "feasible paths" based on the shortest path distances defined via density-weighted metrics. Our approach generates counterfactuals that are coherent with the underlying data distribution and supported by the "feasible paths" of change, which are achievable and can be tailored to the problem at hand.


title: A clusterwise supervised learning procedure based on aggregation of distances

abstract: Nowadays, many machine learning procedures are available on the shelve and may be used easily to calibrate predictive models on supervised data. However, when the input data consists of more than one unknown cluster, and when different underlying predictive models exist, fitting a model is a more challenging task. We propose, in this paper, a procedure in three steps to automatically solve this problem. The KFC procedure aggregates different models adaptively on data. The first step of the procedure aims at catching the clustering structure of the input data, which may be characterized by several statistical distributions. It provides several partitions, given the assumptions on the distributions. For each partition, the second step fits a specific predictive model based on the data in each cluster. The overall model is computed by a consensual aggregation of the models corresponding to the different partitions. A comparison of the performances on different simulated and real data assesses the excellent performance of our method in a large variety of prediction problems.


title: Linear-Time Recognition of Double-Threshold Graphs

abstract: A graph $G = (V,E)$ is a double-threshold graph if there exist a vertex-weight function $w \colon V \to \mathbb{R}$ and two real numbers $\mathtt{lb}, \mathtt{ub} \in \mathbb{R}$ such that $uv \in E$ if and only if $\mathtt{lb} \le \mathtt{w}(u) + \mathtt{w}(v) \le \mathtt{ub}$. In the literature, those graphs are studied also as the pairwise compatibility graphs that have stars as their underlying trees. We give a new characterization of double-threshold graphs that relates them to bipartite permutation graphs. Using the new characterization, we present a linear-time algorithm for recognizing double-threshold graphs. Prior to our work, the fastest known algorithm by Xiao and Nagamochi [Algorithmica 2020] ran in $O(n^{3} m)$ time, where $n$ and $m$ are the numbers of vertices and edges, respectively.


title: Solutions of loop equations are random matrices

abstract: For a given polynomial $V(x)\in \mathbb C[x]$, a random matrix eigenvalues measure is a measure $\prod_{1\leq i<j\leq N}(x_i-x_j)^2 \prod_{i=1}^N e^{-V(x_i)}dx_i$ on $\gamma^N$. Hermitian matrices have real eigenvalues $\gamma=\mathbb R$, which generalize to $\gamma$ a complex Jordan arc, or actually a linear combination of homotopy classes of Jordan arcs, chosen such that integrals are absolutely convergent. Polynomial moments of such measure satisfy a set of linear equations called "loop equations". We prove that every solution of loop equations are necessarily polynomial moments of some random matrix measure for some choice of arcs. There is an isomorphism between the homology space of integrable arcs and the set of solutions of loop equations. We also generalize this to a 2-matrix model and to the chain of matrices, and to cases where $V$ is not a polynomial but $V'(x)\in \mathbb C(x)$.


title: Bounds on CP-violating Higgs-gluon interactions: the case of vanishing light-quark Yukawa couplings

abstract: We investigate CP-violating interactions involving the Higgs boson and gluons within an effective field theory approach, focusing on the specific class of new-physics scenarios where the Yukawa couplings of light quarks are zero or strongly suppressed compared to the standard-model expectations. We compute the contributions of the most relevant higher-dimensional operators of Weinberg type to the electric dipole moment of the neutron (nEDM), which are induced by Feynman diagrams that involve an effective CP-violating Higgs-gluon coupling and top-quark loops. The resulting nEDM sensitivities and prospects are discussed and compared to the existing and expected LHC bounds. We find that future nEDM searches can set non-trivial constraints on CP-violating Higgs-gluon interactions even if the Higgs only couples to the third generation of quarks.


title: Adsorption anomalies in a 2D model of cluster-forming systems

abstract: Adsorption on a boundary line confining a monolayer of particles self-assembling into clusters is studied by MC simulations. We focus on a system of particles interacting via competing interaction potential in which effectively short-range attraction is followed by long-range repulsion, mimicking the so called SALR system. For the chemical potential values below the order-disorder phase transition the adsorption isotherms were shown to undergo non-standard behavior, i. e. the adsorption exhibits a maximum upon structural transition between structureless and disordered cluster fluid. In particular, we have found that the adsorption decreases for increasing chemical potential when (i) clusters dominate over monomers in the bulk, (ii) the density profile in the direction perpendicular to the confining line exhibits an oscillatory decay, (iii) the correlation function in the layer near the adsorption wall exhibits an oscillatory decay in the direction parallel to this wall. Our report indicates striking differences between simple and complex fluid adsorption processes.


title: Likelihood methods for CMB experiments

abstract: A great deal of experimental effort is currently being devoted to the precise measurements of the cosmic microwave background (CMB) sky in temperature and polarisation. Satellites, balloon-borne, and ground-based experiments scrutinize the CMB sky at multiple scales, and therefore enable to investigate not only the evolution of the early Universe, but also its late-time physics with unprecedented accuracy. The pipeline leading from time ordered data as collected by the instrument to the final product is highly structured. Moreover, it has also to provide accurate estimates of statistical and systematic uncertainties connected to the specific experiment. In this paper, we review likelihood approaches targeted to the analysis of the CMB signal at different scales, and to the estimation of key cosmological parameters. We consider methods that analyze the data in the spatial (i.e., pixel-based) or harmonic domain. We highlight the most relevant aspects of each approach and compare their performance.


title: Out-of-time-ordered commutators in Dirac--Weyl systems

abstract: Quantum information stored in local operators spreads over other degrees of freedom of the system during time evolution, known as scrambling. This process is conveniently characterized by the out-of-time-order commutators (OTOC), whose time dependence reveals salient aspects of the system's dynamics. Here we study the spatially local spin correlation function i.e., the expectation value of spin commutator and the corresponding OTOC of Dirac--Weyl systems in one, two, and three spatial dimensions. The OTOC can be written as the square of the expectation value of the commutator and the variance of the commutator. In principle, the problem features two energy scales, the chemical potential, and the high energy cutoff. We find that only the latter is dominant, therefore the time evolution is separated into only two different regions. The spin correlation function grows linearly with time initially and decays as $t^{-2}$ for late times. The OTOC reveals a universal $t^2$ initial growth from both the commutator and the variance while its late time decay, $t^{-2}$ originates from the variance of the commutator. This late time decay is identified as a characteristic signature or Dirac-Weyl fermions. These features remain present also at finite temperatures. Our results indicate that Dirac--Weyl systems are slow information scramblers and are essential when additional channels for scrambling, i.e., interaction or disorder are analyzed.


title: Metadata Systems for Data Lakes: Models and Features

abstract: Over the past decade, the data lake concept has emerged as an alternative to data warehouses for storing and analyzing big data. A data lake allows storing data without any predefined schema. Therefore, data querying and analysis depend on a metadata system that must be efficient and comprehensive. However, metadata management in data lakes remains a current issue and the criteria for evaluating its effectiveness are more or less nonexistent.In this paper, we introduce MEDAL, a generic, graph-based model for metadata management in data lakes. We also propose evaluation criteria for data lake metadata systems through a list of expected features. Eventually, we show that our approach is more comprehensive than existing metadata systems.


title: Trunk Pitch Oscillations for Energy Trade-offs in Bipedal Running Birds and Robots

abstract: Bipedal animals have diverse morphologies and advanced locomotion abilities. Terrestrial birds, in particular, display agile, efficient, and robust running motion, in which they exploit the interplay between the body segment masses and moment of inertias. On the other hand, most legged robots are not able to generate such versatile and energy-efficient motion and often disregard trunk movements as a means to enhance their locomotion capabilities. Recent research investigated how trunk motions affect the gait characteristics of humans, but there is a lack of analysis across different bipedal morphologies. To address this issue, we analyze avian running based on a spring-loaded inverted pendulum model with a pronograde (horizontal) trunk. We use a virtual point based control scheme and modify the alignment of the ground reaction forces to assess how our control strategy influences the trunk pitch oscillations and energetics of the locomotion. We derive three potential key strategies to leverage trunk pitch motions that minimize either the energy fluctuations of the center of mass or the work performed by the hip and leg. We suggest how these strategies could be used in legged robotics.


title: The concentration-compactness principles for $W^{s,p(\cdot,\cdot)}(\mathbb{R}^N)$ and application

abstract: We obtain a critical imbedding and then, concentration-compactness principles for fractional Sobolev spaces with variable exponents. As an application of these results, we obtain the existence of many solutions for a class of critical nonlocal problems with variable exponents, which is even new for constant exponent case.


title: EATEN: Entity-aware Attention for Single Shot Visual Text Extraction

abstract: Extracting entity from images is a crucial part of many OCR applications, such as entity recognition of cards, invoices, and receipts. Most of the existing works employ classical detection and recognition paradigm. This paper proposes an Entity-aware Attention Text Extraction Network called EATEN, which is an end-to-end trainable system to extract the entities without any post-processing. In the proposed framework, each entity is parsed by its corresponding entity-aware decoder, respectively. Moreover, we innovatively introduce a state transition mechanism which further improves the robustness of entity extraction. In consideration of the absence of public benchmarks, we construct a dataset of almost 0.6 million images in three real-world scenarios (train ticket, passport and business card), which is publicly available at https://github.com/beacandler/EATEN. To the best of our knowledge, EATEN is the first single shot method to extract entities from images. Extensive experiments on these benchmarks demonstrate the state-of-the-art performance of EATEN.


title: Concepts of signed graph coloring

abstract: This paper surveys recent development of concepts related to coloring of signed graphs. Various approaches are presented and discussed.


title: Pressure-tunable large anomalous Hall effect of the ferromagnetic kagome-lattice Weyl semimetal Co3Sn2S2

abstract: We investigate the pressure evolution of the anomalous Hall effect in magnetic topological semimetal Co3Sn2S2 in diamond anvil cells with pressures up to 44.9-50.9 GPa. No evident trace of structural phase transition is detected through synchrotron x-ray diffraction over the measured pressure range of 0.2-50.9 GPa. We find that the anomalous Hall resistivity and the ferromagnetism are monotonically suppressed as increasing pressure and almost vanish around 22 GPa. The anomalous Hall conductivity varies non-monotonically against pressure at low temperatures, involving competition between original and emergent Weyl nodes. Combined with first-principle calculations, we reveal that the intrinsic mechanism due to the Berry curvature dominates the anomalous Hall effect under high pressure.


title: Single photon emission and single spin coherence of a nitrogen vacancy centre encapsulated in silicon nitride

abstract: Finding the right material platform for engineering efficient photonic interfaces to solid state emitters has been a long-standing bottleneck for scaling up solid state quantum systems. In this work, we demonstrate that nitrogen-rich silicon nitride, with its low background auto-fluorescence at visible wavelengths, is a viable quantum photonics platform by showing that nitrogen vacancy centres embedded in nanodiamonds preserve both their quantum optical and spin properties post-encapsulation. Given the variety of high-performance photonic components already demonstrated in silicon nitride, our work opens up a new avenue for building integrated photonic circuits using solid state emitters.


title: Vectorial Fluorescence Emission from Microsphere Coupled to Gold Mirror

abstract: We report on the generation, and momentum space distribution of fluorescence emission from individual SiO2 microsphere on dye coated Au mirror. The molecular fluorescence emission mediated via whispering gallery modes of the sphere is studied using polarization resolved optical energy-momentum micro-spectroscopy. Our experiments reveal intensity dependence of split modes of the cavity as a function of in-plane wavevector and emission polarization in the far field. The exotic far-field distribution can be understood by sphere-image sphere model that further reveals the polarization dependence of the split modes. The presented results reveal the potential of metallo-dielectric soft micro-cavities to engineer molecular emission that can encode spin and orbital angular momentum states and can be further extrapolated to realize dye-loaded active meta-atoms and meta-surfaces.


title: Silhouette of M87*: A new window to peek into the world of hidden dimensions

abstract: The recent observation of the shadow of the supermassive black hole M87*, located at the centre of the M87 galaxy, by the Event Horizon Telescope collaboration has opened up a new window to probe the strong gravity regime. In this letter, we explicitly demonstrate the consequences of this observation on brane world black holes, characterized by existence of a negative tidal charge. Our results based on three observables associated with the shadow, namely, angular diameter, deviation from circularity and axis ratio reveal that the existence of a negative tidal charge is more favoured, possibly marking a deviation from general relativity.


title: Dynamics of a noninteracting colloidal fluid in a quenched Gaussian random potential: A time-reversal-symmetry-preserving field-theoretic approach

abstract: We develop a field-theoretic perturbation method preserving the fluctuation-dissipation relation (FDR) for the dynamics of the density fluctuations of a noninteracting colloidal gas plunged in a quenched Gaussian random field. It is based on an expansion about the Brownian noninteracting gas and can be considered and justified as a low-disorder or high-temperature expansion. The first-order bare theory yields the same memory integral as the mode-coupling theory (MCT) developed for (ideal) fluids in random environments, apart from the bare nature of the correlation functions involved. It predicts an ergodic dynamical behavior for the relaxation of the density fluctuations, in which the memory kernels and correlation functions develop long-time algebraic tails. A FDR-consistent renormalized theory is also constructed from the bare theory. It is shown to display a dynamic ergodic-nonergodic transition similar to the one predicted by the MCT at the level of the density fluctuations, but, at variance with the MCT, the transition does not fully carry over to the self-diffusion, which always reaches normal diffusive behavior at long time, in agreement with known rigorous results.


title: Convergence of measures in forcing extensions

abstract: We prove that if $\mathcal{A}$ is a $\sigma$-complete Boolean algebra in a model $V$ of set theory and $\mathbb{P}\in V$ is a proper forcing with the Laver property preserving the ground model reals non-meager, then every pointwise convergent sequence of measures on $\mathcal{A}$ in a $\mathbb{P}$-generic extension $V[G]$ is weakly convergent, i.e. $\mathcal{A}$ has the Vitali--Hahn--Saks property in $V[G]$. This yields a consistent example of a whole class of infinite Boolean algebras with this property and of cardinality strictly smaller than the dominating number $\mathfrak{d}$. We also obtain a new consistent situation in which there exists an Efimov space.


title: 3D characterization of the primary Al3Sc phases in an Al-Sc alloy using Synchrotron X-ray tomography and electron microscopy

abstract: The three-dimensional structures of the primary Al3Sc particles in an Al-2Sc master alloy were studied by synchrotron X-ray microtomography, scanning and transmission electron microscopy. The Al3Sc phases were found to be a single cube and a cluster of cubes. The surface area, equivalent diameter of the Al3Sc cubes increased with the increasing of cube volume, but the specific surface area decreases. The primary Al3Sc cubes and Al-matrix have the same crystal orientation, indicating that the Al3Sc phases are the heterogeneous nucleation sites for Al. The experimental results show that {\alpha}-Al2O3 are the possible nucleation sites for the Al3Sc cubes.


title: Sampling Bias in Deep Active Classification: An Empirical Study

abstract: The exploding cost and time needed for data labeling and model training are bottlenecks for training DNN models on large datasets. Identifying smaller representative data samples with strategies like active learning can help mitigate such bottlenecks. Previous works on active learning in NLP identify the problem of sampling bias in the samples acquired by uncertainty-based querying and develop costly approaches to address it. Using a large empirical study, we demonstrate that active set selection using the posterior entropy of deep models like FastText.zip (FTZ) is robust to sampling biases and to various algorithmic choices (query size and strategies) unlike that suggested by traditional literature. We also show that FTZ based query strategy produces sample sets similar to those from more sophisticated approaches (e.g ensemble networks). Finally, we show the effectiveness of the selected samples by creating tiny high-quality datasets, and utilizing them for fast and cheap training of large models. Based on the above, we propose a simple baseline for deep active text classification that outperforms the state-of-the-art. We expect the presented work to be useful and informative for dataset compression and for problems involving active, semi-supervised or online learning scenarios. Code and models are available at: https://github.com/drimpossible/Sampling-Bias-Active-Learning


title: SPSC: a new execution policy for exploring discrete-time stochastic simulations

abstract: In this paper, we introduce a new method called SPSC (Simulation, Partitioning, Selection, Cloning) to estimate efficiently the probability of possible solutions in stochastic simulations. This method can be applied to any type of simulation, however it is particularly suitable for multi-agent-based simulations (MABS). Therefore, its performance is evaluated on a well-known MABS and compared to the classical approach, i.e., Monte Carlo.


title: On realizability of lines on tropical cubic surfaces and the Brundu-Logar normal form

abstract: We present results on the relative realizability of infinite families of lines on general smooth tropical cubic surfaces. Inspired by the problem of relative realizability of lines on surfaces, we investigate the information we can derive tropically from the Brundu-Logar normal form of smooth cubic surfaces. In particular, we prove that for a residue field of characteristic $\neq 2$ the tropicalization of the Brundu-Logar normal form is not smooth. We also take first steps in investigating the behavior of the tropicalized lines.


title: Engineering indefinitely long-lived localization in cavity-QED arrays

abstract: By exploiting the nonlinear nature of the Jaynes Cumming's interaction, one can get photon population trapping in cavity-QED arrays. However, the unavoidable dissipative effects in a realistic system would destroy the self-trapped state by continuous photon leakage. To circumvent this issue, we show that a careful engineering of drive, dissipation and Hamiltonian results in achieving indefinitely sustained self-trapping. We show that the intricate interplay between drive, dissipation, and light-matter interaction results in requiring an optimal window of drive strengths in order to achieve such non-trivial steady states. We treat the two-cavity and four-cavity cases using exact open quantum many-body calculations. Additionally, in the semiclassical limit we scale up the system to a long 1-D chain and demonstrate localization de-localization transition in a driven-dissipative system. Although, our analysis is performed keeping cavity-QED systems in mind, our work is applicable to other driven-dissipative systems where nonlinearity plays a defining role.


title: Simple proof of Parikh's theorem a la Takahashi

abstract: In this report we describe a simple proof of Parikh's theorem a la Takahashi, based on a decomposition of derivation trees. The idea of decomposition is appeared in her master's thesis written in 1970.


title: Isolated zeros destroy Fermi surface in holographic models with a lattice

abstract: We study the fermionic spectral density in a strongly correlated quantum system described by a gravity dual. In the presence of periodically modulated chemical potential, which models the effect of the ionic lattice, we explore the shapes of the corresponding Fermi surfaces, defined by the location of peaks in the spectral density at the Fermi level. We find that at strong lattice potentials sectors of the Fermi surface are unexpectedly destroyed and the Fermi surface becomes an arc-like disconnected manifold. We explain this phenomenon in terms of a collision of the Fermi surface pole with zeros of the fermionic Green's function, which are explicitly computable in the holographic dual.


title: Inversion of asteroid photometry from Gaia DR2 and the Lowell Observatory photometric database

abstract: Rotation properties (spin-axis direction and rotation period) and coarse shape models of asteroids can be reconstructed from their disk-integrated brightness when measured from various viewing geometries. These physical properties are essential for creating a global picture of structure and dynamical evolution of the main belt. The number of shape and spin models can be increased not only when new data are available, but also by combining independent data sets and inverting them together. Our aim was to derive new asteroid models by processing readily available photometry. We used asteroid photometry compiled in the Lowell Observatory photometry database with photometry from the Gaia Data Release 2. Both data sources are available for about 5400 asteroids. In the framework of the Asteroids@home distributed computing project, we applied the light curve inversion method to each asteroid to find its convex shape model and spin state that fits the observed photometry. Due to the limited number of Gaia DR2 data points and poor photometric accuracy of Lowell data, we were able to derive unique models for only ~1100 asteroids. Nevertheless, 762 of these are new models that significantly enlarge the current database of about 1600 asteroid models. Our results demonstrate the importance of a combined approach to inversion of asteroid photometry. While our models in general agree with those obtained by separate inversion of Lowell and Gaia data, the combined inversion is more robust, model parameters are more constrained, and unique models can be reconstructed in many cases when individual data sets alone are not sufficient.


title: Detecting Acceleration-Enhanced Vacuum Fluctuations with Atoms Inside a Cavity

abstract: Some of the most prominent theoretical predictions of modern times, e.g., the Unruh effect, Hawking radiation, and gravity-assisted particle creation, are supported by the fact that various quantum constructs like particle content and vacuum fluctuations of a quantum field are observer-dependent. Despite being fundamental in nature, these predictions have not yet been experimentally verified because one needs extremely strong gravity (or acceleration) to bring them within the existing experimental resolution. In this Letter, we demonstrate that a post-Newtonian rotating atom inside a far-detuned cavity experiences strongly modified quantum fluctuations in the inertial vacuum. As a result, the emission rate of an excited atom gets enhanced significantly along with a shift in the emission spectrum due to the change in the quantum correlation under rotation. We propose an optomechanical setup that is capable of realizing such acceleration-induced particle creation with current technology. This provides a novel and potentially feasible experimental proposal for the direct detection of noninertial quantum field theoretic effects.


title: Simulating Crowds in Real Time with Agent-Based Modelling and a Particle Filter

abstract: Agent-based modelling is a valuable approach for systems whose behaviour is driven by the interactions between distinct entities. They have shown particular promise as a means of modelling crowds of people in streets, public transport terminals, stadiums, etc. However, the methodology faces a fundamental difficulty: there are no established mechanisms for dynamically incorporating real-time data into models. This limits simulations that are inherently dynamic, such as pedestrian movements, to scenario testing of, for example, the potential impacts of new architectural configurations on movements. This paper begins to address this fundamental gap by demonstrating how a particle filter could be used to incorporate real data into an agent-based model of pedestrian movements at run time. The experiments show that it is indeed possible to use a particle filter to perform online (real time) model optimisation. However, as the number of agents increases, the number of individual particles (and hence the computational complexity) required increases exponentially. By laying the groundwork for the real-time simulation of crowd movements, this paper has implications for the management of complex environments (both nationally and internationally) such as transportation hubs, hospitals, shopping centres, etc.


title: Clock Error Analysis of Common Time of Flight based Positioning Methods

abstract: Today, many applications such as production or rescue settings rely on highly accurate entity positioning. Advanced Time of Flight (ToF) based positioning methods provide highaccuracy localization of entities. A key challenge for ToF based positioning is to synchronize the clocks between the participating entities. This paper summarizes and analyzes ToA and TDoA methods with respect to clock error robustness. The focus is on synchronization-less methods, i.e. methods which reduce the infrastructure requirement significantly. We introduce a unified notation to survey and compare the relevant work from literature. Then we apply a clock error model and compute worst case location-accuracy errors. Our analysis reveals a superior error robustness against clock errors for so called Double-Pulse methods when applied to radio based ToF positioning


title: Brain Tumor Segmentation and Survival Prediction

abstract: The paper demonstrates the use of the fully convolutional neural network for glioma segmentation on the BraTS 2019 dataset. Three-layers deep encoder-decoder architecture is used along with dense connection at encoder part to propagate the information from coarse layer to deep layers. This architecture is used to train three tumor sub-components separately. Subcomponent training weights are initialized with whole tumor weights to get the localization of the tumor within the brain. At the end, three segmentation results were merged to get the entire tumor segmentation. Dice Similarity of training dataset with focal loss implementation for whole tumor, tumor core and enhancing tumor is 0.92, 0.90 and 0.79 respectively. Radiomic features along with segmentation results and age are used to predict the overall survival of patients using random forest regressor to classify survival of patients in long, medium and short survival classes. 55.4% of classification accuracy is reported for training dataset with the scans whose resection status is gross-total resection.


title: Minimal Time Generation of Density Matrices for a Two-Level Quantum System Driven by Coherent and Incoherent Controls

abstract: The article considers a two-level open quantum system whose dynamics is driven by a combination of coherent and incoherent controls. Coherent control enters into the Hamiltonian part of the dynamics whereas incoherent control enters into the dissipative part. The goal is to find controls which move the system from an initial density matrix to a given target density matrix as fast as possible. To achieve this goal, we reformulate the optimal control problem in terms of controlled evolution in the Bloch ball and then apply Pontryagin maximum principle and gradient projection method to numerically find minimal time and optimal coherent and incoherent controls. General method is provided and several examples of initial and target states are explicitly considered.


title: The Theory of Ceers Computes True Arithmetic

abstract: We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of $\mathcal{I}$-degrees in the dark, light, or complete structure. In each case, we show that there is an interpretable copy of $(\mathbb{N},+,\cdot)$.


title: The Max-Product Algorithm Viewed as Linear Data-Fusion: A Distributed Detection Scenario

abstract: In this paper, we disclose the statistical behavior of the max-product algorithm configured to solve a maximum a posteriori (MAP) estimation problem in a network of distributed agents. Specifically, we first build a distributed hypothesis test conducted by a max-product iteration over a binary-valued pairwise Markov random field and show that the decision variables obtained are linear combinations of the local log-likelihood ratios observed in the network. Then, we use these linear combinations to formulate the system performance in terms of the false-alarm and detection probabilities. Our findings indicate that, in the hypothesis test concerned, the optimal performance of the max-product algorithm is obtained by an optimal linear data-fusion scheme and the behavior of the max-product algorithm is very similar to the behavior of the sum-product algorithm. Consequently, we demonstrate that the optimal performance of the max-product iteration is closely achieved via a linear version of the sum-product algorithm which is optimized based on statistics received at each node from its one-hop neighbors. Finally, we verify our observations via computer simulations.


title: The 1+1 dimensional Kardar-Parisi-Zhang equation: more surprises

abstract: In its original version the KPZ equation models the dynamics of an interface bordering a stable phase against a metastable one. Over past years the corresponding two-dimensional field theory has been applied to models with different physics. Out of a wide choice, the spin-spin time correlations for the Heisenberg chain will be discussed at some length, also the equilibrium time-correlations of the conserved fields for 1D fluids. An interesting recent theoretical advance is the construction of the scale-invariant asymptotic theory, the so-called KPZ fixed point.


title: On Summability of Random Fourier-Jacobi Series associated with Stable Process

abstract: Let $X(t,\omega),$ $t \in \textit{R}$ be a symmetric stable process with index $\alpha \in (1,2]$ and $a_n$ be the Fourier-Jacobi coefficients of $f \in L^p,$ where $p \geq \alpha.$ For $\gamma, \delta> 0,$ $t \in [-1,1],$ define $A_n(\omega)=\int_{-1}^1 P_n^{(\gamma,\delta)}(t)\rho^{(\gamma,\delta)}dX(t,\omega)$ where $P_n^{(\gamma,\delta)}(t)$ are orthogonal Jacobi polynomials. The $A_n(\omega)$ exists in the sense of mean. In this paper, it is shown that the random Fourier-Jacobi series $\sum_{n=0}^\infty a_n A_n(\omega)P_n^{(\gamma,\delta)}(y)$ converges to the stochastic integral $\int_{-1}^1f(y,t)\rho^{(\gamma,\delta)}dX(t,\omega)$ in the sense of mean and the sum function is weakly continuous in probability if the index $\alpha \in (1,2]$ and $f \in L^p$ where $P \geq \alpha.$ However, it is shown that if the index $\alpha$ is one and $f$ is in the weighted space of continuous function $C^{(\eta, \tau)}(-1,1),$ for $\eta, \tau \geq 0,$ then the random Fourier-Jacobi series is $(C,1)$ summable in probability to the stochastic integral $\int_{-1}^1f(y, t)\rho^{(\gamma,\delta)}dX(t,\omega).$


title: A Generalized TDoA/ToA Model for ToF Positioning

abstract: Many applications require positioning. Time of Flight (ToF) methods calculate distances by measuring the propagation time of signals. We present a novel ToF localization method. Our new approach works infrastructure-less, without pre-defined roles like Anchors or Tags. It generalizes existing synchronization-less Time Difference of Arrival (TDoA) and Time of Arrival (ToA) algorithms. We show how known algorithms can be derived from our new method. A major advantage of our approach is that it provides a comparable or better clock error robustness, i.e. the typical errors of crystal oscillators have negligible impact for TDoA and ToA measurements. We show that our channel usage is for most cases superior compared to the state-of-the art.


title: Table-top NMR system for high-pressure studies with in-situ laser heating

abstract: High pressure Nuclear Magnetic Resonance (NMR) is known to uncover behavior of matter at extreme conditions. However, significant maintenance demands, space requirements and high costs of superconducting magnets render its application unfeasible for regular modern high pressure laboratories. Here, we present a table-top NMR system based on permanent Halbach magnet arrays with dimensions of 25 cm diameter and 4 cm height. At the highest field of 1013 mT, 1H-NMR spectra of Ice VII have been recorded at 25 GPa and ambient temperature. The table-top NMR system can be used together with double sided laser heating set-ups. Feasibility of high-pressure high-temperature NMR was demonstrated by collecting 1H-NMR spectra of H2O at 25 GPa and 1063(50) K. We found that the change in signal intensity in laser-heated NMR diamond anvil cell yields a convenient way for temperature measurements.


title: Self-full ceers and the uniform join operator

abstract: A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a reduction of $X$ to $X$ then the range of $f$ intersects all $X$-equivalence classes. It is known that the infinite self-full ceers properly contain the dark ceers, i.e. the infinite ceers which do not admit an infinite computably enumerable transversal. Unlike the collection of dark ceers, which are closed under the operation of uniform join, we answer a question from \cite{joinmeet} by showing that there are self-full ceers $X$ and $Y$ so that their uniform join $X\oplus Y$ is non-self-full. We then define and examine the hereditarily self-full ceers, which are the self-full ceers $X$ so that for any self-full $Y$, $X\oplus Y$ is also self-full: we show that they are closed under uniform join, and that every non-universal degree in $\textrm{Ceers}_{/{\mathcal{I}}}$ have infinitely many incomparable hereditarily self-full strong minimal covers. In particular, every non-universal ceer is bounded by a hereditarily self-full ceer. Thus the hereditarily self-full ceers form a properly intermediate class in between the dark ceers and the infinite self-full ceers which is closed under $\oplus$.


title: ACFNet: Attentional Class Feature Network for Semantic Segmentation

abstract: Recent works have made great progress in semantic segmentation by exploiting richer context, most of which are designed from a spatial perspective. In contrast to previous works, we present the concept of class center which extracts the global context from a categorical perspective. This class-level context describes the overall representation of each class in an image. We further propose a novel module, named Attentional Class Feature (ACF) module, to calculate and adaptively combine different class centers according to each pixel. Based on the ACF module, we introduce a coarse-to-fine segmentation network, called Attentional Class Feature Network (ACFNet), which can be composed of an ACF module and any off-the-shell segmentation network (base network). In this paper, we use two types of base networks to evaluate the effectiveness of ACFNet. We achieve new state-of-the-art performance of 81.85% mIoU on Cityscapes dataset with only finely annotated data used for training.


title: String clouds and radiation flows as sources of gravity in static or rotating cylinders

abstract: Static and stationary cylindrically symmetric space-times in general relativity are considered, supported by distributions of cosmic strings stretched in the azimuthal ($\varphi$), longitudinal ($z$) or radial ($x$) directions or and by pairs of mutually opposite radiation flows in any of these directions. For such systems, exact solutions are obtained and briefly discussed, except for radial strings (a stationary solution for them is not found); it is shown that static solutions with $z$- and $\varphi$-directed radiation flows do not exist, while for $z$-directed strings a solution is only possible with negative energy density. Almost all solutions under discussion contain singularities, and all stationary solutions have regions with closed timelike curves, hence only their well-behaved regions admit application to real physical situations.


title: Modification of Excitonic Emission in GaN Microcavities Formed by Planar Hexagonal Micro-Nuts Grown by Selective Area Epitaxy

abstract: GaN-based resonators supporting whispering gallery modes are suggested as a promising approach for fabrication of efficient nanophotonic applications. A modification of excitonic emission due to coupling with cavity modes is observed experimentally in the GaN planar hexagonal microcavities grown by a selective area metal-organic vapor phase epitaxy. Low temperature cathodoluminescence spectra measured in-situ scanning electron microscope show two or three emission peaks split by 100 meV or 160 meV for the resonators formed by double- and single-wall micro-nuts, respectively. The results are compared with numerical calculations of the cavity mode energies, their Q-factors and the spatial distribution of the modes intensities. Although most modes are characterized by a small Purcell coefficient, there are a limited number of isolated cavity modes with a large Purcell factor. Such modes can efficiently interact with the bulk exciton in GaN. The results are also analyzed by diagonalization of Hamiltanion describing the system of interacting exciton and cavity modes. Theoretically, it is shown that a strong coupling between the exciton and the cavity modes is possible in such micro-resonators.


title: Real zeros of algebraic polynomials with nonidentical dependent random coefficients

abstract: The expected number of real zeros of an algebraic polynomial $a_0+a_1x+a_2x^2+a_3x^3+....+a_{n-1}x^{n-1}$ depends on the types of random coefficients, with large $n.$ In this article, we show that when the random coefficients $\{a_i\}_{i=1}^{n-1}$ are assumed to be negatively dependent with $var(a_i)=\sigma^{2i}$ and correlation between any two coefficients for $i\neq j,$ assumed to be $\rho_{ij}=-\rho^{|i-j|},$ where $0<\rho<\frac{1}{3}$, then the expected number of real zeros is asymptotically equal to $\frac{2}{\pi \sigma}logn.$


title: Doubly Robust Identification for Causal Panel Data Models

abstract: We study identification and estimation of causal effects in settings with panel data. Traditionally researchers follow model-based identification strategies relying on assumptions governing the relation between the potential outcomes and the observed and unobserved confounders. We focus on a different, complementary approach to identification where assumptions are made about the connection between the treatment assignment and the unobserved confounders. Such strategies are common in cross-section settings but rarely used with panel data. We introduce different sets of assumptions that follow the two paths to identification and develop a doubly robust approach. We propose estimation methods that build on these identification strategies.


title: Optimization theory and application of nano-microscopic properties of dielectric microspheres

abstract: The dielectric microsphere can be directly embedded into the traditional microscope, which can significantly improve the resolution of the microscope and provide a simple and feasible way to break through the diffraction limit of optical imaging system. However, due to the lack of effective theory and formula system, the resolution limit, magnification and optimal imaging position of the microsphere microsystem cannot be determined, which hinders its application. In this paper, the microscopic theory of dielectric microspheres is studied systematically, and the ray optics is extended to the imaging of dielectric microspheres, so as to establish a formula system containing important optical parameters such as resolution, magnification and imaging position, which provides a solid theoretical basis for further optimization of the nano-microscopic properties of dielectric microspheres. Compared with simulation and experiment, the correctness of the formula system is ensured. The formula shows that the mismatch between refractive index and ambient refractive index limits the resolution of microspheres, and it is an effective method to further improve the resolution to find the optimal refractive index ratio. In addition, the larger refractive index of the medium microsphere and the refractive index of the environment are conducive to the enhancement of the imaging magnification, but the working distance of the microscope objective must be taken into account in the experiment to obtain the ideal imaging position. The theoretical system proposed in this paper effectively explains the optical principle of dielectric microsphere imaging, gives optimized optical parameters, and has been applied in experiments, which is of great value for the practical application of dielectric microsphere nanometer microscopy.


title: Weakly Supervised Semantic Segmentation Using Constrained Dominant Sets

abstract: The availability of large-scale data sets is an essential pre-requisite for deep learning based semantic segmentation schemes. Since obtaining pixel-level labels is extremely expensive, supervising deep semantic segmentation networks using low-cost weak annotations has been an attractive research problem in recent years. In this work, we explore the potential of Constrained Dominant Sets (CDS) for generating multi-labeled full mask predictions to train a fully convolutional network (FCN) for semantic segmentation. Our experimental results show that using CDS's yields higher-quality mask predictions compared to methods that have been adopted in the literature for the same purpose.


title: Berry Phase Estimation in Gate-Based Adiabatic Quantum Simulation

abstract: Gate-based quantum computers can in principle simulate the adiabatic dynamics of a large class of Hamiltonians. Here we consider the cyclic adiabatic evolution of a parameter in the Hamiltonian. We propose a quantum algorithm to estimate the Berry phase and use it to classify the topological order of both single-particle and interacting models, highlighting the differences between the two. This algorithm is immediately extensible to any interacting topological system. Our results evidence the potential of near-term quantum hardware for the topological classification of quantum matter.


title: Optical Spectroscopic Monitoring Observations of a T Tauri Star V409 Tau

abstract: We report the results of optical spectroscopic monitoring observations of a T Tauri star, V409 Tau. A previous photometric study indicated that this star experienced dimming events due to the obscuration of light from the central star with a distorted circumstellar disk. We conducted medium-resolution (R ~10,000) spectroscopic observations with 2-m Nayuta telescope at Nishi-Harima Astronomical Observatory. Spectra were obtained in 18 nights between November 2015 and March 2016. Several absorption lines such as Ca I and Li, and the H alpha emission line were confirmed in the spectra. The Ic-band magnitudes of V409 Tau changed by approximately 1 magnitude during the observation epoch. The equivalent widths of the five absorption lines are roughly constant despite changes in the Ic-band magnitudes. We conclude that the light variation of the star is caused by the obscuration of light from the central star with a distorted circumstellar disk, based on the relationship between the equivalent widths of the absorption lines and the Ic-band magnitudes. The blue component of the H alpha emission line was dominant during the observation epoch, and an inverse P Cygni profile was observed in eight of the spectra. The time-variable inverse P Cygni profile of the H alpha emission line indicates unsteady mass accretion from the circumstellar disk to the central star.


title: Regularized Diffusion Adaptation via Conjugate Smoothing

abstract: The purpose of this work is to develop and study a distributed strategy for Pareto optimization of an aggregate cost consisting of regularized risks. Each risk is modeled as the expectation of some loss function with unknown probability distribution while the regularizers are assumed deterministic, but are not required to be differentiable or even continuous. The individual, regularized, cost functions are distributed across a strongly-connected network of agents and the Pareto optimal solution is sought by appealing to a multi-agent diffusion strategy. To this end, the regularizers are smoothed by means of infimal convolution and it is shown that the Pareto solution of the approximate, smooth problem can be made arbitrarily close to the solution of the original, non-smooth problem. Performance bounds are established under conditions that are weaker than assumed before in the literature, and hence applicable to a broader class of adaptation and learning problems.


title: AIBA: An AI Model for Behavior Arbitration in Autonomous Driving

abstract: Driving in dynamically changing traffic is a highly challenging task for autonomous vehicles, especially in crowded urban roadways. The Artificial Intelligence (AI) system of a driverless car must be able to arbitrate between different driving strategies in order to properly plan the car's path, based on an understandable traffic scene model. In this paper, an AI behavior arbitration algorithm for Autonomous Driving (AD) is proposed. The method, coined AIBA (AI Behavior Arbitration), has been developed in two stages: (i) human driving scene description and understanding and (ii) formal modelling. The description of the scene is achieved by mimicking a human cognition model, while the modelling part is based on a formal representation which approximates the human driver understanding process. The advantage of the formal representation is that the functional safety of the system can be analytically inferred. The performance of the algorithm has been evaluated in Virtual Test Drive (VTD), a comprehensive traffic simulator, and in GridSim, a vehicle kinematics engine for prototypes.


title: Numerical semigroups with embedding dimension three and minimal catenary degree

abstract: We characterize numerical semigroups $S$ with embedding dimension three attaining equality in the inequality $\max\Delta(S)+2\leq \operatorname{cat}(S)$, where $\Delta(S)$ denotes the Delta set of $S$ and $\operatorname{cat}(S)$ denotes the catenary degree of $S$.


title: Deep Aggregation of Regional Convolutional Activations for Content Based Image Retrieval

abstract: One of the key challenges of deep learning based image retrieval remains in aggregating convolutional activations into one highly representative feature vector. Ideally, this descriptor should encode semantic, spatial and low level information. Even though off-the-shelf pre-trained neural networks can already produce good representations in combination with aggregation methods, appropriate fine tuning for the task of image retrieval has shown to significantly boost retrieval performance. In this paper, we present a simple yet effective supervised aggregation method built on top of existing regional pooling approaches. In addition to the maximum activation of a given region, we calculate regional average activations of extracted feature maps. Subsequently, weights for each of the pooled feature vectors are learned to perform a weighted aggregation to a single feature vector. Furthermore, we apply our newly proposed NRA loss function for deep metric learning to fine tune the backbone neural network and to learn the aggregation weights. Our method achieves state-of-the-art results for the INRIA Holidays data set and competitive results for the Oxford Buildings and Paris data sets while reducing the training time significantly.


title: Inference for a generalised stochastic block model with unknown number of blocks and non-conjugate edge models

abstract: The stochastic block model (SBM) is a popular model for capturing community structure and interaction within a network. Network data with non-Boolean edge weights is becoming commonplace; however, existing analysis methods convert such data to a binary representation to apply the SBM, leading to a loss of information. A generalisation of the SBM is considered, which allows edge weights to be modelled in their recorded state. An effective reversible jump Markov chain Monte Carlo sampler is proposed for estimating the parameters and the number of blocks for this generalised SBM. The methodology permits non-conjugate distributions for edge weights, which enable more flexible modelling than current methods as illustrated on synthetic data, a network of brain activity and an email communication network.


title: Retro-Actions: Learning 'Close' by Time-Reversing 'Open' Videos

abstract: We investigate video transforms that result in class-homogeneous label-transforms. These are video transforms that consistently maintain or modify the labels of all videos in each class. We propose a general approach to discover invariant classes, whose transformed examples maintain their label; pairs of equivariant classes, whose transformed examples exchange their labels; and novel-generating classes, whose transformed examples belong to a new class outside the dataset. Label transforms offer additional supervision previously unexplored in video recognition benefiting data augmentation and enabling zero-shot learning opportunities by learning a class from transformed videos of its counterpart. Amongst such video transforms, we study horizontal-flipping, time-reversal, and their composition. We highlight errors in naively using horizontal-flipping as a form of data augmentation in video. Next, we validate the realism of time-reversed videos through a human perception study where people exhibit equal preference for forward and time-reversed videos. Finally, we test our approach on two datasets, Jester and Something-Something, evaluating the three video transforms for zero-shot learning and data augmentation. Our results show that gestures such as zooming in can be learnt from zooming out in a zero-shot setting, as well as more complex actions with state transitions such as digging something out of something from burying something in something.


title: Numerical Simulation of Helical Jets at Active Region Peripheries

abstract: Coronal jets are observed above minority polarity intrusions throughout the solar corona. Some of the most energetic occur on the periphery of active regions where the magnetic field is strongly inclined. These jets exhibit a non-radial propagation in the low corona as they follow the inclined field, and often have a broad, helical shape. We present a three-dimensional magnetohydrodynamic simulation of such an active-region-periphery helical jet. We consider an initially potential field with a bipolar flux distribution embedded in a highly inclined magnetic field, representative of the field nearby an active region. The flux of the minority polarity sits below a bald-patch separatrix initially. Surface motions are used to inject free energy into the closed field beneath the separatrix, forming a sigmoidal flux rope which eventually erupts producing a helical jet. We find that a null point replaces the bald patch early in the evolution and that the eruption results from a combination of magnetic breakout and an ideal kinking of the erupting flux rope. We discuss how the two mechanisms are coupled, and compare our results with previous simulations of coronal-hole jets. This comparison supports the hypothesis that the generic mechanism for all coronal jets is a coupling between breakout reconnection and an ideal instability. We further show that our results are in good qualitative and quantitative agreement with observations of active-region periphery jets.


title: Electrically controlled localized charge trapping at amorphous fluoropolymer-electrolyte interfaces

abstract: Charge trapping is a long-standing problem in electrowetting-on-dielectric (EWOD), causing reliability reduction and restricting its practical applications. Although this phenomenon has been investigated macroscopically, the microscopic investigations are still lacking. In this work, the trapped charges are proven to be localized at three-phase contact line region by using three detecting methods -- local contact angle measurements, electrowetting (EW) probe, and Kelvin Probe Force Microscopy (KPFM). Moreover, we demonstrate that this EW-induced charge trapping phenomenon can be utilized as a simple and low-cost method to deposit charges on fluoropolymer surfaces. Charge density near the three-phase contact line up to 0.46 mC/m2 and the line width with deposited charges ranging from 20 to 300 micrometer are achieved by the proposed method. Particularly, negative charge densities do not degrade even after harsh testing with a water droplet on top of the sample surfaces for 12 hours, as well as after being treated by water vapor for 3 hours. These findings provide an approach for applications which desire stable and controllable surface charges.


title: Effects of Dzyaloshinskii-Moriya interactions in volborthite: Magnetic orders and thermal Hall effect

abstract: Volborthite offers an interesting example of a highly frustrated quantum magnet in which ferromagnetic and antiferromagnetic interactions compete on anisotropic kagome lattices. A recent density functional theory calculation has provided a magnetic model based on coupled trimers, which is consistent with a broad 1/3-magnetization plateau observed experimentally. Here we study the effects of Dzyaloshinskii-Moriya (DM) interactions in volborthite. We derive an effective model in which pseudospin-1/2 moments emerging on trimers form a network of an anisotropic triangular lattice. Using the effective model, we show that for a magnetic field perpendicular to the kagome layer, magnon excitations from the 1/3-plateau feel a Berry curvature due to the DM interactions, giving rise to a thermal Hall effect. Our magnon Bose gas theory can explain qualitative features of the magnetization and the thermal Hall conductivity measured experimentally. A further quantitative comparison with experiment poses constraints on the coupling constants in the effective model, promoting a quasi-one-dimensional picture. Based on this picture, we analyze low-temperature magnetic phase diagrams using effective field theory, and point out their crucial dependence on the field direction.


title: Biseparable extensions are not necessarily Frobenius

abstract: We give necessary and sufficient conditions on an Ore extension $A[x;\sigma,\delta]$, where $A$ is a finite dimensional algebra over a field $\mathbb{F}$, for being a Frobenius extension over the ring of commutative polynomials $\mathbb{F}[x]$. As a consequence, as the title of this paper highlights, we provide a negative answer to a problem stated by Caenepeel and Kadison.


title: Deep Metric Learning using Similarities from Nonlinear Rank Approximations

abstract: In recent years, deep metric learning has achieved promising results in learning high dimensional semantic feature embeddings where the spatial relationships of the feature vectors match the visual similarities of the images. Similarity search for images is performed by determining the vectors with the smallest distances to a query vector. However, high retrieval quality does not depend on the actual distances of the feature vectors, but rather on the ranking order of the feature vectors from similar images. In this paper, we introduce a metric learning algorithm that focuses on identifying and modifying those feature vectors that most strongly affect the retrieval quality. We compute normalized approximated ranks and convert them to similarities by applying a nonlinear transfer function. These similarities are used in a newly proposed loss function that better contracts similar and disperses dissimilar samples. Experiments demonstrate significant improvement over existing deep feature embedding methods on the CUB-200-2011, Cars196, and Stanford Online Products data sets for all embedding sizes.


title: A Critical Analysis of Biased Parsers in Unsupervised Parsing

abstract: A series of recent papers has used a parsing algorithm due to Shen et al. (2018) to recover phrase-structure trees based on proxies for "syntactic depth." These proxy depths are obtained from the representations learned by recurrent language models augmented with mechanisms that encourage the (unsupervised) discovery of hierarchical structure latent in natural language sentences. Using the same parser, we show that proxies derived from a conventional LSTM language model produce trees comparably well to the specialized architectures used in previous work. However, we also provide a detailed analysis of the parsing algorithm, showing (1) that it is incomplete---that is, it can recover only a fraction of possible trees---and (2) that it has a marked bias for right-branching structures which results in inflated performance in right-branching languages like English. Our analysis shows that evaluating with biased parsing algorithms can inflate the apparent structural competence of language models.


title: A True AR Authoring Tool for Interactive Virtual Museums

abstract: In this work, a new and innovative way of spatial computing that appeared recently in the bibliography called True Augmented Reality (AR), is employed in cultural heritage preservation. This innovation could be adapted by the Virtual Museums of the future to enhance the quality of experience. It emphasises, the fact that a visitor will not be able to tell, at a first glance, if the artefact that he/she is looking at is real or not and it is expected to draw the visitors' interest. True AR is not limited to artefacts but extends even to buildings or life-sized character simulations of statues. It provides the best visual quality possible so that the users will not be able to tell the real objects from the augmented ones. Such applications can be beneficial for future museums, as with True AR, 3D models of various exhibits, monuments, statues, characters and buildings can be reconstructed and presented to the visitors in a realistic and innovative way. We also propose our Virtual Reality Sample application, a True AR playground featuring basic components and tools for generating interactive Virtual Museum applications, alongside a 3D reconstructed character (the priest of Asinou church) facilitating the storyteller of the augmented experience.


title: Well-posedness for a class of degenerate It\^o-SDEs with fully discontinuous coefficients

abstract: We show uniqueness in law for a general class of stochastic differential equations in $\mathbb{R}^d$, $d\ge 2$, with possibly degenerate and/or fully discontinuous locally bounded coefficients among all weak solutions that spend zero time at the points of degeneracy of the dispersion matrix. The points of degeneracy have $d$-dimensional Lebesgue-Borel measure zero. Weak existence is obtained for more general, not necessarily locally bounded drift coefficient.


title: Shell closure at $N=34$ and the $^{48}$Si nucleus

abstract: By using a non-relativistic independent particle model we investigate the mechanism promoting 34 as new magic number. We carried out Hartree-Fock plus Bardeen-Cooper-Schrieffer and Quasi-particle Random Phase Approximation calculations by consistently using the same finite-range interaction in all the three steps of our approach. We used four Gogny-like interactions, with and without tensor terms. We find that the shell closure for $N=34$ neutrons appears in isotones with $Z<26\,$ protons. The smaller is the proton number, the more evident is the shell closure at $N=34$. An ideal nucleus to investigate this effect should be $^{48}$Si, as it has been recently suggested. However, some discrepancies occur between the results obtained with the four effective interactions we used concerning the position of the two-neutron drip line and, therefore, the existence of $^{48}$Si. The experimental identification of this nucleus could shed light about the shell evolution in nuclei far from the stability valley and put stringent tests on nuclear structure theories.


title: Genetic Neural Architecture Search for automatic assessment of human sperm images

abstract: Male infertility is a disease which affects approximately 7% of men. Sperm morphology analysis (SMA) is one of the main diagnosis methods for this problem. Manual SMA is an inexact, subjective, non-reproducible, and hard to teach process. As a result, in this paper, we introduce a novel automatic SMA based on a neural architecture search algorithm termed Genetic Neural Architecture Search (GeNAS). For this purpose, we used a collection of images called MHSMA dataset contains 1,540 sperm images which have been collected from 235 patients with infertility problems. GeNAS is a genetic algorithm that acts as a meta-controller which explores the constrained search space of plain convolutional neural network architectures. Every individual of the genetic algorithm is a convolutional neural network trained to predict morphological deformities in different segments of human sperm (head, vacuole, and acrosome), and its fitness is calculated by a novel proposed method named GeNAS-WF especially designed for noisy, low resolution, and imbalanced datasets. Also, a hashing method is used to save each trained neural architecture fitness, so we could reuse them during fitness evaluation and speed up the algorithm. Besides, in terms of running time and computation power, our proposed architecture search method is far more efficient than most of the other existing neural architecture search algorithms. Additionally, other proposed methods have been evaluated on balanced datasets, whereas GeNAS is built specifically for noisy, low quality, and imbalanced datasets which are common in the field of medical imaging. In our experiments, the best neural architecture found by GeNAS has reached an accuracy of 91.66%, 77.33%, and 77.66% in the vacuole, head, and acrosome abnormality detection, respectively. In comparison to other proposed algorithms for MHSMA dataset, GeNAS achieved state-of-the-art results.


title: A geometric measure of non-classicality

abstract: This paper aims to stress the role of the Cahill-Glauber quasi-probability densities in defining, detecting, and quantifying the non-classicality of field states in quantum optics. The distance between a given pure state and the set of all pure classical states is called here a geometric degree of non-classicality. As such, we investigate non-classicality of a pure single-mode state of the radiation field by using the coherent states as a reference set of pure classical states. It turns out that any such distance is expressed in terms of the maximal value of the Husimi $Q$ function. As an insightful application we consider the de-Gaussification process produced when preparing a quantum state by adding $p$ photons to a pure Gaussian one. For a coherent-state input, we get an analytic degree of non-classicality which compares interestingly with the previously evaluated entanglement potential. Then we show that addition of a single photon to a squeezed vacuum state causes a considerable enhancement of non-classicality, especially at weak and moderate squeezing of the original state. By contrast, addition of further photons is less effective.


title: Implications of the Dark LMA solution and Fourth Sterile Neutrino for Neutrino-less Double Beta Decay

abstract: We analyze the effect of the Dark-large mixing angle (DLMA) solution on the effective Majorana mass ($m_{\beta\beta}$) governing neutrino-less double beta decay ($0\nu\beta\beta$) in the presence of a sterile neutrino. We consider the 3+1 picture, comprising of one additional sterile neutrino. We have checked that the MSW resonance in the sun can take place in the DLMA parameter space in this scenario. Next we investigate how the values of the solar mixing angle $\theta_{12}$ corresponding to the DLMA region alter the predictions of $m_{\beta\beta}$ including a sterile neutrino in the analysis. We also compare our results with three generation cases for both standard large mixing angle (LMA) and DLMA. Additionally, we evaluate the discovery sensitivity of the future ${}^{136}Xe$ experiments in this context.


title: Spectroscopic Investigations of Negatively Charged Tin-Vacancy Centres in Diamond

abstract: The recently discovered negatively charged tin-vacancy centre in diamond is a promising candidate for applications in quantum information processing (QIP). We here present a detailed spectroscopic study encompassing single photon emission and polarisation properties, the temperature dependence of emission spectra as well as a detailed analysis of the phonon sideband and Debye-Waller factor. Using photoluminescence excitation spectroscopy (PLE) we probe an energetically higher lying excited state and prove fully lifetime limited linewidths of single emitters at cryogenic temperatures. For these emitters we also investigate the stability of the charge state under resonant excitation. These results provide a detailed insight into the spectroscopic properties of the $\text{SnV}^-$ centre and lay the foundation for further studies regarding its suitability in QIP.


title: CodeSearchNet Challenge: Evaluating the State of Semantic Code Search

abstract: Semantic code search is the task of retrieving relevant code given a natural language query. While related to other information retrieval tasks, it requires bridging the gap between the language used in code (often abbreviated and highly technical) and natural language more suitable to describe vague concepts and ideas. To enable evaluation of progress on code search, we are releasing the CodeSearchNet Corpus and are presenting the CodeSearchNet Challenge, which consists of 99 natural language queries with about 4k expert relevance annotations of likely results from CodeSearchNet Corpus. The corpus contains about 6 million functions from open-source code spanning six programming languages (Go, Java, JavaScript, PHP, Python, and Ruby). The CodeSearchNet Corpus also contains automatically generated query-like natural language for 2 million functions, obtained from mechanically scraping and preprocessing associated function documentation. In this article, we describe the methodology used to obtain the corpus and expert labels, as well as a number of simple baseline solutions for the task. We hope that CodeSearchNet Challenge encourages researchers and practitioners to study this interesting task further and will host a competition and leaderboard to track the progress on the challenge. We are also keen on extending CodeSearchNet Challenge to more queries and programming languages in the future.


title: Underwater Image Super-Resolution using Deep Residual Multipliers

abstract: We present a deep residual network-based generative model for single image super-resolution (SISR) of underwater imagery for use by autonomous underwater robots. We also provide an adversarial training pipeline for learning SISR from paired data. In order to supervise the training, we formulate an objective function that evaluates the \textit{perceptual quality} of an image based on its global content, color, and local style information. Additionally, we present USR-248, a large-scale dataset of three sets of underwater images of 'high' (640x480) and 'low' (80x60, 160x120, and 320x240) spatial resolution. USR-248 contains paired instances for supervised training of 2x, 4x, or 8x SISR models. Furthermore, we validate the effectiveness of our proposed model through qualitative and quantitative experiments and compare the results with several state-of-the-art models' performances. We also analyze its practical feasibility for applications such as scene understanding and attention modeling in noisy visual conditions.


title: On the structure of exchangeable extreme-value copulas

abstract: We show that the set of $d$-variate symmetric stable tail dependence functions, uniquely associated with exchangeable $d$-dimensional extreme-value copulas, is a simplex and determine its extremal boundary. The subset of elements which arises as $d$-margins of the set of $(d+k)$-variate symmetric stable tail dependence functions is shown to be proper for arbitrary $k \geq 1$. Finally, we derive an intuitive and useful necessary condition for a bivariate extreme-value copula to arise as bi-margin of an exchangeable extreme-value copula of arbitrarily large dimension, and thus to be conditionally iid.


title: Remarks on rational vector fields on $\mathbb C\mathbb P^1$

abstract: In this paper we introduce geometric tools to study the families of rational vector fields of a given degree over $\mathbb C\mathbb P^1$. To a generic vector field of such a parametric family we associate several geometric objects: a periodgon, a star domain and a translation surface. These objects generalize objects with the same name introduced in previous works on polynomial vector fields. They are used to describe the bifurcations inside the families. We specialize to the case of rational vector fields of degree $4$.


title: An Optimal Channel Estimation Scheme for Intelligent Reflecting Surfaces based on a Minimum Variance Unbiased Estimator

abstract: In a wireless system with Intelligent Reflective Surfaces (IRS) containing many passive elements, we consider the problem of channel estimation. All the links from the transmitter to the receiver via each IRS elements (or groups) are estimated. As the estimation performance are dependent on the setting of the IRS, we design an optimal channel estimation scheme where the IRS elements follow an optimal series of activation patterns. The optimal design is guided by results for the minimum variance unbiased estimation. The IRS setting during the channel estimation period mimics a series of discrete Fourier transforms. We show theoretically and with simulations that the estimation variance is one order smaller compared to existing on/off methods proposed in the literature.


title: Radar Interference Mitigation for Automated Driving

abstract: Autonomous driving relies on a variety of sensors, especially on radars, which have unique robustness under heavy rain/fog/snow and poor light conditions. With the rapid increase of the amount of radars used on modern vehicles, where most radars operate in the same frequency band, the risk of radar interference becomes a compelling issue. This article analyses automotive radar interference and proposes several new approaches, which combine industrial and academic expertise, toward the path of interference-free autonomous driving.


title: Berry curvature, horocycles and scattering states in $AdS_3/CFT_2$

abstract: By studying the space of geodesics in $ADS_3/CFT_2$ and quantizing the geodesic motion, we relate scattering data to boundary entanglement of the CFT vacuum. The basic idea is to use a family of plane waves parametrized by coordinates of the space of geodesics i.e. kinematic space. This idea enables a simple calculation of the Berry curvature living on kinematic space. As a result we recover the Crofton form with a coefficient depending on the scattering energy. In arriving at these results the space of horocycles is used. We show that this new space used in concert with kinematic space incorporates naturally the gauge degrees of freedom responsible for an analogue of Berry's Phase. Horocycles also give a new geometric look to the strong subadditivity relation in terms of lambda lengths giving rise to shear coordinates of geodesic quadrangles. A generalization for geodesic polygons then reveals an interesting connection with $A_{n}$ cluster algebras. Here the cluster variables are the lambda lengths related to the regularized entropies of the boundary via the Ryu-Takayanagi relation. An elaboration of this idea indicates that cluster algebras might provide a natural algebraic means for encoding the gauge invariant entanglement patterns of certain boundary entangled states in the geometry of bulk geodesics. Finally using the language of integral geometry we show how certain propagators connected to the bulk, boundary and kinematic spaces are related to data of elementary scattering problems. We also present some hints how these ideas might be generalized for more general holographic scenarios.


title: A Convex Optimization Approach for Finite-Thrust Time-Constrained Cooperative Rendezvous

abstract: This paper presents a convex approach to the optimization of a cooperative rendezvous, that is, the problem of two distant spacecraft that simultaneously operate to get closer. Convex programming guarantees convergence towards the optimal solution in a limited, short, time by using highly efficient numerical algorithms. A combination of lossless and successive convexification techniques is adopted to handle the nonconvexities of the original problem. Specifically, a convenient change of variables and a constraint relaxation are performed, while a successive linearization of the equations of motion is employed to handle the nonlinear dynamics. A filtering technique concerning the recursive update of the reference solution is proposed in order to enhance the algorithm robustness. Numerical results are presented and compared with those provided by an indirect method.


title: From feature selection to continuous optimization

abstract: Metaheuristic algorithms (MAs) have seen unprecedented growth thanks to their successful applications in fields including engineering and health sciences. In this work, we investigate the use of a deep learning (DL) model as an alternative tool to do so. The proposed method, called MaNet, is motivated by the fact that most of the DL models often need to solve massive nasty optimization problems consisting of millions of parameters. Feature selection is the main adopted concepts in MaNet that helps the algorithm to skip irrelevant or partially relevant evolutionary information and uses those which contribute most to the overall performance. The introduced model is applied on several unimodal and multimodal continuous problems. The experiments indicate that MaNet is able to yield competitive results compared to one of the best hand-designed algorithms for the aforementioned problems, in terms of the solution accuracy and scalability.


title: Corrigendum to: "Linear time algorithm to cover and hit a set of line segments optimally by two axis-parallel squares", Theoretical Computer Science 769 (2019) 63--74

abstract: In the paper "Linear time algorithm to cover and hit a set of line segments optimally by two axis-parallel squares", TCS Volume 769 (2019), pages 63--74, the LHIT problem is proposed as follows: For a given set of non-intersecting line segments ${\cal L} = \{\ell_1, \ell_2, \ldots, \ell_n\}$ in $I\!\!R^2$, compute two axis-parallel congruent squares ${\cal S}_1$ and ${\cal S}_2$ of minimum size whose union hits all the line segments in $\cal L$, and a linear time algorithm was proposed. Later it was observed that the algorithm has a bug. In this corrigendum, we corrected the algorithm. The time complexity of the corrected algorithm is $O(n^2)$.


abstract: Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $\phi\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $\phi$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups.


title: First direct measurement of isotopic fission-fragment yields of $^{239}$U

abstract: A direct and complete measurement of isotopic fission-fragment yields of $^{239}$U has been performed for the first time. The $^{239}$U fissioning system was produced with an average excitation energy of 8.3 MeV in one-neutron transfer reactions between a $^{238}$U beam and a $^{9}$Be target at Coulomb barrier energies. The fission fragments were detected and isotopically identified using the VAMOS++ spectrometer at the GANIL facility. This measurement allows to directly evaluate the fission models at excitation energies of fast neutrons, relevant for next-generation nuclear reactors. The present data, in agreement with model calculations, do not support the recently reported anomaly in the fission-fragment yields of $^{239}$U and confirm the persistence of spherical shell effects in the Sn region at excitation energies exceeding the fission barrier by few MeV.