title: Analyzing Speaker Information in Self-Supervised Models to Improve Zero-Resource Speech Processing

abstract: Contrastive predictive coding (CPC) aims to learn representations of speech by distinguishing future observations from a set of negative examples. Previous work has shown that linear classifiers trained on CPC features can accurately predict speaker and phone labels. However, it is unclear how the features actually capture speaker and phonetic information, and whether it is possible to normalize out the irrelevant details (depending on the downstream task). In this paper, we first show that the per-utterance mean of CPC features captures speaker information to a large extent. Concretely, we find that comparing means performs well on a speaker verification task. Next, probing experiments show that standardizing the features effectively removes speaker information. Based on this observation, we propose a speaker normalization step to improve acoustic unit discovery using K-means clustering of CPC features. Finally, we show that a language model trained on the resulting units achieves some of the best results in the ZeroSpeech2021~Challenge.


title: Communication-Efficient Federated Learning via Predictive Coding

abstract: Federated learning can enable remote workers to collaboratively train a shared machine learning model while allowing training data to be kept locally. In the use case of wireless mobile devices, the communication overhead is a critical bottleneck due to limited power and bandwidth. Prior work has utilized various data compression tools such as quantization and sparsification to reduce the overhead. In this paper, we propose a predictive coding based compression scheme for federated learning. The scheme has shared prediction functions among all devices and allows each worker to transmit a compressed residual vector derived from the reference. In each communication round, we select the predictor and quantizer based on the rate-distortion cost, and further reduce the redundancy with entropy coding. Extensive simulations reveal that the communication cost can be reduced up to 99% with even better learning performance when compared with other baseline methods.


title: Coprime automorphisms of finite groups

abstract: Let $G$ be a finite group admitting a coprime automorphism $\alpha$ of order $e$. Denote by $I_G(\alpha)$ the set of commutators $g^{-1}g^\alpha$, where $g\in G$, and by $[G,\alpha]$ the subgroup generated by $I_G(\alpha)$. We study the impact of $I_G(\alpha)$ on the structure of $[G,\alpha]$. Suppose that each subgroup generated by a subset of $I_G(\alpha)$ can be generated by at most $r$ elements. We show that the rank of $[G,\alpha]$ is $(e,r)$-bounded. Along the way, we establish several results of independent interest. In particular, we prove that if every element of $I_G(\alpha)$ has odd order, then $[G,\alpha]$ has odd order too. Further, if every pair of elements from $I_G(\alpha)$ generates a soluble, or nilpotent, subgroup, then $[G,\alpha]$ is soluble, or respectively nilpotent.


title: Interactive Visual Facets to Support Fluid Exploratory Search

abstract: Exploratory search starts with ill-defined goals and involves browsing, learning, and formulating new targets for search. To fluidly support such dynamic search behaviours, we focus on devising interactive visual facets (IVF), visualising information facets to support user comprehension and control of the information space. To do this, we reviewed existing faceted search interfaces and derived two design requirements (DR) that have not been fully addressed to support fluid interactions in exploratory search. We then exemplified the requirements through devising an IVF tool, which coordinates a linear and a categorical facet representing the distribution and summarisation of items, respectively, and providing context for faceted exploration (DR1). To support rapid transitions between search criteria (DR2), the tool introduces a novel design concept of using facets to select items without filtering the item space. Particularly, we propose a filter-swipe technique that enables users to drag a categorical facet value sequentially over linear facet bars to view the items in the intersection of the two facets along with the categorical facet dynamically summarizing the items in the interaction. Three applications demonstrate how the features support information discovery with ease. A user study of 11 participants with realistic email search tasks shows that dynamic suggestions through the timeline navigation can help discover useful suggestions for search; the novel design concept was favoured over using facet values as filters. Based on these practices, we derive IVF design implications for fluid, exploratory searches.


title: On the Privacy of National Contact Tracing COVID-19 Applications: The Coronav\'irus-SUS Case

abstract: The 2019 Coronavirus disease (COVID-19) pandemic, caused by a quick dissemination of the Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2), has had a deep impact worldwide, both in terms of the loss of human life and the economic and social disruption. The use of digital technologies has been seen as an important effort to combat the pandemic and one of such technologies is contact tracing applications. These applications were successfully employed to face other infectious diseases, thus they have been used during the current pandemic. However, the use of contact tracing poses several privacy concerns since it is necessary to store and process data which can lead to the user/device identification as well as location and behavior tracking. These concerns are even more relevant when considering nationwide implementations since they can lead to mass surveillance by authoritarian governments. Despite the restrictions imposed by data protection laws from several countries, there are still doubts on the preservation of the privacy of the users. In this article, we analyze the privacy features in national contact tracing COVID-19 applications considering their intrinsic characteristics. As a case study, we discuss in more depth the Brazilian COVID-19 application Coronav\'irus-SUS, since Brazil is one of the most impacted countries by the current pandemic. Finally, as we believe contact tracing will continue to be employed as part of the strategy for the current and potential future pandemics, we present key research challenges.


title: Aerial Vehicles Tracking Using Noncoherent Crowdsourced Wireless Networks

abstract: Air traffic management (ATM) of manned and unmanned aerial vehicles (AVs) relies critically on ubiquitous location tracking. While technologies exist for AVs to broadcast their location periodically and for airports to track and detect AVs, methods to verify the broadcast locations and complement the ATM coverage are urgently needed, addressing anti-spoofing and safe coexistence concerns. In this work, we propose an ATM solution by exploiting noncoherent crowdsourced wireless networks (CWNs) and correcting the inherent clock-synchronization problems present in such non-coordinated sensor networks. While CWNs can provide a great number of measurements for ubiquitous ATM, these are normally obtained from unsynchronized sensors. This article first presents an analysis of the effects of lack of clock synchronization in ATM with CWN and provides solutions based on the presence of few trustworthy sensors in a large non-coordinated network. Secondly, autoregressive-based and long short-term memory (LSTM)-based approaches are investigated to achieve the time synchronization needed for localization of the AVs. Finally, a combination of a multilateration (MLAT) method and a Kalman filter is employed to provide an anti-spoofing tracking solution for AVs. We demonstrate the performance advantages of our framework through a dataset collected by a real-world CWN. Our results show that the proposed framework achieves localization accuracy comparable to that acquired using only GPS-synchronized sensors and outperforms the localization accuracy obtained based on state-of-the-art CWN synchronization methods.


title: Discovery of the doubly charmed $T_{cc}^+$ state implies a triply charmed $H_{ccc}$ hexaquark state

abstract: The doubly charmed exotic state $T_{cc}$ recently discovered by the LHCb Collaboration could well be a $DD^{*}$ molecular state long predicted in various theoretical models, in particular, the $DD^*$ isoscalar axial vector molecular state predicted in the one-boson-exchange model. In this work, we study the $DDD^*$ system in the Gaussian Expansion Method with the $DD^*$ interaction derived from the one-boson-exchange model and constrained by the precise binding energy of $273\pm63$ keV of $T_{cc}$ with respect to the $D^{*+}D^0$ threshold. We show the existence of a $DDD^*$ state with a binding energy of a few hundred keV and spin-parity $1^-$. Its main decay modes are $DDD\pi$ and $DDD\gamma$. The existence of such a state could in principle be confirmed with the upcoming LHC data and will unambiguously determine the nature of the $T_{cc}^+$ state and of the many exotic state of similar kind, thus deepening our understanding of the non-perturbative strong interaction.


title: Probing Strangeness Canonical Ensemble with $K^{-}$, $\phi(1020)$ and $\Xi^{-}$ Production in Au+Au Collisions at ${\sqrt{s_{\rm NN}} = \rm{3\,GeV}}$

abstract: We report the first multi-differential measurements of strange hadrons of $K^{-}$, $\phi$ and $\Xi^{-}$ yields as well as the ratios of $\phi/K^-$ and $\phi/\Xi^-$ in Au+Au collisions at ${\sqrt{s_{\rm NN}} = \rm{3\,GeV}}$ with the STAR experiment fixed target configuration at RHIC. The $\phi$ mesons and $\Xi^{-}$ hyperons are measured through hadronic decay channels, $\phi\rightarrow K^+K^-$ and $\Xi^-\rightarrow \Lambda\pi^-$. Collision centrality and rapidity dependence of the transverse momentum spectra for these strange hadrons are presented. The $4\pi$ yields and ratios are compared to thermal model and hadronic transport model predictions. At this collision energy, thermal model with grand canonical ensemble (GCE) under-predicts the $\phi/K^-$ and $\phi/\Xi^-$ ratios while the result of canonical ensemble (CE) calculations reproduce $\phi/K^-$, with the correlation length $r_c \sim 2.7$\,fm, and $\phi/\Xi^-$, $r_c \sim 4.2$\,fm, for the 0-10\% central collisions. Hadronic transport models including high mass resonance decays could also describe the ratios. While thermal calculations with GCE work well for strangeness production in high energy collisions, the change to CE at $\rm{3\,GeV}$ implies a rather different medium property at high baryon density.


title: Control Design of Dynamic Virtual Power Plants: An Adaptive Divide-and-Conquer Approach

abstract: In this paper, we present a novel control approach for dynamic virtual power plants (DVPPs). In particular, we consider a group of heterogeneous distributed energy resources (DERs) which collectively provide desired dynamic ancillary services such as fast frequency and voltage control. Our control approach relies on an adaptive divide-and-conquer strategy: first, we disaggregate the desired frequency and voltage control specifications of the aggregate DVPP via adaptive dynamic participation matrices (ADPMs) to obtain the desired local behavior for each device. Second, we design local linear parameter-varying (LPV) $\mathcal{H}_\infty$ controllers to optimally match this local behaviors. In the process, the control design also incorporates the physical and engineered limits of each DVPP device. Furthermore, our adaptive control design can properly respond to fluctuating device capacities, and thus include weather-driven DERs into the DVPP setup. Finally, we demonstrate the effectiveness of our control strategy in a case study based on the IEEE nine-bus system.


