title: Any-to-Many Voice Conversion with Location-Relative Sequence-to-Sequence Modeling

abstract: This paper proposes an any-to-many location-relative, sequence-to-sequence (seq2seq), non-parallel voice conversion approach, which utilizes text supervision during training. In this approach, we combine a bottle-neck feature extractor (BNE) with a seq2seq synthesis module. During the training stage, an encoder-decoder-based hybrid connectionist-temporal-classification-attention (CTC-attention) phoneme recognizer is trained, whose encoder has a bottle-neck layer. A BNE is obtained from the phoneme recognizer and is utilized to extract speaker-independent, dense and rich spoken content representations from spectral features. Then a multi-speaker location-relative attention based seq2seq synthesis model is trained to reconstruct spectral features from the bottle-neck features, conditioning on speaker representations for speaker identity control in the generated speech. To mitigate the difficulties of using seq2seq models to align long sequences, we down-sample the input spectral feature along the temporal dimension and equip the synthesis model with a discretized mixture of logistic (MoL) attention mechanism. Since the phoneme recognizer is trained with large speech recognition data corpus, the proposed approach can conduct any-to-many voice conversion. Objective and subjective evaluations show that the proposed any-to-many approach has superior voice conversion performance in terms of both naturalness and speaker similarity. Ablation studies are conducted to confirm the effectiveness of feature selection and model design strategies in the proposed approach. The proposed VC approach can readily be extended to support any-to-any VC (also known as one/few-shot VC), and achieve high performance according to objective and subjective evaluations.


title: A global fractional Caccioppoli-type estimate for solutions to nonlinear elliptic problems with measure data

