title: Orbifold braid groups

abstract: The orbifold braid groups of two dimensional orbifolds were defined in [1] (arXiv:math/9907194) to understand certain Artin groups as subgroups of some suitable orbifold braid groups. We studied orbifold braid groups in some more detail in [17] (arXiv:2006.07106) and [18] (arXiv:2106.08110), to prove the Farrell-Jones Isomorphism conjecture for orbifold braid groups and as a consequence for some Artin groups. In this article we apply the results from [17] and [18], to study two aspects of the orbifold braid groups. First we show that the homomorphisms induced on the orbifold braid groups by the inclusion maps of a generic class of sub-orbifolds of an orbifold are injective. Then, we prove that the centers of most of the orbifold braid groups are trivial.


title: Simultaneously Transmitting and Reflecting (STAR) RIS Assisted Over-the-Air Computation Systems

abstract: The performance of over-the-air computation (AirComp) systems degrades due to the hostile channel conditions of wireless devices (WDs), which can be significantly improved by the employment of reconfigurable intelligent surfaces (RISs). However, the conventional RISs require that the WDs have to be located in the half-plane of the reflection space, which restricts their potential benefits. To address this issue, the novel family of simultaneously transmitting and reflecting reconfigurable intelligent surfaces (STAR-RIS) is considered in AirComp systems to improve the computation accuracy across a wide coverage area. To minimize the computation mean-squared-error (MSE) in STAR-RIS assisted AirComp systems, we propose a joint beamforming design for optimizing both the transmit power at the WDs, as well as the passive reflect and transmit beamforming matrices at the STAR-RIS, and the receive beamforming vector at the fusion center (FC). Specifically, in the updates of the passive reflect and transmit beamforming matrices, closed-form solutions are derived by introducing an auxiliary variable and exploiting the coupled binary phase-shift conditions. Moreover, by assuming that the number of antennas at the FC and that of elements at the STAR-RIS/RIS are sufficiently high, we theoretically prove that the STAR-RIS assisted AirComp systems provide higher computation accuracy than the conventional RIS assisted systems. Our numerical results show that the proposed beamforming design outperforms the benchmark schemes relying on random phase-shift constraints and the deployment of conventional RIS. Moreover, its performance is close to the lower bound achieved by the beamforming design based on the STAR-RIS dispensing with coupled phase-shift constraints.


title: Virtual representations for closed graph manifolds and Seifert geometry

abstract: In this paper, we mainly discuss the representations of closed graph manifolds to the Seifert motion group. Then we prove that there exist graph manifolds virtually having no faithful representations to the Seifert motion group.


title: On the Influence of Gradient Reconstruction Procedures Over the Accuracy of Finite Volume Based Schemes

abstract: In the context of the cell centered finite volume approach, care must be taken when performing the reconstruction of property gradients at cell interfaces. The present work analyzes three different gradient reconstruction procedures, using three different turbulent simulation test cases, namely the zero-gradient flat plate, the subsonic NACA 0012 airfoil and the transonic OAT15A airfoil. The analysis is concerned mainly with the usage of quadrilateral meshes. The gas dynamics equations are solved using an implicit implementation of Roe's second-order upwind scheme. The RANS closure problem is solved by using the negative Spalart-Allmaras turbulence model. The solution quality of each gradient discretization procedure is analyzed and compared to experimental data and other numerical solutions available in the literature. For the cases considered here, excellent agreement is obtained between the computed solutions and the expected results, regardless of which gradient reconstruction scheme is used.


title: Friction dynamics of elasto-inertial turbulence in Taylor-Couette flow of viscoelastic fluids

abstract: Dynamic properties of elasto-inertial turbulence (EIT) are studied in a Taylor-Couette geometry. EIT is a chaotic flow state that develops upon both non-negligible inertia and viscoelasticity. A combination of direct flow visualisation and torque measurement allows to verify the earlier onset of EIT compared to purely inertial instabilities (and inertial turbulence). The scaling of the pseudo-Nusselt number with inertia and elasticity is discussed here for the first time. Variations in the friction coefficient, temporal frequency spectra, and spatial power density spectra highlight that EIT undergoes an intermediate behavior before transitioning to its fully developed chaotic state that requires both high inertia and elasticity. During this transition the contribution of secondary flows to the overall friction dynamics is limited. This is expected to be of great interest in the aim of achieving efficiency mixing at low drag and low but finite Reynolds number.


title: Investigating the morphology and CO gas kinematics of Sh2-112 region

abstract: We present a study of the molecular cloud in Sh2-112 massive star forming region using the 3-2 transition of CO isotopologues - CO, 13CO, and C18O; supplemented in part by CGPS HI line emission and MSX data. Sh2-112 is an optically visible region powered by an O8V type massive star BD +45 3216, and hosts two Red MSX Survey sources - G083.7962+03.3058 and G083.7071+03.2817 - classified as HII region and young stellar object, respectively. Reduced spectral data products from the James Clerk Maxwell Telescope archive, centered on the two RMS objects with ~7'x7' field of view each, were utilised for the purpose. The 13CO(3-2) channel map of the region shows the molecular cloud to have filamentary extensions directed away from the massive star, which also seems to be at the edge of a cavity like structure. Multiple molecular cloud protrusions into this cavity structure host local peaks of emission. The integrated emission map of the region constructed from only those emission clumps detected above 5$\sigma$ level in the position-position-velocity space affirms the same. MSX sources were found distributed along the cavity boundary where the gas has the been compressed. Spectral extraction at these positions yielded high Mach numbers and low ratios of thermal to non-thermal pressure, suggesting a dominance of supersonic and non-thermal motion in the cloud.


title: Bayesian model selection for GRB 211211A through multi-wavelength analyses

abstract: Although GRB 211211A is one of the closest gamma-ray bursts (GRBs), its classification is challenging because of its partially inconclusive electromagnetic signatures. In this paper, we investigate four different astrophysical scenarios as possible progenitors for GRB~211211A: a binary neutron-star merger, a black-hole--neutron-star merger, a core-collapse supernova, and an r-process enriched core collapse of a rapidly rotating massive star (a collapsar). We perform a large set of Bayesian multi-wavelength analyses based on different models describing these scenarios and priors to investigate which astrophysical scenarios and processes might be related to GRB~211211A. Our analysis supports previous studies in which the presence of an additional component, likely related to $r$-process nucleosynthesis, is required to explain the observed light curves of GRB~211211A, as it can not solely be explained as a GRB afterglow. Fixing the distance to about $350~\rm Mpc$, namely the distance of the possible host galaxy SDSS J140910.47+275320.8, we find a statistical preference for a binary neutron-star merger scenario.


title: Open Charm Mesons and Charmonium states in Magnetized Strange Hadronic Medium at Finite Temperature