title: Nighttime Light Intensity and Child Health Outcomes in Bangladesh

abstract: This study examines the impact of nighttime light intensity on child health outcomes in Bangladesh. We use nighttime light intensity as a proxy measure of urbanization and argue that the higher intensity of nighttime light, the higher is the degree of urbanization, which positively affects child health outcomes. In econometric estimation, we employ a methodology that combines parametric and non-parametric approaches using the Gradient Boosting Machine (GBM), K-Nearest Neighbors (KNN), and Bootstrap Aggregating that originate from machine learning algorithms. Based on our benchmark estimates, findings show that one standard deviation increase of nighttime light intensity is associated with a 1.515 rise of Z-score of weight for age after controlling for several control variables. The maximum increase of weight for height and height for age score range from 5.35 to 7.18 units. To further understand our benchmark estimates, generalized additive models also provide a robust positive relationship between nighttime light intensity and children's health outcomes. Finally, we develop an economic model that supports the empirical findings of this study that the marginal effect of urbanization on children's nutritional outcomes is strictly positive.


title: Cloud Native Privacy Engineering through DevPrivOps

abstract: Cloud native information systems engineering enables scalable and resilient service infrastructures for all major online offerings. These are built following agile development practices. At the same time, a growing demand for privacy-friendly services is articulated by societal norms and policy through effective legislative frameworks. In this paper, we identify the conceptual dimensions of cloud native privacy engineering and propose an integrative approach to be addressed in practice to overcome the shortcomings of existing privacy enhancing technologies. Furthermore, we propose a reference software development lifecycle called DevPrivOps to enhance established agile development methods with respect to privacy. Altogether, we show that cloud native privacy engineering advances the state of the art of privacy by design and by default using latest technologies.


title: A new concept for design of photonic integrated circuits with the ultimate density and low loss

abstract: We challenge the current thinking and approach to the design of photonic integrated circuits (PICs) for applications in communications, quantum information and sensing. The standard PICs are based on directional couplers, that provide a wide range of functionalities but do not fully respond to the major technological challenges: massive parallelisation of transmission channels, low-energy dissipation and small footprint. We propose a new concept for design of PICs with the ultimate downscaling capability, the absence of geometric loss and a high-fidelity throughput. This is achieved by a periodic continuous-time quantum walk of photons through waveguide arrays that leverages on the simple and effective algebraic approach to engineering waveguide couplings. We demonstrate the potential of the new concept by reconsidering the design of basic building blocks of the information and sensing systems: interconnects, multiport couplers, entanglement generators and interferometers. An extensive feasibility check in dielectric and semiconductor fabrication platforms confirmed this potential.


title: Partition functions of higher derivative conformal fields on conformally related spaces

abstract: The character integral representation of one loop partition functions is useful to establish the relation between partition functions of conformal fields on Weyl equivalent spaces. The Euclidean space $S^a\times AdS_b$ can be mapped to $S^{a+b}$ provided $S^a$ and $AdS_b$ are of the same radius. As an example, to begin with, we show that the partition function in the character integral representation of conformally coupled free scalars and fermions are identical on $S^a\times AdS_b$ and $S^{a+b}$. We then demonstrate that the partition function of higher derivative conformal scalars and fermions are also the same on hyperbolic cylinders and branched spheres. The partition function of the four-derivative conformal vector gauge field on the branched sphere in $d=6$ dimension can be expressed as an integral over `naive' bulk and `naive' edge characters. However, the partition function of the conformal vector gauge field on $S^1_q\times AdS_5$ contains only the `naive' bulk part of the partition function. This follows the same pattern which was observed for the partition of conformal $p$-form fields on hyperbolic cylinders. We use the partition function of higher derivative conformal fields on hyperbolic cylinders to obtain a linear relationship between the Hofman-Maldacena variables which enables us to show that these theories are non-unitary.


title: LHC constraints on hidden gravitons

abstract: We analyze LHC data in order to constrain the parameter space of new spin-2 particles universally coupled to the energy-momentum tensor. These new hypothetical particles are the so-called hidden gravitons, whose phenomenology at low energies is determined by two parameters: its mass and its dimensional coupling constant. Hidden gravitons arise in many different extensions of the Standard Model of particles and interactions and General Relativity. Their phenomenology has been studied mainly in relation to modifications of gravity and astrophysical signatures. In this work, we extend the constraints for heavy hidden gravitons, with masses larger than $1$ GeV, by taking into account events collected by ATLAS and CMS in the WW channel, Drell-Yan processes, and the diphoton channel from proton-proton collisions at $\sqrt{s}=8$ TeV.


title: LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States

abstract: Efficient methods for the representation and simulation of quantum states and quantum operations are crucial for the optimization of quantum circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent Boolean functions, have proven capable of capturing relevant aspects of quantum systems, but their limits are not well understood. In this work, we investigate and bridge the gap between existing DD-based structures and the stabilizer formalism, an important tool for simulating quantum circuits in the tractable regime. We first show that although DDs were suggested to succinctly represent important quantum states, they actually require exponential space for certain stabilizer states. To remedy this, we introduce a more powerful decision diagram variant, called Local Invertible Map-DD (LIMDD). We prove that the set of quantum states represented by poly-sized LIMDDs strictly contains the union of stabilizer states and other decision diagram variants. Finally, there exist circuits which LIMDDs can efficiently simulate, while their output states cannot be succinctly represented by two state-of-the-art simulation paradigms: the stabilizer decomposition techniques for Clifford + $T$ circuits and Matrix-Product States. By uniting two successful approaches, LIMDDs thus pave the way for fundamentally more powerful solutions for simulation and analysis of quantum computing.


title: Electric-field control of the exchange interactions

abstract: The impact of an applied electric field on the exchange coupling parameters has been investigated based on first-principles electronic structure calculations by means of the KKR Green function method. The calculations have been performed for a Fe film, free-standing and deposited on two different substrates, having 1 monolayer (ML) thickness to minimize the effect of screening of the electric field typical for metallic systems. By comparing the results for the free-standing Fe ML with those for Fe on the various substrates, we could analyze the origin of the field-induced change of the exchange interactions. Compared to the free-standing Fe ML, in particular rather pronounced changes have been found for the Fe/Pt(111) system due to the localized electronic states at the Fe/Pt interface, which are strongly affected by the electric field and which play an important role for the Fe-Fe exchange interactions.


title: Molecular Dynamics Study to Predict Thermo-Mechanical Properties of DGEBF/DETDA Epoxy as a Function of Crosslinking Density

abstract: Epoxy resins are used extensively in composite materials for a wide range of engineering applications, including structural components of aircraft and spacecraft. The processing of fiber-reinforced epoxy composite structures requires carefully selected heating and cooling cycles to fully cure the resin and form strong crosslinked networks. To fully optimize the processing parameters for effective epoxy monomer crosslinking and final product integrity, the evolution of mechanical properties of epoxies during processing must be comprehensively understood. Because the full experimental characterization of these properties as a function of the degree of cure is difficult and time-consuming, efficient computational predictive tools are needed. The objective of this research is to develop an experimentally validated Molecular Dynamics (MD) modeling method, which incorporates a reactive force field, to accurately predict the thermo-mechanical properties of an epoxy resin as a function of the degree of cure. Experimental rheometric and mechanical testing are used to validate an MD model which is subsequently used to predict mass density, shrinkage, elastic properties, and yield strength as a function of the degree of cure. The results indicate that each of the physical and mechanical properties evolve uniquely during the crosslinking process. These results are important for future processing modeling efforts.


title: Proposal of representative portfolios for federal roadway bridges in Northeastern Brazil

abstract: This paper presents a statistical analysis of federal highway bridges commonly found in Northeastern Brazil to develop a portfolio, or statistically representative characterization of bridges across the region. A detailed study of bridges under the supervision of the National Department of Infrastructure and Transportation is conducted and four representative bridge classes are defined: two of them consist of single-span bridges and the others are multi-span continuous bridges with non-integral or no abutments and different bridge decks. Discrete and continuous distributions describe random variables to consider their variability in the analyses. However, some parameters are defined as function of the random variables, since a strong correlation is observed. Future bridge assessment studies should use the geometries of this bridge portfolio to evaluate the regional impacts due to natural hazards, or furnish models for updating, among other applications.


title: Integrable LCK manifolds

abstract: We study a natural class of LCK manifolds that we call integrable LCK manifolds: those where the anti-Lee form $\eta$ corresponds to an integrable distribution. As an application we obtain a characterization of unimodular integrable LCK Lie algebras as K\"ahler Lie algebras equipped with suitable derivations.


title: Superposition principle and composite solutions to coupled nonlinear Schr\"odinger equations

abstract: We show that the superposition principle applies to coupled nonlinear Schr\"odinger equations with cubic nonlinearity where exact solutions may be obtained as a linear combination of other exact solutions. This is possible due to the cancellation of cross terms in the nonlinear coupling. First, we show that a {\it composite} solution which is a linear combination of the two components of a {\it seed} solution is another solution to the same coupled nonlinear Schr\"odinger equation. Then, we show that a linear combination of two composite solutions is also a solution to the same equation. With emphasis on the case of Manakov system of two-coupled nonlinear Schr\"odinger equations, the superposition is shown to be equivalent to a rotation operator in a two-dimensional function space with components of the seed solution being its coordinates. Repeated application of the rotation operator, starting with a specific seed solution, generates a series of composite solutions which may be represented by a generalized solution that defines a family of composite solutions. Applying the rotation operator to almost all known exact seed solutions of the Manakov system, we obtain for each seed solution the corresponding family of composite solutions. Composite solutions turn out, in general, to possess interesting features that do not exist in the seed solution. Using symmetry reductions, we show that the method applies also to systems of $N$-coupled nonlinear Schr\"odinger equations. Specific examples for the three coupled-nonlinear Schr\"odinger equation are given.


