title: New proofs of the septic Rogers-Ramanujan identities

abstract: We give new proofs of the twelve Rogers-Ramanujan-type identities due to Rogers and Slater that are traditionally associated with the moduli 7, 14 and 28.


title: A Game-Theoretic Approach to Solving the Roman Domination Problem

abstract: The Roamn domination problem is one important combinatorial optimization problem that is derived from an old story of defending the Roman Empire and now regains new significance in cyber space security, considering backups in the face of a dynamic network security requirement. In this paper, firstly, we propose a Roman domination game (RDG) and prove that every Nash equilibrium (NE) of the game corresponds to a strong minimal Roman dominating function (S-RDF), as well as a Pareto-optimal solution. Secondly, we show that RDG is an exact potential game, which guarantees the existence of an NE. Thirdly, we design a game-based synchronous algorithm (GSA), which can be implemented distributively and converge to an NE in $O(n)$ rounds, where $n$ is the number of vertices. In GSA, all players make decisions depending on the local information. Furthermore, we enhance GSA to be enhanced GSA (EGSA), which converges to a better NE in $O(n^2)$ rounds. Finally, we present numerical simulations to demonstrate that EGSA can obtain a better approximate solution in promising computation time compared with state-of-the-art algorithms.


title: CECT: Controllable Ensemble CNN and Transformer for COVID-19 Image Classification

abstract: The COVID-19 pandemic has resulted in hundreds of million cases and numerous deaths worldwide. Here, we develop a novel classification network CECT by controllable ensemble convolutional neural network and transformer to provide a timely and accurate COVID-19 diagnosis. The CECT is composed of a parallel convolutional encoder block, an aggregate transposed-convolutional decoder block, and a windowed attention classification block. Each block captures features at different scales from 28 $\times$ 28 to 224 $\times$ 224 from the input, composing enriched and comprehensive information. Different from existing methods, our CECT can capture features at both multi-local and global scales without any sophisticated module design. Moreover, the contribution of local features at different scales can be controlled with the proposed ensemble coefficients. We evaluate CECT on two public COVID-19 datasets and it reaches the highest accuracy of 98.1% in the intra-dataset evaluation, outperforming existing state-of-the-art methods. Moreover, the developed CECT achieves an accuracy of 90.9% on the unseen dataset in the inter-dataset evaluation, showing extraordinary generalization ability. With remarkable feature capture ability and generalization ability, we believe CECT can be extended to other medical scenarios as a powerful diagnosis tool. Code is available at https://github.com/NUS-Tim/CECT.


title: Single top quark production at ultra-high energies

abstract: The processes with single top quark production provide a prototype search for the types of final state that are expected in many new physics scenarios. Some distinctive features are considered for particle production in the top sector in ultra-high energy domain which can be covered partly in the collisions of cosmic ray particles with atmosphere. The single top quark production through electroweak interaction is studied within the Standard Model and the Effective Field Theory approach used for calculations of total partonic cross sections in $s$-channel. These quantitative results can be important for both the future collider experiments at center-of-mass energy frontier and the improvement of the phenomenological models for development of the cosmic ray cascades in ultra-high energy domain. Thus the study allows the better understanding of heavy particle production and emphasizes the exciting interrelation between the high-energy physics on accelerators and ultra-high energy cosmic ray measurements.


title: Spatiotemporal Decouple-and-Squeeze Contrastive Learning for Semi-Supervised Skeleton-based Action Recognition

abstract: Contrastive learning has been successfully leveraged to learn action representations for addressing the problem of semi-supervised skeleton-based action recognition. However, most contrastive learning-based methods only contrast global features mixing spatiotemporal information, which confuses the spatial- and temporal-specific information reflecting different semantic at the frame level and joint level. Thus, we propose a novel Spatiotemporal Decouple-and-Squeeze Contrastive Learning (SDS-CL) framework to comprehensively learn more abundant representations of skeleton-based actions by jointly contrasting spatial-squeezing features, temporal-squeezing features, and global features. In SDS-CL, we design a new Spatiotemporal-decoupling Intra-Inter Attention (SIIA) mechanism to obtain the spatiotemporal-decoupling attentive features for capturing spatiotemporal specific information by calculating spatial- and temporal-decoupling intra-attention maps among joint/motion features, as well as spatial- and temporal-decoupling inter-attention maps between joint and motion features. Moreover, we present a new Spatial-squeezing Temporal-contrasting Loss (STL), a new Temporal-squeezing Spatial-contrasting Loss (TSL), and the Global-contrasting Loss (GL) to contrast the spatial-squeezing joint and motion features at the frame level, temporal-squeezing joint and motion features at the joint level, as well as global joint and motion features at the skeleton level. Extensive experimental results on four public datasets show that the proposed SDS-CL achieves performance gains compared with other competitive methods.


title: Adversarial Learning Data Augmentation for Graph Contrastive Learning in Recommendation

abstract: Recently, Graph Neural Networks (GNNs) achieve remarkable success in Recommendation. To reduce the influence of data sparsity, Graph Contrastive Learning (GCL) is adopted in GNN-based CF methods for enhancing performance. Most GCL methods consist of data augmentation and contrastive loss (e.g., InfoNCE). GCL methods construct the contrastive pairs by hand-crafted graph augmentations and maximize the agreement between different views of the same node compared to that of other nodes, which is known as the InfoMax principle. However, improper data augmentation will hinder the performance of GCL. InfoMin principle, that the good set of views shares minimal information and gives guidelines to design better data augmentation. In this paper, we first propose a new data augmentation (i.e., edge-operating including edge-adding and edge-dropping). Then, guided by InfoMin principle, we propose a novel theoretical guiding contrastive learning framework, named Learnable Data Augmentation for Graph Contrastive Learning (LDA-GCL). Our methods include data augmentation learning and graph contrastive learning, which follow the InfoMin and InfoMax principles, respectively. In implementation, our methods optimize the adversarial loss function to learn data augmentation and effective representations of users and items. Extensive experiments on four public benchmark datasets demonstrate the effectiveness of LDA-GCL.


title: Contrast with Reconstruct: Contrastive 3D Representation Learning Guided by Generative Pretraining

abstract: Mainstream 3D representation learning approaches are built upon contrastive or generative modeling pretext tasks, where great improvements in performance on various downstream tasks have been achieved. However, we find these two paradigms have different characteristics: (i) contrastive models are data-hungry that suffer from a representation over-fitting issue; (ii) generative models have a data filling issue that shows inferior data scaling capacity compared to contrastive models. This motivates us to learn 3D representations by sharing the merits of both paradigms, which is non-trivial due to the pattern difference between the two paradigms. In this paper, we propose Contrast with Reconstruct (ReCon) that unifies these two paradigms. ReCon is trained to learn from both generative modeling teachers and single/cross-modal contrastive teachers through ensemble distillation, where the generative student guides the contrastive student. An encoder-decoder style ReCon-block is proposed that transfers knowledge through cross attention with stop-gradient, which avoids pretraining over-fitting and pattern difference issues. ReCon achieves a new state-of-the-art in 3D representation learning, e.g., 91.26% accuracy on ScanObjectNN. Codes have been released at https://github.com/qizekun/ReCon.


title: Polystyrene clusters captured by acoustic tweezers spontaneously rupturing

abstract: Numerous investigations have demonstrated that standing acoustic waves can trap particles that range in size from microns to millimeters. Powerful tweezers may trap clusters of particles rather than single ones because their trapping radius is substantially larger than the size of the trapped particle. In this study, clusters of polystyrene particles measuring 450 microns in size that were suspended in an ionic surfactant solution were trapped at the nodes of acoustic standing waves. The correlation between surfactant concentration and threshold radius is examined, and potential mechanisms that could be responsible for the phenomenon are investigated. The findings demonstrated that adding polystyrene made clusters unstable and caused them to spontaneously rupture. Additionally, studies revealed that the cluster began to undergo spontaneous sequential ruptures after its radius above a particular threshold.


title: Weak Differentiability to Nonuniform Nonlinear Degenerate Elliptic Systems under $p,q$-growth Condition on the Heisenberg Group

abstract: The paper concerns the weak differentiability of weak solutions to two kinds of nonuniform nonlinear degenerate elliptic systems under the $p,q$-growth condition on the Heisenberg Group. We use the iteration to fractional difference quotients on the Heisenberg Group to get the weak differentiability of weak solution $u$ in the vertical direction (i.e., ${L^p}$($1<p<4$) integrability of $Tu$) and then the second order weak differentiability of weak solution in the horizontal directions (i.e., ${L^2}$ integrability of $\nabla_H^2u$) and weak differentiability of gradient of weak solution in the vertical direction (i.e., ${L^2}$ integrability of $T{\nabla_H}u$)).


title: Factorization in Additive Monoids of Evaluation Polynomial Semirings

abstract: For a positive real $\alpha$, we can consider the additive submonoid $M$ of the real line that is generated by the nonnegative powers of $\alpha$. When $\alpha$ is transcendental, $M$ is a unique factorization monoid. However, when $\alpha$ is algebraic, $M$ may not be atomic, and even when $M$ is atomic, it may contain elements having more than one factorization (i.e., decomposition as a sum of irreducibles). The main purpose of this paper is to study the phenomenon of multiple factorizations inside $M$. When $\alpha$ is algebraic but not rational, the arithmetic of factorizations in $M$ is highly interesting and complex. In order to arrive to that conclusion, we investigate various factorization invariants of $M$, including the sets of lengths, sets of Betti elements, and catenary degrees. Our investigation gives continuity to recent studies carried out by Chapman, et al. in 2020 and by Correa-Morris and Gotti in 2022.


title: Origin of magnetically dead layers in spinel ferrites $M\text{Fe}_2\text{O}_4$ grown on $\text{Al}_2\text{O}_3$: Effects of post-deposition annealing studied by XMCD

