title: Emergent gauge symmetries -- making symmetry as well as breaking it

abstract: Gauge symmetries play an essential role in determining the interactions of particle physics. Where do they come from? Might the gauge symmetries of the Standard Model unify in the ultraviolet or might they be emergent in the infrared, below some large scale close to the Planck scale? Emergent gauge symmetries are important in quantum many-body systems in quantum phases associated with long range entanglement and topological order, e.g., they arise in high temperature superconductors, with string-net condensation and in the A-phase of superfluid He-3. String-nets and superfluid He-3 exhibit emergent properties similar to the building blocks of particle physics. Emergent gauge symmetries also play an important role in simulations of quantum field theories. This article discusses recent thinking on possible emergent gauge symmetries in particle physics, commenting also on Higgs phenomena and the vacuum energy or cosmological constant puzzle in emergent gauge systems.


title: 3rd Place Scheme on Instance Segmentation Track of ICCV 2021 VIPriors Challenges

abstract: In this paper, we introduce a data-efficient instance segmentation method we used in the 2021 VIPriors Instance Segmentation Challenge. Our solution is a modified version of Swin Transformer, based on the mmdetection which is a powerful toolbox. To solve the problem of lack of data, we utilize data augmentation including random flip and multiscale training to train our model. During inference, multiscale fusion is used to boost the performance. We only use a single GPU during the whole training and testing stages. In the end, our team achieved the result of 0.366 for AP@0.50:0.95 on the test set, which is competitive with other top-ranking methods while only one GPU is used. Besides, our method achieved the AP@0.50:0.95 (medium) of 0.592, which ranks second among all contestants. In the end, our team ranked third among all the contestants, as announced by the organizers.


title: The metal-poor end of the Spite plateau. II. Detailed chemical investigation

abstract: Context. The study of old, metal-poor stars deepens our knowledge on the early stages of the universe. In particular, the study of these stars gives us a valuable insight into the masses of the first massive stars and their emission of ionising photons. Aims. We present a detailed chemical analysis and determination of the kinematic and orbital properties of a sample of 11 dwarf stars. These are metal-poor stars, and a few of them present a low lithium content. We inspected whether the other elements also present anomalies. Methods. We analysed the high-resolution UVES spectra of a few metal-poor stars using the Turbospectrum code to synthesise spectral lines profiles. This allowed us to derive a detailed chemical analysis of Fe,


title: Lightweight Transformer in Federated Setting for Human Activity Recognition

abstract: Human activity recognition (HAR) is a machine learning task with important applications in healthcare especially in the context of home care of patients and older adults. HAR is often based on data collected from smart sensors, particularly smart home IoT devices such as smartphones, wearables and other body sensors. Deep learning techniques like convolutional neural networks (CNNs) and recurrent neural networks (RNNs) have been used for HAR, both in centralized and federated settings. However, these techniques have certain limitations: RNNs cannot be easily parallelized, CNNs have the limitation of sequence length, and both are computationally expensive. Moreover, in home healthcare applications the centralized approach can raise serious privacy concerns since the sensors used by a HAR classifier collect a lot of highly personal and sensitive data about people in the home. In this paper, to address some of such challenges facing HAR, we propose a novel lightweight (one-patch) transformer, which can combine the advantages of RNNs and CNNs without their major limitations, and also TransFed, a more privacy-friendly, federated learning-based HAR classifier using our proposed lightweight transformer. We designed a testbed to construct a new HAR dataset from five recruited human participants, and used the new dataset to evaluate the performance of the proposed HAR classifier in both federated and centralized settings. Additionally, we use another public dataset to evaluate the performance of the proposed HAR classifier in centralized setting to compare it with existing HAR classifiers. The experimental results showed that our proposed new solution outperformed state-of-the-art HAR classifiers based on CNNs and RNNs, whiling being more computationally efficient.


title: Integration in semirings

abstract: The concept of integral as an inverse to that of derivation was already introduced for rings and recently also for lattices. Since semirings generalize both rings and bounded distributive lattices, it is natural to investigate integration in semirings. This is our aim in the present paper. We show properties of such integrals from the point of view of semiring operations. Examples of semirings with derivation where integrals are introduced are presented in the paper. These illuminate rather specific properties of such integrals. We show when the set of all integrals on a given semiring forms a semiring again.


title: Properties of the ionisation glitch: I. Modelling the ionisation region

abstract: Determining the properties of solar-like oscillating stars can be subject to many biases. A particularly important example is the helium-mass degeneracy, where the uncertainties regarding the internal physics can cause a poor determination of both the mass and surface helium content. Accordingly, an independent helium estimate is needed to overcome this degeneracy. A promising way to obtain such an estimate is to exploit the so-called ionisation glitch, i.e. a deviation from the asymptotic oscillation frequency pattern caused by the rapid structural variation in the He ionisation zones. Although progressively becoming more sophisticated, the glitch-based approach faces problems inherent to its current modelling such as the need for calibration by realistic stellar models. This requires a physical model of the ionisation region explicitly involving the parameters of interest such as the surface helium abundance, $Y_s$. Through a thermodynamic treatment of the ionisation region, an analytical approximation for the first adiabatic exponent $\Gamma_1$ is presented. The induced stellar structure is found to depend on only three parameters including the surface helium abundance $Y_s$ and the electron degeneracy $\psi_\textrm{CZ}$ in the convective region. The model thus defined allows a wide variety of structures to be described and, in particular, is able to approximate a realistic model in the ionisation region. The modelling work conducted enables us to study the structural perturbations causing the glitch. More elaborate forms of perturbations than the ones usually assumed are found. It is also suggested that there might be a stronger dependence of the structure on both the electron degeneracy in the convection zone and on the position of the ionisation region rather than on the amount of helium itself.


title: Learner to learner fuzzy profiles similarity using a hybrid interaction analysis grid

abstract: The analysis of remote discussions is not yet at the same level as the face-to-face ones. The present paper aspires twofold. On the one hand, it attempts to establish a suitable environment of interaction and collaboration among learners by using the speech acts via a semi structured synchronous communication tool. On the other, it aims to define behavioral profiles and interpersonal skills hybrid grid by matching the BALES' IPA and PLETY's analysis system. By applying the fuzzy logic, we formalize human reasoning and, thus, giving very appreciable flexibility to the reasoning that use it, which makes it possible to take into account imprecisions and uncertainties. In addition, the educational data mining techniques are used to optimize the mapping of behaviors to learner's profile, with similarity-based clustering, using Eros and PCA measures. In order to show the validity of our system, we performed an experiment on real-world data. The results show, among others: (1) the usefulness of fuzzy logic to properly translate the profile text descriptions into a mathematical format, (2) an irregularity in the behavior of the learners, (3) the correlation between the profiles, (4) the superiority of Eros method to the PCA factor in precision.


title: Conditional wave theory of environmental interactions with a quantum particle

abstract: We present an alternative formulation of quantum decoherence theory using conditional wave theory (CWT), which was originally developed in molecular physics (also known as exact factorisation methods). We formulate a CWT of a classic model of collisional decoherence of a free particle with environmental particles treated in a long-wavelength limit. In general, the CWT equation of motion for the particle is non-linear, where the non-linearity enters via the CWT gauge fields. For Gaussian wave packets the analytic solutions of the CWT equations are in exact agreement with those from the density matrix formalism. We show that CWT gauge terms that determine the dynamics of the particle's marginal wave function are related to a Taylor series expansion of the particle's reduced density matrix. Approximate solutions to these equations lead to a linear-time approximation that reproduces the ensemble width in the limits of both short and long times, in addition to reproducing the long-term behaviour of the coherence length. With this approximation, the non-linear equation of motion for the particle's marginal wave function can be written in the form of the logarithmic Schr\"odinger equation. The CWT formalism may lead to computationally efficient calculations of quantum decoherence, since it involves working with wave-function level terms instead of evolving a density matrix via a master equation.


title: Synergizing between Self-Training and Adversarial Learning for Domain Adaptive Object Detection

abstract: We study adapting trained object detectors to unseen domains manifesting significant variations of object appearance, viewpoints and backgrounds. Most current methods align domains by either using image or instance-level feature alignment in an adversarial fashion. This often suffers due to the presence of unwanted background and as such lacks class-specific alignment. A common remedy to promote class-level alignment is to use high confidence predictions on the unlabelled domain as pseudo labels. These high confidence predictions are often fallacious since the model is poorly calibrated under domain shift. In this paper, we propose to leverage model predictive uncertainty to strike the right balance between adversarial feature alignment and class-level alignment. Specifically, we measure predictive uncertainty on class assignments and the bounding box predictions. Model predictions with low uncertainty are used to generate pseudo-labels for self-supervision, whereas the ones with higher uncertainty are used to generate tiles for an adversarial feature alignment stage. This synergy between tiling around the uncertain object regions and generating pseudo-labels from highly certain object regions allows us to capture both the image and instance level context during the model adaptation stage. We perform extensive experiments covering various domain shift scenarios. Our approach improves upon existing state-of-the-art methods with visible margins.


title: A Step Towards On-Path Security Function Outsourcing