title: Modeling and simulation of thin sheet folding

abstract: The article addresses the mathematical modeling of the folding of a thin elastic sheet along a prescribed curved arc. A rigorous model reduction from a general hyperelastic material description is carried out under appropriate scaling conditions on the energy and the geometric properties of the folding arc in dependence on the small sheet thickness. The resulting two-dimensional model is a piecewise nonlinear Kirchhoff plate bending model with a continuity condition at the folding arc. A discontinuous Galerkin method and an iterative scheme are devised for the accurate numerical approximation of large deformations.


title: Machine Learning Constructives and Local Searches for the Travelling Salesman Problem

abstract: The ML-Constructive heuristic is a recently presented method and the first hybrid method capable of scaling up to real scale traveling salesman problems. It combines machine learning techniques and classic optimization techniques. In this paper we present improvements to the computational weight of the original deep learning model. In addition, as simpler models reduce the execution time, the possibility of adding a local-search phase is explored to further improve performance. Experimental results corroborate the quality of the proposed improvements.


title: Node repair on connected graphs

abstract: We study the problem of erasure correction (node repair) for regenerating codes defined on graphs wherein the cost of transmitting the information to the failed node depends on the graphical distance from this node to the helper vertices of the graph. The information passed to the failed node from the helpers traverses several vertices of the graph, and savings in communication complexity can be attained if the intermediate vertices process the information rather than simply relaying it toward the failed node. We derive simple information-theoretic bounds on the amount of information communicated between the nodes in the course of the repair. Next we show that Minimum Storage Regenerating (MSR) codes can be modified to perform the intermediate processing, thereby attaining the lower bound on the information exchange on the graph. We also consider node repair when the underlying graph is random, deriving conditions on the parameters that support recovery of the failed node with communication complexity smaller than required by the simple relaying.


title: Spectral pruning of fully connected layers: ranking the nodes based on the eigenvalues

abstract: Training of neural networks can be reformulated in spectral space, by allowing eigenvalues and eigenvectors of the network to act as target of the optimization instead of the individual weights. Working in this setting, we show that the eigenvalues can be used to rank the nodes' importance within the ensemble. Indeed, we will prove that sorting the nodes based on their associated eigenvalues, enables effective pre- and post-processing pruning strategies to yield massively compacted networks (in terms of the number of composing neurons) with virtually unchanged performance. The proposed methods are tested for different architectures, with just a single or multiple hidden layers, and against distinct classification tasks of general interest.


title: A Survey of Human-in-the-loop for Machine Learning

abstract: Human-in-the-loop aims to train an accurate prediction model with minimum cost by integrating human knowledge and experience. Humans can provide training data for machine learning applications and directly accomplish tasks that are hard for computers in the pipeline with the help of machine-based approaches. In this paper, we survey existing works on human-in-the-loop from a data perspective and classify them into three categories with a progressive relationship: (1) the work of improving model performance from data processing, (2) the work of improving model performance through interventional model training, and (3) the design of the system independent human-in-the-loop. Using the above categorization, we summarize major approaches in the field; along with their technical strengths/ weaknesses, we have simple classification and discussion in natural language processing, computer vision, and others. Besides, we provide some open challenges and opportunities. This survey intends to provide a high-level summarization for human-in-the-loop and motivates interested readers to consider approaches for designing effective human-in-the-loop solutions.


title: Realizing discrete time crystal in an one-dimensional superconducting qubit chain

abstract: Floquet engineering, i.e. driving the system with periodic Hamiltonians, not only provides great flexibility in analog quantum simulation, but also supports phase structures of great richness. It has been proposed that Floquet systems can support a discrete time-translation symmetry (TTS) broken phase, dubbed the discrete time crystal (DTC). This proposal, as well as the exotic phase, has attracted tremendous interest among the community of quantum simulation. Here we report the observation of the DTC in an one-dimensional superconducting qubit chain. We experimentally realize long-time stroboscopic quantum dynamics of a periodically driven spin system consisting of 8 transmon qubits, and obtain a lifetime of the DTC order limited by the coherence time of the underlying physical platform. We also explore the crossover between the discrete TTS broken and unbroken phases via various physical signatures. Our work extends the usage of superconducting circuit systems in quantum simulation of many-body physics, and provides an experimental tool for investigating non-equilibrium dynamics and phase structures.


title: Derivatives and Integrals of Polynomials Associated with Integer Partitions

abstract: Integer partitions express the different ways that a positive integer may be written as a sum of positive integers. Here we explore the analytic properties of a new polynomial $f_\lambda(x)$ that we call the partition polynomial for the partition $\lambda$, with the aim to learn new properties of partitions. We prove a recursive formula for the derivatives of $f_\lambda(x)$ involving Stirling numbers of the second kind, show that the set of integrals from 0 to 1 of a normalized version of $f_\lambda(x)$ is dense in $[0,1/2]$, pose a few open questions, and formulate a conjecture relating the integral to the length of the partition. We also provide specific examples throughout to support our speculation that an in-depth analysis of partition polynomials could further strengthen our understanding of partitions.


title: Exploring Lottery Ticket Hypothesis in Media Recommender Systems

abstract: Media recommender systems aim to capture users' preferences and provide precise personalized recommendation of media content. There are two critical components in the common paradigm of modern recommender models: (1) representation learning, which generates an embedding for each user and item; and (2) interaction modeling, which fits user preferences towards items based on their representations. In spite of great success, when a great amount of users and items exist, it usually needs to create, store, and optimize a huge embedding table, where the scale of model parameters easily reach millions or even larger. Hence, it naturally raises questions about the heavy recommender models: Do we really need such large-scale parameters? We get inspirations from the recently proposed lottery ticket hypothesis (LTH), which argues that the dense and over-parameterized model contains a much smaller and sparser sub-model that can reach comparable performance to the full model. In this paper, we extend LTH to media recommender systems, aiming to find the winning tickets in deep recommender models. To the best of our knowledge, this is the first work to study LTH in media recommender systems. With MF and LightGCN as the backbone models, we found that there widely exist winning tickets in recommender models. On three media convergence datasets -- Yelp2018, TikTok and Kwai, the winning tickets can achieve comparable recommendation performance with only 29%~48%, 7%~10% and 3%~17% of parameters, respectively.


title: Conformality in the sense of Gromov and a generalized Liouville theorem

abstract: M.Gromov extended the concepts of conformal and quasiconformal mapping to the mappings acting between the manifolds of different dimensions. For instance, any entire holomorphic function $ f: \Cn \to {\mathbb C}$ defines a mapping conformal in the sense of Gromov. In this connection Gromov addressed a natural question: which facts of the classical theory apply to these mappings? In particular is it true that {\em If the mapping $ F: \R^{n + 1} \to \R^{n}$ is conformal and bounded, then it is a constant mapping, provided that $ n \geq 2 $}~? We present arguments confirming the validity of such a Liouville-type theorem.


title: StyleGAN-NADA: CLIP-Guided Domain Adaptation of Image Generators

abstract: Can a generative model be trained to produce images from a specific domain, guided by a text prompt only, without seeing any image? In other words: can an image generator be trained "blindly"? Leveraging the semantic power of large scale Contrastive-Language-Image-Pre-training (CLIP) models, we present a text-driven method that allows shifting a generative model to new domains, without having to collect even a single image. We show that through natural language prompts and a few minutes of training, our method can adapt a generator across a multitude of domains characterized by diverse styles and shapes. Notably, many of these modifications would be difficult or outright impossible to reach with existing methods. We conduct an extensive set of experiments and comparisons across a wide range of domains. These demonstrate the effectiveness of our approach and show that our shifted models maintain the latent-space properties that make generative models appealing for downstream tasks.


title: Can we understand the decay width of the $T_{cc}^+$ state?

abstract: Inspired by the recent discovery of a doubly charmed tetraquark state $T_{cc}^+$ by the LHCb Collaboration, we employ the effective Lagrangian approach to investigate the decay width of $T_{cc}^{+}\to D^{+} D^{0}\pi^{0}/D^{0} D^{0}\pi^{+}$ and $T_{cc}^{+}\to D^{0}D^{+}\gamma$ with the assumption that $T_{cc}^{+}$ is an isoscalar $DD^{\ast}$ molecule. We show that both the $T_{cc}\to D D\pi$ and $T_{cc}\to DD\gamma$ modes contribute to the decay width of $T_{cc}$, with the former being dominant. The resulting total decay width of about $\Gamma=63$ keV is smaller than the experimental decay width obtained from the Breit-Wigner fit of the LHCb data, $\Gamma=410\pm 165\pm 43^{+18}_{-38}$ keV, while close to the number obtained from the alternative unitary analysis, $\Gamma=48\pm 2^{+0}_{-14}$ keV, which supports the molecular nature of $T_{cc}$.


title: On properties of positive solutions to nonlinear tri-harmonic and bi-harmonic equations with negative exponents

abstract: In this paper, we investigate various properties (e.g., nonexistence, asymptotic behavior, uniqueness and integral representation formula) of positive solutions to nonlinear tri-harmonic equations in $\mathbb{R}^{n}$ ($n\geq2$) and bi-harmonic equations in $\mathbb{R}^{2}$ with negative exponents. Such kind of equations arise from conformal geometry.


title: Synthetic Evolution Tracks of Giant Planets

