title: Named entity recognition in chemical patents using ensemble of contextual language models

abstract: Chemical patent documents describe a broad range of applications holding key reaction and compound information, such as chemical structure, reaction formulas, and molecular properties. These informational entities should be first identified in text passages to be utilized in downstream tasks. Text mining provides means to extract relevant information from chemical patents through information extraction techniques. As part of the Information Extraction task of the Cheminformatics Elsevier Melbourne University challenge, in this work we study the effectiveness of contextualized language models to extract reaction information in chemical patents. We assess transformer architectures trained on a generic and specialised corpora to propose a new ensemble model. Our best model, based on a majority ensemble approach, achieves an exact F1-score of 92.30% and a relaxed F1-score of 96.24%. The results show that ensemble of contextualized language models can provide an effective method to extract information from chemical patents.


title: Reversible vs. irreversible voltage manipulation of interfacial magnetic anisotropy in Pt/Co/oxide multilayers

abstract: The perpendicular magnetic anisotropy at the Co/oxide interface in Pt/Co/MOx (MOx = MgOx, AlOx, TbOx) was modified by an electric field using a 10 nm-thick ZrO2 as a solid electrolyte. The large voltage-driven modification of interfacial magnetic anisotropy and the non-volatility of the effect is explained in terms of the migration of oxygen ions towards/away from the Co/MOx interface. While the effect is reversible in Pt/Co/AlOx and Pt/Co/TbOx, where the Co layer can be oxidised or reduced, in Pt/Co/MgOx the effect has been found to be irreversible. We propose that these differences may be related to the different nature of the ionic conduction within the MOx layers.


title: Crystalline symmetry-protected non-trivial topology in prototype compound BaAl$_4$

abstract: The BaAl$_4$ prototype crystal structure is the most populous of all structure types, and is the building block for a diverse set of sub-structures including the famous ThCr$_2$Si$_2$ family that hosts high-temperature superconductivity and numerous magnetic and strongly correlated electron systems. The MA$_4$ family of materials (M=Sr, Ba, Eu; A=Al, Ga, In) themselves present an intriguing set of ground states including charge and spin orders, but have largely been considered as uninteresting metals. Using electronic structure calculations, symmetry analysis and topological quantum chemistry techniques, we predict the exemplary compound BaAl$_4$ to harbor a three-dimensional Dirac spectrum with non-trivial topology and possible nodal lines crossing the Brillouin zone, wherein one pair of semi-Dirac points with linear dispersion along the $k_z$ direction and quadratic dispersion along the $k_x/k_y$ direction resides on the rotational axis with $C_{4v}$ point group symmetry. Electrical transport measurements reveal the presence of an extremely large, unsaturating positive magnetoresistance in BaAl$_4$ despite an uncompensated band structure, and quantum oscillations and angle-resolved photoemission spectroscopy measurements confirm the predicted multiband semimetal structure with pockets of Dirac holes and a Van Hove singularity (VHS) remarkably consistent with the theoretical prediction. We thus present BaAl$_4$ as a new topological semimetal, casting its prototype status into a new role as building block for a vast array of new topological materials.


title: The Foucault pendulum as an example of motion on a pseudo-surface

abstract: The Foucault pendulum is shown to be an example of motion on a pseudo-surface, and the consequences of that are explored. In particular, its first and second fundamental forms are obtained, as well as its Gaussian and mean curvatures and the equations of its geodesics. However, a physical consideration that relates to the extension from space to space-time introduces a complication into the discussion of the geometry of the Foucault pseudo-surface that relates to the possible signatures of the space-time metric.


title: Stickelberger and the Eigenvalue Theorem

abstract: The Eigenvalue Theorem shows that solving a zero-dimensional polynomial system can be recast as an eigenvalue problem. This paper explores the relation between the Eigenvalue Theorem and the work of Ludwig Stickelberger (1850-1936).


title: Rico and the jets: Direct numerical simulations of turbulent liquid jets

abstract: This paper is associated with a poster winner of a 2019 American Physical Society Division of Fluid Dynamics (DFD) Milton van Dyke Award for work presented at the DFD Gallery of Fluid Motion. The original poster is available online at the Gallery of Fluid Motion, https://doi.org/10.1103/APS.DFD.2019.GFM.P0020


title: Computing conditional entropies for quantum correlations

abstract: The rates of quantum cryptographic protocols are usually expressed in terms of a conditional entropy minimized over a certain set of quantum states. In particular, in the device-independent setting, the minimization is over all the quantum states jointly held by the adversary and the parties that are consistent with the statistics that are seen by the parties. Here, we introduce a method to approximate such entropic quantities. Applied to the setting of device-independent randomness generation and quantum key distribution, we obtain improvements on protocol rates in various settings. In particular, we find new upper bounds on the minimal global detection efficiency required to perform device-independent quantum key distribution without additional preprocessing. Furthermore, we show that our construction can be readily combined with the entropy accumulation theorem in order to establish full finite-key security proofs for these protocols. In order to achieve this we introduce the family of iterated mean quantum R\'enyi divergences with parameters $\alpha_k = 1+\frac{1}{2^{k}-1}$ for positive integers $k$. We then show that the corresponding conditional entropies admit a particularly nice form which, in the context of device-independent optimization, can be relaxed to a semidefinite programming problem using the Navascu\'es-Pironio-Ac\'in hierarchy.


title: Defining quantum divergences via convex optimization

abstract: We introduce a new quantum R\'enyi divergence $D^{\#}_{\alpha}$ for $\alpha \in (1,\infty)$ defined in terms of a convex optimization program. This divergence has several desirable computational and operational properties such as an efficient semidefinite programming representation for states and channels, and a chain rule property. An important property of this new divergence is that its regularization is equal to the sandwiched (also known as the minimal) quantum R\'enyi divergence. This allows us to prove several results. First, we use it to get a converging hierarchy of upper bounds on the regularized sandwiched $\alpha$-R\'enyi divergence between quantum channels for $\alpha > 1$. Second it allows us to prove a chain rule property for the sandwiched $\alpha$-R\'enyi divergence for $\alpha > 1$ which we use to characterize the strong converse exponent for channel discrimination. Finally it allows us to get improved bounds on quantum channel capacities.


title: A Lightweight Neural Network for Monocular View Generation with Occlusion Handling

abstract: In this article, we present a very lightweight neural network architecture, trained on stereo data pairs, which performs view synthesis from one single image. With the growing success of multi-view formats, this problem is indeed increasingly relevant. The network returns a prediction built from disparity estimation, which fills in wrongly predicted regions using a occlusion handling technique. To do so, during training, the network learns to estimate the left-right consistency structural constraint on the pair of stereo input images, to be able to replicate it at test time from one single image. The method is built upon the idea of blending two predictions: a prediction based on disparity estimation, and a prediction based on direct minimization in occluded regions. The network is also able to identify these occluded areas at training and at test time by checking the pixelwise left-right consistency of the produced disparity maps. At test time, the approach can thus generate a left-side and a right-side view from one input image, as well as a depth map and a pixelwise confidence measure in the prediction. The work outperforms visually and metric-wise state-of-the-art approaches on the challenging KITTI dataset, all while reducing by a very significant order of magnitude (5 or 10 times) the required number of parameters (6.5 M).


title: Stain Style Transfer of Histopathology Images Via Structure-Preserved Generative Learning

abstract: Computational histopathology image diagnosis becomes increasingly popular and important, where images are segmented or classified for disease diagnosis by computers. While pathologists do not struggle with color variations in slides, computational solutions usually suffer from this critical issue. To address the issue of color variations in histopathology images, this study proposes two stain style transfer models, SSIM-GAN and DSCSI-GAN, based on the generative adversarial networks. By cooperating structural preservation metrics and feedback of an auxiliary diagnosis net in learning, medical-relevant information presented by image texture, structure, and chroma-contrast features is preserved in color-normalized images. Particularly, the smart treat of chromatic image content in our DSCSI-GAN model helps to achieve noticeable normalization improvement in image regions where stains mix due to histological substances co-localization. Extensive experimentation on public histopathology image sets indicates that our methods outperform prior arts in terms of generating more stain-consistent images, better preserving histological information in images, and obtaining significantly higher learning efficiency. Our python implementation is published on https://github.com/hanwen0529/DSCSI-GAN.


title: Combined Sparse Regularization for Nonlinear Adaptive Filters

abstract: Nonlinear adaptive filters often show some sparse behavior due to the fact that not all the coefficients are equally useful for the modeling of any nonlinearity. Recently, a class of proportionate algorithms has been proposed for nonlinear filters to leverage sparsity of their coefficients. However, the choice of the norm penalty of the cost function may be not always appropriate depending on the problem. In this paper, we introduce an adaptive combined scheme based on a block-based approach involving two nonlinear filters with different regularization that allows to achieve always superior performance than individual rules. The proposed method is assessed in nonlinear system identification problems, showing its effectiveness in taking advantage of the online combined regularization.


title: Predictors of Well-being and Productivity among Software Professionals during the COVID-19 Pandemic -- A Longitudinal Study

abstract: The COVID-19 pandemic has forced governments worldwide to impose movement restrictions on their citizens. Although critical to reducing the virus' reproduction rate, these restrictions come with far-reaching social and economic consequences. In this paper, we investigate the impact of these restrictions on an individual level among software engineers who were working from home. Although software professionals are accustomed to working with digital tools, but not all of them remotely, in their day-to-day work, the abrupt and enforced work-from-home context has resulted in an unprecedented scenario for the software engineering community. In a two-wave longitudinal study (N=192), we covered over 50 psychological, social, situational, and physiological factors that have previously been associated with well-being or productivity. Examples include anxiety, distractions, coping strategies, psychological and physical needs, office set-up, stress, and work motivation. This design allowed us to identify the variables that explained unique variance in well-being and productivity. Results include (1) the quality of social contacts predicted positively, and stress predicted an individual's well-being negatively when controlling for other variables consistently across both waves; (2) boredom and distractions predicted productivity negatively; (3) productivity was less strongly associated with all predictor variables at time two compared to time one, suggesting that software engineers adapted to the lockdown situation over time; and (4) longitudinal analyses did not provide evidence that any predictor variable causal explained variance in well-being and productivity. Overall, we conclude that working from home was per se not a significant challenge for software engineers.


