title: Pyramid Fusion Transformer for Semantic Segmentation

abstract: The recently proposed MaskFormer gives a refreshed perspective on the task of semantic segmentation: it shifts from the popular pixel-level classification paradigm to a mask-level classification method. In essence, it generates paired probabilities and masks corresponding to category segments and combines them during inference for the segmentation maps. In our study, we find that per-mask classification decoder on top of a single-scale feature is not effective enough to extract reliable probability or mask. To mine for rich semantic information across the feature pyramid, we propose a transformer-based Pyramid Fusion Transformer (PFT) for per-mask approach semantic segmentation with multi-scale features. The proposed transformer decoder performs cross-attention between the learnable queries and each spatial feature from the feature pyramid in parallel and uses cross-scale inter-query attention to exchange complimentary information. We achieve competitive performance on three widely used semantic segmentation datasets. In particular, on ADE20K validation set, our result with Swin-B backbone surpasses that of MaskFormer's with a much larger Swin-L backbone in both single-scale and multi-scale inference, achieving 54.1 mIoU and 55.7 mIoU respectively. Using a Swin-L backbone, we achieve single-scale 56.1 mIoU and multi-scale 57.4 mIoU, obtaining state-of-the-art performance on the dataset. Extensive experiments on three widely used semantic segmentation datasets verify the effectiveness of our proposed method.


title: ConsumerCheck: A Software for Analysis of Sensory and Consumer Data

abstract: ConsumerCheck is an open source data analysis software tailored for analysis of sensory and consumer data. Since some of the implemented methods are generic, such as PCA, PLSR and PCR, other data from other domains may also be analysed with ConsumerCheck. The software comes with a graphical user interface and as such provides non-statisticians and users without programming skills free access to a number of widely used analysis methods within the field of sensory and consumer science. Computational results are presented in plots that are easily generated from the tree-controls within the graphical user interfaces. Since the construction of conjoint analysis models is not always straightforward, ConsumerCheck provides three previously defined model structures of different complexity. ConsumerCheck is an ongoing research project and the objective is to implement further statistical methods over time.


title: Optimization Planning for 3D ConvNets

abstract: It is not trivial to optimally learn a 3D Convolutional Neural Networks (3D ConvNets) due to high complexity and various options of the training scheme. The most common hand-tuning process starts from learning 3D ConvNets using short video clips and then is followed by learning long-term temporal dependency using lengthy clips, while gradually decaying the learning rate from high to low as training progresses. The fact that such process comes along with several heuristic settings motivates the study to seek an optimal "path" to automate the entire training. In this paper, we decompose the path into a series of training "states" and specify the hyper-parameters, e.g., learning rate and the length of input clips, in each state. The estimation of the knee point on the performance-epoch curve triggers the transition from one state to another. We perform dynamic programming over all the candidate states to plan the optimal permutation of states, i.e., optimization path. Furthermore, we devise a new 3D ConvNets with a unique design of dual-head classifier to improve spatial and temporal discrimination. Extensive experiments on seven public video recognition benchmarks demonstrate the advantages of our proposal. With the optimization planning, our 3D ConvNets achieves superior results when comparing to the state-of-the-art recognition methods. More remarkably, we obtain the top-1 accuracy of 80.5% and 82.7% on Kinetics-400 and Kinetics-600 datasets, respectively. Source code is available at https://github.com/ZhaofanQiu/Optimization-Planning-for-3D-ConvNets.


title: Condensing a Sequence to One Informative Frame for Video Recognition

abstract: Video is complex due to large variations in motion and rich content in fine-grained visual details. Abstracting useful information from such information-intensive media requires exhaustive computing resources. This paper studies a two-step alternative that first condenses the video sequence to an informative "frame" and then exploits off-the-shelf image recognition system on the synthetic frame. A valid question is how to define "useful information" and then distill it from a video sequence down to one synthetic frame. This paper presents a novel Informative Frame Synthesis (IFS) architecture that incorporates three objective tasks, i.e., appearance reconstruction, video categorization, motion estimation, and two regularizers, i.e., adversarial learning, color consistency. Each task equips the synthetic frame with one ability, while each regularizer enhances its visual quality. With these, by jointly learning the frame synthesis in an end-to-end manner, the generated frame is expected to encapsulate the required spatio-temporal information useful for video analysis. Extensive experiments are conducted on the large-scale Kinetics dataset. When comparing to baseline methods that map video sequence to a single image, IFS shows superior performance. More remarkably, IFS consistently demonstrates evident improvements on image-based 2D networks and clip-based 3D networks, and achieves comparable performance with the state-of-the-art methods with less computational cost.


title: Boosting Video Representation Learning with Multi-Faceted Integration

abstract: Video content is multifaceted, consisting of objects, scenes, interactions or actions. The existing datasets mostly label only one of the facets for model training, resulting in the video representation that biases to only one facet depending on the training dataset. There is no study yet on how to learn a video representation from multifaceted labels, and whether multifaceted information is helpful for video representation learning. In this paper, we propose a new learning framework, MUlti-Faceted Integration (MUFI), to aggregate facets from different datasets for learning a representation that could reflect the full spectrum of video content. Technically, MUFI formulates the problem as visual-semantic embedding learning, which explicitly maps video representation into a rich semantic embedding space, and jointly optimizes video representation from two perspectives. One is to capitalize on the intra-facet supervision between each video and its own label descriptions, and the second predicts the "semantic representation" of each video from the facets of other datasets as the inter-facet supervision. Extensive experiments demonstrate that learning 3D CNN via our MUFI framework on a union of four large-scale video datasets plus two image datasets leads to superior capability of video representation. The pre-learnt 3D CNN with MUFI also shows clear improvements over other approaches on several downstream video applications. More remarkably, MUFI achieves 98.1%/80.9% on UCF101/HMDB51 for action recognition and 101.5% in terms of CIDEr-D score on MSVD for video captioning.


title: Smart Director: An Event-Driven Directing System for Live Broadcasting

abstract: Live video broadcasting normally requires a multitude of skills and expertise with domain knowledge to enable multi-camera productions. As the number of cameras keep increasing, directing a live sports broadcast has now become more complicated and challenging than ever before. The broadcast directors need to be much more concentrated, responsive, and knowledgeable, during the production. To relieve the directors from their intensive efforts, we develop an innovative automated sports broadcast directing system, called Smart Director, which aims at mimicking the typical human-in-the-loop broadcasting process to automatically create near-professional broadcasting programs in real-time by using a set of advanced multi-view video analysis algorithms. Inspired by the so-called "three-event" construction of sports broadcast, we build our system with an event-driven pipeline consisting of three consecutive novel components: 1) the Multi-view Event Localization to detect events by modeling multi-view correlations, 2) the Multi-view Highlight Detection to rank camera views by the visual importance for view selection, 3) the Auto-Broadcasting Scheduler to control the production of broadcasting videos. To our best knowledge, our system is the first end-to-end automated directing system for multi-camera sports broadcasting, completely driven by the semantic understanding of sports events. It is also the first system to solve the novel problem of multi-view joint event detection by cross-view relation modeling. We conduct both objective and subjective evaluations on a real-world multi-camera soccer dataset, which demonstrate the quality of our auto-generated videos is comparable to that of the human-directed. Thanks to its faster response, our system is able to capture more fast-passing and short-duration events which are usually missed by human directors.


title: Relative abundance constraints from high-resolution optical transmission spectroscopy of WASP-121b, and a fast model-filtering technique for accelerating retrievals

abstract: High-resolution Doppler-resolved spectroscopy has presented new opportunities for studying the atmospheres of exoplanets. While the 'classical' cross-correlation approach has proven to be efficient at finding atmospheric species, it is unable to perform direct atmospheric retrievals. Recent work has shown that retrievals are possible using a direct likelihood evaluation or likelihood 'mappings'. The unique aspect of high-resolution retrievals is that the data-processing methods required to remove the stellar and telluric lines also distort the underlying exoplanet's signal and therefore the forward model must be pre-processed to match this filtering. This was the key remaining limitation in our previously published framework. This paper directly addresses this by introducing a simple and fast model-filtering technique that can replicate the processing performed by algorithms such as SysRem and PCA. This enables retrievals to be performed without having to perform expensive injection and pre-processing steps for every model. We show that we can reliably constrain quantitative measures of the atmosphere from transmission spectra including the temperature-pressure profile, relative abundances, planetary velocities and rotational broadening parameters. Finally, we demonstrate our framework using UVES transmission spectroscopy of WASP-121b. We constrain the temperature-pressure profile and relative abundances of Fe, Cr, and V to be $\log_{10}(\chi_{\rm Fe}/\chi_{\rm Cr})$=1.66$\pm$0.28, $\log_{10}(\chi_{\rm Fe}/\chi_{\rm V})$=3.78$\pm$0.29 and $\log_{10}(\chi_{\rm Fe}/\chi_{\rm Mg})$=-1.26$\pm$0.60. The relative abundances are consistent with solar values, with the exception of Fe/Mg, where the large Mg abundance is probably explained by the escaping atmosphere of WASP-121b that is not accounted for in our atmospheric model.


title: Uni-EDEN: Universal Encoder-Decoder Network by Multi-Granular Vision-Language Pre-training

abstract: Vision-language pre-training has been an emerging and fast-developing research topic, which transfers multi-modal knowledge from rich-resource pre-training task to limited-resource downstream tasks. Unlike existing works that predominantly learn a single generic encoder, we present a pre-trainable Universal Encoder-DEcoder Network (Uni-EDEN) to facilitate both vision-language perception (e.g., visual question answering) and generation (e.g., image captioning). Uni-EDEN is a two-stream Transformer based structure, consisting of three modules: object and sentence encoders that separately learns the representations of each modality, and sentence decoder that enables both multi-modal reasoning and sentence generation via inter-modal interaction. Considering that the linguistic representations of each image can span different granularities in this hierarchy including, from simple to comprehensive, individual label, a phrase, and a natural sentence, we pre-train Uni-EDEN through multi-granular vision-language proxy tasks: Masked Object Classification (MOC), Masked Region Phrase Generation (MRPG), Image-Sentence Matching (ISM), and Masked Sentence Generation (MSG). In this way, Uni-EDEN is endowed with the power of both multi-modal representation extraction and language modeling. Extensive experiments demonstrate the compelling generalizability of Uni-EDEN by fine-tuning it to four vision-language perception and generation downstream tasks.


