title: Low-latency Federated Learning with DNN Partition in Distributed Industrial IoT Networks

abstract: Federated Learning (FL) empowers Industrial Internet of Things (IIoT) with distributed intelligence of industrial automation thanks to its capability of distributed machine learning without any raw data exchange. However, it is rather challenging for lightweight IIoT devices to perform computation-intensive local model training over large-scale deep neural networks (DNNs). Driven by this issue, we develop a communication-computation efficient FL framework for resource-limited IIoT networks that integrates DNN partition technique into the standard FL mechanism, wherein IIoT devices perform local model training over the bottom layers of the objective DNN, and offload the top layers to the edge gateway side. Considering imbalanced data distribution, we derive the device-specific participation rate to involve the devices with better data distribution in more communication rounds. Upon deriving the device-specific participation rate, we propose to minimize the training delay under the constraints of device-specific participation rate, energy consumption and memory usage. To this end, we formulate a joint optimization problem of device scheduling and resource allocation (i.e. DNN partition point, channel assignment, transmit power, and computation frequency), and solve the long-term min-max mixed integer non-linear programming based on the Lyapunov technique. In particular, the proposed dynamic device scheduling and resource allocation (DDSRA) algorithm can achieve a trade-off to balance the training delay minimization and FL performance. We also provide the FL convergence bound for the DDSRA algorithm with both convex and non-convex settings. Experimental results demonstrate the derived device-specific participation rate in terms of feasibility, and show that the DDSRA algorithm outperforms baselines in terms of test accuracy and convergence time.


title: Machine Learning Assisted Design and Optimization of Transition Metal-Incorporated Carbon Quantum Dot Catalysts for Hydrogen Evolution Reaction

abstract: Development of cost-effective hydrogen evolution reaction (HER) catalysts with outstanding catalytic activity, replacing cost-prohibitive noble metal-based catalysts, is critical for practical green hydrogen production. A popular strategy for promoting the catalytic performance of noble metal-free catalysts is to incorporate earth-abundant transition metal (TM) atoms into nanocarbon platforms such as carbon quantum dots (CQDs). Although data-driven catalyst design methods can significantly accelerate the rational design of TM element-doped CQD (M@CQD) catalysts, they suffer from either a simplified theoretical model or the prohibitive cost and complexity of experimental data generation. In this study, we propose an effective and facile HER catalyst design strategy based on machine learning (ML) and ML model verification using electrochemical methods accompanied with density functional theory (DFT) simulations. Based on a Bayesian genetic algorithm (BGA) ML model, the Ni@CQD catalyst on a three-dimensional reduced graphene oxide (3D rGO) conductor is proposed as the best HER catalyst under the optimal conditions of catalyst loading, electrode type, and temperature and pH of electrolyte. We validate the ML results with electrochemical experiments, where the Ni@CQD catalyst exhibited superior HER activity, requiring an overpotential of 189 mV to achieve 10 mA cm-2 with a Tafel slope of 52 mV dec-1 and impressive durability in acidic media. We expect that this methodology and the excellent performance of the Ni@CQD catalyst provide an effective route for the rational design of highly active electrocatalysts for commercial applications.


title: Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System

abstract: We present a detailed privacy analysis of Samsung's Offline Finding (OF) protocol, which is part of Samsung's Find My Mobile (FMM) location tracking system for locating Samsung mobile devices, such as Samsung smartphones and Bluetooth trackers (Galaxy SmartTags). The OF protocol uses Bluetooth Low Energy (BLE) to broadcast a unique beacon for a lost device. This beacon is then picked up by nearby Samsung phones or tablets (the {\em finder} devices), which then forward the unique beacon, along with the location it was detected at, to a Samsung managed server. The owner of a lost device can then query the server to locate their device. We examine several security and privacy related properties of the OF protocol and its implementation, from the perspectives of the owner, the finder and the vendor. These include examining: the possibility of identifying the owner of a device through the Bluetooth data obtained from the device, the possibility for a malicious actor to perform unwanted tracking against a person by exploiting the OF network, the possibility for the vendor to de-anonymise location reports to determine the locations of the owners or the finders of lost devices, and the possibility for an attacker to compromise the integrity of the location reports. Our findings suggest that there are privacy risks on all accounts, arising from issues in the design and the implementation of the OF protocol.


title: ClipBot: an educational, physically impaired robot that learns to walk via genetic algorithm optimization

abstract: Educational robots allow experimenting with a variety of principles from mechanics, electronics, and informatics. Here we propose ClipBot, a low-cost, do-it-yourself, robot whose skeleton is made of two paper clips. An Arduino nano microcontroller actuates two servo motors that move the paper clips. However, such mechanical configuration confers physical impairments to movement. This creates the need for and allows experimenting with artificial intelligence methods to overcome hardware limitations. We report our experience in the usage of this robot during the study week 'fascinating informatics', organized by the Swiss Foundation Schweizer Jugend Forscht (www.sjf.ch). Students at the high school level were asked to implement a genetic algorithm to optimize the movements of the robot until it learned to walk. Such a methodology allowed the robot to learn the motor actuation scheme yielding straight movement in the forward direction using less than 20 iterations.


title: On two conjectures of Sun concerning Ap\'ery-like series

abstract: In this paper, we shall prove two conjectures of Z.-W. Sun concerning Ap\'ery-like series. One of the series is alternating whereas the other one is not. Our main strategy is to convert the series (resp.~the alternating series) to log-sine-cosine (resp.~log-sinh-cosh) integrals. Then we express all these integrals in terms of single-valued Bloch-Wigner-Ramakrishnan-Wojtkowiak-Zagier polylogarithms. The conjectures then follow from a few highly non-trivial functional equations of the polylogarithms of weight $3$ and $4$.


title: Gradient flow of Einstein-Maxwell theory and Reissner-Nordstr\"om black holes

abstract: Ricci flow is a natural gradient flow of the Einstein-Hilbert action. Here we consider the analog for the Einstein-Maxwell action, which gives Ricci flow with a stress tensor contribution coupled to a Yang-Mills flow for the Maxwell field. We argue that this flow is well-posed for static spacetimes with pure electric or magnetic potentialsand show it preserves both non-extremal and extremal black hole horizons. In the latter case we find the flow of the near horizon geometry decouples from that of the exterior. The Schwarzschild black hole is an unstable fixed point of Ricci flow for static spacetimes. Here we consider flows of the Reissner-Nordstr\"om (RN) fixed point. The magnetic RN solution becomes a stable fixed point of the flow for sufficient charge. However we find that the electric RN black hole is always unstable. Numerically solving the flow starting with a spherically symmetric perturbation of a non-extremal RN solution, we find similar behaviour in the electric case to the Ricci flows of perturbed Schwarzschild, namely the horizon shrinks to a singularity in finite time or expands forever. In the magnetic case, a perturbed unstable RN solution has a similar expanding behaviour, but a perturbation that decreases the horizon size flows to a stable black hole solution rather than a singularity. For extremal RN we solve the near horizon flow for spherical symmetry exactly, and see in the electric case two unstable directions which flow to singularities in finite flow time. However, even turning these off, and fixing the near horizon geometry to be that of RN, we numerically show that the flows appear to become singular in the vicinity of its horizon.


title: Rhino: Deep Causal Temporal Relationship Learning With History-dependent Noise

abstract: Discovering causal relationships between different variables from time series data has been a long-standing challenge for many domains such as climate science, finance, and healthcare. Given the complexity of real-world relationships and the nature of observations in discrete time, causal discovery methods need to consider non-linear relations between variables, instantaneous effects and history-dependent noise (the change of noise distribution due to past actions). However, previous works do not offer a solution addressing all these problems together. In this paper, we propose a novel causal relationship learning framework for time-series data, called Rhino, which combines vector auto-regression, deep learning and variational inference to model non-linear relationships with instantaneous effects while allowing the noise distribution to be modulated by historical observations. Theoretically, we prove the structural identifiability of Rhino. Our empirical results from extensive synthetic experiments and two real-world benchmarks demonstrate better discovery performance compared to relevant baselines, with ablation studies revealing its robustness under model misspecification.


title: Is Out-of-Distribution Detection Learnable?

abstract: Supervised learning aims to train a classifier under the assumption that training and test data are from the same distribution. To ease the above assumption, researchers have studied a more realistic setting: out-of-distribution (OOD) detection, where test data may come from classes that are unknown during training (i.e., OOD data). Due to the unavailability and diversity of OOD data, good generalization ability is crucial for effective OOD detection algorithms. To study the generalization of OOD detection, in this paper, we investigate the probably approximately correct (PAC) learning theory of OOD detection, which is proposed by researchers as an open problem. First, we find a necessary condition for the learnability of OOD detection. Then, using this condition, we prove several impossibility theorems for the learnability of OOD detection under some scenarios. Although the impossibility theorems are frustrating, we find that some conditions of these impossibility theorems may not hold in some practical scenarios. Based on this observation, we next give several necessary and sufficient conditions to characterize the learnability of OOD detection in some practical scenarios. Lastly, we also offer theoretical supports for several representative OOD detection works based on our OOD theory.


title: On the super graphs and reduced super graphs of some finite groups

abstract: For a finite group $G$, let $B$ be an equivalence (equality, conjugacy or order) relation on $G$ and let $A$ be a (power, enhanced power or commuting) graph with vertex set $G$. The $B$ super $A$ graph is a simple graph with vertex set $G$ and two vertices are adjacent if either they are in the same $B$-equivalence class or there are elements in their $B$-equivalence classes that are adjacent in the original $A$ graph. The graph obtained by deleting the dominant vertices (adjacent to all other vertices) from a $B$ super $A$ graph is called the reduced $B$ super $A$ graph. In this article, for some pairs of $B$ super $A$ graphs, we characterize the finite groups for which a pair of graphs are equal. We also characterize the dominant vertices for the order super commuting graph $\Delta^o(G)$ of $G$ and prove that for $n\geq 4$ the identity element is the only dominant vertex of $\Delta^o(S_n)$ and $\Delta^o(A_n)$. We characterize the values of $n$ for which the reduced order super commuting graph $\Delta^o(S_n)^*$ of $S_n$ and the reduced order super commuting graph $\Delta^o(A_n)^*$ of $A_n$ are connected. We also prove that if $\Delta^o(S_n)^*$ (or $\Delta^o(A_n)^*$) is connected then the diameter is at most $3$ and shown that the diameter is $3$ for many value of $n.$