title: Dereverberation using joint estimation of dry speech signal and acoustic system

abstract: The purpose of speech dereverberation is to remove quality-degrading effects of a time-invariant impulse response filter from the signal. In this report, we describe an approach to speech dereverberation that involves joint estimation of the dry speech signal and of the room impulse response. We explore deep learning models that apply to each task separately, and how these can be combined in a joint model with shared parameters.


title: The foundations of cost-sensitive causal classification

abstract: Classification is a well-studied machine learning task which concerns the assignment of instances to a set of outcomes. Classification models support the optimization of managerial decision-making across a variety of operational business processes. For instance, customer churn prediction models are adopted to increase the efficiency of retention campaigns by optimizing the selection of customers that are to be targeted. Cost-sensitive and causal classification methods have independently been proposed to improve the performance of classification models. The former considers the benefits and costs of correct and incorrect classifications, such as the benefit of a retained customer, whereas the latter estimates the causal effect of an action, such as a retention campaign, on the outcome of interest. This study integrates cost-sensitive and causal classification by elaborating a unifying evaluation framework. The framework encompasses a range of existing and novel performance measures for evaluating both causal and conventional classification models in a cost-sensitive as well as a cost-insensitive manner. We proof that conventional classification is a specific case of causal classification in terms of a range of performance measures when the number of actions is equal to one. The framework is shown to instantiate to application-specific cost-sensitive performance measures that have been recently proposed for evaluating customer retention and response uplift models, and allows to maximize profitability when adopting a causal classification model for optimizing decision-making. The proposed framework paves the way toward the development of cost-sensitive causal learning methods and opens a range of opportunities for improving data-driven business decision-making.


title: The long duration cryogenic system of the OLIMPO balloon--borne experiment: design and in--flight performance

abstract: We describe the design and in--flight performance of the cryostat and the self-contained $^{3}$He refrigerator for the OLIMPO balloon--borne experiment, a spectrophotometer to measure the Sunyaev-Zel'dovich effect in clusters of galaxies. The $^{3}$He refrigerator provides the 0.3 K operation temperature for the four arrays of kinetic inductance detectors working in 4 bands centered at 150, 250, 350 and 460 GHz. The cryostat provides the 1.65 K base temperature for the $^{3}$He refrigerator, and cools down the reimaging optics and the filters chain at about 2 K. The integrated system was designed for a hold time of about 15 days, to achieve the sensitivity required by the planned OLIMPO observations, and successfully operated during the first long-duration stratospheric flight of OLIMPO in July 2018. The cryostat features two tanks, one for liquid nitrogen and the other one for liquid helium. The long hold time has been achieved by means of custom stiff G10 fiberglass tubes support, which ensures low thermal conductivity and remarkable structural stiffness; multi--layer superinsulation, and a vapour cooled shield, all reducing the heat load on the liquid helium tank. The system was tested in the lab, with more than 15 days of unmanned operations, and then in the long duration balloon flight in the stratosphere. In both cases, the detector temperature was below 300 mK, with thermal stability better than $\pm$ 0.5 mK. The system also operated successfully in the long duration stratospheric balloon flight.


title: Efficiency of local learning rules in threshold-linear associative networks

abstract: We derive the Gardner storage capacity for associative networks of threshold linear units, and show that with Hebbian learning they can operate closer to such Gardner bound than binary networks, and even surpass it. This is largely achieved through a sparsification of the retrieved patterns, which we analyze for theoretical and empirical distributions of activity. As reaching the optimal capacity via non-local learning rules like backpropagation requires slow and neurally implausible training procedures, our results indicate that one-shot self-organized Hebbian learning can be just as efficient.


title: Hidden Photon Dark Matter Interacting via Axion-like Particles

abstract: We investigate a scenario where the dark matter of the Universe is made from very light hidden photons transforming under a $Z_{2}$-symmetry. In contrast to the usual situation, kinetic mixing is forbidden by the symmetry and the dark photon interacts with the Standard Model photon only via an axion-like particle acting as a "messenger". Focusing on signatures involving the ordinary photon, our survey of the phenomenology includes limits from cosmological stability, CMB distortions, astrophysical energy loss, light-shining-through-walls experiments, helioscopes and solar X-ray observations.


title: Introduction to Behavior Algorithms for Fighting Games

abstract: The quality of opponent Artificial Intelligence (AI) in fighting videogames is crucial. Some other game genres can rely on their story or visuals, but fighting games are all about the adversarial experience. In this paper, we will introduce standard behavior algorithms in videogames, such as Finite-State Machines and Behavior Trees, as well as more recent developments, such as Monte-Carlo Tree Search. We will also discuss the existing and potential combinations of these algorithms, and how they might be used in fighting games. Since we are at the financial peak of fighting games, both for casual players and in tournaments, it is important to build and expand on fighting game AI, as it is one of the pillars of this growing market.


title: Machine-learned Regularization and Polygonization of Building Segmentation Masks

abstract: We propose a machine learning based approach for automatic regularization and polygonization of building segmentation masks. Taking an image as input, we first predict building segmentation maps exploiting generic fully convolutional network (FCN). A generative adversarial network (GAN) is then involved to perform a regularization of building boundaries to make them more realistic, i.e., having more rectilinear outlines which construct right angles if required. This is achieved through the interplay between the discriminator which gives a probability of input image being true and generator that learns from discriminator's response to create more realistic images. Finally, we train the backbone convolutional neural network (CNN) which is adapted to predict sparse outcomes corresponding to building corners out of regularized building segmentation results. Experiments on three building segmentation datasets demonstrate that the proposed method is not only capable of obtaining accurate results, but also of producing visually pleasing building outlines parameterized as polygons.


title: Geometric Pressure Minimisation of a Theoretical Die for Ceramic Extrusion

abstract: As manufacture processes become more complex, the direct extrusion of material still remains a reliable method of fabrication and processing a variety of materials, but most commonly ceramics. These materials are shaped by a die that can determines the output shape of the material. A generic complex die design was used to explore how varying the geometry of the die can affect the overall and component pressures felt during the extrusion process, based on a Benbow-Bridgwater model. From this we determined some general interactions and relationships, comparing how varying geometries can lead to extrusions of the same shape, and discuss how to balance this against desired effects that the extrusion process may have on the material.


title: Higher Martian atmospheric temperatures at all altitudes increase the D/H fractionation factor and water loss

abstract: Much of the water that once flowed on the surface of Mars was lost to space long ago, and the total amount lost remains unknown. Clues to the amount lost can be found by studying hydrogen (H) and its isotope deuterium (D), which are produced when atmospheric water molecules H$_2$O and HDO dissociate. The difference in escape efficiencies of H and D (which leads to} an enhanced D/H ratio) is referred to as the fractionation factor $f$. Both the D/H ratio and $f$ are necessary to estimate water loss; thus, if we can constrain the range of $f$ and understand what controls it, we will be able to estimate water loss more accurately. In this study, we use a 1D photochemical model of the neutral Martian atmosphere to determine how $f$ depends on assumed temperature and water vapor profiles. We find that the exobase temperature most strongly controls the value of $f$ for thermal escape processes. When we include estimates of non-thermal escape from other studies, we find that the tropopause temperature is also important. Overall, for the standard Martian atmosphere, $f=0.002$ for thermal escape, and $f=0.06$ for thermal + non-thermal escape. We estimate that Mars has lost at minimum 66-122 m GEL of water. Importantly, our results demonstrate that the value of $f$ depends critically on non-thermal escape of D, and that modeling studies that include D/H fractionation must model both neutral and ion processes throughout the atmosphere.


title: $\bar B_c \to \eta_c$, $\bar B_c \to J/\psi$ and $\bar B \to D^{(*)}$ semileptonic decays including new physics

abstract: We apply the general formalism derived in N. Penalva et al. [Phys. Rev. D 101, 113004 (2020)] to the semileptonic decay of pseudoscalar mesons containing a $b$ quark. While present $B\to D^{(*)}$ data give the strongest evidence in favor of lepton flavor universality violation, the observables that are normally considered are not able to distinguish between different new physics (NP) scenarios. In the above reference we discussed the relevant role that the various contributions to the double differential decay widths $d^2\Gamma/(d\omega d\cos\theta_\ell)$ and $d^2\Gamma/(d\omega dE_\ell)$ could play to this end. Here $\omega$ is the product of the two hadron four-velocities, $\theta_\ell$ is the angle made by the final lepton and final hadron three-momenta in the center of mass of the final two-lepton system, and $E_\ell$ is the final charged lepton energy in the laboratory system. The formalism was applied there to the analysis of the $\Lambda_b\to\Lambda_c$ semileptonic decay showing the new observables were able to tell apart different NP scenarios. Here we analyze the $\bar B_c\to \eta_c \tau\bar\nu_\tau$, $\bar B_c\to J/\psi\tau\bar\nu_\tau$, $\bar B\to D\tau\bar\nu_\tau$ and $\bar B\to D^*\tau\bar\nu_\tau$ semileptonic decays. We show that, as a general rule, the $\bar B_c \to J/\psi$ observables, even including $\tau$ polarization, are less optimal for distinguishing between NP scenarios than those obtained from $\bar B_c \to \eta_c$ decays, or those presented in N. Penalva et al. for the related $\Lambda_b \to \Lambda_c$ semileptonic decay. Finally, we show that $\bar B\to D$ and $\bar B_c\to \eta_c$, and $\bar B\to D^*$ and $\bar B_c\to J/\psi$ decay observables exhibit similar behaviors.


title: Improving Efficiency of Training a Virtual Treatment Planner Network via Knowledge-guided Deep Reinforcement Learning for Intelligent Automatic Treatment Planning of Radiotherapy

