title: A novel experimental system for the KDK measurement of the $^{40}$K decay scheme relevant for rare event searches

abstract: Potassium-40 ($^{40}$K) is a long-lived, naturally occurring radioactive isotope. The decay products are prominent backgrounds for many rare event searches, including those involving NaI-based scintillators. $^{40}$K also plays a role in geochronological dating techniques. The branching ratio of the electron capture directly to the ground state of argon-40 has never been measured, which can cause difficulty in interpreting certain results or can lead to lack of precision depending on the field and analysis technique. The KDK (Potassium (K) Decay (DK)) collaboration is measuring this decay. A composite method has a silicon drift detector with an enriched, thermally deposited $^{40}$K source inside the Modular Total Absorption Spectrometer. This setup has been characterized in terms of energy calibration, gamma tagging efficiency, live time and false negatives and positives. A complementary, homogeneous, method is also discussed; it employs a KSr$_2$I$_5$:Eu scintillator as source and detector.


title: Neutron - mirror neutron mixing and neutron stars

abstract: The oscillation of neutrons $n$ into mirror neutrons $n'$, their mass degenerate partners from dark mirror sector, can have interesting implications for neutron stars: an ordinary neutron star could gradually transform into a mixed star consisting in part of mirror dark matter. Mixed stars can be detectable as twin partners of ordinary neutron stars: namely, there can exist compact stars with the same masses but having different radii. For a given equation of state (identical between the ordinary and mirror components), the mass and radius of a mixed star depend on the proportion between the ordinary and mirror components in its interior which in turn depends on its age. If $50 \% - 50\%$ proportion between two fractions can be reached asymptotically in time, then the maximum mass of such "maximally mixed stars" should be $\sqrt2$ times smaller than that of ordinary neutron star while the stars exceeding a critical mass value $M^{\rm max}_{NS}/\sqrt2$ should collapse in black holes after certain time. We evaluate the evolution time and discuss the implications of $n-n'$ transition for the pulsar observations as well as for the gravitational waves from the neutron star mergers and associated electromagnetic signals.


title: Artificial Intelligence Development Races in Heterogeneous Settings

abstract: Regulation of advanced technologies such as Artificial Intelligence (AI) has become increasingly important, given the associated risks and apparent ethical issues. With the great benefits promised from being able to first supply such technologies, safety precautions and societal consequences might be ignored or shortchanged in exchange for speeding up the development, therefore engendering a racing narrative among the developers. Starting from a game-theoretical model describing an idealised technology race in a fully connected world of players, here we investigate how different interaction structures among race participants can alter collective choices and requirements for regulatory actions. Our findings indicate that, when participants portray a strong diversity in terms of connections and peer-influence (e.g., when scale-free networks shape interactions among parties), the conflicts that exist in homogeneous settings are significantly reduced, thereby lessening the need for regulatory actions. Furthermore, our results suggest that technology governance and regulation may profit from the world's patent heterogeneity and inequality among firms and nations, so as to enable the design and implementation of meticulous interventions on a minority of participants, which is capable of influencing an entire population towards an ethical and sustainable use of advanced technologies.


title: Kirchhoff's theorem for Prym varieties

abstract: We prove an analogue of Kirchhoff's matrix tree theorem for computing the volume of the tropical Prym variety for double covers of metric graphs. We interpret the formula in terms of a semi-canonical decomposition of the tropical Prym variety, via a careful study of the tropical Abel-Prym map. In particular, we show that the map is harmonic, determine its degree at every cell of the decomposition, and prove that its global degree is $2^{g-1}$. Along the way, we use the Ihara zeta function to provide a new proof of the analogous result for finite graphs. As a counterpart, the appendix by Sebastian Casalaina-Martin shows that the degree of the algebraic Abel-Prym map is $2^{g-1}$ as well.


title: Design, Characterization, and Control of a Size Adaptable In-pipe Robot for Water Distribution Systems

abstract: Leak detection and water quality monitoring are requirements and challenging tasks in Water Distribution Systems (WDS). In-line robots are designed for this aim. In our previous work, we designed an in-pipe robot [1]. In this research, we present the design of the central processor, characterize and control the robot based on the condition of operation in a highly pressurized environment of pipelines with the presence of high-speed flow. To this aim, an extreme operation condition is simulated with computational fluid dynamics (CFD) and the spring mechanism is characterized to ensure sufficient stabilizing force during operation based on the extreme operating condition. Also, an end-to-end method is suggested for power considerations for our robot that calculates minimum battery capacity and operation duration in the extreme operating condition. Finally, we design a novel LQR-PID based controller based on the system auxiliary matrices that retain the robot stability inside the pipeline against disturbances and uncertainties during operation. The ADAMS-MATLAB co-simulation of the robot-controller shows the rotational velocity with -4 degree/sec and +3 degree/sec margin around x, y, and z axes while the system tracks different desired velocities in pipelines (i.e. 0.12m/s, 0.17m/s, and 0.35m/s). Also, experimental results for four iterations in a 14-inch diameter PVC pipe show that the controller brings initial values of stabilizing states to zero and oscillate around it with a margin of 2 degrees and the system tracks desired velocities of 0.1m/s, 0.2m/s, 0.3m/s, and 0.35m/s in which makes the robot dexterous in uncertain and highly disturbed the environment of pipelines during operation.


title: Non-concentration and restriction bounds for Neumann eigenfunctions of piecewise $C^{\infty}$ bounded planar domains