abstract: We study the electronic and magnetic states of as-grown and annealed $M\text{Fe}_2\text{O}_4$(111)/$\text{Al}_2\text{O}_3$(111) ($M=\text{Co, Ni}$) thin films with various thicknesses grown on Si(111) substrates with the $\gamma$-$\text{Al}_2\text{O}_3$(111) buffer layers by using x-ray absorption spectroscopy (XAS) and x-ray magnetic circular dichroism (XMCD), to investigate magnetically dead layers in these films. Although the magnetically dead layers in the as-grown samples are formed near the interface with the $\text{Al}_2\text{O}_3$ buffer layer, we reveal that ferrimagnetic order is partially recovered by post-deposition annealing at 973 K for 48 hours in air. By analyzing the line shapes of the XAS and XMCD spectra, we conclude that, in the dead layers, there are a significant number of vacancies at the $T_d$ sites of the spinel structure, which may be the microscopic origin of the degraded ferrimagnetic order in the $M\text{Fe}_2\text{O}_4$(111) thin films.


title: Improving Fair Training under Correlation Shifts

abstract: Model fairness is an essential element for Trustworthy AI. While many techniques for model fairness have been proposed, most of them assume that the training and deployment data distributions are identical, which is often not true in practice. In particular, when the bias between labels and sensitive groups changes, the fairness of the trained model is directly influenced and can worsen. We make two contributions for solving this problem. First, we analytically show that existing in-processing fair algorithms have fundamental limits in accuracy and group fairness. We introduce the notion of correlation shifts, which can explicitly capture the change of the above bias. Second, we propose a novel pre-processing step that samples the input data to reduce correlation shifts and thus enables the in-processing approaches to overcome their limitations. We formulate an optimization problem for adjusting the data ratio among labels and sensitive groups to reflect the shifted correlation. A key benefit of our approach lies in decoupling the roles of pre- and in-processing approaches: correlation adjustment via pre-processing and unfairness mitigation on the processed data via in-processing. Experiments show that our framework effectively improves existing in-processing fair algorithms w.r.t. accuracy and fairness, both on synthetic and real datasets.


title: Towards Scalable EM-based Anomaly Detection For Embedded Devices Through Synthetic Fingerprinting

abstract: Embedded devices are omnipresent in modern networks including the ones operating inside critical environments. However, due to their constrained nature, novel mechanisms are required to provide external, and non-intrusive anomaly detection. Among such approaches, one that has gained traction is based on the analysis of the electromagnetic (EM) signals that get emanated during a device's operation. However, one of the most neglected challenges of this approach is the requirement for manually gathering and fingerprinting the signals that correspond to each execution path of the software/firmware. Indeed, even simple programs are comprised of hundreds if not thousands of branches thus, making the fingerprinting stage an extremely time-consuming process that involves the manual labor of a human specialist. To address this issue, we propose a framework for generating synthetic EM signals directly from the machine code. The synthetic signals can be used to train a Machine Learning based (ML) system for anomaly detection. The main advantage of the proposed approach is that it completely removes the need for an elaborate and error-prone fingerprinting stage, thus, dramatically increasing the scalability of the corresponding protection mechanisms. The experimental evaluations indicate that our method provides high detection accuracy (above 90% AUC score) when employed for the detection of injection attacks. Moreover, the proposed methodology inflicts only a small penalty (-1.3%) in accuracy for the detection of the injection of as little as four malicious instructions when compared to the same methods if real signals were to be used.


title: Resilient Consensus Sustained Collaboratively

abstract: The recent growth of blockchain technology has accelerated research on decentralized platforms. Initial blockchain platforms decide on what should be added to the ledger based on Proof-of-Work (PoW) consensus protocol. PoW requires its participants to perform large computations and leads to massive energy wastage. Recent blockchains aim to replace PoW through Proof-of-Stake (PoS) and Malicious Fault-Tolerant (MFT) consensus protocols. However, the safety of the ledger created by these protocols is at the mercy of the long-term safe-keeping of the private keys of participants. As a result, these blockchains face long-range attacks. To ameliorate this situation, we present the design of our novel Power-of-Collaboration (PoC) protocol, which guards existing PoS and MFT blockchains against long-range attacks. We show that PoC can be easily appended to existing blockchains and only marginally degrades their throughputs.


title: Drastic changes before the 2011 Tohoku earthquake, revealed by exploratory data analysis

abstract: Predicting earthquakes is of the utmost importance, especially to those countries of high risk, and although much effort has been made, it has yet to be realised. Nevertheless, there is a paucity of statistical approaches in seismic studies to the extent that an old theory is believed without verification. Seismic records of time and magnitude in Japan were analysed by exploratory data analysis (EDA). EDA is a parametric statistical approach based on the characteristics of data and is suitable for data-driven investigations. The distribution style of each dataset was determined, and the important parameters were found. This enabled us to identify and evaluate the anomalies in the data. Before the huge 2011 Tohoku earthquake, swarm earthquakes occurred before the main earthquake at improbable frequencies. The frequency and magnitude of all earthquakes increased. Both changes made larger earthquakes more likely to occur: even an M9 earthquake was expected every two years. From these simple measurements, the EDA succeeded in extracting useful information. Detecting and evaluating anomalies using this approach for every set of data would lead to a more accurate prediction of earthquakes.


title: Pyramid Self-attention Polymerization Learning for Semi-supervised Skeleton-based Action Recognition

abstract: Most semi-supervised skeleton-based action recognition approaches aim to learn the skeleton action representations only at the joint level, but neglect the crucial motion characteristics at the coarser-grained body (e.g., limb, trunk) level that provide rich additional semantic information, though the number of labeled data is limited. In this work, we propose a novel Pyramid Self-attention Polymerization Learning (dubbed as PSP Learning) framework to jointly learn body-level, part-level, and joint-level action representations of joint and motion data containing abundant and complementary semantic information via contrastive learning covering coarse-to-fine granularity. Specifically, to complement semantic information from coarse to fine granularity in skeleton actions, we design a new Pyramid Polymerizing Attention (PPA) mechanism that firstly calculates the body-level attention map, part-level attention map, and joint-level attention map, as well as polymerizes these attention maps in a level-by-level way (i.e., from body level to part level, and further to joint level). Moreover, we present a new Coarse-to-fine Contrastive Loss (CCL) including body-level contrast loss, part-level contrast loss, and joint-level contrast loss to jointly measure the similarity between the body/part/joint-level contrasting features of joint and motion data. Finally, extensive experiments are conducted on the NTU RGB+D and North-Western UCLA datasets to demonstrate the competitive performance of the proposed PSP Learning in the semi-supervised skeleton-based action recognition task. The source codes of PSP Learning are publicly available at https://github.com/1xbq1/PSP-Learning.


title: Kondo frustration via charge fluctuations: a route to Mott localisation

abstract: We propose a minimal effective impurity model that captures the phenomenology of the Mott-Hubbard metal-insulator transition (MIT) of the half-filled Hubbard model on the Bethe lattice in infinite dimensions as observed by dynamical mean field theory (DMFT). This involves extending the standard Anderson impurity model Hamiltonian to include an explicit Kondo coupling $J$, as well as a local on-site correlation $U_b$ on the conduction bath site connected directly to the impurity. For the case of attractive local bath correlations ($U_{b}<0$), the extended Anderson impurity model (e-SIAM) sheds new light on several aspects of the DMFT phase diagram. For example, the $T=0$ metal-to-insulator quantum phase transition (QPT) is preceded by an excited state quantum phase transition (ESQPT) where the local moment eigenstates are emergent in the low-lying spectrum. Long-ranged fluctuations are observed near both the QPT and ESQPT, suggesting that they are the origin of the quantum critical scaling observed recently at high temperatures in DMFT simulations. The $T=0$ gapless excitations at the QCP display particle-hole interconversion processes, and exhibit power-law behaviour in self-energies and two-particle correlations. These are signatures of non-Fermi liquid behaviour that emerge from the partial breakdown of the Kondo screening.


title: Probing the jet transport coefficient of cold nuclear matter in electron-ion collisions

abstract: We present a study of the nuclear-medium induced transverse momentum broadening of particle production in future electron-ion-collision~(EIC) experiments. By considering the multiple scattering between hard partons and cold nuclear medium within the higher-twist factorization framework in perturbative QCD, we calculate the transverse momentum broadening of single hadron production in semi-inclusive measurements, as well as the nuclear enhancement of the transverse momentum imbalance for di-hadron and heavy-meson pair productions. In particular, a kinematics dependent non-perturbative jet transport coefficient $\hat q=\hat q(x,Q^2)$ extracted in a global analysis of the current data, together with its uncertainty determined with a Hessian method, are input into our calculations and are available for the community. Significant kinematic and color-state dependences of the nuclear induced broadening/imbalance are predicted. Our results indicate that the future EIC measurements are able to provide powerful constraints on the kinematic dependence of the transport coefficient $\hat q$ and thus greatly facilitate the jet tomography of cold nuclear medium.


title: CIPER: Combining Invariant and Equivariant Representations Using Contrastive and Predictive Learning

abstract: Self-supervised representation learning (SSRL) methods have shown great success in computer vision. In recent studies, augmentation-based contrastive learning methods have been proposed for learning representations that are invariant or equivariant to pre-defined data augmentation operations. However, invariant or equivariant features favor only specific downstream tasks depending on the augmentations chosen. They may result in poor performance when the learned representation does not match task requirements. Here, we consider an active observer that can manipulate views of an object and has knowledge of the action(s) that generated each view. We introduce Contrastive Invariant and Predictive Equivariant Representation learning (CIPER). CIPER comprises both invariant and equivariant learning objectives using one shared encoder and two different output heads on top of the encoder. One output head is a projection head with a state-of-the-art contrastive objective to encourage invariance to augmentations. The other is a prediction head estimating the augmentation parameters, capturing equivariant features. Both heads are discarded after training and only the encoder is used for downstream tasks. We evaluate our method on static image tasks and time-augmented image datasets. Our results show that CIPER outperforms a baseline contrastive method on various tasks. Interestingly, CIPER encourages the formation of hierarchically structured representations where different views of an object become systematically organized in the latent representation space.


