title: Implementation and Characterization of a Two-Dimensional Printed Circuit Dynamic Metasurface Aperture for Computational Microwave Imaging

abstract: We present the design, fabrication, and experimental characterization of a two-dimensional, dynamically tuned, metasurface aperture, emphasizing its potential performance in computational imaging applications. The dynamic metasurface aperture (DMA) consists of an irregular, planar cavity that feeds a multitude of tunable metamaterial elements, all fabricated in a compact, multilayer printed circuit board process. The design considerations for the metamaterial element as a tunable radiator, the associated biasing circuitry, as well as cavity parameters are examined and discussed. A sensing matrix can be constructed from the measured transmit patterns, the singular value spectrum of which provides insight into the information capacity of the apertures. We investigate the singular value spectra of the sensing matrix over a variety of operating parameters, such as the number of metamaterial elements, number of masks, and number of radiating elements. After optimizing over these key parameters, we demonstrate computational microwave imaging of simple test objects.


title: MetH: A family of high-resolution and variable-shape image challenges

abstract: High-resolution and variable-shape images have not yet been properly addressed by the AI community. The approach of down-sampling data often used with convolutional neural networks is sub-optimal for many tasks, and has too many drawbacks to be considered a sustainable alternative. In sight of the increasing importance of problems that can benefit from exploiting high-resolution (HR) and variable-shape, and with the goal of promoting research in that direction, we introduce a new family of datasets (MetH). The four proposed problems include two image classification, one image regression and one super resolution task. Each of these datasets contains thousands of art pieces captured by HR and variable-shape images, labeled by experts at the Metropolitan Museum of Art. We perform an analysis, which shows how the proposed tasks go well beyond current public alternatives in both pixel size and aspect ratio variance. At the same time, the performance obtained by popular architectures on these tasks shows that there is ample room for improvement. To wrap up the relevance of the contribution we review the fields, both in AI and high-performance computing, that could benefit from the proposed challenges.


title: Basic Ideas and Tools for Projection-Based Model Reduction of Parametric Partial Differential Equations

abstract: We provide first the functional analysis background required for reduced order modeling and present the underlying concepts of reduced basis model reduction. The projection-based model reduction framework under affinity assumptions, offline-online decomposition and error estimation is introduced. Several tools for geometry parametrizations, such as free form deformation, radial basis function interpolation and inverse distance weighting interpolation are explained. The empirical interpolation method is introduced as a general tool to deal with non-affine parameter dependency and non-linear problems. The discrete and matrix versions of the empirical interpolation are considered as well. Active subspaces properties are discussed to reduce high-dimensional parameter spaces as a pre-processing step. Several examples illustrate the methodologies.


title: Mixtures of multivariate generalized linear models with overlapping clusters

abstract: With the advent of ubiquitous monitoring and measurement protocols, studies have started to focus more and more on complex, multivariate and heterogeneous datasets. In such studies, multivariate response variables are drawn from a heterogeneous population often in the presence of additional covariate information. In order to deal with this intrinsic heterogeneity, regression analyses have to be clustered for different groups of units. Up until now, mixture model approaches assigned units to distinct and non-overlapping groups. However, not rarely these units exhibit more complex organization and clustering. It is our aim to define a mixture of generalized linear models with overlapping clusters of units. This involves crucially an overlap function, that maps the coefficients of the parent clusters into the the coefficient of the multiple allocation units. We present a computationally efficient MCMC scheme that samples the posterior distribution of the parameters in the model. An example on a two-mode network study shows details of the implementation in the case of a multivariate probit regression setting. A simulation study shows the overall performance of the method, whereas an illustration of the voting behaviour on the US supreme court shows how the 9 justices split in two overlapping sets of justices.


title: The generalised principal eigenvalue of time-periodic nonlocal dispersal operators and applications

abstract: This paper is mainly concerned with the generalised principal eigenvalue for time-periodic nonlocal dispersal operators. We first establish the equivalence between two different characterisations of the generalised principal eigenvalue. We further investigate the dependence of the generalised principal eigenvalue on the frequency, the dispersal rate and the dispersal spread. Finally, these qualitative results for time-periodic linear operators are applied to time-periodic nonlinear KPP equations with nonlocal dispersal, focusing on the effects of the frequency, the dispersal rate and the dispersal spread on the existence and stability of positive time-periodic solutions to nonlinear equations.


title: Inverse Design of Photonic Metasurface Gratings for Beam Collimation in Opto-fluidic Sensing

abstract: Metasurfaces provide the disruptive technology enabling miniaturization of complex cascades of optical elements on a plane. We leverage the benefits of such a surface to develop a planar integrated photonic beam collimator for on-chip optofluidic sensing applications. While most of the current work focuses on miniaturizing the optical "detection" hardware, little attention is given to develop on-chip hardware for optical "excitation". In this manuscript, we propose a flat metasurface for beam collimation in optofluidic applications. We implement an inverse design approach to optimize the metasurface using gradient descent method and experimentally compare its characteristics with conventional binary grating-based photonic beam diffractors. The proposed metasurface can enhance the illumination efficiency almost two times in on-chip applications such as fluorescence imaging, Raman and IR spectroscopy and can enable multiplexing of light sources for high throughput biosensing.


title: Physics with charmonia at the SPD experiment

abstract: The $J/\psi$ production is a powerful probe of hadron structure, which is complementary to other parts of the SPD physics program. In this work, the current experimental status and modern theoretical approaches to $J/\psi$ and charmonia production are reviewed. In this context, the SPD performance and feasibility of key measurements are discussed.


title: Exact and approximation algorithms for the expanding search problem

abstract: Suppose a target is hidden in one of the vertices of an edge-weighted graph according to a known probability distribution. The expanding search problem asks for a search sequence of the vertices so as to minimize the expected time for finding the target, where the time for reaching the next vertex is determined by its distance to the region that was already searched. This problem has numerous applications, such as searching for hidden explosives, mining coal, and disaster relief. In this paper, we develop exact algorithms and heuristics, including a branch-and-cut procedure, a greedy algorithm with a constant-factor approximation guarantee, and a novel local search procedure based on a spanning tree neighborhood. Computational experiments show that our branch-and-cut procedure outperforms all existing methods for general instances and both heuristics compute near-optimal solutions with little computational effort.


title: Divanillin-based aromatic amines: synthesis and application as curing agents for bio-based epoxy thermosets

abstract: New bio-based diamines were successfully synthesized from vanillin and fully characterized. These amines, methylated divanillylamine (MDVA) and 3,4-dimethoxydianiline (DMAN), were then used as curing agent with epoxy monomers. Epoxy thermosets obtained from these new bio-based amines exhibited promising thermomechanical properties in terms of glass transition temperature and char residue. These latter could be valuable alternative to conventional amine hardener.


title: A very-high-energy component deep in the Gamma-ray Burst afterglow

abstract: Gamma-ray bursts (GRBs) are brief flashes of gamma rays, considered to be the most energetic explosive phenomena in the Universe. The emission from GRBs comprises a short (typically tens of seconds) and bright prompt emission, followed by a much longer afterglow phase. During the afterglow phase, the shocked outflow -- produced by the interaction between the ejected matter and the circumburst medium -- slows down, and a gradual decrease in brightness is observed. GRBs typically emit most of their energy via gamma-rays with energies in the kiloelectronvolt-to-megaelectronvolt range, but a few photons with energies of tens of gigaelectronvolts have been detected by space-based instruments. However, the origins of such high-energy (above one gigaelectronvolt) photons and the presence of very-high-energy (more than 100 gigaelectronvolts) emission have remained elussive. Here we report observations of very-high-energy emission in the bright GRB 180720B deep in the GRB afterglow -ten hours after the end of the prompt emission phase, when the X-ray flux had already decayed by four orders of magnitude. Two possible explanations exist for the observed radiation: inverse Compton emission and synchrotron emission of ultrarelativistic electrons. Our observations show that the energy fluxes in the X-ray and gamma-ray range and their photon indices remain comparable to each other throughout the afterglow. This discovery places distinct constraints on the GRB environment for both emission mechanisms, with the inverse Compton explanation alleviating the particle energy requirements for the emission observed at late times. The late timing of this detection has consequences for the future observations of GRBs at the highest energies.


title: CAIL2019-SCM: A Dataset of Similar Case Matching in Legal Domain

abstract: In this paper, we introduce CAIL2019-SCM, Chinese AI and Law 2019 Similar Case Matching dataset. CAIL2019-SCM contains 8,964 triplets of cases published by the Supreme People's Court of China. CAIL2019-SCM focuses on detecting similar cases, and the participants are required to check which two cases are more similar in the triplets. There are 711 teams who participated in this year's competition, and the best team has reached a score of 71.88. We have also implemented several baselines to help researchers better understand this task. The dataset and more details can be found from https://github.com/china-ai-law-challenge/CAIL2019/tree/master/scm.


title: Parallel Implementations for Computing the Minimum Distance of a Random Linear Code on Multicomputers

abstract: The minimum distance of a linear code is a key concept in information theory. Therefore, the time required by its computation is very important to many problems in this area. In this paper, we introduce a family of implementations of the Brouwer-Zimmermann algorithm for distributed-memory architectures for computing the minimum distance of a random linear code over F2. Both current commercial and public-domain software only work on either unicore architectures or shared-memory architectures, which are limited in the number of cores/processors employed in the computation. Our implementations focus on distributed-memory architectures, thus being able to employ hundreds or even thousands of cores in the computation of the minimum distance. Our experimental results show that our implementations are much faster, even up to several orders of magnitude, than current implementations widely used nowadays.


title: New Algorithms for Mixed Dominating Set