abstract: Security function outsourcing has witnessed both research and deployment in the recent years. While most existing services take a straight-forward approach of cloud hosting, on-path transit networks (such as ISPs) are increasingly more interested in offering outsourced security services to end users. Recent proposals (such as SafeBricks and mbTLS) have made it possible to outsource sensitive security applications to untrusted, arbitrary networks, rendering on-path security function outsourcing more promising than ever. However, to provide on-path security function outsourcing, there is one crucial component that is still missing -- a practical end-to-end network protocol. Thus, the discovery and orchestration of multiple capable and willing transit networks for user-requested security functions have only been assumed in many studies without any practical solutions. In this work, we propose Opsec, an end-to-end security-outsourcing protocol that fills this gap and brings us closer to the vision of on-path security function outsourcing. Opsec automatically discovers one or more transit ISPs between a client and a server, and requests user-specified security functions efficiently. When designing Opsec, we prioritize the practicality and applicability of this new end-to-end protocol in the current Internet. Our proof-of-concept implementation of Opsec for web sessions shows that an end user can easily start a new web session with a few clicks of a browser plug-in, to specify a series of security functions of her choice. We show that it is possible to implement such a new end-to-end service model in the current Internet for the majority of the web services without any major changes to the standard protocols (e.g., TCP, TLS, HTTP) and the existing network infrastructure (e.g., ISP's routing primitives).


title: Flats in the space of K\"ahler metrics and Okounkov bodies

abstract: We study sufficient conditions for the existence of flat subspaces in the space of continuous plurisubharmonic metrics on a polarised complex projective manifold, relying on the generalised Legendre transform to the Okounkov body defined by Witt Nystrom, and a result of Schwer--Lytchak.


title: Open-set Classification of Common Waveforms Using A Deep Feed-forward Network and Binary Isolation Forest Models

abstract: In this paper, we examine the use of a deep multi-layer perceptron architecture to classify received signals as one of seven common waveforms, single carrier (SC), single-carrier frequency division multiple access (SC-FDMA), orthogonal frequency division multiplexing (OFDM), linear frequency modulation (LFM), amplitude modulation (AM), frequency modulation (FM), and phase-coded pulse modulation used in communication and radar networks. Synchronization of the signals is not needed as we assume there is an unknown and uncompensated time and frequency offset. The classifier is open-set meaning it assumes unknown waveforms may appear. Isolation forest (IF) models acting as binary classifiers are used for each known signal class to perform detection of possible unknown signals. This is accomplished using the 32-length feature vector from a dense layer as input to the IF models. The classifier and IF models work together to monitor the spectrum and identify waveforms along with detecting unknown waveforms. Results showed the classifier had 100% classification rate above 0 dB with an accuracy of 83.2% and 94.7% at -10 dB and -5 dB, respectively, with signal impairments present. Results for the IF models showed an overall accuracy of 98% when detecting known and unknown signals with signal impairments present. IF models were able to reject all unknown signals while signals similar to known signals were able to pass through 2% of the time due to the contamination rate used during training. Overall, the entire system can classify correctly in an open-set mode with 98% accuracy at SNR greater than 0 dB.


title: Rapid Quantum Squeezing by Jumping the Harmonic Oscillator Frequency

abstract: Quantum sensing and quantum information processing use quantum advantages such as squeezed states that encode a quantity of interest with higher precision and generate quantum correlations to outperform classical methods. In harmonic oscillators, the rate of generating squeezing is set by a quantum speed limit. Therefore, the degree to which a quantum advantage can be used in practice is limited by the time needed to create the state relative to the rate of unavoidable decoherence. Alternatively, a sudden change of harmonic oscillator's frequency projects a ground state into a squeezed state which can circumvent the time constraint. Here, we create squeezed states of atomic motion by sudden changes of the harmonic oscillation frequency of atoms in an optical lattice. Building on this protocol, we demonstrate rapid quantum amplification of a displacement operator that could be used for detecting motion. Our results can speed up quantum gates and enable quantum sensing and quantum information processing in noisy environments.


title: The Complexity of Learning Approval-Based Multiwinner Voting Rules

abstract: We study the {PAC} learnability of multiwinner voting, focusing on the class of approval-based committee scoring (ABCS) rules. These are voting rules applied on profiles with approval ballots, where each voter approves some of the candidates. According to ABCS rules, each committee of $k$ candidates collects from each voter a score, which depends on the size of the voter's ballot and on the size of its intersection with the committee. Then, committees of maximum score are the winning ones. Our goal is to learn a target rule (i.e., to learn the corresponding scoring function) using information about the winning committees of a small number of sampled profiles. Despite the existence of exponentially many outcomes compared to single-winner elections, we show that the sample complexity is still low: a polynomial number of samples carries enough information for learning the target rule with high confidence and accuracy. Unfortunately, even simple tasks that need to be solved for learning from these samples are intractable. We prove that deciding whether there exists some ABCS rule that makes a given committee winning in a given profile is a computationally hard problem. Our results extend to the class of sequential Thiele rules, which have received attention recently due to their simplicity.


title: On the automorphisms of hyperplane sections of generalized Grassmannians

abstract: Given a smooth hyperplane section $H$ of a rational homogeneous space $G/P$ with Picard number one, we address the question whether it is always possible to lift an automorphism of $H$ to the Lie group $G$, or more precisely to Aut$(G/P)$. Using linear spaces and quadrics in $H$, we show that the answer is positive up to a few well understood exceptions related to Jordan algebras. When $G/P$ is an adjoint variety, we show how to describe Aut$(H)$ completely, extending results obtained by Prokhorov and Zaidenberg when $G$ is the exceptional group $G_2$.


title: PICSAR-QED: a Monte Carlo module to simulate Strong-Field Quantum Electrodynamics in Particle-In-Cell codes for exascale architectures

abstract: Physical scenarios where the electromagnetic fields are so strong that Quantum ElectroDynamics (QED) plays a substantial role are one of the frontiers of contemporary plasma physics research. Investigating those scenarios requires state-of-the-art Particle-In-Cell (PIC) codes able to run on top high-performance computing machines and, at the same time, able to simulate strong-field QED processes. This work presents the PICSAR-QED library, an open-source, portable implementation of a Monte Carlo module designed to provide modern PIC codes with the capability to simulate such processes, and optimized for high-performance computing. Detailed tests and benchmarks are carried out to validate the physical models in PICSAR-QED, to study how numerical parameters affect such models, and to demonstrate its capability to run on different architectures (CPUs and GPUs). Its integration with WarpX, a state-of-the-art PIC code designed to deliver scalable performance on upcoming exascale supercomputers, is also discussed and validated against results from the existing literature.


title: Investigating coronal wave energy estimates using synthetic non-thermal line widths

abstract: Aims. Estimates of coronal wave energy remain uncertain as a large fraction of the energy is likely hidden in the non-thermal line widths of emission lines. In order to estimate these wave energies, many previous studies have considered the root mean squared wave amplitudes to be a factor of $\sqrt{2}$ greater than the non-thermal line widths. However, other studies have used different factors. To investigate this problem, we consider the relation between wave amplitudes and the non-thermal line widths within a variety of 3D magnetohydrodynamic (MHD) simulations. Methods. We consider the following 3D numerical models: Alfv\'en waves in a uniform magnetic field, transverse waves in a complex braided magnetic field, and two simulations of coronal heating in an arcade. We applied the forward modelling code FoMo to generate the synthetic emission data required to analyse the non-thermal line widths. Results. Determining a single value for the ratio between the non-thermal line widths and the root mean squared wave amplitudes is not possible across multiple simulations. It was found to depend on a variety of factors, including line-of-sight angles, velocity magnitudes, wave interference, and exposure time. Indeed, some of our models achieved the values claimed in recent articles while other more complex models deviated from these ratios. Conclusions. To estimate wave energies, an appropriate relation between the non-thermal line widths and root mean squared wave amplitudes is required. However, evaluating this ratio to be a singular value, or even providing a lower or upper bound on it, is not realistically possible given its sensitivity to various MHD models and factors. As the ratio between wave amplitudes and non-thermal line widths is not constant across our models, we suggest that this widely used method for estimating wave energy is not robust.


title: Universal construction of decoders from encoding black boxes

abstract: Isometry operations encode the quantum information of the input system to a larger output system, while the corresponding decoding operation would be an inverse operation of the encoding isometry operation. Given an encoding operation as a black box from a $d$-dimensional system to a $D$-dimensional system, we propose a universal protocol for isometry inversion that constructs a decoder from multiple calls of the encoding operation. This is a probabilistic but exact protocol whose success probability is independent of $D$. For a qubit ($d=2$) encoded in $n$ qubits, our protocol achieves an exponential improvement over any tomography-based or unitary-embedding method, which cannot avoid $D$-dependence. We present a quantum operation that converts multiple parallel calls of any given isometry operation to random parallelized unitary operations, each of dimension $d$. Applied to our setup, it universally compresses the encoded quantum information to a $D$-independent space, while keeping the initial quantum information intact. This compressing operation is combined with a unitary inversion protocol to complete the isometry inversion. We also discover a fundamental difference between our isometry inversion protocol and the known unitary inversion protocols by analyzing isometry complex conjugation and isometry transposition. General protocols including indefinite causal order are searched using semidefinite programming for any improvement in the success probability over the parallel protocols. We find a sequential "success-or-draw" protocol of universal isometry inversion for $d = 2$ and $D = 3$, thus whose success probability exponentially improves over parallel protocols in the number of calls of the input isometry operation for the said case.


title: Core-collapse, evaporation and tidal effects: the life story of a self-interacting dark matter subhalo

abstract: Self-interacting dark matter (SIDM) cosmologies admit an enormous diversity of dark matter (DM) halo density profiles, from low-density cores to high-density core-collapsed cusps. The possibility of the growth of high central density in low-mass halos, accelerated if halos are subhalos of larger systems, has intriguing consequences for small-halo searches with substructure lensing. However, following the evolution of $\lesssim 10^8 M_\odot$ subhalos in lens-mass systems ($\sim 10^{13}M_\odot$) is computationally expensive with traditional N-body simulations. In this work, we develop a new hybrid semi-analytical + N-body method to study the evolution of SIDM subhalos with high fidelity, from core formation to core-collapse, in staged simulations. Our method works best for small subhalos ($\lesssim 1/1000$ host mass), for which the error caused by dynamical friction is minimal. We are able to capture the evaporation of subhalo particles by interactions with host halo particles, an effect that has not yet been fully explored in the context of subhalo core-collapse. We find three main processes drive subhalo evolution: subhalo internal heat outflow, host-subhalo evaporation, and tidal effects. The subhalo central density grows only when the heat outflow outweighs the energy gain from evaporation and tidal heating. Thus, evaporation delays or even disrupts subhalo core-collapse. We map out the parameter space for subhalos to core-collapse, finding that it is nearly impossible to drive core-collapse in subhalos in SIDM models with constant cross sections. Any discovery of ultra-compact dark substructures with future substructure lensing observations favors additional degrees of freedom, such as velocity-dependence, in the cross section.


title: Rapid Assessments of Light-Duty Gasoline Vehicle Emissions Using On-Road Remote Sensing and Machine Learning

abstract: In-time and accurate assessments of on-road vehicle emissions play a central role in urban air quality and health policymaking. However, official insight is hampered by the Inspection/Maintenance (I/M) procedure conducted in the laboratory annually. It not only has a large gap to real-world situations (e.g., meteorological conditions) but also is incapable of regular supervision. Here we build a unique dataset including 103831 light-duty gasoline vehicles, in which on-road remote sensing (ORRS) measurements are linked to the I/M records based on the vehicle identification numbers and license plates. On this basis, we develop an ensemble model framework that integrates three machining learning algorithms, including neural network (NN), extreme gradient boosting (XGBoost), and random forest (RF). We demonstrate that this ensemble model could rapidly assess the vehicle-specific emissions (i.e., CO, HC, and NO). In particular, the model performs quite well for the passing vehicles under normal conditions (i.e., lower VSP (< 18 kw/t), temperature (6 ~ 32 {\deg}C), relative humidity (< 80%), and wind speed (< 5m/s)). Together with the current emission standard, we identify a large number of the dirty (2.33%) or clean (74.92%) vehicles in the real world. Our results show that the ORRS measurements, assisted by the machine-learning-based ensemble model developed here, can realize day-to-day supervision of on-road vehicle-specific emissions. This approach framework provides a valuable opportunity to reform the I/M procedures globally and mitigate urban air pollution deeply.


title: Generative Memory-Guided Semantic Reasoning Model for Image Inpainting

abstract: Most existing methods for image inpainting focus on learning the intra-image priors from the known regions of the current input image to infer the content of the corrupted regions in the same image. While such methods perform well on images with small corrupted regions, it is challenging for these methods to deal with images with large corrupted area due to two potential limitations: 1) such methods tend to overfit each single training pair of images relying solely on the intra-image prior knowledge learned from the limited known area; 2) the inter-image prior knowledge about the general distribution patterns of visual semantics, which can be transferred across images sharing similar semantics, is not exploited. In this paper, we propose the Generative Memory-Guided Semantic Reasoning Model (GM-SRM), which not only learns the intra-image priors from the known regions, but also distills the inter-image reasoning priors to infer the content of the corrupted regions. In particular, the proposed GM-SRM first pre-learns a generative memory from the whole training data to capture the semantic distribution patterns in a global view. Then the learned memory are leveraged to retrieve the matching inter-image priors for the current corrupted image to perform semantic reasoning during image inpainting. While the intra-image priors are used for guaranteeing the pixel-level content consistency, the inter-image priors are favorable for performing high-level semantic reasoning, which is particularly effective for inferring semantic content for large corrupted area. Extensive experiments on Paris Street View, CelebA-HQ, and Places2 benchmarks demonstrate that our GM-SRM outperforms the state-of-the-art methods for image inpainting in terms of both the visual quality and quantitative metrics.


