title: WaveNODE: A Continuous Normalizing Flow for Speech Synthesis

abstract: In recent years, various flow-based generative models have been proposed to generate high-fidelity waveforms in real-time. However, these models require either a well-trained teacher network or a number of flow steps making them memory-inefficient. In this paper, we propose a novel generative model called WaveNODE which exploits a continuous normalizing flow for speech synthesis. Unlike the conventional models, WaveNODE places no constraint on the function used for flow operation, thus allowing the usage of more flexible and complex functions. Moreover, WaveNODE can be optimized to maximize the likelihood without requiring any teacher network or auxiliary loss terms. We experimentally show that WaveNODE achieves comparable performance with fewer parameters compared to the conventional flow-based vocoders.


title: Disparate Impact of Artificial Intelligence Bias in Ridehailing Economy's Price Discrimination Algorithms

abstract: Ridehailing applications that collect mobility data from individuals to inform smart city planning predict each trip's fare pricing with automated algorithms that rely on artificial intelligence (AI). This type of AI algorithm, namely a price discrimination algorithm, is widely used in the industry's black box systems for dynamic individualized pricing. Lacking transparency, studying such AI systems for fairness and disparate impact has not been possible without access to data used in generating the outcomes of price discrimination algorithms. Recently, in an effort to enhance transparency in city planning, the city of Chicago regulation mandated that transportation providers publish anonymized data on ridehailing. As a result, we present the first large-scale measurement of the disparate impact of price discrimination algorithms used by ridehailing applications. The application of random effects models from the meta-analysis literature combines the city-level effects of AI bias on fare pricing from census tract attributes, aggregated from the American Community Survey. An analysis of 100 million ridehailing samples from the city of Chicago indicates a significant disparate impact in fare pricing of neighborhoods due to AI bias learned from ridehailing utilization patterns associated with demographic attributes. Neighborhoods with larger non-white populations, higher poverty levels, younger residents, and high education levels are significantly associated with higher fare prices, with combined effect sizes, measured in Cohen's d, of -0.32, -0.28, 0.69, and 0.24 for each demographic, respectively. Further, our methods hold promise for identifying and addressing the sources of disparate impact in AI algorithms learning from datasets that contain U.S. geolocations.


title: Blowup behavior of strongly perturbed wave equations

abstract: We study the blowup behavior of a class of strongly perturbed wave equations with a focusing supercritical power nonlinearity in three spatial dimensions. We show that the ODE blowup profile of the unperturbed equation still describes the asymptotics of stable blowup. As a consequence, stable ODE-type blowup is seen to be a universal phenomenon that exists in a large class of semilinear wave equations.


title: FRB 200428: an Impact between an Asteroid and a Magnetar

abstract: A fast radio burst (FRB) was recently detected to be associated with a hard X-ray burst from the Galactic magnetar SGR 1935+2154. Scenarios involving magnetars for FRBs are hence highly favored. In this work, we suggest that the impact between an asteroid and a magnetar could explain such a detection. According to our calculations, an asteroid of mass $10^{20}$ g will be disrupted at a distance of $7 \times 10^9$ cm when approaching the magnetar. The accreted material will flow along the magnetic field lines from the Alfv\'en radius $\sim 10^7$ cm. After falling onto the magnetar's surface, an instant accretion column will be formed, producing a Comptonized X-ray burst and an FRB in the magnetosphere. We show that all the observational features of FRB 200428 could be interpreted self-consistently in this scenario. We predict quasi-periodic oscillations in this specific X-ray burst, which can serve as an independent observational test.


title: Superhyperfine induced photon-echo collapse of erbium in Y$_2$SiO$_5$

abstract: We investigate the decoherence of Er$^{3+}$ in Y$_2$SiO$_5$ at low magnetic fields using the photon-echo technique. We reproduce accurately a variety of the decay curves with a unique coherence time by considering the so-called superhyperfine modulation induced by a large number of neighbouring spins. There is no need to invoke any characteristic time of the spin fluctuations to reproduce very different decay curves. The number of involved nuclei increases when the magnetic is lowered. The experiment is compared with a model associating 100 surrounding ions with their exact positions in the crystal frame. We also derive an approximate spherical model (angular averaging) to interpret the main feature the observed decay curves close to zero-field.


title: BS-Net: learning COVID-19 pneumonia severity on a large Chest X-Ray dataset

abstract: In this work we design an end-to-end deep learning architecture for predicting, on Chest X-rays images (CXR), a multi-regional score conveying the degree of lung compromise in COVID-19 patients. Such semi-quantitative scoring system, namely Brixia~score, is applied in serial monitoring of such patients, showing significant prognostic value, in one of the hospitals that experienced one of the highest pandemic peaks in Italy. To solve such a challenging visual task, we adopt a weakly supervised learning strategy structured to handle different tasks (segmentation, spatial alignment, and score estimation) trained with a "from-the-part-to-the-whole" procedure involving different datasets. In particular, we exploit a clinical dataset of almost 5,000 CXR annotated images collected in the same hospital. Our BS-Net demonstrates self-attentive behavior and a high degree of accuracy in all processing stages. Through inter-rater agreement tests and a gold standard comparison, we show that our solution outperforms single human annotators in rating accuracy and consistency, thus supporting the possibility of using this tool in contexts of computer-assisted monitoring. Highly resolved (super-pixel level) explainability maps are also generated, with an original technique, to visually help the understanding of the network activity on the lung areas. We also consider other scores proposed in literature and provide a comparison with a recently proposed non-specific approach. We eventually test the performance robustness of our model on an assorted public COVID-19 dataset, for which we also provide Brixia~score annotations, observing good direct generalization and fine-tuning capabilities that highlight the portability of BS-Net in other clinical settings. The CXR dataset along with the source code and the trained model are publicly released for research purposes.


title: SoftFlow: Probabilistic Framework for Normalizing Flow on Manifolds

abstract: Flow-based generative models are composed of invertible transformations between two random variables of the same dimension. Therefore, flow-based models cannot be adequately trained if the dimension of the data distribution does not match that of the underlying target distribution. In this paper, we propose SoftFlow, a probabilistic framework for training normalizing flows on manifolds. To sidestep the dimension mismatch problem, SoftFlow estimates a conditional distribution of the perturbed input data instead of learning the data distribution directly. We experimentally show that SoftFlow can capture the innate structure of the manifold data and generate high-quality samples unlike the conventional flow-based models. Furthermore, we apply the proposed framework to 3D point clouds to alleviate the difficulty of forming thin structures for flow-based models. The proposed model for 3D point clouds, namely SoftPointFlow, can estimate the distribution of various shapes more accurately and achieves state-of-the-art performance in point cloud generation.


title: Countable homogeneous Steiner triple systems avoiding specified subsystems

abstract: In this article we construct uncountably many new homogeneous locally finite Steiner triple systems of countably infinite order as Fra\"{\i}ss\'{e} limits of classes of finite Steiner triple systems avoiding certain subsystems. The construction relies on a new embedding result: any finite partial Steiner triple system has an embedding into a finite Steiner triple system that contains no nontrivial proper subsystems that are not subsystems of the original partial system. Fra\"{\i}ss\'e's construction and its variants are rich sources of examples that are central to model-theoretic classification theory, and recently infinite Steiner systems obtained via Fra\"{\i}ss\'e-type constructions have received attention from the model theory community.


title: A spectroscopic study of MATLAS-2019 with MUSE: an ultra-diffuse galaxy with an excess of old globular clusters

abstract: The MATLAS deep imaging survey has uncovered a plethora of dwarf galaxies in the low density environment it has mapped. A fraction of them are unusually extended and have a low-surface brightness. Among these so-called ultra-diffuse galaxies, a few seem to host an excess of globular clusters. With the integral-field unit spectrograph MUSE we have observed one of these galaxies - MATLAS J15052031+0148447 (MATLAS-2019) - located towards the nearby group NGC 5846 and measured its systemic velocity,age, and metallicity, and that of its globular clusters candidates. For the stellar body of MATLAS-2019 we derive a metallicity of -1.33+0.19-0.01 dex and an age of 11.2+1.8-0.8 Gyr. For some of the individual GCs and the stacked GC population, we derive consistent ages and metallicities. From the 11 confirmed globular clusters and using a Markov Chain Monte Carlo approach we derived a dynamical mass-to-light ratio of 4.2+8.6-3.4M/L. This is at the lower end of the luminosity-mass scaling relation defined by the Local Group dwarf galaxies. Furthermore, we couldn't confirm nor reject the possibility of a rotational component of the GC system. If present, this would further modify the inferred mass. Follow-up observations of the globular cluster population and of the stellar body of the galaxy are needed to assess whether this galaxy is lacking dark matter like it was suggested for the pair of dwarf galaxies in the field of NGC 1052, or if this is a miss-interpretation arising from systematic uncertainties of the method commonly used for these systems and the large uncertainties of the individual globular cluster velocities.


title: A density of states approach to the hexagonal Hubbard model at finite density

abstract: We apply the Linear Logarithmic Relaxation (LLR) method, which generalizes the Wang-Landau algorithm to quantum systems with continuous degrees of freedom, to the fermionic Hubbard model with repulsive interactions on the honeycomb lattice. We compute the generalized density of states of the average Hubbard field and divise two reconstruction schemes to extract physical observables from this result. By computing the particle density as a function of chemical potential we assess the utility of LLR in dealing with the sign problem of this model, which arises away from half filling. We show that the relative advantage over brute-force reweighting grows as the interaction strength is increased and discuss possible future improvements.


title: BVAR-Connect: A Variational Bayes Approach to Multi-Subject Vector Autoregressive Models for Inference on Brain Connectivity Networks

