title: Topological Interference Management with Adversarial Topology Perturbation: An Algorithmic Perspective

abstract: In this paper, we consider the topological interference management (TIM) problem in a dynamic setting, where an adversary perturbs network topology to prevent the exploitation of sophisticated coding opportunities (e.g., interference alignment). Focusing on a special class of network topology - chordal networks - we investigate algorithmic aspects of the TIM problem under adversarial topology perturbation. In particular, given the adversarial perturbation with respect to edge insertion/deletion, we propose a dynamic graph coloring algorithm that allows for a constant number of re-coloring updates against each inserted/deleted edge to achieve the information-theoretic optimality. This is a sharp reduction of the general graph re-coloring, whose optimal number of updates scales as the size of the network, thanks to the delicate exploitation of the structural properties of chordal graph classes.


title: Magnetism-driven unconventional effects in Ising superconductors: role of proximity, tunneling, and nematicity

abstract: Hybrid Ising superconductor-ferromagnetic insulator heterostructures provide a unique opportunity to explore the interplay between proximity-induced magnetism, spin-orbit coupling and superconductivity. Here we use a combination of first-principles calculations of NbSe$_{2}$/CrBr$_{3}$ heterostructures and an analytical theory of Ising superconductivity to analyze the existing experiments and provide a complete explanation of highly nontrivial and largely counterintuitive effects: an increase in the magnitude of the superconducting gap accompanied by the broadening of the tunneling peaks; hysteretic behavior of the tunneling conductance that sets in $\approx 2$ K below $T_c$; and nematic symmetry breaking in the superconducting state. The microscopic reason in all three cases appears to be the interplay between the proximity-induced exchange splitting and intrinsic defects. Finally, we predict additional interesting effects that at the moment cannot be addressed experimentally: spin-filtering when tunneling across CrBr$_{3}$ and tunneling ``hot spots'' in momentum space that are anticorrelated with regions where the spin-orbit splitting is maximum.


title: Effective metastability for a method of alternating resolvents

abstract: A generalized method of alternating resolvents was introduced by Boikanyo and Moro{\c s}anu as a way to approximate common zeros of two maximal monotone operators. In this paper we analyse the strong convergence of this algorithm under two different sets of conditions. As a consequence we obtain effective rates of metastability (in the sense of Terence Tao) and quasi-rates of asymptotic regularity. Furthermore, we bypass the need for sequential weak compactness in the original proofs. Our quantitative results are obtained using proof-theoretical techniques in the context of the proof mining program.


title: System- and Software-level Architecting Harmonization Practices for Systems-of-Systems -- An exploratory case study on a long-running large-scale scientific instrument

abstract: The problems caused by the gap between system- and software-level architecting practices, especially in the context of Systems of Systems where the two disciplines inexorably meet, is a well known issue with a disappointingly low amount of works in the literature dedicated to it. At the same time, organizations working on Systems of Systems have been developing solutions for closing this gap for many years now. This work aims to extract such knowledge from practitioners by studying the case of a large-scale scientific instrument, a geographically distributed radio telescope to be more specific, developed as a sequence of projects during the last two decades. As the means for collecting data for this study we combine online interviews with a virtual focus group of practitioners from the organization responsible for building the instrument. Through this process, we identify persisting problems and the best practices that have been developed to deal with them, together with the perceived benefits and drawbacks of applying the latter in practice. Some of our major findings include the need to avoid over-reliance on the flexibility of software to compensate for incomplete requirements, hidden assumptions, as well as late involvement of system architecting, and to facilitate the cooperation between the involved disciplines through dedicated architecting roles and the adoption of unifying practices and standards.


title: Diminishing Domain Bias by Leveraging Domain Labels in Object Detection on UAVs

abstract: Object detection from Unmanned Aerial Vehicles (UAVs) is of great importance in many aerial vision-based applications. Despite the great success of generic object detection methods, a significant performance drop is observed when applied to images captured by UAVs. This is due to large variations in imaging conditions, such as varying altitudes, dynamically changing viewing angles, and different capture times. These variations lead to domain imbalances and, thus, trained models suffering from domain bias. We demonstrate that domain knowledge is a valuable source of information and thus propose domain-aware object detectors by using freely accessible sensor data. By splitting the model into cross-domain and domain-specific parts, substantial performance improvements are achieved on multiple data sets across various models and metrics without changing the architecture. In particular, we achieve a new state-of-the-art performance on UAVDT for embedded real-time detectors. Furthermore, we create a new airborne image data set by annotating 13,713 objects in 2,900 images featuring precise altitude and viewing angle annotations.


title: Total Stability of SVMs and Localized SVMs

abstract: Regularized kernel-based methods such as support vector machines (SVMs) typically depend on the underlying probability measure $\mathrm{P}$ (respectively an empirical measure $\mathrm{D}_n$ in applications) as well as on the regularization parameter $\lambda$ and the kernel $k$. Whereas classical statistical robustness only considers the effect of small perturbations in $\mathrm{P}$, the present paper investigates the influence of simultaneous slight variations in the whole triple $(\mathrm{P},\lambda,k)$, respectively $(\mathrm{D}_n,\lambda_n,k)$, on the resulting predictor. Existing results from the literature are considerably generalized and improved. In order to also make them applicable to big data, where regular SVMs suffer from their super-linear computational requirements, we show how our results can be transferred to the context of localized learning. Here, the effect of slight variations in the applied regionalization, which might for example stem from changes in $\mathrm{P}$ respectively $\mathrm{D}_n$, is considered as well.


title: The effects of different Type Ia SN yields on Milky Way chemical evolution

abstract: We study the effect of different Type Ia SN nucleosynthesis prescriptions on the Milky Way chemical evolution. To this aim, we run detailed one-infall and two-infall chemical evolution models, adopting a large compilation of yield sets corresponding to different white dwarf progenitors (near-Chandrasekar and sub-Chandrasekar) taken from the literature. We adopt a fixed delay time distribution function for Type Ia SNe , in order to avoid degeneracies in the analysis of the different nucleosynthesis channels. We also combine yields for different Type Ia SN progenitors in order to test the contribution to chemical evolution of different Type Ia SN channels. The results of the models are compared with recent LTE and NLTE observational data. We find that "classical" W7 and WDD2 models produce Fe masses and [$\alpha$/Fe] abundance patterns similar to more recent and physical near-Chandrasekar and sub- Chandrasekar models. For Fe-peak elements, we find that the results strongly depend either on the white dwarf explosion mechanism (deflagration-to-detonation, pure deflagration, double detonation) or on the initial white dwarf conditions (central density, explosion pattern). The comparison of chemical evolution model results with observations suggests that a combination of near-Chandrasekar and sub-Chandrasekar yields is necessary to reproduce the data of V, Cr, Mn and Ni, with different fractions depending on the adopted massive stars stellar yields. This comparison also suggests that NLTE and singly ionised abundances should be definitely preferred when dealing with most of Fe-peak elements at low metallicity.


title: HI-MaNGA: Tracing the physics of the neutral and ionized ISM with the second data release

abstract: We present the second data release for the HI-MaNGA programme of HI follow-up observations for the SDSS-IV MaNGA survey. This release contains measurements for 3669 unique galaxies, combining 2108 Green Bank Telescope observations with an updated crossmatch of the MaNGA sample with the ALFALFA survey. We combine these data with MaNGA spectroscopic measurements to examine relationships between HI-to-stellar mass ratio (M_HI/M_*) and average ISM/star formation properties probed by optical emission lines. M_HI/M_* is very weakly correlated with the equivalent width of Halpha, implying a loose connection between the instantaneous star formation rate and the HI reservoir, although the link between M_HI/M_* and star formation strengthens when averaged even over only moderate timescales (~30 Myrs). Galaxies with elevated HI depletion times have enhanced [OI]/Halpha and depressed Halpha surface brightness, consistent with more HI residing in a diffuse and/or shock heated phase which is less capable of condensing into molecular clouds. Of all optical lines, M_HI/M_* correlates most strongly with oxygen equivalent width, EW(O), which is likely a result of the existing correlation between M_HI/M_* and gas-phase metallicity. Residuals in the M_HI/M_*-EW(O) relation are again correlated with [OI]/Halpha and Halpha surface brightness, suggesting they are also driven by variations in the fraction of diffuse and/or shock-heated gas. We recover the strong anti-correlation between M_HI/M_* and gas-phase metallicity seen in previous studies. We also find a relationship between M_HI/M_* and [OI]/Halpha, suggesting that higher fractions of diffuse and/or shock-heated gas are more prevalent in gas-rich galaxies.


title: Rigidity of Complete Gradient Steady Ricci Solitons with Harmonic Weyl Curvature

abstract: Our main aim in this paper is to investigate the rigidity of complete noncompact gradient steady Ricci solitons with harmonic Weyl tensor. More precisely, we prove that an $n$-dimensional ($n\geq 5$) complete noncompact gradient steady Ricci soliton with harmonic Weyl tensor and multiply warped product metric is either Ricci flat or isometric to the Bryant soliton up to scaling. Meanwhile, for $n\ge 5$, we provide a local structure theorem for $n$-dimensional connected (not necessarily complete) gradient Ricci solitons with harmonic Weyl curvature and multiply warped product metric.


title: Self-stabilisation of cellular automata on tilings

abstract: Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back into the space of valid configurations where it remains still. We allow the cellular automaton to use extra symbols, but in that case, the extra symbols can also appear in the initial finite perturbation. For several classes of local constraints (e.g., $k$-colourings with $k\neq 3$, and North-East deterministic constraints), we provide efficient self-stabilising cellular automata with or without additional symbols that wash out finite perturbations in linear or quadratic time, but also show that there are examples of local constraints for which the self-stabilisation problem is inherently hard. We note that the optimal self-stabilisation speed is the same for all local constraints that are isomorphic to one another. We also consider probabilistic cellular automata rules and show that in some cases, the use of randomness simplifies the problem. In the deterministic case, we show that if finite perturbations are corrected in linear time, then the cellular automaton self-stabilises even starting from a random perturbation of a valid configuration, that is, when errors in the initial configuration occur independently with a sufficiently low density.