title: Learning on Large-scale Text-attributed Graphs via Variational Inference

abstract: This paper studies learning on text-attributed graphs (TAGs), where each node is associated with a text description. An ideal solution for such a problem would be integrating both the text and graph structure information with large language models and graph neural networks (GNNs). However, the problem becomes very challenging when graphs are large due to the high computational complexity brought by training large language models and GNNs together. In this paper, we propose an efficient and effective solution to learning on large text-attributed graphs by fusing graph structure and language learning with a variational Expectation-Maximization (EM) framework, called GLEM. Instead of simultaneously training large language models and GNNs on big graphs, GLEM proposes to alternatively update the two modules in the E-step and M-step. Such a procedure allows training the two modules separately while simultaneously allowing the two modules to interact and mutually enhance each other. Extensive experiments on multiple data sets demonstrate the efficiency and effectiveness of the proposed approach.


title: Generators of groups of Hamitonian maps

abstract: We prove that analytic Hamiltonian dynamics on tori, annuli, or Euclidean space can be approximated by a composition of nonlinear shear maps where each of the shears depends only on the position or only on the momentum.


title: Weighted Pressure Matching Based on Kernel Interpolation For Sound Field Reproduction

abstract: A sound field reproduction method called weighted pressure matching is proposed. Sound field reproduction is aimed at synthesizing the desired sound field using multiple loudspeakers inside a target region. Optimization-based methods are derived from the minimization of errors between synthesized and desired sound fields, which enable the use of an arbitrary array geometry in contrast with integral-equation-based methods. Pressure matching is widely used in the optimization-based sound field reproduction methods because of its simplicity of implementation. Its cost function is defined as the synthesis errors at multiple control points inside the target region; then, the driving signals of the loudspeakers are obtained by solving a least-squares problem. However, in pressure matching, the region between the control points is not taken into consideration. We define the cost function as the regional integration of the synthesis error over the target region. On the basis of the kernel interpolation of the sound field, this cost function is represented as the weighted square error of the synthesized pressures at the control points. Experimental results indicate that the proposed weighted pressure matching outperforms conventional pressure matching.


title: Bloom Library: Multimodal Datasets in 300+ Languages for a Variety of Downstream Tasks

abstract: We present Bloom Library, a linguistically diverse set of multimodal and multilingual datasets for language modeling, image captioning, visual storytelling, and speech synthesis/recognition. These datasets represent either the most, or among the most, multilingual datasets for each of the included downstream tasks. In total, the initial release of the Bloom Library datasets covers 363 languages across 32 language families. We train downstream task models for various languages represented in the data, showing the viability of the data for future work in low-resource, multimodal NLP and establishing the first known baselines for these downstream tasks in certain languages (e.g., Bisu [bzi], with an estimated population of 700 users). Some of these first-of-their-kind baselines are comparable to state-of-the-art performance for higher-resourced languages. The Bloom Library datasets are released under Creative Commons licenses on the Hugging Face datasets hub to catalyze more linguistically diverse research in the included downstream tasks.


title: CEERS Key Paper III: The Diversity of Galaxy Structure and Morphology at z=3-9 with JWST

abstract: We present a comprehensive analysis of the evolution of the morphological and structural properties of a large sample of galaxies at z=3-9 using early JWST CEERS NIRCam observations. Our sample consists of 850 galaxies at z>3 detected in both CANDELS HST imaging and JWST CEERS NIRCam images to enable a comparison of HST and JWST morphologies. Our team conducted a set of visual classifications, with each galaxy in the sample classified by three different individuals. We also measure quantitative morphologies using the publicly available codes across all seven NIRCam filters. Using these measurements, we present the fraction of galaxies of each morphological type as a function of redshift. Overall, we find that galaxies at z>3 have a wide diversity of morphologies. Galaxies with disks make up a total of 60\% of galaxies at z=3 and this fraction drops to ~30% at z=6-9, while galaxies with spheroids make up ~30-40% across the whole redshift range and pure spheroids with no evidence for disks or irregular features make up ~20%. The fraction of galaxies with irregular features is roughly constant at all redshifts (~40-50%), while those that are purely irregular increases from ~12% to ~20% at z>4.5. We note that these are apparent fractions as many selection effects impact the visibility of morphological features at high redshift. The distributions of S\'ersic index, size, and axis ratios show significant differences between the morphological groups. Spheroid Only galaxies have a higher S\'ersic index, smaller size, and higher axis ratio than Disk/Irregular galaxies. Across all redshifts, smaller spheroid and disk galaxies tend to be rounder. Overall, these trends suggest that galaxies with established disks and spheroids exist across the full redshift range of this study and further work with large samples at higher redshift is needed to quantify when these features first formed.


title: TAMFormer: Multi-Modal Transformer with Learned Attention Mask for Early Intent Prediction

abstract: Human intention prediction is a growing area of research where an activity in a video has to be anticipated by a vision-based system. To this end, the model creates a representation of the past, and subsequently, it produces future hypotheses about upcoming scenarios. In this work, we focus on pedestrians' early intention prediction in which, from a current observation of an urban scene, the model predicts the future activity of pedestrians that approach the street. Our method is based on a multi-modal transformer that encodes past observations and produces multiple predictions at different anticipation times. Moreover, we propose to learn the attention masks of our transformer-based model (Temporal Adaptive Mask Transformer) in order to weigh differently present and past temporal dependencies. We investigate our method on several public benchmarks for early intention prediction, improving the prediction performances at different anticipation times compared to the previous works.


title: First-principles study of the structural and electronic properties of BN-ring doped graphene

abstract: Since advanced Silicon-based device components are moderately chemically tunable, doped graphene has emerged as a promising candidate to replace this semiconducting material in flexible miniaturized electronic devices. Indeed, heteroatom co-doping (i.e. with boron and/or nitrogen) is an appealing strategy to tune both its structural and electronic properties, possibly inducing a band gap in graphene. However, presently synthesized BN-doped carbon-based materials are randomly doped, leading to their electronic properties not being reproducible. Using first-principles techniques, the present study investigates the periodic doping of graphene with borazine-like rings in order to search for an entirely new class of BCN hybrid 2D materials exhibiting high stabilities and optimized band gaps for opto-electronic applications. Ab initio calculations show that BN-ring doped graphene displays cohesive energies comparable with benchmark ideal periodic BCN systems (such as BC$_3$, C$_3$N$_4$, BC$_2$N) with a decreasing linear trend toward high concentrations of BN-rings. Band gaps of BN-ring doped graphene systems are calculated using many-body perturbation techniques and are found to be sensitive to the doping pattern and to be considerably larger for high concentrations of BN rings exhibiting the same orientation. These predictions suggest that BN-ring doped graphene materials could be interesting candidates for the next generation of optoelectronic devices and open new opportunities for their synthesis using chemical bottom-up approaches.


title: Pretrained audio neural networks for Speech emotion recognition in Portuguese

abstract: The goal of speech emotion recognition (SER) is to identify the emotional aspects of speech. The SER challenge for Brazilian Portuguese speech was proposed with short snippets of Portuguese which are classified as neutral, non-neutral female and non-neutral male according to paralinguistic elements (laughing, crying, etc). This dataset contains about $50$ minutes of Brazilian Portuguese speech. As the dataset leans on the small side, we investigate whether a combination of transfer learning and data augmentation techniques can produce positive results. Thus, by combining a data augmentation technique called SpecAugment, with the use of Pretrained Audio Neural Networks (PANNs) for transfer learning we are able to obtain interesting results. The PANNs (CNN6, CNN10 and CNN14) are pretrained on a large dataset called AudioSet containing more than $5000$ hours of audio. They were finetuned on the SER dataset and the best performing model (CNN10) on the validation set was submitted to the challenge, achieving an $F1$ score of $0.73$ up from $0.54$ from the baselines provided by the challenge. Moreover, we also tested the use of Transformer neural architecture, pretrained on about $600$ hours of Brazilian Portuguese audio data. Transformers, as well as more complex models of PANNs (CNN14), fail to generalize to the test set in the SER dataset and do not beat the baseline. Considering the limitation of the dataset sizes, currently the best approach for SER is using PANNs (specifically, CNN6 and CNN10).


title: Volumetric Helical Additive Manufacturing

abstract: 3D printing has revolutionized the manufacturing of volumetric components and structures for various fields. Thanks to the advent of photocurable resins, several fully volumetric light-based techniques have been recently developed to overcome the current limitations of 3D printing. Although fast, this new generation of printers cannot fabricate objects whose size typically exceeds the centimeter without severely affecting the final resolution. Based on tomographic volumetric additive manufacturing, we propose a method for volumetric helical additive manufacturing (VHAM) multi-cm scale structures without magnifying the projected patterns. It consists of illuminating the photoresist while the latter follows a helical motion. This movement allows for increasing the height of the printable object. Additionally, we off-center the modulator used for projecting the light patterns to double the object's lateral size. We demonstrate experimentally the interest in using these two tricks for printing larger objects (up to 3 cm x 3 cm x 5 cm) while maintaining high resolution (< 200 um) and short print time (< 10 min).


title: Phase stability of Fe from first-principles: atomistic spin dynamics coupled with ab initio molecular dynamics simulations and thermodynamic integration

