title: On Learning Sets of Symmetric Elements

abstract: Learning from unordered sets is a fundamental learning setup, recently attracting increasing attention. Research in this area has focused on the case where elements of the set are represented by feature vectors, and far less emphasis has been given to the common case where set elements themselves adhere to their own symmetries. That case is relevant to numerous applications, from deblurring image bursts to multi-view 3D shape recognition and reconstruction. In this paper, we present a principled approach to learning sets of general symmetric elements. We first characterize the space of linear layers that are equivariant both to element reordering and to the inherent symmetries of elements, like translation in the case of images. We further show that networks that are composed of these layers, called Deep Sets for Symmetric Elements (DSS) layers, are universal approximators of both invariant and equivariant functions, and that these networks are strictly more expressive than Siamese networks. DSS layers are also straightforward to implement. Finally, we show that they improve over existing set-learning architectures in a series of experiments with images, graphs, and point-clouds.


title: Stabilization of dayside surface liquid water via tropopause cold trapping on arid slowly rotating tidally locked planets

abstract: Terrestrial-type exoplanets orbiting nearby red dwarf stars (M-dwarfs) are among the best targets for atmospheric characterization and biosignature searches in the near future. Recent evolutionary studies have suggested that terrestrial planets in the habitable zone of M-dwarfs are probably tidally locked and have limited surface water inventories as a result of their host stars' high early luminosities. Several previous climate simulations of such planets have indicated that their remaining water would be transported to the planet's permanent nightside and become trapped as surface ice, leaving the dayside devoid of water. Here we use a three-dimensional general circulation model with a water cycle and accurate radiative transfer scheme to investigate the surface water evolution on slowly rotating tidally locked terrestrial planets with limited surface water inventories. We show that there is a competition for water trapping between the nightside surface and the substellar tropopause in this type of climate system. Although under some conditions the surface water remains trapped on the nightside as an ice sheet, in other cases liquid water stabilizes in a circular area in the substellar region as a wetland. Planets with 1 bar N$_2$ and atmospheric CO$_2$ levels greater than 0.1 bar retain stable dayside liquid water, even with very small surface water inventories. Our results reveal the diversity of possible climate states on terrestrial-type exoplanets and highlight the importance of surface liquid water detection techniques for future characterization efforts.


title: A Hierarchical Framework for Ambient Signals based Load Modeling with Exploring the Hidden Quasi-convexity

abstract: Load modeling is an important issue in modeling a power system. The approach of ambient signals-based load modeling (ASLM) was recently proposed to better track the time-varying changes of load models. To improve computation efficiency and model structure complexity, a hierarchical framework for ASLM is proposed in this paper. Through this framework, the hidden quasi-convexity of load modeling problem is explored for the first time, and more complicated static load model structures can be applied. In the upper stage, the identification of dynamic load parameters is regarded as an optimization problem. In the lower stage, the optimal static load parameters are obtained through linear regression for a given group of dynamic load parameters. Afterwards, the regression residuals are regarded as the objective function (OF) of the upper stage optimization problem. The proposed method is validated by the case study results in Guangdong Power Grid. The results have shown that the OF is mostly quasi-convex after the transformation of induction motor model, which provides the basis for the application of gradient-based optimization algorithm. The case study results also validate that the proposed approach has better computation efficiency and model structure complexity compared with the previous ASLM approach.


title: A Hybrid Systems-based Hierarchical Control Architecture for Heterogeneous Field Robot Teams

abstract: Field robot systems have recently been applied to a wide range of research fields. Making such systems more automated, advanced, and activated requires cooperation among heterogeneous robots. Classic control theory is inefficient in managing large-scale complex dynamic systems. Therefore, the supervisory control theory based on discrete event system needs to be introduced to overcome this limitation. In this study, we propose a hybrid systems-based hierarchical control architecture through a supervisory control-based high-level controller and a traditional control-based low-level controller. The hybrid systems and its dynamics are modeled through a formal method called hybrid automata, and the behavior specifications expressing the control objectives for cooperation are designed. Additionally, a modular supervisor that is more scalable and maintainable than a centralized supervisory controller was synthesized. The proposed hybrid systems and hierarchical control architecture were implemented, validated, and then evaluated for performance through the physics-based simulator. Experimental results confirmed that the heterogeneous field robot team satisfied the given specifications and presented systematic results, validating the efficiency of the proposed control architecture.


title: Threshold detection scheme based on parametric distribution fitting for optical fiber channels

abstract: When data is transmitted by encoding it in the amplitude of the transmitted signal, such as in Amplitude Shift Keying, the receiver makes a decision on the transmitted data by observing the amplitude of the received signal. Depending on the level of the received signal, the receiver has to decode the received data, with minimum probability of error. For binary transmission, this is achieved by choosing a decision threshold. A threshold detection mechanism is evaluated in this paper, which uses parametric probability distribution fitting to the received signal. Based on our earlier work on visible light communication, the idea is extended to a fiber optic channel and it is found that in a fiber optic channel, the threshold value obtained by fitting a Rayleigh distribution to the received data results in error probability approaching zero.


title: A Testbed for Assessment of Fountain Codes for Wireless Channels

abstract: Luby Transform (LT) codes are a class of fountain codes that have proved to perform very efficiently over the erasure channel. These codes are rateless in the sense that an infinite stream of encoded symbols can be generated on the fly. Furthermore, every encoded symbol is information additive and can contribute in the decoding process. An important application of fountain codes which is being considered is the delivery of content over mobile wireless channels. Fountain codes have low computational complexity and fast encoding and decoding algorithms which makes them attractive for real time applications such as streaming video over wireless channels. L T codes are known to perform close to capacity on the binary erasure channel and it is envisaged that they would have good performance on other channels such as mobile communication channels and satellite links. This paper considers the development of a test-bed to study the performance of fountain codes over such channels. The performance of LT codes on the binary symmetric channel and Additive White Gaussian Noise (A WGN) Channel is presented as examples of the testbed usage.


title: Optimizing Black-box Metrics with Adaptive Surrogates

abstract: We address the problem of training models with black-box and hard-to-optimize metrics by expressing the metric as a monotonic function of a small number of easy-to-optimize surrogates. We pose the training problem as an optimization over a relaxed surrogate space, which we solve by estimating local gradients for the metric and performing inexact convex projections. We analyze gradient estimates based on finite differences and local linear interpolations, and show convergence of our approach under smoothness assumptions with respect to the surrogates. Experimental results on classification and ranking problems verify the proposal performs on par with methods that know the mathematical formulation, and adds notable value when the form of the metric is unknown.


title: Analytical view on non-invasive measurement of moving charge by position-based semiconductor qubit(s)

abstract: Detection of moving charge in free space is presented in the framework of single electron CMOS devices. It opens the perspective for construction of new type detectors for beam diagnostic in accelerators or for the detection of solar wind. General phenomenological model of noise acting on position based qubit implemented in semiconductor quantum dots is given in the framework of simplistic tight-binding model. Furthermore the effect of accelerator beam on the system of 2 electrostatically coupled qubits is formulated by tight-binding equations. The position based qubits of various topologies are described as quantum detectors of moving electric charge. Keywords: tight-binding model, position-based qubit, non-invasive quantum measurement, quantum decoherence of qubit system, accelerator beam diagnostics, electrostatic noise, phase rotating gate, roton position-based qubit


title: The near surface vertical atmospheric electric field abnormality could be as a promising imminent precursor of major earthquakes

abstract: A promising short term precursor of major earthquakes (EQ) is very crucial in saving people and preventing huge losses. Ez, atmospheric electrostatic field vertical component, under fair air conditions, is generally oriented downwards (positive). Anomalous negative Ez signals could be used as an indicator of a great number of radioactive gases which are released from great number of rock clefts just before major earthquakes. Enhanced emission of radon radioactive decay will produce an anomalously large number of ion pairs. The positive particles will be transported downward by the fair weather electrostatic field and pile up near the surface. Finally, obviously and abnormally, an oriented upward atmospheric electric field Ez near the ground could be formed. Therefore, monitoring this Ez may be applied effectively in earthquake warning.


title: FrameAxis: Characterizing Microframe Bias and Intensity with Word Embedding

abstract: Framing is a process of emphasizing a certain aspect of an issue over the others, nudging readers or listeners towards different positions on the issue even without making a biased argument. {Here, we propose FrameAxis, a method for characterizing documents by identifying the most relevant semantic axes ("microframes") that are overrepresented in the text using word embedding. Our unsupervised approach can be readily applied to large datasets because it does not require manual annotations. It can also provide nuanced insights by considering a rich set of semantic axes. FrameAxis is designed to quantitatively tease out two important dimensions of how microframes are used in the text. \textit{Microframe bias} captures how biased the text is on a certain microframe, and \textit{microframe intensity} shows how actively a certain microframe is used. Together, they offer a detailed characterization of the text. We demonstrate that microframes with the highest bias and intensity well align with sentiment, topic, and partisan spectrum by applying FrameAxis to multiple datasets from restaurant reviews to political news.} The existing domain knowledge can be incorporated into FrameAxis {by using custom microframes and by using FrameAxis as an iterative exploratory analysis instrument.} Additionally, we propose methods for explaining the results of FrameAxis at the level of individual words and documents. Our method may accelerate scalable and sophisticated computational analyses of framing across disciplines.


title: A Bayesian Feature Allocation Model for Identification of Cell Subpopulations Using Cytometry Data

