title: AI and conventional methods for UCT projection data estimation

abstract: A 2D Compact ultrasound computerized tomography (UCT) system is developed. Fully automatic post processing tools involving signal and image processing are developed as well. Square of the amplitude values are used in transmission mode with natural 1.5 MHz frequency and rise time 10.4 ns and fall time 8.4 ns and duty cycle of 4.32%. Highest peak to corresponding trough values are considered as transmitting wave between transducers in direct line talk. Sensitivity analysis of methods to extract peak to corresponding trough per transducer are discussed in this paper. Total five methods are tested. These methods are taken from broad categories: (a) Conventional and (b) Artificial Intelligence (AI) based methods. Conventional methods, namely: (a) simple gradient based peak detection, (b) Fourier based, (c) wavelet transform are compared with AI based methods: (a) support vector machine (SVM), (b) artificial neural network (ANN). Classification step was performed as well to discard the signal which does not has contribution of transmission wave. It is found that conventional methods have better performance. Reconstruction error, accuracy, F-Score, recall, precision, specificity and MCC for 40 x 40 data 1600 data files are measured. Each data file contains 50,002 data point. Ten such data files are used for training the Neural Network. Each data file has 7/8 wave packets and each packet corresponds to one transmission amplitude data. Reconstruction error is found to be minimum for ANN method. Other performance indices show that FFT method is processing the UCT signal with best recovery.


title: Expressing and Executing Informed Consent Permissions Using SWRL: The All of Us Use Case

abstract: The informed consent process is a complicated procedure involving permissions as well a variety of entities and actions. In this paper, we discuss the use of Semantic Web Rule Language (SWRL) to further extend the Informed Consent Ontology (ICO) to allow for semantic machine-based reasoning to manage and generate important permission-based information that can later be viewed by stakeholders. We present four use cases of permissions from the All of Us informed consent document and translate these permissions into SWRL expressions to extend and operationalize ICO. Our efforts show how SWRL is able to infer some of the implicit information based on the defined rules, and demonstrate the utility of ICO through the use of SWRL extensions. Future work will include developing formal and generalized rules and expressing permissions from the entire document, as well as working towards integrating ICO into software systems to enhance the semantic representation of informed consent for biomedical research.


title: Cooperative Localization Utilizing Reinforcement Learning for 5G Networks

abstract: The demand for accurate localization has risen in recent years to enable the emerging of autonomous vehicles. To have these vehicles in the traffic ecosystem of smart cities, the need for an accurate positioning system is emphasized. To realize accurate positioning, collaborative localization plays an important role. This type of localization computes range measurements between vehicles and improves the accuracy of position by correcting the possibly faulty values of one of them by using the more accurate values of the other. 5G signals with the technology of Millimeter Wave (mmWave) support precise range measurements and 5G networks provide Device to Device (D2D) communication which improves collaborative localization. The aim of this paper is to provide an accurate collaborative positioning for autonomous vehicles, which is less prone to errors utilizing reinforcement learning technique for selecting the most accurate and suitable range measurement technique for the 5G signal.


title: Achieving Full Grating-Lobe-Free Field-of-View with Low-Complexity Co-prime Photonic Beamforming Transceivers

abstract: Integrated photonic active beamforming can significantly reduce the size and cost of coherent imagers for LiDAR and medical imaging applications. In current architectures, the complexity of photonic and electronic circuitry linearly increases with the desired imaging resolution. We propose a novel photonic transceiver architecture based on co-prime sampling techniques that breaks this trade-off and achieves the full (radiating-element-limited) field-of-view (FOV) for a 2D aperture with a single-frequency laser. Using only order-of-N radiating elements, this architecture achieves beamwidth and side-lobe level (SLL) performance equivalent to a transceiver with order-of-N-squared elements with half-wavelength spacing. Furthermore, we incorporate a pulse amplitude modulation (PAM) row-column drive methodology to reduce the number of required electrical drivers for this architecture from order of N to order of square root of N. A silicon photonics implementation of this architecture using two 64-element apertures, one for transmitting and one for receiving, requires only 34 PAM electrical drivers and achieves a transceiver SLL of -11.3dB with 1026 total resolvable spots, and 0.6 degree beamwidth within a 23x16.3 degree FOV.


title: A New Constructive Heuristic driven by Machine Learning for the Traveling Salesman Problem

abstract: Recent systems applying Machine Learning (ML) to solve the Traveling Salesman Problem (TSP) exhibit issues when they try to scale up to real case scenarios with several hundred vertices. The use of Candidate Lists (CLs) has been brought up to cope with the issues. The procedure allows to restrict the search space during solution creation, consequently reducing the solver computational burden. So far, ML were engaged to create CLs and values on the edges of these CLs expressing ML preferences at solution insertion. Although promising, these systems do not clearly restrict what the ML learns and does to create solutions, bringing with them some generalization issues. Therefore, motivated by exploratory and statistical studies, in this work we instead use a machine learning model to confirm the addition in the solution just for high probable edges. CLs of the high probable edge are employed as input, and the ML is in charge of distinguishing cases where such edges are in the optimal solution from those where they are not. . This strategy enables a better generalization and creates an efficient balance between machine learning and searching techniques. Our ML-Constructive heuristic is trained on small instances. Then, it is able to produce solutions, without losing quality, to large problems as well. We compare our results with classic constructive heuristics, showing good performances for TSPLIB instances up to 1748 cities. Although our heuristic exhibits an expensive constant time operation, we proved that the computational complexity in worst-case scenario, for the solution construction after training, is $O(n^2 \log n^2)$, being $n$ the number of vertices in the TSP instance.


title: IQ Photonic Receiver for Coherent Imaging with a Scalable Aperture

abstract: Silicon photonics (SiP) integrated coherent image sensors offer higher sensitivity and improved range-resolution-product compared to direct detection image sensors such as CCD and CMOS devices. Previous generation of SiP coherent imagers suffer from relative optical phase fluctuations between the signal and reference paths, which results in random phase and amplitude fluctuations in the output signal. This limitation negatively impacts the SNR and signal acquisition times. Here we present a coherent imager system that suppresses the optical carrier signal and removes non-idealities from the relative optical path using a photonic in-phase (I) and quadrature (Q) receiver via a $90^\circ$ hybrid detector. Furthermore, we incorporate row-column read-out and row-column addressing schemes to address the electro-optical interconnect density challenge. Our novel row-column read-out architecture for the sensor array requires only $2N$ interconnects for $N^2$ sensors. An $8\times8$ IQ sensor array is presented as a proof-of-concept demonstration with $1.2\times 10^{-5}$ resolution over range accuracy. Free-space FMCW ranging with 250um resolution at 1m distance has been demonstrated using this sensor array.


title: ECG-Based Heart Arrhythmia Diagnosis Through Attentional Convolutional Neural Networks

abstract: Electrocardiography (ECG) signal is a highly applied measurement for individual heart condition, and much effort have been endeavored towards automatic heart arrhythmia diagnosis based on machine learning. However, traditional machine learning models require large investment of time and effort for raw data preprocessing and feature extraction, as well as challenged by poor classification performance. Here, we propose a novel deep learning model, named Attention-Based Convolutional Neural Networks (ABCNN) that taking advantage of CNN and multi-head attention, to directly work on the raw ECG signals and automatically extract the informative dependencies for accurate arrhythmia detection. To evaluate the proposed approach, we conduct extensive experiments over a benchmark ECG dataset. Our main task is to find the arrhythmia from normal heartbeats and, at the meantime, accurately recognize the heart diseases from five arrhythmia types. We also provide convergence analysis of ABCNN and intuitively show the meaningfulness of extracted representation through visualization. The experimental results show that the proposed ABCNN outperforms the widely used baselines, which puts one step closer to intelligent heart disease diagnosis system.


title: Smoother Entropy for Active State Trajectory Estimation and Obfuscation in POMDPs

abstract: We study the problem of controlling a partially observed Markov decision process (POMDP) to either aid or hinder the estimation of its state trajectory. We encode the estimation objectives via the smoother entropy, which is the conditional entropy of the state trajectory given measurements and controls. Consideration of the smoother entropy contrasts with previous approaches that instead resort to marginal (or instantaneous) state entropies due to tractability concerns. By establishing novel expressions for the smoother entropy in terms of the POMDP belief state, we show that both the problems of minimising and maximising the smoother entropy in POMDPs can surprisingly be reformulated as belief-state Markov decision processes with concave cost and value functions. The significance of these reformulations is that they render the smoother entropy a tractable optimisation objective, with structural properties amenable to the use of standard POMDP solution techniques for both active estimation and obfuscation. Simulations illustrate that optimisation of the smoother entropy leads to superior trajectory estimation and obfuscation compared to alternative approaches.

categories: eess.SY cs.AI cs.IT cs.SY eess.SP math.IT


title: Weakly concave operators

abstract: We study a class of left-invertible operators which we call weakly concave operators. It includes the class of concave operators and some subclasses of expansive strict $m$-isometries with $m > 2$. We prove a Wold-type decomposition for weakly concave operators. We also obtain a Berger-Shaw-type theorem for analytic finitely cyclic weakly concave operators. The proofs of these results rely heavily on a spectral dichotomy for left-invertible operators. It provides a fairly close relationship, written in terms of the reciprocal automorphism of the Riemann sphere, between the spectra of a left-invertible operator and any of its left inverses. We further place the class of weakly concave operators, as the term $\mathcal A_1$, in the chain $\mathcal A_0 \subseteq \mathcal A_1 \subseteq \ldots \subseteq \mathcal A_{\infty}$ of collections of left-invertible operators. We show that most of the aforementioned results can be proved for members of these classes. Subtleties arise depending on whether the index $k$ of the class $\mathcal A_k$ is finite or not. In particular, a Berger-Shaw-type theorem fails to be true for members of~$\mathcal A_{\infty}$. This discrepancy is better revealed in the context of $C^*$- and $W^*$-algebras.