abstract: In this paper we propose BVAR-connect, a variational inference approach to a Bayesian multi-subject vector autoregressive (VAR) model for inference on effective brain connectivity based on resting-state functional MRI data. The modeling framework uses a Bayesian variable selection approach that flexibly integrates multi-modal data, in particular structural diffusion tensor imaging (DTI) data, into the prior construction. The variational inference approach we develop allows scalability of the methods and results in the ability to estimate subject- and group-level brain connectivity networks over whole-brain parcellations of the data. We provide a brief description of a user-friendly MATLAB GUI released for public use. We assess performance on simulated data, where we show that the proposed inference method can achieve comparable accuracy to the sampling-based Markov Chain Monte Carlo approach but at a much lower computational cost. We also address the case of subject groups with imbalanced sample sizes. Finally, we illustrate the methods on resting-state functional MRI and structural DTI data on children with a history of traumatic injury.


title: Experimental Realization of Nonadiabatic Holonomic Single-Qubit Quantum Gates\\ with Optimal Control in a Trapped Ion

abstract: Quantum computation with quantum gates induced by geometric phases is regarded as a promising strategy in fault tolerant quantum computation, due to its robustness against operational noises. However, because of the parametric restriction of previous schemes, the main robust advantage of holonomic quantum gates is smeared. Here, we experimentally demonstrate a solution scheme, demonstrating nonadiabatic holonomic single qubit quantum gates with optimal control in a trapped Yb ion based on three level systems with resonant drives, which also hold the advantages of fast evolution and convenient implementation. Compared with corresponding previous geometric gates and conventional dynamic gates, the superiority of our scheme is that it is more robust against control amplitude errors, which is confirmed by the measured gate infidelity through both quantum process tomography and random benchmarking methods. In addition, we also outline that nontrivial two qubit holonomic gates can also be realized within current experimental technologies. Therefore, our experiment validates the feasibility for this robust and fast holonomic quantum computation strategy.


title: Discriminating the HTM and MLRSM models in collider studies via doubly charged Higgs boson pair production and the subsequent leptonic decays

abstract: We present a case study for the doubly charged Higgs bosons $H^{\pm\pm}$ pair production in $e^+e^-$ and $pp$ colliders with their subsequent decays to four charged leptons. We consider the Higgs Triplet Model (HTM) not restricted by the custodial symmetry and the Minimal Left-Right Symmetric Model (MLRSM). The models include scalar triplets with different complexity of scalar potentials and, due to experimental restrictions, completely different scales of non-standard triplet vacuum expectation values. In both models, a doubly charged Higgs boson $H^{\pm\pm}$ can acquire a mass of hundreds of gigaelectronvolts, which can be probed at HL-LHC, future $e^+e^-$, and hadron colliders. We take into account a comprehensive set of constraints on the parameters of both models coming from neutrino oscillations, LHC, $e^+e^-$ and low-energy lepton flavour violating data and assume the same mass of $H^{\pm\pm}$. Our finding is that the $H^{\pm\pm}$ pair production in lepton and hadron colliders is comparable in both models, though more pronounced in MLRSM. We show that the decay branching ratios can be different within both models, leading to distinguishable four lepton signals and that the strongest are $4\mu$ events yielded by MLRSM. Typically we find that MLRSM signals are one order of magnitude larger that in HTM. For example, the $pp \to 4\mu$ MLRSM signal for 1 TeV $H^{\pm \pm}$ mass results in a clearly detectable significance of $S \simeq 11$ for HL-LHC and $S \simeq 290$ for FCC-hh. Finally we provide quantitative predictions for the dilepton invariant mass distributions and lepton separations which help to identify non-standard signals.


title: A Comprehensive Survey on Aspect Based Sentiment Analysis

abstract: Aspect Based Sentiment Analysis (ABSA) is the sub-field of Natural Language Processing that deals with essentially splitting our data into aspects ad finally extracting the sentiment information. ABSA is known to provide more information about the context than general sentiment analysis. In this study, our aim is to explore the various methodologies practiced while performing ABSA, and providing a comparative study. This survey paper discusses various solutions in-depth and gives a comparison between them. And is conveniently divided into sections to get a holistic view on the process.


title: Structure-preserving discretization of port-Hamiltonian plate models

abstract: Methods for discretizing port-Hamiltonian systems are of interest both for simulation and control purposes. Despite the large literature on mixed finite elements, no rigorous analysis of the connections between mixed elements and port-Hamiltonian systems has been carried out. In this paper we demonstrate how existing methods can be employed to discretize dynamical plate problems in a structure-preserving way. Based on convergence results of existing schemes, new error estimates are conjectured; numerical simulations confirm the expected behaviors.


title: Multicarving for high-dimensional post-selection inference

abstract: We consider post-selection inference for high-dimensional (generalized) linear models. Data carving (Fithian et al., 2014) is a promising technique to perform this task. However, it suffers from the instability of the model selector and hence, may lead to poor replicability, especially in high-dimensional settings. We propose the multicarve method inspired by multisplitting to improve upon stability and replicability. Furthermore, we extend existing concepts to group inference and illustrate the applicability of the methodology also for generalized linear models.


title: Lower bounds on mixing norms for the advection diffusion equation in $\mathbb{R}^d$

abstract: An algebraic lower bound on the energy decay for solutions of the advection-diffusion equation in $\mathbb{R}^d$ with $d=2,3$ is derived using the Fourier splitting method. Motivated by a conjecture on mixing of passive scalars in fluids, a lower bound on the $L^2-$ norm of the inverse gradient of the solution is obtained via gradient estimates and interpolation.


title: Gluing Hilbert C*-modules over the primitive ideal space

abstract: We show that the gluing construction for Hilbert modules introduced by Raeburn in his computation of the Picard group of a continuous-trace C*-algebra (Trans. Amer. Math. Soc., 1981) can be applied to arbitrary C*-algebras, via an algebraic argument with the Haagerup tensor product. We put this result into the context of descent theory by identifying categories of gluing data for Hilbert modules over C*-algebras with categories of comodules over C*-coalgebras, giving a Hilbert-module version of a standard construction from algebraic geometry. As a consequence we show that if two C*-algebras have the same primitive ideal space T, and are Morita equivalent up to a 2-cocycle on T, then their Picard groups relative to T are isomorphic.


title: Consensus Beyond Thresholds: Generalized Byzantine Quorums Made Live

abstract: Existing Byzantine fault-tolerant (BFT) consensus protocols address only threshold failures, where the participating nodes fail independently of each other, each one fails equally likely, and the protocol's guarantees follow from a simple bound on the number of faulty nodes. With the widespread deployment of Byzantine consensus in blockchains and distributed ledgers today, however, more sophisticated trust assumptions are needed. This paper presents the first implementation of BFT consensus with generalized quorums. It starts from a number of generalized trust structures motivated by practice and explores methods to specify and implement them efficiently. In particular, it expresses the trust assumption by a monotone Boolean formula (MBF) with threshold operators and by a monotone span program (MSP), a linear-algebraic model for computation. An implementation of HotStuff BFT consensus using these quorum systems is described as well and compared to the existing threshold model. Benchmarks with HotStuff running on up to 40 replicas demonstrate that the MBF specification incurs no significant slowdown, whereas the MSP expression affects latency and throughput noticeably due to the involved computations.


title: Performance and design of consensus on matrix-weighted and time scaled graphs

abstract: In this paper, we consider the $\mathcal{H}_2$-norm of networked systems with multi-time scale consensus dynamics and vector-valued agent states. This allows us to explore how measurement and process noise affect consensus on matrix-weighted graphs by examining edge-state consensus. In particular, we highlight an interesting case where the influences of the weighting and scaling on the $\mathcal{H}_2$ norm can be separated in the design problem. We then consider optimization algorithms for updating the time scale parameters and matrix weights in order to minimize network response to injected noise. Finally, we present an application to formation control for multi-vehicle systems.


title: Cosmological perturbations in the interacting dark sector: Mapping fields and fluids

abstract: There is no unique way to describe the dark energy-dark matter interaction, as we have little information about the nature and dynamics of the dark sector. Hence, in many of the phenomenological dark matter fluid interaction models in the literature, the interaction strength $Q_{\nu}$ in the dark sector is introduced by hand. Demanding that the interaction strength $Q_{\nu}$ in the dark sector must have a field theory description, we obtain a unique form of interaction strength. We show the equivalence between the fields and fluids for the $f(R,\chi)$ model where $f$ is an arbitrary, smooth function of $R$ and classical scalar field $\chi$, which represents dark matter. Up to first order in perturbations, we show that the one-to-one mapping between the \emph{classical} field theory description and the phenomenological fluid description of interacting dark energy and dark matter exists \emph{only} for this unique form of interaction. We then classify the interacting dark energy models considered in the literature into two categories based on the field-theoretic description. We introduce a novel autonomous system and its stability analysis for the general interacting dark sector. We show that the dark-energy dominated epoch occurs earlier than the non-interacting systems for a specific scalar field potential and a range of coupling strengths.


title: Market Integration of HVDC Lines: Cost Savings from Loss Allocation and Redispatching

abstract: In the Nordic region, many interconnectors are formed by HVDC links, as Scandinavia, Continental Europe and the Baltic region are non-synchronous AC systems. This paper presents two cost benefit analyses on the utilization of HVDC interconnectors in the Nordic countries: in the first we investigate the utilization of HVDC interconnectors for reserve procurement and, in the second, we assess the implementation of implicit grid losses on HVDC interconnectors in the day-ahead market. The first analysis is motivated by real events in 2018 where the inertia of the Nordic system dropped below a critical level and the most critical generating unit, a nuclear power plant in Sweden, was redispatched to guarantee the security of the system. In order to guarantee system security while reducing the costs of preventive actions, in summer 2020 new frequency products were introduced in the Nordic system: the Fast Frequency Reserves (FFR). HVDC lines, however, can perform similar tasks at lower costs. In our analysis, we are, thus, investigating the cost savings of using HVDC lines for frequency support using their Emergency Power Control (EPC) functionality, instead of redispatching or FFR. The second analysis is based on the proposition of Nordic Transmission System Operators (TSOs) to introduce linear HVDC loss factors in the market clearing. With our analysis, we show that linear loss factors can unfairly penalize one HVDC line over the other, and this can reduce social benefits and jeopardize revenues of merchant HVDC lines. In this regard, we propose piecewise-linear loss factors: a simple-to-implement but highly-effective solution. Moreover, we demonstrate how the introduction of HVDC loss factors is a partial solution, since it disproportionally increases the AC losses. Our results show that the additional inclusion of AC loss factors can eliminate this problem.