abstract: A mixed dominating set is a collection of vertices and edges that dominates all vertices and edges of a graph. We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set}, resolving some open questions. In particular, we settle the problem's complexity parameterized by treewidth and pathwidth by giving an algorithm running in time $O^*(5^{tw})$ (improving the current best $O^*(6^{tw})$), as well as a lower bound showing that our algorithm cannot be improved under the Strong Exponential Time Hypothesis (SETH), even if parameterized by pathwidth (improving a lower bound of $O^*((2 - \varepsilon)^{pw})$). Furthermore, by using a simple but so far overlooked observation on the structure of minimal solutions, we obtain branching algorithms which improve both the best known FPT algorithm for this problem, from $O^*(4.172^k)$ to $O^*(3.510^k)$, and the best known exponential-time exact algorithm, from $O^*(2^n)$ and exponential space, to $O^*(1.912^n)$ and polynomial space.


title: Drift velocity saturation and large current density in an intrinsic three-dimensional Dirac semimetal cadmium arsenide

abstract: Transport of electrons at high electric fields is investigated in an intrinsic three-dimensional Dirac semimetal cadmium arsenide, considering the scattering of electrons from acoustic and optical phonons. Screening and hot phonon effect are taken in to account. Expressions for the hot electron mobility $\mu$ and power loss $P$ are obtained as a function of electron temperature $T_e$. The dependence of drift velocity $v_d$ on electric field $E$ and electron density $n_e$ has been studied. Hot phonon effect is found to set in the saturation of $v_d$ at relatively low $E$ and significantly degrades its magnitude. The drift velocity is found to saturate at a value $v_{ds} \sim 10^7$ cm/s and it is weakly dependent on $n_e$. A large saturation current density $\sim 10^6$ A/cm$^2$ is predicted.


title: Evaluating the Transferability and Adversarial Discrimination of Convolutional Neural Networks for Threat Object Detection and Classification within X-Ray Security Imagery

abstract: X-ray imagery security screening is essential to maintaining transport security against a varying profile of threat or prohibited items. Particular interest lies in the automatic detection and classification of weapons such as firearms and knives within complex and cluttered X-ray security imagery. Here, we address this problem by exploring various end-to-end object detection Convolutional Neural Network (CNN) architectures. We evaluate several leading variants spanning the Faster R-CNN, Mask R-CNN, and RetinaNet architectures to explore the transferability of such models between varying X-ray scanners with differing imaging geometries, image resolutions and material colour profiles. Whilst the limited availability of X-ray threat imagery can pose a challenge, we employ a transfer learning approach to evaluate whether such inter-scanner generalisation may exist over a multiple class detection problem. Overall, we achieve maximal detection performance using a Faster R-CNN architecture with a ResNet$_{101}$ classification network, obtaining 0.88 and 0.86 of mean Average Precision (mAP) for a three-class and two class item from varying X-ray imaging sources. Our results exhibit a remarkable degree of generalisability in terms of cross-scanner performance (mAP: 0.87, firearm detection: 0.94 AP). In addition, we examine the inherent adversarial discriminative capability of such networks using a specifically generated adversarial dataset for firearms detection - with a variable low false positive, as low as 5%, this shows both the challenge and promise of such threat detection within X-ray security imagery.


title: Transfer Learning Toolkit: Primers and Benchmarks

abstract: The transfer learning toolkit wraps the codes of 17 transfer learning models and provides integrated interfaces, allowing users to use those models by calling a simple function. It is easy for primary researchers to use this toolkit and to choose proper models for real-world applications. The toolkit is written in Python and distributed under MIT open source license. In this paper, the current state of this toolkit is described and the necessary environment setting and usage are introduced.


title: Full exceptional collections on Lagrangian Grassmannians

abstract: We show fullness of the exceptional collections of maximal length constructed by A. Kuznetsov and A. Polishchuk in the bounded derived categories of coherent sheaves on Lagrangian Grassmannians.


title: On the Induction of p-Cells

abstract: We study cells with respect to the $p$-canonical basis of the Hecke algebra of a crystallographic Coxeter system (see arXiv:1510.01556, arXiv:1901.02323) and their compatibility with standard parabolic subgroups. We show that after induction to the surrounding bigger Coxeter group the cell module of a right $p$-cell in a standard parabolic subgroup decomposes as a direct sum of cell modules. Along the way, we state some new positivity properties of the $p$-canonical basis.


title: Reynolds algebras and their free objects from bracketed words and rooted trees

abstract: The study of Reynolds algebras has its origin in the well-known work of O. Reynolds on fluid dynamics in 1895 and has since found broad applications. It also has close relationship with important linear operators such as algebra endomorphisms, derivations and Rota-Baxter operators. Many years ago G.~Birkhoff suggested an algebraic study of Reynolds operators, including the corresponding free algebras. We carry out such a study in this paper. We first provide examples and properties of Reynolds operators, including a multi-variant generalization of the Reynolds identity. We then construct the free Reynolds algebra on a set. For this purpose, we identify a set of bracketed words called Reynolds words which serves as the linear basis of the free Reynolds algebra. A combinatorial interpretation of Reynolds words is given in terms of rooted trees without super crowns. The closure of the Reynolds words under concatenation gives the algebra structure on the space spanned by Reynolds words. Then a linear operator is defined on this algebra such that the Reynolds identity and the desired universal property are satisfied.


title: Faster Dynamic Compressed d-ary Relations

abstract: The $k^2$-tree is a successful compact representation of binary relations that exhibit sparseness and/or clustering properties. It can be extended to $d$ dimensions, where it is called a $k^d$-tree. The representation boils down to a long bitvector. We show that interpreting the $k^d$-tree as a dynamic trie on the Morton codes of the points, instead of as a dynamic representation of the bitvector as done in previous work, yields operation times that are below the lower bound of dynamic bitvectors and offers improved time performance in practice.


title: Boundary emptiness formation probabilities in the six-vertex model at $\Delta = -\frac12$

abstract: We define a new family of overlaps $C_{N,m}$ for the XXZ Hamiltonian on a periodic chain of length $N$. These are equal to the linear sums of the groundstate components, in the canonical basis, wherein $m$ consecutive spins are fixed to the state ${\uparrow}$. We define the boundary emptiness formation probabilities as the ratios $C_{N,m}/C_{N,0}$ of these overlaps. In the associated six-vertex model, they correspond to correlation functions on a semi-infinite cylinder of perimeter $N$. At the combinatorial point $\Delta = -\frac12$, we obtain closed-form expressions in terms of simple products of ratios of integers.


title: Product Innovation through Internal Startup in Large Software Companies: a Case Study

abstract: Product innovation is a risky activity, but when successful, it enables large software companies accrue high profits and leapfrog the competition. Internal startups have been promoted as one way to foster product innovation in large companies, which allows them to innovate as startups do. However, internal startups in large companies are challenging endeavours despite of the promised benefits. How large software companies can leverage internal startups in software product innovation is not fully understood due to the scarcity of the relevant studies. Based on a conceptual framework that combines the elements from the Lean startup approach and an internal corporate venturing model, we conducted a case study of a large software company to examine how a new product was developed through the internal startup effort and struggled to achieve the desired outcomes set by the management. As a result, the conceptual framework was further developed into a Lean startup-enabled new product development model for large software companies.


title: Singularity formation for the fractional Euler-Alignment system in 1D

abstract: We study the formation of singularities for the Euler-Alignment system with influence function $\psi=\frac{k_\alpha}{|x|^\alpha}$ in 1D. As in [20] the problem is reduced to the analysis of a nonlocal 1D equation. We show the existence of singularities in finite time for any $\alpha$ in the range $0<\alpha<2$ in both the real line and the periodic case.


title: Dictionary Learning Using Rank-One Projection (ROP)

abstract: Dictionary learning aims to find a dictionary that can sparsely represent the training data. Methods in the literature typically formulate the dictionary learning problem as an optimisation with respect to two variables, i.e., dictionary and sparse coefficients, and solve it by alternating between two stages: sparse coding and dictionary update. The key contribution of this work is a Rank-One Projection (ROP) formulation where dictionary learning is cast as an optimisation with respect to a single variable which is a set of rank one matrices. The resulting algorithm is hence single staged. An alternating direction method of multipliers (ADMM) is derived to solve the optimisation problem and guarantees a global convergence despite non-convexity of the optimisation formulation. Also ROP reduces the number of tuning parameters required in other benchmark algorithms. Numerical tests demonstrate that ROP outperforms other benchmarks for both synthetic and real data especially when the sample number is small.


title: Red Dragon AI at TextGraphs 2019 Shared Task: Language Model Assisted Explanation Generation

abstract: The TextGraphs-13 Shared Task on Explanation Regeneration asked participants to develop methods to reconstruct gold explanations for elementary science questions. Red Dragon AI's entries used the language of the questions and explanation text directly, rather than a constructing a separate graph-like representation. Our leaderboard submission placed us 3rd in the competition, but we present here three methods of increasing sophistication, each of which scored successively higher on the test set after the competition close.


title: Rotation of molecular clouds in M~51

abstract: The grand-design spiral galaxy M~51 was observed at 40pc resolution in CO(1--0) by the PAWS project. A large number of molecular clouds were identified and we search for velocity gradients in two high signal-to-noise subsamples, containing 682 and 376 clouds. The velocity gradients are found to be systematically prograde oriented, as was previously found for the rather flocculent spiral M~33. This strongly supports the idea that the velocity gradients reflect cloud rotation, rather than more random dynamical forces, such as turbulence. Not only are the gradients prograde, but their $\frac{\partial v}{\partial x}$ and $\frac{\partial v}{\partial y}$ coefficients follow galactic shear in sign, although with a lower amplitude. No link is found between the orientation of the gradient and the orientation of the cloud. The values of the cloud angular momenta appear to be an extension of the values noted for galactic clouds despite the orders of magnitude difference in cloud mass. Roughly 30\% of the clouds show retrograde velocity gradients. For a strictly rising rotation curve, as in M~51, gravitational contraction would be expected to yield strictly prograde rotators within an axisymmetric potential. In M~51, the fraction of retrograde rotators is found to be higher in the spiral arms than in the disk as a whole. Along the leading edge of the spiral arms, a majority of the clouds are retrograde rotators. While this work should be continued on other nearby galaxies, the M~33 and M~51 studies have shown that clouds rotate and that they rotate mostly prograde, although the amplitudes are not such that rotational energy is a significant support mechanism against gravitation. In this work, we show that retrograde rotation is linked to the presence of a spiral gravitational potential.