abstract: A Bayesian feature allocation model (FAM) is presented for identifying cell subpopulations based on multiple samples of cell surface or intracellular marker expression level data obtained by cytometry by time of flight (CyTOF). Cell subpopulations are characterized by differences in expression patterns of makers, and individual cells are clustered into the subpopulations based on the patterns of their observed expression levels. A finite Indian buffet process is used to model subpopulations as latent features, and a model-based method based on these latent feature subpopulations is used to construct cell clusters within each sample. Non-ignorable missing data due to technical artifacts in mass cytometry instruments are accounted for by defining a static missing data mechanism. In contrast to conventional cell clustering methods based on observed marker expression levels that are applied separately to different samples, the FAM based method can be applied simultaneously to multiple samples, and can identify important cell subpopulations likely to be missed by conventional clustering. The proposed FAM based method is applied to jointly analyze three datasets, generated by CyTOF, to study natural killer (NK) cells. Because the subpopulations identified by the FAM may define novel NK cell subsets, this statistical analysis may provide useful information about the biology of NK cells and their potential role in cancer immunotherapy which may lead, in turn, to development of improved cellular therapies. Simulation studies of the proposed method's behavior under two cases of known subpopulations also are presented, followed by analysis of the CyTOF NK cell surface marker data.


title: Passive spirals and shock influenced star formation in the merging cluster A3376

abstract: We present a detailed analysis of star formation properties of galaxies in a nearby ($z\sim0.046$) young ($\sim$0.6 Gyr) post-merger cluster system A3376, with a moderate shock front ( $v_{s}\sim$1630 km/s) observed as symmetric radio relics. Exploiting the spectroscopic data from the wide-field OmegaWINGS survey and the associated photometric information, our investigations reveal the plausible effects of the dynamic post-merger environment differing from the putative pre-merger cluster environment. The remnants of the pre-merger relaxed cluster environment are realised through the existence of passive spiral galaxies located in the central regions of the cluster between the two BCGs. We discover A3376 to contain a population of massive $(M_{*}/M_{\odot})>10$) blue regular star-forming spirals in regions of maximum merger shock influence but exhibiting star formation rates similar to those in relaxed clusters at similar epoch. We further discover low-mass (Log $(M_{*}/M_{\odot})\leq 10$) late-type blue PSBs which could either be formed as a result of rapid quenching of low-mass spirals following the shock-induced star formation or due to the intense surge in the ICM pressures at the beginning of the merger. With the possibility of the merger shock affecting high- and low-mass spirals differently, our results bridge the seemingly contradictory results observed in known merging cluster systems so far and establish that different environmental effects are at play right from pre- to post-merger stage.


title: Programmable Metasurface Based Multicast Systems: Design and Analysis

abstract: This paper considers a multi-antenna multicast system with programmable metasurface (PMS) based transmitter. Taking into account of the finite-resolution phase shifts of PMSs, a novel beam training approach is proposed, which achieves comparable performance as the exhaustive beam searching method but with much lower time overhead. Then, a closed-form expression for the achievable multicast rate is presented, which is valid for arbitrary system configurations. In addition, for certain asymptotic scenario, simple approximated expressions for the multicase rate are derived. Closed-form solutions are obtained for the optimal power allocation scheme, and it is shown that equal power allocation is optimal when the pilot power or the number of reflecting elements is sufficiently large. However, it is desirable to allocate more power to weaker users when there are a large number of RF chains. The analytical findings indicate that, with large pilot power, the multicast rate is determined by the weakest user. Also, increasing the number of radio frequency (RF) chains or reflecting elements can significantly improve the multicast rate, and as the phase shift number becomes larger, the multicast rate improves first and gradually converges to a limit. Moreover, increasing the number of users would significantly degrade the multicast rate, but this rate loss can be compensated by implementing a large number of reflecting elements.


title: Collapsed Ricci limit spaces as non-collapsed $RCD$ spaces

abstract: In this short note we provide several conjectures on the regularity of measured Gromov-Hausdorff limit spaces of Riemannian manifolds with Ricci curvature bounded below, from the point of view of the synthetic treatment of lower bounds on Ricci curvature for metric measure spaces.


title: Ionic liquids under confinement: From systematic variations of the ion and pore sizes towards an understanding of structure and dynamics in complex porous carbons

abstract: We use molecular simulations of an ionic liquid in contact with a range of nanoporous carbons to investigate correlations between ion size, pore size, pore topology and properties of the adsorbed ions. We show that diffusion coefficients increase with the anion size and, surprisingly, with the quantity of adsorbed ions. Both findings are interpreted in terms of confinement: when the in-pore population increases additional ions are located in less confined sites and diffuse faster. Simulations in which the pores are enlarged while keeping the topology constant comfort these observations. The interpretation of properties across structures is more challenging. An interesting point is that smaller pores do not necessarily lead to larger confinement. In this work, the highest degrees of confinements are observed for intermediate pore sizes. We also show a correlation between the quantity of adsorbed ions and the ratio between the maximum pore diameter and the pore limiting diameter.


title: Balancing Cost and Benefit with Tied-Multi Transformers

abstract: We propose and evaluate a novel procedure for training multiple Transformers with tied parameters which compresses multiple models into one enabling the dynamic choice of the number of encoder and decoder layers during decoding. In sequence-to-sequence modeling, typically, the output of the last layer of the N-layer encoder is fed to the M-layer decoder, and the output of the last decoder layer is used to compute loss. Instead, our method computes a single loss consisting of NxM losses, where each loss is computed from the output of one of the M decoder layers connected to one of the N encoder layers. Such a model subsumes NxM models with different number of encoder and decoder layers, and can be used for decoding with fewer than the maximum number of encoder and decoder layers. We then propose a mechanism to choose a priori the number of encoder and decoder layers for faster decoding, and also explore recurrent stacking of layers and knowledge distillation for model compression. We present a cost-benefit analysis of applying the proposed approaches for neural machine translation and show that they reduce decoding costs while preserving translation quality.


title: Integral representation for Jacobi polynomials and application to heat kernel on quantized sphere

abstract: We derive a novel integral representations of Jacobi polynomials in terms of the Gauss hypergeometric function. Such representation is then used to give the explicit integral representation for the Heat kernel on the quantized Riemann sphere.


title: Diversity sampling is an implicit regularization for kernel methods

abstract: Kernel methods have achieved very good performance on large scale regression and classification problems, by using the Nystr\"om method and preconditioning techniques. The Nystr\"om approximation -- based on a subset of landmarks -- gives a low rank approximation of the kernel matrix, and is known to provide a form of implicit regularization. We further elaborate on the impact of sampling diverse landmarks for constructing the Nystr\"om approximation in supervised as well as unsupervised kernel methods. By using Determinantal Point Processes for sampling, we obtain additional theoretical results concerning the interplay between diversity and regularization. Empirically, we demonstrate the advantages of training kernel methods based on subsets made of diverse points. In particular, if the dataset has a dense bulk and a sparser tail, we show that Nystr\"om kernel regression with diverse landmarks increases the accuracy of the regression in sparser regions of the dataset, with respect to a uniform landmark sampling. A greedy heuristic is also proposed to select diverse samples of significant size within large datasets when exact DPP sampling is not practically feasible.


title: A minimax approach for inverse variational inequalities

abstract: In this work, we characterize the existence of solution for a certain variational inequality by means of a classical minimax theorem. In addition, we propose a numerical algorithm for the solution of an inverse problem associated with a variational inequality. To this end we state a collage-type result in this variational framework.


title: Diffusion of a particle in the Gaussian random energy landscape: Einstein relation and analytical properties of average velocity and diffusivity as functions of driving force

abstract: We demonstrate that the Einstein relation for the diffusion of a particle in the random energy landscape with the Gaussian density of states is an exclusive 1D property and does not hold in higher dimensions. We also consider the analytical properties of the particle velocity and diffusivity for the limit of weak driving force and establish connection between these properties and dimensionality and spatial correlation of the random energy landscape.


title: Boosting Adversarial Training with Hypersphere Embedding

abstract: Adversarial training (AT) is one of the most effective defenses against adversarial attacks for deep learning models. In this work, we advocate incorporating the hypersphere embedding (HE) mechanism into the AT procedure by regularizing the features onto compact manifolds, which constitutes a lightweight yet effective module to blend in the strength of representation learning. Our extensive analyses reveal that AT and HE are well coupled to benefit the robustness of the adversarially trained models from several aspects. We validate the effectiveness and adaptability of HE by embedding it into the popular AT frameworks including PGD-AT, ALP, and TRADES, as well as the FreeAT and FastAT strategies. In the experiments, we evaluate our methods under a wide range of adversarial attacks on the CIFAR-10 and ImageNet datasets, which verifies that integrating HE can consistently enhance the model robustness for each AT framework with little extra computation.


title: A Composite Order Generalization of Modular Moonshine

abstract: We introduce a generalization of Brauer character to allow arbitrary finite length modules over discrete valuation rings. We show that the generalized super Brauer character of Tate cohomology is a linear combination of trace functions. Using this result, we find a counterexample to a conjecture of Borcherds about vanishing of Tate cohomology for Fricke elements of the Monster.


title: The Benefits of Pairwise Discriminators for Adversarial Training

abstract: Adversarial training methods typically align distributions by solving two-player games. However, in most current formulations, even if the generator aligns perfectly with data, a sub-optimal discriminator can still drive the two apart. Absent additional regularization, the instability can manifest itself as a never-ending game. In this paper, we introduce a family of objectives by leveraging pairwise discriminators, and show that only the generator needs to converge. The alignment, if achieved, would be preserved with any discriminator. We provide sufficient conditions for local convergence; characterize the capacity balance that should guide the discriminator and generator choices; and construct examples of minimally sufficient discriminators. Empirically, we illustrate the theory and the effectiveness of our approach on synthetic examples. Moreover, we show that practical methods derived from our approach can better generate higher-resolution images.


title: Bimolecular Recombination of Charge Carriers in Polar Amorphous Organic Semiconductors: Effect of Spatial Correlation of the Random Energy Landscape

