title: Exploring CTC Based End-to-End Techniques for Myanmar Speech Recognition

abstract: In this work, we explore a Connectionist Temporal Classification (CTC) based end-to-end Automatic Speech Recognition (ASR) model for the Myanmar language. A series of experiments is presented on the topology of the model in which the convolutional layers are added and dropped, different depths of bidirectional long short-term memory (BLSTM) layers are used and different label encoding methods are investigated. The experiments are carried out in low-resource scenarios using our recorded Myanmar speech corpus of nearly 26 hours. The best model achieves character error rate (CER) of 4.72% and syllable error rate (SER) of 12.38% on the test set.


title: Cosmological Geometric Phase From Pure Quantum States: A study without/with having Bell's inequality violation

abstract: In this paper, using the concept of Lewis Riesenfeld invariant quantum operator method for finding continuous eigenvalues of quantum mechanical wave functions we derive the analytical expressions for the cosmological geometric phase, which is commonly identified to be the Pancharatnam Berry phase from primordial cosmological perturbation scenario. We compute this cosmological geometric phase from two possible physical situations,(1) In the absence of Bell's inequality violation and (2) In the presence of Bell's inequality violation having the contributions in the sub Hubble region ($-k\tau\gg 1$), super Hubble region ($-k\tau\ll 1$) and at the horizon crossing point ($-k\tau= 1$) for massless field ($m/{\cal H}\ll 1$), partially massless field ($m/{\cal H}\sim 1$) and massive/heavy field ($m/{\cal H}\gg 1$), in the background of quantum field theory of spatially flat quasi De Sitter geometry. The prime motivation for this work is to investigate the various unknown quantum mechanical features of primordial universe. To give the realistic interpretation of the derived theoretical results we express everything initially in terms of slowly varying conformal time dependent parameters, and then to connect with cosmological observation we further express the results in terms of cosmological observables, which are spectral index/tilt of scalar mode power spectrum ($n_{\zeta}$) and tensor-to-scalar ratio ($r$). Finally, this identification helps us to provide the stringent numerical constraints on the Pancharatnam Berry phase, which confronts well with recent cosmological observation.

categories: gr-qc astro-ph.CO cond-mat.other hep-th quant-ph


title: Machine Assistance for Credit Card Approval? Random Wheel can Recommend and Explain

abstract: Approval of credit card application is one of the censorious business decision the bankers are usually taking regularly. The growing number of new card applications and the enormous outstanding amount of credit card bills during the recent pandemic make this even more challenging nowadays. Some of the previous studies suggest the usage of machine intelligence for automating the approval process to mitigate this challenge. However, the effectiveness of such automation may depend on the richness of the training dataset and model efficiency. We have recently developed a novel classifier named random wheel which provides a more interpretable output. In this work, we have used an enhanced version of random wheel to facilitate a trustworthy recommendation for credit card approval process. It not only produces more accurate and precise recommendation but also provides an interpretable confidence measure. Besides, it explains the machine recommendation for each credit card application as well. The availability of recommendation confidence and explanation could bring more trust in the machine provided intelligence which in turn can enhance the efficiency of the credit card approval process.


title: Federated Learning with Unreliable Clients: Performance Analysis and Mechanism Design

abstract: Owing to the low communication costs and privacy-promoting capabilities, Federated Learning (FL) has become a promising tool for training effective machine learning models among distributed clients. However, with the distributed architecture, low quality models could be uploaded to the aggregator server by unreliable clients, leading to a degradation or even a collapse of training. In this paper, we model these unreliable behaviors of clients and propose a defensive mechanism to mitigate such a security risk. Specifically, we first investigate the impact on the models caused by unreliable clients by deriving a convergence upper bound on the loss function based on the gradient descent updates. Our theoretical bounds reveal that with a fixed amount of total computational resources, there exists an optimal number of local training iterations in terms of convergence performance. We further design a novel defensive mechanism, named deep neural network based secure aggregation (DeepSA). Our experimental results validate our theoretical analysis. In addition, the effectiveness of DeepSA is verified by comparing with other state-of-the-art defensive mechanisms.


title: Evolution of matter fields in black holes with Lifshitz symmetry

abstract: In this work the evolution of two fields of matter in planar symmetric black holes D-dimensional with symmetry of Lifshitz whose dynamic exponent is $z$ were analyzed. The fields investigated were a scalar field non-minimal coupled to the Einstein tensor and the Ricci scalar and the electromagnetic field. Two black holes were chosen, one with 5-dimensions and z=1 and another with 6-dimensions and $z=0$. The equations of motion for both fields were developed in general and applied to each black hole mentioned. In some cases exact solutions of the equations were obtained in terms of hypergeometric functions and confluent Heun functions. The quasinormal modes (MQN) of evolution of the analyzed fields were calculated numerically using two different approaches: HH and AIM. In all the black holes studied the NSM's did not indicate instabilities neither regarding the couplings nor the space-times. In general, the quasinormal modes behave like the oscillation modes of a damped harmonic oscillator, presenting three regimes: underdamped $(\omega_R \neq0, \omega_I <0) $, critically damped $ (\omega_R=0,\omega_I^{crit} <0) $ and overdamped $ (\omega_R=0,\omega_I <0) $. In the analyzed cases an interesting behavior was found for $\omega_I $ when $ k \neq0 $ and $ r_+<10 $. In general, $\omega_I $ increase with $k$, but here we find a quadratic growth for $ k\sim r_+$ and then a decrease when $k>>r_+$. This behavior may be relevant in the context of gravity/gauge duality. Additionally, we also analyzed the evolution of the same fields in two black holes with symmetry of Lifshtiz in $ 2 + 1 $ dimensions.


title: On the backward problems in time for time-fractional subdiffusion equations

abstract: The backward problem for subdiffusion equation with the fractional Riemann-Liouville time-derivative of order ? 2 (0; 1) and an arbitrary positive self-adjoint operator A is considered. This problem is ill-posed in the sense of Hadamard due to the lack of stability of the solution. Nevertheless, we will show that if we consider sufficiently smooth current information, then the solution exists and it is unique. Using this result, we study the inverse problem of initial value identification for subdiffusion equation. The results obtained differ significantly from the corresponding results for the classical diffusion equation (i.e. ? = 1) and even for the subdiffusion equation with the Caputo derivative. A list of examples of operator A is discussed, including linear systems of fractional differential equations, differential models with involution, fractional Sturm-Liouville operators, and many others.


title: The isotropic attractor solution of axion-SU(2) inflation: Universal isotropization in Bianchi type-I geometry

abstract: SU(2) gauge fields coupled to an axion field can acquire an isotropic background solution during inflation. We study homogeneous but anisotropic inflationary solutions in the presence of such (massless) gauge fields. A gauge field in the cosmological background may pose a threat to spatial isotropy. We show, however, that such models $\textit{generally}$ isotropize in Bianchi type-I geometry, and the isotropic solution is the attractor. Restricting the setup by adding an axial symmetry, we revisited the numerical analysis presented in Wolfson et.al (2020). We find that the reported numerical breakdown in the previous analysis is an artifact of parametrization singularity. We use a new parametrization that is well-defined all over the phase space. We show that the system respects the cosmic no-hair conjecture and the anisotropies always dilute away within a few e-folds.


title: Numerical Modelling of Neutral Boundary-Layer Flow across a Forested Ridge

abstract: Forest canopies have been shown to alter the dynamics of flows over complex terrain. Deficiencies have been found when tall canopies are represented in numerical simulations by an increase in roughness length at the surface. Methods of explicitly modelling a forest canopy are not commonly available in community numerical weather prediction models. In this work, such a method is applied to the community Weather Research and Forecasting model. Simulations are carried out to replicate a wind-tunnel experiment of neutral boundary-layer flow across a forested ridge. It is shown that features of the flow, such as the separated region on the lee slope of the ridge, are reproduced by the roughness length or canopy model methods. Shear at the top of the ridge generates turbulence that spreads vertically as the flow moves downstream in both cases, but is elevated to canopy top where a canopy model is used. The roughness-length approach is shown to suffer several deficiencies, such as an over-prediction of mean wind-speeds, a lack of turbulence over flat forested ground and an insufficient vertical extent of turbulence at all locations of the domain studied. Sensitivity to the horizontal resolution of the simulation is explored. It is found that higher resolution simulations improve reproduction of the mean flow when modelling the canopy explicitly. However, higher resolutions do not provide improvements for the roughness-length case and lead to a reduction in the horizontal extent of the separated region of flow on the lee slope of the ridge.


title: Investigation of exotic state X(3872) in $pp$ collisions at $\sqrt{s}=$7 and 13 TeV

abstract: We have used the dynamically constrained phase space coalescence model to study the production of the exotic state $X(3872)$ based on the hadronic final states generated by the parton and hadron cascade model (PACIAE) with $|y|<1$ and $p_T < 15.5$ GeV/c in $pp$ collisions at $\sqrt{s}=7$ and 13 TeV, respectively. Here the $X(3872)$ is assumed to consist of bound state $D\bar {D^*}$, which can form three possible structures for the tetraquark state, the nucleus-like state, and the molecular state. The yields of three different structures $X(3872)$ were predicted. The transverse momentum distribution and the rapidity distribution of three different structures $X(3872)$ are also presented. Sizable difference can be found in the transverse momentum and rapidity distributions for the three different $X(3872)$ structures.


title: The Coloniality of Data Work in Latin America

abstract: This presentation for the AIES 21 doctoral consortium examines the Latin American crowdsourcing market through a decolonial lens. This research is based on the analysis of the web traffic of ninety-three platforms, interviews with Venezuelan data workers of four platforms, and the analysis of the documentation issued by these organizations. The findings show that (1) centuries-old global divisions of labor persist, in this case, with requesters located in advanced economies and workers in the Global South. (2) That the platforms' configuration of the labor process constrains the agency of these workers when producing annotations. And, (3) that ideologies originating from the Global North serve to legitimize and reinforce this global labor market configuration.