title: Effects of Small-Scale Absorption Systems on Neutral Islands during the Late Epoch of Reionization

abstract: The reionization process is expected to be prolonged by the small-scale absorbers (SSAs) of ionizing photons, which have been seen as Lyman-limit systems in quasar absorption line observations. We use a set of semi-numerical simulations to investigate the effects of absorption systems on the reionization process, especially their impacts on the neutral islands during the late Epoch of Reionization (EoR). Three models are studied, i.e. the extreme case of no-SSA model with a high level of ionizing background, the moderate-SSA model with a relatively high level of ionizing background, and the dense-SSA model with a low level of ionizing background. We find that while the characteristic scale of neutral regions decreases during the early and middle stages of reionization, it stays nearly unchanged at about 10 comoving Mpc during the late stage for the no-SSA and moderate-SSA models. However, in the case of weak ionizing background in the dense-SSA model, the characteristic island scale shows obvious evolution, as large islands break into many small ones that are slowly ionized. The evolutionary behavior of neutral islands during the late EoR thus provides a novel way to constrain the abundance of SSAs. We discuss the 21-cm observation with the upcoming Square Kilometre Array. The different models can be distinguished by either the 21-cm imaging or the 21-cm power spectrum measurements.


title: Spatiotemporal dynamics of free and bound excitons in CVD-grown MoS$_2$ monolayer

abstract: We study photoluminescence (PL) spectra and exciton dynamics of MoS$_2$ monolayer (ML) grown by the chemical vapor deposition technique. In addition to the usual direct A-exciton line we observe a low-energy line of bound excitons dominating the PL spectra at low temperatures. This line shows unusually strong redshift with increase in the temperature and submicrosecond time dynamics suggesting indirect nature of the corresponding transition. By monitoring temporal dynamics of exciton PL distribution in the ML plane we observe diffusive transport of A-excitons and measure the diffusion coefficient up to $40$~cm$^2$/s at elevated excitation powers. The bound exciton spatial distribution spreads over tens of microns in $\sim 1$ $\mu$s. However this spread is subdiffusive, characterized by a significant slowing down with time. The experimental findings are interpreted as a result of the interplay between the diffusion and Auger recombination of excitons.


title: A roadmap to reverse engineering real-world generalization by combining naturalistic paradigms, deep sampling, and predictive computational models

abstract: Real-world generalization, e.g., deciding to approach a never-seen-before animal, relies on contextual information as well as previous experiences. Such a seemingly easy behavioral choice requires the interplay of multiple neural mechanisms, from integrative encoding to category-based inference, weighted differently according to the circumstances. Here, we argue that a comprehensive theory of the neuro-cognitive substrates of real-world generalization will greatly benefit from empirical research with three key elements. First, the ecological validity provided by multimodal, naturalistic paradigms. Second, the model stability afforded by deep sampling. Finally, the statistical rigor granted by predictive modeling and computational controls.


title: Reconfigurable 3D magnonic crystal: tunable and localized spin-wave excitations in CoFeB meander-shaped film

abstract: In this work, we study experimentally by broadband ferromagnetic resonance measurements, the dependence of the spin-wave excitation spectra on the magnetic applied field in CoFeB meander-shaped films. Two different orientations of the external magnetic field were explored, namely parallel or perpendicular to the lattice cores. The interpretation of the field dependence of the frequency and spatial profiles of major spin-wave modes were obtained by micromagnetic simulations. We show that the vertical segments lead to the easy-axis type of magnetic anisotropy and support the in-phase and out-of-phase spin-wave precession amplitude in the vertical segments. The latter could potentially be used for the design of tunable metasurfaces or in magnetic memories based on meandering 3D magnetic films.


title: Fusion of evidential CNN classifiers for image classification

abstract: We propose an information-fusion approach based on belief functions to combine convolutional neural networks. In this approach, several pre-trained DS-based CNN architectures extract features from input images and convert them into mass functions on different frames of discernment. A fusion module then aggregates these mass functions using Dempster's rule. An end-to-end learning procedure allows us to fine-tune the overall architecture using a learning set with soft labels, which further improves the classification performance. The effectiveness of this approach is demonstrated experimentally using three benchmark databases.


title: Energy condition and cosmic censorship conjecture in the perfect fluid collapse

abstract: The hypothesis of cosmic censorship plays a crucial role in classical general relativity, namely, to ensure that naked singularities would never occur from the black hole singularity. In this paper, we will present how energy conditions prohibit forming the naked singularity in the spherical perfect fluid collapse, and thus the strong cosmic censorship conjecture hold in this model. We also show that this result can be extended to the cosmological constant background.


title: Homogeneity of zero-divisors, units and colon ideals in a graded ring

abstract: In this article, we introduce two conjectures generalizing Kaplansky's zero-divisor conjecture of group-rings to the more general setting of $G$-graded rings with $G$ a torsion-free group. We prove that if $I$ is an unfaithful left ideal of a $G$-graded ring $R$ with $G$ a totally ordered group, then there exists a (nonzero) homogeneous element $g\in R$ such that $gI=0$. This theorem completely resolves the new conjectures in the case that the group involved in the grading is a totally ordered group. Our result also generalizes McCoy's famous theorem on polynomial rings to the more general setting of $G$-graded rings. Although Kaplansky's unit conjecture was recently disproved by a counterexample for arbitrary torsion-free groups \cite{Gardam}, we discovered quite useful results in this regard for totally ordered groups. In particular, we show that every invertible element of a $G$-graded domain (not necessarily commutative) with $G$ a totally ordered group is homogeneous. This result enables us to provide a characterization of invertible elements in $G$-graded commutative rings. Next, we prove that if $I$ is a graded radical ideal of a $G$-graded commutative ring $R$ with $G$ a torsion-free Abelian group and $J$ an arbitrary ideal of $R$, then the colon ideal $I:_{R}J$ is a graded ideal. This result vastly generalizes Armendariz' theorem on reduced polynomial rings to the more general setting of graded rings.


title: Totally nonnegative Grassmannians, Grassmann necklaces and quiver Grassmannians

abstract: Postnikov constructed a cellular decomposition of the totally nonnegative Grassmannians. The poset of cells can be described (in particular) via Grassmann necklaces. We study certain quiver Grassmannians for the cyclic quiver admitting a cellular decomposition, whose cells are naturally labeled by Grassmann necklaces. We show that the posets of cells coincide with the reversed cell posets of the cellular decomposition of the totally nonnegative Grassmannians. We investigate algebro-geometric and combinatorial properties of these quiver Grassmannians. In particular, we describe the irreducible components, study the action of the automorphism groups of the underlying representations and describe the moment graphs. We also construct a resolution of singularities for each irreducible component; the resolutions are defined as quiver Grassmannians for an extended cyclic quiver.


title: On almost nonpositive $k$-Ricci curvature

abstract: Motivated by the recent work of Chu-Lee-Tam on the nefness of canonical line bundle for compact K\"{a}hler manifolds with nonpositive $k$-Ricci curvature, we consider a natural notion of {\em almost nonpositive $k$-Ricci curvature}, which is weaker than the existence of a K\"{a}hler metric with nonpositive $k$-Ricci curvature. When $k=1$, this is just the {\em almost nonpositive holomorphic sectional curvature} introduced by Zhang. We firstly give a lower bound for the existence time of the twisted K\"{a}hler-Ricci flow when there exists a K\"{a}hler metric with $k$-Ricci curvature bounded from above by a positive constant. As an application, we prove that a compact K\"{a}hler manifold of almost nonpositive $k$-Ricci curvature must have nef canonical line bundle.


title: On the $q$-analogue of the pair correlation conjecture via Fourier optimization

abstract: We study the $q$-analogue of the average of Montgomery's function $F(\alpha, T)$ over bounded intervals. Assuming the Generalized Riemann Hypothesis for Dirichlet $L$-functions, we obtain upper and lower bounds for this average over an interval that are quite close to the pointwise conjectured value of 1. To compute our bounds, we extend a Fourier analysis approach by Carneiro, Chandee, Chirre, and Milinovich, and apply computational methods of non-smooth programming.


title: Some unusual wormholes in general relativity

abstract: In this short review we present some recently obtained traversable wormhole models in the framework of general relativity (GR) in four and six dimensions that somehow widen our common ideas on wormhole existence and properties. These are, first, rotating cylindrical wormholes, asymptotically flat in the radial direction and existing without exotic matter. The topological censorship theorems are not violated due to lack of asymptotic flatness in all spatial directions. Second, these are cosmological wormholes constructed on the basis of the Lemaitre-Tolman-Bondi solution. They connect two copies of a closed Friedmann world filled with dust, or two otherwise distant parts of the same Friedmann world. Third, these are wormholes obtained in six-dimensional GR, whose one entrance is located in "our" asymptotically flat world with very small extra dimensions while the other "end" belongs to a universe with large extra dimensions and therefore different physical properties. The possible observable features of such wormholes are briefly discussed.


title: Slow decay and turnpike for infinite-horizon hyperbolic LQ problems

abstract: This paper is devoted to analysing the explicit slow decay rate and turnpike in the infinite-horizon linear quadratic optimal control problems for hyperbolic systems. Assume that some weak observability or controllability are satisfied, by which, the lower and upper bounds of the corresponding algebraic Riccati operator are estimated, respectively. Then based on these two bounds, the explicit slow decay rate of the closed-loop system with Riccati-based optimal feedback control is obtained. The averaged turnpike property for this problem is also further discussed. We then apply these results to the LQ optimal control problems constraint to networks of one-dimensional wave equations and also some multi-dimensional ones with local controls which lack of GCC(Geometric Control Condition).


title: Back to the Drawing Board: A Critical Evaluation of Poisoning Attacks on Production Federated Learning

