title: Block-Structured Integer and Linear Programming in Strongly Polynomial and Near Linear Time

abstract: We consider integer and linear programming problems for which the linear constraints exhibit a (recursive) block-structure: The problem decomposes into independent and efficiently solvable sub-problems if a small number of constraints is deleted. A prominent example are $n$-fold integer programming problems and their generalizations which have received considerable attention in the recent literature. The previously known algorithms for these problems are based on the augmentation framework, a tailored integer programming variant of local search. In this paper we propose a different approach. Our algorithm relies on parametric search and a new proximity bound. We show that block-structured linear programming can be solved efficiently via an adaptation of a parametric search framework by Norton, Plotkin, and Tardos in combination with Megiddo's multidimensional search technique. This also forms a subroutine of our algorithm for the integer programming case by solving a strong relaxation of it. Then we show that, for any given optimal vertex solution of this relaxation, there is an optimal integer solution within $\ell_1$-distance independent of the dimension of the problem. This in turn allows us to find an optimal integer solution efficiently. We apply our techniques to integer and linear programming with $n$-fold structure or bounded dual treedepth, two benchmark problems in this field. We obtain the first algorithms for these cases that are both near-linear in the dimension of the problem and strongly polynomial. Moreover, unlike the augmentation algorithms, our approach is highly parallelizable.


title: Fuzzy Simultaneous Congruences

abstract: We introduce a very natural generalization of the well-known problem of simultaneous congruences. Instead of searching for a positive integer $s$ that is specified by $n$ fixed remainders modulo integer divisors $a_1,\dots,a_n$ we consider remainder intervals $R_1,\dots,R_n$ such that $s$ is feasible if and only if $s$ is congruent to $r_i$ modulo $a_i$ for some remainder $r_i$ in interval $R_i$ for all $i$. This problem is a special case of a 2-stage integer program with only two variables per constraint which is is closely related to directed Diophantine approximation as well as the mixing set problem. We give a hardness result showing that the problem is NP-hard in general. By investigating the case of harmonic divisors, i.e. $a_{i+1}/a_i$ is an integer for all $i<n$, which was heavily studied for the mixing set problem as well, we also answer a recent algorithmic question from the field of real-time systems. We present an algorithm to decide the feasibility of an instance in time $\mathcal{O}(n^2)$ and we show that if it exists even the smallest feasible solution can be computed in strongly polynomial time $\mathcal{O}(n^3)$.


title: Mapping the Interplanetary Filesystem

abstract: The Interplanetary Filesystem (IPFS) is a distributed data storage service frequently used by blockchain applications and for sharing content in a censorship-resistant manner. Data is distributed within an open set of peers using a Kademlia-based distributed hash table (DHT). In this paper, we study the structure of the resulting overlay network, as it significantly influences the robustness and performance of IPFS. We monitor and systematically crawl IPFS' DHT towards mapping the IPFS overlay network. Our measurements found an average of 44474 nodes at every given time. At least 52.19% of these reside behind a NAT and are not reachable from the outside, suggesting that a large share of the network is operated by private individuals on an as-needed basis. Based on our measurements and our analysis of the IPFS code, we conclude that the topology of the IPFS network is, in its current state, closer to an unstructured overlay network than it is to a classical DHT. While such a structure has benefits for robustness and the resistance against Sybil attacks, it leaves room for improvement in terms of performance and query privacy.


title: Profile-Guided, Multi-Version Binary Rewriting

abstract: The static instrumentation of machine code, also known as binary rewriting, is a power technique, but suffers from high runtime overhead compared to compiler-level instrumentation. Recent research has shown that tools can achieve near-to-zero overhead when rewriting binaries (excluding the overhead from the application specific instrumentation). However, the users of binary rewriting tools often have difficulties in understanding why their instrumentation is slow and how to optimize their instrumentation. We are inspired by a traditional program optimization workflow, where one can profile the program execution to identify performance hot spots, modify the source code or apply suitable compiler optimizations, and even apply profile-guided optimization. We present profile-guided, Multi-Version Binary Rewriting to enable this optimization workflow for static binary instrumentation. Our new techniques include three components. First, we augment existing binary rewriting to support call path profiling; one can interactively view instrumentation costs and understand the calling contexts where the costs incur. Second, we present Versioned Structure Binary Editing, which is a general binary transformation technique. Third, we use call path profiles to guide the application of binary transformation. We apply our new techniques to shadow stack and basic block code coverage. Our instrumentation optimization workflow helps us identify several opportunities with regard to code transformation and instrumentation data layout. Our evaluation on SPEC CPU 2017 shows that the geometric overhead of shadow stack and block coverage is reduced from 7.6% and 161.3% to 1.4% and 4.0%, respectively. We also achieve promising results on Apache HTTP Server, where the shadow stack overhead is reduced from about 20% to 3.5%.


title: Aspects of the Synthesis of Thin Film Superconducting Infinite-Layer Nickelates

abstract: The recent observation of superconductivity in Nd$_{0.8}$Sr$_{0.2}$NiO$_{2}$ calls for further investigation and optimization of the synthesis of this metastable infinite-layer nickelate structure. Here, we present our current understanding of important aspects of the growth of the parent perovskite compound via pulsed laser deposition on SrTiO$_{3}$ (001) substrates, and the subsequent topotactic reduction. We find that to achieve single-crystalline, single-phase superconducting Nd$_{0.8}$Sr$_{0.2}$NiO$_{2}$, it is essential that the precursor perovskite Nd$_{0.8}$Sr$_{0.2}$NiO$_{3}$ thin film is stabilized with high crystallinity and no impurity phases; in particular, a Ruddlesden-Popper-type secondary phase is often observed. We have further investigated the evolution of the soft-chemistry topotactic reduction conditions to realize full transformation to the infinite-layer structure with no film decomposition or formation of other phases. We find that capping the nickelate film with a subsequent SrTiO$_{3}$ layer provides an epitaxial template to the top region of the nickelate film, much like the substrate. Thus, for currently optimized growth conditions, we can stabilize superconducting single-phase Nd$_{0.8}$Sr$_{0.2}$NiO$_{2}$ (001) epitaxial thin films up to ~ 10 nm.


title: GCSA Codes with Noise Alignment for Secure Coded Multi-Party Batch Matrix Multiplication

abstract: A secure multi-party batch matrix multiplication problem (SMBMM) is considered, where the goal is to allow a master to efficiently compute the pairwise products of two batches of massive matrices, by distributing the computation across S servers. Any X colluding servers gain no information about the input, and the master gains no additional information about the input beyond the product. A solution called Generalized Cross Subspace Alignment codes with Noise Alignment (GCSA-NA) is proposed in this work, based on cross-subspace alignment codes. The state of art solution to SMBMM is a coding scheme called polynomial sharing (PS) that was proposed by Nodehi and Maddah-Ali. GCSA-NA outperforms PS codes in several key aspects - more efficient and secure inter-server communication, lower latency, flexible inter-server network topology, efficient batch processing, and tolerance to stragglers. The idea of noise alignment can also be combined with N-source Cross Subspace Alignment (N-CSA) codes and fast matrix multiplication algorithms like Strassen's construction. Moreover, noise alignment can be applied to symmetric secure private information retrieval to achieve the asymptotic capacity.


title: $\mathcal{N}=1$ Supersymmetric Double Field Theory and the generalized Kerr-Schild Ansatz

abstract: We construct the $\mathcal{N} = 1$ supersymmetric extension of the generalized Kerr-Schild ansatz in the flux formulation of Double Field Theory. We show that this ansatz is compatible with $\mathcal{N} = 1$ supersymmetry as long as it is not written in terms of generalized null vectors. Supersymmetric consistency is obtained through a set of conditions that imply linearity of the generalized gravitino perturbation and unrestricted perturbations of the generalized background dilaton and dilatino. As a final step we parametrize the previous theory in terms of the field content of the low energy effective $10$-dimensional heterotic supergravity and we find that the perturbation of the $10$-dimensional vielbein, Kalb-Ramond field and gravitino can be written in terms of a pair of null vectors, as expected.


title: Marvel: A Data-centric Compiler for DNN Operators on Spatial Accelerators

abstract: The efficiency of a spatial DNN accelerator depends heavily on the compiler and its cost model ability to generate optimized mappings for various operators of DNN models on to the accelerator's compute and memory resources. But, existing cost models lack a formal boundary over the operators for precise and tractable analysis, which poses adaptability challenges for new DNN operators. To address this challenge, we leverage the recently introduced Maestro Data-Centric (MDC) notation. We develop a formal understanding of DNN operators whose mappings can be described in the MDC notation, because any mapping adhering to the notation is always analyzable by the MDC's cost model. Furthermore, we introduce a transformation for translating mappings into the MDC notation for exploring the mapping space. Searching for the optimal mappings is challenging because of the large space of mappings, and this challenge gets exacerbated with new operators and diverse accelerator configurations.To address this challenge, we propose a decoupled off-chip/on-chip approach that decomposes the mapping space into off-chip and on-chip subspaces, and first optimizes the off-chip subspace followed by the on-chip subspace. The motivation for this decomposition is to reduce the size of the search space dramatically and also to prioritize the optimization of off-chip data movement, which is 2-3 orders of magnitude more compared to the on-chip data movement. We implemented our approach in a tool called {\em Marvel}, and another major benefit of our approach is that it is applicable to any DNN operator conformable with the MDC notation.


title: Gonality sequences of graphs

abstract: To any graph we associate a sequence of integers called the gonality sequence of the graph, consisting of the minimum degrees of divisors of increasing rank on the graph. This is a tropical analogue of the gonality sequence of an algebraic curve. We study gonality sequences for graphs of low genus, proving that for genus up to $5$, the gonality sequence is determined by the genus and the first gonality. We then prove that any reasonable pair of first two gonalities is achieved by some graph. We also develop a modified version of Dhar's burning algorithm more suited for studying higher gonalities.