title: A Report on the Cost of Data Privacy

abstract: As our lives migrate to the digital realm, our online identity has evolved to become an increasingly robust collection of data about every aspect of our online and offline lives. This data is extremely appealing to companies who wish to use it for a variety of analytics. In this report, we create awareness for the consumers around the world who have only a vague understanding of how much of their data is being tracked, where, when, and by which companies.


title: Do We Expect More from Radiology AI than from Radiologists?

abstract: What we expect from radiology AI algorithms will shape the selection and implementation of AI in the radiologic practice. In this paper I consider prevailing expectations of AI and compare them to expectations that we have of human readers. I observe that the expectations from AI and radiologists are fundamentally different. The expectations of AI are based on a strong and justified mistrust about the way that AI makes decisions. Because AI decisions are not well understood, it is difficult to know how the algorithms will behave in new, unexpected situations. However, this mistrust is not mirrored in our expectations of human readers. Despite well-proven idiosyncrasies and biases in human decision making, we take comfort from the assumption that others make decisions in a way as we do, and we trust our own decision making. Despite poor ability to explain decision making processes in humans, we accept explanations of decisions given by other humans. Because the goal of radiology is the most accurate radiologic interpretation, our expectations of radiologists and AI should be similar, and both should reflect a healthy mistrust of complicated and partially opaque decision processes undergoing in computer algorithms and human brains. This is generally not the case now.


title: Lattice simulation of $(2+1)D$ phonetic solitons and the Renormalization group

abstract: The outline of lattice simulations of $(2+1)D$ soliton-propagations in the background of Weyl spinors is presented. Clifford algebra is applied on Luescher's domain decomposition method. The Clifford algebra shows that there are loop parts and interpolating surface parts in the Wilson's lattice action. We adopt the Migdal-Kadanoff prescription and the fixed point action in momentum space of Benfatto and Gallavotti, and shows a road map for simulating phonetic solitons in materials. Detections of topological anomalies (APS index) in nondestructive testing are discussed.


title: LANA: Towards Personalized Deep Knowledge Tracing Through Distinguishable Interactive Sequences

abstract: In educational applications, Knowledge Tracing (KT), the problem of accurately predicting students' responses to future questions by summarizing their knowledge states, has been widely studied for decades as it is considered a fundamental task towards adaptive online learning. Among all the proposed KT methods, Deep Knowledge Tracing (DKT) and its variants are by far the most effective ones due to the high flexibility of the neural network. However, DKT often ignores the inherent differences between students (e.g. memory skills, reasoning skills, ...), averaging the performances of all students, leading to the lack of personalization, and therefore was considered insufficient for adaptive learning. To alleviate this problem, in this paper, we proposed Leveled Attentive KNowledge TrAcing (LANA), which firstly uses a novel student-related features extractor (SRFE) to distill students' unique inherent properties from their respective interactive sequences. Secondly, the pivot module was utilized to dynamically reconstruct the decoder of the neural network on attention of the extracted features, successfully distinguishing the performance between students over time. Moreover, inspired by Item Response Theory (IRT), the interpretable Rasch model was used to cluster students by their ability levels, and thereby utilizing leveled learning to assign different encoders to different groups of students. With pivot module reconstructed the decoder for individual students and leveled learning specialized encoders for groups, personalized DKT was achieved. Extensive experiments conducted on two real-world large-scale datasets demonstrated that our proposed LANA improves the AUC score by at least 1.00% (i.e. EdNet 1.46% and RAIEd2020 1.00%), substantially surpassing the other State-Of-The-Art KT methods.


title: A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective

abstract: Artificial Intelligence (AI) and the regulation thereof is a topic that is increasingly being discussed within various fora. Various proposals have been made in literature for defining regulatory bodies and/or related regulation. In this paper, we present a pragmatic approach for providing a technology assurance regulatory framework. To the best knowledge of the authors this work presents the first national AI technology assurance legal and regulatory framework that has been implemented by a national authority empowered through law to do so. In aim of both providing assurances where required and not stifling innovation yet supporting it, herein it is proposed that such regulation should not be mandated for all AI-based systems and that rather it should primarily provide a voluntary framework and only be mandated in sectors and activities where required and as deemed necessary by other authorities for regulated and critical areas.


title: Intelligence and Unambitiousness Using Algorithmic Information Theory

abstract: Algorithmic Information Theory has inspired intractable constructions of general intelligence (AGI), and undiscovered tractable approximations are likely feasible. Reinforcement Learning (RL), the dominant paradigm by which an agent might learn to solve arbitrary solvable problems, gives an agent a dangerous incentive: to gain arbitrary "power" in order to intervene in the provision of their own reward. We review the arguments that generally intelligent algorithmic-information-theoretic reinforcement learners such as Hutter's (2005) AIXI would seek arbitrary power, including over us. Then, using an information-theoretic exploration schedule, and a setup inspired by causal influence theory, we present a variant of AIXI which learns to not seek arbitrary power; we call it "unambitious". We show that our agent learns to accrue reward at least as well as a human mentor, while relying on that mentor with diminishing probability. And given a formal assumption that we probe empirically, we show that eventually, the agent's world-model incorporates the following true fact: intervening in the "outside world" will have no effect on reward acquisition; hence, it has no incentive to shape the outside world.


title: SciNote: Collaborative Problem Solving and Argumentation Tool

abstract: As educators push for students to learn science by doing science, there is a need for computational scaffolding to assist students' evaluation of scientific evidence and argument building. In this paper, we present a pilot study of SciNote, a CSCL tool allowing educators to integrate third-party software into a flexible and collaborative workspace. We explore how SciNote enables teams to build data-driven arguments during inquiry-based learning activities.


title: Group Feature Learning and Domain Adversarial Neural Network for aMCI Diagnosis System Based on EEG

abstract: Medical diagnostic robot systems have been paid more and more attention due to its objectivity and accuracy. The diagnosis of mild cognitive impairment (MCI) is considered an effective means to prevent Alzheimer's disease (AD). Doctors diagnose MCI based on various clinical examinations, which are expensive and the diagnosis results rely on the knowledge of doctors. Therefore, it is necessary to develop a robot diagnostic system to eliminate the influence of human factors and obtain a higher accuracy rate. In this paper, we propose a novel Group Feature Domain Adversarial Neural Network (GF-DANN) for amnestic MCI (aMCI) diagnosis, which involves two important modules. A Group Feature Extraction (GFE) module is proposed to reduce individual differences by learning group-level features through adversarial learning. A Dual Branch Domain Adaptation (DBDA) module is carefully designed to reduce the distribution difference between the source and target domain in a domain adaption way. On three types of data set, GF-DANN achieves the best accuracy compared with classic machine learning and deep learning methods. On the DMS data set, GF-DANN has obtained an accuracy rate of 89.47%, and the sensitivity and specificity are 90% and 89%. In addition, by comparing three EEG data collection paradigms, our results demonstrate that the DMS paradigm has the potential to build an aMCI diagnose robot system.


title: Boundary Lipschitz regularity of solutions for semilinear elliptic equations in divergence form

abstract: In this paper, we consider the pointwise boundary Lipschitz regularity of solutions for the semilinear elliptic equations in divergence form mainly under some weaker assumptions on nonhomogeneous term and the boundary. If the domain satisfies C^{1,\text{Dini}} condition at a boundary point, and the nonhomogeneous term satisfies Dini continuous condition and Lipschitz Newtonian potential condition, then the solution is Lipschitz continuous at this point. Furthermore, we generalize this result to Reifenberg C^{1,\text{Dini}} domains.


title: Outage Constrained Robust Secure Beamforming in Cognitive Satellite-Aerial Networks

abstract: This paper proposes a robust beamforming scheme to enhance the physical layer security (PLS) of multicast transmission in a cognitive satellite and aerial network (CSAN) operating in the millimeter wave frequency band. Based on imperfect channel state information (CSI) of both eavesdroppers (Eves) and primary users (PUs), we maximize the minimum achievable secrecy rate (ASR) of the secondary users (SUs) in the aerial network under the constraints of the interference to the PUs in the satellite network, the quality of service (QoS) requirements of the SUs and per-antenna power budget of the aerial platform. To tackle this mathematically intractable problem, we first introduce an auxiliary variable and outage constraints to simplify the complex objective function. We then convert the non-convex outage constraints into deterministic forms and adopt penalty function approach to obtain a semi-definite problem such that it can be solved in an iterative fashion. Finally, simulation results show that with the transmit power increase, the minimal ASR of SUs obtained from the proposed BF scheme well approximate the optimal value.


title: On Lat-Igusa-Todorov algebras

abstract: Lat-Igusa-Todorov algebras are a natural generalization of Igusa-Todorov algebras. They are defined using the generalized Igusa-Todorov functions given in \cite{BLMV} and also verify the finitistic dimension conjecture. In this article we give new ways to construct examples of Lat-Igusa-Todorov algebras. On the other hand we show an example of a family of algebras that are not Lat-Igusa-Todorov.


title: Measuring concurrence in qubit Werner states without aligned reference frame

abstract: The genuine concurrence is a standard quantifier of multipartite entanglement, detection and quantification of which still remains a difficult problem from both theoretical and experimental point of view. Although many efforts have been devoted toward the detection of multipartite entanglement (e.g., using entanglement witnesses), measuring the degree of multipartite entanglement, in general, requires some knowledge about an exact shape of a density matrix of the quantum state. An experimental reconstruction of such density matrix can be done by full state tomography which amounts to having the distant parties share a common reference frame and well calibrated devices. Although this assumption is typically made implicitly in theoretical works, establishing a common reference frame, as well as aligning and calibrating measurement devices in experimental situations are never trivial tasks. It is therefore an interesting and important question whether the requirements of having a shared reference frame and calibrated devices can be relaxed. In this work we study both theoretically and experimentally the genuine concurrence for the generalized Greenberger-Horne-Zeilinger states under randomly chosen measurements on a single qubits without a shared frame of reference and calibrated devices. We present the relation between genuine concurrence and so-called nonlocal volume, a recently introduced indicator of nonlocality.


