title: BiTAT: Neural Network Binarization with Task-dependent Aggregated Transformation

abstract: Neural network quantization aims to transform high-precision weights and activations of a given neural network into low-precision weights/activations for reduced memory usage and computation, while preserving the performance of the original model. However, extreme quantization (1-bit weight/1-bit activations) of compactly-designed backbone architectures (e.g., MobileNets) often used for edge-device deployments results in severe performance degeneration. This paper proposes a novel Quantization-Aware Training (QAT) method that can effectively alleviate performance degeneration even with extreme quantization by focusing on the inter-weight dependencies, between the weights within each layer and across consecutive layers. To minimize the quantization impact of each weight on others, we perform an orthonormal transformation of the weights at each layer by training an input-dependent correlation matrix and importance vector, such that each weight is disentangled from the others. Then, we quantize the weights based on their importance to minimize the loss of the information from the original weights/activations. We further perform progressive layer-wise quantization from the bottom layer to the top, so that quantization at each layer reflects the quantized distributions of weights and activations at previous layers. We validate the effectiveness of our method on various benchmark datasets against strong neural quantization baselines, demonstrating that it alleviates the performance degeneration on ImageNet and successfully preserves the full-precision model performance on CIFAR-100 with compact backbone networks.


title: Memory Efficient Patch-based Training for INR-based GANs

abstract: Recent studies have shown remarkable progress in GANs based on implicit neural representation (INR) - an MLP that produces an RGB value given its (x, y) coordinate. They represent an image as a continuous version of the underlying 2D signal instead of a 2D array of pixels, which opens new horizons for GAN applications (e.g., zero-shot super-resolution, image outpainting). However, training existing approaches require a heavy computational cost proportional to the image resolution, since they compute an MLP operation for every (x, y) coordinate. To alleviate this issue, we propose a multi-stage patch-based training, a novel and scalable approach that can train INR-based GANs with a flexible computational cost regardless of the image resolution. Specifically, our method allows to generate and discriminate by patch to learn the local details of the image and learn global structural information by a novel reconstruction loss to enable efficient GAN training. We conduct experiments on several benchmark datasets to demonstrate that our approach enhances baseline models in GPU memory while maintaining FIDs at a reasonable level.


title: Hessian-Free Second-Order Adversarial Examples for Adversarial Learning

abstract: Recent studies show deep neural networks (DNNs) are extremely vulnerable to the elaborately designed adversarial examples. Adversarial learning with those adversarial examples has been proved as one of the most effective methods to defend against such an attack. At present, most existing adversarial examples generation methods are based on first-order gradients, which can hardly further improve models' robustness, especially when facing second-order adversarial attacks. Compared with first-order gradients, second-order gradients provide a more accurate approximation of the loss landscape with respect to natural examples. Inspired by this, our work crafts second-order adversarial examples and uses them to train DNNs. Nevertheless, second-order optimization involves time-consuming calculation for Hessian-inverse. We propose an approximation method through transforming the problem into an optimization in the Krylov subspace, which remarkably reduce the computational complexity to speed up the training procedure. Extensive experiments conducted on the MINIST and CIFAR-10 datasets show that our adversarial learning with second-order adversarial examples outperforms other fisrt-order methods, which can improve the model robustness against a wide range of attacks.


title: First-order mean-field games on networks and Wardrop equilibrium

abstract: Here, we examine the Wardrop equilibrium model on networks with flow-dependent costs and its connection with stationary mean-field games (MFG). In the first part of this paper, we present the Wardrop and the first-order MFG models on networks. Then, we show how to reformulate the MFG problem into a Wardrop problem and prove that the MFG solution is the Wardrop equilibrium for the corresponding Wardrop problem. Moreover, we prove that the solution of the MFG problem can be recovered using the solution to the associated Wardrop problem. Finally, we study the cost properties and the calibration of MFG with Wardrop travel cost problems. We describe a novel approach to the calibration of MFGs. Further, we show that even simple travel costs can give rise to non-monotone MFGs.


title: Large-scale Robustness Analysis of Video Action Recognition Models

abstract: We have seen a great progress in video action recognition in recent years. There are several models based on convolutional neural network (CNN) and some recent transformer based approaches which provide top performance on existing benchmarks. In this work, we perform a large-scale robustness analysis of these existing models for video action recognition. We focus on robustness against real-world distribution shift perturbations instead of adversarial perturbations. We propose four different benchmark datasets, HMDB51-P, UCF101-P, Kinetics400-P, and SSv2-P to perform this analysis. We study robustness of six state-of-the-art action recognition models against 90 different perturbations. The study reveals some interesting findings, 1) transformer based models are consistently more robust compared to CNN based models, 2) Pretraining improves robustness for Transformer based models more than CNN based models, and 3) All of the studied models are robust to temporal perturbations for all datasets but SSv2; suggesting the importance of temporal information for action recognition varies based on the dataset and activities. Next, we study the role of augmentations in model robustness and present a real-world dataset, UCF101-DS, which contains realistic distribution shifts, to further validate some of these findings. We believe this study will serve as a benchmark for future research in robust video action recognition.


title: Almost Sure Scattering of the Energy Critical NLS in $d>6$

abstract: We study the energy-critical nonlinear Schr\"{o}dinger equation with randomised initial data in dimensions $d>6$. We prove that the Cauchy problem is almost surely globally well-posed with scattering for randomised super-critical initial data in $H^s(\mathbb{R}^d)$ whenever $s>\max\{\frac{4d-1}{3(2d-1)},\frac{d^2+6d-4}{(2d-1)(d+2)}\}$. The randomisation is based on a decomposition of the data in physical space, frequency space and the angular variable. This extends previously known results of Spitz in dimension 4. The main difficulty in the generalisation to high dimensions is the non-smoothness of the nonlinearity.


title: Cost-Efficient Fixed-Width Confidence Intervals for the Difference of Two Bernoulli Proportions

abstract: We study properties of confidence intervals (CIs) for the difference of two Bernoulli distributions' success parameters, $p_x - p_y$, in the case where the goal is to obtain a CI of a given half-width while minimizing sampling costs when the observation costs may be different between the two distributions. Assuming that we are provided with preliminary estimates of the success parameters, we propose three different methods for constructing fixed-width CIs: (i) a two-stage sampling procedure, (ii) a sequential method that carries out sampling in batches, and (iii) an $\ell$-stage "look-ahead" procedure. We use Monte Carlo simulation to show that, under diverse success probability and observation cost scenarios, our proposed algorithms obtain significant cost savings versus their baseline counterparts (up to 50\% for the two-stage procedure, up to 15\% for the sequential methods). Furthermore, for the battery of scenarios under study, our sequential-batches and $\ell$-stage "look-ahead" procedures approximately obtain the nominal coverage while also meeting the desired width requirement. Our sequential-batching method turned out to be more efficient than the "look-ahead" method from a computational standpoint, with average running times at least an order-of-magnitude faster over all the scenarios tested.


title: Two New CNTFET Quaternary Full Adders for Carry-Propagate Adders

abstract: In Carry Propagate Adders, carry propagation is the critical delay. For the 1-digit adders that they use, the most efficient scheme is to generate two intermediate carries: C$_{out0}$ ($C_{in}$=0) and $C_{out1}$($C_{in}$=1). Then multiplex them to produce the correct output according to $C_{in}$. For any radix, the carry output has always a logical value 0 or 1. We show that using 0 and $V_{dd}$ levels for input and output carries instead of 0 and $V_{dd}$/3 in quaternary full adders significantly reduce the carry propagation. We compare such a quaternary full adder with binary full adders to implement N-digit carry propagate adders.


title: Using contextual sentence analysis models to recognize ESG concepts

abstract: This paper summarizes the joint participation of the Trading Central Labs and the L3i laboratory of the University of La Rochelle on both sub-tasks of the Shared Task FinSim-4 evaluation campaign. The first sub-task aims to enrich the 'Fortia ESG taxonomy' with new lexicon entries while the second one aims to classify sentences to either 'sustainable' or 'unsustainable' with respect to ESG (Environment, Social and Governance) related factors. For the first sub-task, we proposed a model based on pre-trained Sentence-BERT models to project sentences and concepts in a common space in order to better represent ESG concepts. The official task results show that our system yields a significant performance improvement compared to the baseline and outperforms all other submissions on the first sub-task. For the second sub-task, we combine the RoBERTa model with a feed-forward multi-layer perceptron in order to extract the context of sentences and classify them. Our model achieved high accuracy scores (over 92%) and was ranked among the top 5 systems.


title: Noise effects on purity and quantum entanglement in terms of physical implementability

abstract: Quantum decoherence due to imperfect manipulation of quantum devices is a key issue in the noisy intermediate-scale quantum (NISQ) era. Standard analyses in quantum information and quantum computation use error rates to parameterize quantum noise channels. However, there is no explicit relation between the decoherence effect induced by a noise channel and its error rate. In this work, we propose to characterize the decoherence effect of a noise channel by the physical implementability of its inverse, which is a universal parameter quantifying the difficulty to simulate the noise inverse with accessible quantum channels. We establish two concise inequalities connecting the decrease of the state purity and logarithmic negativity after a noise channel to the physical implementability of the noise inverse, which is required to be decomposed as mutually orthogonal unitaries or product channels respectively. Our results are numerically demonstrated on several commonly adopted two-qubit noise models. We believe that these relations contribute to the theoretical research on the entanglement properties of noise channels and provide guiding principles for quantum circuit design.


title: VECtor: A Versatile Event-Centric Benchmark for Multi-Sensor SLAM

