title: Investigations on End-to-End Audiovisual Fusion

abstract: Audiovisual speech recognition (AVSR) is a method to alleviate the adverse effect of noise in the acoustic signal. Leveraging recent developments in deep neural network-based speech recognition, we present an AVSR neural network architecture which is trained end-to-end, without the need to separately model the process of decision fusion as in conventional (e.g. HMM-based) systems. The fusion system outperforms single-modality recognition under all noise conditions. Investigation of the saliency of the input features shows that the neural network automatically adapts to different noise levels in the acoustic signal.


title: Generalizing the Hypergraph Laplacian via a Diffusion Process with Mediators

abstract: In a recent breakthrough STOC~2015 paper, a continuous diffusion process was considered on hypergraphs (which has been refined in a recent JACM 2018 paper) to define a Laplacian operator, whose spectral properties satisfy the celebrated Cheeger's inequality. However, one peculiar aspect of this diffusion process is that each hyperedge directs flow only from vertices with the maximum density to those with the minimum density, while ignoring vertices having strict in-beween densities. In this work, we consider a generalized diffusion process, in which vertices in a hyperedge can act as mediators to receive flow from vertices with maximum density and deliver flow to those with minimum density. We show that the resulting Laplacian operator still has a second eigenvalue satsifying the Cheeger's inequality. Our generalized diffusion model shows that there is a family of operators whose spectral properties are related to hypergraph conductance, and provides a powerful tool to enhance the development of spectral hypergraph theory. Moreover, since every vertex can participate in the new diffusion model at every instant, this can potentially have wider practical applications.


title: Optimal Neural Network Feature Selection for Spatial-Temporal Forecasting

abstract: In this paper, we show empirical evidence on how to construct the optimal feature selection or input representation used by the input layer of a feedforward neural network for the propose of forecasting spatial-temporal signals. The approach is based on results from dynamical systems theory, namely the non-linear embedding theorems. We demonstrate it for a variety of spatial-temporal signals, with one spatial and one temporal dimensions, and show that the optimal input layer representation consists of a grid, with spatial/temporal lags determined by the minimum of the mutual information of the spatial/temporal signals and the number of points taken in space/time decided by the embedding dimension of the signal. We present evidence of this proposal by running a Monte Carlo simulation of several combinations of input layer feature designs and show that the one predicted by the non-linear embedding theorems seems to be optimal or close of optimal. In total we show evidence in four unrelated systems: a series of coupled Henon maps; a series of couple Ordinary Differential Equations (Lorenz-96) phenomenologically modelling atmospheric dynamics; the Kuramoto-Sivashinsky equation, a partial differential equation used in studies of instabilities in laminar flame fronts and finally real physical data from sunspot areas in the Sun (in latitude and time) from 1874 to 2015.


title: Competitive Training of Mixtures of Independent Deep Generative Models

abstract: A common assumption in causal modeling posits that the data is generated by a set of independent mechanisms, and algorithms should aim to recover this structure. Standard unsupervised learning, however, is often concerned with training a single model to capture the overall distribution or aspects thereof. Inspired by clustering approaches, we consider mixtures of implicit generative models that ``disentangle'' the independent generative mechanisms underlying the data. Relying on an additional set of discriminators, we propose a competitive training procedure in which the models only need to capture the portion of the data distribution from which they can produce realistic samples. As a by-product, each model is simpler and faster to train. We empirically show that our approach splits the training distribution in a sensible way and increases the quality of the generated samples.


title: Author-topic profiles for academic search

abstract: We implemented and evaluated a two-stage retrieval method for personalized academic search in which the initial search results are re-ranked using an author-topic profile. In academic search tasks, the user's own data can help optimizing the ranking of search results to match the searcher's specific individual needs. The author-topic profile consists of topic-specific terms, stored in a graph. We re-rank the top-1000 retrieved documents using ten features that represent the similarity between the document and the author-topic graph. We found that the re-ranking gives a small but significant improvement over the reproduced best method from the literature. Storing the profile as a graph has a number of advantages: it is flexible with respect to node and relation types; it is a visualization of knowledge that is interpretable by the user, and it offers the possibility to view relational characteristics of individual nodes.


title: Hyperspectral unmixing with spectral variability using adaptive bundles and double sparsity

abstract: Spectral variability is one of the major issue when conducting hyperspectral unmixing. Within a given image composed of some elementary materials (herein referred to as endmember classes), the spectral signature characterizing these classes may spatially vary due to intrinsic component fluctuations or external factors (illumination). These redundant multiple endmember spectra within each class adversely affect the performance of unmixing methods. This paper proposes a mixing model that explicitly incorporates a hierarchical structure of redundant multiple spectra representing each class. The proposed method is designed to promote sparsity on the selection of both spectra and classes within each pixel. The resulting unmixing algorithm is able to adaptively recover several bundles of endmember spectra associated with each class and robustly estimate abundances. In addition, its flexibility allows a variable number of classes to be present within each pixel of the hyperspectral image to be unmixed. The proposed method is compared with other state-of-the-art unmixing methods that incorporate sparsity using both simulated and real hyperspectral data. The results show that the proposed method can successfully determine the variable number of classes present within each class and estimate the corresponding class abundances.


title: The Geometry of the Handlebody Groups II: Dehn functions

abstract: We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function.


title: Fundamental properties of basic slc-trivial fibrations

abstract: We introduce the notion of basic slc-trivial fibrations. It is a generalization of that of Ambro's lc-trivial fibrations. Then we study fundamental properties of basic slc-trivial fibrations by using the theory of variations of mixed Hodge structure on cohomology with compact support. More precisely, we prove that the moduli part of a basic slc-trivial fibration is b-strongly nef. Note that the notion of basic slc-trivial fibrations is closely related to that of normal irreducible quasi-log canonical pairs. So the results obtained in this paper will play an important role in the theory of quasi-log schemes. Here we give a structure theorem for normal irreducible quasi-log canonical pairs as an application of the main theorem. This result makes the theory of quasi-log schemes more powerful and more flexible.


title: A Centralized Multi-stage Non-parametric Learning Algorithm for Opportunistic Spectrum Access

abstract: Owing to the ever-increasing demand in wireless spectrum, Cognitive Radio (CR) was introduced as a technique to attain high spectral efficiency. As the number of secondary users (SUs) connecting to the cognitive radio network is on the rise, there is an imminent need for centralized algorithms that provide high throughput and energy efficiency of the SUs while ensuring minimum interference to the licensed users. In this work, we propose a multi-stage algorithm that - 1) effectively assigns the available channel to the SUs, 2) employs a non-parametric learning framework to estimate the primary traffic distribution to minimize sensing, and 3) proposes an adaptive framework to ensure that the collision to the primary user is below the specified threshold. We provide comprehensive empirical validation of the method with other approaches.


title: Proof of spending in block-chain systems

abstract: We introduce proof of spending in a block-chain system. In this system the probability for a node to create a legal block is proportional to the total amount of coins it has spent in history.


title: Dark energy constraints from the 21~cm intensity mapping surveys with SKA1

abstract: Understanding the nature of dark energy is one of the most outstanding problems in cosmology at present. In last twenty years, cosmological observations related to SNIa, Cosmic Microwave Background Radiation, Baryon Acoustic Oscillations etc, have put stringent constraints on the the dark energy evolution, still there is enough uncertainty in our knowledge about dark energy that demands new generation of cosmological observations. Post-reionization neutral hydrogen 21 cm intensity mapping surveys are one of the most promising future cosmological observations that have the potential to map the cosmological evolution from dark ages till present time with unprecedented accuracy and Square Kilometer Array (SKA) is one of the most sensitive instruments to measure the post-reionization 21 cm signal. In this work, we study the future dark energy constraints using post-reionization 21 cm intensity mapping power spectra with SKA1-mid specifications. We use three different parametrizations for dark energy equation of state (EoS) including the widely used CPL one. To generate simulated data, we use to two fiducial models: the concordance $\Lambda$CDM and the best fit CPL model for Planck+SNIa+BAO+HST. Our study shows that SKA1-mid alone has the potential to reach the present accuracy for combined Planck+SNIa+BAO+HST to constrain the dark energy behaviour. Whether dark energy is phantom or non-phantom or whether it exhibits phantom crossing, we may potentially address such questions with SKA1-mid. We also show that it is crucial to choose the correct parametrization for dark energy equation of state as some parametrizations are better than others to constrain the dark energy behaviour. Specifically, as observed in this study, the widely used CPL parametrization may not give the best constraint for dark energy behaviour.


title: Quasi-log canonical pairs are Du Bois

abstract: We prove that every quasi-log canonical pair has only Du Bois singularities. Note that our arguments are free from the minimal model program.


title: Networks of Coadjoint Orbits: from Geometric to Statistical Mechanics

