title: A simple two-component description of mass segregation for anisotropic globular clusters

abstract: As a result of the slow action of two-body encounters, globular clusters develop mass segregation and attain a condition of only partial energy equipartition even in their central, most relaxed regions. Realistic numerical simulations show that, during the process, a radially-biased anisotropy profile slowly builds up, mimicking that resulting from incomplete violent relaxation. Commonly used dynamical models, such as the one-component King models, cannot describe these properties. Here we show that simple two-component models based on a distribution function originally conceived to describe elliptical galaxies, recently truncated and adapted to the context of globular clusters, can describe in detail what is observed in complex and realistic numerical simulations.


title: The work of Peter Scholze

abstract: This is my laudation for Scholze's Fields medal 2018.


title: The delimiting/frontier lines of the constituents of matter

abstract: Looking at the \emph{chart of nuclides} displayed at the URL of the International Atomic Energy Agency (IAEA) \cite{IAEA} -- that contains all the known nuclides, the natural and those produced artificially in labs -- one verifies the existence of two, not quite regular, \emph{delimiting lines} between which dwell all the nuclides constituting matter. These lines are established by the highly unstable radionuclides located the most far away from those in the central locus, the\emph{valley of stability}. Here, making use of the "old" semi-empirical mass formula for stable nuclides together with the energy-time uncertainty relation of quantum mechanics, by a simple calculation we show that the obtained \emph{frontier lines}, for proton and neutron excesses, present an appreciable agreement with the delimiting lines. For the sake of presenting a somewhat comprehensive panorama of the matter in our Universe and their relation with the frontier lines, we narrate, in brief, what is currently known about the astrophysical nucleogenesis processes.


title: K-essence Emergent Spacetime as Generalized Vaidya Geometry

abstract: We establish a formal connection between the {\bf K}-essence emergent gravity scenario and generalizations of Vaidya spacetime. Choosing the {\bf K}-essence action to be of the Dirac-Born-Infeld variety, the physical spacetime to be a general static spherically symmetric black hole and restricting the {\bf K}-essence scalar field to be a function solely of the advanced or the retarded time, we show that the emergent gravity metric resembles closely the generalized Vaidya metrics for null fluid collapse proposed by Husain. Imposing null energy conditions on the emergent energy-momentum tensor derived from the emergent Einstein equation, restrictions are obtained on the functions characterizing the emergent metric for consistent identification with generalized Vaidya spacetimes. We discuss the possibility of dynamical horizons in the {\bf K-}essence emergent Vaidya spacetime. Admissible explicit black hole background metrics are discussed as examples.


title: Presolar Grains in Primitive Ungrouped Carbonaceous Chondrite Northwest Africa 5958

abstract: We report a correlated NanoSIMS-transmission electron microscopy study of the ungrouped carbonaceous chondrite Northwest Africa (NWA) 5958. We identified 10 presolar SiC grains, 2 likely presolar graphite grains, and 20 presolar silicate and/or oxide grains in NWA 5958. We suggest a slight modification of the commonly used classification system for presolar oxides and silicates that better reflects the grains' likely stellar origins. The matrix-normalized presolar SiC abundance in NWA 5958 is $18_{-10}^{+15}$ ppm (2$\sigma$), similar to that seen in many classes of unmetamorphosed chondrites. In contrast, the matrix-normalized abundance of presolar O-rich phases (silicates and oxides) is $30.9_{-13.1}^{+17.8}$ ppm (2$\sigma$), much lower than seen in interplanetary dust particles and the least altered CR, CO and ungrouped C chondrites, but close to that reported for CM chondrites. NanoSIMS mapping also revealed an unusual $^{13}$C-enriched ($\delta ^{13}$C$\sim$ 100--200 permil) carbonaceous rim surrounding a 1.4 $\mu$m diameter phyllosilicate grain. TEM analysis of two presolar grains with a likely origin in asymptotic giant branch stars identified one as enstatite and one as Al-Mg spinel with minor Cr. The enstatite grain amorphized rapidly under the electron beam, suggesting partial hydration. TEM data of NWA 5958 matrix confirm that it has experienced aqueous alteration and support the suggestion of Jacquet et al. (2016) that this meteorite has affinities to CM2 chondrites.


title: Image Domain Gridding: a fast method for convolutional resampling of visibilities

abstract: In radio astronomy obtaining a high dynamic range in synthesis imaging of wide fields requires a correction for time and direction-dependent effects. Applying direction-dependent correction can be done by either partitioning the image in facets and applying a direction-independent correction per facet, or by including the correction in the gridding kernel (AW-projection). An advantage of AW-projection over faceting is that the effectively applied beam is a sinc interpolation of the sampled beam, where the correction applied in the faceting approach is a discontinuous piece wise constant beam. However, AW-projection quickly becomes prohibitively expensive when the corrections vary over short time scales. This occurs for example when ionospheric effects are included in the correction. The cost of the frequent recomputation of the oversampled convolution kernels then dominates the total cost of gridding. Image domain gridding is a new approach that avoids the costly step of computing oversampled convolution kernels. Instead low-resolution images are made directly for small groups of visibilities which are then transformed and added to the large $uv$ grid. The computations have a simple, highly parallel structure that maps very well onto massively parallel hardware such as graphical processing units (GPUs). Despite being more expensive in pure computation count, the throughput is comparable to classical W-projection. The accuracy is close to classical gridding with a continuous convolution kernel. Compared to gridding methods that use a sampled convolution function, the new method is more accurate. Hence the new method is at least as fast and accurate as classical W-projection, while allowing for the correction for quickly varying direction-dependent effects.


title: A Convolutional Transformation Network for Malware Classification

abstract: Modern malware evolves various detection avoidance techniques to bypass the state-of-the-art detection methods. An emerging trend to deal with this issue is the combination of image transformation and machine learning techniques to classify and detect malware. However, existing works in this field only perform simple image transformation methods that limit the accuracy of the detection. In this paper, we introduce a novel approach to classify malware by using a deep network on images transformed from binary samples. In particular, we first develop a novel hybrid image transformation method to convert binaries into color images that convey the binary semantics. The images are trained by a deep convolutional neural network that later classifies the test inputs into benign or malicious categories. Through the extensive experiments, our proposed method surpasses all baselines and achieves 99.14% in terms of accuracy on the testing set.


title: Spectral stability of monotone traveling fronts for reaction diffusion-degenerate Nagumo equations

abstract: This paper establishes the spectral stability of monotone traveling front solutions for reaction-diffusion equations where the reaction function is of Nagumo (or bistable) type and with diffusivities which are density dependent and degenerate at zero (one of the equilibrium points of the reaction). Spectral stability is understood as the property that the spectrum of the linearized operator around the wave, acting on an exponentially weighted space, is contained in the complex half plane with non-positive real part. Three different types of monotone waves are studied: (i) stationary diffusion-degenerate fronts, connecting the two stable equilibria of the reaction; (ii) traveling diffusion-degenerate fronts connecting zero with the unstable equilibrium; and, (iii) non-degenerate fronts. In the first two cases, the degeneracy is responsible of the loss of hyperbolicity of the asymptotic coefficient matrices of the spectral problem at one of the end points, precluding the application of standard techniques to locate the essential spectrum. This difficulty is overcome with a suitable partition of the spectrum, a generalized convergence of operators technique, the analysis of singular (or Weyl) sequences and the use of energy estimates. The monotonicity of the fronts, as well as detailed descriptions of the decay structure of eigenfunctions on a case by case basis, are key ingredients to show that all traveling fronts under consideration are spectrally stable in a suitably chosen exponentially weighted $L^2$ energy space.


title: Global Aggregation then Local Distribution in Fully Convolutional Networks