title: A Methodology for the Offline Evaluation of Recommender Systems in a User Interface with Multiple Carousels

abstract: Many video-on-demand and music streaming services provide the user with a page consisting of several recommendation lists, i.e. widgets or swipeable carousels, each built with a specific criterion (e.g. most recent, TV series, etc.). Finding efficient strategies to select which carousels to display is an active research topic of great industrial interest. In this setting, the overall quality of the recommendations of a new algorithm cannot be assessed by measuring solely its individual recommendation quality. Rather, it should be evaluated in a context where other recommendation lists are already available, to account for how they complement each other. This is not considered by traditional offline evaluation protocols. Hence, we propose an offline evaluation protocol for a carousel setting in which the recommendation quality of a model is measured by how much it improves upon that of an already available set of carousels. We report experiments on publicly available datasets on the movie domain and notice that under a carousel setting the ranking of the algorithms change. In particular, when a SLIM carousel is available, matrix factorization models tend to be preferred, while item-based models are penalized. We also propose to extend ranking metrics to the two-dimensional carousel layout in order to account for a known position bias, i.e. users will not explore the lists sequentially, but rather concentrate on the top-left corner of the screen.


title: Doubling inequality at the boundary for the Kirchhoff-Love plate's equation with supported conditions

abstract: In this article we derive a doubling inequality at the boundary for solutions to the Kirchhoff-Love isotropic plate's equation satisfying supported boundary conditions. To this end, we combine the use of a suitable conformal mapping which flattens the boundary and a reflection argument which guarantees the needed regularity of the extended solution. We finally apply inequalities of Carleman type in order to derive the result. The latter implies Strong Unique Continuation Property at the boundary (SUCPB).


title: CVD bilayer graphene spin valves with 26 $\mu$m spin diffusion length at room temperature

abstract: We present inverted spin-valves fabricated from CVD-grown bilayer graphene (BLG) that show more than a doubling in device performance at room temperature compared to state-of-the art bilayer graphene spin-valves. This is made possible by a PDMS droplet-assisted full-dry transfer technique that compensates for previous process drawbacks in device fabrication. Gate-dependent Hanle measurements show spin lifetimes of up to 5.8 ns and a spin diffusion length of up to 26 $\mu$m at room temperature combined with a charge carrier mobility of $\approx$ 24 000 cm$^{2}$(Vs)$^{-1}$ for the best device. Our results demonstrate that CVD-grown BLG shows equally good room temperature spin transport properties as both CVD-graphene and even exfoliated single-layer graphene.


title: Modeling and Evaluation of Clustering Patient Care into Bubbles

abstract: COVID-19 has caused an enormous burden on healthcare facilities around the world. Cohorting patients and healthcare professionals (HCPs) into "bubbles" has been proposed as an infection-control mechanism. In this paper, we present a novel and flexible model for clustering patient care in healthcare facilities into bubbles in order to minimize infection spread. Our model aims to control a variety of costs to patients/residents and HCPs so as to avoid hidden, downstream adverse effects of clustering patient care. This model leads to a discrete optimization problem that we call the BubbleClustering problem. This problem takes as input a temporal visit graph, representing HCP mobility, including visits by HCPs to patient/resident rooms. The output of the problem is a rewired visit graph, obtained by partitioning HCPs and patient rooms into bubbles and rewiring HCP visits to patient rooms so that patient-care is largely confined to the constructed bubbles. Even though the BubbleClustering problem is intractable in general, we present an integer linear programming (ILP) formulation of the problem that can be solved optimally for problem instances that arise from typical hospital units and long-term-care facilities. We call our overall solution approach Cost-aware Rewiring of Networks (CoRN). We evaluate CoRN using fine-grained-movement data from a hospital-medical-intensive-care unit as well as two long-term-care facilities. These data were obtained using sensor systems we built and deployed. The main takeaway from our experimental results is that it is possible to use CoRN to substantially reduce infection spread by cohorting patients and HCPs without sacrificing patient-care, and with minimal excess costs to HCPs in terms of time and distances traveled during a shift.


title: HeCTOr: the $^3$He Cryogenic Target of Orsay for direct nuclear reactions with radioactive beams

abstract: Direct nuclear reactions with radioactive ion beams represent an extremely powerful tool to extend the study of fundamental nuclear properties far from stability. These measurements require pure and dense targets to cope with the low beam intensities. The $^3$He cryogenic target HeCTOr has been designed to perform direct nuclear reactions in inverse kinematics. The high density of $^3$He scattering centers, of the order of 10$^{20}$ atoms/cm$^2$, makes it particularly suited for experiments where low-intensity radioactive beams are involved. The target was employed in a first in-beam experiment, where it was coupled to state-of-the-art gamma-ray and particle detectors. It showed excellent stability in gas temperature and density over time. Relevant experimental quantities, such as total target thickness, energy resolution and gamma-ray absorption, were determined through dedicated Geant4 simulations and found to be in good agreement with experimental data.


title: Metallo-Dielectric Photonic Crystals and Bandgap Blue-Shift

abstract: One of the most appealing aspects of photonic crystal structures is the photonic bandgap created in structures with sufficiently high dielectric contrasts between constituent materials. Understanding how specific photonic crystal structures and their associated stopband positions can selectively interfere with incoming light is vital for implementing these structured dielectrics in a range of optical applications. Metallo-dielectric photonic crystals act to incorporate metal particles into the ordered arrangement of these structures. We examined copper, nickel and gold metal infiltration into polystyrene opals and TiO2 inverse opals. We report a consistent optical phenomena directly associated with the creation of metallo-dielectric photonic crystal structures. More pronounced and numerous diffraction resonances emerge in opal photonic crystals with a metal deposited across the top layer. Common to both opal and inverse opal structures, was a blue-shift in the position of the (111) photonic stopband which increased in magnitude with greater metal content in the structure. We investigate the origin of the photonic stopband blue-shift by variation of the metal content and the placement of metal in the photonic crystal structure. Metal introduced to structured dielectric media tunes the photonic stopband by altering the effective dielectric constant of the photonic crystal.


title: $3$-manifolds represented by $4$-regular graphs with three Eulerian cycles

abstract: We construct and study a new class $\mathscr{M}=\{\mathscr{M}_n\}_{n\ge 4}$ of compact hyperbolic $3$-manifolds with totally geodesic boundary. The members of $\mathscr{M}_n$ are defined via triples of pairwise compatible Eulerian cycles in $4$-regular $n$-vertex graphs. We show that each $M$ in $\mathscr{M}_n$ is of Matveev complexity $n$ and has a unique minimal ideal triangulation, which consists of $n$ tetrahedra. We exploit these properties to show that $n!\,4^n > |\mathscr{M}_n| > n!$ for each sufficiently large $n\in\mathbb{N}$.


title: Multiaccess Coded Caching with Private Demands

abstract: Recently Hachem et al. formulated a multiaccess coded caching model which consists of a central server connected to $K$ users via an error-free shared link, and $K$ cache-nodes. Each cache-node is equipped with a local cache and each user can access $L$ neighbouring cache-nodes with a cyclic wrap-around fashion. In this paper, we take the privacy of the users' demands into consideration, i.e., each user can only get its required file and can not get any information about the demands of other users. By storing some private keys at the cache-nodes, we propose a novel transformation approach to transform a non-private multiaccess coded caching scheme into a private multiaccess coded caching scheme.


title: Conformations and diffusion of flexibly linked colloidal chains

abstract: For biologically relevant macromolecules such as intrinsically disordered proteins, internal degrees of freedom that allow for shape changes have a large influence on both the motion and function of the compound. A detailed understanding of the effect of flexibility is needed in order to explain their behavior. Here, we study a model system of freely-jointed chains of three to six colloidal spheres, using both simulations and experiments. We find that in spite of their short lengths, their conformational statistics are well described by two-dimensional Flory theory, while their average translational and rotational diffusivity follow the Kirkwood-Riseman scaling. Their maximum flexibility does not depend on the length of the chain, but is determined by the near-wall in-plane translational diffusion coefficient of an individual sphere. Furthermore, we uncover shape-dependent effects in the short-time diffusivity of colloidal tetramer chains, as well as non-zero couplings between the different diffusive modes. Our findings may have implications for understanding both the diffusive behavior and the most likely conformations of macromolecular systems in biology and industry, such as proteins, polymers, single-stranded DNA and other chain-like molecules.


title: Ergodic Capacity of High Throughput Satellite Systems With Mixed FSO-RF Transmission

abstract: We study a high throughput satellite system, where the feeder link uses free-space optical (FSO) and the user link uses radio frequency (RF) communication. In particular, we first propose a transmit diversity using Alamouti space time block coding to mitigate the atmospheric turbulence in the feeder link. Then, based on the concept of average virtual signal-to-interference-plus-noise ratio and one-bit feedback, we propose a beamforming algorithm for the user link to maximize the ergodic capacity (EC). Moreover, by assuming that the FSO links follow the Malaga distribution whereas RF links undergo the shadowed-Rician fading, we derive a closed-form EC expression of the considered system. Finally, numerical simulations validate the accuracy of our theoretical analysis, and show that the proposed schemes can achieve higher capacity compared with the reference schemes.


title: Memory compression and thermal efficiency of quantum implementations of non-deterministic hidden Markov models