title: Representing Videos as Discriminative Sub-graphs for Action Recognition

abstract: Human actions are typically of combinatorial structures or patterns, i.e., subjects, objects, plus spatio-temporal interactions in between. Discovering such structures is therefore a rewarding way to reason about the dynamics of interactions and recognize the actions. In this paper, we introduce a new design of sub-graphs to represent and encode the discriminative patterns of each action in the videos. Specifically, we present MUlti-scale Sub-graph LEarning (MUSLE) framework that novelly builds space-time graphs and clusters the graphs into compact sub-graphs on each scale with respect to the number of nodes. Technically, MUSLE produces 3D bounding boxes, i.e., tubelets, in each video clip, as graph nodes and takes dense connectivity as graph edges between tubelets. For each action category, we execute online clustering to decompose the graph into sub-graphs on each scale through learning Gaussian Mixture Layer and select the discriminative sub-graphs as action prototypes for recognition. Extensive experiments are conducted on both Something-Something V1 & V2 and Kinetics-400 datasets, and superior results are reported when comparing to state-of-the-art methods. More remarkably, our MUSLE achieves to-date the best reported accuracy of 65.0% on Something-Something V2 validation set.


title: Dynamical localization in non-Hermitian quasi-crystals

abstract: We study the localization transition in periodically driven one-dimensional non-Hermitian lattices where the piece-wise two-step drive is constituted by uniform coherent tunneling and incommensurate onsite gain and loss. We find that the system can be in localized, delocalized, or mixed-phase depending on the driving frequency and the phase shift of complex potential. Two critical driving frequencies of the system are identified, the first one corresponds to the largest phase shift of the complex potential so that the quasi-energy spectrum is still real and all the states are extended, the second one corresponds to the disappear of full real spectrum, and very weak complex potential leads to the emergence of localized states when the driving frequency is lower than this critical frequency. In the high frequency limit, we find the critical phase shift that separates the two regions with respectively real and complex spectrum tends to a constant value that can be captured by an effective non-Hermitian Hamiltonian.


title: Motion-Focused Contrastive Learning of Video Representations

abstract: Motion, as the most distinct phenomenon in a video to involve the changes over time, has been unique and critical to the development of video representation learning. In this paper, we ask the question: how important is the motion particularly for self-supervised video representation learning. To this end, we compose a duet of exploiting the motion for data augmentation and feature learning in the regime of contrastive learning. Specifically, we present a Motion-focused Contrastive Learning (MCL) method that regards such duet as the foundation. On one hand, MCL capitalizes on optical flow of each frame in a video to temporally and spatially sample the tubelets (i.e., sequences of associated frame patches across time) as data augmentations. On the other hand, MCL further aligns gradient maps of the convolutional layers to optical flow maps from spatial, temporal and spatio-temporal perspectives, in order to ground motion information in feature learning. Extensive experiments conducted on R(2+1)D backbone demonstrate the effectiveness of our MCL. On UCF101, the linear classifier trained on the representations learnt by MCL achieves 81.91% top-1 accuracy, outperforming ImageNet supervised pre-training by 6.78%. On Kinetics-400, MCL achieves 66.62% top-1 accuracy under the linear protocol. Code is available at https://github.com/YihengZhang-CV/MCL-Motion-Focused-Contrastive-Learning.


title: Antiferromagnetic Excitonic Insulator State in Sr3Ir2O7

abstract: Excitonic insulators are usually considered to form via the condensation of a soft charge mode of bound electron-hole pairs. This, however, presumes that the soft exciton is of spin-singlet character. Early theoretical considerations have also predicted a very distinct scenario, in which the condensation of magnetic excitons results in an antiferromagnetic excitonic insulator state. Here we report resonant inelastic x-ray scattering (RIXS) measurements of Sr3Ir2O7. By isolating the longitudinal component of the spectra, we identify a magnetic mode that is well-defined at the magnetic and structural Brillouin zone centers, but which merges with the electronic continuum in between these high-symmetry points and which decays upon heating concurrent with a decrease in the material's resistivity. We show that a bilayer Hubbard model, in which electron-hole pairs are bound by exchange interactions, consistently explains all the electronic and magnetic properties of Sr3Ir2O7 indicating that this material is a realization of the long-predicted antiferromagnetic excitonic insulators phase.


title: The extreme upper tail of Japan's citation distribution reveals its research success

abstract: A number of indications, such as the number of Nobel Prize winners, show Japan to be a scientifically advanced country. However, standard bibliometric indicators place Japan as a scientifically developing country. The present study is based on the conjecture that scientific publications from Japan belong to two different populations: one originates from studies that advance science and includes highly cited papers, while the other is formed by poorly cited papers with almost zero probability of being highly cited. Although these two categories of papers cannot be easily identified and separated, the scientific level of Japan can be tested by studying the extreme upper tail of the citation distribution of all scientific articles. In contrast to standard bibliometric indicators, which are calculated from the total number of papers or from sets of papers in which the two categories of papers are mixed, in the extreme upper tail, only papers that are addressed to the advance of science will be present. Based on the extreme upper tail, Japan belongs to the group of scientifically advanced countries and is significantly different from countries with a low scientific level. The number of Clarivate Citation laureates also supports our hypothesis that some citation-based metrics do not reveal the high scientific level of Japan. Our findings suggest that Japan is an extreme case of inaccuracy of some citation metrics; the same drawback might affect other countries, although to a lesser degree.


title: Magnetic Dual Chiral Density Wave: A Candidate Quark Matter Phase for the Interior of Neutron Stars

abstract: In this review, we discuss the physical characteristics of the magnetic dual chiral density wave (MDCDW) phase of dense quark matter and argued why it is a promising candidate for the interior matter phase of neutron stars. The MDCDW condensate occurs in the presence of a magnetic field. It is a single-modulated chiral density wave characterized by two dynamically generated parameters: the fermion quasiparticle mass $m$ and the condensate spatial modulation $q$. The lowest Landau level quasiparticle modes in the MDCDW system are asymmetric about the zero energy, a fact that leads to the topological properties and anomalous electric transport exhibited by this phase. The topology makes the MDCDW phase robust against thermal phonon fluctuations, and as such, it does not display the Landau-Peierls instability, a stapled feature of single-modulated inhomogeneous chiral condensates in three dimensions. The topology is also reflected in the presence of the electromagnetic chiral anomaly in the effective action and in the formation of hybridized propagating modes known as an axion-polaritons. Taking into account that one of the axion-polaritons of this quark phase is gapped, we argued how incident $\gamma$-ray photons can be converted into gapped axion-polaritons in the interior of a magnetar star in the MDCDW phase leading the star to collapse, a phenomenon that can serve to explain the so-called missing pulsar problem in the galactic center.


title: Parametric Excitation and Instabilities of Spin Waves driven by Surface Acoustic Waves

abstract: The parametric excitation of spin waves by coherent surface acoustic waves is demonstrated experimentally in metallic magnetic thin film structures. The involved magnon modes are analyzed with micro-focused Brillouin light scattering spectroscopy and complementary micromagnetic simulations combined with analytical modelling are used to determine the origin of the spin-wave instabilities. Depending on the experimental conditions, we observe spin-wave instabilities originating from different phonon-magnon and magnon-magnon scattering processes. Our results demonstrate that an efficient excitation of high amplitude, strongly nonlinear magnons in metallic ferromagnets is possible by surface acoustic waves, which opens novel ways to create micro-scaled nonlinear magnonic systems for logic and data processing that can profit from the high excitation efficiency of phonons using piezoelectricity.


title: Dynamical preparation of quantum spin liquids in Rydberg atom arrays

abstract: We theoretically analyze recent experiments [G. Semeghini et al., Science 374, 1242 (2021)] demonstrating the onset of a topological spin liquid using a programmable quantum simulator based on Rydberg atom arrays. In the experiment, robust signatures of topological order emerge in out-of-equilibrium states that are prepared using a quasi-adiabatic state preparation protocol. We show theoretically that the state preparation protocol can be optimized to target the fixed point of the topological phase -- the resonating valence bond (RVB) state of hard dimers -- in a time that scales linearly with the number of atoms. Moreover, we provide a two-parameter variational manifold of tensor network (TN) states that accurately describe the many-body dynamics of the preparation process. Using this approach we analyze the nature of the non-equilibrium state, establishing the emergence of topological order.

categories: quant-ph cond-mat.quant-gas cond-mat.str-el physics.atom-ph


title: Decomposition of the static potential in the Maximal Abelian gauge

abstract: Decomposition of SU(2) gauge field into the monopole and monopoleless components is studied in the Maximal Abelian gauge using Monte-Carlo simulations in lattice SU(2) gluodynamics as well as in two-color QCD with both zero and nonzero quark chemical potential. The interaction potential between static charges is calculated for each component and their sum is compared with the non-Abelian static potential. A good agreement is found in the confinement phase. Implications of this result are discussed.


title: A Time-Constrained Capacitated Vehicle Routing Problem in Urban E-Commerce Delivery

abstract: Electric vehicle routing problems can be particularly complex when recharging must be performed mid-route. In some applications such as the e-commerce parcel delivery truck routing, however, mid-route recharging may not be necessary because of constraints on vehicle capacities and maximum allowed time for delivery. In this study, we develop a mixed-integer optimization model that exactly solves such a time-constrained capacitated vehicle routing problem, especially of interest to e-commerce parcel delivery vehicles. We compare our solution method with an existing metaheuristic and carry out exhaustive case studies considering four U.S. cities -- Austin, TX; Bloomington, IL; Chicago, IL; and Detroit, MI -- and two vehicle types: conventional vehicles and battery electric vehicles (BEVs). In these studies we examine the impact of vehicle capacity, maximum allowed travel time, service time (dwelling time to physically deliver the parcel), and BEV range on system-level performance metrics including vehicle miles traveled (VMT). We find that the service time followed by the vehicle capacity plays a key role in the performance of our approach. We assume an 80-mile BEV range as a baseline without mid-route recharging. Our results show that BEV range has a minimal impact on performance metrics because the VMT per vehicle averages around 72 miles. In a case study for shared-economy parcel deliveries, we observe that VMT could be reduced by 38.8\% in Austin if service providers were to operate their distribution centers jointly.