abstract: Giant planet evolution models play a crucial role in interpreting observations and constraining formation pathways. However, the simulations can be slow or prohibitively difficult. To address this issue, we calculate a large suite of giant planet evolution models using a state-of-the-art planetary evolution code. Using these data, we create the python program planetsynth that generates synthetic cooling tracks by interpolation. Given the planetary mass, bulk & atmospheric metallicity, and incident stellar irradiation, the program calculates how the planetary radius, luminosity, effective temperature, and surface gravity evolve with time. We demonstrate the capabilities of our models by inferring time-dependent mass-radius diagrams, estimating the metallicities from mass-radius measurements, and by showing how atmospheric measurements can further constrain the planetary bulk composition. We also estimate the mass and metallicity of the young giant planet 51 Eri b from its observed luminosity. Synthetic evolution tracks have many applications, and we suggest that they are valuable for both theoretical and observational investigations into the nature of giant planets.


title: ANDOR and beyond: dynamically switchable logic gates as modules for flexible information processing in biochemical regulatory networks

abstract: An information processing circuit must be flexible to perform multiple tasks: biochemical information processing circuits in living systems can have multiple functions, requiring them to perform distinct computational tasks in different scenarios. Here, we describe a tunable dynamical system that performs different logical operations (such as AND, OR, and XOR) depending on which basin of attraction the dynamics resides in. We analyze the robustness of these dynamically switchable logic gates, and characterize the trade-off between reliability and efficiency in their function.


title: Rethinking gradient sparsification as total error minimization

abstract: Gradient compression is a widely-established remedy to tackle the communication bottleneck in distributed training of large deep neural networks (DNNs). Under the error-feedback framework, Top-$k$ sparsification, sometimes with $k$ as little as $0.1\%$ of the gradient size, enables training to the same model quality as the uncompressed case for a similar iteration count. From the optimization perspective, we find that Top-$k$ is the communication-optimal sparsifier given a per-iteration $k$ element budget. We argue that to further the benefits of gradient sparsification, especially for DNNs, a different perspective is necessary -- one that moves from per-iteration optimality to consider optimality for the entire training. We identify that the total error -- the sum of the compression errors for all iterations -- encapsulates sparsification throughout training. Then, we propose a communication complexity model that minimizes the total error under a communication budget for the entire training. We find that the hard-threshold sparsifier, a variant of the Top-$k$ sparsifier with $k$ determined by a constant hard-threshold, is the optimal sparsifier for this model. Motivated by this, we provide convex and non-convex convergence analyses for the hard-threshold sparsifier with error-feedback. Unlike with Top-$k$ sparsifier, we show that hard-threshold has the same asymptotic convergence and linear speedup property as SGD in the convex case and has no impact on the data-heterogeneity in the non-convex case. Our diverse experiments on various DNNs and a logistic regression model demonstrated that the hard-threshold sparsifier is more communication-efficient than Top-$k$.


title: An Applied Deep Learning Approach for Estimating Soybean Relative Maturity from UAV Imagery to Aid Plant Breeding Decisions

abstract: For a global breeding organization, identifying the next generation of superior crops is vital for its success. Recognizing new genetic varieties requires years of in-field testing to gather data about the crop's yield, pest resistance, heat resistance, etc. At the conclusion of the growing season, organizations need to determine which varieties will be advanced to the next growing season (or sold to farmers) and which ones will be discarded from the candidate pool. Specifically for soybeans, identifying their relative maturity is a vital piece of information used for advancement decisions. However, this trait needs to be physically observed, and there are resource limitations (time, money, etc.) that bottleneck the data collection process. To combat this, breeding organizations are moving toward advanced image capturing devices. In this paper, we develop a robust and automatic approach for estimating the relative maturity of soybeans using a time series of UAV images. An end-to-end hybrid model combining Convolutional Neural Networks (CNN) and Long Short-Term Memory (LSTM) is proposed to extract features and capture the sequential behavior of time series data. The proposed deep learning model was tested on six different environments across the United States. Results suggest the effectiveness of our proposed CNN-LSTM model compared to the local regression method. Furthermore, we demonstrate how this newfound information can be used to aid in plant breeding advancement decisions.


title: An A*-algorithm for the Unordered Tree Edit Distance with Custom Costs

abstract: The unordered tree edit distance is a natural metric to compute distances between trees without intrinsic child order, such as representations of chemical molecules. While the unordered tree edit distance is MAX SNP-hard in principle, it is feasible for small cases, e.g. via an A* algorithm. Unfortunately, current heuristics for the A* algorithm assume unit costs for deletions, insertions, and replacements, which limits our ability to inject domain knowledge. In this paper, we present three novel heuristics for the A* algorithm that work with custom cost functions. In experiments on two chemical data sets, we show that custom costs make the A* computation faster and improve the error of a 5-nearest neighbor regressor, predicting chemical properties. We also show that, on these data, polynomial edit distances can achieve similar results as the unordered tree edit distance.


title: Subgraph-aware Few-Shot Inductive Link Prediction via Meta-Learning

abstract: Link prediction for knowledge graphs aims to predict missing connections between entities. Prevailing methods are limited to a transductive setting and hard to process unseen entities. The recent proposed subgraph-based models provided alternatives to predict links from the subgraph structure surrounding a candidate triplet. However, these methods require abundant known facts of training triplets and perform poorly on relationships that only have a few triplets. In this paper, we propose Meta-iKG, a novel subgraph-based meta-learner for few-shot inductive relation reasoning. Meta-iKG utilizes local subgraphs to transfer subgraph-specific information and learn transferable patterns faster via meta gradients. In this way, we find the model can quickly adapt to few-shot relationships using only a handful of known facts with inductive settings. Moreover, we introduce a large-shot relation update procedure to traditional meta-learning to ensure that our model can generalize well both on few-shot and large-shot relations. We evaluate Meta-iKG on inductive benchmarks sampled from NELL and Freebase, and the results show that Meta-iKG outperforms the current state-of-the-art methods both in few-shot scenarios and standard inductive settings.


title: Evaluating Deep Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have already been widely applied in various graph mining tasks. However, they suffer from the shallow architecture issue, which is the key impediment that hinders the model performance improvement. Although several relevant approaches have been proposed, none of the existing studies provides an in-depth understanding of the root causes of performance degradation in deep GNNs. In this paper, we conduct the first systematic experimental evaluation to present the fundamental limitations of shallow architectures. Based on the experimental results, we answer the following two essential questions: (1) what actually leads to the compromised performance of deep GNNs; (2) when we need and how to build deep GNNs. The answers to the above questions provide empirical insights and guidelines for researchers to design deep and well-performed GNNs. To show the effectiveness of our proposed guidelines, we present Deep Graph Multi-Layer Perceptron (DGMLP), a powerful approach (a paradigm in its own right) that helps guide deep GNN designs. Experimental results demonstrate three advantages of DGMLP: 1) high accuracy -- it achieves state-of-the-art node classification performance on various datasets; 2) high flexibility -- it can flexibly choose different propagation and transformation depths according to graph size and sparsity; 3) high scalability and efficiency -- it supports fast training on large-scale graphs. Our code is available in https://github.com/zwt233/DGMLP.


title: Modeling Transport of SARS-CoV-2 Inside a Charlotte Area Transit System (CATS) Bus

abstract: We present in this paper a model of the transport of human respiratory particles on a Charlotte Area Transit System (CATS) bus to examine the efficacy of interventions to limit exposure to SARS-CoV-2, the virus that causes COVID-19. The methods discussed here utilize a commercial Navier-Stokes flow solver, RavenCFD, run using a massively parallel supercomputer to model the flow of air through the bus under varying conditions, such as windows being open or the HVAC flow settings. Lagrangian particles are injected into the RavenCFD predicted flow fields to simulate the respiratory droplets from speaking, coughing, or sneezing. These particles are then traced over time and space until they interact with a surface or are removed via the HVAC system. Finally, a volumetric Viral Mean Exposure Time (VMET) is computed to quantify the risk of exposure to the SARS-CoV-2 under various environmental and occupancy scenarios. Comparing the VMET under varying conditions should help identify viable methods to reduce the risk of viral exposure of CATS bus passengers during the COVID-19 pandemic.


title: Metric-Affine Myrzakulov Gravity Theories

abstract: In this paper we review the Myrzakulov Gravity models (MG-N, with $\mathrm{N = I, II, \ldots, VIII}$) and derive their respective metric-affine generalizations (MAMG-N), discussing also their particular sub-cases. The field equations of the theories are obtained by regarding the metric tensor and the general affine connection as independent variables. We then focus on the case in which the function characterizing the aforementioned metric-affine models is linear and consider a Friedmann-Lema\^{i}tre-Robertson-Walker background to study cosmological aspects and applications.


title: Filtered asymmetric dark matter during the Peccei-Quinn phase transition

abstract: In this paper, we propose a bubble filtering-out mechanism for an asymmetric dark matter scenario during the Peccei-Quinn (PQ) phase transition. Based on a QCD axion model, extended by extra chiral neutrinos, we show that the PQ phase transition can be first order in the parameter space of the model and regarding the PQ symmetry breaking scale, the mechanism can generate PeV-scale heavy neutrinos as a dark matter candidate. Considering a CP-violating source, during the phase transition, discriminating between the neutrino and antineutrino number density, we find the observed dark matter relic abundance, such that the setup can be applied to the first order phase transition with different strengths. We then calculate effective couplings of the QCD axion addressing the strong CP problem within the model. We also study the energy density spectrum of gravitational waves generated from the first order phase transition and show that the signals can be detected by future ground-based detectors such as Einstein Telescope. In particular, for a visible heavy axion case of the model, it is shown that gravitational waves can be probed by DECIGO and BBO interferometers. Furthermore, we discuss the dark matter-standard model neutrino annihilation process as a source for the creation of PeV-scale neutrinos.


title: QED Mesons, the QED Neutron, and the Dark Matter