abstract: We present a simple model of the bimolecular charge carrier recombination in polar amorphous organic semiconductors where the dominant part of the energetic disorder is provided by permanent dipoles and show that the recombination rate constant could be much smaller than the corresponding Langevin rate constant. The reason for the strong decrease of the rate constant is the long range spatial correlation of the random energy landscape in amorphous dipolar materials, without spatial correlation even strong disorder does not modify the Langevin rate constant. Our study shows that the significant suppression of the bimolecular recombination could take place in homogeneous amorphous organic semiconductors and does not need large scale inhomogeneity of the material.


title: Focus on Semantic Consistency for Cross-domain Crowd Understanding

abstract: For pixel-level crowd understanding, it is time-consuming and laborious in data collection and annotation. Some domain adaptation algorithms try to liberate it by training models with synthetic data, and the results in some recent works have proved the feasibility. However, we found that a mass of estimation errors in the background areas impede the performance of the existing methods. In this paper, we propose a domain adaptation method to eliminate it. According to the semantic consistency, a similar distribution in deep layer's features of the synthetic and real-world crowd area, we first introduce a semantic extractor to effectively distinguish crowd and background in high-level semantic information. Besides, to further enhance the adapted model, we adopt adversarial learning to align features in the semantic space. Experiments on three representative real datasets show that the proposed domain adaptation scheme achieves the state-of-the-art for cross-domain counting problems.


title: Anticorrelated temperature-density profiles in the quiet solar corona and coronal mass ejections: Approach based on the spin-type Hamiltonians

abstract: The problem of solar corona heating remains one of key puzzles in astrophysics for a few decades; but none of the proposed mechanisms can give a definitive answer to this question. As a result, the novel scenarios are still suggested. Here, we perform a critical consideration of the recently-proposed mechanism for the formation of anticorrelated temperature and density profiles due to specific features of relaxation in the strongly non-equilibrium plasmas described by the so-called spin-type Hamiltonians (L.Casetti & S.Gupta. Eur. Phys. J. B 87, 91, 2014; T.N.Teles et al. Phys. Rev. E 92, 020101(R), 2015). We employ the universal property of these systems to produce the long-lived anticorrelated temperature-density distributions and analyze their most important qualitative features in the context of coronal plasmas. As follows from our consideration, such anticorrelated profiles can be hardly relevant to explanation of the temperature distribution in the quiet solar corona. However, they might be interesting for the interpretation of the large-scale inhomogeneity in the coronal mass ejections and the resulting solar wind.


title: Semiglobal optimal feedback stabilization of autonomous systems via deep neural network approximation

abstract: A learning approach for optimal feedback gains for nonlinear continuous time control systems is proposed and analysed. The goal is to establish a rigorous framework for computing approximating optimal feedback gains using neural networks. The approach rests on two main ingredients. First, an optimal control formulation involving an ensemble of trajectories with 'control' variables given by the feedback gain functions. Second, an approximation to the feedback functions via realizations of neural networks. Based on universal approximation properties we prove the existence and convergence of optimal stabilizing neural network feedback controllers.


title: Intermediate problems in modular circuits satisfiability

abstract: In arXiv:1710.08163 a generalization of Boolean circuits to arbitrary finite algebras had been introduced and applied to sketch P versus NP-complete borderline for circuits satisfiability over algebras from congruence modular varieties. However the problem for nilpotent (which had not been shown to be NP-hard) but not supernilpotent algebras (which had been shown to be polynomial time) remained open. In this paper we provide a broad class of examples, lying in this grey area, and show that, under the Exponential Time Hypothesis and Strong Exponential Size Hypothesis (saying that Boolean circuits need exponentially many modular counting gates to produce boolean conjunctions of any arity), satisfiability over these algebras have intermediate complexity between $\Omega(2^{c\log^{h-1} n})$ and $O(2^{c\log^h n})$, where $h$ measures how much a nilpotent algebra fails to be supernilpotent. We also sketch how these examples could be used as paradigms to fill the nilpotent versus supernilpotent gap in general. Our examples are striking in view of the natural strong connections between circuits satisfiability and Constraint Satisfaction Problem for which the dichotomy had been shown by Bulatov and Zhuk.


title: A Comprehensive Scoping Review of Bayesian Networks in Healthcare: Past, Present and Future

abstract: No comprehensive review of Bayesian networks (BNs) in healthcare has been published in the past, making it difficult to organize the research contributions in the present and identify challenges and neglected areas that need to be addressed in the future. This unique and novel scoping review of BNs in healthcare provides an analytical framework for comprehensively characterizing the domain and its current state. The review shows that: (1) BNs in healthcare are not used to their full potential; (2) a generic BN development process is lacking; (3) limitations exists in the way BNs in healthcare are presented in the literature, which impacts understanding, consensus towards systematic methodologies, practice and adoption of BNs; and (4) a gap exists between having an accurate BN and a useful BN that impacts clinical practice. This review empowers researchers and clinicians with an analytical framework and findings that will enable understanding of the need to address the problems of restricted aims of BNs, ad hoc BN development methods, and the lack of BN adoption in practice. To map the way forward, the paper proposes future research directions and makes recommendations regarding BN development methods and adoption in practice.


title: Skew-gentle algebras and orbifolds: Oberwolfach talk, January 2020

abstract: This is an extended abstract of my talk at the Oberwolfach-Workshop "Representation Theory of Finite-Dimensional Algebras" (19-24 January 2020). It introduces a geometric orbifold model for the bounded derived category of a skew-gentle algebra. This is joint work with Daniel Labardini-Fragoso and Yadira Valdivieso-D\'iaz.


title: FastGCN+ARSRGemb: a novel framework for object recognition

abstract: In recent years research has been producing an important effort to encode the digital image content. Most of the adopted paradigms only focus on local features and lack in information about location and relationships between them. To fill this gap, we propose a framework built on three cornerstones. First, ARSRG (Attributed Relational SIFT (Scale-Invariant Feature Transform) regions graph), for image representation, is adopted. Second, a graph embedding model, with purpose to work in a simplified vector space, is applied. Finally, Fast Graph Convolutional Networks perform classification phase on a graph based dataset representation. The framework is evaluated on state of art object recognition datasets through a wide experimental phase and is compared with well-known competitors.


title: On polynomial recursive sequences

abstract: We study the expressive power of polynomial recursive sequences, a nonlinear extension of the well-known class of linear recursive sequences. These sequences arise naturally in the study of nonlinear extensions of weighted automata, where (non)expressiveness results translate to class separations. A typical example of a polynomial recursive sequence is b_n=n!. Our main result is that the sequence u_n=n^n is not polynomial recursive.


title: Optical Magnetometer: Quantum Resonances at pumping repetition rate of 1/n of the Larmor frequency

abstract: The response of a SERF atomic magnetometer to a repetitive short-pulsed pump was investigated. Quantum sub-resonances at a repetition rate of $1/n$ of the Larmor frequency of the magnetic field inside the shield are experimentally observed and theoretically explained. This is a type of synchronization phenomenon. Investigations in single alkali atoms cells as well as mixed alkali atoms of K and Rb are presented. In the later, one species is pumped while the probe is on the other specie polarized by spin exchange. The effect of spin destruction, spin exchange and collisions are studied in order to account for the width of the resonances. Quantum calculations of a three levels $\Lambda$ model for this phenomenon exhibit a dip at the resonance frequency in the absorption spectrum for both cases of pulsed and CW pump modes and an evidence for EIT.


title: Convolutional Approximate Message-Passing

abstract: This letter proposes a novel message-passing algorithm for signal recovery in compressed sensing. The proposed algorithm solves the disadvantages of approximate message-passing (AMP) and orthogonal/vector AMP, and realizes their advantages. AMP converges only in a limited class of sensing matrices while it has low complexity. Orthogonal/vector AMP requires a high-complexity matrix inversion while it is applicable for a wide class of sensing matrices. The key feature of the proposed algorithm is the so-called Onsager correction via a convolution of messages in all preceding iterations while the conventional message-passing algorithms have correction terms that depend only on messages in the latest iteration. Thus, the proposed algorithm is called convolutional AMP (CAMP). Ill-conditioned sensing matrices are simulated as an example in which the convergence of AMP is not guaranteed. Numerical simulations show that CAMP can improve the convergence property of AMP and achieve high performance comparable to orthogonal/vector AMP in spite of low complexity comparable to AMP.


title: Equivalence Testing of Weighted Automata over Partially Commutative Monoids

abstract: We study \emph{multiplicity equivalence} testing of automata over partially commutative monoids (pc monoids) and show efficient algorithms in special cases, exploiting the structure of the underlying non-commutation graph of the monoid. Specifically, if the clique cover number of the non-commutation graph (the minimum number of cliques covering the graph) of the pc monoid is a constant, we obtain a deterministic quasi-polynomial time algorithm. As a consequence, we also obtain the first deterministic quasi-polynomial time algorithms for multiplicity equivalence testing of $k$-tape automata and for equivalence testing of deterministic $k$-tape automata for constant $k$. Prior to this, a randomized polynomial-time algorithm for the above problems was shown by Worrell [ICALP 2013]. We also consider pc monoids for which the non-commutation graphs have cover consisting of at most $k$ cliques and star graphs for any constant $k$. We obtain randomized polynomial-time algorithm for multiplicity equivalence testing of automata over such monoids.


title: Even faster algorithms for CSAT over~supernilpotent algebras