abstract: While recent works have indicated that federated learning (FL) may be vulnerable to poisoning attacks by compromised clients, their real impact on production FL systems is not fully understood. In this work, we aim to develop a comprehensive systemization for poisoning attacks on FL by enumerating all possible threat models, variations of poisoning, and adversary capabilities. We specifically put our focus on untargeted poisoning attacks, as we argue that they are significantly relevant to production FL deployments. We present a critical analysis of untargeted poisoning attacks under practical, production FL environments by carefully characterizing the set of realistic threat models and adversarial capabilities. Our findings are rather surprising: contrary to the established belief, we show that FL is highly robust in practice even when using simple, low-cost defenses. We go even further and propose novel, state-of-the-art data and model poisoning attacks, and show via an extensive set of experiments across three benchmark datasets how (in)effective poisoning attacks are in the presence of simple defense mechanisms. We aim to correct previous misconceptions and offer concrete guidelines to conduct more accurate (and more realistic) research on this topic.


title: Pattern Inversion as a Pattern Recognition Method for Machine Learning

abstract: Artificial neural networks use a lot of coefficients that take a great deal of computing power for their adjustment, especially if deep learning networks are employed. However, there exist coefficients-free extremely fast indexing-based technologies that work, for instance, in Google search engines, in genome sequencing, etc. The paper discusses the use of indexing-based methods for pattern recognition. It is shown that for pattern recognition applications such indexing methods replace with inverse patterns the fully inverted files, which are typically employed in search engines. Not only such inversion provide automatic feature extraction, which is a distinguishing mark of deep learning, but, unlike deep learning, pattern inversion supports almost instantaneous learning, which is a consequence of absence of coefficients. The paper discusses a pattern inversion formalism that makes use on a novel pattern transform and its application for unsupervised instant learning. Examples demonstrate a view-angle independent recognition of three-dimensional objects, such as cars, against arbitrary background, prediction of remaining useful life of aircraft engines, and other applications. In conclusion, it is noted that, in neurophysiology, the function of the neocortical mini-column has been widely debated since 1957. This paper hypothesize that, mathematically, the cortical mini-column can be described as an inverse pattern, which physically serves as a connection multiplier expanding associations of inputs with relevant pattern classes.


title: Domain size and charge defects on the polarization switching of antiferroelectric domains

abstract: The switching behavior of antiferroelectric domain structures under the applied electric field is not fully understood. In this work, by using the phase field simulation, we have studied the polarization switching property of antiferroelectric domains. Our results indicate that the ferroelectric domains nucleate preferably at the boundaries of the antiferroelectric domains, and antiferroelectrics with larger initial domain sizes possess a higher coercive electric field as demonstrated by hysteresis loops. Moreover, we introduced charge defects into the sample and numerically investigated their influence. It is also shown that charge defects can induce local ferroelectric domains, which could suppress the saturation polarization and narrow the enclosed area of the hysteresis loop. Our results give insights into understanding antiferroelectric phase transformation and optimizing the energy storage property in experiments.


title: Effect of Share Capital on Financial Growth of Non-Financial Firms Listed at the Nairobi Securities Exchange

abstract: Purpose: A significant number of the non-financial firms listed at the Nairobi Securities Exchange (NSE) have been experiencing declining financial performance which deters investors from investing in such firms. The lenders are also not willing to lend to such firms. As such, the firms struggle to raise funds for their operations. Prudent financing decisions can lead to financial growth of the firm. The purpose of this study is to assess the effect of Share capital on financial growth of Non-financial firms listed at the Nairobi Securities Exchange. Financial firms were excluded because of their specific sector characteristics and stringent regulatory framework. The study is guided by Market Timing Theory and Theory of Growth of the Firm. Methodology: Explanatory research design was adopted. The target population of the study comprised of 45 non-financial firms listed at NSE for a period of ten years from 2008 to 2017. The study conducted both descriptive statistics analysis and panel data analysis. Findings: The result indicates that, share capital explains 32.73% and 11.62% of variations in financial growth as measure by growth in earnings per share and growth in market capitalization respectively. Share capital positively and significantly influences financial growth as measured by both growth in earnings per share and growth in market capitalization. Implications: The study recommends for the Non-financial firms to utilize equity financing as a way of raising capital for major expansions, asset growth or acquisitions which may require heavy funding. In this way, firms will be assured of improved performance as well as high financial growth. The study also recommends for substantial firm financing through equity. Value: Equity financing is important to any firm, if the proceeds are used to invest in projects which eventually bring growth to the firm.


title: Differentiable programming for particle physics simulations

abstract: We describe how to apply adjoint sensitivity methods to backward Monte-Carlo schemes arising from simulations of particles passing through matter. Relying on this, we demonstrate derivative based techniques for solving inverse problems for such systems without approximations to underlying transport dynamics. We are implementing those algorithms for various scenarios within a general purpose differentiable programming C++17 library NOA (github.com/grinisrit/noa).


title: Framed Knotoids and Their Quantum Invariants

abstract: We modify the definition of spherical knotoids to include a framing, in analogy to framed knots, and define a further modification that includes a secondary 'coframing' to obtain 'biframed' knotoids. We exhibit topological spaces whose ambient isotopy classes are in one-to-one correspondence with framed and biframed knotoids respectively. We then show how framed and biframed knotoids allow us to generalize quantum knot invariants to a knotoid setting, leading to the construction of general Reshetikhin-Turaev type biframed knotoid invariants.


title: Mean values of multivariable multiplicative functions and applications to the average number of cyclic subgroups and multivariable averages associated with the LCM function

abstract: We use multiple zeta functions to prove, under suitable assumptions, precise asymptotic formulas for the averages of multivariable multiplicative functions. As applications, we prove some conjectures on the average number of cyclic subgroups of the group ${\mathbb Z}_{m_1}\times\dots\times {\mathbb Z}_{m_n}$ and multivariable averages associated with the LCM function.


title: Influence-guided Data Augmentation for Neural Tensor Completion

abstract: How can we predict missing values in multi-dimensional data (or tensors) more accurately? The task of tensor completion is crucial in many applications such as personalized recommendation, image and video restoration, and link prediction in social networks. Many tensor factorization and neural network-based tensor completion algorithms have been developed to predict missing entries in partially observed tensors. However, they can produce inaccurate estimations as real-world tensors are very sparse, and these methods tend to overfit on the small amount of data. Here, we overcome these shortcomings by presenting a data augmentation technique for tensors. In this paper, we propose DAIN, a general data augmentation framework that enhances the prediction accuracy of neural tensor completion methods. Specifically, DAIN first trains a neural model and finds tensor cell importances with influence functions. After that, DAIN aggregates the cell importance to calculate the importance of each entity (i.e., an index of a dimension). Finally, DAIN augments the tensor by weighted sampling of entity importances and a value predictor. Extensive experimental results show that DAIN outperforms all data augmentation baselines in terms of enhancing imputation accuracy of neural tensor completion on four diverse real-world tensors. Ablation studies of DAIN substantiate the effectiveness of each component of DAIN. Furthermore, we show that DAIN scales near linearly to large datasets.


title: New Q-Newton's method meets Backtracking line search: good convergence guarantee, saddle points avoidance, quadratic rate of convergence, and easy implementation

abstract: In a recent joint work, the author has developed a modification of Newton's method, named New Q-Newton's method, which can avoid saddle points and has quadratic rate of convergence. While good theoretical convergence guarantee has not been established for this method, experiments on small scale problems show that the method works very competitively against other well known modifications of Newton's method such as Adaptive Cubic Regularization and BFGS, as well as first order methods such as Unbounded Two-way Backtracking Gradient Descent. In this paper, we resolve the convergence guarantee issue by proposing a modification of New Q-Newton's method, named New Q-Newton's method Backtracking, which incorporates a more sophisticated use of hyperparameters and a Backtracking line search. This new method has very good theoretical guarantees, which for a {\bf Morse function} yields the following (which is unknown for New Q-Newton's method): {\bf Theorem.} Let $f:\mathbb{R}^m\rightarrow \mathbb{R}$ be a Morse function, that is all its critical points have invertible Hessian. Then for a sequence $\{x_n\}$ constructed by New Q-Newton's method Backtracking from a random initial point $x_0$, we have the following two alternatives: i) $\lim_{n\rightarrow\infty}||x_n||=\infty$, or ii) $\{x_n\}$ converges to a point $x_{\infty}$ which is a {\bf local minimum} of $f$, and the rate of convergence is {\bf quadratic}. Moreover, if $f$ has compact sublevels, then only case ii) happens. As far as we know, for Morse functions, this is the best theoretical guarantee for iterative optimization algorithms so far in the literature. We have tested in experiments on small scale, with some further simplified versions of New Q-Newton's method Backtracking, and found that the new method significantly improve New Q-Newton's method.

categories: math.OC cs.LG cs.NA math.DS math.NA stat.ML


title: Feasible Weighted Projected Principal Component Analysis for Factor Models with an Application to Bond Risk Premia

abstract: I develop a feasible weighted projected principal component (FPPC) analysis for factor models in which observable characteristics partially explain the latent factors. This novel method provides more efficient and accurate estimators than existing methods. To increase estimation efficiency, I take into account both cross-sectional dependence and heteroskedasticity by using a consistent estimator of the inverse error covariance matrix as the weight matrix. To improve accuracy, I employ a projection approach using characteristics because it removes noise components in high-dimensional factor analysis. By using the FPPC method, estimators of the factors and loadings have faster rates of convergence than those of the conventional factor analysis. Moreover, I propose an FPPC-based diffusion index forecasting model. The limiting distribution of the parameter estimates and the rate of convergence for forecast errors are obtained. Using U.S. bond market and macroeconomic data, I demonstrate that the proposed model outperforms models based on conventional principal component estimators. I also show that the proposed model performs well among a large group of machine learning techniques in forecasting excess bond returns.


title: Kryptonite: An Adversarial Attack Using Regional Focus