title: SEFR: A Fast Linear-Time Classifier for Ultra-Low Power Devices

abstract: A fundamental challenge for running machine learning algorithms on battery-powered devices is the time and energy limitations, as these devices have constraints on resources. There are resource-efficient classifier algorithms that can run on these devices, but their accuracy is often sacrificed for resource efficiency. Here, we propose an ultra-low power classifier, SEFR, with linear time complexity, both in the training and the testing phases. SEFR is comparable to state-of-the-art classifiers in terms of classification accuracy, but it is 63 times faster and 70 times more energy efficient than the average of state-of-the-art and baseline classifiers on binary class datasets. The energy and memory consumption of SEFR is very insignificant, and it can even perform both train and test phases on microcontrollers. To our knowledge, this is the first multipurpose classification algorithm specifically designed to perform both training and testing on ultra-low power devices.


title: Adversarial Feature Desensitization

abstract: Neural networks are known to be vulnerable to adversarial attacks -- slight but carefully constructed perturbations of the inputs which can drastically impair the network's performance. Many defense methods have been proposed for improving robustness of deep networks by training them on adversarially perturbed inputs. However, these models often remain vulnerable to new types of attacks not seen during training, and even to slightly stronger versions of previously seen attacks. In this work, we propose a novel approach to adversarial robustness, which builds upon the insights from the domain adaptation field. Our method, called Adversarial Feature Desensitization (AFD), aims at learning features that are invariant towards adversarial perturbations of the inputs. This is achieved through a game where we learn features that are both predictive and robust (insensitive to adversarial attacks), i.e. cannot be used to discriminate between natural and adversarial data. Empirical results on several benchmarks demonstrate the effectiveness of the proposed approach against a wide range of attack types and attack strengths. Our code is available at https://github.com/BashivanLab/afd.


title: Trade-offs between membership privacy & adversarially robust learning

abstract: Historically, machine learning methods have not been designed with security in mind. In turn, this has given rise to adversarial examples, carefully perturbed input samples aimed to mislead detection at test time, which have been applied to attack spam and malware classification, and more recently to attack image classification. Consequently, an abundance of research has been devoted to designing machine learning methods that are robust to adversarial examples. Unfortunately, there are desiderata besides robustness that a secure and safe machine learning model must satisfy, such as fairness and privacy. Recent work by Song et al. (2019) has shown, empirically, that there exists a trade-off between robust and private machine learning models. Models designed to be robust to adversarial examples often overfit on training data to a larger extent than standard (non-robust) models. If a dataset contains private information, then any statistical test that separates training and test data by observing a model's outputs can represent a privacy breach, and if a model overfits on training data, these statistical tests become easier. In this work, we identify settings where standard models will overfit to a larger extent in comparison to robust models, and as empirically observed in previous works, settings where the opposite behavior occurs. Thus, it is not necessarily the case that privacy must be sacrificed to achieve robustness. The degree of overfitting naturally depends on the amount of data available for training. We go on to characterize how the training set size factors into the privacy risks exposed by training a robust model on a simple Gaussian data task, and show empirically that our findings hold on image classification benchmark datasets, such as CIFAR-10 and CIFAR-100.


title: Bubble quenches in the AdS/BCFT model

abstract: In this paper we construct time-dependent solutions of three-dimensional gravity in AdS space dual to systems with boundaries (BCFTs), following the AdS/BCFT prescription. Such solutions can be discussed in the context of the dynamics of first order phase transitions, or more generally, in the description of quantum quenches. As an example, we apply the holographic model to calculate the dynamics of the entanglement entropy of a local quench corresponding to a nucleation of a Euclidean bubble. As in the known 1+1 CFT examples of local cut and glue quenches, the holographic entanglement entropy grows logarithmically with time with the correct universal coefficient. However, in the bubble quench, the behavior is different at late times. The AdS/BCFT model exhibits the light-cone spreading of correlations and saturation at late times. We also find an analytical formula for the entropy at finite temperature. In the latter case the initial logarithmic growth is followed by the linear law at intermediate times.


title: Vertical vs. Horizontal Policy in a Capabilities Model of Economic Development

abstract: Against the background of renewed interest in vertical support policies targeting specific industries or technologies, we investigate the effects of vertical vs. horizontal policies in a combinatorial model of economic development. In the framework we propose, an economy develops by acquiring new capabilities allowing for the production of an ever greater variety of products with an increasing complexity. Innovation policy can aim to expand the number of capabilities (vertical policy) or the ability to combine capabilities (horizontal policy). The model shows that for low-income countries, the two policies are complementary. For high-income countries that are specialised in the most complex products, focusing on horizontal policy only yields the highest returns. We reflect on the model results in the light of the contemporary debate on vertical policy.


title: Generalizing the Sharp Threshold Phenomenon for the Distributed Complexity of the Lov\'asz Local Lemma

abstract: Recently, Brandt, Maus and Uitto [PODC'19] showed that, in a restricted setting, the dependency of the complexity of the distributed Lov\'asz Local Lemma (LLL) on the chosen LLL criterion exhibits a sharp threshold phenomenon: They proved that, under the LLL criterion $p2^d < 1$, if each random variable affects at most $3$ events, the deterministic complexity of the LLL in the LOCAL model is $O(d^2 + \log^* n)$. In stark contrast, under the criterion $p2^d \leq 1$, there is a randomized lower bound of $\Omega(\log \log n)$ by Brandt et al. [STOC'16] and a deterministic lower bound of $\Omega(\log n)$ by Chang, Kopelowitz and Pettie [FOCS'16]. Brandt, Maus and Uitto conjectured that the same behavior holds for the unrestricted setting where each random variable affects arbitrarily many events. We prove their conjecture, by providing an algorithm that solves the LLL in time $O(d^2 + \log^* n)$ under the LLL criterion $p2^d < 1$, which is tight in bounded-degree graphs due to an $\Omega(\log^* n)$ lower bound by Chung, Pettie and Su [PODC'14]. By the work of Brandt, Maus and Uitto, obtaining such an algorithm can be reduced to proving that all members in a certain family of functions in arbitrarily high dimensions are convex on some specific domain. Unfortunately, an analytical description of these functions is known only for dimension at most $3$, which led to the aforementioned restriction of their result. While obtaining those descriptions for functions of (substantially) higher dimension seems out of the reach of current techniques, we show that their convexity can be inferred by combinatorial means.


title: On almost-symmetry in generalized numerical semigroups

abstract: In this work we introduce the notion of almost-symmetry for generalized numerical semigroups. In addition to the main properties occurring in this new class, we present several characterizations for its elements. In particular we show that this class yields a new family of Frobenius generalized numerical semigroups and extends the class of irreducible generalized numerical semigroups. This investigation allows us to provide a method of computing all almost symmetric generalized numerical semigroup having a fixed Frobenius element and organizing them in a rooted tree depending on a chosen monomial order.


title: A Survey on Split Manufacturing: Attacks, Defenses, and Challenges

abstract: In today's integrated circuit (IC) ecosystem, owning a foundry is not economically viable, and therefore most IC design houses are now working under a fabless business model. In order to overcome security concerns associated with the outsorcing of IC fabrication, the Split Manufacturing technique was proposed. In Split Manufacturing, the Front End of Line (FEOL) layers (transistors and lower metal layers) are fabricated at an untrusted high-end foundry, while the Back End of Line (BEOL) layers (higher metal layers) are manufactured at a trusted low-end foundry. This approach hides the BEOL connections from the untrusted foundry, thus preventing overproduction and piracy threats. However, many works demonstrate that BEOL connections can be derived by exploiting layout characteristics that are introduced by heuristics employed in typical floorplanning, placement, and routing algorithms. Since straightforward Split Manufacturing may not afford a desirable security level, many authors propose defense techniques to be used along with Split Manufacturing. In our survey, we present a detailed overview of the technique, the many types of attacks towards Split Manufacturing, as well as possible defense techniques described in the literature. For the attacks, we present a concise discussion on the different threat models and assumptions, while for the defenses we classify the studies into three categories: proximity perturbation, wire lifting, and layout obfuscation. The main outcome of our survey is to highlight the discrepancy between many studies -- some claim netlists can be reconstructed with near perfect precision, while others claim marginal success in retrieving BEOL connections. Finally, we also discuss future trends and challenges inherent to Split Manufacturing, including the fundamental difficulty of evaluating the efficiency of the technique.


title: Model-agnostic Feature Importance and Effects with Dependent Features -- A Conditional Subgroup Approach

abstract: The interpretation of feature importance in machine learning models is challenging when features are dependent. Permutation feature importance (PFI) ignores such dependencies, which can cause misleading interpretations due to extrapolation. A possible remedy is more advanced conditional PFI approaches that enable the assessment of feature importance conditional on all other features. Due to this shift in perspective and in order to enable correct interpretations, it is therefore important that the conditioning is transparent and humanly comprehensible. In this paper, we propose a new sampling mechanism for the conditional distribution based on permutations in conditional subgroups. As these subgroups are constructed using decision trees (transformation trees), the conditioning becomes inherently interpretable. This not only provides a simple and effective estimator of conditional PFI, but also local PFI estimates within the subgroups. In addition, we apply the conditional subgroups approach to partial dependence plots (PDP), a popular method for describing feature effects that can also suffer from extrapolation when features are dependent and interactions are present in the model. We show that PFI and PDP based on conditional subgroups often outperform methods such as conditional PFI based on knockoffs, or accumulated local effect plots. Furthermore, our approach allows for a more fine-grained interpretation of feature effects and importance within the conditional subgroups.