title: Stability of equilibria uniformly in the inviscid limit for the Navier-Stokes-Poisson system

abstract: We prove a stability result of constant equilibria for the three-dimensional Navier-Stokes-Poisson system uniform in the inviscid limit. We allow the initial density to be close to a constant and the potential part of the initial velocity to be small independently of the rescaled viscosity parameter $\varepsilon$ while the incompressible part of the initial velocity is assumed to be small compared to $\varepsilon$. We then get a unique global smooth solution. We also prove a uniform in $\varepsilon$ time decay rate for these solutions. Our approach allows to combine the parabolic energy estimates that are efficient for the viscous equation at $\varepsilon$ fixed and the dispersive techniques (dispersive estimates and normal form transformation) that are useful for the inviscid irrotational system.


title: Modeling the Temporal Population Distribution of Ae. aegypti Mosquito using Big Earth Observation Data

abstract: Over 50% of the world population is at risk of mosquito-borne diseases. Female Ae. aegypti mosquito species transmit Zika, Dengue, and Chikungunya. The spread of these diseases correlate positively with the vector population, and this population depends on biotic and abiotic environmental factors including temperature, vegetation condition, humidity and precipitation. To combat virus outbreaks, information about vector population is required. To this aim, Earth observation (EO) data provide fast, efficient and economically viable means to estimate environmental features of interest. In this work, we present a temporal distribution model for adult female Ae. aegypti mosquitoes based on the joint use of the Normalized Difference Vegetation Index, the Normalized Difference Water Index, the Land Surface Temperature (both at day and night time), along with the precipitation information, extracted from EO data. The model was applied separately to data obtained during three different vector control and field data collection condition regimes, and used to explain the differences in environmental variable contributions across these regimes. To this aim, a random forest (RF) regression technique and its nonlinear features importance ranking based on mean decrease impurity (MDI) were implemented. To prove the robustness of the proposed model, we compared it to other machine learning techniques and statistical models. Our results show that machine learning techniques perform better than linear statistical models for the task at hand, and RF performs best. By ranking the importance of all features based on MDI in RF and selecting the subset comprising the most informative ones, a more parsimonious but equally effective and explainable model can be obtained...


title: Model-based optimal AML consolidation treatment

abstract: Neutropenia is an adverse event commonly arising during intensive chemotherapy of acute myeloid leukemia (AML). It is often associated with infectious complications. Mathematical modeling, simulation, and optimization of the treatment process would be a valuable tool to support clinical decision making, potentially resulting in less severe side effects and deeper remissions. However, until now, there has been no validated mathematical model available to simulate the effect of chemotherapy treatment on white blood cell (WBC) counts and leukemic cells simultaneously. We developed a population pharmacokinetic/pharmacodynamic (PK/PD) model combining a myelosuppression model considering endogenous granulocyte-colony stimulating factor (G-CSF), a PK model for cytarabine (Ara-C), a subcutaneous absorption model for exogenous G-CSF, and a two-compartment model for leukemic blasts. This model was fitted to data of 44 AML patients during consolidation therapy with a novel Ara-C plus G-CSF schedule from a phase II controlled clinical trial. Additionally, we were able to optimize treatment schedules with respect to disease progression, WBC nadirs, and the amount of Ara-C and G-CSF. The developed PK/PD model provided good prediction accuracies and an interpretation of the interaction between WBCs, G-CSF, and blasts. For 14 patients (those with available bone marrow blast counts), we achieved a median 4.2-fold higher WBC count at nadir, which is the most critical time during consolidation therapy. The simulation results showed that relative bone marrow blast counts remained below the clinically important threshold of 5%, with a median of 60% reduction in Ara-C.


title: Giant increase of temporal coherence in optically trapped polariton condensate

abstract: Coherent bosonic ensembles offer the promise of harnessing quantum effects in photonic and quantum circuits. In the dynamic equilibrium regime, the application of polariton condensates is hindered by exciton-polariton scattering induced de-coherence in the presence of a dark exciton reservoir. By spatially separating the condensate from the reservoir, we drive the system into the weak interaction regime, where the ensemble coherence time exceeds the individual particle lifetime by nearly three orders of magnitude. The observed nanosecond coherence provides an upper limit for polariton self-interactions. In contrast to conventional photon lasers, we observe an increased contribution from the super-Poissonian component of the condensate to the overall particle number fluctuations. Coupled with the recent emergence of a quantum regime in polaritonics, coherence times extended to several nanoseconds favour the realization of quantum information protocols.


title: Parabolic Hall Effect due to Co-Propagating Surface Modes

abstract: Real-space separations of counter-moving states to opposite surfaces or edges are associated with different types of Hall effects, such as the quantum-, spin-, or the anomalous Hall effect. Some systems provide the possibility to separate a fraction of countermovers in a completely different fashion: Surface states propagating all in the same direction, balanced by counter-moving bulk states, realized, e.g., in Weyl metals with intrinsically or extrinsically broken inversion and time-reversal symmetries. In this work we show that these co-propagating surface modes are associated with a novel Hall effect --- a parabolic potential profile in the direction perpendicular to and in its magnitude linear in the applied field. While in 2D systems the parabolic potential profile is measurable directly, in 3D the resulting voltage between bulk and surface is measurable in the geometry of a hollow cylinder. Moreover, the parabolic Hall effect leads to characteristic signatures in the longitudinal conductivity.


title: The Hodge Laplacian on Axisymmetric Domains and its Discretization

abstract: We study the mixed formulation of the abstract Hodge Laplacian on axisymmetric domains with general data through Fourer-finite-element-methods in weighted functions spaces. Closed Hilbert complexes and commuting projectors are used through a family of finite element spaces recently introduced for general axisymmetric problems. In order to get stability results and error estimates for the discrete mixed formulation, we construct commuting projectors that can be applied to functions with low regularity.


title: Convexity properties of functions defined on metric Abelian groups

abstract: The notions of quasiconvexity, Wright convexity and convexity for functions defined on a metric Abelian group are introduced. Various characterizations of such functions, the structural properties of the functions classes so obtained are established and several well-known results are extended to this new setting.


title: Infinitely Many Commuting Nonlocal Symmetries for Modified Martinez Alonso-Shabat Equation

abstract: We present a recursion operator and an infinite hierarchy of nonlocal commuting symmetries for the modified Martinez Alonso-Shabat equation $u_y u_{xz} + \alpha u_x u_{ty} - (u_z + \alpha u_t)u_{xy} = 0$.


title: Fundamental groupoids for simplicial objects in Mal'tsev categories

abstract: We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and in fact a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois structure, and show that regular epimorphisms admit a relative monotone-light factorization system in the sense of Chikhladze. We also draw some comparison with Kan complexes. By comparing the reflections of simplicial objects and reflexive graphs into groupoids, we exhibit a connection with weighted commutators (as defined by Gran, Janelidze and Ursini).


title: Alternating Minimization Methods for Strongly Convex Optimization