abstract: Schwinger's boson solution for massless fermions in QED in 1+1D has been applied and generalized to quarks interacting in QED and QCD interactions, leading to stable and confined open-string QED and QCD boson excitations of the quark-QCD-QED system in 1+1D. Just as the open-string QCD excitations in 1+1D can be the idealization of QCD mesons with a flux tube in 3+1D, so the open-string QED excitations in 1+1D may likewise be the idealization of QED mesons with masses in the tens of MeV region, corresponding possibly to the anomalous X17 and E38 particles observed recently. A further search for bound states of quarks interacting in the QED interaction alone leads to the examination on the stability of the QED neutron, consisting of two $d$ quarks and one $u$ quark. Theoretically, the QED neutron has been found to be stable and estimated to have a mass of 44.5 MeV, whereas the analogous QED proton is unstable, leading to a long-lived QED neutron that may be a good candidate for the dark matter.


title: Bilevel optimization in flow networks: A message-passing approach

abstract: Optimizing embedded systems, where the optimization of one depends on the state of another, is a formidable computational and algorithmic challenge, that is ubiquitous in real world systems. We study flow networks, where bilevel optimization is relevant to traffic planning, network control and design, and where flows are governed by an optimization requirement subject to the network parameters. We employ message-passing algorithms in flow networks with sparsely coupled structures to adapt network parameters that govern the network flows, in order to optimize a global objective. We demonstrate the effectiveness and efficiency of the approach on randomly generated graphs.


title: Chiral symmetry breaking through spontaneous dimerization in kagom\'e metals

abstract: Due to an uprise in the variety of candidate compounds, kagome metals have recently gained significant attention. Among other features, kagome metals host Dirac cones as a key band structure feature away from half filling, and potentially yield an exceptionally large fine structure, beyond values found in other 2D Dirac materials such as graphene. We investigate the possibility of chiral symmetry breaking in kagome metals. Based on a heuristic lattice model, we determine the critical coupling strength and the ordering pattern by means of a Schwinger-Dyson mean-field analysis. As the leading instability we identify a dimerization pattern which spontaneously opens an excitation gap at the Dirac point and breaks the chiral symmetry.


title: The Secret Higgstory of the Highest Temperature during Reheating

abstract: We study the role of the Standard Model Higgs condensate, formed during cosmological inflation, in the epoch of reheating that follows. We focus on the scenario where the inflaton decays slowly and perturbatively, so that there is a long period between the end of inflation and the beginning of radiation domination. The Higgs condensate decays non-perturbatively during this period, and we show that it heats the primordial plasma to much higher temperatures than would result from the slowly-decaying inflaton alone. We discuss the effect of this hot plasma on the thermalization of the inflaton's decay products, and study its phenomenological implications for the formation of cosmological relics like dark matter, with associated isocurvature fluctuations, and the restoration of the electroweak and Peccei-Quinn symmetries.


title: Scope-Bounded Reachability in Valence Systems

abstract: Multi-pushdown systems are a standard model for concurrent recursive programs, but they have an undecidable reachability problem. Therefore, there have been several proposals to underapproximate their sets of runs so that reachability in this underapproximation becomes decidable. One such underapproximation that covers a relatively high portion of runs is scope boundedness. In such a run, after each push to stack $i$, the corresponding pop operation must come within a bounded number of visits to stack $i$. In this work, we generalize this approach to a large class of infinite-state systems. For this, we consider the model of valence systems, which consist of a finite-state control and an infinite-state storage mechanism that is specified by a finite undirected graph. This framework captures pushdowns, vector addition systems, integer vector addition systems, and combinations thereof. For this framework, we propose a notion of scope boundedness that coincides with the classical notion when the storage mechanism happens to be a multi-pushdown. We show that with this notion, reachability can be decided in PSPACE for every storage mechanism in the framework. Moreover, we describe the full complexity landscape of this problem across all storage mechanisms, both in the case of (i) the scope bound being given as input and (ii) for fixed scope bounds. Finally, we provide an almost complete description of the complexity landscape if even a description of the storage mechanism is part of the input.


title: Spatial correlations of entangled polymer dynamics

abstract: The spatial correlations of entangled polymer dynamics are examined by molecular dynamics simulations and neutron spin-echo spectroscopy. Due to the soft nature of topological constraints, the initial spatial decays of intermediate scattering functions of entangled chains are, to the first approximation, surprisingly similar to those of an unentangled system in the functional forms. However, entanglements reveal themselves as a long tail in the reciprocal-space correlations, implying a weak but persistent dynamic localization in real space. Comparison with a number of existing theoretical models of entangled polymers suggests that they cannot fully describe the spatial correlations revealed by simulations and experiments. In particular, the strict one-dimensional diffusion idea of the original tube model is shown to be flawed. The dynamic spatial correlation analysis demonstrated in this work provides a useful tool for interrogating the dynamics of entangled polymers. Lastly, the failure of the investigated models to even qualitatively predict the spatial correlations of collective single-chain density fluctuations points to a possible critical role of incompressibility in polymer melt dynamics.


title: Privacy-Aware Rejection Sampling

abstract: Differential privacy (DP) offers strong theoretical privacy guarantees, but implementations of DP mechanisms may be vulnerable to side-channel attacks, such as timing attacks. When sampling methods such as MCMC or rejection sampling are used to implement a mechanism, the runtime can leak private information. We characterize the additional privacy cost due to the runtime of a rejection sampler in terms of both $(\epsilon,\delta)$-DP as well as $f$-DP. We also show that unless the acceptance probability is constant across databases, the runtime of a rejection sampler does not satisfy $\epsilon$-DP for any $\epsilon$. We show that there is a similar breakdown in privacy with adaptive rejection samplers. We propose three modifications to the rejection sampling algorithm, with varying assumptions, to protect against timing attacks by making the runtime independent of the data. The modification with the weakest assumptions is an approximate sampler, introducing a small increase in the privacy cost, whereas the other modifications give perfect samplers. We also use our techniques to develop an adaptive rejection sampler for log-H\"{o}lder densities, which also has data-independent runtime. We give several examples of DP mechanisms that fit the assumptions of our methods and can thus be implemented using our samplers.


title: Tuning Cooperative Behavior in Games with Nonlinear Opinion Dynamics

abstract: We examine the tuning of cooperative behavior in repeated multi-agent games using an analytically tractable, continuous-time, nonlinear model of opinion dynamics. Each modeled agent updates its real-valued opinion about each available strategy in response to payoffs and other agent opinions, as observed over a network. We show how the model provides a principled and systematic means to investigate behavior of agents that select strategies using rationality and reciprocity, key features of human decision-making in social dilemmas. For two-strategy games, we use bifurcation analysis to prove conditions for the bistability of two equilibria and conditions for the first (second) equilibrium to reflect all agents favoring the first (second) strategy. We prove how model parameters, e.g., level of attention to opinions of others (reciprocity), network structure, and payoffs, influence dynamics and, notably, the size of the region of attraction to each stable equilibrium. We provide insights by examining the tuning of the bistability of mutual cooperation and mutual defection and their regions of attraction for the repeated prisoner's dilemma and the repeated multi-agent public goods game. Our results generalize to games with more strategies, heterogeneity, and additional feedback dynamics, such as those designed to elicit cooperation.

categories: physics.soc-ph cs.MA cs.SI math.DS math.OC


title: Quantum Contextuality

abstract: Quantum contextual sets have been recognized as resources for universal quantum computation, quantum steering and quantum communication. Therefore, we focus on engineering the sets that support those resources and on determining their structures and properties. Such engineering and subsequent implementation rely on discrimination between statistics of measurement data of quantum states and those of their classical counterparts. The discriminators considered are inequalities defined for hypergraphs whose structure and generation are determined by their basic properties. The generation is inherently random but with the predetermined quantum probabilities of obtainable data. Two kinds of statistics of the data are defined for the hypergraphs and six kinds of inequalities. One kind of statistics, often applied in the literature, turn out to be inappropriate and two kinds of inequalities turn out not to be noncontextuality inequalities. Results are obtained by making use of universal automated algorithms which generate hypergraphs with both odd and even numbers of hyperedges in any odd and even dimensional space - in this paper, from the smallest contextual set with just three hyperedges and three vertices to arbitrarily many contextual sets in up to 8-dimensional spaces. Higher dimensions are computationally demanding although feasible.


title: Robust Semantic Segmentation with Superpixel-Mix

abstract: Along with predictive performance and runtime speed, reliability is a key requirement for real-world semantic segmentation. Reliability encompasses robustness, predictive uncertainty and reduced bias. To improve reliability, we introduce Superpixel-mix, a new superpixel-based data augmentation method with teacher-student consistency training. Unlike other mixing-based augmentation techniques, mixing superpixels between images is aware of object boundaries, while yielding consistent gains in segmentation accuracy. Our proposed technique achieves state-of-the-art results in semi-supervised semantic segmentation on the Cityscapes dataset. Moreover, Superpixel-mix improves the reliability of semantic segmentation by reducing network uncertainty and bias, as confirmed by competitive results under strong distributions shift (adverse weather, image corruptions) and when facing out-of-distribution data.


title: Convergence rates of deep ReLU networks for multiclass classification

abstract: For classification problems, trained deep neural networks return probabilities of class memberships. In this work we study convergence of the learned probabilities to the true conditional class probabilities. More specifically we consider sparse deep ReLU network reconstructions minimizing cross-entropy loss in the multiclass classification setup. Interesting phenomena occur when the class membership probabilities are close to zero. Convergence rates are derived that depend on the near-zero behaviour via a margin-type condition.


title: Is there a "language of music-video clips" ? A qualitative and quantitative study