title: Molybdenum in the open cluster stars

abstract: Molybdenum abundances in the stars from 13 different open clusters were determined. High-resolution stellar spectra were obtained using the VLT telescope equipped with the UVES spectrograph on Cerro Paranal, Chile. The Mo abundances were derived in the LTE approximation from the Mo I lines at 5506 A and 5533 A. A comparative analysis of the behaviour of molybdenum in the sampled stars of open clusters and Galactic disc show similar trends of decreasing Mo abundances with increasing metallicities; such a behaviour pattern suggests a common origin of the examined populations. On the other hand, the scatter of Mo abundances in the open cluster stars is slightly greater, 0.14 dex versus 0.11 dex. The results are discussed, considering the abundance trends with the age of clusters and distances from the center of the Galaxy.


title: Optimal stable Ornstein-Uhlenbeck regression

abstract: We prove some efficient inference results concerning estimation of a Ornstein-Uhlenbeck regression model, which is driven by a non-Gaussian stable Levy process and where the output process is observed at high-frequency over a fixed time period. Local asymptotics for the likelihood function is presented, followed by a way to construct an asymptotically efficient estimator through a suboptimal yet very simple preliminary estimator.


title: What we talk about when we talk about data physicality

abstract: Data physicalizations "map data to physical form," yet many canonical examples are not based on data sets. To address this contradiction, I argue that the practice of physicalization forces us to rethink traditional notions of data. This paper proposes a conceptual framework to examine how physicalizations relate to data. This paper develops a two-dimensional conceptual space for comparing different perspectives on data used in physicalization, drawing from design theory and critical data studies literature. One axis distinguishes between epistemological and ontological perspectives, focusing on the relationship between data and the mind. The second axis distinguishes how data relate to the world, differentiating between representational and relational perspectives. To clarify the aesthetic and conceptual implications of these different perspectives, the paper discusses examples of data physicalization for each quadrant of the continuous space. It further uses the framework to examine the explicit and implicit assumptions about data in physicalization literature. As a theoretical paper, it encourages practitioners to think about how data relate to the manifestations and the phenomena they try to capture. It invites exploration of the relationship between data and the world as a generative source of creative tension.


title: Estimating High-dimensional Covariance and Precision Matrices under General Missing Dependence

abstract: A sample covariance matrix $\boldsymbol{S}$ of completely observed data is the key statistic in a large variety of multivariate statistical procedures, such as structured covariance/precision matrix estimation, principal component analysis, and testing of equality of mean vectors. However, when the data are partially observed, the sample covariance matrix from the available data is biased and does not provide valid multivariate procedures. To correct the bias, a simple adjustment method called inverse probability weighting (IPW) has been used in previous research, yielding the IPW estimator. The estimator plays the role of $\boldsymbol{S}$ in the missing data context so that it can be plugged into off-the-shelf multivariate procedures. However, theoretical properties (e.g. concentration) of the IPW estimator have been only established under very simple missing structures; every variable of each sample is independently subject to missing with equal probability. We investigate the deviation of the IPW estimator when observations are partially observed under general missing dependency. We prove the optimal convergence rate $O_p(\sqrt{\log p / n})$ of the IPW estimator based on the element-wise maximum norm. We also derive similar deviation results even when implicit assumptions (known mean and/or missing probability) are relaxed. The optimal rate is especially crucial in estimating a precision matrix, because of the "meta-theorem" that claims the rate of the IPW estimator governs that of the resulting precision matrix estimator. In the simulation study, we discuss non-positive semi-definiteness of the IPW estimator and compare the estimator with imputation methods, which are practically important.


title: All your loss are belong to Bayes

abstract: Loss functions are a cornerstone of machine learning and the starting point of most algorithms. Statistics and Bayesian decision theory have contributed, via properness, to elicit over the past decades a wide set of admissible losses in supervised learning, to which most popular choices belong (logistic, square, Matsushita, etc.). Rather than making a potentially biased ad hoc choice of the loss, there has recently been a boost in efforts to fit the loss to the domain at hand while training the model itself. The key approaches fit a canonical link, a function which monotonically relates the closed unit interval to R and can provide a proper loss via integration. In this paper, we rely on a broader view of proper composite losses and a recent construct from information geometry, source functions, whose fitting alleviates constraints faced by canonical links. We introduce a trick on squared Gaussian Processes to obtain a random process whose paths are compliant source functions with many desirable properties in the context of link estimation. Experimental results demonstrate substantial improvements over the state of the art.


title: Chiral Floquet systems and quantum walks at half period

abstract: We classify chiral symmetric periodically driven quantum systems on a one-dimensional lattice. The driving process is local, can be continuous or discrete in time, and we assume a gap condition for the corresponding Floquet operator. The analysis is in terms of the unitary operator at a half-period, the half-step operator. We give a complete classification of the connected classes of half-step operators in terms of five integer indices. On the basis of these indices it can be decided whether the half-step operator can be obtained from a continuous Hamiltonian driving, or not. The half-step operator determines two Floquet operators, obtained by starting the driving at zero or at half period, respectively. These are called timeframes and are chiral symmetric quantum walks. Conversely, we show under which conditions two chiral symmetric walks determine a common half-step operator. Moreover, we clarify the connection between the classification of half-step operators and the corresponding quantum walks. Within this theory we prove bulk-edge correspondence and show that a second timeframe allows to distinguish between symmetry protected edge states at $+1$ and $-1$ which is not possible for a single timeframe.


title: Learning to Play No-Press Diplomacy with Best Response Policy Iteration

abstract: Recent advances in deep reinforcement learning (RL) have led to considerable progress in many 2-player zero-sum games, such as Go, Poker and Starcraft. The purely adversarial nature of such games allows for conceptually simple and principled application of RL methods. However real-world settings are many-agent, and agent interactions are complex mixtures of common-interest and competitive aspects. We consider Diplomacy, a 7-player board game designed to accentuate dilemmas resulting from many-agent interactions. It also features a large combinatorial action space and simultaneous moves, which are challenging for RL algorithms. We propose a simple yet effective approximate best response operator, designed to handle large combinatorial action spaces and simultaneous moves. We also introduce a family of policy iteration methods that approximate fictitious play. With these methods, we successfully apply RL to Diplomacy: we show that our agents convincingly outperform the previous state-of-the-art, and game theoretic equilibrium analysis shows that the new process yields consistent improvements.


title: Investigating Transient Characteristics of Volatile Hysteresis and Self-Heating of PrMnO$_3$ based RRAM

abstract: PrMnO$_3$ (PMO) based RRAM shows selector-less behavior due to high-non-linearity. Recently, the non-linearity, along with volatile hysteresis, is demonstrated and utilized as a compact oscillator to enable highly scaled oscillatory neurons, which enable oscillatory neuromorphic systems found in the human cortex. Hence, it is vital to understand the physical mechanisms behind such a volatile hysteretic behavior to provide useful insights in developing a device for various neuromorphic applications. In this paper, we present a comprehensive investigation of the transient characteristics and propose a physical mechanism to replicate the observations by simulations. First, we investigate the complex dynamics of the hysteresis with the voltage ramp rate. We observe that the voltage window initially increases and later decreases as the ramp rate is increased - while the current window reduces monotonically. Second, an analytical electrothermal model based on space charge limited current (SCLC) and Fourier Heat equation is proposed to model the co-dependent heat and current flow. Finally, we show that the interplay between the self-heating due to the current and the current dependence on the temperature is accurately modeled to reproduce the hysteresis dependence on the various voltage ramp rate. Such a detailed understanding of the device PMO RRAM volatile hysteresis may enable efficient device design required in neuromorphic computing applications.


title: Graph Representation Learning Network via Adaptive Sampling

abstract: Graph Attention Network (GAT) and GraphSAGE are neural network architectures that operate on graph-structured data and have been widely studied for link prediction and node classification. One challenge raised by GraphSAGE is how to smartly combine neighbour features based on graph structure. GAT handles this problem through attention, however the challenge with GAT is its scalability over large and dense graphs. In this work, we proposed a new architecture to address these issues that is more efficient and is capable of incorporating different edge type information. It generates node representations by attending to neighbours sampled from weighted multi-step transition probabilities. We conduct experiments on both transductive and inductive settings. Experiments achieved comparable or better results on several graph benchmarks, including the Cora, Citeseer, Pubmed, PPI, Twitter, and YouTube datasets.


title: High-Level Penetration of Renewable Energy with Grid: Challenges and Opportunities

abstract: The utilization of renewable energy sources (RESs) has become significant throughout the world especially over the last two decades. Although high-level RESs penetration reduces negative environmental impact compared to conventional fossil fuel based energy generation, control issues become more complex as well as total inertia to the system is significantly decreased due to removal of conventional synchronous generators. Some other technical issues, high uncertainties, low fault ride through capability, high fault current, low generation reserve, and low power quality, arise due to RESs integration. Renewable energy like solar and wind are highly uncertain due to intermittent nature of wind and sunlight. Cutting edge technologies including different control strategies, optimization techniques, energy storage devices, and fault current limiters are employed to handle those issues. This paper summarizes several challenges in the integration process of high-level RESs to the existing grid. The respective solutions to each challenge are also discussed. A comprehensive list of challenges and opportunities, for both wind and solar energy integration cases, are well documented. Also, the future recommendations are provided to solve the several problems of renewable integration which could be key research areas for the industry personnel and researchers.


title: Dynamic Network Risk