title: pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

abstract: Fourier transforms are an often necessary component in many computational tasks, and can be computed efficiently through the fast Fourier transform (FFT) algorithm. However, many applications involve an underlying continuous signal, and a more natural choice would be to work with e.g. the Fourier series (FS) coefficients in order to avoid the additional overhead of translating between the analog and discrete domains. Unfortunately, there exists very little literature and tools for the manipulation of FS coefficients from discrete samples. This paper introduces a Python library called pyFFS for efficient FS coefficient computation, convolution, and interpolation. While the libraries SciPy and NumPy provide efficient functionality for discrete Fourier transform coefficients via the FFT algorithm, pyFFS addresses the computation of FS coefficients through what we call the fast Fourier series (FFS). Moreover, pyFFS includes an FS interpolation method based on the chirp Z-transform that can make it more than an order of magnitude faster than the SciPy equivalent when one wishes to perform interpolation. GPU support through the CuPy library allows for further acceleration, e.g. an order of magnitude faster for computing the 2-D FS coefficients of 1000 x 1000 samples and nearly two orders of magnitude faster for 2-D interpolation. As an application, we discuss the use of pyFFS in Fourier optics. pyFFS is available as an open source package at https://github.com/imagingofthings/pyFFS, with documentation at https://pyffs.readthedocs.io.


title: Parity measurement in the strong dispersive regime of circuit quantum acoustodynamics

abstract: Mechanical resonators are emerging as an important new platform for quantum science and technologies. A large number of proposals for using them to store, process, and transduce quantum information motivates the development of increasingly sophisticated techniques for controlling mechanical motion in the quantum regime. By interfacing mechanical resonators with superconducting circuits, circuit quantum acoustodynamics (cQAD) can make a variety of important tools available for manipulating and measuring motional quantum states. Here we demonstrate direct measurements of the phonon number distribution and parity of nonclassical mechanical states. We do this by operating our system in the strong dispersive regime, where a superconducting qubit can be used to spectroscopically resolve phonon Fock states. These measurements are some of the basic building blocks for constructing acoustic quantum memories and processors. Furthermore, our results open the door to performing even more complex quantum algorithms using mechanical systems, such as quantum error correction and multi-mode operations.


title: Ubiquitous Charge Order Correlations in High-Temperature Superconducting Cuprates

abstract: The presence of charge order in high-transition-temperature copper oxides (high-Tc cuprates) was identified a decade ago. Now it is a universally observed order like the antiferromagnetic and the superconducting orders of the cuprates. The charge order shows up in various forms depending on materials, and it overlaps other orders in the phase diagram. Because of this diversity and complexity it has been far from clear whether or not the charge order has a direct relevance to superconductivity and to the mysterious pseudogap phenomenon. However, the research development in the last few years has been successful in revealing universal aspects of the charge order and its fluctuations. It turns out that the charge order is compatible with superconductivity, and that its fluctuations have high onset temperature and high energy scale comparable to those of the pseudogap. The charge order correlations might be indispensable for creating the pseudogap and possibly generating high-Tc superconductivity by collaborating with spin and pairing correlations.


title: A New Approach for Verification of Delay Coobservability of Discrete-Event Systems

abstract: In decentralized networked supervisory control of discrete-event systems (DESs), the local supervisors observe event occurrences subject to observation delays to make correct control decisions. Delay coobservability describes whether these local supervisors can make sufficient observations. In this paper, we provide an efficient way to verify delay coobservability. For each controllable event, we partition the specification language into a finite number of sets such that strings in different sets have different lengths. For each of the sets, we construct a verifier to check if delay coobservability holds for the controllable event. The computational complexity of the proposed approach is polynomial with respect to the number of states, the number of events, and the upper bounds on observation delays and only exponential with respect to the number of local supervisors. It has lower complexity order than the existing approaches. In addition, we investigate the relationship between the decentralized supervisory control of networked DESs and the decentralized fault diagnosis of networked DESs and show that delay $K$-codiagnosability is transformable to delay coobservability. Thus, techniques for the verification of delay coobservability can be leveraged to verify delay $K$-codiagnosability.


title: VLT spectropolarimetry of comet 67P: Dust environment around the end of its intense Southern summer

abstract: We report our new spectropolarimetric observations for 67P dust over 4,000--9,000 Angstrom using the ESO/Very Large Telescope in January--March 2016 (phase angle ranging $\sim$26--5 deg) to constrain the properties of the dust particles of 67P and therefrom diagnose the dust environment of its coma and near-surface layer at around the end of the Southern summer of the comet. We examined the optical behaviours of the dust, which, together with Rosetta colour data, were used to search for dust evolution with cometocentric distance. Modelling was also conducted to identify the dust attributes compatible with the results. The spectral dependence of the polarisation degree of 67P dust is flatter than found in other dynamical groups of comets in similar observing geometry. The depth of its negative polarisation branch appears to be a bit shallower than in long-period comets and might be getting shallower as 67P repeats its apparitions. Its dust colour shows a change in slope around 5,500 Angstrom, (17.3 $\pm$ 1.4) and (10.9 $\pm$ 0.6) % (1,000 Angstrom)$^{\rm -1}$ for shortward and longward of the wavelength, respectively, which are slightly redder but broadly consistent with the average of Jupiter-Family comets. Observations of 67P dust in this study can be attributed to dust agglomerates of $\sim$100 $\mu$m in size detected by Rosetta in early 2016. A porosity of 60 % shows the best match with our polarimetric results, yielding a dust density of $\sim$770 kg m$^{\rm -3}$. Compilation of Rosetta and our data indicates the dust's reddening with increasing nucleus distance, which may be driven by water-ice sublimation as the dust moves out of the nucleus. We estimate the possible volume fraction of water ice in the initially ejected dust as $\sim$6 % (i.e. the refractory-to-ice volume ratio of $\sim$14).


title: Inductive Representation Learning in Temporal Networks via Mining Neighborhood and Community Influences

abstract: Network representation learning aims to generate an embedding for each node in a network, which facilitates downstream machine learning tasks such as node classification and link prediction. Current work mainly focuses on transductive network representation learning, i.e. generating fixed node embeddings, which is not suitable for real-world applications. Therefore, we propose a new inductive network representation learning method called MNCI by mining neighborhood and community influences in temporal networks. We propose an aggregator function that integrates neighborhood influence with community influence to generate node embeddings at any time. We conduct extensive experiments on several real-world datasets and compare MNCI with several state-of-the-art baseline methods on various tasks, including node classification and network visualization. The experimental results show that MNCI achieves better performance than baselines.