title: Computational optimization of convolutional neural networks using separated filters architecture

abstract: This paper considers a convolutional neural network transformation that reduces computation complexity and thus speedups neural network processing. Usage of convolutional neural networks (CNN) is the standard approach to image recognition despite the fact they can be too computationally demanding, for example for recognition on mobile platforms or in embedded systems. In this paper we propose CNN structure transformation which expresses 2D convolution filters as a linear combination of separable filters. It allows to obtain separated convolutional filters by standard training algorithms. We study the computation efficiency of this structure transformation and suggest fast implementation easily handled by CPU or GPU. We demonstrate that CNNs designed for letter and digit recognition of proposed structure show 15% speedup without accuracy loss in industrial image recognition system. In conclusion, we discuss the question of possible accuracy decrease and the application of proposed transformation to different recognition problems. convolutional neural networks, computational optimization, separable filters, complexity reduction.


title: Epistemic Odds of Contextuality in Cyclic Systems

abstract: Beginning with the Bell theorem, cyclic systems of dichotomous random variables have been the object of many foundational findings in quantum mechanics. Here, we ask the question: if one chooses a cyclic system "at random" (uniformly within the hyperbox of all possible systems with given marginals), what are the odds that it will be contextual? We show that the odds of contextuality rapidly tend to zero as the size of the system increases. The result is based on the Contextuality-by-Default theory, in which we do not have to assume that the systems are subject to the no-disturbance/no-signaling constraints.


title: Hierarchical Correlation Clustering and Tree Preserving Embedding

abstract: We propose a hierarchical correlation clustering method that extends the well-known correlation clustering to produce hierarchical clusters applicable to both positive and negative pairwise dissimilarities. Then, in the following, we study unsupervised representation learning with such hierarchical correlation clustering. For this purpose, we first investigate embedding the respective hierarchy to be used for tree preserving embedding and feature extraction. Thereafter, we study the extension of minimax distance measures to correlation clustering, as another representation learning paradigm. Finally, we demonstrate the performance of our methods on several datasets.


title: On the Selection of Measure-Valued Solutions for the Isentropic Euler System

abstract: Measure-valued solutions to fluid equations arise naturally, for instance as vanishing viscosity limits, yet exhibit non-uniqueness to a vast extent. In this paper, we show that some measurevalued solutions to the two-dimensional isentropic compressible Euler equations, although they are energy admissible, can be discarded as unphysical, as they do not arise as vanishing viscosity limits. In fact, these measure-valued solutions also do not arise from a sequence of weak solutions of the Euler equations, in contrast to the incompressible case. Such a phenomenon has already been observed by Chiodaroli, Feireisl, Kreml, and Wiedemann using an $\mathcal{A}$-free rigidity argument, but only for non-deterministic initial datum. We develop their rigidity result to the case of nonconstant states and combine this with a compression wave solution evolving into infinitely many weak solutions, constructed by Chiodaroli, De Lellis, and Kreml. Hereby, we show that there exist infinitely many generalized measure-valued solutions to the two-dimensional isentropic Euler system with quadratic pressure law, which behave deterministically up to a certain time and which cannot be generated by weak solutions with bounded energy or by vanishing viscosity sequences.


title: Asymptotic properties of Bernstein estimators on the simplex

abstract: Bernstein estimators are well-known to avoid the boundary bias problem of traditional kernel estimators. The theoretical properties of these estimators have been studied extensively on compact intervals and hypercubes, but never on the simplex, except for the mean squared error of the density estimator in Tenbusch (1994) when $d = 2$. The simplex is an important case as it is the natural domain of compositional data. In this paper, we make an effort to prove several asymptotic results (bias, variance, mean squared error (MSE), mean integrated squared error (MISE), asymptotic normality, uniform strong consistency) for Bernstein estimators of cumulative distribution functions and density functions on the $d$-dimensional simplex. Our results generalize the ones in Leblanc (2012) and Babu et al. (2002), who treated the case $d = 1$, and significantly extend those found in Tenbusch (1994). In particular, our rates of convergence for the MSE and MISE are optimal.


title: Traffic Prediction and Random Access Control Optimization: Learning and Non-learning based Approaches

abstract: Random access schemes in modern wireless communications are generally based on the framed-ALOHA (f-ALOHA), which can be optimized by flexibly organizing devices' transmission and re-transmission. However, this optimization is generally intractable due to the lack of information about complex traffic generation statistics and the occurrence of the random collision. In this article, we first summarize the general structure of access control optimization for different random access schemes, and then review the existing access control optimization based on Machine Learning (ML) and non-ML techniques. We demonstrate that the ML-based methods can better optimize the access control problem compared with non-ML based methods, due to their capability in solving high complexity long-term optimization problem and learning experiential knowledge from reality. To further improve the random access performance, we propose two-step learning optimizers for access control optimization, which individually execute the traffic prediction and the access control configuration. In detail, our traffic prediction method relies on online supervised learning adopting Recurrent Neural Networks (RNNs) that can accurately capture traffic statistics over consecutive frames, and the access control configuration can use either a non-ML based controller or a cooperatively trained Deep Reinforcement Learning (DRL) based controller depending on the complexity of different random access schemes. Numerical results show that the proposed two-step cooperative learning optimizer considerably outperforms the conventional Deep Q-Network (DQN) in terms of higher training efficiency and better access performance.


title: Determinantal Point Processes, Stochastic Log-Gases, and Beyond

abstract: A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures, whose correlation functions are all given by determinants specified by an integral kernel called the correlation kernel. First we show our new scheme of DPPs in which a notion of partial isometies between a pair of Hilbert spaces plays an important role. Many examples of DPPs in one-, two-, and higher-dimensional spaces are demonstrated, where several types of weak convergence from finite DPPs to infinite DPPs are given. Dynamical extensions of DPP are realized in one-dimensional systems of diffusive particles conditioned never to collide with each other. They are regarded as one-dimensional stochastic log-gases, or the two-dimensional Coulomb gases confined in one-dimensional spaces. In the second section, we consider such interacting particle systems in one dimension. We introduce a notion of determinantal martingale and prove that, if the system has determinantal martingale representation (DMR), then it is a determinantal stochastic process (DSP) in the sense that all spatio-temporal correlation function are expressed by a determinant. In the last section, we construct processes of Gaussian free fields (GFFs) on simply connected proper subdomains of $\mathbb{C}$ coupled with interacting particle systems defined on boundaries of the domains. There we use multiple Schramm--Loewner evolutions (SLEs) driven by the interacting particle systems. We prove that, if the driving processes are time-changes of the log-gases studied in the second section, then the obtained GFF with multiple SLEs are stationary. The stationarity defines an equivalence relation of GFFs, which will be regarded as a generalization of the imaginary surface studied by Miller and Sheffield.

categories: math.PR cond-mat.stat-mech math-ph math.MP nlin.SI


title: Fixed-Parameter Tractability of the Weighted Edge Clique Partition Problem

abstract: We develop an FPT algorithm and a bi-kernel for the Weighted Edge Clique Partition (WECP) problem, where a graph with $n$ vertices and integer edge weights is given together with an integer $k$, and the aim is to find $k$ cliques, such that every edge appears in exactly as many cliques as its weight. The problem has been previously only studied in the unweighted version called Edge Clique Partition (ECP), where the edges need to be partitioned into $k$ cliques. It was shown that ECP admits a kernel with~$k^2$ vertices [Mujuni and Rosamond, 2008], but this kernel does not extend to WECP. The previously fastest algorithm known for ECP has a runtime of $2^{\mathcal{O}(k^2)}n^{O(1)}$ [Issac, 2019]. For WECP we develop a bi-kernel with $4^k$ vertices, and an algorithm with runtime $2^{\mathcal{O}(k^{3/2}w^{1/2}\log(k/w))}n^{O(1)}$, where $w$ is the maximum edge weight. The latter in particular improves the runtime for ECP to~$2^{\mathcal{O}(k^{3/2}\log k)}n^{O(1)}$.


title: Direct comparison of sterile neutrino constraints from cosmological data, $\nu_{e}$ disappearance data and $\nu_{\mu}\rightarrow\nu_{e}$ appearance data in a $3+1$ model

abstract: We present a quantitative, direct comparison of constraints on sterile neutrinos derived from neutrino oscillation experiments and from Planck data, interpreted assuming standard cosmological evolution. We extend a $1+1$ model, which is used to compare exclusions contours at the 95% CL derived from Planck data to those from $\nu_{e}$-disappearance measurements, to a $3+1$ model. This allows us to compare the Planck constraints with those obtained through $\nu_{\mu}\rightarrow\nu_{e}$ appearance searches, which are sensitive to more than one active-sterile mixing angle. We find that the cosmological data fully exclude the allowed regions published by the LSND, MiniBooNE and Neutrino-4 collaborations, and those from the gallium and rector anomalies, at the 95% CL. Compared to the exclusion regions from the Daya Bay $\nu_{e}$-disappearance search, the Planck data are more strongly excluding above $|\Delta m^{2}_{41}|\approx 0.1\, \mathrm{eV}^{2}$ and $m_\mathrm{eff}^\mathrm{sterile}\approx 0.2\, \mathrm{eV}$, with the Daya Bay exclusion being stronger below these values. Compared to the combined Daya Bay/Bugey/MINOS exclusion region on $\nu_{\mu}\rightarrow\nu_{e}$ appearance, the Planck data is more strongly excluding above $\Delta m^{2}_{41}\approx 5\times 10^{-2}\,\mathrm{eV}^{2}$, with the exclusion strengths of the Planck data and the Daya Bay/Bugey/MINOS combination becoming comparable below this value.


title: Blockchain using Proof-of-Interaction

abstract: This paper we define a new Puzzle called Proof-of-Interaction and we show how it can replace, in the Bitcoin protocol, the Proof-of-Work algorithm.


title: Sampling in Software Engineering Research: A Critical Review and Guidelines