abstract: We previously proposed an intelligent automatic treatment planning framework for radiotherapy, in which a virtual treatment planner network (VTPN) was built using deep reinforcement learning (DRL) to operate a treatment planning system (TPS). Despite the success, the training of VTPN via DRL was time consuming. Also the training time is expected to grow with the complexity of the treatment planning problem, preventing the development of VTPN for more complicated but clinically relevant scenarios. In this study we proposed a knowledge-guided DRL (KgDRL) that incorporated knowledge from human planners to guide the training process to improve the training efficiency. Using prostate cancer intensity modulated radiation therapy as a testbed, we first summarized a number of rules of operating our in-house TPS. In training, in addition to randomly navigating the state-action space, as in the DRL using the epsilon-greedy algorithm, we also sampled actions defined by the rules. The priority of sampling actions from rules decreased over the training process to encourage VTPN to explore new policy that was not covered by the rules. We trained a VTPN using KgDRL and compared its performance with another VTPN trained using DRL. Both VTPNs trained via KgDRL and DRL spontaneously learned to operate the TPS to generate high-quality plans, achieving plan quality scores of 8.82 and 8.43, respectively. Both VTPNs outperformed treatment planning purely based on the rules, which had a plan score of 7.81. VTPN trained with 8 episodes using KgDRL was able to perform similarly to that trained using DRL with 100 episodes. The training time was reduced from more than a week to 13 hours. The proposed KgDRL framework accelerated the training process by incorporating human knowledge, which will facilitate the development of VTPN for more complicated treatment planning scenarios.


title: Non-Hamiltonian actions with fewer isolated fixed points

abstract: In an earlier paper, the second author resolved a question of McDuff by constructing a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly 32 fixed points. In this paper, we improve on this example by reducing the number of fixed points. More concretely, we construct a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly $2k$ fixed points for any $k \geq 5$.


title: Single-scan, dual-functional interferometer for fast spatiotemporal characterization of few-cycle pulses

abstract: Accurate and fast characterization of spatiotemporal information of high-intensity, ultrashort pulses is crucial in the field of strong-field laser science and technology. While conventional self-referenced interferometers were widely used to retrieve the spatial profile of the relative spectral phase of pulses, additional measurements of temporal and spectral information at a particular position of the laser beam were, however, necessary to remove the indeterminacy, which increases the system complexity. Here we report an advanced, dual-functional interferometer that is able to reconstruct the complete spatiotemporal information of ultrashort pulses with a single scan of the interferometer arm. The set-up integrates an interferometric frequency-resolved optical gating (FROG) with a radial shearing Michelson interferometer. Trough scanning one arm of the interferometer, both cross-correlated FROG trace at the central part of the laser beam and delay-dependent interferograms of the entire laser profile are simultaneously obtained, allowing a fast 3-dimensional reconstruction of few-cycle laser pulses.


title: Direct dissipation-based arc-length approach for the cracking elements method

abstract: Dissipated energy, representing a monotonically increasing state variable in nonlinear fracture mechanics, can be used as a restraint for tracing the dissipation instead of the elastic unloading path of the structure response. In this work, in contrast to other energy-based approaches that use internal energy and the work done by the external loads, a novel arc-length approach is proposed. It directly extracts the dissipated energy based on crack openings and tractions (displacement jumps and cohesive forces between two surfaces of one crack), taking advantage of the global/extended method of cracking elements. Its linearized form is developed, and the stiffness factor of the arc-length restraint is naturally obtained by means of the Sherman-Morrison formula. Once cohesive cracks appear, the proposed approach can be applied until most of the fracture energy is dissipated. Results from several numerical tests, in which arc-length control and self-propagating cracks are jointly used, are presented. They demonstrate the robustness of the proposed method, which captures both global and local peak loads and all snap-back parts of the force-displacement responses of loaded structures with multiple cracks.


title: Higgs inflation with the Holst and the Nieh-Yan term

abstract: The action of loop quantum gravity includes the Holst term and/or the Nieh-Yan term in addition to the Ricci scalar. These terms are expected to couple non-minimally to the Higgs. Thus the Holst and Nieh-Yan terms contribute to the classical equations of motion, and they can have a significant impact on inflation. We derive inflationary predictions in the parameter space of the non-minimal couplings, including non-minimally coupled terms up to dimension 4. Successful inflation is possible even with zero or negative coupling of the Ricci scalar. Notably, inflation supported by the non-minimally coupled Holst term alone gives almost the same observables as the original metric formulation plateau Higgs inflation. A non-minimally coupled Nieh-Yan term alone cannot give successful inflation. When all three terms are considered, the predictions for the spectral index and tensor-to-scalar ratio span almost the whole range probed by upcoming experiments. This is not true for the running of the spectral index, and many cases are highly tuned.


title: Dynamics of many species through competition for resources

abstract: This paper is concerned with a mathematical model of competition for resource where species consume noninteracting resources. This system of differential equations is formally obtained by renormalizing the MacArthur's competition model at equilibrium, and agrees with the trait-continuous model studied by Mirrahimi S, Perthame B, Wakano JY [J. Math. Biol. 64(7): 1189-1223, 2012]. As a dynamical system, self-organized generation of distinct species occurs. The necessary conditions for survival are given. We prove the existence of the evolutionary stable distribution (ESD) through an optimization problem and present an independent algorithm to compute the ESD directly. Under certain structural conditions, solutions of the system are shown to approach the discrete ESD as time evolves. The time discretization of the system is proven to satisfy two desired properties: positivity and energy dissipation. Numerical examples are given to illustrate certain interesting biological phenomena.


title: Decision-Making in Driver-Automation Shared Control: A Review and Perspectives

abstract: Shared control schemes allow a human driver to work with an automated driving agent in driver-vehicle systems while retaining the driver's abilities to control. The human driver, as an essential agent in the driver-vehicle shared control systems, should be precisely modeled regarding their cognitive processes, control strategies, and decision-making processes. The interactive strategy design between drivers and automated driving agents brings an excellent challenge for human-centric driver assistance systems due to the inherent characteristics of humans. Many open-ended questions arise, such as what proper role of human drivers should act in a shared control scheme? How to make an intelligent decision capable of balancing the benefits of agents in shared control systems? Due to the advent of these attentions and questions, it is desirable to present a survey on the decision-making between human drivers and highly automated vehicles, to understand their architectures, human driver modeling, and interaction strategies under the driver-vehicle shared schemes. Finally, we give a further discussion on the key future challenges and opportunities. They are likely to shape new potential research directions.


title: Qualitative and numerical study of the stability of a nonlinear time-delayed dispersive equation

abstract: This paper deals with the stability analysis of a nonlinear time-delayed dispersive equation of order four. First, we prove the well-posedness of the system and give some regularity results. Then, we show that the zero solution of the system exponentially converges to zero when the time tends to infinity provided that the time-delay is small and the damping term satisfies reasonable conditions. Lastly, an intensive numerical study is put forward and numerical illustrations of the stability result are provided.


title: Boundary stabilization of a one-dimensional wave equation by a switching time-delay: a theoretical and numerical study

abstract: This paper deals with the boundary stabilization problem of a one-dimensional wave equation with a switching time-delay in the boundary. We show that the problem is well-posed in the sense of semigroups theory of linear operators. Then, we provide a theoretical and numerical study of the exponential stability of the system under an appropriate delay coefficient.


title: Measurement of hadronic event shapes in high-$p_{\textrm{T}}$ multijet final states at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A measurement of event-shape variables in proton-proton collisions at large momentum transfer is presented using data collected at $\sqrt{s} = 13$ TeV with the ATLAS detector at the Large Hadron Collider. Six event-shape variables calculated using hadronic jets are studied in inclusive multijet events using data corresponding to an integrated luminosity of 139 fb$^{-1}$. Measurements are performed in bins of jet multiplicity and in different ranges of the scalar sum of the transverse momenta of the two leading jets, reaching scales beyond 2 TeV. These measurements are compared with predictions from Monte Carlo event generators containing leading-order or next-to-leading order matrix elements matched to parton showers simulated to leading-logarithm accuracy. At low jet multiplicities, shape discrepancies between the measurements and the Monte Carlo predictions are observed. At high jet multiplicities, the shapes are better described but discrepancies in the normalisation are observed.


title: Pseudoscalar and vector open-charm mesons at finite temperature

abstract: Vacuum and thermal properties of pseudoscalar and vector charm mesons are analyzed within a self-consistent many-body approach, employing a chiral effective field theory that incorporates heavy-quark spin symmetry. Upon unitarization of the vacuum interaction amplitudes for the scattering of charm mesons off light mesons in a fully coupled-channel basis, new dynamically generated states are searched. The imaginary-time formalism is employed to extend the calculation to finite temperatures up to $T=150$ MeV. Medium-modified spectral shapes of the $D$, $D^*$, $D_s$ and $D_s^*$ mesons are provided. The temperature dependence of the masses and decay widths of the nonstrange $D_0^*$ (2300) and $D_1^*$(2430) mesons, both showing a double-pole structure in the complex-energy plane, is also reported, as well as that of the $D_{s0}^*$(2317) and $D_{s1}^*$(2460) resonances and other states not yet identified experimentally. Being the first calculation incorporating open-charm vector mesons at finite temperature in a self-consistent fashion, it brings up the opportunity to discuss the medium effects on the open charm sector under the perspective of chiral and heavy-quark spin symmetries.


title: A unified approach to combinatorial triangles: a generalized Eulerian polynomial