abstract: The calculation of free energies from first principles in materials is a formidable task which enables the prediction of phase stability with high accuracy; these calculations are complicated in magnetic materials by the interplay of electronic, magnetic, and vibrational degrees of freedom. In this work, we show the feasibility and accuracy of the calculation of phase stability in magnetic systems with ab initio methods and thermodynamic integration by sampling the magnetic and vibrational phase space with coupled atomistic spin dynamics-ab initio molecular dynamics (ASD-AIMD) simulations [Stockem et al., PRL 121, 125902 (2018)], where energies and interatomic forces are calculated with density functional theory (DFT). We employ the method to calculate the phase stability of Fe at ambient pressure from 800 K up to 1800 K. The Gibbs free energy difference between fcc and bcc Fe at zero pressure as a function of temperature is calculated carrying out thermodynamic integration over temperature on the energies at the DFT level from ASD-AIMD, using a reference free energy difference calculated in the paramagnetic state at temperatures much higher than the magnetic transition temperatures with thermodynamic integration over stress-strain variables with disordered local moment (DLM)-AIMD simulations. We show the importance of the magnetic ordering temperature of bcc Fe on the $\alpha$ to $\gamma$ structural transition temperature, whereas the $\gamma$ to $\delta$ transition is well reproduced independently of the exchange interactions. The Gibbs free energy difference between the two structures is within 5 meV/atom from the CALPHAD estimate, and both transition temperatures are reproduced within 150 K. The present work paves the way to free energy calculations in magnetic materials from first principles with accuracy in the order of 1 meV/atom.


title: The appearance function for paper-folding words

abstract: We provide a complete characterisation of the appearance function for paper-folding sequences for factors of any length. We make use of the software package {\tt Walnut} to establish these results.


title: Convergence of fractional Fourier series on the torus and applications

abstract: In this paper, we introduce the fractional Fourier series on the fractional torus and study some basic facts of fractional Fourier series, such as fractional convolution and fractional approximation. Meanwhile, fractional Fourier inversion and Poisson summation formula are also given. We further discuss the relationship between the decay of fractional Fourier coefficients and the smoothness of a function. Using the properties of fractional Fejer kernel, the pointwise convergence of fractional Fourier series can be established. Finally, we present the applications of fractional Fourier series to fractional partial differential equations with periodic boundary condition. Moreover, we apply approximation methods on the fractional torus to recover the non-stationary signals.


title: Sim-to-Real via Sim-to-Seg: End-to-end Off-road Autonomous Driving Without Real Data

abstract: Autonomous driving is complex, requiring sophisticated 3D scene understanding, localization, mapping, and control. Rather than explicitly modelling and fusing each of these components, we instead consider an end-to-end approach via reinforcement learning (RL). However, collecting exploration driving data in the real world is impractical and dangerous. While training in simulation and deploying visual sim-to-real techniques has worked well for robot manipulation, deploying beyond controlled workspace viewpoints remains a challenge. In this paper, we address this challenge by presenting Sim2Seg, a re-imagining of RCAN that crosses the visual reality gap for off-road autonomous driving, without using any real-world data. This is done by learning to translate randomized simulation images into simulated segmentation and depth maps, subsequently enabling real-world images to also be translated. This allows us to train an end-to-end RL policy in simulation, and directly deploy in the real-world. Our approach, which can be trained in 48 hours on 1 GPU, can perform equally as well as a classical perception and control stack that took thousands of engineering hours over several months to build. We hope this work motivates future end-to-end autonomous driving research.


title: Online TSP with Known Locations

abstract: In this paper, we consider the Online Traveling Salesperson Problem (OLTSP) where the locations of the requests are known in advance, but not their arrival times. We study both the open variant, in which the algorithm is not required to return to the origin when all the requests are served, as well as the closed variant, in which the algorithm has to return to the origin after serving all the requests. Our aim is to measure the impact of the extra knowledge of the locations on the competitiveness of the problem. We present an online 3/2-competitive algorithm for the general case and a matching lower bound for both the open and the closed variant. Then, we focus on some interesting metric spaces (ring, star, semi-line), providing both lower bounds and polynomial time online algorithms for the problem.


title: Semi-Supervised Learning Based on Reference Model for Low-resource TTS

abstract: Most previous neural text-to-speech (TTS) methods are mainly based on supervised learning methods, which means they depend on a large training dataset and hard to achieve comparable performance under low-resource conditions. To address this issue, we propose a semi-supervised learning method for neural TTS in which labeled target data is limited, which can also resolve the problem of exposure bias in the previous auto-regressive models. Specifically, we pre-train the reference model based on Fastspeech2 with much source data, fine-tuned on a limited target dataset. Meanwhile, pseudo labels generated by the original reference model are used to guide the fine-tuned model's training further, achieve a regularization effect, and reduce the overfitting of the fine-tuned model during training on the limited target data. Experimental results show that our proposed semi-supervised learning scheme with limited target data significantly improves the voice quality for test data to achieve naturalness and robustness in speech synthesis.


title: Improving Imbalanced Text Classification with Dynamic Curriculum Learning

abstract: Recent advances in pre-trained language models have improved the performance for text classification tasks. However, little attention is paid to the priority scheduling strategy on the samples during training. Humans acquire knowledge gradually from easy to complex concepts, and the difficulty of the same material can also vary significantly in different learning stages. Inspired by this insights, we proposed a novel self-paced dynamic curriculum learning (SPDCL) method for imbalanced text classification, which evaluates the sample difficulty by both linguistic character and model capacity. Meanwhile, rather than using static curriculum learning as in the existing research, our SPDCL can reorder and resample training data by difficulty criterion with an adaptive from easy to hard pace. The extensive experiments on several classification tasks show the effectiveness of SPDCL strategy, especially for the imbalanced dataset.


title: Linguistic-Enhanced Transformer with CTC Embedding for Speech Recognition

abstract: The recent emergence of joint CTC-Attention model shows significant improvement in automatic speech recognition (ASR). The improvement largely lies in the modeling of linguistic information by decoder. The decoder joint-optimized with an acoustic encoder renders the language model from ground-truth sequences in an auto-regressive manner during training. However, the training corpus of the decoder is limited to the speech transcriptions, which is far less than the corpus needed to train an acceptable language model. This leads to poor robustness of decoder. To alleviate this problem, we propose linguistic-enhanced transformer, which introduces refined CTC information to decoder during training process, so that the decoder can be more robust. Our experiments on AISHELL-1 speech corpus show that the character error rate (CER) is relatively reduced by up to 7%. We also find that in joint CTC-Attention ASR model, decoder is more sensitive to linguistic information than acoustic information.


title: Hofer geometry via toric degeneration

abstract: The main theme of this paper is to use toric degeneration to produce distinct homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms. We focus on the (complex $n$-dimensional) quadric hypersurface and the del Pezzo surfaces, and study two classes of distinguished Lagrangian submanifolds that appear naturally in a toric degeneration, namely the Lagrangian torus which is the monotone fiber of a Lagrangian torus fibration, and the Lagrangian spheres that appear as vanishing cycles. For the quadrics, we prove that the group of Hamiltonian diffeomorphisms admits two distinct homogeneous quasimorphisms and derive some superheaviness results. Along the way, we show that the toric degeneration is compatible with the Biran decomposition. This implies that for $n=2$, the Lagrangian fiber torus (Gelfand--Zeitlin torus) is Hamiltonian isotopic to the Chekanov torus, which answers a question of Y. Kim. We give applications to $C^0$-symplectic topology which include the Entov--Polterovich--Py question for the quadric hypersurface. We also prove analogous results for the del Pezzo surfaces.


title: Experimental determination of the E2-M1 polarizability of the strontium clock transition

abstract: To operate an optical lattice clock at a fractional uncertainty below $10^{-17}$, one must typically consider not only electric-dipole (E1) interaction between an atom and the lattice light field when characterizing the resulting lattice light shift of the clock transition but also higher-order multipole contributions, such as electric-quadrupole (E2) and magnetic-dipole (M1) interactions. However, strongly incompatible values have been reported for the E2-M1 polarizability difference of the clock states $(5s5p)\,{}^{3}\mathrm{P}_{0}$ and $(5s^2)\,{}^{1}\mathrm{S}_{0}$ of strontium [Ushijima et al., Phys. Rev. Lett. 121 263202 (2018); Porsev et al., Phys. Rev. Lett. 120, 063204 (2018)]. This largely precludes operating strontium clocks with uncertainties of few $10^{-18}$, as the resulting lattice light shift corrections deviate by up to $1 \times 10^{-17}$ from each other at typical trap depths. We have measured the E2-M1 polarizability difference using our ${}^{87}\mathrm{Sr}$ lattice clock and find a value of $\Delta \alpha_{\mathrm{qm}} = -987^{+174}_{-223} \; \mathrm{\mu Hz}$. This result is in very good agreement with the value reported by Ushijima et al.


title: On a Class of Non-linear Differential Equations Arising from Branching Diffusions

abstract: A non-linear differential equation arising from a stochastic process known as branching Brownian motion is considered. We find an explicit solution and show the uniqueness of the solution under some boundedness conditions using probabilistic ideas. We discuss non-negative solutions. We also generalize this idea to a class of non-linear parabolic differential equations which we call probabilistic parabolic equations.


title: Unitary monodromies of rank two Fuchsian systems with $(n+1)$ singularities

abstract: We study the unitarity of monodromies of rank two Fuchsian systems of SL type with $(n+1)$ regular singularities on the Riemann sphere, namely, we give a sufficient and necessary condition for the monodromy group to be conjugate to a subgroup of a special unitary group $\mathrm{SU}(p,q)$. When $n\ge 3$, the moduli space of irreducible monodromies can be realized as an affine algebraic set in $\mathbb{C}^m$ for some $m \in \mathbb{N}$. In this paper, we give a characterization and construction of unitary monodromies in terms of this affine algebraic set. The signatures of unitary monodromies are also classified.


title: Watch Your Step: Real-Time Adaptive Character Stepping