title: Studies on the $H\rightarrow bb$ cross section measurement at the LHeC with a full detector simulation

abstract: The future Large Hadron electron Collider (LHeC) would allow collisions of an intense electron beam with protons or heavy ions at the High Luminosity-Large Hadron Collider (HL-LHC). Owing to a center of mass energy greater than a TeV and very high luminosity (~1 ab{-1}), the LHeC would not only be a new generation collider for deep-inelastic scattering (DIS) but also an important facility for precision Higgs physics, complementary to pp and e+ e- colliders. Previously, it has been found that uncertainties of 0.8% and 7.4% can be achieved on the Higgs boson coupling strength to b- and c-quarks respectively. These results were obtained in the fast simulation frameworks for the LHeC detector. Focusing on the dominant Higgs boson decay channel, H to bb, the present work aims to give a comparison of these results with a fully simulated detector. We present our results in this study using the publicly available ATLAS software infrastructure. Based on state-of-the art reconstruction algorithms, a novel analysis of the bb decay could be performed leading to an independent verification of the existing results to an exceptionally high precision.


title: DDG-DA: Data Distribution Generation for Predictable Concept Drift Adaptation

abstract: In many real-world scenarios, we often deal with streaming data that is sequentially collected over time. Due to the non-stationary nature of the environment, the streaming data distribution may change in unpredictable ways, which is known as concept drift. To handle concept drift, previous methods first detect when/where the concept drift happens and then adapt models to fit the distribution of the latest data. However, there are still many cases that some underlying factors of environment evolution are predictable, making it possible to model the future concept drift trend of the streaming data, while such cases are not fully explored in previous work. In this paper, we propose a novel method DDG-DA, that can effectively forecast the evolution of data distribution and improve the performance of models. Specifically, we first train a predictor to estimate the future data distribution, then leverage it to generate training samples, and finally train models on the generated data. We conduct experiments on three real-world tasks (forecasting on stock price trend, electricity load and solar irradiance) and obtain significant improvement on multiple widely-used models.


title: MobilePhys: Personalized Mobile Camera-Based Contactless Physiological Sensing

abstract: Camera-based contactless photoplethysmography refers to a set of popular techniques for contactless physiological measurement. The current state-of-the-art neural models are typically trained in a supervised manner using videos accompanied by gold standard physiological measurements. However, they often generalize poorly out-of-domain examples (i.e., videos that are unlike those in the training set). Personalizing models can help improve model generalizability, but many personalization techniques still require some gold standard data. To help alleviate this dependency, in this paper, we present a novel mobile sensing system called MobilePhys, the first mobile personalized remote physiological sensing system, that leverages both front and rear cameras on a smartphone to generate high-quality self-supervised labels for training personalized contactless camera-based PPG models. To evaluate the robustness of MobilePhys, we conducted a user study with 39 participants who completed a set of tasks under different mobile devices, lighting conditions/intensities, motion tasks, and skin types. Our results show that MobilePhys significantly outperforms the state-of-the-art on-device supervised training and few-shot adaptation methods. Through extensive user studies, we further examine how does MobilePhys perform in complex real-world settings. We envision that calibrated or personalized camera-based contactless PPG models generated from our proposed dual-camera mobile sensing system will open the door for numerous future applications such as smart mirrors, fitness and mobile health applications.


title: PEPit: computer-assisted worst-case analyses of first-order optimization methods in Python

abstract: PEPit is a Python package aiming at simplifying the access to worst-case analyses of a large family of first-order optimization methods possibly involving gradient, projection, proximal, or linear optimization oracles, along with their approximate, or Bregman variants. In short, PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods. The key underlying idea is to cast the problem of performing a worst-case analysis, often referred to as a performance estimation problem (PEP), as a semidefinite program (SDP) which can be solved numerically. To do that, the package users are only required to write first-order methods nearly as they would have implemented them. The package then takes care of the SDP modeling parts, and the worst-case analysis is performed numerically via a standard solver.


title: Collineations preserving the lattice of invariant subspaces of a linear transformation

abstract: Given a linear transformation $A$ on a finite-dimensional complex vector space $\eV$, in this paper we study the group $\Col(A)$ consisting of those invertible linear transformations $S$ on $\eV$ for which the mapping $\Phi_S$ defined as $\Phi_S\colon \eM\mapsto S\eM$ is an automorphism of the lattice $\Lat(A)$ of all invariant subspaces of $A$. By using the primary decomposition of $A$, we first reduce the problem of characterizing $\Col(A)$ to the problem of characterizing the group $\Col(N)$ of a given nilpotent linear transformation $N$. While $\Col(N)$ always contains all invertible linear transformations of the commutant $(N)'$ of $N$, it is always contained in the reflexive cover $\Alg\Lat(N)'$ of $(N)'$. We prove that $\Col(N)$ is a proper subgroup of $(\Alg\Lat(N)')^{-1}$ if and only if at least two Jordan blocks in the Jordan decomposition of $N$ are of dimension $2$ or more. We also determine the group $\Col(\bdJ_2\oplus \bdJ_2)$.


title: Towards Lightweight Neural Animation : Exploration of Neural Network Pruning in Mixture of Experts-based Animation Models

abstract: In the past few years, neural character animation has emerged and offered an automatic method for animating virtual characters. Their motion is synthesized by a neural network. Controlling this movement in real time with a user-defined control signal is also an important task in video games for example. Solutions based on fully-connected layers (MLPs) and Mixture-of-Experts (MoE) have given impressive results in generating and controlling various movements with close-range interactions between the environment and the virtual character. However, a major shortcoming of fully-connected layers is their computational and memory cost which may lead to sub-optimized solution. In this work, we apply pruning algorithms to compress an MLP- MoE neural network in the context of interactive character animation, which reduces its number of parameters and accelerates its computation time with a trade-off between this acceleration and the synthesized motion quality. This work demonstrates that, with the same number of experts and parameters, the pruned model produces less motion artifacts than the dense model and the learned high-level motion features are similar for both


title: Electron Emission Regimes of Planar Nano Vacuum Emitters

abstract: Recent advancements in nanofabrication have enabled the creation of vacuum electronic devices with nanoscale free space gaps. These nanoelectronic devices promise the benefits of cold-field emission and transport through free-space, such as high nonlinearity and relative insensitivity to temperature and ionizing radiation, all the while drastically reducing the footprint, increasing the operating bandwidth and reducing the power consumption of each device. Furthermore, planarized vacuum nanoelectronics could easily be integrated at scale similar to typical micro and nanoscale semiconductor electronics. However, the interplay between different electron emission mechanisms from these devices are not well understood, and inconsistencies with pure Fowler-Nordheim emission have been noted by others. In this work, we systematically study the current-voltage characteristics of planar vacuum nano-diodes having few-nanometer radii of curvature and free-space gaps between the emitter and collector. By investigating the current-voltage characteristics of nearly identical diodes fabricated from two different materials and under various environmental conditions, such as temperature and atmospheric pressure, we were able to clearly isolate three distinct emission regimes within a single device: Schottky, Fowler-Nordheim, and saturation. Our work will enable robust and accurate modeling of vacuum nanoelectronics which will be critical for future applications requiring high-speed and low-power electronics capable of operation in extreme conditions.


title: Soliton generation in PT-symmetric optical fiber networks

abstract: We consider the problem of soliton generation in PT-symmetric optical fiber networks, where soliton dynamics is governed by nonlocal nonlinear Schrodinger equation on metric graphs. Exact formulae for the number of generated solitons are derived for the cases, when the problem is integrable. Numerical solutions are obtained for the case, when integrability is broken.


title: Raman response and shear viscosity in the non-Fermi liquid phase of Luttinger semimetals

abstract: Luttinger semimetals represent materials with strong spin-orbit coupling, harbouring doubly-degenerate quadratic band touchings at the Brillouin zone center. In the presence of Coulomb interactions, such a system exhibits a non-Fermi liquid phase [dubbed as the Luttinger-Abrikosov-Beneslavskii (LAB) phase], at low temperatures and zero doping. However, a clear experimental evidence of this emergent state remains elusive to this date. Hence, we focus on extracting the Raman response as a complementary experimental signature. At frequencies much larger than the temperature, the Raman response exhibits a power-law behavior, which can be verified experimentally. On the other hand, at lower frequencies, the Raman response displays a quasi-elastic peak. We also compute the ratio of the shear viscosity and the entropy density, and the value obtained is a consequence of the hyperscaling violation that emerges in the LAB phase.


title: How big is the image of the Galois representations attached to CM elliptic curves?

abstract: Using an analogue of Serre's open image theorem for elliptic curves with complex multiplication, one can associate to each CM elliptic curve $E$ defined over a number field $F$ a natural number $\mathcal{I}(E/F)$ which describes how big the image of the Galois representation associated to $E$ is. We show how one can compute $\mathcal{I}(E/F)$, using a closed formula that we obtain from the classical theory of complex multiplication.


title: Macroscopic loops in the Bose gas, Spin O(N) and related models

abstract: We consider a general system of interacting random loops which includes several models of interest, such as the Spin O(N) model, random lattice permutations, a version of the interacting Bose gas in discrete space and of the loop O(N) model. We consider the system in $\mathbb{Z}^d$, $d \geq 3$, and prove the occurrence of macroscopic loops whose length is proportional to the volume of the system. More precisely, we approximate $\mathbb{Z}^d$ by finite boxes and, given any two vertices whose distance is proportional to the diameter of the box, we prove that the probability of observing a loop visiting both is uniformly positive. Our results hold under general assumptions on the interaction potential, which may have bounded or unbounded support or introduce hard-core constraints.