abstract: A class of network models with symmetry group $G$ that evolve as a Lie-Poisson system is derived from the framework of geometric mechanics, which generalises the classical Heisenberg model studied in statistical mechanics. We considered two ways of coupling the spins: one via the momentum and the other via the position and studied in details the equilibrium solutions and their corresponding nonlinear stability properties using the energy-Casimir method. We then took the example $G=SO(3)$ and saw that the momentum-coupled system reduces to the classical Heisenberg model with massive spins and the position-coupled case reduces to a new system that has a broken symmetry group $SO(3)/SO(2)$ similar to the heavy top. In the latter system, we numerically observed an interesting synchronisation-like phenomenon for a certain class of initial conditions. Adding a type of noise and dissipation that preserves the coadjoint orbit of the network model, we found that the invariant measure is given by the Gibbs measure, from which the notion of temperature is defined. We then observed a surprising `triple-humped' phase transition in the heavy top-like lattice model, where the spins switched from one equilibrium position to another before losing magnetisation as we increased the temperature. This work is only a first step towards connecting geometric mechanics with statistical mechanics and several interesting problems are open for further investigation.

categories: math-ph cond-mat.stat-mech math.MP nlin.CD


title: Sharp regularity estimates for quasilinear evolution equations

abstract: We establish sharp geometric $C^{1+\alpha}$ regularity estimates for bounded weak solutions of evolution equations of $p$-Laplacian type. Our approach is based on geometric tangential methods, and makes use of a systematic oscillation mechanism combined with an adjusted intrinsic scaling argument.


title: Fujita-type freeness for quasi-log canonical curves and surfaces

abstract: We prove Fujita-type basepoint-freeness for projective quasi-log canonical curves and surfaces.


title: Evolution of Visual Odometry Techniques

abstract: With rapid advancements in the area of mobile robotics and industrial automation, a growing need has arisen towards accurate navigation and localization of moving objects. Camera based motion estimation is one such technique which is gaining huge popularity owing to its simplicity and use of limited resources in generating motion path. In this paper, an attempt is made to introduce this topic for beginners covering different aspects of vision based motion estimation task. The evolution of VO schemes over last few decades is discussed under two broad categories, that is, geometric and non-geometric approaches. The geometric approaches are further detailed under three different classes, that is, feature-based, appearance-based, and a hybrid of feature and appearance based schemes. The non-geometric approach is one of the recent paradigm shift from conventional pose estimation technique and is thus discussed in a separate section. Towards the end, a list of different datasets for visual odometry and allied research areas are provided for a ready reference.


title: Dissociation energy of the hydrogen molecule at 10$^{-9}$ accuracy

abstract: The ionization energy of ortho-H$_2$ has been determined to be $E^\mathrm{o}_\mathrm{I}(\mathrm{H}_2)/(hc)=124\,357.238\,062(25)$ cm$^{-1}$ from measurements of the GK(1,1)--X(0,1) interval by Doppler-free two-photon spectroscopy using a narrow band 179-nm laser source and the ionization energy of the GK(1,1) state by continuous-wave near-infrared laser spectroscopy. $E^\mathrm{o}_\mathrm{I}$(H$_2$) was used to derive the dissociation energy of H$_2$, $D^{N=1}_{0}$(H$_2$), at $35\,999.582\,894(25)$ cm$^{-1}$ with a precision that is more than one order of magnitude better than all previous results. The new result challenges calculations of this quantity and represents a benchmark value for future relativistic and QED calculations of molecular energies.


title: The planar double box integral for top pair production with a closed top loop to all orders in the dimensional regularisation parameter

abstract: We compute systematically for the planar double box Feynman integral relevant to top pair production with a closed top loop the Laurent expansion in the dimensional regularisation parameter $\varepsilon$. This is done by transforming the system of differential equations for this integral and all its sub-topologies to a form linear in $\varepsilon$, where the $\varepsilon^0$-part is strictly lower triangular. This system is easily solved order by order in the dimensional regularisation parameter $\varepsilon$. This is an example of an elliptic multi-scale integral involving several elliptic sub-topologies. Our methods are applicable to similar problems.


title: Reconstruction and Local Extensions for Twisted Group Doubles, and Permutation Orbifolds

abstract: We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational conformal net. We also show that any twisted double of a solvable group is the category of modules of a completely rational vertex operator algebra. In the process of doing this, we identify the 3-cocycle twist for permutation orbifolds of holomorphic conformal nets: unexpectedly, it can be nontrivial, and depends on the value of the central charge modulo 24. In addition, we determine the branching coefficients of all possible local (conformal) extensions of any finite group orbifold of holomorphic conformal nets, and identify their modular tensor categories. All statements also apply to vertex operator algebras, provided the conjecture holds that finite group orbifolds of holomorphic VOAs are rational, with a category of modules given by a twisted group double.


title: Cross-Modal Retrieval in the Cooking Context: Learning Semantic Text-Image Embeddings

abstract: Designing powerful tools that support cooking activities has rapidly gained popularity due to the massive amounts of available data, as well as recent advances in machine learning that are capable of analyzing them. In this paper, we propose a cross-modal retrieval model aligning visual and textual data (like pictures of dishes and their recipes) in a shared representation space. We describe an effective learning scheme, capable of tackling large-scale problems, and validate it on the Recipe1M dataset containing nearly 1 million picture-recipe pairs. We show the effectiveness of our approach regarding previous state-of-the-art models and present qualitative results over computational cooking use cases.


title: FIRST: A Framework for Optimizing Information Quality in Mobile Crowdsensing Systems

abstract: Mobile crowdsensing allows data collection at a scale and pace that was once impossible. One of the biggest challenges in mobile crowdsensing is that participants may exhibit malicious or unreliable behavior. Therefore, it becomes imperative to design algorithms to accurately classify between reliable and unreliable sensing reports. To this end, we propose a novel Framework for optimizing Information Reliability in Smartphone-based participaTory sensing (FIRST), that leverages mobile trusted participants (MTPs) to securely assess the reliability of sensing reports. FIRST models and solves the challenging problem of determining before deployment the minimum number of MTPs to be used in order to achieve desired classification accuracy. We extensively evaluate FIRST through an implementation in iOS and Android of a room occupancy monitoring system, and through simulations with real-world mobility traces. Experimental results demonstrate that FIRST reduces significantly the impact of three security attacks (i.e., corruption, on/off, and collusion), by achieving a classification accuracy of almost 80% in the considered scenarios. Finally, we discuss our ongoing research efforts to test the performance of FIRST as part of the National Map Corps project.


title: Periodic solutions for a class of evolution inclusions

abstract: We consider a periodic evolution inclusion defined on an evolution triple of spaces. The inclusion involves also a subdifferential term. We prove existence theorems for both the convex and the nonconvex problem, and we also produce extremal trajectories. Moreover, we show that every solution of the convex problem can be approximated uniformly by certain extremal trajectories (strong relaxation). We illustrate our results by examining a nonlinear parabolic control system.


title: Q-Map: Clinical Concept Mining from Clinical Documents

abstract: Over the past decade, there has been a steep rise in the data-driven analysis in major areas of medicine, such as clinical decision support system, survival analysis, patient similarity analysis, image analytics etc. Most of the data in the field are well-structured and available in numerical or categorical formats which can be used for experiments directly. But on the opposite end of the spectrum, there exists a wide expanse of data that is intractable for direct analysis owing to its unstructured nature which can be found in the form of discharge summaries, clinical notes, procedural notes which are in human written narrative format and neither have any relational model nor any standard grammatical structure. An important step in the utilization of these texts for such studies is to transform and process the data to retrieve structured information from the haystack of irrelevant data using information retrieval and data mining techniques. To address this problem, the authors present Q-Map in this paper, which is a simple yet robust system that can sift through massive datasets with unregulated formats to retrieve structured information aggressively and efficiently. It is backed by an effective mining technique which is based on a string matching algorithm that is indexed on curated knowledge sources, that is both fast and configurable. The authors also briefly examine its comparative performance with MetaMap, one of the most reputed tools for medical concepts retrieval and present the advantages the former displays over the latter.


title: IncentMe: Effective Mechanism Design to Stimulate Crowdsensing Participants with Uncertain Mobility

abstract: Mobile crowdsensing harnesses the sensing power of modern smartphones to collect and analyze data beyond the scale of what was previously possible. In a mobile crowdsensing system, it is paramount to incentivize smartphone users to provide sensing services in a timely and reliable manner. Given sensed information is often valid for a limited period of time, the capability of smartphone users to execute sensing tasks largely depends on their mobility, which is often uncertain. For this reason, in this paper we propose IncentMe, a framework that solves this fundamental problem by leveraging game-theoretical reverse auction mechanism design. After demonstrating that the proposed problem is NP-hard, we derive two mechanisms that are parallelizable and achieve higher approximation ratio than existing work. IncentMe has been extensively evaluated on a road traffic monitoring application implemented using mobility traces of taxi cabs in San Francisco, Rome, and Beijing. Results demonstrate that the mechanisms in IncentMe outperform prior work by improving the efficiency in recruiting participants by 30%.


title: Oscillating red giants in eclipsing binary systems: empirical reference value for asteroseismic scaling relation

abstract: The internal structures and properties of oscillating red-giant stars can be accurately inferred through their global oscillation modes (asteroseismology). Based on 1460 days of Kepler observations we perform a thorough asteroseismic study to probe the stellar parameters and evolutionary stages of three red giants in eclipsing binary systems. We present the first detailed analysis of individual oscillation modes of the red-giant components of KIC 8410637, KIC5640750 and KIC9540226. We obtain estimates of their asteroseismic masses, radii, mean densities and logarithmic surface gravities by using the asteroseismic scaling relations as well as grid-based modelling. As these red giants are in double-lined eclipsing binaries, it is possible to derive their independent dynamical masses and radii from the orbital solution and compare it with the seismically inferred values. For KIC 5640750 we compute the first spectroscopic orbit based on both components of this system. We use high-resolution spectroscopic data and light curves of the three systems to determine up-to-date values of the dynamical stellar parameters. With our comprehensive set of stellar parameters we explore consistencies between binary analysis and asteroseismic methods, and test the reliability of the well-known scaling relations. For the three red giants under study, we find agreement between dynamical and asteroseismic stellar parameters in cases where the asteroseismic methods account for metallicity, temperature and mass dependence as well as surface effects. We are able to attain agreement from the scaling laws in all three systems if we use $\Delta\nu_{\rm ref,emp} = 130.8 \pm 0.9\,\mu$Hz instead of the usual solar reference value.


title: Collinear and TMD parton densities from fits to precision DIS measurements in the parton branching method

abstract: Collinear and transverse momentum dependent (TMD) parton densities are obtained from fits to precision measurements of deep inelastic scattering (DIS) cross sections at HERA. The parton densities are evolved by DGLAP evolution with next-to-leading-order (NLO) splitting functions using the parton branching method, allowing one to determine simultaneously collinear and TMD densities for all flavors over a wide range in $x$, $\mu^2$ and $k_t$, relevant for predictions at the LHC. The DIS cross section is computed from the parton densities using perturbative NLO coefficient functions. Parton densities satisfying angular ordering conditions are presented. Two sets of parton densities are obtained, differing in the renormalization scale choice for the argument in the strong coupling alpha_s. This is taken to be either the evolution scale $\mu$ or the transverse momentum $q_t$. While both choices yield similarly good $\chi^2$ values for the fit to DIS measurements, especially the gluon density turns out to differ between the two sets. The TMD densities are used to predict the transverse momentum spectrum of Z-bosons at the LHC.


title: Surface effects on the red giant branch

abstract: Individual mode frequencies have been detected in thousands of individual solar-like oscillators on the red giant branch (RGB). Fitting stellar models to these mode frequencies, however, is more difficult than in main-sequence stars. This is partly because of the uncertain magnitude of the surface effect: the systematic difference between observed and modelled frequencies caused by poor modelling of the near-surface layers. We aim to study the magnitude of the surface effect in RGB stars. Surface effect corrections used for main-sequence targets are potentially large enough to put the non-radial mixed modes in RGB stars out of order, which is unphysical. Unless this can be circumvented, model-fitting of evolved RGB stars is restricted to the radial modes, which reduces the number of available modes. Here, we present a method to suppress gravity modes (g-modes) in the cores of our stellar models, so that they have only pure pressure modes (p-modes). We show that the method gives unbiased results and apply it to three RGB solar-like oscillators in double-lined eclipsing binaries: KIC 8410637, KIC 9540226 and KIC 5640750. In all three stars, the surface effect decreases the model frequencies consistently by about 0.1--0.3 $\mu$Hz at the frequency of maximum oscillation power $\nu_\mathrm{max}$, which agrees with existing predictions from three-dimensional radiation hydrodynamics simulations. Though our method in essence discards information about the stellar cores, it provides a useful step forward in understanding the surface effect in RGB stars.


title: On the Stability of Gradient Based Turbulent Flow Control without Regularization

abstract: In this paper, we discuss selected adjoint approaches for the turbulent flow control. In particular, we focus on the application of adjoint solvers for the scope of noise reduction, in which flow solutions are obtained by large eddy and direct numerical simulations. Optimization results obtained with round and plane jet configurations are presented. The results indicate that using large control horizons poses a serious problem for the control of turbulent flows due to existence of very large sensitivity values with respect to control parameters. Typically these sensitivities grow in time and lead to arithmetic overflow in the computations. This phenomena is illustrated by a sensitivity study performed with an exact tangent-linear solver obtained by algorithmic differentiation techniques.


title: Unique Determination of Sound Speeds for Coupled Systems of Semi-linear Wave Equations

abstract: We consider coupled systems of semi-linear wave equations with different sound speeds on a finite time interval $[0,T]$ and a bounded Lipschitz domain $\Omega$ in $\mathbb{R}^3$, with boundary $\partial\Omega$. We show the coupled systems are well posed for variable coefficient sounds speeds and short times. Under the assumption of small initial data, we prove the source to solutions map on $[0,T]\times\partial\Omega$ associated with the nonlinear problem is sufficient to determine the source-to-solution map for the linear problem. We can then reconstruct the sound speeds in $\Omega$ for the coupled nonlinear wave equations under certain geometric assumptions. In the case of the full source to solution map in $\Omega\times[0,T]$ this reconstruction could also be accomplished under fewer geometric assumptions.


title: Determining the interspecies interaction strength of a two-species Bose-Einstein condensate from the density profile of one species

abstract: We study harmonically trapped two-species Bose-Einstein condensates within the Gross-Pitaevskii formalism. By invoking the Thomas-Fermi approximation, we derive an analytical solution for the miscible ground state in a particular region of the system's parameter space. This solution furnishes a simple formula for determining the relative strength of the interspecies interaction from a measurement of the density distribution of only one of the two species. Accompanying numerical simulations confirm its accuracy for sufficiently large numbers of condensed particles. The introduced formula provides a condensate-based scheme that complements the typical experimental methods of evaluating interspecies scattering lengths from collisional measurements on thermal samples.


title: Fast sampling of parameterised Gaussian random fields

abstract: Gaussian random fields are popular models for spatially varying uncertainties, arising for instance in geotechnical engineering, hydrology or image processing. A Gaussian random field is fully characterised by its mean function and covariance operator. In more complex models these can also be partially unknown. In this case we need to handle a family of Gaussian random fields indexed with hyperparameters. Sampling for a fixed configuration of hyperparameters is already very expensive due to the nonlocal nature of many classical covariance operators. Sampling from multiple configurations increases the total computational cost severely. In this report we employ parameterised Karhunen-Lo\`eve expansions for sampling. To reduce the cost we construct a reduced basis surrogate built from snapshots of Karhunen-Lo\`eve eigenvectors. In particular, we consider Mat\'ern-type covariance operators with unknown correlation length and standard deviation. We suggest a linearisation of the covariance function and describe the associated online-offline decomposition. In numerical experiments we investigate the approximation error of the reduced eigenpairs. As an application we consider forward uncertainty propagation and Bayesian inversion with an elliptic partial differential equation where the logarithm of the diffusion coefficient is a parameterised Gaussian random field. In the Bayesian inverse problem we employ Markov chain Monte Carlo on the reduced space to generate samples from the posterior measure. All numerical experiments are conducted in 2D physical space, with non-separable covariance operators, and finite element grids with $\sim 10^4$ degrees of freedom.


title: Corrigendum to N\'eron models, Lie algebras, and reduction of curves of genus one [LLR1] and The Brauer group of a surface [LLR2]

abstract: Let X be a proper smooth and connected surface over a finite field. We proved in [LLR2] that the order of the Brauer group Br(X) of X is a perfect square if it is finite. Our proof is based in part on a result of Gordon [Gor], which we used in [LLR1] to establish a key formula. Thomas Geisser noted that the formula in [LLR1] is incorrect, due to an omission in [Gor], and provides a corrected formula. We explain in this corrigendum how to modify the work of Gordon to establish a correct formula. The corrected formula can be used to prove the result in [LLR2] without further modifications.


title: Learning Explicit Deep Representations from Deep Kernel Networks

abstract: Deep kernel learning aims at designing nonlinear combinations of multiple standard elementary kernels by training deep networks. This scheme has proven to be effective, but intractable when handling large-scale datasets especially when the depth of the trained networks increases; indeed, the complexity of evaluating these networks scales quadratically w.r.t. the size of training data and linearly w.r.t. the depth of the trained networks. In this paper, we address the issue of efficient computation in Deep Kernel Networks (DKNs) by designing effective maps in the underlying Reproducing Kernel Hilbert Spaces. Given a pretrained DKN, our method builds its associated Deep Map Network (DMN) whose inner product approximates the original network while being far more efficient. The design principle of our method is greedy and achieved layer-wise, by finding maps that approximate DKNs at different (input, intermediate and output) layers. This design also considers an extra fine-tuning step based on unsupervised learning, that further enhances the generalization ability of the trained DMNs. When plugged into SVMs, these DMNs turn out to be as accurate as the underlying DKNs while being at least an order of magnitude faster on large-scale datasets, as shown through extensive experiments on the challenging ImageCLEF and COREL5k benchmarks.


title: Local bosonization of massive fermions in three spatial dimensions with rotation invariance

abstract: In relativistic quantum field theory particles of half-integer spin must obey Fermi-Dirac statistics. Their quantum operators must anticommute at spacelike separation in contrast to commuting physical observables. We show that Fermi-Dirac spin $1/2$ operators can be emergent in a fully commuting field theory forming directed strings and loops of spin 0 and 1 constituents, reproducing massive Dirac dynamics with background fields. Such underlying description may violate relativistic invariance but there are no manifest interactions at a distance and rotation symmetry remains preserved. We show that under some constraints on the model there exists a well-defined ground state -- Fermi sea that it is stable -- fermions cannot convert to bosons.


title: Vector mesons as dynamical resonances in the Bethe-Salpeter framework

abstract: We present the first dynamical calculation of the $\rho$-meson as a resonance in the Dyson-Schwinger/Bethe-Salpeter framework by including explicit two-pion exchange in addition to the t-channel one-gluon exchange of rainbow-ladder in the interaction kernel. The width is determined from the imaginary part of the resonance pole and is generated by the singularity structure of the integrand, treated by means of suitable path deformations. We find the resonant mass and width to be $640$ MeV and $100$ MeV respectively, corresponding to a coupling constant $g_{\rho\pi\pi}=5.7$; repulsive corrections beyond rainbow-ladder are known to bring these in alignment with experiment. Furthermore we present the dependence of these parameters on the pion mass and compare with results from lattice QCD.


title: Constraint Answer Set Programming without Grounding

abstract: Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several methods to overcome this issue have been devised: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets. The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets. s(CASP) inherits and generalizes the execution model of s(ASP) and is parametric w.r.t. the constraint solver. We describe this novel execution model and show through several examples the enhanced expressiveness of s(CASP) w.r.t. ASP, CLP, and other CASP systems. We also report improved performance w.r.t. other very mature, highly optimized ASP systems in some benchmarks. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP).


title: Three Hypervelocity White Dwarfs in Gaia DR2: Evidence for Dynamically Driven Double-Degenerate Double-Detonation Type Ia Supernovae

abstract: Double detonations in double white dwarf (WD) binaries undergoing unstable mass transfer have emerged in recent years as one of the most promising Type Ia supernova (SN Ia) progenitor scenarios. One potential outcome of this "dynamically driven double-degenerate double-detonation" (D^6) scenario is that the companion WD survives the explosion and is flung away with a velocity equal to its > 1000 km/s pre-SN orbital velocity. We perform a search for these hypervelocity runaway WDs using Gaia's second data release. In this paper, we discuss seven candidates followed up with ground-based instruments. Three sources are likely to be some of the fastest known stars in the Milky Way, with total Galactocentric velocities between 1000 and 3000 km/s, and are consistent with having previously been companion WDs in pre-SN Ia systems. However, although the radial velocity of one of the stars is > 1000 km/s, the radial velocities of the other two stars are puzzlingly consistent with 0. The combined five-parameter astrometric solutions from Gaia and radial velocities from follow-up spectra yield tentative 6D confirmation of the D^6 scenario. The past position of one of these stars places it within a faint, old SN remnant, further strengthening the interpretation of these candidates as hypervelocity runaways from binary systems that underwent SNe Ia.


title: Complexity of distances: Theory of generalized analytic equivalence relations

abstract: We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov-Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and from both below and above. Then we show that $E_1$ is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben-Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov-Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided.


title: Affine vs. Euclidean isoperimetric inequalities

abstract: It is shown that every even, zonal measure on the Euclidean unit sphere gives rise to an isoperimetric inequality for sets of finite perimeter which directly implies the classical Euclidean isoperimetric inequality. The strongest member of this large family of inequalities is shown to be the only affine invariant one among them - the Petty projection inequality. As an application, a family of sharp Sobolev inequalities for functions of bounded variation is obtained, each of which is stronger than the classical Sobolev inequality. Moreover, corresponding families of Lp isoperimetric and Sobolev type inequalities are also established.


title: An Unusual Transient in the Extremely Metal-Poor Galaxy SDSS J094332.35+332657.6 (Leoncino Dwarf)

abstract: We have serendipitously discovered that Leoncino Dwarf, an ultra-faint, low-metallicity record-holder dwarf galaxy, may have hosted a transient source, and possibly exhibited a change in morphology, a shift in the center of brightness, and peak variability of the main (host) source in images taken approximately 40 yr apart; it is highly likely that these phenomena are related. Scenarios involving a Solar System object, a stellar cluster, dust enshrouding, and accretion variability have been considered, and discarded, as the origin of the transient. Although a combination of time-varying strong and weak lensing effects, induced by an intermediate mass black hole (10$^4$ - 5 $\times$ 10$^{5}$ M$_{\odot}$) moving within the Milky Way halo (0.1 -- 4 kpc), can conceivably explain all of the observed variable galaxy properties, it is statistically highly unlikely according to current theoretical predictions, and, therefore, also discarded. A cataclysmic event such as a supernova/hypernova could have occurred, as long as the event was observed towards the later/late-stage descent of the light curve, but this scenario fails to explain the absence of a post-explosion source and/or host HII region in recent optical images. An episode related to the giant eruption of a luminous blue variable star, a stellar merger or a nova, observed at, or near, peak magnitude may explain the transient source and possibly the change in morphology/center of brightness, but can not justify the main source peak variability, unless stellar variability is evoked.


title: The L^p-to-L^q boundedness of commutators with applications to the Jacobian operator

abstract: Supplying the missing necessary conditions, we complete the characterisation of the $L^p\to L^q$ boundedness of commutators $[b,T]$ of pointwise multiplication and Calder\'on-Zygmund operators, for arbitrary pairs of $1<p,q<\infty$ and under minimal non-degeneracy hypotheses on $T$. For $p\leq q$ (and especially $p=q$), this extends a long line of results under more restrictive assumptions on $T$. In particular, we answer a recent question of Lerner, Ombrosi, and Rivera-R\'ios by showing that $b\in BMO$ is necessary for the $L^p$-boundedness of $[b,T]$ for any non-zero homogeneous singular integral $T$. We also deal with iterated commutators and weighted spaces. For $p>q$, our results are new even for special classical operators with smooth kernels. As an application, we show that every $f\in L^p(R^d)$ can be represented as a convergent series of normalised Jacobians $Ju=\det\nabla u$ of $u\in \dot W^{1,dp}(R^d)^d$. This extends, from $p=1$ to $p>1$, a result of Coifman, Lions, Meyer and Semmes about $J:\dot W^{1,d}(R^d)^d\to H^1(R^d)$, and supports a conjecture of Iwaniec about the solvability of the equation $Ju=f\in L^p(R^d)$.


title: Climate, weather, space weather: model development in an operational context

abstract: Aspects of operational modeling for climate, weather, and space weather forecasts are contrasted, with a particular focus on the somewhat conflicting demands of 'operational stability' versus 'dynamic development' of the involved models. Some common key elements are identified, indicating potential for fruitful exchange across communities. Operational model development is compelling, driven by factors that broadly fall into four categories: model skill, basic physics, advances in computer architecture, and new aspects to be covered, from costumer needs over physics to observational data. Evaluation of model skill as part of the operational chain goes beyond an automated skill score. Permanent interaction between 'pure research' and 'operational forecast' people is beneficial to both sides. This includes joint model development projects, although ultimate responsibility for the operational code remains with the forecast provider. The pace of model development reflects operational lead times. The points are illustrated with selected examples, many of which reflect the author's background and personal contacts, notably with the Swiss Weather Service and the Max Planck Institute for Meteorology, Hamburg, Germany. In view of current and future challenges, large collaborations covering a range of expertise are a must - within and across climate, weather, and space weather. To profit from and cope with the rapid progress of computer architectures, supercompute centers must form part of the team.


title: The biharmonic homotopy problem for unit vector fields on 2-tori

abstract: The bienergy of smooth maps between Riemannian manifolds, when restricted to unit vector fields, yields two different variational problems depending on whether one takes the full functional or just the vertical contribution. Their critical points, called biharmonic unit vector fields and biharmonic unit sections, form different sets. Working with surfaces, we first obtain general characterizations of biharmonic unit vector fields and biharmonic unit sections under conformal change of the metric. In the case of a 2-dimensional torus, this leads to a proof that biharmonic unit sections are always harmonic and a general existence theorem, in each homotopy class, for biharmonic unit vector fields.


title: No stable wormholes in Einstein-dilaton-Gauss-Bonnet theory

abstract: In [P. Kanti, B. Kleihaus, J. Kunz, Phys. Rev. Lett. 107, 271101 (2011)] it was shown that the four-dimensional Einstein-dilaton-Gauss-Bonnet theory allows for wormholes without introducing any exotic matter. The numerical solution for the wormhole was obtained there and it was claimed that this solution is gravitationally stable against radial perturbations, what, by now, would mean the only known theoretical possibility for existence of an apparently stable, four-dimensional and asymptotically flat wormhole without exotic matter. Here, more detailed analysis of perturbations shows that the Kanti-Kleihaus-Kunz wormhole is unstable against small perturbations for any values of its parameters. The exponential growth appears in the time domain after a long period of damped oscillations, in the same way as it takes place in the case of unstable higher-dimensional black holes in the Einstein-Gauss-Bonnet theory. The instability is driven by the purely imaginary mode, which is nonperturbative in the Gauss-Bonnet coupling$\alpha$.


title: Meixner $d$-Orthogonal Polynomials Arising from $\mathfrak{su}(1,1)$

abstract: In this study, we present a novel family of Meixner-type $d$-orthogonal polynomials, which are distinguished as a particular subset of multiple orthogonal polynomials. We demonstrate their connection to the Lie algebra $\mathfrak{su}(1,1)$ by identifying them as matrix elements of an appropriately defined nonlinear operator. Utilizing Barut-Girardello coherent states, we explicitly outline their key features, including recurrence relations, generating functions, and $d$-orthogonality relations, among others.


title: $q$-analogs of group divisible designs

abstract: A well known class of objects in combinatorial design theory are {group divisible designs}. Here, we introduce the $q$-analogs of group divisible designs. It turns out that there are interesting connections to scattered subspaces, $q$-Steiner systems, design packings and $q^r$-divisible projective sets. We give necessary conditions for the existence of $q$-analogs of group divsible designs, construct an infinite series of examples, and provide further existence results with the help of a computer search. One example is a $(6,3,2,2)_2$ group divisible design over $\operatorname{GF}(2)$ which is a design packing consisting of $180$ blocks that such every $2$-dimensional subspace in $\operatorname{GF}(2)^6$ is covered at most twice.


title: Hierarchical quantum master equation approach to charge transport in molecular junctions with time-dependent molecule-lead coupling strengths

abstract: Time-dependent currents in molecular junctions can be caused by structural fluctuations or interaction with external fields. In this publication, we demonstrate how the hierarchical quantum master equation approach can be used to study time-dependent transport in a molecular junction. This reduced density matrix methodology provides a numerically exact solution to the transport problem including time-dependent energy levels, molecule-lead coupling strengths and transitions between electronic states of the molecular bridge. Based on a representative model, the influence of a time-dependent molecule-lead coupling on the electronic current is analyzed in some detail.


title: Reducing Noise for PIC Simulations Using Kernel Density Estimation Algorithm

abstract: Noise is a major concern for Particle-In-Cell (PIC) simulations. We propose a new theoretical and algorithmic framework to evaluate and reduce the noise level for PIC simulations based on the Kernel Density Estimation (KDE) theory, which has been widely adopted in machine learning and big data science. According to this framework, the error on particle density estimation for PIC simulations can be characterized by the Mean Integrated Square Error (MISE), which consists of two parts, systematic error and noise. A careful analysis shows that in the standard PIC methods noise is the dominate error, and the noise level can be reduced if we select different shape functions that are capable of balancing the systematic error and the noise. To improve performance, we use the von Mises distribution as the shape function and seek an optimal particle width that minimizes the MISE, represented by a Cross-Validation (CV) function. This procedure significantly reduces both the noise and the MISE for PIC simulations. A particle-wise width adjustment algorithm and a width update algorithm are further developed to reduce the MISE. Simulations using the examples of Langmuir wave and Landau Damping demonstrate that the KDE algorithm developed in the present study reduces the noise level on density estimation by 98%, and gives a much more accurate result on the linear damping rate compared to the standard PIC methods. Meanwhile, it is computational efficient that can save 40% time to achieve the same accuracy.


title: Counting Subwords and Regular Languages

abstract: Let $x$ and $y$ be words. We consider the languages whose words $z$ are those for which the numbers of occurrences of $x$ and $y$, as subwords of $z$, are the same (resp., the number of $x$'s is less than the number of $y$'s, resp., is less than or equal). We give a necessary and sufficient condition on $x$ and $y$ for these languages to be regular, and we show how to check this condition efficiently.


title: A Comparative Analysis of the Cobb-Douglas Habitability Score (CDHS) with the Earth Similarity Index (ESI)

abstract: We present an analytical comparison of the Cobb-Douglas Habitability Production Function (CD-HPF) and the Earth Similarity Index (ESI). The key differences between the ESI and CD-HPF are highlighted and based on mathematical analysis, we show that the CD-HPF satisfies the conditions for model scalability and stability but the ESI does not. Using visualizations, we also demonstrate that there do not exist any causal relationships between the ESI and CD-HPF. The conclusion from the work done is that the CD-HPF and ESI do not share any sensible relationship and that both should be used independently.


title: From Social to Individuals: a Parsimonious Path of Multi-level Models for Crowdsourced Preference Aggregation

abstract: In crowdsourced preference aggregation, it is often assumed that all the annotators are subject to a common preference or social utility function which generates their comparison behaviors in experiments. However, in reality annotators are subject to variations due to multi-criteria, abnormal, or a mixture of such behaviors. In this paper, we propose a parsimonious mixed-effects model, which takes into account both the fixed effect that the majority of annotators follows a common linear utility model, and the random effect that some annotators might deviate from the common significantly and exhibit strongly personalized preferences. The key algorithm in this paper establishes a dynamic path from the social utility to individual variations, with different levels of sparsity on personalization. The algorithm is based on the Linearized Bregman Iterations, which leads to easy parallel implementations to meet the need of large-scale data analysis. In this unified framework, three kinds of random utility models are presented, including the basic linear model with L2 loss, Bradley-Terry model, and Thurstone-Mosteller model. The validity of these multi-level models are supported by experiments with both simulated and real-world datasets, which shows that the parsimonious multi-level models exhibit improvements in both interpretability and predictive precision compared with traditional HodgeRank.


title: Marbles and Bottles-or Boxes illustrate Irreversibility and Recurrence

abstract: Imaginary assemblies of intercommunicating bottles-or boxes, in which marbles circulate performing random walks, can help modeling (and hence understanding) slow and long-lasting diffusion processes and enable easy evaluations of typical times involved in their dynamics. Compared to the more traditional approaches to explaining diffusion inspired by the Ehrenfest's urn problem, these simple random walk models offer a more straightforward way to illustrate irreversibility/recurrence issues.


title: Internal process: what is abstraction and distortion process?

abstract: Geometri is one of branch of the branch of mathematics that plays a major role in the development of science and technology. Thus, knowing the geometry concept is needed for students from their early basic level of thinking. A preliminary study showed that the elementary students have difficulty in perceiving parallelogram shape in a 2-dimension of a cube drawing as a square shape. This difficulty makes the students can not solve geometrical problems correctly. This problem is related to the internal thinking process in geometry. We conducted the exploration of students internal thinking processes in geometry particularly in distinguishing the square and parallelogram shape. How the students process their internal thinking through distortion and abstraction is the main aim of this study. Analysis of geometrical test and deep interview are used in this study to obtain the data, The result of this study is there are two types of distortion and abstraction respectively in which the student used in their internal thinking processes.


title: Magnetoelastic phenomena in antiferromagnetic uranium intermetallics: the $\mathrm{UAu_{2}Si_{2}}$ case

abstract: Thermal expansion, magnetostriction and magnetization measurements under magnetic field and hydrostatic pressure were performed on a $\mathrm{UAu_{2}Si_{2}}$ single crystal. They revealed a large anisotropy of magnetoelastic properties manifested by prominent length changes leading to a collapse of the unit-cell volume accompanied by breaking the fourfold symmetry (similar to that in $\mathrm{URu_{2}Si_{2}}$ in the hidden-order state) in the antiferromagnetic state as consequences of strong magnetoelastic coupling. The magnetostriction curves measured at higher temperatures confirm a bulk character of the 50 K weak ferromagnetic phase. The large positive pressure change of the ordering temperature predicted from Ehrenfest relation contradicts the more than an order of magnitude smaller pressure dependence observed by the magnetization and specific heat measured under hydrostatic pressure. A comprehensive magnetic phase diagram of $\mathrm{UAu_{2}Si_{2}}$ in magnetic field applied along the $c$ axis is presented. The ground-state antiferromagnetic phase is suppressed by a field-induced metamagnetic transition that changes its character from the second to the first order at the tricritical point.


title: The clustered Sparrow algorithm

abstract: In this paper, we study an extension of Schoning's algorithm [Schoning, 1991] for 3SAT, the clustered Sparrow algorithm We also present strong arguments that this algorithm is polynomial.


title: Sketch-a-Classifier: Sketch-based Photo Classifier Generation

abstract: Contemporary deep learning techniques have made image recognition a reasonably reliable technology. However training effective photo classifiers typically takes numerous examples which limits image recognition's scalability and applicability to scenarios where images may not be available. This has motivated investigation into zero-shot learning, which addresses the issue via knowledge transfer from other modalities such as text. In this paper we investigate an alternative approach of synthesizing image classifiers: almost directly from a user's imagination, via free-hand sketch. This approach doesn't require the category to be nameable or describable via attributes as per zero-shot learning. We achieve this via training a {model regression} network to map from {free-hand sketch} space to the space of photo classifiers. It turns out that this mapping can be learned in a category-agnostic way, allowing photo classifiers for new categories to be synthesized by user with no need for annotated training photos. {We also demonstrate that this modality of classifier generation can also be used to enhance the granularity of an existing photo classifier, or as a complement to name-based zero-shot learning.


title: Optical and Microcavity Modes Entanglement by means of Developed Opto-Mechanical System

abstract: To improve the performance of the traditional tripartite opto-mechanical system, we design a developed opto-mechanical tripartite system in which all subsystems such as an optical cavity, microresonator, and microcavity modes are coupled directly to each other. This system is analyzed quantum mechanically, and its dynamics of motion is studied by the Heisenberg-Langevin equations. Notably, the originality of this work contributes to embedding the spherical capacitor in the optical cavity where the plasmon-plasmon interaction between capacitor plates manipulates the internal electric field. Therefore, using plasmon-plasmon interaction inside the spherical capacitor, which leads to nonlinearity, causes the contributed polarization function of the plasmonic property. Actually, this plasmonic property manages the spherical capacitance. Although the spherical capacitor is fundamentally dependent on the plasmonic properties caused by the capacitor gap, the spherical capacitor for a design is required to be parallel to the microwave capacitor. The system developed in the present work proved that the stability of the entanglement between optical cavity and microcavity modes toward the temperature changing is dramatically increased; which is the original goal of this study. It is worth mentioning that the environment noise severely restricted the traditional tripartite system operated with a wide bandwidth, hence the present design can efficiently fix this issue.


title: Seismocardiographic Signal Timing with Myocardial Strain

abstract: Speckle Tracking Echocardiography (STE) is a relatively new method for cardiac function evaluation. In the current study, STE was used to investigate the timing of heart-induced mostly subaudible (i.e., below the frequency limit of human hearing) chest-wall vibrations in relation to the longitudinal myocardial strain. Such an approach may help elucidate the genesis of these vibrations, thereby improving their diagnostic value.


title: Steady-state input calculation for achieving a desired steady-state output of a linear systems

abstract: In this note we provide an algorithm for the computation of the steady-state input able to achieve the steady-state output tracking of any desired output signal representable as a rational transfer function.


title: Four Last Conjectures

abstract: I collect here some ideas on four topics which have not gained much acceptance in the community. Hence, i call them conjectures. The first three of these are in my area of expertise, and I personally consider them to be verified, if by evidence some others might find less than convincing. On the the fourth I do not claim expert knowledge but it has not been refuted in any way that I understand. The first is the proposition that the ground state of a solid made up of simple bosons is phase coherent and sustains overlap currents. The second proposes that the cuprate superconductors upper phase transition is into an Ong vortex liquid phase which quantizes flux and consequently exhibits a characteristic singular, nonlinear diamagnetic behavior. The third proposes that the metallic phase of the doped Mott insulator, if it has a Fermi surface, has deep entanglement and an orthogonality catastrophe causing a Fermi surface singularity. This manifests itself as the strange metal of the cuprate phase diagram. The fourth conjecture is that the dark energy in cosmology models is the consequence at least in part of gravitational radiation carrying energy past us.


title: The idemetric property: when most distances are (almost) the same

abstract: We introduce the \emph{idemetric} property, which formalises the idea that most nodes in a graph have similar distances between them, and which turns out to be quite standard amongst small-world network models. Modulo reasonable sparsity assumptions, we are then able to show that a strong form of idemetricity is actually equivalent to a very weak expander condition (PUMP). This provides a direct way of providing short proofs that small-world network models such as the Watts-Strogatz model are strongly idemetric (for a wide range of parameters), and also provides further evidence that being idemetric is a common property. We then consider how satisfaction of the idemetric property is relevant to algorithm design. For idemetric graphs we observe, for example, that a single breadth-first search provides a solution to the all-pairs shortest paths problem, so long as one is prepared to accept paths which are of stretch close to 2 with high probability. Since we are able to show that Kleinberg's model is idemetric, these results contrast nicely with the well known negative results of Kleinberg concerning efficient decentralised algorithms for finding short paths: for precisely the same model as Kleinberg's negative results hold, we are able to show that very efficient (and decentralised) algorithms exist if one allows for reasonable preprocessing. For deterministic distributed routing algorithms we are also able to obtain results proving that less routing information is required for idemetric graphs than the worst case in order to achieve stretch less than 3 with high probability: while $\Omega(n^2)$ routing information is required in the worst case for stretch strictly less than 3 on almost all pairs, for idemetric graphs the total routing information required is $O(nlog(n))$.


title: Can recurrent neural networks warp time?

abstract: Successful recurrent models such as long short-term memories (LSTMs) and gated recurrent units (GRUs) use ad hoc gating mechanisms. Empirically these models have been found to improve the learning of medium to long term temporal dependencies and to help with vanishing gradient issues. We prove that learnable gates in a recurrent model formally provide quasi- invariance to general time transformations in the input data. We recover part of the LSTM architecture from a simple axiomatic approach. This result leads to a new way of initializing gate biases in LSTMs and GRUs. Ex- perimentally, this new chrono initialization is shown to greatly improve learning of long term dependencies, with minimal implementation effort.


title: Magic squares with empty cells

abstract: A k-magic square of order n is an arrangement of the numbers from 0 to kn-1 in an n by n matrix, such that each row and each column has exactly k filled cells, each number occurs exactly once, and the sum of the entries of any row or any column is the same. A magic square is called k-diagonal if its entries all belong to k consecutive diagonals. In this paper we prove that a k-diagonal magic square exists if and only if n = k = 1 or 3 <= k <=n and n is odd or k is even.


title: A two-parameter family of double-power-law biorthonormal potential-density expansions

abstract: Biorthonormal basis function expansions are widely used in galactic dynamics, both to study problems in galactic stability and to provide numerical algorithms to evolve collisionless stellar systems. They also provide a compact and efficient description of the structure of numerical dark matter haloes in cosmological simulations. We present a two-parameter family of biorthonormal double-power-law potential-density expansions. Both the potential and density are given in closed analytic form and may be rapidly computed via recurrence relations. We show that this family encompasses all the known analytic biorthonormal expansions: the Zhao expansions (themselves generalizations of ones found earlier by Hernquist & Ostriker and by Clutton-Brock) and the recently discovered Lilley, Sanders, Evans & Erkal expansion. Our new two-parameter family includes expansions based around many familiar spherical density profiles as zeroth-order models, including the $\gamma$ models and the Jaffe model. It also contains a basis expansion that reproduces the famous Navarro-Frenk-White (NFW) profile at zeroth order. The new basis expansions have been found via a systematic methodology which has wide applications in finding further examples. In the process, we also uncovered a novel integral transform solution to Poisson's equation.


title: How convolutional neural network see the world - A survey of convolutional neural network visualization methods

abstract: Nowadays, the Convolutional Neural Networks (CNNs) have achieved impressive performance on many computer vision related tasks, such as object detection, image recognition, image retrieval, etc. These achievements benefit from the CNNs outstanding capability to learn the input features with deep layers of neuron structures and iterative training process. However, these learned features are hard to identify and interpret from a human vision perspective, causing a lack of understanding of the CNNs internal working mechanism. To improve the CNN interpretability, the CNN visualization is well utilized as a qualitative analysis method, which translates the internal features into visually perceptible patterns. And many CNN visualization works have been proposed in the literature to interpret the CNN in perspectives of network structure, operation, and semantic concept. In this paper, we expect to provide a comprehensive survey of several representative CNN visualization methods, including Activation Maximization, Network Inversion, Deconvolutional Neural Networks (DeconvNet), and Network Dissection based visualization. These methods are presented in terms of motivations, algorithms, and experiment results. Based on these visualization methods, we also discuss their practical applications to demonstrate the significance of the CNN interpretability in areas of network design, optimization, security enhancement, etc.


title: Explainable Recommendation: A Survey and New Perspectives

abstract: Explainable recommendation attempts to develop models that generate not only high-quality recommendations but also intuitive explanations. The explanations may either be post-hoc or directly come from an explainable model (also called interpretable or transparent model in some contexts). Explainable recommendation tries to address the problem of why: by providing explanations to users or system designers, it helps humans to understand why certain items are recommended by the algorithm, where the human can either be users or system designers. Explainable recommendation helps to improve the transparency, persuasiveness, effectiveness, trustworthiness, and satisfaction of recommendation systems. It also facilitates system designers for better system debugging. In recent years, a large number of explainable recommendation approaches -- especially model-based methods -- have been proposed and applied in real-world systems. In this survey, we provide a comprehensive review for the explainable recommendation research. We first highlight the position of explainable recommendation in recommender system research by categorizing recommendation problems into the 5W, i.e., what, when, who, where, and why. We then conduct a comprehensive survey of explainable recommendation on three perspectives: 1) We provide a chronological research timeline of explainable recommendation. 2) We provide a two-dimensional taxonomy to classify existing explainable recommendation research. 3) We summarize how explainable recommendation applies to different recommendation tasks. We also devote a chapter to discuss the explanation perspectives in broader IR and AI/ML research. We end the survey by discussing potential future directions to promote the explainable recommendation research area and beyond.


title: The Chern-Simons Current in Time Series of Knots and Links in Proteins

abstract: A superspace model of knots and links for DNA time series data is proposed to take into account the feedback loop from docking to undocking state of protein-protein interactions. In particular, the direction of interactions between the 8 hidden states of DNA is considered. It is a $E_{8}\times E_{8}$ unified spin model where the genotype, from active and inactive side of DNA time data series, can be considered for any living organism. The mathematical model is borrowed from loop-quantum gravity and adapted to biology. It is used to derive equations for gene expression describing transitions from ground to excited states, and for the 8 coupling states between geneon and anti-geneon transposon and retrotransposon in trash DNA. Specifically, we adopt a modified Grothendieck cohomology and a modified Khovanov cohomology for biology. The result is a Chern-Simons current in $(8+3)$ extradimensions of a given unoriented super manifold with ghost fields of protein structures. The $8$ dimensions come from the 8 hidden states of spinor field of genetic code. The extradimensions come from the 3 types of principle fiber bundle in the secondary protein.


title: A Context for Paris-Harrington Combinatorial Principle

abstract: A historical review of the problem of incompleteness in Mathematics since the 20th century is made. The Combinatorial Principle of Paris-Harrington is studied and the way in which it can be codified in the language of Arithmetic.


title: Revealing patterns in HIV viral load data and classifying patients via a novel machine learning cluster summarization method

abstract: HIV RNA viral load (VL) is an important outcome variable in studies of HIV infected persons. There exists only a handful of methods which classify patients by viral load patterns. Most methods place limits on the use of viral load measurements, are often specific to a particular study design, and do not account for complex, temporal variation. To address this issue, we propose a set of four unambiguous computable characteristics (features) of time-varying HIV viral load patterns, along with a novel centroid-based classification algorithm, which we use to classify a population of 1,576 HIV positive clinic patients into one of five different viral load patterns (clusters) often found in the literature: durably suppressed viral load (DSVL), sustained low viral load (SLVL), sustained high viral load (SHVL), high viral load suppression (HVLS), and rebounding viral load (RVL). The centroid algorithm summarizes these clusters in terms of their centroids and radii. We show that this allows new viral load patterns to be assigned pattern membership based on the distance from the centroid relative to its radius, which we term radial normalization classification. This method has the benefit of providing an objective and quantitative method to assign viral load pattern membership with a concise and interpretable model that aids clinical decision making. This method also facilitates meta-analyses by providing computably distinct HIV categories. Finally we propose that this novel centroid algorithm could also be useful in the areas of cluster comparison for outcomes research and data reduction in machine learning.


title: A Feature Selection Method Based on Shapley Value to False Alarm Reduction in ICUs, A Genetic-Algorithm Approach

abstract: High false alarm rate in intensive care units (ICUs) has been identified as one of the most critical medical challenges in recent years. This often results in overwhelming the clinical staff by numerous false or unurgent alarms and decreasing the quality of care through enhancing the probability of missing true alarms as well as causing delirium, stress, sleep deprivation and depressed immune systems for patients. One major cause of false alarms in clinical practice is that the collected signals from different devices are processed individually to trigger an alarm, while there exists a considerable chance that the signal collected from one device is corrupted by noise or motion artifacts. In this paper, we propose a low-computational complexity yet accurate game-theoretic feature selection method which is based on a genetic algorithm that identifies the most informative biomarkers across the signals collected from various monitoring devices and can considerably reduce the rate of false alarms.


title: Communication of Prospective Teachers with Students in Mathematics Learning at Senior High School (SMA)

abstract: This study aims to describe the communication of prospective teachers in learning mathematics. The research was conducted in SMAN 1 Madura. The subject of this research is PLP student from Mathematics Education Study Program of Madura University. The prospective teacher's math learning is using the concept of function limits and the derivative of functions in problem solving (Calculus). This research is descriptive qualitative research. Instruments in the study were interviews, field notes, and video recordings. The knowledge of prospective mathematics teacher in field practice involves communication in factual,conceptual, procedural, and metacognitive knowledge in facts, concepts, principles, procedures, and reasoning. Teacher communication plays a role in learning mathematics, especially the ability to use formulas, rules, and methods simultaneously correctly to make accurate calculations. Prospective teachers are able to provide guidance to their students when implementing mathematics lessons and when working on the blackboard, directing discussions and frequently asked questions, using language appropriate to the level of students ' understanding so that the symbols, procedures, and strategies described can be well understood by the students. Keywords: Communication, Prospective teachers, and Mathematics learning .


title: On Chaplygin Gas Braneworld Inflation with Monomial Potential

abstract: In this paper we study the Chaplygin gas model as a candidate for inflation in the framework of the Randall Sundrum type-II braneworld model. We consider the original and generalized Chaplygin gas model in the presence of monomial potential. The inflationary spectrum perturbation parameters are reformulated and evaluated in the high-energy limit and we found that they depend on several parameters. We also showed that these perturbation parameters are widely compatible with the recent Planck data for a particular choice of the parameters space of the model. A suitable observational central value of $n_{s}\simeq $ $0.965$ is also obtained in the case of original and generalized Chaplygin gas.


title: On the support of the free additive convolution

abstract: We consider the free additive convolution of two probability measures $\mu$ and $\nu$ on the real line and show that $\mu\boxplus\nu$ is supported on a single interval if $\mu$ and $\nu$ each has single interval support. Moreover, the density of $\mu\boxplus\nu$ is proven to vanish as a square root near the edges of its support if both $\mu$ and $\nu$ have power law behavior with exponents between $-1$ and $1$ near their edges. In particular, these results show the ubiquity of the conditions in our recent work on optimal local law at the spectral edges for addition of random matrices [4].


title: Experimental Demonstration on Quantum Sensitivity to Available Information in Decision Making

abstract: We present an experimental illustration on the quantum sensitivity of decision making machinery. In the decision making process, we consider the role of available information, say hint, whether it influences the optimal choices. To the end, we consider a machinery method of decision making in a probabilistic way. Our main result shows that in decision making process our quantum machine is more highly sensitive than its classical counterpart to the hints we categorize into "good" and "poor." This quantum feature originates from the quantum superposition involved in the decision making process. We also show that the quantum sensitivity persists before the quantum superposition is completely destroyed.


title: Structural characteristics of strongly coupled ions in a dense quantum plasma

abstract: The structural properties of strongly coupled ions in dense plasmas with moderately to strongly degenerate electrons are investigated in the framework of the one-component plasma model of ions interacting through a screened pair interaction potential. Special focus is put on the description of the electronic screening in the Singwi-Tosi-Land-Sjoelander (STLS) approximation. Different crosschecks and analyses using ion potentials obtained from ground-state quantum Monte Carlo data, the random phase approximation (RPA), and existing analytical models are presented for the computation of the structural properties, such as the pair distribution and the static structure factor, of strongly coupled ions. The results are highly sensitive to the features of the screened pair interaction potential. This effect is particularly visible in the static structure factor. The applicability range of the screened potential computed from STLS is identified in terms of density and temperature of the electrons. It is demonstrated that at r_s > 1, where rs is the ratio of the mean inter-electronic distance to the Bohr radius, electronic correlations beyond RPA have a non-negligible effect on the structural properties. Additionally, the applicability of the hypernetted chain approximation for the calculation of the structural properties using the screened pair interaction potential is analyzed employing the effective coupling parameter approach.


title: Proton Fraction in PCR Mass Composition at Energies of 10^15-10^17 eV (Experiment {\guillemotleft}Pamir{\guillemotright})

abstract: The fraction of halo events among gamma-hadron families with SUM(Egamma) > 500 TeV is analyzed. The comparison of experimental data and Monte-Carlo simulations by MC0 code of quark-gluon string model under various assumptions on the PCR mass composition suggests a slowly increasing contribution of nuclei heavier than protons and alpha-particles to PCR mass composition. Effective atomic number of PCR particles changes in the energy interval 10^15-10^17 eV so that lnA grows from 2 to 2.5.

categories: astro-ph.HE hep-ex physics.ins-det physics.space-ph


title: Ellipsoidal Expansion of the Universe, Cosmic Shear, Acceleration and Jerk Parameter

abstract: In order to study if the anisotropy of the spacetime may induce differences in the cosmic shear or in deceleration parameter we investigate in Bianchi I Universe the most general expression for the cosmic shear and we study the connections between deceleration parameter and cosmic shear. We also consider a shear parametric approach to measure the transition from decelerating to an accelerating Universe. We also study the connection between jerk parameter and ellipsoidal Universe.


title: Spatial Covariance Estimation for Millimeter Wave Hybrid Systems using Out-of-Band Information

abstract: In high mobility applications of millimeter wave (mmWave) communications, e.g., vehicle-to-everything communication and next-generation cellular communication, frequent link configuration can be a source of significant overhead. We use the sub-6 GHz channel covariance as an out-of-band side information for mmWave link configuration. Assuming: (i) a fully digital architecture at sub-6 GHz; and (ii) a hybrid analog-digital architecture at mmWave, we propose an out-of-band covariance translation approach and an out-of-band aided compressed covariance estimation approach. For covariance translation, we estimate the parameters of sub-6 GHz covariance and use them in theoretical expressions of covariance matrices to predict the mmWave covariance. For out-of-band aided covariance estimation, we use weighted sparse signal recovery to incorporate out-of-band information in compressed covariance estimation. The out-of-band covariance translation eliminates the in-band training completely, whereas out-of-band aided covariance estimation relies on in-band as well as out-of-band training. We also analyze the loss in the signal-to-noise ratio due to an imperfect estimate of the covariance. The simulation results show that the proposed covariance estimation strategies can reduce the training overhead compared to the in-band only covariance estimation.


title: On Bivariate Discrete Weibull Distribution

abstract: Recently, Lee and Cha (2015, `On two generalized classes of discrete bivariate distributions', {\it American Statistician}, 221 - 230) proposed two general classes of discrete bivariate distributions. They have discussed some general properties and some specific cases of their proposed distributions. In this paper we have considered one model, namely bivariate discrete Weibull distribution, which has not been considered in the literature yet. The proposed bivariate discrete Weibull distribution is a discrete analogue of the Marshall-Olkin bivariate Weibull distribution. We study various properties of the proposed distribution and discuss its interesting physical interpretations. The proposed model has four parameters, and because of that it is a very flexible distribution. The maximum likelihood estimators of the parameters cannot be obtained in closed forms, and we have proposed a very efficient nested EM algorithm which works quite well for discrete data. We have also proposed augmented Gibbs sampling procedure to compute Bayes estimates of the unknown parameters based on a very flexible set of priors. Two data sets have been analyzed to show how the proposed model and the method work in practice. We will see that the performances are quite satisfactory. Finally, we conclude the paper.