title: Holographic principle tells why maximum entropy principle, lognormal distribution, self-preserving and self-organization appearing in system evolutions across science

abstract: By applying the holographic principle that comes from black hole physics and information entropy (Sient) introduced by Claude Shannon, we derive the mechanism of similar patterns or tendencies appearing in evolution processes of different systems: maximum entropy principle, power law and lognormal distributions, self preserving and self organization. Taking a system of atmospheric particles as an example, we prove both self preserving and lognormal distribution patterns are caused by maximum information entropy principle (MIEP); By deducing thermodynamic entropy (Stent) is a form of Sient, and building up a particle system approaching a part of the holographic screen, the information probability statistics of particle number size distribution are realized on the holographic screen, resulting in the presence of information entropic force (Fient). Fient drives the system to evolve in the direction of MIEP. Owing to the initial state, the evolution can undergo an increasing Sient and enhanced discretization, or a decreasing Sient and weakened discretization. The latter process corresponds to the system evolution tendency of self organization; by introducing Fient into the flow field, the field for fluid system evolution is unified including Fient, Sient, the Newton potential, the diffusion process, and Navier Stokes equations, indicating that the atmospheric particle dynamics could be driven by Fient. By numerical simulations of particle collisions and coagulation based on the Smoluchowski equation, we prove the evolution of the particle system is indeed information distributing, inherited from the initial state, measured by information probability, evaluated by Sient, and driven by Fient. We further prove wave function for quantum mechanism also satisfies MIEP. The findings indicate holographic principle can guide system evolution towards certain desirable patterns and outcomes.


title: BSA-OMP: Beam-Split-Aware Orthogonal Matching Pursuit for THz Channel Estimation

abstract: Terahertz (THz)-band has been envisioned for the sixth generation wireless networks thanks to its ultra-wide bandwidth and very narrow beamwidth. Nevertheless, THz-band transmission faces several unique challenges, one of which is beam-split which occurs due to the usage of subcarrier-independent analog beamformers and causes the generated beams at different subcarriers split, and point to different directions. Unlike the prior works dealing with beam-split by employing additional complex hardware components, e.g., time-delayer networks, a beam-split-aware orthogonal matching pursuit (BSA-OMP) approach is introduced to efficiently estimate the THz channel and beamformer design without any additional hardware. Specifically, we design a BSA dictionary comprised of beam-split-corrected steering vectors which inherently include the effect of beam-split so that the proposed BSA-OMP solution automatically yields the beam-split-corrected physical channel directions. Numerical results demonstrate the superior performance of BSA-OMP approach against the existing state-of-the-art techniques.


title: Learning in quantum games

abstract: In this paper, we introduce a class of learning dynamics for general quantum games, that we call "follow the quantum regularized leader" (FTQL), in reference to the classical "follow the regularized leader" (FTRL) template for learning in finite games. We show that the induced quantum state dynamics decompose into (i) a classical, commutative component which governs the dynamics of the system's eigenvalues in a way analogous to the evolution of mixed strategies under FTRL; and (ii) a non-commutative component for the system's eigenvectors which has no classical counterpart. Despite the complications that this non-classical component entails, we find that the FTQL dynamics incur no more than constant regret in all quantum games. Moreover, adjusting classical notions of stability to account for the nonlinear geometry of the state space of quantum games, we show that only pure quantum equilibria can be stable and attracting under FTQL while, as a partial converse, pure equilibria that satisfy a certain "variational stability" condition are always attracting. Finally, we show that the FTQL dynamics are Poincar\'e recurrent in quantum min-max games, extending in this way a very recent result for the quantum replicator dynamics.


title: Revisiting Discriminative vs. Generative Classifiers: Theory and Implications

abstract: A large-scale deep model pre-trained on massive labeled or unlabeled data transfers well to downstream tasks. Linear evaluation freezes parameters in the pre-trained model and trains a linear classifier separately, which is efficient and attractive for transfer. However, little work has investigated the classifier in linear evaluation except for the default logistic regression. Inspired by the statistical efficiency of naive Bayes, the paper revisits the classical topic on discriminative vs. generative classifiers. Theoretically, the paper considers the surrogate loss instead of the zero-one loss in analyses and generalizes the classical results from binary cases to multiclass ones. We show that, under mild assumptions, multiclass naive Bayes requires $O(\log n)$ samples to approach its asymptotic error while the corresponding multiclass logistic regression requires $O(n)$ samples, where $n$ is the feature dimension. To establish it, we present a multiclass $\mathcal{H}$-consistency bound framework and an explicit bound for logistic loss, which are of independent interests. Simulation results on a mixture of Gaussian validate our theoretical findings. Experiments on various pre-trained deep vision models show that naive Bayes consistently converges faster as the number of data increases. Besides, naive Bayes shows promise in few-shot cases and we observe the "two regimes" phenomenon in pre-trained supervised models. Our code is available at https://github.com/ML-GSAI/Revisiting-Dis-vs-Gen-Classifiers.


title: Semi-Supervised Domain Adaptation with Source Label Adaptation

abstract: Semi-Supervised Domain Adaptation (SSDA) involves learning to classify unseen target data with a few labeled and lots of unlabeled target data, along with many labeled source data from a related domain. Current SSDA approaches usually aim at aligning the target data to the labeled source data with feature space mapping and pseudo-label assignments. Nevertheless, such a source-oriented model can sometimes align the target data to source data of the wrong classes, degrading the classification performance. This paper presents a novel source-adaptive paradigm that adapts the source data to match the target data. Our key idea is to view the source data as a noisily-labeled version of the ideal target data. Then, we propose an SSDA model that cleans up the label noise dynamically with the help of a robust cleaner component designed from the target perspective. Since the paradigm is very different from the core ideas behind existing SSDA approaches, our proposed model can be easily coupled with them to improve their performance. Empirical results on two state-of-the-art SSDA approaches demonstrate that the proposed model effectively cleans up the noise within the source labels and exhibits superior performance over those approaches across benchmark datasets. Our code is available at https://github.com/chu0802/SLA .


title: Using Intermediate Forward Iterates for Intermediate Generator Optimization

abstract: Score-based models have recently been introduced as a richer framework to model distributions in high dimensions and are generally more suitable for generative tasks. In score-based models, a generative task is formulated using a parametric model (such as a neural network) to directly learn the gradient of such high dimensional distributions, instead of the density functions themselves, as is done traditionally. From the mathematical point of view, such gradient information can be utilized in reverse by stochastic sampling to generate diverse samples. However, from a computational perspective, existing score-based models can be efficiently trained only if the forward or the corruption process can be computed in closed form. By using the relationship between the process and layers in a feed-forward network, we derive a backpropagation-based procedure which we call Intermediate Generator Optimization to utilize intermediate iterates of the process with negligible computational overhead. The main advantage of IGO is that it can be incorporated into any standard autoencoder pipeline for the generative task. We analyze the sample complexity properties of IGO to solve downstream tasks like Generative PCA. We show applications of the IGO on two dense predictive tasks viz., image extrapolation, and point cloud denoising. Our experiments indicate that obtaining an ensemble of generators for various time points is possible using first-order methods.


title: Regulating ChatGPT and other Large Generative AI Models

abstract: Large generative AI models (LGAIMs), such as ChatGPT, GPT-4 or Stable Diffusion, are rapidly transforming the way we communicate, illustrate, and create. However, AI regulation, in the EU and beyond, has primarily focused on conventional AI models, not LGAIMs. This paper will situate these new generative models in the current debate on trustworthy AI regulation, and ask how the law can be tailored to their capabilities. After laying technical foundations, the legal part of the paper proceeds in four steps, covering (1) direct regulation, (2) data protection, (3) content moderation, and (4) policy proposals. It suggests a novel terminology to capture the AI value chain in LGAIM settings by differentiating between LGAIM developers, deployers, professional and non-professional users, as well as recipients of LGAIM output. We tailor regulatory duties to these different actors along the value chain and suggest strategies to ensure that LGAIMs are trustworthy and deployed for the benefit of society at large. Rules in the AI Act and other direct regulation must match the specificities of pre-trained models. The paper argues for three layers of obligations concerning LGAIMs (minimum standards for all LGAIMs; high-risk obligations for high-risk use cases; collaborations along the AI value chain). In general, regulation should focus on concrete high-risk applications, and not the pre-trained model itself, and should include (i) obligations regarding transparency and (ii) risk management. Non-discrimination provisions (iii) may, however, apply to LGAIM developers. Lastly, (iv) the core of the DSA content moderation rules should be expanded to cover LGAIMs. This includes notice and action mechanisms, and trusted flaggers. In all areas, regulators and lawmakers need to act fast to keep track with the dynamics of ChatGPT et al.


title: Electromechanical phase-field fracture modelling of piezoresistive CNT-based composites

abstract: We present a novel computational framework to simulate the electromechanical response of self-sensing carbon nanotube (CNT)-based composites experiencing fracture. The computational framework combines electrical-deformation-fracture finite element modelling with a mixed micromechanics formulation. The latter is used to estimate the constitutive properties of CNT-based composites, including the elastic tensor, fracture energy, electrical conductivity, and linear piezoresistive coefficients. These properties are inputted into a coupled electro-structural finite element model, which simulates the evolution of cracks based upon phase-field fracture. The coupled physical problem is solved in a monolithic manner, exploiting the robustness and efficiency of a quasi-Newton algorithm. 2D and 3D boundary value problems are simulated to illustrate the potential of the modelling framework in assessing the influence of defects on the electromechanical response of meso- and macro-scale smart structures. Case studies aim at shedding light into the interplay between fracture and the electromechanical material response and include parametric analyses, validation against experiments and the simulation of complex cracking conditions (multiple defects, crack merging). The presented numerical results showcase the efficiency and robustness of the computational framework, as well as its ability to model a large variety of structural configurations and damage patterns. The deformation-electrical-fracture finite element code developed is made freely available to download.


