title: Non-relativistic limit of the Euler-HMP$_N$ approximation model arising in radiation hydrodynamics

abstract: In this paper, we are concerned with the non-relativistic limit of a class of computable approximation models for radiation hydrodynamics. The models consist of the compressible Euler equations coupled with moment closure approximations to the radiative transfer equation. They are first-order partial differential equations with source terms. As hyperbolic relaxation systems, they are showed to satisfy the structural stability condition proposed by W.-A. Yong (1999). Base on this, we verify the non-relativistic limit by combining an energy method with a formal asymptotic analysis.


title: INSTA-BNN: Binary Neural Network with INSTAnce-aware Threshold

abstract: Binary Neural Networks (BNNs) have emerged as a promising solution for reducing the memory footprint and compute costs of deep neural networks, but they suffer from quality degradation due to the lack of freedom as activations and weights are constrained to the binary values. To compensate for the accuracy drop, we propose a novel BNN design called Binary Neural Network with INSTAnce-aware threshold (INSTA-BNN), which controls the quantization threshold dynamically in an input-dependent or instance-aware manner. According to our observation, higher-order statistics can be a representative metric to estimate the characteristics of the input distribution. INSTA-BNN is designed to adjust the threshold dynamically considering various information, including higher-order statistics, but it is also optimized judiciously to realize minimal overhead on a real device. Our extensive study shows that INSTA-BNN outperforms the baseline by 3.0% and 2.8% on the ImageNet classification task with comparable computing cost, achieving 68.5% and 72.2% top-1 accuracy on ResNet-18 and MobileNetV1 based models, respectively.


title: Non-invertible self-duality defects of Cardy-Rabinovici model and mixed gravitational anomaly

abstract: We study properties of self-duality symmetry in the Cardy-Rabinovici model. The Cardy-Rabinovici model is the $4$d $U(1)$ gauge theory with electric and magnetic matters, and it enjoys the $SL(2,\mathbb{Z})$ self-duality at low-energies. $SL(2,\mathbb{Z})$ self-duality does not realize in a naive way, but we notice that the $ST^{p}$ duality transformation becomes the legitimate duality operation by performing the gauging of $\mathbb{Z}_N$ $1$-form symmetry with including the level-$p$ discrete topological term. Due to such complications in its realization, the fusion rule of duality defects becomes a non-group-like structure, and thus the self-duality symmetry is realized as a non-invertible symmetry. Moreover, for some fixed points of the self-duality, the duality symmetry turns out to have a mixed gravitational anomaly detected on a $K3$ surface, and we can rule out the trivially gapped phase as a consequence of anomaly matching. We also uncover how the conjectured phase diagram of the Cardy-Rabinovici model satisfies this new anomaly matching condition.


title: COTS: Collaborative Two-Stream Vision-Language Pre-Training Model for Cross-Modal Retrieval

abstract: Large-scale single-stream pre-training has shown dramatic performance in image-text retrieval. Regrettably, it faces low inference efficiency due to heavy attention layers. Recently, two-stream methods like CLIP and ALIGN with high inference efficiency have also shown promising performance, however, they only consider instance-level alignment between the two streams (thus there is still room for improvement). To overcome these limitations, we propose a novel COllaborative Two-Stream vision-language pretraining model termed COTS for image-text retrieval by enhancing cross-modal interaction. In addition to instance level alignment via momentum contrastive learning, we leverage two extra levels of cross-modal interactions in our COTS: (1) Token-level interaction - a masked visionlanguage modeling (MVLM) learning objective is devised without using a cross-stream network module, where variational autoencoder is imposed on the visual encoder to generate visual tokens for each image. (2) Task-level interaction - a KL-alignment learning objective is devised between text-to-image and image-to-text retrieval tasks, where the probability distribution per task is computed with the negative queues in momentum contrastive learning. Under a fair comparison setting, our COTS achieves the highest performance among all two-stream methods and comparable performance (but with 10,800X faster in inference) w.r.t. the latest single-stream methods. Importantly, our COTS is also applicable to text-to-video retrieval, yielding new state-ofthe-art on the widely-used MSR-VTT dataset.


title: Scalable and Real-time Multi-Camera Vehicle Detection, Re-Identification, and Tracking

abstract: Multi-camera vehicle tracking is one of the most complicated tasks in Computer Vision as it involves distinct tasks including Vehicle Detection, Tracking, and Re-identification. Despite the challenges, multi-camera vehicle tracking has immense potential in transportation applications including speed, volume, origin-destination (O-D), and routing data generation. Several recent works have addressed the multi-camera tracking problem. However, most of the effort has gone towards improving accuracy on high-quality benchmark datasets while disregarding lower camera resolutions, compression artifacts and the overwhelming amount of computational power and time needed to carry out this task on its edge and thus making it prohibitive for large-scale and real-time deployment. Therefore, in this work we shed light on practical issues that should be addressed for the design of a multi-camera tracking system to provide actionable and timely insights. Moreover, we propose a real-time city-scale multi-camera vehicle tracking system that compares favorably to computationally intensive alternatives and handles real-world, low-resolution CCTV instead of idealized and curated video streams. To show its effectiveness, in addition to integration into the Regional Integrated Transportation Information System (RITIS), we participated in the 2021 NVIDIA AI City multi-camera tracking challenge and our method is ranked among the top five performers on the public leaderboard.


title: Detecting Violence in Video Based on Deep Features Fusion Technique

abstract: With the rapid growth of surveillance cameras in many public places to mon-itor human activities such as in malls, streets, schools and, prisons, there is a strong demand for such systems to detect violence events automatically. Au-tomatic analysis of video to detect violence is significant for law enforce-ment. Moreover, it helps to avoid any social, economic and environmental damages. Mostly, all systems today require manual human supervisors to de-tect violence scenes in the video which is inefficient and inaccurate. in this work, we interest in physical violence that involved two persons or more. This work proposed a novel method to detect violence using a fusion tech-nique of two significantly different convolutional neural networks (CNNs) which are AlexNet and SqueezeNet networks. Each network followed by separate Convolution Long Short Term memory (ConvLSTM) to extract ro-bust and richer features from a video in the final hidden state. Then, making a fusion of these two obtained states and fed to the max-pooling layer. Final-ly, features were classified using a series of fully connected layers and soft-max classifier. The performance of the proposed method is evaluated using three standard benchmark datasets in terms of detection accuracy: Hockey Fight dataset, Movie dataset and Violent Flow dataset. The results show an accuracy of 97%, 100%, and 96% respectively. A comparison of the results with the state of the art techniques revealed the promising capability of the proposed method in recognizing violent videos.


title: Dynamics of a ring resonator under simultaneous index and loss modulation

abstract: We report a complete steady-state solution to the time rate equations governing the dynamics of a sinusoidally driven ring modulator. Compared to previous works that provide comprehensive solutions for pure index (phase) or loss (loss) modulation, this work presents an exact solution with their simultaneous modulation. Furthermore, the optimum modulation parameters for efficient microwave-to-optical conversion are discussed under such concurrent modulation. As an application, we report selective downward frequency conversion from the ring modulator which is not possible from pure loss or index modulation. The work allows for more accurate modeling of the ring modulator. It provides an insight to explore the interplay between phase and amplitude modulation in MRMs for unique applications, and fully understand the limitations of such devices.


title: Ram pressure stripping in the z~0.5 galaxy cluster MS 0451.6-0305

abstract: The pressure exerted by the ambient hot X-ray gas on cluster galaxies can lead to the presence of ram pressure stripped (RPS) galaxies, characterized by asymmetric shapes, and, in some cases, tails of blue stars and/or X-ray gas, with increased star formation. We searched for such galaxies in the cluster MS 0451.6-0305 at z~0.5, based on Hubble Space Telescope (HST) imaging covering a region of about 6x6 Mpc^2, an eight magnitude ground-based catalogue with photometric redshifts, and a spectroscopic redshift catalogue. We defined as cluster members a spectroscopic redshift sample of 359 galaxies within 4sigma_v of the mean cluster velocity, and a photometric redshift sample covering the [0.48,0.61] range. We searched for RPS galaxies and tested the error on their classification with a Zooniverse collaboration, and computed the phase space diagram for the spectroscopic sample. We ran the LePhare stellar population synthesis code to analyze and compare the properties of RPS and non-RPS galaxies. We find 56 and 273 RPS candidates in the spectroscopic and photometric redshift samples, respectively, distributed throughout the cluster and tending to avoid high density regions. The phase space diagram gives the percentages of virialized, backsplash, and infall galaxies. RPS galaxy candidates typically show rather high star formation rates, young ages, and relatively low masses. This study confirms that RPS galaxies host, on average, younger stellar populations and strongly form stars when compared with non-RPS counterparts. The fact that RPS candidates with spectroscopic and with photometric redshifts have comparable properties shows that large samples of such objects could be gathered based on multi-band photometry only, a promising result in view of future very large imaging surveys.


title: Wi-Fi and Bluetooth Contact Tracing Without User Intervention

abstract: Previous contact tracing systems required the users to perform many manual actions, such as installing smartphone applications, joining wireless networks, or carrying custom user devices. This increases the barrier to entry and lowers the user adoption rate. As a result, the contact tracing effectiveness is reduced. Unlike the systems above, we propose a new privacy preserving Wi-Fi and Bluetooth (BLE) contact tracing system that does not require smartphone applications, joining wireless networks, or custom user devices. Our specially built routers seamlessly track smartphones, laptops, smartwatches, BLE headphones, and tablets without any user action, but do not trace user identity. Mapping between devices and users is only carried out for confirmed cases and suspected contacts. Moreover, we can track the absolute positions of user devices within 1.0 m due to using bidirectional long short-term memory neural networks that are trained with data pre-collected by an autonomous robot. This allows public health authorities to track indirect droplet and surface transmissions that other contact tracing systems often overlook.


title: Stretching Sentence-pair NLI Models to Reason over Long Documents and Clusters