title: SnapFuzz: An Efficient Fuzzing Framework for Network Applications

abstract: In recent years, fuzz testing has benefited from increased computational power and important algorithmic advances, leading to systems that have discovered many critical bugs and vulnerabilities in production software. Despite these successes, not all applications can be fuzzed efficiently. In particular, stateful applications such as network protocol implementations are constrained by their low fuzzing throughput and the need to develop fuzzing harnesses that reset their state and isolate their side effects. In this paper, we present SnapFuzz, a novel fuzzing framework for network applications. SnapFuzz offers a robust architecture that transforms slow asynchronous network communication into fast synchronous communication, snapshots the target at the latest point at which it is safe to do so, speeds up all file operations by redirecting them to a custom in-memory filesystem, and removes the need for many fragile modifications, such as configuring time delays or writing clean-up scripts, together with several other improvements. Using SnapFuzz, we fuzzed five popular networking applications: LightFTP, TinyDTLS, Dnsmasq, LIVE555 and Dcmqrscp. We report impressive performance speedups of 62.8x, 41.2x, 30.6x, 24.6x, and 8.4x, respectively, with significantly simpler fuzzing harnesses in all cases. Through its performance advantage, SnapFuzz has also found 12 extra crashes compared to AFLNet in these applications.


title: Strain-tuned topological phase transition and unconventional Zeeman effect in ZrTe5 microcrystals

abstract: The geometric phase (Berry phase) of an electronic wave function is the fundamental basis of the topological properties in solids. Modulating band structure provides a tuning knob for the Berry phase, and in the extreme case drives a topological phase transition. Despite the significant developments in topological materials study, it remains a challenge to tune between different topological phases while tracing the impact of the Berry phase on quantum charge transport, in the same material. Here we report both in a magnetotransport study of ZrTe5. By tuning the band structure with uniaxial strain, we directly map a weak- to strong- topological phase transition through a gapless Dirac semimetal phase via quantum oscillations. Moreover, we demonstrate the impact of the strain-tunable spin-dependent Berry phase on the Zeeman effect through the amplitude of the quantum oscillations. We show that such a spin-dependent Berry phase, largely neglected in solid-state systems, is critical in modeling quantum oscillations in Dirac bands in topological materials.


title: Estimation of a parameter encoded in the modal structure of a light beam: a quantum theory

abstract: Quantum light is described not only by a quantum state but also by the shape of the electromagnetic modes on which the state is defined. Optical precision measurements often estimate a ``mode parameter'' that determines properties such as frequency, temporal shape and the spatial distribution of the light field. By deriving quantum precision limits, we establish the fundamental bounds for mode parameter estimation. Our results reveal explicit mode-design recipes that enable the estimation of any mode parameter with quantum enhanced precision. Our approach provides practical methods for optimizing mode parameter estimation with relevant applications, including spatial and temporal positioning, spectroscopy, phase estimation, and superresolution imaging.


title: LOKO: Localization-aware Roll-out Planning for Future Mobile Networks

abstract: The roll-out phase of the next generation of mobile networks (5G) has started and operators are required to devise deployment solutions while pursuing localization accuracy maximization. Enabling location-based services is expected to be a unique selling point for service providers now able to deliver critical mobile services, e.g., autonomous driving, public safety, remote operations. In this paper, we propose a novel roll-out base station placement solution that, given a Throughput-Positioning Ratio (TPR) target, selects the location of new-generation base stations (among available candidate sites) such that the throughput and localization accuracy are jointly maximized. Moving away from the canonical position error bound (PEB) analysis, we develop a realistic framework in which each positioning measurement is affected by errors depending upon the actual wireless channel between the measuring base station and the target device. Our solution, referred to as LOKO, is a fast-converging algorithm that can be readily applied to current 5G (or future) roll-out processes. LOKO is validated by means of an exhaustive simulation campaign considering real existing deployments of a major European network operator as well as synthetic scenarios.


title: Development and Virtual Testing of 5G Connected Adaptive Cruise Control

abstract: It is estimated that 90% of crashes occur due to human error, mainly induced by poor judgement, distraction or lack of situation awareness. The development of systems that aim to increase road safety and to improve driving comfort is the key challenge that many OEMs are currently tackling. The use of fast and reliable of innovative communication technologies such as 5G can enhance advancements and developments in the field of ADAS. The aim of the paper is the study of the potential improvements connectivity can bring to ACC systems in terms of safety and vehicle comfort. Starting from state-of-art ACC present in literature, a novel connected ACC is designed and deeply reported. The main features of the algorithms consist in integrating information about other road vehicles fed by 5G and about potential grip given by smart sensors such as Pirelli Cyber Tyre. The novel solution is then compared to the standard ACC by means of several simulations considering two real traffic situations with different road friction coefficients. Finally benefits and limitations of the proposed algorithm are deeply discussed.


title: Effective Lagrangian and stability analysis in warped space

abstract: In the warped space model, the inter-brane distance can be stabilized by the Goldberger-Wise mechanism. Of particular importance, the stabilization potential calls for a proper identification of the dynamical degree of freedom. In this paper, we provided a complete calculation of the effective Lagrangian till the quadratic order that is generic for the Randall-Sundrum model and its $N$-brane $(N \geq 4)$ extensions. By applying the variation principle to a specific perturbation field, we derived the equations of motion and orthogonal conditions for decoupling the graviton. This approach is demonstrated to be equivalent to the analysis using the linearized Einstein equation. Our derivation clarifies that in the $N$-brane set up, just one degree of freedom for the radion field is dynamical, with the other modes eliminated by the gauge fixings. Thus we can directly generalize the GW stabilization to the $N$-brane model in a way similar to the RS1 scenario.


title: Edge spin wave transmission through a vertex domain wall in triangular dots

abstract: Spin waves (SWs), being usually reflected by domain walls, could also be channeled along them. Edge domain walls yield the interesting, and potentially applicable to real devices property of broadband spin waves confinement to the edges of the structure. Here we investigate through numerical simulations the propagation of quasi one-dimensional spin waves in triangle-shaped amorphous YIG ($Y_3Fe_5O_{12}$) micron sized ferromagnets as a function of the angle aperture. The edge spin waves (ESWs) have been propagated over the corner in triangles of 2 microns side with a fixed thickness of 85 nm. Parameters such as superior vertex angle (in the range of 40$^\circ$-75$^\circ$) and applied magnetic field have been optimized in order to obtain a higher transmission coefficient of the ESWs over the triangle vertex. We observed that for a certain aperture angle for which dominated ESW frequency coincides with one of the localised DW modes, the transmission is maximized near one and the phase shift drops to $\pi/2$ indicating resonant transmission of ESWs through the upper corner. We compare the obtained results with existing theoretical models. These results could contribute to the development of novel basic elements for spin wave computing.


title: Error estimates for total-variation regularized minimization problems with singular dual solutions

abstract: Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems using the Crouzeix--Raviart finite element require the existence of a Lipschitz continuous dual solution, which is not generally given. We provide analytic proofs showing that the Lipschitz continuity of a dual solution is not necessary, in general. Using the Lipschitz truncation technique, we, in addition, derive error estimates that depend directly on the Sobolev regularity of a given dual solution.


title: State Estimation in Electric Power Systems Leveraging Graph Neural Networks

abstract: The goal of the state estimation (SE) algorithm is to estimate complex bus voltages as state variables based on the available set of measurements in the power system. Because phasor measurement units (PMUs) are increasingly being used in transmission power systems, there is a need for a fast SE solver that can take advantage of high sampling rates of PMUs. This paper proposes training a graph neural network (GNN) to learn the estimates given the PMU voltage and current measurements as inputs, with the intent of obtaining fast and accurate predictions during the evaluation phase. GNN is trained using synthetic datasets, created by randomly sampling sets of measurements in the power system and labelling them with a solution obtained using a linear SE with PMUs solver. The presented results display the accuracy of GNN predictions in various test scenarios and tackle the sensitivity of the predictions to the missing input data.


title: Quantum causality constraints on kappa-Minkowski space-time

abstract: The $\kappa$-Minkoswki space-time provides a quantum noncommutative-deformation of the usual Minkowski space-time. However, a notion of causality is difficult to be defined in such a space with noncommutative time. In this paper, we define a notion of causality on a (1+1)-dimensional $\kappa$-Minkoswki space-time using the more general framework of Lorentzian noncommutative geometry. We show that this notion allows specific causal relations, but limited by a general constraint which is a quantum generalization of the traditional speed of light limit.


title: Atrapos: Real-time Evaluation of Metapath Query Workloads

abstract: Heterogeneous information networks (HINs) represent different types of entities and relationships between them. Exploring, analysing, and extracting knowledge from such networks relies on metapath queries that identify pairs of entities connected by relationships of diverse semantics. While the real-time evaluation of metapath query workloads on large, web-scale HINs is highly demanding in computational cost, current approaches do not exploit interrelationships among the queries. In this paper, we present ATRAPOS, a new approach for the real-time evaluation of metapath query workloads that leverages a combination of efficient sparse matrix multiplication and intermediate result caching. ATRAPOS selects intermediate results to cache and reuse by detecting frequent sub-metapaths among workload queries in real time, using a tailor-made data structure, the Overlap Tree, and an associated caching policy. Our experimental study on real data shows that ATRAPOS accelerates exploratory data analysis and mining on HINs, outperforming off-the-shelf caching approaches and state-of-the-art research prototypes in all examined scenarios. -- Note that this version of our work is more extended than the one presented in TheWebConf 2023 (doi: 10.1145/3543507.3583322)


title: Axion-photon multimessenger astronomy with giant flares