abstract: Let $(\Omega,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $\phi_{\lambda}$ with eigenvalue $\lambda^2$ and $u_{\lambda}:= \phi_{\lambda} |_{\partial \Omega}$ the associated Dirichlet data (ie. boundary restriction of $\phi_{\lambda}$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overline{\Omega},$ (including boundary corner points) and any $\delta \in [0,1),$ $$ \| \phi_h \|_{B(x_0,\lambda^{-\delta})\cap \Omega} = O(\lambda^{-\delta/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for $L^2$ restrictions of boundary eigenfunctions that are valid up to boundary corners. In particular, in Theorem \ref{dirichlet} we prove that for any {\em flat} boundary edge $\Gamma$ (possibly including corner points), the boundary restrictions $u_h:= \phi_h |_{\partial \Omega}$ satisfy the bounds $$ \|u_{\lambda} \|_{L^2(\Gamma)} = O_{\epsilon}(\lambda^{1/4 + \epsilon}),$$ for any $\epsilon >0.$ The exponent $1/4$ is sharp and the result improves on the $O(\lambda^{1/3})$ universal $L^2$-restriction bound for Neumann eigenfunctions due to Tataru \cite{Ta}. The $O(\lambda^{1/4})$ -bound is also an extension to the boundary (including corner points) of well-known interior $L^2$ restriction bounds of Burq-Gerard-Tzvetkov \cite{BGT} along totally-geodesic hypersurfaces.


title: Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap

abstract: We show that recent results on adiabatic theory for interacting gapped many-body systems on finite lattices remain valid in the thermodynamic limit. More precisely, we prove a generalised super-adiabatic theorem for the automorphism group describing the infinite volume dynamics on the quasi-local algebra of observables. The key assumption is the existence of a sequence of gapped finite volume Hamiltonians which generates the same infinite volume dynamics in the thermodynamic limit. Our adiabatic theorem holds also for certain perturbations of gapped ground states that close the spectral gap (so it is an adiabatic theorem also for resonances and in this sense `generalised'), and it provides an adiabatic approximation to all orders in the adiabatic parameter (a property often called `super-adiabatic'). In addition to existing results for finite lattices, we also perform a resummation of the adiabatic expansion and allow for observables that are not strictly local. Finally, as an application, we prove the validity of linear and higher order response theory for our class of perturbations also for infinite systems. While we consider the result and its proof as new and interesting in itself, they also lay the foundation for the proof of an adiabatic theorem for systems with a gap only in the bulk, which will be presented in a follow-up article.


title: Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk

abstract: We prove a generalised super-adiabatic theorem for extended fermionic systems assuming a spectral gap only in the bulk. More precisely, we assume that the infinite system has a unique ground state and that the corresponding GNS-Hamiltonian has a spectral gap above its eigenvalue zero. Moreover, we show that a similar adiabatic theorem also holds in the bulk of finite systems up to errors that vanish faster than any inverse power of the system size, although the corresponding finite volume Hamiltonians need not have a spectral gap.


title: Analysis of MiniJava Programs via Translation to ML

abstract: MiniJava is a subset of the object-oriented programming language Java. Standard ML is the canonical representative of the ML family of functional programming languages, which includes F# and OCaml. Different program analysis and verification tools and techniques have been developed for both Java-like and ML-like languages. Naturally, the tools developed for a particular language emphasise accurate treatment of language features commonly used in that language. In Java, this means objects with mutable properties and dynamic method dispatch. In ML, this means higher order functions and algebraic datatypes with pattern matching. We propose to translate programs from one language into the other and use the target language's tools for analysis and verification. By doing so, we hope to identify areas for improvement in the target language's tools and suggest techniques, perhaps as used in the source language's tools, that may guide their improvement. More generally, we hope to develop tools for reasoning about programs that are more resilient to changes in the style of code and representation of data. We begin our programme by outlining a translation from MiniJava to ML that uses only the core features of ML; in particular, it avoids the use of ML's mutable references.


title: A Combined Theoretical and Experimental Study of the Phase Coexistence and Morphotropic Boundaries in Ferroelectric-Antiferroelectric-Antiferrodistortive Multiferroics

abstract: The physical nature of the ferroelectric (FE), ferrielectric (FEI) and antiferroelectric (AFE) phases, their coexistence and spatial distributions underpin the functionality of antiferrodistortive (AFD) multiferroics in the vicinity of morphotropic phase transitions. Using Landau-Ginzburg-Devonshire (LGD) phenomenology and a semi-microscopic four sublattice model (FSM), we explore the behavior of different AFE, FEI and FE long-range orderings and their coexistence at the morphotropic phase boundaries in FE-AFE-AFD multiferroics. These theoretical predictions are compared with the experimental observations for dense Bi1-yRyFeO3 ceramics, where R is Sm or La atoms with the fraction 0 < y< 0.25, as confirmed by the X-ray diffraction (XRD) and Piezoresponse Force Microscopy (PFM). These complementary measurements were used to study the macroscopic and nanoscopic transformation of the crystal structure with the doping. The comparison of the measured and calculated AFE/FE phase fractions demonstrate that the LGD-FSM approach well describes the experimental results obtained by XRD and PFM for Bi1-yRyFeO3. Hence, this combined theoretical and experimental approach provides further insight into the origin of the morphotropic boundaries and coexisting FE and AFE states in model rare-earth doped multiferroics.


title: Path integral of the relativistic point particle in Minkowski space

abstract: In this article, we analyze the fundamental global and local symmetries involved in the action for the free relativistic point particle. Moreover, we identify a hidden local symmetry, whose explicit consideration and factorization utilizing of a Fujikawa prescription, leads to the construction of relativistic propagators that satisfy the Chapman-Kolmogorov identity. By means of a detailed topological analysis, we find three different relativistic propagators (orthochronous, space-like, and Feynman) which are obtained from the exclusive integration of paths within different sectors in Minkowski space. Finally, the connection of this approach to the Feynman checkerboard construction is explored.


title: Unsupervised Label-aware Event Trigger and Argument Classification

abstract: Identifying events and mapping them to pre-defined event types has long been an important natural language processing problem. Most previous work has been heavily relying on labor-intensive and domain-specific annotations while ignoring the semantic meaning contained in the labels of the event types. As a result, the learned models cannot effectively generalize to new domains, where new event types could be introduced. In this paper, we propose an unsupervised event extraction pipeline, which first identifies events with available tools (e.g., SRL) and then automatically maps them to pre-defined event types with our proposed unsupervised classification model. Rather than relying on annotated data, our model matches the semantics of identified events with those of event type labels. Specifically, we leverage pre-trained language models to contextually represent pre-defined types for both event triggers and arguments. After we map identified events to the target types via representation similarity, we use the event ontology (e.g., argument type "Victim" can only appear as the argument of event type "Attack") as global constraints to regularize the prediction. The proposed approach is shown to be very effective when tested on the ACE-2005 dataset, which has 33 trigger and 22 argument types. Without using any annotation, we successfully map 83% of the triggers and 54% of the arguments to the correct types, almost doubling the performance of previous zero-shot approaches.


title: Medico Multimedia Task at MediaEval 2020: Automatic Polyp Segmentation

abstract: Colorectal cancer is the third most common cause of cancer worldwide. According to Global cancer statistics 2018, the incidence of colorectal cancer is increasing in both developing and developed countries. Early detection of colon anomalies such as polyps is important for cancer prevention, and automatic polyp segmentation can play a crucial role for this. Regardless of the recent advancement in early detection and treatment options, the estimated polyp miss rate is still around 20\%. Support via an automated computer-aided diagnosis system could be one of the potential solutions for the overlooked polyps. Such detection systems can help low-cost design solutions and save doctors time, which they could for example use to perform more patient examinations. In this paper, we introduce the 2020 Medico challenge, provide some information on related work and the dataset, describe the task and evaluation metrics, and discuss the necessity of organizing the Medico challenge.


title: DDANet: Dual Decoder Attention Network for Automatic Polyp Segmentation

abstract: Colonoscopy is the gold standard for examination and detection of colorectal polyps. Localization and delineation of polyps can play a vital role in treatment (e.g., surgical planning) and prognostic decision making. Polyp segmentation can provide detailed boundary information for clinical analysis. Convolutional neural networks have improved the performance in colonoscopy. However, polyps usually possess various challenges, such as intra-and inter-class variation and noise. While manual labeling for polyp assessment requires time from experts and is prone to human error (e.g., missed lesions), an automated, accurate, and fast segmentation can improve the quality of delineated lesion boundaries and reduce missed rate. The Endotect challenge provides an opportunity to benchmark computer vision methods by training on the publicly available Hyperkvasir and testing on a separate unseen dataset. In this paper, we propose a novel architecture called ``DDANet'' based on a dual decoder attention network. Our experiments demonstrate that the model trained on the Kvasir-SEG dataset and tested on an unseen dataset achieves a dice coefficient of 0.7874, mIoU of 0.7010, recall of 0.7987, and a precision of 0.8577, demonstrating the generalization ability of our model.


title: Well-posedness in weighted spaces for the generalized Hartree equation with $p<2$

abstract: We investigate the well-posedness in the generalized Hartree equation $iu_t + \Delta u + (|x|^{-(N-\gamma)} \ast |u|^p)|u|^{p-2}u=0$, $x \in \mathbb{R}^N$, $0<\gamma<N$, for low powers of nonlinearity, $p<2$. We establish the local well-posedness for a class of data in weighted Sobolev spaces, following ideas of Cazenave and Naumkin [6]. This crucially relies on the boundedness of the Riesz transform in weighted Lebesgue spaces. As a consequence, we obtain a class of data that exists globally, moreover, scatters in positive time. Furthermore, in the focusing case in the $L^2$-supercritical setting we obtain a subset of locally well-posed data with positive energy, which blows up in finite time.


title: Automatic Polyp Segmentation using U-Net-ResNet50

abstract: Polyps are the predecessors to colorectal cancer which is considered as one of the leading causes of cancer-related deaths worldwide. Colonoscopy is the standard procedure for the identification, localization, and removal of colorectal polyps. Due to variability in shape, size, and surrounding tissue similarity, colorectal polyps are often missed by the clinicians during colonoscopy. With the use of an automatic, accurate, and fast polyp segmentation method during the colonoscopy, many colorectal polyps can be easily detected and removed. The ``Medico automatic polyp segmentation challenge'' provides an opportunity to study polyp segmentation and build an efficient and accurate segmentation algorithm. We use the U-Net with pre-trained ResNet50 as the encoder for the polyp segmentation. The model is trained on Kvasir-SEG dataset provided for the challenge and tested on the organizer's dataset and achieves a dice coefficient of 0.8154, Jaccard of 0.7396, recall of 0.8533, precision of 0.8532, accuracy of 0.9506, and F2 score of 0.8272, demonstrating the generalization ability of our model.


title: The Stefan problem in a thermomechanical context with fracture and fluid flow

abstract: The classical Stefan problem, concerning mere heat-transfer during solid-liquid phase transition, is here enhanced towards mechanical effects. The Eulerian description at large displacements is used with convective and Zaremba-Jaumann corotational time derivatives, linearized by using the additive Green-Naghdi's decomposition in (objective) rates. In particular, the liquid phase is a viscoelastic fluid while creep and rupture of the solid phase is considered in the Jeffreys viscoelastic rheology exploiting the phase-field model and a concept of slightly (so-called "semi") compressible materials. The $L^1$-theory for the heat equation is adopted for the Stefan problem relaxed by allowing for kinetic superheating/supercooling effects during the solid-liquid phase transition. A rigorous proof of existence of weak solutions is provided for an incomplete melting, employinga time-discretisation approximation.


title: Distinquishing 4d N=2 SCFTs

abstract: We construct a family of examples of pairs of 4d N=2 SCFTs whose graded Coulomb branch dimensions, Weyl-anomaly coefficients and flavour symmetry algebras and levels coincide, but which are nonetheless distinct SCFTs. The difference (detectable by the superconformal index) can occur at arbitrarily high order. We argue that it is, however, reflected in a difference in the global form of the flavour symmetry groups.


title: Non-zero momentum level reduction in path integrals for dynamical systems with symmetry given on a product manifold consisting of the total space of the principal fiber bundle and a vector space

abstract: The case of non-zero momentum level reduction in Wiener path integrals for a mechanical system with symmetry describing the motion of two scalar particles with interaction on a Riemannian product manifold with the given action a compact semisimple Lie group is considered. The original product manifold consists of the vector space and a smooth compact finite-dimensional Riemannian manifold, which, due to the action of the group, can be regarded as the total space of the principal fiber bundle. The integral relation between the path integrals representing the fundamental solutions of the backward Kolmogorov equation defined on the total space of the principal fiber bundle (the original Riemannian product manifold) and the corresponding backward Kolmogorov equation gion the space of the sections of the associated covector bundle is obtained.


title: SN 2020ank: a bright and fast-evolving H-deficient superluminous supernova

abstract: We investigate the observational properties of a hydrogen-deficient superluminous supernova (SLSN) SN 2020ank (at z = 0.2485), with the help of early phase observations carried out between $-$21 and +52 d since $g$-band maximum. Photometrically, SN 2020ank is one of the brightest SLSN ($M_{g,peak}$ $\sim$ $-$21.84 $\pm$ 0.10 mag), having fast pre-peak rising and post-peak decaying rates. The bolometric light curve of SN 2020ank exhibits a higher peak luminosity ($L_{max}$) of $\sim$(3.9 $\pm$ 0.7) $\times$ 10$^{44}$ erg s$^{-1}$ and appears to be symmetric around the peak with $L^{rise}_{max}$/e $\approx$ $L^{fall}_{max}$/e $\approx$ 15 d. The semi-analytical light-curve modelling using the MINIM code suggests a spin down millisecond magnetar with $P_i$ $\sim$2.2 $\pm$ 0.5 ms and $B$ $\sim$(2.9 $\pm$ 0.1) $\times$ $10^{14}$ G as a possible powering source for SN 2020ank. The possible magnetar origin and excess ultraviolet flux at early epochs indicate a central-engine based powering source for SN 2020ank. Near-peak spectra of SN 2020ank are enriched with the W-shaped O II features but with the weaker signatures of C II and Fe III. Using the estimated rise time of $\sim$27.9 d and the photospheric velocity of $\sim$12050 km s$^{-1}$, we constrain the ejecta mass to $\sim$7.2 $M_{\odot}$ and the kinetic energy of $\sim$6.3 $\times$ 10$^{51}$ erg. The near-peak spectrum of SN 2020ank exhibits a close spectral resemblance with that of fast-evolving SN 2010gx. The absorption features of SN 2020ank are blueshifted compared to Gaia16apd, suggesting a higher expansion velocity. The spectral similarity with SN 2010gx and comparatively faster spectral evolution than PTF12dam (a slow-evolving SLSN) indicate the fast-evolving behavior of SN 2020ank.


title: Smart Rewritings of the Basic Equations for Quantitative Non-Linear Inverse Scattering

abstract: Nonlinearity arising from mutual interactions is one of the two main difficulties to be addressed in inverse scattering. In this paper, we review and describe under a common rationale some approaches which have been introduced in literature in order to counteract nonlinearity. In particular, we focus on possible rewritings of the Lippman Schwinger basic equation such to reduce the degree of nonlinearity of inverse scattering problem. In detail, three different rewritings are discussed and compared by emphasizing similarities and the differences, and in the same rewriting spirit, we also summarize and discuss the Virtual Experiments framework. Then, some possible joint exploitations of the above concepts are introduced, discussed and tested against numerical examples.


title: The Multi-terminal Inverse AC Josephson Effect

abstract: When a Josephson junction is exposed to microwave radiation, it undergoes the inverse AC Josephson effect - the phase of the junction locks to the drive frequency. As a result, the I-V curves of the junction acquire "Shapiro steps" of quantized voltage. If the junction has three or more superconducting contacts, coupling between different pairs of terminals must be taken into account and the state of the junction evolves in a phase space of higher dimensionality. Here, we study the multi-terminal inverse AC Josephson effect in a graphene sample with three superconducting terminals. We observe robust fractional Shapiro steps and correlated switching events, which can only be explained by considering the device as a completely connected Josephson network. We successfully simulate the observed behaviors using a modified two-dimensional RCSJ model. Our results suggest multi-terminal Josephson junctions are a playground to study highly-connected nonlinear networks with novel topologies.


title: Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security

abstract: A proof of work (PoW) is an important cryptographic construct enabling a party to convince others that they invested some effort in solving a computational task. Arguably, its main impact has been in the setting of cryptocurrencies such as Bitcoin and its underlying blockchain protocol, which received significant attention in recent years due to its potential for various applications as well as for solving fundamental distributed computing questions in novel threat models. PoWs enable the linking of blocks in the blockchain data structure and thus the problem of interest is the feasibility of obtaining a sequence (chain) of such proofs. In this work, we examine the hardness of finding such chain of PoWs against quantum strategies. We prove that the chain of PoWs problem reduces to a problem we call multi-solution Bernoulli search, for which we establish its quantum query complexity. Effectively, this is an extension of a threshold direct product theorem to an average-case unstructured search problem. Our proof, adding to active recent efforts, simplifies and generalizes the recording technique of Zhandry (Crypto'19). As an application, we revisit the formal treatment of security of the core of the Bitcoin consensus protocol, the Bitcoin backbone (Eurocrypt'15), against quantum adversaries, while honest parties are classical and show that protocol's security holds under a quantum analogue of the classical ``honest majority'' assumption. Our analysis indicates that the security of Bitcoin backbone is guaranteed provided the number of adversarial quantum queries is bounded so that each quantum query is worth $O(p^{-1/2})$ classical ones, where $p$ is the success probability of a single classical query to the protocol's underlying hash function. Somewhat surprisingly, the wait time for safe settlement in the case of quantum adversaries matches the safe settlement time in the classical case.


title: Non-thermal light-assisted resistance collapse in a V$_2$O$_3$-based Mott-insulator device

abstract: The insulator-to-metal transition in Mott insulators is the key mechanism for a novel class of electronic devices, belonging to the Mottronics family. Intense research efforts are currently devoted to the development of specific control protocols, usually based on the application of voltage, strain, pressure and light excitation. The ultimate goal is to achieve the complete control of the electronic phase transformation, with dramatic impact on the performance, for example, of resistive switching devices. Here, we investigate the simultaneous effect of external voltage and excitation by ultrashort light pulses on a single Mottronic device based on a V$_2$O$_3$ epitaxial thin film. The experimental results, supported by finite-element simulations of the thermal problem, demonstrate that the combination of light excitation and external electrical bias drives a volatile resistivity drop which goes beyond the combined effect of laser and Joule heating. Our results impact on the development of protocols for the non-thermal control of the resistive switching transition in correlated materials.


title: Inflation, reheating, leptogenesis and bounds on soft supersymmetry breaking parameters

abstract: In the no-scale supergravity with Type-I Seesaw model of Non-minimal supersymmetric standard model (NMSSM), we have analysed inflation, reheating and leptogenesis. A no-scale supergravity realization of Starobinsky model of inflation in simple Wess-Zumino model have been shown earlier by Ellis et al. Here we show a no-scale supergravity realization of Starobinsky model of inflation in Type-I Seesaw framework of NMSSM. In this framework an appropriate choice of no-scale K\"ahler potential results in Starobinsky like plateau inflation along a Higgs-sneutrino $D$-flat direction consistent with the CMB observations. In leptogenesis, the soft-breaking trilinear and bilinear terms play important role. Using conditions for non-thermal contribution to $CP$ asymmetry and successful leptogenesis together with the appropriate reheating at the end of inflation, we have obtained important constraints on the soft supersymmetry breaking parameters.


title: On the number of even latin squares of even order

abstract: We show that for each reduced odd latin square of even order there exists at least one map such that its image is a reduced even latin square of the same order. We prove that this map is injective. As a consequence, we can show that the number of even latin squares of even order is bounded from below by the number of odd latin squares of the same order. This gives a positive answer to the Alon-Tarsi conjecture on even latin squares


title: Field-induced intermediate ordered phase and anisotropic interlayer interactions in $\alpha$-RuCl$_3$

abstract: In $\alpha$-RuCl$_3$, an external magnetic field applied within the honeycomb plane can induce a transition from a magnetically ordered state to a disordered state that is potentially related to the Kitaev quantum spin liquid. In zero field, single crystals with minimal stacking faults display a low-temperature state with in-plane zigzag antiferromagnetic order and a three-layer periodicity in the direction perpendicular to the honeycomb planes. Here, we present angle-dependent magnetization, ac susceptibility, and thermal transport data that demonstrate the presence of an additional intermediate-field ordered state at fields below the transition to the disordered phase. Neutron diffraction results show that the magnetic structure in this phase is characterized by a six-layer periodicity in the direction perpendicular to the honeycomb planes. Theoretically, the intermediate ordered phase can be accounted for by including spin-anisotropic couplings between the layers in a three-dimensional spin model. Together, this demonstrates the importance of interlayer exchange interactions in $\alpha$-RuCl$_3$.


title: A Maximal Correlation Approach to Imposing Fairness in Machine Learning

abstract: As machine learning algorithms grow in popularity and diversify to many industries, ethical and legal concerns regarding their fairness have become increasingly relevant. We explore the problem of algorithmic fairness, taking an information-theoretic view. The maximal correlation framework is introduced for expressing fairness constraints and shown to be capable of being used to derive regularizers that enforce independence and separation-based fairness criteria, which admit optimization algorithms for both discrete and continuous variables which are more computationally efficient than existing algorithms. We show that these algorithms provide smooth performance-fairness tradeoff curves and perform competitively with state-of-the-art methods on both discrete datasets (COMPAS, Adult) and continuous datasets (Communities and Crimes).


title: The Quantum Darboux Theorem,

abstract: The problem of computing quantum mechanical propagators can be recast as a computation of a Wilson line operator for parallel transport by a flat connection acting on a vector bundle of wavefunctions. In this picture the base manifold is an odd dimensional symplectic geometry, or quite generically a contact manifold that can be viewed as a "phase-spacetime", while the fibers are Hilbert spaces. This approach enjoys a "quantum Darboux theorem" that parallels the Darboux theorem on contact manifolds which turns local classical dynamics into straight lines. We detail how the quantum Darboux theorem works for anharmonic quantum potentials. In particular, we develop a novel diagrammatic approach for computing the asymptotics of a gauge transformation that locally makes complicated quantum dynamics trivial.

categories: hep-th math-ph math.DS math.MP math.SG quant-ph


title: An Optimization Approach to Parameter Identification in Variational Inequalities of Second Kind -- II

abstract: This paper continues earlier work and is concerned with the inverse problem of parameter identification in variational inequalities of the second kind that does not only treat the parameter linked to a bilinear form, but importantly also the parameter linked to a nonlinear non-smooth function. The optimization approach in the earlier work on the inverse problem using the output-least squares formulation involves the variational inequality of the second kind as constraint. Here we use regularization technics of nondifferentiable optimization, regularize the nonsmooth part in the variational inequality and arrive at an optimization problem for which the constraint variational inequality is replaced by the regularized variational equation. For this case, the smoothness of the parameter-to-solution map is studied and convergence analysis and optimality conditions are given.


title: Robustness Testing of Language Understanding in Task-Oriented Dialog

abstract: Most language understanding models in task-oriented dialog systems are trained on a small amount of annotated training data, and evaluated in a small set from the same distribution. However, these models can lead to system failure or undesirable output when being exposed to natural language perturbation or variation in practice. In this paper, we conduct comprehensive evaluation and analysis with respect to the robustness of natural language understanding models, and introduce three important aspects related to language understanding in real-world dialog systems, namely, language variety, speech characteristics, and noise perturbation. We propose a model-agnostic toolkit LAUG to approximate natural language perturbations for testing the robustness issues in task-oriented dialog. Four data augmentation approaches covering the three aspects are assembled in LAUG, which reveals critical robustness issues in state-of-the-art models. The augmented dataset through LAUG can be used to facilitate future research on the robustness testing of language understanding in task-oriented dialog.


title: Predicting cross-linguistic adjective order with information gain

abstract: Languages vary in their placement of multiple adjectives before, after, or surrounding the noun, but they typically exhibit strong intra-language tendencies on the relative order of those adjectives (e.g., the preference for `big blue box' in English, `grande bo\^{i}te bleue' in French, and `alsund\={u}q al'azraq alkab\={\i}r' in Arabic). We advance a new quantitative account of adjective order across typologically-distinct languages based on maximizing information gain. Our model addresses the left-right asymmetry of French-type ANA sequences with the same approach as AAN and NAA orderings, without appeal to other mechanisms. We find that, across 32 languages, the preferred order of adjectives largely mirrors an efficient algorithm of maximizing information gain.


title: Universal covering spaces, a footnote

abstract: We give a short proof that, for nice $X$, the based fundamental groupoid of $X$ with topology induced by the compact open topology on the space of paths, is indeed the universal covering space of $X$.


title: Vectorial polaritons in the quantum motion of a levitated nanosphere

abstract: The strong coupling between elementary excitations of the electromagnetic field (photons) and quantized mechanical vibrations (phonons) produces hybrid quasi-particle states, known as phonon-polaritons. Their typical signature is the avoided crossing between the eigenfrequencies of the coupled system, as paradigmatically illustrated by the Jaynes-Cummings Hamiltonian, and observed in quantum electrodynamics experiments where cavity photons are coupled to atoms, ions, excitons, spin ensambles and superconducting qubits. In this work, we demonstrate the generation of phonon-polaritons in the quantum motion of an optically-levitated nanosphere. The particle is trapped in high vacuum by an optical tweezer and strongly coupled to a single cavity mode by coherent scattering of the tweezer photons. The two-dimensional motion splits into two nearly-degenerate components that, together with the optical cavity mode, define an optomechanical system with three degrees-of-freedom. As such, when entering the strong coupling regime, we observe hybrid light-mechanical states with a dispersion law typical of tripartite quantum systems. Remarkably, the independent components of motion here identify a physical vibration direction on a plane that, similarly to the polarization of light, confers a vectorial nature to the polariton field. Our results pave the way to novel protocols for quantum information transfer between photonic and phononic components and represent a key-step towards the demonstration of optomechanical entangled states at room temperature.


title: Error bounds for port-Hamiltonian model and controller reduction based on system balancing

abstract: We study linear quadratic Gaussian (LQG) control design for linear port-Hamiltonian systems. To this end, we exploit the freedom in choosing the weighting matrices and propose a specific choice which leads to an LQG controller which is port-Hamiltonian and, thus, in particular stable and passive. Furthermore, we construct a reduced-order controller via balancing and subsequent truncation. This approach is closely related to classical LQG balanced truncation and shares a similar a priori error bound with respect to the gap metric. By exploiting the non-uniqueness of the Hamiltonian, we are able to determine an optimal pH representation of the full-order system in the sense that the error bound is minimized. In addition, we discuss consequences for pH-preserving balanced truncation model reduction which results in two different classical H-infinity-error bounds. Finally, we illustrate the theoretical findings by means of two numerical examples.


title: Similarity Classification of Public Transit Stations

abstract: We study the following problem: given two public transit station identifiers A and B, each with a label and a geographic coordinate, decide whether A and B describe the same station. For example, for "St Pancras International" at (51.5306, -0.1253) and "London St Pancras" at (51.5319, -0.1269), the answer would be "Yes". This problem frequently arises in areas where public transit data is used, for example in geographic information systems, schedule merging, route planning, or map matching. We consider several baseline methods based on geographic distance and simple string similarity measures. We also experiment with more elaborate string similarity measures and manually created normalization rules. Our experiments show that these baseline methods produce good, but not fully satisfactory results. We therefore develop an approach based on a random forest classifier which is trained on matching trigrams between two stations, their distance, and their position on an interwoven grid. All approaches are evaluated on extensive ground truth datasets we generated from OpenStreetMap (OSM) data: (1) The union of Great Britain and Ireland and (2) the union of Germany, Switzerland, and Austria. On all datasets, our learning-based approach achieves an F1 score of over 99%, while even the most elaborate baseline approach (based on TFIDF scores and the geographic distance) achieves an F1 score of at most 94%, and a naive approach of using a geographical distance threshold achieves an F1 score of only 75%. Both our training and testing datasets are publicly available.


title: UMAP-assisted $K$-means clustering of large-scale SARS-CoV-2 mutation datasets

abstract: Coronavirus disease 2019 (COVID-19) caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has a worldwide devastating effect. The understanding of evolution and transmission of SARS-CoV-2 is of paramount importance for the COVID-19 control, combating, and prevention. Due to the rapid growth of both the number of SARS-CoV-2 genome sequences and the number of unique mutations, the phylogenetic analysis of SARS-CoV-2 genome isolates faces an emergent large-data challenge. We introduce a dimension-reduced $k$-means clustering strategy to tackle this challenge. We examine the performance and effectiveness of three dimension-reduction algorithms: principal component analysis (PCA), t-distributed stochastic neighbor embedding (t-SNE), and uniform manifold approximation and projection (UMAP). By using four benchmark datasets, we found that UMAP is the best-suited technique due to its stable, reliable, and efficient performance, its ability to improve clustering accuracy, especially for large Jaccard distanced-based datasets, and its superior clustering visualization. The UMAP-assisted $k$-means clustering enables us to shed light on increasingly large datasets from SARS-CoV-2 genome isolates.


title: A deterministic model for non-monotone relationship between translation of upstream and downstream open reading frames

abstract: TASEP modeling was shown to offer a parsimonious explanation for the experimentally confirmed ability of a single upstream Open Reading Frames (uORFs) to upregulate downstream translation during the integrated stress response. As revealed by numerical simulations, the model predicts that reducing the density of scanning ribosomes upstream of certain uORFs increases the flow of ribosomes downstream. To gain a better insight into the mechanism which ensures the non-monotone relation between the upstream and downstream flows, in this work, we propose a phenomenological deterministic model approximating the TASEP model of the translation process. We establish the existence of a stationary solution featuring the decreasing density along the uORF for the deterministic model. Further, we find an explicit non-monotone relation between the upstream ribosome density and the downstream flow for the stationary solution in the limit of increasing uORF length and increasingly leaky initiation. The stationary distribution of the TASEP model, the stationary solution of the deterministic model and the explicit limit are compared numerically.


title: Signatures of bath-induced quantum avalanches in a many-body--localized system

abstract: Strongly correlated systems can exhibit surprising phenomena when brought in a state far from equilibrium. A spectacular example are quantum avalanches, that have been predicted to run through a many-body--localized system and delocalize it. Quantum avalanches occur when the system is locally coupled to a small thermal inclusion that acts as a bath. Here we realize an interface between a many-body--localized system and a thermal inclusion of variable size, and study its dynamics. We find evidence for accelerated transport into the localized region, signature of a quantum avalanche. By measuring the site-resolved entropy we monitor how the avalanche travels through the localized system and thermalizes it site by site. Furthermore, we isolate the bath-induced dynamics by evaluating multipoint correlations between the bath and the system. Our results have fundamental implications on the robustness of many-body--localized systems and their critical behavior.

categories: cond-mat.quant-gas cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: A note on regularized Bernoulli distributions and p-adic Dirichlet expansions

abstract: We consider Bernoulli distributions and their regularizations, which are measures on the $p$-adic integers $\mathbb{Z}_p$. It is well known that their Mellin transform can be used to define $p$-adic $L$-functions. We show that for $p>2$ one of the regularized Bernoulli distributions is particularly simple and equal to a measure on $\mathbb{Z}_p$ that takes the values $\pm \frac{1}{2}$ on clopen balls. We apply this to $p$-adic $L$-functions for Dirichlet characters of $p$-power conductor and obtain Dirichlet series expansions similar to the complex case. Such expansions were studied by D. Delbourgo, and this contribution provides an approach via $p$-adic measures.


title: Quantum traces and embeddings of stated skein algebras into quantum tori

abstract: The stated skein algebra of a punctured bordered surface (or equivalently, a marked surface) is a generalization of the well-known Kauffman bracket skein algebra of unmarked surfaces and can be considered as an extension of the quantum special linear group $\mathcal{O}_{q^2}(SL_2)$ from a bigon to general surfaces. We show that the stated skein algebra of a punctured bordered surface with non-empty boundary can be embedded into quantum tori in two different ways. The first embedding can be considered as a quantization of the map expressing the trace of a closed curve in terms of the shear coordinates of the enhanced Teichm\"uller space, and is a lift of Bonahon-Wong's quantum trace map. The second embedding can be considered as a quantization of the map expresses the trace of a closed curve in terms of the lambda length coordinates of the decorated Teichm\"uller space, and is an extension of Muller's quantum trace map. We explain the relation between the two quantum trace maps. We also show that the quantum cluster algebra of Muller is equal to a reduced version of the stated skein algebra. As applications we show that the stated skein algebra is an orderly finitely generated Noetherian domain and calculate its Gelfand-Kirillov dimension.


title: Full analytical ultrarelativistic 1D solutions of a planar working surface

abstract: We show that the 1D planar ultrarelativistic shock-tube problem with an ultrarelativistic polytropic equation of state can be solved analytically for the case of a working surface, i.e. for the case when an initial discontinuity on the hydrodynamical quantities of the problem form two shock waves separating from a contact discontinuity. The procedure is based on the extensive use of the Taub jump conditions for relativistic shock waves, the Taub adiabatic and performing Lorentz transformations to present the solution in a system of reference adequate for an external observer at rest. The solutions are found using a set of very useful theorems related to the Lorentz factors when transforming between systems of reference. The energy dissipated inside the working surface is relevant for studies of light curves observed in relativistic astrophysical jets and so, we provide a full analytical solution for this phenomenon assuming an ultrarelativistic periodic velocity injected at the base of the jet.


title: Provably Training Overparameterized Neural Network Classifiers with Non-convex Constraints

abstract: Training a classifier under non-convex constraints has gotten increasing attention in the machine learning community thanks to its wide range of applications such as algorithmic fairness and class-imbalanced classification. However, several recent works addressing non-convex constraints have only focused on simple models such as logistic regression or support vector machines. Neural networks, one of the most popular models for classification nowadays, are precluded and lack theoretical guarantees. In this work, we show that overparameterized neural networks could achieve a near-optimal and near-feasible solution of non-convex constrained optimization problems via the project stochastic gradient descent. Our key ingredient is the no-regret analysis of online learning for neural networks in the overparameterization regime, which may be of independent interest in online learning applications.


title: Evidence of 200 TeV photons from HAWC J1825-134

abstract: The Earth is bombarded by ultra-relativistic particles, known as cosmic rays (CRs). CRs with energies up to a few PeV (=10$^{15}$ eV), the knee in the particle spectrum, are believed to have a Galactic origin. One or more factories of PeV CRs, or PeVatrons, must thus be active within our Galaxy. The direct detection of PeV protons from their sources is not possible since they are deflected in the Galactic magnetic fields. Hundred TeV $\gamma$-rays from decaying $\pi^0$, produced when PeV CRs collide with the ambient gas, can provide the decisive evidence of proton acceleration up to the knee. Here we report the discovery by the High Altitude Water Cherenkov (HAWC) observatory of the $\gamma$-ray source, HAWC~J1825-134, whose energy spectrum extends well beyond 200 TeV without a break or cutoff. The source is found to be coincident with a giant molecular cloud. The ambient gas density is as high as 700 protons/cm$^3$. While the nature of this extreme accelerator remains unclear, CRs accelerated to energies of several PeV colliding with the ambient gas likely produce the observed radiation.


title: Functor of Points and Height Functions for Noncommutative Arakelov Geometry

abstract: We propose a notion of functor of points for noncommutative spaces, valued in categories of bimodules, and endowed with an action functional determined by a notion of hermitian structures and height functions, modeled on an interpretation of the classical functor of points as a physical sigma model. We discuss different choices of such height functions, based on different notions of volumes and traces, including one based on the Hattori-Stallings rank. We show that the height function determines a dynamical time evolution on an algebra of observables associated to our functor of points. We focus in particular the case of noncommutative arithmetic curves, where the relevant algebras are sums of matrix algebras over division algebras over number fields, and we discuss a more general notion of noncommutative arithmetic spaces in higher dimensions, where our approach suggests an interpretation of the Jones index as a height function.


title: Tensor Representations for the Drinfeld Double of the Taft Algebra

abstract: Over an algebraically closed field $\mathbb k$ of characteristic zero, the Drinfeld double $D_n$ of the Taft algebra that is defined using a primitive $n$th root of unity $q \in \mathbb k$ for $n \geq 2$ is a quasitriangular Hopf algebra. Kauffman and Radford have shown that $D_n$ has a ribbon element if and only if $n$ is odd, and the ribbon element is unique; however there has been no explicit description of this element. In this work, we determine the ribbon element of $D_n$ explicitly. For any $n \geq 2$, we use the R-matrix of $D_n$ to construct an action of the Temperley-Lieb algebra $\mathsf{TL}_k(\xi)$ with $\xi = -(q^{\frac{1}{2}}+q^{-\frac{1}{2}})$ on the $k$-fold tensor power $V^{\otimes k}$ of any two-dimensional simple $D_n$-module $V$. This action is known to be faithful for arbitrary $k \geq 1$. We show that $\mathsf{TL}_k(\xi)$ is isomorphic to the centralizer algebra $\text{End}_{D_n}(V^{\otimes k})$ for $1 \le k \le 2n-2$.


title: An automatic procedure to determine groups of nonparametric regression curves

abstract: In many situations it could be interesting to ascertain whether nonparametric regression curves can be grouped, especially when confronted with a considerable number of curves. The proposed testing procedure allows to determine groups with an automatic selection of their number. A simulation study is presented in order to investigate the finite sample properties of the proposed methods when compared to existing alternative procedures. Finally, the applicability of the procedure to study the geometry of a tunnel by analysing a set of cross-sections is demonstrated. The results obtained show the existence of some heterogeneity in the tunnel geometry.


title: Some Algorithms on Exact, Approximate and Error-Tolerant Graph Matching

abstract: The graph is one of the most widely used mathematical structures in engineering and science because of its representational power and inherent ability to demonstrate the relationship between objects. The objective of this work is to introduce the novel graph matching techniques using the representational power of the graph and apply it to structural pattern recognition applications. We present an extensive survey of various exact and inexact graph matching techniques. Graph matching using the concept of homeomorphism is presented. A category of graph matching algorithms is presented, which reduces the graph size by removing the less important nodes using some measure of relevance. We present an approach to error-tolerant graph matching using node contraction where the given graph is transformed into another graph by contracting smaller degree nodes. We use this scheme to extend the notion of graph edit distance, which can be used as a trade-off between execution time and accuracy. We describe an approach to graph matching by utilizing the various node centrality information, which reduces the graph size by removing a fraction of nodes from both graphs based on a given centrality measure. The graph matching problem is inherently linked to the geometry and topology of graphs. We introduce a novel approach to measure graph similarity using geometric graphs. We define the vertex distance between two geometric graphs using the position of their vertices and show it to be a metric over the set of all graphs with vertices only. We define edge distance between two graphs based on the angular orientation, length and position of the edges. Then we combine the notion of vertex distance and edge distance to define the graph distance between two geometric graphs and show it to be a metric. Finally, we use the proposed graph similarity framework to perform exact and error-tolerant graph matching.


title: Anisotropic magnetic interactions in hexagonal AB-stacked kagome lattice structures: Applications to $\mathrm{Mn}_3\mathrm{X}$ ($\mathrm{X}$ = $\mathrm{Ge}$, $\mathrm{Sn}$, $\mathrm{Ga}$) compounds

abstract: $\mathrm{Mn}_3\mathrm{X}$ compounds in which the magnetic $\mathrm{Mn}$ atoms form AB-stacked kagome lattices have received a tremendous amount of attention since the observation of the anomalous Hall effect in $\mathrm{Mn}_3\mathrm{Ge}$ and $\mathrm{Mn}_3\mathrm{Sn}$. Although the magnetic ground state has been known for some time to be an inverse triangular structure with an induced in-plane magnetic moment, there have been several controversies about the minimal magnetic Hamiltonian. We present a general symmetry-based model for these compounds that includes a previously unreported interplane Dzyaloshinskii-Moriya interaction, as well as anisotropic exchange interactions. The latter are shown to compete with the single-ion anisotropy which strongly affects the ground state configurations and elementary spin-wave excitations. Finally, we present the calculated elastic and inelastic neutron scattering intensities and point to experimental assessment of the types of magnetic anisotropy in these compounds that may be important.


title: Automated Crater Detection from Co-registered Optical Images, Elevation Maps and Slope Maps using Deep Learning

abstract: Impact craters are formed as a result of continuous impacts on the surface of planetary bodies. This paper proposes a novel way of simultaneously utilizing optical images, digital elevation maps (DEMs), and slope maps for automatic crater detection on the lunar surface. Mask R-CNN, tuned for the crater detection task, is utilized in this paper. Two catalogs, namely, Head-LROC and Robbins, are used for the performance evaluation. Exhaustive analysis of the detection results on the lunar surface has been performed with respect to both Head-LROC and Robbins catalog. With the Head-LROC catalog, which has relatively strict crater markings and larger possibility of missing craters, recall value of 94.28\% has been obtained as compared to 88.03\% for the baseline method. However, with respect to a manually marked exhaustive crater catalog based on relatively liberal marking, significant precision and recall values are obtained for different crater size ranges. The generalization capability of the proposed method in terms of crater detection on a different terrain with different input data type is also evaluated. We show that the proposed model trained on the lunar surface with optical images, DEMs and corresponding slope maps can be used to detect craters on the Martian surface even with entirely different input data type, such as thermal IR images from the Martian surface.


title: Quantum Conformance Test

abstract: We introduce a protocol addressing the conformance test problem, which consists in determining whether a process under test conforms to a reference one. We consider a process to be characterized by the set of end-product it produces, which is generated according to a given probability distribution. We formulate the problem in the context of hypothesis testing and consider the specific case in which the objects can be modeled as pure loss channels. We demonstrate theoretically that a simple quantum strategy, using readily available resources and measurement schemes in the form of two-mode squeezed vacuum and photon-counting, can outperform any classical strategy. We experimentally implement this protocol, exploiting optical twin beams, validating our theoretical results, and demonstrating that, in this task, there is a quantum advantage in a realistic setting.


title: ECONET: Effective Continual Pretraining of Language Models for Event Temporal Reasoning

abstract: While pre-trained language models (PTLMs) have achieved noticeable success on many NLP tasks, they still struggle for tasks that require event temporal reasoning, which is essential for event-centric applications. We present a continual pre-training approach that equips PTLMs with targeted knowledge about event temporal relations. We design self-supervised learning objectives to recover masked-out event and temporal indicators and to discriminate sentences from their corrupted counterparts (where event or temporal indicators got replaced). By further pre-training a PTLM with these objectives jointly, we reinforce its attention to event and temporal information, yielding enhanced capability on event temporal reasoning. This effective continual pre-training framework for event temporal reasoning (ECONET) improves the PTLMs' fine-tuning performances across five relation extraction and question answering tasks and achieves new or on-par state-of-the-art performances in most of our downstream tasks.


title: Light Dark Matter through Resonance Scanning

abstract: We propose a new out-of-equilibrium production mechanism of light dark matter: resonance scanning. If the dark matter mass evolved in the early Universe, resonant production may have occurred for a wide range of light dark matter masses today. We show that the dark matter relic abundance may be produced through the Higgs portal, in a manner consistent with current experimental constraints.


title: What can a 1980s BASIC programming textbook teach us today?

abstract: Elementary Basic, published in 1982, is an introductory programming text with a novel central conceit, namely that the fictional 19th century detective Sherlock Holmes used a computer to help solve mysteries. It is also novel among similar books of its time for its focus on program design. In other regards, such as its use of the language BASIC, it is representative of its time. Over 35 years after it was written, I think it is worth looking back at it to see to what is still relevant today and what would be done differently. We may even learn something about teaching programming today. Of particular interest is the degree to which the use of BASIC influenced the content of the book.


title: JAXNS: a high-performance nested sampling package based on JAX

abstract: Since its debut by John Skilling in 2004, nested sampling has proven a valuable tool to the scientist, providing hypothesis evidence calculations and parameter inference for complicated posterior distributions, particularly in the field of astronomy. Due to its computational complexity and long-running nature, in the past, nested sampling has been reserved for offline-type Bayesian inference, leaving tools such as variational inference and MCMC for online-type, time-constrained, Bayesian computations. These tools do not easily handle complicated multi-modal posteriors, discrete random variables, and posteriors lacking gradients, nor do they enable practical calculations of the Bayesian evidence. An opening thus remains for a high-performance out-of-the-box nested sampling package that can close the gap in computational time, and let nested sampling become common place in the data science toolbox. We present JAX-based nested sampling (JAXNS), a high-performance nested sampling package written in XLA-primitives using JAX, and show that it is several orders of magnitude faster than the currently available nested sampling implementations of PolyChord, MultiNEST, and dynesty, while maintaining the same accuracy of evidence calculation. The JAXNS package is publically available at \url{https://github.com/joshuaalbert/jaxns}.


title: Flavor-changing Majoron interactions with leptons

abstract: When the Standard Model Higgs sector is extended with a complex singlet that breaks global lepton number symmetry spontaneously, a massless Goldstone boson called the Majoron J arises. In addition to increasing Higgs invisible decay through mixing, the Majoron can generally have flavor-changing interactions with fermions. We find that type-III seesaw model poses such interesting properties with both charged leptons and neutrinos. This opens up new channels to search for the Majoron. We use the experimental data such as muonium-anti-muonium oscillation and flavor-changing neutrino and charged lepton decays to put constraints on the couplings. As a novel way to reveal the chiral properties of these interactions, we propose an experimentally measurable polarization asymmetry of flavor-changing l to l' J decays.


title: Quantizing the Eisenhart Lift

abstract: The classical Eisenhart lift is a method by which the dynamics of a classical system subject to a potential can be recreated by means of a free system evolving in a higher-dimensional curved manifold, known as the lifted manifold. We extend the formulation of the Eisenhart lift to quantum systems, and show that the lifted manifold recreates not only the classical effects of the potential, but also its quantum mechanical effects. In particular, we find that the solutions of the Schrodinger equations of the lifted system reduce to those of the original system after projecting out the new degrees of freedom. In this context, we identify a conserved quantum number, which corresponds to the lifted momentum of the classical system. We further apply the Eisenhart lift to Quantum Field Theory (QFT). We show that a lifted field space manifold is able to recreate both the classical and quantum effects of a scalar field potential. We find that, in the case of QFT, the analogue of the lifted momentum is a quantum charge that is conserved not only in time, but also in space. The different possible values for this charge label an ensemble of Fock spaces that are all disjoint from one another. The relevance of these extended Fock spaces to the cosmological constant and gauge hierarchy problems is considered.


title: On the Motion of Stars in the Pleiades according to Gaia DR2 Data

abstract: We used Gaia DR2 data in order to estimate parameters of the Pleiades. With the data on stars with m_G<=18 mag, we constructed the density maps and profile, luminosity and mass functions, determined the cluster radius, 10.9+/-0.3 deg (26.3+/-0.7 pc), and the radius of its core, 2.62 deg (6.24 pc), and obtained estimates for the number of stars in the cluster, 1542+/-121, and their mass, 855+/-104 solar mass. Distribution of stars with m_G<16 mag at distances r_s from the cluster center in three-dimensional space of r_s<1 pc and at r_s~1.4-5 pc contains radial density waves. We determined the average `prograde' rotation velocity of the core of the cluster v_c=0.56+/-0.07 km/s at distances d in the sky plane d<=4.6 pc from its center. The rotation velocity of the cluster core at a distance of d~5.5 pc from its center is close to zero: v_c=0.1+/-0.3 km/s. The velocity of the `retrograde' rotation of the cluster at a distance of d~7.1 pc from its center is v_c=0.48+/-0.20 km/s. The dependences of moduli of the tangential and radial components of the cluster core star velocities in the sky plane on the distance d to the cluster center contain the periodic oscillations. The velocity dispersions of the cluster core stars increase on average with an increase in r_s, which, like the radial density waves and the waves of oscillations of the velocity field in the sky plane, indicates the non-stationarity of the cluster in the regular field. The Jeans wavelength in the cluster core decreases, and the velocity dispersion of the core stars under the Jeans instability increases after taking into account the Galactic gravitational field. The region of gravitational instability in the Pleiades cluster is located in the interval r_s=2.2-5.7 pc and contains 39.4-60.5% of the total number of stars in the considered samples.


title: Rapid production of defect-free beryllium ion Coulomb crystals

abstract: Trapped atomic ions find wide applications ranging from precision measurement to quantum information science and quantum computing. Among the different atomic species employed, beryllium ions are widely used due to its light mass and convenient atomic structure. However, the ion loading process requires a high temperature for sufficient vapor pressure, generating undesirable gas load for the background vacuum and limiting the lifetime of a long ion chain. Here, we demonstrate a simple method to rapidly produce pure linear chains of beryllium ions with pulsed laser ablation, serving as a starting point for large-scale quantum information processing. Our method is fast compared to thermal ovens; reduces the vacuum load to only 10^(-12) Torr level; yields a short recovery time of a few seconds; and also eliminates the need for a deep ultraviolet laser for photo-ionization. In addition, we apply feedback control to obtain defect-free ion arrays with desirable lengths.


title: Reachability relations of timed pushdown automata

abstract: Timed pushdown automata (TPDA) are an expressive formalism combining recursion with a rich logic of timing constraints. We prove that reachability relations of TPDA are expressible in linear arithmetic, a rich logic generalising Presburger arithmetic and rational arithmetic. The main technical ingredients are a novel quantifier elimination result for clock constraints (used to simplify the syntax of TPDA transitions), the use of clock difference relations to express reachability relations of the fractional clock values, and an application of Parikh's theorem to reconstruct the integral clock values.


title: Differential transcendence of Bell numbers and relatives: a Galois theoretic approach

abstract: In 2003 Klazar proved that the ordinary generating function of the sequence of Bell numbers is differentially transcendental over the field $\mathbb{C}(\{t\})$ of meromorphic functions at $0$. We show that Klazar's result is an instance of a general phenomenon that can be proven in a compact way using difference Galois theory. We present the main principles of this theory in order to prove a general result about differential transcendence over $\mathbb{C}(\{t\})$, that we apply to many other (infinite classes of) examples of generating functions, including as very special cases the ones considered by Klazar. Most of our examples belong to Sheffer's class, well studied notably in umbral calculus. They all bring concrete evidence in support to the Pak-Yeliussizov conjecture, according to which a sequence whose both ordinary and exponential generating functions satisfy nonlinear differential equations with polynomial coefficients necessarily satisfies a linear recurrence with polynomial coefficients.


title: Decoupling inequalities with exponential constants

abstract: Decoupling inequalities disentangle complex dependence structures of random objects so that they can be analyzed by means of standard tools from the theory of independent random variables. We study decoupling inequalities for vector-valued homogeneous polynomials evaluated at random variables. We focus on providing geometric conditions ensuring decoupling inequalities with good constants depending only exponentially on the degree of the polynomial. Assuming the Banach space has finite cotype we achieve this for classical decoupling inequalities that compare the polynomials with their associated multilinear operators. Under stronger geometric assumptions on the involved Banach spaces, we also obtain decoupling inequalities between random polynomials and fully independent random sums of their coefficients. Finally, we present decoupling inequalities where in the multilinear operator just two independent copies of the random vector are involved (one repeated $m-1$ times).


title: MRI brain tumor segmentation and uncertainty estimation using 3D-UNet architectures

abstract: Automation of brain tumor segmentation in 3D magnetic resonance images (MRIs) is key to assess the diagnostic and treatment of the disease. In recent years, convolutional neural networks (CNNs) have shown improved results in the task. However, high memory consumption is still a problem in 3D-CNNs. Moreover, most methods do not include uncertainty information, which is especially critical in medical diagnosis. This work studies 3D encoder-decoder architectures trained with patch-based techniques to reduce memory consumption and decrease the effect of unbalanced data. The different trained models are then used to create an ensemble that leverages the properties of each model, thus increasing the performance. We also introduce voxel-wise uncertainty information, both epistemic and aleatoric using test-time dropout (TTD) and data-augmentation (TTA) respectively. In addition, a hybrid approach is proposed that helps increase the accuracy of the segmentation. The model and uncertainty estimation measurements proposed in this work have been used in the BraTS'20 Challenge for task 1 and 3 regarding tumor segmentation and uncertainty estimation.


title: SDN helps Big Data to optimize access to data

abstract: This chapter introduces the state-of-the-art in the emerging area of combining High Performance Computing (HPC) with Big Data Analysis. To understand the new area, the chapter first surveys the existing approaches to integrating HPC with Big Data. Next, the chapter introduces several optimization solutions that focus on how to minimize the data transfer time from computation-intensive applications to analysis-intensive applications as well as minimizing the end-to-end time-to-solution. The solutions utilize SDN to adaptively use both high speed interconnect network and high performance parallel file systems to optimize the application performance. A computational framework called DataBroker is designed and developed to enable a tight integration of HPC with data analysis. Multiple types of experiments have been conducted to show different performance issues in both message passing and parallel file systems and to verify the effectiveness of the proposed research approaches.


title: A promenade through Correct Test Sequences I: Degree of constructible sets, B\'ezout's Inequality and density

abstract: In Heintz-Schnorr (1982), the authors introduced the notion of correct test sequence and since then it has been widely used to design probabilistic algorithms for Polynomial Equality Test. The aim of this manuscript is to study the foundations and generalizations of this notion. We show that correct test sequences are almost omnipresent and appear in many different forms in the mathematical literature: As identity sequences for Function Identity Test, as norming sets in the field of Banach algebras or as samples in the context of Reproducing Kernel Hilbert Spaces. As main outcome, we generalize the main statement of Heintz-Schnorr (1982) proving that short correct test sequences for constructible sets of lists of polynomials do exist and are densely distributed in any constructible set of accurate dimension and degree. The main tool used to prove this result is the theory of degree of constructible sets, which we introduce and develop in this manuscript, generalizing the results of Heintz (1983) and proving two Bezout's Inequalities for two different notions of degree. We present a ${\bf BPP}_K$ algorithm to exhibit the power of correct test sequences, this algorithm decides whether a list of polynomials is a secant sequence by just evaluating the input list at some well-suited points. We show the differences between correct test sequences and Demillo-Lipton-Schwartz-Zippel probabilistic tests and we reformulate, prove and generalize two well-known results of the Polynomial Method: We prove Dvir's exponential lower bounds for Kakeya sets from lower bounds for the length of correct test sequences and generalize Alon's Combinatorial Nullstellensatz.


title: Trapping Sets of Quantum LDPC Codes

abstract: Iterative decoders for finite length quantum low-density parity-check (QLDPC) codes are attractive because their hardware complexity scales only linearly with the number of physical qubits. However, they are impacted by short cycles, detrimental graphical configurations known as trapping sets (TSs) present in a code graph as well as symmetric degeneracy of errors. These factors significantly degrade the decoder decoding probability performance and cause so-called error floor. In this paper, we establish a systematic methodology by which one can identify and classify quantum trapping sets (QTSs) according to their topological structure and decoder used. The conventional definition of a TS from classical error correction is generalized to address the syndrome decoding scenario for QLDPC codes. We show that the knowledge of QTSs can be used to design better QLDPC codes and decoders. Frame error rate improvements of two orders of magnitude in the error floor regime are demonstrated for some practical finite-length QLDPC codes without requiring any post-processing.


title: On the corona problem for strongly pseudoconvex domains

abstract: In this note we solve that the corona problem for strongly pseudoconvex domains under a certain assumption on the level sets of the corona data.


title: An approach to Quantum Conformal Algebra

abstract: We aim to explore if inside a quantum vertex algebras, we can find the right notion of a quantum conformal algebra.


title: Main Belt Asteroid Histories: Simulations of erosion, cratering, catastrophic dispersions, spins, binaries and tumblers

abstract: This is a study of the history of the asteroids in the main asteroid belt. Collisions have been the dominant process. Every asteroid has been impacted by others a multitude of times, with consequences of cratering, erosion, spin increments, fragmentation, and occasional catastrophic disruption and dispersion. Extensive information for asteroid orbits, sizes, shapes, composition, and rotation rates of those asteroids is now available. Those are a result of their history, but to interpret them requires understanding the processes. That understanding can be improved by simulations of the history. A simulation needs robust models of the dynamical and collisional events. Such models have evolved substantially in the last few decades. Here I present current models, a method, and a code "SSAH" for stochastic simulations of the history of the main belt. That code gives a framework upon which existing and future models can be based. The results lead to new paradigms for asteroid histories including the distribution of spins; the irrelevance of strength spin limits; the "unusual" spins of 2001 OE84; and of large slow-spinning tumbling objects (Mathilde); the "V-shape" in the spin versus diameter plot; the non-Maxwellian distribution of spins of a given diameter range; the numbers of expected tumblers, and more. At the same time, the simulations expose gaps in our knowledge that require further research. The SSAH code is freely available for the use of others.


title: Optimal trees selection for classification via out-of-bag assessment and sub-bagging

abstract: The effect of training data size on machine learning methods has been well investigated over the past two decades. The predictive performance of tree based machine learning methods, in general, improves with a decreasing rate as the size of training data increases. We investigate this in optimal trees ensemble (OTE) where the method fails to learn from some of the training observations due to internal validation. Modified tree selection methods are thus proposed for OTE to cater for the loss of training observations in internal validation. In the first method, corresponding out-of-bag (OOB) observations are used in both individual and collective performance assessment for each tree. Trees are ranked based on their individual performance on the OOB observations. A certain number of top ranked trees is selected and starting from the most accurate tree, subsequent trees are added one by one and their impact is recorded by using the OOB observations left out from the bootstrap sample taken for the tree being added. A tree is selected if it improves predictive accuracy of the ensemble. In the second approach, trees are grown on random subsets, taken without replacement-known as sub-bagging, of the training data instead of bootstrap samples (taken with replacement). The remaining observations from each sample are used in both individual and collective assessments for each corresponding tree similar to the first method. Analysis on 21 benchmark datasets and simulations studies show improved performance of the modified methods in comparison to OTE and other state-of-the-art methods.


title: An analysis to identify the structural breaks of COVID-19 in Turkey

abstract: In countries with a severe outbreak of COVID-19, most governments are considering whether anti-transmission measures are worth social and economic costs. The seriousness of economic costs such as the closure of some workplaces, unemployment, reduction in production, and social costs such as school closures, disruptions in education could be observable. However, the effect of the measures taken on the spread of the epidemic, such as the number of delayed or prevented cases, could not be observed. For this reason, the direct effects of the measures taken on health, that is, the effects on the course of the epidemic, are important research subjects. For this purpose, in this study, the breakpoint linear regression analysis is performed to analyze the trends of daily active cases, recovered, and deaths in Turkey. The analysis reveals that there has been a remarkable impact on lockdown and other precautions. Using the breakpoint regression model, we also analyze the active cases' trajectory for eight affected countries and compare the patterns in these countries with Turkey.


title: Foundations of geometric approximate group theory

abstract: We develop the foundations of a geometric theory of countably-infinite approximate groups, extending work of Bj\"orklund and the second-named author. Our theory is based on the notion of a quasi-isometric quasi-action (qiqac) of an approximate group on a metric space. More specifically, we introduce a geometric notion of finite generation for approximate group and prove that every geometrically finitely-generated approximate group admits a geometric qiqac on a proper geodesic metric space. We then show that all such spaces are quasi-isometric, hence can be used to associate a canonical QI type with every geometrically finitely-generated approximate group. This in turn allows us to define geometric invariants of approximate groups using QI invariants of metric spaces. Among the invariants we consider are asymptotic dimension, finiteness properties, numbers of ends and growth type. For geometrically finitely-generated approximate groups of polynomial growth we derive a version of Gromov's polynomial growth theorem, based on work of Hrushovski and Breuillard--Green--Tao. A particular focus is on qiqacs on hyperbolic spaces. Our strongest results are obtained for approximate groups which admit a geometric qiqac on a proper geodesic hyperbolic space. For such "hyperbolic approximate groups" we establish a number of fundamental properties in analogy with the case of hyperbolic groups. For example, we show that their asymptotic dimension is one larger than the topological dimension of their Gromov boundary and that - under some mild assumption of being "non-elementary" - they have exponential growth and act minimally on their Gromov boundary. We also study convex cocompact qiqacs on hyperbolic spaces. Using the theory of Morse boundaries, we extend some of our results concerning qiqacs on hyperbolic spaces to qiqacs on proper geodesic metric spaces with non-trivial Morse boundary.


title: Quantum-controlled cluster states

abstract: Quantum optical cluster states have been increasingly explored, in the light of their importance for measurement-based quantum computing. Here we set forth a new method for generating quantum controlled cluster states: pumping an optical parametric oscillator with spatially structured light. We show that state-of-the-art techniques for producing clusters in the spectral and temporal domains are improved by a structured light pump, which manipulates the spatial mode couplings in the parametric interaction. We illustrate the method considering a second-order pump structure, and show that a simple mode rotation yields different cluster states, including, but not limited to the two-dimensional square and hexagonal lattices. We also introduce a novel technique for generating non-uniform cluster states, and propose a simple setup for its implementation.


title: The magnetic behaviour of Dy$_2$Ir$_2$O$_7$ -- beyond the mean field approximation

abstract: The magnetic properties of a pyrochlore iridate Dy$_2$Ir$_2$O$_7$ prepared by the CsCl flux method were investigated by means of specific heat and magnetization measurements. The low temperature behaviour was confirmed to be consistent with previously published results, whereas the high temperature data and their analysis are presented for the first time. At 128 K, a bifurcation of magnetization measured under zero field cooled and field cooled regimes coincides with an onset of the anomaly in specific heat pointing to an ordering of the iridium sublattice. Further, our high-temperature magnetization and specific heat data are interpreted in the frame of the previously determined crystal field scheme for Dy$_2$Ir$_2$O$_7$. The difference between calculations and experimental data, represented by 20 K specific heat anomaly, suggests the behaviour of studied iridate beyond the mean field approximation. This is in contrast with the rest of the heavy rare-earth pyrochlore iridates, where the mean field approximation constitutes an adequate description.


title: Inferring the spread of COVID-19: the role of time-varying reporting rate in epidemiological modelling

abstract: The role of epidemiological models is crucial for informing public health officials during a public health emergency, such as the COVID-19 pandemic. However, traditional epidemiological models fail to capture the time-varying effects of mitigation strategies and do not account for under-reporting of active cases, thus introducing bias in the estimation of model parameters. To infer more accurate parameter estimates and to reduce the uncertainty of these estimates, we extend the SIR and SEIR epidemiological models with two time-varying parameters that capture the transmission rate and the rate at which active cases are reported to health officials. Using two real data sets of COVID-19 cases, we perform Bayesian inference via our SIR and SEIR models with time-varying transmission and reporting rates and via their standard counterparts with constant rates; our approach provides parameter estimates with more realistic interpretation, and one-week ahead predictions with reduced uncertainty. Furthermore, we find consistent under-reporting in the number of active cases in the data that we consider, suggesting that the initial phase of the pandemic was more widespread than previously reported.


title: Matrix products of binomial coefficients and unsigned Stirling numbers

abstract: We study sums of the form $\sum_{k=m}^n a_{nk} b_{km}$, where $a_{nk}$ and $b_{km}$ are binomial coefficients or unsigned Stirling numbers. In a few cases they can be written in closed form. Failing that, the sums still share many common features: combinatorial interpretations, Pascal-like recurrences, inverse relations with their signed versions, and interpretations as coefficients of change between polynomial bases.


title: Single Production of Vectorlike Y Quarks at the HL-LHC

abstract: We study single production of exotic vectorlike $Y$ quark with electric charge $|Q_{Y}|=4/3$ and its subsequent decay at the High Luminosity LHC (HL-LHC). Most of the vector like quark (VLQ) decays have the electroweak $W$ bosons in the intermediate state. Besides their direct productions singly or pairs, the $W$-bosons are involved in decay chains as a result of the decay of a top quark which contributes to the background. This is particularly the case since vectorlike $Y$ quark, which is estimated to be produced with a high cross-section, can only decay via a $W$ boson and a down type quark ($d,s,b$). We calculate the cross sections of signal (for different couplings and mass values) and relevant Standard Model (SM) backgrounds. After a fast simulation of signal and background events, estimations of the sensitivity to the parameters (mass range 1000-2500 GeV for coupling value $\kappa_{Y}=0.5$, and mass range 500-2000 GeV for coupling values $\kappa_{Y}=0.3$ and $\kappa_{Y}=0.15$) have been presented at the HL-LHC with center of mass energy $\sqrt{s}=14$ TeV and integrated luminosity projections of 300 fb$^{-1}$, 1000 fb$^{-1}$ and 3000 fb$^{-1}$.


title: From Hertzsprung's problem to pattern-rewriting systems

abstract: Drawing on a problem posed by Hertzsprung in 1887, we say that a given permutation $\pi\in\mathcal{S}_n$ contains the Hertzsprung pattern $\sigma\in\mathcal{S}_k$ if there is factor $\pi(d+1)\pi(d+2)\cdots\pi(d+k)$ of $\pi$ such that $\pi(d+1)-\sigma(1) =\cdots = \pi(d+k)-\sigma(k)$. Using a combination of the Goulden-Jackson cluster method and the transfer-matrix method we determine the joint distribution of occurrences of any set of (incomparable) Hertzsprung patterns, thus substantially generalizing earlier results by Jackson et al. on the distribution of ascending and descending runs in permutations. We apply our results to the problem of counting permutations up to pattern-replacement equivalences, and using pattern-rewriting systems -- a new formalism similar to the much studied string-rewriting systems -- we solve a couple of open problems raised by Linton et al. in 2012.


title: The Fate of Shear-Oscillated Amorphous Solids

abstract: The behavior of shear-oscillated amorphous materials is studied using a coarse-grained model. Samples are prepared at different degrees of annealing and then subject to athermal and quasistatic oscillatory deformations at various fixed amplitudes. The steady-state reached after several oscillations is fully determined by the initial preparation and the oscillation amplitude, as seen from stroboscopic stress and energy measurements. Under small oscillations, poorly annealed materials display shear-annealing, while ultra-stabilized materials are insensitive to them. Yet, beyond a critical oscillation amplitude, both kind of materials display a discontinuous transition to the same mixed state composed by a fluid shear-band embedded in a marginal solid. Quantitative relations between uniform shear and the steady-state reached with this protocol are established. The transient regime characterizing the growth and the motion of the shear band is also studied.


title: VTXO: The Virtual Telescope for X-ray Observations

abstract: The Virtual Telescope for X-ray Observations (VTXO) will use lightweight Phase Fresnel Lenses (PFLs) in a virtual X-ray telescope with $\sim$1 km focal length and with $\sim$50 milli-arcsecond angular resolution. VTXO is formed by using precision formation flying of two SmallSats: a smaller OpticsSat that houses the PFLs and navigation beacons while a larger DetectorSat contains an X-ray camera, a precision start tracker, and the propulsion for the formation flying. The baseline flight dynamics uses a highly elliptical supersynchronous orbit allow the formation to hold in an inertial frame around the 90,000 km apogee for 10 hours of the 32.5 hour orbit with nearly a year mission lifetime. VTXO's fine angular resolution enables measuring the environments close to the central engines of bright compact X-ray sources. This X-ray imaging capability allows for the study of the effects of dust scattering near to the central objects such as Cyg X-3 and GX 5-1, for the search for jet structure near to the compact object in X-ray novae such as Cyg X-1 and GRS 1915+105, and for the search for structure in the termination shock of in the Crab pulsar wind nebula. The VTXO SmallSat and instrument designs, mission parameters, and science performance are described. VTXO development was supported as one of the selected 2018 NASA Astrophysics SmallSat Study (AS$^3$) missions.


title: Quantum Transport in a Crystal With Short-Range Interactions: The Boltzmann-Grad Limit

abstract: We study the macroscopic transport properties of the quantum Lorentz gas in a crystal with short-range potentials, and show that in the Boltzmann-Grad limit the quantum dynamics converges to a random flight process which is not compatible with the linear Boltzmann equation. Our derivation relies on a hypothesis concerning the statistical distribution of lattice points in thin domains, which is closely related to the Berry-Tabor conjecture in quantum chaos.


title: Learning Sparsity and Block Diagonal Structure in Multi-View Mixture Models

abstract: Scientific studies increasingly collect multiple modalities of data to investigate a phenomenon from several perspectives. In integrative data analysis it is important to understand how information is heterogeneously spread across these different data sources. To this end, we consider a parametric clustering model for the subjects in a multi-view data set (i.e. multiple sources of data from the same set of subjects) where each view marginally follows a mixture model. In the case of two views, the dependence between them is captured by a cluster membership matrix parameter and we aim to learn the structure of this matrix (e.g. the zero pattern). First, we develop a penalized likelihood approach to estimate the sparsity pattern of the cluster membership matrix. For the specific case of block diagonal structures, we develop a constrained likelihood formulation where this matrix is constrained to be block diagonal up to permutations of the rows and columns. To enforce block diagonal constraints we propose a novel optimization approach based on the symmetric graph Laplacian. We demonstrate the performance of these methods through both simulations and applications to data sets from cancer genetics and neuroscience. Both methods naturally extend to multiple views.


title: Nonlinear effects in locally-resonant nanostrip phononic metasurface at GHz frequencies

abstract: In this paper, we report on the observation of nonlinear effects in a nanostrip phononic metasurface (NPM) that enable the tuning of resonance frequencies at 1.42 GHz. The NPM resonator made of periodic nanostrip array is fabricated on a lithium niobate substrate. Each of the nanostrip is 250-nm wide and is made of 680-nm-thick SiO2 layer stacking on 50-nm Al metal electrodes. Finite element analysis reveals that the device operates in a vertically polarized (compression) mode with substantial acoustic energy confined in the nanostrips, leading to a local resonance at low acoustic velocity. Due to the nonlinearity, the resonance frequency of the device decreases quadratically with the increase of stimulation power from 10 to 30 dBm. The underlying mechanism of the nonlinearity is found to be the power-dependent coupling of the adjacent nanostrips. This coupling induces softening of the substrate surface region, which reduces the acoustic velocity and hence the bulk radiation. As a result, the quality factor of the NPM resonator is found to improve with the increase of stimulation power. The power-dependent coupling of nanostrips in the NPM resonator demonstrates a reliable method for the realization of nonlinearity in phononic metasurfaces, which would significantly enrich the mechanisms for the manipulation of surface acoustic waves at high frequencies.


title: Hecke-Langlands Duality and Witten's Gravitational Moonshine

abstract: We show that there is a dual description of conformal blocks of $d=2$ rational CFT in terms of Hecke eigenfields and eigensheaves. In particular, partition functions, conformal characters and lattice theta functions may be reconstructed from the action of Hecke operators. This method can be applied to: 1) rings of integers of Galois number fields equipped with the trace (or anti-trace) form; 2) root lattices of affine Kac-Moody algebras and WZW-models; 3) minimal models of Belavin-Polyakov-Zamolodchikov and related $d=2$ spin-chain/lattice models; 4) vertex algebras of Leech and Niemeier lattices and others. We also use the original Witten's idea to construct the 3-dimensional quantum gravity as the AdS/CFT-dual of $c=24$ Monster vertex algebra of Frenkel-Lepowsky-Meurman. Concerning the geometric Langlands duality, we use results of Beilinson-Drinfeld, Frenkel-Ben-Zvi, Gukov-Kapustin-Witten and many others (cf. references).


title: Testing the general theory of relativity using gravitational wave propagation from dark standard sirens

abstract: Alternative theories of gravity predict modifications in the propagation of gravitational waves (GW) through space-time. One of the smoking-gun predictions of such theories is the change in the GW luminosity distance to GW sources as a function of redshift relative to the electromagnetic (EM) luminosity distance expected from EM probes. We propose a multi-messenger test of the theory of general relativity from the propagation of gravitational waves by combining EM and GW observations to resolve these issues from GW sources without EM counterparts (which are also referred to as dark standard sirens). By using the relation between the geometric distances accessible from baryon acoustic oscillation measurements, and luminosity distance measurements from the GW sources, we can measure any deviation from the general theory of relativity via the GW sources of unknown redshift that will be detectable by networks of GW detectors such as LIGO, Virgo, and KAGRA. Using this technique, the fiducial value of the frictional term can be measured to a precision $\Xi_0=0.98^{+0.04}_{-0.23}$ after marginalizing over redshift dependence, cosmological parameters, and GW bias parameters with $\sim 3500$ dark standard sirens of masses $30\,\rm M_\odot$ each distributed up to redshift $z=0.5$. For a fixed redshift dependence, a value of $\Xi_0=0.99^{+0.02}_{-0.02}$ can be measured with a similar number of dark sirens. Application of our methodology to the far more numerous dark standard sirens detectable with next generation GW detectors, such as LISA, Einstein Telescope and Cosmic Explorer, will allow achievement of higher accuracy than possible from use of bright standard sirens.


title: Eternally non-Markovian dynamics of a qubit interacting with a single-photon wavepacket

abstract: An evolution of a two-level system (qubit) interacting with a single-photon wave packet is analyzed. It is shown that a hierarchy of master equations gives rise to phase covariant qubit evolution. The temporal correlations in the input field induce nontrivial memory effects for the evolution of a qubit. It is shown that in the resonant case whenever time-local generator is regular (does not display singularities) the qubit evolution never displays information backflow. However, in general the generator might be highly singular leading to intricate non-Markovian effects. A detailed analysis of the exponential profile is provided which allows to illustrate all characteristic feature of the qubit evolution.