abstract: An effective 3D stepping control algorithm that is computationally fast, robust, and easy to implement is extremely important and valuable to character animation research. In this paper, we present a novel technique for generating dynamic, interactive, and controllable biped stepping motions. Our approach uses a low-dimensional physics-based model to create balanced humanoid avatars that can handle a wide variety of interactive situations, such as terrain height shifting and push exertions, while remaining upright and balanced. We accomplish this by combining the popular inverted-pendulum model with an ankle-feedback torque and variable leg-length mechanism to create a controllable solution that can adapt to unforeseen circumstances in real-time without key-framed data, any offline pre-processing, or on-line optimizations joint torque computations. We explain and address oversimplifications and limitations with the basic IP model and the reasons for extending the model by means of additional control mechanisms. We demonstrate a simple and fast approach for extending the IP model based on an ankle-torque and variable leg lengths approximation without hindering the extremely attractive properties (i.e., computational speed, robustness, and simplicity) that make the IP model so ideal for generating upright responsive balancing biped movements. Finally, while our technique focuses on lower body motions, it can, nevertheless, handle both small and large push forces even during terrain height variations. Moreover, our model effectively creates human-like motions that synthesize low-level upright stepping movements, and can be combined with additional controller techniques to produce whole body autonomous agents.


title: Deterministic and stochastic sampling of two coupled Kerr parametric oscillators

abstract: The vision of building computational hardware for problem optimization has spurred large efforts in the physics community. In particular, networks of Kerr parametric oscillators (KPOs) are envisioned as simulators for finding the ground states of Ising Hamiltonians. It was shown, however, that KPO networks can feature large numbers of unexpected solutions that are difficult to sample with the existing deterministic (i.e., adiabatic) protocols. In this work, we experimentally realize a system of two classical coupled KPOs, and we find good agreement with the predicted mapping to Ising states. We then introduce a protocol based on stochastic sampling of the system, and we show how the resulting probability distribution can be used to identify the ground state of the corresponding Ising Hamiltonian. This method is akin to a Monte Carlo sampling of multiple out-of-equilibrium stationary states and is less prone to become trapped in local minima than deterministic protocols.


title: Poisson-Poincar\'e reduction for Field Theories

abstract: Given a Hamiltonian system on a fiber bundle, there is a Poisson covariant formulation of the Hamilton equations. When a Lie group G acts freely, properly, preserving the fibers of the bundle and the Hamiltonian density is G-invariant, we study the reduction of this formulation to obtain an analogue of Poisson-Poincar\'e reduction for field theories. This procedure is related to the Lagrange-Poincar\'e reduction for field theories via a Legendre transformation. Finally, an application to a model of a charged strand evolving in an electric field is given.


title: An asymptotic for sums of Lyapunov exponents in families

abstract: Let f_t be a meromorphic family of endomorphisms of P^N_C of degree at least 2, and let L(f_t) be the sum of Lyapunov exponents associated to f_t. Favre showed that L(f_t)=L(f)\log|t^{-1}|+o(\log|t^{-1}|) as t -> 0, where L(f) is the sum of Lyapunov exponents on the generic fibre, interpreted as an endomorphism of some projective Berkovich space. Under some additional constraints on the family, we provide an explicit error term.


title: Orbital parallax of binary systems compared to GAIA DR3 and the parallax zero-point offset at bright magnitudes

abstract: (abridged)Multiple systems for which the astrometric and spectroscopic orbit are known offer the unique possibility of determining the distance to these systems directly without any assumptions. They are therefore ideal objects for a comparison of Gaia data release 3 (GDR3) parallax data, especially since GDR3 presents the results of the non-single star (NSS) analysis that potentially results in improved parallaxes. An sample of 192 orbital parallax determinations for 186 systems is compiled from the literature. The stars are also potentially in wide binary systems, and 37 candidates were found. Only for 21 objects does the NSS analysis provide information, including 8 from the astrometric binary pipeline, for which the parallaxes do improve significantly compared to those in the main catalogue. It appears that most of the objects in the sample are eliminated in the pre-filtering stage of the NSS analysis. The difference between the orbital parallax and the (best) \G\ parallax was finally obtained for 170 objects. When objects with large parallax errors or unrealistically large differences between the orbital and \G\ parallaxes are eliminated, and objects with a GOF < 100 or <8 are selected, samples of 68 and 20 stars remain. Three recipes that calculate the PZPO are tested. After these corrections are applied the remaining parallax differences are formally consistent with zero within the error bar for all three recipes. The method of using orbital parallaxes is shown to work, but the full potential is not reached as an improved parallax from the NSS analysis is available for only few systems. In the final selection, the orbital parallax of 18 of 20 stars is known to better than 5%. In the full sample, 148 objects reach this precision and therefore the full potential of using orbital parallaxes may hopefully be reached with GDR4.


title: Distribution-Free Finite-Sample Guarantees and Split Conformal Prediction

abstract: Modern black-box predictive models are often accompanied by weak performance guarantees that only hold asymptotically in the size of the dataset or require strong parametric assumptions. In response to this, split conformal prediction represents a promising avenue to obtain finite-sample guarantees under minimal distribution-free assumptions. Although prediction set validity most often concerns marginal coverage, we explore the related but different guarantee of tolerance regions, reformulating known results in the language of nested prediction sets and extending on the duality between marginal coverage and tolerance regions. Furthermore, we highlight the connection between split conformal prediction and classical tolerance predictors developed in the 1940s, as well as recent developments in distribution-free risk control. One result that transfers from classical tolerance predictors is that the coverage of a prediction set based on order statistics, conditional on the calibration set, is a random variable stochastically dominating the Beta distribution. We demonstrate the empirical effectiveness of our findings on synthetic and real datasets using a popular split conformal prediction procedure called conformalized quantile regression (CQR).


title: An Optimal Lower Bound for Simplex Range Reporting

abstract: We give a simplified and improved lower bound for the simplex range reporting problem. We show that given a set $P$ of $n$ points in $\mathbb{R}^d$, any data structure that uses $S(n)$ space to answer such queries must have $Q(n)=\Omega((n^2/S(n))^{(d-1)/d}+k)$ query time, where $k$ is the output size. For near-linear space data structures, i.e., $S(n)=O(n\log^{O(1)}n)$, this improves the previous lower bounds by Chazelle and Rosenberg [CR96] and Afshani [A12] but perhaps more importantly, it is the first ever tight lower bound for any variant of simplex range searching for $d\ge 3$ dimensions. We obtain our lower bound by making a simple connection to well-studied problems in incident geometry which allows us to use known constructions in the area. We observe that a small modification of a simple already existing construction can lead to our lower bound. We believe that our proof is accessible to a much wider audience, at least compared to the previous intricate probabilistic proofs based on measure arguments by Chazelle and Rosenberg [CR96] and Afshani [A12]. The lack of tight or almost-tight (up to polylogarithmic factor) lower bounds for near-linear space data structures is a major bottleneck in making progress on problems such as proving lower bounds for multilevel data structures. It is our hope that this new line of attack based on incidence geometry can lead to further progress in this area.


title: Impact of network topology changes on information source localization

abstract: Well-established methods of locating the source of information in a complex network are usually derived with the assumption of complete and exact knowledge of network topology. We study the performance of three such algorithms (LPTVA, GMLA and Pearson correlation algorithm) in scenarios that do not fulfill this assumption by modifying the network prior to localization. This is done by adding superfluous new links, hiding existing ones, or reattaching links in accordance with the network's structural Hamiltonian. We find that GMLA is highly resilient to the addition of superfluous edges, as its precision falls by more than statistical uncertainty only when the number of links is approximately doubled. On the other hand, if the edge set is underestimated or reattachment has taken place, the performance of GMLA drops significantly. In such a scenario the Pearson algorithm is preferable, retaining most of its performance when other simulation parameters favor localization (high density of observers, highly deterministic propagation). It is also generally more accurate than LPTVA, as well as orders of magnitude faster. The aforementioned differences between localization algorithms can be intuitively explained, although a need for further theoretical research is noted.


title: Optimization based coordination of autonomous vehicles in confined areas

abstract: Confined areas present an opportunity for early deployment of autonomous vehicles (AV) due to the absence of non-controlled traffic participants. In this paper, we present an approach for coordination of multiple AVs in confined sites. The method computes speed-profiles for the AVs such that collisions are avoided in cross-intersection and merge crossings. Specifically, this is done through the solution of an optimal control problem where the motion of all vehicles is optimized jointly. The order in which the vehicles pass the crossings is determined through the solution of a Mixed Integer Quadratic Program (MIQP). Through simulation results, we demonstrate the capability of the algorithm in terms of performance and satisfaction of collision avoidance constraints.


title: A Case for Business Process-Specific Foundation Models

abstract: The inception of large language models has helped advance state-of-the-art performance on numerous natural language tasks. This has also opened the door for the development of foundation models for other domains and data modalities such as images, code, and music. In this paper, we argue that business process data representations have unique characteristics that warrant the development of a new class of foundation models to handle tasks like process mining, optimization, and decision making. These models should also tackle the unique challenges of applying AI to business processes which include data scarcity, multi-modal representations, domain specific terminology, and privacy concerns.


title: Study and improvements of a radially coupled coaxial Fast Faraday cup design towards lower intensity beams

abstract: A radially-coupled coaxial fast Faraday cup design was presented in [1] for high-intensity non-relativistic proton beams. In this work, we discuss a modification of that design in the context of a relatively lower intensity ion beam for longitudinal charge profile measurements. Particle-in-cell and time domain electromagnetic simulations of the new design with a focus on avoiding field dilution while generating enough signal for relatively lower intensity ion beams at the upcoming High Current Injector Programme at IUAC, New Delhi [2,3] is discussed. Profile distortions from secondary electron emission are estimated and strategies to suppress them are discussed.


title: Legendre symbols related to certain determinants

abstract: Let $p$ be an odd prime. For $b,c\in\mathbb Z$, Sun introduced the determinant $$D_p(b,c)=\left|(i^2+bij+cj^2)^{p-2}\right|_{1\leqslant i,j \leqslant p-1},$$ and investigated the Legendre symbol $(\frac{D_p(b,c)}p)$. Recently Wu, She and Ni proved that $(\frac{D_p(1,1)}p)=(\frac {-2}p)$ if $p\equiv2\pmod 3$, which confirms a previous conjecture of Sun. In this paper we determine $(\frac{D_p(1,1)}p)$ in the case $p\equiv1\pmod3$. Sun proved that $D_p(2,2)\equiv0\pmod p$ if $p\equiv3\pmod4$, in contrast we prove that $(\frac{D_p(2,2)}p)=1$ if $p\equiv1\pmod8$, and $(\frac{D_p(2,2)}p)=0$ if $p\equiv5\pmod8$. Our tools include generalized trinomial coefficients and Lucas sequences.