abstract: Event cameras have recently gained in popularity as they hold strong potential to complement regular cameras in situations of high dynamics or challenging illumination. An important problem that may benefit from the addition of an event camera is given by Simultaneous Localization And Mapping (SLAM). However, in order to ensure progress on event-inclusive multi-sensor SLAM, novel benchmark sequences are needed. Our contribution is the first complete set of benchmark datasets captured with a multi-sensor setup containing an event-based stereo camera, a regular stereo camera, multiple depth sensors, and an inertial measurement unit. The setup is fully hardware-synchronized and underwent accurate extrinsic calibration. All sequences come with ground truth data captured by highly accurate external reference devices such as a motion capture system. Individual sequences include both small and large-scale environments, and cover the specific challenges targeted by dynamic vision sensors.


title: I-ViT: Integer-only Quantization for Efficient Vision Transformer Inference

abstract: Vision Transformers (ViTs) have achieved state-of-the-art performance on various computer vision applications. However, these models have considerable storage and computational overheads, making their deployment and efficient inference on edge devices challenging. Quantization is a promising approach to reducing model complexity, and the dyadic arithmetic pipeline can allow the quantized models to perform efficient integer-only inference. Unfortunately, dyadic arithmetic is based on the homogeneity condition in convolutional neural networks, which is not applicable to the non-linear components in ViTs, making integer-only inference of ViTs an open issue. In this paper, we propose I-ViT, an integer-only quantization scheme for ViTs, to enable ViTs to perform the entire computational graph of inference with integer arithmetic and bit-shifting, and without any floating-point arithmetic. In I-ViT, linear operations (e.g., MatMul and Dense) follow the integer-only pipeline with dyadic arithmetic, and non-linear operations (e.g., Softmax, GELU, and LayerNorm) are approximated by the proposed light-weight integer-only arithmetic methods. More specifically, I-ViT applies the proposed Shiftmax and ShiftGELU, which are designed to use integer bit-shifting to approximate the corresponding floating-point operations. We evaluate I-ViT on various benchmark models and the results show that integer-only INT8 quantization achieves comparable (or even slightly higher) accuracy to the full-precision (FP) baseline. Furthermore, we utilize TVM for practical hardware deployment on the GPU's integer arithmetic units, achieving 3.72$\sim$4.11$\times$ inference speedup compared to the FP model. Code of both Pytorch and TVM is released at https://github.com/zkkli/I-ViT.


title: Reactive Navigation of an Unmanned Aerial Vehicle with Perception-based Obstacle Avoidance Constraints

abstract: In this article we propose a reactive constrained navigation scheme, with embedded obstacles avoidance for an Unmanned Aerial Vehicle (UAV), for enabling navigation in obstacle-dense environments. The proposed navigation architecture is based on Nonlinear Model Predictive Control (NMPC), and utilizes an on-board 2D LiDAR to detect obstacles and translate online the key geometric information of the environment into parametric constraints for the NMPC that constrain the available position-space for the UAV. This article focuses also on the real-world implementation and experimental validation of the proposed reactive navigation scheme, and it is applied in multiple challenging laboratory experiments, where we also conduct comparisons with relevant methods of reactive obstacle avoidance. The solver utilized in the proposed approach is the Optimization Engine (OpEn) and the Proximal Averaged Newton for Optimal Control (PANOC) algorithm, where a penalty method is applied to properly consider obstacles and input constraints during the navigation task. The proposed novel scheme allows for fast solutions, while using limited on-board computational power, that is a required feature for the overall closed loop performance of an UAV and is applied in multiple real-time scenarios. The combination of built-in obstacle avoidance and real-time applicability makes the proposed reactive constrained navigation scheme an elegant framework for UAVs that is able to perform fast nonlinear control, local path-planning and obstacle avoidance, all embedded in the control layer.


title: Vehicle Trajectory Prediction on Highways Using Bird Eye View Representations and Deep Learning

abstract: This work presents a novel method for predicting vehicle trajectories in highway scenarios using efficient bird's eye view representations and convolutional neural networks. Vehicle positions, motion histories, road configuration, and vehicle interactions are easily included in the prediction model using basic visual representations. The U-net model has been selected as the prediction kernel to generate future visual representations of the scene using an image-to-image regression approach. A method has been implemented to extract vehicle positions from the generated graphical representations to achieve subpixel resolution. The method has been trained and evaluated using the PREVENTION dataset, an on-board sensor dataset. Different network configurations and scene representations have been evaluated. This study found that U-net with 6 depth levels using a linear terminal layer and a Gaussian representation of the vehicles is the best performing configuration. The use of lane markings was found to produce no improvement in prediction performance. The average prediction error is 0.47 and 0.38 meters and the final prediction error is 0.76 and 0.53 meters for longitudinal and lateral coordinates, respectively, for a predicted trajectory length of 2.0 seconds. The prediction error is up to 50% lower compared to the baseline method.


title: Errata and Addenda to: "Hydrodynamic Vortex on Surfaces" and "The motion of a vortex on a closed surface of constant negative curvature"

abstract: The two papers in the title contain some equations that are not complete. The missing terms, which are of topological origin, were recently unveiled by Bjorn Gustafsson. In this note we present the equations of Gustafsson in the case of a single vortex in a compact boundaryless surface, and show that many conclusions we have reached with the incomplete equations remain valid. It seems that the the extra-terms in Gustafsson's equations can be explicitly written in terms of elementary functions only for the two-torus, and this is done at the end of this note.

categories: math-ph math.CA math.DS math.MP physics.flu-dyn


title: Meetings and Mood -- Related or Not? Insights from Student Software Projects

abstract: Background: Teamwork, coordination, and communication are a prerequisite for the timely completion of a software project. Meetings as a facilitator for coordination and communication are an established medium for information exchange. Analyses of meetings in software projects have shown that certain interactions in these meetings, such as proactive statements followed by supportive ones, influence the mood and motivation of a team, which in turn affects its productivity. So far, however, research has focused only on certain interactions at a detailed level, requiring a complex and fine-grained analysis of a meeting itself. Aim: In this paper, we investigate meetings from a more abstract perspective, focusing on the polarity of the statements, i.e., whether they appear to be positive, negative, or neutral. Method: We analyze the relationship between the polarity of statements in meetings and different social aspects, including conflicts as well as the mood before and after a meeting. Results: Our results emerge from 21 student software project meetings and show some interesting insights: (1) Positive mood before a meeting is both related to the amount of positive statements in the beginning, as well as throughout the whole meeting, (2) negative mood before the meeting only influences the amount of negative statements in the first quarter of the meeting, but not the whole meeting, and (3) the amount of positive and negative statements during the meeting has no influence on the mood afterwards. Conclusions: We conclude that the behaviour in meetings might rather influence short-term emotional states (feelings) than long-term emotional states (mood), which are more important for the project.


title: RQC revisited and more cryptanalysis for Rank-based Cryptography

abstract: We propose two main contributions: first, we revisit the encryption scheme Rank Quasi-Cyclic (RQC) by introducing new efficient variations, in particular, a new class of codes, the Augmented Gabidulin codes; second, we propose new attacks against the Rank Support Learning (RSL), the Non-Homogeneous Rank Decoding (NHRSD), and the Non-Homogeneous Rank Support Learning (NHRSL) problems. RSL is primordial for all recent rank-based cryptosystems such as Durandal (Aragon et al., EUROCRYPT 2019) or LRPC with multiple syndromes (arXiv:2206.11961), moreover, NHRSD and NHRSL, together with RSL, are at the core of our new schemes. The new attacks we propose are of both types: combinatorial and algebraic. For all these attacks, we provide a precise analysis of their complexity. Overall, when all of these new improvements for the RQC scheme are put together, and their security evaluated with our different attacks, they enable one to gain 50% in parameter sizes compared to the previous RQC version. More precisely, we give very competitive parameters, around 11 KBytes, for RQC schemes with unstructured public key matrices. This is currently the only scheme with such short parameters whose security relies solely on pure random instances without any masking assumptions, contrary to McEliece-like schemes. At last, when considering the case of Non-Homogeneous errors, our scheme permits to reach even smaller parameters.


title: The Neural-Prediction based Acceleration Algorithm of Column Generation for Graph-Based Set Covering Problems

abstract: Set covering problem is an important class of combinatorial optimization problems, which has been widely applied and studied in many fields. In this paper, we propose an improved column generation algorithm with neural prediction (CG-P) for solving graph-based set covering problems. We leverage a graph neural network based neural prediction model to predict the probability to be included in the final solution for each edge. Our CG-P algorithm constructs a reduced graph that only contains the edges with higher predicted probability, and this graph reduction process significantly speeds up the solution process. We evaluate the CG-P algorithm on railway crew scheduling problems and it outperforms the baseline column generation algorithm. We provide two solution modes for our CG-P algorithm. In the optimal mode, we can obtain a solution with an optimality guarantee while reducing the time cost to 63.12%. In the fast mode, we can obtain a sub-optimal solution with a 7.62% optimality gap in only 2.91% computation time.


title: Satellite image data downlink scheduling problem with family attribute: Model &Algorithm

abstract: The asynchronous development between the observation capability and the transition capability results in that an original image data (OID) formed by one-time observation cannot be completely transmitted in one transmit chance between the EOS and GS (named as a visible time window, VTW). It needs to segment the OID to several segmented image data (SID) and then transmits them in several VTWs, which enriches the extension of satellite image data downlink scheduling problem (SIDSP). We define the novel SIDSP as satellite image data downlink scheduling problem with family attribute (SIDSPWFA), in which some big OID is segmented by a fast segmentation operator first, and all SID and other no-segmented OID is transmitted in the second step. Two optimization objectives, the image data transmission failure rate (FR) and the segmentation times (ST), are then designed to formalize SIDSPWFA as a bi-objective discrete optimization model. Furthermore, a bi-stage differential evolutionary algorithm(DE+NSGA-II) is developed holding several bi-stage operators. Extensive simulation instances show the efficiency of models, strategies, algorithms and operators is analyzed in detail.


title: Disentangling Random and Cyclic Effects in Time-Lapse Sequences