abstract: {We consider alternating minimization procedures for convex optimization problems with variable divided in many block, each block being amenable for minimization with respect to its variable with freezed other variables blocks. In the case of two blocks, we prove a linear convergence rate for alternating minimization procedure under Polyak-Lojasiewicz condition, which can be seen as a relaxation of the strong convexity assumption. Under strong convexity assumption in many-blocks setting we provide an accelerated alternating minimization procedure with linear rate depending on the square root of the condition number as opposed to condition number for the non-accelerated method. We also mention an approximating non-negative solution to a linear system of equations $Ax=y$ with alternating minimization of Kullback-Leibler (KL) divergence between $Ax$ and $y$.


title: The presupernova core mass-radius relation of massive stars: understanding its formation and evolution

abstract: We present a fine grid of solar metallicity models of massive stars (320 in the range 12$\leq$M(\msun)$\leq$27.95), extending from the Main Sequence up to the onset of the collapse, in order to quantitatively determine how their compactness $\xi_{2.5}$ (as defined by O'Connor $\&$ Ott, 2011, ApJ 730, 70) scales with the Carbon Oxygen core mass at the beginning of the core collapse. We find a well defined, not monotonic (but not scattered) trend of the compactness with the Carbon Oxygen core mass that is strictly (and mainly) correlated to the behavior, i.e. birth, growth and disappearance, of the various C convective episodes that follow one another during the advanced evolutionary phases. Though both the mass size of the Carbon Oxygen core and the amount of \nuk{C}{12} left by the He burning play a major role in sculpting the final Mass-Radius relation, it is the abundance of \nuk{C}{12} the ultimate responsible for the final degree of compactness of a star because it controls the ability of the C burning shell to advance in mass before the final collapse.


title: Perturbations of the Landau Hamiltonian: Asymptotics of eigenvalue clusters

abstract: We consider the asymptotic behavior of the spectrum of the Landau Hamiltonian plus a rapidly decaying potential, as the magnetic field strength, $B$, tends to infinity. After a suitable rescaling, this becomes a semiclassical problem where the role of Planck's constant is played by $1/B$. The spectrum of the operator forms eigenvalue clusters. We obtain a Szeg\H{o} limit theorem for the eigenvalues in the clusters as a suitable cluster index and $B$ tend to infinity with a fixed ratio $\calE$. The answer involves the averages of the potential over circles of radius $\sqrt{\calE/2}$ (circular Radon transform). We also discuss related inverse spectral results.


title: Isospectral scattering for relativistic equivalent Hamiltonians on a coarse momentum grid

abstract: The scattering phase-shifts are invariant under unitary transformations of the Hamiltonian. However, the numerical solution of the scattering problem that requires to discretize the continuum violates this phase-shift invariance among unitarily equivalent Hamiltonians. We extend a newly found prescription for the calculation of phase shifts which relies only on the eigenvalues of a relativistic Hamiltonian and its corresponding Chebyshev angle shift. We illustrate this procedure numerically considering $\pi\pi$, $\pi N$ and $NN$ elastic interactions which turns out to be competitive even for small number of grid points.


title: Astrochemistry as a tool to follow the protostellar evolution: the Class I stage

abstract: The latest developments in astrochemistry have shown how some molecular species can be used as a tool to study the early stages of the solar-type star formation process. Among them, the more relevant species are the interstellar complex organic molecules (iCOMs) and the deuterated molecules. Their analysis give us information on the present and past history of protostellar objects. Among the protostellar evolutionary stages, Class I protostars represent a perfect laboratory in which to study the initial conditions for the planet formation process. Indeed, from a physical point of view, the Class I stage is the bridge between the Class 0 phase, dominated by the accretion process, and the protoplanetary disk phase, when planets form. Despite their importance, few observations of Class I protostars exist and very little is known about their chemical content. In this paper we review the (few) existing observations of iCOMs and deuterated species in Class I protostars. In addition, we present new observations of deuterated cyanoacetylene and thioformaldehyde towards the Class I protostar SVS13-A. These new observations allow us to better understand the physical and chemical structure of SVS13-A and compare the cyanoacetylene and thioformaldehyde deuteration with other sources in different evolutionary phases.


title: An Empirical Study of Community Detection Algorithms on Social and Road Networks

abstract: Community detection in social networks is a problem with considerable interest, since, discovering communities reveals hidden information about networks. There exist many algorithms to detect inherent community structures and recently few of them are investigated on social networks. However, it is non-trivial to decide the best approach in the presence of diverse nature of graphs, in terms of density and sparsity, and inadequate analysis of the results. Therefore, in this study, we analyze and compare various algorithms to detect communities in two networks, namely social and road networks, with varying structural properties. The algorithms under consideration are evaluated with unique metrics for internal and external connectivity of communities that includes internal density, average degree, cut ratio, conductance, normalized cut, and average Jaccard Index. The evaluation results revealed key insights about selected algorithms and underlying community structures.


title: A Random Dynamical Systems Perspective on Isochronicity for Stochastic Oscillations

abstract: For an attracting periodic orbit (limit cycle) of a deterministic dynamical system, one defines the isochron for each point of the orbit as the cross-section with fixed return time under the flow. Equivalently, isochrons can be characterized as stable manifolds foliating neighborhoods of the limit cycle or as level sets of an isochron map. In recent years, there has been a lively discussion in the mathematical physics community on how to define isochrons for stochastic oscillations, i.e. limit cycles or heteroclinic cycles exposed to stochastic noise. The main discussion has concerned an approach finding stochastic isochrons as sections of equal expected return times versus the idea of considering eigenfunctions of the backward Kolmogorov operator. We discuss the problem in the framework of random dynamical systems and introduce a new rigorous definition of stochastic isochrons as random stable manifolds for random periodic solutions with noise-dependent period. This allows us to establish a random version of isochron maps whose level sets coincide with the random stable manifolds. Finally, we discuss links between the random dynamical systems interpretation and the equal expected return time approach via averaged quantities.


title: A Hierarchical Optimizer for Recommendation System Based on Shortest Path Algorithm

abstract: Top-k Nearest Geosocial Keyword (T-kNGK) query on geosocial network is defined to give users k recommendations based on some keywords and designated spatial range, and can be realized by shortest path algorithms. However, shortest path algorithm cannot provide convincing recommendations, so we design a hierarchical optimizer consisting of classifiers and a constant optimizer to optimize the result by some features of the service providers.


title: Unsupervised Monocular Depth Prediction for Indoor Continuous Video Streams

abstract: This paper studies unsupervised monocular depth prediction problem. Most of existing unsupervised depth prediction algorithms are developed for outdoor scenarios, while the depth prediction work in the indoor environment is still very scarce to our knowledge. Therefore, this work focuses on narrowing the gap by firstly evaluating existing approaches in the indoor environments and then improving the state-of-the-art design of architecture. Unlike typical outdoor training dataset, such as KITTI with motion constraints, data for indoor environment contains more arbitrary camera movement and short baseline between two consecutive images, which deteriorates the network training for the pose estimation. To address this issue, we propose two methods: Firstly, we propose a novel reconstruction loss function to constraint pose estimation, resulting in accuracy improvement of the predicted disparity map; secondly, we use an ensemble learning with a flipping strategy along with a median filter, directly taking operation on the output disparity map. We evaluate our approaches on the TUM RGB-D and self-collected datasets. The results have shown that both approaches outperform the previous state-of-the-art unsupervised learning approaches.


title: Can artificial neural networks supplant the polygene risk score for risk prediction of complex disorders given very large sample sizes?

abstract: Genome-wide association studies (GWAS) provide a means of examining the common genetic variation underlying a range of traits and disorders. In addition, it is hoped that GWAS may provide a means of differentiating affected from unaffected individuals. This has potential applications in the area of risk prediction. Current attempts to address this problem focus on using the polygene risk score (PRS) to predict case-control status on the basis of GWAS data. However this approach has so far had limited success for complex traits such as schizophrenia (SZ). This is essentially a classification problem. Artificial neural networks (ANNs) have been shown in recent years to be highly effective in such applications. Here we apply an ANN to the problem of distinguishing SZ patients from unaffected controls. We compare the effectiveness of the ANN with the PRS in classifying individuals by case-control status based only on genetic data from a GWAS. We use the schizophrenia dataset from the Psychiatric Genomics Consortium (PGC) for this study. Our analysis indicates that the ANN is more sensitive to sample size than the PRS. As larger and larger sample sizes become available, we suggest that ANNs are a promising alternative to the PRS for classification and risk prediction for complex genetic disorders.


title: Partial breaking of arbitrary amount of d=3 supersymmetry

abstract: Among the solutions of string theory and supergravity which preserve some fraction of supersymmetry, the best known are those that leave one half of the supersymmetry unbroken, and there is a large number of field theory models with this pattern of supersymmetry breaking. However, a lot of brane configurations exist which preserve only $1/4$, $1/8$ or more exotic fractions of supersymmetry, and field theory side of these systems remains largely unexplored. To find whether the formalism of nonlinear realizations is useful in construction of models of this type, we consider the systems of some $N_0$ scalar and vector $N=1$, $d=3$ Goldstone supermultiplets. We find that it is possible to construct an $SO(N_0)$ invariant theory of $N_0$ scalar multiplets with $N_0$ broken supersymmetries. For $N_0=3$ or $N_0\geq 5$ its action is not of Nambu-Goto type and its structure remains universal for arbitrary $N_0$. The cases of $N_0=1,2$ correspond to the membranes in $D=4$ and $D=5$, respectively, while for $N_0=4$ some arbitrariness in the action remains, and with proper choice of parameters, it is possible to obtain the action of the membrane in $D=7$ in the bosonic limit. It is also shown that the $SO(N_0)$ invariant action of $N_0$ vector multiplets with $1/N_0$ pattern of supersymmetry breaking does not exist for arbitrary $N_0$.


title: Topological Classificaton of Non-Hermitian Gapless Phases: Exceptional Points and Bulk Fermi Arcs

abstract: We provide classification of gapless phases in non-Hermitian systems according to two types of complex-energy gaps: point gap and line gap. We show that exceptional points, at which not only eigenenergies but also eigenstates coalesce, are characterized by gap closing of point gaps with nontrivial topological charges. Moreover, we find that bulk Fermi arcs accompanying exceptional points are robust because of topological charges for real line gaps. On the basis of the classification, some examples are also discussed.

categories: cond-mat.mes-hall math-ph math.MP physics.optics quant-ph


title: Goos-H\"anchen and Imbert-Fedorov Shifts for Epsilon-Near-Zero Materials

abstract: We investigate the reflection of a Gaussian beam impinging upon the surface of an epsilon-near-zero (ENZ) medium. In particular, we discuss the occurrence of Goos-H\"anchen and Imbert-Fedorov shifts. Our calculations reveal that spatial shifts are significantly enhanced owing to the ENZ nature of the medium, and that their value and angular position can be tuned by tuning the plasma frequency of the medium.


title: Liouville type theorems for fractional and higher-order fractional H\'enon-Lane-Emden systems

abstract: In this paper, we first establish decay estimates for the fractional and higher-order fractional H\'enon-Lane-Emden systems by using a nonlocal average and integral estimates, which deduce a result of non-existence. Next, we apply the method of scaling spheres introduced in \cite{DQ2} to derive a Liouville type theorem. We also construct an interesting example on super $\frac{\alpha}{2}$-harmonic functions (Proposition 1.2).


title: Weather event severity prediction using buoy data and machine learning

abstract: In this paper, we predict severity of extreme weather events (tropical storms, hurricanes, etc.) using buoy data time series variables such as wind speed and air temperature. The prediction/forecasting method is based on various forecasting and machine learning models. The following steps are used. Data sources for the buoys and weather events are identified, aggregated and merged. For missing data imputation, we use Kalman filters as well as splines for multivariate time series. Then, statistical tests are run to ascertain increasing trends in weather event severity. Next, we use machine learning to predict/forecast event severity using buoy variables, and report good accuracies for the models built.


title: RadioUNet: Fast Radio Map Estimation with Convolutional Neural Networks

abstract: In this paper we propose a highly efficient and very accurate deep learning method for estimating the propagation pathloss from a point $x$ (transmitter location) to any point $y$ on a planar domain. For applications such as user-cell site association and device-to-device link scheduling, an accurate knowledge of the pathloss function for all pairs of transmitter-receiver locations is very important. Commonly used statistical models approximate the pathloss as a decaying function of the distance between transmitter and receiver. However, in realistic propagation environments characterized by the presence of buildings, street canyons, and objects at different heights, such radial-symmetric functions yield very misleading results. In this paper we show that properly designed and trained deep neural networks are able to learn how to estimate the pathloss function, given an urban environment, in a very accurate and computationally efficient manner. Our proposed method, termed RadioUNet, learns from a physical simulation dataset, and generates pathloss estimations that are very close to the simulations, but are much faster to compute for real-time applications. Moreover, we propose methods for transferring what was learned from simulations to real-life. Numerical results show that our method significantly outperforms previously proposed methods.


title: DOI$^2$

abstract: We discuss some seemingly unrelated observations on integers, whose close or farther away neighbors show a complex of combinatorial, ordering, arithmetical or probabilistic properties, emphasizing puzzlement in more common expectations.


title: Statistical tools and precision of searching for the Higgs boson at the LHC

abstract: Statistical tools have been developed to quantify the agreement between a hypothesis or a model and the observed data for probabilistic phenomena. In this work, we define statistical methods used to measure the properties of the higgs boson in the LHC on the one hand, but also to evaluate the uncertainty and precision on these measurements. They are based on the definition of a likelihood function whose construction will be detailed below. The challenge of HEP is to generate tons of data and to develop powerful analyses to tell if the data indeed contains evidence for the new particle, and confirm it's the expected Higgs boson.


title: Hard Choices in Artificial Intelligence: Addressing Normative Uncertainty through Sociotechnical Commitments

abstract: As AI systems become prevalent in high stakes domains such as surveillance and healthcare, researchers now examine how to design and implement them in a safe manner. However, the potential harms caused by systems to stakeholders in complex social contexts and how to address these remains unclear. In this paper, we explain the inherent normative uncertainty in debates about the safety of AI systems. We then address this as a problem of vagueness by examining its place in the design, training, and deployment stages of AI system development. We adopt Ruth Chang's theory of intuitive comparability to illustrate the dilemmas that manifest at each stage. We then discuss how stakeholders can navigate these dilemmas by incorporating distinct forms of dissent into the development pipeline, drawing on Elizabeth Anderson's work on the epistemic powers of democratic institutions. We outline a framework of sociotechnical commitments to formal, substantive and discursive challenges that address normative uncertainty across stakeholders, and propose the cultivation of related virtues by those responsible for development.


title: Additive Bayesian Network Modelling with the R Package abn

abstract: The R package abn is designed to fit additive Bayesian models to observational datasets. It contains routines to score Bayesian networks based on Bayesian or information theoretic formulations of generalized linear models. It is equipped with exact search and greedy search algorithms to select the best network. It supports a possible blend of continuous, discrete and count data and input of prior knowledge at a structural level. The Bayesian implementation supports random effects to control for one-layer clustering. In this paper, we give an overview of the methodology and illustrate the package's functionalities using a veterinary dataset about respiratory diseases in commercial swine production.


title: Exponential Family Graph Embeddings

abstract: Representing networks in a low dimensional latent space is a crucial task with many interesting applications in graph learning problems, such as link prediction and node classification. A widely applied network representation learning paradigm is based on the combination of random walks for sampling context nodes and the traditional \textit{Skip-Gram} model to capture center-context node relationships. In this paper, we emphasize on exponential family distributions to capture rich interaction patterns between nodes in random walk sequences. We introduce the generic \textit{exponential family graph embedding} model, that generalizes random walk-based network representation learning techniques to exponential family conditional distributions. We study three particular instances of this model, analyzing their properties and showing their relationship to existing unsupervised learning models. Our experimental evaluation on real-world datasets demonstrates that the proposed techniques outperform well-known baseline methods in two downstream machine learning tasks.


title: Learning Embeddings from Cancer Mutation Sets for Classification Tasks

abstract: Analysis of somatic mutation profiles from cancer patients is essential in the development of cancer research. However, the low frequency of most mutations and the varying rates of mutations across patients makes the data extremely challenging to statistically analyze as well as difficult to use in classification problems, for clustering, visualization or for learning useful information. Thus, the creation of low dimensional representations of somatic mutation profiles that hold useful information about the DNA of cancer cells will facilitate the use of such data in applications that will progress precision medicine. In this paper, we talk about the open problem of learning from somatic mutations, and present Flatsomatic: a solution that utilizes variational autoencoders (VAEs) to create latent representations of somatic profiles. The work done in this paper shows great potential for this method, with the VAE embeddings performing better than PCA for a clustering task, and performing equally well to the raw high dimensional data for a classification task. We believe the methods presented herein can be of great value in future research and in bringing data-driven models into precision oncology.


title: Suppression of superconductivity by spin fluctuations in iron-based superconductors

abstract: We study the superconducting instability mediated by spin fluctuations in the Eliashberg theory for a minimal two-band model of iron-based superconductors. While antiferromagnetic spin fluctuations can drive superconductivity (SC) as is well established, we find that spin fluctuations necessarily contain a contribution to suppress SC even though SC can eventually occur at lower temperatures. This self-restraint effect stems from a general feature of the spin-fluctuation mechanism, namely the repulsive pairing interaction, which leads to phase frustration of the pairing gap and consequently the suppression of SC.


title: Experimental Exploration of Compact Convolutional Neural Network Architectures for Non-temporal Real-time Fire Detection

abstract: In this work we explore different Convolutional Neural Network (CNN) architectures and their variants for non-temporal binary fire detection and localization in video or still imagery. We consider the performance of experimentally defined, reduced complexity deep CNN architectures for this task and evaluate the effects of different optimization and normalization techniques applied to different CNN architectures (spanning the Inception, ResNet and EfficientNet architectural concepts). Contrary to contemporary trends in the field, our work illustrates a maximum overall accuracy of 0.96 for full frame binary fire detection and 0.94 for superpixel localization using an experimentally defined reduced CNN architecture based on the concept of InceptionV4. We notably achieve a lower false positive rate of 0.06 compared to prior work in the field presenting an efficient, robust and real-time solution for fire region detection.


title: Bayesian interpretation of SGD as Ito process

abstract: The current interpretation of stochastic gradient descent (SGD) as a stochastic process lacks generality in that its numerical scheme restricts continuous-time dynamics as well as the loss function and the distribution of gradient noise. We introduce a simplified scheme with milder conditions that flexibly interprets SGD as a discrete-time approximation of an Ito process. The scheme also works as a common foundation of SGD and stochastic gradient Langevin dynamics (SGLD), providing insights into their asymptotic properties. We investigate the convergence of SGD with biased gradient in terms of the equilibrium mode and the overestimation problem of the second moment of SGLD.


title: Parsimonious Mixtures of Matrix Variate Bilinear Factor Analyzers

abstract: Over the years, data have become increasingly higher dimensional, which has prompted an increased need for dimension reduction techniques. This is perhaps especially true for clustering (unsupervised classification) as well as semi-supervised and supervised classification. Many methods have been proposed in the literature for two-way (multivariate) data and quite recently methods have been presented for three-way (matrix variate) data. One such such method is the mixtures of matrix variate bilinear factor analyzers (MMVBFA) model. Herein, we propose of total of 64 parsimonious MMVBFA models. Simulated and real data are used for illustration.


title: Lossless Convexification of Optimal Control Problems with Semi-continuous Inputs

abstract: This paper presents a novel convex optimization-based method for finding the globally optimal solutions of a class of mixed-integer non-convex optimal control problems. We consider problems with non-convex constraints that restrict the input norms to be either zero or lower- and upper-bounded. The non-convex problem is relaxed to a convex one whose optimal solution is proved to be optimal almost everywhere for the original problem, a procedure known as lossless convexification. This paper is the first to allow individual input sets to overlap and to have different norm bounds, integral input and state costs, and convex state constraints that can be activated at discrete time instances. The solution relies on second-order cone programming and demonstrates that a meaningful class of optimal control problems with binary variables can be solved reliably and in polynomial time. A rocket landing example with a coupled thrust-gimbal constraint corroborates the effectiveness of the approach.


title: Ribbon Complexes & their Approximate Descriptive Proximities. Ribbon & Vortex Nerves, Betti Numbers and Planar Divisions

abstract: This article introduces planar ribbons, Vergili ribbon complexes and ribbon nerves in Alexandroff-Hopf-Whitehead CW (Closure finite Weak) topological spaces. A {\em planar ribbon} (briefly, {ribbon}) in a CW space is the closure of a pair of nesting, non-concentric filled cycles that includes the boundary but does not include the interior of the inner cycle. Each planar ribbon has its own distinctive shape determined by its outer and inner boundaries and the interior within its boundaries. A Vergili ribbon complex (briefly, ribbon complex) in a CW space is a non-void collection of countable planar ribbons. A ribbon nerve is a nonvoid collection of planar ribbons (members of a ribbon complex) that have nonempty intersection. A planar CW space is a non-void collection of cells (vertexes, edges and filled triangles) that may or may not be attached to other and which satisfy Alexandroff-Hopf-Whitehead containment and intersection conditions. In the context of CW spaces, planar ribbons, ribbon complexes and ribbon nerves are characterized by Betti numbers derived from standard Betti numbers $\mathcal{B}_0$ (cell count), $\mathcal{B}_1$ (cycle count) and $\mathcal{B}_2$ (hole count), namely, $\mathcal{B}_{rb}$ and $\mathcal{B}_{rbNrv}$ introduced in this paper. Results are given for collections of ribbons and ribbon nerves in planar CW spaces equipped with an approximate descriptive proximity, division of the plane into three bounded regions by a ribbon and Brouwer fixed points on ribbons. In addition, the homotopy types of ribbons and ribbon nerves are introduced.


title: Acoustic scattering by cascades with complex boundary conditions: compliance, porosity and impedance

abstract: We present a solution for the scattered field caused by an incident wave interacting with an infinite cascade of blades with complex boundary conditions. This extends previous studies by allowing the blades to be compliant, porous or satisfying a generalised impedance condition. Beginning with the convected wave equation, we employ Fourier transforms to obtain an integral equation amenable to the Wiener--Hopf method. This Wiener--Hopf system is solved using a method that avoids the factorisation of matrix functions. The Fourier transform is inverted to obtain an expression for the acoustic potential function that is valid throughout the entire domain. We observe that the principal effect of complex boundary conditions is to perturb the zeros of the Wiener--Hopf kernel, which correspond to the duct modes in the inter-blade region. We focus efforts on understanding the role of porosity, and present a range of results on sound transmission and generation. The behaviour of the duct modes is discussed in detail in order to explain the physical mechanisms behind the associated noise reductions. In particular, we show that cut-on duct modes do not exist for arbitrary porosity coefficients. Conversely, the acoustic modes are unchanged by modifications to the boundary conditions. Consequently, we observe that even modest values of porosity can result in reductions in the sound power level of $5$ dB for the first mode and $20$ dB for the second mode. The solution is essentially analytic (the only numerical requirements are matrix inversion and root finding) and is therefore extremely rapid to compute.


title: Multi-Source Spatial Entity Linkage

abstract: Besides the traditional cartographic data sources, spatial information can also be derived from location-based sources. However, even though different location-based sources refer to the same physical world, each one has only partial coverage of the spatial entities, describe them with different attributes, and sometimes provide contradicting information. Hence, we introduce the spatial entity linkage problem, which finds which pairs of spatial entities belong to the same physical spatial entity. Our proposed solution (QuadSky) starts with a time-efficient spatial blocking technique (QuadFlex), compares pairwise the spatial entities in the same block, ranks the pairs using Pareto optimality with the SkyRank algorithm, and finally, classifies the pairs with our novel SkyEx-* family of algorithms that yield 0.85 precision and 0.85 recall for a manually labeled dataset of 1,500 pairs and 0.87 precision and 0.6 recall for a semi-manually labeled dataset of 777,452 pairs. Moreover, we provide a theoretical guarantee and formalize the SkyEx-FES algorithm that explores only 27% of the skylines without any loss in F-measure. Furthermore, our fully unsupervised algorithm SkyEx-D approximates the optimal result with an F-measure loss of just 0.01. Finally, QuadSky provides the best trade-off between precision and recall, and the best F-measure compared to the existing baselines and clustering techniques, and approximates the results of supervised learning solutions.


title: Towards a Unified Evaluation of Explanation Methods without Ground Truth

abstract: This paper proposes a set of criteria to evaluate the objectiveness of explanation methods of neural networks, which is crucial for the development of explainable AI, but it also presents significant challenges. The core challenge is that people usually cannot obtain ground-truth explanations of the neural network. To this end, we design four metrics to evaluate explanation results without ground-truth explanations. Our metrics can be broadly applied to nine benchmark methods of interpreting neural networks, which provides new insights of explanation methods.


title: Moving to Communicate, Moving to Interact: Patterns of Body Motion in Musical Duo Performance

abstract: Skilled ensemble musicians coordinate with high precision, even when improvising or interpreting loosely-defined notation. Successful coordination is supported primarily through shared attention to the musical output; however, musicians also interact visually, particularly when the musical timing is irregular. This study investigated the performance conditions that encourage visual signalling and interaction between ensemble members. Piano and clarinet duos rehearsed a new piece as their body motion was recorded. Analyses of head movement showed that performers communicated gesturally following held notes. Gesture patterns became more consistent as duos rehearsed, though consistency dropped again during a final performance given under no-visual-contact conditions. Movements were smoother and interperformer coordination was stronger during irregularly-timed passages than elsewhere in the piece, suggesting heightened visual interaction. Performers moved more after rehearsing than before, and more when they could see each other than when visual contact was occluded. Periods of temporal instability and increased familiarity with the music and co-performer seem to encourage visual interaction, while specific communicative gestures are integrated into performance routines through rehearsal. We propose that visual interaction may support successful ensemble performance by affirming coordination throughout periods of temporal instability and serving as a social motivator to promote creative risk-taking.


title: Joints formed by lines and a $k$-plane, and a discrete estimate of Kakeya type

abstract: Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine subspaces, and it holds in the setting of arbitrary fields $\mathbb{F}$. In contrast, for our second result, we work in the three-dimensional Euclidean space $\mathbb{R}^3$, and we establish the Kakeya-type estimate \begin{equation*}\sum_{x \in J} \left(\sum_{\ell \in \mathcal{L}} \chi_\ell(x)\right)^{3/2} \lesssim |\mathcal{L}|^{3/2}\end{equation*} where $J$ is the set of joints formed by $\mathcal{L}$; such an estimate fails in the setting of arbitrary fields. This result strengthens the known estimates for joints, including those counting multiplicities. Additionally, our techniques yield significant structural information on quasi-extremisers for this inequality.


title: A dispersive optical model analysis of $^{208}$Pb generating a neutron-skin prediction beyond the mean field

abstract: A nonlocal dispersive-optical-model analysis has been carried out for neutrons and protons in $^{208}$Pb. Elastic-scattering angular distributions, total and reaction cross sections, single-particle energies, the neutron and proton numbers, the charge distribution, and the binding energy have been fitted to extract the neutron and proton self-energies both above and below the Fermi energy. From the single-particle propagator derived from these self-energies, we have determined the charge and matter distributions in $^{208}$Pb. The predicted spectroscopic factors are consistent with results from the $(e,e'p)$ reaction and inelastic-electron-scattering data to very high spin states. Sensible results for the high-momentum content of neutrons and protons are obtained with protons appearing more correlated, in agreement with experiment and \textit{ab initio} calculations of asymmetric matter. A neutron skin of $0.25\pm0.05$ fm is deduced. An analysis of several nuclei leads to the conclusion that finite-size effects play a non-negligible role in the formation of the neutron skin in finite nuclei.


title: On band modules and $\tau$-tilting finiteness

abstract: In this paper, motivated by a $\tau$-tilting version of the Brauer-Thrall Conjectures, we study general properties of band modules and their endomorphisms in the module category of a finite dimensional algebra. As an application we describe properties of torsion classes containing band modules. Furthermore, we show that a special biserial algebra is $\tau$-tilting finite if and only if no band module is a brick. We also recover a criterion for the $\tau$-tilting finiteness of Brauer graph algebras in terms of the Brauer graph.


title: On the global-in-time inviscid limit of the 3D isentropic compressible Navier-Stokes equations with degenerate viscosities and vacuum

abstract: In the recent paper, the global-in-time inviscid limit of the three-dimensional (3D) isentropic compressible Navier-Stokes equations is considered. First, when viscosity coefficients are given as a constant multiple of density's power ($(\rho^\epsilon)^\delta$ with $\delta>1$), for regular solutions to the corresponding Cauchy problem, via introducing one "quasi-symmetric hyperbolic"--"degenerate elliptic" coupled structure to control the behavior of the velocity near the vacuum, we establish the uniform energy estimates for the local sound speed in $H^3$ and $(\rho^\epsilon)^{\frac{\delta-1}{2}}$ in $H^2$ with respect to the viscosity coefficients for arbitrarily large time under some smallness assumption on the initial density. Second, by making full use of this structure's quasi-symmetric property and the weak smooth effect on solutions, we prove the strong convergence of the regular solutions of the degenerate viscous flow to that of the inviscid flow with vacuum in $H^2$ for arbitrarily large time. The result here applies to a class of degenerate density-dependent viscosity coefficients, is independent of the B-D relation for viscosities, and seems to be the first on the global-in-time inviscid limit of smooth solutions which have large velocities and contain vacuum state for compressible flow in three space dimensions without any symmetric assumption.


title: Path Planning Problems with Side Observations-When Colonels Play Hide-and-Seek

abstract: Resource allocation games such as the famous Colonel Blotto (CB) and Hide-and-Seek (HS) games are often used to model a large variety of practical problems, but only in their one-shot versions. Indeed, due to their extremely large strategy space, it remains an open question how one can efficiently learn in these games. In this work, we show that the online CB and HS games can be cast as path planning problems with side-observations (SOPPP): at each stage, a learner chooses a path on a directed acyclic graph and suffers the sum of losses that are adversarially assigned to the corresponding edges; and she then receives semi-bandit feedback with side-observations (i.e., she observes the losses on the chosen edges plus some others). We propose a novel algorithm, EXP3-OE, the first-of-its-kind with guaranteed efficient running time for SOPPP without requiring any auxiliary oracle. We provide an expected-regret bound of EXP3-OE in SOPPP matching the order of the best benchmark in the literature. Moreover, we introduce additional assumptions on the observability model under which we can further improve the regret bounds of EXP3-OE. We illustrate the benefit of using EXP3-OE in SOPPP by applying it to the online CB and HS games.


title: Extending the trace of a pivotal monoidal functor

abstract: We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the tube category are indexed by pairs of simple objects in the underlying MTC, the simple multiplicities of this representation form a candidate modular invariant matrix. In general, this matrix will not be modular invariant, however it will always commute with the T-matrix. Furthermore, under certain additional conditions on the original functor, it is shown that the corresponding representation of the tube category is a haploid, symmetric, commutative Frobenius algebra. Such algebras are known to be connected to modular invariants, in particular a result of Kong and Runkel implies that the matrix of simple multiplicities commutes with the S-matrix if and only if the dimension of the algebra is equal to the dimension of the underlying MTC. Finally, we apply these techniques to certain pivotal monoidal functors arising from module categories over the Temperley-Lieb category and the associated MTC. This provides a novel explanation of the A-D-E pattern appearing in the classification of $ A_1^{(1)} $ modular invariants.


title: Extended target Poisson multi-Bernoulli mixture trackers based on sets of trajectories

abstract: The Poisson multi-Bernoulli mixture (PMBM) is a multi-target distribution for which the prediction and update are closed. By applying the random finite set (RFS) framework to multi-target tracking with sets of trajectories as the variable of interest, the PMBM trackers can efficiently estimate the set of target trajectories. This paper derives two trajectory RFS filters for extended target tracking, called extended target PMBM trackers. Compared to the extended target PMBM filter based on sets on targets, explicit track continuity between time steps is provided in the extended target PMBM trackers.


title: Weak Supervision for Generating Pixel-Level Annotations in Scene Text Segmentation

abstract: Providing pixel-level supervisions for scene text segmentation is inherently difficult and costly, so that only few small datasets are available for this task. To face the scarcity of training data, previous approaches based on Convolutional Neural Networks (CNNs) rely on the use of a synthetic dataset for pre-training. However, synthetic data cannot reproduce the complexity and variability of natural images. In this work, we propose to use a weakly supervised learning approach to reduce the domain-shift between synthetic and real data. Leveraging the bounding-box supervision of the COCO-Text and the MLT datasets, we generate weak pixel-level supervisions of real images. In particular, the COCO-Text-Segmentation (COCO_TS) and the MLT-Segmentation (MLT_S) datasets are created and released. These two datasets are used to train a CNN, the Segmentation Multiscale Attention Network (SMANet), which is specifically designed to face some peculiarities of the scene text segmentation task. The SMANet is trained end-to-end on the proposed datasets, and the experiments show that COCO_TS and MLT_S are a valid alternative to synthetic images, allowing to use only a fraction of the training samples and improving significantly the performances.


title: Bogoliubov excitations in the quasiperiodic kicked rotor: stability of a kicked condensate and the quasi-insulator-metal transition

abstract: We study the dynamics of a Bose-Einstein condensate in the quasiperiodic kicked rotor described by a Gross-Pitaevskii equation with periodic boundary conditions. As the interactions are increased, Bogoliubov excitations appear and deplete the condensate; we characterize this instability by considering the population of the first Bogoliubov mode, and show that it does not prevent, for small enough interaction strengths, the observation of the transition. However, the predicted subdiffusive behavior is not observed in the stable region. For higher interaction strengths, the condensate may be strongly depleted before this dynamical regimes set in.

categories: cond-mat.quant-gas cond-mat.dis-nn nlin.CD quant-ph


title: Euler-Chow series for scrolls and ruled surfaces

abstract: We prove that the Euler-Chow series for ruled surfaces and scrolls is rational by means of an explicit computation.


title: An In-depth Investigation of Faraday Depth Spectrum Using Synthetic Observations of Turbulent MHD Simulations

abstract: In this paper we present a detailed analysis of the Faraday depth (FD) spectrum and its clean components obtained through the application of the commonly used technique of Faraday rotation measure synthesis to analyze spectro-polarimetric data. In order to directly compare the Faraday depth spectrum with physical properties of a magneto-ionic medium, we generated synthetic broad-bandwidth spectro-polarimetric observations from magnetohydrodynamic (MHD) simulations of a transonic, isothermal, compressible turbulent medium. We find that correlated magnetic field structures give rise to a combination of spiky, localized peaks at certain FD values, and broad structures in the FD spectrum. Although the majority of these spiky FD structures appear narrow, giving an impression of a Faraday thin medium, we show that they arise from strong synchrotron emissivity at that FD. Strong emissivity at a FD can arise because of both strong spatially-local polarized synchrotron emissivity at a FD or accumulation of weaker emissions along the distance through a medium that have Faraday depths within half the width of the rotation measure spread function. Such a complex Faraday depth spectrum is a natural consequence of MHD turbulence when the lines of sight pass through a few turbulent cells. This therefore complicates the convention of attributing narrow FD peaks to presence of a Faraday rotating medium along the line of sight. Our work shows that it is difficult to extract the FD along a line of sight from the Faraday depth spectrum using standard methods for a turbulent medium in which synchrotron emission and Faraday rotation occur simultaneously.


title: Local AdaAlter: Communication-Efficient Stochastic Gradient Descent with Adaptive Learning Rates

abstract: When scaling distributed training, the communication overhead is often the bottleneck. In this paper, we propose a novel SGD variant with reduced communication and adaptive learning rates. We prove the convergence of the proposed algorithm for smooth but non-convex problems. Empirical results show that the proposed algorithm significantly reduces the communication overhead, which, in turn, reduces the training time by up to 30% for the 1B word dataset.


title: Cones and Cartan geometry

abstract: We show that the extended principal bundle of a Cartan geometry of type $(A(m,\mathbb{R}),GL(m,\mathbb{R}))$, endowed with its extended connection $\hat\omega$, is isomorphic to the principal $A(m,\mathbb{R})$-bundle of affine frames endowed with the affine connection as defined in classical Kobayashi-Nomizu volume I. Then we classify the local holonomy groups of the Cartan geometry canonically associated to a Riemannian manifold. It follows that if the holonomy group of the Cartan geometry canonically associated to a Riemannian manifold is compact then the Riemannian manifold is locally a product of cones.


title: Outside the Box: Abstraction-Based Monitoring of Neural Networks

abstract: Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the significant limitations of neural networks. The ability to identify previously unseen inputs as novel is crucial for our understanding of the decisions made by neural networks. At runtime, inputs not falling into any of the categories learned during training cannot be classified correctly by the neural network. Existing approaches treat the neural network as a black box and try to detect novel inputs based on the confidence of the output predictions. However, neural networks are not trained to reduce their confidence for novel inputs, which limits the effectiveness of these approaches. We propose a framework to monitor a neural network by observing the hidden layers. We employ a common abstraction from program analysis - boxes - to identify novel behaviors in the monitored layers, i.e., inputs that cause behaviors outside the box. For each neuron, the boxes range over the values seen in training. The framework is efficient and flexible to achieve a desired trade-off between raising false warnings and detecting novel inputs. We illustrate the performance and the robustness to variability in the unknown classes on popular image-classification benchmarks.


title: Exploiting Spatial Invariance for Scalable Unsupervised Object Tracking

abstract: The ability to detect and track objects in the visual world is a crucial skill for any intelligent agent, as it is a necessary precursor to any object-level reasoning process. Moreover, it is important that agents learn to track objects without supervision (i.e. without access to annotated training videos) since this will allow agents to begin operating in new environments with minimal human assistance. The task of learning to discover and track objects in videos, which we call \textit{unsupervised object tracking}, has grown in prominence in recent years; however, most architectures that address it still struggle to deal with large scenes containing many objects. In the current work, we propose an architecture that scales well to the large-scene, many-object setting by employing spatially invariant computations (convolutions and spatial attention) and representations (a spatially local object specification scheme). In a series of experiments, we demonstrate a number of attractive features of our architecture; most notably, that it outperforms competing methods at tracking objects in cluttered scenes with many objects, and that it can generalize well to videos that are larger and/or contain more objects than videos encountered during training.


title: Rate Maximization in Vehicular uRLLC with Optical Camera Communications

abstract: Optical camera communication (OCC) has emerged as a key enabling technology for the seamless operation of future autonomous vehicles. By leveraging the supreme performance of OCC, we can meet the stringent requirements of ultra-reliable and low-latency communication (uRLLC) in vehicular OCC. In this paper, we introduce a rate optimization approach in vehicular OCC through optimal power allocation while respecting uRLLC requirements. We first formulate a discrete-rate optimization problem as a mixed-integer programming (MIP) subject to average transmit power and uRLLC constraints for a given set of modulation schemes. To reduce the complexity in solving the MIP problem, we convert the discrete-rate problem into a continuous-rate optimization scheme. Then, we present an algorithm based on Lagrangian relaxation and Bisection method to solve the optimization problem. Considering the proposed algorithm, we drive the rate optimization and power allocation scheme for both discrete-rate and continuous-rate optimization schemes while satisfying uRLLC constraints. We first analyze the performance of the proposed system model through simulations. We then investigate the impact of proposed power allocation and rate optimization schemes on average rate and latency for different target bit error rates. The results show that increasing the transmit power allocation improves the average rate and latency performance.


title: Quantitative predictive modelling approaches to understanding rheumatoid arthritis: A brief review

abstract: Rheumatoid arthritis is a chronic autoimmune disease that is a major public health challenge. The disease is characterised by inflammation of synovial joints and cartilage erosion, which leads to chronic pain, poor life quality and, in some cases, premature mortality. Understanding the biological mechanisms behind the progression of the disease, as well as developing new methods for quantitative predictions of disease progression in the presence/absence of various therapies is important for the success of therapeutic approaches. The aim of this study is to review various quantitative predictive modelling approaches for understanding rheumatoid arthritis. To this end, we start by discussing briefly the biology of this disease and some current treatment approaches, as well as emphasising some of the open problems in the field. Then we review various mathematical mechanistic models derived to address some of these open problems. We discuss models that investigate the biological mechanisms behind the progression of the disease, as well as pharmacokinetic and pharmacodynamic models for various drug therapies. Furthermore, we highlight models aimed at optimising the costs of the treatments while taking into consideration the evolution of the disease and potential complications.


title: On $H^{2|2}$ Isomorphism theorems and reinforced loop soup

abstract: We show that supersymmetric (susy) hyperbolic isomorphism theorems that relate Vertex Reinforced Jump Processes and $H^{2|2}$ field, introduced in [2] and [3], are annealed version of isomorphism theorems relating Markov processes and Gaussian free field, with the help of a Bayes formula that relates susy hyperbolic field to susy free field. On the other hand, we also prove a BFS-Dynkin's isomorphism theorem for reinforced loop soup. Moreover, we provide yet another proof of BFS-Dynkin's isomorphism for VRJP a la Feynman-Kac.


title: Displaced Vertex and Disappearing Track Signatures in type-III Seesaw

abstract: We investigate a prospect of probing the type-III seesaw neutrino mass generation mechanism at various collider experiments by searching for a disappearing track and a displaced vertex signature originating from the decay of $SU(2)_L$ triplet fermion ($\Sigma$). Since $\Sigma$ is primarily produced at colliders through the electroweak gauge interactions, its production rate is uniquely determined by its mass. We find that a $\Sigma$ particle with a mass of a few hundred GeV produces a disappearing track signature from the decay of its charged component, which can be searched at the HL-LHC. Furthermore, we show that if the lightest observed neutrino has a mass of around $10^{-9}$ eV, the neutral component of ${\Sigma}$ can be discovered at the proposed MATHUSLA detector. We also show that the charged component of ${\Sigma}$ with a mass of a few hundred GeV can be observed at the LHeC and FCC-he as a displaced vertex signature.


title: Poisson_CCD: A dedicated simulator for modeling CCDs

abstract: A dedicated simulator, Poisson_CCD, has been constructed which models astronomical CCDs by solving Poisson's equation numerically and simulating charge transport within the CCD. The potentials and free carrier densities within the CCD are self-consistently solved for, giving realistic results for the charge distribution within the CCD storage wells. The simulator has been used to model the CCDs which are being used to construct the LSST digital camera. The simulator output has been validated by comparing its predictions with several different types of CCD measurements, including astrometric shifts, brighter-fatter induced pixel-pixel covariances, saturation effects, and diffusion spreading. The code is open source and freely available.


title: Techniques to Reduce $\pi/4$-Parity-Phase Circuits, Motivated by the ZX Calculus

abstract: To approximate arbitrary unitary transformations on one or more qubits, one must perform transformations which are outside of the Clifford group. The gate most commonly considered for this purpose is the T = diag(1, exp(i \pi/4)) gate. As T gates are computationally expensive to perform fault-tolerantly in the most promising error-correction technologies, minimising the "T-count" (the number of T gates) required to realise a given unitary in a Clifford+T circuit is of great interest. We describe techniques to find circuits with reduced T-count in unitary circuits, which develop on the ideas of Heyfron and Campbell [arXiv:1712.01557] with the help of the ZX calculus. Following [arXiv:1712.01557], we reduce the problem to that of minimising the T count of a CNOT+T circuit. The ZX calculus motivates a further reduction to simplifying a product of commuting "\pi/4-parity-phase" operations: diagonal unitary transformations which induce a relative phase of exp(i \pi/4) depending on the outcome of a parity computation on the standard basis (which motivated Kissinger and van de Wetering [1903.10477] to introduce "phase gadgets"). For a number of standard benchmark circuits, we show that these techniques -- in some cases supplemented by the TODD subroutine of Heyfron and Campbell [arXiv:1712.01557] -- yield T-counts comparable to or better than the best previously known results.


title: 3D-Rotation-Equivariant Quaternion Neural Networks

abstract: This paper proposes a set of rules to revise various neural networks for 3D point cloud processing to rotation-equivariant quaternion neural networks (REQNNs). We find that when a neural network uses quaternion features under certain conditions, the network feature naturally has the rotation-equivariance property. Rotation equivariance means that applying a specific rotation transformation to the input point cloud is equivalent to applying the same rotation transformation to all intermediate-layer quaternion features. Besides, the REQNN also ensures that the intermediate-layer features are invariant to the permutation of input points. Compared with the original neural network, the REQNN exhibits higher rotation robustness.


title: Talking datasets: Understanding data sensemaking behaviours

abstract: The sharing and reuse of data are seen as critical to solving the most complex problems of today. Despite this potential, relatively little is known about a key step in data reuse: people's behaviours involved in data-centric sensemaking. We aim to address this gap by presenting a mixed-methods study combining in-depth interviews, a think-aloud task and a screen recording analysis with 31 researchers as they summarised and interacted with both familiar and unfamiliar data. We use our findings to identify and detail common activity patterns and necessary data attributes across three clusters of sensemaking activities: inspecting data, engaging with content, and placing data within broader contexts. We conclude by proposing design recommendations for tools and documentation practices which can be used to facilitate sensemaking and subsequent data reuse.


title: Learning Cross-modal Context Graph for Visual Grounding

abstract: Visual grounding is a ubiquitous building block in many vision-language tasks and yet remains challenging due to large variations in visual and linguistic features of grounding entities, strong context effect and the resulting semantic ambiguities. Prior works typically focus on learning representations of individual phrases with limited context information. To address their limitations, this paper proposes a language-guided graph representation to capture the global context of grounding entities and their relations, and develop a cross-modal graph matching strategy for the multiple-phrase visual grounding task. In particular, we introduce a modular graph neural network to compute context-aware representations of phrases and object proposals respectively via message propagation, followed by a graph-based matching module to generate globally consistent localization of grounding phrases. We train the entire graph neural network jointly in a two-stage strategy and evaluate it on the Flickr30K Entities benchmark. Extensive experiments show that our method outperforms the prior state of the arts by a sizable margin, evidencing the efficacy of our grounding framework. Code is available at "https://github.com/youngfly11/LCMCG-PyTorch".


title: Optical Counterpart to the Ultraluminous X-Ray Source in the UGC6456 Galaxy

abstract: We report the identification of the optical counterpart to the transient ultraluminuos X-ray source in the blue dwarf galaxy UGC6456 (VII Zw 403). The source is highly variable in both the X-ray (more 100 times, 0.3-10 keV) and optical (more 3 times, V band) ranges. The peak X-ray luminosity of UGC6456 ULX exceeds $10^{40}$ erg/s; the absolute magnitude when the source is optically bright is M$_V = -8.24\pm0.11$, which makes this source one of the brightest ULXs in the optical range. We found a correlation between the optical and X-ray fluxes (with a coefficient of $0.9\pm 0.3$), which may indicate that the optical emission is produced by re-processing of the X-rays in outer parts of the optically-thick wind coming from the supercritical accretion disk. Optical spectra of UGC6456 ULX show broad and variable hydrogen and helium emission lines, which also confirms the presence of the strong wind.


title: New structures to solve aggregated queries for trips over public transportation networks

abstract: Representing the trajectories of mobile objects is a hot topic from the widespread use of smartphones and other GPS devices. However, few works have focused on representing trips over public transportation networks (buses, subway, and trains) where a user's trips can be seen as a sequence of stages performed within a vehicle shared with many other users. In this context, representing vehicle journeys reduces the redundancy because all the passengers inside a vehicle share the same arrival time for each stop. In addition, each vehicle journey follows exactly the sequence of stops corresponding to its line, which makes it unnecessary to represent that sequence for each journey. To solve data management for transportation systems, we designed a conceptual model that gave us a better insight into this data domain and allowed us the definition of relevant terms and the detection of redundancy sources among those data. Then, we designed two compact representations focused on users' trips (TTCTR) and on vehicle trips (AcumM), respectively. Each approach owns some strengths and is able to answer some queries efficiently. We include experimental results over synthetic trips generated from accurate schedules obtained from a real network description (from the bus transportation system of Madrid) to show the space/time trade-off of both approaches. We considered a wide range of different queries about the use of the transportation network such as counting-based or aggregate queries regarding the load of any line of the network at different times.


title: A CNN-RNN Framework for Crop Yield Prediction

abstract: Crop yield prediction is extremely challenging due to its dependence on multiple factors such as crop genotype, environmental factors, management practices, and their interactions. This paper presents a deep learning framework using convolutional neural networks (CNN) and recurrent neural networks (RNN) for crop yield prediction based on environmental data and management practices. The proposed CNN-RNN model, along with other popular methods such as random forest (RF), deep fully-connected neural networks (DFNN), and LASSO, was used to forecast corn and soybean yield across the entire Corn Belt (including 13 states) in the United States for years 2016, 2017, and 2018 using historical data. The new model achieved a root-mean-square-error (RMSE) 9% and 8% of their respective average yields, substantially outperforming all other methods that were tested. The CNN-RNN have three salient features that make it a potentially useful method for other crop yield prediction studies. (1) The CNN-RNN model was designed to capture the time dependencies of environmental factors and the genetic improvement of seeds over time without having their genotype information. (2) The model demonstrated the capability to generalize the yield prediction to untested environments without significant drop in the prediction accuracy. (3) Coupled with the backpropagation method, the model could reveal the extent to which weather conditions, accuracy of weather predictions, soil conditions, and management practices were able to explain the variation in the crop yields.


title: Heterogeneous Graph-based Knowledge Transfer for Generalized Zero-shot Learning

abstract: Generalized zero-shot learning (GZSL) tackles the problem of learning to classify instances involving both seen classes and unseen ones. The key issue is how to effectively transfer the model learned from seen classes to unseen classes. Existing works in GZSL usually assume that some prior information about unseen classes are available. However, such an assumption is unrealistic when new unseen classes appear dynamically. To this end, we propose a novel heterogeneous graph-based knowledge transfer method (HGKT) for GZSL, agnostic to unseen classes and instances, by leveraging graph neural network. Specifically, a structured heterogeneous graph is constructed with high-level representative nodes for seen classes, which are chosen through Wasserstein barycenter in order to simultaneously capture inter-class and intra-class relationship. The aggregation and embedding functions can be learned through graph neural network, which can be used to compute the embeddings of unseen classes by transferring the knowledge from their neighbors. Extensive experiments on public benchmark datasets show that our method achieves state-of-the-art results.


title: Three pion spectrum in the $I=3$ channel from lattice QCD

abstract: Three-body states are critical to the dynamics of many hadronic resonances. We show that lattice QCD calculations have reached a stage where these states can be accurately resolved. We perform a calculation over a wide range of parameters and find all states below inelastic threshold agree with predictions from a state-of-the-art phenomenological formalism. This also illustrates the reliability of the formalism used to connect lattice QCD results to infinite volume physics. Our calculation is performed using three positively charged pions, with different lattice geometries and quark masses.