title: Monotonic segmental attention for automatic speech recognition

abstract: We introduce a novel segmental-attention model for automatic speech recognition. We restrict the decoder attention to segments to avoid quadratic runtime of global attention, better generalize to long sequences, and eventually enable streaming. We directly compare global-attention and different segmental-attention modeling variants. We develop and compare two separate time-synchronous decoders, one specifically taking the segmental nature into account, yielding further improvements. Using time-synchronous decoding for segmental models is novel and a step towards streaming applications. Our experiments show the importance of a length model to predict the segment boundaries. The final best segmental-attention model using segmental decoding performs better than global-attention, in contrast to other monotonic attention approaches in the literature. Further, we observe that the segmental model generalizes much better to long sequences of up to several minutes.


title: DEEPFAKE CLI: Accelerated Deepfake Detection using FPGAs

abstract: Because of the availability of larger datasets and recent improvements in the generative model, more realistic Deepfake videos are being produced each day. People consume around one billion hours of video on social media platforms every day, and thats why it is very important to stop the spread of fake videos as they can be damaging, dangerous, and malicious. There has been a significant improvement in the field of deepfake classification, but deepfake detection and inference have remained a difficult task. To solve this problem in this paper, we propose a novel DEEPFAKE C-L-I (Classification-Localization-Inference) in which we have explored the idea of accelerating Quantized Deepfake Detection Models using FPGAs due to their ability of maximum parallelism and energy efficiency compared to generalized GPUs. In this paper, we have used light MesoNet with EFF-YNet structure and accelerated it on VCK5000 FPGA, powered by state-of-the-art VC1902 Versal Architecture which uses AI, DSP, and Adaptable Engines for acceleration. We have benchmarked our inference speed with other state-of-the-art inference nodes, got 316.8 FPS on VCK5000 while maintaining 93\% Accuracy.


title: Quantitative elemental imaging in eukaryotic algae

abstract: All organisms, fundamentally, are made from the same raw material, namely the elements of the periodic table. Biochemical diversity is achieved with how these elements are utilized, for what purpose and in which physical location. Determining elemental distributions, especially those of trace elements that facilitate metabolism as cofactors in the active centers of essential enzymes, can determine the state of metabolism, the nutritional status or the developmental stage of an organism. Photosynthetic eukaryotes, especially algae, are excellent subjects for quantitative analysis of elemental distribution. These microbes utilize unique metabolic pathways that require various trace nutrients at their core to enable its operation. Photosynthetic microbes also have important environmental roles as primary producers in habitats with limited nutrient supply or toxin contaminations. Accordingly, photosynthetic eukaryotes are of great interest for biotechnological exploitation, carbon sequestration and bioremediation, with many of the applications involving various trace elements and consequently affecting their quota and intracellular distribution. A number of diverse applications were developed for elemental imaging allowing subcellular resolution, with X-ray fluorescence microscopy (XFM) being at the forefront, enabling quantitative descriptions of intact cells in a non-destructive method. This Tutorial Review summarizes the workflow of a quantitative, single-cell elemental distribution analysis of a eukaryotic alga using XFM.


title: Identifying Counterfactual Queries with the R Package cfid

abstract: In the framework of structural causal models, counterfactual queries describe events that concern multiple alternative states of the system under study. Counterfactual queries often take the form of "what if" type questions such as "would an applicant have been hired if they had over 10 years of experience, when in reality they only had 5 years of experience?" Such questions and counterfactual inference in general are crucial, for example when addressing the problem of fairness in decision-making. Because counterfactual events contain contradictory states of the world, it is impossible to conduct a randomized experiment to address them without making several restrictive assumptions. However, it is sometimes possible to identify such queries from observational and experimental data by representing the system under study as a causal model, and the available data as symbolic probability distributions. Shpitser and Pearl (2007) constructed two algorithms, called ID* and IDC*, for identifying counterfactual queries and conditional counterfactual queries, respectively. These two algorithms are analogous to the ID and IDC algorithms by Shpitser and Pearl (2006) for identification of interventional distributions, which were implemented in R by Tikka and Karvanen (2017) in the causaleffect package. We present the R package cfid that implements the ID* and IDC* algorithms. Identification of counterfactual queries and the features of cfid are demonstrated via examples.


title: Testing a scaling relation between coherent radio emission and physical parameters of hot magnetic stars

abstract: Coherent radio emission via electron cyclotron maser emission (ECME) from hot magnetic stars was discovered more than two decades ago, but the physical conditions that make the generation of ECME favourable remain uncertain. Only recently was an empirical relation, connecting ECME luminosity with the stellar magnetic field and temperature, proposed to explain what makes a hot magnetic star capable of producing ECME. This relation was, however, obtained with just fourteen stars. Therefore, it is important to examine whether this relation is robust. With the aim of testing the robustness, we conducted radio observations of five hot magnetic stars. This led to the discovery of three more stars producing ECME. We find that the proposed scaling relation remains valid after the addition of the newly discovered stars. However we discovered that the magnetic field and effective temperature correlate for $T_\mathrm{eff}\lesssim 16$ kK (likely an artifact of the small sample size), rendering the proposed connection between ECME luminosity and $T_\mathrm{eff}$ unreliable. By examining the empirical relation in light of the scaling law for incoherent radio emission, we arrive at the conclusion that both types of emission are powered by the same magnetospheric phenomenon. Like the incoherent emission, coherent radio emission is indifferent to $T_\mathrm{eff}$ for late-B and A-type stars, but $T_\mathrm{eff}$ appears to become important for early-B type stars, possibly due to higher absorption, or, higher plasma density at the emission sites suppressing the production of the emission.


title: Mind the gap between theory and experiment

abstract: We discuss some examples where numerical simulations based on effectively fabricated nanostructures can provide additional insights into an experiment. Focusing on plasmonics, we study Fano resonant systems for optical trapping, realistic dipole antennas for near-field enhancement, and hybrid nanostructures that combine plasmonic metals with dielectrics refractive index sensing. For those systems, the same experimental detail can play a very different role, depending on the type of physical observable. For example, roughness can significantly influence the near-field, but be totally unnoticed in the far-field. It can affect molecules adsorbed on the surface, while refractive index sensing can be fully immune to such roughness. Approaching the experimental situation as closely as possible is certainly a challenging task and we demonstrate a simple approach based on SEM images for that. Altogether, bridging the gap between theory and experiment is not such a trivial task. However, some of the simple steps illustrated in this chapter can help build numerical models that match the experiment better.


title: Long-tailed Food Classification

abstract: Food classification serves as the basic step of image-based dietary assessment to predict the types of foods in each input image. However, food image predictions in a real world scenario are usually long-tail distributed among different food classes, which cause heavy class-imbalance problems and a restricted performance. In addition, none of the existing long-tailed classification methods focus on food data, which can be more challenging due to the lower inter-class and higher intra-class similarity among foods. In this work, we first introduce two new benchmark datasets for long-tailed food classification including Food101-LT and VFN-LT where the number of samples in VFN-LT exhibits the real world long-tailed food distribution. Then we propose a novel 2-Phase framework to address the problem of class-imbalance by (1) undersampling the head classes to remove redundant samples along with maintaining the learned information through knowledge distillation, and (2) oversampling the tail classes by performing visual-aware data augmentation. We show the effectiveness of our method by comparing with existing state-of-the-art long-tailed classification methods and show improved performance on both Food101-LT and VFN-LT benchmarks. The results demonstrate the potential to apply our method to related real life applications.


title: Hybrid HMM Decoder For Convolutional Codes By Joint Trellis-Like Structure and Channel Prior

abstract: The anti-interference capability of wireless links is a physical layer problem for edge computing. Although convolutional codes have inherent error correction potential due to the redundancy introduced in the data, the performance of the convolutional code is drastically degraded due to multipath effects on the channel. In this paper, we propose the use of a Hidden Markov Model (HMM) for the reconstruction of convolutional codes and decoding by the Viterbi algorithm. Furthermore, to implement soft-decision decoding, the observation of HMM is replaced by Gaussian mixture models (GMM). Our method provides superior error correction potential than the standard method because the model parameters contain channel state information (CSI). We evaluated the performance of the method compared to standard Viterbi decoding by numerical simulation. In the multipath channel, the hybrid HMM decoder can achieve a performance gain of 4.7 dB and 2 dB when using hard-decision and soft-decision decoding, respectively. The HMM decoder also achieves significant performance gains for the RSC code, suggesting that the method could be extended to turbo codes.


title: Page Curve and Phase Transition in deformed Jackiw-Teitelboim Gravity

abstract: We consider the entanglement island in a deformed Jackiw-Teitelboim black hole in the presence of the phase transition. This black hole has the van der Waals-Maxwell-like phase structure as it is coupled with a Maxwell field. We study the behavior of the Page curve of this black hole by using the island paradigm. In the fixed charge ensemble, we discuss different situations with different charges that influence the system's phase structure. There is only a Hawking-Page phase transition in the absence of charges, which leads to an unstable small black hole. Hence, the related Page curve does not exist. However, a van der Waals-Maxwell-like phase transition occurs in the presence of charges. This yields three black hole solutions. The Page curve of the middle size black hole does not exist. For the extremal black hole, the Page time approaches zero in the phase transition situation but becomes divergent without the phase transition. In a word, we study the Page curve and the island paradigm for different black hole phases and in different phase transition situations.


title: Modelling Correlation Matrices in Multivariate Dyadic Data: Latent Variable Models for Intergenerational Exchanges of Family Support