title: Real algebraic functions on closed manifolds whose Reeb spaces are given graphs

abstract: In our paper, we construct a real-algebraic function whose Reeb (Kronrod-Reeb) graph is a graph respecting some algebraic domain: a graph for this is called Poincar\'e-Reeb graph. The Reeb graph of a smooth function is defined as a natural graph which is the quotient space of the manifold of the domain under a natural equivalence relation for some wide and nice class of smooth functions. The vertex set is defined as the set of all connected components containing some singular points of the function: a singular point of a smooth function is a point where the differential vanishes. Morse-Bott functions give very specific cases. The relation is to contract each connected component of each preimage to a point. Sharko has asked a natural and important problem: can we construct a nice smooth function whose Reeb graph is a given graph? Explicit answers have been given first by Masumoto-Saeki in a generalized manner for closed surfaces. After that various answers have been presented by various researchers and most of them are essentially for functions on closed surfaces and Morse functions such that connected components of preimages containing no singular points are spheres. Recently the author has also considered questions and solved in cases the preimages are general manifolds.


title: Fractional Floquet theory

abstract: A fractional generalization of the Floquet theorem is suggested for fractional Schr\"odinger equations (FTSE)s with the time-dependent periodic Hamiltonians. The obtained result, called the fractional Floquet theorem (fFT), is formulated in the form of the Mittag-Leffler function, which is considered as the eigenfunction of the Caputo fractional derivative. The suggested formula makes it possible to reduce the FTSE to the standard quantum mechanics with the time-dependent Hamiltonian, where the standard Floquet theorem is valid. Two examples related to quantum resonances are considered as well to support the obtained result.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Sufficient statistic and recoverability via Quantum Fisher Information metrics

abstract: We prove that for a large class of quantum Fisher information, a quantum channel is sufficient for a family of quantum states, i.e., the input states can be recovered from the output, if and only if the quantum Fisher information is preserved under the quantum channel. This class, for instance, includes Winger-Yanase-Dyson skew information. On the other hand, interestingly, the SLD quantum Fisher information, as the most popular example of quantum analog of Fisher information, does not satisfy this property. Our recoverability result is obtained by studying Riemannian monotone metrics on the quantum state space, i.e. metrics monotone decreasing under the action of quantum channels, a property often called data processing inequality. For two quantum states, the monotone metric gives the corresponding quantum $\chi^2$ divergence. We obtain an approximate recovery result in the sense that, if the quantum $\chi^2$ divergence is approximately preserved by a quantum channel, then two states can be approximately recovered by the Petz recovery map. We also obtain a universal recovery bound for the $\chi_{\frac{1}{2}}$ divergence. Finally, we discuss applications in the context of quantum thermodynamics and the resource theory of asymmetry.


title: The orbifold DT/PT vertex correspondence

abstract: We present an orbifold topological vertex formalism for PT invariants of toric Calabi-Yau 3-orbifolds with transverse $A_{n-1}$ singularities. We give a proof of the orbifold DT/PT Calabi-Yau topological vertex correspondence. As an application, we derive an explicit formula for the PT $\mathbb{Z}_{n}$-vertex in terms of loop Schur functions and prove the multi-regular orbifold DT/PT correspondence.


title: LExecutor: Learning-Guided Execution

abstract: Executing code is essential for various program analysis tasks, e.g., to detect bugs that manifest through exceptions or to obtain execution traces for further dynamic analysis. However, executing an arbitrary piece of code is often difficult in practice, e.g., because of missing variable definitions, missing user inputs, and missing third-party dependencies. This paper presents LExecutor, a learning-guided approach for executing arbitrary code snippets in an underconstrained way. The key idea is to let a neural model predict missing values that otherwise would cause the program to get stuck, and to inject these values into the execution. For example, LExecutor injects likely values for otherwise undefined variables and likely return values of calls to otherwise missing functions. We evaluate the approach on Python code from popular open-source projects and on code snippets extracted from Stack Overflow. The neural model predicts realistic values with an accuracy between 79.5% and 98.2%, allowing LExecutor to closely mimic real executions. As a result, the approach successfully executes significantly more code than any available technique, such as simply executing the code as-is. For example, executing the open-source code snippets as-is covers only 4.1% of all lines, because the code crashes early on, whereas LExecutor achieves a coverage of 51.6%.


title: Auroral Kilometric Radiation -- the Electron Cyclotron Maser Paradigm

abstract: Auroral kilometric radiation (AKR) is the paradigm of intense radio emission from planetary magnetospheres. Being close to the electron gyro frequency and/or its lower harmonics, its observation indicates the non-thermal state of the source plasma. Emission is produced when the plasma enters a state of energetic excitation which results in deformation of the electron distribution function. Under certain conditions this leads to "quasi-coherent" emission. It is believed that the weakly-relativistic electron-cyclotron-maser instability is responsible for this kind of radiation. Since energetically radio radiation normally is not of {primary} importance in the large-scale magnetospheric phenomena, AKR as such has, for the purposes of large-scale magnetospheric physics, become considered a marginal problem. Here this notion is questioned. AKR while applying to the auroral region mainly during magnetospherically disturbed times {carries just a fraction of the total substorm energy. It is, however, of diagnostic power in the physics of the upper auroral ionosphere and Space Weather research}. As a fundamental physical problem of generation of radiation in non-thermal plasmas {it remains not resolved yet. Many questions have been left open even when dealing only with the electron-cyclotron-maser. These can advantageously be studied in the magnetosphere proper both by observation and theory, the only continuously accessible place in space. The most important are listet here with hint on how they should be attacked. Its value is to be sought in the role it should play in application to the other magnetized planets, extra-solar planets, and to strongly magnetized astronomical objects} as an important {tool to diagnose the matter state responsible for radiation in the radio frequency range beyond thermal, shock or synchrotron radiation.

categories: physics.space-ph astro-ph.EP astro-ph.HE astro-ph.SR physics.plasm-ph


title: VuLASTE: Long Sequence Model with Abstract Syntax Tree Embedding for vulnerability Detection

abstract: In this paper, we build a model named VuLASTE, which regards vulnerability detection as a special text classification task. To solve the vocabulary explosion problem, VuLASTE uses a byte level BPE algorithm from natural language processing. In VuLASTE, a new AST path embedding is added to represent source code nesting information. We also use a combination of global and dilated window attention from Longformer to extract long sequence semantic from source code. To solve the data imbalance problem, which is a common problem in vulnerability detection datasets, focal loss is used as loss function to make model focus on poorly classified cases during training. To test our model performance on real-world source code, we build a cross-language and multi-repository vulnerability dataset from Github Security Advisory Database. On this dataset, VuLASTE achieved top 50, top 100, top 200, top 500 hits of 29, 51, 86, 228, which are higher than state-of-art researches.


title: Evidence for thermal X-ray emission from the synchrotron dominated shocks in Tycho's supernova remnant

abstract: Young supernova remnants (SNRs) shocks are believed to be the main sites of galactic cosmic rays production, showing X-ray synchrotron dominated spectra in the vicinity of their shock. While a faint thermal signature left by the shocked interstellar medium (ISM) should also be found in the spectra, proofs for such an emission in Tycho's SNR have been lacking. We perform an extended statistical analysis of the X-ray spectra of five regions behind the blast wave of Tycho's SNR using \textit{Chandra} archival data. We use Bayesian inference to perform extended parameter space exploration and sample the posterior distributions of a variety of models of interest. According to Bayes factors, spectra of all five regions of analysis are best described by composite three-component models taking into account non-thermal emission, ejecta emission and shocked ISM emission. The shocked ISM stands out the most in the Northern limb of the SNR. We find for the shocked ISM a mean electron temperature $kT_{\rm{e}}=0.96^{+1.33}_{-0.51}$ keV for all regions and a mean ionization timescale $n_{\rm e}t=2.55^{+0.5}_{-1.22}\times10^9$ cm$^{-3}$s resulting in a mean ambient density $n_{\rm e}=0.32^{+0.23}_{-0.15}$ cm$^{-3}$ around the remnant. We performed an extended analysis of the Northern limb, and show that the measured synchrotron cutoff energy is not well constrained in the presence of a shocked ISM component. Such results cannot currently be further investigated by analysing emission lines in the 0.5-1 keV range, because of the low \textit{Chandra} spectral resolution in this band. We show with simulated spectra that X-IFU future performances will be crucial to address this point.


title: Explainable Machine Learning: The Importance of a System-Centric Perspective

abstract: The landscape in the context of several signal processing applications and even education appears to be significantly affected by the emergence of machine learning (ML) and in particular deep learning (DL).The main reason for this is the ability of DL to model complex and unknown relationships between signals and the tasks of interest. Particularly, supervised DL algorithms have been fairly successful at recognizing perceptually or semantically useful signal information in different applications. In all of these, the training process uses labeled data to learn a mapping function (typically implicitly) from signals to the desired information (class label or target label). The trained DL model is then expected to correctly recognize/classify relevant information in a given test signal. A DL based framework is therefore, in general, very appealing since the features and characteristics of the required mapping are learned almost exclusively from the data without resorting to explicit model/system development. The focus on implicit modeling however also raises the issue of lack of explainability/interpretability of the resultant DL based mapping or the black box problem. As a result, explainable ML/DL is an active research area where the primary goal is to elaborate how the ML/DL model arrived at a prediction. We however note that despite the efforts, the commentary on black box problem appears to lack a technical discussion from the view point of: a) its origin and underlying reasons, and b) its practical implications on the design and deployment of ML/DL systems. Accordingly, a reasonable question that can be raised is as follows. Can the traditional system-centric approach (which places emphasis on explicit system modeling) provide useful insights into the nature of black box problem, and help develop more transparent ML/DL systems?


