title: An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences

abstract: As a partial answer to a question of Rao, a deterministic and customizable efficient algorithm is presented to test whether an arbitrary graphical degree sequence has a bipartite realization. The algorithm can be configured to run in polynomial time, at the expense of possibly producing an erroneous output on some "yes" instances but with very low error rate.


title: Geographically-dependent individual-level models for infectious diseases transmission

abstract: Infectious disease models can be of great use for understanding the underlying mechanisms that influence the spread of diseases and predicting future disease progression. Modeling has been increasingly used to evaluate the potential impact of different control measures and to guide public health policy decisions. In recent years, there has been rapid progress in developing spatio-temporal modeling of infectious diseases and an example of such recent developments is the discrete time individual-level models (ILMs). These models are well developed and provide a common framework for modeling many disease systems, however, they assume the probability of disease transmission between two individuals depends only on their spatial separation and not on their spatial locations. In cases where spatial location itself is important for understanding the spread of emerging infectious diseases and identifying their causes, it would be beneficial to incorporate the effect of spatial location in the model. In this study, we thus generalize the ILMs to a new class of geographically-dependent ILMs (GD-ILMs), to allow for the evaluation of the effect of spatially varying risk factors (e.g., education, environmental), as well as unobserved spatial structure, upon the transmission of infectious disease. Specifically, we consider a conditional autoregressive model to capture the effects of unobserved spatially structured latent covariates or measurement error. This results in flexible infectious disease models that can be used for formulating etiological hypotheses and identifying geographical regions of unusually high risk to formulate preventive action. The reliability of these models are investigated on a combination of simulated epidemic data and Alberta seasonal influenza outbreak data (2009). This new class of models is fitted to data within a Bayesian statistical framework using MCMC methods.


title: Covering groups of minimal exponent

abstract: Presenting a finite group by a free product of finite cyclic groups the Hopf formula for the Schur multiplier affords also a covering group, and this has minimal exponent provided that the order of the generators is preserved. This condition corresponds to a covering projection between simplicial complexes, and so a presentation by a Fuchsian group corresponds to a covering projection between compact surfaces.


title: Linear representations of finite geometries and associated LDPC codes

abstract: The {\it linear representation} of a subset of a finite projective space is an incidence system of affine points and lines determined by the subset. In this paper we use character theory to show that the rank of the incidence matrix has a direct geometric interpretation in terms of certain hyperplanes. We consider the LDPC codes defined by taking the incidence matrix and its transpose as parity-check matrices, and in the former case prove a conjecture of Vandendriessche that the code is generated by words of minimum weight called plane words. In the latter case we compute the minimum weight in several cases and provide explicit constructions of minimum weight codewords.


title: Hunt's Hypothesis (H) for Markov Processes: Survey and Beyond

abstract: The goal of this paper is threefold. First, we survey the existing results on Hunt's hypothesis (H) for Markov processes and Getoor's conjecture for L\'{e}vy processes. Second, we investigate (H) for multidimensional L\'{e}vy processes from the viewpoints of projections and energy, respectively. Third, we present a few open questions for further study.


title: Observations of blazar PKS 2023-07 in flaring state with HESS and Fermi-LAT in 2016-2017 and constraints on an intrinsic cut-off

abstract: PKS 2023-07 is a flat spectrum radio quasar located at a redshift $z=1.388$, farther than any source currently detected at very high energies ($E>100$ GeV). At such energies, absorption by the extragalactic background light (EBL) renders the detection of distant sources particularly challenging. The High Energy Stereoscopic System (H.E.S.S.) observed the source following reports from AGILE (April 2016) and Fermi-LAT (April 2016, September and October 2017) on high-flux states in gamma rays. During each of the three flaring periods, near-simultaneous observations were obtained with H.E.S.S., Fermi-LAT and multiple telescopes at other wavelengths. Though the source was not significantly detected by H.E.S.S., upper limits were derived for each observation period. Through constraints given by Fermi-LAT in the MeV--GeV domain and differential upper limits by H.E.S.S., we searched for an intrinsic cutoff in the EBL-corrected gamma ray spectrum of PKS 2023-07.


title: Hermione and the Secretary: How gendered task division in introductory physics labs can disrupt equitable learning

abstract: Physics labs provide a unique opportunity for students to grow their physics identity and science identity in general since they provide students with opportunity to tinker with experiments and analyze data in a low-stakes environment. However, it is important to ensure that all students are benefiting from the labs equally and have a positive growth trajectory. Through interviews and reflexive ethnographic observations, we identify and analyze two common modes of work that may disadvantage female students in introductory physics labs. Students who adopt the Secretary archetype are relegated to recording and analyzing data, and thus miss out on much of the opportunity to grow their physics and science identities by engaging fully in the experimental work. Meanwhile, students in the Hermione mode shoulder a disproportionate amount of managerial work, and also do not get adequate opportunity to engage with different aspects of the experimental work that are essential for helping them develop their physics and science identities. Using a physics identity framework, we analyze interviews and observational data to investigate how students under these modes of work may experience stunted growth in their physics and science identity trajectories in their physics lab course. This stunted growth then perpetuates and reinforces societal stereotypes and biases about who does physics. This categorization not only gives a vocabulary to discussions about equity in the lab, but can also serve as a useful touchstone for those who seek to center equity in efforts to transform physics instruction.


title: A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity

abstract: This paper considers a game in which a single cop and a single robber take turns moving along the edges of a given graph $G$. If there exists a strategy for the cop which enables it to be positioned at the same vertex as the robber eventually, then $G$ is called cop-win, and robber-win otherwise. We study this classical combinatorial game in a novel context, broadening the class of potential game arenas to include the edge-periodic graphs. These are graphs with an infinite lifetime comprised of discrete time steps such that each edge $e$ is assigned a bit pattern of length $l_e$, with a 1 in the $i$-th position of the pattern indicating the presence of edge $e$ in the $i$-th step of each consecutive block of $l_e$ steps. Utilising the already-developed framework of reachability games, we extend existing techniques to obtain, amongst other results, an $O(\textsf{LCM}(L)\cdot n^3)$ upper bound on the time required to decide if a given $n$-vertex edge-periodic graph $G^\tau$ is cop or robber win as well as compute a strategy for the winning player (here, $L$ is the set of all edge pattern lengths $l_e$, and $\textsf{LCM}(L)$ denotes the least common multiple of the set $L$). Separately, turning our attention to edge-periodic cycle graphs, we give proof of a $2\cdot l \cdot \textsf{LCM}(L)$ upper bound on the length required by any edge-periodic cycle to ensure that it is robber win, where $l = 1$ if $\textsf{LCM}(L) \geq 2\cdot \max L $, and $l=2$ otherwise. Furthermore, we provide lower bound constructions in the form of cop-win edge-periodic cycles: one with length $1.5 \cdot \textsf{LCM}(L)$ in the $l=1$ case and one with length $3\cdot \textsf{LCM}(L)$ in the $l=2$ case.


title: Influence of irradiation on defect spin coherence in silicon carbide

abstract: Irradiation-induced lattice defects in silicon carbide (SiC) have already exceeded their previous reputation as purely performance-inhibiting. With their remarkable quantum properties, such as long room-temperature spin coherence and the possibility of downscaling to single-photon source level, they have proven to be promising candidates for a multitude of quantum information applications. One of the most crucial parameters of any quantum system is how long its quantum coherence can be preserved. By using the pulsed optically detected magnetic resonance (ODMR) technique, we investigate the spin-lattice relaxation time ($T_1$) and spin coherence time ($T_2$) of silicon vacancies in 4H-SiC created by neutron, electron and proton irradiation in a broad range of fluences. We also examine the effect of irradiation energy and sample annealing. We establish a robustness of the $T_1$ time against all types of irradiation and reveal a universal scaling of the $T_2$ time with the emitter density. Our results can be used to optimize the coherence properties of silicon vacancy qubits in SiC for specific tasks.


title: The Role of Publicly Available Data in MICCAI Papers from 2014 to 2018

abstract: Widely-used public benchmarks are of huge importance to computer vision and machine learning research, especially with the computational resources required to reproduce state of the art results quickly becoming untenable. In medical image computing, the wide variety of image modalities and problem formulations yields a huge task-space for benchmarks to cover, and thus the widespread adoption of standard benchmarks has been slow, and barriers to releasing medical data exacerbate this issue. In this paper, we examine the role that publicly available data has played in MICCAI papers from the past five years. We find that more than half of these papers are based on private data alone, although this proportion seems to be decreasing over time. Additionally, we observed that after controlling for open access publication and the release of code, papers based on public data were cited over 60% more per year than their private-data counterparts. Further, we found that more than 20% of papers using public data did not provide a citation to the dataset or associated manuscript, highlighting the "second-rate" status that data contributions often take compared to theoretical ones. We conclude by making recommendations for MICCAI policies which could help to better incentivise data sharing and move the field toward more efficient and reproducible science.


title: A survey of Active Galaxies with the HAWC Gamma-ray Observatory

abstract: The High Altitude Water Cherenkov Gamma-Ray Observatory has been accumulating a progressively deeper exposure of the TeV sky since its inauguration in March 2015. Located at geographical latitude $+19^\circ$N, HAWC has been able to perform a deep and unbiased survey of two thirds of the sky. We analyzed three years of HAWC data searching for long term persistent emission from a redshift limited ($z\leq 0.3$) sample of active galactic nuclei drawn from the {\it Fermi}-LAT 3FHL catalog. The HAWC dataset confirms the high significance detection of the two nearest BL Lac objects, \mbox{Mrk 421} and \mbox{Mrk 501}, and sets limits for the rest of the sample, down to integrated photon fluxes of order $N(>0.5~{\rm TeV})\lesssim 10^{-12}\,\rm cm^{-2}s^{-1}$. We present and discuss some of the results of this survey, focusing on individual objects of particular interest.