abstract: Motivated by the classical Eulerian number, descent and excedance numbers in the hyperoctahedral groups, an triangular array from staircase tableaux and so on, we study a triangular array $[\mathcal {T}_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} \mathcal {T}_{n,k}=\lambda(a_0n+a_1k+a_2)\mathcal {T}_{n-1,k}+(b_0n+b_1k+b_2)\mathcal {T}_{n-1,k-1}+\frac{cd}{\lambda}(n-k+1)\mathcal {T}_{n-1,k-2} \end{equation*} with $\mathcal {T}_{0,0}=1$ and $\mathcal {T}_{n,k}=0$ unless $0\le k\le n$. We derive a functional transformation for its row-generating function $\mathcal{T}_n(x)$ from the row-generating function $A_n(x)$ of another array $[A_{n,k}]_{n,k}$ satisfying a two-term recurrence relation. Based on this transformation, we can get properties of $\mathcal {T}_{n,k}$ and $\mathcal{T}_n(x)$ including nonnegativity, log-concavity, real rootedness, explicit formula and so on. Then we extend the famous Frobenius formula, the $\gamma$ positivity decomposition and the David-Barton formula for the classical Eulerian polynomial to those of a generalized Eulerian polynomial. We also get an identity for the generalized Eulerian polynomial with the general derivative polynomial. Finally, we apply our results to an array from the Lambert function, a triangular array from staircase tableaux and the alternating-runs triangle of type $B$ in a unified approach.


title: IR-BERT: Leveraging BERT for Semantic Search in Background Linking for News Articles

abstract: This work describes our two approaches for the background linking task of TREC 2020 News Track. The main objective of this task is to recommend a list of relevant articles that the reader should refer to in order to understand the context and gain background information of the query article. Our first approach focuses on building an effective search query by combining weighted keywords extracted from the query document and uses BM25 for retrieval. The second approach leverages the capability of SBERT (Nils Reimers et al.) to learn contextual representations of the query in order to perform semantic search over the corpus. We empirically show that employing a language model benefits our approach in understanding the context as well as the background of the query article. The proposed approaches are evaluated on the TREC 2018 Washington Post dataset and our best model outperforms the TREC median as well as the highest scoring model of 2018 in terms of the nDCG@5 metric. We further propose a diversity measure to evaluate the effectiveness of the various approaches in retrieving a diverse set of documents. This would potentially motivate researchers to work on introducing diversity in their recommended list. We have open sourced our implementation on Github and plan to submit our runs for the background linking task in TREC 2020.


title: Sub-leading Structures in Superconformal Indices: Subdominant Saddles and Logarithmic Contributions

abstract: We systematically study various sub-leading structures in the superconformal index of ${\cal N}=4$ supersymmetric Yang-Mills theory with SU($N$) gauge group. We concentrate in the superconformal index description as a matrix model of elliptic gamma functions and in the Bethe-Ansatz presentation. Our saddle-point approximation goes beyond the Cardy-like limit and we uncover various saddles governed by a matrix model corresponding to SU($N$) Chern-Simons theory. The dominant saddle, however, leads to perfect agreement with the Bethe-Ansatz approach. We also determine the logarithmic correction to the superconformal index to be $\log N$, finding precise agreement between the saddle-point and Bethe-Ansatz approaches in their respective approximations. We generalize the two approaches to cover a large class of 4d ${\cal N}=1$ superconformal theories. We find that also in this case both approximations agree all the way down to a universal contribution of the form $\log N$. The universality of this last result constitutes a robust signature of this ultraviolet description of asymptotically AdS$_5$ black holes and could be tested by low-energy IIB supergravity.


title: RooHammerModel: interfacing the HAMMER software tool with the HistFactory package

abstract: Recent $B$-physics results have sparkled great interest in the search for beyond-the-Standard-Model (BSM) physics in $b\to c\ell \bar{\nu}$ transitions. The need to analyse in a consistent manner big datasets for these searches, using high-statistics Monte-Carlo (MC) samples, led to the development of HAMMER, a software tool which enables to perform a fast morphing of MC-derived templates to include BSM effects and/or alternative parameterisations of long-distance effects, avoiding the need to re-generate simulated samples. This paper describes the development of RooHammerModel, an interface between this tool and the commonly-used data-fitting frameworks HistFactory and RooFit. In this document, the structure and functionality of the user interface are explained. Information of a public repository where it can be accessed is provided, as well as validation and performance studies of the interface. The methods developed in the construction of RooHammerModel can provide useful information for alternative future attempts to interface HAMMER with other data-fitting frameworks.


title: Optimal and sustainable management of a soilborne banana pest

abstract: In this paper we propose an eco-friendly optimization of banana or plantain yield by the control of the pest burrowing nematode \textit{Radopholus similis}. This control relies on fallow deployment, with greater respect for the environment than chemical methods. The optimization is based on a multi-seasonal model in which fallow periods follow cropping seasons. The aim is to find the best way, in terms of profit, to allocate the durations of fallow periods between the cropping seasons, over a fixed time horizon spanning several seasons. The existence of an optimal allocation is proven and an adaptive random search algorithm is proposed to solve the optimization problem. For a relatively long time horizon, deploying one season less than the maximum possible number of cropping seasons allows to increase the fallow period durations and results in a better multi-seasonal profit. For regular fallow durations, the profit is lower than the optimal solution, but the final soil infestation is also lower.


title: Testing General Relativity on cosmological scales at redshift z ~ 1.5 with quasar and CMB lensing

abstract: We test general relativity (GR) at the effective redshift $\bar{z} \sim 1.5$ by estimating the statistic $E_G$, a probe of gravity, on cosmological scales $19 - 190\,h^{-1}{\rm Mpc}$. This is the highest-redshift and largest-scale estimation of $E_G$ so far. We use the quasar sample with redshifts $0.8 < z < 2.2$ from Sloan Digital Sky Survey IV extended Baryon Oscillation Spectroscopic Survey (eBOSS) Data Release 16 (DR16) as the large-scale structure (LSS) tracer, for which the angular power spectrum $C_\ell^{qq}$ and the redshift-space distortion (RSD) parameter $\beta$ are estimated. By cross correlating with the $\textit{Planck}$ 2018 cosmic microwave background (CMB) lensing map, we detect the angular cross-power spectrum $C_\ell^{\kappa q}$ signal at $12\,\sigma$ significance. Both jackknife resampling and simulations are used to estimate the covariance matrix (CM) of $E_G$ at $5$ bins covering different scales, with the later preferred for its better constraints on the covariances. We find $E_G$ estimates agree with the GR prediction at $1\,\sigma$ level over all these scales. With the CM estimated with $300$ simulations, we report a best-fit scale-averaged estimate of $E_G(\bar{z})=0.30\pm 0.05$, which is in line with the GR prediction $E_G^{\rm GR}(\bar{z})=0.33$ with $\textit{Planck}$ 2018 CMB+BAO matter density fraction $\Omega_{\rm m}=0.31$. The statistical errors of $E_G$ with future LSS surveys at similar redshifts will be reduced by an order of magnitude, which makes it possible to constrain modified gravity models.


title: A proper scalar product for tachyon representations in configuration space

abstract: We propose a new inner product for scalar fields that are solutions of the Klein-Gordon equation with $m^2<0$. This inner product is non-local, bearing an integral kernel including Bessel functions of the second kind, and the associated norm proves to be positive definite in the subspace of oscillatory solutions, as opposed to the conventional one. Poincar\'e transformations are unitarily implemented on this subspace, which is the support of a unitary and irreducible representation of the proper orthochronous Poincar\'e group. We also provide a new Fourier Transform between configuration and momentum spaces which is unitary, and recover the projection onto the representation space. This new scenario suggests a revision of the corresponding quantum field theory.


title: Optical spectroscopic classification of 35 hard X-ray sources from the Swift-BAT 70-month catalogue

abstract: The nature of a substantial percentage (about one fifth) of hard X-ray sources discovered with the BAT instrument onboard the Neil Gehrels Swift Observatory (hereafter Swift) is unknown because of the lack of an identified longer-wavelength counterpart. Without such follow-up, an X-ray catalogue is of limited astrophysical value: we therefore embarked, since 2009, on a long-term project to uncover the optical properties of sources identified by Swift by using a large suite of ground-based telescopes and instruments. In this work, we continue our programme of characterization of unidentified or poorly studied hard X-ray sources by presenting the results of an optical spectroscopic campaign aimed at pinpointing and classifying the optical counterparts of 35 hard X-ray sources taken from the 70-month BAT catalogue. (...) With the use of optical spectra taken at six different telescopes we were able to identify the main spectral characteristics (continuum type, redshift, and emission or absorption lines) of the observed objects, and determined their nature. We identify and characterize a total of 41 optical candidate counterparts corresponding to 35 hard X-ray sources given that, because of positional uncertainties, multiple lower energy counterparts can sometimes be associated with higher energy detections. We discuss which ones are the actual (or at least most likely) counterparts based on our observational results. In particular, 31 sources in our sample are active galactic nuclei: 16 are classified as Type 1 (with broad and narrow emission lines) and 13 are classified as Type 2 (with narrow emission lines only); two more are BL Lac-type objects. We also identify one LINER, one starburst, and 3 elliptical galaxies. The remaining 5 objects are galactic sources: we identify 4 of them as cataclysmic variables, whereas one is a low mass X-ray binary.


title: Exploring classical correlations in noise to recover quantum information using local filtering

abstract: A general quantum channel consisting of a decohering and a filtering element carries one qubit of an entangled photon pair. As we apply a local filter to the other qubit, some mutual quantum information between the two qubits is restored depending on the properties of the noise mixed into the signal. We demonstrate a drastic difference between channels with bit-flip and phase-flip noise and further suggest a scheme for maximal recovery of the quantum information.


title: An Extensive Survey on the Internet of Drones

abstract: The Internet of Drones (IoD) recently gained momentum due to its high adaptability to a wide variety of complex scenarios. Indeed, Unmanned Aerial Vehicles (UAVs) can successfully be employed in different applications, thanks to some technological and practical advantages: high mobility, capability to extend wireless coverage areas, or ability to reach places inaccessible to humans. Moreover, the employment of drones promisingly improves the performance parameters of different network architectures. Nevertheless, the adoption of networks of drones gives rise to several issues related to the unreliability of the wireless medium, the duration of batteries, and the high mobility degree, which may cause frequent topology changes. Also security and privacy issues need to be properly investigated. With respect to other surveys on IoD-related topics, the goal of the present work is to categorize the multifaceted aspects of IoD, proposing a classification approach of the IoD environment that develops along two main directions. At a macroscopic level, it follows the structure of the Internet protocol stack, starting from the physical layer and extending to the upper layers, without neglecting cross-layer and optimization approaches. At a finer level, all the most relevant works belonging to each layer of the stack are further classified, according to the different issues peculiar of the layer, and highlighting the most relevant differences with the other surveys present in literature. To provide a deeper insight in the theme, the present work embraces many facets of the IoD, including privacy and security considerations as well as the potential economic impact of the IoD. Finally, a discussion on the main research challenges and possible future directions is carried out, focusing on the open issues and the most promising technologies that deserve to be further developed in the IoD field.