abstract: With the Rise of Adversarial Machine Learning and increasingly robust adversarial attacks, the security of applications utilizing the power of Machine Learning has been questioned. Over the past few years, applications of Deep Learning using Deep Neural Networks(DNN) in several fields including Medical Diagnosis, Security Systems, Virtual Assistants, etc. have become extremely commonplace, and hence become more exposed and susceptible to attack. In this paper, we present a novel study analyzing the weaknesses in the security of deep learning systems. We propose 'Kryptonite', an adversarial attack on images. We explicitly extract the Region of Interest (RoI) for the images and use it to add imperceptible adversarial perturbations to images to fool the DNN. We test our attack on several DNN's and compare our results with state of the art adversarial attacks like Fast Gradient Sign Method (FGSM), DeepFool (DF), Momentum Iterative Fast Gradient Sign Method (MIFGSM), and Projected Gradient Descent (PGD). The results obtained by us cause a maximum drop in network accuracy while yielding minimum possible perturbation and in considerably less amount of time per sample. We thoroughly evaluate our attack against three adversarial defence techniques and the promising results showcase the efficacy of our attack.


title: Federated Multi-Task Learning under a Mixture of Distributions

abstract: The increasing size of data generated by smartphones and IoT devices motivated the development of Federated Learning (FL), a framework for on-device collaborative training of machine learning models. First efforts in FL focused on learning a single global model with good average performance across clients, but the global model may be arbitrarily bad for a given client, due to the inherent heterogeneity of local data distributions. Federated multi-task learning (MTL) approaches can learn personalized models by formulating an opportune penalized optimization problem. The penalization term can capture complex relations among personalized models, but eschews clear statistical assumptions about local data distributions. In this work, we propose to study federated MTL under the flexible assumption that each local data distribution is a mixture of unknown underlying distributions. This assumption encompasses most of the existing personalized FL approaches and leads to federated EM-like algorithms for both client-server and fully decentralized settings. Moreover, it provides a principled way to serve personalized models to clients not seen at training time. The algorithms' convergence is analyzed through a novel federated surrogate optimization framework, which can be of general interest. Experimental results on FL benchmarks show that our approach provides models with higher accuracy and fairness than state-of-the-art methods.


title: Irregular cusps of ball quotients

abstract: We study the branch divisors on the boundary of the canonical toroidal compactification of ball quotients. We show a criterion, the low slope cusp form trick, for proving that ball quotients are of general type. Moreover, we classify when irregular cusps exist in the case of the discriminant kernel and construct concrete examples for some arithmetic subgroups. As another direction of study, when a complex ball is embedded into a Hermitian symmetric domain of type IV, we determine when regular or irregular cusps map to regular or irregular cusps studied by Ma.


title: Automatic Speech Recognition And Limited Vocabulary: A Survey

abstract: Automatic Speech Recognition (ASR) is an active field of research due to its large number of applications and the proliferation of interfaces or computing devices that can support speech processing. However, the bulk of applications are based on well-resourced languages that overshadow under-resourced ones. Yet, ASR represents an undeniable means to promote such languages, especially when designing human-to-human or human-to-machine systems involving illiterate people. An approach to design an ASR system targeting under-resourced languages is to start with a limited vocabulary. ASR using a limited vocabulary is a subset of the speech recognition problem that focuses on the recognition of a small number of words or sentences. This paper aims to provide a comprehensive view of mechanisms behind ASR systems as well as techniques, tools, projects, recent contributions, and possible future directions in ASR using a limited vocabulary. This work consequently provides a way forward when designing an ASR system using limited vocabulary. Although an emphasis is put on limited vocabulary, most of the tools and techniques reported in this survey can be applied to ASR systems in general.


title: Reply to comment on "An Active Plume Eruption on Europa During Galileo Flyby E26 as Indicated by Energetic Proton Depletions"

abstract: In Huybrighs et al., 2020 we investigated energetic proton depletions along Galileo's Europa flyby E26. Based on a particle tracing analysis we proposed that depletions are caused by perturbed electrogmagnetic fields combined with atmospheric charge exchange and possible plumes. One depletion feature identified as a plume signature was shown to be an artefact Jia et al., 2021. Despite that, here we emphasize that Huybrighs et al., 2020 demonstrates that plumes can cause proton depletions and that these features should be sought after. Furthermore, the conclusions on the importance of perturbed electromagnetic fields and atmospheric charge exchange on the depletions are unaffected. We suggest that the artefact's cause is a mistagging of protons as heavier ions by EPD. The artefact prevents us from confirming or excluding that there is a plume associated depletion. We also address comments on the MHD simulations and demonstrate that 540-1040 keV losses are not necessarily inconsistent with 115-244 keV losses by plume associated charge exchange.


title: Eremenko's conjecture, wandering Lakes of Wada, and maverick points

abstract: We develop a general technique for realising full closed subsets of the complex plane as wandering sets of entire functions. Using this construction, we solve a number of open problems. (1) We construct a counterexample to Eremenko's conjecture, a central problem in transcendental dynamics that asks whether every connected component of the set of escaping points of a transcendental entire function is unbounded. (2) We prove that there is a transcendental entire function for which infinitely many Fatou components share the same boundary. This resolves the long-standing problem whether "Lakes of Wada continua" can arise in complex dynamics, and answers the analogue of a question of Fatou from 1920 concerning Fatou components of rational functions. (3) We answer a question of Rippon concerning the existence of non-escaping points on the boundary of a bounded escaping wandering domain, that is, a wandering Fatou component contained in the escaping set. In fact we show that the set of such points can have positive Lebesgue measure. (4) We give the first example of an entire function having a simply connected Fatou component whose closure has a disconnected complement, answering a question of Boc Thaler. In view of (3), we introduce the concept of "maverick points": points on the boundary of a wandering domain whose accumulation behaviour differs from that of internal points. We prove that the set of such points has harmonic measure zero, but that both escaping and oscillating wandering domains can contain large sets of maverick points.


title: SwinIR: Image Restoration Using Swin Transformer

abstract: Image restoration is a long-standing low-level vision problem that aims to restore high-quality images from low-quality images (e.g., downscaled, noisy and compressed images). While state-of-the-art image restoration methods are based on convolutional neural networks, few attempts have been made with Transformers which show impressive performance on high-level vision tasks. In this paper, we propose a strong baseline model SwinIR for image restoration based on the Swin Transformer. SwinIR consists of three parts: shallow feature extraction, deep feature extraction and high-quality image reconstruction. In particular, the deep feature extraction module is composed of several residual Swin Transformer blocks (RSTB), each of which has several Swin Transformer layers together with a residual connection. We conduct experiments on three representative tasks: image super-resolution (including classical, lightweight and real-world image super-resolution), image denoising (including grayscale and color image denoising) and JPEG compression artifact reduction. Experimental results demonstrate that SwinIR outperforms state-of-the-art methods on different tasks by $\textbf{up to 0.14$\sim$0.45dB}$, while the total number of parameters can be reduced by $\textbf{up to 67%}$.


title: Revealing magnetoelectric coupling effect in polar antiferromagnet Fe$_2$Mo$_3$O$_8$ by static and time resolved second harmonic generation

abstract: We present both static and time-resolved second harmonic generation (SHG) measurements on polar antiferromagnet Fe$_2$Mo$_3$O$_8$ to monitor the evolution of the electric polarization change and its coupling to magnetic order. We find that only one of the second order tensor elements, $\chi_{ccc}^{(2)}$ ,shows a prominent change below the Neel temperature $T_N = 60$ K, indicating a magnetic order induced electric polarization change along the c-axis. Time-resolved SHG measurement reveals an ultrafast recovery of the second order tensor element upon the ultrashort laser excitation with fluence above 0.3 $mJ/cm^2$, yielding evidence for a photoinduced ultrafast phase transition from the AFM ordered state to the paramagnetic state. Our work will help understand the spin induced polarization and the ultrafast optical tuning effect in Fe$_{2}$Mo$_{3}$O$_{8}$.


title: The Multiverse: Logical Modularity for Proof Assistants

abstract: Proof assistants play a dual role as programming languages and logical systems. As programming languages, proof assistants offer standard modularity mechanisms such as first-class functions, type polymorphism and modules. As logical systems, however, modularity is lacking, and understandably so: incompatible reasoning principles -- such as univalence and uniqueness of identity proofs -- can indirectly lead to logical inconsistency when used in a given development, even when they appear to be confined to different modules. The lack of logical modularity in proof assistants also hinders the adoption of richer programming constructs, such as effects. We propose the multiverse, a general type-theoretic approach to endow proof assistants with logical modularity. The multiverse consists of multiple universe hierarchies that statically describe the reasoning principles and effects available to define a term at a given type. We identify sufficient conditions for this structuring to modularly ensure that incompatible principles do not interfere, and to locally restrict the power of dependent elimination when necessary. This extensible approach generalizes the ad-hoc treatment of the sort of propositions in the Coq proof assistant. We illustrate the power of the multiverse by describing the inclusion of Coq-style propositions, the strict propositions of Gilbert et al., the exceptional type theory of P\'edrot and Tabareau, and general axiomatic extensions of the logic.


title: Proportional-Integral Projected Gradient Method for Conic Optimization

abstract: Conic optimization is the minimization of a differentiable convex objective function subject to conic constraints. We propose a novel primal-dual first-order method for conic optimization, named proportional-integral projected gradient method (PIPG). PIPG ensures that both the primal-dual gap and the constraint violation converge to zero at the rate of \(O(1/k)\), where \(k\) is the number of iterations. If the objective function is strongly convex, PIPG improves the convergence rate of the primal-dual gap to \(O(1/k^2)\). Further, unlike any existing first-order methods, PIPG also improves the convergence rate of the constraint violation to \(O(1/k^3)\). We demonstrate the application of PIPG in constrained optimal control problems.


title: Lepton collisions in MadGraph5_aMC@NLO