title: The influence of a top-heavy integrated galactic IMF and dust on the chemical evolution of high-redshift starbursts

abstract: We study the effects of the integrated galactic initial mass function (IGIMF) and dust evolution on the abundance patterns of high redshift starburst galaxies. In our chemical models, the rapid collapse of gas clouds triggers an intense and rapid star formation episode, which lasts until the onset of a galactic wind, powered by the thermal energy injected by stellar winds and supernova explosions. Our models follow the evolution of several chemical elements (C, N, $\alpha$-elements and Fe) both in the gas and dust phases. %The most recent stellar yield and dust prescriptions are adopted. We test different values of $\beta$, the slope of the embedded cluster mass function for the IGIMF, where lower $\beta$ values imply a more top-heavy initial mass function (IMF). The computed abundances are compared to high-quality abundance measurements obtained in lensed galaxies and from composite spectra in large samples of star-forming galaxies in the redshift range $2 \lesssim z \lesssim 3$. The adoption of the IGIMF causes a sensible increase of the rate of star formation with respect to a standard Salpeter IMF, with a strong impact on chemical evolution. We find that in order to reproduce the observed abundance patterns in these galaxies, either we need a very top-heavy IGIMF ($\beta < 2$) or large amounts of dust. In particular, if dust is important, the IGIMF should have $\beta \ge 2$, which means an IMF slightly more top-heavy than the Salpeter one. The evolution of the dust mass with time for galaxies of different mass and IMF is also computed, highlighting that the dust amount increases with a top-heavier IGIMF.


title: Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables

abstract: In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full classification of such multivariate skew polynomial rings (free or not) over finite fields. To that end, we first show that all ring morphisms from the field to the ring of square matrices are diagonalizable, and that the corresponding derivations are all inner derivations. Secondly, we show that all such multivariate skew polynomial rings over finite fields are isomorphic as algebras to a multivariate skew polynomial ring whose ring morphism from the field to the ring of square matrices is diagonal, and whose derivation is the zero derivation. Furthermore, we prove that two such representations only differ in a permutation of the field automorphisms appearing in the corresponding diagonal. The algebra isomorphisms are given by affine transformations of variables and preserve evaluations and degrees. In addition, ours proofs show that the simplified form of multivariate skew polynomial rings can be found computationally and explicitly.


title: Absence of a thick atmosphere on the terrestrial exoplanet LHS 3844b

abstract: Most known terrestrial planets orbit small stars with radii less than 60% that of the Sun. Theoretical models predict that these planets are more vulnerable to atmospheric loss than their counterparts orbiting Sun-like stars. To determine whether a thick atmosphere has survived on a small planet, one approach is to search for signatures of atmospheric heat redistribution in its thermal phase curve. Previous phase curve observations of the super-Earth 55 Cancri e (1.9 Earth radii) showed that its peak brightness is offset from the substellar point $-$ possibly indicative of atmospheric circulation. Here we report a phase curve measurement for the smaller, cooler planet LHS 3844b, a 1.3 Earth radius world in an 11-hour orbit around a small, nearby star. The observed phase variation is symmetric and has a large amplitude, implying a dayside brightness temperature of $1040\pm40$ kelvin and a nightside temperature consistent with zero kelvin (at one standard deviation). Thick atmospheres with surface pressures above 10 bar are ruled out by the data (at three standard deviations), and less-massive atmospheres are unstable to erosion by stellar wind. The data are well fitted by a bare rock model with a low Bond albedo (lower than 0.2 at two standard deviations). These results support theoretical predictions that hot terrestrial planets orbiting small stars may not retain substantial atmospheres.


title: Evaluation of extremal properties of GARCH(p,q) processes

abstract: Generalized autoregressive conditionally heteroskedastic (GARCH) processes are widely used for modelling features commonly found in observed financial returns. The extremal properties of these processes are of considerable interest for market risk management. For the simplest GARCH(p,q) process, with max(p,q) = 1, all extremal features have been fully characterised. Although the marginal features of extreme values of the process have been theoretically characterised when max(p, q) >= 2, much remains to be found about both marginal and dependence structure during extreme excursions. Specifically, a reliable method is required for evaluating the tail index, which regulates the marginal tail behaviour and there is a need for methods and algorithms for determining clustering. In particular, for the latter, the mean number of extreme values in a short-term cluster, i.e., the reciprocal of the extremal index, has only been characterised in special cases which exclude all GARCH(p,q) processes that are used in practice. Although recent research has identified the multivariate regular variation property of stationary GARCH(p,q) processes, currently there are no reliable methods for numerically evaluating key components of these characterisations. We overcome these issues and are able to generate the forward tail chain of the process to derive the extremal index and a range of other cluster functionals for all GARCH(p, q) processes including integrated GARCH processes and processes with unbounded and asymmetric innovations. The new theory and methods we present extend to assessing the strict stationarity and extremal properties for a much broader class of stochastic recurrence equations.


title: Monthly electricity consumption forecasting by the fruit fly optimization algorithm enhanced Holt-Winters smoothing method

abstract: The electricity consumption forecasting is a critical component of the intelligent power system. And accurate monthly electricity consumption forecasting, as one of the the medium and long term electricity consumption forecasting problems, plays an important role in dispatching and management for electric power systems. Although there are many studies for this problem, large sample data set is generally required to obtain higher prediction accuracy, and the prediction performance become worse when only a little data is available. However, in practical, mostly we experience the problem of insufficient sample data and how to accurately forecast the monthly electricity consumption with limited sample data is a challenge task. The Holt-Winters exponential smoothing method often used to forecast periodic series due to low demand for training data and high accuracy for forecasting. In this paper, based on Holt-Winters exponential smoothing method, we propose a hybrid forecasting model named FOA-MHW. The main idea is that, we use fruit fly optimization algorithm to select smoothing parameters for Holt-Winters exponential smoothing method. Besides, electricity consumption data of a city in China is used to comprehensively evaluate the forecasting performance of the proposed model. The results indicate that our model can significantly improve the accuracy of monthly electricity consumption forecasting even in the case that only a small number of training data is available.


title: Fully Automated Image De-fencing using Conditional Generative Adversarial Networks

abstract: Image de-fencing is one of the important aspects of recreational photography in which the objective is to remove the fence texture present in an image and generate an aesthetically pleasing version of the same image without the fence texture. In this paper, we aim to develop an automated and effective technique for fence removal and image reconstruction using conditional Generative Adversarial Networks (cGANs). These networks have been successfully applied in several domains of Computer Vision focusing on image generation and rendering. Our initial approach is based on a two-stage architecture involving two cGANs that generate the fence mask and the inpainted image, respectively. Training of these networks is carried out independently and, during evaluation, the input image is passed through the two generators in succession to obtain the de-fenced image. The results obtained from this approach are satisfactory, but the response time is long since the image has to pass through two sets of convolution layers. To reduce the response time, we propose a second approach involving only a single cGAN architecture that is trained using the ground-truth of fenced de-fenced image pairs along with the edge map of the fenced image produced by the Canny Filter. Incorporation of the edge map helps the network to precisely detect the edges present in the input image, and also imparts it an ability to carry out high quality de-fencing in an efficient manner, even in the presence of a fewer number of layers as compared to the two-stage network. Qualitative and quantitative experimental results reported in the manuscript reveal that the de-fenced images generated by the single-stage de-fencing network have similar visual quality to those produced by the two-stage network. Comparative performance analysis also emphasizes the effectiveness of our approach over state-of-the-art image de-fencing techniques.


title: Revealing Hidden Substructures in the $M_{BH}$-$\sigma$ Diagram, and Refining the Bend in the $L$-$\sigma$ Relation

abstract: Using 145 early- and late-type galaxies (ETGs and LTGs) with directly-measured super-massive black hole masses, $M_{BH}$, we build upon our previous discoveries that: (i) LTGs, most of which have been alleged to contain a pseudobulge, follow the relation $M_{BH}\propto\,M_{*,sph}^{2.16\pm0.32}$; and (ii) the ETG relation $M_{BH}\propto\,M_{*,sph}^{1.27\pm0.07}$ is an artifact of ETGs with/without disks following parallel $M_{BH}\propto\,M_{*,sph}^{1.9\pm0.2}$ relations which are offset by an order of magnitude in the $M_{BH}$-direction. Here, we searched for substructure in the $M_{BH}$--(central velocity dispersion, $\sigma$) diagram using our recently published, multi-component, galaxy decompositions; investigating divisions based on the presence of a depleted stellar core (major dry-merger), a disk (minor wet/dry-merger, gas accretion), or a bar (evolved unstable disk). The S\'ersic and core-S\'ersic galaxies define two distinct relations: $M_{BH}\propto\sigma^{5.75\pm0.34}$ and $M_{BH}\propto\sigma^{8.64\pm1.10}$, with $\Delta_{rms|BH}=0.55$ and $0.46$~dex, respectively. We also report on the consistency with the slopes and bends in the galaxy luminosity ($L$)--$\sigma$ relation due to S\'ersic and core-S\'ersic ETGs, and LTGs which all have S\'ersic light-profiles. Two distinct relations (superficially) reappear in the $M_{BH}$--$\sigma$ diagram upon separating galaxies with/without a disk (primarily for the ETG sample), while we find no significant offset between barred and non-barred galaxies, nor between galaxies with/without active galactic nuclei. We also address selection biases purported to affect the scaling relations for dynamically-measured $M_{BH}$ samples. Our new, (morphological type)-dependent, $M_{BH}$--$\sigma$ relations more precisely estimate $M_{BH}$ in other galaxies, and hold implications for galaxy/black hole co-evolution theories, and simulations. (Abridged)


title: Non-Abelian gauge potential driven localization transition in quasiperiodic optical lattices