title: Inductive Synthesis for Probabilistic Programs Reaches New Horizons

abstract: This paper presents a novel method for the automated synthesis of probabilistic programs. The starting point is a program sketch representing a finite family of finite-state Markov chains with related but distinct topologies, and a PCTL specification. The method builds on a novel inductive oracle that greedily generates counter-examples (CEs) for violating programs and uses them to prune the family. These CEs leverage the semantics of the family in the form of bounds on its best- and worst-case behaviour provided by a deductive oracle using an MDP abstraction. The method further monitors the performance of the synthesis and adaptively switches between the inductive and deductive reasoning. Our experiments demonstrate that the novel CE construction provides a significantly faster and more effective pruning strategy leading to acceleration of the synthesis process on a wide range of benchmarks. For challenging problems, such as the synthesis of decentralized partially-observable controllers, we reduce the run-time from a day to minutes.


title: Modelling Sovereign Credit Ratings: Evaluating the Accuracy and Driving Factors using Machine Learning Techniques

abstract: Sovereign credit ratings summarize the creditworthiness of countries. These ratings have a large influence on the economy and the yields at which governments can issue new debt. This paper investigates the use of a Multilayer Perceptron (MLP), Classification and Regression Trees (CART), Support Vector Machines (SVM), Na\"ive Bayes (NB), and an Ordered Logit (OL) model for the prediction of sovereign credit ratings. We show that MLP is best suited for predicting sovereign credit ratings, with a random cross-validated accuracy of 68%, followed by CART (59%), SVM (41%), NB (38%), and OL (33%). Investigation of the determining factors shows that there is some heterogeneity in the important variables across the models. However, the two models with the highest out-of-sample predictive accuracy, MLP and CART, show a lot of similarities in the influential variables, with regulatory quality, and GDP per capita as common important variables. Consistent with economic theory, a higher regulatory quality and/or GDP per capita are associated with a higher credit rating.


title: Evidence of the $Gaia$--VLBI position differences being related to radio source structure

abstract: We report the relationship between the $Gaia$--VLBI position differences and the magnitudes of source structure effects in VLBI observations. Because the $Gaia$--VLBI position differences are statistically significant for a considerable number of common sources, we attempt to discuss and explain these position differences based on VLBI observations and available source images at cm-wavelengths. Based on the derived closure amplitude root-mean-square (CARMS), which quantifies the magnitudes of source structure effects in the VLBI observations used for building the third realization of the International Celestial Reference Frame, the arc lengths and normalized arc lengths of the position differences are examined in detail. The radio jet directions and the directions of the $Gaia$--VLBI position differences are investigated for a small sample of sources. Both the arc lengths and normalized arc lengths of the $Gaia$ and VLBI positions are found to increase with the CARMS values. The majority of the sources with statistically significant position differences are associated with the sources having extended structure. Radio source structure is the one of the major factors of these position differences, and it can be the dominate factor for a number of sources. The vectors of the $Gaia$ and VLBI position differences are parallel to the radio-jet directions, which is confirmed with stronger evidence.


title: How many data clusters are in the Galaxy data set? Bayesian cluster analysis in action

abstract: In model-based clustering, the Galaxy data set is often used as a benchmark data set to study the performance of different modeling approaches. Aitkin (2001) compares maximum likelihood and Bayesian analyses of the Galaxy data set and expresses reservations about the Bayesian approach due to the fact that the prior assumptions imposed remain rather obscure while playing a major role in the results obtained and conclusions drawn. The aim of the paper is to address Aitkin's concerns about the Bayesian approach by shedding light on how the specified priors influence the number of estimated clusters. We perform a sensitivity analysis of different prior specifications for the mixtures of finite mixture model, i.e., the mixture model where a prior on the number of components is included. We use an extensive set of different prior specifications in a full factorial design and assess their impact on the estimated number of clusters for the Galaxy data set. Results highlight the interaction effects of the prior specifications and provide insights into which prior specifications are recommended to obtain a sparse clustering solution. A simulation study with artificial data provides further empirical evidence to support the recommendations. A clear understanding of the impact of the prior specifications removes restraints preventing the use of Bayesian methods due to the complexity of selecting suitable priors. Also, the regularizing properties of the priors may be intentionally exploited to obtain a suitable clustering solution meeting prior expectations and needs of the application.


title: The Pseudopower Dichotomy

abstract: We investigate pseudopowers of singular cardinals, and show that deduce some consequences for cardinal arithmetic. For example, we show that in {\sf ZFC} that $$\cov(\mu,\mu,\theta,\sigma)=\cov(\mu,\mu,(\cf\mu)^+,\sigma)+\cov(\mu,\mu,\theta,\sigma^+)$$ whenever $\aleph_1\leq\sigma=\cf(\sigma)<\cf(\mu)<\theta<\mu$, and use recent work of Gitik to show that both summands in the equation are required.


title: Classical Gravitational Bremsstrahlung from a Worldline Quantum Field Theory

abstract: Using the recently established formalism of a worldline quantum field theory (WQFT) description of the classical scattering of two spinless black holes, we compute the far-field time-domain waveform of the gravitational waves produced in the encounter at leading order in the post-Minkowskian (weak field, but generic velocity) expansion. We reproduce previous results of Kovacs and Thorne in a highly economic way. Then using the waveform we extract the leading-order total radiated angular momentum and energy (including differential results). Our work may enable crucial improvements of gravitational-wave predictions in the regime of large relative velocities.


title: Moduli of elliptic $K3$ surfaces: monodromy and Shimada root lattice strata

abstract: In this paper we investigate two stratifications of the moduli space of elliptically fibred K3 surfaces. The first comes from Shimada's classification of connected components of elliptically fibred K3 surfaces and is closely related to the root lattice of the fibration. The second is the monodromy stratification defined by Bogomolov, Petrov and Tschinkel. The main result of the paper is a classification of all positive-dimensional ambi-typical strata, that is strata which are both Shimada root strata and monodromy strata. We further discuss the connection with moduli spaces of lattice-polarised K3 surfaces. The paper contains an appendix by M. Kirschmer providing computational results on the 1-dimensional ambi-typical strata.


title: Towards Generalising Neural Implicit Representations

abstract: Neural implicit representations have shown substantial improvements in efficiently storing 3D data, when compared to conventional formats. However, the focus of existing work has mainly been on storage and subsequent reconstruction. In this work, we show that training neural representations for reconstruction tasks alongside conventional tasks can produce more general encodings that admit equal quality reconstructions to single task training, whilst improving results on conventional tasks when compared to single task encodings. We reformulate the semantic segmentation task, creating a more representative task for implicit representation contexts, and through multi-task experiments on reconstruction, classification, and segmentation, show our approach learns feature rich encodings that admit equal performance for each task.


title: Isolation mechanisms for high-speed packet-processing pipelines

abstract: Data-plane programmability is now mainstream. As we find more use cases, deployments need to be able to run multiple packet-processing modules in a single device. These are likely to be developed by independent teams, either within the same organization or from multiple organizations. Therefore, we need isolation mechanisms to ensure that modules on the same device do not interfere with each other. This paper presents Menshen, an extension of the Reconfigurable Match Tables (RMT) pipeline that enforces isolation between different packet-processing modules. Menshen is comprised of a set of lightweight hardware primitives and an extension to the open source P4-16 reference compiler that act in conjunction to meet this goal. We have prototyped Menshen on two FPGA platforms (NetFPGA and Corundum). We show that our design provides isolation, and allows new modules to be loaded without impacting the ones already running. Finally, we demonstrate that feasibility of implementing Menshen on ASICs by using the FreePDK45nm technology library and the Synopsys DC synthesis software, showing that our design meets timing at a 1GHz clock frequency and needs approximately 6% additional chip area. We have open sourced the code for Menshen's hardware and software at https://isolation.quest/.


title: Analytical bound-state solutions of the Klein-Fock-Gordon equation for the sum of Hulth\'en and Yukawa potential within SUSY quantum mechanics

abstract: The relativistic wave equations determine the dynamics of quantum fields in the context of quantum field theory. One of the conventional tools for dealing with the relativistic bound-state problem is the Klein-Fock-Gordon equation. In this work, using a developed scheme, we present how to surmount the centrifugal part and solve the modified Klein-Fock-Gordon equation for the linear combination of Hulth\'en and Yukawa potentials. In particular, we show that the relativistic energy eigenvalues and corresponding radial wave functions are obtained from supersymmetric quantum mechanics by applying the shape invariance concept. Here, both scalar potential conditions, which are whether equal and non-equal to vector potential, are considered in the calculation. The energy levels and corresponding normalized eigenfunctions are represented as a recursion relation regarding the Jacobi polynomials for arbitrary $l$ states. Beyond that, a closed-form of the normalization constant of the wave functions is found. Furthermore, we state that the energy eigenvalues are quite sensitive with potential parameters for the quantum states. The non-relativistic and relativistic results obtained within SUSY QM overlap entirely with the results obtained by ordinary quantum mechanics, and it displays that the mathematical implementation of SUSY quantum mechanics is quite perfect.


title: Evaluating the Discrimination Ability of Proper Multivariate Scoring Rules

abstract: Proper scoring rules are commonly applied to quantify the accuracy of distribution forecasts. Given an observation they assign a scalar score to each distribution forecast, with the the lowest expected score attributed to the true distribution. The energy and variogram scores are two rules that have recently gained some popularity in multivariate settings because their computation does not require a forecast to have parametric density function and so they are broadly applicable. Here we conduct a simulation study to compare the discrimination ability between the energy score and three variogram scores. Compared with other studies, our simulation design is more realistic because it is supported by a historical data set containing commodity prices, currencies and interest rates, and our data generating processes include a diverse selection of models with different marginal distributions, dependence structure, and calibration windows. This facilitates a comprehensive comparison of the performance of proper scoring rules in different settings. To compare the scores we use three metrics: the mean relative score, error rate and a generalised discrimination heuristic. Overall, we find that the variogram score with parameter p=0.5 outperforms the energy score and the other two variogram scores.