abstract: We prove a global fractional differentiability result via the fractional Caccioppoli-type estimate for solutions to nonlinear elliptic problems with measure data. This work is in fact inspired by the recent paper [B. Avelin, T. Kuusi, G. Mingione, {\em Nonlinear Calder\'on-Zygmund theory in the limiting case}, Arch. Rational. Mech. Anal. {\bf 227}(2018), 663--714], that was devoted to the local fractional regularity for the solutions to nonlinear elliptic equations with right-hand side measure, of type $-\mathrm{div}\, \mathcal{A}(\nabla u) = \mu$ in the limiting case. Being a contribution to recent results of identifying function classes that solutions to such problems could be defined, our aim in this work is to establish a global regularity result in a setting of weighted fractional Sobolev spaces, where the weights are powers of the distance function to the boundary of the smooth domains.


title: A Study on Nice Open Covers in Constructive Analysis

abstract: Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is compact, but in constructive mathematics, Tseitin and Zaslavskii showed that the set of all constructive real numbers between 0 and 1 is not compact. We are going to show that when giving certain restriction to the open cover on [0,1], we can however always choose a finite sub-cover.


title: Discovering Reliable Causal Rules

abstract: We study the problem of deriving policies, or rules, that when enacted on a complex system, cause a desired outcome. Absent the ability to perform controlled experiments, such rules have to be inferred from past observations of the system's behaviour. This is a challenging problem for two reasons: First, observational effects are often unrepresentative of the underlying causal effect because they are skewed by the presence of confounding factors. Second, naive empirical estimations of a rule's effect have a high variance, and, hence, their maximisation can lead to random results. To address these issues, first we measure the causal effect of a rule from observational data---adjusting for the effect of potential confounders. Importantly, we provide a graphical criteria under which causal rule discovery is possible. Moreover, to discover reliable causal rules from a sample, we propose a conservative and consistent estimator of the causal effect, and derive an efficient and exact algorithm that maximises the estimator. On synthetic data, the proposed estimator converges faster to the ground truth than the naive estimator and recovers relevant causal rules even at small sample sizes. Extensive experiments on a variety of real-world datasets show that the proposed algorithm is efficient and discovers meaningful rules.


title: Polarized superspecial simple abelian surfaces with real Weil numbers

abstract: Let $q$ be an odd power of a prime $p\in \mathbb{N}$, and $\mathrm{PPSP}(\sqrt{q})$ be the finite set of isomorphism classes of principally polarized superspecial abelian surfaces in the simple isogeny class over $\mathbb{F}_q$ corresponding to the real Weil $q$-numbers $\pm \sqrt{q}$. We produce explicit formulas for $\mathrm{PPSP}(\sqrt{q})$ of the following three kinds: (i) the class number formula, i.e. the cardinality of $\mathrm{PPSP}(\sqrt{q})$; (ii) the type number formula, i.e. the number of endomorphism rings up to isomorphism of members of $\mathrm{PPSP}(\sqrt{q})$; (iii) the refined class number formula with respect to each finite group $\mathbf{G}$, i.e. the number of elements of $\mathrm{PPSP}(\sqrt{q})$ whose automorphism group coincides with $\mathbf{G}$. Similar formulas are obtained for other polarized superspecial members of this isogeny class using polarization modules. We observe several surprising identities involving the arithmetic genus of certain Hilbert modular surface on one side and the class number or type number of $(P, P_+)$-polarized superspecial abelian surfaces in this isogeny class on the other side.


title: Spectral properties of spiral-shaped quantum waveguides

abstract: We investigate properties of a particle confined to a hard-wall spiral-shaped region. As a case study we analyze in detail the Archimedean spiral for which the spectrum above the continuum threshold is absolutely continuous away from the thresholds. The subtle difference between the radial and perpendicular width implies, however, that in contrast to `less curved' waveguides, the discrete spectrum is empty in this case. We also discuss modifications such a multi-arm Archimedean spirals and spiral waveguides with a central cavity; in the latter case bound state already exist if the cavity exceeds a critical size. For more general spiral regions the spectral nature depends on whether they are `expanding' or `shrinking'. The most interesting situation occurs in the asymptotically Archimedean case where the existence of bound states depends on the direction from which the asymptotics is reached.

categories: math-ph cond-mat.mes-hall math.MP math.SP quant-ph


title: Self-Supervised Contrastive Learning for Code Retrieval and Summarization via Semantic-Preserving Transformations

abstract: We propose Corder, a self-supervised contrastive learning framework for source code model. Corder is designed to alleviate the need of labeled data for code retrieval and code summarization tasks. The pre-trained model of Corder can be used in two ways: (1) it can produce vector representation of code which can be applied to code retrieval tasks that do not have labeled data; (2) it can be used in a fine-tuning process for tasks that might still require label data such as code summarization. The key innovation is that we train the source code model by asking it to recognize similar and dissimilar code snippets through a contrastive learning objective. To do so, we use a set of semantic-preserving transformation operators to generate code snippets that are syntactically diverse but semantically equivalent. Through extensive experiments, we have shown that the code models pretrained by Corder substantially outperform the other baselines for code-to-code retrieval, text-to-code retrieval, and code-to-text summarization tasks.


title: Convergence Analysis of the Hessian Estimation Evolution Strategy

abstract: The class of algorithms called Hessian Estimation Evolution Strategies (HE-ESs) update the covariance matrix of their sampling distribution by directly estimating the curvature of the objective function. The approach is practically efficient, as attested by respectable performance on the BBOB testbed, even on rather irregular functions. In this paper we formally prove two strong guarantees for the (1+4)-HE-ES, a minimal elitist member of the family: stability of the covariance matrix update, and as a consequence, linear convergence on all convex quadratic problems at a rate that is independent of the problem instance.


title: A Convolutional Neural Network-Based Low Complexity Filter

abstract: Convolutional Neural Network (CNN)-based filters have achieved significant performance in video artifacts reduction. However, the high complexity of existing methods makes it difficult to be applied in real usage. In this paper, a CNN-based low complexity filter is proposed. We utilize depth separable convolution (DSC) merged with the batch normalization (BN) as the backbone of our proposed CNN-based network. Besides, a weight initialization method is proposed to enhance the training performance. To solve the well known over smoothing problem for the inter frames, a frame-level residual mapping (RM) is presented. We analyze some of the mainstream methods like frame-level and block-level based filters quantitatively and build our CNN-based filter with frame-level control to avoid the extra complexity and artificial boundaries caused by block-level control. In addition, a novel module called RM is designed to restore the distortion from the learned residuals. As a result, we can effectively improve the generalization ability of the learning-based filter and reach an adaptive filtering effect. Moreover, this module is flexible and can be combined with other learning-based filters. The experimental results show that our proposed method achieves significant BD-rate reduction than H.265/HEVC. It achieves about 1.2% BD-rate reduction and 79.1% decrease in FLOPs than VR-CNN. Finally, the measurement on H.266/VVC and ablation studies are also conducted to ensure the effectiveness of the proposed method.


title: Investigation of the elliptic flow fluctuations of the identified particles using the A Multi-Phase Transport model

abstract: A Multi-Phase Transport (AMPT) model is used to study the elliptic flow fluctuations of identified particles using participant and spectator event planes. The elliptic flow measured using the first order spectator event plane is expected to give the elliptic flow relative to the true reaction plane which suppresses the flow fluctuations. However, the elliptic flow measured using the second-order participant plane is expected to capture the elliptic flow fluctuations. Our study shows that the first order spectator event plane could be used to study the elliptic flow fluctuations of the identified particles in the AMPT model. The elliptic flow fluctuations magnitude shows weak particle species dependence and transverse momentum dependence. Such observation will have important implications for understanding the source of the elliptic flow fluctuations.


title: Black holes with a fluid of strings

abstract: We obtain an exact solution of Einstein's equations for a charged, static and spherically symmetric body, surrounded by a fluid of strings and with a cosmological constant. This corresponds to the Reissner-Nordstr\"om (de Sitter)-Anti de Sitter black hole surrounded by a fluid of strings. Some aspects concerning the horizons and geodesic motion are discussed. We also obtain the metric corresponding to the Kerr-Newman black hole surrounded by a fluid of strings, by using a method to construct the rotating solution from its counterpart static one. The horizons, ergoregions, and geodesic motion are analyzed. In both cases, the role played by the fluid of strings was pointed out.


title: Algorithm for Two-Phase Facility Planning via Balanced Clustering and Integer Programming

abstract: We present a solution for a two-phase facility planning scenario where in the first phase, there is some flexibility in determining where the locations of facilities (or sources) should fall. And in the second phase, new waypoints (or sinks) are added, but the location of the facilities are static. This solution applies the use of balanced clustering - using a modified K-Means approach, ensuring the cardinality of each group to be equal. Subsequently, it is followed by an integer programming solution, to solve the Hitchcock Transportation Problem. We show that the final solution can justifiably approximate the near optimal solution, and be a successful guide for facility planning in this specific scenario.


title: Secure Memory Management on Modern Hardware

abstract: Almost all modern hardware, from phone SoCs to high-end servers with accelerators, contain memory translation and protection hardware like IOMMUs, firewalls, and lookup tables which make it impossible to reason about, and enforce protection and isolation based solely on the processor's MMUs. This has led to numerous bugs and security vulnerabilities in today's system software. In this paper we regain the ability to reason about and enforce access control using the proven concept of a reference monitor mediating accesses to memory resources. We present a fine-grained, realistic memory protection model that makes this traditional concept applicable today, and bring system software in line with the complexity of modern, heterogeneous hardware. Our design is applicable to any operating system, regardless of architecture. We show that it not only enforces the integrity properties of a system, but does so with no inherent performance overhead and it is even amenable to automation through code generation from trusted hardware specifications.


title: Detection Defense Against Adversarial Attacks with Saliency Map

abstract: It is well established that neural networks are vulnerable to adversarial examples, which are almost imperceptible on human vision and can cause the deep models misbehave. Such phenomenon may lead to severely inestimable consequences in the safety and security critical applications. Existing defenses are trend to harden the robustness of models against adversarial attacks, e.g., adversarial training technology. However, these are usually intractable to implement due to the high cost of re-training and the cumbersome operations of altering the model architecture or parameters. In this paper, we discuss the saliency map method from the view of enhancing model interpretability, it is similar to introducing the mechanism of the attention to the model, so as to comprehend the progress of object identification by the deep networks. We then propose a novel method combined with additional noises and utilize the inconsistency strategy to detect adversarial examples. Our experimental results of some representative adversarial attacks on common datasets including ImageNet and popular models show that our method can detect all the attacks with high detection success rate effectively. We compare it with the existing state-of-the-art technique, and the experiments indicate that our method is more general.


title: Diffusive search for a stochastically-gated target with resetting

abstract: In this paper, we analyze the mean first passage time (MFPT) for a single Brownian particle to find a stochastically-gated target under the additional condition that the position of the particle is reset to a fixed position $\x_r$ at a rate $r$. The gate switches between an open and closed state according to a two-state Markov chain and can only be detected by the searcher in the open state. One possible example of such a target is a protein switching between different conformational states. As expected, the MFPT with or without resetting is an increasing function of the fraction of time $\rho_0$ that the gate is closed. However, the interplay between stochastic resetting and stochastic gating has non-trivial effects with regards the optimization of the search process under resetting. First, by considering the diffusive search for a gated target at one end of an interval, we show that the fractional change in the MFPT under resetting exhibits a non-monotonic dependence on $\rho_0$. In particular, the percentage reduction of the MFPT at the optimal resetting rate (when it exists) increases with $\rho_0$ up to some critical value, after which it decreases and eventually vanishes. Second, in the case of a spherical target in $\R^d$, the dependence of the MFPT on the spatial dimension $d$ is significantly amplified in the presence of stochastic gating.


title: Asymptotic properties of dual averaging algorithm for constrained distributed stochastic optimization

abstract: Considering the constrained stochastic optimization problem over a time-varying random network, where the agents are to collectively minimize a sum of objective functions subject to a common constraint set, we investigate asymptotic properties of a distributed algorithm based on dual averaging of gradients. Different from most existing works on distributed dual averaging algorithms that mainly concentrating on their non-asymptotic properties, we not only prove almost sure convergence and the rate of almost sure convergence, but also asymptotic normality and asymptotic efficiency of the algorithm. Firstly, for general constrained convex optimization problem distributed over a random network, we prove that almost sure consensus can be archived and the estimates of agents converge to the same optimal point. For the case of linear constrained convex optimization, we show that the mirror map of the averaged dual sequence identifies the active constraints of the optimal solution with probability 1, which helps us to prove the almost sure convergence rate and then establish asymptotic normality of the algorithm. Furthermore, we also verify that the algorithm is asymptotically optimal. To the best of our knowledge, it seems to be the first asymptotic normality result for constrained distributed optimization algorithms. Finally, a numerical example is provided to justify the theoretical analysis.


title: The role of feature space in atomistic learning

abstract: Eficient, physically-inspired descriptors of the structure and composition of molecules and materials play a key role in the application of machine-learning techniques to atomistic simulations. The proliferation of approaches, as well as the fact that each choice of features can lead to very different behavior depending on how they are used, e.g. by introducing non-linear kernels and non-Euclidean metrics to manipulate them, makes it difficult to objectively compare different methods, and to address fundamental questions on how one feature space is related to another. In this work we introduce a framework to compare different sets of descriptors, and different ways of transforming them by means of metrics and kernels, in terms of the structure of the feature space that they induce. We define diagnostic tools to determine whether alternative feature spaces contain equivalent amounts of information, and whether the common information is substantially distorted when going from one feature space to another. We compare, in particular, representations that are built in terms of n-body correlations of the atom density, quantitatively assessing the information loss associated with the use of low-order features. We also investigate the impact of different choices of basis functions and hyperparameters of the widely used SOAP and Behler-Parrinello features, and investigate how the use of non-linear kernels, and of a Wasserstein-type metric, change the structure of the feature space in comparison to a simpler linear feature space.


title: Matched Queues with Matching Batch Pair (m, n)

abstract: In this paper, we discuss an interesting but challenging bilateral stochastically matching problem: A more general matched queue with matching batch pair (m, n) and two types (i.e., types A and B) of impatient customers, where the arrivals of A- and B-customers are both Poisson processes, m A-customers and n B-customers are matched as a group which leaves the system immediately, and the customers' impatient behavior is to guarantee the stability of the system. We show that this matched queue can be expressed as a novel bidirectional level-dependent quasi-birth-and-death (QBD) process. Based on this, we provide a detailed analysis for this matched queue, including the system stability, the average stationary queue lengthes, and the average sojourn time of any A-customer or B-customer. We believe that the methodology and results developed in this paper can be applicable to dealing with more general matched queueing systems, which are widely encountered in various practical areas, for example, sharing economy, ridesharing platform, bilateral market, organ transplantation, taxi services, assembly systems, and so on.


title: Romanian Diacritics Restoration Using Recurrent Neural Networks

abstract: Diacritics restoration is a mandatory step for adequately processing Romanian texts, and not a trivial one, as you generally need context in order to properly restore a character. Most previous methods which were experimented for Romanian restoration of diacritics do not use neural networks. Among those that do, there are no solutions specifically optimized for this particular language (i.e., they were generally designed to work on many different languages). Therefore we propose a novel neural architecture based on recurrent neural networks that can attend information at different levels of abstractions in order to restore diacritics.


title: Spin and Entanglement in General Relativity

abstract: In a previous paper, we have shown that the classical and quantum relativistic dynamics of the Stueckelberg-Horwitz-Piron [SHP] theory can be embedded in general relativity (GR). We briefly review the SHP theory here, and, in particular, the formulation of the theory of spin in the framework of relativistic quantum theory. We show here how the quantum theory of relativistic spin can be embedded, using a theorem of Abraham, Marsden and Ratiu, and also explicit derivation, into the framework of GR by constructing a local induced representation. The relation to the work of Fock and Ivanenko is also discussed. We show that in a gravitational field there is s highly complex structure for the spin distribution in the support of the wave function. We then discuss entanglement for the spins of a two body system.


title: A systematic approach to computing and indexing the fixed points of an iterated exponential

abstract: This paper describes a systematic method of numerically computing and indexing fixed points of $z^{z^w}$ for fixed $z$ or equivalently, the roots of $T_2(w;z)=w-z^{z^w}$. The roots are computed using a modified version of fixed-point iteration and indexed by integer triplets $\{n,m,p\}$ which associate a root to a unique branch of $T_2$. This naming convention is proposed sufficient to enumerate all roots of the function with $(n,m)$ enumerated by $\mathbb{Z}^2$. However, branches near the origin can have multiple roots. These cases are identified by the third parameter $p$. This work was done with rational or symbolic values of $z$ enabling arbitrary precision arithmetic. A selection of roots up to order $\{10^{12},10^{12},p\}$ with $|z|\leq 10^{12}$ was used as test cases. Results were accurate to the precision used in the computations, generally between $30$ and $100$ digits. Mathematica ver. $12$ was used to implement the algorithms.


title: A note on the smooth blow-ups of P(1,1,1,k) in torus-invariant subvarieties

abstract: This paper classifies toric Fano 3-folds with singular locus { 1/k(1,1,1) } for any positive integer k, building on the work of Batyrev and Watanabe-Watanabe. This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore we identify birational relationships between entries of the classification. For a fixed value k>4, there are exactly two such Fano 3-folds linked by a blow-up in a torus-invariant line.


title: Finite-Alphabet MMSE Equalization for All-Digital Massive MU-MIMO mmWave Communication

abstract: We propose finite-alphabet equalization, a new paradigm that restricts the entries of the spatial equalization matrix to low-resolution numbers, enabling high-throughput, low-power, and low-cost hardware equalizers. To minimize the performance loss of this paradigm, we introduce FAME, short for finite-alphabet minimum mean-square error (MMSE) equalization, which is able to significantly outperform a naive quantization of the linear MMSE matrix. We develop efficient algorithms to approximately solve the NP-hard FAME problem and showcase that near-optimal performance can be achieved with equalization coefficients quantized to only 1-3 bits for massive multi-user multiple-input multiple-output (MU-MIMO) millimeter-wave (mmWave) systems. We provide very-large scale integration (VLSI) results that demonstrate a reduction in equalization power and area by at least a factor of 3.9x and 5.8x, respectively.


title: Spin photogalvanic effect in two-dimensional collinear antiferromagnets

abstract: Spin photogalvanic effect (SPGE) is an efficient method to generate a spin current by photoexcitation in a contactless and ultra-fast way. In two-dimensional (2D) collinear antiferromagnetic (AFM) materials that preserve the combined time-reversal (T) and inversion (I) symmetry (i.e., TI symmetry), we find that the photogalvanic currents in two magnetic sublattices carry different kinds of spins and propagate in opposite direction if the spin-orbit coupling is negligible, resulting in a pure spin current without net charge current. Based on the first-principles calculations, we show that two experimentally synthesized 2D collinear AFM materials, monolayer MnPS$_3$ and bilayer CrCl$_3$, host the required symmetry and support sizable SPGE. The predicted SPGE in 2D collinear AFM materials makes them promising platforms for nano spintronics devices.


title: The quest for planets around subdwarfs and white dwarfs from Kepler space telescope fields: Part I. Techniques and tests of the methods

abstract: In this study, we independently test the presence of an exoplanet around the binary KIC 9472174, which is composed of a red dwarf and a pulsating type B subdwarf. We also present the results of our search for Jupiter-mass objects orbiting near to the eclipsing binary KIC 7975824, which is composed of a white dwarf and type B subdwarf, and the pulsating white dwarf KIC 8626021. The goal is to test analytical techniques and prepare the ground for a larger search for possible substellar survivors on tight orbits around post-common envelope binaries and stars at the end of their evolution, that is, extended horizontal branch stars and white dwarfs. We, therefore, mainly focus on substellar bodies orbiting these stars within the range of the host's former red-giant or asymptotic-giant phase envelopes. Due to the methods we use, the quest is restricted to single-pulsating type B subdwarf and white dwarf stars and short-period eclipsing binaries containing a white dwarf or a subdwarf component. Results. Based on the three objects studied in this paper, we demonstrate that these methods can be used to detect giant exoplanets orbiting around pulsating white dwarf or type B subdwarf stars as well as short-period binary systems, at distances which fall within the range of the former red-giant envelope of a single star or the common envelope of a binary. Using our analysis techniques, we reject the existence of a Jupiter-mass exoplanet around the binary KIC 9472174 at the distance and orbital period previously suggested in the literature. We also found that the eclipse timing variations observed in the binary might depend on the reduction and processing of the Kepler data. The other two objects analyzed in this work do not have Jupiter mass exoplanets orbiting within 0.7 - 1.4 AU from them, or larger-mass objects on closer orbits (the given mass limits are minimum masses).


title: Compact steep-spectrum and peaked-spectrum radio sources

abstract: Compact steep-spectrum (CSS) and peaked spectrum (PS) radio sources are compact, powerful radio sources. The multi-frequency observational properties and current theories are reviewed with emphasis on developments since the earlier review of O'Dea (1998). There are three main hypotheses for the nature of PS and CSS sources. (1) The PS sources might be very young radio galaxies which will evolve into CSS sources on their way to becoming large radio galaxies. (2) The PS and CSS sources might be compact because they are confined (and enhanced in radio power) by interaction with dense gas in their environments. (3) Alternately, the PS sources might be transient or intermittent sources. Each of these hypotheses may apply to individual objects. The relative number in each population will have significant implications for the radio galaxy paradigm. Proper motion studies over long time baselines have helped determine hotspot speeds for over three dozen sources and establish that these are young objects. Multifrequency polarization observations have demonstrated that many CSS/PS sources are embedded in a dense interstellar medium and vigorously interacting with it. The detection of emission line gas aligned with the radio source, and blue-shifted HI absorption and [OIII] emission lines indicates that AGN feedback is present in these objects -- possibly driven by the radio source. CSS/PS sources with evidence of episodic AGN over a large range of time-scales have been discussed. The review closes with a discussion of open questions and prospects for the future.


title: Measurements of heavy-flavor jets with ALICE at the LHC

abstract: Heavy quarks created in ultra-relativistic heavy-ion collisions are mostly produced in hard QCD processes during the early stages of the reaction. They interact with the hot and cold nuclear matter throughout the evolution of the medium via semi-hard and soft processes such as energy loss via gluon radiations and collisions. Nuclear modification of heavy flavors in p-A systems provides insight into cold nuclear matter effects such as (anti)shadowing and $k_{T}$-broadening, and serves as a baseline for A-A studies. In addition to that the fully reconstructed heavy-flavor jets provide additional information on the flavor (or mass) dependence of fragmentation, color charge effects as well as insight into the contribution of late gluon splitting. In this contribution, we present the measurements of $b$-jet production in p-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV and $c$-jet production in pp, p-Pb and Pb-Pb collisions measured by the ALICE experiment at the LHC. The measurements of the nuclear modification factors for $c$-jet in p-Pb and Pb-Pb collisions are also presented. The experimental measurements are compared with the results from Monte Carlo event generators (PYTHIA 6, PYTHIA 8 and Herwig 7) and the NLO pQCD calculations (POWHEG+PYTHIA6). We find good agreement of the measurements with the results from Monte Carlo event generators and from NLO pQCD calculations.


title: Simultaneous Energy Harvesting and Gait Recognition using Piezoelectric Energy Harvester

abstract: Piezoelectric energy harvester, which generates electricity from stress or vibrations, is gaining increasing attention as a viable solution to extend battery life in wearables. Recent research further reveals that, besides generating energy, PEH can also serve as a passive sensor to detect human gait power-efficiently because its stress or vibration patterns are significantly influenced by the gait. However, as PEHs are not designed for precise measurement of motion, achievable gait recognition accuracy remains low with conventional classification algorithms. The accuracy deteriorates further when the generated electricity is stored simultaneously. To classify gait reliably while simultaneously storing generated energy, we make two distinct contributions. First, we propose a preprocessing algorithm to filter out the effect of energy storage on PEH electricity signal. Second, we propose a long short-term memory (LSTM) network-based classifier to accurately capture temporal information in gait-induced electricity generation. We prototype the proposed gait recognition architecture in the form factor of an insole and evaluate its gait recognition as well as energy harvesting performance with 20 subjects. Our results show that the proposed architecture detects human gait with 12% higher recall and harvests up to 127% more energy while consuming 38% less power compared to the state-of-the-art.


title: Velocity shift of Mg II and Al III broad absorption lines in quasar SDSS J134444.33+315007.6

abstract: We report, for the first time, a synchronized velocity shift of Mg II and Al III broad absorption lines (BALs) in quasar SDSS J134444.33+315007.6 (hereafter J1344+3150). We found this quasar from a sample of 134 Mg II BAL quasars with multi-epoch observations. This quasar contains three low-ionization BAL systems, the fastest of which at $\sim$$-17, 000\,\rm km\,s^{-1}$ shows a kinematic shift of $\sim$$-1101\,\rm km\,s^{-1}$ and $\sim$$-1170\,\rm km\,s^{-1}$ in its Mg II and Al III ions, respectively, during a rest-frame time of about 3.21 yr. Meanwhile, this quasar also shows other various variation characteristics, including an obvious weakening in its continuum, a coordinated enhancement in multiple emission lines (Mg II, C III and Al III), and a coordinated enhancement in three Al III absorption troughs. These variation characteristics convincingly indicate that the BAL outflows of J1344+3150 are under the influence from the background radiation energy. Thus, we infer that the velocity shift displayed in system A in the quasar J1344+3150 may indicate an actual line-of-sight acceleration of an outflow due to the radiation pressure from the central source.


title: System Modelling and Design Aspects of Next Generation High Throughput Satellites

abstract: Future generation wireless networks are targeting the convergence of fixed, mobile and broadcasting systems with the integration of satellite and terrestrial systems towards utilizing their mutual benefits. Satellite Communications (Sat- Com) is envisioned to play a vital role to provide integrated services seamlessly over heterogeneous networks. As compared to terrestrial systems, the design of SatCom systems require a different approach due to differences in terms of wave propagation, operating frequency, antenna structures, interfering sources, limitations of onboard processing, power limitations and transceiver impairments. In this regard, this letter aims to identify and discuss important modeling and design aspects of the next generation High Throughput Satellite (HTS) systems. First, communication models of HTSs including the ones for multibeam and multicarrier satellites, multiple antenna techniques, and for SatCom payloads and antennas are highlighted and discussed. Subsequently, various design aspects of SatCom transceivers including impairments related to the transceiver, payload and channel, and traffic-based coverage adaptation are presented. Finally, some open topics for the design of next generation HTSs are identified and discussed.


title: Anomaly Detection With Partitioning Overfitting Autoencoder Ensembles

abstract: In this paper, we propose POTATOES (Partitioning OverfiTting AuTOencoder EnSemble), a new method for unsupervised outlier detection (UOD). More precisely, given any autoencoder for UOD, this technique can be used to improve its accuracy while at the same time removing the burden of tuning its regularization. The idea is to not regularize at all, but to rather randomly partition the data into sufficiently many equally sized parts, overfit each part with its own autoencoder, and to use the maximum over all autoencoder reconstruction errors as the anomaly score. We apply our model to various realistic datasets and show that if the set of inliers is dense enough, our method indeed improves the UOD performance of a given autoencoder significantly. For reproducibility, the code is made available on github so the reader can recreate the results in this paper as well as apply the method to other autoencoders and datasets.


title: Hunting down the X17 boson at the CERN SPS

abstract: Recently, the ATOMKI experiment has reported new evidence for the excess of $e^+ e^-$ events with a mass $\sim$17 MeV in the nuclear transitions of $^4$He, that they previously observed in measurements with $^8$Be. These observations could be explained by the existence of a new vector $X17$ boson. So far, the search for the decay $X17 \rightarrow e^+ e^-$ with the NA64 experiment at the CERN SPS gave negative results. Here, we present a new technique that could be implemented in NA64 aiming to improve the sensitivity and to cover the remaining $X17$ parameter space. If a signal-like event is detected, an unambiguous observation is achieved by reconstructing the invariant mass of the $X17$ decay with the proposed method. To reach this goal an optimization of the $X17$ production target, as well as an efficient and accurate reconstruction of two close decay tracks, is required. A dedicated analysis of the available experimental data making use of the trackers information is presented. This method provides independent confirmation of the NA64 published results [Phys. Rev. D101, 071101 (2020)], validating the tracking procedure. The detailed Monte Carlo study of the proposed setup and the background estimate shows that the goal of the proposed search is feasible.


title: High current ion beam formation with strongly inhomogeneous electrostatic field

abstract: A new approach to the development of extraction systems capable of forming ion beams with previously inaccessible intensity is proposed. The use of inhomogeneous accelerating field allows to improve the ion beam formation efficiency significantly. The increase of electric field magnitude is achieved by changing the shape of the electrodes only, without increasing the accelerating voltage and decreasing the interelectrode distance. The comparison is made between a new extraction system and a flat traditional one, which is the most common. The use of a new electrode geometry allows to increase the lifetime of the electrodes in sources of intense beams operating in a continuous wave mode. For electron cyclotron resonance ion sources, results demonstrate the possibility to form high-quality ion beams with a current density of more than $1\:A/cm^2$.


title: Constructions of Generalized MSTD Sets in Higher Dimensions

abstract: Let $A$ be a set of finite integers, define $$A+A \ = \ \{a_1+a_2: a_1,a_2 \in A\}, \ \ \ A-A \ = \ \{a_1-a_2: a_1,a_2 \in A\},$$ and for non-negative integers $s$ and $d$ define $$sA-dA\ =\ \underbrace{A+\cdots+A}_{s} -\underbrace{A-\cdots-A}_{d}.$$ A More Sums than Differences (MSTD) set is an $A$ where $|A+A| > |A-A|$. It was initially thought that the percentage of subsets of $[0,n]$ that are MSTD would go to zero as $n$ approaches infinity as addition is commutative and subtraction is not. However, in a surprising 2006 result, Martin and O'Bryant proved that a positive percentage of sets are MSTD, although this percentage is extremely small, about $10^{-4}$ percent. This result was extended by Iyer, Lazarev, Miller, ans Zhang [ILMZ] who showed that a positive percentage of sets are generalized MSTD sets, sets for $\{s_1,d_1\} \neq \{s_2, d_2\}$ and $s_1+d_1=s_2+d_2$ with $|s_1A-d_1A| > |s_2A-d_2A|$, and that in $d$-dimensions, a positive percentage of sets are MSTD. For many such results, establishing explicit MSTD sets in $1$-dimensions relies on the specific choice of the elements on the left and right fringes of the set to force certain differences to be missed while desired sums are attained. In higher dimensions, the geometry forces a more careful assessment of what elements have the same behavior as $1$-dimensional fringe elements. We study fringes in $d$-dimensions and use these to create new explicit constructions. We prove the existence of generalized MSTD sets in $d$-dimensions and the existence of $k$-generational sets, which are sets where $|cA+cA|>|cA-cA|$ for all $1\leq c \leq k$. We then prove that under certain conditions, there are no sets with $|kA+kA|>|kA-kA|$ for all $k \in \mathbb{N}.$


title: Edge-variational Graph Convolutional Networks for Uncertainty-aware Disease Prediction

abstract: There is a rising need for computational models that can complementarily leverage data of different modalities while investigating associations between subjects for population-based disease analysis. Despite the success of convolutional neural networks in representation learning for imaging data, it is still a very challenging task. In this paper, we propose a generalizable framework that can automatically integrate imaging data with non-imaging data in populations for uncertainty-aware disease prediction. At its core is a learnable adaptive population graph with variational edges, which we mathematically prove that it is optimizable in conjunction with graph convolutional neural networks. To estimate the predictive uncertainty related to the graph topology, we propose the novel concept of Monte-Carlo edge dropout. Experimental results on four databases show that our method can consistently and significantly improve the diagnostic accuracy for Autism spectrum disorder, Alzheimer's disease, and ocular diseases, indicating its generalizability in leveraging multimodal data for computer-aided diagnosis.


title: Quantum coherence as a signature of chaos

abstract: We establish a rigorous connection between quantum coherence and quantum chaos by employing coherence measures originating from the resource theory framework as a diagnostic tool for quantum chaos. We quantify this connection at two different levels: quantum states and quantum channels. At the level of states, we show how several well-studied quantifiers of chaos are, in fact, quantum coherence measures in disguise (or closely related to them). We further this connection for all quantum coherence measures by using tools from majorization theory. Then, we numerically study the coherence of chaotic-vs-integrable eigenstates and find excellent agreement with random matrix theory in the bulk of the spectrum. At the level of channels, we show that the coherence-generating power (CGP) -- a measure of how much coherence a dynamical process generates on average -- emerges as a subpart of the out-of-time-ordered correlator (OTOC), a measure of information scrambling in many-body systems. Via numerical simulations of the (nonintegrable) transverse-field Ising model, we show that the OTOC and CGP capture quantum recurrences in quantitatively the same way. Moreover, using random matrix theory, we analytically characterize the CGP-OTOC connection for the Haar and Gaussian ensembles. In closing, we remark on how our coherence-based signatures of chaos relate to other diagnostics, namely the Loschmidt echo, OTOC, and the Spectral Form Factor.


title: The critical one-dimensional multi-particle DLA

abstract: We study one-dimensional multi-particle Diffusion Limited Aggregation (MDLA) at its critical density $\lambda=1$. Previous works have verified that the size of the aggregate $X_t$ at time $t$ is $t^{1/2}$ in the subcritical regime and linear in the supercritical regime. This paper establishes the conjecture that the growth rate at criticiality is $t^{2/3}$. Moreover, we derive the scaling limit proving that $$\big\{ t^{-2/3}X_{st} \big\}_{s\geq 0} \overset{d}{\rightarrow} \Big\{ \int_0^s Z_u du \Big\}_{s\geq 0}, $$ where the speed process $\{Z_t\}$ is a $(-\frac{1}{3})$-self-similar diffusion given by $Z_t = (3V_t)^{-2/3}$, where $V_t$ is the $\frac{8}{3}$-Bessel process. The proof shows that locally the speed process can be well approximated by a stochastic integral representation which itself can be approximated by a critical branching process with continuous edge lengths. From these representations, we determine its infinitesimal drift and variance to show that the speed asymptotically satisfies the SDE $dZ_t = 2Z_t^{5/2}dB_t$. To make these approximations, regularity properties of the process are established inductively via a multiscale argument.


title: Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island

abstract: Nowadays, autonomous taxis become a highly promising transportation mode, which helps relieve traffic congestion and avoid road accidents. However, it hinders the wide implementation of this service that traditional models fail to efficiently allocate the available fleet to deal with the imbalance of supply (autonomous taxis) and demand (trips), the poor cooperation of taxis, hardly satisfied resource constraints, and on-line platform's requirements. To figure out such urgent problems from a global and more farsighted view, we employ a Constrained Multi-agent Markov Decision Processes (CMMDP) to model fleet allocation decisions, which can be easily split into sub-problems formulated as a 'Dynamic assignment problem' combining both immediate rewards and future gains. We also leverage a Column Generation algorithm to guarantee the efficiency and optimality in a large scale. Through extensive experiments, the proposed approach not only achieves remarkable improvements over the state-of-the-art benchmarks in terms of the individual's efficiency (arriving at 12.40%, 6.54% rise of income and utilization, respectively) and the platform's profit (reaching 4.59% promotion) but also reveals a time-varying fleet adjustment policy to minimize the operation cost of the platform.


title: Hybrid Differentially Private Federated Learning on Vertically Partitioned Data

abstract: We present HDP-VFL, the first hybrid differentially private (DP) framework for vertical federated learning (VFL) to demonstrate that it is possible to jointly learn a generalized linear model (GLM) from vertically partitioned data with only a negligible cost, w.r.t. training time, accuracy, etc., comparing to idealized non-private VFL. Our work builds on the recent advances in VFL-based collaborative training among different organizations which rely on protocols like Homomorphic Encryption (HE) and Secure Multi-Party Computation (MPC) to secure computation and training. In particular, we analyze how VFL's intermediate result (IR) can leak private information of the training data during communication and design a DP-based privacy-preserving algorithm to ensure the data confidentiality of VFL participants. We mathematically prove that our algorithm not only provides utility guarantees for VFL, but also offers multi-level privacy, i.e. DP w.r.t. IR and joint differential privacy (JDP) w.r.t. model weights. Experimental results demonstrate that our work, under adequate privacy budgets, is quantitatively and qualitatively similar to GLMs, learned in idealized non-private VFL setting, rather than the increased cost in memory and processing time in most prior works based on HE or MPC. Our codes will be released if this paper is accepted.


title: Twisted Ehresmann Schauenburg bialgebroids

abstract: We construct an invertible normalised 2 cocycle on the Ehresmann Schauenburg bialgebroid of a cleft Hopf Galois extension under the condition that the corresponding Hopf algebra is cocommutative and the image of the unital cocycle corresponding to this cleft Hopf Galois extension belongs to the centre of the coinvariant subalgebra. Moreover, we show that any Ehresmann Schauenburg bialgebroid of this kind is isomorphic to a 2-cocycle twist of the Ehresmann Schauenburg bialgebroid corresponding to a Hopf Galois extension without cocycle, where comodule algebra is an ordinary smash product of the coinvariant subalgebra and the Hopf algebra (i.e. $\C(B/#_{\sigma}H, H)\simeq \C(B\#H, H)^{\tilde{\sigma}}$). We also study the theory in the case of a Galois object where the base is trivial but without requiring the Hopf algebra to be cocommutative.


title: Robust Intensity Mapping Analysis against Foregrounds for the Epoch of Reionization

abstract: Intensity mapping of the HI 21 cm line and the CO 2.61 mm line from the epoch of reionization has emerged as powerful, complementary, probes of the high-redshift Universe. However, both maps and their cross-correlation are dominated by foregrounds. We propose a new analysis by which the signal is unbiased by foregrounds, i.e. it can be measured without foreground mitigation. We construct the antisymmetric part of the HI-CO cross-correlation, arising because the statistical fluctuations of two fields have different evolution in time. We show that the sign of this new signal can distinguish model-independently whether inside-out reionization happens during some interval of time.


title: Antisymmetric Cross-correlation between H I and CO Line Intensity Maps as a New Probe of Cosmic Reionization

abstract: Intensity mapping of the H I 21 cm line and the CO 2.61 mm line from the epoch of reionization has emerged as powerful, complementary, probes of the high-redshift Universe. However, both maps and their cross-correlation are dominated by foregrounds. We propose a new analysis by which the signal is unbiased by foregrounds, i.e. it can be measured without foreground mitigation. We construct the antisymmetric part of two-point cross-correlation between intensity maps of the H I 21 cm line and the CO 2.61 mm line, arising because the statistical fluctuations of two fields have different evolution in time. We show that the sign of this new signal can distinguish model-independently whether inside-out reionization happens during some interval of time. More importantly, within the framework of the excursion set model of reionization, we demonstrate that the slope of the dipole of H I-CO cross-power spectrum at large scales is linear to the rate of change of global neutral fraction of hydrogen in a manner independent of reionization parameters, until the slope levels out near the end of reionization, but this trend might possibly depend on the framework of reionization modelling. The H I-CO dipole may be a smoking-gun probe for the speed of reionization, or "standard speedometer" for cosmic reionization. Observations of this new signal will unveil the global reionization history from the midpoint to near the completion of reionization.


title: Periods of cubic surfaces with the automorphism group of order 54

abstract: To any cubic surface, one can associate a cubic threefold given by a triple cover of $\mathbb P^3$ branched in this cubic surface. D. Allcock, J. Carlson, and D. Toledo used this construction to define the period map for cubic surfaces. It is interesting to calculate this map for some specific cubic surfaces. In this paper, we have calculated it in the case when the cubic surface is given by a triple covering of $\mathbb P^2$ branched in a smooth elliptic curve. In this case, the periods can be expressed through periods of the corresponding elliptic curve.


title: Symplectic Geometry of Anosov Flows in Dimension 3 and Bi-Contact Topology

abstract: We give a purely contact and symplectic geometric characterization of Anosov flows in dimension 3 and discuss a framework to use tools from contact and symplectic geometry and topology in the study of Anosov dynamics. We also discuss some uniqueness results regarding the underlying (bi)-contact structures for an Anosov flow and give a characterization of Anosovity based on Reeb flows.


title: Stability Domains for Quadratic-Bilinear Reduced-Order Models

abstract: We propose a computational approach to estimate the stability domain of quadratic-bilinear reduced-order models (ROMs), which are low-dimensional approximations of large-scale dynamical systems. For nonlinear ROMs, it is not only important to show that the origin is locally asymptotically stable, but also to quantify if the operative range of the ROM is included in the region of convergence. While accuracy and structure preservation remain the main focus of development for nonlinear ROMs, computational methods that go beyond the existing highly conservative analytical results have been lacking thus far. In this work, for a given quadratic Lyapunov function, we first derive an analytical estimate of the stability domain, which is rather conservative but can be evaluated efficiently. With the goal to enlarge this estimate, we provide an optimal ellipsoidal estimate of the stability domain by solving a convex optimization problem. This provides us with valuable information about stability properties of the ROM, an important aspect of predictive simulation. We do not assume a specific ROM method, so a particular appeal is that the approach is applicable to quadratic-bilinear models obtained via data-driven approaches, where ROM stability properties cannot - per definition - be derived from the full-order model. Numerical results for a LQG-balanced ROM of Burgers' equation, a proper orthogonal decomposition ROM of FitzHugh-Nagumo, and a non-intrusive ROM of Burgers' equation demonstrate the scalability and quantitative advantages of the proposed approach. The optimization-based estimates of the stability domain are found to be up to four orders of magnitude less conservative than analytical estimates.


title: Families of Integral Cographs within a Triangular Arrays

abstract: The \emph{determinant Hosoya triangle}, is a triangular array where the entries are the determinants of two-by-two Fibonacci matrices. The determinant Hosoya triangle $\bmod \,2$ gives rise to three infinite families of graphs, that are formed by complete product (join) of (the union of) two complete graphs with an empty graph. We give a necessary and sufficient condition for a graph from these families to be integral. Some features of these graphs are: they are integral cographs, all graphs have at most five distinct eigenvalues, all graphs are either $d$-regular graphs with $d=2,4,6,\dots $ or almost-regular graphs, and some of them are Laplacian integral. Finally we extend some of these results to the Hosoya triangle.


title: A Vision of Self-Evolving Network Management for Future Intelligent Vertical HetNet

abstract: Future integrated terrestrial-aerial-satellite networks will have to exhibit some unprecedented characteristics for the provision of both communications and computation services, and security for a tremendous number of devices with very broad and demanding requirements across multiple networks, operators, and ecosystems. Although 3GPP introduced the concept of self-organization networks (SONs) in 4G and 5G documents to automate network management, even this progressive concept will face several challenges as it may not be sufficiently agile in coping with the immense levels of complexity, heterogeneity, and mobility in the envisioned beyond-5G integrated networks. In the presented vision, we discuss how future integrated networks can be intelligently and autonomously managed to efficiently utilize resources, reduce operational costs, and achieve the targeted Quality of Experience (QoE). We introduce the novel concept of "self-evolving networks (SENs)" framework, which utilizes artificial intelligence, enabled by machine learning (ML) algorithms, to make future integrated networks fully automated and intelligently evolve with respect to the provision, adaptation, optimization, and management aspects of networking, communications, computation, and infrastructure nodes' mobility. To envisage the concept of SEN in future integrated networks, we use the Intelligent Vertical Heterogeneous Network (I-VHetNet) architecture as our reference. The paper discusses five prominent scenarios where SEN plays the main role in providing automated network management. Numerical results provide an insight on how the SEN framework improves the performance of future integrated networks. The paper presents the leading enablers and examines the challenges associated with the application of SEN concept in future integrated networks.


title: Bayesian inversion for electromyography using low-rank tensor formats

abstract: The reconstruction of the structure of biological tissue using electromyographic data is a non-invasive imaging method with diverse medical applications. Mathematically, this process is an inverse problem. Furthermore, electromyographic data are highly sensitive to changes in the electrical conductivity that describes the structure of the tissue. Modeling the inevitable measurement error as a stochastic quantity leads to a Bayesian approach. Solving the discretized Bayes-inverse problem means drawing samples from the posterior distribution of parameters, e.g., the conductivity, given measurement data. Using, e.g., a Metropolis-Hastings algorithm for this purpose involves solving the forward problem for different parameter combinations which requires a high computational effort. Low-rank tensor formats can reduce this effort by providing a data-sparse representation of all occurring linear systems of equations simultaneously and allow for their efficient solution. The application of Bayes' theorem proves the well-posedness of the Bayes-inverse problem. The derivation and proof of a low-rank representation of the forward problem allow for the precomputation of all solutions of this problem under certain assumptions, resulting in an efficient and theory-based sampling algorithm. Numerical experiments support the theoretical results, but also indicate that a high number of samples is needed to obtain reliable estimates for the parameters. The Metropolis-Hastings sampling algorithm, using the precomputed forward solution in a tensor format, draws this high number of samples and therefore enables solving problems which are infeasible using classical methods.


title: Why Spectral Normalization Stabilizes GANs: Analysis and Improvements

abstract: Spectral normalization (SN) is a widely-used technique for improving the stability and sample quality of Generative Adversarial Networks (GANs). However, there is currently limited understanding of why SN is effective. In this work, we show that SN controls two important failure modes of GAN training: exploding and vanishing gradients. Our proofs illustrate a (perhaps unintentional) connection with the successful LeCun initialization. This connection helps to explain why the most popular implementation of SN for GANs requires no hyper-parameter tuning, whereas stricter implementations of SN have poor empirical performance out-of-the-box. Unlike LeCun initialization which only controls gradient vanishing at the beginning of training, SN preserves this property throughout training. Building on this theoretical understanding, we propose a new spectral normalization technique: Bidirectional Scaled Spectral Normalization (BSSN), which incorporates insights from later improvements to LeCun initialization: Xavier initialization and Kaiming initialization. Theoretically, we show that BSSN gives better gradient control than SN. Empirically, we demonstrate that it outperforms SN in sample quality and training stability on several benchmark datasets.


title: Representation theory of finite groups through (basic) algebraic geometry

abstract: We introduce a new approach to representation theory of finite groups that uses some basic algebraic geometry and allows to do all the theory without using characters. With this approach, to any finite group $G$ we associate a finite number of points and show that any field containing the coordinates of those points works fine as the ground field for the representations of $G$. We apply this point of view to the symmetric group $S_d$, finding easy equations for the different symmetries of functions in $d$ variables. As a byproduct, we give an easy proof of a recent result by Tocino that states that the hyperdeterminant of a $d$-dimensional matrix is zero for all but two types of symmetry.


title: A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs

abstract: Data race free (DRF) programs constitute an important class of concurrent programs. In this paper we provide a framework for designing and proving the correctness of data flow analyses that target this class of programs. These analyses are in the same spirit as the "sync-CFG" analysis proposed in earlier literature. To achieve this, we first propose a novel concrete semantics for DRF programs, called L-DRF, that is thread-local in nature---each thread operates on its own copy of the data state. We show that abstractions of our semantics allow us to reduce the analysis of DRF programs to a sequential analysis. This aids in rapidly porting existing sequential analyses to sound and scalable analyses for DRF programs. Next, we parameterize L-DRF with a partitioning of the program variables into "regions" which are accessed atomically. Abstractions of the region-parameterized semantics yield more precise analyses for "region-race" free concurrent programs. We instantiate these abstractions to devise efficient relational analyses for race free programs, which we have implemented in a prototype tool called RATCOP. On the benchmarks, RATCOP was able to prove up to 65% of the assertions, in comparison to 25% proved by our baseline. Moreover, in a comparative study with a recent concurrent static analyzer, RATCOP was up to 5 orders of magnitude faster.


title: Matching Bounds: How Choice of Matching Algorithm Impacts Treatment Effects Estimates and What to Do about It

abstract: Many major works in social science employ matching to make causal conclusions, but different matches on the same data may produce different treatment effect estimates, even when they achieve similar balance or minimize the same loss function. We discuss reasons and consequences of this problem. We present evidence of this problem by replicating ten papers that use matching and we find that different popular matching algorithms produce inconsistent results. We introduce Matching Bounds: a finite-sample, nonstochastic method that allows analysts to know whether a matched sample that produces different results with the same levels of balance and overall match quality could be obtained from their data. We apply Matching Bounds to a replication of two studies and show that in one case results are robust to this issue and in another they are not.


title: A note on powers of the characteristic function

abstract: Let $CH(R)$ denote the family of characteristic functions of probability measures (distributions) on the real line $R$. We study the following question: given an integer $n>1$, do there exist two different $f, g\in CH(R)$ such that $ f^n\equiv g^n$? For positive even $n$, well-known examples answer this question in the affirmative. It turns out that the same is true also for any odd $n>1$. For $f\in CH(R)$ and integer $n>1$, set $C_n(f)=\{g\in CH(R): g^n\equiv f^n\}$. In this paper, we give an estimate for cardinality (or cardinal number) of $C_n(f)$. In addition, we describe such $f$ for which our estimate is sharp.


title: On Hardness of Approximation of Parameterized Set Cover and Label Cover: Threshold Graphs from Error Correcting Codes

abstract: In the $(k,h)$-SetCover problem, we are given a collection $\mathcal{S}$ of sets over a universe $U$, and the goal is to distinguish between the case that $\mathcal{S}$ contains $k$ sets which cover $U$, from the case that at least $h$ sets in $\mathcal{S}$ are needed to cover $U$. Lin (ICALP'19) recently showed a gap creating reduction from the $(k,k+1)$-SetCover problem on universe of size $O_k(\log |\mathcal{S}|)$ to the $\left(k,\sqrt[k]{\frac{\log|\mathcal{S}|}{\log\log |\mathcal{S}|}}\cdot k\right)$-SetCover problem on universe of size $|\mathcal{S}|$. In this paper, we prove a more scalable version of his result: given any error correcting code $C$ over alphabet $[q]$, rate $\rho$, and relative distance $\delta$, we use $C$ to create a reduction from the $(k,k+1)$-SetCover problem on universe $U$ to the $\left(k,\sqrt[2k]{\frac{2}{1-\delta}}\right)$-SetCover problem on universe of size $\frac{\log|\mathcal{S}|}{\rho}\cdot|U|^{q^k}$. Lin established his result by composing the input SetCover instance (that has no gap) with a special threshold graph constructed from extremal combinatorial object called universal sets, resulting in a final SetCover instance with gap. Our reduction follows along the exact same lines, except that we generate the threshold graphs specified by Lin simply using the basic properties of the error correcting code $C$. We use the same threshold graphs mentioned above to prove inapproximability results, under W[1]$\neq$FPT and ETH, for the $k$-MaxCover problem introduced by Chalermsook et al. (SICOMP'20). Our inapproximaiblity results match the bounds obtained by Karthik et al. (JACM'19), although their proof framework is very different, and involves generalization of the distributed PCP framework. Prior to this work, it was not clear how to adopt the proof strategy of Lin to prove inapproximability results for $k$-MaxCover.


title: UPB at SemEval-2020 Task 8: Joint Textual and Visual Modeling in a Multi-Task Learning Architecture for Memotion Analysis

abstract: Users from the online environment can create different ways of expressing their thoughts, opinions, or conception of amusement. Internet memes were created specifically for these situations. Their main purpose is to transmit ideas by using combinations of images and texts such that they will create a certain state for the receptor, depending on the message the meme has to send. These posts can be related to various situations or events, thus adding a funny side to any circumstance our world is situated in. In this paper, we describe the system developed by our team for SemEval-2020 Task 8: Memotion Analysis. More specifically, we introduce a novel system to analyze these posts, a multimodal multi-task learning architecture that combines ALBERT for text encoding with VGG-16 for image representation. In this manner, we show that the information behind them can be properly revealed. Our approach achieves good performance on each of the three subtasks of the current competition, ranking 11th for Subtask A (0.3453 macro F1-score), 1st for Subtask B (0.5183 macro F1-score), and 3rd for Subtask C (0.3171 macro F1-score) while exceeding the official baseline results by high margins.


title: UPB at SemEval-2020 Task 9: Identifying Sentiment in Code-Mixed Social Media Texts using Transformers and Multi-Task Learning

abstract: Sentiment analysis is a process widely used in opinion mining campaigns conducted today. This phenomenon presents applications in a variety of fields, especially in collecting information related to the attitude or satisfaction of users concerning a particular subject. However, the task of managing such a process becomes noticeably more difficult when it is applied in cultures that tend to combine two languages in order to express ideas and thoughts. By interleaving words from two languages, the user can express with ease, but at the cost of making the text far less intelligible for those who are not familiar with this technique, but also for standard opinion mining algorithms. In this paper, we describe the systems developed by our team for SemEval-2020 Task 9 that aims to cover two well-known code-mixed languages: Hindi-English and Spanish-English. We intend to solve this issue by introducing a solution that takes advantage of several neural network approaches, as well as pre-trained word embeddings. Our approach (multlingual BERT) achieves promising performance on the Hindi-English task, with an average F1-score of 0.6850, registered on the competition leaderboard, ranking our team 16th out of 62 participants. For the Spanish-English task, we obtained an average F1-score of 0.7064 ranking our team 17th out of 29 participants by using another multilingual Transformer-based model, XLM-RoBERTa.


title: Optimization of High-dimensional Simulation Models Using Synthetic Data

abstract: Simulation models are valuable tools for resource usage estimation and capacity planning. In many situations, reliable data is not available. We introduce the BuB simulator, which requires only the specification of plausible intervals for the simulation parameters. By performing a surrogate-model based optimization, improved simulation model parameters can be determined. Furthermore, a detailed statistical analysis can be performed, which allows deep insights into the most important model parameters and their interactions. This information can be used to screen the parameters that should be further investigated. To exemplify our approach, a capacity and resource planning task for a hospital was simulated and optimized. The study explicitly covers difficulties caused by the COVID-19 pandemic. It can be shown, that even if only limited real-world data is available, the BuB simulator can be beneficially used to consider worst- and best-case scenarios. The BuB simulator can be extended in many ways, e.g., by adding further resources (personal protection equipment, staff, pharmaceuticals) or by specifying several cohorts (based on age, health status, etc.). Keywords: Synthetic data, discrete-event simulation, surrogate-model-based optimization, COVID-19, machine learning, artificial intelligence, hospital resource planning, prediction tool, capacity planning.


title: Contextual Personalized Re-Ranking of Music Recommendations through Audio Features

abstract: Users are able to access millions of songs through music streaming services like Spotify, Pandora, and Deezer. Access to such large catalogs, created a need for relevant song recommendations. However, user preferences are highly subjective in nature and change according to context (e.g., music that is suitable in the morning is not as suitable in the evening). Moreover, the music one user may prefer in a given context may be different from what another user prefers in the same context (i.e., what is considered good morning music differs across users). Accurately representing these preferences is essential to creating accurate and effective song recommendations. User preferences for songs can be based on high level audio features, such as tempo and valence. In this paper, we therefore propose a contextual re-ranking algorithm, based on audio feature representations of user preferences in specific contextual conditions. We evaluate the performance of our re-ranking algorithm using the #NowPlaying-RS dataset, which exists of user listening events crawled from Twitter and is enriched with song audio features. We compare a global (context for all users) and personalized (context for each user) model based on these audio features. The global model creates an audio feature representation of each contextual condition based on the preferences of all users. Unlike the global model, the personalized model creates user-specific audio feature representations of contextual conditions, and is measured across 333 distinct users. We show that the personalized model outperforms the global model when evaluated using the precision and mean average precision metrics.


title: Vertex-Domatic, Edge-Domatic and Total Domatic Number of Uniform Hypergraphs

abstract: E. J. Cockayne and S. T. Hedetniemi introduced the concept of domatic number of a graph. B. Zelinka extended the concept to the uniform hypergraphs. Further, B. Zelinka defined the concept of edge-domatic number and total edge-domatic number of a graph. In this paper, we investigate and prove some assertions in connection with vertex domatic number, edge-domatic number and total domatic number of some specific uniform hypergraphs.


title: An FPGA Accelerated Method for Training Feed-forward Neural Networks Using Alternating Direction Method of Multipliers and LSMR

abstract: In this project, we have successfully designed, implemented, deployed and tested a novel FPGA accelerated algorithm for neural network training. The algorithm itself was developed in an independent study option. This training method is based on Alternating Direction Method of Multipliers algorithm, which has strong parallel characteristics and avoids procedures such as matrix inversion that are problematic in hardware designs by employing LSMR. As an intermediate stage, we fully implemented the ADMM-LSMR method in C language for feed-forward neural networks with a flexible number of layers and hidden size. We demonstrated that the method can operate with fixed-point arithmetic without compromising the accuracy. Next, we devised an FPGA accelerated version of the algorithm using Intel FPGA SDK for OpenCL and performed extensive optimisation stages followed by successful deployment of the program on an Intel Arria 10 GX FPGA. The FPGA accelerated program showed up to 6 times speed up comparing to equivalent CPU implementation while achieving promising accuracy.


title: Enhancement of YIG$|$Pt spin conductance by local Joule annealing

abstract: We report that Joule heating can be used to enhance the interfacial spin conductivity between a metal and an oxide. We observe that local annealing of the interface at about 550\,K by injecting large current densities ($>10^{12}\text{A/m}^{2}$) into a pristine 7\,nm thick Pt nanostrip evaporated on top of yttrium iron garnet (YIG), can improve the spin transmission up to a factor 3: a result of particular interest for interfacing ultra thin garnet films where strong chemical etching of the surface has to be avoided. The effect is confirmed by different methods: spin Hall magnetoresistance, spin pumping and non-local spin transport. We use it to study the influence of the YIG$|$Pt coupling on the non-linear spin transport properties. We find that the cross-over current from a linear to a non-linear spin transport regime is independent of this coupling, suggesting that the behavior of pure spin currents circulating in the dielectric are mostly governed by the physical properties of the bare YIG film beside the Pt nanostrip.


title: On estimation of quadratic variation for multivariate pure jump semimartingales

abstract: In this paper we present the asymptotic analysis of the realised quadratic variation for multivariate symmetric $\beta$-stable L\'evy processes, $\beta \in (0,2)$, and certain pure jump semimartingales. The main focus is on derivation of functional limit theorems for the realised quadratic variation and its spectrum. We will show that the limiting process is a matrix-valued $\beta$-stable L\'evy process when the original process is symmetric $\beta$-stable, while the limit is conditionally $\beta$-stable in case of integrals with respect to symmetric $\beta$-stable motions. These asymptotic results are mostly related to the work [5], which investigates the univariate version of the problem. Furthermore, we will show the implications for estimation of eigenvalues and eigenvectors of the quadratic variation matrix, which is a useful result for the principle component analysis. Finally, we propose a consistent subsampling procedure in the L\'evy setting to obtain confidence regions.


title: Exact solution of the Boltzmann equation for low-temperature transport coefficients in metals II: Scattering by ferromagnons

abstract: In a previous paper (Paper I) we developed a technique for exactly solving the linearized Boltzmann equation for the electrical and thermal transport coefficients in metals in the low-temperature limit. Here we adapt this technique to determine the magnon contribution to the electrical and thermal conductivities, and to the thermopower, in metallic ferromagnets. For the electrical resistivity $\rho$ at asymptotically low temperatures we find $\rho \propto \exp{(-T_{\rm min}/T)}$, with $T_{\rm min}$ an energy scale that results from the exchange gap and a temperature independent prefactor of the exponential. The corresponding result for the heat conductivity is $\sigma_h \propto T^3\,\exp{(T_{\rm min}/T)}$, and thermopower is $S \propto T$. All of these results are exact, including the prefactors.


title: Periodic Points and Smooth Rays

abstract: Let $P: {\mathbb C} \to {\mathbb C}$ be a polynomial map with disconnected filled Julia set $K_P$ and let $z_0$ be a repelling or parabolic periodic point of $P$. We show that if the connected component of $K_P$ containing $z_0$ is non-degenerate, then $z_0$ is the landing point of at least one {\it smooth} external ray. The statement is optimal in the sense that all but one ray landing at $z_0$ may be broken.


title: A Beginner's Guide to Bloch Equation Simulations of Magnetic Resonance Imaging Sequences

abstract: Nuclear magnetic resonance (NMR) concepts are rooted in quantum mechanics, but MR imaging principles are well described and more easily grasped using classical ideas and formalisms such as Larmor precession and the phenomenological Bloch equations. Many textbooks provide in-depth descriptions and derivations of the various concepts. Still, carrying out numerical Bloch equation simulations of the signal evolution can oftentimes supplement and enrich one's understanding. And though it may appear intimidating at first, performing these simulations is within the realm of every imager. The primary objective herein is to provide novice MR users with the necessary and basic conceptual, algorithmic and computational tools to confidently write their own simulator. A brief background of the idealized MR imaging process, its concepts and the pulse sequence diagram are first provided. Thereafter, two regimes of Bloch equation simulations are presented, the first which has no radio frequency (RF) pulses, and the second in which RF pulses are applied. For the first regime, analytical solutions are given, whereas for the second regime, an overview of the computationally efficient, but often overlooked, Rodrigues' rotation formula is given. Lastly, various simulation conditions of interest and example code snippets are given and discussed to help demonstrate how straightforward and easy performing MR simulations can be.


title: Landau quantization of a circular Quantum Dot using the BenDaniel-Duke boundary condition

abstract: We derive the energy levels of a circular Quantum Dot (QD) under a transverse magnetic field, incorporating the Ben-Daniel Duke boundary condition (BDD). The parameters in our model are the confinement barrier height, the size of the QD, the magnetic field strength, and a mass ratio highlighting the effect of using BDD. Charge densities, transition energies, and the dependence of energies on magnetic field has been calculated to show the strong influence of BDD. We find that our numerical calculations agree well with experimental results on the GaAs-InGaAs Quantum Dot and can be used further. We also provide an insightful analytical approximation to our numerical results, which converges well for larger values of size and confinement.


title: A Change-Detection Based Thompson Sampling Framework for Non-Stationary Bandits

abstract: We consider a non-stationary two-armed bandit framework and propose a change-detection based Thompson sampling (TS) algorithm, named TS with change-detection (TS-CD), to keep track of the dynamic environment. The non-stationarity is modeled using a Poisson arrival process, which changes the mean of the rewards on each arrival. The proposed strategy compares the empirical mean of the recent rewards of an arm with the estimate of the mean of the rewards from its history. It detects a change when the empirical mean deviates from the mean estimate by a value larger than a threshold. Then, we characterize the lower bound on the duration of the time-window for which the bandit framework must remain stationary for TS-CD to successfully detect a change when it occurs. Consequently, our results highlight an upper bound on the parameter for the Poisson arrival process, for which the TS-CD achieves asymptotic regret optimality with high probability. Finally, we validate the efficacy of TS-CD by testing it for edge-control of radio access technique (RAT)-selection in a wireless network. Our results show that TS-CD not only outperforms the classical max-power RAT selection strategy but also other actively adaptive and passively adaptive bandit algorithms that are designed for non-stationary environments.


title: Overview and Evaluation of Sound Event Localization and Detection in DCASE 2019

abstract: Sound event localization and detection is a novel area of research that emerged from the combined interest of analyzing the acoustic scene in terms of the spatial and temporal activity of sounds of interest. This paper presents an overview of the first international evaluation on sound event localization and detection, organized as a task of the DCASE 2019 Challenge. A large-scale realistic dataset of spatialized sound events was generated for the challenge, to be used for training of learning-based approaches, and for evaluation of the submissions in an unlabeled subset. The overview presents in detail how the systems were evaluated and ranked and the characteristics of the best-performing systems. Common strategies in terms of input features, model architectures, training approaches, exploitation of prior knowledge, and data augmentation are discussed. Since ranking in the challenge was based on individually evaluating localization and event classification performance, part of the overview focuses on presenting metrics for the joint measurement of the two, together with a reevaluation of submissions using these new metrics. The new analysis reveals submissions that performed better on the joint task of detecting the correct type of event close to its original location than some of the submissions that were ranked higher in the challenge. Consequently, ranking of submissions which performed strongly when evaluated separately on detection or localization, but not jointly on both, was affected negatively.


title: Interlayer exciton-polaron in atomically thin semiconductors

abstract: A novel type of exciton-phonon bound state -- interlayer polaron -- in a double-layer two-dimensional semiconductor with transition metal dichalcogenides as an example, is predicted. In these systems the interaction of the interlayer exciton with the soft modes of out-of-plane lattice vibrations caused by van der Waals forces and flexural rigidity gives rise to a bound quasiparticle. The energy and effective mass of the formed polaron for weak and strong exciton-phonon coupling regimes are calculated and analyzed. Possible manifestations of these effects in transport- and spectroscopy-related experiments are discussed.


title: Two phase reheating: CMB constraints on inflaton and dark matter phenomenology

abstract: We propose a two-phase reheating scenario where the initial preheating dynamics is described by an effective dynamics followed by the standard perturbative reheating. Some of the important universal results of lattice simulation during preheating have been considered as crucial inputs in our two-phase dynamics. In this framework, detailed phenomenological constraints have been obtained on the inflaton couplings with reheating fields, and dark matter parameters in terms of CMB constrained inflationary scalar spectral index. It is observed that the conventional reheating scenario generically predicts the maximum reheating temperature $T_{re}^{max} \simeq 10^{15}$ GeV, corresponding to an almost instantaneous transition from the end of inflation to radiation domination. This fact will naturally lead to the problem of non-perturbative inflaton decay, which is in direct conflict with the perturbative reheating itself. Taking into account this by incorporating effective non-perturbative dynamics as the initial phase, our model of two-phase reheating scenarios also predicts model-independent maximum reheating temperature, which does not correspond to the instantaneous process. Further, $T_{re}^{max}$ is predicted to lie within $(10^{13}, 10^{10})$ GeV if CMB constraints on inflaton couplings with different reheating field are taken into account. We have further studied in detail the dark matter phenomenology in a model-independent manner and show how dark matter parameter space can be constrained through CMB parameters via the inflaton spectral index. Considering dark matter production during reheating via the Freeze-in mechanism, its parameter space has been observed to be highly constrained by our two-phase reheating than the constraints predicted by the conventional reheating scenarios, which are believed to theoretically incomplete.


title: Duluth at SemEval-2020 Task 7: Using Surprise as a Key to Unlock Humorous Headlines

abstract: We use pretrained transformer-based language models in SemEval-2020 Task 7: Assessing the Funniness of Edited News Headlines. Inspired by the incongruity theory of humor, we use a contrastive approach to capture the surprise in the edited headlines. In the official evaluation, our system gets 0.531 RMSE in Subtask 1, 11th among 49 submissions. In Subtask 2, our system gets 0.632 accuracy, 9th among 32 submissions.


title: Perfusion Imaging: A Data Assimilation Approach

abstract: Perfusion imaging (PI) is clinically used to assess strokes and brain tumors. Commonly used PI approaches based on magnetic resonance imaging (MRI) or computed tomography (CT) measure the effect of a contrast agent moving through blood vessels and into tissue. Contrast-agent free approaches, for example, based on intravoxel incoherent motion, also exist, but are so far not routinely used clinically. These methods rely on estimating on the arterial input function (AIF) to approximately model tissue perfusion, neglecting spatial dependencies, and reliably estimating the AIF is also non-trivial, leading to difficulties with standardizing perfusion measures. In this work we therefore propose a data-assimilation approach (PIANO) which estimates the velocity and diffusion fields of an advection-diffusion model that best explains the contrast dynamics. PIANO accounts for spatial dependencies and neither requires estimating the AIF nor relies on a particular contrast agent bolus shape. Specifically, we propose a convenient parameterization of the estimation problem, a numerical estimation approach, and extensively evaluate PIANO. We demonstrate that PIANO can successfully resolve velocity and diffusion field ambiguities and results in sensitive measures for the assessment of stroke, comparing favorably to conventional measures of perfusion.


title: Deep Modeling of Growth Trajectories for Longitudinal Prediction of Missing Infant Cortical Surfaces

abstract: Charting cortical growth trajectories is of paramount importance for understanding brain development. However, such analysis necessitates the collection of longitudinal data, which can be challenging due to subject dropouts and failed scans. In this paper, we will introduce a method for longitudinal prediction of cortical surfaces using a spatial graph convolutional neural network (GCNN), which extends conventional CNNs from Euclidean to curved manifolds. The proposed method is designed to model the cortical growth trajectories and jointly predict inner and outer cortical surfaces at multiple time points. Adopting a binary flag in loss calculation to deal with missing data, we fully utilize all available cortical surfaces for training our deep learning model, without requiring a complete collection of longitudinal data. Predicting the surfaces directly allows cortical attributes such as cortical thickness, curvature, and convexity to be computed for subsequent analysis. We will demonstrate with experimental results that our method is capable of capturing the nonlinearity of spatiotemporal cortical growth patterns and can predict cortical surfaces with improved accuracy.


title: CSI-Based Multi-Antenna and Multi-Point Indoor Positioning Using Probability Fusion

abstract: Channel state information (CSI)-based fingerprinting via neural networks (NNs) is a promising approach to enable accurate indoor and outdoor positioning of user equipments (UEs), even under challenging propagation conditions. In this paper, we propose a positioning pipeline for wireless LAN MIMO-OFDM systems which uses uplink CSI measurements obtained from one or more unsynchronized access points (APs). For each AP receiver, novel features are first extracted from the CSI that are robust to system impairments arising in real-world transceivers. These features are the inputs to a NN that extracts a probability map indicating the likelihood of a UE being at a given grid point. The NN output is then fused across multiple APs to provide a final position estimate. We provide experimental results with real-world indoor measurements under line-of-sight (LoS) and non-LoS propagation conditions for an 80MHz bandwidth IEEE 802.11ac system using a two-antenna transmit UE and two AP receivers each with four antennas. Our approach is shown to achieve centimeter-level median distance error, an order of magnitude improvement over a conventional baseline.


title: Gradient-based Competitive Learning: Theory

abstract: Deep learning has been widely used for supervised learning and classification/regression problems. Recently, a novel area of research has applied this paradigm to unsupervised tasks; indeed, a gradient-based approach extracts, efficiently and autonomously, the relevant features for handling input data. However, state-of-the-art techniques focus mostly on algorithmic efficiency and accuracy rather than mimic the input manifold. On the contrary, competitive learning is a powerful tool for replicating the input distribution topology. This paper introduces a novel perspective in this area by combining these two techniques: unsupervised gradient-based and competitive learning. The theory is based on the intuition that neural networks are able to learn topological structures by working directly on the transpose of the input matrix. At this purpose, the vanilla competitive layer and its dual are presented. The former is just an adaptation of a standard competitive layer for deep clustering, while the latter is trained on the transposed matrix. Their equivalence is extensively proven both theoretically and experimentally. However, the dual layer is better suited for handling very high-dimensional datasets. The proposed approach has a great potential as it can be generalized to a vast selection of topological learning tasks, such as non-stationary and hierarchical clustering; furthermore, it can also be integrated within more complex architectures such as autoencoders and generative adversarial networks.


title: Designing for Ambiguity: Visual Analytics in Avalanche Forecasting

abstract: Ambiguity, an information state where multiple interpretations are plausible, is a common challenge in visual analytics (VA) systems. We discuss lessons learned from a case study designing VA tools for Canadian avalanche forecasters. Avalanche forecasting is a complex and collaborative risk-based decision-making and analysis domain, demanding experience and knowledge-based interpretation of human reported and uncertain data. Differences in reporting practices, organizational contexts, and the particularities of individual reports result in a variety of potential interpretations that have to be negotiated as part of the forecaster's sensemaking processes. We describe our preliminary research using glyphs to support sensemaking under ambiguity. Ambiguity is not unique to public avalanche forecasting. There are many other domains where the way data are measured and reported vary in ways not accounted explicitly in the data and require analysts to negotiate multiple potential meanings. We argue that ambiguity is under-served by visualization research and would benefit from more explicit VA support.


title: Quantum finite-time thermodynamics: insight from a single qubit engine

abstract: Incorporating time into thermodynamics allows addressing the tradeoff between efficiency and power. A qubit engine serves as a toy model to study this tradeoff from first principles, based on the quantum theory of open systems. We study the quantum origin of irreversibility, originating from heat transport, quantum friction and thermalization in the presence of external driving. We construct various finite-time engine cycles based on the Otto and Carnot templates. Our analysis highlights the role of coherence and the quantum origin of entropy production.


title: On positive definite distributions

abstract: We provide necessary and sufficient conditions for a tempered distribution $F\in S'(R)$ to be positive definite. A generalized Cauchy transform $\widetilde{F}$ of $F$ is used as a numerical continuation of $F$ to the open upper and lower complex half-planes in $C$. In fact, our necessary and sufficient conditions for $F$ are determined completely by the properties of the restriction of $\widetilde{F}$ to the imaginary axis in $C$. The main result is given in terms of completely monotonic and absolutely monotonic functions.


title: Slow thermo-optomechanical pulsations in suspended 1D photonic crystal nanocavities

abstract: We investigate the nonlinear optical response of suspended 1D photonic crystal nanocavities fabricated on a silicon nitride chip. Strong thermo-optical nonlinearities are demonstrated for input powers as low as $2\,\mu\text{W}$ and a self-sustained pulsing regime is shown to emerge with periodicity of several seconds. As the input power and laser wavelength are varied the temporal patterns change in period, duty cycle and shape. This dynamics is attributed to the multiple timescale competition between thermo-optical and thermo-optomechanical effects and closely resembles the relaxation oscillations states found in mathematical models of neuronal activity. We introduce a simplified model that reproduces all the experimental observations and allows us to explain them in terms of the properties of a 1D critical manifold which governs the slow evolution of the system.


title: Convolution operators via orthogonal polynomials

abstract: In this paper we aim to generalize results obtained in the framework of fractional calculus by the way of reformulating them in terms of operator theory. In its own turn, the achieved generalization allows us to spread the obtained technique on practical problems that connected with various physical - chemical processes.


title: The 2ST-UNet for Pneumothorax Segmentation in Chest X-Rays using ResNet34 as a Backbone for U-Net

abstract: Pneumothorax, also called a collapsed lung, refers to the presence of the air in the pleural space between the lung and chest wall. It can be small (no need for treatment), or large and causes death if it is not identified and treated on time. It is easily seen and identified by experts using a chest X-ray. Although this method is mostly error-free, it is time-consuming and needs expert radiologists. Recently, Computer Vision has been providing great assistance in detecting and segmenting pneumothorax. In this paper, we propose a 2-Stage Training system (2ST-UNet) to segment images with pneumothorax. This system is built based on U-Net with Residual Networks (ResNet-34) backbone that is pre-trained on the ImageNet dataset. We start with training the network at a lower resolution before we load the trained model weights to retrain the network with a higher resolution. Moreover, we utilize different techniques including Stochastic Weight Averaging (SWA), data augmentation, and Test-Time Augmentation (TTA). We use the chest X-ray dataset that is provided by the 2019 SIIM-ACR Pneumothorax Segmentation Challenge, which contains 12,047 training images and 3,205 testing images. Our experiments show that 2-Stage Training leads to better and faster network convergence. Our method achieves 0.8356 mean Dice Similarity Coefficient (DSC) placing it among the top 9% of models with a rank of 124 out of 1,475.


title: Epidemic spreading and control strategies in spatial modular network

abstract: Epidemic spread on networks is one of the most studied dynamics in network science and has important implications in real epidemic scenarios. Nonetheless, the dynamics of real epidemics and how it is affected by the underline structure of the infection channels are still not fully understood. Here we apply the SIR model and study analytically and numerically the epidemic spread on a recently developed spatial modular model imitating the structure of cities in a country. The model assumes that inside a city the infection channels connect many different locations, while the infection channels between cities are less and usually directly connect only a few nearest neighbor cities in a two-dimensional plane. We find that the model experience two epidemic transitions. The first lower threshold represents a local epidemic spread within a city but not to the entire country and the second higher threshold represents a global epidemic in the entire country. Based on our analytical solution we proposed several control strategies and how to optimize them. We also show that while control strategies can successfully control the disease, early actions are essentials to prevent the disease global spread.


title: A Hierarchical Architecture for Human-Robot Cooperation Processes

abstract: In this paper we propose FlexHRC+, a hierarchical human-robot cooperation architecture designed to provide collaborative robots with an extended degree of autonomy when supporting human operators in high-variability shop-floor tasks. The architecture encompasses three levels, namely for perception, representation, and action. Building up on previous work, here we focus on (i) an in-the-loop decision making process for the operations of collaborative robots coping with the variability of actions carried out by human operators, and (ii) the representation level, integrating a hierarchical AND/OR graph whose online behaviour is formally specified using First Order Logic. The architecture is accompanied by experiments including collaborative furniture assembly and object positioning tasks.