title: 12.6 dB squeezed light at 1550 nm from a bow-tie cavity for long-term high duty cycle operation

abstract: Squeezed states are an interesting class of quantum states that have numerous applications. This work presents the design, characterisation, and operation of a bow-tie optical parametric amplifier (OPA) for squeezed vacuum generation. We report the high duty cycle operation and long-term stability of the system that makes it suitable for post-selection based continuous-variable quantum information protocols, cluster-state quantum computing, quantum metrology, and potentially gravitational wave detectors. Over a 50 hour continuous operation, the measured squeezing levels were greater than 10 dB with a duty cycle of 96.6%. Alternatively, in a different mode of operation, the squeezer can also operate 10 dB below the quantum noise limit over a 12 hour period with no relocks, with an average squeezing of 11.9 dB. We also measured a maximum squeezing level of 12.6 dB at 1550 nm. This represents one of the best reported squeezing results at 1550 nm to date for a bow-tie cavity. We discuss the design aspects of the experiment that contribute to the overall stability, reliability, and longevity of the OPA, along with the automated locking schemes and different modes of operation.


title: On the utility of Robinson-Amitsur ultrafilters. III

abstract: We give a new proof of a version of the main theorem of the previous paper in the series about embedding of an algebraic system into ultraproducts.


title: A large class of nonlocal elliptic equations with singular nonlinearities

abstract: In this work, we address the questions of existence, uniqueness, and boundary behavior of the positive weak-dual solution of equation $\mathbb{L}_\gamma^s u = \mathcal{F}(u)$, posed in a $C^2$ bounded domain $\Omega \subset \mathbb{R}^N$, with appropriate homogeneous boundary or exterior Dirichlet conditions. The operator $\mathbb{L}_\gamma^s$ belongs to a general class of nonlocal operators including typical fractional Laplacians such as restricted fractional Laplacian, censored fractional Laplacian and spectral fractional Laplacian. The nonlinear term $\mathcal{F}(u)$ covers three different amalgamation of nonlinearities: a purely singular nonlinearity $\mathcal{F}(u) = u^{-q}$ ($q>0$), a singular nonlinearity with a source term $\mathcal{F}(u) = u^{-q} + f(u)$, and a singular nonlinearity with an absorption term $\mathcal{F}(u) = u^{-q}-g(u)$. Based on a delicate analysis of the Green kernel associated to $\mathbb{L}_\gamma^s$, we develop a new unifying approach that empowered us to construct a theory for equation $\mathbb{L}_\gamma^s u = \mathcal{F}(u)$. In particular, we show the existence of two critical exponents $q^{\ast}_{s, \gamma}$ and $q^{\ast \ast}_{s, \gamma}$ which provides a fairly complete classification of the weak-dual solutions via their boundary behavior. Various types of nonlocal operators are discussed to exemplify the wide applicability of our theory.


title: A glimpse into pion gravitational form factor

abstract: We provide a novel approach to calculate the gravitational form factor of pion under the ladder approximation of the Bethe-Salpeter equation, with contact interactions. Central to this approach is a symmetry-preserving treatment of the dressed $\pi\pi$ amplitude, which shows explicitly the contributions from intrinsic quarks and bound states, the latter being necessary to produce the $D$-term of pion in the soft-pion limit. The approach we provide in this work can be applied to many processes of physical significance.


title: Approximation Algorithms for Drone Delivery Scheduling Problem