abstract: Stochastic modelling is an essential component of the quantitative sciences, with hidden Markov models (HMMs) often playing a central role. Concurrently, the rise of quantum technologies promises a host of advantages in computational problems, typically in terms of the scaling of requisite resources such as time and memory. HMMs are no exception to this, with recent results highlighting quantum implementations of deterministic HMMs exhibiting superior memory and thermal efficiency relative to their classical counterparts. In many contexts however, non-deterministic HMMs are viable alternatives; compared to them the advantages of current quantum implementations do not always hold. Here, we provide a systematic prescription for constructing quantum implementations of non-deterministic HMMs that re-establish the quantum advantages against this broader class. Crucially, we show that whenever the classical implementation suffers from thermal dissipation due to its need to process information in a time-local manner, our quantum implementations will both mitigate some of this dissipation, and achieve an advantage in memory compression.

categories: quant-ph cond-mat.stat-mech cs.IT cs.LG math.IT nlin.CD


title: The Spatial Power Spectrum and Derived Turbulent Properties of Isolated Galaxies

abstract: The turbulent dynamics of nearby and extragalactic gas structures can be studied with the column density power spectrum, which is often described by a broken power-law.In an extragalactic context, the breaks in the power spectra have been interpreted to constrain the disc scale height, which marks a transition from 2D disc-like to 3D motion. However, this interpretation has recently been questioned when accounting for instrumental effects. We use numerical simulations to study the spatial power spectra of isolated galaxies and investigate the origins of the break scale. We split the gas into various phases and analyze the time evolution of the power spectrum characteristics, such as the slope(s) and the break scale. We find that the break scale is phase dependent. The physics traced by the break scale also differ: in the warm gas it marks the transition from 2D (disk-like) to 3D (isotropic) turbulence. In the cold gas, the break scale traces the typical size of molecular clouds. We further show that the break scale almost never traces the disc scale height. We study turbulent properties of the ISM to show that, in the case where the break scale traces a transition to isotropic turbulence, the fraction of required accretion energy to sustain turbulent motions in the ISM increases significantly. Lastly, we demonstrate through simulated observations that it is crucial to account for observational effects, such as the beam and instrumental noise, in order to accurately recover the break scale in real observations.


title: Analysis of Busy-Time Scheduling on Heterogeneous Machines

abstract: This paper studies a generalized busy-time scheduling model on heterogeneous machines. The input to the model includes a set of jobs and a set of machine types. Each job has a size and a time interval during which it should be processed. Each job is to be placed on a machine for execution. Different types of machines have distinct capacities and cost rates. The total size of the jobs running on a machine must always be kept within the machine's capacity, giving rise to placement restrictions for jobs of various sizes among the machine types. Each machine used is charged according to the time duration in which it is busy, i.e., it is processing jobs. The objective is to schedule the jobs onto machines to minimize the total cost of all the machines used. We develop an $O(1)$-approximation algorithm in the offline setting and an $O(\mu)$-competitive algorithm in the online setting (where $\mu$ is the max/min job length ratio), both of which are asymptotically optimal.


title: Anomaly Detection via Controlled Sensing and Deep Active Inference

abstract: In this paper, we address the anomaly detection problem where the objective is to find the anomalous processes among a given set of processes. To this end, the decision-making agent probes a subset of processes at every time instant and obtains a potentially erroneous estimate of the binary variable which indicates whether or not the corresponding process is anomalous. The agent continues to probe the processes until it obtains a sufficient number of measurements to reliably identify the anomalous processes. In this context, we develop a sequential selection algorithm that decides which processes to be probed at every instant to detect the anomalies with an accuracy exceeding a desired value while minimizing the delay in making the decision and the total number of measurements taken. Our algorithm is based on active inference which is a general framework to make sequential decisions in order to maximize the notion of free energy. We define the free energy using the objectives of the selection policy and implement the active inference framework using a deep neural network approximation. Using numerical experiments, we compare our algorithm with the state-of-the-art method based on deep actor-critic reinforcement learning and demonstrate the superior performance of our algorithm.


title: A Scalable Algorithm for Anomaly Detection via Learning-Based Controlled Sensing

abstract: We address the problem of sequentially selecting and observing processes from a given set to find the anomalies among them. The decision-maker observes one process at a time and obtains a noisy binary indicator of whether or not the corresponding process is anomalous. In this setting, we develop an anomaly detection algorithm that chooses the process to be observed at a given time instant, decides when to stop taking observations, and makes a decision regarding the anomalous processes. The objective of the detection algorithm is to arrive at a decision with an accuracy exceeding a desired value while minimizing the delay in decision making. Our algorithm relies on a Markov decision process defined using the marginal probability of each process being normal or anomalous, conditioned on the observations. We implement the detection algorithm using the deep actor-critic reinforcement learning framework. Unlike prior work on this topic that has exponential complexity in the number of processes, our algorithm has computational and memory requirements that are both polynomial in the number of processes. We demonstrate the efficacy of our algorithm using numerical experiments by comparing it with the state-of-the-art methods.


title: Broken Pencils and Moving Rulers: After an unpublished book by Mitchell Feigenbaum

abstract: Mitchell Feigenbaum discovered an intriguing property of viewing images through cylindrical mirrors or looking into water. Because the eye is a lens with an opening of about 5mm, many different rays of reflected images reach the eye, and need to be interpreted by the visual system. This has the surprising effect that what one perceives depends on the orientation of the head, whether it is tilted or not. I explain and illustrate this phenomenon on the example of a human eye looking at a ruler immersed in water.

categories: physics.class-ph math-ph math.MP physics.optics


title: On the Monitorability of Session Types, in Theory and Practice (Extended Version)

abstract: In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the system's reliability is compromised. Furthermore, isolating and fixing protocol/API errors can be very difficult. Many methods have been proposed to check the correctness of communicating systems, ranging from compile-time to run-time verification; among such methods, session types have been applied for both static type-checking, and run-time monitoring. This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice. On the theoretical side, we develop a novel formal model of session-monitored processes; with it, we formulate and prove new results on the monitorability of session types, connecting their run-time and static verification - in terms of soundness (i.e., whether monitors only flag ill-typed processes) and completeness (i.e., whether all ill-typed processes can be flagged by a monitor). On the practical side, we show that our monitoring theory is indeed realisable: building upon our formal model, we develop a Scala toolkit for the automatic generation of session monitors. Our executable monitors can be used to instrument black-box processes written in any programming language; we assess the viability of our approach with a series of benchmarks.


title: A one-armed CNN for exoplanet detection from light curves

abstract: We propose Genesis, a one-armed simplified Convolutional Neural Network (CNN)for exoplanet detection, and compare it to the more complex, two-armed CNN called Astronet. Furthermore, we examine how Monte Carlo cross-validation affects the estimation of the exoplanet detection performance. Finally, we increase the input resolution twofold to assess its effect on performance. The experiments reveal that (i)the reduced complexity of Genesis, i.e., a more than 95% reduction in the number of free parameters, incurs a small performance cost of about 0.5% compared to Astronet, (ii) Monte Carlo cross-validation provides a more realistic performance estimate that is almost 0.7% below the original estimate, and (iii) the twofold increase in input resolution decreases the average performance by about 0.5%. We conclude by arguing that further exploration of shallower CNN architectures may be beneficial in order to improve the generalizability of CNN-based exoplanet detection across surveys.


title: Electrocardio Panorama: Synthesizing New ECG Views with Self-supervision

abstract: Multi-lead electrocardiogram (ECG) provides clinical information of heartbeats from several fixed viewpoints determined by the lead positioning. However, it is often not satisfactory to visualize ECG signals in these fixed and limited views, as some clinically useful information is represented only from a few specific ECG viewpoints. For the first time, we propose a new concept, Electrocardio Panorama, which allows visualizing ECG signals from any queried viewpoints. To build Electrocardio Panorama, we assume that an underlying electrocardio field exists, representing locations, magnitudes, and directions of ECG signals. We present a Neural electrocardio field Network (Nef-Net), which first predicts the electrocardio field representation by using a sparse set of one or few input ECG views and then synthesizes Electrocardio Panorama based on the predicted representations. Specially, to better disentangle electrocardio field information from viewpoint biases, a new Angular Encoding is proposed to process viewpoint angles. Also, we propose a self-supervised learning approach called Standin Learning, which helps model the electrocardio field without direct supervision. Further, with very few modifications, Nef-Net can also synthesize ECG signals from scratch. Experiments verify that our Nef-Net performs well on Electrocardio Panorama synthesis, and outperforms the previous work on the auxiliary tasks (ECG view transformation and ECG synthesis from scratch). The codes and the division labels of cardiac cycles and ECG deflections on Tianchi ECG and PTB datasets are available at https://github.com/WhatAShot/Electrocardio-Panorama.


title: Sequences involving square zig-zag shapes

abstract: We define a so-called square $k$-zig-zag shape as a part of the regular square grid. Considering the shape as a $k$-zig-zag digraph, we give values of its vertices according to the number of the shortest paths from a base vertex. It provides several integer sequences, whose higher-order homogeneous recurrences are determined by the help of a special matrix recurrence.


title: Gait Characterization in Duchenne Muscular Dystrophy (DMD) Using a Single-Sensor Accelerometer: Classical Machine Learning and Deep Learning Approaches