title: Gaining Scale Invariance in UAV Bird's Eye View Object Detection by Adaptive Resizing

abstract: This work introduces a new preprocessing step for object detection applicable to UAV bird's eye view imagery, which we call Adaptive Resizing. By design, it helps alleviate the challenges coming with the vast variances in objects' scales, naturally inherent to UAV data sets. Furthermore, it improves inference speed by two to three times on average. We test this extensively on UAVDT, VisDrone, and on a new data set we captured ourselves and achieve consistent improvements while being considerably faster. Moreover, we show how to apply this method to generic UAV object detection tasks. Additionally, we successfully test our approach on a height transfer task where we train on some interval of altitudes and test on a different one. Furthermore, we introduce a small, fast detector meant for deployment to an embedded GPU. Code will be made publicly available on our website.


title: Asymptotics for Kendall's renewal function

abstract: An elementary renewal theorem and a Blackwell theorem provided by Jasiulis-Go{\l}dyn et al. (2020) in a setting of Kendall convolutions are proved under weaker hypothesis and extended to the Gamma class. Convergence rates of the limits concerned in these theorems are analyzed.


title: Skyrmion generation from irreversible fission of stripes in chiral multilayer films

abstract: Competing interactions produce finite-size textures in myriad condensed matter systems, typically forming elongated stripe or round bubble domains. Transitions between stripe and bubble phases, driven by field or temperature, are expected to be reversible in nature. Here we report on the distinct character of the analogous transition for nanoscale spin textures in chiral Co/Pt-based multilayer films, known to host N\'{e}el skyrmions, using microscopy, magnetometry, and micromagnetic simulations. Upon increasing field, individual stripes fission into multiple skyrmions, and this transition exhibits a macroscopic signature of irreversibility. Crucially, upon field reversal, the skyrmions do not fuse back into stripes, with many skyrmions retaining their morphology down to zero field. Both the macroscopic irreversibility and the microscopic zero-field skyrmion density are governed by the thermodynamic material parameter determining chiral domain stability. These results establish the thermodynamic and microscopic framework underlying ambient skyrmion generation and stability in chiral multilayer films and provide immediate directions for their functionalization in devices.


title: Soliton resolution for the complex short pulse equation with weighted Sobolev initial data