abstract: Natural Language Inference (NLI) has been extensively studied by the NLP community as a framework for estimating the semantic relation between sentence pairs. While early work identified certain biases in NLI models, recent advancements in modeling and datasets demonstrated promising performance. In this work, we further explore the direct zero-shot applicability of NLI models to real applications, beyond the sentence-pair setting they were trained on. First, we analyze the robustness of these models to longer and out-of-domain inputs. Then, we develop new aggregation methods to allow operating over full documents, reaching state-of-the-art performance on the ContractNLI dataset. Interestingly, we find NLI scores to provide strong retrieval signals, leading to more relevant evidence extractions compared to common similarity-based methods. Finally, we go further and investigate whole document clusters to identify both discrepancies and consensus among sources. In a test case, we find real inconsistencies between Wikipedia pages in different languages about the same topic.


title: A Chebyshev type alternation theorem for best approximation by a sum of two algebras

abstract: Let $X$ be a compact metric space, $C(X)$ be the space of continuous real-valued functions on $X$, and $A_1$, $A_2$ be two closed subalgebras of $C(X)$ containing constant functions. We consider the problem of approximation of a function $f\in C(X)$ by elements from $A_1+A_2$. We prove a Chebyshev type alternation theorem for a function $u_0\in A_1+A_2$ to be a best approximation to $f$.


title: Semantic-Aware Pretraining for Dense Video Captioning

abstract: This report describes the details of our approach for the event dense-captioning task in ActivityNet Challenge 2021. We present a semantic-aware pretraining method for dense video captioning, which empowers the learned features to recognize high-level semantic concepts. Diverse video features of different modalities are fed into an event captioning module to generate accurate and meaningful sentences. Our final ensemble model achieves a 10.00 METEOR score on the test set.


title: Asymptotic of the Discrete Volume-Preserving Fractional Mean Curvature Flow via a Nonlocal Quantitative Alexandrov Theorem

abstract: We characterize the long time behaviour of a discrete-in-time approximation of the volume preserving fractional mean curvature flow. In particular, we prove that the discrete flow starting from any bounded set of finite fractional perimeter converges exponentially fast to a single ball. As an intermediate result we establish a quantitative Alexandrov type estimate in the fractional setting for normal deformations of a ball. Finally, we provide existence for flat flows as limit points of the discrete flow when the time discretization parameter tends to zero.


title: On the stability of low-mass planets with supercritical hydrospheres

abstract: Short-period and low-mass water-rich planets are subject to strong irradiation from their host star, resulting in hydrospheres in supercritical state. In this context, we explore the role of irradiation on small terrestrial planets that are moderately wet in the low-mass regime (0.2--1$M_{\oplus}$). We investigate their bulk properties for water contents in the 0.01--5\% range by making use of an internal structure model that is coupled to an atmosphere model. This coupling allows us to take into account both the compression of the interior due to the weight of the hydrosphere and the possibility of atmospheric instability in the low-mass regime. We show that even for low masses and low water contents, these planets display inflated atmospheres. For extremely low planetary masses and high irradiation temperatures, we find that steam atmospheres become gravitationally unstable when the ratio $\eta$ of their scale height to planetary radius exceeds a critical value of $\sim 0.1$. This result is supported by observational data, as all currently detected exoplanets exhibit values of $\eta$ smaller than 0.013. Depending on their water content, our results show that highly irradiated and low-mass planets up to $0.9M_{\oplus}$ with significative hydrospheres are not in stable form and should loose their volatile envelope.


title: A Framework to capture and reproduce the Absolute State of Jupyter Notebooks

abstract: Jupyter Notebooks are an enormously popular tool for creating and narrating computational research projects. They also have enormous potential for creating reproducible scientific research artifacts. Capturing the complete state of a notebook has additional benefits; for instance, the notebook execution may be split between local and remote resources, where the latter may have more powerful processing capabilities or store large or access-limited data. There are several challenges for making notebooks fully reproducible when examined in detail. The notebook code must be replicated entirely, and the underlying Python runtime environments must be identical. More subtle problems arise in replicating referenced data, external library dependencies, and runtime variable states. This paper presents solutions to these problems using Juptyer's standard extension mechanisms to create an archivable system state for a running notebook. We show that the overhead for these additional mechanisms, which involve interacting with the underlying Linux kernel, does not introduce substantial execution time overheads, demonstrating the approach's feasibility.


title: Quantum control of hole spin qubits in double quantum dots

abstract: Hole spin qubits in semiconductor quantum dots (QDs) are promising candidates for quantum information processing due to their weak hyperfine coupling to nuclear spins, and to the strong spin-orbit coupling which allows for rapid operation time. We propose a coherent control on two heavy-hole spin qubits in a double QD by a fast adiabatic driving protocol, which helps to achieve higher fidelities than other experimentally commonly used protocols as linear ramping, $\pi$-pulses or Landau-Zener passages. Using fast quasiadiabatic driving via spin-orbit coupling, it is possible to reduce charge noise significantly for qubit manipulation and achieve high robustness for the qubit initialization. We also implement one and two-qubit gates, in particular, NOT, CNOT, and SWAP-like gates, of hole spins in a double QD achieving fidelities above $99\%$, exhibiting the capability of hole spins to implement universal gates for quantum computing.


title: Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects

abstract: Many calculi exist for modelling various features of object-oriented languages. Many of them are based on $\lambda$-calculus and focus either on statically typed class-based languages or dynamic prototype-based languages. We formalize untyped calculus of decorated objects, informally presented by Bugayenko, which is defined in terms of objects and relies on decoration as a primary mechanism of object extension. It is not based on $\lambda$-calculus, yet with only four basic syntactic constructions is just as complete. We prove the calculus is confluent (i.e. possesses Church-Rosser property), and introduce an abstract machine for call-by-name evaluation. Finally, we provide a sound translation to $\lambda$-calculus with records.


title: A non-autonomous variational problem describing a nonlinear Timoshenko beam