abstract: Differences in gait patterns of children with Duchenne muscular dystrophy (DMD) and typically-developing (TD) peers are visible to the eye, but quantifications of those differences outside of the gait laboratory have been elusive. In this work, we measured vertical, mediolateral, and anteroposterior acceleration using a waist-worn iPhone accelerometer during ambulation across a typical range of velocities. Fifteen TD and fifteen DMD children from 3-16 years of age underwent eight walking/running activities, including five 25 meters walk/run speed-calibration tests at a slow walk to running speeds (SC-L1 to SC-L5), a 6-minute walk test (6MWT), a 100 meters fast-walk/jog/run (100MRW), and a free walk (FW). For clinical anchoring purposes, participants completed a Northstar Ambulatory Assessment (NSAA). We extracted temporospatial gait clinical features (CFs) and applied multiple machine learning (ML) approaches to differentiate between DMD and TD children using extracted temporospatial gait CFs and raw data. Extracted temporospatial gait CFs showed reduced step length and a greater mediolateral component of total power (TP) consistent with shorter strides and Trendelenberg-like gait commonly observed in DMD. ML approaches using temporospatial gait CFs and raw data varied in effectiveness at differentiating between DMD and TD controls at different speeds, with an accuracy of up to 100%. We demonstrate that by using ML with accelerometer data from a consumer-grade smartphone, we can capture DMD-associated gait characteristics in toddlers to teens.


title: Optical neuromorphic processing at Tera-OP/s speeds based on Kerr soliton crystal microcombs

abstract: Convolutional neural networks (CNNs), inspired by biological visual cortex systems, are a powerful category of artificial neural networks that can extract the hierarchical features of raw data to greatly reduce the network parametric complexity and enhance the predicting accuracy. They are of significant interest for machine learning tasks such as computer vision, speech recognition, playing board games and medical diagnosis. Optical neural networks offer the promise of dramatically accelerating computing speed to overcome the inherent bandwidth bottleneck of electronics. Here, we demonstrate a universal optical vector convolutional accelerator operating beyond 10 TeraOPS (TOPS: operations per second), generating convolutions of images of 250,000 pixels with 8 bit resolution for 10 kernels simultaneously, enough for facial image recognition. We then use the same hardware to sequentially form a deep optical CNN with ten output neurons, achieving successful recognition of full 10 digits with 900 pixel handwritten digit images with 88% accuracy. Our results are based on simultaneously interleaving temporal, wavelength and spatial dimensions enabled by an integrated microcomb source. This approach is scalable and trainable to much more complex networks for demanding applications such as unmanned vehicle and real time video recognition.


title: Cosmological Evolution via Interacting/Non-Interacting Holographic Dark Energy Model for Curved FLRW Space-time in Rastall Gravity

abstract: In this work, we explore the phenomenon of cosmic evolution using curved FLRW space-time bounded by apparent horizon with a specific holographic cut-off. To this end, we use the framework of Rastall gravity (RG) and universe is assumed to be consists of interacting/ non-interacting dark energy (DE) and dark matter (DM). In both scenarios, we evaluate exact solutions of the dynamical equations and constraint the holographic parameter $c^{2}(z)$ assuming a slowly varying function of red-shift during non-interacting model. For interacting model, we consider $c^{2}$ as a constant function of red-shift. Moreover, we analyze nature of the obtained results via deceleration parameter $(q)$, statefinder pair $(j,s)$ and $Om(z)$-diagnostic by constraining the involved model parameters using latest observational data. The graphical analysis showed that interacting model is very close to $\Lambda$ cold DM ($\Lambda$CDM) model as compared to non-interacting case. We conclude that this holographic proposal is enough to describe the cosmic evolution at an accelerating rate.


title: PDE Models and Riemann-Stieltjes Integrals in Sustainability

abstract: Understanding sustainability through modeling involves one of the complex and interdisciplinary activities where mathematics plays a key role. We provide arguments favoring the need for developing global models for measuring the status of sustainability. A global model (applicable in broader perspective) and global sustainability indices are proposed which can be used with real-world data. The solutions of the proposed Partial Differential Equations (PDEs) are blended with the weight functions of Riemann Stieltjes integrals to capture the differential importance of sustainability associated factors. The ideas, methods, and models are new and are prepared for handling multi-dimensional and multi-variate data. A practically adaptable formula for measuring the sustainability index is developed with few key variables. We provide a real-world example arising in civil engineering applications with a numerical example to demonstrate our models.


title: Measurement of nuclear spin relaxation time in lanthanum aluminate for development of polarized lanthanum target

abstract: The nuclear spin-lattice relaxation time ($T_1$) of lanthanum and aluminum nuclei in a single crystal of lanthanum aluminate doped with neodymium ions is studied to estimate the feasibility of the dynamically polarized lanthanum target applicable to beam experiments. The application of our interest is the study of fundamental discrete symmetries in the spin optics of epithermal neutrons. This study requires a highly flexible choice of the applied magnetic field for neutron spin control and favors longer $T_1$ under lower magnetic field and at higher temperature. The $T_1$ of $^{139}{\rm La}$ and ${}^{27}{\rm Al}$ was measured under magnetic fields of $0.5$-$2.5$ T and at temperatures of $0.1$-$1.5$ K and found widely distributed up to 100 h. The result suggests that the $T_1$ can be as long as $T_1 \sim$ 1 h at $0.1$ K with a magnetic field of $0.1$ T, which partially fulfills the requirement of the neutron beam experiment. Possible improvements to achieve a longer $T_1$ are discussed.


title: Privacy Inference Attacks and Defenses in Cloud-based Deep Neural Network: A Survey

abstract: Deep Neural Network (DNN), one of the most powerful machine learning algorithms, is increasingly leveraged to overcome the bottleneck of effectively exploring and analyzing massive data to boost advanced scientific development. It is not a surprise that cloud computing providers offer the cloud-based DNN as an out-of-the-box service. Though there are some benefits from the cloud-based DNN, the interaction mechanism among two or multiple entities in the cloud inevitably induces new privacy risks. This survey presents the most recent findings of privacy attacks and defenses appeared in cloud-based neural network services. We systematically and thoroughly review privacy attacks and defenses in the pipeline of cloud-based DNN service, i.e., data manipulation, training, and prediction. In particular, a new theory, called cloud-based ML privacy game, is extracted from the recently published literature to provide a deep understanding of state-of-the-art research. Finally, the challenges and future work are presented to help researchers to continue to push forward the competitions between privacy attackers and defenders.


title: Hinting a dark matter nature of Sgr A* via the S-stars

abstract: The motion data of the S-stars around the Galactic center gathered in the last 28 yr imply that Sgr A* hosts a supermassive compact object of about $4\times 10^6$ $M\odot$, a result awarded with the Nobel Prize in Physics 2020. A non-rotating black hole (BH) nature of Sgr A* has been uncritically adopted since the S-star orbits agree with Schwarzschild geometry geodesics. The orbit of S2 has served as a test of General Relativity predictions such as the gravitational redshift and the relativistic precession. The central BH model is, however, challenged by the G2 post-peripassage motion and by the lack of observations on event-horizon-scale distances robustly pointing to its univocal presence. We have recently shown that the S2 and G2 astrometry data are better fitted by geodesics in the spacetime of a self-gravitating dark matter (DM) core - halo distribution of 56 keV-fermions, "darkinos", which also explains the outer halo Galactic rotation curves. This Letter confirms and extends this conclusion using the astrometry data of the $17$ best-resolved S-stars, thereby strengthening the alternative nature of Sgr A* as a dense core of darkinos.


title: Crystals, regularisation and the Mullineux map

abstract: The Mullineux map is a combinatorial function on partitions which describes the effect of tensoring a simple module for the symmetric group in characteristic $p$ with the one-dimensional sign representation. It can also be interpreted as an isomorphism between crystal graphs for $\widehat{\mathfrak{sl}}_p$. We give a new combinatorial description of the Mullineux map by expressing this crystal isomorphism as a composition of isomorphisms between different crystals. These isomorphisms are defined in terms of new generalised regularisation maps introduced by Millan Berdasco. We then given two applications of our new realisation of the Mullineux map, by providing purely combinatorial proofs of a conjecture of Lyle relating the Mullineux map with regularisation, and a theorem of Paget describing the Mullineux map in RoCK blocks of symmetric groups.


title: Eigenvalue Estimates on quaternion-K\"ahler Manifolds

abstract: We prove lower bound for the first closed or Neumann nonzero eigenvalue of the Laplacian on a compact quaternion-K\"ahler manifold in terms of dimension, diameter, and scalar curvature lower bound. It is derived as large time implication of the modulus of continuity estimates for solutions of the heat equation. We also establish lower bound for the first Dirichlet eigenvalue in terms of geometric data, via a Laplace comparison theorem for the distance to the boundary function.


title: A new computable version of Hall's Harem Theorem

abstract: We prove a version of Hall's Harem Theorem where the matching realizes a function with some special properties of its cycles. Using this approach we also prove a new computable version of Hall's Harem theorem. We apply it to non-amenable computable coarse spaces.


title: dPV: An End-to-End Differentiable Solar-Cell Simulator

abstract: We introduce dPV, an end-to-end differentiable photovoltaic (PV) cell simulator based on the drift-diffusion model and Beer-Lambert law for optical absorption. dPV is programmed in Python using JAX, an automatic differentiation (AD) library for scientific computing. Using AD coupled with the implicit function theorem, dPV computes the power conversion efficiency (PCE) of an input PV design as well as the derivative of the PCE with respect to any input parameters, all within comparable time of solving the forward problem. We show an example of perovskite solar-cell optimization and multi-parameter discovery, and compare results with random search and finite differences. The simulator can be integrated with optimization algorithms and neural networks, opening up possibilities for data-efficient optimization and parameter discovery.


title: Compact linear optical scheme for Bell state generation

abstract: The capability of linear optics to generate entangled states is exploited in photonic quantum information processing, however, it is challenging to obtain entangled logical qubit states. We report, to the best of our knowledge, the most compact scheme producing the dual-rail-encoded Bell states out of four single photons. Our scheme requires a five-mode interferometer and a single photon detector, while the previously known schemes use six-mode interferometers and two photon detectors. Using computer optimization, we have found a decomposition of the five-mode interferometer with a minimum number of beam-splitters and phase-shift elements. Besides compactness, our scheme also offers a success probability of $1/9$, which is higher than $2/27$ provided by the six-mode counterparts. The analysis suggests that the elevated success probability is connected to higher order of photon interference realized by our scheme, in particular, four-photon interference is implemented in our scheme, while three-photon interference was implemented in previous counterparts.