abstract: Time-lapse image sequences offer visually compelling insights into dynamic processes that are too slow to observe in real time. However, playing a long time-lapse sequence back as a video often results in distracting flicker due to random effects, such as weather, as well as cyclic effects, such as the day-night cycle. We introduce the problem of disentangling time-lapse sequences in a way that allows separate, after-the-fact control of overall trends, cyclic effects, and random effects in the images, and describe a technique based on data-driven generative models that achieves this goal. This enables us to "re-render" the sequences in ways that would not be possible with the input images alone. For example, we can stabilize a long sequence to focus on plant growth over many months, under selectable, consistent weather. Our approach is based on Generative Adversarial Networks (GAN) that are conditioned with the time coordinate of the time-lapse sequence. Our architecture and training procedure are designed so that the networks learn to model random variations, such as weather, using the GAN's latent space, and to disentangle overall trends and cyclic variations by feeding the conditioning time label to the model using Fourier features with specific frequencies. We show that our models are robust to defects in the training data, enabling us to amend some of the practical difficulties in capturing long time-lapse sequences, such as temporary occlusions, uneven frame spacing, and missing frames.


title: Controlling the Cascade: Kinematic Planning for N-ball Toss Juggling

abstract: Dynamic movements are ubiquitous in human motor behavior as they tend to be more efficient and can solve a broader range of skill domains than their quasi-static counterparts. For decades, robotic juggling tasks have been among the most frequently studied dynamic manipulation problems since the required dynamic dexterity can be scaled to arbitrarily high difficulty. However, successful approaches have been limited to basic juggling skills, indicating a lack of understanding of the required constraints for dexterous toss juggling. We present a detailed analysis of the toss juggling task, identifying the key challenges and formalizing it as a trajectory optimization problem. Building on our state-of-the-art, real-world toss juggling platform, we reach the theoretical limits of toss juggling in simulation, evaluate a resulting real-time controller in environments of varying difficulty and achieve robust toss juggling of up to 17 balls on two anthropomorphic manipulators.


title: Detection of spicules termed Rapid Blue-shifted Excursions as seen in the chromosphere via H{\alpha} and the transition region via Si iv 1394 {\AA} line emission

abstract: We show signatures of spicules termed Rapid Blue-shifted Excursions (RBEs) in the Si iv 1394 {\AA} emission line using a semi-automated detection approach. We use the H{\alpha} filtergrams obtained by the CRISP imaging spectropolarimeter on the Swedish 1-m Solar Telescope and co-aligned Interface Region Imaging Spectrograph data using the SJI 1400 {\AA} channel to study the Spatio-temporal signature of the RBEs in the transition region. The detection of RBEs is carried out using an oriented coronal loop tracing algorithm on H{\alpha} Dopplergrams at 35 km s^-1. We find that the number of detected features is significantly impacted by the time-varying contrast values of the detection images, which are caused by the changes in the atmospheric seeing conditions. We detect 407 events with lifetime greater than 32 sec. This number is further reduced to 168 RBEs based on the H{\alpha} profile and the proximity of RBEs to the large scale flow. Of these 168 RBEs, 89 of them display a clear Spatio-temporal signature in the SJI 1400 {\AA} channel, indicating that a total of ~53% are observed to have co-spatial signatures between the chromosphere and the transition region.


title: Moir\'e-driven multiferroic order in twisted CrCl$_3$, CrBr$_3$ and CrI$_3$ bilayers

abstract: Layered van der Waals materials have risen as a powerful platform to engineer artificial competing states of matter. Here we show the emergence of multiferroic order in twisted chromium trihalide bilayers, an order fully driven by the moir\'e pattern and absent in aligned multilayers. Using a combination of spin models and ab initio calculations, we show that a spin texture is generated in the moir\'e supercell of the twisted system as a consequence of the competition between stacking-dependent interlayer magnetic exchange and magnetic anisotropy. An electric polarization arises associated with such a non-collinear magnetic state due to the spin-orbit coupling, leading to the emergence of a local ferroelectric order following the moir\'e. Among the stochiometric trihalides, our results show that twisted CrBr$_3$ bilayers give rise to the strongest multiferroic order. We further show the emergence of a strong magnetoelectric coupling, which allows the electric generation and control of magnetic skyrmions. Our results put forward twisted chromium trihalide bilayers, and in particular CrBr$_3$ bilayers, as a powerful platform to engineer artificial multiferroic materials and electrically tunable topological magnetic textures.


title: Positive-Negative Equal Contrastive Loss for Semantic Segmentation

abstract: The contextual information is critical for various computer vision tasks, previous works commonly design plug-and-play modules and structural losses to effectively extract and aggregate the global context. These methods utilize fine-label to optimize the model but ignore that fine-trained features are also precious training resources, which can introduce preferable distribution to hard pixels (i.e., misclassified pixels). Inspired by contrastive learning in unsupervised paradigm, we apply the contrastive loss in a supervised manner and re-design the loss function to cast off the stereotype of unsupervised learning (e.g., imbalance of positives and negatives, confusion of anchors computing). To this end, we propose Positive-Negative Equal contrastive loss (PNE loss), which increases the latent impact of positive embedding on the anchor and treats the positive as well as negative sample pairs equally. The PNE loss can be directly plugged right into existing semantic segmentation frameworks and leads to excellent performance with neglectable extra computational costs. We utilize a number of classic segmentation methods (e.g., DeepLabV3, HRNetV2, OCRNet, UperNet) and backbone (e.g., ResNet, HRNet, Swin Transformer) to conduct comprehensive experiments and achieve state-of-the-art performance on three benchmark datasets (e.g., Cityscapes, COCO-Stuff and ADE20K). Our code will be publicly available soon.


title: Simultaneous Contact-Rich Grasping and Locomotion via Distributed Optimization Enabling Free-Climbing for Multi-Limbed Robots

abstract: While motion planning of locomotion for legged robots has shown great success, motion planning for legged robots with dexterous multi-finger grasping is not mature yet. We present an efficient motion planning framework for simultaneously solving locomotion (e.g., centroidal dynamics), grasping (e.g., patch contact), and contact (e.g., gait) problems. To accelerate the planning process, we propose distributed optimization frameworks based on Alternating Direction Methods of Multipliers (ADMM) to solve the original large-scale Mixed-Integer NonLinear Programming (MINLP). The resulting frameworks use Mixed-Integer Quadratic Programming (MIQP) to solve contact and NonLinear Programming (NLP) to solve nonlinear dynamics, which are more computationally tractable and less sensitive to parameters. Also, we explicitly enforce patch contact constraints from limit surfaces with micro-spine grippers. We demonstrate our proposed framework in the hardware experiments, showing that the multi-limbed robot is able to realize various motions including free-climbing at a slope angle 45{\deg} with a much shorter planning time.


title: A Robust Ensemble Model for Patasitic Egg Detection and Classification

abstract: Intestinal parasitic infections, as a leading causes of morbidity worldwide, still lacks time-saving, high-sensitivity and user-friendly examination method. The development of deep learning technique reveals its broad application potential in biological image. In this paper, we apply several object detectors such as YOLOv5 and variant cascadeRCNNs to automatically discriminate parasitic eggs in microscope images. Through specially-designed optimization including raw data augmentation, model ensemble, transfer learning and test time augmentation, our model achieves excellent performance on challenge dataset. In addition, our model trained with added noise gains a high robustness against polluted input, which further broaden its applicability in practice.


title: Comparing Feature Importance and Rule Extraction for Interpretability on Text Data

abstract: Complex machine learning algorithms are used more and more often in critical tasks involving text data, leading to the development of interpretability methods. Among local methods, two families have emerged: those computing importance scores for each feature and those extracting simple logical rules. In this paper we show that using different methods can lead to unexpectedly different explanations, even when applied to simple models for which we would expect qualitative coincidence. To quantify this effect, we propose a new approach to compare explanations produced by different methods.


title: Integrable equations associated with the finite-temperature deformation of the discrete Bessel point process

abstract: We study the finite-temperature deformation of the discrete Bessel point process. We show that its largest particle distribution satisfies a reduction of the 2D Toda equation, as well as a discrete version of the integro-differential Painlev\'e II equation of Amir-Corwin-Quastel, and we compute initial conditions for the Poissonization parameter equal to 0. As proved by Betea and Bouttier, in a suitable continuum limit the last particle distribution converges to that of the finite-temperature Airy point process. We show that the reduction of the 2D Toda equation reduces to the Korteweg-de Vries equation, as well as the discrete integro-differential Painlev\'e II equation reduces to its continuous version. Our approach is based on the discrete analogue of Its-Izergin-Korepin-Slavnov theory of integrable operators developed by Borodin and Deift.


title: Twisted bilayer zigzag-graphene nanoribbon junctions with tunable edge states

abstract: Stacking two-dimensional layered materials such as graphene and transitional metal dichalcogenides with nonzero interlayer twist angles has recently become attractive because of the emergence of novel physical properties. Stacking of one-dimensional nanomaterials offers the lateral stacking offset as an additional parameter for modulating the resulting material properties. Here, we report that the edge states of twisted bilayer zigzag graphene nanoribbons (TBZGNRs) can be tuned with both the twist angle and the stacking offset. Strong edge state variations in the stacking region are first revealed by density functional theory (DFT) calculations. We construct and characterize twisted bilayer zigzag graphene nanoribbon (TBZGNR) systems on a Au(111) surface using scanning tunneling microscopy. A detailed analysis of three prototypical orthogonal TBZGNR junctions exhibiting different stacking offsets by means of scanning tunneling spectroscopy reveals emergent near-zero-energy states. From a comparison with DFT calculations, we conclude that the emergent edge states originate from the formation of flat bands whose energy and spin degeneracy are highly tunable with the stacking offset. Our work highlights fundamental differences between 2D and 1D twistronics and spurs further investigation of twisted one-dimensional systems.