title: On the double density spectra of compact spaces

abstract: The set $dd(X)$ of densities of all dense subspaces of a topological space $X$ is called the double density spectrum of $X$. In this note we present a couple of results that imply $\lambda \in dd(X)$, provided that $X$ is a compact space and $\lambda$ is a cardinal satisfying certain conditions. As a consequence of these results, we prove that $dd(X) = [d(X), w(X)]$ holds for any polyadic space $X$. This, in turn, implies that $dd(G) = [d(G), w(G)]$ for any locally compact topological group $G$.


title: Spin-Flip Raman Scattering on Electrons and Holes in Two-Dimensional (PEA)$_2$PbI$_4$ Perovskites

abstract: The class of Ruddlesden-Popper type (PEA)$_2$PbI$_4$ perovskites comprises two-dimensional (2D) structures whose optical properties are determined by excitons with a large binding energy of about 260 meV. It complements the family of other 2D semiconductor materials by having the band structure typical for lead halide perovskites, that can be considered as inverted compared to conventional III-V and II-VI semiconductors. Accordingly, novel spin phenomena can be expected for them. Spin-flip Raman scattering is used here to measure the Zeeman splitting of electrons and holes in a magnetic field up to 10 T. From the recorded data, the electron and hole Land\'e factors ($g$-factors) are evaluated, their signs are determined, and their anisotropies are measured. The electron $g$-factor value changes from $+2.11$ out-of-plane to $+2.50$ in-plane, while the hole $g$-factor ranges between $-0.13$ and $-0.51$. The spin flips of the resident carriers are arranged via their interaction with photogenerated excitons. Also the double spin-flip process, where a resident electron and a resident hole interact with the same exciton, is observed showing a cumulative Raman shift. Dynamic nuclear spin polarization induced by spin-polarized holes is detected in corresponding changes of the hole Zeeman splitting. An Overhauser field of the polarized nuclei acting on the holes as large as $0.6$ T can be achieved.


title: Aggregation of Disentanglement: Reconsidering Domain Variations in Domain Generalization

abstract: Domain Generalization (DG) is a fundamental challenge for machine learning models, which aims to improve model generalization on various domains. Previous methods focus on generating domain invariant features from various source domains. However, we argue that the domain variantions also contain useful information, ie, classification-aware information, for downstream tasks, which has been largely ignored. Different from learning domain invariant features from source domains, we decouple the input images into Domain Expert Features and noise. The proposed domain expert features lie in a learned latent space where the images in each domain can be classified independently, enabling the implicit use of classification-aware domain variations. Based on the analysis, we proposed a novel paradigm called Domain Disentanglement Network (DDN) to disentangle the domain expert features from the source domain images and aggregate the source domain expert features for representing the target test domain. We also propound a new contrastive learning method to guide the domain expert features to form a more balanced and separable feature space. Experiments on the widely-used benchmarks of PACS, VLCS, OfficeHome, DomainNet, and TerraIncognita demonstrate the competitive performance of our method compared to the recently proposed alternatives.


title: Optimal investment problem for a hybrid pension with intergenerational risk-sharing and longevity trend under model uncertainty

abstract: This paper studies the optimal investment problem for a hybrid pension plan under model uncertainty, where both the contribution and the benefit are adjusted depending on the performance of the plan. Furthermore, an age and time-dependent force of mortality and a linear maximum age are considered to capture the longevity trend. Suppose that the plan manager is ambiguity averse and is allowed to invest in a risk-free asset and a stock. The plan manager aims to find optimal investment strategies and optimal intergenerational risk-sharing arrangements by minimizing the cost of unstable contribution risk, the cost of unstable benefit risk and discontinuity risk under the worst-case scenario. By applying the stochastic optimal control approach, closed-form solutions are derived under a penalized quadratic cost function. Through numerical analysis and three special cases, we find that the intergeneration risk-sharing is achieved in our collective hybrid pension plan effectively. And it also shows that when people live longer, postponing the retirement seems a feasible way to alleviate the stress of the aging problem.


title: TWIN: TWo-stage Interest Network for Lifelong User Behavior Modeling in CTR Prediction at Kuaishou

abstract: Life-long user behavior modeling, i.e., extracting a user's hidden interests from rich historical behaviors in months or even years, plays a central role in modern CTR prediction systems. Conventional algorithms mostly follow two cascading stages: a simple General Search Unit (GSU) for fast and coarse search over tens of thousands of long-term behaviors and an Exact Search Unit (ESU) for effective Target Attention (TA) over the small number of finalists from GSU. Although efficient, existing algorithms mostly suffer from a crucial limitation: the \textit{inconsistent} target-behavior relevance metrics between GSU and ESU. As a result, their GSU usually misses highly relevant behaviors but retrieves ones considered irrelevant by ESU. In such case, the TA in ESU, no matter how attention is allocated, mostly deviates from the real user interests and thus degrades the overall CTR prediction accuracy. To address such inconsistency, we propose \textbf{TWo-stage Interest Network (TWIN)}, where our Consistency-Preserved GSU (CP-GSU) adopts the identical target-behavior relevance metric as the TA in ESU, making the two stages twins. Specifically, to break TA's computational bottleneck and extend it from ESU to GSU, or namely from behavior length $10^2$ to length $10^4-10^5$, we build a novel attention mechanism by behavior feature splitting. For the video inherent features of a behavior, we calculate their linear projection by efficient pre-computing \& caching strategies. And for the user-item cross features, we compress each into a one-dimentional bias term in the attention score calculation to save the computational cost. The consistency between two stages, together with the effective TA-based relevance metric in CP-GSU, contributes to significant performance gain in CTR prediction.


title: Towards Precision in Appearance-based Gaze Estimation in the Wild

abstract: Appearance-based gaze estimation systems have shown great progress recently, yet the performance of these techniques depend on the datasets used for training. Most of the existing gaze estimation datasets setup in interactive settings were recorded in laboratory conditions and those recorded in the wild conditions display limited head pose and illumination variations. Further, we observed little attention so far towards precision evaluations of existing gaze estimation approaches. In this work, we present a large gaze estimation dataset, PARKS-Gaze, with wider head pose and illumination variation and with multiple samples for a single Point of Gaze (PoG). The dataset contains 974 minutes of data from 28 participants with a head pose range of 60 degrees in both yaw and pitch directions. Our within-dataset and cross-dataset evaluations and precision evaluations indicate that the proposed dataset is more challenging and enable models to generalize on unseen participants better than the existing in-the-wild datasets. The project page can be accessed here: https://github.com/lrdmurthy/PARKS-Gaze


title: Simultaneous direct measurement of the electrocaloric and dielectric dynamics of ferroelectrics with microsecond temporal resolution

abstract: A contactless technique for direct time-resolved measurements of the full dynamics of the adiabatic temperature change in electrocaloric materials is introduced. The infrared radiation emitted by the electrocaloric sample is sensitively detected with $\mu$s time resolution and mK temperature resolution. We present time-resolved measurements of the electrocaloric effect up to kHz frequencies of the driving electric field and down to small field strengths. The simultaneous recording of transients for applied electric field and induced polarization gives a comprehensive view on the correlation of electrocaloric and ferroelectric properties. The technique can further be applied to the continuous measurement of fatigue for $> 10^6$ electric field cycles.


title: A structure theorem for homology 4-manifolds with $g_2\leq 5$

abstract: Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived from triangulated 4-spheres with $g_2\leq 2$ by a series of connected sum, bistellar 1- and 2-moves, edge contraction, edge expansion, and edge flipping operations. We establish that the above inequality is optimally attainable, i.e., it cannot be extended to $g_2 = 6$.


title: An adaptive large neighborhood search heuristic for the multi-port continuous berth allocation problem

abstract: In this paper, we study a problem that integrates the vessel scheduling problem with the berth allocation into a collaborative problem denoted as the multi-port continuous berth allocation problem (MCBAP). This problem optimizes the berth allocation of a set of ships simultaneously in multiple ports while also considering the sailing speed of ships between ports. Due to the highly combinatorial character of the problem, exact methods struggle to scale to large-size instances, which points to exploring heuristic methods. We present a mixed-integer problem formulation for the MCBAP and introduce an adaptive large neighborhood search (ALNS) algorithm enhanced with a local search procedure to solve it. The computational results highlight the method's suitability for larger instances by providing high-quality solutions in short computational times. Practical insights indicate that the carriers' and terminal operators' operational costs are impacted in different ways by fuel prices, external ships at port, and the modeling of a continuous quay.


title: Ice melting in salty water: layering and non-monotonic dependence on the mean salinity

abstract: The presence of salt in ocean water strongly affects the melt rate and the shape evolution of ice, both of utmost relevance in geophysical and ocean flow and thus for the climate. To get a better quantitative understanding of the physical mechanics at play in ice melting in salty water, we numerically investigate the lateral melting of an ice block in stably stratified saline water, using a realistic, nonlinear equation of state (EOS). The developing ice shape from our numerical results shows good agreement with the experiments and theory from Huppert & Turner (J. Fluid Mech. 100, 367 (1980)). Furthermore, we find that the melt rate of ice depends non-monotonically on the mean ambient salinity: It first decreases for increasing salt concentration until a local minimum is attained, and then increases again. This non-monotonic behavior of the ice melt rate is due to the competition among salinity-driven buoyancy, temperature-driven buoyancy, and salinity-induced stratification. We develop a theoretical model based on the energy balance which gives a prediction of the salt concentration for which the melt rate is minimal, and is consistent with our data. Our findings give insight into the interplay between phase transitions and double-diffusive convective flows.


title: Brownian loops on non-smooth surfaces and the Polyakov-Alvarez formula