abstract: We study the non-autonomous variational problem: \begin{equation*} \inf_{(\phi,\theta)} \bigg\{\int_0^1 \bigg(\frac{k}{2}\phi'^2 + \frac{(\phi-\theta)^2}{2}-V(x,\theta)\bigg)\text{d}x\bigg\} \end{equation*} where $k>0$, $V$ is a bounded continuous function, $(\phi,\theta)\in H^1([0,1])\times L^2([0,1])$ and $\phi(0)=0$ in the sense of traces. The peculiarity of the problem is its setting in the product of spaces of different regularity order. Problems with this form arise in elastostatics, when studying the equilibria of a nonlinear Timoshenko beam under distributed load, and in classical dynamics of coupled particles in time-depending external fields. We prove the existence and qualitative properties of global minimizers and study, under additional assumptions on $V$, the existence and regularity of local minimizers.


title: ORCNet: A context-based network to simultaneously segment the ocular region components

abstract: Accurate extraction of the Region of Interest is critical for successful ocular region-based biometrics. In this direction, we propose a new context-based segmentation approach, entitled Ocular Region Context Network (ORCNet), introducing a specific loss function, i.e., he Punish Context Loss (PC-Loss). The PC-Loss punishes the segmentation losses of a network by using a percentage difference value between the ground truth and the segmented masks. We obtain the percentage difference by taking into account Biederman's semantic relationship concepts, in which we use three contexts (semantic, spatial, and scale) to evaluate the relationships of the objects in an image. Our proposal achieved promising results in the evaluated scenarios: iris, sclera, and ALL (iris + sclera) segmentations, utperforming the literature baseline techniques. The ORCNet with ResNet-152 outperforms the best baseline (EncNet with ResNet-152) on average by 2.27%, 28.26% and 6.43% in terms of F-Score, Error Rate and Intersection Over Union, respectively. We also provide (for research purposes) 3,191 manually labeled masks for the MICHE-I database, as another contribution of our work.


title: Model-Based Deep Learning of Joint Probabilistic and Geometric Shaping for Optical Communication

abstract: Autoencoder-based deep learning is applied to jointly optimize geometric and probabilistic constellation shaping for optical coherent communication. The optimized constellation shaping outperforms the 256 QAM Maxwell-Boltzmann probabilistic distribution with extra 0.05 bits/4D-symbol mutual information for 64 GBd transmission over 170 km SMF link.


title: Distinguishing parity-switching mechanisms in a superconducting qubit

abstract: Single-charge tunneling is a decoherence mechanism affecting superconducting qubits, yet the origin of excess quasiparticle excitations (QPs) responsible for this tunneling in superconducting devices is not fully understood. We measure the flux dependence of charge-parity (or simply, ``parity'') switching in an offset-charge-sensitive transmon qubit to identify the contributions of photon-assisted parity switching and QP generation to the overall parity-switching rate. The parity-switching rate exhibits a qubit-state-dependent peak in the flux dependence, indicating a cold distribution of excess QPs which are predominantly trapped in the low-gap film of the device. Moreover, we find that the photon-assisted process contributes significantly to both parity switching and the generation of excess QPs by fitting to a model that self-consistently incorporates photon-assisted parity switching as well as inter-film QP dynamics.


title: Qtrade AI at SemEval-2022 Task 11: An Unified Framework for Multilingual NER Task

abstract: This paper describes our system, which placed third in the Multilingual Track (subtask 11), fourth in the Code-Mixed Track (subtask 12), and seventh in the Chinese Track (subtask 9) in the SemEval 2022 Task 11: MultiCoNER Multilingual Complex Named Entity Recognition. Our system's key contributions are as follows: 1) For multilingual NER tasks, we offer an unified framework with which one can easily execute single-language or multilingual NER tasks, 2) for low-resource code-mixed NER task, one can easily enhance his or her dataset through implementing several simple data augmentation methods and 3) for Chinese tasks, we propose a model that can capture Chinese lexical semantic, lexical border, and lexical graph structural information. Finally, our system achieves macro-f1 scores of 77.66, 84.35, and 74.00 on subtasks 11, 12, and 9, respectively, during the testing phase.


title: Relation between Black Hole Mass and Bulge Luminosity in Hard X-ray selected Type 1 AGNs

abstract: Using $I$-band images of 35 nearby ($z<0.1$) type 1 active galactic nuclei (AGNs) obtained with Hubble Space Telescope, selected from the 70-month Swift-BAT X-ray source catalog, we investigate the photometric properties of the host galaxies. With a careful treatment of the point-spread function (PSF) model and imaging decomposition, we robustly measure the $I$-band brightness and the effective radius of bulges in our sample. Along with black hole (BH) mass estimates from single-epoch spectroscopic data, we present the relation between BH mass and $I$-band bulge luminosity ($M_{\rm BH}-M_{I,\rm bul}$ relation) of our sample AGNs. We find that our sample lies offset from the $M_{\rm BH}-M_{I,\rm bul}$ relation of inactive galaxies by 0.4 dex, i.e., at a given bulge luminosity, the BH mass of our sample is systematically smaller than that of inactive galaxies. We also demonstrate that the zero point offset in the $M_{\rm BH}-M_{I,\rm bul}$ relation with respect to inactive galaxies is correlated with the Eddington ratio. Based on the Kormendy relation, we find that the mean surface brightness of ellipticals and classical bulges in our sample is comparable to that of normal galaxies, revealing that bulge brightness is not enhanced in our sample. As a result, we conclude that the deviation in the $M_{\rm BH}-M_{I,\rm bul}$ relation from inactive galaxies is possibly because the scaling factor in the virial BH mass estimator depends on the Eddington ratio.


title: Balayage of charge distributions and subharmonic functions onto a strip

abstract: We consider two balayage constructions on the complex plane $\mathbb C$ with real axis $\mathbb R$ for $0\leq b\in \mathbb R$. Let $u\not\equiv -\infty$ be a subharmonic function on $\mathbb C$ of order $$\operatorname{ord}[u]:=\limsup_{z\to \infty} \frac{\ln \max\{1,u(z)\}}{\ln |z|}\leq 1,$$ $U=u-v$ be the difference of subharmonic functions $u$ and $v\not\equiv -\infty$ on $\mathbb C$ with $\operatorname{ord}[v]\leq 1$, i.e., $\delta$-subharmonic function on $\mathbb C$ of order $\operatorname{ord}[U]\leq 1$. Then there is a $\delta$-subharmonic function $V\not\equiv \pm\infty$ on $\mathbb C$ of order $\operatorname{ord}[V]\leq 1$ such that $V$ is harmonic on $\bigl\{ z \in \mathbb C\bigm| |\Re z|> b\bigr\}$ and $U(z)\equiv V(z)$ for all $z\in \bigl\{ z \in \mathbb C\bigm| |\Re z|\leq b\bigr\}\setminus E$ where $E\subset \mathbb C$ is polar. If $u$ is a subharmonic function of finite type under order $1$, i.e., $$\limsup_{z\to \infty} \frac{u(z)}{|z|}<+\infty,$$ then there exist subharmonic functions $u_{\mathbb R}$ and $u_b$ of finite type under order $1$ that are harmonic respectively on $\mathbb C\setminus \mathbb R$ and $\bigl\{ z \in \mathbb C\bigm| |\Re z|> b\bigr\}$ such that $$\begin{cases} u(z)\equiv u_{\mathbb R}(z)+u_b(z) \text{ for all $z\in {\mathbb R}\bigcup \bigl\{ z \in \mathbb C\bigm| |\Re z|\leq b\bigr\}$},\\ u(z)\leq u_{\mathbb R}(z) + u_b(z) \text{ for each $z\in \mathbb C$.}\end{cases}$$ At the same time, we trace special relationships between the various logarithmic characteristics of the Riesz mass and charge distributions of subharmonic and $\delta$-subharmonic functions.


title: Two new families of bivariate APN functions

abstract: In this work, we present two new families of quadratic APN functions. The first one (F1) is constructed via biprojective polynomials. This family includes one of the two APN families introduced by G\"olo\v{g}lu in 2022. Then, following a similar approach as in Li \emph{et al.} (2022), we give another family (F2) obtained by adding certain terms to F1. As a byproduct, this second family includes one of the two families introduced by Li \emph{et al.} (2022). Moreover, we show that for $n=12$, from our constructions, we can obtain APN functions that are CCZ-inequivalent to any other known APN function over $\mathbb{F}_{2^{12}}$.


title: Gradient Estimate of subelliptic harmonic maps with potential

abstract: In this paper, we investigate subelliptic harmonic maps with potential from noncompact complete sub-Riemannian manifolds corresponding to totally geodesic Riemannian foliations. Under some suitable conditions, we give the gradient estimates of these maps and establish a Liouville type result.


title: Improving Pre-trained Language Models with Syntactic Dependency Prediction Task for Chinese Semantic Error Recognition

abstract: Existing Chinese text error detection mainly focuses on spelling and simple grammatical errors. These errors have been studied extensively and are relatively simple for humans. On the contrary, Chinese semantic errors are understudied and more complex that humans cannot easily recognize. The task of this paper is Chinese Semantic Error Recognition (CSER), a binary classification task to determine whether a sentence contains semantic errors. The current research has no effective method to solve this task. In this paper, we inherit the model structure of BERT and design several syntax-related pre-training tasks so that the model can learn syntactic knowledge. Our pre-training tasks consider both the directionality of the dependency structure and the diversity of the dependency relationship. Due to the lack of a published dataset for CSER, we build a high-quality dataset for CSER for the first time named Corpus of Chinese Linguistic Semantic Acceptability (CoCLSA). The experimental results on the CoCLSA show that our methods outperform universal pre-trained models and syntax-infused models.


title: The State of the Molecular Gas in Post-Starburst Galaxies

abstract: The molecular gas in galaxies traces both the fuel for star formation and the processes that can enhance or suppress star formation. Observations of the molecular gas state can thus point to when and why galaxies stop forming stars. In this study, we present ALMA observations of the molecular gas in galaxies evolving through the post-starburst phase. These galaxies have low current star formation rates, regardless of the SFR tracer used, with recent starbursts ending within the last 600 Myr. We present CO (3-2) observations for three post-starburst galaxies, and dense gas HCN/HCO+/HNC (1-0) observations for six (four new) post-starburst galaxies. The post-starbursts have low excitation traced by the CO spectral line energy distribution (SLED) up to CO (3-2), more similar to early-type than starburst galaxies. The low excitation indicates that lower density rather than high temperatures may suppress star formation during the post-starburst phase. One galaxy displays a blueshifted outflow traced by CO (3-2). MaNGA observations show that the ionized gas velocity is disturbed relative to the stellar velocity field, with a blueshifted component aligned with the molecular gas outflow, suggestive of a multiphase outflow. Low ratios of HCO+/CO, indicating low fractions of dense molecular gas relative to the total molecular gas, are seen throughout post-starburst phase, except for the youngest post-starburst galaxy considered here. These observations indicate that the impact of any feedback or quenching processes may be limited to low excitation and weak outflows in the cold molecular gas during the post-starburst phase.


title: Sensitivity of sparse codes to image distortions

abstract: Sparse coding has been proposed as a theory of visual cortex and as an unsupervised algorithm for learning representations. We show empirically with the MNIST dataset that sparse codes can be very sensitive to image distortions, a behavior that may hinder invariant object recognition. A locally linear analysis suggests that the sensitivity is due to the existence of linear combinations of active dictionary elements with high cancellation. A nearest neighbor classifier is shown to perform worse on sparse codes than original images. For a linear classifier with a sufficiently large number of labeled examples, sparse codes are shown to yield higher accuracy than original images, but no higher than a representation computed by a random feedforward net. Sensitivity to distortions seems to be a basic property of sparse codes, and one should be aware of this property when applying sparse codes to invariant object recognition.


title: Convergence of the Discrete Minimum Energy Path

abstract: The minimum energy path (MEP) describes the mechanism of reaction, and the energy barrier along the path can be used to calculate the reaction rate in thermal systems. The nudged elastic band (NEB) method is one of the most commonly used schemes to compute MEPs numerically. It approximates an MEP by a discrete set of configuration images, where the discretization size determines both computational cost and accuracy of the simulations. In this paper, we consider a discrete MEP to be a stationary state of the NEB method and prove an optimal convergence rate of the discrete MEP with respect to the number of images. Numerical simulations for the transitions of some several proto-typical model systems are performed to support the theory.


title: Nuclear matter calculations with the phenomenological three-nucleon interaction

abstract: Employing the concept of three-body radial distribution function and using the two-body correlation functions, calculated based on the lowest order constrained variational method, we investigated the effect of the three-body force (TBF) on the nuclear matter properties, for Argonne and Urbana $\it{v_{14}}$ potentials. As such, the results for nuclear matter density, incompressibility, energy per nucleon, and symmetry energy are presented at the saturation point. The inclusion of a phenomenological TBF resulted in closer values of the saturation density, incompressibility, and symmetry energy to the empirical ones for the symmetric nuclear matter. This is especially the case for the Urbana $\it{v_{14}}$ potential. In addition, an empirically-verified parabolic approximation of the interaction energy was utilized to perform an approximate study of the nuclear matter with neutron excess. Hence, at densities higher than about 0.3~fm$^{-3}$ and for proton-to-neutron density ratios close to the symmetric nuclear matter, the inclusion of TBF resulted in an extra attraction for the Argonne as compared to the Urbana $\it{v_{14}}$ potential.


title: Mixture of Experts for Biomedical Question Answering

abstract: Biomedical Question Answering (BQA) has attracted increasing attention in recent years due to its promising application prospect. It is a challenging task because the biomedical questions are professional and usually vary widely. Existing question answering methods answer all questions with a homogeneous model, leading to various types of questions competing for the shared parameters, which will confuse the model decision for each single type of questions. In this paper, in order to alleviate the parameter competition problem, we propose a Mixture-of-Expert (MoE) based question answering method called MoEBQA that decouples the computation for different types of questions by sparse routing. To be specific, we split a pretrained Transformer model into bottom and top blocks. The bottom blocks are shared by all the examples, aiming to capture the general features. The top blocks are extended to an MoE version that consists of a series of independent experts, where each example is assigned to a few experts according to its underlying question type. MoEBQA automatically learns the routing strategy in an end-to-end manner so that each expert tends to deal with the question types it is expert in. We evaluate MoEBQA on three BQA datasets constructed based on real examinations. The results show that our MoE extension significantly boosts the performance of question answering models and achieves new state-of-the-art performance. In addition, we elaborately analyze our MoE modules to reveal how MoEBQA works and find that it can automatically group the questions into human-readable clusters.


title: Explaining the 96 GeV Di-photon Anomaly in a Generic 2HDM Type-III

abstract: Motivated by results recently reported by the CMS Collaboration about an excess in the di-photon spectrum at about 96 GeV, especially when combined with another long-standing anomaly at the same value in the $b\bar b$ invariant mass spectrum in four-jet events collected at LEP, we show that a possible explanation to both phenomena can be found at 1$\sigma$ level in a generic 2-Higgs Doublet Model (2HDM) of Type-III in presence of a specific Yukawa texture, wherein Lepton Flavour Violating (LFV) (neutral) currents are induced at tree level. Bounds from Higgs data play a major role in limiting the parameter space of this scenario, yet we find solutions with $m_H = 125$ GeV and $m_h = 96$ GeV consistent with current theoretical and experimental bounds.


title: The Importance of Credo in Multiagent Learning

abstract: We propose a model for multi-objective optimization, a credo, for agents in a system that are configured into multiple groups (i.e., teams). Our model of credo regulates how agents optimize their behavior for the groups they belong to. We evaluate credo in the context of challenging social dilemmas with reinforcement learning agents. Our results indicate that the interests of teammates, or the entire system, are not required to be fully aligned for achieving globally beneficial outcomes. We identify two scenarios without full common interest that achieve high equality and significantly higher mean population rewards compared to when the interests of all agents are aligned.


title: Dipole Anisotropy in Gravitational Wave Source Distribution

abstract: Our local motion with respect to the cosmic frame of rest is believed to be dominantly responsible for the observed dipole anisotropy in the Cosmic Microwave Background Radiation (CMBR). We study the effect of this motion on the sky distribution of gravitational wave (GW) sources. We determine the resulting dipole anisotropy in GW source number counts, mass weighted number counts, which we refer to as mass intensity, and mean mass per source. The mass M dependence of the number density n(M) distribution of BBH is taken directly from the data. We also test the anisotropy in the observable mean mass per source along the direction of the CMB dipole. The current data sample is relatively small and consistent with isotropy. The number of sources required for this test is likely to become available in the near future.


title: Spectroscopic Line Modeling of the Fastest Rotating O-type Stars

abstract: We present a spectroscopic analysis of the most rapidly rotating stars currently known, VFTS 102 ($v_{e} \sin i = 649 \pm 52$ km s$^{-1}$; O9: Vnnne+) and VFTS 285 ($v_{e} \sin i = 610 \pm 41$ km s$^{-1}$; O7.5: Vnnn), both members of the 30 Dor complex in the Large Magellanic Cloud. This study is based on high resolution ultraviolet spectra from HST/COS and optical spectra from VLT X-shooter plus archival VLT GIRAFFE spectra. We utilize numerical simulations of their photospheres, rotationally distorted shape, and gravity darkening to calculate model spectral line profiles and predicted monochromatic absolute fluxes. We use a guided grid search to investigate parameters that yield best fits for the observed features and fluxes. These fits produce estimates of the physical parameters for these stars (plus a Galactic counterpart, $\zeta$ Oph) including the equatorial rotational velocity, inclination, radius, mass, gravity, temperature, and reddening. We find that both stars appear to be radial velocity constant. VFTS 102 is rotating at critical velocity, has a modest He enrichment, and appears to share the motion of the nearby OB association LH 99. These properties suggest that the star was spun up through a close binary merger. VFTS 285 is rotating at $95\%$ of critical velocity, has a strong He enrichment, and is moving away from the R136 cluster at the center of 30 Dor. It is mostly likely a runaway star ejected by a supernova explosion that released the components of the natal binary system.


title: The comparative statics of persuasion

abstract: In the canonical persuasion model, comparative statics has been an open question. We answer it, delineating which shifts of the sender's interim payoff lead her optimally to choose a more informative signal. Our first theorem identifies a coarse notion of 'increased convexity' that we show characterises those shifts of the sender's interim payoff that lead her optimally to choose no less informative signals. To strengthen this conclusion to 'more informative' requires further assumptions: our second theorem identifies the necessary and sufficient condition on the sender's interim payoff, which strictly generalises the 'S' shape commonly imposed in the literature. We identify conditions under which increased alignment of interests between sender and receiver lead to comparative statics, and study a number of applications.


title: Kernel similarity matching with Hebbian neural networks

abstract: Recent works have derived neural networks with online correlation-based learning rules to perform \textit{kernel similarity matching}. These works applied existing linear similarity matching algorithms to nonlinear features generated with random Fourier methods. In this paper attempt to perform kernel similarity matching by directly learning the nonlinear features. Our algorithm proceeds by deriving and then minimizing an upper bound for the sum of squared errors between output and input kernel similarities. The construction of our upper bound leads to online correlation-based learning rules which can be implemented with a 1 layer recurrent neural network. In addition to generating high-dimensional linearly separable representations, we show that our upper bound naturally yields representations which are sparse and selective for specific input patterns. We compare the approximation quality of our method to neural random Fourier method and variants of the popular but non-biological "Nystr{\"o}m" method for approximating the kernel matrix. Our method appears to be comparable or better than randomly sampled Nystr{\"o}m methods when the outputs are relatively low dimensional (although still potentially higher dimensional than the inputs) but less faithful when the outputs are very high dimensional.


title: Guiding Attention using Partial-Order Relationships for Image Captioning

abstract: The use of attention models for automated image captioning has enabled many systems to produce accurate and meaningful descriptions for images. Over the years, many novel approaches have been proposed to enhance the attention process using different feature representations. In this paper, we extend this approach by creating a guided attention network mechanism, that exploits the relationship between the visual scene and text-descriptions using spatial features from the image, high-level information from the topics, and temporal context from caption generation, which are embedded together in an ordered embedding space. A pairwise ranking objective is used for training this embedding space which allows similar images, topics and captions in the shared semantic space to maintain a partial order in the visual-semantic hierarchy and hence, helps the model to produce more visually accurate captions. The experimental results based on MSCOCO dataset shows the competitiveness of our approach, with many state-of-the-art models on various evaluation metrics.


title: Superconducting quantum fluctuations in one dimension

abstract: We review some recent developments in the field of quasi-one-dimensional superconductivity. We demonstrate that low temperature properties of superconducting nanowires are essentially determined by quantum fluctuations. Smooth (Gaussian) fluctuations of the superconducting phase (also associated with plasma modes propagating along the wire) may significantly affect the electron density of states in such nanowires and induce persistent current noise in superconducting nanorings. Further interesting phenomena such as, e.g., non-vanishing resistance and shot noise of the voltage in current-biased superconducting nanowires, are caused by non-Gaussian fluctuations of the order parameter -- quantum phase slips (QPS). Such phenomena may be interpreted in terms of tunneling of fluxons playing the role of effective quantum "particles" dual to Cooper pairs and obeying complicated full counting statistics which reduces to Poissonian one in the low frequency limit. We also demonstrate that QPS effects may be particularly pronounced in thinnest wires and rings where quantum phase slips remain unbound and determine a non-perturbative length scale $L_c$ beyond which the supercurrent gets suppressed by quantum fluctuations. Accordingly, for $T \to 0$ such nanowires should become insulating at scales exceeding $L_c$, whereas at shorter length scales they may still exhibit superconducting properties. We argue that certain non-trivial features associated with quantum fluctuations of the order parameter may be sensitive to specific circuit topology and may be observed in structures like, e.g., a system of capacitively coupled superconducting nanowires.


title: Signal Reception With Generic Three-State Receptors in Synaptic MC

abstract: Synaptic communication is studied by communication engineers for two main reasons. One is to enable novel neuroengineering applications that require interfacing with neurons. The other reason is to draw inspiration for the design of synthetic molecular communication systems. Both of these goals require understanding of how the chemical synaptic signal is sensed and transduced at the synaptic receiver (Rx). While signal reception in synaptic molecular communication (SMC) depends heavily on the kinetics of the receptors employed by the synaptic Rxs, existing channel models for SMC either oversimplify the receptor kinetics or employ complex, high-dimensional kinetic schemes limited to specific types of receptors. Both approaches do not facilitate a comparative analysis of different types of natural synapses. In this paper, we propose a novel deterministic channel model for SMC which employs a generic three-state receptor model that captures the characteristics of the most important receptor types in SMC. The model is based on a transfer function expansion of Fick's diffusion equation and accounts for release, diffusion, and degradation of neurotransmitters as well as their reversible binding to finitely many generic postsynaptic receptors. The proposed SMC model is the first that allows studying the impact of the characteristic dynamics of the main postsynaptic receptor types on synaptic signal transmission. Numerical results indicate that the proposed model indeed exhibits a wide range of biologically plausible dynamics when specialized to specific natural receptor types.


title: Gagliardo-Nirenberg inequality in anisotropic Lebesgue spaces and energy equality in the Navier-Stokes equations

abstract: In this paper, it is shown that an analogue in mixed norm spaces of Gagliardo-Nirenberg inequality is valid. As an application, some new criteria for energy conservation of Leray-Hopf weak solutions to the 3D Navier-Stokes equations are established in these spaces, which extend the corresponding known results.


title: Finite element methods respecting the discrete maximum principle for convection-diffusion equations

abstract: Convection-diffusion-reaction equations model the conservation of scalar quantities. From the analytic point of view, solution of these equations satisfy under certain conditions maximum principles, which represent physical bounds of the solution. That the same bounds are respected by numerical approximations of the solution is often of utmost importance in practice. The mathematical formulation of this property, which contributes to the physical consistency of a method, is called Discrete Maximum Principle (DMP). In many applications, convection dominates diffusion by several orders of magnitude. It is well known that standard discretizations typically do not satisfy the DMP in this convection-dominated regime. In fact, in this case, it turns out to be a challenging problem to construct discretizations that, on the one hand, respect the DMP and, on the other hand, compute accurate solutions. This paper presents a survey on finite element methods, with a main focus on the convection-dominated regime, that satisfy a local or a global DMP. The concepts of the underlying numerical analysis are discussed. The survey reveals that for the steady-state problem there are only a few discretizations, all of them nonlinear, that at the same time satisfy the DMP and compute reasonably accurate solutions, e.g., algebraically stabilized schemes. Moreover, most of these discretizations have been developed in recent years, showing the enormous progress that has been achieved lately. Methods based on algebraic stabilization, nonlinear and linear ones, are currently as well the only finite element methods that combine the satisfaction of the global DMP and accurate numerical results for the evolutionary equations in the convection-dominated situation.


title: Knowledge Equivalence in Digital Twins of Intelligent Systems

abstract: A digital twin contains up-to-date data-driven models of the physical world being studied and can use simulation to optimise the physical world. However, the analysis made by the digital twin is valid and reliable only when the model is equivalent to the physical world. Maintaining such an equivalent model is challenging, especially when the physical systems being modelled are intelligent and autonomous. The paper focuses in particular on digital twin models of intelligent systems where the systems are knowledge-aware but with limited capability. The digital twin improves the acting of the physical system at a meta-level by accumulating more knowledge in the simulated environment. The modelling of such an intelligent physical system requires replicating the knowledge-awareness capability in the virtual space. Novel equivalence maintaining techniques are needed, especially in synchronising the knowledge between the model and the physical system. This paper proposes the notion of knowledge equivalence and an equivalence maintaining approach by knowledge comparison and updates. A quantitative analysis of the proposed approach confirms that compared to state equivalence, knowledge equivalence maintenance can tolerate deviation thus reducing unnecessary updates and achieve more Pareto efficient solutions for the trade-off between update overhead and simulation reliability.


title: Towards PAC Multi-Object Detection and Tracking

abstract: Accurately detecting and tracking multi-objects is important for safety-critical applications such as autonomous navigation. However, it remains challenging to provide guarantees on the performance of state-of-the-art techniques based on deep learning. We consider a strategy known as conformal prediction, which predicts sets of labels instead of a single label; in the classification and regression settings, these algorithms can guarantee that the true label lies within the prediction set with high probability. Building on these ideas, we propose multi-object detection and tracking algorithms that come with probably approximately correct (PAC) guarantees. They do so by constructing both a prediction set around each object detection as well as around the set of edge transitions; given an object, the detection prediction set contains its true bounding box with high probability, and the edge prediction set contains its true transition across frames with high probability. We empirically demonstrate that our method can detect and track objects with PAC guarantees on the COCO and MOT-17 datasets.


title: Polling Latent Opinions: A Method for Computational Sociolinguistics Using Transformer Language Models

abstract: Text analysis of social media for sentiment, topic analysis, and other analysis depends initially on the selection of keywords and phrases that will be used to create the research corpora. However, keywords that researchers choose may occur infrequently, leading to errors that arise from using small samples. In this paper, we use the capacity for memorization, interpolation, and extrapolation of Transformer Language Models such as the GPT series to learn the linguistic behaviors of a subgroup within larger corpora of Yelp reviews. We then use prompt-based queries to generate synthetic text that can be analyzed to produce insights into specific opinions held by the populations that the models were trained on. Once learned, more specific sentiment queries can be made of the model with high levels of accuracy when compared to traditional keyword searches. We show that even in cases where a specific keyphrase is limited or not present at all in the training corpora, the GPT is able to accurately generate large volumes of text that have the correct sentiment.


title: Operator semigroups in the mixed topology and the infinitesimal description of Markov processes

abstract: We define a class of not necessarily linear $C_0$-semigroups $(P_t)_{t\geq0}$ on $C_b(E)$ (more generally, on $C_\kappa(E):=\frac1\kappa C_b(E)$, for some bounded function $\kappa$, which is the pointwise limit of a decreasing sequence of continuous functions) equipped with the mixed topology $\tau_1^{\mathscr M}$ for a large class of topological state spaces $E$. If these semigroups are linear, classical theory of operator semigroups on locally convex spaces as well as the theory of bicontinuous semigroups apply to them. In particular, they are infinitesimally generated by their generator $(L,D(L))$ and thus reconstructable through an Euler formula from their strong derivative at zero in $(C_b(E),\tau_1^{\mathscr M})$. In the linear case, we characterize such $(P_t)_{t\geq0}$ as integral operators given by measure kernels satisfying certain tightness properties. As a consequence, transition semigroups of Markov processes are $C_0$-semigroups on $(C_b(E),\tau_1^{\mathscr M})$, if they leave $C_b(E)$ invariant and they are jointly weakly continuous in space and time. Hence, they can be reconstructed from their strong derivative at zero and thus have a fully infinitesimal description. Furthermore, we introduce the notion of a Markov core operator $(L_0,D(L_0))$ for the above generators $(L,D(L))$ and prove that uniqueness of the Fokker-Planck-Kolmogorov equations corresponding to $(L_0,D(L_0))$ for all Dirac initial conditions implies that $(L_0,D(L_0))$ is a Markov core operator for $(L,D(L))$. If each $P_t$ is merely convex, we prove that $(P_t)_{t\geq0}$ gives rise to viscosity solutions to the Cauchy problem given by its associated (nonlinear) infinitesimal generator. We also show that value functions of optimal control problems, both, in finite and infinite dimensions are particular instances of convex $C_0$-semigroups on $(C_\kappa(E),\tau_\kappa^{\mathscr M})$.


title: How to Use K-means for Big Data Clustering?

abstract: K-means plays a vital role in data mining and is the simplest and most widely used algorithm under the Euclidean Minimum Sum-of-Squares Clustering (MSSC) model. However, its performance drastically drops when applied to vast amounts of data. Therefore, it is crucial to improve K-means by scaling it to big data using as few of the following computational resources as possible: data, time, and algorithmic ingredients. We propose a new parallel scheme of using K-means and K-means++ algorithms for big data clustering that satisfies the properties of a ``true big data'' algorithm and outperforms the classical and recent state-of-the-art MSSC approaches in terms of solution quality and runtime. The new approach naturally implements global search by decomposing the MSSC problem without using additional metaheuristics. This work shows that data decomposition is the basic approach to solve the big data clustering problem. The empirical success of the new algorithm allowed us to challenge the common belief that more data is required to obtain a good clustering solution. Moreover, the present work questions the established trend that more sophisticated hybrid approaches and algorithms are required to obtain a better clustering solution.


title: Patch-wise Contrastive Style Learning for Instagram Filter Removal

abstract: Image-level corruptions and perturbations degrade the performance of CNNs on different downstream vision tasks. Social media filters are one of the most common resources of various corruptions and perturbations for real-world visual analysis applications. The negative effects of these distractive factors can be alleviated by recovering the original images with their pure style for the inference of the downstream vision tasks. Assuming these filters substantially inject a piece of additional style information to the social media images, we can formulate the problem of recovering the original versions as a reverse style transfer problem. We introduce Contrastive Instagram Filter Removal Network (CIFR), which enhances this idea for Instagram filter removal by employing a novel multi-layer patch-wise contrastive style learning mechanism. Experiments show our proposed strategy produces better qualitative and quantitative results than the previous studies. Moreover, we present the results of our additional experiments for proposed architecture within different settings. Finally, we present the inference outputs and quantitative comparison of filtered and recovered images on localization and segmentation tasks to encourage the main motivation for this problem.


title: An abstract decomposition of measures and its many applications

abstract: We consider a little-known abstract decomposition result, due to Dellacherie, and show that it yields many decompositions of measures, several of which are new. Then, we investigate how the outputs of the decomposition depend on its inputs, in particular characterising the two elements of the decomposition as projections in the sense of Riesz spaces and of metric spaces.


title: Quantum Anomalous Hall and Valley Quantum Anomalous Hall Effects in Two-Dimensional d0 Orbital XY Monolayers

abstract: We propose a new family of the d0 orbital XY (X = K, Rb, Cs; Y = N, P, As, Sb, Bi) monolayers with abundant and novel topology and valley properties. The KN, RbN, RbP, RbAs, CsP, CsAs, and CsSb monolayers possess remarkable quantum anomalous Hall effect (QAHE). CsSb monolayer also exhibits extraordinary valley QAHE with giant splitting. Moreover, the topological properties of XY monolayers can be effciently tuned by the in-plane strain, owing to the strain-induced band inversion between the px;y and pz orbitals. Our findings suggest that the d0 orbital XY monolayers can be good candidates for promising applications in the spintronics and multifunctional topological-based devices.


title: Epistemic uncertainty from an averaged Hamilton-Jacobi formalism

abstract: In recent years, the non-relativistic quantum dynamics derived from three assumptions; i) probability current conservation, ii) average energy conservation, and iii) an epistemic momentum uncertainty [A. Budiyono and D. Rohrlich, \href{https://doi.org/10.1038/s41467-017-01375-w}{Nat. Commun 8, 1306 (2017)}]. Here we show that, these assumptions can be derived from a natural extension of classical statistical mechanics.

categories: quant-ph math-ph math.MP physics.atom-ph


title: Detection limit of next-generation of multi-element germanium detectors in the context of Environmental science

abstract: One of the main challenges in Environmental sciences is the identification and chemical evolution of polluting traces (e.g, cadmium or antimony) in soil, which requires long acquistion times for accurate measurements at synchrotron facilities. In this context, the potential of a new generation multi-element germanium detectors to identify traces at 0.1-1~ppm in a reasonable time has been studied using Allpix Squared framework. This code has been customized to include the three dimensional electric and weighting field maps generated by COMSOL Multiphysics software, and several features to model the sample environment at SOLEIL synchrotron and the signal response of a germanium detector equipped with a Digital Pulse Processor (DPP). The full simulation chain has been validated by experimental data from SAMBA beamline of SOLEIL synchrotron. This work presents a first estimation of the detection limit to cadmium traces in a soil sample for a future multi-element germanium detector, using this simulation chain.


title: Distributed Reconstruction of Noisy Pooled Data

abstract: In the pooled data problem we are given a set of $n$ agents, each of which holds a hidden state bit, either $0$ or $1$. A querying procedure returns for a query set the sum of the states of the queried agents. The goal is to reconstruct the states using as few queries as possible. In this paper we consider two noise models for the pooled data problem. In the noisy channel model, the result for each agent flips with a certain probability. In the noisy query model, each query result is subject to random Gaussian noise. Our results are twofold. First, we present and analyze for both error models a simple and efficient distributed algorithm that reconstructs the initial states in a greedy fashion. Our novel analysis pins down the range of error probabilities and distributions for which our algorithm reconstructs the exact initial states with high probability. Secondly, we present simulation results of our algorithm and compare its performance with approximate message passing (AMP) algorithms that are conjectured to be optimal in a number of related problems.


title: A Machine Learning Tutorial for Operational Meteorology, Part I: Traditional Machine Learning

abstract: Recently, the use of machine learning in meteorology has increased greatly. While many machine learning methods are not new, university classes on machine learning are largely unavailable to meteorology students and are not required to become a meteorologist. The lack of formal instruction has contributed to perception that machine learning methods are 'black boxes' and thus end-users are hesitant to apply the machine learning methods in their every day workflow. To reduce the opaqueness of machine learning methods and lower hesitancy towards machine learning in meteorology, this paper provides a survey of some of the most common machine learning methods. A familiar meteorological example is used to contextualize the machine learning methods while also discussing machine learning topics using plain language. The following machine learning methods are demonstrated: linear regression; logistic regression; decision trees; random forest; gradient boosted decision trees; naive Bayes; and support vector machines. Beyond discussing the different methods, the paper also contains discussions on the general machine learning process as well as best practices to enable readers to apply machine learning to their own datasets. Furthermore, all code (in the form of Jupyter notebooks and Google Colaboratory notebooks) used to make the examples in the paper is provided in an effort to catalyse the use of machine learning in meteorology.


title: Prescribed Mean Curvature Min-Max Theory in Some Non-Compact Manifolds

abstract: This paper develops a technique for applying one-parameter prescribed mean curvature min-max theory in certain non-compact manifolds. We give two main applications. First, fix a dimension $3\le n+1 \le 7$ and consider a smooth function $h\colon \mathbb{R}^{n+1}\to \mathbb{R}$ which is asymptotic to a positive constant near infinity. We show that, under certain additional assumptions on $h$, there exists a closed hypersurface $\Sigma$ in $\mathbb{R}^{n+1}$ with mean curvature prescribed by $h$. Second, let $(M^3,g)$ be an asymptotically flat 3-manifold and fix a constant $c > 0$. We show that, under an additional assumption on $M$, it is possible to find a closed surface $\Sigma$ of constant mean curvature $c$ in $M$.


title: The major role of eccentricity in the evolution of colliding pulsar-stellar winds

abstract: Binary systems that host a massive star and a non-accreting pulsar can be powerful non-thermal emitters. The relativistic pulsar wind and the non-relativistic stellar outflows interact along the orbit, producing ultrarelativistic particles that radiate from radio to gamma rays. To properly characterize the physics of these sources, and better understand their emission and impact on the environment, careful modelling of the outflow interactions, spanning a broad range of spatial and temporal scales, is needed. Full 3-dimensional approaches are very computationally expensive, but simpler approximate approaches, while still realistic at the semi-quantitative level, are available. We present here the results of calculations done with a quasi 3-dimensional scheme to compute the evolution of the interacting flows in a region spanning in size up to a thousand times the size of the binary. In particular, we analyze for the first time the role of different eccentricities in the large scale evolution of the shocked flows. We find that the higher the eccentricity, the closer the flows behave like a one-side outflow, which becomes rather collimated for eccentricity values $\gtrsim 0.75$. The simulations also unveil that the pulsar and the stellar winds become fully mixed within the grid for low eccentricity systems, presenting a more stochastic behavior at large scales than in the highly eccentric systems.


title: Analytical Model of Disk Evaporation and State Transitions in Accreting Black Holes

abstract: State transitions in black hole X-ray binaries are likely caused by gas evaporation from a thin accretion disk into a hot corona. We present a height-integrated version of this process which is suitable for analytical and numerical studies. With radius $r$ scaled to Schwarzschild units and coronal mass accretion rate $\dot{m}_c$ to Eddington units, the results of the model are independent of black hole mass. State transitions should thus be similar in X-ray binaries and AGN. The corona solution consists of two power-law segments separated at a break radius $r_b \sim10^3 \,(\alpha/0.3)^{-2}$, where $\alpha$ is the viscosity parameter. Gas evaporates from the disk to the corona for $r>r_b$, and condenses back for $r<r_b$. At $r_b$, $\dot{m}_c$ reaches its maximum, $\dot{m}_{c,{\rm max}} \approx 0.02\, (\alpha/0.3)^3$. If at $r\gg r_b$ the thin disk accretes with $\dot{m}_d < \dot{m}_{c,{\rm max}} $, then the disk evaporates fully before reaching $r_b$, giving the hard state. Otherwise, the disk survives at all radii, giving the thermal state. While the basic model considers only bremsstrahlung cooling and viscous heating, we also discuss a more realistic model which includes Compton cooling and direct coronal heating by energy transport from the disk. Solutions are again independent of black hole mass, and $r_b$ remains unchanged. This model predicts strong coronal winds for $r>r_b$, and a $T\sim 5\times 10^8\,{\rm K}$ Compton-cooled corona for $r < r_b$. Two-temperature effects are ignored, but may be important at small radii.


title: Improving Passage Retrieval with Zero-Shot Question Generation

abstract: We propose a simple and effective re-ranking method for improving passage retrieval in open question answering. The re-ranker re-scores retrieved passages with a zero-shot question generation model, which uses a pre-trained language model to compute the probability of the input question conditioned on a retrieved passage. This approach can be applied on top of any retrieval method (e.g. neural or keyword-based), does not require any domain- or task-specific training (and therefore is expected to generalize better to data distribution shifts), and provides rich cross-attention between query and passage (i.e. it must explain every token in the question). When evaluated on a number of open-domain retrieval datasets, our re-ranker improves strong unsupervised retrieval models by 6%-18% absolute and strong supervised models by up to 12% in terms of top-20 passage retrieval accuracy. We also obtain new state-of-the-art results on full open-domain question answering by simply adding the new re-ranker to existing models with no further changes.


title: Helicity-conservative Physics-informed Neural Network Model for Navier-Stokes Equations

abstract: We design the helicity-conservative physics-informed neural network model for the Navier-Stokes equation in the ideal case. The key is to provide an appropriate PDE model as loss function so that its neural network solutions produce helicity conservation. Physics-informed neural network model is based on the strong form of PDE. We compare the proposed Physics-informed neural network model and a relevant helicity-conservative finite element method. We arrive at the conclusion that the strong form PDE is better suited for conservation issues. We also present theoretical justifications for helicity conservation as well as supporting numerical calculations.


title: Inner and outer smooth approximation of convex hypersurfaces. When is it possible?

abstract: Let $S$ be a convex hypersurface (the boundary of a closed convex set $V$ with nonempty interior) in $\mathbb{R}^n$. We prove that $S$ contains no lines if and only if for every open set $U\supset S$ there exists a real-analytic convex hypersurface $S_{U} \subset U\cap \textrm{int}(V) $. We also show that $S$ contains no rays if and only if for every open set $U\supset S$ there exists a real-analytic convex hypersurface $S_{U}\subset U\setminus V$. Moreover, in both cases, $S_U$ can be taken strongly convex. We also establish similar results for convex functions defined on open convex subsets of $\mathbb{R}^n$, completely characterizing the class of convex functions that can be approximated in the $C^0$-fine topology by smooth convex functions from above or from below. We also provide similar results for $C^1$-fine approximations


title: Endomorphisms and derivations of the measure algebra of commutative hypergroups

abstract: Endomorphisms of the measure algebra of commutative hypergroups are investigated. We focus on derivations and higher order derivations which are closely related to moment function sequences of higher rank. We describe the exact connection between those higher order derivations which are endomorphisms of the measure algebra if it is considered as a module over the ring of continuous functions.


title: Existence results for nonexpansive multi-valued operators and nonlinear integral inclusions

abstract: In this paper, we establish some new variants of fixed point theorems for a large class of countably nonexpansive multi-valued mappings. Some fixed point theorems for the sum and the product of three multi-valued mappings defined on nonempty, closed convex set of Banach algebras are also presented. These results improve and complement a number of earlier works. As an application, we prove existence results for a broad class of nonlinear functional integral inclusions as well as nonlinear differential inclusions.


title: Evaluating few shot and Contrastive learning Methods for Code Clone Detection

abstract: Context: Code Clone Detection (CCD) is a software engineering task that is used for plagiarism detection, code search, and code comprehension. Recently, deep learning-based models have achieved an F1 score (a metric used to assess classifiers) of $\sim$95\% on the CodeXGLUE benchmark. These models require many training data, mainly fine-tuned on Java or C++ datasets. However, no previous study evaluates the generalizability of these models where a limited amount of annotated data is available. Objective: The main objective of this research is to assess the ability of the CCD models as well as few shot learning algorithms for unseen programming problems and new languages (i.e., the model is not trained on these problems/languages). Method: We assess the generalizability of the state of the art models for CCD in few shot settings (i.e., only a few samples are available for fine-tuning) by setting three scenarios: i) unseen problems, ii) unseen languages, iii) combination of new languages and new problems. We choose three datasets of BigCloneBench, POJ-104, and CodeNet and Java, C++, and Ruby languages. Then, we employ Model Agnostic Meta-learning (MAML), where the model learns a meta-learner capable of extracting transferable knowledge from the train set; so that the model can be fine-tuned using a few samples. Finally, we combine contrastive learning with MAML to further study whether it can improve the results of MAML.