title: Edge states, Majorana fermions and topological order in superconducting wires with generalized boundary conditions

abstract: We study the properties of one-dimensional topological superconductors under the influence of generic boundary conditions mimicking the coupling with external environments. We identify a general four-parameters classification of the boundary effects and show that particle-hole and reflection symmetries can be broken or preserved by appropriately fixing the boundary parameters. When the particle-hole symmetry is broken, the topological protection of the edge modes is lost due to the hybridization with the external degrees of freedom (quasiparticle poisoning). We assess the robustness of the edge modes in the various regimes by considering different quantifiers of topological properties. In particular, we investigate the resilience of the long-distance, edge-to-edge quantum mutual information and squashed entanglement, measuring the nonlocal correlations of the Majorana excitations. Besides their relevance for the open dynamics of topological systems, these results may provide a useful guide to the appropriate embedding of low-dimensional topological systems on nanodevices in realistic conditions.


title: On MDS Codes With Galois Hulls of Arbitrary Dimensions

abstract: The Galois hulls of linear codes are a generalization of the Euclidean and Hermitian hulls of linear codes. In this paper, we study the Galois hulls of (extended) GRS codes and present several new constructions of MDS codes with Galois hulls of arbitrary dimensions via (extended) GRS codes. Two general methods of constructing MDS codes with Galois hulls of arbitrary dimensions by Hermitian or general Galois self-orthogonal (extended) GRS codes are given. Using these methods, some MDS codes with larger dimensions and Galois hulls of arbitrary dimensions can be obtained and relatively strict conditions can also lead to many new classes of MDS codes with Galois hulls of arbitrary dimensions.


title: An efficient iterative method for dynamical Ginzburg-Landau equations

abstract: In this paper, we propose a new finite element approach to simulate the time-dependent Ginzburg-Landau equations under the temporal gauge, and design an efficient preconditioner for the Newton iteration of the resulting discrete system. The new approach solves the magnetic potential in H(curl) space by the lowest order of the second kind Nedelec element. This approach offers a simple way to deal with the boundary condition, and leads to a stable and reliable performance when dealing with the superconductor with reentrant corners. The comparison in numerical simulations verifies the efficiency of the proposed preconditioner, which can significantly speed up the simulation in large-scale computations.


title: Dynamic Contrastive Distillation for Image-Text Retrieval

abstract: Although the vision-and-language pretraining (VLP) equipped cross-modal image-text retrieval (ITR) has achieved remarkable progress in the past two years, it suffers from a major drawback: the ever-increasing size of VLP models restricts its deployment to real-world search scenarios (where the high latency is unacceptable). To alleviate this problem, we present a novel plug-in dynamic contrastive distillation (DCD) framework to compress the large VLP models for the ITR task. Technically, we face the following two challenges: 1) the typical uni-modal metric learning approach is difficult to directly apply to the cross-modal tasks, due to the limited GPU memory to optimize too many negative samples during handling cross-modal fusion features. 2) it is inefficient to static optimize the student network from different hard samples, which have different effects on distillation learning and student network optimization. We try to overcome these challenges from two points. First, to achieve multi-modal contrastive learning, and balance the training costs and effects, we propose to use a teacher network to estimate the difficult samples for students, making the students absorb the powerful knowledge from pre-trained teachers, and master the knowledge from hard samples. Second, to dynamic learn from hard sample pairs, we propose dynamic distillation to dynamically learn samples of different difficulties, from the perspective of better balancing the difficulty of knowledge and students' self-learning ability. We successfully apply our proposed DCD strategy to two state-of-the-art vision-language pretrained models, i.e. ViLT and METER. Extensive experiments on MS-COCO and Flickr30K benchmarks show the effectiveness and efficiency of our DCD framework. Encouragingly, we can speed up the inference at least 129$\times$ compared to the existing ITR models.


title: Reproducibility and control of superconducting flux qubits

abstract: Superconducting flux qubits are promising candidates for the physical realization of a scalable quantum processor. Indeed, these circuits may have both a small decoherence rate and a large anharmonicity. These properties enable the application of fast quantum gates with high fidelity and reduce scaling limitations due to frequency crowding. The major difficulty of flux qubits' design consists of controlling precisely their transition energy - the so-called qubit gap - while keeping long and reproducible relaxation times. Solving this problem is challenging and requires extremely good control of e-beam lithography, oxidation parameters of the junctions and sample surface. Here we present measurements of a large batch of flux qubits and demonstrate a high level of reproducibility and control of qubit gaps, relaxation times and pure echo dephasing times. These results open the way for potential applications in the fields of quantum hybrid circuits and quantum computation.


title: A hierarchy of heat conduction laws

abstract: The purpose of this work is to produce a family of equations describing the evolution of the temperature in a rigid heat conductor. This is obtained by means of successive approximations of the Fourier law, via memory relaxations and integral perturbations.


title: Adiabatic Ground States in Non-Smooth Spacetimes

abstract: Ground states are a well-known class of Hadamard states in smooth spacetimes. In this paper we show that the ground state of the Klein-Gordon field in a non-smooth ultrastatic spacetime is an adiabatic state. The order of the state depends linearly on the regularity of the metric. We obtain the result by combining microlocal estimates for the causal propagator, propagation of singularities results for non-smooth pseudodifferential operators, and eigenvalue asymptotics for elliptic operators of low regularity.


title: Krasovskii and Shifted Passivity Based Output Consensus

abstract: Motivated by current sharing in power networks, we consider a class of output consensus (also called agreement) problems for nonlinear systems, where the consensus value is determined by external disturbances, e.g., power demand. This output consensus problem is solved by a simple distributed output feedback controller if a system is either Krasovskii or shifted passive, which is the only essential requirement. The effectiveness of the proposed controller is shown in simulation on an islanded DC power network.


title: Breaking Bad News in the Era of Artificial Intelligence and Algorithmic Medicine: An Exploration of Disclosure and its Ethical Justification using the Hedonic Calculus

abstract: An appropriate ethical framework around the use of Artificial Intelligence (AI) in healthcare has become a key desirable with the increasingly widespread deployment of this technology. Advances in AI hold the promise of improving the precision of outcome prediction at the level of the individual. However, the addition of these technologies to patient-clinician interactions, as with any complex human interaction, has potential pitfalls. While physicians have always had to carefully consider the ethical background and implications of their actions, detailed deliberations around fast-moving technological progress may not have kept up. We use a common but key challenge in healthcare interactions, the disclosure of bad news (likely imminent death), to illustrate how the philosophical framework of the 'Felicific Calculus' developed in the 18th century by Jeremy Bentham, may have a timely quasi-quantitative application in the age of AI. We show how this ethical algorithm can be used to assess, across seven mutually exclusive and exhaustive domains, whether an AI-supported action can be morally justified.


title: Can superbubbles accelerate ultra-high energy protons?

abstract: We critically assess limits on the maximum energy of protons accelerated within superbubbles around massive stellar clusters, considering a number of different scenarios. In particular, we derive under which circumstances acceleration of protons above peta-electronvolt (PeV) energies can be expected. While the external forward shock of the superbubble may account for acceleration of particles up to 100 TeV, internal primary shocks such as supernova remnants expanding in the low density medium or the collective wind termination shock which forms around a young compact cluster provide more favourable channels to accelerate protons up to 1 PeV, and possibly beyond. Under reasonable conditions, clustered supernovae launching powerful shocks into the magnetised wind of a young and compact massive star cluster are found to be the most promising systems to accelerate protons above 10 PeV. On the other hand, stochastic re-acceleration in the strongly turbulent plasma is found to be much less effective than claimed in previous works, with a maximum proton energy of at most a few hundred TeV.


title: Theoretical study of the d(d,p)3H and d(d,n)3He processes at low energies

abstract: We present a theoretical study of the processes d(d,p)3H and d(d,n)3He at energies of interest for energy production and for big-bang nucleosynthesis. We accurately solve the four body scattering problem using the ab-initio hyperspherical harmonic method, starting from nuclear Hamiltonians which include modern two- and three-nucleon interactions, derived in chiral effective field theory. We report results for the astrophysical factor, the quintet suppression factor, and various single and double polarized observables. An estimate of the "theoretical uncertainty" for all these quantities is provided by varying the cutoff parameter used to regularize the chiral interactions at high momentum.


title: Cybersecurity Entity Alignment via Masked Graph Attention Networks

abstract: Cybersecurity vulnerability information is often recorded by multiple channels, including government vulnerability repositories, individual-maintained vulnerability-gathering platforms, or vulnerability-disclosure email lists and forums. Integrating vulnerability information from different channels enables comprehensive threat assessment and quick deployment to various security mechanisms. Efforts to automatically gather such information, however, are impeded by the limitations of today's entity alignment techniques. In our study, we annotate the first cybersecurity-domain entity alignment dataset and reveal the unique characteristics of security entities. Based on these observations, we propose the first cybersecurity entity alignment model, CEAM, which equips GNN-based entity alignment with two mechanisms: asymmetric masked aggregation and partitioned attention. Experimental results on cybersecurity-domain entity alignment datasets demonstrate that CEAM significantly outperforms state-of-the-art entity alignment methods.


title: Physics-informed Deep Learning for Musculoskeletal Modelling: Predicting Muscle Forces and Joint Kinematics from Surface EMG