title: Unveiling the optical emission channels of monolayer semiconductors coupled to silicon nanoantennas

abstract: Monolayers (MLs) of transition metal dichalcogenides (TMDs) such as WSe2 and MoSe2 can be placed by dry stamping directly on broadband dielectric resonators, which have the ability to enhance the spontaneous emission rate and brightness of solid-state emitters at room temperature. We show strongly enhanced emission and directivity modifications in room temperature photoluminescence mapping experiments. By varying TMD material (WSe2 versus MoSe2) transferred on silicon nanoresonators with various designs (planarized versus non-planarized), we experimentally separate the different physical mechanisms that govern the global light emission enhancement. For WSe2 and MoSe2 we address the effects of Mie Resonances and strain in the monolayer. For WSe2 an important additional contribution comes from out-of-plane exciton dipoles. This paves the way for more targeted designs of TMD-Si nanoresonator structures for room temperature applications.


title: Solvability of an inhomogeneous boundary value problem for steady MHD equations

abstract: In this paper, we consider the steady MHD equations with inhomogeneous boundary conditions for the velocity and the tangential component of the magnetic field. Using a new construction of the magnetic lifting, we obtain existence of weak solutions under sharp assumption on boundary data for the magnetic field.


title: Diophantine approximation as Cosmic Censor for Kerr-AdS black holes

abstract: The purpose of this paper is to show an unexpected connection between Diophantine approximation and the behavior of waves on black hole interiors with negative cosmological constant $\Lambda<0$ and explore the consequences of this for the Strong Cosmic Censorship conjecture in general relativity. We study linear scalar perturbations $\psi$ of Kerr-AdS solving $\Box_g\psi-\frac{2}{3}\Lambda \psi=0$ with reflecting boundary conditions at infinity. Understanding the behavior of $\psi$ at the Cauchy horizon corresponds to a linear analog of the problem of Strong Cosmic Censorship. Our main result shows that if the dimensionless black hole parameters mass $\mathfrak m = M \sqrt{-\Lambda}$ and angular momentum $\mathfrak a = a \sqrt{-\Lambda}$ satisfy a certain non-Diophantine condition, then perturbations $\psi$ arising from generic smooth initial data blow up at the Cauchy horizon. The proof crucially relies on a novel resonance phenomenon between stable trapping on the black hole exterior and the poles of the interior scattering operator that gives rise to a small divisors problem. Our result is in stark contrast to the result on Reissner-Nordstr\"om-AdS (arxiv:1812.06142) as well as to previous work on the analogous problem for $\Lambda \geq 0$. As a result of the non-Diophantine condition, the set of parameters $\mathfrak m, \mathfrak a$ for which we show blow-up forms a Baire-generic but Lebesgue-exceptional subset of all parameters below the Hawking-Reall bound. On the other hand, we conjecture that for a set of parameters $\mathfrak m, \mathfrak a $ which is Baire-exceptional but Lebesgue-generic, all linear scalar perturbations remain bounded at the Cauchy horizon. This suggests that the validity of the $C^0$-formulation of Strong Cosmic Censorship for $\Lambda <0$ may change in a spectacular way according to the notion of genericity imposed.

categories: gr-qc hep-th math-ph math.AP math.DG math.MP


title: An Interview with Murray Gell-Mann on June 5 2001

abstract: An interview in 2001 with Murray Gell-mann covering his early ideas on parity violation, strangeness, charm, the eightfold way, QCD, electroweak theory and string theory.


title: Bayesian Combinatorial Multi-Study Factor Analysis

abstract: Analyzing multiple studies allows leveraging data from a range of sources and populations, but until recently, there have been limited methodologies to approach the joint unsupervised analysis of multiple high-dimensional studies. A recent method, Bayesian Multi-Study Factor Analysis (BMSFA), identifies latent factors common to all studies, as well as latent factors specific to individual studies. However, BMSFA does not allow for partially shared factors, i.e. latent factors shared by more than one but less than all studies. We extend BMSFA by introducing a new method, Tetris, for Bayesian combinatorial multi-study factor analysis, which identifies latent factors that can be shared by any combination of studies. We model the subsets of studies that share latent factors with an Indian Buffet Process. We test our method with an extensive range of simulations, and showcase its utility not only in dimension reduction but also in covariance estimation. Finally, we apply Tetris to high-dimensional gene expression datasets to identify patterns in breast cancer gene expression, both within and across known classes defined by germline mutations.


title: Attention Mechanism for Multivariate Time Series Recurrent Model Interpretability Applied to the Ironmaking Industry

abstract: Data-driven model interpretability is a requirement to gain the acceptance of process engineers to rely on the prediction of a data-driven model to regulate industrial processes in the ironmaking industry. In the research presented in this paper, we focus on the development of an interpretable multivariate time series forecasting deep learning architecture for the temperature of the hot metal produced by a blast furnace. A Long Short-Term Memory (LSTM) based architecture enhanced with attention mechanism and guided backpropagation is proposed to accommodate the prediction with a local temporal interpretability for each input. Results are showing high potential for this architecture applied to blast furnace data and providing interpretability correctly reflecting the true complex variables relations dictated by the inherent blast furnace process, and with reduced prediction error compared to a recurrent-based deep learning architecture.


title: Exploiting the Surrogate Gap in Online Multiclass Classification

abstract: We present Gaptron, a randomized first-order algorithm for online multiclass classification. In the full information setting we show expected mistake bounds with respect to the logistic loss, hinge loss, and the smooth hinge loss with constant regret, where the expectation is with respect to the learner's randomness. In the bandit classification setting we show that Gaptron is the first linear time algorithm with $O(K\sqrt{T})$ expected regret, where $K$ is the number of classes. Additionally, the expected mistake bound of Gaptron does not depend on the dimension of the feature vector, contrary to previous algorithms with $O(K\sqrt{T})$ regret in the bandit classification setting. We present a new proof technique that exploits the gap between the zero-one loss and surrogate losses rather than exploiting properties such as exp-concavity or mixability, which are traditionally used to prove logarithmic or constant regret bounds.


title: Channel-Level Variable Quantization Network for Deep Image Compression

abstract: Deep image compression systems mainly contain four components: encoder, quantizer, entropy model, and decoder. To optimize these four components, a joint rate-distortion framework was proposed, and many deep neural network-based methods achieved great success in image compression. However, almost all convolutional neural network-based methods treat channel-wise feature maps equally, reducing the flexibility in handling different types of information. In this paper, we propose a channel-level variable quantization network to dynamically allocate more bitrates for significant channels and withdraw bitrates for negligible channels. Specifically, we propose a variable quantization controller. It consists of two key components: the channel importance module, which can dynamically learn the importance of channels during training, and the splitting-merging module, which can allocate different bitrates for different channels. We also formulate the quantizer into a Gaussian mixture model manner. Quantitative and qualitative experiments verify the effectiveness of the proposed model and demonstrate that our method achieves superior performance and can produce much better visual reconstructions.


title: A Novel Ensemble Deep Learning Model for Stock Prediction Based on Stock Prices and News

abstract: In recent years, machine learning and deep learning have become popular methods for financial data analysis, including financial textual data, numerical data, and graphical data. This paper proposes to use sentiment analysis to extract useful information from multiple textual data sources and a blending ensemble deep learning model to predict future stock movement. The blending ensemble model contains two levels. The first level contains two Recurrent Neural Networks (RNNs), one Long-Short Term Memory network (LSTM) and one Gated Recurrent Units network (GRU), followed by a fully connected neural network as the second level model. The RNNs, LSTM, and GRU models can effectively capture the time-series events in the input data, and the fully connected neural network is used to ensemble several individual prediction results to further improve the prediction accuracy. The purpose of this work is to explain our design philosophy and show that ensemble deep learning technologies can truly predict future stock price trends more effectively and can better assist investors in making the right investment decision than other traditional methods.


title: Optical Readout Studies of the Thick-COBRA Gaseous Detector

abstract: The performance of a Thick-COBRA (THCOBRA) gaseous detector is studied using an optical readout technique. The operation principle of this device is described, highlighting its operation in a gas mixture of Ar/CF4 (80/20%) for visible scintillation light emission. The contributions to the total gain from the holes and the anode strips as a function of the applied bias voltage were visualized. The preservation of spatial information from the initial ionizations was demonstrated by analyzing the light emission from 5.9keV X-rays of an 55Fe source. The observed non-uniformity of the scintillation light from the holes supports the claim of a space localization accuracy better than the pitch of the holes. The acquired images were used to identify weak points and sources of instabilities in view of the development of new optimized structures.


title: BMBC:Bilateral Motion Estimation with Bilateral Cost Volume for Video Interpolation

abstract: Video interpolation increases the temporal resolution of a video sequence by synthesizing intermediate frames between two consecutive frames. We propose a novel deep-learning-based video interpolation algorithm based on bilateral motion estimation. First, we develop the bilateral motion network with the bilateral cost volume to estimate bilateral motions accurately. Then, we approximate bi-directional motions to predict a different kind of bilateral motions. We then warp the two input frames using the estimated bilateral motions. Next, we develop the dynamic filter generation network to yield dynamic blending filters. Finally, we combine the warped frames using the dynamic blending filters to generate intermediate frames. Experimental results show that the proposed algorithm outperforms the state-of-the-art video interpolation algorithms on several benchmark datasets.


title: Real-time Dense Reconstruction of Tissue Surface from Stereo Optical Video