abstract: Let $\rho$ be compactly supported on $D \subset \mathbb R^2$. Endow $\mathbb R^2$ with the metric $e^{\rho}(dx_1^2 + dx_2^2)$. As $\delta \to 0$ the set of Brownian loops centered in $D$ with length at least $\delta$ has measure $$\frac{\text{area}(D)}{2\pi \delta} + \frac{1}{48\pi}(\rho,\rho)_{\nabla}+ o(1).$$ When $\rho$ is smooth, this follows from the classical Polyakov-Alvarez formula. We show that the above also holds if $\rho$ is not smooth, e.g. if $\rho$ is only Lipschitz. This fact can alternatively be expressed in terms of heat kernel traces, eigenvalue asymptotics, or zeta regularized determinants. Variants of this statement apply to more general non-smooth manifolds on which one considers all loops (not only those centered in a domain $D$). We also show that the $o(1)$ error is uniform for any family of $\rho$ satisfying certain conditions. This implies that if we weight a measure $\nu$ on this family by the ($\delta$-truncated) Brownian loop soup partition function, and take the vague $\delta \to 0$ limit, we obtain a measure whose Radon-Nikodym derivative with respect to $\nu$ is $\exp\bigl( \frac{1}{48\pi}(\rho,\rho)_{\nabla}\bigr)$. When the measure is a certain regularized Liouville quantum gravity measure, a companion work [APPS20] shows that this weighting has the effect of changing the so-called central charge of the surface.


title: A Real-Time Re-Scheduling Algorithm for Spacecraft Instrument Operations Optimization

abstract: The operation-planning of satellites, aimed at introducing a certain level of supervised automation during the execution of the operations, poses a great challenge to both designers and operators. From one side, the routine operations for an Earth Observation mission are predictable and typically repeatable; both these aspects are suitable for computerisation. On the other hand, not every non-nominal scenario can be anticipated and correctly formulated in terms of operations. Dealing with contingency presents risks which need to be addressed as early as possible, hopefully already during the operations preparation. It is also possible, however, to intervene at a later operational stage of the mission, optimising the tools already in use to support the operations execution. In this paper, having in mind the idea to improve existing processes in place at EUMETSAT, we present an algorithm able to reschedule the spacecraft's activities in case of anomaly. The main goal is to support the decision-making process while overcoming contingencies both avoiding overloading the spacecraft and planning engineers and ensuring the continuity of the mission, in particular giving the highest priority to the onboard computer memory size and data quality. We tested the method with the data of Sentinel-6, which carries the altimeter POSEIDON-4 operated by EUMETSAT, and the results are hereby presented.


title: On the regularity of optimal potentials in control problems governed by elliptic equations

abstract: In this paper we consider optimal control problems where the control variable is a potential and the state equation is an elliptic partial differential equation of a Schr\"odinger type, governed by the Laplace operator. The cost functional involves the solution of the state equation and a penalization term for the control variable. While the existence of an optimal solution simply follows by the direct methods of the calculus of variations, the regularity of the optimal potential is a difficult question and under the general assumptions we consider, no better regularity than the $BV$ one can be expected. This happens in particular for the cases in which a bang-bang solution occurs, where optimal potentials are characteristic functions of a domain. We prove the $BV$ regularity of optimal solutions through a regularity result for PDEs. Some numerical simulations show the behavior of optimal potentials in some particular cases.


title: Error analysis of the implicit variable-step BDF2 method for the molecular beam epitaxial model with slope selection

abstract: We derive unconditionally stable and convergent variable-step BDF2 scheme for solving the MBE model with slope selection. The discrete orthogonal convolution kernels of the variable-step BDF2 method is commonly utilized recently for solving the phase field models. In this paper, we further prove some new inequalities, concerning the vector forms, for the kernels especially dealing with the nonlinear terms in the slope selection model. The convergence rate of the fully discrete scheme is proved to be two both in time and space in $L^2$ norm under the setting of the variable time steps. Energy dissipation law is proved rigorously with a modified energy by adding a small term to the discrete version of the original free energy functional. Two numerical examples including an adaptive time-stepping strategy are given to verify the convergence rate and the energy dissipation law.


title: Electrically controllable thermal transport in Josephson junctions based on buckled two-dimensional materials

abstract: We investigate the thermal transport properties in superconductor-antiferromagnet-superconductor and superconductor-ferromagnet-superconductor junctions based on buckled two-dimensional materials (BTDMs). Owing to the unique buckled sublattice structures of BTDMs, in both junctions the phase dependence of the thermal conductance can be effectively controlled by perpendicular electric fields. The underlying mechanism for the electrical tunability of thermal conductance is elucidated resorting to the band structures of the magnetic regions. We also reveal the distinct manifestations of antiferromagnetic and ferromagnetic exchange fields in the thermal conductance. These results demonstrate that the perpendicular electric field can serve as a knob to externally manipulate the phase-coherent thermal transport in BTDMs-based Josephson junctions.


title: Quantized-Constraint Concatenation and the Covering Radius of Constrained Systems

abstract: We introduce a novel framework for implementing error-correction in constrained systems. The main idea of our scheme, called Quantized-Constraint Concatenation (QCC), is to employ a process of embedding the codewords of an error-correcting code in a constrained system as a (noisy, irreversible) quantization process. This is in contrast to traditional methods, such as concatenation and reverse concatenation, where the encoding into the constrained system is reversible. The possible number of channel errors QCC is capable of correcting is linear in the block length $n$, improving upon the $O(\sqrt{n})$ possible with the state-of-the-art known schemes. For a given constrained system, the performance of QCC depends on a new fundamental parameter of the constrained system - its covering radius. Motivated by QCC, we study the covering radius of constrained systems in both combinatorial and probabilistic settings. We reveal an intriguing characterization of the covering radius of a constrained system using ergodic theory. We use this equivalent characterization in order to establish efficiently computable upper bounds on the covering radius.


title: Collective dynamics and the Anderson-Higgs mechanism in a bona fide holographic superconductor

abstract: The holographic superconductor is one of the most popular models in the context of applied holography. Despite what its name suggests, it does not describe a superconductor. On the contrary, the low temperature phase of its dual field theory is a superfluid with a spontaneously broken U(1) global symmetry. As already observed in the previous literature, a bona fide holographic superconductor can be constructed using mixed boundary conditions for the bulk gauge field. By exploiting this prescription, we study the near-equilibrium collective dynamics in the Higgs phase and reveal the characteristic features of the Anderson-Higgs mechanism. We show that second sound disappears from the spectrum and the gauge field acquires a finite energy gap of the order of the plasma frequency. We observe an overdamped to underdamped crossover for the Higgs mode which acquires a finite energy gap below $\approx T_c/2$, with $T_c$ the superconducting critical temperature. Interestingly, the energy gap of the Higgs mode at low temperature is significantly smaller than $2\Delta$, with $\Delta$ the superconducting energy gap. Finally, we interpret our results using Ginzburg-Landau theory and we confirm the validity of previously derived perturbative analytic expressions.


title: Updated measurements of [O III] 88 $\mu$m, [C II] 158 $\mu$m, and Dust Continuum Emission from a z=7.2 Galaxy

abstract: We present updated measurements of the [O III] 88 $\mu$m, [C II] 158 $\mu$m, and dust continuum emission from a star-forming galaxy at $z=7.212$, SXDF-NB1006-2, by utilizing Atacama Large Millimeter/submillimeter Array (ALMA) archival data sets analysed in previous studies and data sets that have not been analysed before. The follow-up ALMA observations with higher angular resolution and sensitivity reveal a clumpy structure of the [O III] emission on a scale of $0.32-0.85\,\rm{kpc}$. We also combined all the ALMA [O III] ([C II]) data sets and updated the [O III] ([C II]) detection to $5.9\sigma$ ($3.6\sigma-4.5\sigma$). The non-detection of [C II] with data from the REBELS large program implies the incompleteness of spectral-scan surveys using [C II] to detect galaxies with high star formation rates (SFRs) but marginal [C II] emission at high-$z$. The dust continuum at 90 $\mu$m and 160 $\mu$m remains undetected, indicating little dust content of $<3.9\times10^{6}\,M_\odot\,(3\sigma)$, and we obtained a more stringent constraint on the total infrared luminosity. We updated the [O III]/[C II] luminosity ratios to $10.2\pm4.7~(6.1\pm3.5$) and $20\pm12~(9.6\pm6.1$) for $4.5\sigma$ and $3.6\sigma$ [C II] detections, respectively, where the ratios in the parentheses are corrected for the surface brightness dimming effect on the extended [C II] emission. We also found a strong [C II] deficit ($0.6-1.3$ dex) between SXDF-NB1006-2 and the mean $L_{\rm{[CII]}}-\rm{SFR}$ relation of galaxies at $0<z<9$.


title: Evolution of the spiral structure of galaxies from the HST COSMOS field

abstract: We have investigated the pitch angle ($\psi$) of the spiral arms of galaxies in the Hubble Space Telescope COSMOS field. The sample consists of 102 face-on galaxies with a two-armed pattern at a mean redshift $\langle z \rangle \approx 0.5$. The typical values of $\psi$ in the spiral arms of distant galaxies are shown to be close to those for nearby spiral galaxies. Within one galaxy the scatter of $\psi$ for different arms is, on average, half the mean pitch angle. In the $z$ range from 1 to 0 we have found a tendency for $\psi$ to decrease. Our analysis of the $\psi$ distributions in galaxies at different redshifts is consistent with the assumption that in most of the galaxies at $z \leq 0.5$ the spiral arms are tidal in origin or they arose from transient recurrent instabilities in their disks.


title: FastPillars: A Deployment-friendly Pillar-based 3D Detector