abstract: Gauge potential is an emergent concept in systems of ultracold atomic gases. Derived from quantum waves immersed in an \emph{Abelian} gauge, the quasiperiodic Aubry-Andre-Harper (AAH) model is a simple yet powerful Hamiltonian to study the Anderson localization of ultracold atoms. In this work, we investigate the localization properties of ultracold atoms trapped in quasiperiodic optical lattices subject to a non-Abelian gauge, which can be depicted by a family of non-Abelian AAH models. We identify that the non-Abelian AAH models can bear the self-duality under the Fourier transformation. We thus analyze the localization transition of this self-dual non-Abelian quasiperiodic optical lattices, revealing that the non-Abelian gauge involved drives a transition from a pure delocalization phase, then to coexistence phases, and then finally to a pure localization phase. This is in stark contrast to the Abelian AAH model that does not support the coexistence phases. Our results thus comprise a new insight on the fundamental aspects of Anderson localization in quasiperiodic systems, from the perspective of non-Abelian gauge.


title: Implicit max-stable extremal integrals

abstract: Recently, the notion of implicit extreme value distributions has been established, which is based on a given loss function $f \ge 0$. From an application point of view, one is rather interested in extreme loss events that occur relative to $f$ than in the corresponding extreme values itself. In this context, so-called $f$-implicit $\alpha$-Fr\'{e}chet max-stable distributions arise and have been used to construct independently scattered sup-measures that possess such margins. In this paper we solve an open problem in [7] by developing a stochastic integral of a deterministic function $g\ge 0$ with respect to implicit max-stable sup-measures. The resulting theory covers the construction of max-stable extremal integrals (see [14]) and, at the same time, reveals striking parallels.


title: Ternary circuits: why R=3 is not the Optimal Radix for Computation

abstract: A demonstration that e=2.718 rounded to 3 is the best radix for computation is disproved. The MOSFET-like CNTFET technology is used to compare inverters, Nand, adders, multipliers, D Flip-Flops and SRAM cells. The transistor count ratio between ternary and binary circuits is generally greater than the log(3)/log(2) information ratio. The only exceptions concern a circuit approach that combines two circuit drawbacks (an additional power supply and a circuit conflict between transistors) and only when it implements circuits based on the ternary inverter. For arithmetic circuits such as adders and multipliers, the ternary circuits are always outperformed by the binary ones using the same technology.


title: Performance Analysis of Cooperative V2V and V2I Communications under Correlated Fading

abstract: Cooperative vehicular networks will play a vital role in the coming years to implement various intelligent transportation-related applications. Both vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications will be needed to reliably disseminate information in a vehicular network. In this regard, a roadside unit (RSU) equipped with multiple antennas can improve the network capacity. While the traditional approaches assume antennas to experience independent fading, we consider a more practical uplink scenario where antennas at the RSU experience correlated fading. In particular, we evaluate the packet error probability for two renowned antenna correlation models, i.e., constant correlation (CC) and exponential correlation (EC). We also consider intermediate cooperative vehicles for reliable communication between the source vehicle and the RSU. Here, we derive closed-form expressions for packet error probability which help quantify the performance variations due to fading parameter, correlation coefficients and the number of intermediate helper vehicles. To evaluate the optimal transmit power in this network scenario, we formulate a Stackelberg game, wherein, the source vehicle is treated as a buyer and the helper vehicles are the sellers. The optimal solutions for the asking price and the transmit power are devised which maximize the utility functions of helper vehicles and the source vehicle, respectively. We verify our mathematical derivations by extensive simulations in MATLAB.


title: ProSper -- A Python Library for Probabilistic Sparse Coding with Non-Standard Priors and Superpositions

abstract: ProSper is a python library containing probabilistic algorithms to learn dictionaries. Given a set of data points, the implemented algorithms seek to learn the elementary components that have generated the data. The library widens the scope of dictionary learning approaches beyond implementations of standard approaches such as ICA, NMF or standard L1 sparse coding. The implemented algorithms are especially well-suited in cases when data consist of components that combine non-linearly and/or for data requiring flexible prior distributions. Furthermore, the implemented algorithms go beyond standard approaches by inferring prior and noise parameters of the data, and they provide rich a-posteriori approximations for inference. The library is designed to be extendable and it currently includes: Binary Sparse Coding (BSC), Ternary Sparse Coding (TSC), Discrete Sparse Coding (DSC), Maximal Causes Analysis (MCA), Maximum Magnitude Causes Analysis (MMCA), and Gaussian Sparse Coding (GSC, a recent spike-and-slab sparse coding approach). The algorithms are scalable due to a combination of variational approximations and parallelization. Implementations of all algorithms allow for parallel execution on multiple CPUs and multiple machines for medium to large-scale applications. Typical large-scale runs of the algorithms can use hundreds of CPUs to learn hundreds of dictionary elements from data with tens of millions of floating-point numbers such that models with several hundred thousand parameters can be optimized. The library is designed to have minimal dependencies and to be easy to use. It targets users of dictionary learning algorithms and Machine Learning researchers.


title: Employing Game Theory and TDMA Protocol to Enhance Security and Manage Power Consumption in WSNs-based Cognitive Radio

abstract: The rapid development of wireless sensor networks (WSNs) is the significant incentive to contribute in the vulnerable applications such as cognitive radio (CR). This paper proposes a Stackelberg game approach to enhance the WSN-based CR security against the spectrum sensing data falsification (SSDF) attack and conserve the consequent lost power consumption. The attack aims to corrupt the spectrum decision by imposing interference power to the delivered reports from the sensor nodes (SNs) to the fusion center (FC) to make a protection level below a specific threshold. The proposed model utilizes the intelligent Stackelberg game features along with the matched filter (MF) to maximize the number of protected reports sent by the SNs to the FC leading to accurate decision of the spectrum status. Furthermore, the TDMA protocol is utilized to resolve the complexity of employing MF for the spectrum detection to avoid the collision between the delivered reports. The proposed model aims to enhance the number of correctly received reports at the FC, and hence manage the lost energy of reports retransmission due to the malicious attack effect. Moreover, the model can conserve the lost power of the failure communication attempts due to the SSDF attack impact. Simulation results indicate the improved performance of the proposed protection model along with the MF over the six different environments against the SSDF attack as compared to two defense schemes, namely, random and equal weight defense strategies.


title: Deep Task-Based Quantization

abstract: Quantizers play a critical role in digital signal processing systems. Recent works have shown that the performance of quantization systems acquiring multiple analog signals using scalar analog-to-digital converters (ADCs) can be significantly improved by properly processing the analog signals prior to quantization. However, the design of such hybrid quantizers is quite complex, and their implementation requires complete knowledge of the statistical model of the analog signal, which may not be available in practice. In this work we design data-driven task-oriented quantization systems with scalar ADCs, which determine how to map an analog signal into its digital representation using deep learning tools. These representations are designed to facilitate the task of recovering underlying information from the quantized signals, which can be a set of parameters to estimate, or alternatively, a classification task. By utilizing deep learning, we circumvent the need to explicitly recover the system model and to find the proper quantization rule for it. Our main target application is multiple-input multiple-output (MIMO) communication receivers, which simultaneously acquire a set of analog signals, and are commonly subject to constraints on the number of bits. Our results indicate that, in a MIMO channel estimation setup, the proposed deep task-bask quantizer is capable of approaching the optimal performance limits dictated by indirect rate-distortion theory, achievable using vector quantizers and requiring complete knowledge of the underlying statistical model. Furthermore, for a symbol detection scenario, it is demonstrated that the proposed approach can realize reliable bit-efficient hybrid MIMO receivers capable of setting their quantization rule in light of the task, e.g., to minimize the bit error rate.


title: A photonic-assisted method based on the MDA technique for the frequency estimation precision improvement

abstract: A novel photonics-assisted method based on presampling and MDA technique is proposed for significantly improving the frequency estimation precision without introducing other complex algorithms. This method is also compatible with existing FFT-based high-precision estimation algorithms


title: Federated Learning for Wireless Communications: Motivation, Opportunities and Challenges

abstract: There is a growing interest in the wireless communications community to complement the traditional model-based design approaches with data-driven machine learning (ML)-based solutions. While conventional ML approaches rely on the assumption of having the data and processing heads in a central entity, this is not always feasible in wireless communications applications because of the inaccessibility of private data and large communication overhead required to transmit raw data to central ML processors. As a result, decentralized ML approaches that keep the data where it is generated are much more appealing. Owing to its privacy-preserving nature, federated learning is particularly relevant for many wireless applications, especially in the context of fifth generation (5G) networks. In this article, we provide an accessible introduction to the general idea of federated learning, discuss several possible applications in 5G networks, and describe key technical challenges and open problems for future research on federated learning in the context of wireless communications.


title: Classification of chaotic time series with deep learning

abstract: We use standard deep neural networks to classify univariate time series generated by discrete and continuous dynamical systems based on their chaotic or non-chaotic behaviour. Our approach to circumvent the lack of precise models for some of the most challenging real-life applications is to train different neural networks on a data set from a dynamical system with a basic or low-dimensional phase space and then use these networks to classify univariate time series of a dynamical system with more intricate or high-dimensional phase space. We illustrate this generalisation approach using the logistic map, the sine-circle map, the Lorenz system, and the Kuramoto--Sivashinsky equation. We observe that a convolutional neural network without batch normalization layers outperforms state-of-the-art neural networks for time series classification and is able to generalise and classify time series as chaotic or not with high accuracy.

categories: eess.SP cs.LG math.DS nlin.CD physics.comp-ph stat.ML


title: Vehicular Edge Computing and Networking: A Survey