abstract: Musculoskeletal models have been widely used for detailed biomechanical analysis to characterise various functional impairments given their ability to estimate movement variables (i.e., muscle forces and joint moment) which cannot be readily measured in vivo. Physics-based computational neuromusculoskeletal models can interpret the dynamic interaction between neural drive to muscles, muscle dynamics, body and joint kinematics and kinetics. Still, such set of solutions suffers from slowness, especially for the complex models, hindering the utility in real-time applications. In recent years, data-driven methods has emerged as a promising alternative due to the benefits in speedy and simple implementation, but they cannot reflect the underlying neuromechanical processes. This paper proposes a physics-informed deep learning framework for musculoskeletal modelling, where physics-based domain knowledge is brought into the data-driven model as soft constraints to penalise/regularise the data-driven model. We use the synchronous muscle forces and joint kinematics prediction from surface electromyogram (sEMG) as the exemplar to illustrate the proposed framework. Convolutional neural network (CNN) is employed as the deep neural network to implement the proposed framework. At the same time, the physics law between muscle forces and joint kinematics is used the soft constraint. Experimental validations on two groups of data, including one benchmark dataset and one self-collected dataset from six healthy subjects, are performed. The experimental results demonstrate the effectiveness and robustness of the proposed framework.


title: Satellite assisted disrupted communications in OMNeT++: Experiments and IoT Case Study

abstract: In this work we discuss the utilization of micro-satellite constellations as effective infrastructures for the communication among ground stations or even among 'smart' devices in IoT scenarios. We design and implement a series of experiments in OMNeT++ (with the OS3 framework) and evaluate their results in different scenarios. Initially, we establish the necessary theoretical background for space communications, including satellite and constellation design features, with existing and novel satellite services in various areas of interest. Furthermore, we detail the OMNeT++ and OS3 frameworks and introduce the significant variables/parameters for our experiments. Our scenarios are presented in three groups, departing from the straightforward one sender - one receiver communication and proceeding with a topology of multiple neighboring ground stations transmitting pings. We conclude with an IoT Case Study in which we import real measurements from sensors of the SmartSantander test-bed. Through our experiments we observe the effect of simulation parameters such as the constellation design (e.g., the number of satellites and planes) and the intersatelliteLinks regarding the produced RTT and ping loss, while we also highlight their potential contribution on networking communications when disruptions dominate.


title: Representation Learning with Information Theory for COVID-19 Detection

abstract: Successful data representation is a fundamental factor in machine learning based medical imaging analysis. Deep Learning (DL) has taken an essential role in robust representation learning. However, the inability of deep models to generalize to unseen data can quickly overfit intricate patterns. Thereby, we can conveniently implement strategies to aid deep models in discovering useful priors from data to learn their intrinsic properties. Our model, which we call a dual role network (DRN), uses a dependency maximization approach based on Least Squared Mutual Information (LSMI). The LSMI leverages dependency measures to ensure representation invariance and local smoothness. While prior works have used information theory measures like mutual information, known to be computationally expensive due to a density estimation step, our LSMI formulation alleviates the issues of intractable mutual information estimation and can be used to approximate it. Experiments on CT based COVID-19 Detection and COVID-19 Severity Detection benchmarks demonstrate the effectiveness of our method.


title: Combining the in-medium similarity renormalization group with the density matrix renormalization group: Shell structure and information entropy

abstract: We propose a novel many-body framework combining the density matrix renormalization group (DMRG) with the valence-space (VS) formulation of the in-medium similarity renormalization group. This hybrid scheme admits for favorable computational scaling in large-space calculations compared to direct diagonalization. The capacity of the VS-DMRG approach is highlighted in ab initio calculations of neutron-rich nickel isotopes based on chiral two- and three-nucleon interactions, and allows us to perform converged ab initio computations of ground and excited state energies. We also study orbital entanglement in the VS-DMRG, and investigate nuclear correlation effects in oxygen, neon, and magnesium isotopes. The explored entanglement measures reveal nuclear shell closures as well as pairing correlations.


title: T-DominO: Exploring Multiple Criteria with Quality-Diversity and the Tournament Dominance Objective

abstract: Real-world design problems are a messy combination of constraints, objectives, and features. Exploring these problem spaces can be defined as a Multi-Criteria Exploration (MCX) problem, whose goals are to produce a set of diverse solutions with high performance across many objectives, while avoiding low performance across any objectives. Quality-Diversity algorithms produce the needed design variation, but typically consider only a single objective. We present a new ranking, T-DominO, specifically designed to handle multiple objectives in MCX problems. T-DominO ranks individuals relative to other solutions in the archive, favoring individuals with balanced performance over those which excel at a few objectives at the cost of the others. Keeping only a single balanced solution in each MAP-Elites bin maintains the visual accessibility of the archive -- a strong asset for design exploration. We illustrate our approach on a set of easily understood benchmarks, and showcase its potential in a many-objective real-world architecture case study.


title: On D3-brane Superpotential

abstract: We study the D3-brane moduli dependence of the non-perturbative superpotential generated by the D7-brane gaugino condensation in a type IIB compactification on an orientifold of the elliptic Calabi-Yau threefold $\Bbb{P}_{[1,1,1,6,9]}[18].$ Building on the work of Ganor, in the weak coupling limit, we compute the D3-brane dependent one-loop pfaffian in the flat coordinates and find that the one-loop pfaffian is written as the Jacobi theta function. We also comment on the complex structure dependence of the D3-brane dependent one-loop pfaffian.


title: Bound states in the continuum in photonic structures

abstract: Bound states in the continuum provide a remarkable example of how a simple problem solved about a century ago in quantum mechanics can drive the research on a whole spectrum of resonant phenomena in wave physics. Due to their huge radiative lifetime, bound states in the continuum have found multiple applications in various areas of physics devoted to wave processes, including hydrodynamics, atomic physics, and acoustics. In this review paper, we present a comprehensive description of bound states in the continuum and related effects, focusing mainly on photonic dielectric structures. We review the history of this area, basic physical mechanisms in the formation of bound states in the continuum, and specific examples of structures supporting such states. We also discuss their possible applications in optics, photonics, and radiophysics.


title: Notes on $q$-partial differential equations for $q$-Laguerre polynomials and little $q$-Jacobi polynomials

abstract: We define two common $q$-orthogonal polynomials: homogeneous $q$-Laguerre polynomials and homogeneous little $q$-Jacobi polynomials. They can be viewed separately as solutions to two $q$-partial differential equations. Then, we proved that if an analytic function satisfies a certain system of $q$-partial differential equations, if and only if it can be expanded in terms of homogeneous $q$-Laguerre polynomials or homogeneous little $q$-Jacobi polynomials. As applications, we obtain generalizations of the Ramanujan $q$-beta integrals and Andrews-Askey integrals. Additionally, we present an operator representation of $q$-Laguerre polynomials that facilitates the computation of identities involving $q$-Laguerre polynomials.


title: Solving the Traveling Salesperson Problem with Precedence Constraints by Deep Reinforcement Learning

abstract: This work presents solutions to the Traveling Salesperson Problem with precedence constraints (TSPPC) using Deep Reinforcement Learning (DRL) by adapting recent approaches that work well for regular TSPs. Common to these approaches is the use of graph models based on multi-head attention (MHA) layers. One idea for solving the pickup and delivery problem (PDP) is using heterogeneous attentions to embed the different possible roles each node can take. In this work, we generalize this concept of heterogeneous attentions to the TSPPC. Furthermore, we adapt recent ideas to sparsify attentions for better scalability. Overall, we contribute to the research community through the application and evaluation of recent DRL methods in solving the TSPPC.


title: The mixing time of the lozenge tiling Glauber dynamics

abstract: The broad motivation of this work is a rigorous understanding of reversible, local Markov dynamics of interfaces, and in particular their speed of convergence to equilibrium, measured via the mixing time $T_{mix}$. In the $(d+1)$-dimensional setting, $d\ge2$, this is to a large extent mathematically unexplored territory, especially for discrete interfaces. On the other hand, on the basis of a mean-curvature motion heuristics and simulations, one expects convergence to equilibrium to occur on time-scales of order $\approx \delta^{-2}$ in any dimension, with $\delta\to0$ the lattice mesh. We study the single-flip Glauber dynamics for lozenge tilings of a finite domain of the plane, viewed as $(2+1)$-dimensional surfaces. The stationary measure is the uniform measure on admissible tilings. At equilibrium, by the limit shape theorem, the height function concentrates as $\delta\to0$ around a deterministic profile $\phi$, the unique minimizer of a surface tension functional. Despite some partial mathematical results, the conjecture $T_{mix}=\delta^{-2+o(1)}$ has been proven, so far, only in the situation where $\phi$ is an affine function. In this work, we prove the conjecture under the sole assumption that the limit shape $\phi$ contains no frozen regions (facets).


title: Analysis of public transport (in)accessibility and land-use pattern in different areas in Singapore

abstract: As more and more people continue to live in highly urbanised areas across the globe, reliable accessibility to amenities and services plays a vital role in sustainable development. One of the challenges in addressing this issue is the consistent and equal provision of public services, including transport for residents across the urban system. In this study, using a novel computational method combining geometrical analysis and information-theoretic measures, we analyse the accessibility to public transport in terms of the spatial coverage of the transport nodes (stops) and the quality of service at these nodes across different areas. Furthermore, using a network clustering procedure, we also characterise the land-use pattern of those areas and relate that to their public transport accessibility. Using Singapore as a case study, we find that the commercial areas in the CBD area expectedly have excellent accessibility and the residential areas also have good to very good accessibility. However, not every residential area is equally accessible. While the spatial coverage of stops in these areas is very good, the quality of service indicates substantial variation among different regions, with high contrast between the central and eastern areas compared to the others in the west and north of the city-state. We believe this kind of analysis could yield a good understanding of the current level of public transport services across the urban system, and their disparity will provide valuable and actionable insights into the future development plans.


title: MPC-Based Operation Strategy for Electric Vehicle Aggregators Considering Regulation Markets