abstract: Representative sampling appears rare in empirical software engineering research. Not all studies need representative samples, but a general lack of representative sampling undermines a scientific field. This article therefore reports a critical review of the state of sampling in recent, high-quality software engineering research. The key findings are: (1) random sampling is rare; (2) sophisticated sampling strategies are very rare; (3) sampling, representativeness and randomness often appear misunderstood. These findings suggest that software engineering research has a generalizability crisis. To address these problems, this paper synthesizes existing knowledge of sampling into a succinct primer and proposes extensive guidelines for improving the conduct, presentation and evaluation of sampling in software engineering research. It is further recommended that while researchers should strive for more representative samples, disparaging non-probability sampling is generally capricious and particularly misguided for predominately qualitative research.


title: Cool Outflows in Galaxies and their Implications

abstract: Neutral-atomic and molecular outflows are a common occurrence in galaxies, near and far. They operate over the full extent of their galaxy hosts, from the innermost regions of galactic nuclei to the outermost reaches of galaxy halos. They carry a substantial amount of material that would otherwise have been used to form new stars. These cool outflows may have a profound impact on the evolution of their host galaxies and environments. This article provides an overview of the basic physics of cool outflows, a comprehensive assessment of the observational techniques and diagnostic tools used to characterize them, a detailed description of the best-studied cases, and a more general discussion of the statistical properties of these outflows in the local and distant universe. The remaining outstanding issues that have not yet been resolved are summarized at the end of the review to inspire new research directions.


title: Learning Bijective Feature Maps for Linear ICA

abstract: Separating high-dimensional data like images into independent latent factors, i.e independent component analysis (ICA), remains an open research problem. As we show, existing probabilistic deep generative models (DGMs), which are tailor-made for image data, underperform on non-linear ICA tasks. To address this, we propose a DGM which combines bijective feature maps with a linear ICA model to learn interpretable latent structures for high-dimensional data. Given the complexities of jointly training such a hybrid model, we introduce novel theory that constrains linear ICA to lie close to the manifold of orthogonal rectangular matrices, the Stiefel manifold. By doing so we create models that converge quickly, are easy to train, and achieve better unsupervised latent factor discovery than flow-based models, linear ICA, and Variational Autoencoders on images.


title: Learning by Semantic Similarity Makes Abstractive Summarization Better

abstract: By harnessing pre-trained language models, summarization models had rapid progress recently. However, the models are mainly assessed by automatic evaluation metrics such as ROUGE. Although ROUGE is known for having a positive correlation with human evaluation scores, it has been criticized for its vulnerability and the gap between actual qualities. In this paper, we compare the generated summaries from recent LM, BART, and the reference summaries from a benchmark dataset, CNN/DM, using a crowd-sourced human evaluation metric. Interestingly, model-generated summaries receive higher scores relative to reference summaries. Stemming from our experimental results, we first argue the intrinsic characteristics of the CNN/DM dataset, the progress of pre-trained language models, and their ability to generalize on the training data. Finally, we share our insights into the model-generated summaries and presents our thought on learning methods for abstractive summarization.


title: Relationship between the visibility of political leaders during campaign and the outcome in general elections. A case study for Spain

abstract: In this article, the authors find the evidence that media coverage consisting of 13 online newspapers enhanced the electoral results of right wing party in Spain (Vox) during general elections in November 2019. We consider the political parties and leaders mentions in these media during the electoral campaign from 1st to 10th November 2019, and only visibility or prominence dimension is necessary for the evidence.


title: High-speed KATAN Ciphers on-a-Chip

abstract: Security in embedded systems has become a main requirement in modern electronic devices. The demand for low-cost and highly secure cryptographic algorithms is increasingly growing in fields such as mobile telecommunications, handheld devices, etc. In this paper, we analyze and evaluate the development of cheap and relatively fast hardware implementations of the KATAN family of block ciphers. KATAN is a family of six hardware oriented block ciphers. All KATAN ciphers share an 80-bit key and have 32, 48, or 64-bit blocks. We use VHDL under Altera Quartus in conjunction with ModelSim to implement and analyze our hardware designs. The developed designs are mapped onto high-performance Field Programmable Gate Arrays. We compare our findings with similar hardware implementations and C software versions of the algorithms. The performance analysis of the C implementations is done using Intel Vtune Amplifier running on Dell precision T7500 with its dual quad-core Xeon processor and 24 GB of RAM. The obtained results show better performance when compared with existing hardware and software implementations.


title: ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

abstract: We present ConSORT, a type system for safety verification in the presence of mutability and aliasing. Mutability requires strong updates to model changing invariants during program execution, but aliasing between pointers makes it difficult to determine which invariants must be updated in response to mutation. Our type system addresses this difficulty with a novel combination of refinement types and fractional ownership types. Fractional ownership types provide flow-sensitive and precise aliasing information for reference variables. ConSORT interprets this ownership information to soundly handle strong updates of potentially aliased references. We have proved ConSORT sound and implemented a prototype, fully automated inference tool. We evaluated our tool and found it verifies non-trivial programs including data structure implementations.


title: Point process convergence for the off-diagonal entries of sample covariance matrices

abstract: We study point process convergence for sequences of iid random walks. The objective is to derive asymptotic theory for the extremes of these random walks. We show convergence of the maximum random walk to the Gumbel distribution under the existence of a $(2+\delta)$th moment. We make heavily use of precise large deviation results for sums of iid random variables. As a consequence, we derive the joint convergence of the off-diagonal entries in sample covariance and correlation matrices of a high-dimensional sample whose dimension increases with the sample size. This generalizes known results on the asymptotic Gumbel property of the largest entry.


title: The Tree Ensemble Layer: Differentiability meets Conditional Computation

abstract: Neural networks and tree ensembles are state-of-the-art learners, each with its unique statistical and computational advantages. We aim to combine these advantages by introducing a new layer for neural networks, composed of an ensemble of differentiable decision trees (a.k.a. soft trees). While differentiable trees demonstrate promising results in the literature, they are typically slow in training and inference as they do not support conditional computation. We mitigate this issue by introducing a new sparse activation function for sample routing, and implement true conditional computation by developing specialized forward and backward propagation algorithms that exploit sparsity. Our efficient algorithms pave the way for jointly training over deep and wide tree ensembles using first-order methods (e.g., SGD). Experiments on 23 classification datasets indicate over 10x speed-ups compared to the differentiable trees used in the literature and over 20x reduction in the number of parameters compared to gradient boosted trees, while maintaining competitive performance. Moreover, experiments on CIFAR, MNIST, and Fashion MNIST indicate that replacing dense layers in CNNs with our tree layer reduces the test loss by 7-53% and the number of parameters by 8x. We provide an open-source TensorFlow implementation with a Keras API.


title: Regularized Periods and the global Gan-Gross-Prasad conjecture : The case of $U(n+2r) \times U(n)$

abstract: In this paper, we introduce regularized trilinear periods on certain non-reductive groups. It has two direct applications. Firstly, it enables us to define the regularized Bessel periods and the regularized Fourier-Jacobi periods for all classical and metaplectic groups. Secondly, by using the properties of the regularized Fourier-Jacobi periods, we can prove one direction of the full Gan-Gross-Prasad conjecture on skew-hermitian unitary groups.


title: Estimating the travel time and the most likely path from Lagrangian drifters

abstract: We provide a novel methodology for computing the most likely path taken by drifters between arbitrary fixed locations in the ocean. We also provide an estimate of the travel time associated with this path. Lagrangian pathways and travel times are of practical value not just in understanding surface velocities, but also in modelling the transport of ocean-borne species such as planktonic organisms, and floating debris such as plastics. In particular, the estimated travel time can be used to compute an estimated Lagrangian distance, which is often more informative than Euclidean distance in understanding connectivity between locations. Our methodology is purely data-driven, and requires no simulations of drifter trajectories, in contrast to existing approaches. Our method scales globally and can simultaneously handle multiple locations in the ocean. Furthermore, we provide estimates of the error and uncertainty associated with both the most likely path and the associated travel time.

categories: stat.AP physics.ao-ph physics.data-an physics.flu-dyn stat.CO


title: An enhanced Tree-LSTM architecture for sentence semantic modeling using typed dependencies

abstract: Tree-based Long short term memory (LSTM) network has become state-of-the-art for modeling the meaning of language texts as they can effectively exploit the grammatical syntax and thereby non-linear dependencies among words of the sentence. However, most of these models cannot recognize the difference in meaning caused by a change in semantic roles of words or phrases because they do not acknowledge the type of grammatical relations, also known as typed dependencies, in sentence structure. This paper proposes an enhanced LSTM architecture, called relation gated LSTM, which can model the relationship between two inputs of a sequence using a control input. We also introduce a Tree-LSTM model called Typed Dependency Tree-LSTM that uses the sentence dependency parse structure as well as the dependency type to embed sentence meaning into a dense vector. The proposed model outperformed its type-unaware counterpart in two typical NLP tasks - Semantic Relatedness Scoring and Sentiment Analysis, in a lesser number of training epochs. The results were comparable or competitive with other state-of-the-art models. Qualitative analysis showed that changes in the voice of sentences had little effect on the model's predicted scores, while changes in nominal (noun) words had a more significant impact. The model recognized subtle semantic relationships in sentence pairs. The magnitudes of learned typed dependencies embeddings were also in agreement with human intuitions. The research findings imply the significance of grammatical relations in sentence modeling. The proposed models would serve as a base for future researches in this direction.


title: Two-Loop QCD-EW Master Integrals for Z Plus Jet Production at Large Transverse Momentum

abstract: The production of electroweak $Z$ bosons that decay to neutrinos and recoil against jets with large transverse momentum $p_\perp$ is an important background process to searches for dark matter at the Large Hadron Collider (LHC). To fully benefit from opportunities offered by the future high-luminosity LHC, the theoretical description of the $pp \to Z+j$ process should be extended to include mixed QCD-electroweak corrections. The goal of this paper is to initiate the computation of such corrections starting with the calculation of the Feynman integrals needed to describe two-loop QCD-electroweak contributions to $q \bar q \to Z+g$ scattering amplitudes. Making use of the hierarchy between the large transverse momenta of the recoiling jet, relevant for heavy dark matter searches, and the $Z$ boson mass $m_{Z}$, we present the relevant master integrals as a series expansion in $m_{Z}/p_\perp$.