abstract: We employ the $\bar{\partial}$-steepest descent method in order to investigate the Cauchy problem of the complex short pulse (CSP) equation with initial conditions in weighted Sobolev space $H^{1,1}(\mathbb{R})=\{f\in L^{2}(\mathbb{R}): f',xf\in L^{2}(\mathbb{R})\}$. The long time asymptotic behavior of the solution $u(x,t)$ is derived in a fixed space-time cone $S(x_{1},x_{2},v_{1},v_{2})=\{(x,t)\in\mathbb{R}^{2}: y=y_{0}+vt, ~y_{0}\in[y_{1},y_{2}], ~v\in[v_{1},v_{2}]\}$. Based on the resulting asymptotic behavior, we prove the solution resolution conjecture of the CSP equation which includes the soliton term confirmed by $N(I)$-soliton on discrete spectrum and the $t^{-\frac{1}{2}}$ order term on continuous spectrum with residual error up to $O(t^{-1})$.


title: A comparison theorem for cosmological lightcones

abstract: Let $(M, g)$ denote a cosmological spacetime describing the evolution of a universe which is isotropic and homogeneous on large scales, but highly inhomogeneous on smaller scales. We consider two past lightcones, the first, $\mathcal{C}^-_L(p, g)$, is associated with the physical observer $p\in\,M$ who describes the actual physical spacetime geometry of $(M, g)$ at the length scale $L$, whereas the second, $\mathcal{C}^-_L(p, \hat{g})$, is associated with an idealized version of the observer $p$ who, notwithstanding the presence of local inhomogeneities at the given scale $L$, wish to model $(M, g)$ with a member $(M, \hat{g})$ of the family of Friedmann-Lemaitre-Robertson-Walker spacetimes. In such a framework, we discuss a number of mathematical results that allows a rigorous comparison between the two lightcones $\mathcal{C}^-_L(p, g)$ and $\mathcal{C}^-_L(p, \hat{g})$. In particular, we introduce a scale dependent ($L$) lightcone-comparison functional, defined by a harmonic type energy, associated with a natural map between the physical $\mathcal{C}^-_L(p, g)$ and the FLRW reference lightcone $\mathcal{C}^-_L(p, \hat{g})$. This functional has a number of remarkable properties, in particular it vanishes iff, at the given length-scale, the corresponding lightcone surface sections (the celestial spheres) are isometric. We discuss in detail its variational analysis and prove the existence of a minimum that characterizes a natural scale-dependent distance functional between the two lightcones. We also indicate how it is possible to extend our results to the case when caustics develop on the physical past lightcone $\mathcal{C}^-_L(p, g)$. Finally, we show how the distance functional is related to spacetime scalar curvature in the causal past of the two lightcones, and briefly illustrate a number of its possible applications.


title: Exploring Deep Neural Networks via Layer-Peeled Model: Minority Collapse in Imbalanced Training

abstract: In this paper, we introduce the \textit{Layer-Peeled Model}, a nonconvex yet analytically tractable optimization program, in a quest to better understand deep neural networks that are trained for a sufficiently long time. As the name suggests, this new model is derived by isolating the topmost layer from the remainder of the neural network, followed by imposing certain constraints separately on the two parts of the network. We demonstrate that the Layer-Peeled Model, albeit simple, inherits many characteristics of well-trained neural networks, thereby offering an effective tool for explaining and predicting common empirical patterns of deep learning training. First, when working on class-balanced datasets, we prove that any solution to this model forms a simplex equiangular tight frame, which in part explains the recently discovered phenomenon of neural collapse \cite{papyan2020prevalence}. More importantly, when moving to the imbalanced case, our analysis of the Layer-Peeled Model reveals a hitherto unknown phenomenon that we term \textit{Minority Collapse}, which fundamentally limits the performance of deep learning models on the minority classes. In addition, we use the Layer-Peeled Model to gain insights into how to mitigate Minority Collapse. Interestingly, this phenomenon is first predicted by the Layer-Peeled Model before being confirmed by our computational experiments.


title: Reservoir Computing with Magnetic Thin Films

abstract: Advances in artificial intelligence are driven by technologies inspired by the brain, but these technologies are orders of magnitude less powerful and energy efficient than biological systems. Inspired by the nonlinear dynamics of neural networks, new unconventional computing hardware has emerged with the potential to exploit natural phenomena and gain efficiency, in a similar manner to biological systems. Physical reservoir computing demonstrates this with a variety of unconventional systems, from optical-based to memristive systems. Reservoir computers provide a nonlinear projection of the task input into a high-dimensional feature space by exploiting the system's internal dynamics. A trained readout layer then combines features to perform tasks, such as pattern recognition and time-series analysis. Despite progress, achieving state-of-the-art performance without external signal processing to the reservoir remains challenging. Here we perform an initial exploration of three magnetic materials in thin-film geometries via microscale simulation. Our results reveal that basic spin properties of magnetic films generate the required nonlinear dynamics and memory to solve machine learning tasks (although there would be practical challenges in exploiting these particular materials in physical implementations). The method of exploration can be applied to other materials, so this work opens up the possibility of testing different materials, from relatively simple (alloys) to significantly complex (antiferromagnetic reservoirs).

categories: cs.ET cond-mat.mtrl-sci cs.AR cs.LG cs.NE


title: Time for AI (Ethics) Maturity Model Is Now

abstract: There appears to be a common agreement that ethical concerns are of high importance when it comes to systems equipped with some sort of Artificial Intelligence (AI). Demands for ethical AI are declared from all directions. As a response, in recent years, public bodies, governments, and universities have rushed in to provide a set of principles to be considered when AI based systems are designed and used. We have learned, however, that high-level principles do not turn easily into actionable advice for practitioners. Hence, also companies are publishing their own ethical guidelines to guide their AI development. This paper argues that AI software is still software and needs to be approached from the software development perspective. The software engineering paradigm has introduced maturity model thinking, which provides a roadmap for companies to improve their performance from the selected viewpoints known as the key capabilities. We want to voice out a call for action for the development of a maturity model for AI software. We wish to discuss whether the focus should be on AI ethics or, more broadly, the quality of an AI system, called a maturity model for the development of AI systems.


title: Time-reparametrization invariances, multithermalization and the Parisi scheme

abstract: The Parisi scheme for equilibrium and the corresponding slow dynamics with multithermalization - same temperature common to all observables, different temperatures only possible at widely separated timescales -- imply one another. Consistency requires that two systems brought into infinitesimal coupling be able to rearrange their timescales in order that all their temperatures match: this time reorganisation is only possible because the systems have a set of time-reparametrization invariances, that are thus seen to be an essential component of the scenario.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: R\'esum\'e-Driven Development: A Definition and Empirical Characterization

abstract: Technologies play an important role in the hiring process for software professionals. Within this process, several studies revealed misconceptions and bad practices which lead to suboptimal recruitment experiences. In the same context, grey literature anecdotally coined the term R\'esum\'e-Driven Development (RDD), a phenomenon describing the overemphasis of trending technologies in both job offerings and resumes as an interaction between employers and applicants. While RDD has been sporadically mentioned in books and online discussions, there are so far no scientific studies on the topic, despite its potential negative consequences. We therefore empirically investigated this phenomenon by surveying 591 software professionals in both hiring (130) and technical (558) roles and identified RDD facets in substantial parts of our sample: 60% of our hiring professionals agreed that trends influence their job offerings, while 82% of our software professionals believed that using trending technologies in their daily work makes them more attractive for prospective employers. Grounded in the survey results, we conceptualize a theory to frame and explain R\'esum\'e-Driven Development. Finally, we discuss influencing factors and consequences and propose a definition of the term. Our contribution provides a foundation for future research and raises awareness for a potentially systemic trend that may broadly affect the software industry.


title: Federated Learning over Wireless Device-to-Device Networks: Algorithms and Convergence Analysis

abstract: The proliferation of Internet-of-Things (IoT) devices and cloud-computing applications over siloed data centers is motivating renewed interest in the collaborative training of a shared model by multiple individual clients via federated learning (FL). To improve the communication efficiency of FL implementations in wireless systems, recent works have proposed compression and dimension reduction mechanisms, along with digital and analog transmission schemes that account for channel noise, fading, and interference. The prior art has mainly focused on star topologies consisting of distributed clients and a central server. In contrast, this paper studies FL over wireless device-to-device (D2D) networks by providing theoretical insights into the performance of digital and analog implementations of decentralized stochastic gradient descent (DSGD). First, we introduce generic digital and analog wireless implementations of communication-efficient DSGD algorithms, leveraging random linear coding (RLC) for compression and over-the-air computation (AirComp) for simultaneous analog transmissions. Next, under the assumptions of convexity and connectivity, we provide convergence bounds for both implementations. The results demonstrate the dependence of the optimality gap on the connectivity and on the signal-to-noise ratio (SNR) levels in the network. The analysis is corroborated by experiments on an image-classification task.


title: Diameter Diminishing To Zero IFSs

abstract: In this paper we introduce the notion of diameter diminishing to zero iterated function system, study its properties and provide alternative characterizations of it.


title: Morphological components analysis for circumstellar disks imaging

abstract: Recent developments in astronomical observations enable direct imaging of circumstellar disks. Precise characterization of such extended structure is essential to our understanding of stellar systems. However, the faint intensity of the circumstellar disks compared to the brightness of the host star compels astronomers to use tailored observation strategies, in addition to state-of-the-art optical devices. Even then, extracting the signal of circumstellar disks heavily relies on post-processing techniques. In this work, we propose a morphological component analysis (MCA) approach that leverages low-complexity models of both the disks and the stellar light corrupting the data. In addition to disks, our method allows to image exoplanets. Our approach is tested through numerical experiments.


title: On Hermite's problem, Jacobi-Perron type algorithms, and Dirichlet groups

abstract: In 1848 Ch.~Hermite asked if there exists some way to write cubic irrationalities periodically. A little later in order to approach the problem C.G.J.~Jacobi and O.~Perron generalized the classical continued fraction algorithm to the three-dimensional case, this algorithm is called now the Jacobi-Perron algorithm. This algorithm is known to provide periodicity only for some cubic irrationalities. In this paper we introduce two new algorithms in the spirit of Jacobi-Perron algorithm: the heuristic algebraic periodicity detecting algorithm and the $\sin^2$-algorithm. The heuristic algebraic periodicity detecting algorithm is a very fast and efficient algorithm, its output is periodic for numerous examples of cubic irrationalities, however its periodicity for cubic irrationalities is not proven. The $\sin^2$-algorithm is limited to the totally-real cubic case (all the roots of cubic polynomials are real numbers). In the recent paper~\cite{Karpenkov2021} we proved the periodicity of the $\sin^2$-algorithm for all cubic totally-real irrationalities. To our best knowledge this is the first Jacobi-Perron type algorithm for which the cubic periodicity is proven. The $\sin^2$-algorithm provides the answer to Hermite's problem for the totally real case (let us mention that the case of cubic algebraic numbers with complex conjugate roots remains open). We conclude this paper with one important application of Jacobi-Perron type algorithms to computation of independent elements in the maximal groups of commuting matrices of algebraic irrationalities.


title: Between steps: Intermediate relaxations between big-M and convex hull formulations

abstract: This work develops a class of relaxations in between the big-M and convex hull formulations of disjunctions, drawing advantages from both. The proposed "P-split" formulations split convex additively separable constraints into P partitions and form the convex hull of the partitioned disjuncts. Parameter P represents the trade-off of model size vs. relaxation strength. We examine the novel formulations and prove that, under certain assumptions, the relaxations form a hierarchy starting from a big-M equivalent and converging to the convex hull. We computationally compare the proposed formulations to big-M and convex hull formulations on a test set including: K-means clustering, P_ball problems, and ReLU neural networks. The computational results show that the intermediate P-split formulations can form strong outer approximations of the convex hull with fewer variables and constraints than the extended convex hull formulations, giving significant computational advantages over both the big-M and convex hull.


title: A full characterization of invariant embeddability of unimodular planar graphs

abstract: When can a unimodular random planar graph be drawn in the Euclidean or the hyperbolic plane in a way that the distribution of the random drawing is isometry-invariant? This question was answered for one-ended unimodular graphs in \cite{benjamini2019invariant}, using the fact that such graphs automatically have locally finite (simply connected) drawings into the plane. For the case of graphs with multiple ends the question was left open. We revisit Halin's graph theoretic characterization of graphs that have a locally finite embedding into the plane. Then we prove that such unimodular random graphs do have a locally finite invariant embedding into the Euclidean or the hyperbolic plane, depending on whether the graph is amenable or not.


title: Information Causality without concatenation

abstract: Information Causality is a physical principle which states that the amount of randomly accessible data over a classical communication channel cannot exceed its capacity, even if the sender and the receiver have access to a source of nonlocal correlations. This principle can be used to bound the nonlocality of quantum mechanics without resorting to its full formalism, with a notable example of reproducing the Tsirelson's bound of the Clauser-Horne-Shimony-Holt inequality. Despite being promising, the latter result found little generalization to other Bell inequalities because of the limitations imposed by the process of concatenation, in which several nonsignaling resources are put together to produce tighter bounds. In this work, we show that concatenation can be successfully replaced by limits on the communication channel capacity. It allows us to re-derive and, in some cases, significantly improve all the previously known results in a simpler manner and apply the Information Causality principle to previously unapproachable Bell scenarios.


title: The isoperimetric problem on Riemannian manifolds via Gromov-Hausdorff asymptotic analysis

abstract: In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model of constant sectional curvature. The previous result is a consequence of a general structure theorem for perimeter-minimizing sequences of sets of fixed volume on noncollapsed Riemannian manifolds with a lower bound on the Ricci curvature. We show that, without assuming any further hypotheses on the asymptotic geometry, all the mass and the perimeter lost at infinity, if any, are recovered by at most countably many isoperimetric regions sitting in some (possibly nonsmooth) Gromov--Hausdorff limits at infinity. The Gromov--Hausdorff asymptotic analysis allows us to recover and extend different previous existence theorems. While studying the isoperimetric problem in the smooth setting, the nonsmooth geometry naturally emerges, and thus our treatment combines techniques from both the theories.


title: Ratcheting charged polymers through symmetric nanopores using pulsed fields: Designing a low pass filter for concentrating DNA

abstract: We present a new concept for the separation of DNA molecules by contour length that combines a nanofluidic ratchet, nanopore translocation and pulsed fields. Using Langevin Dynamics simulations, we show that it is possible to design pulsed field sequences to ratchet captured semiflexible molecules in such a way that only short chains successfully translocate, effectively transforming the nanopore process into a low pass molecular filter. We also show that asymmetric pulses can significantly enhance the device efficiency. The process itself can be performed with many pores in parallel, and it should be possible to integrate it directly into nanopore sequencing devices, increasing its potential utility.


title: Multifractally-enhanced superconductivity in thin films

abstract: The multifractal superconducting state originates from the interplay of Anderson localization and interaction effects. In this article we overview the recent theory of the superconductivity enhancement by multifractality and extend it to describe the spectral properties of superconductors on the scales of the order of the superconducting gap. Specifically, using the approach based on renormalization group within the nonlinear sigma model, we develop the theory of a multifractal superconducting state in thin films. We derive a modified Usadel equation that incorporates the interplay of disorder and interactions at energy scales larger than the spectral gap and study the effect of such an interplay on the low-energy physics. We determine the spectral gap at zero temperature which occurs to be proportional to the multifracally enhanced superconducting transition temperature. The modified Usadel equation results in the disorder-averaged density of states that, near the spectral gap, resembles the one obtained in the model of a spatially random superconducting order parameter. We reveal strong mesoscopic fluctuations of the local density of states in the superconducting state. Such strong mesoscopic fluctuations imply that the interval of energies in which the superconducting gap establishes is parametrically large in systems with multifractally-enhanced superconductivity.


title: Popular differences for right isosceles triangles

abstract: For a subset $A$ of $\{1,2,\ldots,N\}^2$ of size $\alpha N^2$ we show existence of $(m,n)\neq(0,0)$ such that the set $A$ contains at least $(\alpha^3 - o(1))N^2$ triples of points of the form $(a,b)$, $(a+m,b+n)$, $(a-n,b+m)$. This answers a question by Ackelsberg, Bergelson, and Best from arXiv:2101.02811. The same approach also establishes the corresponding result for compact abelian groups. Furthermore, for a finite field $\mathbb{F}_q$ we comment on exponential smallness of subsets of $(\mathbb{F}_q^n)^2$ that avoid the aforementioned configuration. The proofs are minor modifications of the existing proofs regarding three-term arithmetic progressions.


title: Disparate Impact Diminishes Consumer Trust Even for Advantaged Users

abstract: Systems aiming to aid consumers in their decision-making (e.g., by implementing persuasive techniques) are more likely to be effective when consumers trust them. However, recent research has demonstrated that the machine learning algorithms that often underlie such technology can act unfairly towards specific groups (e.g., by making more favorable predictions for men than for women). An undesired disparate impact resulting from this kind of algorithmic unfairness could diminish consumer trust and thereby undermine the purpose of the system. We studied this effect by conducting a between-subjects user study investigating how (gender-related) disparate impact affected consumer trust in an app designed to improve consumers' financial decision-making. Our results show that disparate impact decreased consumers' trust in the system and made them less likely to use it. Moreover, we find that trust was affected to the same degree across consumer groups (i.e., advantaged and disadvantaged users) despite both of these consumer groups recognizing their respective levels of personal benefit. Our findings highlight the importance of fairness in consumer-oriented artificial intelligence systems.


title: Causality theory of spacetimes with continuous Lorentzian metrics revisited

abstract: We consider the usual causal structure $(I^+,J^+)$ on a spacetime, and a number of alternatives based on Minguzzi's $D^+$ and Sorkin and Woolgar's $K^+$, in the case where the spacetime metric is continuous, but not necessarily smooth. We compare the different causal structures based on three key properties, namely the validity of the push-up lemma, the openness of chronological futures, and the existence of limit causal curves. Recall that if the spacetime metric is smooth, $(I^+,J^+)$ satisfies all three properties, but that in the continuous case, the push-up lemma fails. Among the proposed alternative causal structures, there is one that satisfies push-up and open futures, and one that has open futures and limit curves. Furthermore, we show that spacetimes with continuous metrics do not, in general, admit a causal structure satisfying all three properties at once.


title: Machine Translation, Sentiment Analysis, Text Similarity, Topic Modelling, and Tweets: Understanding Social Media Usage Among Police and Gendarmerie Organizations

abstract: It is well known that social media has revolutionized communication. Nowadays, citizens, companies, and public institutions actively use social media in order to express themselves better to the population they address. This active use is also carried out by the gendarmerie and police organizations to communicate with the public with the purpose of improving social relations. However, it has been seen that the posts by the gendarmerie and police organizations did not attract much attention from their target audience from time to time, and it has been discovered that there was not enough research in the literature on this issue. In this study, it was aimed to investigate the use of social media by the gendarmerie and police organizations operating in Turkey (Jandarma - Polis), Italy (Carabinieri - Polizia), France (Gendarmerie - Police) and Spain (Guardia Civil - Polic\'ia), and the extent to which they can be effective on the followers, by comparatively examining their activity on twitter. According to the obtained results, it was found that Jandarma (Turkey) has the highest power of influence in the twitter sample, and the findings were comparatively presented in the study.


title: Comparative Performance of Machine Learning Algorithms in Cyberbullying Detection: Using Turkish Language Preprocessing Techniques

abstract: With the increasing use of the internet and social media, it is obvious that cyberbullying has become a major problem. The most basic way for protection against the dangerous consequences of cyberbullying is to actively detect and control the contents containing cyberbullying. When we look at today's internet and social media statistics, it is impossible to detect cyberbullying contents only by human power. Effective cyberbullying detection methods are necessary in order to make social media a safe communication space. Current research efforts focus on using machine learning for detecting and eliminating cyberbullying. Although most of the studies have been conducted on English texts for the detection of cyberbullying, there are few studies in Turkish. Limited methods and algorithms were also used in studies conducted on the Turkish language. In addition, the scope and performance of the algorithms used to classify the texts containing cyberbullying is different, and this reveals the importance of using an appropriate algorithm. The aim of this study is to compare the performance of different machine learning algorithms in detecting Turkish messages containing cyberbullying. In this study, nineteen different classification algorithms were used to identify texts containing cyberbullying using Turkish natural language processing techniques. Precision, recall, accuracy and F1 score values were used to evaluate the performance of classifiers. It was determined that the Light Gradient Boosting Model (LGBM) algorithm showed the best performance with 90.788% accuracy and 90.949% F1 Score value.


title: Predicting Nanorobot Shapes via Generative Models

abstract: The field of DNA nanotechnology has made it possible to assemble, with high yields, different structures that have actionable properties. For example, researchers have created components that can be actuated. An exciting next step is to combine these components into multifunctional nanorobots that could, potentially, perform complex tasks like swimming to a target location in the human body, detect an adverse reaction and then release a drug load to stop it. However, as we start to assemble more complex nanorobots, the yield of the desired nanorobot begins to decrease as the number of possible component combinations increases. Therefore, the ultimate goal of this work is to develop a predictive model to maximize yield. However, training predictive models typically requires a large dataset. For the nanorobots we are interested in assembling, this will be difficult to collect. This is because high-fidelity data, which allows us to characterize the shape and size of individual structures, is very time-consuming to collect, whereas low-fidelity data is readily available but only captures bulk statistics for different processes. Therefore, this work combines low- and high-fidelity data to train a generative model using a two-step process. We first use a relatively small, high-fidelity dataset to train a generative model. At run time, the model takes low-fidelity data and uses it to approximate the high-fidelity content. We do this by biasing the model towards samples with specific properties as measured by low-fidelity data. In this work we bias our distribution towards a desired node degree of a graphical model that we take as a surrogate representation of the nanorobots that this work will ultimately focus on. We have not yet accumulated a high-fidelity dataset of nanorobots, so we leverage the MolGAN architecture [1] and the QM9 small molecule dataset [2-3] to demonstrate our approach.


title: A principle feature analysis

abstract: A key task of data science is to identify relevant features linked to certain output variables that are supposed to be modeled or predicted. To obtain a small but meaningful model, it is important to find stochastically independent variables capturing all the information necessary to model or predict the output variables sufficiently. Therefore, we introduce in this work a framework to detect linear and non-linear dependencies between different features. As we will show, features that are actually functions of other features do not represent further information. Consequently, a model reduction neglecting such features conserves the relevant information, reduces noise and thus improves the quality of the model. Furthermore, a smaller model makes it easier to adopt a model of a given system. In addition, the approach structures dependencies within all the considered features. This provides advantages for classical modeling starting from regression ranging to differential equations and for machine learning. To show the generality and applicability of the presented framework 2154 features of a data center are measured and a model for classification for faulty and non-faulty states of the data center is set up. This number of features is automatically reduced by the framework to 161 features. The prediction accuracy for the reduced model even improves compared to the model trained on the total number of features. A second example is the analysis of a gene expression data set where from 9513 genes 9 genes are extracted from whose expression levels two cell clusters of macrophages can be distinguished.


title: Thermodynamics of the disordered Hubbard model studied via numerical linked-cluster expansions

abstract: The interplay of disorder and strong correlations in quantum many-body systems remains an open question. That is despite much progress made in recent years with ultracold atoms in optical lattices to better understand phenomena such as many-body localization or the effect of disorder on Mott metal-insulator transitions. Here, we utilize the numerical linked-cluster expansion technique, extended to treat disordered quantum lattice models, and study exact thermodynamic properties of the disordered Fermi-Hubbard model on the square and cubic geometries. We consider box distributions for the disorder in the onsite energy, the interaction strength, as well as the hopping amplitude and explore how energy, double occupancy, entropy, heat capacity and magnetic correlations of the system in the thermodynamic limit evolve as the strength of disorder changes. We compare our findings with those obtained from determinant quantum Monte Carlo simulations and discuss the relevance of our results to experiments with cold fermionic atoms in optical lattices.


title: On the weight distribution of the cosets of MDS codes

abstract: The weight distribution of the cosets of maximum distance separable (MDS) codes is considered. In 1990, P.G. Bonneau proposed a relation to obtain the full weight distribution of a coset of an MDS code with minimum distance $d$ using the known numbers of vectors of weights $\le d-2$ in this coset. In this paper, the Bonneau formula is transformed into a more structured and convenient form. The new version of the formula allows to consider effectively cosets of distinct weights $W$. (The weight $W$ of a coset is the smallest Hamming weight of any vector in the coset.) For each of the considered $W$ or regions of $W$, special relations more simple than the general ones are obtained. For the MDS code cosets of weight $W=1$ and weight $W=d-1$ we obtain formulas of the weight distributions depending only on the code parameters. This proves that all the cosets of weight $W=1$ (as well as $W=d-1$) have the same weight distribution. The cosets of weight $W=2$ or $W=d-2$ may have different weight distributions; in this case, we proved that the distributions are symmetrical in some sense. The weight distributions of the cosets of MDS codes corresponding to arcs in the projective plane $\mathrm{PG}(2,q)$ are also considered. For MDS codes of covering radius $R=d-1$ we obtain the number of the weight $W=d-1$ cosets and their weight distribution that gives rise to a certain classification of the so-called deep holes. We show that any MDS code of covering radius $R=d-1$ is an almost perfect multiple covering of the farthest-off points (deep holes); moreover, it corresponds to an optimal multiple saturating set in the projective space $\mathrm{PG}(N,q)$.


title: State of the Art: Content-based and Hybrid Phishing Detection

abstract: Phishing attacks have evolved and increased over time and, for this reason, the task of distinguishing between a legitimate site and a phishing site is more and more difficult, fooling even the most expert users. The main proposals focused on addressing this problem can be divided into four approaches: List-based, URL based, content-based, and hybrid. In this state of the art, the most recent techniques using web content-based and hybrid approaches for Phishing Detection are reviewed and compared.


title: $SU(5)$ GUTs with $A_4$ modular symmetry

abstract: We combine $SU(5)$ Grand Unified Theories (GUTs) with $A_4$ modular symmetry and present a comprehensive analysis of the resulting quark and lepton mass matrices for all the simplest cases. Classifying the models according to the representation assignments of the matter fields under $A_4$, we find that there are seven types of $SU(5)$ models with $A_4$ modular symmetry. We present 53 benchmark models with the fewest free parameters. The parameter space of each model is scanned to optimize the agreement between predictions and experimental data, and predictions for the masses and mixing parameters of quarks and leptons are given at the best fitting points. The best fit predictions for the leptonic CP violating Dirac phase, the lightest neutrino mass and the neutrinoless double beta decay parameter when displayed graphically are observed to cover a wide range of possible values, but are clustered around particular regions, allowing future neutrino experiments to discriminate between the different types of models.


title: Strong coupling between scales in a multi-scalar model of urban dynamics

abstract: Urban evolution processes occur at different scales, with intricate interactions between levels and relatively distinct type of processes. To what extent actual urban dynamics include an actual strong coupling between scales, in the sense of both top-down and bottom-up feedbacks, remains an open issue with important practical implications for the sustainable management of territories. We introduce in this paper a multi-scalar simulation model of urban growth, coupling a system of cities interaction model at the macroscopic scale with morphogenesis models for the evolution of urban form at the scale of metropolitan areas. Strong coupling between scales is achieved through an update of model parameters at each scale depending on trajectories at the other scale. The model is applied and explored on synthetic systems of cities. Simulation results show a non-trivial effect of the strong coupling. As a consequence, an optimal action on policy parameters such as containing urban sprawl is shifted. We also run a multi-objective optimization algorithm on the model, showing showing that compromise between scales are captured. Our approach opens new research directions towards more operational urban dynamics models including a strong feedback between scales.


title: An Environmental Monitoring Network for Quantum Gas Experiments and Devices

abstract: Quantum technology is approaching a level of maturity, recently demonstrated in space-borne experiments and in-field measurements, which would allow for adoption by non-specialist users. Parallel advancements made in microprocessor-based electronics and database software can be combined to create robust, versatile and modular experimental monitoring systems. Here, we describe a monitoring network used across a number of cold atom laboratories with a shared laser system. The ability to diagnose malfunction, unexpected or unintended behaviour and passively collect data for key experimental parameters, such as vacuum chamber pressure, laser beam power, or resistances of important conductors, significantly reduces debugging time. This allows for efficient control over a number of experiments and remote control when access is limited.


title: Surprisingly Simple Semi-Supervised Domain Adaptation with Pretraining and Consistency

abstract: Most modern unsupervised domain adaptation (UDA) approaches are rooted in domain alignment, i.e., learning to align source and target features to learn a target domain classifier using source labels. In semi-supervised domain adaptation (SSDA), when the learner can access few target domain labels, prior approaches have followed UDA theory to use domain alignment for learning. We show that the case of SSDA is different and a good target classifier can be learned without needing alignment. We use self-supervised pretraining (via rotation prediction) and consistency regularization to achieve well separated target clusters, aiding in learning a low error target classifier. With our Pretraining and Consistency (PAC) approach, we achieve state of the art target accuracy on this semi-supervised domain adaptation task, surpassing multiple adversarial domain alignment methods, across multiple datasets. PAC, while using simple techniques, performs remarkably well on large and challenging SSDA benchmarks like DomainNet and Visda-17, often outperforming recent state of the art by sizeable margins. Code for our experiments can be found at https://github.com/venkatesh-saligrama/PAC


title: On the 3$^{1}\Pi_{u}$ state in caesium dimer

abstract: Polarisation labelling spectroscopy technique was employed to study the 3$^{1}\Pi_{u}$ state of Cs$_2$ molecule. The main equlibrium constants are $T_e=20684.60$cm$^{-1}$, $\omega_e=30.61$cm$^{-1}$ and $R_e=5.27$\r{A}. Vibrational levels $v=4-35$ of the 3$^{1}\Pi_{u}$ state were found to be subject to strong perturbations by the neighbouring electronic states. Energies of 3094 rovibronic levels of the perturbed complex were determined.


title: BCN2BRNO: ASR System Fusion for Albayzin 2020 Speech to Text Challenge

abstract: This paper describes joint effort of BUT and Telef\'onica Research on development of Automatic Speech Recognition systems for Albayzin 2020 Challenge. We compare approaches based on either hybrid or end-to-end models. In hybrid modelling, we explore the impact of SpecAugment layer on performance. For end-to-end modelling, we used a convolutional neural network with gated linear units (GLUs). The performance of such model is also evaluated with an additional n-gram language model to improve word error rates. We further inspect source separation methods to extract speech from noisy environment (i.e. TV shows). More precisely, we assess the effect of using a neural-based music separator named Demucs. A fusion of our best systems achieved 23.33% WER in official Albayzin 2020 evaluations. Aside from techniques used in our final submitted systems, we also describe our efforts in retrieving high quality transcripts for training.


title: Optimal Trajectory Planning and Model Predictive Control of Underactuated Marine Surface Vessels using a Flatness-Based Approach

abstract: This paper demonstrates a refined approach to solving dynamic optimization problems for underactuated marine surface vessels. To this end the differential flatness of a mathematical model assuming full actuation is exploited to derive an efficient representation of a finite dimensional nonlinear programming problem, which in turn is constrained to apply to the underactuated case. It is illustrated how the properties of the flat output can be employed for the generation of an initial guess to be used in the optimization algorithm in the presence of static and dynamic obstacles. As an example energy optimal point to point trajectory planning for a nonlinear 3 degrees of freedom dynamic model of an underactuated surface vessel is undertaken. Input constraints, both in rate and magnitude as well as state constraints due to convex and non-convex obstacles in the area of operation are considered and simulation results for a challenging scenario are reported. Furthermore, an extension to a trajectory tracking controller using model predictive control is made where the benefits of the flatness based direct method allow to introduce nonuniform sample times that help to realize long prediction horizons while maintaining short term accuracy and real time capability. This is also verified in simulation where additional disturbances in the form of environmental disturbances, dynamic obstacles and parameter mismatch are introduced.


title: Two-fluid simulations of Rayleigh-Taylor instability in a magnetized solar prominence thread II. Effects of collisionality

abstract: In this work, we explore the dynamical impacts and observable signatures of two-fluid effects in the parameter regimes when ion-neutral collisions do not fully couple the neutral and charged fluids. The purpose of this study is to deepen our understanding of the RTI and the effects of the partial ionization on the development of RTI using non-linear two-fluid numerical simulations. Our two-fluid model takes into account neutral viscosity, thermal conductivity, and collisional interaction between neutrals and charges: ionization/recombination, energy and momentum transfer, and frictional heating. In this paper II, the sensitivity of the RTI dynamics to collisional effects for different magnetic field configurations supporting the prominence thread is explored. This is done by artificially varying, or eliminating, effects of both elastic and inelastic collisions by modifying the model equations. We find that ionization and recombination reactions between ionized and neutral fluids, if in equilibrium prior to the onset of the instability, do not substantially impact the development of the primary RTI. However, such reactions can impact development of secondary structures during mixing of the cold prominence and hotter surrounding coronal material. We find that collisionality within and between ionized and neutral particle populations play an important role in both linear and non-linear development of RTI, with ion-neutral collision frequency as the primary determining factor in development or damping of small scale structures. We also observe that degree and signatures of flow decoupling between ion and neutral fluids can depend both on the inter-particle collisionality and the magnetic field configuration of the prominence thread.


title: Speech Enhancement for Wake-Up-Word detection in Voice Assistants

abstract: Keyword spotting and in particular Wake-Up-Word (WUW) detection is a very important task for voice assistants. A very common issue of voice assistants is that they get easily activated by background noise like music, TV or background speech that accidentally triggers the device. In this paper, we propose a Speech Enhancement (SE) model adapted to the task of WUW detection that aims at increasing the recognition rate and reducing the false alarms in the presence of these types of noises. The SE model is a fully-convolutional denoising auto-encoder at waveform level and is trained using a log-Mel Spectrogram and waveform reconstruction losses together with the BCE loss of a simple WUW classification network. A new database has been purposely prepared for the task of recognizing the WUW in challenging conditions containing negative samples that are very phonetically similar to the keyword. The database is extended with public databases and an exhaustive data augmentation to simulate different noises and environments. The results obtained by concatenating the SE with a simple and state-of-the-art WUW detectors show that the SE does not have a negative impact on the recognition rate in quiet environments while increasing the performance in the presence of noise, especially when the SE and WUW detector are trained jointly end-to-end.


title: On the Expressive Power of Homomorphism Counts

abstract: A classical result by Lov\'asz asserts that two graphs $G$ and $H$ are isomorphic if and only if they have the same left profile, that is, for every graph $F$, the number of homomorphisms from $F$ to $G$ coincides with the number of homomorphisms from $F$ to $H$. Dvor{\'{a}}k and later on Dell, Grohe, and Rattan showed that restrictions of the left profile to a class of graphs can capture several different relaxations of isomorphism, including equivalence in counting logics with a fixed number of variables (which contains fractional isomorphism as a special case) and co-spectrality (i.e., two graphs having the same characteristic polynomial). On the other side, a result by Chaudhuri and Vardi asserts that isomorphism is also captured by the right profile, that is, two graphs $G$ and $H$ are isomorphic if and only if for every graph $F$, the number of homomorphisms from $G$ to $F$ coincides with the number of homomorphisms from $H$ to $F$. In this paper, we embark on a study of the restrictions of the right profile by investigating relaxations of isomorphism that can or cannot be captured by restricting the right profile to a fixed class of graphs. Our results unveil striking differences between the expressive power of the left profile and the right profile. We show that fractional isomorphism, equivalence in counting logics with a fixed number of variables, and co-spectrality cannot be captured by restricting the right profile to a class of graphs. In the opposite direction, we show that chromatic equivalence cannot be captured by restricting the left profile to a class of graphs, while, clearly, it can be captured by restricting the right profile to the class of all cliques.


title: Metallicities and ages for 35 star clusters and their surrounding fields in the Small Magellanic Cloud

abstract: In this work we study 35 stellar clusters in the Small Magellanic Cloud (SMC) in order to provide their mean metallicities and ages. We also provide mean metallicities of the fields surrounding the clusters. We used Str\"omgren photometry obtained with the 4.1 m SOAR telescope and take advantage of $(b - y)$ and $m1$ colors for which there is a metallicity calibration presented in the literature. The spatial metallicity and age distributions of clusters across the SMC are investigated using the results obtained by Str\"omgren photometry. We confirm earlier observations that younger, more metal-rich star clusters are concentrated in the central regions of the galaxy, while older, more metal-poor clusters are located farther from the SMC center. We construct the age-metallicity relation for the studied clusters and find good agreement with theoretical models of chemical enrichment, and with other literature age and metallicity values for those clusters. We also provide the mean metallicities for old and young populations of the field stars surrounding the clusters, and find the latter to be in good agreement with recent studies of the SMC Cepheid population. Finally, the Str\"omgren photometry obtained for this study is made publicly available.


title: A discovery of a low-energy excess in cosmic-ray iron: an evidence of the past supernova activity in the Local Bubble

abstract: Since its launch, the Alpha Magnetic Spectrometer - 02 (AMS-02) has delivered outstanding quality measurements of the spectra of cosmic-ray (CR) species, $\bar{p}$, $e^{\pm}$, and nuclei, $_1$H-$_8$O, $_{10}$Ne, $_{12}$Mg, $_{14}$Si, which resulted in a number of breakthroughs. One of the latest long awaited surprises is the spectrum of $_{26}$Fe just published by AMS-02. Because of the large fragmentation cross section and large ionization energy losses, most of CR iron at low energies is local, and may harbor some features associated with relatively recent supernova (SN) activity in the solar neighborhood. Our analysis of new iron spectrum together with Voyager 1 and ACE-CRIS data reveals an unexpected bump in the iron spectrum and in the Fe/He, Fe/O, and Fe/Si ratios at 1-2 GV, while a similar feature in the spectra of He, O, Si, and in their ratios is absent, hinting at a local source of low-energy CRs. The found excess fits well with recent discoveries of radioactive $^{60}$Fe deposits in terrestrial and lunar samples, and in CRs. We provide an updated local interstellar spectrum (LIS) of iron in the energy range from 1 MeV nucleon$^{-1}$ to $\sim$10 TeV nucleon$^{-1}$. Our calculations employ the GalProp-HelMod framework that is proved to be a reliable tool in deriving the LIS of CR $\bar{p}$, $e^{-}$, and nuclei $Z\le28$.


title: N-grams Bayesian Differential Privacy

abstract: Differential privacy has gained popularity in machine learning as a strong privacy guarantee, in contrast to privacy mitigation techniques such as k-anonymity. However, applying differential privacy to n-gram counts significantly degrades the utility of derived language models due to their large vocabularies. We propose a differential privacy mechanism that uses public data as a prior in a Bayesian setup to provide tighter bounds on the privacy loss metric epsilon, and thus better privacy-utility trade-offs. It first transforms the counts to log space, approximating the distribution of the public and private data as Gaussian. The posterior distribution is then evaluated and softmax is applied to produce a probability distribution. This technique achieves up to 85% reduction in KL divergence compared to previously known mechanisms at epsilon equals 0.1. We compare our mechanism to k-anonymity in a n-gram language modelling task and show that it offers competitive performance at large vocabulary sizes, while also providing superior privacy protection.


title: Epistemic values in feature importance methods: Lessons from feminist epistemology

abstract: As the public seeks greater accountability and transparency from machine learning algorithms, the research literature on methods to explain algorithms and their outputs has rapidly expanded. Feature importance methods form a popular class of explanation methods. In this paper, we apply the lens of feminist epistemology to recent feature importance research. We investigate what epistemic values are implicitly embedded in feature importance methods and how or whether they are in conflict with feminist epistemology. We offer some suggestions on how to conduct research on explanations that respects feminist epistemic values, taking into account the importance of social context, the epistemic privileges of subjugated knowers, and adopting more interactional ways of knowing.


title: A more probable explanation for a continuum flash in the direction of a redshift $\approx$ 11 galaxy

abstract: Recent work reported the discovery of a gamma-ray burst (GRB) associated with the galaxy GN-z11 at $z\sim 11$. The extreme improbability of the transient source being a GRB in the very early Universe requires robust elimination of all plausible alternative hypotheses. We identify numerous examples of similar transient signals in separate archival MOSFIRE observations and argue that Solar system objects -- natural or artificial -- are a far more probable explanation for these phenomena. An appendix has been added in response to additional points raised in Jiang et al. (2021), which do not change the conclusion.


title: Secure Software Leasing Without Assumptions

abstract: Quantum cryptography is known for enabling functionalities that are unattainable using classical information alone. Recently, Secure Software Leasing (SSL) has emerged as one of these areas of interest. Given a target circuit $C$ from a circuit class, SSL produces an encoding of $C$ that enables a recipient to evaluate $C$, and also enables the originator of the software to verify that the software has been returned -- meaning that the recipient has relinquished the possibility of any further use of the software. Clearly, such a functionality is unachievable using classical information alone, since it is impossible to prevent a user from keeping a copy of the software. Recent results have shown the achievability of SSL using quantum information for a class of functions called compute-and-compare (these are a generalization of the well-known point functions). These prior works, however all make use of setup or computational assumptions. Here, we show that SSL is achievable for compute-and-compare circuits without any assumptions. Our technique involves the study of quantum copy-protection, which is a notion related to SSL, but where the encoding procedure inherently prevents a would-be quantum software pirate from splitting a single copy of an encoding for $C$ into two parts, each of which enables a user to evaluate $C$. We show that point functions can be copy-protected without any assumptions, for a novel security definition involving one honest and one malicious evaluator; this is achieved by showing that from any quantum message authentication code, we can derive such an honest-malicious copy-protection scheme. We then show that a generic honest-malicious copy-protection scheme implies SSL; by prior work, this yields SSL for compute-and-compare functions.


title: Borel Vizing's Theorem for 2-Ended Groups

abstract: We show that Vizing's Theorem holds in the Borel context for graphs induced by actions of 2-ended groups, and ask whether it holds more generally for everywhere two ended Borel graphs.


title: Post-OCR Paragraph Recognition by Graph Convolutional Networks

abstract: We propose a new approach for paragraph recognition in document images by spatial graph convolutional networks (GCN) applied on OCR text boxes. Two steps, namely line splitting and line clustering, are performed to extract paragraphs from the lines in OCR results. Each step uses a beta-skeleton graph constructed from bounding boxes, where the graph edges provide efficient support for graph convolution operations. With only pure layout input features, the GCN model size is 3~4 orders of magnitude smaller compared to R-CNN based models, while achieving comparable or better accuracies on PubLayNet and other datasets. Furthermore, the GCN models show good generalization from synthetic training data to real-world images, and good adaptivity for variable document styles.


title: A long-distance quantum-capable internet testbed

abstract: Building a Quantum Internet requires the development of new networking concepts at the intersection of frontier communication systems and long-distance quantum communication. Here, we present the implementation of a quantum-enabled internet prototype, where we have combined Software-Defined and Time-Sensitive Networking principles with Quantum Communication between quantum memories. Using a deployed quantum network connecting Stony Brook University and Brookhaven National Laboratory, we demonstrate a fundamental long-distance quantum network service, that of high-visibility Hong-Ou-Mandel Interference of telecom photons produced in two independent quantum memories separated by a distance of 158 km.


title: Higher Koszul duality and connections with $n$-hereditary algebras

abstract: We establish a connection between two areas of independent interest in representation theory, namely Koszul duality and higher homological algebra. This is done through a generalization of the notion of $T$-Koszul algebras, for which we obtain a higher version of classical Koszul duality. Our approach is motivated by and has applications for $n$-hereditary algebras. In particular, we characterize an important class of $n$-$T$-Koszul algebras of highest degree $a$ in terms of $(na-1)$-representation infinite algebras. As a consequence, we see that an algebra is $n$-representation infinite if and only if its trivial extension is $(n+1)$-Koszul with respect to its degree $0$ part. Furthermore, we show that when an $n$-representation infinite algebra is $n$-representation tame, then the bounded derived categories of graded modules over the trivial extension and over the associated $(n+1)$-preprojective algebra are equivalent. In the $n$-representation finite case, we introduce the notion of almost $n$-$T$-Koszul algebras and obtain similar results.


title: High-energy Operator Product Expansion at sub-eikonal level

abstract: The high energy Operator Product Expansion for the product of two electromagnetic currents is extended to the sub-eikonal level in a rigorous way. I calculate the impact factors for polarized and unpolarized structure functions, define new distribution functions, and derive the evolution equations for unpolarized and polarized structure functions in the flavor singlet and non-singlet case.


title: Improved Variance-Aware Confidence Sets for Linear Bandits and Linear Mixture MDP

abstract: This paper presents new \emph{variance-aware} confidence sets for linear bandits and linear mixture Markov Decision Processes (MDPs). With the new confidence sets, we obtain the follow regret bounds: For linear bandits, we obtain an $\tilde{O}(poly(d)\sqrt{1 + \sum_{k=1}^{K}\sigma_k^2})$ data-dependent regret bound, where $d$ is the feature dimension, $K$ is the number of rounds, and $\sigma_k^2$ is the \emph{unknown} variance of the reward at the $k$-th round. This is the first regret bound that only scales with the variance and the dimension but \emph{no explicit polynomial dependency on $K$}. When variances are small, this bound can be significantly smaller than the $\tilde{\Theta}\left(d\sqrt{K}\right)$ worst-case regret bound. For linear mixture MDPs, we obtain an $\tilde{O}(poly(d, \log H)\sqrt{K})$ regret bound, where $d$ is the number of base models, $K$ is the number of episodes, and $H$ is the planning horizon. This is the first regret bound that only scales \emph{logarithmically} with $H$ in the reinforcement learning with linear function approximation setting, thus \emph{exponentially improving} existing results, and resolving an open problem in \citep{zhou2020nearly}. We develop three technical ideas that may be of independent interest: 1) applications of the peeling technique to both the input norm and the variance magnitude, 2) a recursion-based estimator for the variance, and 3) a new convex potential lemma that generalizes the seminal elliptical potential lemma.