abstract: The optimal operation problem of electric vehicle aggregator (EVA) is considered. An EVA can participate in energy and regulation markets with its current and upcoming EVs, thus reducing its total cost of purchasing energy to fulfill EVs' charging requirements. A model predictive control (MPC) based optimization is developed to consider the future arrival of EVs as well as energy and regulation prices. The index of conditional value-at-risk (CVaR) is used to model the risk-averseness of an EVA. Simulations on a 2000-EV test system validate the effectiveness of our work in achieving a lucrative revenue while satisfying the charging requests from EV owners.


title: One-step exfoliation method for plasmonic activation of large-area 2D crystals

abstract: Advanced exfoliation techniques are crucial for exploring the intrinsic properties and applications of 2D materials. Though the recently discovered Au-enhanced exfoliation technique provides an effective strategy for preparation of large-scale 2D crystals, the high cost of gold hinders this method from being widely adopted in industrial applications. In addition, direct Au contact could significantly quench photoluminescence (PL) emission in 2D semiconductors. It is therefore crucial to find alternative metals that can replace gold to achieve efficient exfoliation of 2D materials. Here, we present a one-step Ag-assisted method that can efficiently exfoliate many large-area 2D monolayers, where the yield ratio is comparable to Au-enhanced exfoliation method. Differing from Au film, however, the surface roughness of as-prepared Ag films on SiO2/Si substrate is much higher, which facilitates the generation of surface plasmons resulting from the nanostructures formed on the rough Ag surface. More interestingly, the strong coupling between 2D semiconductor crystals (e.g. MoS2, MoSe2) and Ag film leads to a unique PL enhancement that has not been observed in other mechanical exfoliation techniques, which can be mainly attributed to enhanced light-matter interaction as a result of extended propagation of surface plasmonic polariton (SPP). Our work provides a lower-cost and universal Ag-assisted exfoliation method, while at the same offering enhanced SPP-matter interactions.


title: The Binary Enots Wolley Sequence

abstract: It is an open conjecture that the Enots Wolley sequence is surjective onto the set of positive integers with a binary weight of at least 2. In this paper, this property is proved for an analog of the Enots Wolley sequence which operates on the binary representation of a number rather than the prime factorization.


title: X-ray Spectra From Weakly Magnetized Accretion Flows

abstract: In this paper, we expand upon previous work that argued for the possibility of a sub-equipartition magnetic field in the accretion flow of a black hole binary system. Using X-ray observations of the three well-known sources A0620-00, XTE J1118+480 and V404 Cyg during the quiescent state, we compare the theoretically expected spectral shape with the observed data in order to verify that the parameters of the sub-equipartition model are plausible. In all three cases, we find that it is possible to reproduce the spectral shape of the X-ray observations with a sub-equipartition flow. These findings support the idea that the quiescent state spectrum of X-ray binary systems is produced by a weakly-magnetized accretion flow. A sub-equipartition flow would pose a significant challenge to our current understanding of jet-launching, which relies on the presence of a strong magnetic field to power the jet.


title: Discourse-Aware Graph Networks for Textual Logical Reasoning

abstract: Textual logical reasoning, especially question-answering (QA) tasks with logical reasoning, requires awareness of particular logical structures. The passage-level logical relations represent entailment or contradiction between propositional units (e.g., a concluding sentence). However, such structures are unexplored as current QA systems focus on entity-based relations. In this work, we propose logic structural-constraint modeling to solve the logical reasoning QA and introduce discourse-aware graph networks (DAGNs). The networks first construct logic graphs leveraging in-line discourse connectives and generic logic theories, then learn logic representations by end-to-end evolving the logic relations with an edge-reasoning mechanism and updating the graph features. This pipeline is applied to a general encoder, whose fundamental features are joined with the high-level logic features for answer prediction. Experiments on three textual logical reasoning datasets demonstrate the reasonability of the logical structures built in DAGNs and the effectiveness of the learned logic features. Moreover, zero-shot transfer results show the features' generality to unseen logical texts.


title: MPC with Learned Residual Dynamics with Application on Omnidirectional MAVs

abstract: The growing field of aerial manipulation often relies on fully actuated or omnidirectional micro aerial vehicles (OMAVs) which can apply arbitrary forces and torques while in contact with the environment. Control methods are usually based on model-free approaches, separating a high-level wrench controller from an actuator allocation. If necessary, disturbances are rejected by online disturbance observers. However, while being general, this approach often produces sub-optimal control commands and cannot incorporate constraints given by the platform design. We present two model-based approaches to control OMAVs for the task of trajectory tracking while rejecting disturbances. The first one optimizes wrench commands and compensates model errors by a model learned from experimental data. The second one optimizes low-level actuator commands, allowing to exploit an allocation nullspace and to consider constraints given by the actuator hardware. The efficacy and real-time feasibility of both approaches is shown and evaluated in real-world experiments.


title: Open-world Semantic Segmentation for LIDAR Point Clouds

abstract: Current methods for LIDAR semantic segmentation are not robust enough for real-world applications, e.g., autonomous driving, since it is closed-set and static. The closed-set assumption makes the network only able to output labels of trained classes, even for objects never seen before, while a static network cannot update its knowledge base according to what it has seen. Therefore, in this work, we propose the open-world semantic segmentation task for LIDAR point clouds, which aims to 1) identify both old and novel classes using open-set semantic segmentation, and 2) gradually incorporate novel objects into the existing knowledge base using incremental learning without forgetting old classes. For this purpose, we propose a REdundAncy cLassifier (REAL) framework to provide a general architecture for both the open-set semantic segmentation and incremental learning problems. The experimental results show that REAL can simultaneously achieves state-of-the-art performance in the open-set semantic segmentation task on the SemanticKITTI and nuScenes datasets, and alleviate the catastrophic forgetting problem with a large margin during incremental learning.


title: DeepPyramid: Enabling Pyramid View and Deformable Pyramid Reception for Semantic Segmentation in Cataract Surgery Videos

abstract: Semantic segmentation in cataract surgery has a wide range of applications contributing to surgical outcome enhancement and clinical risk reduction. However, the varying issues in segmenting the different relevant structures in these surgeries make the designation of a unique network quite challenging. This paper proposes a semantic segmentation network, termed DeepPyramid, that can deal with these challenges using three novelties: (1) a Pyramid View Fusion module which provides a varying-angle global view of the surrounding region centering at each pixel position in the input convolutional feature map; (2) a Deformable Pyramid Reception module which enables a wide deformable receptive field that can adapt to geometric transformations in the object of interest; and (3) a dedicated Pyramid Loss that adaptively supervises multi-scale semantic feature maps. Combined, we show that these modules can effectively boost semantic segmentation performance, especially in the case of transparency, deformability, scalability, and blunt edges in objects. We demonstrate that our approach performs at a state-of-the-art level and outperforms a number of existing methods with a large margin (3.66% overall improvement in intersection over union compared to the best rival approach).


title: GlowVC: Mel-spectrogram space disentangling model for language-independent text-free voice conversion

abstract: In this paper, we propose GlowVC: a multilingual multi-speaker flow-based model for language-independent text-free voice conversion. We build on Glow-TTS, which provides an architecture that enables use of linguistic features during training without the necessity of using them for VC inference. We consider two versions of our model: GlowVC-conditional and GlowVC-explicit. GlowVC-conditional models the distribution of mel-spectrograms with speaker-conditioned flow and disentangles the mel-spectrogram space into content- and pitch-relevant dimensions, while GlowVC-explicit models the explicit distribution with unconditioned flow and disentangles said space into content-, pitch- and speaker-relevant dimensions. We evaluate our models in terms of intelligibility, speaker similarity and naturalness for intra- and cross-lingual conversion in seen and unseen languages. GlowVC models greatly outperform AutoVC baseline in terms of intelligibility, while achieving just as high speaker similarity in intra-lingual VC, and slightly worse in the cross-lingual setting. Moreover, we demonstrate that GlowVC-explicit surpasses both GlowVC-conditional and AutoVC in terms of naturalness.


title: Dynamic Ranking and Translation Synchronization

abstract: In many applications, such as sport tournaments or recommendation systems, we have at our disposal data consisting of pairwise comparisons between a set of $n$ items (or players). The objective is to use this data to infer the latent strength of each item and/or their ranking. Existing results for this problem predominantly focus on the setting consisting of a single comparison graph $G$. However, there exist scenarios (e.g., sports tournaments) where the the pairwise comparison data evolves with time. Theoretical results for this dynamic setting are relatively limited and is the focus of this paper. We study an extension of the \emph{translation synchronization} problem, to the dynamic setting. In this setup, we are given a sequence of comparison graphs $(G_t)_{t\in \mathcal{T}}$, where $\mathcal{T} \subset [0,1]$ is a grid representing the time domain, and for each item $i$ and time $t\in \mathcal{T}$ there is an associated unknown strength parameter $z^*_{t,i}\in \mathbb{R}$. We aim to recover, for $t\in\mathcal{T}$, the strength vector $z^*_t=(z^*_{t,1},\dots,z^*_{t,n})$ from noisy measurements of $z^*_{t,i}-z^*_{t,j}$, where $\{i,j\}$ is an edge in $G_t$. Assuming that $z^*_t$ evolves smoothly in $t$, we propose two estimators -- one based on a smoothness-penalized least squares approach and the other based on projection onto the low frequency eigenspace of a suitable smoothness operator. For both estimators, we provide finite sample bounds for the $\ell_2$ estimation error under the assumption that $G_t$ is connected for all $t\in \mathcal{T}$, thus proving the consistency of the proposed methods in terms of the grid size $|\mathcal{T}|$. We complement our theoretical findings with experiments on synthetic and real data.


title: How Routing Strategies Impact Urban Emissions