title: Validating a Simulation Model for Laser-Induced Thermotherapy Using MR Thermometry

abstract: Laser-induced interstitial thermotherapy (LITT) is applied to ex-vivo porcine livers. An artificial blood vessel is used to study the cooling effect of larger blood vessels in proximity to the ablation zone. The same setting is simulated using a model based on partial differential equations (PDEs) for temperature, radiation, and tissue damage. The simulated temperature distributions are compared to temperature data obtained from MR thermometry. The study shows that the quality and resolution of the thermometry data is sufficient to validate and improve modeling approaches. Furthermore, the data can be used to identify missing model parameters as well as the exact placement of the laser applicator in relation to the imaging plane.


title: Cryogenic Neuromorphic Hardware

abstract: The revolution in artificial intelligence (AI) brings up an enormous storage and data processing requirement. Large power consumption and hardware overhead have become the main challenges for building next-generation AI hardware. To mitigate this, Neuromorphic computing has drawn immense attention due to its excellent capability for data processing with very low power consumption. While relentless research has been underway for years to minimize the power consumption in neuromorphic hardware, we are still a long way off from reaching the energy efficiency of the human brain. Furthermore, design complexity and process variation hinder the large-scale implementation of current neuromorphic platforms. Recently, the concept of implementing neuromorphic computing systems in cryogenic temperature has garnered intense interest thanks to their excellent speed and power metric. Several cryogenic devices can be engineered to work as neuromorphic primitives with ultra-low demand for power. Here we comprehensively review the cryogenic neuromorphic hardware. We classify the existing cryogenic neuromorphic hardware into several hierarchical categories and sketch a comparative analysis based on key performance metrics. Our analysis concisely describes the operation of the associated circuit topology and outlines the advantages and challenges encountered by the state-of-the-art technology platforms. Finally, we provide insights to circumvent these challenges for the future progression of research.