title: Deep Learning Approaches for Open Set Wireless Transmitter Authorization

abstract: Wireless signals contain transmitter specific features, which can be used to verify the identity of transmitters and assist in implementing an authentication and authorization system. Most recently, there has been wide interest in using deep learning for transmitter identification. However, the existing deep learning work has posed the problem as closed set classification, where a neural network classifies among a finite set of known transmitters. No matter how large this set is, it will not include all transmitters that exist. Malicious transmitters outside this closed set, once within communications range, can jeopardize the system security. In this paper, we propose a deep learning approach for transmitter authorization based on open set recognition. Our proposed approach identifies a set of authorized transmitters, while rejecting any other unseen transmitters by recognizing their signals as outliers. We propose three approaches for this problem and show their ability to reject signals from unauthorized transmitters on a dataset of WiFi captures. We consider the structure of training data needed, and we show that the accuracy improves by having signals from known unauthorized transmitters in the training set.


title: Reconciliation for Practical Quantum Key Distribution with BB84 protocol

abstract: This paper investigates a new information reconciliation method for quantum key distribution in the case where two parties exchange key in the presence of a malevolent eavesdropper. We have observed that reconciliation is a special case of channel coding and for that existing techniques can be adapted for reconciliation. We describe an explicit reconciliation method based on Turbo codes. We believe that the proposed method can improve the efficiency of quantum key distribution protocols based on discrete quantum states.


title: Majorana-like localized spin density without bound states in topologically trivial spin-orbit coupled nanowires

abstract: In the topological phase of spin-orbit coupled nanowires Majorana bound states are known to localize at the nanowire edges and to exhibit a spin density orthogonal to both the magnetic field and the spin-orbit field. By investigating a nanowire exposed to a uniform magnetic field with an interface between regions with different spin-orbit couplings, we find that the orthogonal spin density is pinned at the interface even when both interface sides are in the topologically trivial phase, and even when no bound state is present at all. A trivial bound state may additionally appear at the interface, especially if the spin-orbit coupling takes opposite signs across the interface. However, it can be destroyed by a smoothening of the spin-orbit profile or by a magnetic field component parallel to the spin-orbit field. In contrast, the orthogonal spin density persists in various and realistic parameter ranges. We also show that, while the measurement of bulk equilibrium spin currents has been elusive so far, such robust orthogonal spin density peak may provide a way to detect spin current variations across interfaces.


title: Evidence of an evolved nature of MWC 349A

abstract: The Galactic emission-line object MWC 349A is one of the brightest radio stars in the sky. The central object is embedded in an almost edge-on oriented Keplerian rotating thick disc that seems to drive a rotating bipolar wind. The dense disc is also the site of hot molecular emission such as the CO bands with its prominent band heads in the near-infrared spectral range. Despite numerous studies, the nature of MWC 349A is still controversial with classifications ranging from a pre-main sequence object to an evolved supergiant. We collected new high-resolution near-infrared spectra in the K- and L-bands using the GNIRS spectrograph at Gemini-North to study the molecular disc of MWC 349A, and in particular to search for other molecular species such as SiO and the isotope 13CO. The amount of 13CO, obtained from the 12CO/13CO ratio, is recognized as an excellent tool to discriminate between pre-main sequence and evolved massive stars. We find no signatures of SiO band emission, but detect CO band emission with considerably lower intensity and CO gas temperature compared to previous observations. Moreover, from detailed modelling of the emission spectrum, we derive an isotope ratio of 12CO/13CO = 4 +- 1. Based on this significant enrichment of the circumstellar environment in 13CO we conclude that MWC 349A belongs to the group of B[e] supergiants, and we discuss possible reasons for the drop in CO intensity.


title: How many inflections are there in the Lyapunov spectrum?

abstract: Iommi & Kiwi showed that the Lyapunov spectrum of an expanding map need not be concave, and posed various problems concerning the possible number of inflection points. In this paper we answer a conjecture of Iommi & Kiwi by proving that the Lyapunov spectrum of a two branch piecewise linear map has at most two points of inflection. We then answer a question of Iommi & Kiwi by proving that there exist finite branch piecewise linear maps whose Lyapunov spectra have arbitrarily many points of inflection. This approach is used to exhibit a countable branch piecewise linear map whose Lyapunov spectrum has infinitely many points of inflection.


title: An Efficient Framework for Balancing Submodularity and Cost

abstract: In the classical selection problem, the input consists of a collection of elements and the goal is to pick a subset of elements from the collection such that some objective function $f$ is maximized. This problem has been studied extensively in the data-mining community and it has multiple applications including influence maximization in social networks, team formation and recommender systems. A particularly popular formulation that captures the needs of many such applications is one where the objective function $f$ is a monotone and non-negative submodular function. In these cases, the corresponding computational problem can be solved using a simple greedy $(1-\frac{1}{e})$-approximation algorithm. In this paper, we consider a generalization of the above formulation where the goal is to optimize a function that maximizes the submodular function $f$ minus a linear cost function $c$. This formulation appears as a more natural one, particularly when one needs to strike a balance between the value of the objective function and the cost being paid in order to pick the selected elements. We address variants of this problem both in an offline setting, where the collection is known a priori, as well as in online settings, where the elements of the collection arrive in an online fashion. We demonstrate that by using simple variants of the standard greedy algorithm (used for submodular optimization) we can design algorithms that have provable approximation guarantees, are extremely efficient and work very well in practice.


title: Dynamic percolation of ferromagnetic regions in phase separated manganites using non-uniform electric fields

abstract: Thin films of the manganite (La$_{1-y}$Pr$_y$)$_{1-x}$Ca$_x$MnO$_3$ exhibit dynamic phase coexistence with micrometer scale, fluid-like ferromagnetic metallic (FMM) regions interspersed in a charge-order insulating (COI) background. It has been previously reported that a uniform electric field realigns the fluid-like FMM regions due to a phenomenon similar to dielectrophoresis. Here we report that non-uniform electric fields have a stronger effect on the FMM regions as expected from the dielectrophoresis model. The dynamic percolation of the FMM regions is observed over a wider range of temperatures compared to the results in a uniform field. Additionally, in a non-uniform electric field, the time required for dynamic percolation along the magnetic hard axis ($t_{\mathrm{B}}$) decreased with increasing applied voltage ($V_{\mathrm{A}}$) as a power law, $V_{\mathrm{A}}^{-\delta}$ with $\delta \approx 5$ while $\delta < 2$ for a uniform electric field. Our results in a non-uniform electric field provide strong evidence in favor of the dielectrophoresis model and a unique method for manipulating micrometer-sized ferromagnetic regions using electric fields.


title: k-means++: few more steps yield constant approximation

abstract: The k-means++ algorithm of Arthur and Vassilvitskii (SODA 2007) is a state-of-the-art algorithm for solving the k-means clustering problem and is known to give an O(log k)-approximation in expectation. Recently, Lattanzi and Sohler (ICML 2019) proposed augmenting k-means++ with O(k log log k) local search steps to yield a constant approximation (in expectation) to the k-means clustering problem. In this paper, we improve their analysis to show that, for any arbitrarily small constant $\eps > 0$, with only $\eps k$ additional local search steps, one can achieve a constant approximation guarantee (with high probability in k), resolving an open problem in their paper.


title: Turbulent cascades in a truncation of the cubic Szego equation and related systems

abstract: The cubic Szego equation has been studied as an integrable model for deterministic turbulence, starting with the foundational work of Gerard and Grellier. We introduce a truncated version of this equation, wherein a majority of the Fourier mode couplings are eliminated while the signature features of the model are preserved, namely, a Lax-pair structure and a nested hierarchy of finite-dimensional dynamically invariant manifolds. Despite the impoverished structure of the interactions, the turbulent behaviors of our new equation are stronger in an appropriate sense than for the original cubic Szego equation. We construct explicit analytic solutions displaying exponential growth of Sobolev norms. We furthermore introduce a family of models that interpolate between our truncated system and the original cubic Szego equation, along with a few other related deformations. All of these models possess Lax pairs, invariant manifolds, and display a variety of turbulent cascades. We additionally mention numerical evidence that shows an even stronger type of turbulence in the form of a finite-time blow-up in some different, closely related dynamical systems.


title: Investigating Potential Factors Associated with Gender Discrimination in Collaborative Recommender Systems

abstract: The proliferation of personalized recommendation technologies has raised concerns about discrepancies in their recommendation performance across different genders, age groups, and racial or ethnic populations. This varying degree of performance could impact users' trust in the system and may pose legal and ethical issues in domains where fairness and equity are critical concerns, like job recommendation. In this paper, we investigate several potential factors that could be associated with discriminatory performance of a recommendation algorithm for women versus men. We specifically study several characteristics of user profiles and analyze their possible associations with disparate behavior of the system towards different genders. These characteristics include the anomaly in rating behavior, the entropy of users' profiles, and the users' profile size. Our experimental results on a public dataset using four recommendation algorithms show that, based on all the three mentioned factors, women get less accurate recommendations than men indicating an unfair nature of recommendation algorithms across genders.


title: On real resonances for three-dimensional Schr\"odinger operators with point interactions

abstract: We prove the absence of positive real resonances for Schr\"odinger operators with finitely many point interactions in $\mathbb{R}^3$ and we discuss such a property from the perspective of dispersive and scattering features of the associated Schr\"odinger propagator.


title: Multi-Issue Bargaining With Deep Reinforcement Learning