title: Multi-scale Radio and X-ray Structure of the High-redshift Quasar PMN J0909+0354

abstract: The high-redshift quasar PMN J0909+0354 ($z=3.288$) is known to have a pc-scale compact jet structure, based on global 5-GHz very long baseline interferometry (VLBI) observations performed in 1992. Its kpc-scale structure was studied with the Karl G. Jansky Very Large Array (VLA) in the radio and the Chandra space telescope in X-rays. Apart from the north-northwestern jet component seen in both the VLA and Chandra images at $2.3''$ separation from the core, there is another X-ray feature at $6.48''$ in the northeastern (NE) direction. To uncover more details and possibly structural changes in the inner jet, we conducted new observations at 5 GHz using the European VLBI Network (EVN) in 2019. These data confirm the northward direction of the one-sided inner jet already suspected from the 1992 observations. A compact core and multiple jet components were identified that can be traced up to $\sim0.25$ kpc projected distance towards the north, while the structure becomes more and more diffuse. A comparison with arcsec-resolution imaging with the VLA shows that the radio jet bends by $\sim30^\circ$ between the two scales. The direction of the pc-scale jet as well as the faint optical counterpart found for the newly-detected X-ray point source (NE) favors the nature of the latter as a background or foreground object in the field of view. However, the extended ($\sim160$ kpc) emission around the positions of the quasar core and NE detected by the Wide-field Infrared Survey Explorer (WISE) in the mid-infrared might suggest physical interaction of the two objects.


title: Thin links and Conway spheres

abstract: When restricted to alternating links, both Heegaard Floer and Khovanov homology concentrate along a single diagonal $\delta$-grading. This leads to the broader class of thin links that one would like to characterize without reference to the invariant in question. We provide a relative version of thinness for tangles and use this to characterize thinness via tangle decompositions along Conway spheres. These results bear a strong resemblance to the L-space gluing theorem for three-manifolds with torus boundary. Our results are based on certain immersed curve invariants for Conway tangles, namely the Heegaard Floer invariant $\operatorname{HFT}$ and the Khovanov invariant $\operatorname{\widetilde{Kh}}$ that were developed by the authors in previous works.


title: Enhancement of the double Higgs production via leptoquarks at the LHC

abstract: Measurements of single Higgs production and its decays are in good agreement with the Standard Model. There is still room for large modifications in double Higgs production at LHC, though these effects may be correlated with large corrections to other observables, in particular single Higgs production. In this work we address the issue of enhancing double Higgs production in the presence of scalar leptoquarks while satisfying all experimental constraints. We show at leading order that including more than one species of leptoquarks, large cubic interactions with the Higgs can lead to sizable enhancement of di-Higgs production cross section at LHC, while at the same time keeping other Higgs observables and precision measurements under control. For masses above 800 GeV these corrections are in general below 30%, whereas in a viable scenario in which one of the leptoquarks can be light, specifically in the mass range $400-600$ GeV, we show that it is possible to roughly double the SM cross section for di-Higgs production, implying that possible first hints of it may be probed at the high luminosity LHC at $\mathcal{L}\sim 2$ ab$^{-1}$.


title: Representations and relative Rota-Baxter operators of Hom-Leibniz Poisson algebras

abstract: Representations and relative Rota-Baxter operators with respect to representations of Hom-Leibniz Poisson algebras are introduced and studied. Some characterizations of these operators are obtained. The notion of matched pair and Nijenhuis operators of Hom-Leibniz Poisson algebras are given and various relevant constructions of these Hom-algebras are deduced.


title: Galactic foreground constraints on primordial $B$-mode detection for ground-based experiments

abstract: Contamination by polarized foregrounds is one of the biggest challenges for future polarized cosmic microwave background (CMB) surveys and the potential detection of primordial $B$-modes. Future experiments, such as Simons Observatory (SO) and CMB-S4, will aim at very deep observations in relatively small ($f_{\rm sky} \sim 0.1$) areas of the sky. In this work, we investigate the forecasted performance, as a function of the survey field location on the sky, for regions over the full sky, balancing between polarized foreground avoidance and foreground component separation modeling needs. To do this, we simulate observations by an SO-like experiment and measure the error bar on the detection of the tensor-to-scalar ratio, $\sigma(r)$, with a pipeline that includes a parametric component separation method, the Correlated Component Analysis, and the use of the Fisher information matrix. We forecast the performance over 192 survey areas covering the full sky and also for optimized low-foreground regions. We find that modeling the spectral energy distribution of foregrounds is the most important factor, and any mismatch will result in residuals and bias in the primordial $B$-modes. At these noise levels, $\sigma(r)$ is not especially sensitive to the level of foreground contamination, provided the survey targets the least-contaminated regions of the sky close to the Galactic poles.


title: Limit theorems for exponential random graphs

abstract: We consider the edge-triangle model, a two-parameter family of exponential random graphs in which dependence between edges is introduced through triangles. In the so-called replica symmetric regime, the limiting free energy exists together with a complete characterization of the phase diagram of the model. We borrow tools from statistical mechanics to obtain limit theorems for the edge density. First, we investigate the asymptotic distribution of this quantity, as the graph size tends to infinity, in the various phases, and we complement this analysis with a study of the speed of convergence of the average edge density toward its limiting value. Then, we study the fluctuations of the edge density around its average value off the critical curve and formulate conjectures about the behavior at criticality based on the analysis of a mean-field approximation of the model. Some of our results can be extended with no substantial changes to more general classes of exponential random graphs.


title: Learning to agree over large state spaces

abstract: We study how a consensus emerges in a finite population of like-minded individuals who are asymmetrically informed about the realization of the true state of the world. Agents observe a private signal about the state and then start exchanging messages. Generalizing the classical model of rational dialogues of Geanakoplos and Polemarchakis (1982) and its subsequent extensions, we dispense with the standard assumption that the state space is a probability space and we do not put any bound on the cardinality of the state space itself or the information partitions. We show that a class of rational dialogues can be found that always lead to consensus provided that three main conditions are met. First, everybody must be able to send messages to everybody else, either directly or indirectly. Second, communication must be reciprocal. Finally, agents need to have the opportunity to engage in dialogues of transfinite length.


title: Explainable Machine Learning for Fraud Detection

abstract: The application of machine learning to support the processing of large datasets holds promise in many industries, including financial services. However, practical issues for the full adoption of machine learning remain with the focus being on understanding and being able to explain the decisions and predictions made by complex models. In this paper, we explore explainability methods in the domain of real-time fraud detection by investigating the selection of appropriate background datasets and runtime trade-offs on both supervised and unsupervised models.


title: Comparison of different deep learning architectures for synthetic CT generation from MR images

abstract: MRI-guided radiation treatment planning is widely applied because of its superior soft-tissue contrast and no ionization radiation compared to CT-based planning. In this regard, synthetic CT (sCT) images should be generated from the patients MRI scans if radiation treatment planning is sought. Among the different available methods for this purpose, the deep learning algorithms have and do outperform their conventional counterparts. In this study, we investigated the performance of some most popular deep learning architectures including eCNN, U-Net, GAN, V-Net, and Res-Net for the task of sCT generation. As a baseline, an atlas-based method is implemented to which the results of the deep learning-based model are compared. A dataset consisting of 20 co-registered MR-CT pairs of the male pelvis is applied to assess the different sCT production methods' performance. The mean error (ME), mean absolute error (MAE), Pearson correlation coefficient (PCC), structural similarity index (SSIM), and peak signal-to-noise ratio (PSNR) metrics were computed between the estimated sCT and the ground truth (reference) CT images. The visual inspection revealed that the sCTs produced by eCNN, V-Net, and ResNet, unlike the other methods, were less noisy and greatly resemble the ground truth CT image. In the whole pelvis region, the eCNN yielded the lowest MAE (26.03-8.85 HU) and ME (0.82-7.06 HU), and the highest PCC metrics were yielded by the eCNN (0.93-0.05) and ResNet (0.91-0.02) methods. The ResNet model had the highest PSNR of 29.38-1.75 among all models. In terms of the Dice similarity coefficient, the eCNN method revealed superior performance in major tissue identification (air, bone, and soft tissue). All in all, the eCNN and ResNet deep learning methods revealed acceptable performance with clinically tolerable quantification errors.


title: Mixed QCD-EW corrections for Higgs leptonic decay via $HW^+W^-$ vertex

abstract: We consider the two-loop corrections to the $HW^+W^-$ vertex at order $\alpha\alpha_s$. We construct a canonical basis for the two-loop integrals using the Baikov representation and the intersection theory. By solving the $\epsilon$-form differential equations, we obtain fully analytic expressions for the master integrals in terms of multiple polylogarithms, which allow fast and accurate numeric evaluation for arbitrary configurations of external momenta. We apply our analytic results to the decay process $H \to \nu_e e W$, and study both the integrated and differential decay rates. Our results can also be applied to the Higgs production process via $W$ boson fusion.


title: Electrically-controlled digital metasurface device for light projection displays

abstract: Light projection displays play an increasingly important role in our modern life. Core projection systems including liquid crystal displays and digital micromirror devices can impose spatial light modulation and actively shape light waves. Recently, the advent of metasurfaces has revolutionized design concepts in nanophotonics, enabling a new family of optical elements with exceptional degrees of freedom. Here, we demonstrate a light projection display technology based on optical metasurfaces, called digital metasurface device (DMSD). Each metasurface pixel in a DMSD is electrically reconfigurable with well-controlled programmability and addressability. The DMSD can not only continuously modulate the intensity of light with high contrast, but also shape the wavefront of light generated by each metasurface pixel and dynamically switch between arbitrary holographic patterns. Our approach will pave an avenue towards the development of customized light projection devices. It will also drive the field of dynamic optical metasurfaces with fresh momentum and inspiring concepts.