title: Rational torus-equivariant stable homotopy V: the torsion Adams spectral sequence

abstract: We provide a calculational method for rational stable equivariant homotopy theory for a torus G based on the homology of the Borel construction on fixed points. More precisely we define an abelian torsion model, A_t(G) of finite injective dimension, a homology theory \piAt_* taking values in A_t(G) based on the homology of the Borel construction, and a finite Adams spectral sequence Ext_{A_t(G)}^{*,*}(\piAt_*(X), \piAt_*(Y)) ==> [X,Y]^G_* for rational G-spectra X and Y.


title: A Survey of Knowledge Enhanced Pre-trained Models

abstract: Pre-trained language models learn informative word representations on a large-scale text corpus through self-supervised learning, which has achieved promising performance in fields of natural language processing (NLP) after fine-tuning. These models, however, suffer from poor robustness and lack of interpretability. We refer to pre-trained language models with knowledge injection as knowledge-enhanced pre-trained language models (KEPLMs). These models demonstrate deep understanding and logical reasoning and introduce interpretability. In this survey, we provide a comprehensive overview of KEPLMs in NLP. We first discuss the advancements in pre-trained language models and knowledge representation learning. Then we systematically categorize existing KEPLMs from three different perspectives. Finally, we outline some potential directions of KEPLMs for future research.


title: Reacting multi-component fluids -- regular solutions in Lorentz spaces

abstract: The paper deals with analysis of a model of a multi-component fluid admitting chemical reactions. The flow is considered in the incompressible regime. The main result shows global existence of regular solutions under assumption of suitable smallness conditions. In order to control the solutions a special structure condition on the derivatives of chemical production functions determining the reactions is required. The existence is shown in a new critical functional framework of Lorentz spaces of type $L_{p,r}(0,T;L_q)$, which allows to control the integral $\int_0^\infty \|\nabla u(t)\|_{\infty} dt$.


title: Safety aware model-based reinforcement learning for optimal control of a class of output-feedback nonlinear systems

abstract: The ability to learn and execute optimal control policies safely is critical to realization of complex autonomy, especially where task restarts are not available and/or the systems are safety-critical. Safety requirements are often expressed in terms of state and/or control constraints. Methods such as barrier transformation and control barrier functions have been successfully used, in conjunction with model-based reinforcement learning, for safe learning in systems under state constraints, to learn the optimal control policy. However, existing barrier-based safe learning methods rely on full state feedback. In this paper, an output-feedback safe model-based reinforcement learning technique is developed that utilizes a novel dynamic state estimator to implement simultaneous learning and control for a class of safety-critical systems with partially observable state.


title: Learn to Communicate with Neural Calibration: Scalability and Generalization

abstract: The conventional design of wireless communication systems typically relies on established mathematical models that capture the characteristics of different communication modules. Unfortunately, such design cannot be easily and directly applied to future wireless networks, which will be characterized by large-scale ultra-dense networks whose design complexity scales exponentially with the network size. Furthermore, such networks will vary dynamically in a significant way, which makes it intractable to develop comprehensive analytical models. Recently, deep learning-based approaches have emerged as potential alternatives for designing complex and dynamic wireless systems. However, existing learning-based methods have limited capabilities to scale with the problem size and to generalize with varying network settings. In this paper, we propose a scalable and generalizable neural calibration framework for future wireless system design, where a neural network is adopted to calibrate the input of conventional model-based algorithms. Specifically, the backbone of a traditional time-efficient algorithm is integrated with deep neural networks to achieve a high computational efficiency, while enjoying enhanced performance. The permutation equivariance property, carried out by the topological structure of wireless systems, is furthermore utilized to develop a generalizable neural network architecture. The proposed neural calibration framework is applied to solve challenging resource management problems in massive multiple-input multiple-output (MIMO) systems. Simulation results will show that the proposed neural calibration approach enjoys significantly improved scalability and generalization compared with the existing learning-based methods.


title: From SLAM to Situational Awareness: Challenges and Survey

abstract: The capability of a mobile robot to efficiently and safely perform complex missions is limited by its knowledge of the environment, namely the situation. Advanced reasoning, decision-making, and execution skills enable an intelligent agent to act autonomously in unknown environments. Situational Awareness (SA) is a fundamental capability of humans that has been deeply studied in various fields, such as psychology, military, aerospace, and education. Nevertheless, it has yet to be considered in robotics, which has focused on single compartmentalized concepts such as sensing, spatial perception, sensor fusion, state estimation, and Simultaneous Localization and Mapping (SLAM). Hence, the present research aims to connect the broad multidisciplinary existing knowledge to pave the way for a complete SA system for mobile robotics that we deem paramount for autonomy. To this aim, we define the principal components to structure a robotic SA and their area of competence. Accordingly, this paper investigates each aspect of SA, surveying the state-of-the-art robotics algorithms that cover them, and discusses their current limitations. Remarkably, essential aspects of SA are still immature since the current algorithmic development restricts their performance to only specific environments. Nevertheless, Artificial Intelligence (AI), particularly Deep Learning (DL), has brought new methods to bridge the gap that maintains these fields apart from the deployment to real-world scenarios. Furthermore, an opportunity has been discovered to interconnect the vastly fragmented space of robotic comprehension algorithms through the mechanism of Situational Graph (S-Graph), a generalization of the well-known scene graph. Therefore, we finally shape our vision for the future of robotic Situational Awareness by discussing interesting recent research directions.


title: Enhancing Cold Wallet Security with Native Multi-Signature schemes in Centralized Exchanges

abstract: Currently, one of the most widely used protocols to secure cryptocurrency assets in centralized exchanges is categorizing wallets into cold and hot. While cold wallets hold user deposits, hot} wallets are responsible for addressing withdrawal requests. However, this method has some shortcomings such as: 1) availability of private keys in at least one cold device, and~2) exposure of all private keys to one trusted cold wallet admin. To overcome such issues, we design a new protocol for managing cold wallet assets by employing native multi-signature schemes. The proposed cold wallet system, involves at least two distinct devices and their corresponding admins for both wallet creation and signature generation. The method ensures that no final private key is stored on any device. To this end, no individual authority can spend from exchange assets. Moreover, we provide details regarding practical implementation of the proposed method and compare it against state-of-the-art. Furthermore, we extend the application of the proposed method to an scalable scenario where users are directly involved in wallet generation and signing process of cold wallets in an MPC manner.


title: SALSA: Spatial Cue-Augmented Log-Spectrogram Features for Polyphonic Sound Event Localization and Detection

abstract: Sound event localization and detection (SELD) consists of two subtasks, which are sound event detection and direction-of-arrival estimation. While sound event detection mainly relies on time-frequency patterns to distinguish different sound classes, direction-of-arrival estimation uses amplitude and/or phase differences between microphones to estimate source directions. As a result, it is often difficult to jointly optimize these two subtasks. We propose a novel feature called Spatial cue-Augmented Log-SpectrogrAm (SALSA) with exact time-frequency mapping between the signal power and the source directional cues, which is crucial for resolving overlapping sound sources. The SALSA feature consists of multichannel log-spectrograms stacked along with the normalized principal eigenvector of the spatial covariance matrix at each corresponding time-frequency bin. Depending on the microphone array format, the principal eigenvector can be normalized differently to extract amplitude and/or phase differences between the microphones. As a result, SALSA features are applicable for different microphone array formats such as first-order ambisonics (FOA) and multichannel microphone array (MIC). Experimental results on the TAU-NIGENS Spatial Sound Events 2021 dataset with directional interferences showed that SALSA features outperformed other state-of-the-art features. Specifically, the use of SALSA features in the FOA format increased the F1 score and localization recall by 6% each, compared to the multichannel log-mel spectrograms with intensity vectors. For the MIC format, using SALSA features increased F1 score and localization recall by 16% and 7%, respectively, compared to using multichannel log-mel spectrograms with generalized cross-correlation spectra.


title: TyXe: Pyro-based Bayesian neural nets for Pytorch

abstract: We introduce TyXe, a Bayesian neural network library built on top of Pytorch and Pyro. Our leading design principle is to cleanly separate architecture, prior, inference and likelihood specification, allowing for a flexible workflow where users can quickly iterate over combinations of these components. In contrast to existing packages TyXe does not implement any layer classes, and instead relies on architectures defined in generic Pytorch code. TyXe then provides modular choices for canonical priors, variational guides, inference techniques, and layer selections for a Bayesian treatment of the specified architecture. Sampling tricks for variance reduction, such as local reparameterization or flipout, are implemented as effect handlers, which can be applied independently of other specifications. We showcase the ease of use of TyXe to explore Bayesian versions of popular models from various libraries: toy regression with a pure Pytorch neural network; large-scale image classification with torchvision ResNets; graph neural networks based on DGL; and Neural Radiance Fields built on top of Pytorch3D. Finally, we provide convenient abstractions for variational continual learning. In all cases the change from a deterministic to a Bayesian neural network comes with minimal modifications to existing code, offering a broad range of researchers and practitioners alike practical access to uncertainty estimation techniques. The library is available at https://github.com/TyXe-BDL/TyXe.


title: On the role of density fluctuations in the core turbulent transport of Wendelstein 7-X