abstract: As one key enabler of Intelligent Transportation System (ITS), Vehicular Ad Hoc Network (VANET) has received remarkable interest from academia and industry. The emerging vehicular applications and the exponential growing data have naturally led to the increased needs of communication, computation and storage resources, and also to strict performance requirements on response time and network bandwidth. In order to deal with these challenges, Mobile Edge Computing (MEC) is regarded as a promising solution. MEC pushes powerful computational and storage capacities from the remote cloud to the edge of networks in close proximity of vehicular users, which enables low latency and reduced bandwidth consumption. Driven by the benefits of MEC, many efforts have been devoted to integrating vehicular networks into MEC, thereby forming a novel paradigm named as Vehicular Edge Computing (VEC). In this paper, we provide a comprehensive survey of state-of-art research on VEC. First of all, we provide an overview of VEC, including the introduction, architecture, key enablers, advantages, challenges as well as several attractive application scenarios. Then, we describe several typical research topics where VEC is applied. After that, we present a careful literature review on existing research work in VEC by classification. Finally, we identify open research issues and discuss future research directions.


title: Object Tracking and Identification by Quantum Radar

abstract: Quantum Radar is a promising technology that could have a strong impact on the civilian and military realms. In this study we introduce a new concept design for implementing a Quantum Radar, based on the time and polarization correlations of the entangled photons for detection and identification and tracking of high-speed targets. The design is focused on extracting high resolution details of the target with precision timing of entangled photons that provides important operational capabilities like distinguishing a target from a decoy. The quantum entanglement properties guarantee the legitimacy of the photons captured by the search telescope. Time correlations of the photon detection events can be extracted via cross-correlation operation between two sets of photon detection time-tags for the entangled photons. The fact that the wavelengths of the entangled photons can be tuned also makes the Quantum Radar concept an enticing candidate for tracking stealth objects. We present the proof-of-principle test results of the Quantum Radar and discuss the technical challenges and limitations of the design.


title: A Reproducible Analysis of RSSI Fingerprinting for Outdoor Localization Using Sigfox: Preprocessing and Hyperparameter Tuning

abstract: Fingerprinting techniques, which are a common method for indoor localization, have been recently applied with success into outdoor settings. Particularly, the communication signals of Low Power Wide Area Networks (LPWAN) such as Sigfox, have been used for localization. In this rather recent field of study, not many publicly available datasets, which would facilitate the consistent comparison of different positioning systems, exist so far. In the current study, a published dataset of RSSI measurements on a Sigfox network deployed in Antwerp, Belgium is used to analyse the appropriate selection of preprocessing steps and to tune the hyperparameters of a kNN fingerprinting method. Initially, the tuning of hyperparameter k for a variety of distance metrics, and the selection of efficient data transformation schemes, proposed by relevant works, is presented. In addition, accuracy improvements are achieved in this study, by a detailed examination of the appropriate adjustment of the parameters of the data transformation schemes tested, and of the handling of out of range values. With the appropriate tuning of these factors, the achieved mean localization error was 298 meters, and the median error was 109 meters. To facilitate the reproducibility of tests and comparability of results, the code and train/validation/test split used in this study are available.


title: SIRUS: Stable and Interpretable RUle Set for Classification

abstract: State-of-the-art learning algorithms, such as random forests or neural networks, are often qualified as "black-boxes" because of the high number and complexity of operations involved in their prediction mechanism. This lack of interpretability is a strong limitation for applications involving critical decisions, typically the analysis of production processes in the manufacturing industry. In such critical contexts, models have to be interpretable, i.e., simple, stable, and predictive. To address this issue, we design SIRUS (Stable and Interpretable RUle Set), a new classification algorithm based on random forests, which takes the form of a short list of rules. While simple models are usually unstable with respect to data perturbation, SIRUS achieves a remarkable stability improvement over cutting-edge methods. Furthermore, SIRUS inherits a predictive accuracy close to random forests, combined with the simplicity of decision trees. These properties are assessed both from a theoretical and empirical point of view, through extensive numerical experiments based on our R/C++ software implementation sirus available from CRAN.


title: Superconductivity and the upper critical field in the chiral noncentrosymmetric superconductor NbRh$_{2}$B$_{2}$

abstract: NbRh$_{2}$B$_{2}$ crystallises in a chiral noncentrosymmetric structure and exhibits bulk type-II superconductivity below $7.46(5)$~K. Here we show that the temperature dependence of the upper critical field deviates from the behaviour expected for both Werthamer-Helfand-Hohenberg and the Ginzburg-Landau models and that $\mu_{0}H_{\mathrm{c2}}\left(0\right)\approx 18$~T exceeds the Pauli paramagnetic limit, $\mu_{0}H_{\mathrm{P}}=13.9$~T. We explore the reasons for this enhancement. Transverse-field muon spectroscopy measurements suggest that the superconducting gap is either $s$-wave or $\left(s+s\right)$-wave, and the pressure dependence of $T_{\mathrm{c}}$ reveals the superconducting gap is primarily $s$-wave in character. The magnetic penetration depth $\lambda(0) = 595(5)$~nm. Heat capacity measurements reveal the presence of a multigap $\left(s+s\right)$-wave superconducting order parameter and moderate electron-phonon coupling.


title: First steps to bistatic focusing

abstract: Although this work is a bit theoretical and contains lots of derivations, it leads to very explicit practical results in bistatic focusing. Our approach is based on Loffelds bistatic formula describing the point targets reference spectrum for arbitrary bistatic configuration. Based on various simulations the validity of LBF for both airborne and spaceborne configurations is demonstrated. Focusing for special bistatic configurations like: Tandem and Translationally Invariant constellations is considered. The focusing for the Tandem configuration is solved analytically. Focusing in the TI case is realized by blockwise processing. All focusing algorithms are developed in IDL and adequate simulation results are presented. In the end of the paper outlines the conceptual solution of the most difficult bistatic General Case and presents some first focusing results.


title: A Phase Shift and Sum Method for UWB Radar Imaging in Dispersive Media

abstract: A phase shift and sum (PSAS) algorithm to image objects in dispersive media is presented. The algorithm compensates the phase shift of the scattered field from the receiver to the source for each frequency component in an ultrawideband (UWB) and then integrates all the frequency responses. This method resolves the multispeed and multipath issue when UWB signals propagate in dispersive media. In addition, a multipath effect due to refraction on a curved boundary is also explored. By collecting data using a customized microwave measurement system of two different objects placed in a plastic graduated cylinder filled with glycerin, along the measured dielectric parameters of glycerin (a dispersive medium), highquality reconstructed images are formed using PSAS. Quantitative and qualitative comparisons with two other traditional time-shift radar-based microwave imaging algorithms for the same objects under test demonstrate the advantages of PSAS.


title: A persistent homology approach to heart rate variability analysis with an application to sleep-wake classification

abstract: Persistent homology (PH) is a recently developed theory in the field of algebraic topology to study shapes of datasets. It is an effective data analysis tool that is robust to noise and has been widely applied. We demonstrate a general pipeline to apply PH to study time series; particularly the instantaneous heart rate time series for the heart rate variability (HRV) analysis. The first step is capturing the shapes of time series from two different aspects -- {the PH's and hence persistence diagrams of its} sub-level set and Taken's lag map. Second, we propose a systematic {and computationally efficient} approach to summarize persistence diagrams, which we coined {\em persistence statistics}. To demonstrate our proposed method, we apply these tools to the HRV analysis and the sleep-wake, REM-NREM (rapid eyeball movement and non rapid eyeball movement) and sleep-REM-NREM classification problems. The proposed algorithm is evaluated on three different datasets via the cross-database validation scheme. The performance of our approach is better than the state-of-the-art algorithms, and the result is consistent throughout different datasets.


title: K-margin-based Residual-Convolution-Recurrent Neural Network for Atrial Fibrillation Detection

abstract: Atrial Fibrillation (AF) is an abnormal heart rhythm which can trigger cardiac arrest and sudden death. Nevertheless, its interpretation is mostly done by medical experts due to high error rates of computerized interpretation. One study found that only about 66% of AF were correctly recognized from noisy ECGs. This is in part due to insufficient training data, class skewness, as well as semantical ambiguities caused by noisy segments in an ECG record. In this paper, we propose a K-margin-based Residual-Convolution-Recurrent neural network (K-margin-based RCR-net) for AF detection from noisy ECGs. In detail, a skewness-driven dynamic augmentation method is employed to handle the problems of data inadequacy and class imbalance. A novel RCR-net is proposed to automatically extract both long-term rhythm-level and local heartbeat-level characters. Finally, we present a K-margin-based diagnosis model to automatically focus on the most important parts of an ECG record and handle noise by naturally exploiting expected consistency among the segments associated for each record. The experimental results demonstrate that the proposed method with 0.8125 F1NAOP score outperforms all state-of-the-art deep learning methods for AF detection task by 6.8%.


title: On the Double Roman Domination Number of Generalized Sierpinski Graphs

abstract: In this paper, we study the double Roman domination number of generalized Sierpi\'{n}ski graphs $S(G,t)$. More precisely, we obtain a bound for the double Roman domination number of $S(G, t)$. We also find the exact value of $\gamma_{dR}(S(K_{n}, 2))$.


title: Impact of Some Graph Operations on Double Roman Domination Number

abstract: Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2,3\}$ having the property that if $f(v)=0$, then there exist $ v_{1},v_{2}\in N(v)$ such that $f(v_{1})=f(v_{2})=2$ or there exists $ w \in N(v)$ such that $f(w)=3$, and if $f(v)=1$, then there exists $ w \in N(v)$ such that $f(w)\geq 2$ is called a double Roman dominating function (DRDF). The weight of a DRDF $f$ is the sum $f(V)=\sum_{v\in V}f(v)$. The double Roman domination number, $\gamma_{dR}(G)$, is the minimum among the weights of DRDFs on $G$. In this paper, we study the impact of some graph operations, such as cartesian product, addition of twins and corona with a graph, on double Roman domination number.