abstract: MadGraph5_aMC@NLO is a software package that allows one to simulate processes of arbitrary complexity, at both the leading and the next-to-leading order perturbative accuracy, with or without matching and multi-jet merging to parton showers. It has been designed for, and so far primarily employed in the context of, hadronic collisions. In this note, we document the implementation of a few technical features that are necessary to extend its scope to realistic ee collider environments. We limit ourselves to discussing the unpolarized beam case, but we point out that the treatment of polarized beams is conceptually identical, and that the structure we set up can easily be extended to carry out simulations at muon colliders.


title: Cube Sampled K-Prototype Clustering for Featured Data

abstract: Clustering large amount of data is becoming increasingly important in the current times. Due to the large sizes of data, clustering algorithm often take too much time. Sampling this data before clustering is commonly used to reduce this time. In this work, we propose a probabilistic sampling technique called cube sampling along with K-Prototype clustering. Cube sampling is used because of its accurate sample selection. K-Prototype is most frequently used clustering algorithm when the data is numerical as well as categorical (very common in today's time). The novelty of this work is in obtaining the crucial inclusion probabilities for cube sampling using Principal Component Analysis (PCA). Experiments on multiple datasets from the UCI repository demonstrate that cube sampled K-Prototype algorithm gives the best clustering accuracy among similarly sampled other popular clustering algorithms (K-Means, Hierarchical Clustering (HC), Spectral Clustering (SC)). When compared with unsampled K-Prototype, K-Means, HC and SC, it still has the best accuracy with the added advantage of reduced computational complexity (due to reduced data size).


title: Possible star-of-David pattern charge density wave with additional modulation in the kagome superconductor CsV$_3$Sb$_5$

abstract: $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs) is a novel kagome superconductor coexisting with the charge density wave (CDW) order. Identifying the structure of the CDW order is crucial for understanding the exotic normal state and superconductivity in this system. Here, we report $^{51}$V nuclear magnetic resonance (NMR) and $^{121/123}$Sb nuclear quadrupole resonance (NQR) studies on kagome-metal CsV$_3$Sb$_5$. Below the CDW transition temperature $T_\textrm{CDW} \sim$ 98 K, an abrupt change of spectra was observed, indicating that the transition is of the first order. By further analysing the spectra, we find that the CDW order is commensurate. And most remarkably, the obtained experimental results suggest that the charge modulation of the CDW order is of star-of-David pattern and accompanied by an additional charge modulation in bulk below $T^* \sim$ 40 K. Our results revealing the unconventional CDW order provide new insights into $A$V$_3$Sb$_5$.


title: From loom spaces to veering triangulations

abstract: We introduce loom spaces, a generalisation of both the leaf spaces associated to pseudo-Anosov flows and the link spaces associated to veering triangulations. Following work of Gu\'eritaud, we prove that there is a locally veering triangulation canonically associated to every loom space, and that the realisation of this triangulation is homeomorphic to $\mathbb{R}^3$.


title: Exploring Biases and Prejudice of Facial Synthesis via Semantic Latent Space

abstract: Deep learning (DL) models are widely used to provide a more convenient and smarter life. However, biased algorithms will negatively influence us. For instance, groups targeted by biased algorithms will feel unfairly treated and even fearful of negative consequences of these biases. This work targets biased generative models' behaviors, identifying the cause of the biases and eliminating them. We can (as expected) conclude that biased data causes biased predictions of face frontalization models. Varying the proportions of male and female faces in the training data can have a substantial effect on behavior on the test data: we found that the seemingly obvious choice of 50:50 proportions was not the best for this dataset to reduce biased behavior on female faces, which was 71% unbiased as compared to our top unbiased rate of 84%. Failure in generation and generating incorrect gender faces are two behaviors of these models. In addition, only some layers in face frontalization models are vulnerable to biased datasets. Optimizing the skip-connections of the generator in face frontalization models can make models less biased. We conclude that it is likely to be impossible to eliminate all training bias without an unlimited size dataset, and our experiments show that the bias can be reduced and quantified. We believe the next best to a perfect unbiased predictor is one that has minimized the remaining known bias.


title: Molecular Design Based on Artificial Neural Networks, Integer Programming and Grid Neighbor Search

abstract: A novel framework has recently been proposed for designing the molecular structure of chemical compounds with a desired chemical property using both artificial neural networks and mixed integer linear programming. In the framework, a chemical graph with a target chemical value is inferred as a feasible solution of a mixed integer linear program that represents a prediction function and other requirements on the structure of graphs. In this paper, we propose a procedure for generating other feasible solutions of the mixed integer linear program by searching the neighbor of output chemical graph in a search space. The procedure is combined in the framework as a new building block. The results of our computational experiments suggest that the proposed method can generate an additional number of new chemical graphs with up to 50 non-hydrogen atoms.


title: A statistical approach for enhancing security in VANETs with efficient rogue node detection using fog computing

abstract: Rogue nodes broadcasting false information in beacon messages may lead to catastrophic consequences in Vehicular Ad Hoc Networks (VANETs). Previous researchers used either cryptography, trust scores, or past vehicle data to detect rogue nodes; however, these methods suffer from high processing delay, overhead, and False-Positive Rate (FPR). We propose herein Greenshield's traffic model-based fog computing scheme called Fog-based Rogue Nodes Detection (F-RouND), which dynamically utilizes the On-Board Units (OBUs) of all vehicles in the region for rogue node detection. We aim to reduce the data processing delays and FPR in detecting rogue nodes at high vehicle densities. The performance of the F-RouND framework was evaluated via simulations. Results show that the F-RouND framework ensures 45% lower processing delays, 12% lower overhead, and 36% lower FPR at the urban scenario compared to the existing rogue node detection schemes even when the number of rogue nodes increases by up to 40% in the region.


title: Origamis associated to minimally intersecting filling pairs

abstract: Let $S_{g}$ denote the closed orientable surface of genus $g$. In joint work with Huang, the first author constructed exponentially-many (in $g$) mapping class group orbits of pairs of simple closed curves whose complement is a single topological disk. Using different techniques, we improve on this result by constructing factorially-many (again in $g$) such orbits. These new orbits are chosen so that the absolute value of the algebraic intersection number is equal to the geometric intersection number, implying that each pair naturally gives rise to an origami. We collect some rudimentary experimental data on the corresponding $SL(2, \mathbb{Z})$-orbits and suggest further study and conjectures.


title: Suitability of FPS and DPS in NOMA for Real-Time and Non-Real Time Applications

abstract: Non-Orthogonal Multiple Access (NOMA) is a popular solution for supporting a high number of users and along with significant bandwidth in 5G cellular communication. By using a technique called cooperative relaying, the same data is sent to all the users, and one user can relay data to the other. In order to provide enough power for the users, energy harvesting techniques have been introduced with Simultaneous Wireless Information and Power Transfer (SWIPT) coming to prominence in recent times. In this paper, analysis has been made comparing two different power allocation schemes in NOMA, Fixed Power allocation Scheme (FPS) and Dynamic Power allocation Scheme (DPS). The comparisons were made in terms of their performance and characteristics while undergoing SWIPT. It has been found that by using DPS, an almost 25% increase in peak spectral efficiency can be obtained compared to FPS. However, DPS suffers from a higher outage probability as the increase of power causes the signal bandwidth to drop below the target rate a significant number of times. Based on the detailed results, conclusions were drawn as to which power allocation coefficient scheme would be used in real-time and non-real time communication standards, respectively. The results suggest that for real-time communication, FPS is more suitable while for non-real-time communication, DPS appears to work better than FPS.


title: A User Study on Hybrid Graph Visualizations

abstract: Hybrid visualizations mix different metaphors in a single layout of a network. In particular, the popular NodeTrix model, introduced by Henry, Fekete, and McGuffin in 2007, combines node-link diagrams and matrix-based representations to support the analysis of real-world networks that are globally sparse but locally dense. That idea inspired a series of works, proposing variants or alternatives to NodeTrix. We present a user study that compares the classical node-link model and three hybrid visualization models designed to work on the same types of networks. The results of our study provide interesting indications about advantages/drawbacks of the considered models on performing classical tasks of analysis. At the same time, our experiment has some limitations and opens up to further research on the subject.


title: ReSpawn: Energy-Efficient Fault-Tolerance for Spiking Neural Networks considering Unreliable Memories

abstract: Spiking neural networks (SNNs) have shown a potential for having low energy with unsupervised learning capabilities due to their biologically-inspired computation. However, they may suffer from accuracy degradation if their processing is performed under the presence of hardware-induced faults in memories, which can come from manufacturing defects or voltage-induced approximation errors. Since recent works still focus on the fault-modeling and random fault injection in SNNs, the impact of memory faults in SNN hardware architectures on accuracy and the respective fault-mitigation techniques are not thoroughly explored. Toward this, we propose ReSpawn, a novel framework for mitigating the negative impacts of faults in both the off-chip and on-chip memories for resilient and energy-efficient SNNs. The key mechanisms of ReSpawn are: (1) analyzing the fault tolerance of SNNs; and (2) improving the SNN fault tolerance through (a) fault-aware mapping (FAM) in memories, and (b) fault-aware training-and-mapping (FATM). If the training dataset is not fully available, FAM is employed through efficient bit-shuffling techniques that place the significant bits on the non-faulty memory cells and the insignificant bits on the faulty ones, while minimizing the memory access energy. Meanwhile, if the training dataset is fully available, FATM is employed by considering the faulty memory cells in the data mapping and training processes. The experimental results show that, compared to the baseline SNN without fault-mitigation techniques, ReSpawn with a fault-aware mapping scheme improves the accuracy by up to 70% for a network with 900 neurons without retraining.


title: Vogtareuth Rehab Depth Datasets: Benchmark for Marker-less Posture Estimation in Rehabilitation