title: Classification results for $n$-hereditary monomial algebras

abstract: We classify $n$-hereditary monomial algebras in three natural contexts: First, we give a classification of the $n$-hereditary truncated path algebras. We show that they are exactly the $n$-representation-finite Nakayama algebras classified by Vaso. Next, we classify partially the $n$-hereditary quadratic monomial algebras. In the case $n=2$, we prove that there are only two examples, provided that the preprojective algebra is a planar quiver with potential. The first one is a Nakayama algebra and the second one is obtained by mutating $\mathbb A_3\otimes_k \mathbb A_3$, where $\mathbb A_3$ is the Dynkin quiver of type $A$ with bipartite orientation. In the case $n\geq 3$, we show that the only $n$-representation finite algebras are the $n$-representation-finite Nakayama algebras with quadratic relations.


title: The 3x+1 Periodicity Conjeture in $\mathbb{R}$

abstract: The $3x+1$ map $T$ is defined on the $2$-adic integers $\mathbb{Z}_2$ by $T(x)=x/2$ for even $x$ and $T(x)=(3x+1)/2$ for odd $x$. It is still unproved that under iteration of $T$ the trajectory of any rational $2$-adic integer is eventually cyclic. A $2$-adic integer is rational if and only if its representation with $1$'s and $0$'s is eventually periodic. We prove that the $3x+1$ conjugacy $\Phi$ maps aperiodic $v\in\mathbb{Z}_2$ onto aperiodic $2$-adic integers provided that $\underline{\lim}\;(\frac{h}{\ell})_{\ell=1}^{\infty} > \frac{\ln(2)}{\ln(3)}$ where $h$ is the number of $1$'s in the first $\ell$ digits of $v$ with the following constraint: if there is a rational $2$-adic integer with a non-cyclic trajectory, then necessarily $\underline{\lim}\;(\frac{h}{\ell})_{\ell=1}^{\infty}=\frac{\ln(2)}{\ln(3)}$. We study $\Phi$ as an infinite series in $\mathbb{R}$ and obtain negative irrational numbers for which we compute their aperiodic $2$-adic expansion. We find prominent behaviors of the orbit of $x$ taking Sturmian words as parity vector. We also found amazing results of the terms of $\Phi$ in $\mathbb{R}$. We define the $\ell$'th iterate of $T$ for $\ell\rightarrow \infty$ in the ring of $3$-adic integers and obtain positive irrational numbers for which we compute their aperiodic $3$-adic expansion.