abstract: Recommending automatically a video given a music or a music given a video has become an important asset for the audiovisual industry - with user-generated or professional content. While both music and video have specific temporal organizations, most current works do not consider those and only focus on globally recommending a media. As a first step toward the improvement of these recommendation systems, we study in this paper the relationship between music and video temporal organization. We do this for the case of official music videos, with a quantitative and a qualitative approach. Our assumption is that the movement in the music are correlated to the ones in the video. To validate this, we first interview a set of internationally recognized music video experts. We then perform a large-scale analysis of official music-video clips (which we manually annotated into video genres) using MIR description tools (downbeats and functional segments estimation) and Computer Vision tools (shot detection). Our study confirms that a "language of music-video clips" exists; i.e. editors favor the co-occurrence of music and video events using strategies such as anticipation. It also highlights that the amount of co-occurrence depends on the music and video genres.


title: C1 Triangular Isogeometric Analysis of the von Karman Equations

abstract: In this paper, we report the use of rational Triangular Bezier Splines (rTBS) to numerically solve the von Karman equations, a system of fourth order PDEs. $C^{1}$ smoothness of the mesh, generated by triangular Bezier elements, enables us to directly solve the von Karman systems of equations without using mixed formulation. Numerical results of benchmark problems show high accuracy and optimal convergence rate in L1, H1 and H2 norm for quadratic and cubic triangular Bezier elements. Results of this study show that triangular isogeometric analysis can efficiently and accurately solve systems of high order PDEs. Keywords: Rational triangular Bezier splines; Isogeometric analysis; Von Karman; Optimal convergence rate; High order PDEs; Smooth mesh; Triangular elements.


title: Disorder-driven phase transitions in bosonic fractional quantum Hall liquids

abstract: We investigate the disorder-driven phase transitions in bosonic fractional quantum Hall liquids at filling factors $f=1/2$ and $f=1$ in the lowest Landau level. We use the evolution of ground-state entanglement entropy, fidelity susceptibility, and Hall conductance with increasing disorder strength to identify the underlying phase transitions. The critical disorder strengths obtained from these different quantities are consistent with each other, validating the reliability of our numerical calculations based on exact diagonalization. At $f=1/2$, we observe a clear transition from the bosonic Laughlin state to a trivial insulating phase. At $f=1$, we identify a direct phase transition from the non-Abelian bosonic Moore-Read state to a trivial insulating phase, although some signs of a disorder-induced intermediate fractional quantum Hall phase were recently reported for the $f=5/2$ fermionic cousin.


title: Endogenous noise trackers in a Radner equilibrium

abstract: We prove the existence of an incomplete Radner equilibrium in a model with exponential investors and an endogenous noise tracker. We analyze a coupled system of ODEs and reduce it to a system of two coupled ODEs in order to establish equilibrium existence. As an application, we study the impact of the endogenous noise tracker on welfare by comparing to a model with an exogenous noise trader. We show that the aggregate welfare in the endogenous noise tracker model is bigger for a sufficiently large stock supply, but the welfare comparison depends in a non-trivial manner on the other model parameters.


title: Evaluating Federated Learning for Intrusion Detection in Internet of Things: Review and Challenges

abstract: The application of Machine Learning (ML) techniques to the well-known intrusion detection systems (IDS) is key to cope with increasingly sophisticated cybersecurity attacks through an effective and efficient detection process. In the context of the Internet of Things (IoT), most ML-enabled IDS approaches use centralized approaches where IoT devices share their data with data centers for further analysis. To mitigate privacy concerns associated with centralized approaches, in recent years the use of Federated Learning (FL) has attracted a significant interest in different sectors, including healthcare and transport systems. However, the development of FL-enabled IDS for IoT is in its infancy, and still requires research efforts from various areas, in order to identify the main challenges for the deployment in real-world scenarios. In this direction, our work evaluates a FL-enabled IDS approach based on a multiclass classifier considering different data distributions for the detection of different attacks in an IoT scenario. In particular, we use three different settings that are obtained by partitioning the recent ToN\_IoT dataset according to IoT devices' IP address and types of attack. Furthermore, we evaluate the impact of different aggregation functions according to such setting by using the recent IBMFL framework as FL implementation. Additionally, we identify a set of challenges and future directions based on the existing literature and the analysis of our evaluation results.


title: Dynamics of entropy and information of time-dependent quantum systems: exact results

abstract: Dynamical aspects of information-theoretic and entropic measures of quantum systems are studied. First, we show that for the time-dependent harmonic oscillator, as well as for the charged particle in certain time-varying electromagnetic fields, the increase of the entropy and dynamics of the Fisher information can be directly described and related. To illustrate these results we have considered several examples for which all the relations take the elementary form. Moreover, we show that the integrals of (geodesic) motion associated with some conformal Killing vectors lead to the Ermakov-Lewis invariants for the considered electromagnetic fields. Next, we explicitly work out the dynamics of the entanglement entropy of the oscillators coupled by a continuous time-dependent parameter as well as we analyse some aspects of quantum-classical transition (in particular decoherence). Finally, we study in some detail the behavior of quantum quenches (in the presence of the critical points) for the case of mutually non-interacting non-relativistic fermions in a harmonic trap.


title: Josephson-based scheme for the detection of microwave photons

abstract: We propose a scheme for the detection of microwave induced photons through current-biased Josephson junction, from the point of view of the statistical decision theory. Our analysis is based on the numerical study of the zero voltage lifetime distribution in response to a periodic train of pulses, that mimics the absorption of photons. The statistical properties of the detection are retrieved comparing the thermally induced transitions with the distribution of the switchings to the finite voltage state due to the joint action of thermal noise and of the incident pulses. The capability to discriminate the photon arrival can be quantified through the Kumar-Caroll index, which is a good indicator of the Signal-to-Noise-Ratio. The index can be exploited to identify the system parameters best suited for the detection of weak microwave photons.


title: Multilevel Knowledge Transfer for Cross-Domain Object Detection

abstract: Domain shift is a well known problem where a model trained on a particular domain (source) does not perform well when exposed to samples from a different domain (target). Unsupervised methods that can adapt to domain shift are highly desirable as they allow effective utilization of the source data without requiring additional annotated training data from the target. Practically, obtaining sufficient amount of annotated data from the target domain can be both infeasible and extremely expensive. In this work, we address the domain shift problem for the object detection task. Our approach relies on gradually removing the domain shift between the source and the target domains. The key ingredients to our approach are -- (a) mapping the source to the target domain on pixel-level; (b) training a teacher network on the mapped source and the unannotated target domain using adversarial feature alignment; and (c) finally training a student network using the pseudo-labels obtained from the teacher. Experimentally, when tested on challenging scenarios involving domain shift, we consistently obtain significantly large performance gains over various recent state of the art approaches.


title: Constrained Shortest Path Search with Graph Convolutional Neural Networks

abstract: Planning for Autonomous Unmanned Ground Vehicles (AUGV) is still a challenge, especially in difficult, off-road, critical situations. Automatic planning can be used to reach mission objectives, to perform navigation or maneuvers. Most of the time, the problem consists in finding a path from a source to a destination, while satisfying some operational constraints. In a graph without negative cycles, the computation of the single-pair shortest path from a start node to an end node is solved in polynomial time. Additional constraints on the solution path can however make the problem harder to solve. This becomes the case when we need the path to pass through a few mandatory nodes without requiring a specific order of visit. The complexity grows exponentially with the number of mandatory nodes to visit. In this paper, we focus on shortest path search with mandatory nodes on a given connected graph. We propose a hybrid model that combines a constraint-based solver and a graph convolutional neural network to improve search performance. Promising results are obtained on realistic scenarios.


title: Generalized permutahedra and optimal auctions

abstract: We study a family of convex polytopes, called SIM-bodies, which were introduced by Giannakopoulos and Koutsoupias (2018) to analyze so-called Straight-Jacket Auctions. First, we show that the SIM-bodies belong to the class of generalized permutahedra. Second, we prove an optimality result for the Straight-Jacket Auctions among certain deterministic auctions. Third, we employ computer algebra methods and mathematical software to explicitly determine optimal prices and revenues.


title: Neuromechanical model-based adaptive control of bi-lateral ankle exoskeletons: biological joint torque and electromyogram reduction across walking conditions

abstract: To enable the broad adoption of wearable robotic exoskeletons in medical and industrial settings, it is crucial they can adaptively support large repertoires of movements. We propose a new human-machine interface to simultaneously drive bilateral ankle exoskeletons during a range of 'unseen' walking conditions and transitions that were not used for establishing the control interface. The proposed approach used person-specific neuromechanical models to estimate biological ankle joint torques in real-time from measured electromyograms (EMGS) and joint angles. A low-level controller based on a disturbance observer translated biological torque estimates into exoskeleton commands. We call this 'neuromechanical model-based control' (NMBC). NMBC enabled six individuals to voluntarily control a bilateral ankle exoskeleton across six walking conditions, including all intermediate transitions, i.e., two walking speeds, each performed at three ground elevations, with no need for predefined torque profiles, nor a priori chosen neuromuscular reflex rules, or state machines as common in literature. A single subject case-study was carried out on a dexterous locomotion tasks involving moonwalking. NMBC always enabled reducing biological ankle torques, as well as eight ankle muscle EMGs both within (22% torque; 12% EMG) and between walking conditions (24% torque; 14% EMG) when compared to non-assisted conditions. Torque and EMG reductions in novel walking conditions indicated that the exoskeleton operated symbiotically, as exomuscles controlled by the operator's neuromuscular system. This opens new avenues for the systematic adoption of wearable robots as part of out-of-the-lab medical and occupational settings.


title: PSA-GAN: Progressive Self Attention GANs for Synthetic Time Series

abstract: Realistic synthetic time series data of sufficient length enables practical applications in time series modeling tasks, such as forecasting, but remains a challenge. In this paper we present PSA-GAN, a generative adversarial network (GAN) that generates long time series samples of high quality using progressive growing of GANs and self-attention. We show that PSA-GAN can be used to reduce the error in two downstream forecasting tasks over baselines that only use real data. We also introduce a Frechet-Inception Distance-like score, Context-FID, assessing the quality of synthetic time series samples. In our downstream tasks, we find that the lowest scoring models correspond to the best-performing ones. Therefore, Context-FID could be a useful tool to develop time series GAN models.