abstract: Posture estimation using a single depth camera has become a useful tool for analyzing movements in rehabilitation. Recent advances in posture estimation in computer vision research have been possible due to the availability of large-scale pose datasets. However, the complex postures involved in rehabilitation exercises are not represented in the existing benchmark depth datasets. To address this limitation, we propose two rehabilitation-specific pose datasets containing depth images and 2D pose information of patients, both adult and children, performing rehab exercises. We use a state-of-the-art marker-less posture estimation model which is trained on a non-rehab benchmark dataset. We evaluate it on our rehab datasets, and observe that the performance degrades significantly from non-rehab to rehab, highlighting the need for these datasets. We show that our dataset can be used to train pose models to detect rehab-specific complex postures. The datasets will be released for the benefit of the research community.


title: Collect & Infer -- a fresh look at data-efficient Reinforcement Learning

abstract: This position paper proposes a fresh look at Reinforcement Learning (RL) from the perspective of data-efficiency. Data-efficient RL has gone through three major stages: pure on-line RL where every data-point is considered only once, RL with a replay buffer where additional learning is done on a portion of the experience, and finally transition memory based RL, where, conceptually, all transitions are stored and re-used in every update step. While inferring knowledge from all explicitly stored experience has lead to a tremendous gain in data-efficiency, the question of how this data is collected has been vastly understudied. We argue that data-efficiency can only be achieved through careful consideration of both aspects. We propose to make this insight explicit via a paradigm that we call 'Collect and Infer', which explicitly models RL as two separate but interconnected processes, concerned with data collection and knowledge inference respectively. We discuss implications of the paradigm, how its ideas are reflected in the literature, and how it can guide future research into data efficient RL.


title: Towards Explainable Fact Checking

abstract: The past decade has seen a substantial rise in the amount of mis- and disinformation online, from targeted disinformation campaigns to influence politics, to the unintentional spreading of misinformation about public health. This development has spurred research in the area of automatic fact checking, from approaches to detect check-worthy claims and determining the stance of tweets towards claims, to methods to determine the veracity of claims given evidence documents. These automatic methods are often content-based, using natural language processing methods, which in turn utilise deep neural networks to learn higher-order features from text in order to make predictions. As deep neural networks are black-box models, their inner workings cannot be easily explained. At the same time, it is desirable to explain how they arrive at certain decisions, especially if they are to be used for decision making. While this has been known for some time, the issues this raises have been exacerbated by models increasing in size, and by EU legislation requiring models to be used for decision making to provide explanations, and, very recently, by legislation requiring online platforms operating in the EU to provide transparent reporting on their services. Despite this, current solutions for explainability are still lacking in the area of fact checking. This thesis presents my research on automatic fact checking, including claim check-worthiness detection, stance detection and veracity prediction. Its contributions go beyond fact checking, with the thesis proposing more general machine learning solutions for natural language processing in the area of learning with limited labelled data. Finally, the thesis presents some first solutions for explainable fact checking.


title: Universal dynamical scaling laws in three-state quantum walks

abstract: We perform a finite-time scaling analysis over the detrapping point of a three-state quantum walk on the line. The coin operator is parameterized by $\rho$ that controls the wavepacket spreading velocity. The input state prepared at the origin is set as symmetric linear combination of two eigenstates of the coin operator with a characteristic mixing angle $\theta$, one of them being the component that results in full spreading occurring at $\theta_c(\rho)$ for which no fraction of the wavepacket remains trapped near the initial position. We show that relevant quantities such as the survival probability and the participation ratio assume single parameter scaling forms at the vicinity of the detrapping angle $\theta_c$. In particular, we show that the participation ratio grows linearly in time with a logarithmic correction, thus shedding light on previous reports of sublinear behavior.


title: Integrable modified gravity cosmological models with an additional scalar field

abstract: We consider modified gravity cosmological models that can be transformed into two-field chiral cosmological models by the conformal metric transformation. For the $R^2$ gravity model with an additional scalar field and the corresponding two-field model with the cosmological constant and nonstandard kinetic part of the action, the general solutions have been obtained in the spatially flat FLRW metric. We analyze the correspondence of the cosmic time solutions obtained and different possible evolutions of the Hubble parameters in the Einstein and Jordan frames.


title: Conditional sequential Monte Carlo in high dimensions

abstract: The iterated conditional sequential Monte Carlo (i-CSMC) algorithm from Andrieu, Doucet and Holenstein (2010) is an MCMC approach for efficiently sampling from the joint posterior distribution of the $T$ latent states in challenging time-series models, e.g. in non-linear or non-Gaussian state-space models. It is also the main ingredient in particle Gibbs samplers which infer unknown model parameters alongside the latent states. In this work, we first prove that the i-CSMC algorithm suffers from a curse of dimension in the dimension of the states, $D$: it breaks down unless the number of samples ("particles"), $N$, proposed by the algorithm grows exponentially with $D$. Then, we present a novel "local" version of the algorithm which proposes particles using Gaussian random-walk moves that are suitably scaled with $D$. We prove that this iterated random-walk conditional sequential Monte Carlo (i-RW-CSMC) algorithm avoids the curse of dimension: for arbitrary $N$, its acceptance rates and expected squared jumping distance converge to non-trivial limits as $D \to \infty$. If $T = N = 1$, our proposed algorithm reduces to a Metropolis--Hastings or Barker's algorithm with Gaussian random-walk moves and we recover the well known scaling limits for such algorithms.


title: Tuning Nonequilibrium Phase Transitions with Inertia

abstract: In striking contrast to equilibrium systems, inertia can profoundly alter the structure of active systems. Here, we demonstrate that driven systems can exhibit effective equilibrium-like states with increasing particle inertia, despite rigorously violating the fluctuation-dissipation theorem. Increasing inertia progressively eliminates motility-induced phase separation and restores equilibrium crystallization for active Brownian spheres. This effect appears to be general for a wide class of active systems, including those driven by deterministic time-dependent external fields, whose nonequilibrium patterns ultimately disappear with increasing inertia. The path to this effective equilibrium limit can be complex, with finite inertia sometimes acting to accentuate nonequilibrium transitions. The restoration of near equilibrium statistics can be understood through the conversion of active momentum sources to passive-like stresses. Unlike truly equilibrium systems, the effective temperature is now density dependent, the only remnant of the nonequilibrium dynamics. This density-dependent temperature can in principle introduce departures from equilibrium expectations, particularly in response to strong gradients. Our results provide additional insight into the effective temperature ansatz while revealing a mechanism to tune nonequilibrium phase transitions.


title: Planetary nebulae with Wolf-Rayet-type central stars -- II. Dissecting the compact planetary nebula M2-31 with GTC MEGARA

abstract: We present a comprehensive analysis of the compact planetary nebula M2-31 investigating its spectral properties, spatio-kinematical structure and chemical composition using GTC MEGARA integral field spectroscopic observations and NOT ALFOSC medium-resolution spectra and narrow-band images. The GTC MEGARA high-dispersion observations have remarkable tomographic capabilities, producing an unprecedented view of the morphology and kinematics of M2-31 that discloses a fast spectroscopic bipolar outflow along position angles 50$^\circ$ and 230$^\circ$, an extended shell and a toroidal structure or waist surrounding the central star perpendicularly aligned with the fast outflows. These observations also show that the C II emission is confined in the central region and enclosed by the [N II] emission. This is the first time that the spatial segregation revealed by a 2D map of the C II line implies the presence of multiple plasma components. The deep NOT ALFOSC observations allowed us to detect broad WR features from the central star of M2-31, including previously undetected broad O VI lines that suggest a reclassification as a [WO4]-type star.


title: Physics makes the difference: Bayesian optimization and active learning via augmented Gaussian process

abstract: Both experimental and computational methods for the exploration of structure, functionality, and properties of materials often necessitate the search across broad parameter spaces to discover optimal experimental conditions and regions of interest in the image space or parameter space of computational models. The direct grid search of the parameter space tends to be extremely time-consuming, leading to the development of strategies balancing exploration of unknown parameter spaces and exploitation towards required performance metrics. However, classical Bayesian optimization strategies based on the Gaussian process (GP) do not readily allow for the incorporation of the known physical behaviors or past knowledge. Here we explore a hybrid optimization/exploration algorithm created by augmenting the standard GP with a structured probabilistic model of the expected system's behavior. This approach balances the flexibility of the non-parametric GP approach with a rigid structure of physical knowledge encoded into the parametric model. The fully Bayesian treatment of the latter allows additional control over the optimization via the selection of priors for the model parameters. The method is demonstrated for a noisy version of the classical objective function used to evaluate optimization algorithms and further extended to physical lattice models. This methodology is expected to be universally suitable for injecting prior knowledge in the form of physical models and past data in the Bayesian optimization framework


title: Strong Gelfand Pairs of SL(2,p)

abstract: A strong Gelfand pair (G,H) is a group G together with a subgroup H such that every irreducible character of H induces a multiplicity-free character of G. We classify the strong Gelfand pairs of the special linear groups SL(2, p) where p is a prime.


title: ChiNet: Deep Recurrent Convolutional Learning for Multimodal Spacecraft Pose Estimation

abstract: This paper presents an innovative deep learning pipeline which estimates the relative pose of a spacecraft by incorporating the temporal information from a rendezvous sequence. It leverages the performance of long short-term memory (LSTM) units in modelling sequences of data for the processing of features extracted by a convolutional neural network (CNN) backbone. Three distinct training strategies, which follow a coarse-to-fine funnelled approach, are combined to facilitate feature learning and improve end-to-end pose estimation by regression. The capability of CNNs to autonomously ascertain feature representations from images is exploited to fuse thermal infrared data with red-green-blue (RGB) inputs, thus mitigating the effects of artefacts from imaging space objects in the visible wavelength. Each contribution of the proposed framework, dubbed ChiNet, is demonstrated on a synthetic dataset, and the complete pipeline is validated on experimental data.


title: The throughput calibration of the VERITAS telescopes