title: Weighted directed clustering: interpretations and requirements for heterogeneous, inferred, and measured networks

abstract: Weights and directionality of the edges carry a large part of the information we can extract from a complex network. However, many network measures were formulated initially for undirected binary networks. The necessity to incorporate information about the weights led to the conception of the multiple extensions, particularly for definitions of the local clustering coefficient discussed here. We uncover that not all of these extensions are fully-weighted; some depend on the degree and thus change a lot when an infinitely small weight edge is exchanged for the absence of an edge, a feature that is not always desirable. We call these methods ``hybrid'' and argue that, in many situations, one should prefer fully-weighted definitions. After listing the necessary requirements for a method to analyze many various weighted networks properly, we propose a fully-weighted continuous clustering coefficient that satisfies all the previously proposed criteria while also being continuous with respect to vanishing weights. We demonstrate that the behavior and meaning of the Zhang--Horvath clustering and our new continuous definition provide complementary results and significantly outperform other definitions in multiple relevant conditions. Using synthetic and real-world examples, we show that when the network is inferred, noisy, or very heterogeneous, it is essential to use the fully-weighted clustering definitions.


title: The Inductive Approach to Verifying Cryptographic Protocols

abstract: Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-state systems. Proofs are generated using Isabelle/HOL. The human effort required to analyze a protocol can be as little as a week or two, yielding a proof script that takes a few minutes to run. Protocols are inductively defined as sets of traces. A trace is a list of communication events, perhaps comprising many interleaved protocol runs. Protocol descriptions incorporate attacks and accidental losses. The model spy knows some private keys and can forge messages using components decrypted from previous traffic. Three protocols are analyzed below: Otway-Rees (which uses shared-key encryption), Needham-Schroeder (which uses public-key encryption), and a recursive protocol by Bull and Otway (which is of variable length). One can prove that event $ev$ always precedes event $ev'$ or that property $P$ holds provided $X$ remains secret. Properties can be proved from the viewpoint of the various principals: say, if $A$ receives a final message from $B$ then the session key it conveys is good.


title: Applying information theory and entropy to eliminate errors in mouse-tracking results

abstract: Mouse-tracking of computer system users represents a less expensive, but also a far more applicable alternative to eye-tracking. The main disadvantage of mouse-tracking are errors manifested as discrepancies between the actual eye-gaze position and the mouse cursor position. This paper presents a method for automated correction of errors arising in mouse-tracking. Our approach draws upon information theory and employs Shannon entropy. The method is based on calculating the entropy of a visual representation of a Web page, i.e., we quantify information potential values of various positions. Information obtained, thereby, is paired with cumulative time intervals, spent by the mouse cursor in each position. In this way, we identify cursor positions that do not match eye-gaze positions. To verify the effectiveness of our method, we compared the eye gaze and mouse cursor heat maps in the following ways: We calculated the coefficient of correlation between the two; we computed Euclidean distance between their centers of gravity; and we performed visual comparison.


title: Orthogonal polynomials for the weight $x^{\nu} \exp(-x - t/x)$

abstract: Orthogonal polynomials for the weight $x^{\nu} \exp(-x - t/x),\ x, t > 0, \nu \in \mathbb{R}$ are investigated. Differential-difference equations, recurrence relations, explicit representations, generating functions and Rodrigues-type formula are obtained.


title: Hedging Against Sore Loser Attacks in Cross-Chain Transactions

abstract: A *sore loser attack* in cross-blockchain commerce rises when one party decides to halt participation partway through, leaving other parties' assets locked up for a long duration. Although vulnerability to sore loser attacks cannot be entirely eliminated, it can be reduced to an arbitrarily low level. This paper proposes new distributed protocols for hedging a range of cross-chain transactions in a synchronous communication model, such as two-party swaps, $n$-party swaps, brokered transactions, and auctions.


title: Bootstrapping User and Item Representations for One-Class Collaborative Filtering