title: Higher orbital integrals, rho numbers and index theory

abstract: Let $G$ be a connected, linear real reductive group. We give sufficient conditions ensuring the well-definedness of the delocalized eta invariant $\eta_g (D_X)$ associated to a Dirac operator $D_X$ on a cocompact $G$-proper manifold $X$ and to the orbital integral $\tau_g$ defined by a semisimple element $g\in G$. Along the way, we give a detailed account of the large time behaviour of the heat kernel and of its short time bahaviour near the fixed point set of $g$. We prove that such a delocalized eta invariant enters as the boundary correction term in an index theorem computing the pairing between the index class and the 0-degree cyclic cocycle defined by $\tau_g$ on a $G$-proper manifold with boundary. More importantly, we also prove a higher version of such a theorem, for the pairing of the index class and the higher cyclic cocycles defined by the higher orbital integral $\Phi^P_g$ associated to a cuspidal parabolic subgroup $P<G$ with Langlands decomposition $P=MAN$ and a semisimple element $g\in M$. We employ these results in order to define (higher) rho numbers associated to $G$-invariant positive scalar curvature metrics.


title: Linear Spectropolarimetric Analysis of Fairall 9 with VLT/FORS2

abstract: The quasar Main Sequence (MS) appears to be an incredibly powerful tool to organize the diversity in large samples of type-1 quasars but the most important physical parameters governing it are still unclear. Here we investigate the origin of the broadening and of a defining feature of Population B sources: a strong redward asymmetry of the Balmer emission lines. We focus on a prototypical source, Fairall 9. Spectropolarimetric data of the Fairall 9 broad H$\beta$ and H$\alpha$ profiles allowed for a view of the geometric and dynamical complexity of the line emitting regions. Measurements (1) provided evidence of rotational motion; (2) were helpful to test the presence of polar and equatorial scatterers, and their association with non-virial motions.


title: Monopoles, twisted integral homology, and Hirsch algebras

abstract: We provide an explicit computation over the integers of the bar version $\overline{HM}_*$ of the monopole Floer homology of a three-manifold in terms of a new invariant associated to its triple cup product called extended cup homology. This refines previous computations over fields of characteristic zero by Kronheimer and Mrowka, who established a relationship to Atiyah and Segal's twisted de Rham cohomology, and characteristic two by Lidman using surgery techniques in Heegaard Floer theory. In order to do so, we first develop a general framework to study the homotopical properties of the cohomology of a dga twisted with respect a particular kind of Maurer-Cartan element called twisting sequence. Then, for dgas equipped with the additional structure of a Hirsch algebra (which consists of certain higher operations that measure the failure of strict commutativity, and related associativity properties), we develop a product on twisting sequences and a theory of rational characteristic classes. These are inspired by Kraines' classical construction of higher Massey products and may be of independent interest. We then compute the most important infinite family of such higher operations explicitly for the minimal cubical realization of the torus. Building on the work of Kronheimer and Mrowka, the determination of $\overline{HM}_*$ follows from these computations and certain functoriality properties of the rational characteristic classes.


title: The time evolution of the trajectories after the selectivity in a symmetric potential energy surface with a post-transition-state bifurcation

abstract: Selectivity is an important phenomenon in chemical reaction dynamics. This can be quantified by the branching ratio of the trajectories that visit one or the other wells to the total number of trajectories in a system with a potential with two sequential index-1 saddles and two wells (top well and bottom well). In our case, the branching ratio is 1:1 because of the symmetry of our potential energy surface. The mechanisms of transport and the behavior of the trajectories in this kind of systems have been studied recently. In this paper we study the time evolution after the selectivity as energy varies using periodic orbit dividing surfaces. We investigate what happens after the first visit of a trajectory to the region of the top or the bottom well for different values of energy. We answer the natural question, what is the destiny of these trajectories?


title: 3D mapping of the effective Majorana neutrino masses with neutrino oscillation data

abstract: With the help of current neutrino oscillation data, we illustrate the three-dimensional (3D) profiles of all the six distinct effective Majorana neutrino masses $|\langle m\rangle^{}_{\alpha \beta}|$ (for $\alpha, \beta = e, \mu, \tau$) with respect to the unknown neutrino mass scale and effective Majorana CP phases. Some salient features of $|\langle m\rangle^{}_{\alpha \beta}|$ and their phenomenological implications are discussed in both the normal and inverted neutrino mass ordering cases.


title: Threshold Ramsey multiplicity for odd cycles

abstract: The Ramsey number $r(H)$ of a graph $H$ is the minimum $n$ such that any two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ is then the minimum number of monochromatic copies of $H$ taken over all two-edge-colorings of $K_{r(H)}$. The study of this concept was first proposed by Harary and Prins almost fifty years ago. In a companion paper, the authors have shown that there is a positive constant $c$ such that the threshold Ramsey multiplicity for a path or even cycle with $k$ vertices is at least $(ck)^k$, which is tight up to the value of $c$. Here, using different methods, we show that the same result also holds for odd cycles with $k$ vertices.


title: Hefei light source storage ring bunch by bunch 3D position measuring system is introduced and a preliminary study is shown

abstract: The 4 electrode signals of the beam position detector(BPM) of the STORAGE ring of HEFEI Light Source are directly connected to the domestic oscilloscope with 12bit resolution, 10Gsps sampling rate and 2GHz bandwidth. The acquisition program is run on the cloud host under the Zstack architecture, triggering to read a group of waveforms of 500us each time. The X (horizontal position), Y (vertical position) and Z (longitudinal phase) information of the centroid of 45 bunches 2266 cycles were extracted. The resolution of X and Y of each bunches was about 5um, and the resolution of Z was about 0.5ps. The update period of online operation was about 7 seconds. The three-dimensional tune of each bunch can be obtained by analyzing the three-dimensional position information of each bunch in normal operation. The spectrum peak of the transverse quadrupole oscillation can be observed by analyzing the button and strip electrode signals when beam is incentived.


title: Phase-dependent microwave response of a graphene Josephson junction

abstract: Gate-tunable Josephson junctions embedded in a microwave environment provide a promising platform to in-situ engineer and optimize novel superconducting quantum circuits. The key quantity for the circuit design is the phase-dependent complex admittance of the junction, which can be probed by sensing an rf SQUID with a tank circuit. Here, we investigate a graphene-based Josephson junction as a prototype gate-tunable element enclosed in a SQUID loop that is inductively coupled to a superconducting resonator operating at 3 GHz. With a concise circuit model that describes the dispersive and dissipative response of the coupled system, we extract the phase-dependent junction admittance corrected for self-screening of the SQUID loop. We decompose the admittance into the current-phase relation and the phase-dependent loss and as these quantities are dictated by the spectrum and population dynamics of the supercurrent-carrying Andreev bound states, we gain insight to the underlying microscopic transport mechanisms in the junction. We theoretically reproduce the experimental results by considering a short, diffusive junction model that takes into account the interaction between the Andreev spectrum and the electromagnetic environment, from which we deduce a lifetime of ~17 ps for non-equilibrium populations.


title: The Bias-Variance Tradeoff of Doubly Robust Estimator with Targeted $L_1$ regularized Neural Networks Predictions

abstract: The Doubly Robust (DR) estimation of ATE can be carried out in 2 steps, where in the first step, the treatment and outcome are modeled, and in the second step the predictions are inserted into the DR estimator. The model misspecification in the first step has led researchers to utilize Machine Learning algorithms instead of parametric algorithms. However, existence of strong confounders and/or Instrumental Variables (IVs) can lead the complex ML algorithms to provide perfect predictions for the treatment model which can violate the positivity assumption and elevate the variance of DR estimators. Thus the ML algorithms must be controlled to avoid perfect predictions for the treatment model while still learn the relationship between the confounders and the treatment and outcome. We use two Neural network architectures and investigate how their hyperparameters should be tuned in the presence of confounders and IVs to achieve a low bias-variance tradeoff for ATE estimators such as DR estimator. Through simulation results, we will provide recommendations as to how NNs can be employed for ATE estimation.


title: Threshold Ramsey multiplicity for paths and even cycles

abstract: The Ramsey number $r(H)$ of a graph $H$ is the minimum integer $n$ such that any two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$. While this definition only asks for a single monochromatic copy of $H$, it is often the case that every two-edge-coloring of the complete graph on $r(H)$ vertices contains many monochromatic copies of $H$. The minimum number of such copies over all two-colorings of $K_{r(H)}$ will be referred to as the threshold Ramsey multiplicity of $H$. Addressing a problem of Harary and Prins, who were the first to systematically study this quantity, we show that there is a positive constant $c$ such that the threshold Ramsey multiplicity of a path or an even cycle on $k$ vertices is at least $(ck)^k$. This bound is tight up to the constant $c$. We prove a similar result for odd cycles in a companion paper.


title: Can we bypass no-go theorem for Ricci-inverse Gravity?

abstract: Recently, Amendola et al. proposed a geometrical theory of gravity containing higher-order derivative terms. The authors introduced anticurvature scalar $(A)$, which is the trace of the inverse of the Ricci tensor ($A^{\mu\nu} = R_{\mu\nu}^{-1}$). In this work, we consider two classes of Ricci-inverse -- Class I and Class II -- models. Class I models are of the form $f(R, A)$ where $f$ is a function of Ricci and anticurvature scalars. Class II models are of the form ${\cal F}(R, A^{\mu\nu}A_{\mu\nu})$ where ${\cal F}$ is a function of Ricci scalar and square of anticurvature tensor. For both these classes of models, we numerically solve the modified Friedmann equations in the redshift range $1500 < z < 0$. We show that the late-time evolution of the Universe, i.e., evolution from matter-dominated epoch to accelerated expansion epoch, \emph{can not} be explained by these two classes of models. Using the reduced action approach, we show that we \emph{can not bypass} the no-go theorem for Ricci-inverse gravity models. Finally, we discuss the implications of our analysis for the early-Universe cosmology.