abstract: This paper examines the pricing of short-term and long-term dynamic network risk in the cross-section of stock returns. Stocks with high sensitivities to dynamic network risk earn lower returns. We rationalize our finding with economic theory that allows the stochastic discount factor to load on network risk through the precautionary savings channel. A one-standard deviation increase in long-term (short-term) network risk loadings associate with a 7.66% (6.71%) drop in annualized expected returns.


title: Searching in the dark: the hunt for the dark photon

abstract: The existence of Dark Matter (DM) is a well established fact since many decades, thanks to the observation of the effects of its gravitational interaction with the ordinary matter in the Universe. However, our knowledge of the Dark Matter features is still rather scarce. Indeed, one of the biggest quests in fundamental science today is the investigation of Dark Matter nature, from its origin to its composition, and the way its constituents interact with the ordinary matter, apart from gravity. Huge and ambitious efforts have been spent in the last years into its identification, concentrating especially on the search of viable Weakly Interacting Massive Particle candidates. However, no positive results have been achieved so far along this direction. On the other hand, many fascinating new ideas and models for its interpretation have been blooming: among them, an intriguing hypothesis is that the Dark Matter constituents could be neutral under Standard Model interactions, but they could interact through a new, still unknown, force under a "hidden" charge. This new hidden symmetry would be mediated by a massive gauge boson, the dark photon, which is expected to couple to the Standard Model via a kinetic mixing. The search for such a massive mediator has been pursued with large enthusiasm and dedication in the latest years, as its observation could be within the reach of many already existing experimental facilities, both based on accelerators


title: The Dual Information Bottleneck

abstract: The Information Bottleneck (IB) framework is a general characterization of optimal representations obtained using a principled approach for balancing accuracy and complexity. Here we present a new framework, the Dual Information Bottleneck (dualIB), which resolves some of the known drawbacks of the IB. We provide a theoretical analysis of the dualIB framework; (i) solving for the structure of its solutions (ii) unraveling its superiority in optimizing the mean prediction error exponent and (iii) demonstrating its ability to preserve exponential forms of the original distribution. To approach large scale problems, we present a novel variational formulation of the dualIB for Deep Neural Networks. In experiments on several data-sets, we compare it to a variational form of the IB. This exposes superior Information Plane properties of the dualIB and its potential in improvement of the error.


title: The role of temperature in the rigidity-controlled fracture of elastic networks

abstract: We study the influence of thermal fluctuations on the fracture of elastic networks, via simulations of the uniaxial extension of central-force spring networks with varying rigidity, i.e. connectivity. Studying their failure response, both at the macroscopic and microscopic level, we find that an increase in temperature corresponds to a more homogeneous stress (re)distribution and induces thermally activated failure of springs. As a consequence, the material strength decreases upon increasing temperature, the damage is spread over larger lengthscales and a more ductile fracture process is observed. These effects are modulated by network rigidity and can therefore be tuned via the network connectivity and the rupture threshold of the springs. Knowledge of the interplay between temperature and rigidity improves our understanding of the fracture of elastic networks, such as (biological) polymer networks, and can help to refine design principles for tough soft materials.


title: ColdGANs: Taming Language GANs with Cautious Sampling Strategies

abstract: Training regimes based on Maximum Likelihood Estimation (MLE) suffer from known limitations, often leading to poorly generated text sequences. At the root of these limitations is the mismatch between training and inference, i.e. the so-called exposure bias, exacerbated by considering only the reference texts as correct, while in practice several alternative formulations could be as good. Generative Adversarial Networks (GANs) can mitigate those limitations but the discrete nature of text has hindered their application to language generation: the approaches proposed so far, based on Reinforcement Learning, have been shown to underperform MLE. Departing from previous works, we analyze the exploration step in GANs applied to text generation, and show how classical sampling results in unstable training. We propose to consider alternative exploration strategies in a GAN framework that we name ColdGANs, where we force the sampling to be close to the distribution modes to get smoother learning dynamics. For the first time, to the best of our knowledge, the proposed language GANs compare favorably to MLE, and obtain improvements over the state-of-the-art on three generative tasks, namely unconditional text generation, question generation, and abstractive summarization.


title: Decomposition of Normal Operators and Its Application to Spectral Theorem

abstract: A decomposition theorem for self-adjoint operators proved by Riesz and Lorch is extended to normal operators. This extension gives a new proof of the spectral theorem for unbounded normal operators.


title: The Calder\'on Projector for Fibred Cusp Operators

abstract: A Calder\'on projector for an elliptic operator $P$ on a manifold with boundary $X$ is a projection from general boundary data to the set of boundary data of solutions $u$ of $Pu=0$. Seeley proved in 1966 that for compact $X$ and for $P$ uniformly elliptic up to the boundary there is a Calder\'on projector which is a pseudodifferential operator on $\partial X$. We generalize this result to the setting of fibred cusp operators, a class of elliptic operators on certain non-compact manifolds having a special fibred structure at infinity. This applies, for example, to the Laplacian on certain locally symmetric spaces or on particular singular spaces, such as a domain with cusp singularity or the complement of two touching smooth strictly convex domains in Euclidean space. Our main technical tool is the $\phi$-pseudodifferential calculus introduced by Mazzeo and Melrose. In our presentation we provide a setting that may be useful for doing analogous constructions for other types of singularities.


title: Continuous Learning and Inference of Individual Probability of SARS-CoV-2 Infection Based on Interaction Data

abstract: This study presents a new approach to determine the likelihood of asymptomatic carriers of the SARS-CoV-2 virus by using interaction-based continuous learning and inference of individual probability (CLIIP) for contagious ranking. This approach is developed based on an individual directed graph (IDG), using multi-layer bidirectional path tracking and inference searching. The IDG is determined by the appearance timeline and spatial data that can adapt over time. Additionally, the approach takes into consideration the incubation period and several features that can represent real-world circumstances, such as the number of asymptomatic carriers present. After each update of confirmed cases, the model collects the interaction features and infers the individual person's probability of getting infected using the status of the surrounding people. The CLIIP approach is validated using the individualized bidirectional SEIR model to simulate the contagion process. Compared to traditional contact tracing methods, our approach significantly reduces the screening and quarantine required to search for the potential asymptomatic virus carriers by as much as 94%.


title: Neural Architecture Search without Training

abstract: The time and effort involved in hand-designing deep neural networks is immense. This has prompted the development of Neural Architecture Search (NAS) techniques to automate this design. However, NAS algorithms tend to be slow and expensive; they need to train vast numbers of candidate networks to inform the search process. This could be alleviated if we could partially predict a network's trained accuracy from its initial state. In this work, we examine the overlap of activations between datapoints in untrained networks and motivate how this can give a measure which is usefully indicative of a network's trained performance. We incorporate this measure into a simple algorithm that allows us to search for powerful networks without any training in a matter of seconds on a single GPU, and verify its effectiveness on NAS-Bench-101, NAS-Bench-201, NATS-Bench, and Network Design Spaces. Our approach can be readily combined with more expensive search methods; we examine a simple adaptation of regularised evolutionary search. Code for reproducing our experiments is available at https://github.com/BayesWatch/nas-without-training.


title: Graph-based Visual-Semantic Entanglement Network for Zero-shot Image Recognition

abstract: Zero-shot learning uses semantic attributes to connect the search space of unseen objects. In recent years, although the deep convolutional network brings powerful visual modeling capabilities to the ZSL task, its visual features have severe pattern inertia and lack of representation of semantic relationships, which leads to severe bias and ambiguity. In response to this, we propose the Graph-based Visual-Semantic Entanglement Network to conduct graph modeling of visual features, which is mapped to semantic attributes by using a knowledge graph, it contains several novel designs: 1. it establishes a multi-path entangled network with the convolutional neural network (CNN) and the graph convolutional network (GCN), which input the visual features from CNN to GCN to model the implicit semantic relations, then GCN feedback the graph modeled information to CNN features; 2. it uses attribute word vectors as the target for the graph semantic modeling of GCN, which forms a self-consistent regression for graph modeling and supervise GCN to learn more personalized attribute relations; 3. it fuses and supplements the hierarchical visual-semantic features refined by graph modeling into visual embedding. Our method outperforms state-of-the-art approaches on multiple representative ZSL datasets: AwA2, CUB, and SUN by promoting the semantic linkage modelling of visual features.


title: Plasmoid ejection by Alfv\'en waves and the fast radio bursts from SGR 1935+2154

abstract: Using numerical simulations we show that low-amplitude Alfv\'en waves from a magnetar quake propagate to the outer magnetosphere and convert to "plasmoids" (closed magnetic loops) which accelerate from the star, driving blast waves into the magnetar wind. Quickly after its formation, the plasmoid becomes a thin relativistic pancake. It pushes out the magnetospheric field lines, and they gradually reconnect behind the pancake, generating a variable wind far stronger than the normal spindown wind of the magnetar. Repeating ejections drive blast waves in the amplified wind. We suggest that these ejections generate the simultaneous X-ray and radio bursts detected from SGR 1935+2154. A modest energy budget of the magnetospheric perturbation $\sim 10^{40}$ erg is sufficient to produce the observed bursts. Our simulation predicts a narrow (a few ms) X-ray spike from the magnetosphere, arriving almost simultaneously with the radio burst emitted far outside the magnetosphere. This timing is caused by the extreme relativistic motion of the ejecta.


title: Resource estimate for quantum many-body ground-state preparation on a quantum computer

abstract: We estimate the resources required to prepare the ground state of a quantum many-body system on a quantum computer of intermediate size. This estimate is made possible using a combination of quantum many-body methods and analytic upper bounds. Our routine can also be used to optimize certain design parameters for specific problem instances. Lastly, we propose and benchmark an improved quantum state preparation procedure. We find that it reduces the circuit T-depth by a factor as large as $10^6$ for intermediate-size lattices.


title: Time-Resolved Probing of the Nonequilibrium Structural Solvation Dynamics by the Time-Dependent Stokes Shift