abstract: Imaging atmospheric Cherenkov telescopes are continuously exposed to varying weather conditions that have short and long-term effects on their response to Cherenkov light from extensive air showers. This work presents the implementation of a throughput calibration method for the VERITAS telescopes taking into account changes in the optical response and detector performance over time. Different methods to measure the total throughput of the instrument, which depend on mirror reflectivites and PMT camera gain and efficiency, are discussed as well as the effect of its evolution on energy thresholds, effective collection areas, and energy reconstruction. The application of this calibration in the VERITAS data analysis chain is discussed, including the validation using Monte Carlo simulations and observations of the Crab Nebula.


title: Exclusive Group Lasso for Structured Variable Selection

abstract: A structured variable selection problem is considered in which the covariates, divided into predefined groups, activate according to sparse patterns with few nonzero entries per group. Capitalizing on the concept of atomic norm, a composite norm can be properly designed to promote such exclusive group sparsity patterns. The resulting norm lends itself to efficient and flexible regularized optimization algorithms for support recovery, like the proximal algorithm. Moreover, an active set algorithm is proposed that builds the solution by successively including structure atoms into the estimated support. It is also shown that such an algorithm can be tailored to match more rigid structures than plain exclusive group sparsity. Asymptotic consistency analysis (with both the number of parameters as well as the number of groups growing with the observation size) establishes the effectiveness of the proposed solution in terms of signed support recovery under conventional assumptions. Finally, a set of numerical simulations further corroborates the results.


title: A novel determination of the $B_c$ lifetime

abstract: To reduce the current theory uncertainties a novel way to determine the $B_c$ lifetime, $\tau_{B_c}$, is proposed. Taking the difference of the $B_c$, and $B$ and $D$ meson decay rates eliminates the leading contributions from the calculation, which exhibit large scale and scheme dependence. The uncertainties in the proposed determination of $\tau_{B_c}$ are analyzed and improvements are proposed. The method predicts a value of $\tau_{B_c}$ in tension with the experimental determination. Several explanations are considered, including underestimation of uncertainties, duality violation and new physics. We discuss quantitative evidence that our method is vitiated by duality violation in the large mass OPE used to calculate nonleptonic decay rates of $B$ and $D$ mesons.


title: Toroidal and Elliptic Quiver BPS Algebras and Beyond

abstract: The quiver Yangian, an infinite-dimensional algebra introduced recently in arXiv:2003.08909, is the algebra underlying BPS state counting problems for toric Calabi-Yau three-folds. We introduce trigonometric and elliptic analogues of quiver Yangians, which we call toroidal quiver algebras and elliptic quiver algebras, respectively. We construct the representations of the shifted toroidal and elliptic algebras in terms of the statistical model of crystal melting. We also derive the algebras and their representations from equivariant localization of three-dimensional $\mathcal{N}=2$ supersymmetric quiver gauge theories, and their dimensionally-reduced counterparts. The analysis of supersymmetric gauge theories suggests that there exist even richer classes of algebras associated with higher-genus Riemann surfaces and generalized cohomology theories.


title: Oblique Derivative Boundary Value Problems on Families of Planar Domains

abstract: We consider second-order elliptic equations with oblique derivative boundary conditions, defined on a family of bounded domains in $\mathbb{C}$ that depend smoothly on a real parameter $\lambda \in [0,1]$. We derive sharp regularity properties of the solutions in all variables, including the parameter $\lambda$. More specifically we show that the solution and its derivatives are continuous in all variables, and the H\"older norms of the space variables are bounded uniformly in $\lambda$.


title: High-fidelity three-qubit iToffoli gate for fixed-frequency superconducting qubits

abstract: The development of noisy intermediate-scale quantum (NISQ) devices has extended the scope of executable quantum circuits with high-fidelity single- and two-qubit gates. Equipping NISQ devices with three-qubit gates will enable the realization of more complex quantum algorithms and efficient quantum error correction protocols with reduced circuit depth. Several three-qubit gates have been implemented for superconducting qubits, but their use in gate synthesis has been limited due to their low fidelity. Here, using fixed-frequency superconducting qubits, we demonstrate a high-fidelity iToffoli gate based on two-qubit interactions, the so-called cross-resonance effect. As with the Toffoli gate, this three-qubit gate can be used to perform universal quantum computation. The iToffoli gate is implemented by simultaneously applying microwave pulses to a linear chain of three qubits, revealing a process fidelity as high as 98.26(2)%. Moreover, we numerically show that our gate scheme can produce additional three-qubit gates which provide more efficient gate synthesis than the Toffoli and iToffoli gates. Our work not only brings a high-fidelity iToffoli gate to current superconducting quantum processors but also opens a pathway for developing multi-qubit gates based on two-qubit interactions.


title: Giant Topological Hall Effect in van der Waals Heterostructures of CrTe2/Bi2Te3

abstract: Discoveries of interfacial topological Hall effect (THE) provide an ideal platform for exploring physics arising from the interplay between topology and magnetism. The interfacial topological Hall effect is closely related to the Dzyaloshinskii-Moriya interaction (DMI) at interface and topological spin textures. However, it is difficult to achieve a sizable THE in heterostructures due to the stringent constraints on the constituents of THE heterostructures such as strong spin-orbit coupling (SOC). Here we report the observation of a giant THE signal of 1.39 $\mu\Omega\cdot$cm in the van der Waals heterostructures of CrTe2/Bi2Te3 fabricated by molecular beam epitaxy, a prototype of two-dimensional (2D) ferromagnet (FM)/topological insulator (TI). This large magnitude of THE is attributed to an optimized combination of 2D ferromagnetism in CrTe2, strong SOC in Bi2Te3, and an atomically sharp interface. Our work reveals CrTe2/Bi2Te3 as a convenient platform for achieving large interfacial THE in hybrid systems, which could be utilized to develop quantum science and high-density information storage.


title: Cross-Quality LFW: A Database for Analyzing Cross-Resolution Image Face Recognition in Unconstrained Environments

abstract: Real-world face recognition applications often deal with suboptimal image quality or resolution due to different capturing conditions such as various subject-to-camera distances, poor camera settings, or motion blur. This characteristic has an unignorable effect on performance. Recent cross-resolution face recognition approaches used simple, arbitrary, and unrealistic down- and up-scaling techniques to measure robustness against real-world edge-cases in image quality. Thus, we propose a new standardized benchmark dataset and evaluation protocol derived from the famous Labeled Faces in the Wild (LFW). In contrast to previous derivatives, which focus on pose, age, similarity, and adversarial attacks, our Cross-Quality Labeled Faces in the Wild (XQLFW) maximizes the quality difference. It contains only more realistic synthetically degraded images when necessary. Our proposed dataset is then used to further investigate the influence of image quality on several state-of-the-art approaches. With XQLFW, we show that these models perform differently in cross-quality cases, and hence, the generalizing capability is not accurately predicted by their performance on LFW. Additionally, we report baseline accuracy with recent deep learning models explicitly trained for cross-resolution applications and evaluate the susceptibility to image quality. To encourage further research in cross-resolution face recognition and incite the assessment of image quality robustness, we publish the database and code for evaluation.


title: PW-MAD: Pixel-wise Supervision for Generalized Face Morphing Attack Detection

abstract: A face morphing attack image can be verified to multiple identities, making this attack a major vulnerability to processes based on identity verification, such as border checks. Various methods have been proposed to detect face morphing attacks, however, with low generalizability to unexpected post-morphing processes. A major post-morphing process is the print and scan operation performed in many countries when issuing a passport or identity document. In this work, we address this generalization problem by adapting a pixel-wise supervision approach where we train a network to classify each pixel of the image into an attack or not, rather than only having one label for the whole image. Our pixel-wise morphing attack detection (PW-MAD) solution proved to perform more accurately than a set of established baselines. More importantly, PW-MAD shows high generalizability in comparison to related works, when evaluated on unknown re-digitized attacks. Additionally to our PW-MAD approach, we create a new face morphing attack dataset with digital and re-digitized samples, namely the LMA-DRD dataset that is publicly available for research purposes upon request.


title: Viscous Dark Energy Accretion Activities : Sonic Speed, Angular Momentum and Mach Number Studies

abstract: In this present article, we study different accretion properties regarding viscous accretion of dark energy. Modified Chaplygin gas is chosen as the dark energy candidate. Viscosity is encountered with the help of Shakura-Sunyaev viscosity parameter. We study sonic speed vs radial distance curves. We compare between adiabatic and dark energy dominated cases and follow that sonic speed falls as we go nearer to the central gravitating object. As viscosity is imposed, a threshold drop in accretion sonic speed is followed. Average rate of fall in accretion sonic speed is increased with black hole's spin. This is signifying that this kind of accretion is weakening the overall matter/energy infall. Specific angular momentum to Keplerian angular momentum ratio is found to fall as we go far from the black hole. Accretion Mach number turns high as we go towards the inner region and high wind Mach number is not allowed as we are going out. Combining, we conclude that the system weakens the feeding process of accretion.


title: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

abstract: The standard semantics of multi-agent epistemic logic S5 is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional structure contains implicit higher-dimensional information beyond pairwise interactions, that we formalized as pure simplicial models in a previous work (Information and Computation, 2021). Here we extend the theory to encompass simplicial models that are not necessarily pure. The corresponding class of Kripke models are those where the accessibility relation is symmetric and transitive, but might not be reflexive. Such models correspond to the epistemic logic KB4 . Impure simplicial models arise in situations where two possible worlds may not have the same set of agents. We illustrate it with distributed computing examples of synchronous systems where processes may crash.


title: General Theory of Music by Icosahedron 2: Analysis of musical pieces by the exceptional musical icosahedra