title: Calibration and operation of SiPM-based cameras for gamma-ray astronomy in presence of high night-sky light

abstract: The next generation of Cherenkov telescope cameras feature Silicon Photo Multipliers (SiPM), which can guarantee excellent performance and allow for observation also under moonlight, increasing duty-cycle and therefore the physics reach. A 4 m-diameter Davies-Cotton prototype telescope with a 9-degree optical FoV and a 1296-pixel SiPM camera, has been designed to meet the requirements of the next generation of ground-based gamma-ray observatories at the highest energies. The large-scale production of the telescopes for array deployment has required the development of a fully automated calibration strategy which relies on a dedicated hardware, the Camera Test Setup (CTS). For each camera pixel, the CTS is equipped with two LEDs, one operated in pulsed mode to reproduce signal and one in continuous mode to reproduce night-sky background. In this contribution we will present the camera calibration strategy, from the laboratory measurement to the on-site monitoring with emphasis on the results obtained with the first camera prototype. In addition, key performances such as charge resolution, time resolution and trigger efficiencies and their degradation with increasing night-sky background level will be presented.


title: The Euler Characteristic Of A Transitive Lie Algebroid

abstract: We apply the Atiyah-Singer index theorem and tensor products of elliptic complexes to the cohomology of transitive Lie algebroids. We prove that the Euler characteristic of a representation of a transitive Lie algebroid $A$ over a compact manifold $M$ vanishes unless $A=TM$, and prove a general K\"{u}nneth formula. As applications we give a short proof of a vanishing result for the Euler characteristic of a principal bundle calculated using invariant differential forms, and show that the cohomology of certain Lie algebroids are exterior algebras. The latter result can be seen as a generalization of Hopf's theorem regarding the cohomology of compact Lie groups.


title: Spectral determinant for the damped wave equation on an interval

abstract: We evaluate the spectral determinant for the damped wave equation on an interval of length $T$ with Dirichlet boundary conditions, proving that it does not depend on the damping. This is achieved by analysing the square of the damped wave operator using the general result by Burghelea, Friedlander, and Kappeler on the determinant for a differential operator with matrix coefficients.


title: Impact of Time-Dependent Wettability Alteration on the Dynamics of Capillary Pressure

abstract: Wettability is a pore-scale property that has an important impact on capillarity, residual trapping, and hysteresis in porous media systems. In many applications, the wettability of the rock surface is assumed to be constant in time and uniform in space. However, many fluids are capable of altering the wettability of rock surfaces permanently and dynamically in time. Experiments have shown wettability alteration can significantly decrease capillarity in CO$_2$ storage applications. For these systems, the standard capillary-pressure model that assumes static wettability is insufficient to describe the physics. In this paper, we develop a new dynamic capillary-pressure model that takes into account changes in wettability at the pore-level by adding a dynamic term to the standard capillary pressure function. We simulate the dynamic system using a bundle-of-tubes (BoT) approach, where a mechanistic model for time-dependent contact angle change is introduced at the pore scale. The resulting capillary pressure curves are then used to quantify the dynamic component of the capillary pressure function. This study shows the importance of time-dependent wettability for determining capillary pressure over timescales of months to years. The impact of wettability has implications for experimental methodology as well as macroscale simulation of wettability-altering fluids.


title: Region crossing change on surfaces

abstract: Region crossing change is a local operation on link diagrams. The behavior of region crossing change on $S^2$ is well understood. In this paper, we study the behavior of (modified) region crossing change on higher genus surfaces.


title: Heartbeat Classification in Wearables Using Multi-layer Perceptron and Time-Frequency Joint Distribution of ECG

abstract: Heartbeat classification using electrocardiogram (ECG) data is a vital assistive technology for wearable health solutions. We propose heartbeat feature classification based on a novel sparse representation using time-frequency joint distribution of ECG. Fundamental to this is a multi-layer perceptron, which incorporates these signatures to detect cardiac arrhythmia. This approach is validated with ECG data from MIT-BIH arrhythmia database. Results show that our approach has an average 95.7% accuracy, an improvement of 22% over state-of-the-art approaches. Additionally, ECG sparse distributed representations generates only 3.7% false negatives, reduction of 89% with respect to existing ECG signal classification techniques.


title: Radio Resource Management for V2V Multihop Communication Considering Adjacent Channel Interference

abstract: This paper investigate joint scheduling and power control for V2V multicast allowing multihop communication. The effects of both co-channel interference and adjacent channel interference are considered. First, we solve the problem with the objective of maximizing the throughput and connectivity of vehicles in the network. Then extend the same problem formulation to include the objective of minimizing the latency and the average age of information (AoI), which is the age of the latest received message. In order to account for fairness, we also show the problem formulation to maximize the worst-case throughput and connectivity. All the problems are formulated as mixed Boolean linear programming problems, which allows computation of optimal solutions. Furthermore, we consider the error probability of a link failure in all the problem formulations and accommodate the probability requirements for satisfying a certain throughput/connectivity/latency/AoI. In order to support a large V2V network, a clustering algorithm is proposed whose computational complexity scale well with the network size. To handle the case of zero channel information at the scheduler, a multihop distributed scheduling scheme is proposed.


title: Commuting graph of $A$-orbits

abstract: Let $A$ be a finite group acting by automorphisms on the finite group $G$. We introduce the commuting graph $\Gamma (G,A)$ of this action and study some questions related to the structure of $G$ under certain graph theoretical conditions on $\Gamma (G,A)$.


title: Comparing linear structure-based and data-driven latent spatial representations for sequence prediction

abstract: Predicting the future of Graph-supported Time Series (GTS) is a key challenge in many domains, such as climate monitoring, finance or neuroimaging. Yet it is a highly difficult problem as it requires to account jointly for time and graph (spatial) dependencies. To simplify this process, it is common to use a two-step procedure in which spatial and time dependencies are dealt with separately. In this paper, we are interested in comparing various linear spatial representations, namely structure-based ones and data-driven ones, in terms of how they help predict the future of GTS. To that end, we perform experiments with various datasets including spontaneous brain activity and raw videos.


title: XSP: Across-Stack Profiling and Analysis of Machine Learning Models on GPUs

abstract: There has been a rapid proliferation of machine learning/deep learning (ML) models and wide adoption of them in many application domains. This has made profiling and characterization of ML model performance an increasingly pressing task for both hardware designers and system providers, as they would like to offer the best possible system to serve ML models with the target latency, throughput, cost, and energy requirements while maximizing resource utilization. Such an endeavor is challenging as the characteristics of an ML model depend on the interplay between the model, framework, system libraries, and the hardware (or the HW/SW stack). Existing profiling tools are disjoint, however, and only focus on profiling within a particular level of the stack, which limits the thoroughness and usefulness of the profiling results. This paper proposes XSP - an across-stack profiling design that gives a holistic and hierarchical view of ML model execution. XSP leverages distributed tracing to aggregate and correlates profile data from different sources. XSP introduces a leveled and iterative measurement approach that accurately captures the latencies at all levels of the HW/SW stack in spite of the profiling overhead. We couple the profiling design with an automated analysis pipeline to systematically analyze 65 state-of-the-art ML models. We demonstrate that XSP provides insights which would be difficult to discern otherwise.


title: Fine-grained Sentiment Analysis with Faithful Attention

abstract: While the general task of textual sentiment classification has been widely studied, much less research looks specifically at sentiment between a specified source and target. To tackle this problem, we experimented with a state-of-the-art relation extraction model. Surprisingly, we found that despite reasonable performance, the model's attention was often systematically misaligned with the words that contribute to sentiment. Thus, we directly trained the model's attention with human rationales and improved our model performance by a robust 4~8 points on all tasks we defined on our data sets. We also present a rigorous analysis of the model's attention, both trained and untrained, using novel and intuitive metrics. Our results show that untrained attention does not provide faithful explanations; however, trained attention with concisely annotated human rationales not only increases performance, but also brings faithful explanations. Encouragingly, a small amount of annotated human rationales suffice to correct the attention in our task.


title: Towards Linearization Machine Learning Algorithms

abstract: This paper is about a machine learning approach based on the multilinear projection of an unknown function (or probability distribution) to be estimated towards a linear (or multilinear) dimensional space E'. The proposal transforms the problem of predicting the target of an observation x into a problem of determining a consensus among the k nearest neighbors of x's image within the dimensional space E'. The algorithms that concretize it allow both regression and binary classification. Implementations carried out using Scala/Spark and assessed on a dozen LIBSVM datasets have demonstrated improvements in prediction accuracies in comparison with other prediction algorithms implemented within Spark MLLib such as multilayer perceptrons, logistic regression classifiers and random forests.


title: A Modified Ising Model of Barab\'asi-Albert Network with Gene-type Spins

abstract: The central question of systems biology is to understand how individual components of a biological system such as genes or proteins cooperate in emerging phenotypes resulting in the evolution of diseases. As living cells are open systems in quasi-steady state type equilibrium in continuous exchange with their environment, computational techniques that have been successfully applied in statistical thermodynamics to describe phase transitions may provide new insights to emerging behavior of biological systems. Here we will systematically evaluate the translation of computational techniques from solid-state physics to network models that closely resemble biological networks and develop specific translational rules to tackle problems unique to living systems. Hence we will focus on logic models exhibiting only two states in each network node. Motivated by the apparent asymmetry between biological states where an entity exhibits boolean states i.e. is active or inactive, we present an adaptation of symmetric Ising model towards an asymmetric one fitting to living systems here referred to as the modified Ising model with gene-type spins. We analyze phase transitions by Monte Carlo simulations and propose mean-field solution of modified Ising model of a network type that closely resembles real-world network, the Barab\'{a}si-Albert model of scale-free networks. We show that asymmetric Ising models show similarities to symmetric Ising models with external field and undergoes a discontinuous phase transition of the first-order and exhibits hysteresis. The simulation setup presented here can be directly used for any biological network connectivity dataset and is also applicable for other networks that exhibit similar states of activity. This is a general statistical method to deal with non-linear large scale models arising in the context of biological systems and is scalable to any network size.