abstract: The time-dependent fluorescence Stokes shifts monitors the relaxation of the polarization of a polar solvent in the surroundings of a photoexcited solute molecule, but also the structural variation of the solute following photoexcitation and the subsequent molecular charge redistribution. Here, we formulate a simple nonequilibrium quantum theory of solvation for an explicitly time-dependent continuous solvent. The time-dependent solvent induces nonequilibrium fluctuations on the solvent dynamics which are directly reflected in different time components in the time-dependent Stokes shift. We illustrate the structural dynamics in the presence of an explicitly time-dependent solvent by the example of a dynamically shrinking solute which leads to a bi-modal Stokes shift. Interestingly, both contributions are mutually coupled. Furthermore, we can explain a prominent long-tail decay of the Stokes shift associated to slow structural dynamical variations.


title: Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

abstract: The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning. However, for a long time, because of their high computational complexity, they were considered not suitable for practical purposes. The recent discovery of several computationally well-behaved ITLs has finally changed the scenario. In this paper, we investigate the finite satisfiability and model checking problems for the ITL D, that has a single modality for the sub-interval relation, under the homogeneity assumption (that constrains a proposition letter to hold over an interval if and only if it holds over all its points). We first prove that the satisfiability problem for D, over finite linear orders, is PSPACE-complete, and then we show that the same holds for its model checking problem, over finite Kripke structures. In such a way, we enrich the set of tractable interval temporal logics with a new meaningful representative.


title: Beyond the Lognormal Approximation: a General Simulation Scheme

abstract: We present a public code to generate random fields with an arbitrary probability distribution function (PDF) and an arbitrary correlation function. The algorithm is cosmology-independent, applicable to any stationary stochastic process over a three dimensional grid. We implement it in the case of the matter density field, showing its benefits over the lognormal approximation, which is often used in cosmology for generation of mock catalogues. We find that the covariance of the power spectrum from the new fast realizations is more accurate than that from a lognormal model. As a proof of concept, we also apply the new simulation scheme to the divergence of the Lagrangian displacement field. We find that information from the correlation function and the PDF of the displacement-divergence provides modest improvement over other standard analytical techniques to describe the particle field in the simulation. This suggests that further progress in this direction should come from multi-scale or non-local properties of the initial matter distribution.


title: An operational architecture for privacy-by-design in public service applications

abstract: Governments around the world are trying to build large data registries for effective delivery of a variety of public services. However, these efforts are often undermined due to serious concerns over privacy risks associated with collection and processing of personally identifiable information. While a rich set of special-purpose privacy-preserving techniques exist in computer science, they are unable to provide end-to-end protection in alignment with legal principles in the absence of an overarching operational architecture to ensure purpose limitation and protection against insider attacks. This either leads to weak privacy protection in large designs, or adoption of overly defensive strategies to protect privacy by compromising on utility. In this paper, we present an operational architecture for privacy-by-design based on independent regulatory oversight stipulated by most data protection regimes, regulated access control, purpose limitation and data minimisation. We briefly discuss the feasibility of implementing our architecture based on existing techniques. We also present some sample case studies of privacy-preserving design sketches of challenging public service applications.


title: Random Hypervolume Scalarizations for Provable Multi-Objective Black Box Optimization

abstract: Single-objective black box optimization (also known as zeroth-order optimization) is the process of minimizing a scalar objective $f(x)$, given evaluations at adaptively chosen inputs $x$. In this paper, we consider multi-objective optimization, where $f(x)$ outputs a vector of possibly competing objectives and the goal is to converge to the Pareto frontier. Quantitatively, we wish to maximize the standard hypervolume indicator metric, which measures the dominated hypervolume of the entire set of chosen inputs. In this paper, we introduce a novel scalarization function, which we term the hypervolume scalarization, and show that drawing random scalarizations from an appropriately chosen distribution can be used to efficiently approximate the hypervolume indicator metric. We utilize this connection to show that Bayesian optimization with our scalarization via common acquisition functions, such as Thompson Sampling or Upper Confidence Bound, provably converges to the whole Pareto frontier by deriving tight hypervolume regret bounds on the order of $\widetilde{O}(\sqrt{T})$. Furthermore, we highlight the general utility of our scalarization framework by showing that any provably convergent single-objective optimization process can be effortlessly converted to a multi-objective optimization process with provable convergence guarantees.


title: $ D $-optimal designs for Poisson regression with synergetic interaction effect

abstract: We characterize $D$-optimal designs in the two-dimensional Poisson regression model with synergetic interaction and provide an explicit proof. The proof is based on the idea of reparameterization of the design region in terms of contours of constant intensity. This approach leads to a substantial reduction of complexity as properties of the sensitivity can be treated along and across the contours separately. Furthermore, some extensions of this result to higher dimensions are presented.


title: An Optimal Linear Attack Strategy on Remote State Estimation

abstract: This work considers the problem of designing an attack strategy on remote state estimation under the condition of strict stealthiness and $\epsilon$-stealthiness of the attack. An attacker is assumed to be able to launch a linear attack to modify sensor data. A metric based on Kullback-Leibler divergence is adopted to quantify the stealthiness of the attack. We propose a generalized linear attack based on past attack signals and the latest innovation. We prove that the proposed approach can obtain an attack that can cause more estimation performance loss than linear attack strategies recently studied in the literature. The result thus provides a bound on the tradeoff between available information and attack performance, which is useful in the development of mitigation strategies. Finally, some numerical examples are given to evaluate the performance of the proposed strategy.


title: Toward a Better Understanding and Evaluation of Tree Structures on Flash SSDs

abstract: Solid-state drives (SSDs) are extensively used to deploy persistent data stores, as they provide low latency random access, high write throughput, high data density, and low cost. Tree-based data structures are widely used to build persistent data stores, and indeed they lie at the backbone of many of the data management systems used in production and research today. In this paper, we show that benchmarking a persistent tree-based data structure on an SSD is a complex process, which may easily incur subtle pitfalls that can lead to an inaccurate performance assessment. At a high-level, these pitfalls stem from the interaction of complex software running on complex hardware. On one hand, tree structures implement internal operations that have nontrivial effects on performance. On the other hand, SSDs employ firmware logic to deal with the idiosyncrasies of the underlying flash memory, which are well known to lead to complex performance dynamics. We identify seven benchmarking pitfalls using RocksDB and WiredTiger, two widespread implementations of an LSM-Tree and a B+Tree, respectively. We show that such pitfalls can lead to incorrect measurements of key performance indicators, hinder the reproducibility and the representativeness of the results, and lead to suboptimal deployments in production environments. We also provide guidelines on how to avoid these pitfalls to obtain more reliable performance measurements, and to perform more thorough and fair comparison among different design points.


title: Explicit option valuation in the exponential NIG model

abstract: We provide closed-form pricing formulas for a wide variety of path-independent options, in the exponential L\'evy model driven by the Normal inverse Gaussian process. The results are obtained in both the symmetric and asymmetric model, and take the form of simple and quickly convergent series, under some condition involving the log-forward moneyness and the maturity of instruments. Proofs are based on a factorized representation in the Mellin space for the price of an arbitrary path-independent payoff, and on tools from complex analysis. The validity of the results is assessed thanks to several comparisons with standard numerical methods (Fourier and Fast Fourier transforms, Monte-Carlo simulations) for realistic sets of parameters. Precise bounds for the convergence speed and the truncation error are also provided.


title: Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews

abstract: Manually extracting relevant aspects and opinions from large volumes of user-generated text is a time-consuming process. Summaries, on the other hand, help readers with limited time budgets to quickly consume the key ideas from the data. State-of-the-art approaches for multi-document summarization, however, do not consider user preferences while generating summaries. In this work, we argue the need and propose a solution for generating personalized aspect-based opinion summaries from large collections of online tourist reviews. We let our readers decide and control several attributes of the summary such as the length and specific aspects of interest among others. Specifically, we take an unsupervised approach to extract coherent aspects from tourist reviews posted on TripAdvisor. We then propose an Integer Linear Programming (ILP) based extractive technique to select an informative subset of opinions around the identified aspects while respecting the user-specified values for various control parameters. Finally, we evaluate and compare our summaries using crowdsourcing and ROUGE-based metrics and obtain competitive results.


title: Finite-size security of continuous-variable quantum key distribution with digital signal processing

abstract: In comparison to conventional discrete-variable (DV) quantum key distribution (QKD), continuous-variable (CV) QKD with homodyne/heterodyne measurements has distinct advantages of lower-cost implementation and affinity to wavelength division multiplexing. On the other hand, its continuous nature makes it harder to accommodate to practical signal processing, which is always discretized, leading to lack of complete security proofs so far. Here we propose a tight and robust method of estimating fidelity of an optical pulse to a coherent state via heterodyne measurements. We then construct a binary phase modulated CV QKD protocol and prove its security in the finite-key-size regime against general coherent attacks, based on proof techniques of DV QKD. Such a complete security proof achieves a significant milestone in exploiting the benefits of CV QKD.


title: Rethinking Importance Weighting for Deep Learning under Distribution Shift

abstract: Under distribution shift (DS) where the training data distribution differs from the test one, a powerful technique is importance weighting (IW) which handles DS in two separate steps: weight estimation (WE) estimates the test-over-training density ratio and weighted classification (WC) trains the classifier from weighted training data. However, IW cannot work well on complex data, since WE is incompatible with deep learning. In this paper, we rethink IW and theoretically show it suffers from a circular dependency: we need not only WE for WC, but also WC for WE where a trained deep classifier is used as the feature extractor (FE). To cut off the dependency, we try to pretrain FE from unweighted training data, which leads to biased FE. To overcome the bias, we propose an end-to-end solution dynamic IW that iterates between WE and WC and combines them in a seamless manner, and hence our WE can also enjoy deep networks and stochastic optimizers indirectly. Experiments with two representative types of DS on three popular datasets show that our dynamic IW compares favorably with state-of-the-art methods.