title: Systematic review of development literature from Latin America between 2010- 2021

abstract: The purpose of this systematic review is to identify and describe the state of development literature published in Latin America, in Spanish and English, since 2010. For this, we carried out a topographic review of 44 articles available in the most important bibliographic indexes of Latin America, published in journals of diverse disciplines. Our analysis focused on analyzing the nature and composition of literature, finding a large proportion of articles coming from Mexico and Colombia, as well as specialized in the economic discipline. The most relevant articles reviewed show methodological and thematic diversity, with special attention to the problem of growth in Latin American development. An important limitation of this review is the exclusion of articles published in Portuguese, as well as non-indexed literature (such as theses and dissertations). This leads to various recommendations for future reviews of the development literature produced in Latin America.


title: Asymptotics of solutions of differential equations with a spectral parameter

abstract: The main goal of this paper is to construct the so-called Birkhoff-type solutions for linear ordinary differential equations with a spectral parameter. Such solutions play an important role in direct and inverse problems of spectral theory. In Section 1, we construct the Birkhoff-type solutions for n-th order differential equations. Section 2 is devoted to first-order systems of differential equations.


title: Price and Payoff Autocorrelations in a Multi-Period Consumption-Based Asset Pricing Model

abstract: This paper highlights the hidden dependence of the basic pricing equation of a multi-period consumption-based asset pricing model on price and payoff autocorrelations. We obtain the approximations of the basic pricing equation that describe the mean price "to-day," mean payoff "next-day," price and payoff volatilities, and price and payoff autocorrelations. The deep conjunction of the consumption-based model with other versions of asset pricing, such as ICAPM, APM, etc. (Cochrane, 2001), emphasizes that our results are valid for other pricing models.