abstract: We treat prospects for multimessenger astronomy with giant flares (GFs), a rare transient event featured by magnetars that can be as luminous as a hundred of the brightest supernovae ever observed. The beamed photons could correlate with an axion counterpart via resonant conversion in the magnetosphere. In a realistic parameter space, we find that the sensitivity limit to galactic GFs for currently viable experiments is $\mathrm{g}_{\phi \gamma}\!\gtrsim\!\mathrm{several}\!\times\!10^{-13}$ GeV$^{-1}$ \& $\mathrm{g}_{\phi e}\!\gtrsim\!\mathrm{few}\!\times\!10^{-12}$. We rule out the compatibility of axion flares with the recent XENON1T excess only due to the time persistence of the signal.


title: VR Viewport Pose Model for Quantifying and Exploiting Frame Correlations

abstract: The importance of the dynamics of the viewport pose, i.e., the location and the orientation of users' points of view, for virtual reality (VR) experiences calls for the development of VR viewport pose models. In this paper, informed by our experimental measurements of viewport trajectories across 3 different types of VR interfaces, we first develop a statistical model of viewport poses in VR environments. Based on the developed model, we examine the correlations between pixels in VR frames that correspond to different viewport poses, and obtain an analytical expression for the visibility similarity (ViS) of the pixels across different VR frames. We then propose a lightweight ViS-based ALG-ViS algorithm that adaptively splits VR frames into the background and the foreground, reusing the background across different frames. Our implementation of ALG-ViS in two Oculus Quest 2 rendering systems demonstrates ALG-ViS running in real time, supporting the full VR frame rate, and outperforming baselines on measures of frame quality and bandwidth consumption.


title: The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs

abstract: In the area of graph drawing, the One-Sided Crossing Minimization Problem (OSCM) is defined on a bipartite graph with both vertex sets aligned parallel to each other and all edges being drawn as straight lines. The task is to find a permutation of one of the node sets such that the total number of all edge-edge intersections, called crossings, is minimized. Usually, the degree of the nodes of one set is limited by some constant k, with the problem then abbreviated to OSCM-k. In this work, we study an online variant of this problem, in which one of the node sets is already given. The other node set and the incident edges are revealed iteratively and each node has to be inserted into placeholders, which we call slots. The goal is again to minimize the number of crossings in the final graph. Minimizing crossings in an online way is related to the more empirical field of dynamic graph drawing. Note the slotted OSCM problem makes instances harder to solve for an online algorithm but in the offline case it is equivalent to the version without slots. We show that the online slotted OSCM-k is not competitive for any k greater or equal 2 and subsequently limit the graph class to that of 2-regular graphs, for which we show a lower bound of 4/3 and an upper bound of 5 on the competitive ratio.


title: Pure pairs. VIII. Excluding a sparse graph

abstract: A pure pair of size $t$ in a graph $G$ is a pair $A,B$ of disjoint sets of $t$ vertices such that $A$ is either complete or anticomplete to $B$. It is known that, for every forest $H$, every graph on $n\ge2$ vertices that does not contain $H$ or its complement as an induced subgraph has a pure pair of size $\Omega(n)$; furthermore, this only holds when $H$ or its complement is a forest. In this paper, we look at pure pairs of size $n^{1-c}$, where $0<c<1$. Let $H$ be a graph: does every graph on $n\ge2$ vertices that does not contain $H$ or its complement as an induced subgraph have a pure pair $A,B$ with $|A|,|B|\ge \Omega(|G|^{1-c})$,? The answer is related to the congestion of $H$, the maximum of $1-(|J|-1)/|E(J)|$ over all subgraphs $J$ of $H$ with an edge. (Congestion is nonnegative, and equals zero exactly when $H$ is a forest.) Let $d$ be the smaller of the congestions of $H$ and $\overline{H}$. We show that the answer to the question above is "yes" if $d\le c/(9+15c)$, and "no" if $d>c$.


title: Identification of chicken egg fertility using SVM classifier based on first-order statistical feature extraction

abstract: This study aims to identify chicken eggs fertility using the support vector machine (SVM) classifier method. The classification basis used the first-order statistical (FOS) parameters as feature extraction in the identification process. This research was developed based on the process's identification process, which is still manual (conventional). Although currently there are many technologies in the identification process, they still need development. Thus, this research is one of the developments in the field of image processing technology. The sample data uses datasets from previous studies with a total of 100 egg images. The egg object in the image is a single object. From these data, the classification of each fertile and infertile egg is 50 image data. Chicken egg image data became input in image processing, with the initial process is segmentation. This initial segmentation aims to get the cropped image according to the object. The cropped image is repaired using image preprocessing with grayscaling and image enhancement methods. This method (image enhancement) used two combination methods: contrast limited adaptive histogram equalization (CLAHE) and histogram equalization (HE). The improved image becomes the input for feature extraction using the FOS method. The FOS uses five parameters, namely mean, entropy, variance, skewness, and kurtosis. The five parameters entered into the SVM classifier method to identify the fertility of chicken eggs. The results of these experiments, the method proposed in the identification process has a success percentage of 84.57%. Thus, the implementation of this method can be used as a reference for future research improvements. In addition, it may be possible to use a second-order feature extraction method to improve its accuracy and improve supervised learning for classification.


title: Differentially Describing Groups of Graphs

abstract: How does neural connectivity in autistic children differ from neural connectivity in healthy children or autistic youths? What patterns in global trade networks are shared across classes of goods, and how do these patterns change over time? Answering questions like these requires us to differentially describe groups of graphs: Given a set of graphs and a partition of these graphs into groups, discover what graphs in one group have in common, how they systematically differ from graphs in other groups, and how multiple groups of graphs are related. We refer to this task as graph group analysis, which seeks to describe similarities and differences between graph groups by means of statistically significant subgraphs. To perform graph group analysis, we introduce Gragra, which uses maximum entropy modeling to identify a non-redundant set of subgraphs with statistically significant associations to one or more graph groups. Through an extensive set of experiments on a wide range of synthetic and real-world graph groups, we confirm that Gragra works well in practice.


title: ExBrainable: An Open-Source GUI for CNN-based EEG Decoding and Model Interpretation

abstract: We have developed a graphic user interface (GUI), ExBrainable, dedicated to convolutional neural networks (CNN) model training and visualization in electroencephalography (EEG) decoding. Available functions include model training, evaluation, and parameter visualization in terms of temporal and spatial representations. We demonstrate these functions using a well-studied public dataset of motor-imagery EEG and compare the results with existing knowledge of neuroscience. The primary objective of ExBrainable is to provide a fast, simplified, and user-friendly solution of EEG decoding for investigators across disciplines to leverage cutting-edge methods in brain/neuroscience research.


title: VGAER: Graph Neural Network Reconstruction based Community Detection

abstract: Community detection is a fundamental and important issue in network science, but there are only a few community detection algorithms based on graph neural networks, among which unsupervised algorithms are almost blank. By fusing the high-order modularity information with network features, this paper proposes a Variational Graph AutoEncoder Reconstruction based community detection VGAER for the first time, and gives its non-probabilistic version. They do not need any prior information. We have carefully designed corresponding input features, decoder, and downstream tasks based on the community detection task and these designs are concise, natural, and perform well (NMI values under our design are improved by 59.1% - 565.9%). Based on a series of experiments with wide range of datasets and advanced methods, VGAER has achieved superior performance and shows strong competitiveness and potential with a simpler design. Finally, we report the results of algorithm convergence analysis and t-SNE visualization, which clearly depicted the stable performance and powerful network modularity ability of VGAER. Our codes are available at https://github.com/qcydm/VGAER.


title: Retracing Reconstruction. Establishing an analytical method for the comprehension and systematisation of urban metamorphosis following extreme events

abstract: The problem of identifying models of post-disaster reconstruction is an issue that has been dealt with in depth in a number of works, mostly dedicated to individual cases or to the comparison of models. There are also a number of works that have attempted a systematisation on an historiographic basis. To date, however, there is no overall work aimed at constructing a quantitative method for evaluating and comparing reconstruction experiences. This article proposes to establish a scientific method for the systematic classification of post-disaster reconstructions, based on data analysis. The method consists of four phases: the redrawing of cases with a precise replicable technique; the choice of indicators; the measurement of urban development; the classification of cases. The method is applied to cases that are comparable with each other in terms of type of event and period: we have chosen post-World War II reconstructions in Europe given the larger availability of documentation. The paper leads both to the consolidation of the model as effective and replicable and to the construction of the application, which revises the qualitative classification of most of the addressed cases.


title: A hybrid estimation of distribution algorithm for joint stratification and sample allocation

abstract: In this study we propose a hybrid estimation of distribution algorithm (HEDA) to solve the joint stratification and sample allocation problem. This is a complex problem in which each the quality of each stratification from the set of all possible stratifications is measured its optimal sample allocation. EDAs are stochastic black-box optimization algorithms which can be used to estimate, build and sample probability models in the search for an optimal stratification. In this paper we enhance the exploitation properties of the EDA by adding a simulated annealing algorithm to make it a hybrid EDA. Results of empirical comparisons for atomic and continuous strata show that the HEDA attains the bests results found so far when compared to benchmark tests on the same data using a grouping genetic algorithm, simulated annealing algorithm or hill-climbing algorithm. However, the execution times and total execution are, in general, higher for the HEDA.


title: A novel method for error analysis in radiation thermometry with application to industrial furnaces

abstract: Accurate temperature measurements are essential for the proper monitoring and control of industrial furnaces. However, measurement uncertainty is a risk for such a critical parameter. Certain instrumental and environmental errors must be considered when using spectral-band radiation thermometry techniques, such as the uncertainty in the emissivity of the target surface, reflected radiation from surrounding objects, or atmospheric absorption and emission, to name a few. Undesired contributions to measured radiation can be isolated using measurement models, also known as error-correction models. This paper presents a methodology for budgeting significant sources of error and uncertainty during temperature measurements in a petrochemical furnace scenario. A continuous monitoring system is also presented, aided by a deep-learning-based measurement correction model, to allow domain experts to analyze the furnace's operation in real-time. To validate the proposed system's functionality, a real-world application case in a petrochemical plant is presented. The proposed solution demonstrates the viability of precise industrial furnace monitoring, thereby increasing operational security and improving the efficiency of such energy-intensive systems.


title: Improving ECG Classification Interpretability using Saliency Maps