abstract: It has been widely proven that modelling long-range dependencies in fully convolutional networks (FCNs) via global aggregation modules is critical for complex scene understanding tasks such as semantic segmentation and object detection. However, global aggregation is often dominated by features of large patterns and tends to oversmooth regions that contain small patterns (e.g., boundaries and small objects). To resolve this problem, we propose to first use \emph{Global Aggregation} and then \emph{Local Distribution}, which is called GALD, where long-range dependencies are more confidently used inside large pattern regions and vice versa. The size of each pattern at each position is estimated in the network as a per-channel mask map. GALD is end-to-end trainable and can be easily plugged into existing FCNs with various global aggregation modules for a wide range of vision tasks, and consistently improves the performance of state-of-the-art object detection and instance segmentation approaches. In particular, GALD used in semantic segmentation achieves new state-of-the-art performance on Cityscapes test set with mIoU 83.3\%. Code is available at: \url{https://github.com/lxtGH/GALD-Net}


title: Inviscid damping and enhanced dissipation of the boundary layer for 2D Navier-Stokes linearized around Couette flow in a channel

abstract: We study the 2D Navier-Stokes equations linearized around the Couette flow $(y,0)^t$ in the periodic channel $\mathbb T \times [-1,1]$ with no-slip boundary conditions in the vanishing viscosity $\nu \to 0$ limit. We split the vorticity evolution into the free evolution (without a boundary) and a boundary corrector that is exponentially localized to at most an $O(\nu^{1/3})$ boundary layer. If the initial vorticity perturbation is supported away from the boundary, we show inviscid damping of both the velocity and the vorticity associated to the boundary layer. For example, our $L^2_t L^1_y$ estimate of the boundary layer vorticity is independent of $\nu$, provided the initial data is $H^1$. For $L^2$ data, the loss is only logarithmic in $\nu$. Note both such estimates are false for the vorticity in the interior. To the authors' knowledge, this inviscid decay of the boundary layer vorticity seems to be a new observation not previously isolated in the literature. Both velocity and vorticity satisfy the expected $O(\exp(-\delta\nu^{1/3}\alpha^{2/3}t))$ enhanced dissipation in addition to the inviscid damping. Similar, but slightly weaker, results are obtained also for $H^1$ data that is against the boundary initially. For $L^2$ data against the boundary, we at least obtain the boundary layer localization and enhanced dissipation.


title: DeepTIO: A Deep Thermal-Inertial Odometry with Visual Hallucination

abstract: Visual odometry shows excellent performance in a wide range of environments. However, in visually-denied scenarios (e.g. heavy smoke or darkness), pose estimates degrade or even fail. Thermal cameras are commonly used for perception and inspection when the environment has low visibility. However, their use in odometry estimation is hampered by the lack of robust visual features. In part, this is as a result of the sensor measuring the ambient temperature profile rather than scene appearance and geometry. To overcome this issue, we propose a Deep Neural Network model for thermal-inertial odometry (DeepTIO) by incorporating a visual hallucination network to provide the thermal network with complementary information. The hallucination network is taught to predict fake visual features from thermal images by using Huber loss. We also employ selective fusion to attentively fuse the features from three different modalities, i.e thermal, hallucination, and inertial features. Extensive experiments are performed in hand-held and mobile robot data in benign and smoke-filled environments, showing the efficacy of the proposed model.


title: Improved estimation via model selection method for semimartingale regressions based on discrete data

abstract: We consider the robust adaptive nonparametric estimation problem for a periodic function observed in the framework of a continuous time regression model with semimartingale noises.


title: Novel Methods for the Analysis of Stepped Wedge Cluster Randomized Trials

abstract: Stepped wedge cluster randomized trials (SW-CRTs) have become increasingly popular and are used for a variety of interventions and outcomes, often chosen for their feasibility advantages. SW-CRTs must account for time trends in the outcome because of the staggered rollout of the intervention inherent in the design. Robust inference procedures and non-parametric analysis methods have recently been proposed to handle such trends without requiring strong parametric modeling assumptions, but these are less powerful than model-based approaches. We propose several novel analysis methods that reduce reliance on modeling assumptions while preserving some of the increased power provided by the use of mixed effects models. In one method, we use the synthetic control approach to find the best matching clusters for a given intervention cluster. This approach can improve the power of the analysis but is fully non-parametric. Another method makes use of within-cluster crossover information to construct an overall estimator. We also consider methods that combine these approaches to further improve power. We test these methods on simulated SW-CRTs and identify settings for which these methods gain robustness to model misspecification while retaining some of the power advantages of mixed effects models. Finally, we propose avenues for future research on the use of these methods; motivation for such research arises from their flexibility, which allows the identification of specific causal contrasts of interest, their robustness, and the potential for incorporating covariates to further increase power. Investigators conducting SW-CRTs might well consider such methods when common modeling assumptions may not hold.


title: New Classes of Entanglement-assisted Quantum MDS Codes

abstract: In this paper, we produce two new classes of entanglement-assisted quantum MDS codes (EAQMDS codes) with length $n|q^2-1$ and $n|q^2+1$ via cyclic codes over finite fields of odd characteristic. Among our constructions there are many EAQMDS codes with new parameters which have never been reported. And some of them have great larger minimum distance than known results.


title: Skew throttling

abstract: Zero forcing is a process that colors the vertices of a graph blue by starting with some vertices blue and applying a color change rule. Throttling minimizes the sum of the number of initial blue vertices and the time to color the graph. In this paper, we study throttling for skew zero forcing. We characterize the graphs of order $n$ with skew throttling numbers $1, 2, n-1$, and $n$. We find the exact skew throttling numbers of paths, cycles, and balanced spiders with short legs. In addition, we find a sharp lower bound on skew throttling numbers in terms of the diameter.


title: Banach-valued multilinear singular integrals with modulation invariance

abstract: We prove that the class of trilinear multiplier forms with singularity over a one dimensional subspace, including the bilinear Hilbert transform, admit bounded $L^p$-extension to triples of intermediate $\mathrm{UMD}$ spaces. No other assumption, for instance of Rademacher maximal function type, is made on the triple of $\mathrm{UMD}$ spaces. Among the novelties in our analysis is an extension of the phase-space projection technique to the $\mathrm{UMD}$-valued setting. This is then employed to obtain appropriate single tree estimates by appealing to the $\mathrm{UMD}$-valued bound for bilinear Calder\'on-Zygmund operators recently obtained by the same authors.


title: An Introduction to Particle Acceleration in Shearing Flows

abstract: Shear flows are ubiquitously present in space and astrophysical plasmas. This paper highlights the central idea of the non-thermal acceleration of charged particles in shearing flows and reviews some of the recent developments. Topics include the acceleration of charged particles by microscopic instabilities in collisionless relativistic shear flows, Fermi-type particle acceleration in macroscopic, gradual and non-gradual shear flows, as well as shear particle acceleration by large-scale velocity turbulence. When put in the context of jetted astrophysical sources such as Active Galactic Nuclei, the results illustrate a variety of means beyond conventional diffusive shock acceleration by which power-law like particle distributions might be generated. This suggests that relativistic shear flows can account for efficient in-situ acceleration of energetic electrons and be of relevance for the production of extreme cosmic rays.


title: An experimental proof that resistance-switching memories are not memristors

abstract: It has been suggested that all resistive-switching memory cells are memristors. The latter are hypothetical, ideal devices whose resistance, as originally formulated, depends only on the net charge that traverses them. Recently, an unambiguous test has been proposed [J. Phys. D: Appl. Phys. {\bf 52}, 01LT01 (2019)] to determine whether a given physical system is indeed a memristor or not. Here, we experimentally apply such a test to both in-house fabricated Cu-SiO2 and commercially available electrochemical metallization cells. Our results unambiguously show that electrochemical metallization memory cells are not memristors. Since the particular resistance-switching memories employed in our study share similar features with many other memory cells, our findings refute the claim that all resistance-switching memories are memristors. They also cast doubts on the existence of ideal memristors as actual physical devices that can be fabricated experimentally. Our results then lead us to formulate two memristor impossibility conjectures regarding the impossibility of building a model of physical resistance-switching memories based on the memristor model.


title: Adaptive Dynamic Programming for Model-free Tracking of Trajectories with Time-varying Parameters

abstract: In order to autonomously learn to control unknown systems optimally w.r.t. an objective function, Adaptive Dynamic Programming (ADP) is well-suited to adapt controllers based on experience from interaction with the system. In recent years, many researchers focused on the tracking case, where the aim is to follow a desired trajectory. So far, ADP tracking controllers assume that the reference trajectory follows time-invariant exo-system dynamics-an assumption that does not hold for many applications. In order to overcome this limitation, we propose a new Q-function which explicitly incorporates a parametrized approximation of the reference trajectory. This allows to learn to track a general class of trajectories by means of ADP. Once our Q-function has been learned, the associated controller copes with time-varying reference trajectories without need of further training and independent of exo-system dynamics. After proposing our general model-free off-policy tracking method, we provide analysis of the important special case of linear quadratic tracking. We conclude our paper with an example which demonstrates that our new method successfully learns the optimal tracking controller and outperforms existing approaches in terms of tracking error and cost.


title: The Kostant invariant and special $\epsilon$-orthogonal representations for $\epsilon$-quadratic colour Lie algebras

abstract: Let k be a field of characteristic not two or three, let $\mathfrak{g}$ be a finite-dimensional colour Lie algebra and let V be a finite-dimensional representation of $\mathfrak{g}$. In this article we give various ways of constructing a colour Lie algebra $\tilde{\mathfrak{g}}$ whose bracket in some sense extends both the bracket of $\mathfrak{g}$ and the action of $\mathfrak{g}$ on V. Colour Lie algebras, originally introduced by R. Ree ([Ree60]), generalise both Lie algebras and Lie superalgebras, and in those cases our results imply many known results ([Kos99], [Kos01], [CK15], [SS15]). For a class of representations arising in this context we show there are covariants satisfying identities analogous to Mathews identities for binary cubics.


title: Late-outburst radio flaring in SS Cyg and evidence for a powerful kinetic output channel in cataclysmic variables

abstract: Accreting white dwarfs in binary systems known as cataclysmic variables (CVs) have in recent years been shown to produce radio flares during outbursts, qualitatively similar to those observed from neutron star and black hole X-ray binaries, but their ubiquity and energetic significance for the accretion flow has remained uncertain. We present new radio observations of the CV SS Cyg with Arcminute Microkelvin Imager Large Array, which show for the second time late-ouburst radio flaring, in April 2016. This flaring occurs during the optical flux decay phase, about ten days after the well-established early-time radio flaring. We infer that both the early- and late-outburst flares are a common feature of the radio outbursts of SS Cyg, albeit of variable amplitudes, and probably of all dwarf novae. We furthermore present new analysis of the physical conditions in the best-sampled late-outburst flare, from Feb 2016, which showed clear optical depth evolution. From this we can infer that the synchrotron-emitting plasma was expanding at about 1% of the speed of light, and at peak had a magnetic field of order 1 Gauss and total energy content > 10^{33} erg. While this result is independent of the geometry of the synchrotron-emitting region, the most likely origin is in a jet carrying away a significant amount of the available accretion power.


title: Three-body description of $\boldsymbol{^{12}}$C: From the hyperspherical formulation to the algebraic cluster model and its application to $\boldsymbol{\alpha}+\boldsymbol{^{12}}$C inelastic scattering

abstract: Form factors for $\alpha+{^{12}}$C inelastic scattering are obtained within two theoretical ($\alpha+\alpha+\alpha$) approaches: The hyperspherical framework for three identical bosons, and the algebraic cluster model assuming the $D_{3h}$ symmetry of an equilateral triangle subject to rotations and vibrations. Results show a good agreement, with form factors involving the Hoyle state having a slightly larger extension within the hyperspherical approach. Coupled-channel calculations using these form factors are ongoing.


title: The Bridge Between Chiral Lagrangians and QCD Sum-Rules

abstract: Properties of the scale-factor matrices forming a bridge between the mesonic fields of chiral Lagrangians and quark-level structures of QCD sum-rules are reviewed. The scale-factor matrices combined with mixing angles provide a physical projection of a QCD correlation function matrix that disentangles the mesonic states. This methodology is illustrated for the isotriplet $a_0(980)$-$a_0(1450)$ system, and the scale factors are determined from the combined inputs of QCD sum-rules and chiral Lagrangians. The resulting scale factors are shown to be in good agreement with the vacuum expectation values in the chiral Lagrangian framework. The sensitivity of the scale factors on the gluon condensate QCD sum-rule parameter is explored.


title: Coherence as witness for quantumness of gravity

abstract: We propose an interferometric set-up that utilizes the concept of quantum coherence to provide quantum signatures of gravity. The gravitational force comes into nontrivial play due to the existence of an extra mass in the set-up that transforms an incoherent state to a coherent state. The implication uses the fact that quantum coherence at a certain site cannot be altered by local actions at a separate site. The ability to transform an incoherent state to a coherent one in the presence of gravitational field provides a signature of quantumness of gravity. We also observe that the results remain unaltered in presence of a nontrivial quantity of depolarising noise.


title: BMVC 2019: Workshop on Interpretable and Explainable Machine Vision

abstract: Proceedings of the BMVC 2019 Workshop on Interpretable and Explainable Machine Vision, Cardiff, UK, September 12, 2019.


title: He II Emission from Wolf-Rayet Stars as a Tool for Measuring Dust Reddening

abstract: We calibrated a technique to measure dust attenuation in star-forming galaxies. The technique utilizes the stellar-wind lines in Wolf-Rayet stars, which are widely observed in galaxy spectra. The He II 1640 and 4686 features are recombination lines whose ratio is largely determined by atomic physics. Therefore they can serve as a stellar dust probe in the same way as the Balmer lines are used as a nebular probe. We measured the strength of the He II 1640 line in 97 Wolf-Rayet stars in the Galaxy and the Large Magellanic Cloud. The reddening corrected fluxes follow a tight correlation with a fixed ratio of 7.76 for the He II 1640 to 4686 line ratio. Dust attenuation decreases this ratio. We provide a relation between the stellar E(B-V) and the observed line ratio for several attenuation laws. Combining this technique with the use of the nebular Balmer decrement allows the determination of the stellar and nebular dust attenuation in galaxies and can probe its effects at different stellar age and mass regimes, independently of the initial mass function and the star-formation history. We derived the dust reddening from the He II line fluxes and compared it to the reddening from the Balmer decrement and from the slope of the ultraviolet continuum in two star-forming galaxies. The three methods result in dust attenuations which agree to within the errors. Future application of this technique permits studies of the stellar dust attenuation compared to the nebular attenuation in a representative galaxy sample.


title: Surfing on an uncertain edge: Precision cutting of soft tissue using torque-based medium classification

abstract: Precision cutting of soft-tissue remains a challenging problem in robotics, due to the complex and unpredictable mechanical behaviour of tissue under manipulation. Here, we consider the challenge of cutting along the boundary between two soft mediums, a problem that is made extremely difficult due to visibility constraints, which means that the precise location of the cutting trajectory is typically unknown. This paper introduces a novel strategy to address this task, using a binary medium classifier trained using joint torque measurements, and a closed loop control law that relies on an error signal compactly encoded in the decision boundary of the classifier. We illustrate this on a grapefruit cutting task, successfully modulating a nominal trajectory fit using dynamic movement primitives to follow the boundary between grapefruit pulp and peel using torque based medium classification. Results show that this control strategy is successful in 72 % of attempts in contrast to control using a nominal trajectory, which only succeeds in 50 % of attempts.


title: Milliwatt-threshold visible-telecom optical parametric oscillation using silicon nanophotonics

abstract: The on-chip creation of coherent light at visible wavelengths is crucial to field-level deployment of spectroscopy and metrology systems. Although on-chip lasers have been implemented in specific cases, a general solution that is not restricted by limitations of specific gain media has not been reported. Here, we propose creating visible light from an infrared pump by widely-separated optical parametric oscillation (OPO) using silicon nanophotonics. The OPO creates signal and idler light in the 700 nm and 1300 nm bands, respectively, with a 900 nm pump. It operates at a threshold power of (0.9 +/- 0.1) mW, over 50x smaller than other widely-separated microcavity OPO works, which have only been reported in the infrared. This low threshold enables direct pumping without need of an intermediate optical amplifier. We further show how the device design can be modified to generate 780 nm and 1500 nm light with a similar power efficiency. Our nanophotonic OPO shows distinct advantages in power efficiency, operation stability, and device scalability, and is a major advance towards flexible on-chip generation of coherent visible light.


title: Assessing Expert System-Assisted Literature Reviews With a Case Study

abstract: Given the large number of publications in software engineering, frequent literature reviews are required to keep current on work in specific areas. One tedious work in literature reviews is to find relevant studies amongst thousands of non-relevant search results. In theory, expert systems can assist in finding relevant work but those systems have primarily been tested in simulations rather than in application to actual literature reviews. Hence, few researchers have faith in such expert systems. Accordingly, using a realistic case study, this paper assesses how well our state-of-the-art expert system can help with literature reviews. The assessed literature review aimed at identifying test case prioritization techniques for automated UI testing, specifically from 8,349 papers on IEEE Xplore. This corpus was studied with an expert system that incorporates an incrementally updated human-in-the-loop active learning tool. Using that expert system, in three hours, we found 242 relevant papers from which we identified 12 techniques representing the state-of-the-art in test case prioritization when source code information is not available. These results were then validated by six other graduate students manually exploring the same corpus. Without the expert system, this task would have required 53 hours and would have found 27 additional papers. That is, our expert system achieved 90% recall with 6% of the human effort cost when compared to a conventional manual method. Significantly, the same 12 state-of-the-art test case prioritization techniques were identified by both the expert system and the manual method. That is, the 27 papers missed by the expert system would not have changed the conclusion of the literature review. Hence, if this result generalizes, it endorses the use of our expert system to assist in literature reviews.


title: Rethinking Metadynamics: from bias potentials to probability distributions

abstract: Metadynamics is an enhanced sampling method of great popularity, based on the on-the-fly construction of a bias potential that is function of a selected number of collective variables. We propose here a change in perspective that shifts the focus from the bias to the probability distribution reconstruction, while keeping some of the key characteristics of metadynamics, such as the flexible on-the-fly adjustments to the free energy estimate. The result is an enhanced sampling method that presents a drastic improvement in convergence speed, especially when dealing with suboptimal and/or multidimensional sets of collective variables. The method is especially robust and easy to use, in fact it requires only few simple parameters to be set, and it has a straightforward reweighting scheme to recover the statistics of the unbiased ensemble. Furthermore it gives more control on the desired exploration of the phase space, since the deposited bias is not allowed to grow indefinitely and it does not push the simulation to uninteresting high free energy regions. We demonstrate the performance of the method in a number of representative examples.


title: Note on distributed certification of minimum spanning trees

abstract: A distributed proof (also known as local certification, or proof-labeling scheme) is a mechanism to certify that the solution to a graph problem is correct. It takes the form of an assignment of labels to the nodes, that can be checked locally. There exists such a proof for the minimum spanning tree problem, using $O(\log n \log W)$ bit labels (where $n$ is the number of nodes in the graph, and $W$ is the largest weight of an edge). This is due to Korman and Kutten who describe it in concise and formal manner in [Korman and Kutten 07]. In this note, we propose a more intuitive description of the result, as well as a gentle introduction to the problem.


title: Impact of Correlated Failures in 5G Dual Connectivity Architectures for URLLC Applications

abstract: Achieving end-to-end ultra-reliability and resiliency in mission critical communications is a major challenge for future wireless networks. Dual connectivity has been proposed by 3GPP as one of the viable solutions to fulfill the reliability requirements. However, the potential correlation in failures occurring over different wireless links is commonly neglected in current network design approaches. In this paper, we investigate the impact of realistic correlation among different wireless links on end-to-end reliability for two selected architectures from 3GPP. In ultra-reliable use-cases, we show that even small values of correlation can increase the end-to-end error rate by orders of magnitude. This may suggest alternative feasible architecture designs and paves the way towards serving ultra-reliable communications in 5G networks.


title: Noetherian operators, primary submodules and symbolic powers

abstract: We give an algebraic and self-contained proof of the existence of the so-called Noetherian operators for primary submodules over general classes of Noetherian commutative rings. The existence of Noetherian operators accounts to provide an equivalent description of primary submodules in terms of differential operators. As a consequence, we introduce a new notion of differential powers which coincides with symbolic powers in many interesting non-smooth settings, and so it could serve as a generalization of the Zariski-Nagata Theorem.


title: Triply charged Higgs bosons at a 100 TeV $pp$ collider

abstract: The neutral Higgs boson predicted from spontaneous breaking of electroweak symmetry in the standard model (SM) has been discovered. Precision test of the Higgs boson properties is one of the promising ways to study new physics beyond SM. Some of the most important information to know is whether there are additional Higgs bosons, neutral, singly charged and even multi-charged ones. In this work, we study the potential to search for triply charged Higgs bosons in the final state with at least three same-sign leptons. A detailed collider analysis of the SM backgrounds and signals at a 100~TeV $pp$ collider is performed with $5\sigma$ discovery prospects being obtained, which are expressed as a function of the vacuum expectation value (VEV) $v_\Delta$ or the mass splitting $\Delta m$. We also revisit the sensitivity at the Large Hadron Collider (LHC) by projecting that at a 100~TeV $pp$ collider. For a comparison, two benchmark values $v_\Delta=10^{-6}~\text{GeV}$ and $5\times 10^{-3}~\text{GeV}$ are taken. We find that for the triply charged Higgs boson mass below 1~TeV $5\sigma$ discovery significance can be reached at a 100~TeV $pp$ collider with $3.3~\text{fb}^{-1}$ and $110~\text{fb}^{-1}$ of data, respectively, the sensitivity of which is much better than that at the LHC.


title: Thermal evolution of rocky exoplanets with a graphite outer shell

abstract: The presence of rocky exoplanets with a large refractory carbon inventory is predicted by chemical evolution models of protoplanetary disks of stars with photospheric C/O >0.65, and by models studying the radial transport of refractory carbon. High-pressure high-temperature laboratory experiments show that most of the carbon in these exoplanets differentiates into a graphite outer shell. Our aim is to evaluate the effects of a graphite outer shell on the thermal evolution of rocky exoplanets containing a metallic core and a silicate mantle. We implement a parameterized model of mantle convection to determine the thermal evolution of rocky exoplanets with graphite layer thicknesses up to 1000 km. We find that, due to the high thermal conductivity of graphite, conduction is the dominant heat transport mechanism in a graphite layer for the long-term evolution (>200 Myr). The conductive graphite shell essentially behaves like a stagnant lid with a fixed thickness. Models of Kepler-37b (Mercury-size) and a Mars-sized exoplanet show that a planet with a graphite lid cools faster than a planet with a silicate lid, and a planet without a stagnant lid cools the fastest. A graphite lid needs to be approximately ten times thicker than a corresponding silicate lid in order to produce similar thermal evolution.


title: Approximation by random fractions

abstract: We study approximation in the unit interval by rational numbers whose numerators are selected randomly with certain probabilities. Previous work showed that an analogue of Khintchine's Theorem holds in a similar random model and raised the question of when the monotonicity assumption can be removed. Informally speaking, we show that if the probabilities in our model decay sufficiently fast as the denominator increases, then a Khintchine-like statement holds without a monotonicity assumption. Although our rate of decay of probabilities is unlikely to be optimal, it is known that such a result would not hold if the probabilities did not decay at all.


title: On the structure of weak solutions to scalar conservation laws with finite entropy production

abstract: We consider weak solutions with finite entropy production to the scalar conservation law \begin{equation} \partial_t u+\mathrm{div}_x F(u)=0 \quad \mbox{in }(0,T)\times \mathbb{R}^d. \end{equation} Building on the kinetic formulation we prove under suitable nonlinearity assumption on $f$ that the set of non Lebesgue points of $u$ has Hausdorff dimension at most $d$. A notion of Lagrangian representation for this class of solutions is introduced and this allows for a new interpretation of the entropy dissipation measure.


title: Quadratic differentials and circle patterns on complex projective tori

abstract: Given a triangulation of a closed surface, we consider a cross ratio system that assigns a complex number to every edge satisfying certain polynomial equations per vertex. Every cross ratio system induces a complex projective structure together with a circle pattern on the closed surface. In particular, there is an associated conformal structure. We show that for any triangulated torus, the projection from the space of cross ratio systems with prescribed Delaunay angles to the Teichm\"{u}ller space is a covering map with at most one branch point. Our approach is based on a notion of discrete holomorphic quadratic differentials.


title: The mass of dusty clumps with temperature and density structure

abstract: We consider a dusty clump in the two cases of spherical and cylindrical symmetry to investigate the effect of temperature and density gradients on the observed flux density. Conversely, we evaluate how the presence of such gradients affects the calculation of the clump mass from the observed flux. We provide the reader with approximate expressions relating flux density and mass in the optically thick and thin limits, in the Rayleigh-Jeans regime, and discuss the reliability of these expressions by comparing them to the outcome of a numerical code. Finally, we present an application of our calculations to three examples taken from the literature, which shows how the correction introduced after taking into account temperature and density gradients may affect our conclusions on the stability of the clumps.


title: Characteristic foliation on vertical hypersurfaces on holomorphic symplectic manifolds with Lagrangian Fibration

abstract: Let $Y$ be a smooth hypersurface in a projective irreducible holomorphic symplectic manifold $X$ of dimension $2n$. The characteristic foliation $F$ is the kernel of the symplectic form restricted to $Y$. Assume that $X$ is equipped with a Lagrangian fibration $\pi:X\to B$ and $Y=\pi^{-1}D$, where $D$ is a hypersurface in $B$. It is easy to see that the leaves of $F$ are contained in the fibers of $\pi$. We prove that a very general leaf is Zariski dense in a fiber of $\pi$.


title: Gradient estimates in fractional Dirichlet problems

abstract: We obtain some fine gradient estimates near the boundary for solutions to fractional elliptic problems subject to exterior Dirichlet boundary conditions. Our results provide, in particular, the sign of the normal derivative of such solutions near the boundary of the underlying domain.


title: Group ring based public key cryptosystems

abstract: In this paper, we propose two cryptosystems based on group rings and existing cryptosystem. First one is Elliptic ElGamal type group ring public key cryptosystem whose security is greater than security of cryptosystems based on elliptic curves discrete logarithmic problem (ECDLP). Second is ElGamal type group ring public key cryptosystem, which is analogous to ElGamal public key cryptosystem but has comparatively greater security. Examples are also given for both the proposed cryptosystems.


title: An algorithm based on continuation techniques for minimization problems with highly non-linear equality constraints

abstract: We present an algorithm based on continuation techniques that can be applied to solve numerically minimization problems with equality constraints. We focus on problems with a great number of local minima which are hard to obtain by local minimization algorithms with random starting guesses. We are particularly interested in the computation of minimal norm solutions of underdetermined systems of polynomial equations. Such systems arise, for instance, in the context of the construction of high order optimized differential equation solvers. By applying our algorithm, we are able to obtain 10th order time-symmetric composition integrators with smaller 1-norm than any other integrator found in the literature up to now.


title: Insights into the physics when modeling cold gas clouds in a hot plasma

abstract: This paper aims at studying the reliability of a few frequently raised but not proven arguments for the modeling of cold gas clouds embedded in or moving through a hot plasma and at sensitizing modelers to a more careful consideration of unavoidable acting physical processes and their relevance. At first, by numerical simulations we demonstrate the growing effect of self-gravity on interstellar clouds and, by this, moreover argue against their initial setup as homogeneous. We apply the adaptive-mesh refinement code {\sc Flash} with extensions to metal-dependent radiative cooling and external heating of the gas, self-gravity, mass diffusion, and semi-analytic dissociation of molecules and ionization of atoms. We show that the criterion of Jeans mass or Bonnor-Ebert mass, respectively, provides only a sufficient but not a necessary condition for self-gravity to be effective, because even low-mass clouds are affected on reasonable dynamical timescales. The second part of this paper is dedicated to analytically study the reduction of heat conduction by a magnetic dipole field.We demonstrate that in this configuration, the effective heat flow, i.e. integrated over the cloud surface, is suppressed by only $32$ per cent by magnetic fields in energy equipartition and still insignificantly for even higher field strengths.


title: Schwinger's Picture of Quantum Mechanics III: The statistical interpretation

abstract: Schwinger's algebra of selective measurements has a natural interpretation in the formalism of groupoids. Its kinematical foundations, as well as the structure of the algebra of observables of the theory, was presented in two previous papers (arXiv:1905.12274 and arXiv:1907.03883). In this paper, a closer look to the statistical interpretation of the theory is taken and it is found that an interpretation in terms of Sorkin's quantum measure emerges naturally. It is proven that a suitable class of states of the algebra of virtual transitions of the theory allows to define quantum measures by means of the corresponding decoherence functionals. Quantum measures satisfying a reproducing property are described and a class of states, called factorizable states, possessing the Dirac-Feynman `exponential of the action' form are characterized. Finally, Schwinger's transformation functions are interpreted similarly as transition amplitudes defined by suitable states. The simple examples of the qubit and the double slit experiment are described in detail, illustrating the main aspects of the theory.


title: Metrics and barycenters for point pattern data

abstract: We introduce the transport-transform (TT) and the relative transport-transform (RTT) metrics between finite point patterns on a general space, which provide a unified framework for earlier point pattern metrics, in particular the generalized spike time and the normalized and unnormalized OSPA metrics. Our main focus is on barycenters, i.e. minimizers of a $q$-th order Fr\'echet functional with respect to these metrics. We present a heuristic algorithm that terminates in a local minimum and is shown to be fast and reliable in a simulation study. The algorithm serves as an umbrella method that can be applied on any state space where an appropriate algorithm for solving the location problem for individual points is available. We present applications to geocoded data of crimes in Euclidean space and on a street network, illustrating that barycenters serve as informative summary statistics. Our work is a first step towards statistical inference in covariate-based models of repeated point pattern observations.


title: A Fast and Robust Place Recognition Approach for Stereo Visual Odometry Using LiDAR Descriptors

abstract: Place recognition is a core component of Simultaneous Localization and Mapping (SLAM) algorithms. Particularly in visual SLAM systems, previously-visited places are recognized by measuring the appearance similarity between images representing these locations. However, such approaches are sensitive to visual appearance change and also can be computationally expensive. In this paper, we propose an alternative approach adapting LiDAR descriptors for 3D points obtained from stereo-visual odometry for place recognition. 3D points are potentially more reliable than 2D visual cues (e.g., 2D features) against environmental changes (e.g., variable illumination) and this may benefit visual SLAM systems in long-term deployment scenarios. Stereo-visual odometry generates 3D points with an absolute scale, which enables us to use LiDAR descriptors for place recognition with high computational efficiency. Through extensive evaluations on standard benchmark datasets, we demonstrate the accuracy, efficiency, and robustness of using 3D points for place recognition over 2D methods.


title: Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives

abstract: In this paper we present an early Apprenticeship Learning approach to mimic the behaviour of different players in a short adaption of the interactive fiction Anchorhead. Our motivation is the need to understand and simulate player behaviour to create systems to aid the design and personalisation of Interactive Narratives (INs). INs are partially observable for the players and their goals are dynamic as a result. We used Receding Horizon IRL (RHIRL) to learn players' goals in the form of reward functions, and derive policies to imitate their behaviour. Our preliminary results suggest that RHIRL is able to learn action sequences to complete a game, and provided insights towards generating behaviour more similar to specific players.


title: Arbitrarily large torsion in Khovanov cohomology

abstract: For any positive integer $k$ and $p\in \{3,5,7\}$ we construct a link which has a direct summand $\mathbb{Z}/p^k\mathbb{Z}$ in its Khovanov cohomology.


title: A Weighted $\ell_1$-Minimization Approach For Wavelet Reconstruction of Signals and Images

abstract: In this effort, we propose a convex optimization approach based on weighted $\ell_1$-regularization for reconstructing objects of interest, such as signals or images, that are sparse or compressible in a wavelet basis. We recover the wavelet coefficients associated to the functional representation of the object of interest by solving our proposed optimization problem. We give a specific choice of weights and show numerically that the chosen weights admit efficient recovery of objects of interest from either a set of sub-samples or a noisy version. Our method not only exploits sparsity but also helps promote a particular kind of structured sparsity often exhibited by many signals and images. Furthermore, we illustrate the effectiveness of the proposed convex optimization problem by providing numerical examples using both orthonormal wavelets and a frame of wavelets. We also provide an adaptive choice of weights which is a modification of the iteratively reweighted $\ell_1$-minimization method.


title: Quantum Cosmological Backreactions IV: Constrained Quantum Cosmological Perturbation Theory

abstract: This is the fourth paper in a series of four in which we use space adiabatic methods in order to incorporate backreactions among the homogeneous and between the homogeneous and inhomogeneous degrees of freedom in quantum cosmological perturbation theory. In this paper, we finally consider the gauge invariant scalar (Mukhanov-Sasaki) and tensor (primordial gravitational wave) inhomogeneous perturbations of General Relativity coupled to an inflaton field which arise from a careful constraint analysis of this system up to second order in the perturbations. The simultaneous quantisation of the homogeneous and inhomogeneous degrees of freedom suggests the space adiabatic perturbation theory as an approximation scheme in order to capture the backreaction effects between these two sets of degrees of freedom. We are confronted with all the challenges at once that we found in the simpler models treated in this series of papers. We are able to compute these effects up to second order in the adiabatic parameter and find significant modifications as compared to earlier derivations of the effective quantum dynamics of the homogeneous sector.


title: Zapponi-orientable dessins d'enfants

abstract: Almost two decades ago Zapponi introduced a notion of orientability of a clean dessin d'enfant, based on an orientation of the embedded bipartite graph. We extend this concept, which we call Z-orientability to distinguish it from the traditional topological definition, to the wider context of all dessins, and we use it to define a concept of twist orientability, which also takes account of the Z-orientability properties of those dessins obtained by permuting the roles of white and black vertices and face-centres. We observe that these properties are Galois-invariant, and we study the extent to which they are determined by the standard invariants such as the passport and the monodromy and automorphism groups. We find that in general they are independent of these invariants, but in the case of regular dessins they are determined by the monodromy group.


title: More About Covariance Descriptors for Image Set Coding: Log-Euclidean Framework based Kernel Matrix Representation

abstract: We consider a family of structural descriptors for visual data, namely covariance descriptors (CovDs) that lie on a non-linear symmetric positive definite (SPD) manifold, a special type of Riemannian manifolds. We propose an improved version of CovDs for image set coding by extending the traditional CovDs from Euclidean space to the SPD manifold. Specifically, the manifold of SPD matrices is a complete inner product space with the operations of logarithmic multiplication and scalar logarithmic multiplication defined in the Log-Euclidean framework. In this framework, we characterise covariance structure in terms of the arc-cosine kernel which satisfies Mercer's condition and propose the operation of mean centralization on SPD matrices. Furthermore, we combine arc-cosine kernels of different orders using mixing parameters learnt by kernel alignment in a supervised manner. Our proposed framework provides a lower-dimensional and more discriminative data representation for the task of image set classification. The experimental results demonstrate its superior performance, measured in terms of recognition accuracy, as compared with the state-of-the-art methods.


title: Efficient wavefront sensing for space-based adaptive optics

abstract: Future large space telescopes will be equipped with adaptive optics (AO) to overcome wavefront aberrations and achieve high contrast for imaging faint astronomical objects, such as earth-like exoplanets and debris disks. In contrast to AO that is widely used in ground telescopes, space-based AO systems will use focal plane wavefront sensing to measure the wavefront aberrations. Focal plane wavefront sensing is a class of techniques that reconstruct the light field based on multiple focal plane images distorted by deformable mirror (DM) probing perturbations. In this paper, we report an efficient focal plane wavefront sensing approach for space-based AO which optimizes the DM probing perturbation and thus also the integration time for each image. Simulation of the AO system equipped with a vortex coronagraph has demonstrated that our new approach enables efficient information acquisition and significantly reduces the time needed for achieving high contrast in space.


title: Globular clusters in the era of precision astrometry

abstract: The study of the kinematics of globular clusters (GCs) offers the possibility of unveiling their long term evolution and uncovering their yet unknown formation mechanism. Gaia DR2 has strongly revitalized this field and enabled the exploration of the 6D phase-space properties of Milky Way GCs, thanks to precision astrometry. However, to fully leverage on the power of precision astrometry, a thorough investigations of the data is required. In this contribution, we show that the study of the mean radial proper motion profiles of GCs offers an ideal benchmark to assess the presence of systematics in crowded fields. Our work demonstrates that systematics in Gaia DR2 for the closest 14 GCs are below the random measurement errors, reaching a precision of ~0.015 mas/yr for mean proper motion measurements. Finally, through the analysis of the tangential component of proper motions, we report the detection of internal rotation in a sample of ~50 GCs, and outline the implications of the presence of angular momentum for the formation mechanism of proto-GC. This result gives the first taste of the unparalleled power of Gaia DR2 for GCs science, in preparation for the subsequent data releases.


title: Bayesian inference of species trees using diffusion models

abstract: We describe a new and computationally efficient Bayesian methodology for inferring species trees and demographics from unlinked binary markers. Likelihood calculations are carried out using diffusion models of allele frequency dynamics combined with a new algorithm for numerically computing likelihoods of quantitative traits. The diffusion approach allows for analysis of datasets containing hundreds or thousands of individuals. The method, which we call \snapper, has been implemented as part of the Beast2 package. We introduce the models, the efficient algorithms, and report performance of \snapper on simulated data sets and on SNP data from rattlesnakes and freshwater turtles.


title: A new decomposition of ascent sequences and Euler--Stirling statistics

abstract: As shown by Bousquet-M\'elou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which leads to: (i) a calculation of the Euler--Stirling distribution on ascent sequences, including the numbers of ascents ($\asc$), repeated entries $(\rep)$, zeros ($\zero$) and maximal entries ($\max$). In particular, this confirms and extends Dukes and Parviainen's conjecture on the equidistribution of $\zero$ and $\max$. (ii) a far-reaching generalization of the generating function formula for $(\asc,\zero)$ due to Jel\'inek. This is accomplished via a bijective proof of the quadruple equidistribution of $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\rmin,\zero)$, where $\rmin$ denotes the right-to-left minima statistic of ascent sequences. (iii) an extension of a conjecture posed by Levande, which asserts that the pair $(\asc,\zero)$ on ascent sequences has the same distribution as the pair $(\rep,\max)$ on $({\bf2-1})$-avoiding inversion sequences. This is achieved via a decomposition of $({\bf2-1})$-avoiding inversion sequences parallel to that of ascent sequences. This work is motivated by a double Eulerian equidistribution of Foata (1977) and a tempting bi-symmetry conjecture, which asserts that the quadruples $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\max,\zero)$ are equidistributed on ascent sequences.


title: Mean-field Langevin System, Optimal Control and Deep Neural Networks

abstract: In this paper, we study a regularised relaxed optimal control problem and, in particular, we are concerned with the case where the control variable is of large dimension. We introduce a system of mean-field Langevin equations, the invariant measure of which is shown to be the optimal control of the initial problem under mild conditions. Therefore, this system of processes can be viewed as a continuous-time numerical algorithm for computing the optimal control. As an application, this result endorses the solvability of the stochastic gradient descent algorithm for a wide class of deep neural networks.


title: Band-Limited Gaussian Processes: The Sinc Kernel

abstract: We propose a novel class of Gaussian processes (GPs) whose spectra have compact support, meaning that their sample trajectories are almost-surely band limited. As a complement to the growing literature on spectral design of covariance kernels, the core of our proposal is to model power spectral densities through a rectangular function, which results in a kernel based on the sinc function with straightforward extensions to non-centred (around zero frequency) and frequency-varying cases. In addition to its use in regression, the relationship between the sinc kernel and the classic theory is illuminated, in particular, the Shannon-Nyquist theorem is interpreted as posterior reconstruction under the proposed kernel. Additionally, we show that the sinc kernel is instrumental in two fundamental signal processing applications: first, in stereo amplitude modulation, where the non-centred sinc kernel arises naturally. Second, for band-pass filtering, where the proposed kernel allows for a Bayesian treatment that is robust to observation noise and missing data. The developed theory is complemented with illustrative graphic examples and validated experimentally using real-world data.


title: Thermodynamic extended phase space and $P-V$ criticality of black holes at Pure Lovelock gravity

abstract: In this work the \textit{chemistry} of asymptotically AdS black hole, charged and uncharged, solutions of Pure Lovelock gravity is discussed. For this the mass parameter of black holes is identified with the enthalpy of the system together with the promotion of the cosmological constant to a thermodynamics variable proportional to the \textit{pressure} of the system. The equations of state for both, charged and uncharged, are obtained. It is shown that the charged case behaves as a Van der Waals fluid. The existence of a first order phase transition between small stable/large stable black hole, which is a reminiscent of the liquid/gas transition, is found. The critical exponents of the thermal evolution, for different cases of interest, are similar to those of the Van der Waals fluid.


title: Domain walls in strontium titanate

abstract: Density functional theory calculations of twin-domain walls in strontium titanate are presented. The two possible domain walls are characterized. The domain wall type is set by the relative phase of the octahedral rotations in the body-centered-tetragonal SrTiO$_3$ on either side of the domain wall. The width of the domain walls is estimated to be approximately 3 nm.


title: Beamforming Optimization for Intelligent Reflecting Surface Assisted MIMO: A Sum-Path-Gain Maximization Approach

abstract: Recently, intelligent reflecting surface (IRS) has emerged as an appealing technique that enables wireless communications with low hardware cost and low power consumption. In this letter, we consider an IRS-assisted point-to-point multi-input multi-output (MIMO) system, where a source communicates with its destination with the help of an IRS. Our goal is to maximize the spectral efficiency of this system by jointly optimizing the (active) precoding at the source and the (passive) phase shifters (PSs) at the IRS. However, this turns out to be an intractable mixed integer non-convex optimization problem. To circumvent the intractability, we propose a new sum-path-gain maximization (SPGM) criterion to obtain a high-quality and efficient suboptimal solution to this problem. Specifically, the PSs are first designed based on a simplified optimization problem, which aims to maximize the sum-gains of the spatial paths between the source and the destination. Then, a low-complexity alternating direction method of multipliers (ADMM) algorithm is utilized to solve this simplified problem. Finally, with the above obtained PSs, the source precoding is derived by performing the singular value decomposition (SVD) on the effective channel between the source and the destination. Numerical results demonstrate that the proposed scheme can achieve near-optimal performance.


title: Towards Quality Assurance of Software Product Lines with Adversarial Configurations

abstract: Software product line (SPL) engineers put a lot of effort to ensure that, through the setting of a large number of possible configuration options, products are acceptable and well-tailored to customers' needs. Unfortunately, options and their mutual interactions create a huge configuration space which is intractable to exhaustively explore. Instead of testing all products, machine learning techniques are increasingly employed to approximate the set of acceptable products out of a small training sample of configurations. Machine learning (ML) techniques can refine a software product line through learned constraints and a priori prevent non-acceptable products to be derived. In this paper, we use adversarial ML techniques to generate adversarial configurations fooling ML classifiers and pinpoint incorrect classifications of products (videos) derived from an industrial video generator. Our attacks yield (up to) a 100% misclassification rate and a drop in accuracy of 5%. We discuss the implications these results have on SPL quality assurance.


title: Effect of Ba and Zr co-substitution on dielectric and magnetoelectric properties of BiFeO3 multiferroics

abstract: We report the effect of Ba and Zr co-substitution on structural, dielectric, magnetic and magnetoelectric properties of BiFeO3 multiferroics. Polycrystalline nanoceramic samples of Bi1- xBaxFe1-yZryO3 have been synthesized by auto-combustion method. Rietveld refinement result of X-ray diffraction data indicate a contraction of unit cell volume with increase in x and y. Field emission scanning electron micrographs show densely populated grains without any voids or defects with well-defined grain boundary and decrease in grain size with increasing x and y. The result of dielectric measurement display anomalies, which are amplified and the temperature at which dielectric anomalies observed decreases with increasing composition. A cross-over from anti-ferromagnetism to weak ferromagnetism has been observed at x = y = 0.1 with enhanced magnetization as compared to pure BiFeO3. Ferroelectric properties of the sample have been studied using PE loop measurement. Magneto-dielectric and magneto impedance spectroscopy reveal the existence of intrinsic magneto-electric coupling at room temperature.


title: Fast transcription of speech in low-resource languages

abstract: We present software that, in only a few hours, transcribes forty hours of recorded speech in a surprise language, using only a few tens of megabytes of noisy text in that language, and a zero-resource grapheme to phoneme (G2P) table. A pretrained acoustic model maps acoustic features to phonemes; a reversed G2P maps these to graphemes; then a language model maps these to a most-likely grapheme sequence, i.e., a transcription. This software has worked successfully with corpora in Arabic, Assam, Kinyarwanda, Russian, Sinhalese, Swahili, Tagalog, and Tamil.


title: An Argument for a Kilometer-Scale Nucleus of C/2019 Q4

abstract: C/2019 Q4 (Borisov), discovered by Gennady Borisov on August 30, 2019, is tentatively an interstellar comet. We show that a kilometer-scale nucleus would provide consistency with both `Oumuamua and CNEOS-2014-01-08, resulting in a single power-law distribution with an equal amount of mass per logarithmic bin of interstellar objects.


title: $S$-factor and scattering-parameter extractions from ${}^{3}\mathrm{He} +{}^{4}\mathrm{He} \rightarrow {}^{7}\mathrm{Be} + \gamma$

abstract: Previous studies of the reaction ${}^{3}\mathrm{He} +{}^{4}\mathrm{He} \rightarrow {}^{7}\mathrm{Be} + \gamma$ have focused on providing the best central value and error bar for the $S$ factor at solar energies. Measurements of this capture reaction, the ${}^{3}\mathrm{He}$-${}^{4}\mathrm{He}$ scattering phase shifts, as well as properties of ${}^{7}\mathrm{Be}$, have been used to constrain employed theoretical models. Here we show that much more information than was previously appreciated can be extracted from angle-integrated capture data alone. We use the next-to-leading-order (NLO) amplitude in an effective field theory (EFT) for the reaction to perform the extrapolation. At this order the EFT describes the reaction using an s-wave scattering length and effective range, the asymptotic properties of the final bound states, and short-distance contributions to the $E1$ capture amplitude. We extract the multi-dimensional posterior of all these parameters via a Bayesian analysis. We find that properties of the ${}^{7}\mathrm{Be}$ ground and excited states are well constrained. The total $S$ factor $S(0)= 0.578^{+0.015}_{-0.016}$ keV~b, while the branching ratio for excited- to ground-state capture at zero energy, $Br(0)=0.406^{+0.013}_{-0.011}$, both at 68\% degree of belief. This $S(0)$ is broadly consistent with other recent evaluations, including the previously recommended value $S(0)=0.56 \pm 0.03$ eV b, but has a smaller error bar. We also find significant constraints on the scattering parameters, and we obtain constraints on the $S(E)$'s angular dependence. The path forward seems to lie with better measurements of the scattering phase shift and $S(E)$'s angular dependence, together with better understanding of the asymptotic normalization coefficients of the ${}^7$Be bound states' wave functions. Data on these could further reduce $S(0)$'s uncertainty.


title: EvaSylv: A user-friendly software to evaluate forestry scenarii including natural risk

abstract: Forest management relies on the evaluation of silviculture practices. The increase in natural risk due to climate change makes it necessary to consider evaluation criteria that take natural risk into account. Risk integration in existing software requires advanced programming skills.We propose a user-friendly software to simulate even-aged and monospecific forest at the stand level, in order to evaluate and optimize forest management. The software gives the possibility to run management scenarii with or without considering the impact of natural risk. The control variables are the dates and rates of thinning and the cutting age.The risk model is based on a Poisson processus. The Faustmann approach, including tree damage risk, is used to evaluate future benefits, economic or ecosystem services. It relies on the calculation of expected values, for which a dedicated mathematical development has been done. The optimized criteria used to evaluate the various scenarii are the Faustmann value and the Averaged yield value.We illustrate the approach and the software on two case studies: economic optimization of a beech stand and carbon sequestration optimization of a pine stand.Software interface makes it easy for users to write their own (growth-tree damage-economic) models without advanced programming skills. The possibility to run management scenarii with/without considering the impact of natural risk may contribute improving silviculture guidelines and adapting them to climate change. We propose future lines of research and improvement.


title: Distinction for unipotent $p$-adic groups

abstract: Let $F$ be a $p$-adic field and $\mathbf{U}$ be a unipotent group defined over $F$, and set $U=\mathbf{U}(F)$. Let $\sigma$ be an involution of $\mathbf{U}$ defined over $F$. Adapting the arguments of Yves Benoist in the real case, we prove the following result: an irreducible representation $\pi$ of $U$ is $U^{\sigma}$-distinguished if and only if it is $\sigma$-self-dual and in this case $\mathrm{Hom}_{U^\sigma}(\pi,\mathbb{C})$ has dimension one. When $\sigma$ is a Galois involution these results imply a bijective correspondence between the set $\mathrm{Irr}(U^\sigma)$ of isomorphism classes of irreducible representations of $U^\sigma$ and the set $\mathrm{Irr}_{U^\sigma-\mathrm{dist}}(U)$ of isomorphism classes of distinguished irreducible representations of $U$.


title: Communication-based Evaluation for Natural Language Generation

abstract: Natural language generation (NLG) systems are commonly evaluated using n-gram overlap measures (e.g. BLEU, ROUGE). These measures do not directly capture semantics or speaker intentions, and so they often turn out to be misaligned with our true goals for NLG. In this work, we argue instead for communication-based evaluations: assuming the purpose of an NLG system is to convey information to a reader/listener, we can directly evaluate its effectiveness at this task using the Rational Speech Acts model of pragmatic language use. We illustrate with a color reference dataset that contains descriptions in pre-defined quality categories, showing that our method better aligns with these quality categories than do any of the prominent n-gram overlap methods.


title: Godbillon-Vey Helicity and Magnetic Helicity in Magnetohydrodynamics

abstract: The Godbillon-Vey invariant occurs in homology theory, and algebraic topology, when conditions for a co-dimension 1, foliation of a 3D manifold are satisfied. The magnetic Godbillon-Vey helicity invariant in magnetohydrodynamics (MHD) is a higher order helicity invariant that occurs for flows, in which the magnetic helicity density $h_m={\bf A}{\bf\cdot}{\bf B}={\bf A}{\bf\cdot}(\nabla\times{\bf A})=0$, where ${\bf A}$ is the magnetic vector potential and ${\bf B}$ is the magnetic induction. This paper obtains evolution equations for the magnetic Godbillon-Vey field $\boldsymbol{\eta}={\bf A}\times{\bf B}/|{\bf A}|^2$ and the Godbillon-Vey helicity density $h_{gv}=\boldsymbol{\eta}{\bf\cdot}(\nabla\times{\boldsymbol\eta})$ in general MHD flows in which either $h_m=0$ or $h_m\neq 0$. A conservation law for $h_{gv}$ occurs in flows for which $h_m=0$. For $h_m\neq 0$ the evolution equation for $h_{gv}$ contains a source term in which $h_m$ is coupled to $h_{gv}$ via the shear tensor of the background flow. The transport equation for $h_{gv}$ also depends on the electric field potential $\psi$, which is related to the gauge for ${\bf A}$, which takes its simplest form for the advected ${\bf A}$ gauge in which $\psi={\bf A\cdot u}$ where ${\bf u}$ is the fluid velocity. An application of the Godbillon-Vey magnetic helicity to nonlinear force-free magnetic fields used in solar physics is investigated. The possible uses of the Godbillon-Vey helicity in zero helicity flows in ideal fluid mechanics, and in zero helicity Lagrangian kinematics of three-dimensional advection are discussed.


title: Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples With Mixed Neighborhood Tabu Search

abstract: Nowadays, ensuring the quality becomes challenging for most modern software systems when constraints are given for the combinations of configurations. Combinatorial interaction strategies can systematically reduce the number of test cases to construct a minimal test suite without affecting the effectiveness of the tests. This paper presents a new efficient search-based strategy to generate constrained interaction test suites to cover all possible combinations. The paper also shows a new application of constrained interaction testing in software fault searches. The proposed strategy initially generates the set of all possible t-tuple combinations; then, it filters out the set by removing the forbidden t-tuples using the base forbidden tuple (BFT) approach. The strategy also utilizes a mixed neighborhood tabu search (TS) to construct optimal or near-optimal constrained test suites. The efficiency of the proposed method is evaluated through a comparison against two well-known state-of-the-art tools. The evaluation consists of three sets of experiments for 35 standard benchmarks. Additionally, the effectiveness and quality of the results are assessed using a real-world case study. Experimental results show that the proposed strategy outperforms one of the competitive strategies, ACTS, for approximately 83% of the benchmarks and achieves similar results to CASA for 65% of the benchmarks when the interaction strength is 2. For an interaction strength of 3, the proposed method outperforms other competitive strategies for approximately 60% and 42% of the benchmarks. The proposed strategy can also generate constrained interaction test suites for an interaction strength of 4, which is not possible for many strategies. Real-world case study shows that the generated test suites can effectively detect injected faults using mutation testing.


title: Quantum prescriptions are more ontologically distinct than they are operationally distinguishable

abstract: Based on an intuitive generalization of the Leibniz principle of `the identity of indiscernibles', we introduce a novel ontological notion of classicality, called bounded ontological distinctness. Formulated as a principle, bounded ontological distinctness equates the distinguishability of a set of operational physical entities to the distinctness of their ontological counterparts. Employing three instances of two-dimensional quantum preparations, we demonstrate the violation of bounded ontological distinctness or excess ontological distinctness of quantum preparations, without invoking any additional assumptions. Moreover, our methodology enables the inference of tight lower bounds on the extent of excess ontological distinctness of quantum preparations. Similarly, we demonstrate excess ontological distinctness of quantum transformations, using three two-dimensional unitary transformations. However, to demonstrate excess ontological distinctness of quantum measurements, an additional assumption such as outcome determinism or bounded ontological distinctness of preparations is required. Moreover, we show that quantum violations of other well-known ontological principles implicate quantum excess ontological distinctness. Finally, to showcase the operational vitality of excess ontological distinctness, we introduce two distinct classes of communication tasks powered by excess ontological distinctness.


title: Selective Network Discovery via Deep Reinforcement Learning on Embedded Spaces

abstract: Complex networks are often either too large for full exploration, partially accessible, or partially observed. Downstream learning tasks on these incomplete networks can produce low quality results. In addition, reducing the incompleteness of the network can be costly and nontrivial. As a result, network discovery algorithms optimized for specific downstream learning tasks given resource collection constraints are of great interest. In this paper, we formulate the task-specific network discovery problem in an incomplete network setting as a sequential decision making problem. Our downstream task is selective harvesting, the optimal collection of vertices with a particular attribute. We propose a framework, called Network Actor Critic (NAC), which learns a policy and notion of future reward in an offline setting via a deep reinforcement learning algorithm. The NAC paradigm utilizes a task-specific network embedding to reduce the state space complexity. A detailed comparative analysis of popular network embeddings is presented with respect to their role in supporting offline planning. Furthermore, a quantitative study is presented on several synthetic and real benchmarks using NAC and several baselines. We show that offline models of reward and network discovery policies lead to significantly improved performance when compared to competitive online discovery algorithms. Finally, we outline learning regimes where planning is critical in addressing sparse and changing reward signals.


title: Probability Distributions for Space and Time Averaged Quantum Stress Tensors

abstract: We extend previous work on quantum stress tensor operators which have been averaged over finite time intervals to include averaging over finite regions of space as well. The space and time averaging can be viewed as describing a measurement process for a stress tensor component, such as the energy density of a quantized field in its vacuum state. Although spatial averaging reduces the probability of large vacuum fluctuations compared to time averaging alone, we find that the probability distribution decreases more slowly than exponentially as the magnitude of the measured energy density increases. This implies that vacuum fluctuations can sometimes dominate over thermal fluctuations and potentially have observable effects.


title: A Substructural Epistemic Resource Logic: Theory and Modelling Applications

abstract: We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI's resource semantics --- we introduce BI and its resource semantics at some length --- with epistemic agency. We illustrate the use of the logic in systems modelling by discussing some examples about access control, including semaphores, using resource tokens. We also give a labelled tableaux calculus and establish soundness and completeness with respect to the resource semantics.


title: Coincidence Point Sets in Digital Topology

abstract: In this article, we investigate some properties of the coincidence point set of digitally continuous maps. Following the Rosenfeld graphical model which seems more combinatorial than topological, we expect to achieve results that might not be analogous to the classical topological fixed point theory. We also introduce and study some topological invariants related to the coincidence and common fixed point sets for continuous maps on a digital image. Moreover, we study how these coincidence point sets are affected by rigidity and deformation retraction. Lastly, we present briefly a concept of divergence degree of a point in a digital image.


title: Trapped photons in Schwarzschild-Tangherlini spacetimes

abstract: We study the set of trapped photons outside the event horizon of Schwarzschild-Tangherlini black holes in dimension $d\geq4$. We prove that the only trapped photons are those with constant Boyer-Lindquist coordinate radius. We then identify the set of trapped photons as a submanifold of the tangent bundle of the spacetime, and prove that this submanifold has topology $T^1 S^{n-1}\times \mathbb{R}^2$, as suggested in [7].


title: Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning

abstract: We present a reinforcement learning (RL) framework to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that can be modeled as a Markov Decision Process (MDP). Specifically, we learn a policy that maximizes the probability of satisfying the LTL formula without learning the transition probabilities. We introduce a novel rewarding and path-dependent discounting mechanism based on the LTL formula such that (i) an optimal policy maximizing the total discounted reward effectively maximizes the probabilities of satisfying LTL objectives, and (ii) a model-free RL algorithm using these rewards and discount factors is guaranteed to converge to such policy. Finally, we illustrate the applicability of our RL-based synthesis approach on two motion planning case studies.


title: On jumps stochastic slowly diffusion equations with fast oscillation coefficients

abstract: We present a large deviation principle for some stochastic evolution equations with jumps which depend on two small parameters, when the viscosity parameter {\epsilon} tends to zero more quickly than the homogenization's one {\delta}{\epsilon} (written as a function of {\epsilon}). In particular, we highlighted a large deviation principle in path-space using some classical techniques and a uniform upper bound for the characteristic function of a Feller process.


title: Simulating the external magnetic field in short-pulse intense laser-plasma interaction

abstract: Imposing an external magnetic field in short-pulse intense laser-plasma interaction is of broad scientific interest in related plasma research areas. We propose a simple method using a virtual current layer by introducing an extra current density term to simulate the external magnetic field, and demonstrate it with three-dimensional particle-in-cell simulations. The field distribution and its evolution in sub-picosecond time scale are obtained. The magnetization process takes a much longer time than that of laser-plasma interaction due to plasma diamagnetism arising from collective response. The long-time evolution of magnetic diffusion and diamagnetic current can be predicted based on a simplified analytic model in combination with simulations.


title: Modal frustration and periodicity breaking in artificial spin ice

abstract: Here an artificial spin ice (ASI) lattice is introduced that exhibits unique Ising and non-Ising behavior under specific field switching protocols because of the inclusion of coupled nanomagnets into the unit cell. In the Ising regime, a magnetic switching mechanism that generates a uni- or bimodal distribution of states dependent on the alignment of the field is demonstrated with respect to the lattice unit cell. In addition, a method for generating a plethora of randomly distributed energy states across the lattice, consisting of Ising and Landau states, is investigated through magnetic force microscopy and micromagnetic modeling. We demonstrate that the dispersed energy distribution across the lattice is a result of the intrinsic design and can be finely tuned through control of the incident angle of a critical field. The present manuscript explores a complex frustrated environment beyond the 16-vertex Ising model for the development of novel logic-based technologies.


title: Elliptic classes, McKay correspondence and theta identities

abstract: We revisit the construction of elliptic class given by Borisov and Libgober for singular algebraic varieties. Assuming torus action we adjust the theory to equivariant local situation. We study theta function identities having geometric origin. In the case of quotient singularities $\mathbb C^n/G$, where $G$ is a finite group the theta identities arise from McKay correspondence. The symplectic singularities are of special interest. The Du Val surface singularity $A_n$ leads to a remarkable formula.


title: Discovery and Rapid Follow-up Observations of the Unusual Type II SN 2018ivc in NGC 1068

abstract: We present the discovery and high-cadence follow-up observations of SN 2018ivc, an unusual Type II supernova that exploded in NGC 1068 (D=10.1 Mpc). The light curve of SN 2018ivc declines piecewise-linearly, changing slope frequently, with four clear slope changes in the first 30 days of evolution. This rapidly changing light curve indicates that interaction between the circumstellar material and ejecta plays a significant role in the evolution. Circumstellar interaction is further supported by a strong X-ray detection. The spectra are rapidly evolving and dominated by hydrogen, helium, and calcium emission lines. We identify a rare high-velocity emission-line feature blueshifted at ~7800 km/s (in Ha, Hb, Pb, Pg, HeI, CaII), which is visible from day 18 until at least day 78 and could be evidence of an asymmetric progenitor or explosion. From the overall similarity between SN 2018ivc and SN 1996al, the \Ha{} equivalent width of its parent HII region, and constraints from pre-explosion archival Hubble Space Telescope images, we find that the progenitor of SN 2018ivc could be as massive as 52 Msun but is more likely <12 Msun. SN 2018ivc demonstrates the importance of the early discovery and rapid follow-up observations of nearby supernovae to study the physics and progenitors of these cosmic explosions.


title: Derivation of a Local Volume-Averaged Model and a Stable Numerical Algorithm for Multi-Dimensional Simulations of Conversion Batteries

abstract: In this article, we derive a general form of local volume-averaging theory and apply it to a model of zinc-air conversion batteries. Volume-averaging techniques are frequently used for the macroscopic description of micro-porous electrodes. We extend the existing method by including reactions between different phases and time-dependent volume fractions of the solid phases as these are continuously dissolved and reconstructed during operation of conversion batteries. We find that the constraint of incompressibility for multi-component fluids causes numerical instabilities in simulations of zinc-air battery cells. Therefore, we develop a stable sequential semi-implicit algorithm which converges against the fully implicit solution. Our method reduces the coupling of the variables by splitting the system of equations and introducing an additional iteration step.


title: Spectroscopy From The Lattice: The Scalar Glueball

abstract: Lattice calculations allow us to probe the low-lying, non-perturbative spectrum of QCD using first principles numerical methods. Here we present the low-lying spectrum in the scalar sector with vacuum quantum numbers including, in fully dynamical QCD for the first time, the mixing between glueball, q-qbar, and meson-meson operators.


title: Relating second order geometry of manifolds through projections and normal sections

abstract: We use normal sections to relate the curvature locus of regular (resp. singular corank 1) 3-manifolds in $\mathbb{R}^6$ (resp. $\mathbb R^5$) with regular (resp. singular corank 1) surfaces in $\mathbb R^5$ (resp. $\mathbb R^4$). For example we show how to generate a Roman surface by a family of ellipses different to Steiner's way. Furthermore, we give necessary conditions for the 2-jet of the parametrisation of a singular 3-manifold to be in a certain orbit in terms of the topological types of the curvature loci of the singular surfaces obtained as normal sections. We also study the relations between the regular and singular cases through projections. We show there is a commutative diagram of projections and normal sections which relates the curvature loci of the different types of manifolds, and therefore, that the second order geometry of all of them is related. In particular we define asymptotic directions for singular corank 1 3-manifolds in $\mathbb R^5$ and relate them to asymptotic directions of regular 3-manifolds in $\mathbb R^6$ and singular corank 1 surfaces in $\mathbb R^4$.


title: Topology of weak $G$-bundles via Coulomb gauges in critical dimensions

abstract: The transition maps for a Sobolev $G$-bundle are not continuous in the critical dimension and thus the usual notion of topology does not make sense. In this work, we show that if such a bundle $P$ is equipped with a Sobolev connection $A$, then one can associate a topological isomorphism class to the pair $\left( P, A\right),$ which is invariant under Sobolev gauge changes and coincides with the usual notions for regular bundles and connections. This is based on a regularity result which says any bundle in the critical dimension in which a Sobolev connection is in Coulomb gauges are actually $C^{0,\alpha}$ for any $\alpha < 1.$ We also show any such pair can be strongly approximated by smooth connections on smooth bundles. Finally, we prove that for sequences $(P^{\nu},A^{\nu})$ with uniformly bounded $n/2$-Yang-Mills energy, the topology stabilizes if the $n/2$ norm of the curvatures are equiintegrable. This implies a criterion to detect topological flatness in Sobolev bundles in critical dimensions via $n/2$-Yang-Mills energy.


title: An efficient solver for space-time isogeometric Galerkin methods for parabolic problems

abstract: In this work we focus on the preconditioning of a Galerkin space-time isogeometric discretization of the heat equation. Exploiting the tensor product structure of the basis functions in the parametric domain, we propose a preconditioner that is the sum of Kronecker products of matrices and that can be efficiently applied thanks to an extension of the classical Fast Diagonalization method. The preconditioner is robust w.r.t. the polynomial degree of the spline space and the time required for the application is almost proportional to the number of degrees-of-freedom, for a serial execution. By incorporating some information on the geometry parametrization and on the equation coefficients, we keep high efficiency with non-trivial domains and variable thermal conductivity and heat capacity coefficients.


title: A Tsetlin Machine with Multigranular Clauses

abstract: The recently introduced Tsetlin Machine (TM) has provided competitive pattern recognition accuracy in several benchmarks, however, requires a 3-dimensional hyperparameter search. In this paper, we introduce the Multigranular Tsetlin Machine (MTM). The MTM eliminates the specificity hyperparameter, used by the TM to control the granularity of the conjunctive clauses that it produces for recognizing patterns. Instead of using a fixed global specificity, we encode varying specificity as part of the clauses, rendering the clauses multigranular. This makes it easier to configure the TM because the dimensionality of the hyperparameter search space is reduced to only two dimensions. Indeed, it turns out that there is significantly less hyperparameter tuning involved in applying the MTM to new problems. Further, we demonstrate empirically that the MTM provides similar performance to what is achieved with a finely specificity-optimized TM, by comparing their performance on both synthetic and real-world datasets.


title: Recognition of Russian traffic signs in winter conditions. Solutions of the "Ice Vision" competition winners

abstract: With the advancements of various autonomous car projects aiming to achieve SAE Level 5, real-time detection of traffic signs in real-life scenarios has become a highly relevant problem for the industry. Even though a great progress has been achieved in this field, there is still no clear consensus on what the state-of-the-art in this field is. Moreover, it is important to develop and test systems in various regions and conditions. This is why the "Ice Vision" competition has focused on the detection of Russian traffic signs in winter conditions. The IceVisionSet dataset used for this competition features real-world collection of lossless frame sequences with traffic sign annotations. The sequences were collected in varying conditions, including: different weather, camera exposure, illumination and moving speeds. In this work we describe the competition and present the solutions of the 3 top teams.


title: On the energy of digraphs

abstract: Let $D$ be a simple digraph with eigenvalues $z_1,z_2,...,z_n$. The energy of $D$ is defined as $E(D)= \sum_{i=1}^n |Re(z_i)|$, is the real part of the eigenvalue $z_i$. In this paper a lower bound will be obtained for the spectral radius of $D$, wich improves some the lower bounds that appear in the literature \cite{G-R}, \cite{T-C}. This result allows us to obtain an upper bound for the energy of $ D $. Finally, digraphs are characterized in which this upper bound improves the bounds given in \cite{G-R} and \cite{T-C}.


title: Solving Strong-Substitutes Product-Mix Auctions

abstract: This paper develops algorithms to solve strong-substitutes product-mix auctions. That is, it finds competitive equilibrium prices and quantities for agents who use this auction's bidding language to truthfully express their strong-substitutes preferences over an arbitrary number of goods, each of which is available in multiple discrete units. (Strong substitutes preferences are also known, in other literatures, as $M^\natural$-concave, matroidal and well-layered maps, and valuated matroids). Our use of the bidding language, and the information it provides, contrasts with existing algorithms that rely on access to a valuation or demand oracle to find equilibrium. We compute market-clearing prices using algorithms that apply existing submodular minimisation methods. Allocating the supply among the bidders at these prices then requires solving a novel constrained matching problem. Our algorithm iteratively simplifies the allocation problem, perturbing bids and prices in a way that resolves tie-breaking choices created by bids that can be accepted on more than one good. We provide practical running time bounds on both price-finding and allocation, and illustrate experimentally that our allocation mechanism is practical.


title: On the flow map of the Benjamin-Ono equation on the torus

abstract: We prove that for any $0 < s < 1/2$, the Benjamin--Ono equation on the torus is globally in time $C^0-$well-posed on the Sobolev space $H^{-s}(\T, \R)$,in the sense that the solution map, which is known to be defined for smooth data, continuously extends to $H^{-s}(\T,\R)$. The solution map does not extend continuously to $H^{-s}(\T, \R)$ with $s > 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin--Ono equation on the torus are orbitally stable in $H^{-s}(\T,\R)$ for any $0\le s<1/2$.


title: A priori estimates in terms of the maximum norm for the solution of the Navier-Stokes equations for the periodic initial data

abstract: In this paper, we consider the Cauchy problem for the incompressible Navier-Stokes equations in $\mathbb{R}^n$ for $n\geq 3 $ with smooth periodic initial data and derive a priori estimtes of the maximum norm of all derivatives of the solution in terms of the maximum norm of the initial data. This paper is a special case of a paper by H-O Kreiss and J. Lorenz which also generalizes the main result of their paper to higher dimension.


title: Situational Awareness Enhanced through Social Media Analytics: A Survey of First Responders

abstract: Social media data has been increasingly used to facilitate situational awareness during events and emergencies such as natural disasters. While researchers have investigated several methods to summarize, visualize or mine the data for analysis, first responders have not been able to fully leverage research advancements largely due to the gap between academic research and deployed, functional systems. In this paper, we explore the opportunities and barriers for the effective use of social media data from first responders' perspective. We present the summary of several detailed interviews with first responders on their use of social media for situational awareness. We further assess the impact of SMART-a social media visual analytics system-on first responder operations.


title: Measures of maximal entropy on subsystems of topological suspension semi-flows

abstract: Given a compact topological dynamical system (X, f) with positive entropy and upper semi-continuous entropy map, and any closed invariant subset $Y \subset X$ with positive entropy, we show that there exists a continuous roof function such that the set of measures of maximal entropy for the suspension semi-flow over (X,f) consists precisely of the lifts of measures which maximize entropy on Y. This result has a number of implications for the possible size of the set of measures of maximal entropy for topological suspension flows. In particular, for a suspension flow on the full shift on a finite alphabet, the set of ergodic measures of maximal entropy may be countable, uncountable, or have any finite cardinality.