title: Solvable models of quantum beating

abstract: We review some results about the suppression of quantum beating in a one dimensional nonlinear double well potential. We implement a single particle double well potential model, making use of nonlinear point interactions. We show that there is complete suppression of the typical beating phenomenon characterizing the linear quantum case.


title: An Anti-fraud System for Car Insurance Claim Based on Visual Evidence

abstract: Automatically scene understanding using machine learning algorithms has been widely applied to different industries to reduce the cost of manual labor. Nowadays, insurance companies launch express vehicle insurance claim and settlement by allowing customers uploading pictures taken by mobile devices. This kind of insurance claim is treated as small claim and can be processed either manually or automatically in a quick fashion. However, due to the increasing amount of claims every day, system or people are likely to be fooled by repeated claims for identical case leading to big lost to insurance companies.Thus, an anti-fraud checking before processing the claim is necessary. We create the first data set of car damage images collected from internet and local parking lots. In addition, we proposed an approach to generate robust deep features by locating the damages accurately and efficiently in the images. The state-of-the-art real-time object detector YOLO \cite{redmon2016you}is modified to train and discover damage region as an important part of the pipeline. Both local and global deep features are extracted using VGG model\cite{Simonyan14c}, which are fused later for more robust system performance. Experiments show our approach is effective in preventing fraud claims as well as meet the requirement to speed up the insurance claim prepossessing.