title: Runtime Analysis of Evolutionary Algorithms via Symmetry Arguments

abstract: We use an elementary argument building on group actions to prove that the selection-free steady state genetic algorithm analyzed by Sutton and Witt (GECCO 2019) takes an expected number of $\Omega(2^n / \sqrt n)$ iterations to find any particular target search point. This bound is valid for all population sizes $\mu$. Our result improves over the previous lower bound of $\Omega(\exp(n^{\delta/2}))$ valid for population sizes $\mu = O(n^{1/2 - \delta})$, $0 < \delta < 1/2$.


title: MultiSpeech: Multi-Speaker Text to Speech with Transformer

abstract: Transformer-based text to speech (TTS) model (e.g., Transformer TTS~\cite{li2019neural}, FastSpeech~\cite{ren2019fastspeech}) has shown the advantages of training and inference efficiency over RNN-based model (e.g., Tacotron~\cite{shen2018natural}) due to its parallel computation in training and/or inference. However, the parallel computation increases the difficulty while learning the alignment between text and speech in Transformer, which is further magnified in the multi-speaker scenario with noisy data and diverse speakers, and hinders the applicability of Transformer for multi-speaker TTS. In this paper, we develop a robust and high-quality multi-speaker Transformer TTS system called MultiSpeech, with several specially designed components/techniques to improve text-to-speech alignment: 1) a diagonal constraint on the weight matrix of encoder-decoder attention in both training and inference; 2) layer normalization on phoneme embedding in encoder to better preserve position information; 3) a bottleneck in decoder pre-net to prevent copy between consecutive speech frames. Experiments on VCTK and LibriTTS multi-speaker datasets demonstrate the effectiveness of MultiSpeech: 1) it synthesizes more robust and better quality multi-speaker voice than naive Transformer based TTS; 2) with a MutiSpeech model as the teacher, we obtain a strong multi-speaker FastSpeech model with almost zero quality degradation while enjoying extremely fast inference speed.


title: Kinetic Scale Slow Solar Wind Turbulence in the Inner Heliosphere: Co-existence of Kinetic Alfv\'en Waves and Alfv\'en Ion Cyclotron Waves

abstract: The nature of the plasma wave modes around the ion kinetic scales in highly Alfv\'enic slow solar wind turbulence is investigated using data from the NASA's Parker Solar Probe taken in the inner heliosphere, at 0.18 Astronomical Unit (AU) from the sun. The joint distribution of the normalized reduced magnetic helicity ${\sigma}_m ({\theta}_{RB}, {\tau})$ is obtained, where ${\theta}_{RB}$ is the angle between the local mean magnetic field and the radial direction and ${\tau}$ is the temporal scale. Two populations around ion scales are identified: the first population has ${\sigma}_m ({\theta}_{RB}, {\tau}) < 0$ for frequencies (in the spacecraft frame) ranging from 2.1 to 26 Hz for $60^{\circ} < {\theta}_{RB} < 130^{\circ}$, corresponding to kinetic Alfv\'en waves (KAWs), and the second population has ${\sigma}_m ({\theta}_{RB}, {\tau}) > 0$ in the frequency range [1.4, 4.9] Hz for ${\theta}_{RB} > 150^{\circ}$, corresponding to Alfv\'en ion Cyclotron Waves (ACWs). This demonstrates for the first time the co-existence of KAWs and ACWs in the slow solar wind in the inner heliosphere, which contrasts with previous observations in the slow solar wind at 1 AU. This discrepancy between 0.18 and 1 AU could be explained, either by i) a dissipation of ACWs via cyclotron resonance during their outward journey, or by ii) the high Alfv\'enicity of the slow solar wind at 0.18 AU that may be favorable for the excitation of ACWs.


title: Misinformation Has High Perplexity

abstract: Debunking misinformation is an important and time-critical task as there could be adverse consequences when misinformation is not quashed promptly. However, the usual supervised approach to debunking via misinformation classification requires human-annotated data and is not suited to the fast time-frame of newly emerging events such as the COVID-19 outbreak. In this paper, we postulate that misinformation itself has higher perplexity compared to truthful statements, and propose to leverage the perplexity to debunk false claims in an unsupervised manner. First, we extract reliable evidence from scientific and news sources according to sentence similarity to the claims. Second, we prime a language model with the extracted evidence and finally evaluate the correctness of given claims based on the perplexity scores at debunking time. We construct two new COVID-19-related test sets, one is scientific, and another is political in content, and empirically verify that our system performs favorably compared to existing systems. We are releasing these datasets publicly to encourage more research in debunking misinformation on COVID-19 and other topics.


title: Dynamic Time Warping as a New Evaluation for Dst Forecast with Machine Learning

abstract: Models based on neural networks and machine learning are seeing a rise in popularity in space physics. In particular, the forecasting of geomagnetic indices with neural network models is becoming a popular field of study. These models are evaluated with metrics such as the root-mean-square error (RMSE) and Pearson correlation coefficient. However, these classical metrics sometimes fail to capture crucial behavior. To show where the classical metrics are lacking, we trained a neural network, using a long short-term memory network, to make a forecast of the disturbance storm time index at origin time $t$ with a forecasting horizon of 1 up to 6 hours, trained on OMNIWeb data. Inspection of the model's results with the correlation coefficient and RMSE indicated a performance comparable to the latest publications. However, visual inspection showed that the predictions made by the neural network were behaving similarly to the persistence model. In this work, a new method is proposed to measure whether two time series are shifted in time with respect to each other, such as the persistence model output versus the observation. The new measure, based on Dynamical Time Warping, is capable of identifying results made by the persistence model and shows promising results in confirming the visual observations of the neural network's output. Finally, different methodologies for training the neural network are explored in order to remove the persistence behavior from the results.


title: Nearly holomorphic automorphic forms on Sp(2n) with sufficiently regular infinitesimal characters and applications

abstract: In this paper, we decompose the space of nearly holomorphic Hilbert-Siegel automorphic forms as representations of the adele group under certain assumptions. We also give an application for classical holomorphic Hilbert-Siegel modular forms. In particular, we show the surjectivity of the global Siegel operator for certain congruence subgroups with large weights.


title: Solar Wind Helium Abundance Heralds Solar Cycle Onset

abstract: We study the solar wind helium-to-hydrogen abundance's ($A_\mathrm{He}$) relationship to solar cycle onset. Using OMNI/Lo data, we show that $A_\mathrm{He}$ increases prior to sunspot number (SSN) minima. We also identify a rapid depletion and recovery in $A_\mathrm{He}$ that occurs directly prior to cycle onset. This $A_\mathrm{He}$ Shutoff happens at approximately the same time across solar wind speeds ($v_\mathrm{sw}$), implying that it is formed by a mechanism distinct from the one that drives $A_\mathrm{He}$'s solar cycle scale variation and $v_\mathrm{sw}$-dependent phase offset with respect to SSN. The time between successive $A_\mathrm{He}$ shutoffs is typically on the order of the corresponding solar cycle length. Using Brightpoint (BP) measurements to provide context, we infer that this shutoff is likely related to the overlap of adjacent solar cycles and the equatorial flux cancelation of the older, extended solar cycle during Solar Minima.


title: Traffic Flow Forecast of Road Networks with Recurrent Neural Networks

abstract: The interest in developing smart cities has increased dramatically in recent years. In this context an intelligent transportation system depicts a major topic. The forecast of traffic flow is indispensable for an efficient intelligent transportation system. The traffic flow forecast is a difficult task, due to its stochastic and non linear nature. Besides classical statistical methods, neural networks are a promising possibility to predict future traffic flow. In our work, this prediction is performed with various recurrent neural networks. These are trained on measurements of induction loops, which are placed in intersections of the city. We utilized data from beginning of January to the end of July in 2018. Each model incorporates sequences of the measured traffic flow from all sensors and predicts the future traffic flow for each sensor simultaneously. A variety of model architectures, forecast horizons and input data were investigated. Most often the vector output model with gated recurrent units achieved the smallest error on the test set over all considered prediction scenarios. Due to the small amount of data, generalization of the trained models is limited.


title: Self-Trapped Polarons and Topological Defects in a Topological Mott Insulator

abstract: Many-body interactions in topological quantum systems can give rise to new phases of matter, which simultaneously exhibit both rich spatial features and topological properties. In this work, we consider spinless fermions on a checkerboard lattice with nearest and next-to-nearest neighbor interactions. We calculate the phase diagram at half filling, which presents, in particular, an interaction-induced quantum anomalous Hall phase. We study the system at incommensurate fillings using an unrestricted Hartree-Fock ansatz and report a rich zoo of solutions such as self-trapped polarons and domain walls above an interaction-induced topological insulator. We find that, as a consequence of the interplay between the interaction-induced topology and topological defects, these domain walls separate two phases with opposite topological invariants and host topologically protected chiral edge states. Finally, we discuss experimental prospects to observe these novel phenomena in a quantum simulator based on laser-dressed Rydberg atoms in an optical lattice.


title: POLY-HOOT: Monte-Carlo Planning in Continuous Space MDPs with Non-Asymptotic Analysis

abstract: Monte-Carlo planning, as exemplified by Monte-Carlo Tree Search (MCTS), has demonstrated remarkable performance in applications with finite spaces. In this paper, we consider Monte-Carlo planning in an environment with continuous state-action spaces, a much less understood problem with important applications in control and robotics. We introduce POLY-HOOT, an algorithm that augments MCTS with a continuous armed bandit strategy named Hierarchical Optimistic Optimization (HOO) (Bubeck et al., 2011). Specifically, we enhance HOO by using an appropriate polynomial, rather than logarithmic, bonus term in the upper confidence bounds. Such a polynomial bonus is motivated by its empirical successes in AlphaGo Zero (Silver et al., 2017b), as well as its significant role in achieving theoretical guarantees of finite space MCTS (Shah et al., 2019). We investigate, for the first time, the regret of the enhanced HOO algorithm in non-stationary bandit problems. Using this result as a building block, we establish non-asymptotic convergence guarantees for POLY-HOOT: the value estimate converges to an arbitrarily small neighborhood of the optimal value function at a polynomial rate. We further provide experimental results that corroborate our theoretical findings.