abstract: Navigation apps use routing algorithms to suggest the best path to reach a user's desired destination. Although undoubtedly useful, navigation apps' impact on the urban environment (e.g., carbon dioxide emissions and population exposure to pollution) is still largely unclear. In this work, we design a simulation framework to assess the impact of routing algorithms on carbon dioxide emissions within an urban environment. Using APIs from TomTom and OpenStreetMap, we find that settings in which either all vehicles or none of them follow a navigation app's suggestion lead to the worst impact in terms of CO2 emissions. In contrast, when just a portion (around half) of vehicles follow these suggestions, and some degree of randomness is added to the remaining vehicles' paths, we observe a reduction in the overall CO2 emissions over the road network. Our work is a first step towards designing next-generation routing principles that may increase urban well-being while satisfying individual needs.


title: Generalisable Methods for Early Prediction in Interactive Simulations for Education

abstract: Interactive simulations allow students to discover the underlying principles of a scientific phenomenon through their own exploration. Unfortunately, students often struggle to learn effectively in these environments. Classifying students' interaction data in the simulations based on their expected performance has the potential to enable adaptive guidance and consequently improve students' learning. Previous research in this field has mainly focused on a-posteriori analyses or investigations limited to one specific predictive model and simulation. In this paper, we investigate the quality and generalisability of models for an early prediction of conceptual understanding based on clickstream data of students across interactive simulations. We first measure the students' conceptual understanding through their in-task performance. Then, we suggest a novel type of features that, starting from clickstream data, encodes both the state of the simulation and the action performed by the student. We finally propose to feed these features into GRU-based models, with and without attention, for prediction. Experiments on two different simulations and with two different populations show that our proposed models outperform shallow learning baselines and better generalise to different learning environments and populations. The inclusion of attention into the model increases interpretability in terms of effective inquiry. The source code is available on Github (https://github.com/epfl-ml4ed/beerslaw-lab.git).


title: On the relevance of fermion loops for $W^+W^-$ scattering

abstract: We study the one-loop corrections to Vector Boson Scattering (in particular $W^+W^-$ elastic scattering) within the framework of effective theories. Re-scattering via intermediate electroweak would-be-Goldstone bosons dominate at high energies, as the corresponding loop diagrams with these intermediate bosons scale like $\mathcal{O}(s^2/v^4)$ in the chiral effective counting. In the present article, we focus our attention on fermion-loop corrections which scale like $\mathcal{O}(M_{\rm Fer}^2 s/v^4)$ in the Higgs Effective Field Theory (HEFT). Although this dependency is formally suppressed for $s\to\infty$ with respect to that from boson loops, the large top mass can lead to a numerical competition between fermion and boson loops at intermediate energies of the order of a few TeV. For the study of these fermion effects we have calculated the imaginary part induced by loops of top and bottom quarks in $W^+ W^-\to W^+W^-$ elastic scattering and compared it to the loop contributions from purely bosonic loops. We have examined the dependence of both amplitudes on the effective couplings, allowing an $\mathcal{O}(10 \%)$ deviation from the SM. In some cases, boson loops dominate over top and bottom corrections, as expected. However, we find that there are regions in the space of effective parameters that yield a significant -- and even dominant -- imaginary contribution from fermion loops. In addition to our conclusions for the general HEFT, we also provide analyses particularized to some benchmark points in the $SO(5)/SO(4)$ Minimal Composite Higgs Model.


title: Optimal Vertex-Cut Sparsification of Quasi-Bipartite Graphs

abstract: In vertex-cut sparsification, given a graph $G=(V,E)$ with a terminal set $T\subseteq V$, we wish to construct a graph $G'=(V',E')$ with $T\subseteq V'$, such that for every two sets of terminals $A,B\subseteq T$, the size of a minimum $(A,B)$-vertex-cut in $G'$ is the same as in $G$. In the most basic setting, $G$ is unweighted and undirected, and we wish to bound the size of $G'$ by a function of $k=|T|$. Kratsch and Wahlstr\"om [JACM 2020] proved that every graph $G$ (possibly directed), admits a vertex-cut sparsifier $G'$ with $O(k^3)$ vertices, which can in fact be constructed in randomized polynomial time. We study (possibly directed) graphs $G$ that are quasi-bipartite, i.e., every edge has at least one endpoint in $T$, and prove that they admit a vertex-cut sparsifier with $O(k^2)$ edges and vertices, which can in fact be constructed in deterministic polynomial time. In fact, this bound naturally extends to all graphs with a small separator into bounded-size sets. Finally, we prove information-theoretically a nearly-matching lower bound, i.e., that $\tilde{\Omega}(k^2)$ edges are required to sparsify quasi-bipartite undirected graphs.


title: Tunable superconducting flux qubits with long coherence times

abstract: In this work, we study a series of tunable flux qubits inductively coupled to a coplanar waveguide resonator fabricated on a sapphire substrate. Each qubit includes an asymmetric superconducting quantum interference device which is controlled by the application of an external magnetic field and acts as a tunable Josephson junction. The tunability of the qubits is typically $\pm 3.5$ GHz around their central gap frequency. The measured relaxation times are limited by dielectric losses in the substrate and can attain $T_{1}\sim 8 \mu s$. The echo dephasing times are limited by flux noise even at optimal points and reach $T_{2E}\sim 4 \mu s$, almost an order of magnitude longer than state of the art for tunable flux qubits.


title: Anisotropic global microlocal analysis for tempered distributions

abstract: We study an anisotropic version of the Shubin calculus of pseudodifferential operators on $\mathbf R^d$. Anisotropic symbols and Gabor wave front sets are defined in terms of decay or growth along curves in phase space of power type parametrized by one positive parameter that distinguishes space and frequency variables. We show that this gives subcalculi of Shubin's isotropic calculus, and we show a microlocal as well as a microelliptic inclusion in the framework. Finally we prove an inclusion for the anisotropic Gabor wave front set of chirp type oscillatory functions with a real polynomial phase function.


title: Supersymmetric black holes and $T\bar T$ deformation

abstract: The entropy of supersymmetric black holes in string theory compactifications can be related to that of a D- or M-brane system, which in many cases can be further reduced to a two-dimensional conformal field theory (CFT). For black holes in M-theory, this relation involves a decoupling limit where the black hole mass diverges. We suggest that moving away from this limit corresponds to a specific irrelevant perturbation of the CFT, namely the supersymmetric completion of the $T\bar T$ deformation. We demonstrate that the black hole mass matches precisely with the $T\bar T$ deformed energy levels, upon identifying the $T\bar T$ deformation parameter with the inverse of the leading term of the black hole mass. We discuss various implications for black holes and deformed CFT's, including a Hagedorn temperature for wrapped M5-branes, and potential change of degeneracies in the deformed theory.


title: Explicit Boundary Guided Semi-Push-Pull Contrastive Learning for Supervised Anomaly Detection

abstract: Most anomaly detection (AD) models are learned using only normal samples in an unsupervised way, which may result in ambiguous decision boundary and insufficient discriminability. In fact, a few anomaly samples are often available in real-world applications, the valuable knowledge of known anomalies should also be effectively exploited. However, utilizing a few known anomalies during training may cause another issue that the model may be biased by those known anomalies and fail to generalize to unseen anomalies. In this paper, we tackle supervised anomaly detection, i.e., we learn AD models using a few available anomalies with the objective to detect both the seen and unseen anomalies. We propose a novel explicit boundary guided semi-push-pull contrastive learning mechanism, which can enhance model's discriminability while mitigating the bias issue. Our approach is based on two core designs: First, we find an explicit and compact separating boundary as the guidance for further feature learning. As the boundary only relies on the normal feature distribution, the bias problem caused by a few known anomalies can be alleviated. Second, a boundary guided semi-push-pull loss is developed to only pull the normal features together while pushing the abnormal features apart from the separating boundary beyond a certain margin region. In this way, our model can form a more explicit and discriminative decision boundary to distinguish known and also unseen anomalies from normal samples more effectively. Code will be available at https://github.com/xcyao00/BGAD.


title: Gravitational-wave bursts from spin-precessing black holes in binary systems

abstract: Gravitational waves from precessing binary black holes exhibit new features that are absent in non-precessionary systems. All current waveform models take into account only the modulation of the signal due to precession. In this letter, we find that this effect has its own signature, by gravitational emission of a short and transient signal, or burst. The frequency of the burst is comparable to that of the late stage of the inspiral. We show that under certain conditions, this signal is strong enough to be detected by Advanced LIGO. For third-generation detectors like the Einstein telescope, the calculated signal-to-noise ratio can reach higher values. Measurements of precession would provide valuable insights into the intrinsic structure of black holes, and therefore into astrophysical binary formation mechanisms.


title: Electroweak precision tests of composite Higgs models

abstract: We study constraints on Composite Higgs models with fermion partial compositeness from electroweak precision measurements, including the 2022 $W$-boson mass result from the CDF collaboration. We focus on models where the Composite Higgs sector arises from underlying four-dimensional strongly interacting gauge theories with fermions, and where the SM fermions obtain their mass via linear mixing terms between the fermions and the composite sector -- the so-called fermion partial compositeness scenario. In general, the Composite Higgs sector leads to a small and positive $S$ parameter, and a negative $T$ parameter, but the fermion partial compositeness sector results in an overall positive $T$ parameter in a large part of parameter space. We, therefore, find good agreement between the full composite models and the current electroweak precision measurement bounds on $S$ and $T$ from LEP and CDF, including the offset and correlation of $S,T$ with respect to the SM predictions.


title: Physics-informed compressed sensing for PC-MRI: an inverse Navier-Stokes problem