title: Growth index and statefinder diagnostic of Oscillating Dark Energy

abstract: We study is some detail the Cosmology of Oscillating Dark Energy described by concrete equations-of-state investigated recently in the literature. In particular, at the background level we compute the statefinder parameters, while at the level of linear cosmological perturbations we compute the growth index $\gamma$ as well as the combination parameter $A=f \sigma_8$. The comparison with $\Lambda$CDM is made as well.


title: A novel method for depicting academic disciplines through Google Scholar Citations: The case of Bibliometrics

abstract: This article describes a procedure to generate a snapshot of the structure of a specific scientific community and their outputs based on the information available in Google Scholar Citations (GSC). We call this method MADAP (Multifaceted Analysis of Disciplines through Academic Profiles). The international community of researchers working in Bibliometrics, Scientometrics, Informetrics, Webometrics, and Altmetrics was selected as a case study. The records of the top 1,000 most cited documents by these authors according to GSC were manually processed to fill any missing information and deduplicate fields like the journal titles and book publishers. The results suggest that it is feasible to use GSC and the MADAP method to produce an accurate depiction of the community of researchers working in Bibliometrics (both specialists and occasional researchers) and their publication habits (main publication venues such as journals and book publishers). Additionally, the wide document coverage of Google Scholar (specially books and book chapters) enables more comprehensive analyses of the documents published in a specific discipline than were previously possible with other citation indexes, finally shedding light on what until now had been a blind spot in most citation analyses.