abstract: The coordination among drones and ground vehicles for last-mile delivery has gained significant interest in recent years. In this paper, we study \textit{multiple drone delivery scheduling problem(MDSP) \cite{Betti_ICDCN22} for last-mile delivery, where we have a set of drones with an identical battery budget and a set of delivery locations, along with reward or profit for delivery, cost and delivery time intervals. The objective of the MDSP is to find a collection of conflict-free schedules for each drone such that the total profit for delivery is maximum subject to the battery constraint of the drones. Here we propose a fully polynomial time approximation scheme (FPTAS) for the single drone delivery scheduling problem (SDSP) and a $\frac{1}{4}$-approximation algorithm for MDSP with a constraint on the number of drones.


title: Modular Clinical Decision Support Networks (MoDN) -- Updatable, Interpretable, and Portable Predictions for Evolving Clinical Environments

abstract: Data-driven Clinical Decision Support Systems (CDSS) have the potential to improve and standardise care with personalised probabilistic guidance. However, the size of data required necessitates collaborative learning from analogous CDSS's, which are often unsharable or imperfectly interoperable (IIO), meaning their feature sets are not perfectly overlapping. We propose Modular Clinical Decision Support Networks (MoDN) which allow flexible, privacy-preserving learning across IIO datasets, while providing interpretable, continuous predictive feedback to the clinician. MoDN is a novel decision tree composed of feature-specific neural network modules. It creates dynamic personalised representations of patients, and can make multiple predictions of diagnoses, updatable at each step of a consultation. The modular design allows it to compartmentalise training updates to specific features and collaboratively learn between IIO datasets without sharing any data.


title: On contact brackets on the tensor product

abstract: We study the behavior of contact brackets on the tensor product of two algebras, in particular, address the question of Mart\'inez and Zelmanov about extension of a contact bracket on the tensor product from the brackets on the factors.


title: Surface plasmon resonance biosensors based on Kretschmann configuration: basic instrumentation and applications

abstract: Surface Plasmon Resonance (SPR) offers a powerful tool for label-free and non-invasive characterization of biomolecular interactions. To date, several experimental configurations, based on two fundamental physical phenomena, e.g., attenuated total reflection and diffraction, have been developed to measure the SPR signal generated due to the resonant interactions between incident light and plasma waves on the metal surface. These configurations are divided into three categories: grating-based, prism-based, and waveguide-based coupling. Among such techniques, one of the prism-based SPR coupling schemes, popularly known as Kretschmann configuration, is most widely used due to its high sensitivity, operational simplicity, lower cost, and real-time detection. This chapter explains the basic instrumentation and reviews the recent trends in the development of Kretschmann configuration-based SPR biosensors with its applications.


title: On regular Lie algebras

abstract: We study so called regular Lie algebras, i.e. Lie algebras in which each nonzero element is regular. We make a connection with an open problem whether any element of reduced trace zero in a simple associative algebra is a commutator.


title: Prediction of Geometric Transformation on Cardiac MRI via Convolutional Neural Network

abstract: In the field of medical image, deep convolutional neural networks(ConvNets) have achieved great success in the classification, segmentation, and registration tasks thanks to their unparalleled capacity to learn image features. However, these tasks often require large amounts of manually annotated data and are labor-intensive. Therefore, it is of significant importance for us to study unsupervised semantic feature learning tasks. In our work, we propose to learn features in medical images by training ConvNets to recognize the geometric transformation applied to images and present a simple self-supervised task that can easily predict the geometric transformation. We precisely define a set of geometric transformations in mathematical terms and generalize this model to 3D, taking into account the distinction between spatial and time dimensions. We evaluated our self-supervised method on CMR images of different modalities (bSSFP, T2, LGE) and achieved accuracies of 96.4%, 97.5%, and 96.4%, respectively. The code and models of our paper will be published on: https://github.com/gaoxin492/Geometric_Transformation_CMR


title: ConceptX: A Framework for Latent Concept Analysis

abstract: The opacity of deep neural networks remains a challenge in deploying solutions where explanation is as important as precision. We present ConceptX, a human-in-the-loop framework for interpreting and annotating latent representational space in pre-trained Language Models (pLMs). We use an unsupervised method to discover concepts learned in these models and enable a graphical interface for humans to generate explanations for the concepts. To facilitate the process, we provide auto-annotations of the concepts (based on traditional linguistic ontologies). Such annotations enable development of a linguistic resource that directly represents latent concepts learned within deep NLP models. These include not just traditional linguistic concepts, but also task-specific or sensitive concepts (words grouped based on gender or religious connotation) that helps the annotators to mark bias in the model. The framework consists of two parts (i) concept discovery and (ii) annotation platform.


title: Kinematics Transformer: Solving The Inverse Modeling Problem of Soft Robots using Transformers

abstract: Soft robotic manipulators provide numerous advantages over conventional rigid manipulators in fragile environments such as the marine environment. However, developing analytic inverse models necessary for shape, motion, and force control of such robots remains a challenging problem. As an alternative to analytic models, numerical models can be learned using powerful machine learned methods. In this paper, the Kinematics Transformer is proposed for developing accurate and precise inverse kinematic models of soft robotic limbs. The proposed method re-casts the inverse kinematics problem as a sequential prediction problem and is based on the transformer architecture. Numerical simulations reveal that the proposed method can effectively be used in controlling a soft limb. Benchmark studies also reveal that the proposed method has better accuracy and precision compared to the baseline feed-forward neural network


title: Quantum control of a single magnon in a macroscopic spin system

abstract: Non-classical quantum states are the pivotal features of a quantum system that differs from its classical counterpart. However, the generation and coherent control of quantum states in a macroscopic spin system remain an outstanding challenge. Here we experimentally demonstrate the quantum control of a single magnon in a macroscopic spin system (i.e., 1~mm-diameter yttrium-iron-garnet sphere) coupled to a superconducting qubit via a microwave cavity. By tuning the qubit frequency {\it in situ} via the Autler-Townes effect, we manipulate this single magnon to generate its non-classical quantum states, including the single-magnon state and the superposition state of a single magnon and vacuum. Moreover, we confirm the deterministic generation of these non-classical states by Wigner tomography. Our experiment offers the first reported deterministic generation of the non-classical quantum states in a macroscopic spin system and paves a way to explore its promising applications in quantum engineering.


title: A $\delta$-first Whitehead Lemma

abstract: We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications by a scalar, or some exceptional cases related to $\mathfrak{sl}(2)$. This can be viewed as an extension of the classical first Whitehead Lemma.


title: Efficient Speech Quality Assessment using Self-supervised Framewise Embeddings

abstract: Automatic speech quality assessment is essential for audio researchers, developers, speech and language pathologists, and system quality engineers. The current state-of-the-art systems are based on framewise speech features (hand-engineered or learnable) combined with time dependency modeling. This paper proposes an efficient system with results comparable to the best performing model in the ConferencingSpeech 2022 challenge. Our proposed system is characterized by a smaller number of parameters (40-60x), fewer FLOPS (100x), lower memory consumption (10-15x), and lower latency (30x). Speech quality practitioners can therefore iterate much faster, deploy the system on resource-limited hardware, and, overall, the proposed system contributes to sustainable machine learning. The paper also concludes that framewise embeddings outperform utterance-level embeddings and that multi-task training with acoustic conditions modeling does not degrade speech quality prediction while providing better interpretation.


title: Broadband Four-Wave Mixing Enhanced by Plasmonic Surface Lattice Resonance and Localized Surface Plasmon Resonance in an Azimuthally Chirped Grating

abstract: Plasmonic enhancement of nonlinear light-matter interaction can be achieved via dedicated optimization of resonant plasmonic modes that are spectrally matched to the different wavelengths involved in the particular nonlinear optical process. In this work, we investigate the generation and enhancement of broadband four-wave mixing (FWM) in a plasmonic azimuthally chirped grating (ACG). The azimuthally varying grating periodicity in an ACG offers a well-defined channel to mediate the near field and the far field over a broad range of wavelengths. However, the particular mechanism responsible for field enhancement in such a platform depends on the interplay between the effects manifested by both the groove geometry and the grating's periodicity. This work delineates the collective contribution of groove geometry-dependent localized surface plasmon resonance (LSPR) and periodicity-dependent plasmonic surface lattice resonance (PSLR) over a broad range of wavelengths to bring into effect the enhancement of broadband FWM in an ACG.


title: DATa: Domain Adaptation-Aided Deep Table Detection Using Visual-Lexical Representations

abstract: Considerable research attention has been paid to table detection by developing not only rule-based approaches reliant on hand-crafted heuristics but also deep learning approaches. Although recent studies successfully perform table detection with enhanced results, they often experience performance degradation when they are used for transferred domains whose table layout features might differ from the source domain in which the underlying model has been trained. To overcome this problem, we present DATa, a novel Domain Adaptation-aided deep Table detection method that guarantees satisfactory performance in a specific target domain where few trusted labels are available. To this end, we newly design lexical features and an augmented model used for re-training. More specifically, after pre-training one of state-of-the-art vision-based models as our backbone network, we re-train our augmented model, consisting of the vision-based model and the multilayer perceptron (MLP) architecture. Using new confidence scores acquired based on the trained MLP architecture as well as an initial prediction of bounding boxes and their confidence scores, we calculate each confidence score more accurately. To validate the superiority of DATa, we perform experimental evaluations by adopting a real-world benchmark dataset in a source domain and another dataset in our target domain consisting of materials science articles. Experimental results demonstrate that the proposed DATa method substantially outperforms competing methods that only utilize visual representations in the target domain. Such gains are possible owing to the capability of eliminating high false positives or false negatives according to the setting of a confidence score threshold.


title: Line Drawing Guided Progressive Inpainting of Mural Damages

abstract: Mural image inpainting refers to repairing the damage or missing areas in a mural image to restore the visual appearance. Most existing image-inpainting methods tend to take a target image as the only input and directly repair the damage to generate a visually plausible result. These methods obtain high performance in restoration or completion of some specific objects, e.g., human face, fabric texture, and printed texts, etc., however, are not suitable for repairing murals with varied subjects, especially for murals with large damaged areas. Moreover, due to the discrete colors in paints, mural inpainting may suffer from apparent color bias as compared to natural image inpainting. To this end, in this paper, we propose a line drawing guided progressive mural inpainting method. It divides the inpainting process into two steps: structure reconstruction and color correction, executed by a structure reconstruction network (SRN) and a color correction network (CCN), respectively. In the structure reconstruction, line drawings are used by SRN as a guarantee for large-scale content authenticity and structural stability. In the color correction, CCN operates a local color adjustment for missing pixels which reduces the negative effects of color bias and edge jumping. The proposed approach is evaluated against the current state-of-the-art image inpainting methods. Qualitative and quantitative results demonstrate the superiority of the proposed method in mural image inpainting. The codes and data are available at {https://github.com/qinnzou/mural-image-inpainting}.


title: Determining Lam\'{e} coefficients by elastic Dirichlet-to-Neumann map on a Riemannian manifold

abstract: For the Lam\'{e} operator $\mathcal{L}_{\lambda,\mu}$ with variable coefficients $\lambda$ and $\mu$ on a smooth compact Riemannian manifold $(M,g)$ with smooth boundary $\partial M$, we give an explicit expression for full symbol of the elastic Dirichlet-to-Neumann map $\Lambda_{\lambda,\mu}$. We show that $\Lambda_{\lambda,\mu}$ uniquely determines partial derivatives of all orders of the Lam\'{e} coefficients $\lambda$ and $\mu$ on $\partial M$. Moreover, for a nonempty open subset $\Gamma\subset\partial M$, suppose that the manifold and the Lam\'{e} coefficients are real analytic up to $\Gamma$, we prove that $\Lambda_{\lambda,\mu}$ uniquely determines the Lam\'{e} coefficients on the whole manifold $\bar{M}$.


title: NLPeer: A Unified Resource for the Computational Study of Peer Review

abstract: Peer review constitutes a core component of scholarly publishing; yet it demands substantial expertise and training, and is susceptible to errors and biases. Various applications of NLP for peer reviewing assistance aim to support reviewers in this complex process, but the lack of clearly licensed datasets and multi-domain corpora prevent the systematic study of NLP for peer review. To remedy this, we introduce NLPeer -- the first ethically sourced multidomain corpus of more than 5k papers and 11k review reports from five different venues. In addition to the new datasets of paper drafts, camera-ready versions and peer reviews from the NLP community, we establish a unified data representation and augment previous peer review datasets to include parsed and structured paper representations, rich metadata and versioning information. We complement our resource with implementations and analysis of three reviewing assistance tasks, including a novel guided skimming task. Our work paves the path towards systematic, multi-faceted, evidence-based study of peer review in NLP and beyond. The data and code are publicly available.


title: Learning Neuro-symbolic Programs for Language Guided Robot Manipulation

abstract: Given a natural language instruction and an input scene, our goal is to train a model to output a manipulation program that can be executed by the robot. Prior approaches for this task possess one of the following limitations: (i) rely on hand-coded symbols for concepts limiting generalization beyond those seen during training [1] (ii) infer action sequences from instructions but require dense sub-goal supervision [2] or (iii) lack semantics required for deeper object-centric reasoning inherent in interpreting complex instructions [3]. In contrast, our approach can handle linguistic as well as perceptual variations, end-to-end trainable and requires no intermediate supervision. The proposed model uses symbolic reasoning constructs that operate on a latent neural object-centric representation, allowing for deeper reasoning over the input scene. Central to our approach is a modular structure consisting of a hierarchical instruction parser and an action simulator to learn disentangled action representations. Our experiments on a simulated environment with a 7-DOF manipulator, consisting of instructions with varying number of steps and scenes with different number of objects, demonstrate that our model is robust to such variations and significantly outperforms baselines, particularly in the generalization settings. The code, dataset and experiment videos are available at https://nsrmp.github.io


title: Investigating Loop Quantum Gravity with EHT Observational Effects of Rotating Black holes

abstract: A mathematically consistent rotating black hole model in loop quantum gravity (LQG) is yet lacking. The scarcity of rotating black hole solutions in LQG substantially hampers the development of testing LQG from observations, e.g., from the Event Horizon Telescope (EHT) observations. The EHT observation revealed event horizon-scale images of the supermassive black holes Sgr A* and M87*. The EHT results are consistent with the shadow of a Kerr black hole of general relativity. We present LQG-motivated rotating black hole (LMRBH) spacetimes, which are regular everywhere and asymptotically encompass the Kerr black hole as a particular case. The LMRBH metric describes a multi-horizon black hole in the sense that it can admit up to three horizons, such that an extremal LMRBH, unlike the Kerr black hole, refers to a black hole with angular momentum $a>M$. The metric, depending on the parameters, describes (1) black holes with only one horizon (BH-I), (2) black holes with an event horizon and a Cauchy horizons (BH-II), (3) black holes with three horizons (BH-III) or (4) no-horizon (NH) spacetime, which, we show, is almost ruled out by the EHT observations. We constrain the LQG parameter with the aid of the EHT shadow observational results of M87* and Sgr A*,respectively, for an inclination angle of $17^0$ and $50^0$. In particular, the VLTI bound for the Sgr A*, $\delta\in (-0.17,0.01)$, constrains the parameters ($a,l$) such that for $0< l\leq 0.347851M\; (l\leq 2\times 10^6$ km), the allowed range of $a$ is $(0,1.0307M)$. Together with the EHT bounds of Sgr A$^*$ and M87$^*$ observables, our analysis concludes that a substantial part of BH-I and BH-II parameter space agrees with the EHT results of M87* and Sgr A*. While the EHT M87* results totally rule out the BH-III, but not that by Sgr A*.


title: PMDS Array Codes With Small Sub-packetization, Small Repair Bandwidth/Rebuilding Access

abstract: Partial maximum distance separable (PMDS) codes are a kind of erasure codes where the nodes are divided into multiple groups with each forming an MDS code with a smaller code length, thus they allow repairing a failed node with only a few helper nodes and can correct all erasure patterns that are information-theoretically correctable. However, the repair of a failed node of PMDS codes still requires a large amount of communication if the group size is large. Recently, PMDS array codes with each local code being an MSR code were introduced to reduce the repair bandwidth further. However, they require extensive rebuilding access and unavoidably a significant sub packetization level. In this paper, we first propose two constructions of PMDS array codes with two global parities that have smaller sub-packetization levels and much smaller finite fields than the existing one. One construction can support an arbitrary number of local parities and has $(1+\epsilon)$-optimal repair bandwidth (i.e., $(1+\epsilon)$ times the optimal repair bandwidth), while the other one is limited to two local parities but has significantly smaller rebuilding access and its sub packetization level is only $2$. In addition, we present a construction of PMDS array code with three global parities, which has a smaller sub-packetization level as well as $(1+\epsilon)$-optimal repair bandwidth, the required finite field is significantly smaller than existing ones.


title: Characterizations Of Umbilically Synchronized Space-times

abstract: We study umbilically synchronized space-times $M$ that have vanishing electric part of the Weyl tensor and show that (i) If $dim(M) = 4$, then $M$ is conformally flat, (ii) If $dim(M) > 4$, $M$ is conformally flat if and only if the spatial slices are conformally flat. Next, we characterize umbilically synchronized spacetimes that are vacuum and have zero electric components of its Weyl tensor. Finally, we characterize conformal vector fields of an umbilically synchronized space-time.


title: Polarization phenomena in the reaction $e^+ + e^- \to p + \bar p +\pi^0$ in frame of the non-resonant mechanism

abstract: The dependence of the nucleon polarization in the reaction $e^+ + e^- \to N + \bar{N} +\pi^0 $ over different invariant variables in frame of the non-resonant mechanism, has been derived. The nucleon polarization is expressed in terms of six invariant complex amplitudes, assuming the conservation of the hadron electromagnetic currents and the P-invariance of the hadron electromagnetic interaction. An inclusive experimental setup when the proton (or the antiproton) and the pion are detected in coincidence is considered. Numerical estimations were performed for the so called normal polarization in the energy range from threshold up to $s=16$ GeV$^2$, using a specific parametrization of the nucleon electromagnetic form factors and taking into account the unpolarized differential cross section of the non-resonant mechanism, as previously calculated.


title: Identifying the perceived local properties of networks reconstructed from biased random walks

abstract: Many real-world systems give rise to a time series of symbols. The elements in a sequence can be generated by agents walking over a networked space so that whenever a node is visited the corresponding symbol is generated. In many situations the underlying network is hidden, and one aims to recover its original structure and/or properties. For example, when analyzing texts, the underlying network structure generating a particular sequence of words is not available. In this paper, we analyze whether one can recover the underlying local properties of networks generating sequences of symbols for different combinations of random walks and network topologies. We found that the reconstruction performance is influenced by the bias of the agent dynamics. When the walker is biased toward high-degree neighbors, the best performance was obtained for most of the network models and properties. Surprisingly, this same effect is not observed for the clustering coefficient and eccentric, even when large sequences are considered. We also found that the true self-avoiding displayed similar performance as the one preferring highly-connected nodes, with the advantage of yielding competitive performance to recover the clustering coefficient. Our results may have implications for the construction and interpretation of networks generated from sequences.


title: A high-frequency mobility big-data reveals how COVID-19 spread across professions, locations and age groups

abstract: As infected and vaccinated population increases, some countries decided not to impose non-pharmaceutical intervention measures anymore and to coexist with COVID-19. However, we do not have a comprehensive understanding of its consequence , especially for China where most population has not been infected and most Omicron transmissions are silent. This paper serves as the first study to reveal the complete silent transmission dynamics of COVID-19 overlaying a big data of more than 0.7 million real individual mobility tracks without any intervention measures throughout a week in a Chinese city, with an extent of completeness and realism not attained in existing studies. Together with the empirically inferred transmission rate of COVID-19, we find surprisingly that with only 70 citizens to be infected initially, 0.33 million becomes infected silently at last. We also reveal a characteristic daily periodic pattern of the transmission dynamics, with peaks in mornings and afternoons. In addition, retailing, catering and hotel staff are more likely to get infected than other professions. Unlike all other age groups and professions, elderly and retirees are more likely to get infected at home than outside home.


title: Unsupervised Anomaly Appraisal of Cleft Faces Using a StyleGAN2-based Model Adaptation Technique

abstract: This paper presents a novel machine learning framework to consistently detect, localize and rate congenital cleft lip anomalies in human faces. The goal is to provide a universal, objective measure of facial differences and reconstructive surgical outcomes that matches human judgments. The proposed method employs the StyleGAN2 generative adversarial network with model adaptation to produce normalized transformations of cleft-affected faces in order to allow for subsequent measurement of deformity using a pixel-wise subtraction approach. The complete pipeline of the proposed framework consists of the following steps: image preprocessing, face normalization, color transformation, morphological erosion, heat-map generation and abnormality scoring. Heatmaps that finely discern anatomic anomalies are proposed by exploiting the features of the considered framework. The proposed framework is validated through computer simulations and surveys containing human ratings. The anomaly scores yielded by the proposed computer model correlate closely with the human ratings of facial differences, leading to 0.942 Pearson's r score.


title: Far Away in the Deep Space: Dense Nearest-Neighbor-Based Out-of-Distribution Detection

abstract: The key to out-of-distribution detection is density estimation of the in-distribution data or of its feature representations. This is particularly challenging for dense anomaly detection in domains where the in-distribution data has a complex underlying structure. Nearest-Neighbors approaches have been shown to work well in object-centric data domains, such as industrial inspection and image classification. In this paper, we show that nearest-neighbor approaches also yield state-of-the-art results on dense novelty detection in complex driving scenes when working with an appropriate feature representation. In particular, we find that transformer-based architectures produce representations that yield much better similarity metrics for the task. We identify the multi-head structure of these models as one of the reasons, and demonstrate a way to transfer some of the improvements to CNNs. Ultimately, the approach is simple and non-invasive, i.e., it does not affect the primary segmentation performance, refrains from training on examples of anomalies, and achieves state-of-the-art results on RoadAnomaly, StreetHazards, and SegmentMeIfYouCan-Anomaly.


title: Proper biharmonic maps on tangent bundle

abstract: This paper, we define the Mus-Gradient metric on tangent bundle $TM$ by a deformation non-conform of Sasaki metric over an n-dimensional Riemannian manifold $(M, g)$. First we investigate the geometry of the Mus-Gradient metric and we characterize a new class of proper biharmonic maps. Examples of proper biharmonic maps are constructed when all of the factors are Euclidean spaces.


title: Addressing Segmentation Ambiguity in Neural Linguistic Steganography

abstract: Previous studies on neural linguistic steganography, except Ueoka et al. (2021), overlook the fact that the sender must detokenize cover texts to avoid arousing the eavesdropper's suspicion. In this paper, we demonstrate that segmentation ambiguity indeed causes occasional decoding failures at the receiver's side. With the near-ubiquity of subwords, this problem now affects any language. We propose simple tricks to overcome this problem, which are even applicable to languages without explicit word boundaries.


title: NeighborTrack: Improving Single Object Tracking by Bipartite Matching with Neighbor Tracklets

abstract: We propose a post-processor, called NeighborTrack, that leverages neighbor information of the tracking target to validate and improve single-object tracking (SOT) results. It requires no additional data or retraining. Instead, it uses the confidence score predicted by the backbone SOT network to automatically derive neighbor information and then uses this information to improve the tracking results. When tracking an occluded target, its appearance features are untrustworthy. However, a general siamese network often cannot tell whether the tracked object is occluded by reading the confidence score alone, because it could be misled by neighbors with high confidence scores. Our proposed NeighborTrack takes advantage of unoccluded neighbors' information to reconfirm the tracking target and reduces false tracking when the target is occluded. It not only reduces the impact caused by occlusion, but also fixes tracking problems caused by object appearance changes. NeighborTrack is agnostic to SOT networks and post-processing methods. For the VOT challenge dataset commonly used in short-term object tracking, we improve three famous SOT networks, Ocean, TransT, and OSTrack, by an average of ${1.92\%}$ EAO and ${2.11\%}$ robustness. For the mid- and long-term tracking experiments based on OSTrack, we achieve state-of-the-art ${72.25\%}$ AUC on LaSOT and ${75.7\%}$ AO on GOT-10K. Code duplication can be found in https://github.com/franktpmvu/NeighborTrack.


title: Mining Mathematical Documents for Question Answering via Unsupervised Formula Labeling

abstract: The increasing number of questions on Question Answering (QA) platforms like Math Stack Exchange (MSE) signifies a growing information need to answer math-related questions. However, there is currently very little research on approaches for an open data QA system that retrieves mathematical formulae using their concept names or querying formula identifier relationships from knowledge graphs. In this paper, we aim to bridge the gap by presenting data mining methods and benchmark results to employ Mathematical Entity Linking (MathEL) and Unsupervised Formula Labeling (UFL) for semantic formula search and mathematical question answering (MathQA) on the arXiv preprint repository, Wikipedia, and Wikidata, which is part of the Wikimedia ecosystem of free knowledge. Based on different types of information needs, we evaluate our system in 15 information need modes, assessing over 7,000 query results. Furthermore, we compare its performance to a commercial knowledge-base and calculation-engine (Wolfram Alpha) and search-engine (Google). The open source system is hosted by Wikimedia at https://mathqa.wmflabs.org. A demovideo is available at purl.org/mathqa.


title: A Survey on Explainable Reinforcement Learning: Concepts, Algorithms, Challenges

abstract: Reinforcement Learning (RL) is a popular machine learning paradigm where intelligent agents interact with the environment to fulfill a long-term goal. Driven by the resurgence of deep learning, Deep RL (DRL) has witnessed great success over a wide spectrum of complex control tasks. Despite the encouraging results achieved, the deep neural network-based backbone is widely deemed as a black box that impedes practitioners to trust and employ trained agents in realistic scenarios where high security and reliability are essential. To alleviate this issue, a large volume of literature devoted to shedding light on the inner workings of the intelligent agents has been proposed, by constructing intrinsic interpretability or post-hoc explainability. In this survey, we provide a comprehensive review of existing works on eXplainable RL (XRL) and introduce a new taxonomy where prior works are clearly categorized into model-explaining, reward-explaining, state-explaining, and task-explaining methods. We also review and highlight RL methods that conversely leverage human knowledge to promote learning efficiency and performance of agents while this kind of method is often ignored in XRL field. Some challenges and opportunities in XRL are discussed. This survey intends to provide a high-level summarization of XRL and to motivate future research on more effective XRL solutions. Corresponding open source codes are collected and categorized at https://github.com/Plankson/awesome-explainable-reinforcement-learning.


title: Optimizing Bandwidth Sharing for Real-time Traffic in Wireless Networks

abstract: We consider the problem of enhancing the delivery of real-time traffic in wireless networks using bandwidth sharing between operators. A key characteristic of real-time traffic is that a packet has to be delivered within a delay deadline for it to be useful. The abundance of real-time traffic is evident in the popularity of applications like video and audio conferencing, which increased significantly during the COVID-19 period. We propose a sharing and scheduling policy which involves dynamically sharing a portion of one operator's bandwidth with another operator. We provide strong theoretical guarantees for the policy. We also evaluate its performance via extensive simulations, which show significant improvements of up to 90% in the ability to carry real-time traffic when using the policy. We also explore how the improvements from bandwidth sharing depend on the amount of sharing, and on additional traffic characteristics.


title: Superconductor modulation circuits for Qubit control at microwave frequencies

abstract: Readout and control of qubits are limiting factors in scaling quantum computers. An ideal solution is to integrate energy-efficient cryogenic circuits close to the qubits to perform control and pre-processing tasks. With orders of magnitude lower power consumption and hence lower noise, Single Flux Quantum (SFQ) and Adiabatic Quantum Flux Parametron (AQFP) superconductor logic families can reach ultimate performance at cryogenic temperatures. We have created a superconductor-based on-chip function generator to control qubits. The generated signal is modulated up to tens of GHz based on the external input waveform applied to the superconductor mixer stage. This circuit works at 4.2K. A radiofrequency (RF) matching circuit transmits the signal to the ~mK stage after digital amplification and noise reduction.


title: Topological Gauge Fields and the Composite Particle Duality

abstract: We introduce topological gauge fields as nontrivial field configurations enforced by topological currents. These fields crucially determine the form of statistical gauge fields that couple to matter and transmute their statistics. We discuss the physical mechanism underlying the composite particle picture and argue that it is a duality of gauge forms that naturally relates to the notion of bosonisation in arbitrary dimensions. This is based on obtaining a generalised version of flux attachment, which yields a density-dependent gauge potential. We recover well-known results, resolve old controversies, and suggest a microscopic mechanism for the emergence of such a gauge field. We also outline potential directions for experimental realisations in ultracold atom platforms.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el hep-th quant-ph


title: Crowdsourcing Work as Mining: A Decentralized Computation and Storage Paradigm

abstract: Proof-of-Work (PoW) consensus mechanism is popular among current blockchain systems, which leads to an increasing concern about the tremendous waste of energy due to massive meaningless computation. To address this issue, we propose a novel and energy-efficient blockchain system, CrowdMine, which exploits useful crowdsourcing computation to achieve decentralized consensus. CrowdMine solves user-proposed computing tasks and utilizes the computation committed to the task solving process to secure decentralized on-chain storage. With our designed ``Proof of Crowdsourcing Work'' (PoCW) protocol, our system provides an efficient paradigm for computation and storage in a trustless and decentralized environment. We further show that the system can defend against potential attacks on blockchain, including the short-term 51\% attack, the problem-constructing attack, and the solution-stealing attack. We also implement the system with 40 distributed nodes to demonstrate its performance and robustness. To the best of our knowledge, this is the first system that enables decentralized Proof of Useful Work (PoUW) with general user-proposed tasks posted in a permissionless and trustless network.


title: Vom Gruppentheoriekolloquium 1954 bis zu "B\"aren mit Kindern und Kegeln"

abstract: The year 1954 marks the beginning of a tradition of workshops at the MFO in the area of finite group theory. This is highlighted and put into context in this article (contribution to a book).


title: Open Higher-Order Logic (Long Version)

abstract: We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity, differentiability, or monotonicity, can be expressed and reasoned about in a very natural way, following the structure of the underlying program. We give open higher-order logic in distinct flavors, and in particular in its relational and local versions, the latter being tailored for situations in which properties hold only in part of the underlying function's domain of definition.


title: Energetic Variational Approaches for inviscid multiphase flow systems with surface flow and tension

abstract: We consider the governing equations for the motion of the inviscid fluids in two moving domains and an evolving surface from an energetic point of view. We employ our energetic variational approaches to derive inviscid multiphase flow systems with surface flow and tension. More precisely, we calculate the variation of the flow maps to the action integral for our model to derive both surface flow and tension. We also study the conservation and energy laws of our multiphase flow systems. The key idea of deriving the pressure of the compressible fluid on the surface is to make use of the feature of the barotropic fluid, and the key idea of deriving the pressure of the incompressible fluid on the surface is to apply a generalized Helmholtz-Weyl decomposition on a closed surface.


title: Level lowering for GU(1,2)

abstract: Mazur's principle gives a criterion under which an irreducible mod $\ell$ Galois representation arising from a modular form of level $Np$ (with $p$ prime to $N$) can also arise from a modular form of level $N.$ We prove an analogous result showing that a mod $\ell$ Galois representation arising from a stable cuspidal automorphic representation of the unitary similitude group $G=\mathrm{GU}(1,2)$ which is Steinberg at an inert prime $p$ can also arise from an automorphic representation of $G$ that is unramified at $p$.


title: Laws of the iterated logarithm for occupation times of Markov processes

abstract: In this paper, we discuss the laws of the iterated logarithm (LIL) for occupation times of Markov processes $Y$ in general metric measure space both near zero and near infinity under some minimal assumptions. We first establish LILs of (truncated) occupation times on balls $B(x,r)$ of radii $r$ up to an function $\Phi (r)$, which is an iterated logarithm of mean exit time of $Y$, by showing that the function $\Phi$ is optimal. Our first result on LILs of occupation times covers both near zero and near infinity regardless of transience and recurrence of the process. Our assumptions are truly local in particular at zero and the function $\Phi$ in our truncated occupation times $r \mapsto\int_0^{ \Phi (x,r)} {\bf 1}_{B(x,r)}(Y_s)ds$ depends on space variable $x$ too. We also prove that a similar LIL for total occupation times $r \mapsto\int_0^\infty {\bf 1}_{B(x,r)}(Y_s)ds$ holds when the process is transient. Then we establish LIL concerning large time behaviors of occupation times $t \mapsto \int_0^t {\bf 1}_{A}(Y_s)ds$ under an additional condition that guarantees the recurrence of the process. Our results cover a large class of Feller (Levy-like) processes, random conductance models with long range jumps, jump processes with mixed polynomial local growths and jump processes with singular jumping kernels.


title: Privacy-Preserving Credit Card Fraud Detection using Homomorphic Encryption

abstract: Credit card fraud is a problem continuously faced by financial institutions and their customers, which is mitigated by fraud detection systems. However, these systems require the use of sensitive customer transaction data, which introduces both a lack of privacy for the customer and a data breach vulnerability to the card provider. This paper proposes a system for private fraud detection on encrypted transactions using homomorphic encryption. Two models, XGBoost and a feedforward classifier neural network, are trained as fraud detectors on plaintext data. They are then converted to models which use homomorphic encryption for private inference. Latency, storage, and detection results are discussed, along with use cases and feasibility of deployment. The XGBoost model has better performance, with an encrypted inference as low as 6ms, compared to 296ms for the neural network. However, the neural network implementation may still be preferred, as it is simpler to deploy securely. A codebase for the system is also provided, for simulation and further development.


title: Linear port-Hamiltonian DAE systems revisited

abstract: Port-Hamiltonian systems theory provides a systematic methodology for the modeling, simulation and control of multi-physics systems. The incorporation of algebraic constraints has led to a multitude of definitions of port-Hamiltonian differential-algebraic equations (DAE) systems. This paper presents extensions of results in Gernandt, Haller & Reis (2021) and Mehrmann & Van der Schaft (2022) in the context of maximally monotone structures and shows that any such space can be written as composition of a Dirac and a resistive structure. Furthermore, appropriate coordinate representations are presented as well as explicit expressions for the associated transfer functions.


title: A bi-objective stochastic approach for the stochastic CARP

abstract: The Capacitated Arc Routing Problem (CARP) occurs in applications like urban waste collection or winter gritting. It is usually defined in literature on an undirected graph , with a set of nodes and a set of edges. A fleet of identical vehicles of capacity is based at a depot node. Each edge has a cost (length) and a demand (e.g. an amount of waste), and it may be traversed any number of times. The edges with non-zero demands or tasks require service by a vehicle. The goal is to determine a set of vehicle trips (routes) of minimum total cost, such that each trip starts and ends at the depot, each task is serviced by one single trip, and the total demand handled by any vehicle does not exceed . To the best of our knowledge the best published method is a memetic algorithm first introduced in 2001. This article provides a new extension of the NSGA II (Non-dominated Sorting Genetic Algorithm) template to comply with the stochastic sight of the CARP. The main contribution is: - to introduce mathematical expression to evaluate both cost and duration of the longest trip and also standard deviation of these two criteria. - to use a NGA-II template to optimize simultaneously the cost and the duration of the longest trip including standard deviation. The numerical experiments managed on the thee well-known benchmark sets of DeArmon, Belenguer and Benavent and Eglese, prove it is possible to obtain robust solutions in four simultaneous criteria in rather short computation times.


title: Learning dynamical systems: an example from open quantum system dynamics

abstract: Machine learning algorithms designed to learn dynamical systems from data can be used to forecast, control and interpret the observed dynamics. In this work we exemplify the use of one of such algorithms, namely Koopman operator learning, in the context of open quantum system dynamics. We will study the dynamics of a small spin chain coupled with dephasing gates and show how Koopman operator learning is an approach to efficiently learn not only the evolution of the density matrix, but also of every physical observable associated to the system. Finally, leveraging the spectral decomposition of the learned Koopman operator, we show how symmetries obeyed by the underlying dynamics can be inferred directly from data.


title: AltCLIP: Altering the Language Encoder in CLIP for Extended Language Capabilities

abstract: In this work, we present a conceptually simple and effective method to train a strong bilingual/multilingual multimodal representation model. Starting from the pre-trained multimodal representation model CLIP released by OpenAI, we altered its text encoder with a pre-trained multilingual text encoder XLM-R, and aligned both languages and image representations by a two-stage training schema consisting of teacher learning and contrastive learning. We validate our method through evaluations of a wide range of tasks. We set new state-of-the-art performances on a bunch of tasks including ImageNet-CN, Flicker30k-CN, COCO-CN and XTD. Further, we obtain very close performances with CLIP on almost all tasks, suggesting that one can simply alter the text encoder in CLIP for extended capabilities such as multilingual understanding. Our models and code are available at https://github.com/FlagAI-Open/FlagAI.


title: A supergeometric generalization of Thom transversality theorem

abstract: In this article our main goal is to introduce the concept of transversality in supergeometry.


title: Learning-based Sustainable Multi-User Computation Offloading for Mobile Edge-Quantum Computing

abstract: In this paper, a novel paradigm of mobile edge-quantum computing (MEQC) is proposed, which brings quantum computing capacities to mobile edge networks that are closer to mobile users (i.e., edge devices). First, we propose an MEQC system model where mobile users can offload computational tasks to scalable quantum computers via edge servers with cryogenic components and fault-tolerant schemes. Second, we show that it is NP-hard to obtain a centralized solution to the partial offloading problem in MEQC in terms of the optimal latency and energy cost of classical and quantum computing. Third, we propose a multi-agent hybrid discrete-continuous deep reinforcement learning using proximal policy optimization to learn the long-term sustainable offloading strategy without prior knowledge. Finally, experimental results demonstrate that the proposed algorithm can reduce at least 30% of the cost compared with the existing baseline solutions under different system settings.


title: Bounding the Mostar index

abstract: Do\v{s}li\'{c} et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. They conjectured that $Mo(G)\leq 0.\overline{148}n^3$ for every graph $G$ of order $n$. As a natural upper bound on the Mostar index, Geneson and Tsai implicitly consider the parameter $Mo^\star(G)=\sum\limits_{uv\in E(G)}\big(n-\min\{ d_G(u),d_G(v)\}\big)$. For a graph $G$ of order $n$, they show that $Mo^\star(G)\leq \frac{5}{24}(1+o(1))n^3$. We improve this bound to $Mo^\star(G)\leq \left(\frac{2}{\sqrt{3}}-1\right)n^3$, which is best possible up to terms of lower order. Furthermore, we show that $Mo^\star(G)\leq \left(2\left(\frac{\Delta}{n}\right)^2+\left(\frac{\Delta}{n}\right)-2\left(\frac{\Delta}{n}\right)\sqrt{\left(\frac{\Delta}{n}\right)^2+\left(\frac{\Delta}{n}\right)}\right)n^3$ provided that $G$ has maximum degree $\Delta$.


title: On the Homology of Unions of Certain Non-Degenerate Quadrics in General Position

abstract: Motivated by problems arising in the complex analysis of perturbative quantum field theory, we investigate the homology of finite unions of certain non-degenerate quadratic affine hypersurfaces of complex dimension $n$ in general position. The homology of such unions and the homology of $\mathbb{C}^{n+1}$ relative to such unions is decomposed into a direct sum of homology groups of the various possible intersections of these hypersurfaces. This allows us to compute the homology groups up to isomorphism. Furthermore, we compute an explicit set of generators for a specific arrangement of these hypersurfaces by constructing a sufficiently large CW-subcomplex of the union in question. The intersection indices of all generators with the Borel-Moore homology class of $(i\cdot\mathbb{R})^{n+1}$ in the complement of the union of surfaces are computed.


title: A Generalized Doubly Robust Learning Framework for Debiasing Post-Click Conversion Rate Prediction

abstract: Post-click conversion rate (CVR) prediction is an essential task for discovering user interests and increasing platform revenues in a range of industrial applications. One of the most challenging problems of this task is the existence of severe selection bias caused by the inherent self-selection behavior of users and the item selection process of systems. Currently, doubly robust (DR) learning approaches achieve the state-of-the-art performance for debiasing CVR prediction. However, in this paper, by theoretically analyzing the bias, variance and generalization bounds of DR methods, we find that existing DR approaches may have poor generalization caused by inaccurate estimation of propensity scores and imputation errors, which often occur in practice. Motivated by such analysis, we propose a generalized learning framework that not only unifies existing DR methods, but also provides a valuable opportunity to develop a series of new debiasing techniques to accommodate different application scenarios. Based on the framework, we propose two new DR methods, namely DR-BIAS and DR-MSE. DR-BIAS directly controls the bias of DR loss, while DR-MSE balances the bias and variance flexibly, which achieves better generalization performance. In addition, we propose a novel tri-level joint learning optimization method for DR-MSE in CVR prediction, and an efficient training algorithm correspondingly. We conduct extensive experiments on both real-world and semi-synthetic datasets, which validate the effectiveness of our proposed methods.


title: Geodesics and shortest arcs of some sub-Riemannian metrics on the Lie groups $SU(2)\times\mathbb{R}$ and $SO(3)\times\mathbb{R}$ with three-dimensional generating distributions

abstract: We find geodesics, shortest arcs, cut loci, first conjugate loci, distances between arbitrary elements for some left-invariant sub-Riemannian metrics on the Lie groups $SU(2)\times\mathbb{R}$ and $SO(3)\times\mathbb{R}$.


title: A brief survey of low energy supersymmetry under current experiments

abstract: This is a brief overview on the low energy supersymmetry in light of current experiments including the LHC searches, the dark matter (DM) detections, the muon g-2 and the CDF II measurement of the W-boson mass. We focus on the minimal framework of supersymmetry, namely the minimal supersymmetric model (MSSM), and obtain the following conclusions: (i) The MSSM can survive all current experiments, albeit suffering from the little hierarchy problem due to the heavy stops pushed up by the LHC searches; (ii) The DM relic density can be readily achieved by the thermal freeze-out of the lightest neutralino and the null results of DM direct detections are typically driving the parameter space to the bino-like lightest neutralino region; (iii) The muon g-2 anomaly reported by FNAL and BNL can be explained at 2-sigma level, which indicates light sleptons and electroweakinos possibly accessible at the HL-LHC; (iv) The CDF II measurement of the W-boson mass can be marginally explained, but requires light stops near TeV which may soon be covered by the LHC searches.


title: Large-scale Contrastive Language-Audio Pretraining with Feature Fusion and Keyword-to-Caption Augmentation

abstract: Contrastive learning has shown remarkable success in the field of multimodal representation learning. In this paper, we propose a pipeline of contrastive language-audio pretraining to develop an audio representation by combining audio data with natural language descriptions. To accomplish this target, we first release LAION-Audio-630K, a large collection of 633,526 audio-text pairs from different data sources. Second, we construct a contrastive language-audio pretraining model by considering different audio encoders and text encoders. We incorporate the feature fusion mechanism and keyword-to-caption augmentation into the model design to further enable the model to process audio inputs of variable lengths and enhance the performance. Third, we perform comprehensive experiments to evaluate our model across three tasks: text-to-audio retrieval, zero-shot audio classification, and supervised audio classification. The results demonstrate that our model achieves superior performance in text-to-audio retrieval task. In audio classification tasks, the model achieves state-of-the-art performance in the zero-shot setting and is able to obtain performance comparable to models' results in the non-zero-shot setting. LAION-Audio-630K and the proposed model are both available to the public.


title: Partial Visual-Semantic Embedding: Fashion Intelligence System with Sensitive Part-by-Part Learning

abstract: In this study, we propose a technology called the Fashion Intelligence System based on the visual-semantic embedding (VSE) model to quantify abstract and complex expressions unique to fashion, such as ''casual,'' ''adult-casual,'' and ''office-casual,'' and to support users' understanding of fashion. However, the existing VSE model does not support the situations in which the image is composed of multiple parts such as hair, tops, pants, skirts, and shoes. We propose partial VSE, which enables sensitive learning for each part of the fashion coordinates. The proposed model partially learns embedded representations. This helps retain the various existing practical functionalities and enables image-retrieval tasks in which changes are made only to the specified parts and image reordering tasks that focus on the specified parts. This was not possible with conventional models. Based on both the qualitative and quantitative evaluation experiments, we show that the proposed model is superior to conventional models without increasing the computational complexity.


title: TINC: Tree-structured Implicit Neural Compression

abstract: Implicit neural representation (INR) can describe the target scenes with high fidelity using a small number of parameters, and is emerging as a promising data compression technique. However, limited spectrum coverage is intrinsic to INR, and it is non-trivial to remove redundancy in diverse complex data effectively. Preliminary studies can only exploit either global or local correlation in the target data and thus of limited performance. In this paper, we propose a Tree-structured Implicit Neural Compression (TINC) to conduct compact representation for local regions and extract the shared features of these local representations in a hierarchical manner. Specifically, we use Multi-Layer Perceptrons (MLPs) to fit the partitioned local regions, and these MLPs are organized in tree structure to share parameters according to the spatial distance. The parameter sharing scheme not only ensures the continuity between adjacent regions, but also jointly removes the local and non-local redundancy. Extensive experiments show that TINC improves the compression fidelity of INR, and has shown impressive compression capabilities over commercial tools and other deep learning based methods. Besides, the approach is of high flexibility and can be tailored for different data and parameter settings. The source code can be found at https://github.com/RichealYoung/TINC .


title: Multiparty Entanglement Routing in Quantum Networks

abstract: Distributing entanglement among multiple users is a fundamental problem in quantum networks, requiring an efficient solution. In this work, a protocol is proposed for extracting maximally entangled (GHZn) states for any number of parties in quantum networks of arbitrary topology. It is based on the graph state formalism and requires minimal assumptions on the network state. The protocol only requires local measurements at the network nodes and just a single qubit memory per user. Existing protocols on bipartite entanglement routing are also improved for specific nearest-neighbor network architectures. To this end, the concept of majorization is utilized to establish a hierarchy among different paths in a network based on their efficacy. This approach utilizes the symmetry of the underlying graph state to obtain better-performing algorithms.


title: Distribution Decomposition and Sum-Capacity Results of Two-User Optical Intensity Multiple Access Channels

abstract: This paper investigates the sum-capacity of two-user optical intensity multiple access channels with per-user peak- or/and average-intensity constraints. By leveraging tools from the decomposition of certain maxentropic distributions, we derive several lower bounds on the sum-capacity. In the high signal-to-noise ratio (SNR) regime, some bounds asymptotically match or approach the sum-capacity, thus closing or reducing the existing gaps to the high-SNR asymptotic sum-capacity. At moderate SNR, some bounds are also fairly close to the sum-capacity.


title: An algebraic approach to spike-time neural codes in the hippocampus

abstract: Although temporal coding through spike-time patterns has long been of interest in neuroscience, the specific structures that could be useful for spike-time codes remain highly unclear. Here, we introduce a new analytical approach, using techniques from discrete mathematics, to study spike-time codes. We focus on the phenomenon of ``phase precession'' in the rodent hippocampus. During navigation and learning on a physical track, specific cells in a rodent's brain form a highly structured pattern relative to the oscillation of local population activity. Studies of phase precession largely focus on its well established role in synaptic plasticity and memory formation. Comparatively less attention has been paid to the fact that phase precession represents one of the best candidates for a spike-time neural code. The precise nature of this code remains an open question. Here, we derive an analytical expression for an operator mapping points in physical space, through individual spike times, to complex numbers. The properties of this operator highlight a specific relationship between past and future in hippocampal spike patterns. Importantly, this approach generalizes beyond the specific phenomenon studied here, providing a new technique to study the neural codes within spike-time sequences found during sensory coding and motor behavior. We then introduce a novel spike-based decoding algorithm, based on this operator, that successfully decodes a simulated animal's trajectory using only the animal's initial position and a pattern of spike times. This decoder is robust to noise in spike times and works on a timescale almost an order of magnitude shorter than typically used with decoders that work on average firing rate. These results illustrate the utility of a discrete approach, based on the symmetries in spike patterns, to provide insight into the structure and function of neural systems.


title: Smoluchowski coagulation equation with velocity dependence

abstract: In the present article we introduce a variant of Smoluchowski's coagulation equation with both position and velocity variables taking a kinetic viewpoint arising as the scaling limit of a system of second-order (microscopic) coagulating particles. We focus on the rigorous study of the PDE system in the spatially-homogeneous case proving existence and uniqueness under different initial conditions in suitable weighted space, investigating also the regularity of such solutions.


title: Pain Detection in Masked Faces during Procedural Sedation

abstract: Pain monitoring is essential to the quality of care for patients undergoing a medical procedure with sedation. An automated mechanism for detecting pain could improve sedation dose titration. Previous studies on facial pain detection have shown the viability of computer vision methods in detecting pain in unoccluded faces. However, the faces of patients undergoing procedures are often partially occluded by medical devices and face masks. A previous preliminary study on pain detection on artificially occluded faces has shown a feasible approach to detect pain from a narrow band around the eyes. This study has collected video data from masked faces of 14 patients undergoing procedures in an interventional radiology department and has trained a deep learning model using this dataset. The model was able to detect expressions of pain accurately and, after causal temporal smoothing, achieved an average precision (AP) of 0.72 and an area under the receiver operating characteristic curve (AUC) of 0.82. These results outperform baseline models and show viability of computer vision approaches for pain detection of masked faces during procedural sedation. Cross-dataset performance is also examined when a model is trained on a publicly available dataset and tested on the sedation videos. The ways in which pain expressions differ in the two datasets are qualitatively examined.


title: Illumination-Based Color Reconstruction for the Dynamic Vision Sensor

abstract: This work demonstrates a novel, state of the art method to reconstruct colored images via the Dynamic Vision Sensor (DVS). The DVS is an image sensor that indicates only a binary change in brightness, with no information about the captured wavelength (color), or intensity level. We present a novel method to reconstruct a full spatial resolution colored image with the DVS and an active colored light source. We analyze the DVS response and present two reconstruction algorithms: Linear based and Convolutional Neural Network Based. In addition, we demonstrate our algorithm robustness to changes in environmental conditions such as illumination and distance. Finally, comparing with previous works, we show how we reach the state of the art results.


title: Hibikino-Musashi@Home 2022 Team Description Paper

abstract: Our team, Hibikino-Musashi@Home (HMA), was founded in 2010. It is based in Japan in the Kitakyushu Science and Research Park. Since 2010, we have annually participated in the RoboCup@Home Japan Open competition in the open platform league (OPL).We participated as an open platform league team in the 2017 Nagoya RoboCup competition and as a domestic standard platform league (DSPL) team in the 2017 Nagoya, 2018 Montreal, 2019 Sydney, and 2021 Worldwide RoboCup competitions.We also participated in theWorld Robot Challenge (WRC) 2018 in the service-robotics category of the partner-robot challenge (real space) and won first place. Currently, we have 27 members from nine different laboratories within the Kyushu Institute of Technology and the university of Kitakyushu. In this paper, we introduce the activities that have been performed by our team and the technologies that we use.


title: Multistep feature aggregation framework for salient object detection

abstract: Recent works on salient object detection have made use of multi-scale features in a way such that high-level features and low-level features can collaborate in locating salient objects. Many of the previous methods have achieved great performance in salient object detection. By merging the high-level and low-level features, a large number of feature information can be extracted. Generally, they are doing these in a one-way framework, and interweaving the variable features all the way to the final feature output. Which may cause some blurring or inaccurate localization of saliency maps. To overcome these difficulties, we introduce a multistep feature aggregation (MSFA) framework for salient object detection, which is composed of three modules, including the Diverse Reception (DR) module, multiscale interaction (MSI) module and Feature Enhancement (FE) module to accomplish better multi-level feature fusion. Experimental results on six benchmark datasets demonstrate that MSFA achieves state-of-the-art performance.


title: eRASSt J040515.6-745202, an X-ray burster in the Magellanic Bridge

abstract: During the third all-sky survey (eRASS3), eROSITA, the soft X-ray instrument aboard Spectrum-Roentgen-Gamma, detected a new hard X-ray transient, eRASSt J040515.6-745202, in the direction of the Magellanic Bridge. We arranged follow-up observations and searched for archival data to reveal the nature of the transient. Using X-ray observations with XMM-Newton, NICER, and Swift, we investigated the temporal and spectral behaviour of the source for over about 10 days. The X-ray light curve obtained from the XMM-Newton observation with an 28 ks exposure revealed a type-I X-ray burst with a peak bolometric luminosity of at least 1.4e37 erg/s. The burst energetics are consistent with a location of the burster at the distance of the Magellanic Bridge. The relatively long exponential decay time of the burst of 70 s indicates that it ignited in a H-rich environment. The non-detection of the source during the other eROSITA surveys, twelve and six months before and six months after eRASS3, suggests that the burst was discovered during a moderate outburst which reached 2.6e36 erg/s in persistent emission. During the NICER observations, the source showed alternating flux states with the high level at a similar brightness as during the XMM-Newton observation. This behaviour is likely caused by dips as also seen during the last hour of the XMM-Newton observation. Evidence for a recurrence of the dips with a period of 21.8 hr suggests eRASSt J040515.6-745202 is a low-mass X-ray binary (LMXB) system with an accretion disk seen nearly edge on. We identify a multi-wavelength counterpart to the X-ray source in UVW1 and g, r, i, and z images obtained by the optical/UV monitor on XMM-Newton and the Dark Energy Camera at the Cerro Tololo Inter-American Observatory. (abbreviated)


title: Pavlovian reflex in colloids

abstract: Pavlovian reflex is an essential mechanism of nervous systems of living beings which allows them to learn. Liquid colloid computing devices offer a high degree of fault-tolerance, reconfigurability and plasticity. As a first step towards designing and prototyping colloidal neuromorphic computing systems we decided to evaluate if it is possible to implement Pavlovian reflexes. We equate an increase of a synaptic weight with decreased resistance. In laboratory experiments we demonstrated that it is possible to implement Pavlovian learning using just two volumes of colloid liquid.


title: Hypersurfaces in spaces of constant curvature satisfying a particular Roter type equation

abstract: We investigate hypersurfaces M isometrically immersed in an (n+1)-dimensional semi-Riemannian space of constant curvature, n > 3, such that the operator A^3, where A is the shape operator of M, is a linear combination of the operators A^2 and A and the identity operator Id. The main result states that on the set U of all points of M at which the square of the Ricci operator of M is not a linear combination of the Ricci operator and the identity operator, the Riemann-Christoffel curvature tensor R of M is a linear combination of some Kulkarni-Nomizu products formed by the metric tensor g, the Ricci tensor S and the tensor S^2 of M, i.e., the tensor R satisfies on U some Roter type equation. Moreover, the (0,4)-tensor R.S is on U a linear combination of some Tachibana tensors formed by the tensors g, S and S^2. In particular, if M is a hypersurface isometrically immersed in the (n+1)-dimensional Riemannian space of constant curvature, n > 3, with three distinct principal curvatures and the Ricci operator with three distinct eigenvalues then the Riemann-Christoffel curvature tensor R of M also satisfies a Roter type equation of this kind.


title: Structure-Preserving 3D Garment Modeling with Neural Sewing Machines

abstract: 3D Garment modeling is a critical and challenging topic in the area of computer vision and graphics, with increasing attention focused on garment representation learning, garment reconstruction, and controllable garment manipulation, whereas existing methods were constrained to model garments under specific categories or with relatively simple topologies. In this paper, we propose a novel Neural Sewing Machine (NSM), a learning-based framework for structure-preserving 3D garment modeling, which is capable of learning representations for garments with diverse shapes and topologies and is successfully applied to 3D garment reconstruction and controllable manipulation. To model generic garments, we first obtain sewing pattern embedding via a unified sewing pattern encoding module, as the sewing pattern can accurately describe the intrinsic structure and the topology of the 3D garment. Then we use a 3D garment decoder to decode the sewing pattern embedding into a 3D garment using the UV-position maps with masks. To preserve the intrinsic structure of the predicted 3D garment, we introduce an inner-panel structure-preserving loss, an inter-panel structure-preserving loss, and a surface-normal loss in the learning process of our framework. We evaluate NSM on the public 3D garment dataset with sewing patterns with diverse garment shapes and categories. Extensive experiments demonstrate that the proposed NSM is capable of representing 3D garments under diverse garment shapes and topologies, realistically reconstructing 3D garments from 2D images with the preserved structure, and accurately manipulating the 3D garment categories, shapes, and topologies, outperforming the state-of-the-art methods by a clear margin.


title: Supercurrent interference in HgTe Josephson junctions

abstract: Wires made of topological insulators (TI) are a promising platform for searching for Majorana bound states. These states can be probed by analyzing the fractional ac Josephson effect in Josephson junctions with the TI wire as a weak link. An axial magnetic field can be used to tune the system from trivial to topologically nontrivial. Here we investigate the oscillations of the supercurrent in such wire Josephson junctions as a function of the axial magnetic field strength and different contact transparencies. Although the current flows on average parallel to the magnetic field we observe $h/2e$, $h/4e$- and even $h/8e$-periodic oscillations of the supercurrent in samples with lower contact transparencies. Corresponding tight-binding transport simulations using a Bogoliubov-de Gennes model Hamiltonian yield the supercurrent through the Josephson junctions, showing in particular the peculiar $h/4e$-periodic oscillations observed in experiments. A further semiclassical analysis based on Andreev-reflected trajectories connecting the two superconductors allows us to identify the physical origin of these oscillations. They can be related to flux-enclosing paths winding around the TI-nanowire, thereby highlighting the three-dimensional character of the junction geometry compared to common planar junctions.


title: Protecting Expressive Circuits with a Quantum Error Detection Code

abstract: Quantum error correction opens the way for quantum computers to speed up relevant tasks like simulating quantum systems. However, fully fault-tolerant quantum error correction is too resource intensive for existing quantum computers. In this context we develop the $[[k+2,k,2]]$ quantum error detection code, for implementations on existing trapped-ion computers. Encoding $k$ logical qubits into $k+2$ physical qubits, this code presents fault-tolerant state initialisation and syndrome measurement circuits that can detect any single-qubit error. It provides a universal set of local and global logical rotations that, notably, have physical support on only two qubits. A high-fidelity -- though non fault-tolerant -- compilation of this universal gate set is possible thanks to the two-qubit physical rotations present in trapped-ion computers with all-to-all connectivity. Given the particular structure of the logical operators, we nickname it the Iceberg code. On the 12-qubit Quantinuum H1-2 hardware we demonstrate the protection of circuits of 8 logical qubits with up to 256 layers, saturate the logical quantum volume of $2^8$, and show the positive effect of increasing the frequency of syndrome measurements within the circuit. These results illustrate the practical usefulness of the Iceberg code to protect expressive circuits on existing trapped-ion quantum computers.


title: A Remark on a Nonlocal-in-Time Heat Equation

abstract: Schauder's fixed point theorem is used to derive the existence of solutions to a semilinear heat equation. The equation features a nonlinear term that depends on the time-integral of the unknown on the whole, a priori given, interval of existence.


title: Deep Joint Source-Channel Coding Over Cooperative Relay Networks

abstract: This paper presents a novel deep joint source-channel coding (DeepJSCC) scheme for image transmission over a half-duplex cooperative relay channel. Specifically, we apply DeepJSCC to two basic modes of cooperative communications, namely amplify-and-forward (AF) and decode-and-forward (DF). In DeepJSCC-AF, the relay simply amplifies and forwards its received signal. In DeepJSCC-DF, on the other hand, the relay first reconstructs the transmitted image and then re-encodes it before forwarding. Considering the excessive computation overhead of DeepJSCC-DF for recovering the image at the relay, we propose an alternative scheme, called DeepJSCC-PF, in which the relay processes and forwards its received signal without necessarily recovering the image. Simulation results show that the proposed DeepJSCC-AF, DF, and PF schemes are superior to the digital baselines with BPG compression with polar codes and provides a graceful performance degradation with deteriorating channel quality. Further investigation shows that the PSNR gain of DeepJSCC-DF/PF over DeepJSCC-AF improves as the channel condition between the source and relay improves. Moreover, DeepJSCC-PF scheme achieves a similar performance to DeepJSCC-DF with lower computational complexity.


title: Exponential Stability and exact controllability of a system of coupled wave equations by second order terms (via Laplacian) with only one non-smooth local damping

abstract: The purpose of this work is to investigate the exponential stability of a second order coupled wave equations by laplacian with one locally internal viscous damping. Firstly, using a unique continuation theorem combined with a Carleman estimate, we prove that our system is strongly stable without any geometric condition. Secondly, using a combination of the multiplier techniques and the frequency domain approach, we show that our system is exponentially stable under \textbf{(PMGC)} condition on the damping region without any restriction on wave propagation speed (i.e whether the two wave equations propagate at the same speed or not)


title: Multiple Structural Breaks in Interactive Effects Panel Data and the Impact of Quantitative Easing on Bank Lending

abstract: This paper develops a new toolbox for multiple structural break detection in panel data models with interactive effects. The toolbox includes tests for the presence of structural breaks, a break date estimator, and a break date confidence interval. The new toolbox is applied to a large panel of US banks for a period characterized by massive quantitative easing programs aimed at lessening the impact of the global financial crisis and the COVID--19 pandemic. The question we ask is: Have these programs been successful in spurring bank lending in the US economy? The short answer turns out to be: ``No''.


title: Realizing Rings of Regular Functions via the Cohomology of Quantum Groups

abstract: Let $G$ be a complex reductive group and $P$ be a parabolic subgroup of $G$. In this paper the authors address questions involving the realization of the $G$-module of the global sections of the (twisted) cotangent bundle over the flag variety $G/P$ via the cohomology of the small quantum group. Our main results generalize the important computation of the cohomology ring for the small quantum group by Ginzburg and Kumar, and provides a generalization of well-known calculations by Kumar, Lauritzen, and Thomsen to the quantum case and the parabolic setting. As an application we answer the question (first posed by Friedlander and Parshall for Frobenius kernels) about the realization of coordinate rings of Richardson orbit closures for complex semisimple groups via quantum group cohomology. Formulas will be provided which relate the multiplicities of simple $G$-modules in the global sections with the dimensions of extension groups over the large quantum group.


title: Electrostatic control of the proximity effect in the bulk of semiconductor-superconductor hybrids

abstract: The proximity effect in semiconductor-superconductor nanowires is expected to generate an induced gap in the semiconductor. The magnitude of this induced gap, together with the semiconductor properties like the spin-orbit coupling and $g$\,-\,factor, depends on the coupling between the materials. It is predicted that this coupling can be adjusted through the use of electric fields. We study this phenomena in InSb/Al/Pt hybrids using nonlocal spectroscopy. We show that these hybrids can be tuned such that the semiconductor and superconductor are strongly coupled. In this case, the induced gap is similar to the superconducting gap in the Al/Pt shell and closes only at high magnetic fields. In contrast, the coupling can be suppressed which leads to a strong reduction of the induced gap and critical magnetic field. At the crossover between the strong-coupling and weak-coupling regimes, we observe the closing and reopening of the induced gap in the bulk of a nanowire. Contrary to expectations, it is not accompanied by the formation of zero-bias peaks in the local conductance spectra. As a result, this cannot be attributed conclusively to the anticipated topological phase transition and we discuss possible alternative explanations.


title: Robust Difference-in-differences Models

abstract: The difference-in-differences (DID) method identifies the average treatment effects on the treated (ATT) under mainly the so-called parallel trends (PT) assumption. The most common and widely used approach to justify the PT assumption is the pre-treatment period examination. If a null hypothesis of the same trend in the outcome means for both treatment and control groups in the pre-treatment periods is rejected, researchers believe less in PT and the DID results. This paper develops a robust generalized DID method that utilizes all the information available not only from the pre-treatment periods but also from multiple data sources. Our approach interprets PT in a different way using a notion of selection bias, which enables us to generalize the standard DID estimand by defining an information set that may contain multiple pre-treatment periods or other baseline covariates. Our main assumption states that the selection bias in the post-treatment period lies within the convex hull of all selection biases in the pre-treatment periods. We provide a sufficient condition for this assumption to hold. Based on the baseline information set we construct, we provide an identified set for the ATT that always contains the true ATT under our identifying assumption, and also the standard DID estimand. We extend our proposed approach to multiple treatment periods DID settings. We propose a flexible and easy way to implement the method. Finally, we illustrate our methodology through some numerical and empirical examples.


title: A road map to the blow-up for a Kirchhoff equation with external force

abstract: It is well-known that the classical hyperbolic Kirchhoff equation admits infinitely many simple modes, namely time-periodic solutions with only one Fourier component in the space variables. In this paper we assume that, for a suitable choice of the nonlinearity, there exists a heteroclinic connection between two simple modes with different frequencies. Under this assumption, we cook up a forced Kirchhoff equation that admits a solution that blows-up in finite time, despite the regularity and boundedness of the forcing term. The forcing term can be chosen with the maximal regularity that prevents the application of the classical global existence results in analytic and quasi-analytic classes.


title: Helio2024 Science White Paper: ngGONG -- Future Ground-based Facilities for Research in Heliophysics and Space Weather Operational Forecast

abstract: Long-term synoptic observations of the Sun are critical for advancing our understanding of Sun as an astrophysical object, understanding the solar irradiance and its role in solar-terrestrial climate, for developing predictive capabilities of solar eruptive phenomena and their impact on our home planet, and heliosphere in general, and as a data provider for the operational space weather forecast. We advocate for the development of a ground-based network of instruments provisionally called ngGONG to maintain critical observing capabilities for synoptic research in solar physics and for the operational space weather forecast.


title: Self-diffusion and shear viscosity for the TIP4P/Ice water model

abstract: With an ever-increasing interest in water properties, many intermolecular force fields have been proposed to describe the behavior of water. Unfortunately, good models for liquid water usually cannot provide simultaneously an accurate melting point for ice. For this reason, the TIP4P/Ice model was developed at targeting the melting point, and has become the preferred choice for simulating ice at coexistence. Unfortunately, available data for its dynamic properties in the liquid state are scarce. Therefore, we demonstrate a series of simulations aimed at the calculation of transport coefficients for the TIP4P/Ice model over a large range of thermodynamic conditions, ranging from $T=245$ K to $T=350$ K for the temperature and from $p=0$ to $p=500$ MPa for the pressure. We have found that the self-diffusion (shear viscosity) exhibits smaller (increased) values than TIP4P/2005 and experiments. However, rescaling the temperature with respect to the triple point temperature as in a corresponding states plot we find TIP4P/Ice compares very well with TIP4P/2005 and to experiment. Such observations allow us to infer that despite the different original purposes of these two models examined here, one can benefit from a vast number of reports regarding the behavior of transport coefficients for the TIP4P/2005 model and utilize them following the routine described in this paper.


title: Bayesian Learning of Coupled Biogeochemical-Physical Models

abstract: Predictive dynamical models for marine ecosystems are used for a variety of needs. Due to sparse measurements and limited understanding of the myriad of ocean processes, there is however significant uncertainty. There is model uncertainty in the parameter values, functional forms with diverse parameterizations, level of complexity needed, and thus in the state fields. We develop a Bayesian model learning methodology that allows interpolation in the space of candidate models and discovery of new models from noisy, sparse, and indirect observations, all while estimating state fields and parameter values, as well as the joint PDFs of all learned quantities. We address the challenges of high-dimensional and multidisciplinary dynamics governed by PDEs by using state augmentation and the computationally efficient GMM-DO filter. Our innovations include stochastic formulation and complexity parameters to unify candidate models into a single general model as well as stochastic expansion parameters within piecewise function approximations to generate dense candidate model spaces. These innovations allow handling many compatible and embedded candidate models, possibly none of which are accurate, and learning elusive unknown functional forms. Our new methodology is generalizable, interpretable, and extrapolates out of the space of models to discover new ones. We perform a series of twin experiments based on flows past a ridge coupled with three-to-five component ecosystem models, including flows with chaotic advection. The probabilities of known, uncertain, and unknown model formulations, and of state fields and parameters, are updated jointly using Bayes' law. Non-Gaussian statistics, ambiguity, and biases are captured. The parameter values and model formulations that best explain the data are identified. When observations are sufficiently informative, model complexity and functions are discovered.


title: Helio2024 Science White Paper: Solar and Heliospheric Magnetism in 5D

abstract: This White Paper argues for the urgent need for the multi-vantage/multi-point observations of the Sun and the heliosphere in the framework of six (6) key science objectives. We further emphasize the critical importance of 5D-``space'': three spatial, one temporal and the magnetic field components. The importance of such observations cannot be overstated both for scientific research and the operational space weather forecast.


title: PriMask: Cascadable and Collusion-Resilient Data Masking for Mobile Cloud Inference

abstract: Mobile cloud offloading is indispensable for inference tasks based on large-scale deep models. However, transmitting privacy-rich inference data to the cloud incurs concerns. This paper presents the design of a system called PriMask, in which the mobile device uses a secret small-scale neural network called MaskNet to mask the data before transmission. PriMask significantly weakens the cloud's capability to recover the data or extract certain private attributes. The MaskNet is em cascadable in that the mobile can opt in to or out of its use seamlessly without any modifications to the cloud's inference service. Moreover, the mobiles use different MaskNets, such that the collusion between the cloud and some mobiles does not weaken the protection for other mobiles. We devise a {\em split adversarial learning} method to train a neural network that generates a new MaskNet quickly (within two seconds) at run time. We apply PriMask to three mobile sensing applications with diverse modalities and complexities, i.e., human activity recognition, urban environment crowdsensing, and driver behavior recognition. Results show PriMask's effectiveness in all three applications.


title: A Pipeline for Business Intelligence and Data-Driven Root Cause Analysis on Categorical Data

abstract: Business intelligence (BI) is any knowledge derived from existing data that may be strategically applied within a business. Data mining is a technique or method for extracting BI from data using statistical data modeling. Finding relationships or correlations between the various data items that have been collected can be used to boost business performance or at the very least better comprehend what is going on. Root cause analysis (RCA) is discovering the root causes of problems or events to identify appropriate solutions. RCA can show why an event occurred and this can help in avoiding occurrences of an issue in the future. This paper proposes a new clustering + association rule mining pipeline for getting business insights from data. The results of this pipeline are in the form of association rules having consequents, antecedents, and various metrics to evaluate these rules. The results of this pipeline can help in anchoring important business decisions and can also be used by data scientists for updating existing models or while developing new ones. The occurrence of any event is explained by its antecedents in the generated rules. Hence this output can also help in data-driven root cause analysis.


title: Philosophical Foundations of Loop Quantum Gravity

abstract: Understanding the quantum aspects of gravity is not only a matter of equations and experiments. Gravity is intimately connected with the structure of space and time, and understanding quantum gravity requires us to find a conceptual structure appropriate to make sense of the quantum aspects of space and time. In the course of the last decades, an extensive discussion on this problem has led to a clear conceptual picture, that provides a coherent conceptual foundation of today's Loop Quantum Gravity. We review this foundation, addressing issues such as the sense in which space and time are emergent, the notion of locality, the role of truncation that enables physical computations on finite graphs, the problem of time, and the characterization of the observable quantities in quantum gravity.


title: Bipartite Graph Reasoning GANs for Person Pose and Facial Image Synthesis

abstract: We present a novel bipartite graph reasoning Generative Adversarial Network (BiGraphGAN) for two challenging tasks: person pose and facial image synthesis. The proposed graph generator consists of two novel blocks that aim to model the pose-to-pose and pose-to-image relations, respectively. Specifically, the proposed bipartite graph reasoning (BGR) block aims to reason the long-range cross relations between the source and target pose in a bipartite graph, which mitigates some of the challenges caused by pose deformation. Moreover, we propose a new interaction-and-aggregation (IA) block to effectively update and enhance the feature representation capability of both a person's shape and appearance in an interactive way. To further capture the change in pose of each part more precisely, we propose a novel part-aware bipartite graph reasoning (PBGR) block to decompose the task of reasoning the global structure transformation with a bipartite graph into learning different local transformations for different semantic body/face parts. Experiments on two challenging generation tasks with three public datasets demonstrate the effectiveness of the proposed methods in terms of objective quantitative scores and subjective visual realness. The source code and trained models are available at https://github.com/Ha0Tang/BiGraphGAN.


title: Auto Lead Extraction and Digitization of ECG Paper Records using cGAN

abstract: Purpose: An Electrocardiogram (ECG) is the simplest and fastest bio-medical test that is used to detect any heart-related disease. ECG signals are generally stored in paper form, which makes it difficult to store and analyze the data. While capturing ECG leads from paper ECG records, a lot of background information is also captured, which results in incorrect data interpretation. Methods: We propose a deep learning-based model for individually extracting all 12 leads from 12-lead ECG images captured using a camera. To simplify the analysis of the ECG and the calculation of complex parameters, we also propose a method to convert the paper ECG format into a storable digital format. The You Only Look Once, Version 3 (YOLOv3) algorithm has been used to extract the leads present in the image. These leads are then passed on to another deep learning model which separates the ECG signal and background from the single-lead image. After that, vertical scanning is performed on the ECG signal to convert it into a 1-Dimensional (1D) digital form. To perform the task of digitalization, we used the pix-2-pix deep learning model and binarized the ECG signals. Results: Our proposed method was able to achieve an accuracy of 97.4 %. Conclusion: The information on the paper ECG fades away over time. Hence, the digitized ECG signals make it possible to store the records and access them anytime. This proves highly beneficial for heart patients who require frequent ECG reports. The stored data can also be useful for research purposes, as this data can be used to develop computer algorithms that are capable of analyzing the data.


title: Using Features at Multiple Temporal and Spatial Resolutions to Predict Human Behavior in Real Time

abstract: When performing complex tasks, humans naturally reason at multiple temporal and spatial resolutions simultaneously. We contend that for an artificially intelligent agent to effectively model human teammates, i.e., demonstrate computational theory of mind (ToM), it should do the same. In this paper, we present an approach for integrating high and low-resolution spatial and temporal information to predict human behavior in real time and evaluate it on data collected from human subjects performing simulated urban search and rescue (USAR) missions in a Minecraft-based environment. Our model composes neural networks for high and low-resolution feature extraction with a neural network for behavior prediction, with all three networks trained simultaneously. The high-resolution extractor encodes dynamically changing goals robustly by taking as input the Manhattan distance difference between the humans' Minecraft avatars and candidate goals in the environment for the latest few actions, computed from a high-resolution gridworld representation. In contrast, the low-resolution extractor encodes participants' historical behavior using a historical state matrix computed from a low-resolution graph representation. Through supervised learning, our model acquires a robust prior for human behavior prediction, and can effectively deal with long-term observations. Our experimental results demonstrate that our method significantly improves prediction accuracy compared to approaches that only use high-resolution information.