title: A Class of Explicit optimal contracts in the face of shutdown

abstract: What type of delegation contract should be offered when facing a risk of the magnitude of the pandemic we are currently experiencing and how does the likelihood of an exogenous early termination of the relationship modify the terms of a full-commitment contract? We study these questions by considering a dynamic principal-agent model that naturally extends the classical Holmstr{\"o}m-Milgrom setting to include a risk of default whose origin is independent of the inherent agency problem. We obtain an explicit characterization of the optimal wage along with the optimal action provided by the agent. The optimal contract is linear by offering both a fixed share of the output which is similar to the standard shutdown-free Holmstr{\"o}m-Milgrom model and a linear prevention mechanism that is proportional to the random lifetime of the contract. We then tweak the model to add a possibility for risk mitigation through investment and study its optimality.


title: Input-output behaviour of a model neuron with alternating drift

abstract: The input-output behaviour of the Wiener neuronal model subject to alternating input is studied under the assumption that the effect of such an input is to make the drift itself of an alternating type. Firing densities and related statistics are obtained via simulations of the sample-paths of the process in the following three cases: the drift changes occur during random periods characterized by (i) exponential distribution, (ii) Erlang distribution with a preassigned shape parameter, and (iii) deterministic distribution. The obtained results are compared with those holding for the Wiener neuronal model subject to sinusoidal input


title: Extracting color octet NRQCD matrix elements from $J/\psi$ production at the EIC

abstract: Recently unpolarized and polarized $J/\psi \,(\Upsilon)$ production at the Electron-Ion Collider (EIC) has been proposed as a new way to extract two poorly known color-octet NRQCD long-distance matrix elements: $\langle0\vert{\cal O}_{8}^{J/\psi}(^{1}S_{0})\vert0\rangle$ and $\langle0\vert{\cal O}_{8}^{J/\psi}(^{3}P_{0})\vert0\rangle$. The proposed method is based on a comparison to open heavy-quark pair production ideally performed at the same kinematics. In this paper we analyze this proposal in more detail and provide predictions for the EIC based on the available determinations of the color-octet matrix elements. We also propose two additional methods that do not require comparison to open heavy-quark pair production.


title: Model Predictive Control Paradigms for Fish Growth Reference Tracking in Precision Aquaculture

abstract: In precision aquaculture, the primary goal is to maximize biomass production while minimizing production costs. This objective can be achieved by optimizing factors that have a strong influence on fish growth, such as the feeding rate, temperature, and dissolved oxygen. This paper provides a comparative study of three model predictive control (MPC) strategies for fish growth reference tracking under a representative bioenergetic growth model in precision aquaculture. We propose to evaluate three candidate MPC formulations for fish growth reference tracking based on the receding horizon. The first MPC formulation tracks a desired fish growth trajectory while penalizing the feed ration, temperature, and dissolved oxygen. The second MPC optimization strategy directly penalizes the feed conversion ratio (FCR), which is the ratio between food quantity and fish weight gain while minimizing the actual growth state's deviation from the given reference growth trajectory. The third MPC formulation includes a tradeoff between the growth rate trajectory tracking, the dynamic energy and the cost of food. Numerical simulations that integrate a realistic bioenergetic fish growth model of Nile tilapia (Oreochromis niloticus) are illustrated to examine the comparative performance of the three proposed optimal control strategies.


title: Intermittent mildly magnetized jets as the source of GRBs

abstract: Gamma-ray bursts (GRBs) are powered by relativistic jets that exhibit intermittency over a broad range of timescales - from $ \sim $ ms to seconds. Previous numerical studies have shown that hydrodynamic (i.e., unmagnetized) jets that are expelled from a variable engine are subject to strong mixing of jet and cocoon material, which strongly inhibits the GRB emission. In this paper we conduct 3D RMHD simulations of mildly magnetized jets with power modulation over durations of 0.1 s and 1 s, and a steady magnetic field at injection. We find that when the jet magnetization at the launching site is $\sigma \sim 0.1$, the initial magnetization is amplified by shocks formed in the flow to the point where it strongly suppresses baryon loading. We estimate that a significant contamination can be avoided if the magnetic energy at injection constitutes at least a few percent of the jet energy. The variability timescales of the jet after it breaks out of the star are then governed by the injection cycles rather than by the mixing process, suggesting that in practice jet injection should fluctuate on timescales as short as $ \sim 10 $ ms in order to account for the observed light curves. Better stability is found for jets with shorter modulations. We conclude that for sufficiently hot jets, the Lorentz factor near the photosphere can be high enough to allow efficient photospheric emission. Our results imply that jets with $ 10^{-2} < \sigma < 1 $ injected by a variable engine with $ \sim 10 $ ms duty cycle are plausible sources of long GRBs.


title: The Spectrum of Dark Radiation as a Probe of Reheating

abstract: After inflation the Universe presumably undergoes a phase of reheating which in effect starts the thermal big bang cosmology. However, so far we have very little direct experimental or observational evidence of this important phase of the Universe. In this letter, we argue that measuring the spectrum of freely propagating relativistic particles, i.e. dark radiation, produced during reheating may provide us with powerful information on the reheating phase. To demonstrate this possibility we consider a situation where the dark radiation is produced in the decays of heavy, non-relativistic particles. We show that the spectrum crucially depends on whether the heavy particle once dominated the Universe or not. Characteristic features caused by the dependence on the number of the relativistic degrees of freedom may even allow to infer the temperature when the decay of the heavy particle occurred.


title: Mapping stellar surfaces I: Degeneracies in the rotational light curve problem

abstract: Thanks to missions like Kepler and TESS, we now have access to tens of thousands of high precision, fast cadence, and long baseline stellar photometric observations. In principle, these light curves encode a vast amount of information about stellar variability and, in particular, about the distribution of starspots and other features on their surfaces. Unfortunately, the problem of inferring stellar surface properties from a rotational light curve is famously ill-posed, as it often does not admit a unique solution. Inference about the number, size, contrast, and location of spots can therefore depend very strongly on the assumptions of the model, the regularization scheme, or the prior. The goal of this paper is twofold: (1) to explore the various degeneracies affecting the stellar light curve "inversion" problem and their effect on what can and cannot be learned from a stellar surface given unresolved photometric measurements; and (2) to motivate ensemble analyses of the light curves of many stars at once as a powerful data-driven alternative to common priors adopted in the literature. We further derive novel results on the dependence of the null space on stellar inclination and limb darkening and show that single-band photometric measurements cannot uniquely constrain quantities like the total spot coverage without the use of strong priors. This is the first in a series of papers devoted to the development of novel algorithms and tools for the analysis of stellar light curves and spectral time series, with the explicit goal of enabling statistically robust inference about their surface properties.


title: Light-Cone Gauge in Non-Relativistic AdS$_5\times$S$^5$ String Theory

abstract: We discuss the non-relativistic limit of string theory in AdS$_5\times$S$^5$ for different choices of embedding coordinates. We show that, if we consider Cartesian coordinates, the action of fluctuations around the twisted BMN-like string found in arXiv:2109.13240 in uniform light-cone gauge becomes the one of free fields at large string tension and large AdS$_5$ radius.


title: Cross-dimensional universality classes in static and periodically driven Kitaev models

abstract: The Kitaev model on the honeycomb lattice is a paradigmatic system known to host a wealth of nontrivial topological phases and Majorana edge modes. In the static case, the Majorana edge modes are nondispersive. When the system is periodically driven in time, such edge modes can disperse and become chiral. We obtain the full phase diagram of the driven model as a function of the coupling and the driving period. We characterize the quantum criticality of the different topological phase transitions in both the static and driven model via the notions of Majorana-Wannier state correlation functions and momentum-dependent fidelity susceptibilities. We show that the system hosts cross-dimensional universality classes: although the static Kitaev model is defined on a 2D honeycomb lattice, its criticality falls into the universality class of 1D linear Dirac models. For the periodically driven Kitaev model, besides the universality class of prototype 2D linear Dirac models, an additional 1D nodal loop type of criticality exists owing to emergent time-reversal and mirror symmetries, indicating the possibility of engineering multiple universality classes by periodic driving. The manipulation of time-reversal symmetry allows the periodic driving to control the chirality of the Majorana edge states.