title: Revisiting the general cubic: A simplification of Cardano's solution

abstract: Motivated by the recent work of William Y.C. Chen, in which he presents a way to solve cubic equations by considering the identity of Sylvester, we investigate the solutions obtained in this way. It leads us to a unified expression of the solutions different from Cardano's formula. Plenty of examples are given in this paper, also some interesting identities are obtained as byproducts.


title: Initial analysis of the impact of the Ukrainian power grid synchronization with Continental Europe

abstract: When Russia invaded Ukraine on the 24\textsuperscript{th} of February 2022, this led to many acts of solidarity with Ukraine, including support for its electricity system. Just 20 days after the invasion started, the Ukrainian and Moldovan power grids were synchronized to the Continental European power grid to provide stability to these grids. Here, we present an initial analysis of how this synchronization affected the statistics of the power grid frequency and cross-border flows of electric power within Continental Europe. We observe faster inter-area oscillations, an increase in fluctuations and changes in the cross-border flows in and out of Ukraine and surrounding countries as an effect of the synchronization with Continental Europe. Overall these changes are small such that the now connected system can be considered as stable as before the synchronization.


title: Do anthropic arguments really work?

abstract: The anthropic explanation for the peculiarly small observed value of the cosmological constant $\Lambda_{\rm obs}$ argues that this value promotes the formation of stars, planets, and ultimately of observers such as ourselves. I show that a recent analytic model of cosmic star formation predicts that although $\Lambda_{\rm obs}$ maximises the overall efficiency of star formation in the universe, the probability of generating observers peaks at $\sim400-500 \, \Lambda_{\rm obs}$. These preliminary results suggest that an immediate connection between star formation efficiency and observers' generation is not straightforward, and highlight the subtleties involved with the application of anthropic reasoning.