abstract: Negotiation is a process where agents aim to work through disputes and maximize their surplus. As the use of deep reinforcement learning in bargaining games is unexplored, this paper evaluates its ability to exploit, adapt, and cooperate to produce fair outcomes. Two actor-critic networks were trained for the bidding and acceptance strategy, against time-based agents, behavior-based agents, and through self-play. Gameplay against these agents reveals three key findings. 1) Neural agents learn to exploit time-based agents, achieving clear transitions in decision preference values. The Cauchy distribution emerges as suitable for sampling offers, due to its peaky center and heavy tails. The kurtosis and variance sensitivity of the probability distributions used for continuous control produce trade-offs in exploration and exploitation. 2) Neural agents demonstrate adaptive behavior against different combinations of concession, discount factors, and behavior-based strategies. 3) Most importantly, neural agents learn to cooperate with other behavior-based agents, in certain cases utilizing non-credible threats to force fairer results. This bears similarities with reputation-based strategies in the evolutionary dynamics, and departs from equilibria in classical game theory.


title: Elitism in Mathematics and Inequality

abstract: The Fields Medal, often referred as the Nobel Prize of mathematics, is awarded to no more than four mathematician under the age of 40, every four years. In recent years, its conferral has come under scrutiny of math historians, for rewarding the existing elite rather than its original goal of elevating mathematicians from under-represented communities. Prior studies of elitism focus on citational practices and sub-fields; the structural forces that prevent equitable access remain unclear. Here we show the flow of elite mathematicians between countries and lingo-ethnic identity, using network analysis and natural language processing on 240,000 mathematicians and their advisor-advisee relationships. We found that the Fields Medal helped integrate Japan after WWII, through analysis of the elite circle formed around Fields Medalists. Arabic, African, and East Asian identities remain under-represented at the elite level. Through analysis of inflow and outflow, we rebuts the myth that minority communities create their own barriers to entry. Our results demonstrate concerted efforts by international academic committees, such as prize-giving, are a powerful force to give equal access. We anticipate our methodology of academic genealogical analysis can serve as a useful diagnostic for equality within academic fields.


title: Long-range rhombohedral-stacked graphene through shear

abstract: The discovery of superconductivity and correlated electronic states in the flat bands of twisted bilayer graphene has raised a lot of excitement. Flat bands also occur in multilayer graphene flakes that present rhombohedral (ABC) stacking order on many consecutive layers. Although Bernal-stacked (AB) graphene is more stable, long-range ABC-ordered flakes involving up to 50 layers have been surprisingly observed in natural samples. Here we present a microscopic atomistic model, based on first-principles density functional theory calculations, that demonstrates how shear stress can produce long-range ABC order. A stress-angle phase diagram shows under which conditions ABC-stacked graphene can be obtained, providing an experimental guide for its synthesis.


title: A flexible outlier detector based on a topology given by graph communities

abstract: Outlier, or anomaly, detection is essential for optimal performance of machine learning methods and statistical predictive models. It is not just a technical step in a data cleaning process but a key topic in many fields such as fraudulent document detection, in medical applications and assisted diagnosis systems or detecting security threats. In contrast to population-based methods, neighborhood based local approaches are simple flexible methods that have the potential to perform well in small sample size unbalanced problems. However, a main concern of local approaches is the impact that the computation of each sample neighborhood has on the method performance. Most approaches use a distance in the feature space to define a single neighborhood that requires careful selection of several parameters. This work presents a local approach based on a local measure of the heterogeneity of sample labels in the feature space considered as a topological manifold. Topology is computed using the communities of a weighted graph codifying mutual nearest neighbors in the feature space. This way, we provide with a set of multiple neighborhoods able to describe the structure of complex spaces without parameter fine tuning. The extensive experiments on real-world data sets show that our approach overall outperforms, both, local and global strategies in multi and single view settings.


title: The poset of all logics II: Leibniz classes and hierarchy

abstract: A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz hierarchy. In particular, it is proved that the classes of truth-equational and assertional logics are meet-prime in the Leibniz hierarchy, while the classes of protoalgebraic and equivalential logics are meet-reducible. However, the last two classes are shown to be determined by Leibniz conditions consisting of meet-prime logics only.


title: MAST: A Memory-Augmented Self-supervised Tracker

abstract: Recent interest in self-supervised dense tracking has yielded rapid progress, but performance still remains far from supervised methods. We propose a dense tracking model trained on videos without any annotations that surpasses previous self-supervised methods on existing benchmarks by a significant margin (+15%), and achieves performance comparable to supervised methods. In this paper, we first reassess the traditional choices used for self-supervised training and reconstruction loss by conducting thorough experiments that finally elucidate the optimal choices. Second, we further improve on existing methods by augmenting our architecture with a crucial memory component. Third, we benchmark on large-scale semi-supervised video object segmentation(aka. dense tracking), and propose a new metric: generalizability. Our first two contributions yield a self-supervised network that for the first time is competitive with supervised methods on standard evaluation metrics of dense tracking. When measuring generalizability, we show self-supervised approaches are actually superior to the majority of supervised methods. We believe this new generalizability metric can better capture the real-world use-cases for dense tracking, and will spur new interest in this research direction.


title: Effective field theory interactions for liquid argon target in DarkSide-50 experiment

abstract: We reanalize data collected with the DarkSide-50 experiment and recently used to set limits on the spin-independent interaction rate of weakly interacting massive particles (WIMPs) on argon nuclei with an effective field theory framework. The dataset corresponds to a total (16660 $\pm$ 270) kg d exposure using a target of low-radioactivity argon extracted from underground sources. We obtain upper limits on the effective couplings of the 12 leading operators in the nonrelativistic systematic expansion. For each effective coupling we set constraints on WIMP-nucleon cross sections, setting upper limits between $2.4 \times 10^{-45} \, \mathrm{cm}^2$ and $2.3 \times 10^{-42} \, \mathrm{cm}^2$ (8.9 $\times 10^{-45} \, \mathrm{cm}^2$ and 6.0 $\times 10^{-42} \, \mathrm{cm}^2$) for WIMPs of mass of 100 $\mathrm{GeV/c^2}$ (1000 $\mathrm{GeV/c^2}$) at 90\% confidence level.


title: Verified Instruction-Level Energy Consumption Measurement for NVIDIA GPUs

abstract: GPUs are prevalent in modern computing systems at all scales. They consume a significant fraction of the energy in these systems. However, vendors do not publish the actual cost of the power/energy overhead of their internal microarchitecture. In this paper, we accurately measure the energy consumption of various PTX instructions found in modern NVIDIA GPUs. We provide an exhaustive comparison of more than 40 instructions for four high-end NVIDIA GPUs from four different generations (Maxwell, Pascal, Volta, and Turing). Furthermore, we show the effect of the CUDA compiler optimizations on the energy consumption of each instruction. We use three different software techniques to read the GPU on-chip power sensors, which use NVIDIA's NVML API and provide an in-depth comparison between these techniques. Additionally, we verified the software measurement techniques against a custom-designed hardware power measurement. The results show that Volta GPUs have the best energy efficiency of all the other generations for the different categories of the instructions. This work should aid in understanding NVIDIA GPUs' microarchitecture. It should also make energy measurements of any GPU kernel both efficient and accurate.


title: Log-concavity results for a biparametric and an elliptic extension of the $q$-binomial coefficients

abstract: We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Tur\'an's inequality.


title: Probabilistically Faulty Searching on a Half-Line

abstract: We study $p$-Faulty Search, a variant of the classic cow-path optimization problem, where a unit speed robot searches the half-line (or $1$-ray) for a hidden item. The searcher is probabilistically faulty, and detection of the item with each visitation is an independent Bernoulli trial whose probability of success $p$ is known. The objective is to minimize the worst case expected detection time, relative to the distance of the hidden item to the origin. A variation of the same problem was first proposed by Gal in 1980. Then in 2003, Alpern and Gal [The Theory of Search Games and Rendezvous] proposed a so-called monotone solution for searching the line ($2$-rays); that is, a trajectory in which the newly searched space increases monotonically in each ray and in each iteration. Moreover, they conjectured that an optimal trajectory for the $2$-rays problem must be monotone. We disprove this conjecture when the search domain is the half-line ($1$-ray). We provide a lower bound for all monotone algorithms, which we also match with an upper bound. Our main contribution is the design and analysis of a sequence of refined search strategies, outside the family of monotone algorithms, which we call $t$-sub-monotone algorithms. Such algorithms induce performance that is strictly decreasing with $t$, and for all $p \in (0,1)$. The value of $t$ quantifies, in a certain sense, how much our algorithms deviate from being monotone, demonstrating that monotone algorithms are sub-optimal when searching the half-line.


title: Conditional Adversarial Camera Model Anonymization

abstract: The model of camera that was used to capture a particular photographic image (model attribution) is typically inferred from high-frequency model-specific artifacts present within the image. Model anonymization is the process of transforming these artifacts such that the apparent capture model is changed. We propose a conditional adversarial approach for learning such transformations. In contrast to previous works, we cast model anonymization as the process of transforming both high and low spatial frequency information. We augment the objective with the loss from a pre-trained dual-stream model attribution classifier, which constrains the generative network to transform the full range of artifacts. Quantitative comparisons demonstrate the efficacy of our framework in a restrictive non-interactive black-box setting.


title: Polynomial Time Algorithms for Tracking Path Problems

abstract: Given a graph $G$, and terminal vertices $s$ and $t$, the TRACKING PATHS problem asks to compute a minimum number of vertices to be marked as trackers, such that the sequence of trackers encountered in each s-t path is unique. TRACKING PATHS is NP-hard in both directed and undirected graphs in general. In this paper we give a collection of polynomial time algorithms for some restricted versions of TRACKING PATHS. We prove that TRACKING PATHS is polynomial time solvable for chordal graphs and tournament graphs. We prove that TRACKING PATHS is NP-hard in graphs with bounded maximum degree $\delta\geq 6$, and give a $2(\delta+1)$-approximate algorithm for the same. We also analyze the version of tracking s-t paths where paths are tracked using edges instead of vertices, and we give a polynomial time algorithm for the same. Finally, we show how to reconstruct an s-t path, given a sequence of trackers and a tracking set for the graph in consideration.