abstract: The deployment of 3D detectors strikes one of the major challenges in real-world self-driving scenarios. Existing BEV-based (i.e., Bird Eye View) detectors favor sparse convolutions (known as SPConv) to speed up training and inference, which puts a hard barrier for deployment, especially for on-device applications. In this paper, to tackle the challenge of efficient 3D object detection from an industry perspective, we devise a deployment-friendly pillar-based 3D detector, termed FastPillars. First, we introduce a novel lightweight Max-and-Attention Pillar Encoding (MAPE) module specially for enhancing small 3D objects. Second, we propose a simple yet effective principle for designing a backbone in pillar-based 3D detection. We construct FastPillars based on these designs, achieving high performance and low latency without SPConv. Extensive experiments on two large-scale datasets demonstrate the effectiveness and efficiency of FastPillars for on-device 3D detection regarding both performance and speed. Specifically, FastPillars delivers state-of-the-art accuracy on Waymo Open Dataset with 1.8X speed up and 3.8 mAPH/L2 improvement over CenterPoint (SPConv-based). Our code is publicly available at: https://github.com/StiphyJay/FastPillars.


title: From Volterra dislocations to strain-gradient plasticity

abstract: We rigorously derive a strain-gradient model of plasticity as a $\Gamma$-limit of continuum bodies containing finitely-many edge-dislocations (in two dimensions). The key difference from previous such derivations is the elemental notion of a dislocation: we work in a continuum framework in which the lattice structure is represented by a smooth frame field, and the presence of a dislocation manifests in a circulation condition on that frame field; the resulting model is a Lagrangian approach with a multiplicative strain decomposition. The multiplicative nature of the geometric incompatibility generates many technical challenges, which require a systematic study of the geometry of bodies containing multiple dislocations, the definition of new notions of convergence, and the derivation of new geometric rigidity estimates pertinent to dislocated bodies. Our approach places the strain-gradient limit in a unified framework with other models of dislocations, which cannot be addressed within the "admissible strain" approach used in previous works.


title: Deep Graph-Level Clustering Using Pseudo-Label-Guided Mutual Information Maximization Network

abstract: In this work, we study the problem of partitioning a set of graphs into different groups such that the graphs in the same group are similar while the graphs in different groups are dissimilar. This problem was rarely studied previously, although there have been a lot of work on node clustering and graph classification. The problem is challenging because it is difficult to measure the similarity or distance between graphs. One feasible approach is using graph kernels to compute a similarity matrix for the graphs and then performing spectral clustering, but the effectiveness of existing graph kernels in measuring the similarity between graphs is very limited. To solve the problem, we propose a novel method called Deep Graph-Level Clustering (DGLC). DGLC utilizes a graph isomorphism network to learn graph-level representations by maximizing the mutual information between the representations of entire graphs and substructures, under the regularization of a clustering module that ensures discriminative representations via pseudo labels. DGLC achieves graph-level representation learning and graph-level clustering in an end-to-end manner. The experimental results on six benchmark datasets of graphs show that our DGLC has state-of-the-art performance in comparison to many baselines.


title: Testing for Structural Change under Nonstationarity

abstract: This Appendix (dated: July 2021) includes supplementary derivations related to the main limit results of the econometric framework for structural break testing in predictive regression models based on the OLS-Wald and IVX-Wald test statistics, developed by Katsouris C (2021). In particular, we derive the asymptotic distributions of the test statistics when the predictive regression model includes either mildly integrated or persistent regressors. Moreover, we consider the case in which a model intercept is included in the model vis-a-vis the case that the predictive regression model has no model intercept. In a subsequent version of this study we reexamine these particular aspects in more depth with respect to the demeaned versions of the variables of the predictive regression.


title: Model-free Quantum Gate Design and Calibration using Deep Reinforcement Learning

abstract: High-fidelity quantum gate design is important for various quantum technologies, such as quantum computation and quantum communication. Numerous control policies for quantum gate design have been proposed given a dynamical model of the quantum system of interest. However, a quantum system is often highly sensitive to noise, and obtaining its accurate modeling can be difficult for many practical applications. Thus, the control policy based on a quantum system model may be unpractical for quantum gate design. Also, quantum measurements collapse quantum states, which makes it challenging to obtain information through measurements during the control process. In this paper, we propose a novel training framework using deep reinforcement learning for model-free quantum control. The proposed framework relies only on the measurement at the end of the control process and offers the ability to find the optimal control policy without access to quantum systems during the learning process. The effectiveness of the proposed technique is numerically demonstrated for model-free quantum gate design and quantum gate calibration using off-policy reinforcement learning algorithms.


title: First Constraints from DAMIC-M on Sub-GeV Dark-Matter Particles Interacting with Electrons

abstract: We report constraints on sub-GeV dark matter particles interacting with electrons from the first underground operation of DAMIC-M detectors. The search is performed with an integrated exposure of 85.23 g days, and exploits the sub-electron charge resolution and low level of dark current of DAMIC-M Charge-Coupled Devices (CCDs). Dark-matter-induced ionization signals above the detector dark current are searched for in CCD pixels with charge up to 7 e-. With this data set we place limits on dark matter particles of mass between 0.53 and 1000 MeV/c2, excluding unexplored regions of parameter space in the mass ranges [1.6,1000] MeV/c2 and [1.5,15.1] MeV/c2 for ultra-light and heavy mediator interactions, respectively.


title: ShiftDDPMs: Exploring Conditional Diffusion Models by Shifting Diffusion Trajectories

abstract: Diffusion models have recently exhibited remarkable abilities to synthesize striking image samples since the introduction of denoising diffusion probabilistic models (DDPMs). Their key idea is to disrupt images into noise through a fixed forward process and learn its reverse process to generate samples from noise in a denoising way. For conditional DDPMs, most existing practices relate conditions only to the reverse process and fit it to the reversal of unconditional forward process. We find this will limit the condition modeling and generation in a small time window. In this paper, we propose a novel and flexible conditional diffusion model by introducing conditions into the forward process. We utilize extra latent space to allocate an exclusive diffusion trajectory for each condition based on some shifting rules, which will disperse condition modeling to all timesteps and improve the learning capacity of model. We formulate our method, which we call \textbf{ShiftDDPMs}, and provide a unified point of view on existing related methods. Extensive qualitative and quantitative experiments on image synthesis demonstrate the feasibility and effectiveness of ShiftDDPMs.


title: Simulation-Driven Automated End-to-End Test and Oracle Inference

abstract: This is the first work to report on inferential testing at scale in industry. Specifically, it reports the experience of automated testing of integrity systems at Meta. We built an internal tool called ALPACAS for automated inference of end-to-end integrity tests. Integrity tests are designed to keep users safe online by checking that interventions take place when harmful behaviour occurs on a platform. ALPACAS infers not only the test input, but also the oracle, by observing production interventions to prevent harmful behaviour. This approach allows Meta to automate the process of generating integrity tests for its platforms, such as Facebook and Instagram, which consist of hundreds of millions of lines of production code. We outline the design and deployment of ALPACAS, and report results for its coverage, number of tests produced at each stage of the test inference process, and their pass rates. Specifically, we demonstrate that using ALPACAS significantly improves coverage from a manual test design for the particular aspect of integrity end-to-end testing it was applied to. Further, from a pool of 3 million data points, ALPACAS automatically yields 39 production-ready end-to-end integrity tests. We also report that the ALPACAS-inferred test suite enjoys exceptionally low flakiness for end-to-end testing with its average in-production pass rate of 99.84%.


title: Multiple skew orthogonal polynomials and 2-component Pfaff lattice hierarchy

abstract: In this paper, we introduce multiple skew-orthogonal polynomials and investigate their connections with classical integrable systems. By using Pfaffian techniques, we show that multiple skew-orthogonal polynomials can be expressed by multi-component Pfaffian tau-functions upon appropriate deformations. Moreover, a two-component Pfaff lattice hierarchy, which is equivalent to the Pfaff-Toda hierarchy studied by Takasaki, is obtained by considering the recurrence relations and Cauchy transforms of multiple skew-orthogonal polynomials.


title: Clustercentric distance or local density? It depends on galaxy morphology

abstract: Determining which between projected local density and distance from the cluster center plays a major role in regulating morphological fractions in clusters is a longstanding debate. Reaching a definitive answer will shed light on the main physical mechanisms at play in the most extreme environments. Here we make use of the data from the OmegaWINGS survey, currently the largest survey of clusters in the local Universe extending beyond 2 virial radii from the cluster cores, to extend previous analysis outside the virial radius. Local density and clustercentric distance seems to play different roles for galaxies of different morphology: the fraction of elliptical galaxies mainly depends on local density, suggesting that their formation was linked to the primordial densities, which now correspond to the cluster cores. Only the fraction of low mass ellipticals shows an anticorrelation with clustercentric distance, suggesting a different origin for these objects. Excluding elliptical galaxies, the relative fraction of S0s and spirals instead depends on local density only far from the cluster cores, while within the virial radius their proportion is regulated by distance, suggesting that cluster specific processes halt the star formation and transform Sp galaxies into S0s. This interpretation is supported by literature results on the kinematical analysis of early and late type galaxies, according to which fast and slow rotators have distinct dependencies on halo mass and local density.


title: Self-induced Transparency in a Semiconductor Quantum Dot medium at ultra-cold temperatures

abstract: We investigate the feasibility of minimum absorption and minimum broadening of pulse propagation in an inhomogeneously broadened semiconductor quantum dot medium. The phonon interaction is inevitable in studying any semiconductor quantum dot system. We have used the polaron transformation technique to deal with quantum dot phonon interaction in solving system dynamics. We demonstrate that a short pulse can propagate inside the medium with minimal absorption and broadening in pulse shape. The stable pulse area becomes slightly higher than the prediction of the pulse area theorem and is also dependent on the environment temperature. The change in the final pulse shape is explained very well by numerically solving the propagation equation supported by the susceptibility of the medium. Our system also exhibits the pulse breakup phenomena for higher input pulse areas. Therefore, the considered scheme can have important applications in quantum communication, quantum information, and mode-locking with the advantage of scalability and controllability.


title: A note on Fermat's Last Theorem for $n=4$

abstract: Fermat's Last theorem (FLT) famously states that the equation $x^n+y^n=z^n$ has no solution in positive integers $x, y, z$ for any integer exponent $n>2$. But does this theorem have a quantitative version? Upon initial investigation we discovered an infinite sequence of integers $(x_n, y_n, z_n)$ with $x_n^4+y_n^4-8=z_n^2$.