title: Parton distributions: Functional complexity and Lorentz parametrization

abstract: In the paper we focus on the study of the functional complexity of the Lorentz parametrizing functions in connection with the time-reversal transformations. We argue that the interactions encoded in the corresponding correlators of non-local quark(-gluon) operators generate additional sources of functional complexity for the parametrizing functions which are not discussed in the literature. We also revisit the Lorentz parametrization of different correlators given by the hadron matrix elements of the non-local operators. The evidences for the new parametrizing function existence have been presented.


title: Implication of the $W$ boson mass anomaly at CDF II in the Higgs triplet model with a mass difference

abstract: A new report for the measurement of the W boson mass has been provided by the CDF II experiment. The measured value of the W boson mass is given to be $m_W^{\text{CDF II}} = 80.4335 \pm 0.0094$ GeV which shows $7\sigma$ deviation from the standard model prediction, while the other groups of high energy experiments, e.g., ATLAS and D0 II, show consistent results with the latter. Assuming that the measurement at CDF II is correct, we discuss the possibility to explain the anomaly in the Higgs triplet model. We find that the anomaly can be explained under the constraints from the electroweak rho parameter, the effective weak mixing angle, the partial width of the leptonic $Z$ decay and current direct searches at LHC when non-zero mass differences among the triplet-like Higgs bosons and the vacuum expectation value of the triplet Higgs field are taken to be ${\cal O}(100)$ GeV and ${\cal O}(1)$ GeV, respectively.


title: Near and far-field hydrodynamic interaction of two chiral squirmers

abstract: Hydrodynamic interaction strongly influences the collective behavior of the microswimmers. With this work, we study the behavior of two hydrodynamically interacting self-propelled chiral swimmers in the low Reynolds number regime, considering both the near and far-field interactions. We use the chiral squirmer model, a spherically shaped body with non-axisymmetric surface slip velocity, which generalizes the well-known squirmer model. We calculate the lubrication force between the swimmers when they are very close to each other. By varying the slip coefficients and the initial configuration of the swimmers, we investigate their hydrodynamic behavior. In the presence of lubrication force, the swimmers either repel each other or exhibit bounded motion where the distance between the swimmers alters periodically. The lubrication force favors the bounded motion in some parameter regime. This study is helpful to understand the collective behavior of dense suspension of ciliated microorganisms and artificial swimmers.


title: Synthesizing Informative Training Samples with GAN

abstract: Remarkable progress has been achieved in synthesizing photo-realistic images with generative adversarial networks (GANs). Recently, GANs are utilized as the training sample generator when obtaining or storing real training data is expensive even infeasible. However, traditional GANs generated images are not as informative as the real training samples when being used to train deep neural networks. In this paper, we propose a novel method to synthesize Informative Training samples with GAN (IT-GAN). Specifically, we freeze a pre-trained GAN model and learn the informative latent vectors that correspond to informative training samples. The synthesized images are required to preserve information for training deep neural networks rather than visual reality or fidelity. Experiments verify that the deep neural networks can learn faster and achieve better performance when being trained with our IT-GAN generated images. We also show that our method is a promising solution to dataset condensation problem.


title: Magneto-optical trap of a Group III atom

abstract: We realize the first magneto-optical trap of an atom in main group III of the Periodic Table. Our atom of choice (indium) does not have a transition out of its ground state suitable for laser cooling; therefore, laser cooling is performed on the $\lvert 5P_{3/2},F=6 \rangle \rightarrow \lvert 5D_{5/2},F=7 \rangle$ transition, where $\lvert 5P_{3/2},F=6 \rangle$ is a long-lived metastable state. Optimization of our trap parameters results in atoms numbers as large as $5\times10^8$ atoms with temperatures of order 1 mK. Additionally, through trap decay measurements, we infer a one-body trap lifetime of 12.3 s. This lifetime is consistent with background gas collisions and indicates that our repumpers have closed all leakage pathways. We also infer a two-body loss rate of $1.6\times 10^{-11}\ \mathrm{cm^3/s}$, which is comparable to those measured in alkali atoms. The techniques demonstrated in this work can be straightforwardly applied to other group III atoms, and our results pave the way for realizing quantum degenerate gases of these particles.


title: A possible solution for the faint young Sun paradox: Clues from the exoplanetary data

abstract: Faint young Sun paradox (FYSP) is one of the unsolved problem in solar physics. The present study aims to get a possible solution for the FYSP through sun-like G stars and their exoplanetary systems. Using physical properties of exoplanetary data, an empirical relationship between the rate of mass loss ($\frac{dM}{dt}$) with stellar mass (M$_{\star}$) and age ({\em t}) is obtained. We found mass loss rate varies with stellar mass as $\propto$ $(M_{\star}/M_\odot)^{-3.788}$ and proportional to the age as $\propto$ t$^{-1.25}$, which indicates rate of mass loss is higher during early evolutionary stages. Then we applied mass loss corrections to stellar masses of G-type stars with planets and obtained their initial masses at the early evolutionary stages. Subsequently, we applied these relationships to calculate the mass loss rate and mass of Sun at the early evolutionary stage, which is found to be $\sim$ 10$^{-11}$ solar mass per year and $\sim$ (1.061$\pm$0.006) solar mass respectively. The higher solar mass can probably alleviate the problem of the faint young Sun paradox. Then the estimated initial stellar masses of the host stars are used to obtain a best power law relationship with the planetary masses that supports the hypothesis that the {\em massive stars harbour massive planets.} Finally, by using the same empirical power law, planetary mass in the vicinity of Sun is estimated to be $\sim$ (0.84$\pm$0.19) Jupiter mass, which is much higher compared to the present solar terrestrial planetary mass. Hence, this study also suggests that there is a missing planetary mass in the vicinity of the Sun, which can solve the FYSP problem.