abstract: A recent characterization of core turbulence carried out with a Doppler reflectometer in the optimized stellarator Wendelstein 7-X (W7-X) found that discharges achieving high ion temperatures at the core featured an ITG-like suppression of density fluctuations driven by a reduction of the gradient ratio $\eta_i = L_n/L_{T_i}$ [D. Carralero et al., Nucl. Fusion, 2021]. In order to confirm the role of ITG turbulence in this process, we set out to establish experimentally the relation between core density fluctuations, turbulent heat flux and global confinement. With this aim, we consider the scenarios found in the previous work and carry out power balance analysis for a number of representative ones, including some featuring high ion temperature. As well, we evaluate the global energy confinement time and discuss it in the context of the ISS04 inter-stellarator scaling. We find that, when turbulence is suppressed as a result of a reduction of $\eta_i$, there is a reduction of ion turbulent transport, and global performance is improved as a result. This is consistent with ITG turbulence limiting the ion temperature at the core of W7-X. In contrast, when turbulence is reduced following a decrease in collisionality, no changes are observed in transport or confinement. This could be explained by ITG modes being combined with TEM turbulence when the later is destabilized at low collisionalities.


title: Polynomial bounds for chromatic number. IV. A near-polynomial bound for excluding the five-vertex path

abstract: A graph G is H-free if it has no induced subgraph isomorphic to H. We prove that a $P_5$-free graph with clique number $\omega\ge 3$ has chromatic number at most $\omega^{\log_2(\omega)}$. The best previous result was an exponential upper bound $(5/27)3^{\omega}$, due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdos-Hajnal conjecture holds for $P_5$, which is the smallest open case. Thus there is great interest in whether there is a polynomial bound for $P_5$-free graphs, and our result is an attempt to approach that.


title: Effective Dynamics of Tracer in Active Bath: A Mean-field Theory Study

abstract: We develop a theoretical framework to study the effective dynamics of a tracer immersed in a nonequilibrium bath consisting of active particles. By using a mean-field approximation and extending the linearized Dean equation to nonequilibrium environment, we derive a generalized Langevin equation for the tracer particle, wherein colored noise terms and a memory kernel reflect the roles of interactions between tracer and bath particles as well as activity of the bath. In particular, we obtain a self-consistent equation to calculate the long time diffusion coefficient and mobility of tracer, finding that they both increase non-linearly with bath activity, in good consistents with direct simulation results.


title: Generalizable Human Pose Triangulation

abstract: We address the problem of generalizability for multi-view 3D human pose estimation. The standard approach is to first detect 2D keypoints in images and then apply triangulation from multiple views. Even though the existing methods achieve remarkably accurate 3D pose estimation on public benchmarks, most of them are limited to a single spatial camera arrangement and their number. Several methods address this limitation but demonstrate significantly degraded performance on novel views. We propose a stochastic framework for human pose triangulation and demonstrate a superior generalization across different camera arrangements on two public datasets. In addition, we apply the same approach to the fundamental matrix estimation problem, showing that the proposed method can successfully apply to other computer vision problems. The stochastic framework achieves more than 8.8% improvement on the 3D pose estimation task, compared to the state-of-the-art, and more than 30% improvement for fundamental matrix estimation, compared to a standard algorithm.


title: An Explanation of Mellin's 1921 Paper

abstract: In 1921 Mellin published a Comptes Rendu paper computing the principal root of the polynomial $Z^n + x_1Z^{n_1} + \cdots + x_pZ^{n_p} - 1$ using hypergeometric functions of its coefficients $x_1,...,x_p.$ He used an integral transform nowadays bearing his name. Slightly over three pages, the paper is written in French in a terse style befitting the language. Unable to find an elementary explanation on the web or in a texbook, we wrote this expository article to make Mellin's landmark result accessible to interested people who are not experts in hypergeometric functions and complex analysis.


title: The bunkbed conjecture holds in the $p\uparrow 1$ limit

abstract: Let $G=(V,E)$ be a countable graph. The Bunkbed graph of $G$ is the product graph $G \times K_2$, which has vertex set $V\times \{0,1\}$ with "horizontal'' edges inherited from $G$ and additional "vertical'' edges connecting $(w,0)$ and $(w,1)$ for each $w \in V$. Kasteleyn's bunkbed conjecture states that for each $u,v \in V$ and $p\in [0,1]$, the vertex $(u,0)$ is at least as likely to be connected to $(v,0)$ as to $(v,1)$ under Bernoulli-$p$ bond percolation on the bunkbed graph. We prove that the conjecture holds in the $p \uparrow 1$ limit in the sense that for each finite graph $G$ there exists $\varepsilon(G)>0$ such that the bunkbed conjecture holds for $p \geqslant 1-\varepsilon(G)$.


title: Thermodynamics of a dilute Bose gas: A path-integral Monte Carlo study

abstract: We present precise path-integral Monte-Carlo results for the thermodynamics of a homogeneous dilute Bose gas. Pressure and energy are calculated as a function of temperature both below and above the Bose-Einstein transition. Specifically, we address interaction effects, focusing on deviations from the ideal gas law in the thermodynamic limit. We also calculate the isothermal compressibility and the contact parameter, which provide a clear signature of the role played by interactions. In particular, we show that the compressibility exhibits a discontinuity at the transition point. To gain physical insight, numerical results are systematically compared with the predictions of first-order Hartree-Fock and second-order Popov theories, both giving an approximate description of the gas thermodynamics. The comparison shows the extension of the critical region around the transition point, where the inaccuracies of the perturbative expansions are more pronounced.


title: Learning Reward Functions from Scale Feedback

abstract: Today's robots are increasingly interacting with people and need to efficiently learn inexperienced user's preferences. A common framework is to iteratively query the user about which of two presented robot trajectories they prefer. While this minimizes the users effort, a strict choice does not yield any information on how much one trajectory is preferred. We propose scale feedback, where the user utilizes a slider to give more nuanced information. We introduce a probabilistic model on how users would provide feedback and derive a learning framework for the robot. We demonstrate the performance benefit of slider feedback in simulations, and validate our approach in two user studies suggesting that scale feedback enables more effective learning in practice.


title: Independence and orthogonality of algebraic eigenvectors over the max-plus algebra

abstract: The max-plus algebra $\mathbb{R}\cup \{-\infty \}$ is a semiring with the two operations: addition $a \oplus b := \max(a,b)$ and multiplication $a \otimes b := a + b$. Roots of the characteristic polynomial of a max-plus matrix are called algebraic eigenvalues. Recently, algebraic eigenvectors with respect to algebraic eigenvalues were introduced as a generalized concept of eigenvectors. In this paper, we present properties of algebraic eigenvectors analogous to those of eigenvectors in the conventional linear algebra. First, we prove that for generic matrices algebraic eigenvectors with respect to distinct algebraic eigenvalues are linearly independent. We further prove that for symmetric matrices algebraic eigenvectors with respect to distinct algebraic eigenvalues are orthogonal to each other.


title: Timelike Transition Form Factor for CP-odd Higgs Boson Production

abstract: We investigate the production of CP-odd Higgs boson $A^0$ associated with a real $\gamma$ in $e^+e^-$ collisions. Because of the properties of $A^0$ coupling to the other fields, the main contribution comes from the top-quark triangle loop diagrams. We obtain the timelike transition form factor which describes the production amplitude of $A^0$ in the $e^+e^-$ collisions. This timelike transition form factor is related to the spacelike transition form factor relevant for the $A^0$ production in $e^-\gamma$ collisions. It turns out that the possible extra contributions from chargino-sneutrino and neutralino-selectron box diagrams do not give sizable effects.


title: An Exact, Linear Time Barab\'asi-Albert Algorithm

abstract: This paper presents the development of a new class of algorithms that accurately implement the preferential attachment mechanism of the Barab\'asi-Albert (BA) model to generate scale-free graphs. Contrary to existing approximate preferential attachment schemes, our methods are exact in terms of the proportionality of the vertex selection probabilities to their degree and run in linear time with respect to the order of the generated graph. Our algorithms utilize a series of precise, diverse, weighted and unweighted random sampling steps to engineer the desired properties of the graph generator. We analytically show that they obey the definition of the original BA model that generates scale-free graphs and discuss their higher-order properties. The proposed methods additionally include options to manipulate one dimension of control over the joint inclusion of groups of vertices.


title: Modulational Instabity of Spin-Orbit Coupled Bose-Einstein Condensates in Discrete Media

abstract: We address the impact of intra-site spin-orbit (SO) coupling and associated inter-component Rabi coupling on the modulational instability (MI) of plane-wave states in two-component discrete Bose-Einstein condensates (BECs). Conditions for the onset of the MI and the respective instability are found analytically. SO coupling allows us to produce the MI even for a small initial wavenumber (q < {\pi}/2) for miscible states. In particular, SO coupling introduces MI even in the absence of hopping coefficient, a concept which may have wider ramifications in heavy atomic BECs. Our investigations predict that the impact of Rabi coupling is more pronounced compared to the other system parameters. We have also shown how our results of the linear stability analysis can be corroborated numerically. The fact that we have brought out the stability criteria in different domains of system parameters means that our model is tailor made experiments.


title: Magneto-Seebeck effect and ambipolar Nernst effect in CsV$_3$Sb$_5$ superconductor

abstract: We present a study of Seebeck and Nernst effect in combination with magnetoresistance and Hall measurements of the Kagome superconductor CsV$_3$Sb$_5$. Sizable magneto-Seebeck signal appears once the charge density wave (CDW) order sets in below $T_{CDW}$=94 K. The Nernst signal peaks at a lower temperature $T^*$=35 K, crossing which the Hall coefficient switches sign, which we attribute to the ambipolar transport of compensated bands due to the multi-band nature of CsV$_3$Sb$_5$. Sublinear Nernst signal as a function of magnetic field, together with large anomalous Nernst effect (ANE) also emerge inside the CDW phase, despite the absence of long-range magnetic order. These findings suggest that, the transport properties are dominated by small pockets with multi-band profile, and that the unusual band topology also plays an import role in the CDW state of CsV$_3$Sb$_5$.


title: Incremental Dissipativity based Control of Discrete-Time Nonlinear Systems via the LPV Framework