title: Dynamic Graph Algorithms with Batch Updates in the Massively Parallel Computation Model

abstract: We study dynamic graph algorithms in the Massively Parallel Computation model, which was inspired by practical data processing systems. Our goal is to provide algorithms that can efficiently handle large batches of edge insertions and deletions. We show algorithms that require fewer rounds to update a solution to problems such as Minimum Spanning Forest, 2-Edge Connected Components, and Maximal Matching than would be required by their static counterparts to compute it from scratch. They work in the most restrictive memory regime, in which local memory per machine is strongly sublinear in the number of graph vertices. Improving on the size of the batch they can handle efficiently would improve on the round complexity of known static algorithms on sparse graphs. Our algorithms can process batches of updates of size $\Theta(S)$, for Minimum Spanning Forest and 2-Edge Connected Components, and $\Theta(S^{1-\varepsilon})$, for Maximal Matching, in $O(1)$ rounds, where $S$ is the local memory of a single machine.


title: Noncommutative free universal monodromy, pluriharmonic conjugates, and plurisubharmonicity

abstract: We show that the monodromy theorem holds on arbitrary connected free sets for noncommutative free analytic functions. Applications are numerous-- pluriharmonic free functions have globally defined pluriharmonic conjugates, locally invertible functions are globally invertible, and there is no nontrivial cohomology theory arising from analytic continuation on connected free sets. We describe why the Baker-Campbell-Hausdorff formula has finite radius of convergence in terms of monodromy, and solve a related problem of Martin-Shamovich. We generalize the Dym-Helton-Klep-McCullough-Volcic theorem-- a uniformly real analytic free noncommutative function is plurisubharmonic if and only if it can be written as a composition of a convex function with an analytic function. The decomposition is essentially unique. The result is first established locally, and then Free Universal Monodromy implies the global result. Moreover, we see that plurisubharmonicity is a geometric property-- a real analytic free function plurisubharmonic on a neighborhood is plurisubharmonic on the whole domain. We give an analytic Greene-Liouville theorem, an entire free plurisubharmonic function is a sum of hereditary and antihereditary squares.


title: Ruling Out the Massless Up-Quark Solution to the Strong CP Problem by Computing the Topological Mass Contribution with Lattice QCD

abstract: The infamous strong CP problem in particle physics can in principle be solved by a massless up quark. In particular, it was hypothesized that topological effects could substantially contribute to the observed nonzero up-quark mass without reintroducing CP violation. Alternatively to previous work using fits to chiral perturbation theory, in this Letter, we bound the strength of the topological mass contribution with direct lattice QCD simulations, by computing the dependence of the pion mass on the dynamical strange-quark mass. We find that the size of the topological mass contribution is inconsistent with the massless up-quark solution to the strong CP problem.


title: Latent Poisson models for networks with heterogeneous density

abstract: Empirical networks are often globally sparse, with a small average number of connections per node, when compared to the total size of the network. However, this sparsity tends not to be homogeneous, and networks can also be locally dense, for example with a few nodes connecting to a large fraction of the rest of the network, or with small groups of nodes with a large probability of connections between them. Here we show how latent Poisson models which generate hidden multigraphs can be effective at capturing this density heterogeneity, while being more tractable mathematically than some of the alternatives that model simple graphs directly. We show how these latent multigraphs can be reconstructed from data on simple graphs, and how this allows us to disentangle disassortative degree-degree correlations from the constraints of imposed degree sequences, and to improve the identification of community structure in empirically relevant scenarios.

categories: physics.soc-ph cs.LG cs.SI physics.data-an stat.ML


title: The Launching of Cold Clouds by Galaxy Outflows III: The Influence of Magnetic Fields

abstract: Motivated by observations of outflowing galaxies, we investigate the combined impact of magnetic fields and radiative cooling on the evolution of cold clouds embedded in a hot wind. We perform a collection of three-dimensional adaptive mesh refinement, magnetohydrodynamical simulations that span two resolutions, and include fields that are aligned and transverse to the oncoming, super-Alfv\'enic material. Aligned fields have little impact on the overall lifetime of the clouds over the non-magnetized case, although they do increase the mixing between the wind and cloud material by a factor of $\approx 3.$ Transverse fields lead to magnetic draping, which isolates the clouds, but they also squeeze material in the direction perpendicular to the field lines, which leads to rapid mass loss. A resolution study suggests that the magnetized simulations have somewhat better convergence properties than non-magnetized simulations, and that a resolution of 64 zones per cloud radius is sufficient to accurately describe these interactions. We conclude that the combined effects of radiative cooling and magnetic fields are dependent on field orientation, but are unlikely to enhance cloud lifetimes beyond the effect of radiative cooling alone.


title: Gravitational Wave Formation from the Collapse of Dark Energy Field Configurations

abstract: Dark Energy is the dominant component of the energy density of the universe. In a previous paper, we have shown that the collapse of dark energy fields leads to the formation of Super Massive Black Holes with masses comparable to the masses of Black Holes at the centers of galaxies. Thus it becomes a pressing issue to investigate the other physical consequences of the collapse of Dark Energy fields. Given that the primary interactions of Dark Energy fields with the rest of the Universe are gravitational, it is particularly interesting to investigate the gravitational wave signals emitted during the process of the collapse of Dark Energy fields. This is the focus of the current work described in this paper. We describe and use the 3+1 BSSN formalism to follow the evolution of the dark energy fields coupled with gravity and to extract the gravitational wave signals. Finally, we describe the results of our numerical computations and the gravitational wave signals produced as a result of the collapse of the dark energy fields.


title: Data-Driven Symbol Detection via Model-Based Machine Learning

abstract: The design of symbol detectors in digital communication systems has traditionally relied on statistical channel models that describe the relation between the transmitted symbols and the observed signal at the receiver. Here we review a data-driven framework to symbol detection design which combines machine learning (ML) and model-based algorithms. In this hybrid approach, well-known channel-model-based algorithms such as the Viterbi method, BCJR detection, and multiple-input multiple-output (MIMO) soft interference cancellation (SIC) are augmented with ML-based algorithms to remove their channel-model-dependence, allowing the receiver to learn to implement these algorithms solely from data. The resulting data-driven receivers are most suitable for systems where the underlying channel models are poorly understood, highly complex, or do not well-capture the underlying physics. Our approach is unique in that it only replaces the channel-model-based computations with dedicated neural networks that can be trained from a small amount of data, while keeping the general algorithm intact. Our results demonstrate that these techniques can yield near-optimal performance of model-based algorithms without knowing the exact channel input-output statistical relationship and in the presence of channel state information uncertainty.


title: Statistical Analysis for Component Shift in Pick and Place Process of Surface Mount Technology

abstract: The placed electronic component can shift on the wet solder paste in pick and place (P&P) process of surface mount technology (SMT). It does not usually attract much attention, because the shift is considered to be negligibly small and the following self-alignment effect in the solder paste reflow soldering process could also make it up. However, with the decreasing size of the electronic components and the increasing demand for the low defective rate of PCB, the component shift in P&P process is becoming more and more important in quality control of SMT industries. Though a few papers are related to the component shift in P&P process, there is no earlier research using the data from the real production line. In this paper, we study two basic and important issues: the behavior of the component shift in P&P process and the contributing factors to it. Several statistical methods are used to explore the behavior component shift based on the data from a complete state-of-the-art SMT assembly line. Main effects and regression analysis are implemented to pinpoint the contributing factors. In order to investigate the issues comprehensively, six types of electronic components and multiple potential factors are considered in this work, e.g., solder paste properties (position, volume, area, height), designed position of the component, placement pressure. The results indicate that component shift cannot be ignored. Also, the position of solder paste, designed position of component and component type are the top three most important factors to study the component shifts in P&P process.


title: Extremal independence old and new

abstract: On 12 February 2020 the Royal Statistical Society hosted a meeting to discuss the forthcoming paper ``Graphical models for extremes'' by Sebastian Engelke and Adrien Hitz [arXiv:1812.01734]. This short note is a supplement to my discussion contribution. It contains the proofs. It is shown that the traditional notion of extremal independence agrees with the newly introduced notion of extremal independence, which subsequently allows for a meaningful interpretation of disconnected graphs in the context of the discussion paper. The notation and references used in this note are adopted from the discussion paper.


title: Cosmology and prospects for sub-MeV dark matter in electron recoil experiments

abstract: Dark matter is poorly constrained by direct detection experiments at masses below 1 MeV. This is an important target for the next generation of experiments, and several methods have been proposed to probe this mass range. One class of such experiments will search for dark matter--electron recoils. However, simplified models with new light degrees of freedom coupled to electrons face significant pressure from cosmology, and the extent of these restrictions more generally is poorly understood. Here, we perform a systematic study of cosmological constraints on models with a heavy mediator in the context of an effective field theory. We include constraints from (i) disruption of primordial nucleosynthesis, (ii) overproduction of dark matter, and (iii) the effective number of neutrino species at recombination. We demonstrate the implications of our results for proposed electron recoil experiments, and highlight scenarios which may be amenable to direct detection.


title: Classifying sleep states using persistent homology and Markov chain: a Pilot Study

abstract: Obstructive sleep Apnea (OSA) is a form of sleep disordered breathing characterized by frequent episodes of upper airway collapse during sleep. Pediatric OSA occurs in 1-5% of children and can related to other serious health conditions such as high blood pressure, behavioral issues, or altered growth. OSA is often diagnosed by studying the patient's sleep cycle, the pattern with which they progress through various sleep states such as wakefulness, rapid eye-movement, and non-rapid eye-movement. The sleep state data is obtained using an overnight polysomnography test that the patient undergoes at a hospital or sleep clinic, where a technician manually labels each 30 second time interval, also called an "epoch", with the current sleep state. This process is laborious and prone to human error. We seek an automatic method of classifying the sleep state, as well as a method to analyze the sleep cycles. This article is a pilot study in sleep state classification using two approaches: first, we'll use methods from the field of topological data analysis to classify the sleep state and second, we'll model sleep states as a Markov chain and visually analyze the sleep patterns. In the future, we will continue to build on this work to improve our methods.