title: Opium in science and society: Numbers

abstract: In science and beyond, numbers are omnipresent when it comes to justifying different kinds of judgments. Which scientific author, hiring committee-member, or advisory board panelist has not been confronted with page-long "publication manuals", "assessment reports", "evaluation guidelines", calling for p-values, citation rates, h-indices, or other statistics in order to motivate judgments about the "quality" of findings, applicants, or institutions? Yet, many of those relying on and calling for statistics do not even seem to understand what information those numbers can actually convey, and what not. Focusing on the uninformed usage of bibliometrics as worrysome outgrowth of the increasing quantification of science and society, we place the abuse of numbers into larger historical contexts and trends. These are characterized by a technology-driven bureaucratization of science, obsessions with control and accountability, and mistrust in human intuitive judgment. The ongoing digital revolution increases those trends. We call for bringing sanity back into scientific judgment exercises. Despite all number crunching, many judgments - be it about scientific output, scientists, or research institutions - will neither be unambiguous, uncontroversial, or testable by external standards, nor can they be otherwise validated or objectified. Under uncertainty, good human judgment remains, for the better, indispensable, but it can be aided, so we conclude, by a toolbox of simple judgment tools, called heuristics. In the best position to use those heuristics are research evaluators (1) who have expertise in the to-be-evaluated area of research, (2) who have profound knowledge in bibliometrics, and (3) who are statistically literate.