abstract: Unlike for Linear Time-Invariant (LTI) systems, for nonlinear systems, there exists no general framework for systematic convex controller design which incorporates performance shaping. The Linear Parameter-Varying (LPV) framework sought to bridge this gap by extending convex LTI synthesis results such that they could be applied to nonlinear systems. However, recent literature has shown that naive application of the LPV framework can fail to guarantee the desired asymptotic stability guarantees for nonlinear systems. Incremental dissipativity theory has been successfully used in the literature to overcome these issues for Continuous-Time (CT) systems. However, so far no solution has been proposed for output-feedback based incremental control for the Discrete-Time (DT) case. Using recent results on convex analysis of incremental dissipativity for DT nonlinear systems, in this paper, we propose a convex output-feedback controller synthesis method to ensure closed-loop incremental dissipativity of DT nonlinear systems via the LPV framework. The proposed method is applied on a simulation example, demonstrating improved stability and performance properties compared to a standard LPV controller design.


title: Discovering care pathways for multi-morbid patients using event graphs

abstract: Patients suffering from multiple diseases (multi-morbid patients) often have complex clinical pathways. They are diagnosed and treated by different specialties and undergo other clinical actions related to various diagnoses. Coordination of care for these patients is often challenging, and it would be of great benefit to get better insight into how the clinical pathways develop in reality. Discovering these pathways using traditional process mining techniques and standard event logs may be difficult because the patient is involved in several highly independent clinical processes. Our objective is to explore the potential of analyzing these pathways using an event log representation reflecting the independent clinical processes. Our main research question is: How can we identify valuable insights by using a multi-entity event data representation for clinical pathways of multi-morbid patients? Our method was built on the idea to represent multiple entities in event logs as event graphs. The MIMIC-III data-set was used to evaluate the feasibility of this approach. Several clinical entities were identified and then mapped into an event graph. Finally, multi-entity directly follows graphs were discovered by querying the event graph visualizing them. Our result shows that paths involving multiple entities include traditional process mining concepts not for one clinical process but all involved processes. In addition, the relationship between activities of different clinical processes, which was not recognizable in traditional models, is visible in the event graph representation.


title: A reverse H\"older inequality for first eigenfunctions of the Dirichlet Laplacian on RCD(K,N) spaces

abstract: In the framework of (possibly non-smooth) metric measure spaces with Ricci curvature bounded below by a positive constant in a synthetic sense, we establish a sharp and rigid reverse-H\"older inequality for first eigenfunctions of the Dirichlet Laplacian. This generalises to the positively curved and non-smooth setting the classical "Chiti Comparison Theorem". We also prove a related quantitative stability result which seems to be new even for smooth Riemannian manifolds.


title: Kinetic modelling of epidemic dynamics: social contacts, control with uncertain data, and multiscale spatial dynamics

abstract: In this survey we report some recent results in the mathematical modeling of epidemic phenomena through the use of kinetic equations. We initially consider models of interaction between agents in which social characteristics play a key role in the spread of an epidemic, such as the age of individuals, the number of social contacts, and their economic wealth. Subsequently, for such models, we discuss the possibility of containing the epidemic through an appropriate optimal control formulation based on the policy maker's perception of the progress of the epidemic. The role of uncertainty in the data is also discussed and addressed. Finally, the kinetic modeling is extended to spatially dependent settings using multiscale transport models that can characterize the impact of movement dynamics on epidemic advancement on both one-dimensional networks and realistic two-dimensional geographic settings.


title: Bias, variance, and confidence intervals for efficiency estimators in particle physics experiments

abstract: We compute bias, variance, and approximate confidence intervals for the efficiency of a random selection process under various special conditions that occur in practical data analysis. We consider the following cases: a) the number of trials is not constant but drawn from a Poisson distribution, b) the samples are weighted, c) the numbers of successes and failures have a variance which exceeds that of a Poisson process, which is the case, for example, when these numbers are obtained from a fit to mixture of signal and background events. Generalized Wilson intervals based on these variances are computed, and their coverage probability is studied. The efficiency estimators are unbiased in all considered cases, except when the samples are weighted. The standard Wilson interval is also suitable for case a). For most of the other cases, generalized Wilson intervals can be computed with closed-form expressions.

categories: stat.AP astro-ph.HE hep-ex physics.data-an


title: Empirical measures and random walks on compact spaces in the quadratic Wasserstein metric

abstract: Estimating the rate of convergence of the empirical measure of an i.i.d. sample to the reference measure is a classical problem in probability theory. Extending recent results of Ambrosio, Stra and Trevisan on 2-dimensional manifolds, in this paper we prove sharp asymptotic and nonasymptotic upper bounds for the mean rate in the quadratic Wasserstein metric $W_2$ on a $d$-dimensional compact Riemannian manifold. Under a smoothness assumption on the reference measure, our bounds match the classical rate in the optimal matching problem on the unit cube due to Ajtai, Koml\'os, Tusn\'ady and Talagrand. The i.i.d. condition is relaxed to stationary samples with a mixing condition. As an example of a nonstationary sample, we also consider the empirical measure of a random walk on a compact Lie group. Surprisingly, on semisimple groups random walks attain almost optimal rates even without a spectral gap assumption. The proofs are based on Fourier analysis, and in particular on a Berry-Esseen smoothing inequality for $W_2$ on compact manifolds, a result of independent interest with a wide range of applications.


title: Powerpropagation: A sparsity inducing weight reparameterisation

abstract: The training of sparse neural networks is becoming an increasingly important tool for reducing the computational footprint of models at training and evaluation, as well enabling the effective scaling up of models. Whereas much work over the years has been dedicated to specialised pruning techniques, little attention has been paid to the inherent effect of gradient based training on model sparsity. In this work, we introduce Powerpropagation, a new weight-parameterisation for neural networks that leads to inherently sparse models. Exploiting the behaviour of gradient descent, our method gives rise to weight updates exhibiting a "rich get richer" dynamic, leaving low-magnitude parameters largely unaffected by learning. Models trained in this manner exhibit similar performance, but have a distribution with markedly higher density at zero, allowing more parameters to be pruned safely. Powerpropagation is general, intuitive, cheap and straight-forward to implement and can readily be combined with various other techniques. To highlight its versatility, we explore it in two very different settings: Firstly, following a recent line of work, we investigate its effect on sparse training for resource-constrained settings. Here, we combine Powerpropagation with a traditional weight-pruning technique as well as recent state-of-the-art sparse-to-sparse algorithms, showing superior performance on the ImageNet benchmark. Secondly, we advocate the use of sparsity in overcoming catastrophic forgetting, where compressed representations allow accommodating a large number of tasks at fixed model capacity. In all cases our reparameterisation considerably increases the efficacy of the off-the-shelf methods.


title: Machine learning aided noise filtration and signal classification for CREDO experiment

abstract: The wealth of smartphone data collected by the Cosmic Ray Extremely Distributed Observatory(CREDO) greatly surpasses the capabilities of manual analysis. So, efficient means of rejectingthe non-cosmic-ray noise and identification of signals attributable to extensive air showers arenecessary. To address these problems we discuss a Convolutional Neural Network-based method ofartefact rejection and complementary method of particle identification based on common statisticalclassifiers as well as their ensemble extensions. These approaches are based on supervised learning,so we need to provide a representative subset of the CREDO dataset for training and validation.According to this approach over 2300 images were chosen and manually labeled by 5 judges.The images were split into spot, track, worm (collectively named signals) and artefact classes.Then the preprocessing consisting of luminance summation of RGB channels (grayscaling) andbackground removal by adaptive thresholding was performed. For purposes of artefact rejectionthe binary CNN-based classifier was proposed which is able to distinguish between artefacts andsignals. The classifier was fed with input data in the form of Daubechies wavelet transformedimages. In the case of cosmic ray signal classification, the well-known feature-based classifierswere considered. As feature descriptors, we used Zernike moments with additional feature relatedto total image luminance. For the problem of artefact rejection, we obtained an accuracy of 99%. For the 4-class signal classification, the best performing classifiers achieved a recognition rate of 88%.


title: gnlse-python: Open Source Software to Simulate Nonlinear Light Propagation In Optical Fibers

abstract: The propagation of pulses in optical fibers is described by the generalized nonlinear Schrodinger equation (GNLSE), which takes into account the fiber losses, nonlinear effects, and higher-order chromatic dispersion. The GNLSE is a partial differential equation, whose order depends on the accounted nonlinear and dispersion effects. We present gnlse-python, a nonlinear optics modeling toolbox that contains a rich set of components and modules to solve the GNLSE using the split-step Fourier transform method (SSFM). The numerical solver is freely available, implemented in Python language, and includes a number of optical fiber analysis tools. Code and data are available at https://github.com/WUST-FOG/gnlse-python.


title: Optimization of a CCD-in-CMOS TDI detector's operating clock voltages by Taguchi based Grey relational analysis

abstract: In recent years, CCD-in-CMOS TDI image sensors are becoming increasingly popular for many small satellite missions to assure a fast and affordable access to space for Low Earth Observation. Our monolithic CCD-in-CMOS TDI imager features a specifically developed technology which combines the benefits of a classical CCD TDI with the advantages of CMOS System-On-a-Chip (SoC) design. Like CCD, this detector is also controlled by a large number of clock voltages. Optimizing these voltages allows to increase the performance of the detector by improving multiple characteristic parameters, such as full well capacity (FWC), dark current, linearity, dark signal non-uniformity (DSNU) and charge transfer efficiency (CTE). Traditionally, it has been the standard practice to adjust the CCD voltages by trial and error methods to get a better image. Because of the large parameter space, such subjective procedures may yield far from the optimum performance. This paper reports a design of experiments (DOE) technique applied on the clock voltages to improve the multiple performance parameters of the detector. This method utilizes the Taguchi's orthogonal arrays of experiments to reduce the number of experiments with different voltage combinations. Finally, optimal combination of clock voltages is obtained by converting the multiple performance parameters of the detector into a single Grey relational grade. In this process, the sequences of obtaining parameter values are categorized according to the performance characteristics. The condition Higher-the-better is used for parameters like FWC and CTE whereas condition Lower-the-better is applied for parameters, such as dark current, linearity error and DSNU.