abstract: We formulate a physics-informed compressed sensing (PICS) method for the reconstruction of velocity fields from noisy and sparse phase-contrast magnetic resonance signals. The method solves an inverse Navier-Stokes boundary value problem, which permits us to jointly reconstruct and segment the velocity field, and at the same time infer hidden quantities such as the hydrodynamic pressure and the wall shear stress. Using a Bayesian framework, we regularize the problem by introducing a priori information about the unknown parameters in the form of Gaussian random fields. This prior information is updated using the Navier-Stokes problem, an energy-based segmentation functional, and by requiring that the reconstruction is consistent with the $k$-space signals. We create an algorithm that solves this reconstruction problem, and test it for noisy and sparse $k$-space signals of the flow through a converging nozzle. We find that the method is capable of reconstructing and segmenting the velocity fields from sparsely-sampled (15% $k$-space coverage), low ($\sim$$10$) signal-to-noise ratio (SNR) signals, and that the reconstructed velocity field compares well with that derived from fully-sampled (100% $k$-space coverage) high ($>40$) SNR signals of the same flow.

categories: cs.CV math.OC physics.comp-ph physics.data-an physics.flu-dyn


title: Joule-Thomson expansion of the lower-dimensional black hole in rainbow gravity

abstract: In this paper, we extend Joule-Thomson expansion to the low-dimensional regime in rainbow gravity by considering the rainbow rotating BTZ metric in the (2+1)-dimensional spacetime. After the metric of the black hole is obtained, we get the Joule-Thomson expansion of the black hole, including the Joule-Thomson coefficient, inversion curves, and isenthalpic curves. We find that a rainbow rotating BTZ black hole does not have $P-V$ critical behavior. The effects of rainbow gravity are to slow down the trend of the increase of the Joule-Thomson coefficient and make its zero point larger. Moreover, the rainbow gravity slows down the inverse temperature of the black hole, meaning that a rainbow rotating BTZ black hole tends to change its heating or cooling action at a lower temperature, which can be attributed to the topology of the black hole.


title: Asimov: A framework for coordinating parameter estimation workflows

abstract: Since the first detection in 2015 of gravitational waves from compact binary coalescence, improvements to the Advanced LIGO and Advanced Virgo detectors have expanded our view into the universe for these signals. Searches of the of the latest observing run (O3) have increased the number of detected signals to 90, at a rate of approximately 1 per week. Future observing runs are expected to increase this even further. Bayesian analysis of the signals can reveal the properties of the coalescing black holes and neutron stars by comparing predicted waveforms to the observed data. The proliferating number of detected signals, the increasing number of methods that have been deployed, and the variety of waveform models create an ever-expanding number of analyses that can be considered. Asimov is a python package which is designed to simplify and standardise the process of configuring these analyses for a large number of events. It has already been used in developing analyses in three major gravitational wave catalog publications.


title: Observation of phonon Poiseuille flow in isotopically-purified graphite ribbons

abstract: In recent times, the unique collective transport physics of phonon hydrodynamics motivates theoreticians and experimentalists to explore it in micro- and nanoscale and at elevated temperatures. Graphitic materials have been predicted to facilitate hydrodynamic heat transport with their intrinsically strong normal scattering. However, owing to the experimental difficulties and vague theoretical understanding, the observation of phonon Poiseuille flow in graphitic systems remains challenging. In this study, based on a microscale experimental platform and the pertinent occurrence criterion in anisotropic solids, we demonstrate the phonon Poiseuille flow in a 5 {\mu}m-wide suspended graphite ribbon with purified 13C isotope concentration. Our observation is well supported by our theoretical model based on a kinetic theory with fully first-principles inputs. Thus, this study paves the way for deeper insight into phonon hydrodynamics and cutting-edge heat manipulating applications.


title: On implementing SWMR registers from SWSR registers in systems with Byzantine failures

abstract: The implementation of registers from (potentially) weaker registers is a classical problem in the theory of distributed computing. Since Lamport's pioneering work [13], this problem has been extensively studied in the context of asynchronous processes with crash failures. In this paper, we investigate this problem in the context of Byzantine process failures, with and without process signatures. We first prove that, without signatures, there is no wait-free linearizable implementation of a 1-writer n-reader register from atomic 1-writer 1-reader registers. In fact, we show a stronger result, namely, even under the assumption that the writer can only crash and at most one reader can be malicious, there is no linearizable implementation of a 1-writer n-reader register from atomic 1-writer (n-1)-reader registers that ensures that every correct process eventually completes its operations. In light of this impossibility result, we give two implementations of a 1-writer n-reader register from atomic 1-writer 1-reader registers that work under different assumptions. The first implementation is linearizable (under any combination of process failures), but it guarantees that every correct process eventually completes its operations only under the assumption that the writer is correct or no reader is malicious -- thus matching the impossibility result. The second implementation assumes process signatures; it is bounded wait-free and linearizable under any combination of process failures. Finally, we show that without process signatures, even if we assume that the writer is correct and at most one of the readers can be malicious, it is impossible to guarantee that every correct reader completes each read operation in a bounded number of steps.


title: Mottness in two-dimensional van der Waals Nb$_3$X$_8$ monolayers (X=Cl, Br, and I)

abstract: We investigate strong electron-electron correlation effects on 2-dimensional van der Waals materials Nb$_3$X$_8$ (X=Cl, Br, I). We find that the monolayers Nb$_3$X$_8$ are ideal systems close to the strong correlation limit. They can be described by a half-filled single band Hubbard model in which the ratio between the Hubbard, U, and the bandwidth, W, U/W $\approx$ 5 $\sim$ 10. Both Mott and magnetic transitions of the material are calculated by the slave boson mean field theory. Doping the Mott state, a $d_{x^2-y^2}+id_{xy}$ superconducting pairing instability is found. We also construct a tunable bilayer Hubbard system for two sliding Nb$_3$X$_8$ layers. The bilayer system displays a crossover between the band insulator and Mott insulator.


title: Deep Contrastive One-Class Time Series Anomaly Detection

abstract: The accumulation of time-series data and the absence of labels make time-series Anomaly Detection (AD) a self-supervised deep learning task. Single-normality-assumption-based methods, which reveal only a certain aspect of the whole normality, are incapable of tasks involved with a large number of anomalies. Specifically, Contrastive Learning (CL) methods distance negative pairs, many of which consist of both normal samples, thus reducing the AD performance. Existing multi-normality-assumption-based methods are usually two-staged, firstly pre-training through certain tasks whose target may differ from AD, limiting their performance. To overcome the shortcomings, a deep Contrastive One-Class Anomaly detection method of time series (COCA) is proposed by authors, following the normality assumptions of CL and one-class classification. It treats the original and reconstructed representations as the positive pair of negative-sample-free CL, namely "sequence contrast". Next, invariance terms and variance terms compose a contrastive one-class loss function in which the loss of the assumptions is optimized by invariance terms simultaneously and the "hypersphere collapse" is prevented by variance terms. In addition, extensive experiments on two real-world time-series datasets show the superior performance of the proposed method achieves state-of-the-art.


title: Partition of Two Interacting Electrons by a Potential Barrier

abstract: Scattering or tunneling of an electron at a potential barrier is a fundamental quantum effect. Electron-electron interactions often affect the scattering, and understanding of the interaction effect is crucial in detection of various phenomena of electron transport and their application to electron quantum optics. We theoretically study the partition and collision of two interacting hot electrons at a potential barrier in the quantum Hall regime. We predict their kinetic energy change by their Coulomb interaction during the scattering delay time inside the barrier. The energy change results in characteristic deviation of the partition probabilities from the noninteracting case. The derivation includes nonmonotonic dependence of the probabilities on the barrier height, which agrees with recent experiments, and reduction of the fermionic antibunching.


title: On Galilean Conformal Bootstrap II: $\xi=0$ sector

abstract: In this work, we continue our work on two dimensional Galilean conformal field theory (GCFT$_2$). Our previous work (arXiv:2011.11092) focused on the $\xi\neq 0$ sector, here we investigate the more subtle $\xi=0$ sector to complete the discussion. The case $\xi=0$ is degenerate since there emerge interesting null states in a general $\xi=0$ boost multiplet. We specify these null states and work out the resulting selection rules. Then, we compute the $\xi=0$ global GCA blocks and find that they can be written as a linear combination of several building blocks, each of which can be obtained from a $sl(2,\mathbb{R})$ Casimir equation. These building blocks allow us to give an Euclidean inversion formula as well. As a consistency check, we study four-point functions of certain vertex operators in the BMS free scalar theory. In this case, the $\xi=0$ sector is the only allowable sector in the propagating channel. We find that the direct expansion of the 4-point function reproduces the global GCA block and is consistent with the inversion formula.


title: Semi-microscopic theory of two proton emission

abstract: We propose a semi-microscopic model for the simultaneous emission of two protons. This model has the advantage of avoiding certain technical aspects of a fully microscopic 3-body framework, while also allowing the investigation of the influence of proton pairing on the total lifetime of the decaying nucleus. Thus, we use the standard singlet two-proton wave function on the nuclear surface, provided by the Bardeen-Cooper-Schrieffer (BCS) approach, as a boundary condition for the propagator operator. Our model allows for the estimation of all quantities related to the $2p$ emission process, since it provides the 3-body wave function over most of the domain. We show that reasonable agreement with experimental values can be reached by varying the $pp$ pairing strength outside the nucleus in an interval close to the "bare" singlet value.


title: High-throughput property-driven generative design of functional organic molecules

abstract: The design of molecules and materials with tailored properties is challenging, as candidate molecules must satisfy multiple competing requirements that are often difficult to measure or compute. While molecular structures, produced through generative deep learning, will satisfy those patterns, they often only possess specific target properties by chance and not by design, which makes molecular discovery via this route inefficient. In this work, we predict molecules with (pareto)-optimal properties by combining a generative deep learning model that predicts three dimensional conformations of molecules with a supervised deep learning model that takes these as inputs and predicts their electronic structure. Optimization of (multiple) molecular properties is achieved by screening newly generated molecules for desirable electronic properties and reusing hit molecules to retrain the generative model with a bias. The approach is demonstrated to find optimal molecules for organic electronics applications. Our method is generally applicable and eliminates the need for quantum chemical calculations during predictions, making it suitable for high-throughput screening in materials and catalyst design.