title: Neutrino mixing and General Covariance in the inverse beta decay

abstract: We review recent developments on the role of neutrino mixing in the inverse beta decay of accelerated protons. We show that calculations in the inertial and comoving frames agree (thus preserving General Covariance) only when taking neutrino asymptotic states to be flavor (rather than mass) eigenstates. Our conclusions are valid in the approximation in which Pontecorvo states are correctly representing neutrino flavor states. We speculate about the general case involving exact flavor states and finally comment on other approaches recently appeared in literature.


title: On the non-perturbative graviton propagator

abstract: To reduce general relativity to the canonical Hamiltonian formalism and construct the path (functional) integral in a simpler and, especially in the discrete case, less singular way, one extends the configuration superspace, as in the connection representation. Then we perform functional integration over connection. The module of the result of this integration arises in the leading order of the expansion over a scale of the discrete lapse-shift functions and has maxima at finite (Planck scale) areas/lengths and rapidly decreases at large areas/lengths, as we have mainly considered previously; the phase arises in the leading order (Regge action) of the stationary phase expansion. Now we consider the possibility of confining ourselves to these leading terms in a certain region of the parameters of the theory; consider background edge lengths as an optimal starting point for the perturbative expansion of the theory; estimate the background length scale and consider the form of the graviton propagator. In parallel with the general simplicial structure, we consider the simplest periodic simplicial structure with a part of the variables frozen ("hypercubic"), for which also the propagator in the leading approximation over metric variations can be written in a closed form.