abstract: Cardiovascular disease is a large worldwide healthcare issue; symptoms often present suddenly with minimal warning. The electrocardiogram (ECG) is a fast, simple and reliable method of evaluating the health of the heart, by measuring electrical activity recorded through electrodes placed on the skin. ECGs often need to be analyzed by a cardiologist, taking time which could be spent on improving patient care and outcomes. Because of this, automatic ECG classification systems using machine learning have been proposed, which can learn complex interactions between ECG features and use this to detect abnormalities. However, algorithms built for this purpose often fail to generalize well to unseen data, reporting initially impressive results which drop dramatically when applied to new environments. Additionally, machine learning algorithms suffer a "black-box" issue, in which it is difficult to determine how a decision has been made. This is vital for applications in healthcare, as clinicians need to be able to verify the process of evaluation in order to trust the algorithm. This paper proposes a method for visualizing model decisions across each class in the MIT-BIH arrhythmia dataset, using adapted saliency maps averaged across complete classes to determine what patterns are being learned. We do this by building two algorithms based on state-of-the-art models. This paper highlights how these maps can be used to find problems in the model which could be affecting generalizability and model performance. Comparing saliency maps across complete classes gives an overall impression of confounding variables or other biases in the model, unlike what would be highlighted when comparing saliency maps on an ECG-by-ECG basis.


title: Weak Gravity Conjecture, Black Branes and Violations of Universal Thermodynamic Relation

abstract: The universal thermodynamic relations between corrections to entropy and extremality for various black holes solutions have been studied. In this regard, we hereby consider a number of different black brane solutions in different structures for perturbative corrections to general relativity. These are, namely, black brane solution in Rastall AdS massive gravity, Einstein-Yang-Mills AdS black brane solution in massive gravity and general anisotropic black brane in Horava-Lifshitz gravity. We calculate both the entropy and extremality bound by introducing a small constant correction to the action. Remarkably, we find that black brane violates the universal thermodynamic relations. In other words, a universal relation between corrections to entropy and extremality are not valid in the black brane structure.


title: Extend The Levin-Wen Model To Two-dimensional Topological Orders With Gapped Boundary Junctions

abstract: A realistic material may possess defects, which often bring the material new properties that have practical applications. The boundary defects of a two-dimensional topologically ordered system are thought of as an alternative way of realizing topological quantum computation. To facilitate the study of such boundary defects, in this paper, we construct an exactly solvable Hamiltonian model of topological orders with gapped boundary junctions, where the boundary defects reside, by placing the Levin-Wen model on a disk, whose gapped boundary is separated into multiple segments by junctions. We find that the Hamiltonian of a gapped boundary junction is characterized by either a morphism between or a common Frobenius subalgebra of the two Frobenius algebras (in the input fusion category) characetrizing the two boundary segments joint by the junction. We derive a formula of the ground state degeneracy and an explicit ground-state basis of our model. We propose the notion of mobile and immobile charges on the boundary and find that they are quantum observables and label the ground-state basis. Our model is computation friendly.


title: Forecasts analysis on varying-$\alpha$ theories from gravitational wave standard sirens

abstract: Motivated by future gravitational waves observations, we perform forecasts analysis to constrain a possible time variation of the fine structure constant ($\alpha$) within the context of the so-called runaway dilaton model. For this purpose, some gravitational-wave standard sirens mock data within the perspective of Einstein Telescope and LISA mission were considered jointly with current strong gravitational lensing systems observations. We find that future standard sirens observations can also play an important role in the search for possible variations of $\alpha$ within the methodology presented in this work.


title: The Evolution of the Orbital Light-curve of Hercules X-1 with 35-day Phase

abstract: Hercules X-1/HZ Hercules (Her X-1/HZ Her) is an X-ray binary monitored by multiple X-ray missions since last century. With the abundance of long-term observations, we present a complete set of orbital light-curves of Her X-1/HZ Her during the six states of the 35-day cycle in multiple energy bands. These illustrate in detail the changing light-curve caused by the rotating twisted-tilted accretion disc surrounding the neutron star. The orbital light-curves during Main-High (MH) state are analyzed in 0.05 35-day phase intervals. These show the regular occurrence of pre-eclipse dips which march to earlier orbital phase as 35-day phase increase. From the multi-band light-curves we derive time-average orbital phase dependence of column density for photoelectric absorption and energy-independent transmission as a function of 35-day phase. The X-ray light-curves during Low States are similar in shape to the optical Low State light-curve, but X-ray leads optical by $\simeq$0.04 to 0.08 in orbital phase.


title: Two-loop leading colour helicity amplitudes for $W^\pm\gamma+j$ production at the LHC

abstract: We present the two-loop leading colour QCD helicity amplitudes for the process $pp\to W(\to l\nu)\gamma+j$. We implement a complete reduction of the amplitudes, including the leptonic decay of the $W$-boson, using finite field arithmetic, and extract the analytic finite remainders using a recently identified basis of special functions. Simplified analytic expressions are obtained after considering permutations of a rational kinematic parametrisation and multivariate partial fractioning. We demonstrate efficient numerical evaluation of the two-loop colour and helicity summed finite remainders for physical kinematics, and hence the suitability for phenomenological applications.


title: Computing the group of minimal non-degenerate extensions of a super-Tannakian category

abstract: We prove an analog of the K\"unneth formula for the groups of minimal non-degenerate extensions arXiv:1602.05936 of symmetric fusion categories. We describe in detail the structure of the group of minimal extensions of a pointed super-Tannakian fusion category. This description resembles that of the third cohomology group of a finite abelian group. We explicitly compute this group in several concrete examples.


title: The asymmetry of Thurston's earthquake flow

abstract: We show that Thurston's earthquake flow is strongly asymmetric in the sense that its normalizer is as small as possible inside the group of orbifold automorphisms of the bundle of measured geodesic laminations over moduli space. (At the level of Teichm\"uller space, such automorphisms correspond to homeomorphisms that are equivariant with respect to an automorphism of the mapping class group.) It follows that the earthquake flow does not extend to an $\mathrm{SL}(2,\mathbf{R})$-action of orbifold automorphisms and does not admit continuous renormalization self-symmetries. In particular, it is not conjugate to the Teichm\"uller horocycle flow via an orbifold map. This contrasts with a number of previous results, most notably Mirzakhani's theorem that the earthquake and Teichm\"uller horocycle flows are measurably conjugate.


title: Automatic learning of hydrogen-bond fixes in an AMBER RNA force field

abstract: The capability of current force fields to reproduce RNA structural dynamics is limited. Several methods have been developed to take advantage of experimental data in order to enforce agreement with experiments. We herein extend an existing framework, which allows arbitrarily chosen force-field correction terms to be fitted by quantification of the discrepancy between observables back-calculated from simulation and corresponding experiments. We apply a robust regularization protocol to avoid overfitting, and additionally introduce and compare a number of different regularization strategies, namely L1-, L2-, Kish Size-, Relative Kish Size- and Relative Entropy-penalties. The training set includes a GACC tetramer as well as more challenging systems, namely gcGAGAgc and gcUUCGgc RNA tetraloops. Specific intramolecular hydrogen bonds in the AMBER RNA force field are corrected with automatically determined parameters that we call gHBfix$_{opt}$. A validation involving a separate simulation of a system present in the training set (gcUUCGgc) and new systems not seen during training (CAAU and UUUU tetramers) displays improvements regarding native population of the tetraloop as well as good agreement with NMR-experiments for tetramers when using the new parameters. Then we simulate folded RNAs (a kink-turn and L1 stalk rRNA) including hydrogen bond types not sufficiently present in the training set. This allows a final modification of the parameter set which is named gHBfix21 and is suggested to be applicable to a wider range of RNA systems.

categories: physics.chem-ph physics.bio-ph physics.comp-ph q-bio.BM


title: The protoplanetary disk population in the rho-Ophiuchi region L1688 and the time evolution of Class II YSOs

abstract: (Abridged) We present a study of the disk population in L1688, the densest and youngest region in Ophiuchus, and we compare it with other nearby regions of different age, namely Lupus, Chamaeleon I, Corona Australis, Taurus and Upper Scorpius. We select our L1688 sample using a combination of criteria (ALMA data, Gaia, optical/near-IR spectroscopy) and determine stellar and disk properties, specifically stellar mass (Mstar), average population age, mass accretion rate (Macc) and disk dust mass (Mdust). a) In L1688 the relations between Macc and Mstar, Mdust and Mstar, and Macc and Mdust have a roughly linear trend with slopes 1.8-1.9 for the first two relations and ~1 for the third, similarly to what found in the other regions. b) When ordered according to the characteristic age of each region, Macc decreases as 1/t, when corrected for the different stellar mass content; Mdust follows roughly the same trend between 0.5 and 5 Myr, but has an increase of a factor ~3 at ages of 2-3 Myr. We suggest that this could result from an earlier planet formation, followed by collisional fragmentation that temporarily replenishes the millimeter-size grain population. c) The dispersion of Macc and Mdust around the best-fitting relation with Mstar, as well as that of Macc versus Mdust are large: we find that the dispersions have continuous distributions with a log-normal shape and similar width (~0.8 dex). The amount of dust observed at ~1 Myr does not appear to be sufficient to assemble the majority of planetary systems, which suggests an earlier planetary cores formation. The dust mass traces to a large extent the disk gas mass evolution. Two properties remain puzzling: the steep dependence of Macc and Mdust on Mstar and the cause of the large dispersion in the three relations analyzed in this paper, in particular the one of the Macc versus Mdust relation.


title: Discovery of Extreme, Roughly-Daily Superflares on the Recurrent Nova V2487 Oph