title: A cost-effective nonlinear extremum-preserving finite volume scheme for highly anisotropic diffusion on Cartesian grids, with application to radiation belt dynamics

abstract: We construct a new nonlinear finite volume (FV) scheme for highly anisotropic diffusion equations, that satisfies the discrete minimum-maximum principle. The construction relies on the linearized scheme satisfying less restrictive monotonicity conditions than those of an M-matrix, based on a weakly regular matrix splitting and using the Cartesian structure of the mesh (extension to quadrilateral meshes is also possible). The resulting scheme, obtained by expressing fluxes as nonlinear combinations of linear fluxes, has a larger stencil than other nonlinear positivity preserving or minimum-maximum principle preserving schemes. Its larger "linearized" stencil, closer to the actual complete stencil (that includes unknowns appearing in the convex combination coefficients), enables a faster convergence of the Picard iterations used to compute the solution of the scheme. Steady state dimensionless numerical tests as well as simulations of the highly anisotropic diffusion in electron radiation belts show a second order of convergence of the new scheme and confirm its computational efficiency compared to usual nonlinear FV schemes.


title: Cyber-physical risk modeling with imperfect cyber-attackers

abstract: We model the risk posed by a malicious cyber-attacker seeking to induce grid insecurity by means of a load redistribution attack, while explicitly acknowledging that such an actor would plausibly base its decision strategy on imperfect information. More specifically, we introduce a novel formulation for the cyber-attacker's decision-making problem and analyze the distribution of decisions taken with randomly inaccurate data on the grid branch admittances or capacities, and the distribution of their respective impact. Our findings indicate that inaccurate admittance values most often lead to suboptimal cyber-attacks that still compromise the grid security, while inaccurate capacity values result in notably less effective attacks. We also find common attacked cyber-assets and common affected physical-assets between all (random) imperfect cyber-attacks, which could be exploited in a preventive and/or corrective sense for effective cyber-physical risk management.


title: Universal Database for Economic Complexity

abstract: We present an integrated database suitable for the investigations of the Economic development of countries by using the Economic Fitness and Complexity framework. Firstly, we implement machine learning techniques to reconstruct the database of Trade of Services and we integrate it with the database of the Trade of the physical Goods, generating a complete view of the International Trade and denoted the Universal database. Using this data, we derive a statistically significant network of interaction of the Economic activities, where preferred paths of development and clusters of High-Tech industries naturally emerge. Finally, we compute the Economic Fitness, an algorithmic assessment of the competitiveness of countries, removing the unexpected misbehaviour of Economies under-represented by the sole consideration of the Trade of the physical Goods.


title: Direct measurement of the 13C({\alpha},n)16O cross section into the s-process Gamow peak

abstract: One of the main neutron sources for the astrophysical s-process is the reaction 13C({\alpha},n)16O, taking place in thermally pulsing Asymptotic Giant Branch stars at temperatures around 90 MK. To model the nucleosynthesis during this process the reaction cross section needs to be known in the 150-230keV energy window (Gamow peak). At these sub-Coulomb energies cross section direct measurements are severely affected by the low event rate, making us rely on input from indirect methods and extrapolations from higher-energy direct data. This leads to an uncertainty in the cross section at the relevant energies too high to reliably constrain the nuclear physics input to s-process calculations. We present the results from a new deep-underground measurement of 13C({\alpha},n)16O, covering the energy range 230-300keV, with drastically reduced uncertainties over previous measurements and for the first time providing data directly inside the s-process Gamow peak. Selected stellar models have been computed to estimate the impact of our revised reaction rate. For stars of nearly solar composition, we find sizeable variations of some isotopes, whose production is influenced by the activation of close-by branching points that are sensitive to the neutron density, in particular the two radioactive nuclei 60Fe and 205Pb, as well as 152Gd


title: Divergence-Regularized Multi-Agent Actor-Critic

abstract: Entropy regularization is a popular method in reinforcement learning (RL). Although it has many advantages, it alters the RL objective of the original Markov Decision Process (MDP). Though divergence regularization has been proposed to settle this problem, it cannot be trivially applied to cooperative multi-agent reinforcement learning (MARL). In this paper, we investigate divergence regularization in cooperative MARL and propose a novel off-policy cooperative MARL framework, divergence-regularized multi-agent actor-critic (DMAC). Theoretically, we derive the update rule of DMAC which is naturally off-policy and guarantees monotonic policy improvement and convergence in both the original MDP and divergence-regularized MDP. We also give a bound of the discrepancy between the converged policy and optimal policy in the original MDP. DMAC is a flexible framework and can be combined with many existing MARL algorithms. Empirically, we evaluate DMAC in a didactic stochastic game and StarCraft Multi-Agent Challenge and show that DMAC substantially improves the performance of existing MARL algorithms.


title: Constraints on high density equation of state from maximum neutron star mass

abstract: The low density nuclear matter equation of state is strongly constrained by nuclear properties, however, for constraining the high density equation of state it is necessary to resort to indirect information obtained from the observation of neutron stars, compact objects that may have a central density several times nuclear matter saturation density, $n_0$. Taking a meta-modelling approach to generate a huge set of equation of state that satisfy nuclear matter properties close to $n_0$ and that do not contain a first order phase transition, the possibility of constraining the high density equation of state was investigated. The entire information obtained from the GW170817 event for the probability distribution of $\tilde{\Lambda}$ was used to make a probabilistic inference of the EOS, which goes beyond the constraints imposed by nuclear matter properties. Nuclear matter properties close to saturation, below $2n_0$, do not allow us to distinguish between equations of state that predict different neutron star (NS) maximum masses. This is, however, not true if the equation of state is constrained at low densities by the tidal deformability of the NS merger associated to GW170817. Above $3n_0$, differences may be large, for both approaches, and, in particular, the pressure and speed of sound of the sets studied do not overlap, showing that the knowledge of the NS maximum mass may give important information on the high density EOS. Narrowing the maximum mass uncertainty interval will have a sizeable effect on constraining the high density EOS.


title: Leveraging power grid topology in machine learning assisted optimal power flow

abstract: Machine learning assisted optimal power flow (OPF) aims to reduce the computational complexity of these non-linear and non-convex constrained optimization problems by consigning expensive (online) optimization to offline training. The majority of work in this area typically employs fully connected neural networks (FCNN). However, recently convolutional (CNN) and graph (GNN) neural networks have also been investigated, in effort to exploit topological information within the power grid. Although promising results have been obtained, there lacks a systematic comparison between these architectures throughout literature. Accordingly, we introduce a concise framework for generalizing methods for machine learning assisted OPF and assess the performance of a variety of FCNN, CNN and GNN models for two fundamental approaches in this domain: regression (predicting optimal generator set-points) and classification (predicting the active set of constraints). For several synthetic power grids with interconnected utilities, we show that locality properties between feature and target variables are scarce and subsequently demonstrate marginal utility of applying CNN and GNN architectures compared to FCNN for a fixed grid topology. However, with variable topology (for instance, modeling transmission line contingency), GNN models are able to straightforwardly take the change of topological information into account and outperform both FCNN and CNN models.

categories: cs.LG cs.SY eess.SP eess.SY physics.data-an


title: The case for the Humanities Citation Index (HuCI): a citation index by the humanities, for the humanities

abstract: Citation indexes are by now part of the research infrastructure in use by most scientists: a necessary tool in order to cope with the increasing amounts of scientific literature being published. Commercial citation indexes are designed for the sciences and have uneven coverage and unsatisfactory characteristics for humanities scholars, while no comprehensive citation index is published by a public organization. We argue that an open citation index for the humanities is desirable, for four reasons: it would greatly improve and accelerate the retrieval of sources, it would offer a way to interlink collections across repositories (such as archives and libraries), it would foster the adoption of metadata standards and best practices by all stakeholders (including publishers) and it would contribute research data to fields such as bibliometrics and science studies. We also suggest that the citation index should be informed by a set of requirements relevant to the humanities. We discuss four such requirements: source coverage must be comprehensive, including books and citations to primary sources; there needs to be chronological depth, as scholarship in the humanities remains relevant over time; the index should be collection-driven, leveraging the accumulated thematic collections of specialized research libraries; and it should be rich in context in order to allow for the qualification of each citation, for example by providing citation excerpts. We detail the fit-for-purpose research infrastructure which can make the Humanities Citation Index a reality. Ultimately, we argue that a citation index for the humanities can be created by humanists, via a collaborative, distributed and open effort.


title: Experimental realization of BB84 protocol with different phase gates and SARG04 protocol

abstract: Cryptography in the modern era is very important to prevent a cyber attack, as the world tends to be more and more digitalized. Classical cryptographic protocols mainly depend on the mathematical complicacy of encoding functions and the shared key, like RSA protocol in which security depends upon the fact that factoring a big number is a hard problem to the current computers. This means that high computing power can help you crack traditional encryption methods. Quantum machines claim to have this kind of power in many instances. Factorization of big numbers may be possible with Shor's algorithm with quantum machines in considerable time. Apart from this, the main problem is key sharing i.e., how to securely share the key the first time to validate the encryption. Here comes quantum key distribution. Two parties who are interested in communication with each other, create a process, which claims considerable security against an eavesdropper, by encoding and decoding information in quantum states to construct and share a secret key. Quantum key distribution may be done in a variety of ways. This paper begins with experimental verification of the BB84 procedure utilizing four bases (using phase gates) followed by the experimental realization of the SARG04 protocol which was derived from BB84 Protocol to overcome PNS attack. The possibility of a third-party attack and the effect of noise is considered and implemented. The IBM Quantum Experience platform was used for all of the implementations.