abstract: We propose a new way of analyzing musical pieces by using the exceptional musical icosahedra where all the major/minor triads are represented by golden triangles or golden gnomons. First, we introduce a concept of the golden neighborhood that characterizes golden triangles/gnomons that neighbor a given golden triangle or gnomon. Then, we investigate a relation between the exceptional musical icosahedra and the neo-Riemannian theory, and find that the golden neighborhoods and the icosahedron symmetry relate any major/minor triad with any major/minor triad. Second, we show how the exceptional musical icosahedra are applied to analyzing harmonies constructed by four or more tones. We introduce two concepts, golden decomposition and golden singular. The golden decomposition is a decomposition of a given harmony into the minimum number of harmonies constructing the given harmony and represented by the golden figure (a golden triangle, a golden gnomon, or a golden rectangle). A harmony is golden singular if and only if the harmony does not have golden decompositions. We show results of the golden analysis (analysis by the golden decomposition) of the tertian seventh chords and the mystic chord. While the dominant seventh chord is the only tertian seventh chord that is golden singular in the type 1[star] and the type 4[star] exceptional musical icosahedron, the half-diminished seventh chord is the only tertian seventh chord that is golden singular in the type 2 [star] and the type 3[star] exceptional musical icosahedron. Last, we apply the golden analysis to the famous prelude in C major composed by Johann Sebastian Bach (BWV 846). We found 7 combinations of the golden figures on the type 2 [star] or the type 3 [star] exceptional musical icosahedron dually represent all the measures of the BWV 846.


title: Ion irradiation and implantation modifications of magneto-ionically induced exchange bias in Gd/NiCoO

abstract: Magneto-ionic control of magnetic properties through ionic migration has shown promise in enabling new functionalities in energy-efficient spintronic devices. In this work, we demonstrate the effect of helium ion irradiation and oxygen implantation on magneto-ionically induced exchange bias effect in Gd/Ni$_{0.33}$Co$_{0.67}$O heterostructures. Irradiation using $He^+$ leads to an expansion of the Ni$_{0.33}$Co$_{0.67}$O lattice due to strain relaxation. At low He+ fluence ($\leq$ 2$\times$10$^{14}$ ions cm$^{-2}$), the redox-induced interfacial magnetic moment initially increases, owing to enhanced oxygen migration. At higher fluence, the exchange bias is suppressed due to reduction of pinned uncompensated interfacial Ni$_{0.33}$Co$_{0.67}$O spins. For oxygen implanted samples, an initial lattice expansion below a dose of 5$\times$10$^{15}$ cm$^{-2}$ is subsequently dominated at higher dose by a lattice contraction and phase segregation into NiO and CoO-rich phases, which in turn alters the exchange bias. These results highlight the possibility of ion irradiation and implantation as an effective means to tailor magneto-ionic effects.


title: Close stellar flybys common in low-mass clusters

abstract: Numerous protoplanetary discs show distinct spiral arms features. While possibly caused by a range of processes, detailed pattern analysis points at close stellar flybys as cause for some of them. Surprisingly, these discs reside in young low-mass clusters, where close stellar flybys are expected to be rare. This fact motivated us to take a fresh look at the frequency of close flybys in low-mass clusters. In the solar neighbourhood, low-mass clusters have smaller half-mass radii than their more massive counterparts. We show that this observational fact results in the mean and central stellar density of low-mass clusters being approximately the same as in high-mass clusters, which is rarely reflected in theoretical studies. We perform N-body simulations of the stellar dynamics in young clusters obeying the observed mass-radius relation. Taking the mean disc truncation radius as a proxy for the degree of influence of the environment, we find that the influence of the environment on discs is more or less the same in low- and high-mass clusters. Even the fraction of small discs($<$ 10 au) is nearly identical. Our main conclusion is that the frequency of close flybys seems to have been severely underestimated for low-mass clusters. A testable prediction of this hypothesis is that low-mass clusters should contain 10%-15% of discs smaller than 30 au truncated by flybys. These truncated discs should be distinguishable from primordially small discs by their steep outer edge.


title: Extended Field Theories as higher Kaluza-Klein theories

abstract: Extended Field Theories include Double Field Theory (DFT) and Exceptional Field Theory, which are respectively the T- and U-duality covariant formulations of the supergravity limit of String Theory and M-theory. Extended Field Theories do not live on spacetime, but on an extended spacetime, locally modelled on the space underlying the fundamental representation of the duality group. Despite its importance in M-theory, however, the global understanding of Extended Field Theories is still an open problem. In this thesis we propose a global geometric formulation of Extended Field Theory. Recall that ordinary Kaluza-Klein theory unifies a metric with a gauge field on a principal bundle. We propose a generalisation of the Kaluza-Klein principle which unifies a metric and a higher gauge field on a principal infinity-bundle. This is achieved by introducing an atlas for the principal infinity-bundle, whose local charts can be naturally identified with the ones of Extended Field Theory. Thus, DFT is interpreted as a higher Kaluza-Klein theory set on the total space of a bundle gerbe underlying Kalb-Ramond field. As first application, we define the higher Kaluza-Klein monopole by naturally generalising the ordinary Gross-Perry monopole. Then we show that this monopole is exactly the NS5-brane of String Theory. Secondly, we show that our higher geometric formulation gives automatically rise to global abelian T-duality and global Poisson-Lie T-duality. In particular, we globally recover the abelian T-fold and we define the notion of Poisson-Lie T-fold. Crucially, we will investigate the global geometric formulation of tensor hierarchies and gauged supergravity. In particular, we will provide a global formulation of generalised Scherk-Schwarz reductions and we will discuss their global non-geometric properties. Finally, we explore the T-duality covariant geometric quantisation of DFT.


title: Network control by a constrained external agent as a continuous optimization problem

abstract: Social science studies dealing with control in networks typically resort to heuristics or describing the static control distribution. Optimal policies, however, require interventions that optimize control over a socioeconomic network subject to real-world constraints. We integrate optimisation tools from deep-learning with network science into a framework that is able to optimize such interventions in real-world networks. We demonstrate the framework in the context of corporate control, where it allows to characterize the vulnerability of strategically important corporate networks to sensitive takeovers, an important contemporaneous policy challenge. The framework produces insights that are relevant for governing real-world socioeconomic networks, and opens up new research avenues for improving our understanding and control of such complex systems.


title: VizLinter: A Linter and Fixer Framework for Data Visualization

abstract: Despite the rising popularity of automated visualization tools, existing systems tend to provide direct results which do not always fit the input data or meet visualization requirements. Therefore, additional specification adjustments are still required in real-world use cases. However, manual adjustments are difficult since most users do not necessarily possess adequate skills or visualization knowledge. Even experienced users might create imperfect visualizations that involve chart construction errors. We present a framework, VizLinter, to help users detect flaws and rectify already-built but defective visualizations. The framework consists of two components, (1) a visualization linter, which applies well-recognized principles to inspect the legitimacy of rendered visualizations, and (2) a visualization fixer, which automatically corrects the detected violations according to the linter. We implement the framework into an online editor prototype based on Vega-Lite specifications. To further evaluate the system, we conduct an in-lab user study. The results prove its effectiveness and efficiency in identifying and fixing errors for data visualizations.


title: Superconductivity in doped Weyl semimetal Mo$_{0.9}$Ir$_{0.1}$Te$_{2}$ with broken inversion symmetry

abstract: This work presents the emergence of superconductivity in Ir - doped Weyl semimetal T$_d$ - MoTe$_{2}$ with broken inversion symmetry. Chiral anomaly induced planar Hall effect and anisotropic magneto-resistance confirm the topological semimetallic nature of Mo$_{1-x}$Ir$_{x}$Te$_{2}$. Observation of weak anisotropic, moderately coupled type-II superconductivity in T$_d$ -Mo$_{1-x}$Ir$_{x}$Te$_{2}$ makes it a promising candidate for topological superconductor.


title: Containments in families with forbidden subposets

abstract: We consider the problem of determining the maximum number of pairs $F\subseteq F'$ in a family $\mathcal{F}\subseteq 2^{[n]}$ that avoids certain posets $P$ of height 2. We show that for any such $P$ the number of pairs is $O(n\binom{n}{\lfloor n/2\rfloor})$ and we find the exact value for the butterfly poset and the $N$ poset. Also, we determine the asymptotics of the maximum number of pairs in containment for some posets of which the Hasse diagram is a path.


title: Search for dark matter annihilation signals from the Galactic Center with the H.E.S.S. Inner Galaxy Survey

abstract: The presence of dark matter (DM) is suggested by a wealth of astrophysical and cosmological measurements. However, its underlying nature is yet unknown. Among the most promising candidates are weakly interacting massive particles (WIMPs): particles with mass and coupling strength at the electroweak scale and thermally produced in the early universe have a present relic density consistent with that observed today. WIMP self-annihilation would produce Standard Model particles including gamma-rays, which have been long-time recognized as a prime messenger to indirectly detect dark matter signals. The centre of the Milky Way is predicted as the brightest source of DM annihilations. The H.E.S.S. collaboration is currently performing a survey of the inner region of the Milky Way, the Inner Galaxy Survey (IGS), intended to achieve the best sensitivity to faint and diffuse emissions in a region of several degrees around the Galactic Centre. We analyzed 2014-2020 observations taken with the five-telescope array to search for a DM annihilation signal. With the current dataset of about 550 hours, we found no significant excess and therefore derived strong constraints on the velocity-weighted annihilation cross-section. TeV thermal WIMPs can be probed in different annihilation channels.


title: Hadwiger's conjecture implies a conjecture of F\"uredi-Gy\'arf\'as-Simonyi

abstract: One of the most important open problems in the field of graph colouring or even graph theory is the conjecture of Hadwiger. This conjecture was the inspiration for many mathematical works, one of them being the work of F\"uredi, Gy\'arf\'as and Simonyi in which they "risked" to conjecture the precise bound for a graph with independence number $2$ to contain a certain connected matching. We prove that their conjecture would be a corollary of Hadwiger's conjecture or equivalently if their risky conjecture would be false, then Hadwiger's conjecture would be false as well.