title: Adiabatic theorems for general linear operators with time-independent domains

abstract: We establish adiabatic theorems with and without spectral gap condition for general -- typically dissipative -- linear operators $A(t): D(A(t)) \subset X \to X$ with time-independent domains $D(A(t)) = D$ in some Banach space $X$. Compared to the previously known adiabatic theorems -- especially those without spectral gap condition -- we do not require the considered spectral values $\lambda(t)$ of $A(t)$ to be (weakly) semisimple. We also impose only fairly weak regularity conditions. Applications are given to slowly time-varying open quantum systems and to adiabatic switching processes.


title: k-Nearest Neighbors by Means of Sequence to Sequence Deep Neural Networks and Memory Networks

abstract: k-Nearest Neighbors is one of the most fundamental but effective classification models. In this paper, we propose two families of models built on a sequence to sequence model and a memory network model to mimic the k-Nearest Neighbors model, which generate a sequence of labels, a sequence of out-of-sample feature vectors and a final label for classification, and thus they could also function as oversamplers. We also propose 'out-of-core' versions of our models which assume that only a small portion of data can be loaded into memory. Computational experiments show that our models on structured datasets outperform k-Nearest Neighbors, a feed-forward neural network, XGBoost, lightGBM, random forest and a memory network, due to the fact that our models must produce additional output and not just the label. On image and text datasets, the performance of our model is close to many state-of-the-art deep models. As an oversampler on imbalanced datasets, the sequence to sequence kNN model often outperforms Synthetic Minority Over-sampling Technique and Adaptive Synthetic Sampling.