title: Special MMP for log canonical generalised pairs

abstract: We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical generalised pair $ (X,B+M) $ we can run an MMP with scaling of an ample divisor which terminates, assuming that it admits an NQC weak Zariski decomposition or that $K_X+B+M$ is not pseudoeffective. As a consequence, we establish several existence results for minimal models and Mori fibre spaces.


title: Extreme outbreak dynamics in epidemic models

abstract: Motivated by recent epidemic outbreaks, including those of COVID-19, we solve the canonical problem of calculating the dynamics and likelihood of extensive outbreaks in a population within a large class of stochastic epidemic models with demographic noise, including the Susceptible-Infected-Recovered (SIR) model and its general extensions. In the limit of large populations, we compute the probability distribution for all extensive outbreaks, including those that entail unusually large or small (extreme) proportions of the population infected. Our approach reveals that, unlike other well-known examples of rare events occurring in discrete-state stochastic systems, the statistics of extreme outbreaks emanate from a full continuum of Hamiltonian paths, each satisfying unique boundary conditions with a conserved probability flux.


title: Birth and decline of magma oceans. Part 2: wobbling thermal history of early accreted planetesimals

abstract: A theoretical model that describes the evolution of a suspension in which crystals can sediment to form a dense cumulate or may produce a light flotation crust has been derived in a companion paper. We use this model to study the thermal history of early accreted planetary bodies accreted during the very early stages of the formation of the solar system. We study the conditions required to form and preserve flotation crusts and basal cumulates, and the implications for the thermal evolution of planetesimals. We calculate the temperature evolution in an early accreted planetesimals internally heated by the decay of $\rm{^{26}Al}$ and $\rm{^{60}Fe}$. For planetesimal with radius $R>30\, \rm{km}$, partial melting reaches 40%, planetesimals undergo a rheological transition and form a magma ocean, i.e.: a suspension from which crystals can segregate and form a floating crust and/or a dense cumulate. Because of the formation of an insulation floating crust, this magma ocean episode is characterized by a relatively long time life, a slow cooling rate, and a weak surface heat flux. The model further predicts a cyclic evolution where episodes of crustal thickening alternate with episodes of melting-induced crustal thinning. These cycles produce in turn an oscillating thermal history and prevent runaway thermal heating of the planetesimals. At the end of the magma ocean episode, when the fraction of crystals becomes larger than 60\%, a transition occurs to solid-state convection in the planetesimal's mantle. This stage is characterized by high viscous shear stress that tends to erode previously formed crystal deposits. However, the time scale of this erosion process is larger that the lifetime of the planetesimal. Hence solid-state evolution can be described by a well mixed mantle embedded by a metastable crust and a preserved cumulate at its base.


title: My Eyes Are Up Here: Promoting Focus on Uncovered Regions in Masked Face Recognition

abstract: The recent Covid-19 pandemic and the fact that wearing masks in public is now mandatory in several countries, created challenges in the use of face recognition systems (FRS). In this work, we address the challenge of masked face recognition (MFR) and focus on evaluating the verification performance in FRS when verifying masked vs unmasked faces compared to verifying only unmasked faces. We propose a methodology that combines the traditional triplet loss and the mean squared error (MSE) intending to improve the robustness of an MFR system in the masked-unmasked comparison mode. The results obtained by our proposed method show improvements in a detailed step-wise ablation study. The conducted study showed significant performance gains induced by our proposed training paradigm and modified triplet loss on two evaluation databases.


title: Generalization bounds for nonparametric regression with $\beta-$mixing samples

abstract: In this paper we present a series of results that permit to extend in a direct manner uniform deviation inequalities of the empirical process from the independent to the dependent case characterizing the additional error in terms of $\beta-$mixing coefficients associated to the training sample. We then apply these results to some previously obtained inequalities for independent samples associated to the deviation of the least-squared error in nonparametric regression to derive corresponding generalization bounds for regression schemes in which the training sample may not be independent. These results provide a framework to analyze the error associated to regression schemes whose training sample comes from a large class of $\beta-$mixing sequences, including geometrically ergodic Markov samples, using only the independent case. More generally, they permit a meaningful extension of the Vapnik-Chervonenkis and similar theories for independent training samples to this class of $\beta-$mixing samples.


title: "Robot Steganography"?: Opportunities and Challenges

abstract: Robots are being designed to communicate with people in various public and domestic venues in a helpful, discreet way. Here, we use a speculative approach to shine light on a new concept of robot steganography (RS), that a robot could seek to help vulnerable populations by discreetly warning of potential threats. We first identify some potentially useful scenarios for RS related to safety and security -- concerns that are estimated to cost the world trillions of dollars each year -- with a focus on two kinds of robots, an autonomous vehicle (AV) and a socially assistive humanoid robot (SAR). Next, we propose that existing, powerful, computer-based steganography (CS) approaches can be adopted with little effort in new contexts (SARs), while also pointing out potential benefits of human-like steganography (HS): although less efficient and robust than CS, HS represents a currently-unused form of RS that could also be used to avoid requiring computers or detection by more technically advanced adversaries. This analysis also introduces some unique challenges of RS that arise from message generation, indirect perception, and effects of perspective. For this, we explore some related theoretical and practical concerns for selecting carrier signals and generating messages, also making available some code and a video demo. Finally, we report on checking the current feasibility of the RS concept via a simplified user study, confirming that messages can be hidden in a robot's behaviors. The immediate implication is that RS could help to improve people's lives and mitigate some costly problems -- suggesting the usefulness of further discussion, ideation, and consideration by designers.


title: Physical properties of a quasi-two-dimensional square lattice antiferromagnet Ba$_2$FeSi$_2$O$_7$

abstract: We report the magnetization ($\chi$, $M$), specific heat ($C_{\text{P}}$), and neutron powder diffraction results on a quasi-two-dimensional $S$ = 2 square lattice antiferromagnet Ba$_2$FeSi$_2$O$_7$ consisting of FeO$_4$ tetragons with a large compressive distortion (27%). Despite of the quasi-two-dimensional lattice structure, both $\chi$ and $C_{\text{P}}$ present three dimensional magnetic long-range order below the N\'eel temperature $T_{\text{N}}$ = 5.2 K. Neutron diffraction data shows a collinear $Q_{m}$ = (1,0,0.5) antiferromagnetic (AFM) structure with the in-plane ordered magnetic moment suppressed by 26% below $T_{\text{N}}$. Both the AFM structure and the suppressed moments are well explained by the Monte Carlo simulation with a large single-ion ab-plane anisotropy $D$ = 1.4 meV and a rather small in-plane Heisenberg exchange $J_{\text{intra}}$ = 0.15 meV. The characteristic two dimensional spin fluctuations can be recognized in the magnetic entropy release and diffuse scattering above $T_{\text{N}}$. This new quasi-2D magnetic system also displays unusual non-monotonic dependence of the $T_{\text{N}}$ as a function of magnetic field $H$.


title: Relativistic coupled-cluster calculation of hyperfine-structure constants of $^{229}$Th$^{3+}$ and evaluation of the electromagnetic nuclear moments of $^{229}$Th

abstract: $^{229}$Th is a promising candidate for developing a nuclear optical clock and searching the new physics beyond the standard model. Accurate knowledge of the nuclear properties of $^{229}$Th is very important. In this work, we calculate hyperfine-structure constants for the first four states of $^{229}$Th$^{3+}$ using the relativistic coupled-cluster method based on the Gauss basis set. The no-pair Dirac-Coulomb-Breit Hamiltonian with the lowest-order quantum electrodynamics (QED) correction is the starting point, together with all linear and non-linear terms of single and double excitations are included in coupled-cluster calculation. With the measured value of the hyperfine-structure constants [Phys. Rev. Lett. 106. 223001(2011)], we get the magnetic dipole moment, $\mu=0.359(9)$, and the electric quadrupole moment, $Q=2.95(7)$, of the $^{229}$Th nucleus. Our magnetic dipole moment is perfectly consistent with the recommended values, $\mu=0.360(7)$, from the all-order calculation by Safronova \textit{et. al.}[Phys.Rev.A 88, 060501 (2013)], but our electric quadrupole moment is smaller than their recommended value, $Q=3.11(6)$, about 5\%. Our results show that the non-linear terms of single and double excitations, which were not included in the all-order calculation by Safronova \textit{et. al.}, are very crucial to produce a precise $Q$ value of $^{229}$Th. Additionally, we also present magnetic octupole hyperfine-structure constants and some important non-diagonal hyperfine transition matrix elements, which are required for further extracting the magnetic octupole moment $\Omega$ of $^{229}$Th nucleus.


title: Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining

abstract: Model transformations play a fundamental role in model-driven software development. They can be used to solve or support central tasks, such as creating models, handling model co-evolution, and model merging. In the past, various (semi-)automatic approaches have been proposed to derive model transformations from meta-models or from examples. These approaches require time-consuming handcrafting or recording of concrete examples, or they are unable to derive complex transformations. We propose a novel unsupervised approach, called Ockham, which is able to learn edit operations from model histories in model repositories. Ockham is based on the idea that meaningful edit operations will be the ones that compress the model differences. We evaluate our approach in two controlled experiments and one real-world case study of a large-scale industrial model-driven architecture project in the railway domain. We find that our approach is able to discover frequent edit operations that have actually been applied. Furthermore, Ockham is able to extract edit operations in an industrial setting that are meaningful to practitioners.