abstract: We define a model for the joint distribution of multiple continuous latent variables which includes a model for how their correlations depend on explanatory variables. This is motivated by and applied to social scientific research questions in the analysis of intergenerational help and support within families, where the correlations describe reciprocity of help between generations and complementarity of different kinds of help. We propose an MCMC procedure for estimating the model which maintains the positive definiteness of the implied correlation matrices, and describe theoretical results which justify this approach and facilitate efficient implementation of it. The model is applied to data from the UK Household Longitudinal Study to analyse exchanges of practical and financial support between adult individuals and their non-coresident parents.


title: Exploring Short-Term Optical Variability of Blazars Using $\textit{TESS}$

abstract: We present a first systematic time series study of a sample of blazars observed by the Transiting Exoplanet Survey Satellite $\textit{TESS}$ spacecraft. By cross matching the positions of the sources in the TESS observations with those from Roma-BZCAT, 29 blazars including both BL Lacerate objects and flat-spectrum radio quasars were identified. The observation lengths of the 79 light curves of the sources, across all sectors on which the targets of interest have been observed by $\textit{TESS}$, range between 21.25 and 28.2 days. The light curves were analyzed using various methods of time series analysis. The results show that the sources exhibit significant variability with fractional variability spanning between 1.41% and 53.84%. The blazar flux distributions were studied by applying normal and lognormal probability density function models. The results indicate that optical flux histogram of the sources are consistent with normal probability density function with most of them following bi-modal distribution as opposed to uni-modal distribution. This suggests that the days-timescale optical variability is contributed either by two different emission zones or two distinct states of short-term activity in blazars. Power spectral density analysis was performed by using the power spectral response method and the true power spectra of unevenly sampled light curves were estimated. The power spectral slopes of the light curves ranged from 1.7 to 3.2.


title: Virtual distillation with noise dilution

abstract: Virtual distillation is an error-mitigation technique that reduces quantum-computation errors without assuming the noise type. In scenarios where the user of a quantum circuit is required to additionally employ peripherals, such as delay lines, that introduce excess noise, we find that the error-mitigation performance can be improved if the peripheral, whenever possible, is split across the entire circuit; that is, when the noise channel is uniformly distributed in layers within the circuit. We show that under the multiqubit loss and Pauli noise channels respectively, for a given overall error rate, the average mitigation performance improves monotonically as the noisy peripheral is split~(diluted) into more layers, with each layer sandwiched between subcircuits that are sufficiently deep to behave as two-designs. For both channels, analytical and numerical evidence show that second-order distillation is generally sufficient for (near-)optimal mitigation. We propose an application of these findings in designing a quantum-computing cluster that houses realistic noisy intermediate-scale quantum circuits that may be shallow in depth, where measurement detectors are limited and delay lines are necessary to queue output qubits from multiple circuits.


title: Exceptional fuzzy spaces and octonions

abstract: We construct the fuzzy spaces based on the three non-trivial co-adjoint orbits of the exceptional simple Lie group, $G_2$.


title: Multitask Detection of Speaker Changes, Overlapping Speech and Voice Activity Using wav2vec 2.0

abstract: Self-supervised learning approaches have lately achieved great success on a broad spectrum of machine learning problems. In the field of speech processing, one of the most successful recent self-supervised models is wav2vec 2.0. In this paper, we explore the effectiveness of this model on three basic speech classification tasks: speaker change detection, overlapped speech detection, and voice activity detection. First, we concentrate on only one task -- speaker change detection -- where our proposed system surpasses the previously reported results on four different corpora, and achieves comparable performance even when trained on out-of-domain data from an artificially designed dataset. Then we expand our approach to tackle all three tasks in a single multitask system with state-of-the-art performance on the AMI corpus. The implementation of the algorithms in this paper is publicly available at https://github.com/mkunes/w2v2_audioFrameClassification.


title: Maximum Likelihood Learning of Unnormalized Models for Simulation-Based Inference

abstract: We introduce two synthetic likelihood methods for Simulation-Based Inference (SBI), to conduct either amortized or targeted inference from experimental observations when a high-fidelity simulator is available. Both methods learn a conditional energy-based model (EBM) of the likelihood using synthetic data generated by the simulator, conditioned on parameters drawn from a proposal distribution. The learned likelihood can then be combined with any prior to obtain a posterior estimate, from which samples can be drawn using MCMC. Our methods uniquely combine a flexible Energy-Based Model and the minimization of a KL loss: this is in contrast to other synthetic likelihood methods, which either rely on normalizing flows, or minimize score-based objectives; choices that come with known pitfalls. We demonstrate the properties of both methods on a range of synthetic datasets, and apply them to a neuroscience model of the pyloric network in the crab, where our method outperforms prior art for a fraction of the simulation budget.


title: Accelerating Progress Towards Practical Quantum Advantage: The Quantum Technology Demonstration Project Roadmap

abstract: Quantum information science and technology (QIST) is a critical and emerging technology with the potential for enormous world impact and is currently invested in by over 40 nations. To bring these large-scale investments to fruition and bridge the lower technology readiness levels (TRLs) of fundamental research at universities to the high TRLs necessary to realize the promise of practical quantum advantage accessible to industry and the public, we present a roadmap for Quantum Technology Demonstration Projects (QTDPs). Such QTDPs, focused on intermediate TRLs, are large-scale public-private partnerships with a high probability of translation from laboratory to practice. They create technology demonstrating a clear 'quantum advantage' for science breakthroughs that are user-motivated and will provide access to a broad and diverse community of scientific users. Successful implementation of a program of QTDPs will have large positive economic impacts.


title: Topological Slepians: Maximally Localized Representations of Signals over Simplicial Complexes

abstract: This paper introduces topological Slepians, i.e., a novel class of signals defined over topological spaces (e.g., simplicial complexes) that are maximally concentrated on the topological domain (e.g., over a set of nodes, edges, triangles, etc.) and perfectly localized on the dual domain (e.g., a set of frequencies). These signals are obtained as the principal eigenvectors of a matrix built from proper localization operators acting over topology and frequency domains. Then, we suggest a principled procedure to build dictionaries of topological Slepians, which theoretically provide non-degenerate frames. Finally, we evaluate the effectiveness of the proposed topological Slepian dictionary in two applications, i.e., sparse signal representation and denoising of edge flows.


title: An analysis of degradation in low-cost particulate matter sensors

abstract: Low-cost sensors (LCS) are increasingly being used to measure fine particulate matter (PM2.5) concentrations in cities around the world. One of the most commonly deployed LCS is the PurpleAir with about 15,000 sensors deployed in the United States. However, the change in sensor performance over time has not been well studied. It is important to understand the lifespan of these sensors to determine when they should be replaced, and when measurements from these devices should or should not be used for various applications. This paper fills in this gap by leveraging the fact that: 1) Each PurpleAir sensor is comprised of two identical sensors and the divergence between their measurements can be observed, and 2) There are numerous PurpleAir sensors within 50 meters of regulatory monitors allowing for the comparison of measurements between these two instruments. We propose empirically-derived degradation outcomes for the PurpleAir sensors and evaluate how these outcomes change over time. On average, we find that the number of 'flagged' measurements, where the two sensors within each PurpleAir disagree, increases in time to 4 percent after 4 years of operation. Approximately, 2 percent of all PurpleAir sensors were permanently degraded. The largest fraction of permanently degraded PurpleAir sensors appeared to be in the hot and humid climate zone, suggesting that the sensors in this zone may need to be replaced sooner. We also find that the bias of PurpleAir sensors, or the difference between corrected PM2.5 levels and the corresponding reference measurements, changed over time by -0.12 ug/m3 (95% CI: -0.13 ug/m3, -0.11 ug/m3) per year. The average bias increases dramatically after 3.5 years. Climate zone is a significant modifier of the association between degradation outcomes and time.


title: A New Task: Deriving Semantic Class Targets for the Physical Sciences

abstract: We define deriving semantic class targets as a novel multi-modal task. By doing so, we aim to improve classification schemes in the physical sciences which can be severely abstracted and obfuscating. We address this task for upcoming radio astronomy surveys and present the derived semantic radio galaxy morphology class targets.


title: Integrating out heavy scalars with modified EOMs: matching computation of dimension-eight SMEFT coefficients

abstract: The shift in focus towards searches for physics beyond the Standard Model (SM) employing model-independent Effective Field Theory (EFT) methods necessitates a rigorous approach to matching to guarantee the validity of the obtained results and constraints. The limits on the leading dimension-six EFT effects can be rather inaccurate for LHC searches that suffer from large uncertainties while exploring an extensive energy range. Similarly, precise measurements can, in principle, test the subleading effects of the operator expansion. In this work, we present an algorithmic approach to automatise matching computations for dimension-eight operators for generic scalar extensions with proper implementation of equations of motion. We devise a step-by-step procedure to obtain the dimension-eight Wilson coefficients (WCs) in a non-redundant basis to arrive at complete matching results. We apply this formalism to a range of scalar extensions of the SM and provide tree-level and loop-suppressed results. Finally, we discuss the relevance of the dimension-eight operators for a range of phenomenological analyses, particularly focusing on Higgs and electroweak physics.


title: On word-representability of simplified de Bruijn graphs

abstract: A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. In this paper, we study word-representability of simplified de Bruijn graphs. The simplified de Bruijn graph $S(n,k)$ is a simple graph obtained from the de Bruijn graph $B(n,k)$ by removing orientations and loops and replacing multiple edges between a pair of vertices by a single edge. De Bruijn graphs are a key object in combinatorics on words that found numerous applications, in particular, in genome assembly. We show that binary simplified de Bruijn graphs (i.e.\ $S(n,2)$) are word-representable for any $n\geq 1$, while $S(2,k)$ and $S(3,k)$ are non-word-representable for $k\geq 3$. We conjecture that all simplified de Bruijn graphs $S(n,k)$ are non-word-rerpesentable for $n\geq 4$ and $k\geq 3$.


title: ProSiT! Latent Variable Discovery with PROgressive SImilarity Thresholds