abstract: We investigate the masses of the pseudoscalar ($D$($D^0$, $D^+$), $\bar{D}$($\bar{D^0}$, $D^-$) and vector open charm mesons ($D^*$($D^{*0}$, $D^{*+}$), ${\bar{D}}^*$(${\bar{D}}^{*0}$, $D^{*-}$) as well as the pseudoscalar ($\eta_c(1S)$, $\eta_c(2S)$) and the vector charmonium states ($J/\psi$, $\psi(2S)$, $\psi(1D)$) in the asymmetric hot strange hadronic medium in the presence of strong magnetic fields. In the magnetized medium, the mass modification of open charm mesons due to their interactions with baryons and the scalar fields ($\sigma$, $\zeta$, and $\delta$) are investigated in a chiral effective model. Moreover, the charged pseudoscalar meson ($D^\pm$), as well as the longitudinal component of charged vector meson ($D^{*\pm \parallel}$), experience additional positive mass modifications in the magnetic field due to Landau quantization. The effect of the modification of gluon condensates simulated by the medium change of dilaton field $\chi$ on the masses of the charmonia is also calculated in the chiral effective model. At high temperatures, the magnetically induced modifications of scalar fields significantly reduce the in-medium masses of mesons. The effects of magnetically induced spin mixing between the pseudoscalar and the vector mesons are incorporated in our study. The spin mixing result in a positive mass shift for the longitudinal component of the vector mesons and a negative mass shift for the pseudoscalar mesons in the presence of the magnetic field. From the obtained in-medium mass shifts of charmonia and open charm mesons, we have also calculated the partial decay widths of $\psi(1D)$ to $D\bar{D}$, using a light quark pair creation model, namely the $^3P_0$ model. Spin mixing and strangeness fraction enhance the partial decay width at small magnetic fields.


title: A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image

abstract: Autonomous manipulation systems operating in domains where human intervention is difficult or impossible (e.g., underwater, extraterrestrial or hazardous environments) require a high degree of robustness to sensing and communication failures. Crucially, motion planning and control algorithms require a stream of accurate joint angle data provided by joint encoders, the failure of which may result in an unrecoverable loss of functionality. In this paper, we present a novel method for retrieving the joint angles of a robot manipulator using only a single RGB image of its current configuration, opening up an avenue for recovering system functionality when conventional proprioceptive sensing is unavailable. Our approach, based on a distance-geometric representation of the configuration space, exploits the knowledge of a robot's kinematic model with the goal of training a shallow neural network that performs a 2D-to-3D regression of distances associated with detected structural keypoints. It is shown that the resulting Euclidean distance matrix uniquely corresponds to the observed configuration, where joint angles can be recovered via multidimensional scaling and a simple inverse kinematics procedure. We evaluate the performance of our approach on real RGB images of a Franka Emika Panda manipulator, showing that the proposed method is efficient and exhibits solid generalization ability. Furthermore, we show that our method can be easily combined with a dense refinement technique to obtain superior results.


title: Relaxing Instrument Exogeneity with Common Confounders

abstract: Instruments can be used to identify causal effects in the presence of unobserved confounding, under the famous relevance and exogeneity (unconfoundedness and exclusion) assumptions. As exogeneity is difficult to justify and to some degree untestable, it often invites criticism in applications. Hoping to alleviate this problem, we propose a novel identification approach, which relaxes traditional IV exogeneity to exogeneity conditional on some unobserved common confounders. We assume there exist some relevant proxies for the unobserved common confounders. Unlike typical proxies, our proxies can have a direct effect on the endogenous regressor and the outcome. We provide point identification results with a linearly separable outcome model in the disturbance, and alternatively with strict monotonicity in the first stage. General doubly robust and Neyman orthogonal moments are derived consecutively to enable the straightforward root-n estimation of low-dimensional parameters despite the high-dimensionality of nuisances, themselves non-uniquely defined by Fredholm integral equations. Using this novel method with NLS97 data, we separate ability bias from general selection bias in the economic returns to education problem.


title: Max-Min Diversification with Fairness Constraints: Exact and Approximation Algorithms

abstract: Diversity maximization aims to select a diverse and representative subset of items from a large dataset. It is a fundamental optimization task that finds applications in data summarization, feature selection, web search, recommender systems, and elsewhere. However, in a setting where data items are associated with different groups according to sensitive attributes like sex or race, it is possible that algorithmic solutions for this task, if left unchecked, will under- or over-represent some of the groups. Therefore, we are motivated to address the problem of \emph{max-min diversification with fairness constraints}, aiming to select $k$ items to maximize the minimum distance between any pair of selected items while ensuring that the number of items selected from each group falls within predefined lower and upper bounds. In this work, we propose an exact algorithm based on integer linear programming that is suitable for small datasets as well as a $\frac{1-\varepsilon}{5}$-approximation algorithm for any $\varepsilon \in (0, 1)$ that scales to large datasets. Extensive experiments on real-world datasets demonstrate the superior performance of our proposed algorithms over existing ones.


title: Positivity problem of three-term recurrence sequences

abstract: We present some necessary and/or sufficient conditions for the positivity problem of three-term recurrence sequences. As applications we show the positivity of diagonal Taylor coefficients of some rational functions in a unified approach. We also establish a criterion for the positivity and log-convexity of such sequences.


title: An adaptive solution strategy for Richards' equation

abstract: Flow in variably saturated porous media is typically modelled by the Richards equation, a nonlinear elliptic-parabolic equation which is notoriously challenging to solve numerically. In this paper, we propose a robust and fast iterative solver for Richards' equation. The solver relies on an adaptive switching algorithm, based on rigorously derived a posteriori indicators, between two linearization methods: L-scheme and Newton. Although a combined L-scheme/Newton strategy was introduced previously in [List & Radu (2016)], here, for the first time we propose a reliable and robust criteria for switching between these schemes. The performance of the solver, which can be in principle applied to any spatial discretization and linearization methods, is illustrated through several numerical examples.


title: Benchmarking universal quantum gates via channel spectrum

abstract: Noise remains the major obstacle to scalable quantum computation. Quantum benchmarking provides key information on noise properties and is an important step for developing more advanced quantum processors. However, current benchmarking methods are either limited to a specific subset of quantum gates or cannot directly describe the performance of the individual target gate. To overcome these limitations, we propose channel spectrum benchmarking (CSB), a method to infer the noise properties of the target gate, including process fidelity, stochastic fidelity, and some unitary parameters, from the eigenvalues of its noisy channel. Our CSB method is insensitive to state-preparation and measurement errors, and importantly, can benchmark universal gates and is scalable to many-qubit systems. Unlike standard randomized schemes, CSB can provide direct noise information for both target native gates and circuit fragments, allowing benchmarking and calibration of global entangling gates and frequently used modules in quantum algorithms like Trotterized Hamiltonian evolution operator in quantum simulation.


title: TextDescriptives: A Python package for calculating a large variety of metrics from text

abstract: TextDescriptives is a Python package for calculating a large variety of metrics from text. It is built on top of spaCy and can be easily integrated into existing workflows. The package has already been used for analysing the linguistic stability of clinical texts, creating features for predicting neuropsychiatric conditions, and analysing linguistic goals of primary school students. This paper describes the package and its features.


title: New Results for the Pointing Errors Model in Two Asymptotic Cases

abstract: Several precise and computationally efficient results for pointing errors models in two asymptotic cases are derived in this paper. The normalized mean-squared error (NMSE) performance metric is employed to quantify the accuracy of different models. For the case that the beam width is relatively larger than the detection aperture, we propose the three kinds of models that have the form of $c_1\exp(-c_2r^2) $.It is shown that the modified intensity uniform model not only achieves a comparable accuracy with the best linearized model, but also is expressed in an elegant mathematical way when compared to the traditional Farid model. This indicates that the modified intensity uniform model is preferable in the performance analysis of free space optical (FSO) systems considering the effects of the pointing errors. By analogizing the beam spot with a point in the case that beam width is smaller than the detection aperture, the solution of the pointing errors model is transformed to a smooth function approximation problem, and we find that a more accurate approximation can be achieved by the proposed point approximation model when compared to the model that is induced from the Vasylyev model in some scenarios.


title: Zen: LSTM-based generation of individual spatiotemporal cellular traffic with interactions

abstract: Domain-wide recognized by their high value in human presence and activity studies, cellular network datasets (i.e., Charging Data Records, named CdRs), however, present accessibility, usability, and privacy issues, restricting their exploitation and research reproducibility.This paper tackles such challenges by modeling Cdrs that fulfill real-world data attributes. Our designed framework, named Zen follows a four-fold methodology related to (i) the LTSM-based modeling of users' traffic behavior, (ii) the realistic and flexible emulation of spatiotemporal mobility behavior, (iii) the structure of lifelike cellular network infrastructure and social interactions, and (iv) the combination of the three previous modules into realistic Cdrs traces with an individual basis, realistically. Results show that Zen's first and third models accurately capture individual and global distributions of a fully anonymized real-world Cdrs dataset, while the second model is consistent with the literature's revealed features in human mobility. Finally, we validate Zen Cdrs ability of reproducing daily cellular behaviors of the urban population and its usefulness in practical networking applications such as dynamic population tracing, Radio Access Network's power savings, and anomaly detection as compared to real-world CdRs.


title: A first-order augmented Lagrangian method for constrained minimax optimization

abstract: In this paper we study a class of constrained minimax problems. In particular, we propose a first-order augmented Lagrangian method for solving them, whose subproblems turn out to be a much simpler structured minimax problem and are suitably solved by a first-order method recently developed in [26] by the authors. Under some suitable assumptions, an \emph{operation complexity} of ${\cal O}(\varepsilon^{-4}\log\varepsilon^{-1})$, measured by its fundamental operations, is established for the first-order augmented Lagrangian method for finding an $\varepsilon$-KKT solution of the constrained minimax problems.


title: Distributed Control Strategy for Layered Barrier Coverage of Multi-Agent Systems in Uncertain Environments

abstract: This paper presents a distributed multi-layer ring barrier coverage algorithm. In order to achieve single-layer ring barrier coverage, a distributed single-layer ring barrier coverage algorithm that maximises the probability of monitoring is proposed. Considering the security risks of single-layer barrier coverage, a distributed adjustment mechanism between multiple layers of barriers is designed and combined with the single-layer ring barrier coverage algorithm to propose a distributed multi-layer ring barrier coverage algorithm. Furthermore, we present a theoretical analysis of the proposed algorithm to demonstrate its effectiveness and necessity. Finally, our algorithm is verified by numerical simulation and experiment.


title: Stoic Conceptual Modeling Applied to Business Process Modeling Notation (BPMN)

abstract: Basic abstraction principles are reached through ontology, which was traditionally conceived as a depiction of the world itself. Ontology is also described using conceptual modeling (CM) that defines fundamental concepts of reality. CM is one of the central activities in computer science, especially as it is mainly used in software engineering as an intermediate artifact for system construction. To achieve such a goal, we propose Stoic CM (SCM) as a description of what a system must do functionally with minimal ambiguity. As a case study, we apply SCM to investigate the ontology of BPMN (business process modeling notation). Such an undertaking would demonstrate SCM notions and simultaneously may offer a viable ontological foundation for BPMN. SCM defines the being of things and actions in reality based on Stoic notions of existence and subsistence. It has two levels of specification: (1) a subsistence static model where things and actions subsist and (2) an existence dynamic model where things and actions exist in time. From the Stoic ontological point of view, while a thing existing has a clear denotation, subsistence indicates the thing is being there, but it is inactive (does not participate in an event). We apply SCM to BPMN processes that involve buying a new car with many notions, such as activity, task, event, and message. The result indicates that SCM produces a tighter representation of reality, thus providing the necessary description of the part in the application world to be used as requirements for developing the software system.


title: Linked spaces and exit paths

abstract: Given a span of $\infty$-categories one of whose legs is a right fibration and the other a cofibration, we construct an $\infty$-category, the exit path $\infty$-category of the span. This gives access to stratified geometry by means only of unstratified objects.


title: Single-round Self-supervised Distributed Learning using Vision Transformer

abstract: Despite the recent success of deep learning in the field of medicine, the issue of data scarcity is exacerbated by concerns about privacy and data ownership. Distributed learning approaches, including federated learning, have been investigated to address these issues. However, they are hindered by the need for cumbersome communication overheads and weaknesses in privacy protection. To tackle these challenges, we propose a self-supervised masked sampling distillation method for the vision transformer. This method can be implemented without continuous communication and can enhance privacy by utilizing a vision transformer-specific encryption technique. We conducted extensive experiments on two different tasks, which demonstrated the effectiveness of our method. We achieved superior performance compared to the existing distributed learning strategy as well as the fine-tuning only baseline. Furthermore, since the self-supervised model created using our proposed method can achieve a general semantic understanding of the image, we demonstrate its potential as a task-agnostic self-supervised foundation model for various downstream tasks, thereby expanding its applicability in the medical domain.


title: On the Forces of Driver Distraction: Explainable Predictions for the Visual Demand of In-Vehicle Touchscreen Interactions

abstract: With modern infotainment systems, drivers are increasingly tempted to engage in secondary tasks while driving. Since distracted driving is already one of the main causes of fatal accidents, in-vehicle touchscreen Human-Machine Interfaces (HMIs) must be as little distracting as possible. To ensure that these systems are safe to use, they undergo elaborate and expensive empirical testing, requiring fully functional prototypes. Thus, early-stage methods informing designers about the implication their design may have on driver distraction are of great value. This paper presents a machine learning method that, based on anticipated usage scenarios, predicts the visual demand of in-vehicle touchscreen interactions and provides local and global explanations of the factors influencing drivers' visual attention allocation. The approach is based on large-scale natural driving data continuously collected from production line vehicles and employs the SHapley Additive exPlanation (SHAP) method to provide explanations leveraging informed design decisions. Our approach is more accurate than related work and identifies interactions during which long glances occur with 68 % accuracy and predicts the total glance duration with a mean error of 2.4 s. Our explanations replicate the results of various recent studies and provide fast and easily accessible insights into the effect of UI elements, driving automation, and vehicle speed on driver distraction. The system can not only help designers to evaluate current designs but also help them to better anticipate and understand the implications their design decisions might have on future designs.


title: First-Order Excited-State Quantum Phase Transition in the Transverse Ising Model with a Longitudinal Field

abstract: The investigation of the first-order quantum phase transition (QPT) is far from clarity in comparison to that of the second-order or continuous QPT, in which the order parameter and associated broken symmetry can be clearly identified and at the same time the concepts of universality class and critical scaling can be characterized by critical exponents. Here we present a compared study of these two kinds of QPT in the transverse Ising model. In the absence of a longitudinal field, the ground state of the model exhibits a second-order QPT from paramagnetic phase to ferromagnetic one, which is smeared out once the longitudinal field is applied. Surprisingly, the first excited state involves a first-order QPT as the longitudinal field increases, which has not been reported in literature. Within the framework of a pattern picture we clearly identify the difference between these two kinds of QPT: for the continuous QPT only the pattern flavoring ferromagnetic phase is always dominant over the others, and on the contrary, there exist at least two competitive patterns in the first-order QPT, which is further indicated by patterns' occupancies calculated by pattern projections on the ground and first excited states wavefunctions. Our result has not only a fundamental significance in the understandings of the nature of QPTs, but also a practical interest in quantum simulations used to test the present finding.


title: Diffusive stability and self-similar decay for the harmonic map heat flow

abstract: In this paper we study the harmonic map heat flow on the euclidean space $\mathbb{R}^d$ and we show an unconditional uniqueness result for maps with small initial data in the homogeneous Besov space $\dot{B}^{\frac{d}{p}}_{p,\infty}(\mathbb{R}^d)$ where $d<p<\infty$. As a consequence we obtain decay rates for solutions of the harmonic map flow of the form $\|\nabla u(t) \|_{L^\infty(\mathbb{R}^d)}\leq Ct^{-\frac12}$. Additionally, under the assumption of a stronger spatial localization of the initial conditions, we show that the temporal decay happens in a self-similar way. We also explain that similar results hold for the biharmonic map heat flow and the semilinear heat equation with a power-type nonlinearity.


title: Towards Long-Term Time-Series Forecasting: Feature, Pattern, and Distribution

abstract: Long-term time-series forecasting (LTTF) has become a pressing demand in many applications, such as wind power supply planning. Transformer models have been adopted to deliver high prediction capacity because of the high computational self-attention mechanism. Though one could lower the complexity of Transformers by inducing the sparsity in point-wise self-attentions for LTTF, the limited information utilization prohibits the model from exploring the complex dependencies comprehensively. To this end, we propose an efficient Transformerbased model, named Conformer, which differentiates itself from existing methods for LTTF in three aspects: (i) an encoder-decoder architecture incorporating a linear complexity without sacrificing information utilization is proposed on top of sliding-window attention and Stationary and Instant Recurrent Network (SIRN); (ii) a module derived from the normalizing flow is devised to further improve the information utilization by inferring the outputs with the latent variables in SIRN directly; (iii) the inter-series correlation and temporal dynamics in time-series data are modeled explicitly to fuel the downstream self-attention mechanism. Extensive experiments on seven real-world datasets demonstrate that Conformer outperforms the state-of-the-art methods on LTTF and generates reliable prediction results with uncertainty quantification.


title: Deep Learning for Breast MRI Style Transfer with Limited Training Data

abstract: In this work we introduce a novel medical image style transfer method, StyleMapper, that can transfer medical scans to an unseen style with access to limited training data. This is made possible by training our model on unlimited possibilities of simulated random medical imaging styles on the training set, making our work more computationally efficient when compared with other style transfer methods. Moreover, our method enables arbitrary style transfer: transferring images to styles unseen in training. This is useful for medical imaging, where images are acquired using different protocols and different scanner models, resulting in a variety of styles that data may need to be transferred between. Methods: Our model disentangles image content from style and can modify an image's style by simply replacing the style encoding with one extracted from a single image of the target style, with no additional optimization required. This also allows the model to distinguish between different styles of images, including among those that were unseen in training. We propose a formal description of the proposed model. Results: Experimental results on breast magnetic resonance images indicate the effectiveness of our method for style transfer. Conclusion: Our style transfer method allows for the alignment of medical images taken with different scanners into a single unified style dataset, allowing for the training of other downstream tasks on such a dataset for tasks such as classification, object detection and others.


title: Fragmentation of the High-mass "Starless'' Core G10.21-0.31: a Coherent Evolutionary Picture for Star Formation

abstract: G10.21-0.31 is a 70 $\mu$m-dark high-mass starless core ($M>300$ $\mathrm{M_{\odot}}$ within $r<0.15$ pc) identified in $Spitzer$, $Herschel$, and APEX continuum surveys, and is believed to harbor the initial stages of high-mass star formation. We present ALMA and SMA observations to resolve the internal structure of this promising high-mass starless core. Sensitive high-resolution ALMA 1.3 mm dust continuum emission reveals three cores of mass ranging 11-18 $\mathrm{M_{\odot}}$, characterized by a turbulent fragmentation. Core 1, 2, and 3 represent a coherent evolution at three different evolutionary stages, characterized by outflows (CO, SiO), gas temperature ($\mathrm{H_2CO}$), and deuteration ($\mathrm{N_2D^+/N_2H^+}$). We confirm the potential to form high-mass stars in G10.21 and explore the evolution path of high-mass star formation. Yet, no high-mass prestellar core is present in G10.21. This suggests a dynamical star formation where cores grow in mass over time.


title: Towards Table-to-Text Generation with Pretrained Language Model: A Table Structure Understanding and Text Deliberating Approach

abstract: Although remarkable progress on the neural table-to-text methods has been made, the generalization issues hinder the applicability of these models due to the limited source tables. Large-scale pretrained language models sound like a promising solution to tackle such issues. However, how to effectively bridge the gap between the structured table and the text input by fully leveraging table information to fuel the pretrained model is still not well explored. Besides, another challenge of integrating the deliberation mechanism into the text-to-text pretrained model for solving the table-to-text task remains seldom studied. In this paper, to implement the table-to-text generation with pretrained language model, we propose a table structure understanding and text deliberating approach, namely TASD. Specifically, we devise a three-layered multi-head attention network to realize the table-structure-aware text generation model with the help of the pretrained language model. Furthermore, a multi-pass decoder framework is adopted to enhance the capability of polishing generated text for table descriptions. The empirical studies, as well as human evaluation, on two public datasets, validate that our approach can generate faithful and fluent descriptive texts for different types of tables.


title: A Simple Derivation of the Gertsenshtein Effect

abstract: As shown by Gertsenshtein in 1961, an external magnetic field can catalyze the mixing of graviton and photon states in a manner analogous to neutrino-flavor oscillations. We first present a straightforward derivation of the mechanism by a method based on unpublished notes of Freeman Dyson. We next extend his method to include boundary conditions and retrieve the results of Boccaletti et al. from 1970. We point out that, although the coupling between the graviton and photon states is extremely weak, the large magnetic fields around neutron stars $\sim 10^{14}$ G make the Gertsenshtein effect a plausible source of gravitons. We also point out that axion-photon mixing, a subject of active current research, is essentially the same process as the Gertsenshtein effect, and so the general mechanism may be of broad astrophysical and cosmological interest.

categories: gr-qc astro-ph.HE hep-ph physics.class-ph


title: The earthquake network: the best time scale for network construction

abstract: Scientists mapped the seismic time series into networks by considering the geographical location of events as nodes and establishing links between the nodes with different rules. Applying the successive defined laws to construct the networks of seismic data, a variety of features of earthquake networks are detected (scale-free and small-world structures). Network construction models had changed in detail to optimize the performance of the verification of the minimum geographical size defined for the node. In all the studies, people try to use large data sets like years of data to ensure their results are good enough. In this work, by proposing the temporal network construction and employing the small-worldness property for data from Iran and California, we could achieve the minimum time scale needed for the best results. We verified the importance of this scale by analyzing two significant centrality measures (degree centrality and PageRank) introduced in the concept of earthquake network.


title: Test of Time: Instilling Video-Language Models with a Sense of Time

abstract: Modelling and understanding time remains a challenge in contemporary video understanding models. With language emerging as a key driver towards powerful generalization, it is imperative for foundational video-language models to have a sense of time. In this paper, we consider a specific aspect of temporal understanding: consistency of time order as elicited by before/after relations. We establish that seven existing video-language models struggle to understand even such simple temporal relations. We then question whether it is feasible to equip these foundational models with temporal awareness without re-training them from scratch. Towards this, we propose a temporal adaptation recipe on top of one such model, VideoCLIP, based on post-pretraining on a small amount of video-text data. We conduct a zero-shot evaluation of the adapted models on six datasets for three downstream tasks which require varying degrees of time awareness. We observe encouraging performance gains especially when the task needs higher time awareness. Our work serves as a first step towards probing and instilling a sense of time in existing video-language models without the need for data and compute-intense training from scratch.


title: Beyond Inverted Pendulums: Task-optimal Simple Models of Legged Locomotion

abstract: Reduced-order models (ROM) are popular in online motion planning due to their simplicity. A good ROM for control captures critical task-relevant aspects of the full dynamics while remaining low dimensional. However, planning within the reduced-order space unavoidably constrains the full model, and hence we sacrifice the full potential of the robot. In the community of legged locomotion, this has lead to a search for better model extensions, but many of these extensions require human intuition, and there has not existed a principled way of evaluating the model performance and discovering new models. In this work, we propose a model optimization algorithm that automatically synthesizes reduced-order models, optimal with respect to a user-specified distribution of tasks and corresponding cost functions. To demonstrate our work, we optimized models for a bipedal robot Cassie. We show in simulation that the optimal ROM reduces the cost of Cassie's joint torques by up to 23% and increases its walking speed by up to 54%. We also show hardware result that the real robot walks on flat ground with 10% lower torque cost. All videos and code can be found at https://sites.google.com/view/ymchen/research/optimal-rom.


title: Polaritonic Waveguide Emits Super-Planckian Thermal Radiation

abstract: Classical Planck's theory of thermal radiation predicts an upper limit of the heat transfer between two bodies separated by a distance longer than the dominant radiation wavelength (far-field regime). This limit can be overcome when the dimensions of the absorbent bodies are smaller than the dominant wavelength due to hybrid electromagnetic waves, known as surface phonon-polaritons (SPhPs). Here, we experimentally demonstrate that the far-field radiative heat transfer between two non-absorbent bodies can also overcome Planck's limit, by coating them with an absorbent material to form a polaritonic waveguide. This super-Planckian far-field thermal radiation is confirmed by measuring the radiative thermal conductance between two silicon plates coated with silicon dioxide nanolayers. The observed conductance is twice higher than Planck's limit and agrees with the predictions of our model for the SPhP waveguide modes. Our findings could be applied to thermal management in microelectronics and silicon photonics.


title: On the stability and convergence of Discontinuous Galerkin schemes for incompressible flow

abstract: The property that the velocity $\boldsymbol{u}$ belongs to $L^\infty(0,T;L^2(\Omega)^d)$ is an essential requirement in the definition of energy solutions of models for incompressible fluids. It is, therefore, highly desirable that the solutions produced by discretisation methods are uniformly stable in the $L^\infty(0,T;L^2(\Omega)^d)$-norm. In this work, we establish that this is indeed the case for Discontinuous Galerkin (DG) discretisations (in time and space) of non-Newtonian models with $p$-structure, assuming that $p\geq \frac{3d+2}{d+2}$; the time discretisation is equivalent to the RadauIIA Implicit Runge-Kutta method. We also prove (weak) convergence of the numerical scheme to the weak solution of the system; this type of convergence result for schemes based on quadrature seems to be new. As an auxiliary result, we also derive Gagliardo-Nirenberg-type inequalities on DG spaces, which might be of independent interest.


title: Spatiotemporal linear stability of viscoelastic subdiffusive channel flows: a fractional calculus framework

abstract: The temporal and spatiotemporal linear stability analyses of viscoelastic, subdiffusive, plane Poiseuille and Couette flows obeying the Fractional Upper Convected Maxwell (FUCM) equation in the limit of low to moderate Reynolds number ($Re$) and Weissenberg number ($We$), is reported to identify the regions of topological transition of the advancing flow interface. In particular, we demonstrate how the exponent in the subdiffusive power{\color{black}-}law scaling ($t^\alpha$, with $0 {\color{black} < } \alpha \le 1$) of the mean square displacement of the tracer particle, in the microscale [Mason and Weitz, Phys. Rev. Lett. {\bf 74}, 1250-1253 (1995)] is related to the fractional order of the derivative, $\alpha$, of the corresponding non-linear stress constitutive equation in the continuum. The stability studies are limited to two exponents: monomer diffusion in Rouse chain melts, $\alpha=\nicefrac{1}{2}$, and in Zimm chain solutions, $\alpha=\nicefrac{2}{3}$. The temporal stability analysis indicates that with decreasing order of the fractional derivative: (a) the most unstable mode decreases, (b) the peak of the most unstable mode shifts to lower values of $Re$, and (c) the peak of the most unstable mode, for the Rouse model precipitates towards the limit $Re \rightarrow 0$. The Briggs idea of analytic continuation is deployed to classify regions of temporal stability, absolute and convective instabilities and evanescent modes. The spatiotemporal phase diagram indicates an abnormal region of temporal stability at high fluid inertia, revealing the presence of a non-homogeneous environment with hindered flow, thus highlighting the potential of the model to effectively capture certain experimentally observed, flow-instability transition in subdiffusive flows.


title: PEAK: Explainable Privacy Assistant through Automated Knowledge Extraction

abstract: In the realm of online privacy, privacy assistants play a pivotal role in empowering users to manage their privacy effectively. Although recent studies have shown promising progress in tackling tasks such as privacy violation detection and personalized privacy recommendations, a crucial aspect for widespread user adoption is the capability of these systems to provide explanations for their decision-making processes. This paper presents a privacy assistant for generating explanations for privacy decisions. The privacy assistant focuses on discovering latent topics, identifying explanation categories, establishing explanation schemes, and generating automated explanations. The generated explanations can be used by users to understand the recommendations of the privacy assistant. Our user study of real-world privacy dataset of images shows that users find the generated explanations useful and easy to understand. Additionally, the generated explanations can be used by privacy assistants themselves to improve their decision-making. We show how this can be realized by incorporating the generated explanations into a state-of-the-art privacy assistant.


title: Semantic match: Debugging feature attribution methods in XAI for healthcare

abstract: The recent spike in certified Artificial Intelligence (AI) tools for healthcare has renewed the debate around adoption of this technology. One thread of such debate concerns Explainable AI (XAI) and its promise to render AI devices more transparent and trustworthy. A few voices active in the medical AI space have expressed concerns on the reliability of Explainable AI techniques and especially feature attribution methods, questioning their use and inclusion in guidelines and standards. Despite valid concerns, we argue that existing criticism on the viability of post-hoc local explainability methods throws away the baby with the bathwater by generalizing a problem that is specific to image data. We begin by characterizing the problem as a lack of semantic match between explanations and human understanding. To understand when feature importance can be used reliably, we introduce a distinction between feature importance of low- and high-level features. We argue that for data types where low-level features come endowed with a clear semantics, such as tabular data like Electronic Health Records (EHRs), semantic match can be obtained, and thus feature attribution methods can still be employed in a meaningful and useful way. Finally, we sketch a procedure to test whether semantic match has been achieved.


title: The VLT/SPHERE view of the ATOMIUM cool evolved star sample. I. Overview: Sample characterization through polarization analysis

abstract: Aims. Through the ATOMIUM project, based on an ALMA large program, we aim to present a consistent view of a sample of 17 nearby cool evolved stars (Aymptotic Giant Branch and red supergiant stars). Methods. Here we present VLT/SPHERE-ZIMPOL polarimetric maps obtained in the visible of 14 out of the 17 ATOMIUM sources. They were obtained contemporaneously with the ALMA high spatial resolution data. To help interpret the polarized signal, we produced synthetic maps of light scattering by dust, through 3D radiative transfer simulations with the RADMC3D code. Results. The degree of linear polarization (DoLP) observed by ZIMPOL spreads across several optical filters. We infer that it primarily probes dust located just outside of the point spread function, and in or near the plane of the sky, with a total optical depth close to unity in the line of sight, representing only a fraction of the total circumstellar dust. The maximum DoLP ranges from 0.03-0.38 depending on the source, fractions that can be reproduced by our 3D pilot models for grains composed of common dust species. The spatial structure of the DoLP shows a diverse set of shapes. Only for three sources do we note a correlation between the ALMA CO and SiO lines, which trace the gas density, and the DoLP, which traces the dust. Conclusion. The clumpiness of the DoLP and the lack of a consistent correlation between the gas and the dust location show that, in the inner circumstellar environment (CSE), dust formation occurs at very specific sites. This has potential consequences for the derived mass-loss rates and dust-to-gas ratio in the inner region of the CSE. Except for $\pi^1$~Gru and perhaps GY Aql, we do not detect interactions between the circumstellar wind and the hypothesized companions that shape the wind at larger scales. This suggests that the orbits of any other companions are tilted out of the plane of the sky.


title: Linking number of monotonic cycles in random book embeddings of complete graphs

abstract: A book embedding of a complete graph is a spatial embedding whose planar projection has the vertices located along a circle, consecutive vertices are connected by arcs of the circle, and the projections of the remaining "interior" edges in the graph are straight line segments between the points on the circle representing the appropriate vertices. A random embedding of a complete graph can be generated by randomly assigning relative heights to these interior edges. We study a family of two-component links that arise as the realizations of pairs of disjoint cycles in these random embeddings of graphs. In particular, we show that the distribution of linking numbers can be described in terms of Eulerian numbers. Consequently, the mean of the squared linking number over all random embeddings is $\frac{i}{6}$, where $i$ is the number of interior edges in the cycles. We also show that the mean of the squared linking number over all pairs of $n$-cycles in $K_{2n}$ grows linearly in $n$.


title: Self-Motivated Multi-Agent Exploration

abstract: In cooperative multi-agent reinforcement learning (CMARL), it is critical for agents to achieve a balance between self-exploration and team collaboration. However, agents can hardly accomplish the team task without coordination and they would be trapped in a local optimum where easy cooperation is accessed without enough individual exploration. Recent works mainly concentrate on agents' coordinated exploration, which brings about the exponentially grown exploration of the state space. To address this issue, we propose Self-Motivated Multi-Agent Exploration (SMMAE), which aims to achieve success in team tasks by adaptively finding a trade-off between self-exploration and team cooperation. In SMMAE, we train an independent exploration policy for each agent to maximize their own visited state space. Each agent learns an adjustable exploration probability based on the stability of the joint team policy. The experiments on highly cooperative tasks in StarCraft II micromanagement benchmark (SMAC) demonstrate that SMMAE can explore task-related states more efficiently, accomplish coordinated behaviours and boost the learning performance.


title: Re-calibration of the Sunspot Number: Status Report

abstract: We report progress on the ongoing recalibration of the Wolf sunspot number (SN) and Group sunspot number (GN) following the release of version 2.0 of SN in 2015. This report constitutes both an update of the efforts reported in the 2016 Topical Issue of Solar Physics and a summary of work by the International Space Science Institute (ISSI) International Team formed in 2017 to develop optimal SN and GN re-construction methods while continuing to expand the historical sunspot number database. Significant progress has been made on the database side while more work is needed to bring the various proposed SN and (primarily) GN reconstruction methods closer to maturity, after which the new reconstructions (or combinations thereof) can be compared with (a) ``benchmark'' expectations for any normalization scheme (e.g., a general increase in observer normalization factors going back in time), and (b) independent proxy data series such as F10.7 and the daily range of variations of Earth's undisturbed magnetic field. New versions of the underlying databases for SN and GN will shortly become available for years through 2022 and we anticipate the release of next versions of these two time series in 2024.


title: Minimal triangulation size of Seifert fibered spaces with boundary

abstract: One measure of the complexity of a 3-manifold is its triangulation complexity: the minimal number of tetrahedra in a triangulation of it. A natural question is whether we can relate this quantity to its topology. We determine the triangulation complexity of Seifert fibered spaces with non-empty boundary in terms of their Seifert data, up to a multiplicative constant. We also show that all singular fibres of such a Seifert fibered space (aside from those of multiplicity two) can be made simplicial in the 79th barycentric subdivision of any triangulation of it.


title: A Probabilistic Framework for Visual Localization in Ambiguous Scenes

abstract: Visual localization allows autonomous robots to relocalize when losing track of their pose by matching their current observation with past ones. However, ambiguous scenes pose a challenge for such systems, as repetitive structures can be viewed from many distinct, equally likely camera poses, which means it is not sufficient to produce a single best pose hypothesis. In this work, we propose a probabilistic framework that for a given image predicts the arbitrarily shaped posterior distribution of its camera pose. We do this via a novel formulation of camera pose regression using variational inference, which allows sampling from the predicted distribution. Our method outperforms existing methods on localization in ambiguous scenes. Code and data will be released at https://github.com/efreidun/vapor.


title: A MUSCL-like finite volumes approximation of the momentum convection operator for low-order nonconforming face-centred discretizations

abstract: We propose in this paper a discretization of the momentum convection operator for fluid flow simulations on quadrangular or hexahedral meshes. The space discretization is performed by the loworder nonconforming Rannacher-Turek finite element: the scalar unknowns are associated to the cells of the mesh, while the velocities unknowns are associated to the edges or faces. The momentum convection operator is of finite volume type, and its almost second order expression is derived by a MUSCL-like technique. The latter is of algebraic type, in the sense that the limitation procedure does not invoke any slope reconstruction, and is independent from the geometry of the cells. The derived discrete convection operator applies both to constant or variable density flows, and may thus be implemented in a scheme for incompressible or compressible flows. To achieve this goal, we derive a discrete analogue of the computation ui ($\partial$t($\rho$ui)+div($\rho$uiu) = 1 2 $\partial$t($\rho$u 2 i)+ 1 2 div($\rho$u 2 i u) (with u the velocity, ui one of its component, $\rho$ the density, and assuming that the mass balance holds) and discuss two applications of this result: firstly, we obtain stability results for a semi-implicit in time scheme for incompressible and barotropic compressible flows; secondly, we build a consistent, semi-implicit in time scheme that is based on the discretization of the internal energy balance rather than the total energy. The performance of the proposed discrete convection operator is assessed by numerical tests on the incompressible Navier-Stokes equations, the barotropic and the full compressible Navier-Stokes and the compressible Euler equations.


title: Long Time Dynamics of Nonequilibrium Electroconvection

abstract: The Nernst-Planck-Stokes (NPS) system models electroconvection of ions in a fluid. We consider the system, for two oppositely charged ionic species, on three dimensional bounded domains with Dirichlet boundary conditions for the ionic concentrations (modelling ion selectivity), Dirichlet boundary conditions for the electrical potential (modelling an applied potential), and no-slip boundary conditions for the fluid velocity. In this paper, we obtain quantitative bounds on solutions of the NPS system in the long time limit, which we use to prove 1) the existence of a compact global attractor with finite fractal (box-counting) dimension and 2) space-time averaged electroneutrality $\rho\approx 0$ in the singular limit of Debye length going to zero, $\epsilon\to 0$.


title: The three dimensional stochastic Zakharov system

abstract: We study the three dimensional stochastic Zakharov system in the energy space, where the Schr\"odinger equation is driven by linear multiplicative noise and the wave equation is driven by additive noise. We prove the well-posedness of the system up to the maximal existence time and provide a blow-up alternative. We further show that the solution exists at least as long as it remains below the ground state. Two main ingredients of our proof are refined rescaling transformations and the normal form method. Moreover, in contrast to the deterministic setting, our functional framework also incorporates the local smoothing estimate for the Schr\"odinger equation in order to control lower order perturbations arising from the noise. Finally, we prove a regularization by noise result which states that finite time blowup before any given time can be prevented with high probability by adding sufficiently large non-conservative noise. The key point of its proof is an estimate in Strichartz spaces for solutions of a Schr\"odinger type equation with a nonlocal potential involving the free wave.


title: Observation of linear and nonlinear light localization at the edges of moir\'e lattices

abstract: We observe linear and nonlinear light localization at the edges and in the corners of truncated moir\'e lattices created by the superposition of periodic mutually-twisted at Pythagorean angles square sublattices. Experimentally exciting corner linear modes in the fs-laser written moir\'e lattices we find drastic differences in their localization properties in comparison with the bulk excitations. We also address the impact of nonlinearity on the corner and bulk modes and experimentally observe the crossover from linear quasi-localized states to the surface solitons emerging at the higher input powers. Our results constitute the first experimental demonstration of localization phenomena induced by truncation of periodic moir\'e structures in photonic systems.

categories: physics.optics cond-mat.quant-gas math-ph math.MP nlin.PS


title: Fast-Scrambling and Operator Confinement Using an Auxiliary Qubit

abstract: We introduce a minimal model for realizing a fast-to-slow scrambling transition mediated by an auxiliary central qubit (c-qubit). The c-qubit is coupled to a spin-$1/2$ Ising model with local Ising interactions and tunable c-qubit-spin coupling. Each spin becomes next-nearest neighbor to all others through the c-qubit, which mediates effective all-to-all interactions. As the interaction with the c-spin increases, we find a surprising transition from super-ballistic scrambling and information growth to continuously restricted sub-ballistic entanglement and operator growth. This slow growth occurs on intermediate timescales that extend exponentially with increasing coupling and system size, indicative of logarithmic entanglement growth. We find that in the slow-scrambling regime, the c-qubit Ising interaction allows commuting operators to grow support on all sites rapidly, while operators orthogonal to the interaction become echoed out. This projects local operators to lie in a restricted subspace and prevents extensive operator entanglement growth. We provide exact dynamics of small systems working with non-equilibrium, effective infinite temperature states, and additionally contribute analytic early-time expansions that support the observed rapid scrambling to quantum Zeno-like crossover. Tracing out the central qubit provides a unique translation from the full, closed unitary dynamics to a simple open system construction consisting of a typical spin-chain with hidden qubit degree of freedom.


title: DepthP+P: Metric Accurate Monocular Depth Estimation using Planar and Parallax

abstract: Current self-supervised monocular depth estimation methods are mostly based on estimating a rigid-body motion representing camera motion. These methods suffer from the well-known scale ambiguity problem in their predictions. We propose DepthP+P, a method that learns to estimate outputs in metric scale by following the traditional planar parallax paradigm. We first align the two frames using a common ground plane which removes the effect of the rotation component in the camera motion. With two neural networks, we predict the depth and the camera translation, which is easier to predict alone compared to predicting it together with rotation. By assuming a known camera height, we can then calculate the induced 2D image motion of a 3D point and use it for reconstructing the target image in a self-supervised monocular approach. We perform experiments on the KITTI driving dataset and show that the planar parallax approach, which only needs to predict camera translation, can be a metrically accurate alternative to the current methods that rely on estimating 6DoF camera motion.


title: Double scaling limit of the prismatic tensor model

abstract: In S. Giombi, I. Klebanov, F. Popov, S. Prakash and G. Tarnopolsky, {\it Phys. Rev.} {\bf D} 98 (2018) 10, 105005, a prismatic tensor model was introduced. We study here the diagrammatics and the double scaling limit of this model, using the intermediate field method. We explicitly exhibit the next-to-leading order Feynman graphs in the $1/N$ expansion. Using appropriate combinatorial tools, we further study the general term of the $1/N$ expansion and we compute the $2-$point function in the double scaling limit.


title: Strong decays of $P_{\psi}^N(4312)^+$ to $J/\psi(\eta_c) p$ and $\bar D^{(*)}\Lambda_c$ within the Bethe-Salpeter framework

abstract: Based on the effective Lagrangian in the heavy quark limit, we calculate the one-boson-exchange interaction kernel of $P_\psi^N(4312)^+$ as the $\bar D\Sigma_c$ molecular state in isospin-$\frac12$. We present the Bethe-Salpeter equation and wave function for the constituent particles to be a (pseudo)scalar meson and a $\frac12$ baryon. By solving the Bethe-Salpeter equation, we obtain $P_\psi^N(4312)^+$ as the $\bar D\Sigma_c$ molecular state with $J^P=(\frac{1}{2})^-$. Combining the effective Lagrangian and the obtained BS wave function, the partial decay widths of $P_\psi^N(4312)^+$ to $J/\psi p$, $\eta_c p$, $\bar D^{*0}\Lambda_c^+$ and $\bar D^0\Lambda_c^+$ are calculated to be $0.17$, $0.085$, $8.8$, and $0.026$ MeV, respectively, which are roughly consistent with the LHCb experimental measurements and some other theoretical researches. The obtain results indicate the fraction of $\bar D^{*0}\Lambda_c^+$ channel amounts to $\sim90\%$ of $P_\psi^N(4312)^+$, and is a highly promising channel to be discovered in the near future experiments. Our results favor the interpretation of $P_\psi^N(4312)^+$ as the $\bar D\Sigma_c$ molecular state with $J^P=(\frac{1}{2})^-$ and isospin $I=\frac12$.


title: Generic transversality of travelling fronts, standing fronts, and standing pulses for parabolic gradient systems

abstract: For nonlinear parabolic systems of the form \[ \partial_t w(x,t) = \partial_{x}^2 w(x,t) - \nabla V\bigl(w(x,t)\bigr) \,, \] the following conclusions are proved to hold generically with respect to the potential $V$: every travelling front invading a minimum point of $V$ is bistable, there is no standing front, every standing pulse is stable at infinity, the profiles of these fronts and pulses approach their limits at $\pm\infty$ tangentially to the eigenspaces corresponding to the smallest eigenvalues of $D^2V$ at these points, these fronts and pulses are robust with respect to small perturbations of the potential, and the set of their profiles is discrete. These conclusions are obtained as consequences of generic transversality results for heteroclinic and homoclinic solutions of the differential systems governing the profiles of such fronts and pulses. Among these results, it is proved that, for a generic Hamiltonian system of the form \[ \ddot u=\nabla V(u) \,, \] every asymmetric homoclinic orbit is transverse and every symmetric homoclinic orbit is elementary.


title: Control of magnetic response in curved stripes by tailoring cross-section

abstract: Curved magnetic architectures are key enablers of the prospective magnetic devices with respect to size, functionality and speed. By exploring geometry-governed magnetic interactions, curvilinear magnetism offers a number of intriguing effects in curved magnetic wires and curved magnetic films. The applicability of the current micromagnetic theory requires that the sample has constant width and thickness, which does not correspond in many cases to specificity of experimental sample preparation. Here, we put forth a self-consistent micromagnetic framework of curvilinear magnetism of nanowires and narrow stripes with spatially inhomogeneous cross-section. The influence of the varying cross-section is exploited and illustrated by an example of the simplest topological texture, which is a transversal head-to-head (tail-to-tail) domain wall. The cross-section gradient becomes a source of domain wall pinning which competes the curvature gradient. Eigenfrequencies of the domain wall free oscillations at the pinning potential are determined by both curvature and cross-section gradients. Prospects for curvilinear magnonics and spintronics are discussed.


title: Matching lattice QC+ED to Nature

abstract: The first step of any QFT calculation, aiming at phenomenological predictions, is the matching of the theory to Nature. The matching procedure fixes the parameters of the theory in terms of an equal number of external inputs that, if the theory is expected to reproduce observations, must be experimentally measured physical quantities. At the sub-percent level of accuracy QED radiative corrections become important and the theory expected to describe the hadronic Universe is QCD+QED. Phenomenological predictions deriving from lattice QCD calculations do depend, at this level of precision, upon the choice of the external inputs used to match/define the approximate theory. In this written version of my talk I concentrate on the theoretical aspects of the matching procedure of lattice QCD$+$QED and of the definition of QCD, strongly advocating a community agreement on the matching scheme to be used in future lattice QCD calculations.


title: Another look at Stein's method for Studentized nonlinear statistics with an application to U-statistics

abstract: We take another look at using Stein's method to establish uniform Berry-Esseen bounds for Studentized nonlinear statistics, highlighting variable censoring and an exponential randomized concentration inequality for a sum of censored variables as the essential tools to carry the arguments involved. As an important application, we prove a uniform Berry-Esseen bound for Studentized U-statistics in a form that exhibits the dependence on the degree of the kernel.


title: Learning Goal-Conditioned Policies Offline with Self-Supervised Reward Shaping

abstract: Developing agents that can execute multiple skills by learning from pre-collected datasets is an important problem in robotics, where online interaction with the environment is extremely time-consuming. Moreover, manually designing reward functions for every single desired skill is prohibitive. Prior works targeted these challenges by learning goal-conditioned policies from offline datasets without manually specified rewards, through hindsight relabelling. These methods suffer from the issue of sparsity of rewards, and fail at long-horizon tasks. In this work, we propose a novel self-supervised learning phase on the pre-collected dataset to understand the structure and the dynamics of the model, and shape a dense reward function for learning policies offline. We evaluate our method on three continuous control tasks, and show that our model significantly outperforms existing approaches, especially on tasks that involve long-term planning.


title: Limit theorems for iid products of positive matrices

abstract: We study stochastic properties of the norm cocycle associated with iid products of positive matrices. We obtain the almost sure invariance principle (ASIP) with rate o(n 1/p) under the optimal condition of a moment or order p > 2 and the Berry-Esseen theorem with rate O(1/ $\sqrt$ n) under the optimal condition of a moment of order 3. The results are also valid for the matrix norm. For the matrix coefficients, we also have the ASIP but we obtain only partial results for the Berry-Esseen theorem. The proofs make use of coupling coefficients that surprisingly decay exponentially fast to 0 while there is only a polynomial decay in the case of invertible matrices. All the results are actually valid in the context of iid products of matrices leaving invariant a suitable cone.


title: Discovery of a resolved white dwarf-brown dwarf binary with a small projected separation: SDSS J222551.65+001637.7AB

abstract: We present the confirmation of SDSS J222551.65+001637.7AB as a closely separated, resolved, white dwarf-brown dwarf binary. We have obtained spectroscopy from GNIRS and seeing-limited $K_s$-band imaging from NIRI on Gemini North. The target is spatially resolved into its constituent components: a 10926$ \pm$ 246 K white dwarf, with log $g = 8.214 \pm 0.168$ and a mass of 0.66$^{+0.11}_{-0.06}$ M$_{\odot}$, and an L4 brown dwarf companion, which are separated by $0.9498 \pm 0.0022$". We derive the fundamental properties of the companion from the Sonora-Bobcat evolutionary models, finding a mass of $25-53$ M$_{\text{Jup}}$ and a radius of $0.101-0.128$ R$_{\odot}$ for the brown dwarf, at a confidence level of 1$\sigma$. We use wdwarfdate to determine the age of the binary as $1.97^{+4.41}_{-0.76}$ Gyr. A kinematic analysis shows that this binary is likely a member of the thick disc. The distance to the binary is 218$^{+14}_{-13}$ pc, and hence the projected separation of the binary is 207$^{+13}_{-12}$ AU. Whilst the white dwarf progenitor was on the main sequence the binary separation would have been $69 \pm 5$ AU. SDSS J222551.65+001637.7AB is the third closest spatially resolved white dwarf-brown dwarf binary after GD 165AB and PHL 5038AB.


title: Linking Souls to Humans with ZKBID: Accountable Anonymous Blockchain Accounts for Web 3.0 Decentralized Identity

abstract: A decentralized identity system that can provide users with self-sovereign digital identities to facilitate complete control over their own data is paramount to Web 3.0. The accounting system on blockchain is an ideal archetype for realizing Web 3.0 decentralized identity: users can create their accounts without registering with a central agent. Such an identity system is endowed with anonymity property: nobody knows the account's owner because the relationship between an account and the owner is invisible. Thus, user privacy is well protected even though the account's data is public. However, a disadvantage of such complete anonymity is that users can create multiple accounts without authentication to obfuscate their activities on the blockchain. In particular, the current anonymous blockchain account system cannot accurately register the social relationships and interactions between real human users, given the amorphous mappings between users and blockchain identities. Mistrust can be a major hurdle to the large-scale deployment of Web 3.0. This work proposes ZKBID, a zero-knowledge blockchain-account-based Web 3.0 decentralized identity scheme, to overcome endemic mistrust in blockchain account systems. ZKBID links souls (blockchain accounts) to humans (users) in a one-to-one manner to truly reflect the societal relationships and interactions between humans on the blockchain. With ZKBID, the users are accountable for their accounts anonymously, preserving privacy. ZKBID authenticates users using face match and then maps authenticated users to accounts. Zero-knowledge proofs encode the face match results, and user-account mappings employ linkable ring signatures to preserve anonymity. We implemented ZKBID and built a blockchain test network for evaluation purposes. Our tests demonstrate the effectiveness of ZKBID and suggest proper ways to configure ZKBID system parameters.


title: Quantum metrology with boundary time crystals

abstract: Quantum sensing is one of the arenas that exemplifies the superiority of quantum technologies over their classical counterparts. Such superiority, however, can be diminished due to unavoidable noise and decoherence of the probe. Thus, metrological strategies to fight against or profit from decoherence are highly desirable. This is the case of certain types of decoherence-driven many-body systems supporting dissipative phase transitions, which might be helpful for sensing. Boundary time crystals are exotic dissipative phases of matter in which the time-translational symmetry is broken, and long-lasting oscillations emerge in open quantum systems at the thermodynamic limit. We show that the transition from a symmetry unbroken into a boundary time crystal phase, described by a second-order transition, reveals quantum-enhanced sensitivity quantified through quantum Fisher information. We also determine the critical exponents of the system and establish their relationship. Our scheme is indeed a demonstration of harnessing decoherence for achieving quantum-enhanced sensitivity. From a practical perspective, it has the advantage of being independent of initialization and can be captured by a simple measurement.


title: Transition of the simple random walk on the graph of the ice-model

abstract: The 6-vertex model is a seminal model for many domains in Mathematics and Physics. The sets of configurations of the 6-vertex model can be described as the sets of paths in multigraphs. In this article the transition probability of the simple random walk on the multigraphs is computed. The unexpected point of the results is the use of continuous fractions to compute the transition probability.


title: Topology and emergent symmetries in dense compact star matter

abstract: It has been found that the topology effect and the possible emergent scale and hidden local flavor symmetries at high density reveal a novel structure of the compact star matter. The $N_f\geq2$ baryons can be described by the skyrmion in the large $N_c$ limit and there is a robust topology change in the skyrmion matter approach to dense nuclear matter. The hidden scale and local flavor symmetries which are sources introducing the lightest scalar meson -- dilaton -- and lowest lying vector mesons into to nonlinear chiral effective theory are seen to play important roles in understanding the nuclear force. We review in this paper the generalized nuclear effective theory (G$n$EFT), which applicable to nuclear matter from low density to the compact star density, constructed with the robust conclusion from the topology approach to dense matter and emergent scale and hidden local flavor symmetries. The topology change at density larger than two times saturation density $n_0$ encoded in the parameters of the effective field theory is interpreted as the hadron-quark continuity in the sense of Cheshire Cat Principle. A novel feature predicted in this theory that has not been found before is the precocious appearance of the conformal sound velocity in the cores of massive stars, although the trace of the energy-momentum tensor of the system is not zero. That is, in contrast to the usual picture, the cores of massive stars are composed of quasiparticles of fractional baryon charges, neither baryons nor deconfined quarks. Hidden scale and local flavor symmetries emerge and give rise a resolution of the longstanding $g_A$ quench problem in nuclei transition. To illustrate the rationality of the GnEFT, we finally confront the generalized effective field theory to the global properties of neutron star and the data from gravitational wave detections.


title: Convex Solutions to the Virtual Source Reflector Problem

abstract: We greatly expand upon the results of Kochengin, Oliker and Tempeski [S. Kochengin, V. Oliker, O. von Tempeski, On the design of reflectors with prescribed distribution of virtual sources and intensities, Inverse Problems 14 (1998) 661-678.] to include results for uniqueness in the general case. We also include results for existence in the rotationally symmetric case and the case where the target set is sufficiently small.


title: Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

abstract: We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.


title: Ultrashort laser pulses with chromatic astigmatism

abstract: Ultrashort laser pulses are described having chromatic astigmatism, where the astigmatic phase varies linearly with the offset from the central frequency. Such a spatio-temporal coupling not only induces interesting space-frequency and space-time effects, but it removes cylindrical symmetry. We analyze the quantitative effects on the spatio-temporal pulse structure on the collimated beam and as it propagates through a focus, with both the fundamental Gaussian beam and Laguerre-Gaussian beams. Chromatic astigmatism is a new type of spatio-temporal coupling towards arbitrary higher complexity beams that still have a simple description, and may be applied to imaging, metrology, or ultrafast light-matter interaction.


title: Theories of gravity with nonminimal matter-curvature coupling and the de Sitter swampland conjectures

abstract: We discuss, in the context of alternative theories of gravity with nonminimal coupling between matter and curvature, if inflationary solutions driven by a single scalar field can be reconciled with the swampland conjectures about the emergence of de Sitter solutions in string theory. We find that the slow-roll conditions are incompatible with the swampland conjectures for a fairly generic inflationary solution in such alternative theories of gravity.


title: FICE: Text-Conditioned Fashion Image Editing With Guided GAN Inversion

abstract: Fashion-image editing represents a challenging computer vision task, where the goal is to incorporate selected apparel into a given input image. Most existing techniques, known as Virtual Try-On methods, deal with this task by first selecting an example image of the desired apparel and then transferring the clothing onto the target person. Conversely, in this paper, we consider editing fashion images with text descriptions. Such an approach has several advantages over example-based virtual try-on techniques, e.g.: (i) it does not require an image of the target fashion item, and (ii) it allows the expression of a wide variety of visual concepts through the use of natural language. Existing image-editing methods that work with language inputs are heavily constrained by their requirement for training sets with rich attribute annotations or they are only able to handle simple text descriptions. We address these constraints by proposing a novel text-conditioned editing model, called FICE (Fashion Image CLIP Editing), capable of handling a wide variety of diverse text descriptions to guide the editing procedure. Specifically with FICE, we augment the common GAN inversion process by including semantic, pose-related, and image-level constraints when generating images. We leverage the capabilities of the CLIP model to enforce the semantics, due to its impressive image-text association capabilities. We furthermore propose a latent-code regularization technique that provides the means to better control the fidelity of the synthesized images. We validate FICE through rigorous experiments on a combination of VITON images and Fashion-Gen text descriptions and in comparison with several state-of-the-art text-conditioned image editing approaches. Experimental results demonstrate FICE generates highly realistic fashion images and leads to stronger editing performance than existing competing approaches.


title: Neural Codec Language Models are Zero-Shot Text to Speech Synthesizers

abstract: We introduce a language modeling approach for text to speech synthesis (TTS). Specifically, we train a neural codec language model (called Vall-E) using discrete codes derived from an off-the-shelf neural audio codec model, and regard TTS as a conditional language modeling task rather than continuous signal regression as in previous work. During the pre-training stage, we scale up the TTS training data to 60K hours of English speech which is hundreds of times larger than existing systems. Vall-E emerges in-context learning capabilities and can be used to synthesize high-quality personalized speech with only a 3-second enrolled recording of an unseen speaker as an acoustic prompt. Experiment results show that Vall-E significantly outperforms the state-of-the-art zero-shot TTS system in terms of speech naturalness and speaker similarity. In addition, we find Vall-E could preserve the speaker's emotion and acoustic environment of the acoustic prompt in synthesis. See https://aka.ms/valle for demos of our work.


title: Understanding the Role of Triplet-triplet Annihilation in Non-fullerene Acceptor Organic Solar Cells

abstract: Non-fullerene acceptors (NFAs) have enabled power conversion efficiencies exceeding 19% in organic solar cells (OSCs). However, the open-circuit voltage of OSCs remains low relative to their optical gap due to excessive non-radiative recombination, and this now limits performance. Here, we consider an important aspect of OSC design, namely management of the triplet exciton population formed after non-geminate charge recombination. By comparing the blends PM6:Y11 and PM6:Y6, we show that the greater crystallinity of the NFA domains in PM6:Y11 leads to a higher rate of triplet-triplet annihilation (TTA). We attribute this to the four times larger ground state dipole moment of Y11 versus Y6, which improves the long range NFA out-of-plane ordering. Since TTA converts a fraction of the non-emissive triplet states into bright singlet states, it has the potential to reduce non-radiative voltage losses. Through a kinetic analysis of the recombination processes under 1-Sun illumination, we provide a framework for determining the conditions under which TTA may improve OSC performance. If these could be satisfied, TTA has the potential to reduce non-radiative voltage losses by up to several tens of mV and could thus improve OSC performance.


title: Anaphora Resolution in Dialogue: System Description (CODI-CRAC 2022 Shared Task)

abstract: We describe three models submitted for the CODI-CRAC 2022 shared task. To perform identity anaphora resolution, we test several combinations of the incremental clustering approach based on the Workspace Coreference System (WCS) with other coreference models. The best result is achieved by adding the ''cluster merging'' version of the coref-hoi model, which brings up to 10.33% improvement 1 over vanilla WCS clustering. Discourse deixis resolution is implemented as multi-task learning: we combine the learning objective of corefhoi with anaphor type classification. We adapt the higher-order resolution model introduced in Joshi et al. (2019) for bridging resolution given gold mentions and anaphors.


title: Critical groups of arithmetical structures on star graphs and complete graphs

abstract: An arithmetical structure on a finite, connected graph without loops is an assignment of positive integers to the vertices that satisfies certain conditions. Associated to each of these is a finite abelian group known as its critical group. We show how to determine the critical group of an arithmetical structure on a star graph or complete graph in terms of the entries of the arithmetical structure. We use this to investigate which finite abelian groups can occur as critical groups of arithmetical structures on these graphs.


title: Evidence of coherence in strong-field electron photoemission from a semiconductor

abstract: Strong-field quantum electronics is emerging as a potential candidate in information processing but still coherence vs decoherence is a primary concern of the concept. Strong-field coherent processes in band gap materials have led during the last decade to the emergence of high harmonic generation in semiconductors, petahertz electronics, or strong-field quantum states. However, the coherent behavior of the sub-optical cycle-driven electrons has never been directly observed. We report here on the experimental evidence of coherent ultrashort emission of hot electrons from a nanostructured semiconductor. Our method uses sub-wavelength electric field enhancement to localize the electron emission within a nanometer-scale spot. We found similarities with the electron emission from metallic nanotips in the strong-field regime, a topic that has opened a vast domain of applications during the last decade. The electron spectra display both odd and even harmonic orders of the driving femtosecond laser frequency, a signature of the coherent nature of the electron emission and their attosecond timing. Our findings complete our knowledge of phenomena governing coherent strong-field processes in semiconductors and open perspectives for the generation of future quantum devices operating in the strong-field regime.


title: Simulated performance of the molecular mapping for young giant exoplanets with the Medium Resolution Spectrometer of JWST/MIRI

abstract: Young giant planets are the best targets for characterization with direct imaging. The Medium Resolution Spectrometer (MRS) of the Mid-Infrared Instrument (MIRI) of the recently launched James Webb Space Telescope (JWST) will give access to the first spectroscopic data for direct imaging above 5 $\mu$m with unprecedented sensitivity at a spectral resolution up to 3700. This will provide a valuable complement to near-infrared data from ground-based instruments for characterizing these objects. We aim to evaluate the performance of MIRI/MRS to detect molecules in the atmosphere of exoplanets and to constrain atmospheric parameters using Exo-REM atmospheric models. The molecular mapping technique, based on cross-correlation with synthetic models, has been introduced recently. This promising detection and characterization method is tested on simulated MIRI/MRS data. Directly imaged planets can be detected with MIRI/MRS, and we are able to detect molecules (H$_2$O, CO, NH$_3$, CH$_4$, HCN, PH$_3$, CO$_2$) at various angular separation depending on the strength of the molecular features and brightness of the target. We find that the stellar spectral type has a weak impact on the detection level. This method is globally most efficient for planets with temperatures below 1500 K, for bright targets and angular separation greater than 1$''$. Our parametric study allows us to anticipate the ability to characterize planets that would be detected in the future. The MIRI/MRS will give access to molecular species not yet detected in exoplanetary atmospheres. The detection of molecules as indicators of the temperature of the planets will make it possible to discriminate between the various hypotheses of the preceding studies, and the derived molecular abundance ratios should bring new constraints on planetary formation scenarios.


title: Probing RG flows, symmetry resolution and quench dynamics through the capacity of entanglement

abstract: We compare the capacity of entanglement with the entanglement entropy by considering various aspects of these quantities for free bosonic and fermionic models in one spatial dimension, both in the continuum and on the lattice. Substantial differences are observed in the subleading terms of these entanglement quantifiers when the subsystem is made by two disjoint intervals, in the massive scalar field and in the fermionic chain. We define $c$-functions based on the capacity of entanglement similar to the one based on the entanglement entropy, showing through a numerical analysis that they display a monotonic behaviour under the renormalisation group flow generated by the mass. The capacity of entanglement and its related quantities are employed to explore the symmetry resolution. The temporal evolutions of the capacity of entanglement and of the corresponding contour function after a global quench are also discussed.


title: Origin of Multifractality in Solar Wind Turbulence: the Role of Current Sheets

abstract: In this work, a multifractal framework is proposed to investigate the effects of current sheets in solar wind turbulence. By using multifractal detrended fluctuation analysis coupled with surrogate methods and volatility, two solar wind magnetic field time series are investigated, one with current sheets and one without current sheets. Despite the lack of extreme-events intermittent bursts in the current sheet-free series, both series are shown to be strongly multifractal, although the current sheet-free series displays an almost linear behavior for the scaling exponent of structure functions. Long-range correlations are shown to be the main source of multifractality for the series without current sheets, while a combination of heavy-tail distribution and nonlinear correlations are responsible for multifractality in the series with current sheets. The multifractality in both time series is formally shown to be associated with an energy-cascade process using the p-model.


title: A tensor bidiagonalization method for higher-order singular value decomposition with applications

abstract: The need to know a few singular triplets associated with the largest singular values of third-order tensors arises in data compression and extraction. This paper describes a new method for their computation using the t-product. Methods for determining a couple of singular triplets associated with the smallest singular values also are presented. The proposed methods generalize available restarted Lanczos bidiagonalization methods for computing a few of the largest or smallest singular triplets of a matrix. The methods of this paper use Ritz and harmonic Ritz lateral slices to determine accurate approximations of the largest and smallest singular triplets, respectively. Computed examples show applications to data compression and face recognition.


title: Reprogramming Pretrained Language Models for Protein Sequence Representation Learning

abstract: Machine Learning-guided solutions for protein learning tasks have made significant headway in recent years. However, success in scientific discovery tasks is limited by the accessibility of well-defined and labeled in-domain data. To tackle the low-data constraint, recent adaptions of deep learning models pretrained on millions of protein sequences have shown promise; however, the construction of such domain-specific large-scale model is computationally expensive. Here, we propose Representation Learning via Dictionary Learning (R2DL), an end-to-end representation learning framework in which we reprogram deep models for alternate-domain tasks that can perform well on protein property prediction with significantly fewer training samples. R2DL reprograms a pretrained English language model to learn the embeddings of protein sequences, by learning a sparse linear mapping between English and protein sequence vocabulary embeddings. Our model can attain better accuracy and significantly improve the data efficiency by up to $10^5$ times over the baselines set by pretrained and standard supervised methods. To this end, we reprogram an off-the-shelf pre-trained English language transformer and benchmark it on a set of protein physicochemical prediction tasks (secondary structure, stability, homology, stability) as well as on a biomedically relevant set of protein function prediction tasks (antimicrobial, toxicity, antibody affinity).


title: Dynamical origin of Dimorphos from fast spinning Didymos

abstract: Didymos is a binary near-Earth asteroid. It is the target of the DART and HERA space missions. The primary body, Didymos, rotates close to the spin at which it is expected to shed mass. The secondary body, Dimorphos, is a 140 meters moon that orbits the primary body in about 12 hours. Here we investigate the possible origin of Dimorphos. Using 1D models of ring/satellite interactions, we study the evolution of material lost from Didymos' surface and deposited as a ring at its equator. We find that due to viscous spreading, the ring spreads outside the Didymos' Roche limit forming moonlets. A fraction of the mass will form Dimorphos and a set of objects near the Roche limit, while most of the ring's mass falls back on Didymos. To match the properties of today's Dimorphos, the total mass that must be deposited in the ring is about 25% of Didymos' mass. It is possible that a fraction of the material travelled several times between the ring and the surface of Didymos. The models produce an orbit similar to that observed for a Didymos tidal parameter k2/Q<1e-5. If the ring deposition timescale is long (>100 yr) (so the material flux is small) Dimorphos could be irregularly shaped as it forms from the collision of similar-sized satellitesimals. However, the top-shape of Didymos is expected to be achieved due to a fast spin-up of the asteroid, which would result in a short deposition timescale (<yr). In that case, the satellite would form from progressively accreting material at the Roche Limit, resulting in an ellipsoidal Dimorphos constructed of small pieces with sizes of the order of meters, which is apparently in agreement with the recent images of Dimorphos obtained by DART mission.


title: Mapping confinement potentials and charge densities of interacting quantum systems using conditional generative adversarial networks

abstract: Accurate and efficient tools for calculating the ground state properties of interacting quantum systems are essential in the design of nanoelectronic devices. The exact diagonalization method fully accounts for the Coulomb interaction beyond mean field approximations and it is regarded as the gold-standard for few electron systems. However, by increasing the number of instances to be solved, the computational costs become prohibitive and new approaches based on machine learning techniques can provide a significant reduction in computational time and resources, maintaining a reasonable accuracy. Here, we employ {\tt pix2pix}, a general-purpose image-to-image translation method based on conditional generative adversarial network (cGAN), for predicting ground state densities from randomly generated confinement potentials. Other mappings were also investigated, like potentials to non-interacting densities and the translation from non-interacting to interacting densities. The architecture of the cGAN was optimized with respect to the internal parameters of the generator and discriminator. Moreover, the inverse problem of finding the confinement potential given the interacting density can also be approached by the pix2pix mapping, which is an important step in finding near-optimal solutions for confinement potentials.


title: Character Simulation Using Imitation Learning With Game Engine Physics

abstract: Creating visual 3D sensing characters that interact with AI peers and virtual environments can be a difficult task for those with less experience in using learning algorithms or creating visual environments to execute an agent-based simulation. In this paper, the use of game engines as a tool to create and execute graphic simulations with 3D sensing characters is being explored with plugins such as ML-Agents for the Unity3D game engine. This allows the simulation of agents using off-the-shelf algorithms and using the game engine's motor for the visualizations of these agents. We explore the use of these tools to create visual bots for games, and teach them how to play the game until they reach a level where they can serve as adversaries for real-life players in interactive games.


title: R\'enyi entropies for one-dimensional quantum systems with mixed boundary conditions

abstract: We present a general method for calculating R\'enyi entropies in the ground state of a one-dimensional critical system with mixed open boundaries, for an interval starting at one of its ends. In the conformal field theory framework, this computation boils down to the evaluation of the correlation function of one twist field and two boundary condition changing operators in the cyclic orbifold. Exploiting null-vectors of the cyclic orbifold, we derive ordinary differential equations satisfied by these correlation functions. In particular, we obtain an explicit expression for the second R\'enyi entropy valid for any diagonal minimal model, but with a particular set of mixed boundary conditions. In order to compare our results with numerical data for the Ising and three-state Potts critical chains, we also identify and compute the leading finite size corrections.

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


title: Defining Logical Systems via Algebraic Constraints on Proofs

abstract: We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof system for a target logic by enriching a proof system for another, typically simpler, logic with an algebra of constraints that act as correctness conditions on the latter to capture the former; for example, one may use Boolean algebra to give constraints in a sequent calculus for classical propositional logic to produce a sequent calculus for intuitionistic propositional logic. The idea behind such forms of reduction is to obtain a tool for uniform and modular treatment of proof theory and provide a bridge between semantics logics and their proof theory. The article discusses the theoretical background of the project and provides several illustrations of its work in the field of intuitionistic and modal logics. The results include the following: a uniform treatment of modular and cut-free proof systems for a large class of propositional logics; a general criterion for a novel approach to soundness and completeness of a logic with respect to a model-theoretic semantics; and, a case study deriving a model-theoretic semantics from a proof-theoretic specification of a logic.


title: CRADL: Contrastive Representations for Unsupervised Anomaly Detection and Localization

abstract: Unsupervised anomaly detection in medical imaging aims to detect and localize arbitrary anomalies without requiring annotated anomalous data during training. Often, this is achieved by learning a data distribution of normal samples and detecting anomalies as regions in the image which deviate from this distribution. Most current state-of-the-art methods use latent variable generative models operating directly on the images. However, generative models have been shown to mostly capture low-level features, s.a. pixel-intensities, instead of rich semantic features, which also applies to their representations. We circumvent this problem by proposing CRADL whose core idea is to model the distribution of normal samples directly in the low-dimensional representation space of an encoder trained with a contrastive pretext-task. By utilizing the representations of contrastive learning, we aim to fix the over-fixation on low-level features and learn more semantic-rich representations. Our experiments on anomaly detection and localization tasks using three distinct evaluation datasets show that 1) contrastive representations are superior to representations of generative latent variable models and 2) the CRADL framework shows competitive or superior performance to state-of-the-art.