title: Substitutions on compact alphabets

abstract: We develop a systematic approach to continuous substitutions on compact Hausdorff alphabets. Focussing on implications of irreducibility and primitivity, we highlight important features of the topological dynamics of their subshifts. We then reframe questions from ergodic theory in terms of spectral properties of a corresponding substitution operator. This requires an extension of standard Perron--Frobenius theory to the setting of Banach lattices. As an application, we identify computable criteria that guarantee quasi-compactness of the substitution operator and hence unique ergodicity of the associated subshift.


title: Comets in context: Comparing comet compositions with protosolar nebula models

abstract: Comets provide a valuable window into the chemical and physical conditions at the time of their formation in the young solar system. We seek insights into where and when these objects formed by comparing the range of abundances observed for nine molecules and their average values across a sample of 29 comets to the predicted midplane ice abundances from models of the protosolar nebula. Our fiducial model, where ices are inherited from the interstellar medium, can account for the observed mixing ratio ranges of each molecule considered, but no single location or time reproduces the abundances of all molecules simultaneously. This suggests that each comet consists of material processed under a range of conditions. In contrast, a model where the initial composition of disk material is `reset', wiping out any previous chemical history, cannot account for the complete range of abundances observed in comets. Using toy models that combine material processed under different thermal conditions we find that a combination of warm (CO-poor) and cold (CO-rich) material is required to account for both the average properties of the Jupiter-family and Oort cloud comets, and the individual comets we consider. This could occur by the transport (either radial or vertical) of ice-coated dust grains in the early solar system. Comparison of the models to the average Jupiter-family and Oort cloud comet compositions suggest the two families formed in overlapping regions of the disk, in agreement with the findings of A'Hearn et al. (2012) and with the predictions of the Nice model (Gomes et al. 2005, Tsiganis et al. 2005).


title: Local Decoding in Distributed Compression

abstract: It was recently shown that the lossless compression of a single source $X^n$ is achievable with a notion of strong locality; any $X_i$ can be decoded from a constant number of compressed bits, with a vanishing in $n$ probability of error. By contrast, we show that for two separately encoded sources $(X^n,Y^n)$, lossless compression and strong locality is generally not possible. Specifically, we show that for the class of ``confusable'' sources, strong locality cannot be achieved whenever one of the sources is compressed below its entropy. Irrespective of $n$, for some index $i$ the probability of error of decoding $(X_i,Y_i)$ is lower bounded by $2^{-O(d)}$, where $d$ denotes the number of compressed bits accessed by the local decoder. Conversely, if the source is not confusable, strong locality is possible even if one of the sources is compressed below its entropy. Results extend to an arbitrary number of sources.


title: An Introductory Review of Spiking Neural Network and Artificial Neural Network: From Biological Intelligence to Artificial Intelligence

abstract: Recently, stemming from the rapid development of artificial intelligence, which has gained expansive success in pattern recognition, robotics, and bioinformatics, neuroscience is also gaining tremendous progress. A kind of spiking neural network with biological interpretability is gradually receiving wide attention, and this kind of neural network is also regarded as one of the directions toward general artificial intelligence. This review introduces the following sections, the biological background of spiking neurons and the theoretical basis, different neuronal models, the connectivity of neural circuits, the mainstream neural network learning mechanisms and network architectures, etc. This review hopes to attract different researchers and advance the development of brain-inspired intelligence and artificial intelligence.


title: Resource-Aware Distributed Submodular Maximization: A Paradigm for Multi-Robot Decision-Making

abstract: Multi-robot decision-making is the process where multiple robots coordinate actions. In this paper, we aim for efficient and effective multi-robot decision-making despite the robots' limited on-board resources and the often resource-demanding complexity of their tasks. We introduce the first algorithm enabling the robots to choose with which few other robots to coordinate and provably balance the trade-off of centralized vs. decentralized coordination. Particularly, centralization favors globally near-optimal decision-making but at the cost of increased on-board resource requirements; whereas, decentralization favors minimal resource requirements but at a global suboptimality cost. All robots can thus afford our algorithm, irrespective of their resources. We are motivated by the future of autonomy that involves multiple robots coordinating actions to complete resource-demanding tasks, such as target tracking, area coverage, and monitoring. To provide closed-form guarantees, we focus on maximization problems involving monotone and "doubly" submodular functions. To capture the cost of decentralization, we introduce the notion of Centralization Of Information among non-Neighbors (COIN). We validate our algorithm in simulated scenarios of image covering.


title: On locally finite orthomodular lattices

abstract: Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first show in this note how one can obtain new locally finite OMLs from the initial ones and enlarge thus the class LF . We find LF considerably large though, obviously, not all OMLs belong to LF . We then study states on the OMLs of LF . We show that local finiteness may to a certain extent make up for distributivity. We for instance show that if L in LF and if for any finite subOML K there is a state s : K to [0, 1] on K, then there is a state on the entire L. We also consider further algebraic and state properties of LF relevant to quantum logic theory.


title: Caging-Pnictogen-Induced Superconductivity in Skutterudites IrX3 (X = As, P)

abstract: Here we report on a new kind of compound, X{\delta}Ir4X12-{\delta} (X = P, As), the first hole-doped skutterudites superconductor. We provide atomic resolution images of the caging As atoms using scanning transmission electron microscopy (STEM). By inserting As atoms into the caged structure under a high pressure, superconductivity emerges with a maximum transition temperature (Tc) of 4.4 K (4.8 K) in IrAs3 (IrP3). In contrast to all of the electron-doped skutterudites, the electronic states around the Fermi level in X{\delta}Ir4X12-{\delta} are dominated by the caged X atom, which can be described by a simple body-centered tight-binding model, implying a distinct paring mechanism. Our density functional theory (DFT) calculations reveal an intimate relationship between the pressure-dependent local-phonon mode and the enhancement of Tc. The discovery of X{\delta}Ir4X12-{\delta} provides an arena to investigate the uncharted territory of hole-doped skutterudites, and the method proposed here represents a new strategy of carrier doping in caged structures, without introducing extra elements.


title: Non-Invertible Symmetries from Discrete Gauging and Completeness of the Spectrum

abstract: We study global 1- and $(d-2)$-form symmetries for gauge theories based on disconnected gauge groups which include charge conjugation. For pure gauge theories, the 1-form symmetries are shown to be non-invertible. In addition, being the gauge groups disconnected, the theories automatically have a $\mathbb{Z}_2$ global $(d-2)$-form symmetry. We propose String Theory embeddings for gauge theories based on these groups. Remarkably, they all automatically come with twist vortices which break the $(d-2)$-form global symmetry. This is consistent with the conjectured absence of global symmetries in Quantum Gravity.


title: Neural Structured Prediction for Inductive Node Classification

abstract: This paper studies node classification in the inductive setting, i.e., aiming to learn a model on labeled training graphs and generalize it to infer node labels on unlabeled test graphs. This problem has been extensively studied with graph neural networks (GNNs) by learning effective node representations, as well as traditional structured prediction methods for modeling the structured output of node labels, e.g., conditional random fields (CRFs). In this paper, we present a new approach called the Structured Proxy Network (SPN), which combines the advantages of both worlds. SPN defines flexible potential functions of CRFs with GNNs. However, learning such a model is nontrivial as it involves optimizing a maximin game with high-cost inference. Inspired by the underlying connection between joint and marginal distributions defined by Markov networks, we propose to solve an approximate version of the optimization problem as a proxy, which yields a near-optimal solution, making learning more efficient. Extensive experiments on two settings show that our approach outperforms many competitive baselines.


title: A Solution to Galileo's Enigma "Mostro Son Io"

abstract: Galileo Galilei was a skilled writer and explored several genres, from the well-known scientific writings (often in the form of dialogs) to theater and poetry. His last published poem, "Mostro son io" (A Monster am I), is a riddle written in the form of a sonnet. We suggest that the solution to Galileo's riddle is the Zodiac.


title: Statistical-Computational Trade-offs in Tensor PCA and Related Problems via Communication Complexity

abstract: Tensor PCA is a stylized statistical inference problem introduced by Montanari and Richard to study the computational difficulty of estimating an unknown parameter from higher-order moment tensors. Unlike its matrix counterpart, Tensor PCA exhibits a statistical-computational gap, i.e., a sample size regime where the problem is information-theoretically solvable but conjectured to be computationally hard. This paper derives computational lower bounds on the run-time of memory bounded algorithms for Tensor PCA using communication complexity. These lower bounds specify a trade-off among the number of passes through the data sample, the sample size, and the memory required by any algorithm that successfully solves Tensor PCA. While the lower bounds do not rule out polynomial-time algorithms, they do imply that many commonly-used algorithms, such as gradient descent and power method, must have a higher iteration count when the sample size is not large enough. Similar lower bounds are obtained for Non-Gaussian Component Analysis, a family of statistical estimation problems in which low-order moment tensors carry no information about the unknown parameter. Finally, stronger lower bounds are obtained for an asymmetric variant of Tensor PCA and related statistical estimation problems. These results explain why many estimators for these problems use a memory state that is significantly larger than the effective dimensionality of the parameter of interest.

categories: math.ST cs.IT cs.LG math.IT stat.ML stat.TH


title: Local well-posedness of a three-dimensional phase-field model for thrombus and blood flow

abstract: In this article we consider a fluid-structure interactions model on a three dimensional bounded domain, that describes the mechanical interaction between blood flow and a thrombus with Hookean elasticity. The interface between the two phases is given by a smooth transition layer, diffuse with a finite thickness. We derive various a priori estimates and prove local well-posedness results using the Faedo-Galerkin method.