abstract: The most common ways to explore latent document dimensions are topic models and clustering methods. However, topic models have several drawbacks: e.g., they require us to choose the number of latent dimensions a priori, and the results are stochastic. Most clustering methods have the same issues and lack flexibility in various ways, such as not accounting for the influence of different topics on single documents, forcing word-descriptors to belong to a single topic (hard-clustering) or necessarily relying on word representations. We propose PROgressive SImilarity Thresholds - ProSiT, a deterministic and interpretable method, agnostic to the input format, that finds the optimal number of latent dimensions and only has two hyper-parameters, which can be set efficiently via grid search. We compare this method with a wide range of topic models and clustering methods on four benchmark data sets. In most setting, ProSiT matches or outperforms the other methods in terms six metrics of topic coherence and distinctiveness, producing replicable, deterministic results.


title: Towards a machine learning pipeline in reduced order modelling for inverse problems: neural networks for boundary parametrization, dimensionality reduction and solution manifold approximation

abstract: In this work, we propose a model order reduction framework to deal with inverse problems in a non-intrusive setting. Inverse problems, especially in a partial differential equation context, require a huge computational load due to the iterative optimization process. To accelerate such a procedure, we apply a numerical pipeline that involves artificial neural networks to parametrize the boundary conditions of the problem in hand, compress the dimensionality of the (full-order) snapshots, and approximate the parametric solution manifold. It derives a general framework capable to provide an ad-hoc parametrization of the inlet boundary and quickly converges to the optimal solution thanks to model order reduction. We present in this contribution the results obtained by applying such methods to two different CFD test cases.


title: Holed cone structures on 3-manifolds

abstract: We introduce holed cone structures on 3-manifolds to generalize cone structures. In the same way as a cone structure, a holed cone structure induces the holonomy representation. We consider the deformation space consisting of the holed cone structures on a 3-manifold whose holonomy representations are irreducible. This deformation space for positive cone angles is a covering space on a reasonable subspace of the character variety.


title: All-optical nonlinear Breit-Wheeler pair production with $\gamma$-flash photons

abstract: High-power laser facilities give experimental access to fundamental strong-field quantum electrodynamics processes. A key effect to be explored is the nonlinear Breit-Wheeler process: the conversion of high-energy photons into electron-positron pairs through the interaction with a strong electromagnetic field. A major challenge to observing nonlinear Breit-Wheeler pair production experimentally is first having a suitable source of high-energy photons. In this paper we outline a simple all-optical setup which efficiently generates photons through the so-called $\gamma$-flash mechanism by irradiating a solid target with a high-power laser. We consider the collision of these photons with a secondary laser, and systematically discuss the prospects for exploring the nonlinear Breit-Wheeler process at current and next-generation high-power laser facilities.


title: Stabilization of Energy-Conserving Gaits for Point-Foot Planar Bipeds

abstract: The problem of designing and stabilizing impact-free, energy-conserving gaits is considered for underactuated, point-foot planar bipeds. Virtual holonomic constraints are used to design energy-conserving gaits. A desired gait corresponds to a periodic hybrid orbit and is stabilized using the Impulse Controlled Poincar\'e Map approach. Numerical simulations for the case of a five-link biped demonstrate convergence to a desired gait from arbitrary initial conditions.


title: Frequency dependence of the thermal dust $E/B$ ratio and $EB$ correlation: insights from the spin-moment expansion

abstract: The change of physical conditions across the turbulent and magnetized interstellar medium (ISM) induces a 3D spatial variation of the properties of Galactic polarized emission. The observed signal results from the averaging of different spectral energy distributions (SED) and polarization angles, along and between lines of sight. As a consequence, the total Stokes parameters $Q$ and $U$ will have different distorted SEDs, so that the polarization angle becomes frequency dependent. In the present work, we show how this phenomenon similarly induces a different distorted SED for the three polarized angular power spectra $EE$, $BB$ and $EB$, implying a variation of the $EE/BB$ ratio with frequency. We demonstrate how the previously introduced spin-moment formalism provides a natural framework to grasp these effects, allowing us to derive analytical predictions for the spectral behaviors of the polarized spectra, focusing here on the example of thermal dust polarized emission. After a quantitative discussion based on a model combining emission from a filament with its background, we further reveal that the spectral complexity implemented in the dust models commonly used by the cosmic microwave background (CMB) community produce such effects. This new understanding is crucial for CMB component separation, in which an extreme accuracy is required in the modeling of the dust signal to allow for the search of the primordial imprints of inflation or cosmic birefringence. For the latter, as long as the dust $EB$ signal is not measured accurately, great caution is required about the assumptions made to model its spectral behavior, as it may not simply follow from the other dust angular power spectra.


title: Spherical collapse of non-top-hat profiles in the presence of dark energy with arbitrary sound speed

abstract: We study the spherical collapse of non-top-hat matter fluctuations in the presence of dark energy with arbitrary sound speed. The model is described by a system of partial differential equations solved using a pseudo-spectral method with collocation points. This method can reproduce the known analytical solutions in the linear regime with an accuracy better than $10^{-6}\%$ and better than $10^{-2}\%$ for the virialization threshold given by the usual spherical collapse model. We show the impact of nonlinear dark energy fluctuations on matter profiles, matter peculiar velocity and gravitational potential. We also show that phantom dark energy models with low sound speed can develop a pathological behaviour around matter halos, namely negative energy density. The dependence of the virialization threshold density for collapse on the dark energy sound speed is also computed, confirming and extending previous results in the limit for homogeneous and clustering dark energy.


title: K-stable smooth Fano threefolds of Picard rank two

abstract: We prove that all smooth Fano threefolds in the families 2.1, 2.2, 2.3, 2.4, 2.6 and 2.7 are K-stable, and we also prove that smooth Fano threefolds in the family 2.5 that satisfy one very explicit generality condition are K-stable.


title: Rapid and robust endoscopic content area estimation: A lean GPU-based pipeline and curated benchmark dataset

abstract: Endoscopic content area refers to the informative area enclosed by the dark, non-informative, border regions present in most endoscopic footage. The estimation of the content area is a common task in endoscopic image processing and computer vision pipelines. Despite the apparent simplicity of the problem, several factors make reliable real-time estimation surprisingly challenging. The lack of rigorous investigation into the topic combined with the lack of a common benchmark dataset for this task has been a long-lasting issue in the field. In this paper, we propose two variants of a lean GPU-based computational pipeline combining edge detection and circle fitting. The two variants differ by relying on handcrafted features, and learned features respectively to extract content area edge point candidates. We also present a first-of-its-kind dataset of manually annotated and pseudo-labelled content areas across a range of surgical indications. To encourage further developments, the curated dataset, and an implementation of both algorithms, has been made public (https://doi.org/10.7303/syn32148000, https://github.com/charliebudd/torch-content-area). We compare our proposed algorithm with a state-of-the-art U-Net-based approach and demonstrate significant improvement in terms of both accuracy (Hausdorff distance: 6.3 px versus 118.1 px) and computational time (Average runtime per frame: 0.13 ms versus 11.2 ms).


title: Multiscale multimesh finite element method | $\text{M}^2$-FEM: Hierarchical mesh-decoupling for integral structural theories

abstract: This study presents a generalized multiscale multimesh finite element method ($\text{M}^2$-FEM) that addresses several long-standing challenges in the numerical simulation of integral structural theories, often used to model multiscale and nonlocal effects. The major challenges in the numerical simulation of integral boundary value problems are primarily rooted in the coupling of the spatial discretization of the global (parent) and integral (child) domains which severely restricts the computational efficiency of existing algorithms by imposing an implicit trade-off in the accuracy achieved by the child domain and in the resources dedicated to the simulation of the overall parent domain. One of the most defining contributions of this study consists in the development of a mesh-decoupling technique that generates isolated sets of meshes such that the parent and child domains can be discretized and approximated independently. This mesh-decoupling has a multi-fold impact on the simulation of integral theories such that, when compared to existing state-of-the-art techniques, the proposed algorithm achieves simultaneously better numerical accuracy and efficiency (hence allowing a greater flexibility in both mesh size and computational cost trade-off decisions), greater ability to adopt generalized integral kernel functions, and the ability to handle non-regular (non-rectangular) domains via unstructured meshing. In this study, we choose a benchmark problem based on an extended version of the Eringen's nonlocal elasticity theory (implicitly, a multiscale theory) that leverages the use of generalized attenuation kernels and non-constant horizons of nonlocality. Nonetheless, the proposed $\text{M}^2$-FEM algorithm is very general and it can be applied to a variety of integral theories, even beyond structural elasticity.


title: Gradient profile for the reconnection of vortex lines with the boundary in type-II superconductors

abstract: In a recent work, Duong, Ghoul and Zaag determined the gradient profile for blowup solutions of standard semilinear heat equation with power nonlinearities in the (supposed to be) generic case. Their method refines the constructive techniques introduced by Bricmont and Kupiainen and further developed by Merle and Zaag. In this paper, we extend their refinement to the problem about the reconnection of vortex lines with the boundary in a type-II superconductor under planar approximation, a physical model derived by Chapman, Hunton and Ockendon featuring the finite time quenching for the nonlinear heat equation $$\frac{\partial h}{\partial t}=\frac{\partial^2 h}{\partial x^2}+e^{-h}-\frac{1}{h^\beta},\quad\beta>0$$ subject to initial boundary value conditions $$h(\cdot,0)=h_0>0,\quad h(\pm1,t)=1.$$ We derive the intermediate extinction profile with refined asymptotics, and with extinction time $T$ and extinction point $0$, the gradient profile behaves as $x\rightarrow0$ like $$\lim_{t\rightarrow T}\,(\nabla h)(x,t)\quad\sim\quad\frac{1}{\sqrt{2\beta}}\frac{x}{|x|}\frac{1}{\sqrt{|\log|x||}}\left[\frac{(\beta+1)^2}{8\beta}\frac{|x|^2}{|\log|x||}\right]^{\frac{1}{\beta+1}-\frac12},$$ agreeing with the gradient of the extinction profile previously derived by Merle and Zaag. Our result holds with general boundary conditions and in higher dimensions.


title: Unknown area exploration for robots with energy constraints using a modified Butterfly Optimization Algorithm

abstract: Butterfly Optimization Algorithm (BOA) is a recent metaheuristic that has been used in several optimization problems. In this paper, we propose a new version of the algorithm (xBOA) based on the crossover operator and compare its results to the original BOA and 3 other variants recently introduced in the literature. We also proposed a framework for solving the unknown area exploration problem with energy constraints using metaheuristics in both single- and multi-robot scenarios. This framework allowed us to benchmark the performances of different metaheuristics for the robotics exploration problem. We conducted several experiments to validate this framework and used it to compare the effectiveness of xBOA with wellknown metaheuristics used in the literature through 5 evaluation criteria. Although BOA and xBOA are not optimal in all these criteria, we found that BOA can be a good alternative to many metaheuristics in terms of the exploration time, while xBOA is more robust to local optima; has better fitness convergence; and achieves better exploration rates than the original BOA and its other variants.


title: Evaluation of Synthetically Generated CT for use in Transcranial Focused Ultrasound Procedures

abstract: Transcranial focused ultrasound (tFUS) is a therapeutic ultrasound method that focuses sound through the skull to a small region noninvasively and often under MRI guidance. CT imaging is used to estimate the acoustic properties that vary between individual skulls to enable effective focusing during tFUS procedures, exposing patients to potentially harmful radiation. A method to estimate acoustic parameters in the skull without the need for CT would be desirable. Here, we synthesized CT images from routinely acquired T1-weighted MRI by using a 3D patch-based conditional generative adversarial network (cGAN) and evaluated the performance of synthesized CT (sCT) images for treatment planning with tFUS. We compared the performance of sCT to real CT (rCT) images for tFUS planning using Kranion and simulations using the acoustic toolbox, k-Wave. Simulations were performed for 3 tFUS scenarios: 1) no aberration correction, 2) correction with phases calculated from Kranion, and 3) phase shifts calculated from time-reversal. From Kranion, skull density ratio, skull thickness, and number of active elements between rCT and sCT had Pearson's Correlation Coefficients of 0.94, 0.92, and 0.98, respectively. Among 20 targets, differences in simulated peak pressure between rCT and sCT were largest without phase correction (12.4$\pm$8.1%) and smallest with Kranion phases (7.3$\pm$6.0%). The distance between peak focal locations between rCT and sCT was less than 1.3 mm for all simulation cases. Real and synthetically generated skulls had comparable image similarity, skull measurements, and acoustic simulation metrics. Our work demonstrates the feasibility of replacing real CTs with the MR-synthesized CT for tFUS planning. Source code and a docker image with the trained model are available at https://github.com/han-liu/SynCT_TcMRgFUS