title: Detailed study of extended gamma-ray morphology in the vicinity of the Coma cluster with Fermi-LAT

abstract: Galaxy clusters can be sources of high-energy (HE) $\gamma$-ray radiation, due to the efficient acceleration of particles exceeding EeV energies. At present, though, the only candidate for emitting HE $\gamma$-rays is the Coma cluster, towards which an excess of $\gamma$-ray emission has been detected by the Fermi Large Area Telescope (LAT). Using $\mathrm{\sim12.3}$ years of \textit{Fermi}-LAT data, we explored the region of the Coma cluster between energies 100 MeV and 1 TeV by detailed spectral and morphological analysis. In the region of the Coma cluster, we detected diffuse gamma-ray emission of energies between 100 MeV and 1 TeV with a 5.4$\sigma$ extension significance and a 68\% containment radius of $0.82^{+0.10}_{-0.05}$ degrees derived with a 2D homogeneous disk model. The corresponding gamma-ray spectrum extends up to $\sim50$ GeV, with a power-law index of $\mathrm{\Gamma=2.23\pm0.11}$ and flux of $\mathrm{(3.84\pm0.67)\times10^{-12}\,erg\,cm^{-2}\,s^{-1}}$. Using energy arguments we show that point-like sources such as radiogalaxies and star-forming galaxies are unlikely to explain the emission, and more likely, the emission is produced in the Coma cluster. Besides, we also identified three point-like sources in the region. However, due to the limited statistics of the detection, we could neither exclude nor conclude that the total extended emission is contributed to by these three-point like sources.


title: Real space visualization of entangled excitonic states in charged molecular assemblies

abstract: Entanglement of excitons holds great promise for the future of quantum computing, which would use individual molecular dyes as building blocks of their circuitry. Even though entangled excitonic eigenstates emerging in coupled molecular assemblies can be detected by far-field spectroscopies, access to the individual modes in real space will bring the much needed insight into the photophysics of these fascinating quantum phenomena. Here we combine tip-enhanced spectromicroscopy with atomic force microscopy to inspect delocalized single-exciton states of charged molecular assemblies engineered from individual perylenetetracarboxylic dianhydride molecules. Hyperspectral mapping of the eigenstates and comparison with calculated many-body optical transitions reveals a second low-lying excited state of the anion monomers and its role in the exciton entanglement within the assemblies. We also demonstrate control over the coupling by switching the assembly charge states. Our results reveal the possibility of tailoring excitonic properties of organic dye aggregates for advanced functionalities and establish the methodology to address them individually at the nanoscale.


title: A converse theorem for degree 2 elements of the Selberg class with restricted gamma factor

abstract: We prove a converse theorem for a family of L functions of degree 2 with gamma factor coming from a holomorphic cuspform. We show these L functions coincide with either those coming from a newform or a product of L functions arising from Dirichlet characters. We require some analytic data on the Euler factors, but don't require anything on the shape. We also suppose that the twisted L functions satisfy expected functional equations. We allow the non-trivial twists to have arbitrary poles.


title: DCT based Fusion of Variable Exposure Images for HDRI

abstract: Combining images with different exposure settings are of prime importance in the field of computational photography. Both transform domain approach and filtering based approaches are possible for fusing multiple exposure images, to obtain the well-exposed image. We propose a Discrete Cosine Transform (DCT-based) approach for fusing multiple exposure images. The input image stack is processed in the transform domain by an averaging operation and the inverse transform is performed on the averaged image obtained to generate the fusion of multiple exposure image. The experimental observation leads us to the conjecture that the obtained DCT coefficients are indicators of parameters to measure well-exposedness, contrast and saturation as specified in the traditional exposure fusion based approach and the averaging performed indicates equal weights assigned to the DCT coefficients in this non-parametric and non pyramidal approach to fuse the multiple exposure stack.


title: Search for Higgs boson decays into a pair of pseudoscalar particles in the $bb\mu\mu$ final state with the ATLAS detector in $pp$ collisions at $\sqrt{s}=13$ TeV

abstract: This paper presents a search for decays of the Higgs boson with a mass of 125 GeV into a pair of new pseudoscalar particles, $H\rightarrow aa$, where one $a$-boson decays into a $b$-quark pair and the other into a muon pair. The search uses 139 fb$^{-1}$ of proton-proton collision data at a center-of-mass energy of $\sqrt{s}=13$ TeV recorded between 2015 and 2018 by the ATLAS experiment at the LHC. A narrow dimuon resonance is searched for in the invariant mass spectrum between 16 GeV and 62 GeV. The largest excess of events above the Standard Model backgrounds is observed at a dimuon invariant mass of 52 GeV and corresponds to a local (global) significance of $3.3 \sigma$ ($1.7 \sigma$). Upper limits at 95% confidence level are placed on the branching ratio of the Higgs boson to the $bb\mu\mu$ final state, $\mathcal{B}(H\rightarrow aa\rightarrow bb\mu\mu)$, and are in the range $\text{(0.2-4.0)} \times 10^{-4}$, depending on the signal mass hypothesis.


title: Confounder importance learning for treatment effect inference

abstract: We address modelling and computational issues for multiple treatment effect inference under many potential confounders. A primary issue relates to preventing harmful effects from omitting relevant covariates (under-selection), while not running into over-selection issues that introduce substantial variance and a bias related to the non-random over-inclusion of covariates. We propose a novel empirical Bayes framework for Bayesian model averaging that learns from data the extent to which the inclusion of key covariates should be encouraged, specifically those highly associated to the treatments. A key challenge is computational. We develop fast algorithms, including an Expectation-Propagation variational approximation and simple stochastic gradient optimization algorithms, to learn the hyper-parameters from data. Our framework uses widely-used ingredients and largely existing software, and it is implemented within the R package mombf featured on CRAN. This work is motivated by and is illustrated in two applications. The first is the association between salary variation and discriminatory factors. The second, that has been debated in previous works, is the association between abortion policies and crime. Our approach provides insights that differ from previous analyses especially in situations with weaker treatment effects.


title: Effects of stage structure on coexistence: mixed benefits

abstract: The properties of competition models where all individuals are identical are relatively well-understood; however, juveniles and adults can experience or generate competition differently. We study here less well-known structured competition models in discrete time that allow multiple life history parameters to depend on adult or juvenile population densities. A numerical study with Ricker density-dependence suggested that when competition coefficients acting on juvenile survival and fertility reflect opposite competitive hierarchies, stage structure could foster coexistence. We revisit and expand those results. First, through a Beverton-Holt two-species juvenile-adult model, we confirm that these findings do not depend on the specifics of density-dependence or life cycles, and obtain analytical expressions explaining how this coexistence emerging from stage structure can occur. Second, we show using a community-level sensitivity analysis that such emergent coexistence is robust to perturbations of parameter values. Finally, we ask whether these results extend from two to many species, using simulations. We show that they do not, as coexistence emerging from stage structure is only seen for very similar life-history parameters. Such emergent coexistence is therefore not likely to be a key mechanism of coexistence in very diverse ecosystems, although it may contribute to explaining coexistence of certain pairs of intensely competing species.


title: A Logic for Aristotle's Modal Syllogistic

abstract: We propose a new modal logic endowed with a simple deductive system to interpret Aristotle's theory of the modal syllogism. While being inspired by standard propositional modal logic it is also a logic of terms that admits a (sound) extensional semantics involving possible states-of-affairs in a given world. Applied to the analysis of Aristotle's modal syllogistic as found in the \emph{Prior Analytics} A8-22 it sheds light on various fine-grained distinctions which when made allow us to clarify some ambiguities and obtain a completely consistent system and prove all of the modal syllogisms considered valid by Aristotle.This logic allows us also to make a connection with the axioms of modern propositional modal logic and to perceive to what extent these are implicit in Aristotle's reasoning. Further work wil involve addressing the question of the completeness of this logic (or variants thereof) together with the extension of the logic to include a calculus of relations (for instance the relational syllogistic treated in Galen's \emph{Introduction to Logic}) which Slomkowsky has argued is already found in the \emph{Topics}.


title: Visual Cluster Separation Using High-Dimensional Sharpened Dimensionality Reduction

abstract: Applying dimensionality reduction (DR) to large, high-dimensional data sets can be challenging when distinguishing the underlying high-dimensional data clusters in a 2D projection for exploratory analysis. We address this problem by first sharpening the clusters in the original high-dimensional data prior to the DR step using Local Gradient Clustering (LGC). We then project the sharpened data from the high-dimensional space to 2D by a user-selected DR method. The sharpening step aids this method to preserve cluster separation in the resulting 2D projection. With our method, end-users can label each distinct cluster to further analyze an otherwise unlabeled data set. Our `High-Dimensional Sharpened DR' (HD-SDR) method, tested on both synthetic and real-world data sets, is favorable to DR methods with poor cluster separation and yields a better visual cluster separation than these DR methods with no sharpening. Our method achieves good quality (measured by quality metrics) and scales computationally well with large high-dimensional data. To illustrate its concrete applications, we further apply HD-SDR on a recent astronomical catalog.


title: MATE: Multi-Attribute Table Extraction

abstract: A core operation in data discovery is to find joinable tables for a given table. Real-world tables include both unary and n-ary join keys. However, existing table discovery systems are optimized for unary joins and are ineffective and slow in the existence of n-ary keys. In this paper, we introduce MATE, a table discovery system that leverages a novel hash-based index that enables n-ary join discovery through a space-efficient super key. We design a filtering layer that uses a novel hash, XASH. This hash function encodes the syntactic features of all column values and aggregates them into a super key, which allows the system to efficiently prune tables with non-joinable rows. Our join discovery system is able to prune up to 1000x more false positives and leads to over 60x faster table discovery in comparison to state-of-the-art.