abstract: We propose an approach to reconstruct dense three-dimensional (3D) model of tissue surface from stereo optical videos in real-time, the basic idea of which is to first extract 3D information from video frames by using stereo matching, and then to mosaic the reconstructed 3D models. To handle the common low texture regions on tissue surfaces, we propose effective post-processing steps for the local stereo matching method to enlarge the radius of constraint, which include outliers removal, hole filling and smoothing. Since the tissue models obtained by stereo matching are limited to the field of view of the imaging modality, we propose a model mosaicking method by using a novel feature-based simultaneously localization and mapping (SLAM) method to align the models. Low texture regions and the varying illumination condition may lead to a large percentage of feature matching outliers. To solve this problem, we propose several algorithms to improve the robustness of SLAM, which mainly include (1) a histogram voting-based method to roughly select possible inliers from the feature matching results, (2) a novel 1-point RANSAC-based P$n$P algorithm called as DynamicR1PP$n$P to track the camera motion and (3) a GPU-based iterative closest points (ICP) and bundle adjustment (BA) method to refine the camera motion estimation results. Experimental results on ex- and in vivo data showed that the reconstructed 3D models have high resolution texture with an accuracy error of less than 2 mm. Most algorithms are highly parallelized for GPU computation, and the average runtime for processing one key frame is 76.3 ms on stereo images with 960x540 resolution.


title: Convective turbulent viscosity acting on equilibrium tidal flows: new frequency scaling of the effective viscosity

abstract: Turbulent convection is thought to act as an effective viscosity ($\nu_E$) in damping tidal flows in stars and giant planets. However, the efficiency of this mechanism has long been debated, particularly in the regime of fast tides, when the tidal frequency ($\omega$) exceeds the turnover frequency of the dominant convective eddies ($\omega_c$). We present the results of hydrodynamical simulations to study the interaction between tidal flows and convection in a small patch of a convection zone. These simulations build upon our prior work by simulating more turbulent convection in larger horizontal boxes, and here we explore a wider range of parameters. We obtain several new results: 1) $\nu_E$ is frequency-dependent, scaling as $\omega^{-0.5}$ when $\omega/\omega_c \lesssim 1$, and appears to attain its maximum constant value only for very small frequencies ($\omega/\omega_c \lesssim 10^{-2}$). This frequency-reduction for low frequency tidal forcing has never been observed previously. 2) The frequency-dependence of $\nu_E$ appears to follow the same scaling as the frequency spectrum of the energy (or Reynolds stress) for low and intermediate frequencies. 3) For high frequencies ($\omega/\omega_c\gtrsim 1-5$), $\nu_E\propto \omega^{-2}$. 4) The energetically-dominant convective modes always appear to contribute the most to $\nu_E$, rather than the resonant eddies in a Kolmogorov cascade. These results have important implications for tidal dissipation in convection zones of stars and planets, and indicate that the classical tidal theory of the equilibrium tide in stars and giant planets should be revisited. We briefly touch upon the implications for planetary orbital decay around evolving stars.


title: Accelerated Stochastic Gradient-free and Projection-free Methods

abstract: In the paper, we propose a class of accelerated stochastic gradient-free and projection-free (a.k.a., zeroth-order Frank-Wolfe) methods to solve the constrained stochastic and finite-sum nonconvex optimization. Specifically, we propose an accelerated stochastic zeroth-order Frank-Wolfe (Acc-SZOFW) method based on the variance reduced technique of SPIDER/SpiderBoost and a novel momentum accelerated technique. Moreover, under some mild conditions, we prove that the Acc-SZOFW has the function query complexity of $O(d\sqrt{n}\epsilon^{-2})$ for finding an $\epsilon$-stationary point in the finite-sum problem, which improves the exiting best result by a factor of $O(\sqrt{n}\epsilon^{-2})$, and has the function query complexity of $O(d\epsilon^{-3})$ in the stochastic problem, which improves the exiting best result by a factor of $O(\epsilon^{-1})$. To relax the large batches required in the Acc-SZOFW, we further propose a novel accelerated stochastic zeroth-order Frank-Wolfe (Acc-SZOFW*) based on a new variance reduced technique of STORM, which still reaches the function query complexity of $O(d\epsilon^{-3})$ in the stochastic problem without relying on any large batches. In particular, we present an accelerated framework of the Frank-Wolfe methods based on the proposed momentum accelerated technique. The extensive experimental results on black-box adversarial attack and robust black-box classification demonstrate the efficiency of our algorithms.


title: SummEval: Re-evaluating Summarization Evaluation

abstract: The scarcity of comprehensive up-to-date studies on evaluation metrics for text summarization and the lack of consensus regarding evaluation protocols continue to inhibit progress. We address the existing shortcomings of summarization evaluation methods along five dimensions: 1) we re-evaluate 14 automatic evaluation metrics in a comprehensive and consistent fashion using neural summarization model outputs along with expert and crowd-sourced human annotations, 2) we consistently benchmark 23 recent summarization models using the aforementioned automatic evaluation metrics, 3) we assemble the largest collection of summaries generated by models trained on the CNN/DailyMail news dataset and share it in a unified format, 4) we implement and share a toolkit that provides an extensible and unified API for evaluating summarization models across a broad range of automatic metrics, 5) we assemble and share the largest and most diverse, in terms of model types, collection of human judgments of model-generated summaries on the CNN/Daily Mail dataset annotated by both expert judges and crowd-source workers. We hope that this work will help promote a more complete evaluation protocol for text summarization as well as advance research in developing evaluation metrics that better correlate with human judgments.


title: CYGNO: a gaseous TPC with optical readout for dark matter directional search

abstract: The CYGNO project has the goal to use a gaseous TPC with optical readout to detect dark matter and solar neutrinos with low energy threshold and directionality. The CYGNO demonstrator will consist of 1 m 3 volume filled with He:CF 4 gas mixture at atmospheric pressure. Optical readout with high granularity CMOS sensors, combined with fast light detectors, will provide a detailed reconstruction of the event topology. This will allow to discriminate the nuclear recoil signal from the background, mainly represented by low energy electron recoils induced by radioactivity. Thanks to the high reconstruction efficiency, CYGNO will be sensitive to low mass dark matter, and will have the potential to overcome the neutrino floor, that ultimately limits non-directional dark matter searches.


title: Characterization of k-smoothness of operators defined between infinite-dimensional spaces

abstract: We characterize $k-$smoothness of bounded linear operators defined between infinite-dimensional Hilbert spaces. We study the problem in the setting of both finite and infinite-dimensional Banach spaces. We also characterize $k-$smoothness of operators on some particular spaces, namely $\mathbb{L}(\mathbb{X},\ell_{\infty}^n),~\mathbb{L}(\ell_{\infty}^3,\mathbb{Y}),$ where $\mathbb{X}$ is a finite-dimensional Banach space and $\mathbb{Y}$ is a two-dimensional Banach space. As an application, we characterize extreme contractions on $\mathbb{L}(\ell_{\infty}^3,\mathbb{Y}),$ where $\mathbb{Y}$ is a two-dimensional polygonal Banach space.


title: Two-neutron transfer reactions as a tool to study the interplay between shape coexistence and quantum phase transitions

abstract: The goal of this study is to find an observable that could distinguish between both phenomena, shape coexistence and quantum phase transitions. The selected observable to be analyzed is the two-neutron transfer intensity between the 0+ states in the parent and daughter nuclei. The framework in which the study is done is the Interacting Boson Model (IBM), including its version with configuration mixing (IBM-CM). In order to generate the wave functions of the isotope chains of interest, needed for calculating transfer intensities, previous systematic studies with IBM and IBM-CM are taken without changing the parameters. Results for two-neutron transfer intensities are presented for Zr, Hg and Pt isotopic chains using IBM-CM and, moreover, the same is done for Zr, Pt and Sm isotopic chains using IBM with just a single configuration, i.e., without using configuration mixing. In the case of Zr, the two-neutron transfer intensities between the ground states provide a clear observable indicating that normal and intruder configurations coexist in the low-lying spectrum and that they cross at A=98->100, and this could allow to disentangle whether or not shape coexistence is inducing a given QPT. In the case of Pt, where shape coexistence is present and the regular and the intruder configurations cross for the ground state, there is almost no influence in the value of the two-neutron transfer, neither in the case of Hg where the ground state always has regular nature. For the Sm isotope chain that is one of the quantum phase transition paradigms, the value of the two-neutron transfer is strongly affected.


title: Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification

abstract: Gradually-typed programming languages permit the incremental addition of static types to untyped programs. To remain sound, languages insert run-time checks at the boundaries between typed and untyped code. Unfortunately, performance studies have shown that the overhead of these checks can be disastrously high, calling into question the viability of sound gradual typing. In this paper, we show that by building on existing work on soft contract verification, we can reduce or eliminate this overhead. Our key insight is that while untyped code cannot be trusted by a gradual type system, there is no need to consider only the worst case when optimizing a gradually-typed program. Instead, we statically analyze the untyped portions of a gradually-typed program to prove that almost all of the dynamic checks implied by gradual type boundaries cannot fail, and can be eliminated at compile time. Our analysis is modular, and can be applied to any portion of a program. We evaluate this approach on a dozen existing gradually-typed programs previously shown to have prohibitive performance overhead---with a median overhead of $3.5\times$ and up to $73.6\times$ in the worst case---and eliminate all overhead in most cases, suffering only $1.6\times$ overhead in the worst case.


title: On the Programmatic Generation of Reproducible Documents

abstract: Reproducible document standards, like R Markdown, facilitate the programmatic creation of documents whose content is itself programmatically generated. While these documents are generally not complete in the sense that they will not include prose content, generated by an author to provide context, a narrative, etc., programmatic generation can provide substantial efficiencies for structuring and constructing documents. This paper explores the programmatic generation of reproducible by distinguishing components than can be created by computational means from those requiring human-generated prose, providing guidelines for the generation of these documents, and identifying a use case in clinical trial reporting. These concepts and use case are illustrated through the listdown package for the R programming environment, which is is currently available on the Comprehensive R Archive Network (CRAN).