title: The Bernstein-Walsh-Siciak Theorem for analytic hypersurfaces

abstract: As a first step towards a general set-theoretic counterpart of the remarkable Bernstein-Walsh-Siciak Theorem concerning the rapidity of polynomial approximation of a holomorphic function on polynomially convex compact sets in $\mathbb{C}^n$, we prove a version of this theorem for analytic hypersurfaces.


title: Federer's characterization of sets of finite perimeter in metric spaces

abstract: Federer's characterization of sets of finite perimeter states (in Euclidean spaces) that a set is of finite perimeter if and only if the measure-theoretic boundary of the set has finite Hausdorff measure of codimension one. In complete metric spaces that are equipped with a doubling measure and support a Poincar\'e inequality, the "only if" direction was shown by Ambrosio (2002). By applying fine potential theory in the case $p=1$, we prove that the "if" direction holds as well.


title: Letter graphs and geometric grid classes of permutations: characterization and recognition

abstract: In this paper, we reveal an intriguing relationship between two seemingly unrelated notions: letter graphs and geometric grid classes of permutations. An important property common for both of them is well-quasi-orderability, implying, in a non-constructive way, a polynomial-time recognition of geometric grid classes of permutations and $k$-letter graphs for a fixed $k$. However, constructive algorithms are available only for $k=2$. In this paper, we present the first constructive polynomial-time algorithm for the recognition of $3$-letter graphs. It is based on a structural characterization of graphs in this class.


title: The marginally trapped surfaces in spheroidal spacetimes

abstract: We study the location of marginally trapped surfaces in space-times resulting from an axial deformation of static isotropic systems, and show that the Misner-Sharp mass evaluated on the corresponding undeformed spherically symmetric space provides the correct gravitational radius to locate the spheroidal horizon.


title: Fully Extended Quasi-Metric Gravity

abstract: The original theory of quasi-metric gravity, admitting only a partial coupling between space-time geometry and the active stress-energy tensor, is too restricted to allow the existence of gravitational waves in vacuum. Therefore, said theory can at best be regarded as a wave-less approximation theory. However, the requirement that the weak-field limit of the contracted Bianchi identities should be consistent with the Newtonian limit of the local conservation laws, forbids a full coupling between space-time geometry and the active stress-energy tensor. Nevertheless, in this paper it is shown how it is possible to relax the restrictions on quasi-metric space-time geometry sufficiently to avoid these problems. That is, the original quasi-metric field equations can be extended with one extra field equation, without having said full coupling and such that the contracted Bianchi identities have a sensible Newtonian limit. For weak fields in vacuum, said extra field equation has a dynamical structure somewhat similar to that of its counterpart in canonical general relativity (GR). In this way, the prediction of weak GR-like gravitational waves in vacuum becomes possible. Moreover, exact results from the original quasi-metric gravitational theory are recovered for metrically static systems and for isotropic cosmology. This means that the current experimental status of the extended quasi-metric gravitational theory is the same as for the original theory, except for the prediction of weak GR-like gravitational waves in vacuum.


title: The flat geometry of the $I_{1}$ singularity: $(x,y)\mapsto(x,xy,y^{2},y^{3})$

abstract: We study the flat geometry of the least degenerate singularity of a singular surface in $\mathbb R^4$, the $I_{1}$ singularity parametrised by $(x,y)\mapsto(x,xy,y^{2},y^{3})$. This singularity appears generically when projecting a regular surface in $\mathbb R^5$ orthogonally to $\mathbb R^4$ along a tangent direction. We obtain a generic normal form for $I_1$ invariant under diffeomorphisms in the source and isometries in the target. We then consider the contact with hyperplanes by classifying submersions which preserve the image of $I_1$. The main tool is the study of the singularities of the height function.


title: Adversarial Task Assignment

abstract: The problem of assigning tasks to workers is of long-standing fundamental importance. Examples of this include the classical problem of assigning computing tasks to nodes in a distributed computing environment, assigning jobs to robots, and crowdsourcing. Extensive research into this problem generally addresses important issues such as uncertainty and incentives. However, the problem of adversarial tampering with the task assignment process has not received as much attention. We are concerned with a particular adversarial setting where an attacker may target a set of workers in order to prevent the tasks assigned to these workers from being completed. When all tasks are homogeneous, we provide an efficient algorithm for computing the optimal assignment. When tasks are heterogeneous, we show that the adversarial assignment problem is NP-Hard, and present an algorithm for solving it approximately. Our theoretical results are accompanied by extensive experiments showing the effectiveness of our algorithms.