title: Boolean algebras of conditionals, probability and logic

abstract: This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) {\em Boolean algebra of conditionals} from any (finite) Boolean algebra of events. By doing so we distinguish the properties of conditional events which depend on probability and those which are intrinsic to the logico-algebraic structure of conditionals. Our main result provides a way to regard standard two-place conditional probabilities as one-place probability functions on conditional events. We also consider a logical counterpart of our Boolean algebras of conditionals with links to preferential consequence relations for non-monotonic reasoning. The overall framework of this paper provides a novel perspective on the rich interplay between logic and probability in the representation of conditional knowledge.


title: The Solar Eclipse of the Xia Dynasty: A Review

abstract: We present a review on the renowned solar eclipse in the Chinese book "Shujing" describing the oldest account of this kind. After balancing the arguments on the time, place, and the celestial stage, we offer a new scenario. The path of totality on 15 September 1903 BCE traversed Anyi, the assumed capital of the Xia dynasty. The date matches remarkably well the chronological order of two other incidents of mythological rank: the closest-ever agglomeration of the naked-eye planets and the Great Flood under Emperor Yu. Still, this eclipse does not remove all questions about the historical circumstances given in the account.


title: Exact Recovery of Mangled Clusters with Same-Cluster Queries

abstract: We study the cluster recovery problem in the semi-supervised active clustering framework. Given a finite set of input points, and an oracle revealing whether any two points lie in the same cluster, our goal is to recover all clusters exactly using as few queries as possible. To this end, we relax the spherical $k$-means cluster assumption of Ashtiani et al.\ to allow for arbitrary ellipsoidal clusters with margin. This removes the assumption that the clustering is center-based (i.e., defined through an optimization problem), and includes all those cases where spherical clusters are individually transformed by any combination of rotations, axis scalings, and point deletions. We show that, even in this much more general setting, it is still possible to recover the latent clustering exactly using a number of queries that scales only logarithmically with the number of input points. More precisely, we design an algorithm that, given $n$ points to be partitioned into $k$ clusters, uses $O(k^3 \ln k \ln n)$ oracle queries and $\tilde{O}(kn + k^3)$ time to recover the clustering with zero misclassification error. The $O(\cdot)$ notation hides an exponential dependence on the dimensionality of the clusters, which we show to be necessary thus characterizing the query complexity of the problem. Our algorithm is simple, easy to implement, and can also learn the clusters using low-stretch separators, a class of ellipsoids with additional theoretical guarantees. Experiments on large synthetic datasets confirm that we can reconstruct clusterings exactly and efficiently.


title: Minimal faithful representations of the free 2-step nilpotent Lie algebra of the rank $r$

abstract: Given a finite dimensional Lie algebra $\mathfrak{g}$, let $\mathfrak{z}(\mathfrak{g})$ denote the center of $\mathfrak{g}$ and let $\mu(\mathfrak{g})$ be the minimal possible dimension for a faithful representation of $\mathfrak{g}$. In this paper we obtain $\mu(\mathcal{L}_{r,2})$, where $\mathcal{L}_{r,k}$ is the free $k$-step nilpotent Lie algebra of rank $r$. In particular we prove that $\mu(\mathcal{L}_{r,2})= \left\lceil \sqrt{2r(r-1)} \right\rceil + 2$ for $r \geq 4$. It turns out that $\mu(\mathcal{L}_{r,2}) \sim\mu\big(\mathfrak{z}(\mathcal{L}_{r,2})\big) \sim 2\sqrt{\dim\mathcal{L}_{r,2}} $ (as $r\to\infty$) and we present some evidence that this could be true for $\mathcal{L}_{r,k}$ for any $k$, this is considerably lower than the known bounds for $\mu(\mathcal{L}_{r,k})$, which are (for fixed $k$) polynomial in $\dim\mathcal{L}_{r,k}$.


title: Critical Balance and the Physics of MHD Turbulence

abstract: A discussion of the advantages and limitations of the concept of critical balance, as employed in turbulence phenomenologies, is presented. The incompressible magnetohydrodynamic (MHD) case is a particular focus. The discussion emphasizes the status of the original Goldreich & Sridhar (1995) critical balance conjecture relative to related theoretical issues and models in an MHD description of plasma turbulence. Issues examined include variance and spectral anisotropy, influence of a mean magnetic field, local and nonlocal effects, and the potential for effects of external driving. Related models such as Reduced MHD provide a valuable context in the considerations. Some new results concerning spectral features and timescales are presented in the course of the discussion. Also mentioned briefly are some adaptations and variations of critical balance.


title: Primal Wasserstein Imitation Learning

abstract: Imitation Learning (IL) methods seek to match the behavior of an agent with that of an expert. In the present work, we propose a new IL method based on a conceptually simple algorithm: Primal Wasserstein Imitation Learning (PWIL), which ties to the primal form of the Wasserstein distance between the expert and the agent state-action distributions. We present a reward function which is derived offline, as opposed to recent adversarial IL algorithms that learn a reward function through interactions with the environment, and which requires little fine-tuning. We show that we can recover expert behavior on a variety of continuous control tasks of the MuJoCo domain in a sample efficient manner in terms of agent interactions and of expert interactions with the environment. Finally, we show that the behavior of the agent we train matches the behavior of the expert with the Wasserstein distance, rather than the commonly used proxy of performance.


title: Autooscillatory Dynamics in a Mathematical Model of the Metabolic Process in Aerobic Bacteria. Influence of the Krebs Cycle on the Self-Organization of a Biosystem

abstract: We have modeled the metabolic process running in aerobic cells as open nonlinear dissipative systems. The map of metabolic paths and the general scheme of a dissipative system participating in the transformation of steroids are constructed. We have studied the influence of the Krebs cycle on the dynamics of the whole metabolic process and constructed projections of the phase portrait in the strange attractor mode. The total spectra of Lyapunov exponents, divergences, Lyapunov's dimensions of the fractality, Kolmogorov--Sinai entropies, and predictability horizons for the given modes are calculated. We have determined the bifurcation diagram presenting the dependence of the dynamics on a small parameter, which defines system's physical state.


title: Dimensionality Reduction for Sentiment Classification: Evolving for the Most Prominent and Separable Features

abstract: In sentiment classification, the enormous amount of textual data, its immense dimensionality, and inherent noise make it extremely difficult for machine learning classifiers to extract high-level and complex abstractions. In order to make the data less sparse and more statistically significant, the dimensionality reduction techniques are needed. But in the existing dimensionality reduction techniques, the number of components needs to be set manually which results in loss of the most prominent features, thus reducing the performance of the classifiers. Our prior work, i.e., Term Presence Count (TPC) and Term Presence Ratio (TPR) have proven to be effective techniques as they reject the less separable features. However, the most prominent and separable features might still get removed from the initial feature set despite having higher distributions among positive and negative tagged documents. To overcome this problem, we have proposed a new framework that consists of two-dimensionality reduction techniques i.e., Sentiment Term Presence Count (SentiTPC) and Sentiment Term Presence Ratio (SentiTPR). These techniques reject the features by considering term presence difference for SentiTPC and ratio of the distribution distinction for SentiTPR. Additionally, these methods also analyze the total distribution information. Extensive experimental results exhibit that the proposed framework reduces the feature dimension by a large scale, and thus significantly improve the classification performance.


title: Exact results on generalized Erd\H{o}s-Gallai problems

abstract: Generalized Tur\'an problems have been a central topic of study in extremal combinatorics throughout the last few decades. One such problem is maximizing the number of cliques of size $t$ in a graph of a fixed order that does not contain any path (or cycle) of length at least a given number. Both of the path-free and cycle-free extremal problems were recently considered and asymptotically solved by Luo. We fully resolve these problems by characterizing all possible extremal graphs. We further extend these results by solving the edge-variant of these problems where the number of edges is fixed instead of the number of vertices. We similarly obtain exact characterization of the extremal graphs for these edge variants.


title: An Ensemble Approach for Compressive Sensing with Quantum

abstract: We leverage the idea of a statistical ensemble to improve the quality of quantum annealing based binary compressive sensing. Since executing quantum machine instructions on a quantum annealer can result in an excited state, rather than the ground state of the given Hamiltonian, we use different penalty parameters to generate multiple distinct quadratic unconstrained binary optimization (QUBO) functions whose ground state(s) represent a potential solution of the original problem. We then employ the attained samples from minimizing all corresponding (different) QUBOs to estimate the solution of the problem of binary compressive sensing. Our experiments, on a D-Wave 2000Q quantum processor, demonstrated that the proposed ensemble scheme is notably less sensitive to the calibration of the penalty parameter that controls the trade-off between the feasibility and sparsity of recoveries.


title: Causal Structure Identification from Corrupt Data-Streams

abstract: Complex networked systems can be modeled and represented as graphs, with nodes representing the agents and the links describing the dynamic coupling between them. The fundamental objective of network identification for dynamic systems is to identify causal influence pathways. However, dynamically related data-streams that originate from different sources are prone to corruption caused by asynchronous time stamps, packet drops, and noise. In this article, we show that identifying causal structure using corrupt measurements results in the inference of spurious links. A necessary and sufficient condition that delineates the effects of corruption on a set of nodes is obtained. Our theory applies to nonlinear systems, and systems with feedback loops. Our results are obtained by the analysis of conditional directed information in dynamic Bayesian networks. We provide consistency results for the conditional directed information estimator that we use by showing almost-sure convergence.