title: What Malaysian Software Students Think about Testing?

abstract: Software testing is one of the crucial supporting processes of software life cycle. Unfortunately for the software industry, the role is stigmatized, partly due to misperception and partly due to treatment of the role in the software industry. The present study aims to analyse this situation to explore what inhibit an individual from taking up a software testing career. In order to investigate this issue, we surveyed 82 senior students taking a degree in information technology, information and communication technology, and computer science at two Malaysian universities. The subjects were asked the PROs and CONs of taking up a career in software testing and what were the chances that they would do so. The study identified 7 main PROs and 9 main CONSs for starting a testing career, and indicated that the role of software tester has been perceived as a social role, with more soft skills connotations than technical implications. The results also show that Malaysian students have a more positive attitude towards software testing than their counterparts where similar investigations have been carried out.


title: Privacy vs National Security

abstract: There are growing concerns and anxiety about privacy among the general public especially after the revelations of former NSA contractor and whistleblowers like Edward Snowden and others. While privacy is the fundamental concept of being human, the growing tug-of-war between an individuals privacy and freedom vs national security has renewed the concerns about where the fine balance should lie between the two. For the first time in history the technological advancement has made the mass data gathering, analysis, and storage a financially and technologically feasible option for the governments and private businesses. This has led to the growing interest of governments and security agencies around the globe to develop sophisticated algorithms using the power of Big-Data, Machine-Learning and Artificial Intelligence. The technology has enabled governments and private businesses to collect and store thousands of data points on every individual, which has put an individuals privacy under constant threat. This article analyses the individual's privacy concepts and its perceived link with national security. The article will also discuss the various aspects of privacy and national-security, arguments of both sides and where a boundary should be drawn between privacy and national security.


title: All-optical density downramp injection in electron-driven plasma wakefield accelerators

abstract: Injection of well-defined, high-quality electron populations into plasma waves is a key challenge of plasma wakefield accelerators. Here, we report on the first experimental demonstration of plasma density downramp injection in an electron-driven plasma wakefield accelerator, which can be controlled and tuned in all-optical fashion by mJ-level laser pulses. The laser pulse is directed across the path of the plasma wave before its arrival, where it generates a local plasma density spike in addition to the background plasma by tunnelling ionization of a high ionization threshold gas component. This density spike distorts the plasma wave during the density downramp, causing plasma electrons to be injected into the plasma wave. By tuning the laser pulse energy and shape, highly flexible plasma density spike profiles can be designed, enabling dark current free, versatile production of high-quality electron beams. This in turn permits creation of unique injected beam configurations such as counter-oscillating twin beamlets.


title: Edge modes of gravity. Part III. Corner simplicity constraints

abstract: In the tetrad formulation of gravity, the so-called simplicity constraints play a central role. They appear in the Hamiltonian analysis of the theory, and in the Lagrangian path integral when constructing the gravity partition function from topological BF theory. We develop here a systematic analysis of the corner symplectic structure encoding the symmetry algebra of gravity, and perform a thorough analysis of the simplicity constraints. Starting from a precursor phase space with Poincar\'e and Heisenberg symmetry, we obtain the corner phase space of BF theory by imposing kinematical constraints. This amounts to fixing the Heisenberg frame with a choice of position and spin operators. The simplicity constraints then further reduce the Poincar\'e symmetry of the BF phase space to a Lorentz subalgebra. This picture provides a particle-like description of (quantum) geometry: The internal normal plays the role of the four-momentum, the Barbero-Immirzi parameter that of the mass, the flux that of a relativistic position, and the frame that of a spin harmonic oscillator. Moreover, we show that the corner area element corresponds to the Poincar\'e spin Casimir. We achieve this central result by properly splitting, in the continuum, the corner simplicity constraints into first and second class parts. We construct the complete set of Dirac observables, which includes the generators of the local $\mathfrak{sl}(2,\mathbb{C})$ subalgebra of Poincar\'e, and the components of the tangential corner metric satisfying an $\mathfrak{sl}(2,\mathbb{R})$ algebra. We then present a preliminary analysis of the covariant and continuous irreducible representations of the infinite-dimensional corner algebra. Moreover, as an alternative path to quantization, we also introduce a regularization of the corner algebra and interpret this discrete setting in terms of an extended notion of twisted geometries.


title: Constraints from observational data for a running cosmological constant and warm dark matter with curvature

abstract: It is known than the inclusion of spatial curvature can modify the evolution of matter perturbations and affect the Large Scale Structure (LSS) formation. We quantify the effects of the non-zero space curvature in terms of LSS formation for a cosmological model with a running vacuum energy density and a warm dark matter component. The evolution of density perturbations and the modified shape of its power spectrum are constructed and analyzed.


title: Towards Improving the Performance of BFT Consensus For Future Permissioned Blockchains

abstract: Permissioned Blockchains are increasingly considered in enterprise use-cases, many of which do not require geo-distribution, or even disallow it due to legislation. Examples include country-wide networks, such as Alastria, or those deployed using cloud-based platforms such as IBM Blockchain Platform. We expect these blockchains to eventually run in environments with high bandwidth and low latency modern networks, as well as, advanced programmable hardware accelerators in servers. Even though there is renewed interest in BFT consensus algorithms with various proposals targeting Permissioned Blockchains, related work does not optimize for fast networks and does not incorporate hardware accelerators -- we make the case that doing so will pay off in the long run. To this end, we re-implemented the seminal PBFT algorithm in a way that allows us to measure different configurations of the protocol. Through this we explore the benefits of various common optimization strategies and show that the protocol is unlikely to saturate more than 10Gbps networks without relying on specialized hardware-based offloading. We discuss two concrete ways in which the cost of consensus in Permissioned Blockchains could be reduced in high speed networking environments, namely, offloading to SmartNICs and implementing the protocol on standalone FPGAs.


title: Study of parity sheaves arising from graded Lie algebra

abstract: Let $G$ be a complex, connected, reductive, algebraic group, and $\chi:\mathbb{C}^\times \to G$ be a fixed cocharacter that defines a grading on $\mathfrak{g}$, the Lie algebra of $G$. Let $G_0$ be the centralizer of $\chi(\mathbb{C}^\times)$. In this paper, we study $G_0$-equivariant parity sheaves on $\mathfrak{g}_n$, under some assumptions on the field $\Bbbk$ and the group $G$. The assumption on $G$ holds for $GL_n$ and for any $G$, it recovers results of Lusztig in characteristic $0$. The main result is that every parity sheaf occurs as a direct summand of the parabolic induction of some cuspidal pair.


title: Controlled density-downramp injection in a beam-driven plasma wakefield accelerator

abstract: This paper describes the utilization of beam-driven plasma wakefield acceleration to implement a high-quality plasma cathode via density-downramp injection in a short injector stage at the FLASHForward facility at DESY. Electron beams with charge of up to 105 pC and energy spread of a few percent were accelerated by a tunable effective accelerating field of up to 2.7 GV/m. The plasma cathode was operated drift-free with very high injection efficiency. Sources of jitter, the emittance and divergence of the resulting beam were investigated and modeled, as were strategies for performance improvements that would further increase the wide-ranging applications for a plasma cathode with the demonstrated operational stability


title: Autonomous Exploration Under Uncertainty via Deep Reinforcement Learning on Graphs

abstract: We consider an autonomous exploration problem in which a range-sensing mobile robot is tasked with accurately mapping the landmarks in an a priori unknown environment efficiently in real-time; it must choose sensing actions that both curb localization uncertainty and achieve information gain. For this problem, belief space planning methods that forward-simulate robot sensing and estimation may often fail in real-time implementation, scaling poorly with increasing size of the state, belief and action spaces. We propose a novel approach that uses graph neural networks (GNNs) in conjunction with deep reinforcement learning (DRL), enabling decision-making over graphs containing exploration information to predict a robot's optimal sensing action in belief space. The policy, which is trained in different random environments without human intervention, offers a real-time, scalable decision-making process whose high-performance exploratory sensing actions yield accurate maps and high rates of information gain.


title: Magnus Nernst and thermal Hall effect

abstract: Motivated by the recent prediction of the Magnus Hall effect in systems with broken inversion symmetry, in this paper we study the Magnus Nernst effect and the Magnus thermal Hall effect. In presence of an in-built electric field, the self rotating wave-packets of electrons with finite Berry curvature generate a Magnus velocity perpendicular to both. This anomalous Magnus velocity gives rise to the Magnus Hall transport which manifests in all four electro-thermal transport coefficients. In this paper, we demonstrate the existence of the Magnus Nernst and Magnus thermal Hall effect in monolayer WTe2 and gapped bilayer graphene, using the semiclassical Boltzmann formalism. We show that the Magnus velocity can also give rise to Magnus valley Hall effect in gapped graphene. Magnus velocity can be useful for experimentally probing the Berry curvature, and design of novel electrical and electro-thermal devices.


title: Soliton Collision in Random Seas

abstract: Although extreme or freak waves are repeatedly measured in the oceans, their origin is largely unknown. The interaction of different water waves is seen as one reason for their emergence. One way to consider nonlinear waves in deep water is to look at solutions of the nonlinear Schr\"odinger equation, which plays an important role in the determination of extreme waves. One specific solution is the soliton solution. Therefore the question arises, how nonlinear waves behave as they interact or collide. Using a relaxation pseudo spectral scheme for the computation of solutions of the nonlinear Schr\"odinger equation, the behavior of colliding solitons is studied. Thereby, different wave amplitudes and angles of collision are considered. In addition to this, the influence of an initial perturbation by random waves is studied, which is generated using a Pierson-Moskowitz spectrum.


title: Optical soliton solutions of the Biswas-Arshed model by the $\tan(\circleddash/2)$ expansion approach