abstract: In this paper two algorithms solving circuit satisfiability problem over supernilpotent algebras are presented. The first one is deterministic and is faster than fastest previous algorithm presented by Aichinger. The second one is probabilistic with linear time complexity. Application of the former algorithm to finite groups provides time complexity that is usually lower than in previously best (given by F\"oldv\'ari) and application of the latter leads to corollary, that circuit satisfiability problem for group G is either tractable in probabilistic linear time if G is nilpotent or is NP-complete if G fails to be nilpotent. The results are obtained, by translating equations between polynomials over supernilpotent algebras to bounded degree polynomial equations over finite fields.


title: Full Stability for Variational Nash Equilibriums of Parametric Optimal Control Problems of PDEs

abstract: This paper investigates full stability properties for \emph{variational Nash equilibriums} of a system of parametric nonconvex optimal control problems governed by semilinear elliptic partial differential equations. We first obtain some new results on the existence of variational Nash equilibriums for the system of original/parametric nonconvex optimal control problems. Then we establish explicit characterizations of the Lipschitzian and H\"olderian full stability of variational Nash equilibriums under perturbations. These results deduce the equivalence between variational Nash equilibriums and local Nash equilibriums in the classical sense.


title: Screening corrections to Electron Capture Rates and resulting constraints on Primordial Magnetic Fields

abstract: We explore screening effects arising from a relativistic magnetized plasma with applications to Big Bang nucleosynthesis (BBN). %Specifically, due to their small magnetic moments, energies of electrons and positrons can be easily quantized via Landau quantization. The screening potential which depends on the thermodynamics of charged particles in the plasma is altered by the magnetic field. We focus on the impact of screening on the electron capture interaction. Taking into account the correction in BBN arising from a homogeneous primordial magnetic field (PMF), we constrain the epoch at which the PMF was generated and its strength during BBN. Considering such screening corrections to the electron capture rates and using up-to-date observations of primordial elemental abundances, we also discuss the possibility of solving the problem of under-estimation of the deuterium abundance. We find for certain values of the PMF strength predicted D and $^4$He abundances are both consistent with the observational constraints.


title: Multi-graded Galilean conformal algebras

abstract: Galilean conformal algebras can be constructed by contracting a finite number of conformal algebras, and enjoy truncated $\mathbb{Z}$-graded structures. Here, we present a generalisation of the Galilean contraction procedure, giving rise to Galilean conformal algebras with truncated $\mathbb{Z}^{\otimes\sigma}$-gradings, $\sigma\in\mathbb{N}$. Detailed examples of these multi-graded Galilean algebras are provided, including extensions of the Galilean Virasoro and affine Kac-Moody algebras. We also derive the associated Sugawara constructions and discuss how these examples relate to multivariable extensions of Takiff algebras. We likewise apply our generalised contraction prescription to tensor products of $W_3$ algebras and obtain new families of higher-order Galilean $W_3$ algebras.


title: On Lambda Function and a Quantification of Torhorst Theorem

abstract: To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if $\Lambda_K(x)\equiv0$. We establish basic methods of determining the lambda function $\lambda_K$ for specific compacta $K\subset\hat{\mathbb{C}}$, including a gluing lemma for lambda functions and some inequalities. One of these inequalities comes from an interplay between the topological difficulty of a planar compactum $K$ and that of a sub-compactum $L\subset K$, lying on the boundary of a component of $\hat{\mathbb{C}}\setminus K$. It generalizes and quantifies the result of Torhorst Theorem, a fundamental result from plane topology. We also find three conditions under which this inequality is actually an equality. Under one of these conditions, this equality provides a quantitative version for Whyburn's Theorem, which is a partial converse to Torhorst Theorem.


title: Study of the spin-pump-induced inverse spin-Hall effect in Bi doped n-type Si

abstract: An inverse spin Hall effect (ISHE) in n-type silicon was observed experimentally when conduction electrons were scattered on the spin-orbit potential of bismuth. The spin current in the silicon layer was generated by excitation of the magnetization precession during ferromagnetic resonance in a thin permalloy (Py) layer deposited on a Si layer doped by phosphor and bismuth. From the angular dependences of the dc voltage for different Py/n-Si:Bi structures aligned along the [011] or [100] crystal axes, we were able to distinguish the planar Hall effect (PHE) and ISHE contributions. The ISHE dc voltage signal was proportional to sin{\theta}*sin2{\theta} product for the structure aligned to the [011] crystal axis and to sin{\theta}*cos2{\theta} for the [100] direction. In addition, the PHE dc voltage was observed for the angles corresponded to the sin2{\theta} dependence. It means that for silicon as a many-valley semiconductor, the scattering of spins due to the spin-orbit potential induced by shallow donor in n-type material is dependent on the orientation of the valley axes relative to the direction of the magnetic field.


title: The ALMA Spectroscopic Survey in the HUDF: The Cosmic Dust and Gas Mass Densities in Galaxies up to $z\sim3$

abstract: Using the deepest 1.2 mm continuum map to date in the Hubble Ultra Deep Field obtained as part of the ALMA Spectroscopic Survey (ASPECS) large program, we measure the cosmic density of dust and implied gas (H$_{2}+$H I) mass in galaxies as a function of look-back time. We do so by stacking the contribution from all $H$-band selected galaxies above a given stellar mass in distinct redshift bins, $\rho_{\rm dust}(M_\ast>M,z)$ and $\rho_{\rm gas}(M_\ast>M,z)$. At all redshifts, $\rho_{\rm dust}(M_\ast>M,z)$ and $\rho_{\rm gas}(M_\ast>M,z)$ grow rapidly as $M$ decreases down to $10^{10}\,M_\odot$, but this growth slows down towards lower stellar masses. This flattening implies that at our stellar mass-completeness limits ($10^8\,M_\odot$ and $10^{8.9}\,M_\odot$ at $z\sim0.4$ and $z\sim3$), both quantities converge towards the total cosmic dust and gas mass densities in galaxies. The cosmic dust and gas mass densities increase at early cosmic time, peak around $z\sim2$, and decrease by a factor $\sim4$ and 7, compared to the density of dust and molecular gas in the local universe, respectively. The contribution of quiescent galaxies -- i.e., with little on-going star-formation -- to the cosmic dust and gas mass densities is minor ($\lesssim10\%$). The redshift evolution of the cosmic gas mass density resembles that of the star-formation rate density, as previously found by CO-based measurements. This confirms that galaxies have relatively constant star-formation efficiencies (within a factor $\sim2$) across cosmic time. Our results also imply that by $z\sim0$, a large fraction ($\sim90\%$) of dust formed in galaxies across cosmic time has been destroyed or ejected to the intergalactic medium.


title: A Novel Framework for Selection of GANs for an Application

abstract: Generative Adversarial Network (GAN) is a current focal point of research. The body of knowledge is fragmented, leading to a trial-error method while selecting an appropriate GAN for a given scenario. We provide a comprehensive summary of the evolution of GANs starting from its inception addressing issues like mode collapse, vanishing gradient, unstable training and non-convergence. We also provide a comparison of various GANs from the application point of view, its behaviour and implementation details. We propose a novel framework to identify candidate GANs for a specific use case based on architecture, loss, regularization and divergence. We also discuss application of the framework using an example, and we demonstrate a significant reduction in search space. This efficient way to determine potential GANs lowers unit economics of AI development for organizations.


title: A mass-spring fluid-structure interaction solver: Application to flexible revolving wings

abstract: The secret to the spectacular flight capabilities of flapping insects lies in their wings, which are often approximated as flat, rigid plates. Real wings are however delicate structures, composed of veins and membranes, and can undergo significant deformation. In the present work, we present detailed numerical simulations of such deformable wings. Our results are obtained with a fluid-structure interaction solver, coupling a mass-spring model for the flexible wing with a pseudo-spectral code solving the incompressible Navier-Stokes equations. We impose the no-slip boundary condition through the volume penalization method; the time-dependent complex geometry is then completely described by a mask function. This allows solving the governing equations of the fluid on a regular Cartesian grid. Our implementation for massively parallel computers allows us to perform high resolution computations with up to 500 million grid points. The mass-spring model uses a functional approach, thus modeling the different mechanical behaviors of the veins and the membranes of the wing. We perform a series of numerical simulations of a flexible revolving bumblebee wing at a Reynolds number Re = 1800. In order to assess the influence of wing flexibility on the aerodynamics, we vary the elasticity parameters and study rigid, flexible and highly flexible wing models. Code validation is carried out by computing classical benchmarks.


title: Embedding Graph Auto-Encoder for Graph Clustering

abstract: Graph clustering, aiming to partition nodes of a graph into various groups via an unsupervised approach, is an attractive topic in recent years. To improve the representative ability, several graph auto-encoder (GAE) models, which are based on semi-supervised graph convolution networks (GCN), have been developed and they achieve good results compared with traditional clustering methods. However, all existing methods either fail to utilize the orthogonal property of the representations generated by GAE, or separate the clustering and the learning of neural networks. We first prove that the relaxed k-means will obtain an optimal partition in the inner-products used space. Driven by theoretical analysis about relaxed k-means, we design a specific GAE-based model for graph clustering to be consistent with the theory, namely Embedding Graph Auto-Encoder (EGAE). Meanwhile, the learned representations are well explainable such that the representations can be also used for other tasks. To further induce the neural network to produce deep features that are appropriate for the specific clustering model, the relaxed k-means and GAE are learned simultaneously. Therefore, the relaxed k-means can be equivalently regarded as a decoder that attempts to learn representations that can be linearly constructed by some centroid vectors. Accordingly, EGAE consists of one encoder and dual decoders. Extensive experiments are conducted to prove the superiority of EGAE and the corresponding theoretical analyses.


title: On continuous extension of conformal homeomorphisms of infinitely connected planar domains

abstract: We consider conformal homeomorphisms $\varphi$ of generalized Jordan domains $U$ onto planar domains $\Omega$ %, possibly {\bf infinitely connected}, that satisfy both of the next two conditions: (1) at most countably many boundary components of $\Omega$ are non-degenerate and their diameters have a finite sum; (2) either the degenerate boundary components of $\Omega$ or those of $U$ form a set of sigma-finite linear measure. We prove that $\varphi$ continuously extends to the closure of $U$ if and only if every boundary component of $\Omega$ is locally connected. This generalizes the Carath\'eodory's Continuity Theorem and leads us to a new generalization of the well known Osgood-Taylor-Carath\'eodory Theorem. There are three issues that are noteworthy. Firstly, none of the above conditions (1) and (2) can be removed. Secondly, %no further requirements concerning $U$ or $\Omega$ are needed. So our results remain valid for non-cofat domains and do not follow from the extension results, of a similar nature, that are obtained in very recent studies on the conformal rigidity of circle domains. Finally, when $\varphi$ does extend continuously to the closure of $U$, the boundary of $\Omega$ is a Peano compactum. Therefore, we also show that the following properties are equivalent for any planar domain $\Omega$: (1) The boundary of $\Omega$ is a Peano compactum. (2) $\Omega$ has Property S. (3) Every point on the boundary of $\Omega$ is locally accessible. (4) Every point on the boundary of $\Omega$ is locally sequentially accessible. (5) $\Omega$ is finitely connected at the boundary. (6) The completion of $\Omega$ under the Mazurkiewicz distance is compact. \noindent This provides new generalizations of earlier partial results that are restricted to special cases, when additional assumptions on the topology of $U$ or its boundary are required.


title: Uncovering Coresets for Classification With Multi-Objective Evolutionary Algorithms

abstract: A coreset is a subset of the training set, using which a machine learning algorithm obtains performances similar to what it would deliver if trained over the whole original data. Coreset discovery is an active and open line of research as it allows improving training speed for the algorithms and may help human understanding the results. Building on previous works, a novel approach is presented: candidate corsets are iteratively optimized, adding and removing samples. As there is an obvious trade-off between limiting training size and quality of the results, a multi-objective evolutionary algorithm is used to minimize simultaneously the number of points in the set and the classification error. Experimental results on non-trivial benchmarks show that the proposed approach is able to deliver results that allow a classifier to obtain lower error and better ability of generalizing on unseen data than state-of-the-art coreset discovery techniques.


title: From Stateless to Stateful Priorities: Technical Report

abstract: We present the notion of stateful priorities for imposing precise restrictions on system actions, in order to meet safety constraints. By using stateful priorities we are able to exclusively restrict erroneous system behavior as specified by the constraint, whereas safe system behavior remains unrestricted. Given a system modeled as a network of discrete automata and an error constraint, we present algorithms which use those inputs to synthesize stateful priorities. We present as well a network transformation which uses synthesized priorities for blocking all system actions leading to the input error. Our experiments with three real-world examples demonstrate the applicability of our approach.


title: Quasiparticle Interference Evidence of the Topological Fermi Arc States in Chiral Fermionic Semimetal CoSi

abstract: Chiral fermions in solid state feature "Fermi arc" states, connecting the surface projections of the bulk chiral nodes. The surface Fermi arc is a signature of nontrivial bulk topology. Unconventional chiral fermions with an extensive Fermi arc traversing the whole Brillouin zone have been theoretically proposed in CoSi. Here, we use scanning tunneling microscopy / spectroscopy to investigate quasiparticle interference at various terminations of a CoSi single crystal. The observed surface states exhibit chiral fermion-originated characteristics. These reside on (001) and (011) but not (111) surfaces with pi-rotation symmetry, spiral with energy, and disperse in a wide energy range from ~-200 to ~+400 mV. Owing to the high-energy and high-space resolution, a spin-orbit coupling-induced splitting of up to ~80 mV is identified. Our observations are corroborated by density functional theory and provide strong evidence that CoSi hosts the unconventional chiral fermions and the extensive Fermi arc states.


title: Adaptive Graph Auto-Encoder for General Data Clustering

abstract: Graph-based clustering plays an important role in the clustering area. Recent studies about graph convolution neural networks have achieved impressive success on graph type data. However, in general clustering tasks, the graph structure of data does not exist such that the strategy to construct a graph is crucial for performance. Therefore, how to extend graph convolution networks into general clustering tasks is an attractive problem. In this paper, we propose a graph auto-encoder for general data clustering, which constructs the graph adaptively according to the generative perspective of graphs. The adaptive process is designed to induce the model to exploit the high-level information behind data and utilize the non-Euclidean structure sufficiently. We further design a novel mechanism with rigorous analysis to avoid the collapse caused by the adaptive construction. Via combining the generative model for network embedding and graph-based clustering, a graph auto-encoder with a novel decoder is developed such that it performs well in weighted graph used scenarios. Extensive experiments prove the superiority of our model.


title: A mean-field model of Integrate-and-Fire neurons: non-linear stability of the stationary solutions

abstract: We investigate a stochastic network composed of Integrate-and-Fire spiking neurons, focusing on its mean-field asymptotics. We consider an invariant probability measure of the McKean-Vlasov equation and establish an explicit sufficient condition to ensure the local stability of this invariant distribution. Furthermore, we provide a proof of a conjecture originally proposed by J. Touboul and P. Robert regarding the bistable nature of a specific instance of this neuronal model.


title: The entanglement properties of holographic QCD model with a critical end point

abstract: We investigate different entanglement properties of a holographic QCD (hQCD) model with a critical end point at finite baryon density. Firstly we consider the holographic entanglement entropy (HEE) of this hQCD model in a spherical shaped region and a strip shaped region, respectively, and find that the HEE of this hQCD model in both regions can reflect QCD phase transition. What is more is that although the area formulas and minimal area equations of the two regions are quite different, the HEE have very similar behavior on the QCD phase diagram. So we argue that the behavior of HEE on the QCD phase diagram is independent of the shape of subregions. However, as we know that HEE is not a good quantity to characterize the entanglement between different subregions of a thermal system. So we then study the mutual information (MI), conditional mutual information (CMI) and the entanglement of purification (Ep) in different strip shaped regions. We find that the three entanglement quantities have very similar behavior: their values do not change so much in the hadronic matter phase and then rise up quickly with the increase of $T$ and $\m$ in the QGP phase. Near the phase boundary, these three entanglement quantities change smoothly in the crossover region, continuously but not smoothly at CEP and show discontinuity behavior in the first phase transition region. And all of them can be used to distinguish different phases of strongly coupled matter.


title: Transport properties of DBI action

abstract: We obtain precise temperature dependence of three transport coefficients that resembles strange metal: (a) longitudinal electrical conductivity (b) longitudinal thermoelectric conductivity (c) longitudinal thermal conductivity in the absence of magnetic field. This is achieved through one parameter, namely, when the dynamical exponent, $z=4$. Moreover, in the presence of magnetic field, we have cooked up a model where it exhibits the desired temperature dependence of the four transport quantities that resembles strange metal.


title: Donsker-Varadhan Large Deviations for Path-Distribution Dependent SPDEs

abstract: As an important tool characterizing the long time behavior of Markov processes, the Donsker-Varadhan LDP (large deviation principle) does not directly apply to distribution dependent SDEs/SPDEs since the solutions are non-Markovian. We establish this type LDP for several different models of distribution dependent SDEs/SPDEs which may also with memories, by comparing the original equations with the corresponding distribution independent ones. As preparations, the existence, uniqueness and exponential convergence are also investigated for path-distribution dependent SPDEs which should be interesting by themselves.


title: Detecting Code Clones with Graph Neural Networkand Flow-Augmented Abstract Syntax Tree

abstract: Code clones are semantically similar code fragments pairs that are syntactically similar or different. Detection of code clones can help to reduce the cost of software maintenance and prevent bugs. Numerous approaches of detecting code clones have been proposed previously, but most of them focus on detecting syntactic clones and do not work well on semantic clones with different syntactic features. To detect semantic clones, researchers have tried to adopt deep learning for code clone detection to automatically learn latent semantic features from data. Especially, to leverage grammar information, several approaches used abstract syntax trees (AST) as input and achieved significant progress on code clone benchmarks in various programming languages. However, these AST-based approaches still can not fully leverage the structural information of code fragments, especially semantic information such as control flow and data flow. To leverage control and data flow information, in this paper, we build a graph representation of programs called flow-augmented abstract syntax tree (FA-AST). We construct FA-AST by augmenting original ASTs with explicit control and data flow edges. Then we apply two different types of graph neural networks (GNN) on FA-AST to measure the similarity of code pairs. As far as we have concerned, we are the first to apply graph neural networks on the domain of code clone detection. We apply our FA-AST and graph neural networks on two Java datasets: Google Code Jam and BigCloneBench. Our approach outperforms the state-of-the-art approaches on both Google Code Jam and BigCloneBench tasks.


title: Plane symmetric model with constant deceleration parameter

abstract: A plane symmetric Bianchi I model is considered with constant deceleration parameter, $q=\alpha-1$, where $\alpha\geq0$. The model with $\alpha=0$ violates the NEC throughout the evolution, and hence provides a physically unrealistic scenario. The model with $\alpha\neq0$ obeys the NEC and WEC at late times, which shows that the models in this case can render a physical realistic cosmological scenario, though for a restricted period of time. It is also shown that the physical and kinematical behaviour of both models remain similar to an LRS Bianchi I model.


title: Transverse asymmetry of $\gamma$ rays from neutron-induced compound states of ${}^{140}{\rm La}$

abstract: A correlation term ${{ \sigma}_{n} }\cdot ({ k_{n}\times k_\gamma}) $ in the ${}^{139}{\rm La}(\vec{n},\gamma)$ reaction has been studied utilizing epithermal polarized neutrons and germanium detectors. The transverse asymmetry for single $\gamma$-ray transition was measured to be $0.60\pm0.19$ in the $p$-wave resonance.


title: The extension problem for fractional Sobolev spaces with a partial vanishing trace condition

abstract: We construct whole-space extensions of functions in a fractional Sobolev space of order $s\in (0,1)$ and integrability $p\in (0,\infty)$ on an open set $O$ which vanish in a suitable sense on a portion $D$ of the boundary $\partial O$ of $O$. The set $O$ is supposed to satisfy the so-called interior thickness condition in $\partial O \setminus D$, which is much weaker than the global interior thickness condition. The proof works by means of a reduction to the case $D=\emptyset$ using a geometric construction.


title: Computational Design with Crowds

abstract: Computational design is aimed at supporting or automating design processes using computational techniques. However, some classes of design tasks involve criteria that are difficult to handle only with computers. For example, visual design tasks seeking to fulfill aesthetic goals are difficult to handle purely with computers. One promising approach is to leverage human computation; that is, to incorporate human input into the computation process. Crowdsourcing platforms provide a convenient way to integrate such human computation into a working system. In this chapter, we discuss such computational design with crowds in the domain of parameter tweaking tasks in visual design. Parameter tweaking is often performed to maximize the aesthetic quality of designed objects. Computational design powered by crowds can solve this maximization problem by leveraging human computation. We discuss the opportunities and challenges of computational design with crowds with two illustrative examples: (1) estimating the objective function (specifically, preference learning from crowds' pairwise comparisons) to facilitate interactive design exploration by a designer and (2) directly searching for the optimal parameter setting that maximizes the objective function (specifically, crowds-in-the-loop Bayesian optimization).


title: Ancestral lines under recombination

abstract: Solving the recombination equation has been a long-standing challenge of \emph{deterministic} population genetics. We review recent progress obtained by introducing ancestral processes, as traditionally used in the context of \emph{stochastic} models of population genetics, into the deterministic setting. With the help of an ancestral partitioning process, which is obtained by letting population size tend to infinity (without rescaling parameters or time) in an ancestral recombination graph, we obtain the solution to the recombination equation in a transparent form.


title: Maximum Edge-Colorable Subgraph and Strong Triadic Closure Parameterized by Distance to Low-Degree Graphs

abstract: Given an undirected graph $G$ and integers $c$ and $k$, the Maximum Edge-Colorable Subgraph problem asks whether we can delete at most $k$ edges in $G$ to obtain a graph that has a proper edge coloring with at most $c$ colors. We show that Maximum Edge-Colorable Subgraph admits, for every fixed $c$, a linear-size problem kernel when parameterized by the edge deletion distance of $G$ to a graph with maximum degree $c-1$. This parameterization measures the distance to instances that, due to Vizing's famous theorem, are trivial yes-instances. For $c\le 4$, we also provide a linear-size kernel for the same parameterization for Multi Strong Triadic Closure, a related edge coloring problem with applications in social network analysis. We provide further results for Maximum Edge-Colorable Subgraph parameterized by the vertex deletion distance to graphs where every component has order at most $c$ and for the list-colored versions of both problems.


title: Numerical approach to the semiclassical method of pair production for arbitrary spins and photon polarization

abstract: In this paper we show how to recast the results of the semiclassical method of Baier, Katkov & Strakhovenko for pair production, including the possibility of specifying all the spin states and photon polarization, in a form that is suitable for numerical implementation. In this case, a new type of integral appears in addition to the ones required for the radiation emission process. We compare the resulting formulas with those obtained for a short pulse plane wave external field by using the Volkov state. We investigate the applicability of the local constant field approximation for the proposed upcoming experiments at FACET II at SLAC and LUXE at DESY. Finally, we provide results on the dependence of the pair production rate on the relative polarization between a linearly polarized laser pulse and a linearly polarized incoming high energy photon. We observe that even in the somewhat intermediate intensity regime of these experiments, there is roughly a factor of $2$ difference between the pair production rates corresponding to the two relative photon polarizations, which is of interest in light of the vacuum birefringence of QED.


title: A UV laser test bench for micro-pattern gaseous detectors

abstract: UV lasers for the calibration of gaseous detectors have seen newfound employment with current-generation micro-pattern gaseous detectors (MPGDs), especially those devices not suitable for tests with traditional sources (e.g. cosmic rays or X-ray beams) by design constraints. An apparatus made of a UV laser designed for the characterization of the fast timing MPGD (FTM) is here described, together with the measurements of gain curve and electron drift velocity performed on a prototype of Time Projection GEM (TPG) to validate the setup.


title: Realization of manifolds as leaves using graph colorings

abstract: It is proved that any (repetitive) Riemannian manifold of bounded geometry can be realized as a leaf of some (minimal) Riemannian matchbox manifold without holonomy. Our methods can be adapted to achieve Cantor transversals or a prescribed holonomy covering, but then the manifold may not be realized as a dense leaf.


title: Learning Gaussian Graphical Models via Multiplicative Weights

abstract: Graphical model selection in Markov random fields is a fundamental problem in statistics and machine learning. Two particularly prominent models, the Ising model and Gaussian model, have largely developed in parallel using different (though often related) techniques, and several practical algorithms with rigorous sample complexity bounds have been established for each. In this paper, we adapt a recently proposed algorithm of Klivans and Meka (FOCS, 2017), based on the method of multiplicative weight updates, from the Ising model to the Gaussian model, via non-trivial modifications to both the algorithm and its analysis. The algorithm enjoys a sample complexity bound that is qualitatively similar to others in the literature, has a low runtime $O(mp^2)$ in the case of $m$ samples and $p$ nodes, and can trivially be implemented in an online manner.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Two-dimensional confined hydrogen: An entropy and complexity approach

abstract: The position and momentum spreading of the electron distribution of the two-dimensional confined hydrogenic atom, which is a basic prototype of the general multidimensional confined quantum systems, is numerically studied in terms of the confinement radius for the 1s, 2s, 2p and 3d quantum states by means of the main entropy and complexity information-theoretic measures. First, the Shannon entropy and the Fisher information as well as the associated uncertainty relations are computed and discussed. Then, the Fisher-Shannon, LMC and LMC-R\'enyi complexity measures are examined and mutually compared. We have found that these entropy and complexity quantities reflect the rich properties of the electron confinement extent in the two conjugated spaces.


title: Computationally Tractable Riemannian Manifolds for Graph Embeddings

abstract: Representing graphs as sets of node embeddings in certain curved Riemannian manifolds has recently gained momentum in machine learning due to their desirable geometric inductive biases, e.g., hierarchical structures benefit from hyperbolic geometry. However, going beyond embedding spaces of constant sectional curvature, while potentially more representationally powerful, proves to be challenging as one can easily lose the appeal of computationally tractable tools such as geodesic distances or Riemannian gradients. Here, we explore computationally efficient matrix manifolds, showcasing how to learn and optimize graph embeddings in these Riemannian spaces. Empirically, we demonstrate consistent improvements over Euclidean geometry while often outperforming hyperbolic and elliptical embeddings based on various metrics that capture different graph properties. Our results serve as new evidence for the benefits of non-Euclidean embeddings in machine learning pipelines.


title: Determination of the Semion Code Threshold using Neural Decoders

abstract: We compute the error threshold for the semion code, the companion of the Kitaev toric code with the same gauge symmetry group $\mathbb{Z}_2$. The application of statistical mechanical mapping methods is highly discouraged for the semion code, since the code is non-Pauli and non-CSS. Thus, we use machine learning methods, taking advantage of the near-optimal performance of some neural network decoders: multilayer perceptrons and convolutional neural networks (CNNs). We find the values $p_{\text {eff}}=9.5\%$ for uncorrelated bit-flip and phase-flip noise, and $p_{\text {eff}}=10.5\%$ for depolarizing noise. We contrast these values with a similar analysis of the Kitaev toric code on a hexagonal lattice with the same methods. For convolutional neural networks, we use the ResNet architecture, which allows us to implement very deep networks and results in better performance and scalability than the multilayer perceptron approach. We analyze and compare in detail both approaches and provide a clear argument favoring the CNN as the best suited numerical method for the semion code.


title: The BGK equation as the limit of an $N$ particle system

abstract: The spatially homogeneous BGK equation is obtained as the limit if a model of a many particle system, similar to Mark Kac's charicature of the spatially homogeneous Boltzmann equation.


title: Sharp boundary $\varepsilon$-regularity of optimal transport maps

abstract: In this paper we develop a boundary $\varepsilon$-regularity theory for optimal transport maps between bounded open sets with $C^{1,\alpha}$-boundary. Our main result asserts sharp $C^{1,\alpha}$-regularity of transport maps at the boundary in form of a linear estimate under certain assumptions: The main quantitative assumptions are that the local nondimensionalized transport cost is small and that the boundaries are locally almost flat in $C^{1,\alpha}$. Our method is completely variational and builds on the recently developed interior regularity theory.


title: Justifying Kubo's formula for gapped systems at zero temperature: a brief review and some new results

abstract: We first review the problem of a rigorous justification of Kubo's formula for transport coefficients in gapped extended Hamiltonian quantum systems at zero temperature. In particular, the theoretical understanding of the quantum Hall effect rests on the validity of Kubo's formula for such systems, a connection that we review briefly as well. We then highlight an approach to linear response theory based on non-equilibrium almost-stationary states (NEASS) and on a corresponding adiabatic theorem for such systems that was recently proposed and worked out by one of us in [51] for interacting fermionic systems on finite lattices. In the second part of our paper we show how to lift the results of [51] to infinite systems by taking a thermodynamic limit.


title: Stroke Constrained Attention Network for Online Handwritten Mathematical Expression Recognition

abstract: In this paper, we propose a novel stroke constrained attention network (SCAN) which treats stroke as the basic unit for encoder-decoder based online handwritten mathematical expression recognition (HMER). Unlike previous methods which use trace points or image pixels as basic units, SCAN makes full use of stroke-level information for better alignment and representation. The proposed SCAN can be adopted in both single-modal (online or offline) and multi-modal HMER. For single-modal HMER, SCAN first employs a CNN-GRU encoder to extract point-level features from input traces in online mode and employs a CNN encoder to extract pixel-level features from input images in offline mode, then use stroke constrained information to convert them into online and offline stroke-level features. Using stroke-level features can explicitly group points or pixels belonging to the same stroke, therefore reduces the difficulty of symbol segmentation and recognition via the decoder with attention mechanism. For multi-modal HMER, other than fusing multi-modal information in decoder, SCAN can also fuse multi-modal information in encoder by utilizing the stroke based alignments between online and offline modalities. The encoder fusion is a better way for combining multi-modal information as it implements the information interaction one step before the decoder fusion so that the advantages of multiple modalities can be exploited earlier and more adequately when training the encoder-decoder model. Evaluated on a benchmark published by CROHME competition, the proposed SCAN achieves the state-of-the-art performance.


title: Identification of networking quantum teleportation on 14-qubit IBM universal quantum computer

abstract: Quantum teleportation enables networking participants to move an unknown quantum state between the nodes of a quantum network, and hence constitutes an essential element in constructing large-sale quantum processors with a quantum modular architecture. Herein, we propose two protocols for teleporting qubits through an N-node quantum network in a highly-entangled box-cluster state or chain-type cluster state. The proposed protocols are systematically scalable to an arbitrary finite number N and applicable to arbitrary size of modules. The protocol based on a box-cluster state is implemented on a 14-qubit IBM quantum computer for N up to 12. To identify faithful networking teleportation, namely that the elements on real devices required for the networking teleportation process are all qualified for achieving teleportation task, we quantify quantum-mechanical processes using a generic classical-process model through which any classical strategies of mimicry of teleportation can be ruled out. From the viewpoint of achieving a genuinely quantum-mechanical process, the present work provides a novel toolbox consisting of the networking teleportation protocols and the criteria for identifying faithful teleportation for universal quantum computers with modular architectures and facilitates further improvements in the reliability of quantum-information processing.


title: GivEn -- Shape Optimization for Gas Turbines in Volatile Energy Networks

abstract: This paper describes the project GivEn that develops a novel multicriteria optimization process for gas turbine blades and vanes using modern "adjoint" shape optimization algorithms. Given the many start and shut-down processes of gas power plants in volatile energy grids, besides optimizing gas turbine geometries for efficiency, the durability understood as minimization of the probability of failure is a design objective of increasing importance. We also describe the underlying coupling structure of the multiphysical simulations and use modern, gradient based multicriteria optimization procedures to enhance the exploration of Pareto-optimal solutions.


title: Mesoporous alumina- and silica-based crystalline nanocomposites with tailored anisotropy: methodology, structure and properties

abstract: We present several recently synthesized nanocomposites consisting of liquid crystals as well as an organic molecular crystal embedded into the nanochannels of mesoporous alumina and silica. As liquid-crystalline mesogens achiral, nematogen and chiral cholesteric guest molecules infiltrated into nanochannels by spontaneous imbibition were chosen. The molecular ordering inside the nanochannels, which can be tailored by modifying the surface anchoring, was characterized by optical polarimetry (linear and/or circular birefringence) in combination with X-ray diffraction. For the synthesis of the solid crystalline nanocomposites ferroelectric triglycine sulfate (TGS) nanocrystals were deposited into the nanochannels by slow evaporation of saturated water solutions imbibed into the porous hosts. Their textural and physicochemical properties were explored by x-ray diffraction, scanning electron microscopy and dielectric techniques.


title: Eigenvalue Bifurcation in Doubly Nonlinear Problems with an Application to Surface Plasmon Polaritons

abstract: We consider a class of generally non-self-adjoint eigenvalue problems which are nonlinear in the solution as well as in the eigenvalue parameter ("doubly" nonlinear). We prove a bifurcation result from simple isolated eigenvalues of the linear problem using a Lyapunov-Schmidt reduction and provide an expansion of both the nonlinear eigenvalue and the solution. We further prove that if the linear eigenvalue is real and the nonlinear problem $\mathcal P\mathcal T$-symmetric, then the bifurcating nonlinear eigenvalue remains real. These general results are then applied in the context of surface plasmon polaritons (SPPs), i.e. localized solutions for the nonlinear Maxwell's equations in the presence of one or more interfaces between dielectric and metal layers. We obtain the existence of transverse electric SPPs in certain $\mathcal P\mathcal T$-symmetric configurations.


title: Unsupervised Domain Adaptation via Discriminative Manifold Embedding and Alignment

abstract: Unsupervised domain adaptation is effective in leveraging the rich information from the source domain to the unsupervised target domain. Though deep learning and adversarial strategy make an important breakthrough in the adaptability of features, there are two issues to be further explored. First, the hard-assigned pseudo labels on the target domain are risky to the intrinsic data structure. Second, the batch-wise training manner in deep learning limits the description of the global structure. In this paper, a Riemannian manifold learning framework is proposed to achieve transferability and discriminability consistently. As to the first problem, this method establishes a probabilistic discriminant criterion on the target domain via soft labels. Further, this criterion is extended to a global approximation scheme for the second issue; such approximation is also memory-saving. The manifold metric alignment is exploited to be compatible with the embedding space. A theoretical error bound is derived to facilitate the alignment. Extensive experiments have been conducted to investigate the proposal and results of the comparison study manifest the superiority of consistent manifold learning framework.


title: Learning with Differentiable Perturbed Optimizers

abstract: Machine learning pipelines often rely on optimization procedures to make discrete decisions (e.g., sorting, picking closest neighbors, or shortest paths). Although these discrete decisions are easily computed, they break the back-propagation of computational graphs. In order to expand the scope of learning problems that can be solved in an end-to-end fashion, we propose a systematic method to transform optimizers into operations that are differentiable and never locally constant. Our approach relies on stochastically perturbed optimizers, and can be used readily together with existing solvers. Their derivatives can be evaluated efficiently, and smoothness tuned via the chosen noise amplitude. We also show how this framework can be connected to a family of losses developed in structured prediction, and give theoretical guarantees for their use in learning tasks. We demonstrate experimentally the performance of our approach on various tasks.


title: Lagrangian cobordisms, Lefschetz fibrations and quantum invariants

abstract: We study Lagrangian cobordisms with the tools provided by Lagrangian quantum homology. In particular, we develop the theory for the setting of Lagrangian cobordisms or Lagrangians with cylindrical ends in a Lefschetz fibration, and put the different versions of the quantum homology groups into relation by a long exact sequence. We prove various practical relations of maps in this long exact sequence and we extract invariants that generalize the notion of discriminants to Lagrangian cobordisms in Lefschetz fibrations. We prove results on the relation of the discriminants of the ends of a cobordism and the cobordism itself. We also give examples arising from Lagrangian spheres and relate the discriminant to open Gromov Witten invariants. We show that for some configurations of Lagrangian spheres the discriminant always vanishes. We study a set of examples that arise from Lefschetz pencils of complex quadric hypersurfaces of the complex projective space. These quadrics are symplectic manifolds endowed with real structures and their real part are the Lagrangians of interest. Using the results established in this thesis, we compute the discriminants of all these Lagrangians by reducing the calculation to the previously established case of a real Lagrangian sphere in the quadric.


title: Giant anisotropic magnetoresistance through a tilted molecular $\pi$-orbital

abstract: Anisotropic magnetoresistance (AMR), originating from spin-orbit coupling (SOC), is the sensitivity of the electrical resistance in magnetic systems to the direction of spin magnetization. Although this phenomenon has been experimentally reported for several nanoscale junctions, a clear understanding of the physical mechanism behind it is still elusive. Here we discuss a novel concept based on orbital symmetry considerations to attain a significant AMR of up to 95\% for a broad class of $\pi$-type molecular spin-valves. It is illustrated at the benzene-dithiolate molecule connected between two monoatomic nickel electrodes. We find that SOC opens, via spin-flip events at the ferromagnet-molecule interface, a new conduction channel, which is fully blocked by symmetry without SOC. Importantly, the interplay between main and new transport channels turns out to depend strongly on the magnetization direction in the nickel electrodes due to the tilting of molecular orbital. Moreover, due to multi-band quantum interference, appearing at the band edge of nickel electrodes, a transmission drop is observed just above the Fermi energy. Altogether, these effects lead to a significant AMR around the Fermi level, which even changes a sign. Our theoretical understanding, corroborated in terms of \textit{ab initio} calculations and simplified analytical models, reveals the general principles for an efficient realization of AMR in molecule-based spintronic devices.


title: Neural Network Compression Framework for fast model inference

abstract: In this work we present a new framework for neural networks compression with fine-tuning, which we called Neural Network Compression Framework (NNCF). It leverages recent advances of various network compression methods and implements some of them, such as sparsity, quantization, and binarization. These methods allow getting more hardware-friendly models which can be efficiently run on general-purpose hardware computation units (CPU, GPU) or special Deep Learning accelerators. We show that the developed methods can be successfully applied to a wide range of models to accelerate the inference time while keeping the original accuracy. The framework can be used within the training samples, which are supplied with it, or as a standalone package that can be seamlessly integrated into the existing training code with minimal adaptations. Currently, a PyTorch version of NNCF is available as a part of OpenVINO Training Extensions at https://github.com/openvinotoolkit/nncf.


title: Vertex Splitting, Coincident Realisations and Global Rigidity of Braced Triangulations

abstract: We give a short proof of a result of Jordan and Tanigawa that a 4-connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R^3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R^d.


title: Unsupervised Multi-Class Domain Adaptation: Theory, Algorithms, and Practice

abstract: In this paper, we study the formalism of unsupervised multi-class domain adaptation (multi-class UDA), which underlies a few recent algorithms whose learning objectives are only motivated empirically. Multi-Class Scoring Disagreement (MCSD) divergence is presented by aggregating the absolute margin violations in multi-class classification, and this proposed MCSD is able to fully characterize the relations between any pair of multi-class scoring hypotheses. By using MCSD as a measure of domain distance, we develop a new domain adaptation bound for multi-class UDA; its data-dependent, probably approximately correct bound is also developed that naturally suggests adversarial learning objectives to align conditional feature distributions across source and target domains. Consequently, an algorithmic framework of Multi-class Domain-adversarial learning Networks (McDalNets) is developed, and its different instantiations via surrogate learning objectives either coincide with or resemble a few recently popular methods, thus (partially) underscoring their practical effectiveness. Based on our identical theory for multi-class UDA, we also introduce a new algorithm of Domain-Symmetric Networks (SymmNets), which is featured by a novel adversarial strategy of domain confusion and discrimination. SymmNets affords simple extensions that work equally well under the problem settings of either closed set, partial, or open set UDA. We conduct careful empirical studies to compare different algorithms of McDalNets and our newly introduced SymmNets. Experiments verify our theoretical analysis and show the efficacy of our proposed SymmNets. In addition, we have made our implementation code publicly available.


title: Investigating eccentricities of the binary black hole signals from the LIGO-Virgo catalog GWTC-1

abstract: In the first Gravitational-Wave Transient Catalogue of LIGO and Virgo, all events are announced having zero eccentricity. In the present paper, we investigate the performance of SEOBNRE which is a spin-aligned eccentric waveform model in time-domain. By comparing with all the eccentric waveforms in SXS library, we find that the SEOBNRE coincides perfectly with numerical relativity data. Employing the SEOBNRE, we re-estimate the eccentricities of all black hole merger events. We find that most of these events allow a possibility for existence of initial eccentricities at 10 Hz band, but are totally circularized at the observed frequency ($ \gtrsim 20$ Hz). The upcoming update of LIGO and the next generation detector like as Einstein Telescope, will observe the gravitational waves starting at 10 Hz or even lower. If the eccentricity exists at the lower frequency, it may significantly support the dynamical formation mechanism taking place in globular clusters.


title: Restoring coherence via aperiodic drives in a many-body quantum system

abstract: We study the unitary dynamics of randomly or quasi-periodically driven tilted Bose-Hubbard (tBH) model in one dimension deep inside its Mott phase starting from a $\mathbb{Z}_2$ symmetry-broken state. The randomness is implemented via a telegraph noise protocol in the drive period while the quasi-periodic drive is chosen to correspond to a Thue-Morse sequence. The periodically driven tBH model (with a square pulse protocol characterized by a time period $T$) is known to exhibit transitions from dynamical regimes with long-time coherent oscillations to those with rapid thermalization. Here we show that starting from a regime where the periodic drive leads to rapid thermalization, a random drive, which consists of a random sequence of square pulses with period $T+\alpha dT$, where $\alpha=\pm 1$ is a random number and $dT$ is the amplitude of the noise, restores long-time coherent oscillations for special values of $dT$. A similar phenomenon can be seen for a quasi-periodic drive following a Thue-Morse sequence where such coherent behavior is shown to occur for a larger number of points in the $(T, dT)$ plane due to the additional structure of the drive protocol. We chart out the dynamics of the system in the presence of such aperiodic drives, provide a qualitative analytical understanding of this phenomenon, point out the role of quantum scars behind it, and discuss experiments which can test our theory.


title: Input Convex Neural Networks for Optimal Voltage Regulation

abstract: The increasing penetration of renewables in distribution networks calls for faster and more advanced voltage regulation strategies. A promising approach is to formulate the problem as an optimization problem, where the optimal reactive power injection from inverters are calculated to maintain the voltages while satisfying power network constraints. However, existing optimization algorithms require the exact topology and line parameters of underlying distribution system, which are not known for most cases and are difficult to infer. In this paper, we propose to use specifically designed neural network to tackle the learning and optimization problem together. In the training stage, the proposed input convex neural network learns the mapping between the power injections and the voltages. In the voltage regulation stage, such trained network can find the optimal reactive power injections by design. We also provide a practical distributed algorithm by using the trained neural network. Theoretical bounds on the representation performance and learning efficiency of proposed model are also discussed. Numerical simulations on multiple test systems are conducted to illustrate the operation of the algorithm.


title: Multi-objective optimization of the dynamic aperture for the Swiss Light Source upgrade

abstract: The upgrade of the Swiss Light Source, called SLS 2.0, is scheduled for 2023-24. The current storage ring will be replaced by one based on multi-bend achromats, allowing for about 30 times higher brightness. Due to the stronger focusing and the required chromatic compensation, finding a reasonably large dynamic aperture (DA) for injection, as well as an energy acceptance for a sufficient beam lifetime, is challenging. In order to maximize the DA and prolong the beam lifetime, we combine the well-known tracking code tracy with a massively parallel implementation of a multi-objective genetic algorithm (MOGA), and further extend this with constraint-handling methods. We then optimize the magnet configuration for two lattices: the lattice that will be used in the commissioning phase (phase-1), and the lattice that will be used afterwards, in the completion phase (phase-2). Finally, we show and further analyze the chosen magnet configurations and in the case of the phase-1 lattice compare it to a pre-existing, manually optimized solution.


title: Lifting theorem for the virtual pure braid groups

abstract: In this article we prove theorem on Lifting for the set of virtual pure braid groups. This theorem says that if we know presentation of virtual pure braid group $VP_4$, then we can find presentation of $VP_n$ for arbitrary $n > 4$. Using this theorem we find the set of generators and defining relations for simplicial group $T_*$ which was defined in the previuos article of the authors. We find a decomposition of the Artin pure braid group $P_n$ in semi-direct product of free groups in the cabled generators.


title: Dynamics of quantum anisotropies in a Taub Universe in the WKB approximation

abstract: We analyze the dynamics of a Taub cosmological model in the presence of a massless minimally coupled scalar field and a cosmological constant, in the limit when both the Universe volume and the scalar field live in a quasi-classical approximation. By other words, we study the dynamics of a quantum small anisotropy evolving on a de Sitter background and in the presence of a kinetic term of the inflaton field. We demonstrate that the quantum anisotropy exponentially decays during the Universe expansion, approaching a finite and small value. This result suggests that the quantum isotropization of the Universe during a de Sitter phase is much weaker than the corresponding classical evolution, favouring the survival of certain degree of anisotropy to the de Sitter phase. Finally we analyze the case when also the scalar field is considered as quantum variable, by showing how its variance naturally spreads because of no potential term significantly affects its dynamics. This behaviour results to be different from the anisotropy which is subjected to the potential coming out from the spatial curvature.


title: An empirical study of Conv-TasNet

abstract: Conv-TasNet is a recently proposed waveform-based deep neural network that achieves state-of-the-art performance in speech source separation. Its architecture consists of a learnable encoder/decoder and a separator that operates on top of this learned space. Various improvements have been proposed to Conv-TasNet. However, they mostly focus on the separator, leaving its encoder/decoder as a (shallow) linear operator. In this paper, we conduct an empirical study of Conv-TasNet and propose an enhancement to the encoder/decoder that is based on a (deep) non-linear variant of it. In addition, we experiment with the larger and more diverse LibriTTS dataset and investigate the generalization capabilities of the studied models when trained on a much larger dataset. We propose cross-dataset evaluation that includes assessing separations from the WSJ0-2mix, LibriTTS and VCTK databases. Our results show that enhancements to the encoder/decoder can improve average SI-SNR performance by more than 1 dB. Furthermore, we offer insights into the generalization capabilities of Conv-TasNet and the potential value of improvements to the encoder/decoder.


title: Designing Asymmetric Shift Operators for Decentralized Subspace Projection

abstract: A large number of applications in wireless sensor networks include projecting a vector of noisy observations onto a subspace dictated by prior information about the field being monitored. In general, accomplishing such a task in a centralized fashion, entails a large power consumption, congestion at certain nodes, and suffers from robustness issues against possible node failures. Computing such projections in a decentralized fashion is an alternative solution that solves these issues. Recent works have shown that this task can be done via the so-called graph filters where only local inter-node communication is performed in a distributed manner using a graph shift operator. Existing methods designed the graph filters for symmetric topologies. However, in this paper, the design of the graph shift operators to perform decentralized subspace projection for asymmetric topologies is studied.


title: High-resolution spectroscopy and spectropolarimetry of the total lunar eclipse January 2019

abstract: Observations of the Earthshine off the Moon allow for the unique opportunity to measure the large-scale Earth atmosphere. Another opportunity is realized during a total lunar eclipse which, if seen from the Moon, is like a transit of the Earth in front of the Sun. We thus aim at transmission spectroscopy of an Earth transit by tracing the solar spectrum during the total lunar eclipse of January 21, 2019. Time series spectra of the Tycho crater were taken with the Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI) at the Large Binocular Telescope (LBT) in its polarimetric mode in Stokes IQUV at a spectral resolution of 130000 (0.06 \AA). In particular, the spectra cover the red parts of the optical spectrum between 7419-9067 \AA . The spectrograph's exposure meter was used to obtain a light curve of the lunar eclipse. The brightness of the Moon dimmed by 10.75 mag during umbral eclipse. We found both branches of the O$_2$ A-band almost completely saturated as well as a strong increase of H$_2$O absorption during totality. The deep penumbral spectra show significant excess absorption from the NaI 5890 \AA doublet, the CaII infrared triplet around 8600 \AA, and the KI line at 7699 \AA in addition to several hyper-fine-structure lines of MnI and even from BaII. The detections of the latter two elements are likely due to an untypical solar center-to-limb effect rather than Earth's atmosphere. The absorption in CaII and KI remained visible throughout umbral eclipse. A small continuum polarization of the O$_2$ A-band of 0.12\% during umbral eclipse was detected at 6.3$\sigma$. No line polarization of the O$_2$ A-band, or any other spectral-line feature, is detected outside nor inside eclipse. It places an upper limit of $\approx$0.2\% on the degree of line polarization during transmission through Earth's atmosphere and magnetosphere.