title: Collusion Attacks on Decentralized Attributed-Based Encryption: Analyses and a Solution

abstract: Attribute-based Encryption (ABE) is an information centric security solution that moves beyond traditional restrictions of point-to-point encryption by allowing for flexible, fine-grain policy-based and content-based access control that is cryptographically enforced. As the original ABE systems are managed by a single authority, several efforts have decentralized different ABE schemes to address the key escrow problem, where the authority can issue secret keys to itself to decrypt all the ciphertext. However, decentralized ABE (DABE) schemes raise the issue of collusion attacks. In this paper, we review two existing types of collusion attacks on DABE systems, and introduce a new type of collusion among authorities and data users. We show that six existing DABE systems are vulnerable to the newly introduced collusion and propose a model to secure one of the DABE schemes.


title: Testing the fidelity of simulations of black hole - galaxy co-evolution at z ~ 1.5 with observations

abstract: We examine the scaling relations between the mass of a supermassive black hole (SMBH) and its host galaxy properties at $1.2<z<1.7$ using both observational data and simulations. Recent measurements of 32 X-ray-selected broad-line Active Galactic Nucleus (AGNs) are compared with two independent state-of-the-art efforts, including the hydrodynamic simulation MassiveBlackII (MBII) and a semi-analytic model (SAM). After applying an observational selection function to the simulations, we find that both MBII and SAM agree well with the data, in terms of the central distribution. However, the dispersion in the mass ratio between black hole mass and stellar mass is significantly more consistent with the MBII prediction ($\sim0.3~$dex), than with the SAM ($\sim0.7~$dex), even when accounting for observational uncertainties. Hence, our observations can distinguish between the different recipes adopted in the models. The mass relations in the MBII are highly dependent on AGN feedback while the relations in the SAM are more sensitive to galaxy merger events triggering nuclear activity. Moreover, the intrinsic scatter in the mass ratio of our high-$z$ sample is comparable to that observed in the local sample, all but ruling out the proposed scenario the correlations are purely stochastic in nature arising from some sort of cosmic central limit theorem. Our results support the hypothesis of AGN feedback being responsible for a causal link between the SMBH and its host galaxy, resulting in a tight correlation between their respective masses.


title: Black Ripples, Flowers and Dumbbells at large $D$

abstract: We explore the rich phase space of singly spinning (both neutral and charged) black hole solutions in the large $D$ limit. We find several 'bumpy' branches which are connected to multiple (concentric) black rings, and black Saturns. Additionally we obtain stationary solutions without axisymmetry that are only stationary at $D\rightarrow \infty$, but correspond to long lived black hole solutions at finite $D$. These multipolar solutions can appear as intermediate configurations in the decay of ultra-spinning Myers-Perry black holes into stable black holes. Finally we also construct stationary solutions corresponding to the instability of such a multipolar solution.


title: A deep view into the nucleus of the Sagittarius Dwarf Spheroidal Galaxy with MUSE. II. Kinematic characterization of the stellar populations

abstract: The Sagittarius dwarf spheroidal galaxy (Sgr dSph) is in an advanced stage of disruption but still hosts its nuclear star cluster (NSC), M54, at its center. In this paper, we present a detailed kinematic characterization of the three stellar populations present in M54: young metal-rich (YMR); intermediate-age metal-rich (IMR); and old metal-poor (OMP), based on the spectra of $\sim6500$ individual M54 member stars extracted from a large MUSE/VLT dataset. We find that the OMP population is slightly flattened with a low amount of rotation ($\sim0.8$ km s$^{-1}$) and with a velocity dispersion that follows a Plummer profile. The YMR population displays a high amount of rotation ($\sim5$ km s$^{-1}$) and a high degree of flattening, with a lower and flat velocity dispersion profile. The IMR population shows a high but flat velocity dispersion profile, with some degree of rotation ($\sim2$ km s$^{-1}$). We complement our MUSE data with information from \textit{Gaia DR2} and confirm that the stars from the OMP and YMR populations are comoving in 3D space, suggesting that they are dynamically bound. While dynamical evolutionary effects (e.g. energy equipartition) are able to explain the differences in velocity dispersion between the stellar populations, the strong differences in rotation indicate different formation paths for the populations, as supported by an $N$-body simulation tailored to emulate the YMR-OMP system. This study provides additional evidence for the M54 formation scenario proposed in our previous work, where this NSC formed via GC accretion (OMP) and in situ formation from gas accretion in a rotationally supported disc (YMR).


title: Constraining the recent star formation history of galaxies : an Approximate Bayesian Computation approach

abstract: [Abridged] Although galaxies are found to follow a tight relation between their star formation rate and stellar mass, they are expected to exhibit complex star formation histories (SFH), with short-term fluctuations. The goal of this pilot study is to present a method that will identify galaxies that are undergoing a strong variation of star formation activity in the last tens to hundreds Myr. In other words, the proposed method will determine whether a variation in the last few hundreds of Myr of the SFH is needed to properly model the SED rather than a smooth normal SFH. To do so, we analyze a sample of COSMOS galaxies using high signal-to-noise ratio broad band photometry. We apply Approximate Bayesian Computation, a state-of-the-art statistical method to perform model choice, associated to machine learning algorithms to provide the probability that a flexible SFH is preferred based on the observed flux density ratios of galaxies. We present the method and test it on a sample of simulated SEDs. The input information fed to the algorithm is a set of broadband UV to NIR (rest-frame) flux ratios for each galaxy. The method has an error rate of 21% in recovering the right SFH and is sensitive to SFR variations larger than 1 dex. A more traditional SED fitting method using CIGALE is tested to achieve the same goal, based on fits comparisons through Bayesian Information Criterion but the best error rate obtained is higher, 28%. We apply our new method to the COSMOS galaxies sample. The stellar mass distribution of galaxies with a strong to decisive evidence against the smooth delayed-$\tau$ SFH peaks at lower M* compared to galaxies where the smooth delayed-$\tau$ SFH is preferred. We discuss the fact that this result does not come from any bias due to our training. Finally, we argue that flexible SFHs are needed to be able to cover that largest SFR-M* parameter space possible.


title: No go for a flow