abstract: In this paper, we consider the Biswas-Arshed model (BAM) with nonlinear Kerr and power law. We integrate these nonlinear structures of the BAM to obtain optical exact solitons that passing through the optical fibers. To retrieve the solutions, we apply the $\tan(\circleddash/2)$ expansion integral scheme to the structures of the BAM nonlinearity. The novel solutions present optical shock wave, double periodic optical solitons, interaction between optical periodic wave and optical solitons, and optical periodic and rogue waves for both structures of the model. It is shown that the amplitude of the periodic double solitons waves gradually increases and reached the highest peak at the moment of interaction, and it goes to diminish for a much larger time. In fact, we show that the amplitude of the wave for the interaction between periodic and optical solitons, gradually increases with beat phenomena. To the purpose, all these types of optical solitons can be frequently used to amplify or reduce waves for a certain hight. Moreover, we describe the physical phenomena of the solitons in graphically.


title: The COVID-19 Pandemic, Community Mobility and the Effectiveness of Non-pharmaceutical Interventions: The United States of America, February to May 2020

abstract: Background: The impact of individual non-pharmaceutical interventions (NPI) such as state-wide stay-at-home orders, school closures and gathering size limitations, on the COVID-19 epidemic is unknown. Understanding the impact that above listed NPI have on disease transmission is critical for policy makers, particularly as case counts increase again in some areas. Methods: Using a Bayesian framework, we reconstructed the incidence and time-varying reproductive number (Rt) curves to investigate the relationship between Rt, individual mobility as measured by Google Community Mobility Reports, and NPI. Results: We found a strong relationship between reproductive number and mobility, with each 10% drop in mobility being associated with an expected 10.2% reduction in Rt compared to baseline. The effects of limitations on the size of gatherings, school and business closures, and stay-at-home orders were dominated by the trend over time, which was associated with a 48% decrease in the reproductive number, adjusting for the NPI. Conclusions: We found that the decrease in mobility associated with time may be due to individuals changing their behavior in response to perceived risk or external factors.


title: Habitability of M dwarfs is a problem for the traditional SETI

abstract: We consider some implications of the much-discussed circumstellar habitable zones around M-dwarf stars for the conventionally understood radio SETI. We argue that the flaring nature of these stars would further adversely impact local development of radio communication and that, therefore, their circumstellar habitable zones should be preferentially studied by other methods. This is a clear example how diversity of astrobiological habitats is introducing contingency into the cultural evolution, thus undermining the universality of cultural convergence as one of the major premises of the traditional SETI. This is yet another example of how specifics of the physical environment strongly shape cultural evolution taken in the broadest, most inclusive sense.


title: Review and Prospect: NMR Spectroscopy Denoising & Reconstruction with Low Rank Hankel Matrices and Tensors

abstract: Nuclear Magnetic Resonance (NMR) spectroscopy is an important analytical tool in chemistry, biology, and life science, but it suffers from relatively low sensitivity and long acquisition time. Thus, improving the apparent signal-to-noise ratio and accelerating data acquisition become indispensable. In this review, we summarize the recent progress on low rank Hankel matrix and tensor methods, that exploit the exponential property of free induction decay signals, to enable effective denoising and spectra reconstruction. We also outline future developments that are likely to make NMR spectroscopy a far more powerful technique.

categories: physics.chem-ph eess.SP math.SP physics.bio-ph physics.med-ph


title: Linear Dynamical Systems

abstract: This expository survey is dedicated to recent developments in the area of linear dynamics. Topics include frequent hypercyclicity, $\mathcal{U}$-frequent hypercyclicity, reiterative hypercyclicity, operators of C-type, Li-Yorke and distributional chaos, and hypercyclic algebras.


title: An Intelligent Scheme for Uncertainty Management of Data Synopses Management in Pervasive Computing Applications

abstract: Pervasive computing applications deal with the incorporation of intelligent components around end users to facilitate their activities. Such applications can be provided upon the vast infrastructures of Internet of Things (IoT) and Edge Computing (EC). IoT devices collect ambient data transferring them towards the EC and Cloud for further processing. EC nodes could become the hosts of distributed datasets where various processing activities take place. The future of EC involves numerous nodes interacting with the IoT devices and themselves in a cooperative manner to realize the desired processing. A critical issue for concluding this cooperative approach is the exchange of data synopses to have EC nodes informed about the data present in their peers. Such knowledge will be useful for decision making related to the execution of processing activities. In this paper, we propose n uncertainty driven model for the exchange of data synopses. We argue that EC nodes should delay the exchange of synopses especially when no significant differences with historical values are present. Our mechanism adopts a Fuzzy Logic (FL) system to decide when there is a significant difference with the previous reported synopses to decide the exchange of the new one. Our scheme is capable of alleviating the network from numerous messages retrieved even for low fluctuations in synopses. We analytically describe our model and evaluate it through a large set of experiments. Our experimental evaluation targets to detect the efficiency of the approach based on the elimination of unnecessary messages while keeping immediately informed peer nodes for significant statistical changes in the distributed datasets.


title: Linear Symmetries of the Unsquared Measurement Variety

abstract: We introduce a new family of algebraic varieties, $L_{d,n}$, which we call the unsquared measurement varieties. This family is parameterized by a number of points $n$ and a dimension $d$. These varieties arise naturally from problems in rigidity theory and distance geometry. In those applications, it can be useful to understand the group of linear automorphisms of $L_{d,n}$. Notably, a result of Regge implies that $L_{2,4}$ has an unexpected linear automorphism. In this paper, we give a complete characterization of the linear automorphisms of $L_{d,n}$ for all $n$ and $d$. We show, that apart from $L_{2,4}$ the unsquared measurement varieties have no unexpected automorphisms. Moreover, for $L_{2,4}$ we characterize the full automorphism group.


title: Theoretical analysis for a PDE-ODE system related to a Glioblastoma tumor with vasculature

abstract: In this paper we study a PDE-ODE system as a simplification of a Glioblastoma model. Mainly, we prove the existence and uniqueness of global in time classical solution using a fixed point argument. Moreover, we show some stability results of the solution depending on some conditions on the parameters.


title: Tromino Tilings with Pegs via Flow Networks

abstract: A tromino tiling problem is a packing puzzle where we are given a region of connected lattice squares and we want to decide whether there exists a tiling of the region using trominoes with the shape of an L. In this work we study a slight variation of the tromino tiling problem where some positions of the region have pegs and each tromino comes with a hole that can only be placed on top of the pegs. We present a characterization of this tiling problem with pegs using flow networks and show that (i) there exists a linear-time parsimonious reduction to the maximum-flow problem, and (ii) counting the number of such tilings can be done in linear-time. The proofs of both results contain algorithms that can then be used to decide the tiling of a region with pegs in $O(n)$ time.


title: MurTree: Optimal Classification Trees via Dynamic Programming and Search

abstract: Decision tree learning is a widely used approach in machine learning, favoured in applications that require concise and interpretable models. Heuristic methods are traditionally used to quickly produce models with reasonably high accuracy. A commonly criticised point, however, is that the resulting trees may not necessarily be the best representation of the data in terms of accuracy and size. In recent years, this motivated the development of optimal classification tree algorithms that globally optimise the decision tree in contrast to heuristic methods that perform a sequence of locally optimal decisions. We follow this line of work and provide a novel algorithm for learning optimal classification trees based on dynamic programming and search. Our algorithm supports constraints on the depth of the tree and number of nodes. The success of our approach is attributed to a series of specialised techniques that exploit properties unique to classification trees. Whereas algorithms for optimal classification trees have traditionally been plagued by high runtimes and limited scalability, we show in a detailed experimental study that our approach uses only a fraction of the time required by the state-of-the-art and can handle datasets with tens of thousands of instances, providing several orders of magnitude improvements and notably contributing towards the practical realisation of optimal decision trees.


title: Beating Greedy For Approximating Reserve Prices in Multi-Unit VCG Auctions

abstract: We study the problem of finding personalized reserve prices for unit-demand buyers in multi-unit eager VCG auctions with correlated buyers. The input to this problem is a dataset of submitted bids of $n$ buyers in a set of auctions. The goal is to find a vector of reserve prices, one for each buyer, that maximizes the total revenue across all auctions. Roughgarden and Wang (2016) showed that this problem is APX-hard but admits a greedy $\frac{1}{2}$-approximation algorithm. Later, Derakhshan, Golrezai, and Paes Leme (2019) gave an LP-based algorithm achieving a $0.68$-approximation for the (important) special case of the problem with a single-item, thereby beating greedy. We show in this paper that the algorithm of Derakhshan et al. in fact does not beat greedy for the general multi-item problem. This raises the question of whether or not the general problem admits a better-than-$\frac{1}{2}$ approximation. In this paper, we answer this question in the affirmative and provide a polynomial-time algorithm with a significantly better approximation-factor of $0.63$. Our solution is based on a novel linear programming formulation, for which we propose two different rounding schemes. We prove that the best of these two and the no-reserve case (all-zero vector) is a $0.63$-approximation.


title: A bright and fast source of coherent single photons

abstract: A single photon source is a key enabling technology in device-independent quantum communication, quantum simulation for instance boson sampling, linear optics-based and measurement-based quantum computing. These applications involve many photons and therefore place stringent requirements on the efficiency of single photon creation. The scaling on efficiency is an exponential function of the number of photons. Schemes taking full advantage of quantum superpositions also depend sensitively on the coherence of the photons, i.e. their indistinguishability. It is therefore crucial to maintain the coherence over long strings of photons. Here, we report a single photon source with an especially high system efficiency: a photon is created on-demand at the output of the final optical fibre with a probability of 57%. The coherence of the photons is very high and is maintained over a stream consisting of thousands of photons; the repetition rate is in the GHz regime. We break with the established semiconductor paradigms, such as micropillars, photonic crystal cavities and waveguides. Instead, we employ gated quantum dots in an open, tunable microcavity. The gating ensures low-noise operation; the tunability compensates for the lack of control in quantum dot position and emission frequency; the output is very well-matched to a single-mode fibre. An increase in efficiency over the state-of-the-art by more than a factor of two, as reported here, will result in an enormous decrease in run-times, by a factor of $10^{7}$ for 20 photons.