abstract: V2487 Oph is a recurrent nova with detected eruptions in 1900 and 1998. Startlingly, V2487 Oph shows flares, called `Superflares', with up to 1.10 mag amplitude, fast rises of under one-minute, always with an initial impulsive spike followed by a roughly-exponential tail, typically one-hour durations, and with random event times averaging once-per-day. The typical flare energy $E$ is over 10$^{38}$ ergs, while the yearly energy budget is 10$^{41}$ ergs. V2487 Oph Superflares obey three relations; the number distribution of flare energies scales as $E^{-2.34\pm0.35}$, the waiting time from one flare to the next is proportional to $E$ of the first event, and flare durations scale as $E^{0.44\pm0.03}$. Scenarios involving gravitational energy and nuclear energy fail to satisfy the three relations. The magnetic energy scenario, however, can explain all three relations. This scenario has magnetic field lines above the disc being twisted and amplified by the motions of their footprints, with magnetic reconnection releasing energy that comes out as Superflare light. This exact mechanism is already well known to occur in white light solar flares, in ordinary M-type flare stars, and in the many Superflare stars observed all across the H-R diagram. Superflares on Superflare stars have rise times, light curve shapes and durations that are very similar to those on V2487 Oph. So we conclude that the V2487 Oph Superflares are caused by large-scale magnetic reconnection. V2487 Oph is now the most extreme Superflare star, exhibiting the largest known flare energy (1.6$\times$10$^{39}$ ergs) and the fastest occurrence rate.


title: Building instructions for a ferromagnetic axion haloscope

abstract: A ferromagnetic haloscope is a rf spin-magnetometer used for searching Dark Matter in the form of axions. A magnetic material is monitored searching for anomalous magnetization oscillations which can be induced by dark matter axions. To properly devise such instrument one first needs to understand the features of the searched-for signal, namely the effective rf field of dark matter axions $B_a$ acting on electronic spins. Once the properties of $B_a$ are defined, the design and test of the apparatus may start. The optimal sample is a narrow linewidth and high spin-density material such as Yttrium Iron Garnet (YIG), coupled to a microwave cavity with almost matched linewidth to collect the signal. The power in the resonator is collected with an antenna and amplified with a Josephson Parametric amplifier, a quantum-limited device which, however, adds most of the setup noise. The signal is further amplified with low noise HEMT and down-converted for storage with an heterodyne receiver. This work describes how to build such apparatus, with all the experimental details, the main issues one might face, and some solutions.


title: NOMA Beamforming in SDMA Networks: Riding on Existing Beams or Forming New Ones?

abstract: In this letter, the design of non-orthogonal multiple access (NOMA) beamforming is investigated in a spatial division multiple access (SDMA) legacy system. In particular, two popular beamforming strategies in the NOMA literature, one to use existing SDMA beams and the other to form new beams, are adopted and compared. The studies carried out in the letter show that the two strategies realize different tradeoffs between system performance and complexity. For example, riding on existing beams offers a significant reduction in computational complexity, at the price of a slight performance loss. Furthermore, this simple strategy can realize the optimal performance when the users' channels are structured.


title: Analyzing the Rydberg-based omg architecture for $^{171}$Yb nuclear spins

abstract: Neutral alkaline earth(-like) atoms have recently been employed in atomic arrays with individual readout, control, and high-fidelity Rydberg-mediated entanglement. This emerging platform offers a wide range of new quantum science applications that leverage the unique properties of such atoms: ultra-narrow optical "clock" transitions and isolated nuclear spins. Specifically, these properties offer an optical qubit ("o") as well as ground ("g") and metastable ("m") nuclear spin qubits, all within a single atom. We consider experimentally realistic control of this "omg" architecture and its coupling to Rydberg states for entanglement generation, focusing specifically on ytterbium-171 ($^{171}\text{Yb}$) with nuclear spin $I = 1/2$. We analyze the $S$-series Rydberg states of $^{171}\text{Yb}$, described by the three spin-$1/2$ constituents (two electrons and the nucleus). We confirm that the $F = 3/2$ manifold -- a unique spin configuration -- is well suited for entangling nuclear spin qubits. Further, we analyze the $F = 1/2$ series -- described by two overlapping spin configurations -- using a multichannel quantum defect theory. We study the multilevel dynamics of the nuclear spin states when driving the clock or Rydberg transition with Rabi frequency $\Omega_\text{c} = 2 \pi \times 200$ kHz or $\Omega_\text{R} = 2 \pi \times 6$ MHz, respectively, finding that a modest magnetic field ($\approx200\,\text{G}$) and feasible laser polarization intensity purity ($\lesssim0.99$) are sufficient for gate fidelities exceeding 0.99.


title: Sketching Methods for Dynamic Mode Decomposition in Spherical Shallow Water Equations

abstract: Dynamic mode decomposition (DMD) is an emerging methodology that has recently attracted computational scientists working on nonintrusive reduced order modeling. One of the major strengths that DMD possesses is having ground theoretical roots from the Koopman approximation theory. Indeed, DMD may be viewed as the data-driven realization of the famous Koopman operator. Nonetheless, the stable implementation of DMD incurs computing the singular value decomposition of the input data matrix. This, in turn, makes the process computationally demanding for high dimensional systems. In order to alleviate this burden, we develop a framework based on sketching methods, wherein a sketch of a matrix is simply another matrix which is significantly smaller, but still sufficiently approximates the original system. Such sketching or embedding is performed by applying random transformations, with certain properties, on the input matrix to yield a compressed version of the initial system. Hence, many of the expensive computations can be carried out on the smaller matrix, thereby accelerating the solution of the original problem. We conduct numerical experiments conducted using the spherical shallow water equations as a prototypical model in the context of geophysical flows. The performance of several sketching approaches is evaluated for capturing the range and co-range of the data matrix. The proposed sketching-based framework can accelerate various portions of the DMD algorithm, compared to classical methods that operate directly on the raw input data. This eventually leads to substantial computational gains that are vital for digital twinning of high dimensional systems.

categories: math.NA cs.NA math.DS physics.ao-ph physics.data-an physics.flu-dyn


title: A stochastic Benjamin-Bona-Mahony type equation

abstract: Considered herein is a particular nonlinear dispersive stochastic equation. It was introduced recently in [3], as a model describing surface water waves under location uncertainty. The corresponding noise term is introduced through a Hamiltonian formulation, which guarantees the energy conservation of the flow. Here the initial-value problem is studied.


title: Application of Common Spatial Patterns in Gravitational Waves Detection

abstract: Common Spatial Patterns (CSP) is a feature extraction algorithm widely used in Brain-Computer Interface (BCI) Systems for detecting Event-Related Potentials (ERPs) in multi-channel magneto/electroencephalography (MEG/EEG) time series data. In this article, we develop and apply a CSP algorithm to the problem of identifying whether a given epoch of multi-detector Gravitational Wave (GW) strains contains coalescenses. Paired with Signal Processing techniques and a Logistic Regression classifier, we find that our pipeline is correctly able to detect 76 out of 82 confident events from Gravitational Wave Transient Catalog, using H1 and L1 strains, with a classification score of $93.72 \pm 0.04\%$ using $10 \times 5$ cross validation. The false negative events were: GW170817-v3, GW191219 163120-v1, GW200115 042309-v2, GW200210 092254-v1, GW200220 061928-v1, and GW200322 091133-v1.


title: Generating numbers of rings graded by amenable and supramenable groups

abstract: A ring $R$ has {\it unbounded generating number} (UGN) if, for every positive integer $n$, there is no $R$-module epimorphism $R^n\to R^{n+1}$. For a ring $R=\bigoplus_{g\in G} R_g$ graded by a group $G$ such that the base ring $R_1$ has UGN, we identify several sets of conditions under which $R$ must also have UGN. The most important of these are: (1) $G$ is amenable, and there is a positive integer $r$ such that, for every $g\in G$, $R_g\cong (R_1)^i$ as $R_1$-modules for some $i=1,\dots,r$; (2) $G$ is supramenable, and there is a positive integer $r$ such that, for every $g\in G$, $R_g\cong (R_1)^i$ as $R_1$-modules for some $i=0,\dots,r$. The pair of conditions (1) leads to three different ring-theoretic characterizations of the property of amenability for groups. We also consider rings that do not have UGN; for such a ring $R$, the smallest positive integer $n$ such that there is an $R$-module epimorphism $R^n\to R^{n+1}$ is called the {\it generating number} of $R$, denoted ${\rm gn}(R)$. If $R$ has UGN, then we define ${\rm gn}(R):=\aleph_0$. We describe several classes of examples of a ring $R$ graded by an amenable group $G$ such that ${\rm gn}(R)\neq {\rm gn}(R_1)$.


title: Data transformation based optimized customer churn prediction model for the telecommunication industry

abstract: Data transformation (DT) is a process that transfers the original data into a form which supports a particular classification algorithm and helps to analyze the data for a special purpose. To improve the prediction performance we investigated various data transform methods. This study is conducted in a customer churn prediction (CCP) context in the telecommunication industry (TCI), where customer attrition is a common phenomenon. We have proposed a novel approach of combining data transformation methods with the machine learning models for the CCP problem. We conducted our experiments on publicly available TCI datasets and assessed the performance in terms of the widely used evaluation measures (e.g. AUC, precision, recall, and F-measure). In this study, we presented comprehensive comparisons to affirm the effect of the transformation methods. The comparison results and statistical test proved that most of the proposed data transformation based optimized models improve the performance of CCP significantly. Overall, an efficient and optimized CCP model for the telecommunication industry has been presented through this manuscript.


title: Tracing pebble drift and trapping using radial carbon depletion profiles in protoplanetary disks

abstract: The composition of planets may be largely determined by the chemical processing and accretion of icy pebbles in protoplanetary disks. Recent observations of protoplanetary disks hint at wide-spread depletion of gaseous carbon. The missing volatile carbon is likely frozen in CO and/or CO$_2$ ice on grains and locked into the disk through pebble trapping in pressure bumps or planetesimals. We present the results of the first successful ACA (Atacama Compact Array) [C I] $J$ = 1-0 mini-survey of seven protoplanetary disks. Using tailored azimuthally symmetric DALI (Dust And LInes) thermo-chemical disk models, supported by the [C I] $J$ = 1-0 and resolved CO isotopologue data, we determine the system-averaged elemental volatile carbon abundance in the outer disk of three sources. Six out of seven sources are detected in [C I] $J$ = 1-0 with ACA, four of which show a distinct disk component. Based on the modeling we find severe cold gaseous carbon depletion in the outer disk of DL Tau and moderate depletion in the outer disks of DR Tau and DO Tau. Combining the outer and inner disk carbon abundances, we demonstrate definitive evidence for radial drift in the disk of DL Tau, where the existence of multiple dust rings points to either short lived or leaky dust traps. We find dust locking in the compact and smooth disks of DO Tau and DR Tau, hinting at unresolved dust substructure. Comparing our results with stars of different ages and luminosities, we identify an observational evolutionary trend in gaseous carbon depletion that is consistent with dynamical models of CO depletion processes. Transport efficiency of solids in protoplanetary disks can significantly differ from what we expect based on the current resolved substructure in the continuum observations. This has important implications for our understanding of the impact of radial drift and pebble accretion on planetary compositions.


title: ValueNetQP: Learned one-step optimal control for legged locomotion

abstract: Optimal control is a successful approach to generate motions for complex robots, in particular for legged locomotion. However, these techniques are often too slow to run in real time for model predictive control or one needs to drastically simplify the dynamics model. In this work, we present a method to learn to predict the gradient and hessian of the problem value function, enabling fast resolution of the predictive control problem with a one-step quadratic program. In addition, our method is able to satisfy constraints like friction cones and unilateral constraints, which are important for high dynamics locomotion tasks. We demonstrate the capability of our method in simulation and on a real quadruped robot performing trotting and bounding motions.


title: Intermittent Attractive Interactions Lead to Microphase Separation in Non-motile Active Matter

abstract: Non-motile active matter exhibits a wide range of non-equilibrium collective phenomena yet examples are crucially lacking in the literature. We present a microscopic model inspired by the bacteria {\it Neisseria Meningitidis} in which diffusive agents feel intermittent attractive forces. Through a formal coarse-graining procedure, we show that this truly scalar model of active matter exhibits the time-reversal-symmetry breaking terms defining the {\it Active Model B+} class. In particular, we confirm the presence of microphase separation by solving the kinetic equations numerically. We show that the switching rate controlling the interactions provides a regulation mechanism tuning the typical cluster size, e.g. in populations of bacteria interacting via type IV pili.


title: Topology-based goodness-of-fit tests for sliced spatial data

abstract: In materials science and many other application domains, 3D information can often only be extrapolated by taking 2D slices. In topological data analysis, persistence vineyards have emerged as a powerful tool to take into account topological features stretching over several slices. In the present paper, we illustrate how persistence vineyards can be used to design rigorous statistical hypothesis tests for 3D microstructure models based on data from 2D slices. More precisely, by establishing the asymptotic normality of suitable longitudinal and cross-sectional summary statistics, we devise goodness-of-fit tests that become asymptotically exact in large sampling windows. We illustrate the testing methodology through a detailed simulation study and provide a prototypical example from materials science.


title: Systematic Literature Review: Quantum Machine Learning and its applications

abstract: Quantum computing is the process of performing calculations using quantum mechanics. This field studies the quantum behavior of certain subatomic particles for subsequent use in performing calculations, as well as for large-scale information processing. These capabilities can give quantum computers an advantage in terms of computational time and cost over classical computers. Nowadays, there are scientific challenges that are impossible to perform by classical computation due to computational complexity or the time the calculation would take, and quantum computation is one of the possible answers. However, current quantum devices have not yet the necessary qubits and are not fault-tolerant enough to achieve these goals. Nonetheless, there are other fields like machine learning or chemistry where quantum computation could be useful with current quantum devices. This manuscript aims to present a Systematic Literature Review of the papers published between 2017 and 2023 to identify, analyze and classify the different algorithms used in quantum machine learning and their applications. Consequently, this study identified 94 articles that used quantum machine learning techniques and algorithms. The main types of found algorithms are quantum implementations of classical machine learning algorithms, such as support vector machines or the k-nearest neighbor model, and classical deep learning algorithms, like quantum neural networks. Many articles try to solve problems currently answered by classical machine learning but using quantum devices and algorithms. Even though results are promising, quantum machine learning is far from achieving its full potential. An improvement in the quantum hardware is required since the existing quantum computers lack enough quality, speed, and scale to allow quantum computing to achieve its full potential.


title: Character formula for Weil representations in terms of Frobenius traces

abstract: It is known that the etale cohomology of a potentially good abelian variety over a local field K is determined by its Euler factors over the extensions of K. We extend this to all abelian varieties, show that it is enough to take extensions where A is semistable, and give a uniform version over p-adic fields where the extensions are the same for all abelian varieties of a given dimension. The results are explicit, and apply to a wide class of Weil-Deligne representations.


title: On the monodromy map for the logarithmic differential systems

abstract: We study the monodromy map for logarithmic $\mathfrak g$-differential systems over an oriented surface $S_0$ of genus $g$, with $\mathfrak g$ being the Lie algebra of a complex reductive affine algebraic group $G$. These logarithmic $\mathfrak g$-differential systems are triples of the form $(X, D,\Phi)$, where $(X, D) \in {\mathcal T}_{g,d}$ is an element of the Teichm\"uller space of complex structures on $S_0$ with $d \geq 1$ ordered marked points $D\subset S_0= X$ and $\Phi$ is a logarithmic connection on the trivial holomorphic principal $G$-bundle $X \times G$ over $X$ whose polar part is contained in the divisor $D$. We prove that the monodromy map from the space of logarithmic $\mathfrak g$-differential systems to the character variety of $G$-representations of the fundamental group of $S_0\setminus D$ is an immersion at the generic point, in the following two cases: A) $g \geq 2$, $d \geq 1$, and $\dim_{\mathbb C}G \geq d+2$; B) $g=1$ and $\dim_{\mathbb C}G \geq d$. The above monodromy map is nowhere an immersion in the following two cases: 1) $g=0$ and $d \geq 4$; 2) $g\geq 1$ and $\dim_{\mathbb C}G < \frac{d+3g-3}{g}$. This extends to the logarithmic case the main results in \cite{CDHL}, \cite{BD} dealing with nonsingular holomorphic $\mathfrak g$-differential systems (which corresponds to the case of $d\,=\,0$).


title: Stability properties of moduli spaces

abstract: We survey stability properties of several families of moduli spaces, with a focus on braid groups and configuration spaces.


title: $K$-polystability of smooth Fano $\text{SL}_2$-threefolds

abstract: We prove the $K$-polystability of all smooth complex Fano threefolds admitting an effective action of $\text{SL}_2$ but not of a 2-torus or 3-torus. In particular, the existence of K\"{a}hler-Einstein metrics on varieties in the families (1.10), (1.15), (1.16), (1.17), (2.21), (2.27), (2.32), (3.13), (3.17), (3.25) and (4.6) of the Mori-Mukai classification of smooth Fano threefolds is proved.


title: Creation of a Modular Soft Robotic Fish Testing Platform

abstract: Research on the co-optimization of soft robotic design and control requires rapid means for real-world validation. Existing creation pipelines do not allow for the swift prototyping of soft robots to quickly test various design configurations and control policies. This work proposes a pipeline for rapid iterative design and fabrication of a miniaturized modular silicone-elastomer-based robotic fish. The modular design allows simple and rapid iterations of robotic fishes with varying configurations to assist current research efforts on the development of design optimization methods. The proposed robotic fish can serve as a standardized test platform on which performance metrics such as thrust and range of motion can be evaluated. We further show the design of an underwater evaluation setup capable of measuring input pressure, tail deformation, and thrust. Multiple robotic fish prototypes with varying stiffness and internal pneumatic chamber configurations are fabricated and experimentally evaluated. The presented flexible modular design principle for the robot and its evaluation platform unlocks the possibilities of more efficient soft robotic fish and will benefit research on design optimization and underwater exploration in the future.


title: Detailed Balance for Particle Models of Reversible Reactions in Bounded Domains

abstract: In particle-based stochastic reaction-diffusion models, reaction rate and placement kernels are used to decide the probability per time a reaction can occur between reactant particles, and to decide where product particles should be placed. When choosing kernels to use in reversible reactions, a key constraint is to ensure that detailed balance of spatial reaction-fluxes holds at all points at equilibrium. In this work we formulate a general partial-integral differential equation model that encompasses several of the commonly used contact reactivity (e.g. Smoluchowski-Collins-Kimball) and volume reactivity (e.g. Doi) particle models. From these equations we derive a detailed balance condition for the reversible $\textrm{A} + \textrm{B} \leftrightarrows \textrm{C}$ reaction. In bounded domains with no-flux boundary conditions, when choosing unbinding kernels consistent with several commonly used binding kernels, we show that preserving detailed balance of spatial reaction-fluxes at all points requires spatially varying unbinding rate functions near the domain boundary. Brownian Dynamics simulation algorithms can realize such varying rates through ignoring domain boundaries during unbinding and rejecting unbinding events that result in product particles being placed outside the domain.


title: Learning to Denoise Raw Mobile UI Layouts for Improving Datasets at Scale

abstract: The layout of a mobile screen is a critical data source for UI design research and semantic understanding of the screen. However, UI layouts in existing datasets are often noisy, have mismatches with their visual representation, or consists of generic or app-specific types that are difficult to analyze and model. In this paper, we propose the CLAY pipeline that uses a deep learning approach for denoising UI layouts, allowing us to automatically improve existing mobile UI layout datasets at scale. Our pipeline takes both the screenshot and the raw UI layout, and annotates the raw layout by removing incorrect nodes and assigning a semantically meaningful type to each node. To experiment with our data-cleaning pipeline, we create the CLAY dataset of 59,555 human-annotated screen layouts, based on screenshots and raw layouts from Rico, a public mobile UI corpus. Our deep models achieve high accuracy with F1 scores of 82.7% for detecting layout objects that do not have a valid visual representation and 85.9% for recognizing object types, which significantly outperforms a heuristic baseline. Our work lays a foundation for creating large-scale high quality UI layout datasets for data-driven mobile UI research and reduces the need of manual labeling efforts that are prohibitively expensive.