title: When do cross-diffusion systems have an entropy structure?

abstract: Necessary and sufficient conditions for the existence of an entropy structure for certain classes of cross-diffusion systems with diffusion matrix $A(u)$ are derived, based on results from matrix factorization. The entropy structure is important in the analysis for such equations since $A(u)$ is typically neither symmetric nor positive definite. In particular, the normal ellipticity of $A(u)$ for all $u$ and the symmetry of the Onsager matrix implies its positive definiteness and hence an entropy structure. If $A$ is constant or nearly constant in a certain sense, the existence of an entropy structure is equivalent to the normal ellipticity of $A$. Several applications and examples are presented, including the $n$-species population model of Shigesada, Kawasaki, and Teramoto, a volume-filling model, and a fluid mixture model with partial pressure gradients. Furthermore, the normal elipticity of these models is investigated and some extensions are discussed.


title: Efficient Discovery of Expressive Multi-label Rules using Relaxed Pruning

abstract: Being able to model correlations between labels is considered crucial in multi-label classification. Rule-based models enable to expose such dependencies, e.g., implications, subsumptions, or exclusions, in an interpretable and human-comprehensible manner. Albeit the number of possible label combinations increases exponentially with the number of available labels, it has been shown that rules with multiple labels in their heads, which are a natural form to model local label dependencies, can be induced efficiently by exploiting certain properties of rule evaluation measures and pruning the label search space accordingly. However, experiments have revealed that multi-label heads are unlikely to be learned by existing methods due to their restrictiveness. To overcome this limitation, we propose a plug-in approach that relaxes the search space pruning used by existing methods in order to introduce a bias towards larger multi-label heads resulting in more expressive rules. We further demonstrate the effectiveness of our approach empirically and show that it does not come with drawbacks in terms of training time or predictive performance.


title: Interacting Symmetry-Protected Topological Phases Out of Equilibrium

abstract: The topological features of quantum many-body wave functions are known to have profound consequences for the physics of ground-states and their low-energy excitations. We describe how topology influences the dynamics of many-body systems when driven far from equilibrium. Our results are succinctly captured by a nonequilibrium topological classification that can be used to predict universal aspects of generic isolated quantum systems as they evolve unitarily in time. By analogy to the classifications used to describe systems in equilibrium, we consider two short-ranged entangled wave functions to be topologically equivalent if they can be interconverted via finite-time unitary evolution governed by a symmetry-respecting Hamiltonian. We demonstrate that this definition captures the salient features of these systems in a broad range of nonequilibrium scenarios. As well as providing conceptual insights into the constraints imposed by topology on many-body dynamics, we discuss the practical implications of our findings. In particular, we show that the characteristic zero-frequency spectroscopic peaks associated with topologically protected edge modes will be broadened by external noise only when the system is trivial in the nonequilibrium classification.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: Interconversion of multiferroic domains and domain walls

abstract: Materials with long-range order like ferromagnetism or ferroelectricity exhibit uniform, yet differently oriented three-dimensional regions called domains that are separated by two-dimensional topological defects termed domain walls\cite{Tagantsev2010,AlexHubert1998}. A change of the ordered state across a domain wall can lead to local non-bulk properties such as enhanced conductance or the promotion of unusual phases\cite{Seidel2009,Meier2012,Farokhipoor2014}. Although highly desirable, controlled transfer of these exciting properties between the bulk and the walls is usually not possible. Here we demonstrate this crossover from three- to two-dimensions for confining multiferroic Dy$_{0.7}$Tb$_{0.3}$FeO$_3$ domains into multiferroic domain walls at a specified location within a non-multiferroic environment. This process is fully reversible; an applied magnetic or electric field controls the transformation. Aside from the aspect of magnetoelectric functionality, such interconversion can be key to tailoring elusive domain architectures such as in antiferromagnets.


title: Decentralising power: how we are trying to keep CALLector ethical

abstract: We present a brief overview of the CALLector project, and consider ethical questions arising from its overall goal of creating a social network to support creation and use of online CALL resources. We argue that these questions are best addressed in a decentralised, pluralistic open source architecture.


title: HOMFLYPT homology for links in handlebodies via type A Soergel bimodules

abstract: We define a triply-graded invariant of links in a genus g handlebody, generalizing the colored HOMFLYPT (co)homology of links in the 3-ball. Our main tools are the description of these links in terms of a subgroup of the classical braid group, and a family of categorical actions built from complexes of (singular) Soergel bimodules.


title: Covariant & Contravariant Homotopy Theories

abstract: Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on simplicial sets as well as the coCartesian and Cartesian model structures on marked simplicial sets are examples of our formalism. In this setting, notions of final and initial maps and smooth and proper maps arise very naturally and we will identify these maps in the examples.


title: Variance of finite difference methods for reaction networks with non-Lipschitz rate functions

abstract: Parametric sensitivity analysis is a critical component in the study of mathematical models of physical systems. Due to its simplicity, finite difference methods are used extensively for this analysis in the study of stochastically modeled reaction networks. Different coupling methods have been proposed to build finite difference estimators, with the "split coupling," also termed the "stacked coupling," yielding the lowest variance in the vast majority of cases. Analytical results related to this coupling are sparse, and include an analysis of the variance of the coupled processes under the assumption of globally Lipschitz intensity functions [Anderson, SIAM Numerical Analysis, Vol. 50, 2012]. Because of the global Lipschitz assumption utilized in [Anderson, SIAM Numerical Analysis, Vol. 50, 2012], the main result there is only applicable to a small percentage of the models found in the literature, and it was conjectured that similar results should hold for a much wider class of models. In this paper we demonstrate this conjecture to be true by proving the variance of the coupled processes scales in the desired manner for a large class of non-Lipschitz models. We further extend the analysis to allow for time dependence in the parameters. In particular, binary systems with or without time-dependent rate parameters, a class of models that accounts for the vast majority of systems considered in the literature, satisfy the assumptions of our theory.


title: SDIT: Scalable and Diverse Cross-domain Image Translation

abstract: Recently, image-to-image translation research has witnessed remarkable progress. Although current approaches successfully generate diverse outputs or perform scalable image transfer, these properties have not been combined into a single method. To address this limitation, we propose SDIT: Scalable and Diverse image-to-image translation. These properties are combined into a single generator. The diversity is determined by a latent variable which is randomly sampled from a normal distribution. The scalability is obtained by conditioning the network on the domain attributes. Additionally, we also exploit an attention mechanism that permits the generator to focus on the domain-specific attribute. We empirically demonstrate the performance of the proposed method on face mapping and other datasets beyond faces.


title: Cross section ratios as a precision tool for $t\bar{t}\gamma$

abstract: We report on our recent calculation for the off-shell ttA process and its potential for precision measurements by constructing ratios of total and differential cross sections. Precise theoretical predictions for these ratios can help to constrain new physics contributions in the top-quark sector of the Standard Model.


title: Rebellion on Sugarscape: Case Studies for Greed and Grievance Theory of Civil Conflicts using Agent-Based Models

abstract: Public policy making has direct and indirect impacts on social behaviors. However, using system dynamics model alone to assess these impacts fails to consider the interactions among social elements, thus may produce doubtful conclusions. In this study, we examine the political science theory of greed and grievance in modeling civil conflicts. An agent-based model is built based on an existing rebellion model in Netlogo. The modifications and improvements in our model are elaborated. Several case studies are used to demonstrate the use of our model for investigating emergent phenomena and implications of governmental policies.


title: A Domain-Knowledge-Aided Deep Reinforcement Learning Approach for Flight Control Design

abstract: This paper aims to examine the potential of using the emerging deep reinforcement learning techniques in flight control. Instead of learning from scratch, we suggest to leverage domain knowledge available in learning to improve learning efficiency and generalisability. More specifically, the proposed approach fixes the autopilot structure as typical three-loop autopilot and deep reinforcement learning is utilised to learn the autopilot gains. To solve the flight control problem, we then formulate a Markovian decision process with a proper reward function that enable the application of reinforcement learning theory. Another type of domain knowledge is exploited for defining the reward function, by shaping reference inputs in consideration of important control objectives and using the shaped reference inputs in the reward function. The state-of-the-art deep deterministic policy gradient algorithm is utilised to learn an action policy that maps the observed states to the autopilot gains. Extensive empirical numerical simulations are performed to validate the proposed computational control algorithm.


title: Addition-deletion results for the minimal degree of logarithmic derivations of arrangements

abstract: We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to some double points, having the same combinatorics, but distinct minimal degree of a logarithmic derivation, we construct new examples of such pairs, for any number $d\geq 9$ of lines, and any number $n_3\geq 6$ of triple points. Moreover, we show that such examples are not possible for line arrangements having only double and triple points, with $n_3 \leq 5$.


title: Neural Architecture Search by Estimation of Network Structure Distributions

abstract: The influence of deep learning is continuously expanding across different domains, and its new applications are ubiquitous. The question of neural network design thus increases in importance, as traditional empirical approaches are reaching their limits. Manual design of network architectures from scratch relies heavily on trial and error, while using existing pretrained models can introduce redundancies or vulnerabilities. Automated neural architecture design is able to overcome these problems, but the most successful algorithms operate on significantly constrained design spaces, assuming the target network to consist of identical repeating blocks. While such approach allows for faster search, it does so at the cost of expressivity. We instead propose an alternative probabilistic representation of a whole neural network structure under the assumption of independence between layer types. Our matrix of probabilities is equivalent to the population of models, but allows for discovery of structural irregularities, while being simple to interpret and analyze. We construct an architecture search algorithm, inspired by the estimation of distribution algorithms, to take advantage of this representation. The probability matrix is tuned towards generating high-performance models by repeatedly sampling the architectures and evaluating the corresponding networks, while gradually increasing the model depth. Our algorithm is shown to discover non-regular models which cannot be expressed via blocks, but are competitive both in accuracy and computational cost, while not utilizing complex dataflows or advanced training techniques, as well as remaining conceptually simple and highly extensible.