abstract: We prove that a very large class of $15502$ general Argyres-Douglas theories cannot admit a UV lagrangian which flows to them via the Maruyoshi-Song supersymmetry enhancement mechanism. We do so by developing a computer program which brute-force lists, for any given 4d $\mathcal{N}=2$ superconformal theory $\mathcal{T}_{\text{IR}}$, all possible UV candidate superconformal lagrangians $\mathcal{T}_{\text{UV}}$ satisfying some necessary criteria for the supersymmetry enhancement to happen. We argue that this is enough evidence to conjecture that it is impossible, in general, to find new examples of Maruyoshi-Song lagrangians for generalized Argyres-Douglas theories. All lagrangians already known are, on the other hand, recovered and confirmed in our scan. Finally, we also develop another program to compute efficiently Coulomb branch spectrum, masses, couplings and central charges for $(G,G')$ Argyres-Douglas theories of arbitrarily high rank.


title: Computational advantage from quantum superposition of multiple temporal orders of photonic gates

abstract: Models for quantum computation with circuit connections subject to the quantum superposition principle have been recently proposed. There, a control quantum system can coherently determine the order in which a target quantum system undergoes $N$ gate operations. This process, known as the quantum $N$-switch, is a resource for several information-processing tasks. In particular, it provides a computational advantage -- over fixed-gate-order quantum circuits -- for phase-estimation problems involving $N$ unknown unitary gates. However, the corresponding algorithm requires an experimentally unfeasible target-system dimension (super)exponential in $N$. Here, we introduce a promise problem for which the quantum $N$-switch gives an equivalent computational speed-up with target-system dimension as small as 2 regardless of $N$. We use state-of-the-art multi-core optical-fiber technology to experimentally demonstrate the quantum $N$-switch with $N=4$ gates acting on a photonic-polarization qubit. This is the first observation of a quantum superposition of more than $N=2$ temporal orders, demonstrating its usefulness for efficient phase-estimation.


title: Project AMIGA: The Circumgalactic Medium of Andromeda

abstract: Project AMIGA (Absorption Maps In the Gas of Andromeda) is a large ultraviolet Hubble Space Telescope program, which has assembled a sample of 43 QSOs that pierce the circumgalactic medium (CGM) of Andromeda (M31) from R=25 to 569 kpc (25 of them probing gas from 25 kpc to about the virial radius-Rvir = 300 kpc-of M31). Our large sample provides an unparalleled look at the physical conditions and distribution of metals in the CGM of a single galaxy using ions that probe a wide range of gas phases (Si II, Si III, Si IV, C II, C IV, and O VI, the latter being from the Far Ultraviolet Spectroscopic Explorer). We find that Si III and O VI have near unity covering factor maintained all the way out to 1.2Rvir and 1.9Rvir, respectively. We show that Si III is the dominant ion over Si II and Si IV at any R. While we do not find that the properties of the CGM of M31 depend strongly on the azimuth, we show that they change remarkably around 0.3-0.5Rvir, conveying that the inner regions of the CGM of M31 are more dynamic and have more complicated multi-phase gas-structures than at R>0.5Rvir. We estimate the metal mass of the CGM within Rvir as probed by Si II, Si III, and Si IV is 2x10^7 Msun and by O VI is >8x10^7 Msun, while the baryon mass of the 10^4-10^5.5 K gas is ~4x10^10 (Z/0.3 Zsun)^(-1) Msun within Rvir. We show that different zoom-in cosmological simulations of L* galaxies better reproduce the column density profile of O VI with R than Si III or the other studied ions. We find that observations of the M31 CGM and zoom-in simulations of L* galaxies have both lower ions showing higher column density dispersion and dependence on R than higher ions, indicating that the higher ionization structures are larger and/or more broadly distributed.


title: $\mathcal{N}=2$ Minimal Models: A Holographic Needle in a Symmetric Orbifold Haystack

abstract: We explore large-$N$ symmetric orbifolds of the $\mathcal N=2$ minimal models, and find evidence that their moduli spaces each contain a supergravity point. We identify single-trace exactly marginal operators that deform them away from the symmetric orbifold locus. We also show that their elliptic genera exhibit slow growth consistent with supergravity spectra in AdS$_3$. We thus propose an infinite family of new holographic CFTs.


title: The radio properties of HERGs with intermediate radio powers

abstract: In the past decade, high sensitivity radio surveys have revealed that the local radio AGN population is dominated by moderate-to-low power sources with emission that is compact on galaxy scales. High-excitation radio galaxies (HERGs) with intermediate radio powers (22.5 $<$ log(L$_{\rm 1.4GHz}$) $<$ 25.0 W Hz$^{-1}$) form an important sub-group of this population, since there is strong evidence that they also drive multi-phase outflows on the scales of galaxy bulges. Here, we present high-resolution VLA observations at 1.5, 4.5 and 7.5 GHz of a sample of 16 such HERGs in the local universe ($z<0.1$), conducted in order to investigate the morphology, extent and spectra of their radio emission in detail, down to sub-kpc scales. We find that the majority (56 per cent) have unresolved structures at the limiting angular resolution of the observations ($\sim$0.3"). Although similar in the compactness of their radio structures, these sources have steep radio spectra and host galaxy properties that distinguish them from local low-excitation radio galaxies (LERGs) that are unresolved on similar scales. The remaining sources exhibit extended radio structures with projected diameters $\sim$1.4$-$19.0 kpc and a variety of morphologies: three double-lobed; two large-scale diffuse; one jetted and `S-shaped'; one undetermined. Only 19 per cent of the sample therefore exhibit the double-lobed/edge-brightened structures often associated with their counterparts at high and low radio powers: radio-powerful HERGs and Seyfert galaxies, respectively. Additional high-resolution observations are required to investigate this further, and to probe the $\lesssim$300 pc scales on which some Seyfert galaxies show extended structures.


title: Detection of Super-light Dark Matter Using Graphene Sensor

abstract: We propose a new dark-matter detection strategy that will enable the search of super-light dark matter $m_\chi \simeq 0.1$ keV, representing an improvement of the minimum detectable mass by more than three order of magnitude over the ongoing experiments. This is possible by integrating intimately the target material, $\pi$-bond electrons in graphene, into a Josephson junction to achieve a high sensitivity detector that can resolve a small energy exchange from dark matter as low as $\sim 0.1$ meV. We investigate detection prospects with pg-, ng-, and $\mu$g-scale detectors by calculating the scattering rate between dark matter and free electrons confined in two-dimensional graphene with Pauli-blocking factors included. We find not only that the proposed detector can serve as a complementary probe of super-light dark matter but also achieve higher experimental sensitivities than other proposed experiments, thanks to the extremely low energy threshold of our Josephson junction sensor.


title: Towards Studying Hierarchical Assembly in Real Time: A Milky Way Progenitor Galaxy at z = 2.36 under the Microscope

abstract: We use Hubble Space Telescope (HST) imaging and near-infrared spectroscopy from Keck/MOSFIRE to study the sub-structure around the progenitor of a Milky Way-mass galaxy in the Hubble Frontier Fields (HFF). Specifically, we study an $r_e = 40^{+70}_{-30}$pc, $M_{\star} \sim 10^{8.2} M_{\odot}$ rest-frame ultra-violet luminous "clump" at a projected distance of $\sim$100~pc from a $M_{\star} \sim 10^{9.8}$M$_{\odot}$ galaxy at $z = 2.36$ with a magnification $\mu = 5.21$. We measure the star formation history of the clump and galaxy by jointly modeling the broadband spectral energy distribution from HST photometry and H$\alpha$ from MOSFIRE spectroscopy. Given our inferred properties (e.g., mass, metallicity, dust) of the clump and galaxy, we explore scenarios in which the clump formed \emph{in-situ} (e.g., a star forming complex) or \emph{ex-situ} (e.g., a dwarf galaxy being accreted). If it formed \emph{in-situ}, we conclude that the clump is likely a single entity as opposed to a aggregation of smaller star clusters, making it one of the most dense star clusters cataloged. If it formed \emph{ex-situ}, then we are witnessing an accretion event with a 1:40 stellar mass ratio. However, our data alone are not informative enough to distinguish between \emph{in-situ} and \emph{ex-situ} scenarios to a high level of significance. We posit that the addition of high-fidelity metallicity information, such as [OIII]4363\AA, which can be detected at modest S/N with only a few hours of JWST/NIRSpec time, may be a powerful discriminant. We suggest that studying larger samples of moderately lensed sub-structures across cosmic time can provide unique insight into the hierarchical formation of galaxies like the Milky Way.


title: Power meets Precision to explore the Symmetric Higgs Portal

abstract: We perform a comprehensive study of collider aspects of a Higgs portal scenario that is protected by an unbroken ${\mathbb{Z}}_2$ symmetry. If the mass of the Higgs portal scalar is larger than half the Higgs mass, this scenario becomes very difficult to detect. We provide a detailed investigation of the model's parameter space based on analyses of the direct collider sensitivity at the LHC as well as at future lepton and hadron collider concepts and analyse the importance of these searches for this scenario in the context of expected precision Higgs and electroweak measurements. In particular we also consider the associated electroweak oblique corrections that we obtain in a first dedicated two-loop calculation for comparisons with the potential of, e.g., GigaZ. The currently available collider projections corroborate an FCC-hh 100 TeV as a very sensitive tool to search for such a weakly-coupled Higgs sector extension, driven by small statistical uncertainties over a large range of energy coverage. Crucially, however, this requires good theoretical control. Alternatively, Higgs signal-strength measurements at an optimal FCC-ee sensitivity level could yield comparable constraints.


title: Many-body delocalization via symmetry emergence

abstract: Many-body localization (MBL) provides a mechanism to avoid thermalization in many-body quantum systems. Here, we show that an {\it emergent} symmetry can protect a state from MBL. Specifically, we propose a $\Z_2$ symmetric model with nonlocal interactions, which has an analytically known, SU(2) invariant, critical ground state. At large disorder strength all states at finite energy density are in a glassy MBL phase, while the lowest energy states are not. These do, however, localize when a perturbation destroys the emergent SU(2) symmetry. The model also provides an example of MBL in the presence of nonlocal, disordered interactions that are more structured than a power law. The presented ideas raise the possibility of an `inverted quantum scar', in which a state that does not exhibit area law entanglement is embedded in an MBL spectrum, which does.


title: Anisotropic infall in the outskirts of OmegaWINGS galaxy clusters

abstract: We study the effects of the environment on galaxy quenching in the outskirts of clusters at $0.04 < z < 0.08$. We use a subsample of 14 WINGS and OmegaWINGS clusters that are linked to other groups/clusters by filaments and study separately galaxies located in two regions in the outskirts of these clusters according to whether they are located towards the filaments' directions or not. We also use samples of galaxies in clusters and field as comparison. Filamentary structures linking galaxy groups/clusters were identified over the Six Degree Field Galaxy Redshift Survey Data Release 3. We find a fraction of passive galaxies in the outskirts of clusters intermediate between that of the clusters and the field's. We find evidence of a more effective quenching in the direction of the filaments. We also analyse the abundance of post-starburst galaxies in the outskirts of clusters focusing our study on two extreme sets of galaxies according to their phase-space position: backsplash and true infallers. We find that up to $\sim70\%$ of post-starburst galaxies in the direction of filaments are likely backsplash, while this number drops to $\sim40\%$ in the isotropic infall region. The presence of this small fraction of galaxies in filaments that are falling into clusters for the first time and have been recently quenched, supports a scenario in which a significant number of filament galaxies have been quenched long time ago.


title: Computer classification of linear codes

abstract: We present algorithms for classification of linear codes over finite fields, based on canonical augmentation and on lattice point enumeration. We apply these algorithms to obtain classification results over fields with 2, 3 and 4 elements. We validate a correct implementation of the algorithms with known classification results from the literature, which we partially extend to larger ranges of parameters.


title: Is the Ott-Antonsen manifold attracting?

abstract: The Kuramoto model is a paradigm for studying oscillator networks with interplay between coupling tending towards synchronization, and heterogeneity in the oscillator population driving away from synchrony. In continuum versions of this model an oscillator population is represented by a probability density on the circle. Ott and Antonsen identified a special class of densities which is invariant under the dynamics and on which the dynamics are low-dimensional and analytically tractable. The reduction to the OA manifold has been used to analyze the dynamics of many variants of the Kuramoto model. To address the fundamental question of whether the OA manifold is attracting, we develop a systematic technique using weighted averages of Poisson measures for analyzing dynamics off the OA manifold. We show that for models with a finite number of populations, the OA manifold is {\it not} attracting in any sense; moreover, the dynamics off the OA manifold is often more complex than on the OA manifold, even at the level of macroscopic order parameters. The OA manifold consists of Poisson densities $\rho_\omega$. A simple extension of the OA manifold consists of averages of pairs of Poisson densities; then the hyperbolic distance between the centroids of each Poisson pair is a dynamical invariant (for each $\omega$). These conserved quantities, defined on the double Poisson manifold, are a measure of the distance to the OA manifold. This invariance implies that chimera states, which have some but not all populations in sync, can never be stable in the full state space, even if stable in the OA manifold. More broadly, our framework facilitates the analysis of multi-population continuum Kuramoto networks beyond the restrictions of the OA manifold, and has the potential to reveal more intricate dynamical behavior than has previously been observed for these networks.