title: Page curves and Entanglement Islands for the Step-Function Vaidya Model of Evaporating Black Holes

abstract: It was proposed recently that the fine-grained entropy of the Hawking radiation can be expressed by the semiclassical island formula, which reproduces the unitary Page curve. In this paper, we choose the ``in'' vacuum state and apply the quantum extremal surface construction to study the Page curve for the step-function Vaidya model of evaporating black holes in four dimensions, which is produced by the spherical null shells. Metrics of the three regions of this spacetimes are obtained. In addition, the entanglement islands for the step-function Vaidya model of evaporating black holes at very late times are studied. When cutoff surface $A$ is located in Minkowski region III with $u_A < u_H$ at very late times, we find that the location of the boundary of island $\partial I$ depends on the value of $8M-v_A+v_I$. Specifically, $\partial I$ is inside, at or outside the horizon when $8M-v_A+v_I$ is less than, equal to or larger than zero respectively. Moreover, when cutoff surface $A$ is located in Minkowski region III with $u_A > u_H$ after the black hole evaporates completely, we find that entanglement island still exists and $\partial I$ is located on an equal-time Cauchy surface of the observer $A$ when $r_{(A)}^2\geq64G_N\kappa c $.


title: 2LS for Program Analysis

abstract: 2LS ("tools") is a verification tool for C programs, built upon the CPROVER framework. It allows one to verify user-specified assertions, memory safety properties (e.g. buffer overflows), numerical overflows, division by zero, memory leaks, and termination properties. The analysis is performed by translating the verification task into a second-order logic formula over bitvector, array, and floating-point arithmetic theories. The formula is solved by a modular combination of algorithms involving unfolding and template-based invariant synthesis with the help of incremental SAT solving. Advantages of 2LS include its very fast incremental bounded model checking algorithm and its flexible framework for experimenting with novel analysis and abstraction ideas for invariant inference. Drawbacks are its lack of support for certain program features (e.g. multi-threading).


title: JBMC: A Bounded Model Checking Tool for Java Bytecode

abstract: JBMC is an open-source SAT- and SMT-based bounded model checking tool for verifying Java bytecode. JBMC relies on an operational model of the Java libraries, which conservatively approximates their semantics, to verify assertion violations, array out-of-bounds, unintended arithmetic overflows, and other kinds of functional and runtime errors in Java bytecode. JBMC can be used to either falsify properties or prove program correctness if an upper bound on the depth of the state-space is known. Practical applications of JBMC include but are not limited to bug finding, property checking, test input generation, detection of security vulnerabilities, and program synthesis. Here we provide a detailed description of JBMC's architecture and its functionalities, including an in-depth discussion of its background theories and underlying technologies, including a state-of-the-art string solver to ensure safety and security of Java bytecode.


title: AProVE: Modular Termination Analysis of Memory-Manipulating C Programs

abstract: Termination analysis of C programs is a challenging task. On the one hand, the analysis needs to be precise enough to draw meaningful conclusions. On the other hand, relevant programs in practice are large and require substantial abstraction. It is this inherent trade-off that is the crux of the problem. In this work, we present AProVE, a tool that uses symbolic execution to analyze termination of memory-manipulating C programs. While traditionally, AProVE's focus was on the preciseness of the analysis, we describe how we adapted our approach towards a modular analysis. Due to this adaption, our approach can now also handle recursive programs. Moreover, we present further performance improvements which we developed to make AProVE scale to large programs.


title: Dust-scattering rings of GRB 221009A as seen by the Neil Gehrels Swift satellite: can we count them all?

abstract: We present the first results for the dust-scattering rings of GRB 221009A, coined as the GRB of the century, as observed by the Neil Gehrels Swift satellite. We perform analysis of both time resolved observations and stacked data. The former approach enable us to study the expansion of the most prominent rings, associate their origin with the prompt X-ray emission of the GRB and determine the location of the dust layers. The stacked radial profiles increase the signal-to-noise ratio of the data and allows detection of fainter and overlapping peaks in the angular profile. We find a total of 16 dust concentrations (with hints of even more) that span about 15 kpc in depth and could be responsible for the highly structured X-ray angular profiles. By comparing the relative scattered fluxes of the five most prominent rings we show that the layer with the largest amount of dust is located at about 0.44 kpc away from us. We finally compare the location of the dust layers with results from experiments that study the 3D structure of our Galaxy via extinction or CO radio observations, and highlight the complementarity of dust X-ray tomography to these approaches.


title: CBMC: The C Bounded Model Checker

abstract: The C Bounded Model Checker (CBMC) demonstrates the violation of assertions in C programs, or proves safety of the assertions under a given bound. CBMC implements a bit-precise translation of an input C program, annotated with assertions and with loops unrolled to a given depth, into a formula. If the formula is satisfiable, then an execution leading to a violated assertion exists. CBMC is one of the most successful software verification tools. Its main advantages are its precision, robustness and simplicity. CBMC is shipped as part of several Linux distributions. It has been used by thousands of software developers to verify real-world software, such as the Linux kernel, and powers commercial software analysis and test generation tools. Table 1 gives an overview of CBMC's features. CBMC is also a versatile tool that can be applied to solve many practical program analysis problems such as bug finding, property checking, test input generation, detection of security vulnerabilities, equivalence checking and program synthesis. This chapter will give an introduction into CBMC, including practical examples and pointers to further reading. Moreover, we give insights about the development of CBMC itself, showing how its performance evolved over the last decade.


title: A study of the violation of the Bell-CHSH inequality through a pairing mechanism

abstract: The violation of the Bell-CHSH inequality for bipartite systems is discussed by making use of the pseudospin operators which enable us to group all modes of the Hilbert space of the system in pairs. We point out that a single pair can be already employed to perform a test of the Bell-CHSH inequality in order to check out its violation. The mechanism is illustrated with the help of $N00N$ states as well as with coherent and squeezed states.


title: Persistent Dirac for molecular representation

abstract: Molecular representations are of fundamental importance for the modeling and analysis of molecular systems. Representation models and in general approaches based on topological data analysis (TDA) have demonstrated great success in various steps of drug design and materials discovery. Here we develop a mathematically rigorous computational framework for molecular representation based on the persistent Dirac operator. The properties of the spectrum of the discrete weighted and unweighted Dirac matrices are systemically discussed and used to demonstrate the geometric and topological properties of both non-homology and homology eigenvectors of real molecular structures. This allows us to asses the influence of weighting schemes on the information encoded in the Dirac eigenspectrum. A series of physical persistent attributes, which characterize the spectrum of the Dirac matrices across a filtration, are proposed and used as efficient molecular fingerprints. Finally, our persistent Dirac-based model is used for clustering molecular configurations from nine types of organic-inorganic halide perovskites. We found that our model can cluster the structures very well, demonstrating the representation and featurization power of the current approach.


title: On the local everywhere H\"older continuity for weak solutions of a class of not convex vectorial problems of the Calculus of Variations

abstract: In this paper we study the regularity of the local minima of integral functionals: in particular, not convexity (quasi-convexity, policonvexity or rank one convexity) hypothesis will be made on the density, neither structure hypothesis nor radial nor diagonal.


title: Unpolarized generalized parton distributions of light and heavy vector mesons

abstract: We study the leading-twist unpolarized generalized parton distributions (GPDs) of light and heavy vector mesons, i.e., the $\rho$, $J/\psi$ and $\Upsilon$, at zero skewness. An ansatz incorporating the zero mode contribution is introduced to modify the light front overlap representation of GPDs. The leading Fock-state light front wave functions (LF-LFWFs) of vector mesons from DS-BSEs approach are then employed to study the meson GPDs. The light front spatial distribution of valence quarks within vector mesons is then studied with the impact parameter dependent GPD (IPD GPD). We also investigate the electromagnetic and gravitational form factors, which are the first and second Mellin moments of the GPDs. The light-cone mass radius of $\rho$ is determined to be 0.30 fm, close to a recent NJL model prediction 0.32fm. For $J/\psi$ and $\Upsilon$, they are predicted to be 0.151fm and 0.089 fm respectively.


title: Maximal stable quotients of invariant types in NIP theories

abstract: For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of parameters from $\mathfrak{C}$ equivalence relation on the set of realizations of $p$ which has stable quotient. This is a counterpart for equivalence relations of the main result of the paper "On maximal stable quotients of definable groups in NIP theories" by M. Haskel and A. Pillay which shows the existence of maximal stable quotients of type-definable groups in NIP theories. Our proof adapts the ideas of the proof of this result, working with relatively type-definable subsets of the group of automorphisms of the monster model as defined in the paper "On first order amenability" by E. Hrushovski, K. Krupinski, and A. Pillay.


title: Quantized Distributed Training of Large Models with Convergence Guarantees

abstract: Communication-reduction techniques are a popular way to improve scalability in data-parallel training of deep neural networks (DNNs). The recent emergence of large language models such as GPT has created the need for new approaches to exploit data-parallelism. Among these, fully-sharded data parallel (FSDP) training is highly popular, yet it still encounters scalability bottlenecks. One reason is that applying compression techniques to FSDP is challenging: as the vast majority of the communication involves the model's weights, direct compression alters convergence and leads to accuracy loss. We present QSDP, a variant of FSDP which supports both gradient and weight quantization with theoretical guarantees, is simple to implement and has essentially no overheads. To derive QSDP we prove that a natural modification of SGD achieves convergence even when we only maintain quantized weights, and thus the domain over which we train consists of quantized points and is, therefore, highly non-convex. We validate this approach by training GPT-family models with up to 1.3 billion parameters on a multi-node cluster. Experiments show that QSDP preserves model accuracy, while completely removing the communication bottlenecks of FSDP, providing end-to-end speedups of up to 2.2x.