title: Relevance Proximity Graphs for Fast Relevance Retrieval

abstract: In plenty of machine learning applications, the most relevant items for a particular query should be efficiently extracted, while the relevance function is based on a highly-nonlinear model, e.g., DNNs or GBDTs. Due to the high computational complexity of such models, exhaustive search is infeasible even for medium-scale problems. To address this issue, we introduce Relevance Proximity Graphs (RPG): an efficient non-exhaustive approach that provides a high-quality approximate solution for maximal relevance retrieval. Namely, we extend the recent similarity graphs framework to the setting, when there is no similarity measure defined on item pairs, which is a common practical use-case. By design, our approach directly maximizes off-the-shelf relevance functions and does not require any proxy auxiliary models. Via extensive experiments, we show that the developed method provides excellent retrieval accuracy while requiring only a few model computations, outperforming indirect models. We open-source our implementation as well as two large-scale datasets to support further research on relevance retrieval.


title: Direct comparison of high voltage breakdown measurements in liquid argon and liquid xenon

abstract: As noble liquid time projection chambers grow in size their high voltage requirements increase, and detailed, reproducible studies of dielectric breakdown and the onset of electroluminescence are needed to inform their design. The Xenon Breakdown Apparatus (XeBrA) is a 5-liter cryogenic chamber built to characterize the DC high voltage breakdown behavior of liquid xenon and liquid argon. Electrodes with areas up to 33~cm$^2$ were tested while varying the cathode-anode separation from 1 to 6~mm with a voltage difference up to 75~kV. A power-law relationship between breakdown field and electrode area was observed. The breakdown behavior of liquid argon and liquid xenon within the same experimental apparatus was comparable.


title: Superconducting Josephson-based metamaterials for quantum-limited parametric amplification: a review

abstract: In the last few years, several groups have proposed and developed their own platforms demonstrating quantum-limited linear parametric amplification, with evident applications in quantum information and computation, electrical and optical metrology, radio astronomy and basic physics concerning axion detection. Here we propose a short review on the physics behind parametric amplification via metamaterials composed by coplanar wave-guides embedding several Josephson junctions. We present and compare different schemes that exploit the nonlinearity of the Josephson current-phase relation to mix the so-called signal, idler and pump tones. The chapter then presents and compares three different theoretical models, developed in the last few years, to predict the dynamics of these nonlinear systems in the particular case of a 4-Wave Mixing process and under the degenerate undepleted pump assumption. We will demonstrate that, under the same assumption, all the results are comparable in terms of amplification of the output fields.


title: Advanced Mathematical Business Strategy Formulation Design

abstract: This paper deals with the explicit design of strategy formulations to make the best strategic choices from a conventional matrix form of representing strategic choices. The explicit strategy formulation is an analytical model which is targeted to provide a mathematical strategy framework to find the best moment for strategy shifting to prepare rapid market changes. This theoretical model could be adapted into practically any strategic decision making situation when a strategic formulation is described as a matrix form with quantitative measured decision parameters. Analytically tractable results are obtained by using the fluctuation theory and these results are capable to predict the best moments of changing strategies in a matrix form. This research helps strategy decision makers who want to find the optimal moments of shifting present strategies.


title: Weil descent and cryptographic trilinear maps

abstract: It has recently been shown that cryptographic trilinear maps are sufficient for achieving indistinguishability obfuscation. In this paper we develop a method for constructing such maps on the Weil descent (restriction) of abelian varieties over finite fields, including the Jacobian varieties of hyperelliptic curves and elliptic curves. The security of these candidate cryptographic trilinear maps raises several interesting questions, including the computational complexity of a trapdoor discrete logarithm problem.


title: Empirical Likelihood Test for Diagonal Symmetry

abstract: Energy distance is a statistical distance between the distributions of random variables, which characterizes the equality of the distributions. Utilizing the energy distance, we develop a nonparametric test for the diagonal symmetry, which is consistent against any fixed alternatives. The test statistic developed in this paper is based on the difference of two $U$-statistics. By applying the jackknife empirical likelihood approach, the standard limiting chi-square distribution with degree freedom of one is established and is used to determine critical value and $p$-value of the test. Simulation studies show that our method is competitive in terms of empirical sizes and empirical powers.


title: Automated email Generation for Targeted Attacks using Natural Language

abstract: With an increasing number of malicious attacks, the number of people and organizations falling prey to social engineering attacks is proliferating. Despite considerable research in mitigation systems, attackers continually improve their modus operandi by using sophisticated machine learning, natural language processing techniques with an intent to launch successful targeted attacks aimed at deceiving detection mechanisms as well as the victims. We propose a system for advanced email masquerading attacks using Natural Language Generation (NLG) techniques. Using legitimate as well as an influx of varying malicious content, the proposed deep learning system generates \textit{fake} emails with malicious content, customized depending on the attacker's intent. The system leverages Recurrent Neural Networks (RNNs) for automated text generation. We also focus on the performance of the generated emails in defeating statistical detectors, and compare and analyze the emails using a proposed baseline.


title: Dominant rational maps from a very general hypersurface in the projective space

abstract: In this paper we study dominant rational maps $f$ from a very general hypersurface $X$ of degree at least $n+3$ in the projective $(n+1)$-space ${\mathbb P}^{n+1}$ to smooth projective $n$-folds $Y$. Based on Lefschetz theory, Hodge theory, and Cayley-Bacharach property, we prove that there is no dominant rational map from $X$ to $Y$ unless $Y$ is rationally connected, if the degree of the map is a prime number.


title: The Strengths and Behavioral Quirks of Java Bytecode Decompilers

abstract: During compilation from Java source code to bytecode, some information is irreversibly lost. In other words, compilation and decompilation of Java code is not symmetric. Consequently, the decompilation process, which aims at producing source code from bytecode, must establish some strategies to reconstruct the information that has been lost. Modern Java decompilers tend to use distinct strategies to achieve proper decompilation. In this work, we hypothesize that the diverse ways in which bytecode can be decompiled has a direct impact on the quality of the source code produced by decompilers. We study the effectiveness of eight Java decompilers with respect to three quality indicators: syntactic correctness, syntactic distortion and semantic equivalence modulo inputs. This study relies on a benchmark set of 14 real-world open-source software projects to be decompiled (2041 classes in total). Our results show that no single modern decompiler is able to correctly handle the variety of bytecode structures coming from real-world programs. Even the highest ranking decompiler in this study produces syntactically correct output for 84% of classes of our dataset and semantically equivalent code output for 78% of classes.


title: Genetic Algorithms for the Optimization of Diffusion Parameters in Content-Based Image Retrieval

abstract: Several computer vision and artificial intelligence projects are nowadays exploiting the manifold data distribution using, e.g., the diffusion process. This approach has produced dramatic improvements on the final performance thanks to the application of such algorithms to the kNN graph. Unfortunately, this recent technique needs a manual configuration of several parameters, thus it is not straightforward to find the best configuration for each dataset. Moreover, the brute-force approach is computationally very demanding when used to optimally set the parameters of the diffusion approach. We propose to use genetic algorithms to find the optimal setting of all the diffusion parameters with respect to retrieval performance for each different dataset. Our approach is faster than others used as references (brute-force, random-search and PSO). A comparison with these methods has been made on three public image datasets: Oxford5k, Paris6k and Oxford105k.


title: Strong G-schemes and strict homomorphisms

abstract: Let $\mathfrak{P}_r$ be a representation system of the non-isomorphic finite posets, and let ${\cal H}(P,Q)$ be the set of order homomorphisms from $P$ to $Q$. For finite posets $R$ and $S$, we write $R \sqsubseteq_G S$ iff, for every $P \in \mathfrak{P}_r$, a one-to-one mapping $\rho_P : {\cal H}(P,R) \rightarrow {\cal H}(P,S)$ exists which fulfills a certain regularity condition. It is shown that $R \sqsubseteq_G S$ is equivalent to $\# {\cal S}(P,R) \leq \# {\cal S}(P,S)$ for every finite posets $P$, where ${\cal S}(P,Q)$ is the set of strict order homomorphisms from $P$ to $Q$. In consequence, $\# {\cal S}(P,R) = \# {\cal S}(P,S)$ holds for every finite posets $P$ iff $R$ and $S$ are isomorphic. A sufficient condition is derived for $R \sqsubseteq_G S$ which needs the inspection of a finite number of posets only. Additionally, a method is developed which facilitates for posets $P + Q$ (direct sum) the construction of posets $T$ with $P + Q \sqsubseteq_G A + T$, where $A$ is a convex subposet of $P$.


title: Dynamic characterization of an alkali-ion battery as a source for laser-cooled atoms

abstract: We investigate a solid-state, reversible, alkali-ion battery (AIB) capable of regulating the density of alkali atoms in a vacuum system used for the production of laser-cooled atoms. The cold-atom sample can be used with in-vacuum chronoamperometry as a diagnostic for the voltage-controlled electrochemical reaction that sources or sinks alkali atoms into the vapor. In a combined reaction-diffusion-limited regime, we show that the number of laser-cooled atoms in a magneto-optical trap can be increased both by initially loading the AIB from the vapor for longer, and by using higher voltages across the AIB when atoms are subsequently sourced back into the vapor. The time constants associated with the change in atom number in response to a change in AIB voltage are in the range of 0.5 s - 40 s. The AIB alkali reservoir is demonstrated to survive oxidization during atmospheric exposure, simplifying reservoir loading prior to vacuum implementation as a replacement for traditional resistively-heated dispensers. The AIB capabilities may provide an improved atom number stability in next-generation atomic clocks and sensors, while also facilitating fast loading and increased interrogation times.