abstract: The goal of one-class collaborative filtering (OCCF) is to identify the user-item pairs that are positively-related but have not been interacted yet, where only a small portion of positive user-item interactions (e.g., users' implicit feedback) are observed. For discriminative modeling between positive and negative interactions, most previous work relied on negative sampling to some extent, which refers to considering unobserved user-item pairs as negative, as actual negative ones are unknown. However, the negative sampling scheme has critical limitations because it may choose "positive but unobserved" pairs as negative. This paper proposes a novel OCCF framework, named as BUIR, which does not require negative sampling. To make the representations of positively-related users and items similar to each other while avoiding a collapsed solution, BUIR adopts two distinct encoder networks that learn from each other; the first encoder is trained to predict the output of the second encoder as its target, while the second encoder provides the consistent targets by slowly approximating the first encoder. In addition, BUIR effectively alleviates the data sparsity issue of OCCF, by applying stochastic data augmentation to encoder inputs. Based on the neighborhood information of users and items, BUIR randomly generates the augmented views of each positive interaction each time it encodes, then further trains the model by this self-supervision. Our extensive experiments demonstrate that BUIR consistently and significantly outperforms all baseline methods by a large margin especially for much sparse datasets in which any assumptions about negative interactions are less valid.


title: Perspective on Data Science

abstract: The field of data science currently enjoys a broad definition that includes a wide array of activities which borrow from many other established fields of study. Having such a vague characterization of a field in the early stages might be natural, but over time maintaining such a broad definition becomes unwieldy and impedes progress. In particular, the teaching of data science is hampered by the seeming need to cover many different points of interest. Data scientists must ultimately identify the core of the field by determining what makes the field unique and what it means to develop new knowledge in data science. In this review we attempt to distill some core ideas from data science by focusing on the iterative process of data analysis and develop some generalizations from past experience. Generalizations of this nature could form the basis of a theory of data science and would serve to unify and scale the teaching of data science to large audiences.


title: Vision-Guided Active Tactile Perception for Crack Detection and Reconstruction

abstract: Crack detection is of great significance for monitoring the integrity and well-being of the infrastructure such as bridges and underground pipelines, which are harsh environments for people to access. In recent years, computer vision techniques have been applied in detecting cracks in concrete structures. However, they suffer from variances in light conditions and shadows, lacking robustness and resulting in many false positives. To address the uncertainty in vision, human inspectors actively touch the surface of the structures, guided by vision, which has not been explored in autonomous crack detection. In this paper, we propose a novel approach to detect and reconstruct cracks in concrete structures using vision-guided active tactile perception. Given an RGB-D image of a structure, the rough profile of the crack in the structure surface will first be segmented with a fine-tuned Deep Convolutional Neural Networks, and a set of contact points are generated to guide the collection of tactile images by a camera-based optical tactile sensor. When contacts are made, a pixel-wise mask of the crack can be obtained from the tactile images and therefore the profile of the crack can be refined by aligning the RGB-D image and the tactile images. Extensive experiment results have shown that the proposed method improves the effectiveness and robustness of crack detection and reconstruction significantly, compared to crack detection with vision only, and has the potential to enable robots to help humans with the inspection and repair of the concrete infrastructure.


title: Probing ultra-light dark photon from inverse Compton-like scattering

abstract: Dark photon not only provides a portal linking dark sector particles and ordinary matter but also is a well-motivated dark matter candidate. We propose to detect the dark photon dark matter through the inverse Compton-like scattering process $p+\gamma^\prime \to p+\gamma$. Thanks to the ultra-high energy primary cosmic rays, we find that such a method is able to probe the dark photon mass from $10^{-2}$ eV down to $10^{-19}$ eV with the expected sensitivity of eROSITA $X$-ray telescope, which can extend the current lower limit of dark photon mass from Jupiter's magnetic fields experiment by about three orders of magnitude.


title: Detecting positive quantum capacities of quantum channels

abstract: Using elementary techniques from analytic perturbation theory of Hermitian matrices, we devise a simple strategy to detect positive quantum capacities of quantum channels and their complements. Several noteworthy examples, such as the depolarizing and transpose-depolarizing channels (including the Werner-Holevo channel), dephasing channels, generalized Pauli channels, multi-level amplitude damping channels, and (conjugate) diagonal unitary covariant channels, serve to aptly exhibit the utility of our method. Our main result leads to simplified proofs of certain existing structure theorems for the class of degradable quantum channels, and an extension of their applicability to the larger class of more capable quantum channels.


title: Quasinormal mode theory for nanoscale electromagnetism with quantum surface responses

abstract: We report a self-consistent quasinormal mode theory for nanometer scale electromagnetism where the possible nonlocal and quantum effects are treated through quantum surface responses. With Feibelman's frequency-dependent \textit{d} parameters to describe the quantum surface responses, we formulate the source-free Maxwell's equations into a generalized linear eigenvalue problem to define the quasinormal modes. We then construct an orthonormal relation for the modes and consequently unlock the powerful toolbox of modal analysis. The orthonormal relation is validated by the reconstruction of the full numerical results through modal contributions. Significant changes in the landscape of the modes are observed due to the incorporation of the quantum surface responses for a number of nanostructures. Our semi-analytical modal analysis enables transparent physical interpretation of the spontaneous emission enhancement of a dipolar emitter as well as the near-field and far-field responses of planewave excitations in the nanostructures.


title: Riemann-Hilbert-Birkhoff inverse problem for semisimple flat $F$-manifolds, and convergence of oriented associativity potentials

abstract: In this paper, we address the problem of classification of quasi-homogeneous formal power series providing solutions of the oriented associativity equations. Such a classification is performed by introducing a system of monodromy local moduli on the space of formal germs of homogeneous semisimple flat $F$-manifolds. This system of local moduli is well-defined on the complement of the "doubly resonant" locus, namely the locus of formal germs of flat $F$-manifolds manifesting both coalescences of canonical coordinates at the origin, and resonances of their "conformal dimensions". It is shown how the solutions of the oriented associativity equations can be reconstructed from the knowledge of the monodromy local moduli via a Riemann-Hilbert-Birkhoff boundary value problem. Furthermore, standing on results of B. Malgrange and C. Sabbah, it is proved that any formal homogeneous semisimple flat $F$-manifold, which is not doubly resonant, is actually convergent. Our semisimplicity criterion for convergence is also reformulated in terms of solutions of Losev-Manin commutativity equations, growth estimates of correlators of $F$-cohomological field theories, and solutions of open Witten-Dijkgraaf-Verlinde-Verlinde equations.


title: The Excluded Area of Superellipse Sector Particles

abstract: Superellipse sector particles (SeSPs) are segments of superelliptical curves that form a tunable set of hard-particle shapes for granular and colloidal systems. SeSPs allow for continuous parameterization of corner sharpness, aspect ratio, and particle curvature; rods, circles, rectangles, and staples are examples of shapes SeSPs can model. We investigate the space of allowable (non-overlapping) configurations of two SeSPs, which depends on both the center-of-mass separation and relative orientation. Radial correlation plots of the allowed configurations reveal circular regions centered at each of the particle's two endpoints that indicate configurations of mutually-entangled particle interactions. Simultaneous entanglement with both endpoints is geometrically impossible; the overlap of these two regions therefore represents an excluded area in which no particles can be placed regardless of orientation. The regions' distinct boundaries indicates a translational frustration with implications for the dynamics of particle rearrangements (e.g. under shear). Representing translational and rotational degrees of freedom as a hypervolume, we find a topological change that suggests geometric frustration arises a phase transition in this space. The excluded area is a straightforward integration over excluded states; for arbitrary relative orientation this decreases sigmoidally with increasing opening aperture, with sharper SeSP corners resulting in a sharper decrease. Together, this work offers a path towards a unified theory for particle shape-control of bulk material properties.


title: Informed Equation Learning

abstract: Distilling data into compact and interpretable analytic equations is one of the goals of science. Instead, contemporary supervised machine learning methods mostly produce unstructured and dense maps from input to output. Particularly in deep learning, this property is owed to the generic nature of simple standard link functions. To learn equations rather than maps, standard non-linearities can be replaced with structured building blocks of atomic functions. However, without strong priors on sparsity and structure, representational complexity and numerical conditioning limit this direct approach. To scale to realistic settings in science and engineering, we propose an informed equation learning system. It provides a way to incorporate expert knowledge about what are permitted or prohibited equation components, as well as a domain-dependent structured sparsity prior. Our system then utilizes a robust method to learn equations with atomic functions exhibiting singularities, as e.g. logarithm and division. We demonstrate several artificial and real-world experiments from the engineering domain, in which our system learns interpretable models of high predictive power.


title: Towards Foundations of Categorical Cybernetics

abstract: We propose a categorical framework for processes which interact bidirectionally with both an environment and a 'controller'. Examples include open learners, in which the controller is an optimiser such as gradient descent, and an approach to compositional game theory closely related to open games, in which the controller is a composite of game-theoretic agents. We believe that 'cybernetic' is an appropriate name for the processes that can be described in this framework.


title: Elliptic Flowers: simply connected billiard tables with chaotic or non-chaotic flows moving around chaotic or non-chaotic cores

abstract: We introduce a class of billiards with chaotic unidirectional flows (or non-chaotic unidirectional flows with "vortices") which go around a chaotic or non-chaotic "core", where orbits can change their orientation. Moreover, the corresponding billiard tables are simply connected in difference with many attempts to build billiards with interesting and/or exotic dynamics by putting inside billiard tables various "scatterers" with funny shapes. Therefore the billiards in this new class are amenable to experimental studies in physics labs as well as to the rigorous mathematical ones, which may shed a new light on understanding of classical and quantum dynamics of Hamiltonian systems.


title: Uncertainty Analysis for Drift-Diffusion Equations

abstract: We study evolution equations of drift-diffusion type when various parameters are random. Motivated by applications in pedestrian dynamics, we focus on the case when the total mass is, due to boundary or reaction terms, not conserved. After providing existence and stability for the deterministic problem, we consider uncertainty in the data. Instead of a sensitivity analysis we propose to measure functionals of the solution, so-called quantities of interest (QoI), by involving scalarizing statistics. For these summarizing statistics we provide probabilistic continuity results.


title: Charm-quark fragmentation fractions and production cross section at midrapidity in pp collisions at the LHC

abstract: Recent $p_{\rm T}$-integrated cross section measurements of the ground-state charm mesons and baryons, D$^{\rm 0}$, D$^+$, D$_{\rm s}^{+}$, $\Lambda_{\rm c}^{+}$, and $\Xi_{\rm c}^0$, are used to evaluate the charm fragmentation fractions and production cross section per unit of rapidity at midrapidity ($|y|<0.5$), in pp collisions at $\sqrt{s} = 5.02$ TeV at the LHC. The latter is ${\rm d} \sigma^{\rm c \overline{c}}/{\rm d} y|_{|y| < 0.5}$ =1165 $\pm 44(\rm{stat})^{+134}_{-101}(\rm{syst})$ $\mu b$. These measurements were obtained for the first time in hadronic collisions at the LHC including the charm baryon states, recently measured by ALICE at midrapidity. The charm fragmentation fractions differ significantly from the values measured in e$^+$e$^-$ and ep collisions, providing evidence of the dependence of the parton-to-hadron fragmentation fractions on the collision system, indicating that the assumption of their universality is not supported by the measured cross sections. An increase of a factor of about 3.3 for the fragmentation fraction for the $\Lambda_{\rm c}^{+}$ with a significance of $5\,\sigma$ between the values obtained in pp collisions and those obtained in e$^+$e$^-$ (ep) collisions is reported. The fragmentation fraction for the $\Xi_{\rm c}^0$ was obtained for the first time in any collision system. The measured fragmentation fractions were used to update the $\rm c \overline{c}$ cross sections per unit of rapidity at $|y|<0.5$ at $\sqrt{s} = 2.76$ and 7 TeV, which are about 40% higher than the previously published results. The data were compared with perturbative-QCD calculations and lie at the upper edge of the theoretical bands.


title: On the stability of homogeneous Einstein manifolds

abstract: Let g be a G-invariant Einstein metric on a compact homogeneous space M=G/K. We use a formula for the Lichnerowicz Laplacian of g at G-invariant TT-tensors to study the stability type of g as a critical point of the scalar curvature function. The case when g is naturally reductive is studied in special detail.


title: Grad-TTS: A Diffusion Probabilistic Model for Text-to-Speech

abstract: Recently, denoising diffusion probabilistic models and generative score matching have shown high potential in modelling complex data distributions while stochastic calculus has provided a unified point of view on these techniques allowing for flexible inference schemes. In this paper we introduce Grad-TTS, a novel text-to-speech model with score-based decoder producing mel-spectrograms by gradually transforming noise predicted by encoder and aligned with text input by means of Monotonic Alignment Search. The framework of stochastic differential equations helps us to generalize conventional diffusion probabilistic models to the case of reconstructing data from noise with different parameters and allows to make this reconstruction flexible by explicitly controlling trade-off between sound quality and inference speed. Subjective human evaluation shows that Grad-TTS is competitive with state-of-the-art text-to-speech approaches in terms of Mean Opinion Score. We will make the code publicly available shortly.


title: How Close are Compact Multi-Planet Systems to the Stability Limit?

abstract: Transit surveys have revealed a significant population of compact multi-planet systems, containing several sub-Neptune-mass planets on close-in, tightly-packed orbits. These systems are thought to have formed through a final phase of giant impacts, which would tend to leave systems close to the edge of stability. Here, we assess this hypothesis, comparing observed eccentricities in systems exhibiting transit-timing variations (TTVs), with the maximum eccentricities compatible with long-term stability. We use the machine-learning classifier SPOCK (Tamayo et al. 2020) to rapidly classify the stability of numerous initial configurations and hence determine these stability limits. While previous studies have argued that multi-planet systems are often maximally packed, in the sense that they could not host any additional planets, we find that the existing planets in these systems have measured eccentricities below the limits allowed by stability by a factor of 2--10. We compare these results against predictions from the giant impact theory of planet formation, derived from both $N$-body integrations and theoretical expectations that in the absence of dissipation, the orbits of such planets should be distributed uniformly throughout the phase space volume allowed by stability. We find that the observed systems have systematically lower eccentricities than this scenario predicts, with a median eccentricity about 4 times lower than predicted. These findings suggest that if such systems formed through giant impacts, then some dissipation must occur to damp their eccentricities. This may take place during formation, perhaps through interactions with the natal gas disk or a leftover population of planetesimals, or over longer timescales through the coupling of tidal and secular processes.


title: Graph Learning based Recommender Systems: A Review

abstract: Recent years have witnessed the fast development of the emerging topic of Graph Learning based Recommender Systems (GLRS). GLRS employ advanced graph learning approaches to model users' preferences and intentions as well as items' characteristics for recommendations. Differently from other RS approaches, including content-based filtering and collaborative filtering, GLRS are built on graphs where the important objects, e.g., users, items, and attributes, are either explicitly or implicitly connected. With the rapid development of graph learning techniques, exploring and exploiting homogeneous or heterogeneous relations in graphs are a promising direction for building more effective RS. In this paper, we provide a systematic review of GLRS, by discussing how they extract important knowledge from graph-based representations to improve the accuracy, reliability and explainability of the recommendations. First, we characterize and formalize GLRS, and then summarize and categorize the key challenges and main progress in this novel research area. Finally, we share some new research directions in this vibrant area.