title: The small-$N$ series in the zero-dimensional $O(N)$ model: constructive expansions and transseries

abstract: We consider the 0-dimensional quartic $O(N)$ vector model and present a complete study of the partition function $Z(g,N)$ and its logarithm, the free energy $W(g,N)$, seen as functions of the coupling $g$ on a Riemann surface. Using constructive field theory techniques we prove that both $Z(g,N)$ and $W(g,N)$ are Borel summable functions along all the rays in the cut complex plane $\mathbb{C}_{\pi} =\mathbb{C}\setminus \mathbb{R}_-$. We recover the transseries expansion of $Z(g,N)$ using the intermediate field representation. We furthermore study the small-$N$ expansions of $Z(g,N)$ and $ W(g,N)$. For any $g=|g| e^{\imath \varphi}$ on the sector of the Riemann surface with $|\varphi|<3\pi/2$, the small-$N$ expansion of $Z(g,N)$ has infinite radius of convergence in $N$ while the expansion of $W(g,N)$ has a finite radius of convergence in $N$ for $g$ in a subdomain of the same sector. The Taylor coefficients of these expansions, $Z_n(g)$ and $W_n(g)$, exhibit analytic properties similar to $Z(g,N)$ and $W(g,N)$ and have transseries expansions. The transseries expansion of $Z_n(g)$ is readily accessible: much like $Z(g,N)$, for any $n$, $Z_n(g)$ has a zero- and a one-instanton contribution. The transseries of $W_n(g)$ is obtained using M\"oebius inversion and summing these transseries yields the transseries expansion of $W(g,N)$. The transseries of $W_n(g)$ and $W(g,N)$ are markedly different: while $W(g,N)$ displays contributions from arbitrarily many multi-instantons, $W_n(g)$ exhibits contributions of only up to $n$-instanton sectors.


title: Degree of irrationality of Fano threefold hypersurfaces

abstract: We study degree of irrationality of quasismooth anticanonically embedded weighted Fano 3-fold hypersurfaces that have terminal singularities.


title: $Hubble~Space~Telescope$ Reveals Spectacular Light Echoes Associated with the Stripped-envelope Supernova 2016adj in the Iconic Dust Lane of Centaurus A

abstract: We present a multi-band sequence of $Hubble~Space~Telescope$ images documenting the emergence and evolution of multiple light echoes (LEs) linked to the stripped-envelope supernova (SN) 2016adj located in the central dust-lane of Centaurus A. Following point-spread function subtraction, we identify the earliest LE emission associated with a SN at only $+$34 days (d) past the epoch of $B$-band maximum. Additional HST images extending through $+$578 d cover the evolution of LE1 taking the form of a ring, while images taken on $+$1991 d reveals not only LE1, but also segments of a new inner LE ring (LE2) as well as two additional outer LE rings (LE3 & LE4). Adopting the single scattering formalism, the angular radii of the LEs suggest they originate from discrete dust sheets in the foreground of the SN. This information, combined with measurements of color and optical depth of the scattering surfaces, informs a scenario with multiple sheets of clumpy dust characterized by a varying degree of holes. In this case, the larger the LE's angular radii, the further in the foreground of the SN its dust sheet is located. However, an exception to this is LE2, which is formed by a dust sheet located in closer proximity to the SN than the dust sheets producing LE1, LE3, and LE4. The delayed appearance of LE2 can be attributed to its dust sheet having a significant hole along the line-of-sight between the SN and Earth.


title: Inverse modeling of circular lattices via orbit response measurements in the presence of degeneracy

abstract: The number and relative placement of BPMs and steerers with respect to the quadrupoles in a circular lattice can lead to degeneracy in the context of inverse modeling of accelerator optics. Further, the measurement uncertainties introduced by beam position monitors can propagate by the inverse modeling process in ways that prohibit the successful estimation of model errors. In this contribution, the influence of BPM and steerer placement on the conditioning of the inverse problem is studied. An analytical version of the Jacobian, linking the quadrupole gradient errors along with BPM and steerer gain errors with the orbit response matrix, is derived. It is demonstrated that this analytical version of the Jacobian can be used in place of the numerically obtained Jacobian during the fitting procedure. The approach is first tested with simulations and the findings are verified by measurement data taken on SIS18 synchrotron at GSI. The results are crosschecked with the standard numerical Jacobian approach. The quadrupole errors causing tune discrepancies observed at SIS18 are identified.


title: Coordinate Descent for SLOPE

abstract: The lasso is the most famous sparse regression and feature selection method. One reason for its popularity is the speed at which the underlying optimization problem can be solved. Sorted L-One Penalized Estimation (SLOPE) is a generalization of the lasso with appealing statistical properties. In spite of this, the method has not yet reached widespread interest. A major reason for this is that current software packages that fit SLOPE rely on algorithms that perform poorly in high dimensions. To tackle this issue, we propose a new fast algorithm to solve the SLOPE optimization problem, which combines proximal gradient descent and proximal coordinate descent steps. We provide new results on the directional derivative of the SLOPE penalty and its related SLOPE thresholding operator, as well as provide convergence guarantees for our proposed solver. In extensive benchmarks on simulated and real data, we show that our method outperforms a long list of competing algorithms.


title: On K-moduli of quartic threefolds

abstract: The family of smooth Fano 3-folds with Picard rank 1 and anticanonical volume 4 consists of quartic 3-folds and of double covers of the 3-dimensional quadric branched along an octic surface. They can all be parametrised as complete intersections of a quadric and a quartic in the weighted projective space $\mathbb{P}(1,1,1,1,1,2)$, denoted by $X_{2,4} \subset \mathbb{P}(1^5,2)$; all such smooth complete intersections are K-stable. With the aim of investigating the compactification of the moduli space of quartic 3-folds given by K-stability, we exhibit three phenomena: (i) there exist K-polystable complete intersection $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$ Fano 3-folds which deform to quartic 3-folds and are neither quartic 3-folds nor double covers of quadric 3-folds - in other words, the closure of the locus parametrising complete intersections $X_{2,4}\subset \mathbb{P}(1^5,2)$ in the K-moduli contains elements that are not of this type; (ii) any quasi-smooth $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$ is K-polystable; (iii) the closure in the K-moduli space of the locus parametrising complete intersections $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$ which are not complete intersections $X_{2,4} \subset \mathbb{P}(1^5,2)$ contains only points which correspond to complete intersections $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$.


title: Development of linear functional arithmetic and its application to solving problems of interval analysis

abstract: The work is devoted to the construction of a new type of intervals -- functional intervals. These intervals are built on the idea of expanding boundaries from numbers to functions. Functional intervals have shown themselves to be promising for further study and use, since they have more rich algebraic properties compared to classical intervals lamy. In the work, linear functional arithmetic was constructed from one variable. This arithmetic was applied to solve such problems of interval analysis, as minimization of a function on an interval and finding zeros of a function on an interval. Results of numerical experiments for linear functional arithmetic showed a high order of convergence and a higher speed the growth of algorithms when using intervals of a new type, despite the fact that the calculations did not use information about derivative function. Also in the work, a modification of the minimization algorithms functions of several variables, based on the use of the function rational intervals of several variables. As a result, it was Improved speedup of algorithms, but only up to a certain number of unknowns.