title: Supertwistor description of ambitwistor strings

abstract: A new ambitwistor string is constructed based on a ten-dimensional supertwistor model for the massless superparticle. Although covariant quantization is complicated by reducibility issues, a light-cone gauge analysis can be easily performed. We show that with this analysis, this supertwistor ambitwistor string is equivalent to the RNS ambitwistor string in light-cone gauge. In order to make the comparison, we develop the light-cone gauge analysis of the RNS ambitwistor string which has some novel features in terms of its expression of the scattering equations through interaction point operators.


title: An Autonomous Performance Testing Framework using Self-Adaptive Fuzzy Reinforcement Learning

abstract: Test automation brings the potential to reduce costs and human effort, but several aspects of software testing remain challenging to automate. One such example is automated performance testing to find performance breaking points. Current approaches to tackle automated generation of performance test cases mainly involve using source code or system model analysis or use-case based techniques. However, source code and system models might not always be available at testing time. On the other hand, if the optimal performance testing policy for the intended objective in a testing process instead could be learned by the testing system, then test automation without advanced performance models could be possible. Furthermore, the learned policy could later be reused for similar software systems under test, thus leading to higher test efficiency. We propose SaFReL, a self-adaptive fuzzy reinforcement learning-based performance testing framework. SaFReL learns the optimal policy to generate performance test cases through an initial learning phase, then reuses it during a transfer learning phase, while keeping the learning running and updating the policy in the long term. Through multiple experiments on a simulated environment, we demonstrate that our approach generates the target performance test cases for different programs more efficiently than a typical testing process, and performs adaptively without access to source code and performance models.


title: Gradient Methods for Solving Stackelberg Games

abstract: Stackelberg Games are gaining importance in the last years due to the raise of Adversarial Machine Learning (AML). Within this context, a new paradigm must be faced: in classical game theory, intervening agents were humans whose decisions are generally discrete and low dimensional. In AML, decisions are made by algorithms and are usually continuous and high dimensional, e.g. choosing the weights of a neural network. As closed form solutions for Stackelberg games generally do not exist, it is mandatory to have efficient algorithms to search for numerical solutions. We study two different procedures for solving this type of games using gradient methods. We study time and space scalability of both approaches and discuss in which situation it is more appropriate to use each of them. Finally, we illustrate their use in an adversarial prediction problem.


title: Charged particle spectra from $\mu^{-}$ capture on Al

abstract: Published data on the emission of charged particles following nuclear muon capture are extremely limited. In addition to its interest as a probe of the nuclear response, these data are important for the design of some current searches for lepton flavor violation. This work presents momentum spectra of protons and deuterons following $\mu^{-}$ capture in aluminum. It is the first measurement of a muon capture process performed with a tracking spectrometer. A precision of better than 10% over the momentum range of 100--190 MeV/c for protons is obtained; for deuterons of 145--250 MeV/c the precision is better than 20%. The observed partial yield of protons with emission momenta above 80 MeV/c (kinetic energy 3.4 MeV) is $0.0322\pm0.0007(\text{stat})\pm0.0022(\text{syst})$ per capture, and for deuterons above 130 MeV/c (4.5 MeV) it is $0.0122\pm0.0009(\text{stat})\pm0.0006(\text{syst})$. Extrapolating to total yields gives $0.045\pm0.001(\text{stat})\pm0.003(\text{syst}) \pm 0.001(\text{extrapolation})$ per capture for protons and $0.018\pm0.001(\text{stat})\pm0.001(\text{syst})\pm 0.002(\text{extrapolation})$ for deuterons, which are the most precise measurements of these quantities to date.


title: Multi-Garment Net: Learning to Dress 3D People from Images

abstract: We present Multi-Garment Network (MGN), a method to predict body shape and clothing, layered on top of the SMPL model from a few frames (1-8) of a video. Several experiments demonstrate that this representation allows higher level of control when compared to single mesh or voxel representations of shape. Our model allows to predict garment geometry, relate it to the body shape, and transfer it to new body shapes and poses. To train MGN, we leverage a digital wardrobe containing 712 digital garments in correspondence, obtained with a novel method to register a set of clothing templates to a dataset of real 3D scans of people in different clothing and poses. Garments from the digital wardrobe, or predicted by MGN, can be used to dress any body shape in arbitrary poses. We will make publicly available the digital wardrobe, the MGN model, and code to dress SMPL with the garments.


title: The Defocusing Energy-critical Klein-Gordon-Hartree Equation

abstract: In this paper, we study the scattering theory for the defocusing energy-critical Klein-Gordon equation with a cubic convolution $u_{tt}-\Delta u+u+(|x|^{-4}\ast|u|^2)u=0$ in the spatial dimension $d \geq 5$. We utilize the strategy in [S. Ibrahim, N. Masmoudi and K. Nakanishi, Scattering threshold for the focusing nonlinear Klein-Gordon equation. Analysis and PDE., 4 (2011), 405-460.] derived from concentration compactness ideas to show that the proof of the global well-posedness and scattering is reduced to disprove the existence of the soliton-like solution. Employing technique from [B. Pausader, Scattering for the Beam Equation in Low Dimensions. Indiana Univ. Math. J., 59 (2010), 791-822.], we consider a virial-type identity in the direction orthogonal to the momentum vector so as to exclude such solution.


title: Spectroscopic studies of stellar populations in globular clusters and field stars: implications for globular cluster and Milky Way halo formation

abstract: We review spectroscopic results concerning multiple stellar populations in globularclusters. The cluster initial mass is the most important parameter determining the fraction of second generation stars. The threshold for the onset of the multiple population phenomenon is 1-3x10^5 MSun. Nucleosynthesis is influenced by metallicity: Na/O and Mg/Al anti-correlations are more extended in metal-poor than in metal-rich clusters. Massive clusters are more complex systems than the smaller ones, with several populations characterized by different chemical compositions. The high Li abundance observed in the intermediate second generation stars strongly favours intermediate mass AGB stars as polluters for this class of stars; however, it is well possible that the polluters of extreme second generation stars, that often do not have measurable Li, may be fast rotating massive stars or super-massive stars. The mass budget factor should be a function of the cluster mass, and needs to be large only in massive clusters.


title: Fixed points and semifree bordism

abstract: We apply fixed-point techniques to compute the coefficient ring of semifree geometric circle-equivariant complex cobordism with isolated fixed points, recovering a 2004 result of Sinha through 19th-century methods.


title: Probability Estimation with Truncated Inverse Binomial Sampling

abstract: In this paper, we develop a general theory of truncated inverse binomial sampling. In this theory, the fixed-size sampling and inverse binomial sampling are accommodated as special cases. In particular, the classical Chernoff-Hoeffding bound is an immediate consequence of the theory. Moreover, we propose a rigorous and efficient method for probability estimation, which is an adaptive Monte Carlo estimation method based on truncated inverse binomial sampling. Our proposed method of probability estimation can be orders of magnitude more efficient as compared to existing methods in literature and widely used software.


title: Charged Taub-NUT solution in Lovelock gravity with generalized Wheeler polynomials

abstract: Wheeler's approach to finding exact solutions in Lovelock gravity has been predominantly applied to static spacetimes. This has led to a Birkhoff's theorem for arbitrary base manifolds in dimensions higher than four. In this work, we generalize the method and apply it to a stationary metric. Using this perspective, we present a Taub-NUT solution in eight-dimensional Lovelock gravity coupled to Maxwell fields. We use the first-order formalism to integrate the equations of motion in the torsion-free sector. The Maxwell field is presented explicitly with general integration constants, while the background metric is given implicitly in terms of a cubic algebraic equation for the metric function. We display precisely how the NUT parameter generalizes Wheeler polynomials in a highly nontrivial manner.


title: Numerically robust tetrahedron-based tomographic forward and backward projectors on parallel architectures

abstract: X-ray tomographic reconstruction typically uses voxel basis functions to represent volumetric images. Due to the structure in voxel basis representations, efficient ray-tracing methods exist allowing fast, GPU accelerated implementations. Tetrahedral mesh basis functions are a valuable alternative to voxel based image representations as they provide flexible, inhomogeneous partitionings which can be used to provide reconstructions with reduced numbers of elements or with arbitrarily fine object surface representations. We thus present a robust parallelizable ray-tracing method for volumetric tetrahedral domains developed specifically for Computed Tomography image reconstruction. Tomographic image reconstruction requires algorithms that are robust to numerical errors in floating point arithmetic whilst typical data sizes encountered in tomography require the algorithm to be parallelisable in GPUs which leads to additional constraints on algorithm choices. Based on these considerations, this article presents numerical solutions to the design of efficient ray-tracing algorithms for the projection and backprojection operations. Initial reconstruction results using CAD data to define a triangulation of the domain demonstrate the advantages of our method and contrast tetrahedral mesh based reconstructions to voxel based methods.


title: Disorder driven multifractality transition in Weyl nodal loops

abstract: The effect of short-range disorder in nodal line semimetals is studied by numerically exact means. For arbitrary small disorder, a novel semimetallic phase is unveiled for which the momentum-space amplitude of the ground-state wave function is concentrated around the nodal line and follows a multifractal distribution. At a critical disorder strength, a semimetal to compressible metal transition occurs, coinciding with a multi- to single-fractality transition. The universality class of this critical point is characterized by the correlation length and dynamical exponents. At considerably higher disorder, an Anderson metal-insulator transition takes place. Our results show that the nature of the semimetallic phase in non-clean samples is fundamentally different from a clean nodal semimetal.