title: Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem

abstract: We begin by explaining how any context-free grammar encodes a functor of operads from a freely generated operad into a certain "operad of spliced words". This motivates a more general notion of CFG over any category $C$, defined as a finite species $S$ equipped with a color denoting the start symbol and a functor of operads $p : Free[S] \to W[C]$ into the operad of spliced arrows in $C$. We show that many standard properties of CFGs can be formulated within this framework, and that usual closure properties of CF languages generalize to CF languages of arrows. We also discuss a dual fibrational perspective on the functor $p$ via the notion of "displayed" operad, corresponding to a lax functor of operads $W[C] \to Span(Set)$. We then turn to the Chomsky-Sch\"utzenberger Representation Theorem. We describe how a non-deterministic finite state automaton can be seen as a category $Q$ equipped with a pair of objects denoting initial and accepting states and a functor of categories $Q \to C$ satisfying the unique lifting of factorizations property and the finite fiber property. Then, we explain how to extend this notion of automaton to functors of operads, which generalize tree automata, allowing us to lift an automaton over a category to an automaton over its operad of spliced arrows. We show that every CFG over a category can be pulled back along a ND finite state automaton over the same category, and hence that CF languages are closed under intersection with regular languages. The last important ingredient is the identification of a left adjoint $C[-] : Operad \to Cat$ to the operad of spliced arrows functor, building the "contour category" of an operad. Using this, we generalize the C-S representation theorem, proving that any context-free language of arrows over a category $C$ is the functorial image of the intersection of a $C$-chromatic tree contour language and a regular language.


title: Searching for exotic Higgs bosons from top quark decays at the HL-LHC

abstract: Exotic spin-$0$ states with unusual couplings with the gauge and matter fields of the Standard Model are worth exploring at the CERN LHC. Though our approach is largely model independent, we take inspiration from flavor models based on some discrete symmetries which predict a set of a scalar and a pseudoscalar having purely off-diagonal Yukawa interactions with quarks and leptons. In a previous paper, some of us explored how to decipher such exotic scalar and pseudoscalar states whose off-diagonal Yukawa couplings involve light quarks. In this work we follow a complementary path and focus on the Yukawa couplings that necessarily involve a top quark. If one such spin-$0$ state is lighter than the top quark, then the rare decay of the latter, on account of the high yield of the $t\bar t$ events, could provide a potential hunting ground of those exotic states particularly during the high luminosity phase of the LHC run. We carry out an exhaustive collider analysis of some promising signatures of those exotic states using sophisticated Machine Learning techniques and obtain considerable signal significance.


title: Bort: Towards Explainable Neural Networks with Bounded Orthogonal Constraint

abstract: Deep learning has revolutionized human society, yet the black-box nature of deep neural networks hinders further application to reliability-demanded industries. In the attempt to unpack them, many works observe or impact internal variables to improve the comprehensibility and invertibility of the black-box models. However, existing methods rely on intuitive assumptions and lack mathematical guarantees. To bridge this gap, we introduce Bort, an optimizer for improving model explainability with boundedness and orthogonality constraints on model parameters, derived from the sufficient conditions of model comprehensibility and invertibility. We perform reconstruction and backtracking on the model representations optimized by Bort and observe a clear improvement in model explainability. Based on Bort, we are able to synthesize explainable adversarial samples without additional parameters and training. Surprisingly, we find Bort constantly improves the classification accuracy of various architectures including ResNet and DeiT on MNIST, CIFAR-10, and ImageNet. Code: https://github.com/zbr17/Bort.


title: A succinct characterization of period annuli in planar piecewise linear differential systems with a straight line of nonsmoothness

abstract: We close the problem of the existence of period annuli in planar piecewise linear differential systems with a straight line of nonsmoothness. In fact, a characterization for the existence of such objects is provided by means of a few basic operations on the parameters.


title: PlexiChain: A Secure Blockchain-based Flexibility Aggregator Framework

abstract: Flexible resources in built environments are seen as a low-cost opportunity for delivering grid management services. Consequently, the centralised aggregator model, where the aggregator is used to bundle demand flexibility from flexible resources and deliver it to flexibility customers such as Distributed/Transmission System Operator (DSO/TSO) in flexibility markets, has been adopted. However, the aggregator role introduces various security and trust challenges. In this work, we propose a blockchain-based flexibility trading framework dubbed PlexiChain to address the security and trust challenges the aggregator poses in the centralised aggregator model. The security evaluations performed using a real-world dataset show that PlexiChain is robust against known security attacks, such as MadIoT and False Data Injection attacks. Additionally, the performance evaluations show that PlexiChain has lower computation and communication costs than other blockchain-based applications in resource-constrained environments.


title: Electromagnetic energy loss of axion stars

abstract: The rate of energy exchange of spatially localized and gravitationally bound axion configurations with electromagnetic radiation is investigated in presence of strong static magnetic field. Fully analytic treatment is achieved based on variationally optimized separable spatio-temporal clump profiles. For dilute axion stars the equation of the energy variation is reinterpreted as a rate equation of the axion number. Its solutions hints to an asymptotic $\sim t^{1/5}$ increase of the clump size.


title: Property of upper bounds on the number of rich words

abstract: A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. Let $q\geq 2$ be the size of the alphabet. Let $R(n)$ be the number of rich words of length $n$. Let $d>1$ be a real constant and let $\phi, \psi$ be real functions such that \begin{itemize}\item there is $n_0$ such that $2\psi(2^{-1}\phi(n))\geq d\psi(n)$ for all $n>n_0$, \item $\frac{n}{\phi(n)}$ is an upper bound on the palindromic length of rich words of length $n$, and \item $\frac{x}{\psi(x)}+\frac{x\ln{(\phi(x))}}{\phi(x)}$ is a strictly increasing concave function. \end{itemize} We show that if $c_1,c_2$ are real constants and $R(n)\leq q^{c_1\frac{n}{\psi(n)}+c_2\frac{n\ln(\phi(n))}{\phi(n)}}$ then for every real constant $c_3>0$ there is a positive integer $n_0$ such that for all $n>n_0$ we have that \[R(n)\leq q^{(c_1+c_3)\frac{n}{d\psi(n)}+c_2\frac{n\ln(\phi(n))}{\phi(n)}(1+\frac{1}{c_2\ln{q}}+c_3)}\mbox{.}\]


title: Fine-Tuning Is All You Need to Mitigate Backdoor Attacks

abstract: Backdoor attacks represent one of the major threats to machine learning models. Various efforts have been made to mitigate backdoors. However, existing defenses have become increasingly complex and often require high computational resources or may also jeopardize models' utility. In this work, we show that fine-tuning, one of the most common and easy-to-adopt machine learning training operations, can effectively remove backdoors from machine learning models while maintaining high model utility. Extensive experiments over three machine learning paradigms show that fine-tuning and our newly proposed super-fine-tuning achieve strong defense performance. Furthermore, we coin a new term, namely backdoor sequela, to measure the changes in model vulnerabilities to other attacks before and after the backdoor has been removed. Empirical evaluation shows that, compared to other defense methods, super-fine-tuning leaves limited backdoor sequela. We hope our results can help machine learning model owners better protect their models from backdoor threats. Also, it calls for the design of more advanced attacks in order to comprehensively assess machine learning models' backdoor vulnerabilities.


title: Style-Hallucinated Dual Consistency Learning: A Unified Framework for Visual Domain Generalization

abstract: Domain shift widely exists in the visual world, while modern deep neural networks commonly suffer from severe performance degradation under domain shift due to the poor generalization ability, which limits the real-world applications. The domain shift mainly lies in the limited source environmental variations and the large distribution gap between source and unseen target data. To this end, we propose a unified framework, Style-HAllucinated Dual consistEncy learning (SHADE), to handle such domain shift in various visual tasks. Specifically, SHADE is constructed based on two consistency constraints, Style Consistency (SC) and Retrospection Consistency (RC). SC enriches the source situations and encourages the model to learn consistent representation across style-diversified samples. RC leverages general visual knowledge to prevent the model from overfitting to source data and thus largely keeps the representation consistent between the source and general visual models. Furthermore, we present a novel style hallucination module (SHM) to generate style-diversified samples that are essential to consistency learning. SHM selects basis styles from the source distribution, enabling the model to dynamically generate diverse and realistic samples during training. Extensive experiments demonstrate that our versatile SHADE can significantly enhance the generalization in various visual recognition tasks, including image classification, semantic segmentation and object detection, with different models, i.e., ConvNets and Transformer.


title: Masked Wavelet Representation for Compact Neural Radiance Fields

abstract: Neural radiance fields (NeRF) have demonstrated the potential of coordinate-based neural representation (neural fields or implicit neural representation) in neural rendering. However, using a multi-layer perceptron (MLP) to represent a 3D scene or object requires enormous computational resources and time. There have been recent studies on how to reduce these computational inefficiencies by using additional data structures, such as grids or trees. Despite the promising performance, the explicit data structure necessitates a substantial amount of memory. In this work, we present a method to reduce the size without compromising the advantages of having additional data structures. In detail, we propose using the wavelet transform on grid-based neural fields. Grid-based neural fields are for fast convergence, and the wavelet transform, whose efficiency has been demonstrated in high-performance standard codecs, is to improve the parameter efficiency of grids. Furthermore, in order to achieve a higher sparsity of grid coefficients while maintaining reconstruction quality, we present a novel trainable masking approach. Experimental results demonstrate that non-spatial grid coefficients, such as wavelet coefficients, are capable of attaining a higher level of sparsity than spatial grid coefficients, resulting in a more compact representation. With our proposed mask and compression pipeline, we achieved state-of-the-art performance within a memory budget of 2 MB. Our code is available at https://github.com/daniel03c1/masked_wavelet_nerf.


title: Generating functions of multiple $t$-star values

abstract: In this paper, we study the generating functions of multiple $t$-star values with an arbitrary number of blocks of twos, which are based on the results of the corresponding generating functions of multiple $t$-harmonic star sums. These generating functions can deduce an explicit expression of multiple $t$-star values. As applications, we obtain some evaluations of multiple $t$-star values with one-two-three or more general indices.


title: Disentangling Learnable and Memorizable Data via Contrastive Learning for Semantic Communications

abstract: Achieving artificially intelligent-native wireless networks is necessary for the operation of future 6G applications such as the metaverse. Nonetheless, current communication schemes are, at heart, a mere reconstruction process that lacks reasoning. One key solution that enables evolving wireless communication to a human-like conversation is semantic communications. In this paper, a novel machine reasoning framework is proposed to pre-process and disentangle source data so as to make it semantic-ready. In particular, a novel contrastive learning framework is proposed, whereby instance and cluster discrimination are performed on the data. These two tasks enable increasing the cohesiveness between data points mapping to semantically similar content elements and disentangling data points of semantically different content elements. Subsequently, the semantic deep clusters formed are ranked according to their level of confidence. Deep semantic clusters of highest confidence are considered learnable, semantic-rich data, i.e., data that can be used to build a language in a semantic communications system. The least confident ones are considered, random, semantic-poor, and memorizable data that must be transmitted classically. Our simulation results showcase the superiority of our contrastive learning approach in terms of semantic impact and minimalism. In fact, the length of the semantic representation achieved is minimized by 57.22% compared to vanilla semantic communication systems, thus achieving minimalist semantic representations.


title: Let's Negotiate! A Survey of Negotiation Dialogue Systems

abstract: Negotiation is one of the crucial abilities in human communication, and there has been a resurgent research interest in negotiation dialogue systems recently, which goal is to empower intelligent agents with such ability that can efficiently help humans resolve conflicts or reach beneficial agreements. Although there have been many explorations in negotiation dialogue systems, a systematic review of this task has to date remained notably absent. To this end, we aim to fill this gap by reviewing contemporary studies in the emerging field of negotiation dialogue systems, covering benchmarks, evaluations, and methodologies. Furthermore, we also discuss potential future directions, including multi-modal, multi-party, and cross-cultural negotiation scenarios. Our goal is to provide the community with a systematic overview of negotiation dialogue systems and to inspire future research.


title: Upper Bounds on the Distillable Randomness of Bipartite Quantum States

abstract: The distillable randomness of a bipartite quantum state is an information-theoretic quantity equal to the largest net rate at which shared randomness can be distilled from the state by means of local operations and classical communication. This quantity has been widely used as a measure of classical correlations, and one version of it is equal to the regularized Holevo information of the ensemble that results from measuring one share of the state. However, due to the regularization, the distillable randomness is difficult to compute in general. To address this problem, we define measures of classical correlations and prove a number of their properties, most importantly that they serve as upper bounds on the distillable randomness of an arbitrary bipartite state. We then further bound these measures from above by some that are efficiently computable by means of semi-definite programming, we evaluate one of them for the example of an isotropic state, and we remark on the relation to quantities previously proposed in the literature.


title: On Borel's stable range of the twisted cohomology of $\mathrm{GL}(n,\mathbb{Z})$

abstract: Borel's stability and vanishing theorem gives the stable cohomology of $\mathrm{GL}(n,\mathbb{Z})$ with coefficients in algebraic $\mathrm{GL}(n,\mathbb{Z})$-representations. We compute the improved stable range that Borel remarked about. In order to further improve Borel's stable range, we adapt the method of Kupers-Miller-Patzt to any algebraic $\mathrm{GL}(n,\mathbb{Z})$-representations.


title: A Miniaturized Design of Drift Tube Ion Mobility Spectrometry

abstract: The drift tube ion mobility spectrometry (DTIMS) is a device used to detect trace chemicals, and its miniaturized design is always desired in practice engineering. In previous studies, little attention has been paid to the reaction region of the DTIMS in the miniaturization design. In this letter, a series of electrodes with uniform interval is introduced in the reaction region to achieve miniaturization of the device. It is found that the added electrodes enlarge the effective coverage area of the ion swarms in front of the TP shutter and increase the concentration of ions entering the drift region within the pulse period, which can effectively reduce the overall size of the device. In addition, the effect of the thickness-to-interval (T/I) ratio of electrodes is investigated and optimized, and the resolution of the DTIMS is significantly improved with appropriate T/I ratio despite its compact size. The prototype of the device is fabricated, and the size of the DTIMS is reduced by about 50%, while the measured resolution is improved by 80% as compared with the existing commercial product.


title: Development of Scientific Skills via IYPT -- How does YPT participation lead to hard-skill development?

abstract: The Young Physicists' Tournament (YPT) inspires high-school students to immerse themselves into an inquiry process closely resembling the real physics research. Using questionnaires' replies from the students and their teachers engaged in YPT, we investigated how the preparation for YPT contributes to the development of hard - scientific - skills of the students, and how it compares to regular classes and other activities.


title: Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

abstract: We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop production. There, jobs can only be processed by dedicated machines, thus few machines can determine the makespan almost regardless of how jobs are scheduled on the remaining ones. This causes problems when machines fail and jobs need to be rescheduled. Instead of optimising only the makespan, we put the individual machine spans in non-ascending order and lexicographically minimise the resulting tuples. This achieves that all machines complete as early as possible and increases the robustness of the schedule. We study the application of Answer-Set Programming (ASP) to solve this problem. While ASP eases modelling, the combination of timing constraints and the considered objective function challenges current solving technology. The former issue is addressed by using an extension of ASP by difference logic. For the latter, we devise different algorithms that use multi-shot solving. To tackle industrial-sized instances, we study different approximations and heuristics. Our experimental results show that ASP is indeed a promising KRR paradigm for this problem and is competitive with state-of-the-art CP and MIP solvers. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Multi-embodiment Legged Robot Control as a Sequence Modeling Problem

abstract: Robots are traditionally bounded by a fixed embodiment during their operational lifetime, which limits their ability to adapt to their surroundings. Co-optimizing control and morphology of a robot, however, is often inefficient due to the complex interplay between the controller and morphology. In this paper, we propose a learning-based control method that can inherently take morphology into consideration such that once the control policy is trained in the simulator, it can be easily deployed to robots with different embodiments in the real world. In particular, we present the Embodiment-aware Transformer (EAT), an architecture that casts this control problem as conditional sequence modeling. EAT outputs the optimal actions by leveraging a causally masked Transformer. By conditioning an autoregressive model on the desired robot embodiment, past states, and actions, our EAT model can generate future actions that best fit the current robot embodiment. Experimental results show that EAT can outperform all other alternatives in embodiment-varying tasks, and succeed in an example of real-world evolution tasks: stepping down a stair through updating the morphology alone. We hope that EAT will inspire a new push toward real-world evolution across many domains, where algorithms like EAT can blaze a trail by bridging the field of evolutionary robotics and big data sequence modeling.


title: Stellar Coronal Mass Ejections

abstract: Stellar coronal mass ejections (CMEs) are a growing research field, especially during the past decade. The large number of so far detected exoplanets raises the open question for the CME activity of stars, as CMEs may strongly affect exoplanetary atmospheres. In addition, as CMEs contribute to stellar mass- and angular momentum loss and are therefore relevant for stellar evolution, there is need for a better characterization of this phenomenon. In this article we review the different methodologies used up to now to attempt the detection of stellar CMEs. We discuss the limitations of the different methodologies and conclude with possible future perspectives of this research field.


title: Synthesis and Evaluation of a Domain-specific Large Data Set for Dungeons & Dragons

abstract: This paper introduces the Forgotten Realms Wiki (FRW) data set and domain specific natural language generation using FRW along with related analyses. Forgotten Realms is the de-facto default setting of the popular open ended tabletop fantasy role playing game, Dungeons & Dragons. The data set was extracted from the Forgotten Realms Fandom wiki consisting of more than over 45,200 articles. The FRW data set is constituted of 11 sub-data sets in a number of formats: raw plain text, plain text annotated by article title, directed link graphs, wiki info-boxes annotated by the wiki article title, Poincar\'e embedding of first link graph, multiple Word2Vec and Doc2Vec models of the corpus. This is the first data set of this size for the Dungeons & Dragons domain. We then present a pairwise similarity comparison benchmark which utilizes similarity measures. In addition, we perform D&D domain specific natural language generation using the corpus and evaluate the named entity classification with respect to the lore of Forgotten Realms.


title: Riemannian Optimization for Variance Estimation in Linear Mixed Models

abstract: Variance parameter estimation in linear mixed models is a challenge for many classical nonlinear optimization algorithms due to the positive-definiteness constraint of the random effects covariance matrix. We take a completely novel view on parameter estimation in linear mixed models by exploiting the intrinsic geometry of the parameter space. We formulate the problem of residual maximum likelihood estimation as an optimization problem on a Riemannian manifold. Based on the introduced formulation, we give geometric higher-order information on the problem via the Riemannian gradient and the Riemannian Hessian. Based on that, we test our approach with Riemannian optimization algorithms numerically. Our approach yields a higher quality of the variance parameter estimates compared to existing approaches.


title: On the Connection between Invariant Learning and Adversarial Training for Out-of-Distribution Generalization

abstract: Despite impressive success in many tasks, deep learning models are shown to rely on spurious features, which will catastrophically fail when generalized to out-of-distribution (OOD) data. Invariant Risk Minimization (IRM) is proposed to alleviate this issue by extracting domain-invariant features for OOD generalization. Nevertheless, recent work shows that IRM is only effective for a certain type of distribution shift (e.g., correlation shift) while it fails for other cases (e.g., diversity shift). Meanwhile, another thread of method, Adversarial Training (AT), has shown better domain transfer performance, suggesting that it has the potential to be an effective candidate for extracting domain-invariant features. This paper investigates this possibility by exploring the similarity between the IRM and AT objectives. Inspired by this connection, we propose Domainwise Adversarial Training (DAT), an AT-inspired method for alleviating distribution shift by domain-specific perturbations. Extensive experiments show that our proposed DAT can effectively remove domain-varying features and improve OOD generalization under both correlation shift and diversity shift.


title: Influence-Based Mini-Batching for Graph Neural Networks

abstract: Using graph neural networks for large graphs is challenging since there is no clear way of constructing mini-batches. To solve this, previous methods have relied on sampling or graph clustering. While these approaches often lead to good training convergence, they introduce significant overhead due to expensive random data accesses and perform poorly during inference. In this work we instead focus on model behavior during inference. We theoretically model batch construction via maximizing the influence score of nodes on the outputs. This formulation leads to optimal approximation of the output when we do not have knowledge of the trained model. We call the resulting method influence-based mini-batching (IBMB). IBMB accelerates inference by up to 130x compared to previous methods that reach similar accuracy. Remarkably, with adaptive optimization and the right training schedule IBMB can also substantially accelerate training, thanks to precomputed batches and consecutive memory accesses. This results in up to 18x faster training per epoch and up to 17x faster convergence per runtime compared to previous methods.


title: Congruence subgroups and crystallographic quotients of small Coxeter groups

abstract: Small Coxeter groups are precisely the ones for which the Tits representation is integral, which makes the study of their congruence subgroups relevant. The symmetric group $S_n$ has three natural extensions, namely, the braid group $B_n$, the twin group $T_n$ and the triplet group $L_n$. The latter two groups are small Coxeter groups, and play the role of braid groups under the Alexander-Markov correspondence for appropriate knot theories, with their pure subgroups admitting suitable hyperplane arrangements as Eilenberg-MacLane spaces. In this paper, we prove that the congruence subgroup property fails for infinite small Coxeter groups which are not virtually abelian. As an application, we deduce that the congruence subgroup property fails for both $T_n$ and $L_n$ when $n \ge 4$. We also determine subquotients of principal congruence subgroups of $T_n$, and identify the pure twin group $PT_n$ and the pure triplet group $PL_n$ with suitable principal congruence subgroups. Further, we investigate crystallographic quotients of these two families of small Coxeter groups, and prove that $T_n /PT_n^{'}$, $T_n/T_n^{''}$ and $L_n /PL_n^{'}$ are crystallographic groups. We also determine crystallographic dimensions of these groups and identify the holonomy representation of $T_n/T_n^{''}$.


title: Electronic and valleytronic properties of crystalline boron-arsenide tuned by strain and disorder

abstract: Ab initio density functional theory (DFT) and DFT plus coherent potential approximation (DFT+CPA) are employed to reveal, respectively, the effect of in-plane strain and site-diagonal disorder on the electronic structure of cubic boron arsenide (BAs). It is demonstrated that tensile strain and static diagonal disorder both reduce the semiconducting one-particle band gap of BAs, and a V-shaped p-band electronic state emerges -- enabling advanced valleytronics based on strained and disordered semiconducting bulk crystals. At biaxial tensile strains close to 15% the valence band lineshape relevant for optoelectronics is shown to coincide with one reported for GaAs at low energies. The role played by static disorder on the As sites is to promote p-type conductivity in the unstrained BAs bulk crystal, consistent with experimental observations. These findings illuminate the intricate and interdependent changes in crystal structure and lattice disorder on the electronic degrees of freedom of semiconductors and semimetals.


title: PVGRU: Generating Diverse and Relevant Dialogue Responses via Pseudo-Variational Mechanism

abstract: We investigate response generation for multi-turn dialogue in generative-based chatbots. Existing generative models based on RNNs (Recurrent Neural Networks) usually employ the last hidden state to summarize the sequences, which makes models unable to capture the subtle variability observed in different dialogues and cannot distinguish the differences between dialogues that are similar in composition. In this paper, we propose a Pseudo-Variational Gated Recurrent Unit (PVGRU) component without posterior knowledge through introducing a recurrent summarizing variable into the GRU, which can aggregate the accumulated distribution variations of subsequences. PVGRU can perceive the subtle semantic variability through summarizing variables that are optimized by the devised distribution consistency and reconstruction objectives. In addition, we build a Pseudo-Variational Hierarchical Dialogue (PVHD) model based on PVGRU. Experimental results demonstrate that PVGRU can broadly improve the diversity and relevance of responses on two benchmark datasets.


title: Finite Birational extension with stable conductor

abstract: Let $S$ be a module finite birational extension of a $1$-dimensional local Cohen--Macaulay ring $R$. When is the conductor of $S$ in $R$ a stable ideal? If $R$ is also generically Gorenstein, then we show that the conductor of $S$ in $R$ is a stable ideal, and $S$ is a reflexive $R$-module if and only if $\Omega \operatorname{CM}(S)=\operatorname{CM}(S)\cap \Omega \operatorname{CM}(R)$.


title: LR-CSNet: Low-Rank Deep Unfolding Network for Image Compressive Sensing

abstract: Deep unfolding networks (DUNs) have proven to be a viable approach to compressive sensing (CS). In this work, we propose a DUN called low-rank CS network (LR-CSNet) for natural image CS. Real-world image patches are often well-represented by low-rank approximations. LR-CSNet exploits this property by adding a low-rank prior to the CS optimization task. We derive a corresponding iterative optimization procedure using variable splitting, which is then translated to a new DUN architecture. The architecture uses low-rank generation modules (LRGMs), which learn low-rank matrix factorizations, as well as gradient descent and proximal mappings (GDPMs), which are proposed to extract high-frequency features to refine image details. In addition, the deep features generated at each reconstruction stage in the DUN are transferred between stages to boost the performance. Our extensive experiments on three widely considered datasets demonstrate the promising performance of LR-CSNet compared to state-of-the-art methods in natural image CS.


title: High-Resolution Spectroscopy in the 11.6-15 {\mu}m Range by a Quasi-cw Difference-Frequency-Generation Laser Source

abstract: We report an approach for high-resolution spectroscopy using a widely tunable laser emitting in the molecular fingerprint region. The laser is based on difference-frequency generation (DFG) in a nonlinear orientation-patterned GaAs crystal. The signal laser, a CO2 gas laser, is operated in a kHz-pulsed mode while the pump laser, an external-cavity quantum cascade laser, is finely mode-hop-free tuned. The idler radiation covers a spectral range of 11.6 - 15 {\mu}m with a laser linewidth of 2.3 MHz. We showcase the versatility and the potential for molecular fingerprinting of the developed DFG laser source by resolving the absorption features of a mixture of several species in the long-wavelength mid-infrared. Furthermore, exploiting the wide tunability and resolution of the spectrometer, we resolve the broadband absorption spectrum of ethylene (C2H4) over 13 - 14.2 {\mu}m and quantify the self-broadening coefficients of some selected spectral lines.


title: Exploring Workplace Behaviors through Speaking Patterns using Large-scale Multimodal Wearable Recordings: A Study of Healthcare Providers

abstract: Interpersonal spoken communication is central to human interaction and the exchange of information. Such interactive processes involve not only speech and spoken language but also non-verbal cues such as hand gestures, facial expressions, and nonverbal vocalization, that are used to express feelings and provide feedback. These multimodal communication signals carry a variety of information about the people: traits like gender and age as well as about physical and psychological states and behavior. This work uses wearable multimodal sensors to investigate interpersonal communication behaviors focusing on speaking patterns among healthcare providers with a focus on nurses. We analyze longitudinal data collected from $99$ nurses in a large hospital setting over ten weeks. The results indicate that speaking pattern differences across shift schedules and working units. Moreover, results show that speaking patterns combined with physiological measures can be used to predict affect measures and life satisfaction scores. The implementation of this work can be accessed at https://github.com/usc-sail/tiles-audio-arousal.


title: A convergent numerical algorithm for the stochastic growth-fragmentation problem

abstract: The stochastic growth-fragmentation model describes the temporal evolution of a structured cell population through a discrete-time and continuous-state Markov chain. The simulations of this stochastic process and its invariant measure are of interest. In this paper, we propose a numerical scheme for both the simulation of the process and the computation of the invariant measure, and show that under appropriate assumptions, the numerical chain converges to the continuous growth-fragmentation chain with an explicit error bound. With a triangle inequality argument, we are also able to quantitatively estimate the distance between the invariant measures of these two Markov chains.


title: The NA60+ experiment at the CERN SPS to study dilepton and heavy quark production at large $\mu_{B}$

abstract: The region of high baryonic densities of the QCD phase diagram is the object of several studies focused on the investigation of the order of the phase transition and the search for the critical point. The rare probes, which include electromagnetic observables and heavy quark production, are experimentally challenging to access as they require large integrated luminosities that could be studied with fixed-target experiments. A future experiment, NA60+ at CERN, is being proposed to access this region and perform accurate measurements of the dimuon spectrum up to the charmonium region and study charm and strange hadrons. With its high beam intensity, the CERN SPS can cover the center-of-mass collision energy region from 6 to 17 GeV providing access to rare observables which have been scarcely studied until now. The proposed experiment includes a muon spectrometer based on tracking gas detectors coupled to a vertex spectrometer based on Si detectors. The time slot after the Long Shutdown 3 of the LHC (past 2029) is aimed for the first data-taking, with Pb and proton beams. In this contribution, we review the project and recent R&D effort, including the technical aspects and the studies of the physics performances for the observables.


title: A Degree Based Approximation of an SIR Model with Contact Tracing and Isolation

abstract: In this paper we study a susceptible infectious recovered (SIR) model with asymptomatic patients, contact tracing and isolation on a configuration network. Using degree based approximation, we derive a system of differential equations for this model. This system can not be solved analytically. We present an early-time analysis for the model. The early-time analysis produces an epidemic threshold. On one side of the threshold, the disease dies out quickly. On the other side, a significant fraction of the population are infected. The threshold only depends on the parameters of the disease, the mean access degree of the network, and the fraction of asymptomatic patients. The threshold does not depend on the parameter of contact tracing and isolation policy. We present an approximate analysis which greatly reduces computational complexity. The nonlinear system derived from the approximation is not almost linear. We present a stability analysis for this system. We simulate the SIR model with contact tracing and isolation on five real-world networks. Simulation results show that contact tracing and isolation are useful to contain epidemics.


title: Cosmological gravity probes: connecting recent theoretical developments to forthcoming observations

abstract: Since the discovery of the accelerated expansion of the present Universe, significant theoretical developments have been made in the area of modified gravity. In the meantime, cosmological observations have been providing more high-quality data, allowing us to explore gravity on cosmological scales. To bridge the recent theoretical developments and observations, we present an overview of a variety of modified theories of gravity and the cosmological observables in the cosmic microwave background and large-scale structure, supplemented with a summary of predictions for cosmological observables derived from cosmological perturbations and sophisticated numerical studies. We specifically consider scalar-tensor theories in the Horndeski and DHOST family, massive gravity/bigravity, vector-tensor theories, metric-affine gravity, and cuscuton/minimally-modified gravity, and discuss the current status of those theories with emphasis on their physical motivations, validity, appealing features, the level of maturity, and calculability. We conclude that the Horndeski theory is one of the most well-developed theories of modified gravity, although several remaining issues are left for future observations. The paper aims to help to develop strategies for testing gravity with ongoing and forthcoming cosmological observations.


title: Rethinking the Role of Scale for In-Context Learning: An Interpretability-based Case Study at 66 Billion Scale

abstract: Language models have been shown to perform better with an increase in scale on a wide variety of tasks via the in-context learning paradigm. In this paper, we investigate the hypothesis that the ability of a large language model to in-context learn-perform a task is not uniformly spread across all of its underlying components. Using a 66 billion parameter language model (OPT-66B) across a diverse set of 14 downstream tasks, we find this is indeed the case: $\sim$70% of attention heads and $\sim$20% of feed forward networks can be removed with minimal decline in task performance. We find substantial overlap in the set of attention heads (un)important for in-context learning across tasks and number of in-context examples. We also address our hypothesis through a task-agnostic lens, finding that a small set of attention heads in OPT-66B score highly on their ability to perform primitive induction operations associated with in-context learning, namely, prefix matching and copying. These induction heads overlap with task-specific important heads, reinforcing arguments by Olsson et al. (arXiv:2209.11895) regarding induction head generality to more sophisticated behaviors associated with in-context learning. Overall, our study provides several insights that indicate large language models may be under-trained for in-context learning and opens up questions on how to pre-train language models to more effectively perform in-context learning.


title: FileDAG: A Multi-Version Decentralized Storage Network Built on DAG-based Blockchain

abstract: Decentralized Storage Networks (DSNs) can gather storage resources from mutually untrusted providers and form worldwide decentralized file systems. Compared to traditional storage networks, DSNs are built on top of blockchains, which can incentivize service providers and ensure strong security. However, existing DSNs face two major challenges. First, deduplication can only be achieved at the directory-level. Missing file-level deduplication leads to unavoidable extra storage and bandwidth cost. Second, current DSNs realize file indexing by storing extra metadata while blockchain ledgers are not fully exploited. To overcome these problems, we propose FileDAG, a DSN built on DAG-based blockchain to support file-level deduplication in storing multi-versioned files. When updating files, we adopt an increment generation method to calculate and store only the increments instead of the entire updated files. Besides, we introduce a two-layer DAG-based blockchain ledger, by which FileDAG can provide flexible and storage-saving file indexing by directly using the blockchain database without incurring extra storage overhead. We implement FileDAG and evaluate its performance with extensive experiments. The results demonstrate that FileDAG outperforms the state-of-the-art industrial DSNs considering storage cost and latency.


title: Continual Knowledge Distillation for Neural Machine Translation

abstract: While many parallel corpora are not publicly accessible for data copyright, data privacy and competitive differentiation reasons, trained translation models are increasingly available on open platforms. In this work, we propose a method called continual knowledge distillation to take advantage of existing translation models to improve one model of interest. The basic idea is to sequentially transfer knowledge from each trained model to the distilled model. Extensive experiments on Chinese-English and German-English datasets show that our method achieves significant and consistent improvements over strong baselines under both homogeneous and heterogeneous trained model settings and is robust to malicious models.


title: Mask-FPAN: Semi-Supervised Face Parsing in the Wild With De-Occlusion and UV GAN

abstract: Fine-grained semantic segmentation of a person's face and head, including facial parts and head components, has progressed a great deal in recent years. However, it remains a challenging task, whereby considering ambiguous occlusions and large pose variations are particularly difficult. To overcome these difficulties, we propose a novel framework termed Mask-FPAN. It uses a de-occlusion module that learns to parse occluded faces in a semi-supervised way. In particular, face landmark localization, face occlusionstimations, and detected head poses are taken into account. A 3D morphable face model combined with the UV GAN improves the robustness of 2D face parsing. In addition, we introduce two new datasets named FaceOccMask-HQ and CelebAMaskOcc-HQ for face paring work. The proposed Mask-FPAN framework addresses the face parsing problem in the wild and shows significant performance improvements with MIOU from 0.7353 to 0.9013 compared to the state-of-the-art on challenging face datasets.


title: On the design of energy-decaying momentum-conserving integrator for nonlinear dynamics using energy splitting and perturbation techniques

abstract: This work proposes a suite of numerical techniques to facilitate the design of structure-preserving integrators for nonlinear dynamics. The celebrated LaBudde-Greenspan integrator and various energy-momentum schemes adopt a difference quotient formula in their algorithmic force definitions, which suffers from numerical instability as the denominator gets close to zero. There is a need to develop structure-preserving integrators without invoking the quotient formula. In this work, the potential energy of a Hamiltonian system is split into two parts, and specially developed quadrature rules are applied separately to them. The resulting integrators can be regarded as classical ones perturbed with first- or second-order terms, and the energy split guarantees the dissipative nature in the numerical residual. In the meantime, the conservation of invariants is respected in the design. A complete analysis of the proposed integrators is given, with representative numerical examples provided to demonstrate their performance. They can be used either independently as energy-decaying and momentum-conserving schemes for nonlinear problems or as an alternate option with a conserving integrator, such as the LaBudde-Greenspan integrator, when the numerical instability in the difference quotient is detected.


title: SPARF: Large-Scale Learning of 3D Sparse Radiance Fields from Few Input Images

abstract: Recent advances in Neural Radiance Fields (NeRFs) treat the problem of novel view synthesis as Sparse Radiance Field (SRF) optimization using sparse voxels for efficient and fast rendering (plenoxels,InstantNGP). In order to leverage machine learning and adoption of SRFs as a 3D representation, we present SPARF, a large-scale ShapeNet-based synthetic dataset for novel view synthesis consisting of $\sim$ 17 million images rendered from nearly 40,000 shapes at high resolution (400 X 400 pixels). The dataset is orders of magnitude larger than existing synthetic datasets for novel view synthesis and includes more than one million 3D-optimized radiance fields with multiple voxel resolutions. Furthermore, we propose a novel pipeline (SuRFNet) that learns to generate sparse voxel radiance fields from only few views. This is done by using the densely collected SPARF dataset and 3D sparse convolutions. SuRFNet employs partial SRFs from few/one images and a specialized SRF loss to learn to generate high-quality sparse voxel radiance fields that can be rendered from novel views. Our approach achieves state-of-the-art results in the task of unconstrained novel view synthesis based on few views on ShapeNet as compared to recent baselines. The SPARF dataset is made public with the code and models on the project website https://abdullahamdi.com/sparf/ .


title: The endomorphism algebras of silting complexes of graded gentle algebras via geometric models

abstract: In this paper, we study the endomorphism algebras of silting complexes of graded gentle algebras by its geometric model of the derived categories. As an application, we give a complete classification of the silted algebras, which were introduced by Buan and Zhou as the endomorphism algebras of 2-term silting complexes of finite-dimensional hereditary algebras, of Dynkin type $\mathbb{A}_n$ with linearly orientation.


title: Face Generation and Editing with StyleGAN: A Survey

abstract: Our goal with this survey is to provide an overview of the state of the art deep learning methods for face generation and editing using StyleGAN. The survey covers the evolution of StyleGAN, from PGGAN to StyleGAN3, and explores relevant topics such as suitable metrics for training, different latent representations, GAN inversion to latent spaces of StyleGAN, face image editing, cross-domain face stylization, face restoration, and even Deepfake applications. We aim to provide an entry point into the field for readers that have basic knowledge about the field of deep learning and are looking for an accessible introduction and overview.


title: Skyglow inside your eyes: intraocular scattering and artificial brightness of the night sky

abstract: The visual perception of the natural night sky in many places of the world is strongly disturbed by anthropogenic light. Part of this artificial light is scattered in the atmosphere and propagates towards the observer, adding to the natural brightness and producing a light polluted sky. However, atmospheric scattering is not the only mechanism contributing to increase the visual skyglow. The rich and diverse biological media forming the human eye also scatter light very efficiently and contribute, in some cases to a big extent, to the total sky brightness detected by the retinal photoreceptors. In this paper we quantify this effect and assess its relevance when the eye pupil is illuminated by light sources within the visual field. Our results show that intraocular scattering constitutes a significant part of the perceived sky brightness at short distances from streetlights. These results provide quantitative support to the everyday experience that substantial gains in naked-eye star limiting magnitudes can be achieved by blocking the direct light from the lamps that reaches the eye pupil. Urban lighting designs that reduce the illuminance over the eye pupil and locate the sources at large angles with respect to the visual axis are expected to help decreasing the artificial intraocular skyglow.


title: LaSQuE: Improved Zero-Shot Classification from Explanations Through Quantifier Modeling and Curriculum Learning

abstract: A hallmark of human intelligence is the ability to learn new concepts purely from language. Several recent approaches have explored training machine learning models via natural language supervision. However, these approaches fall short in leveraging linguistic quantifiers (such as 'always' or 'rarely') and mimicking humans in compositionally learning complex tasks. Here, we present LaSQuE, a method that can learn zero-shot classifiers from language explanations by using three new strategies - (1) modeling the semantics of linguistic quantifiers in explanations (including exploiting ordinal strength relationships, such as 'always' > 'likely'), (2) aggregating information from multiple explanations using an attention-based mechanism, and (3) model training via curriculum learning. With these strategies, LaSQuE outperforms prior work, showing an absolute gain of up to 7% in generalizing to unseen real-world classification tasks.


title: There are no strictly shod algebras in hereditary gentle algebras

abstract: We prove that there are no strictly shod algebras in hereditary gentle algebras by geometric models.


title: $L_{1}$- Properties of vector-valued Banach algebras

abstract: Let $G$ be a locally compact group and $A$ be a commutative semisimple Banach algebra over the scalar field $\mathbb{C}$. The correlation between different types of $BSE$- Banach algebras $A$, and the Banach algebras $L^{1}(G, A)$ are assessed. It is found and approved that $M(G, A) = L^{1}(G, A)$ if and only if $G$ is discrete. Furthermore, some properties of vector-valued measure algebras on groups are given, so that $M(G, A)$ is a convolution measure algebra.


title: A Framework for Generalizing Critical Heat Flux Detection Models Using Unsupervised Image-to-Image Translation

abstract: The detection of critical heat flux (CHF) is crucial in heat boiling applications as failure to do so can cause rapid temperature ramp leading to device failures. Many machine learning models exist to detect CHF, but their performance reduces significantly when tested on data from different domains. To deal with datasets from new domains a model needs to be trained from scratch. Moreover, the dataset needs to be annotated by a domain expert. To address this issue, we propose a new framework to support the generalizability and adaptability of trained CHF detection models in an unsupervised manner. This approach uses an unsupervised Image-to-Image (UI2I) translation model to transform images in the target dataset to look like they were obtained from the same domain the model previously trained on. Unlike other frameworks dealing with domain shift, our framework does not require retraining or fine-tuning of the trained classification model nor does it require synthesized datasets in the training process of either the classification model or the UI2I model. The framework was tested on three boiling datasets from different domains, and we show that the CHF detection model trained on one dataset was able to generalize to the other two previously unseen datasets with high accuracy. Overall, the framework enables CHF detection models to adapt to data generated from different domains without requiring additional annotation effort or retraining of the model.


title: A Permutation-Free Kernel Independence Test

abstract: In nonparametric independence testing, we observe i.i.d.\ data $\{(X_i,Y_i)\}_{i=1}^n$, where $X \in \mathcal{X}, Y \in \mathcal{Y}$ lie in any general spaces, and we wish to test the null that $X$ is independent of $Y$. Modern test statistics such as the kernel Hilbert-Schmidt Independence Criterion (HSIC) and Distance Covariance (dCov) have intractable null distributions due to the degeneracy of the underlying U-statistics. Thus, in practice, one often resorts to using permutation testing, which provides a nonasymptotic guarantee at the expense of recalculating the quadratic-time statistics (say) a few hundred times. This paper provides a simple but nontrivial modification of HSIC and dCov (called xHSIC and xdCov, pronounced ``cross'' HSIC/dCov) so that they have a limiting Gaussian distribution under the null, and thus do not require permutations. This requires building on the newly developed theory of cross U-statistics by Kim and Ramdas (2020), and in particular developing several nontrivial extensions of the theory in Shekhar et al. (2022), which developed an analogous permutation-free kernel two-sample test. We show that our new tests, like the originals, are consistent against fixed alternatives, and minimax rate optimal against smooth local alternatives. Numerical simulations demonstrate that compared to the full dCov or HSIC, our variants have the same power up to a $\sqrt 2$ factor, giving practitioners a new option for large problems or data-analysis pipelines where computation, not sample size, could be the bottleneck.


title: Dark matter produced from right-handed neutrinos

abstract: Right-handed neutrinos (RHNs) provide a natural portal to a dark sector accommodating dark matter (DM). In this work, we consider that the dark sector is connected to the standard model only via RHNs and ask how DM can be produced from RHNs. Our framework concentrates on a rather simple and generic interaction that couples RHNs to a pair of dark particles. Depending on whether RHNs are light or heavy in comparison to the dark sector and also on whether one or both of them are in the freeze-in/out regime, there are many distinct scenarios resulting in rather different results. We conduct a comprehensive and systematic study of all possible scenarios in this paper. For illustration, we apply our generic results to the type-I seesaw model with the dark sector extension, addressing whether and when DM in this model can be in the freeze-in or freeze-out regime. Some observational consequences in this framework are also discussed.


title: On an inverse boundary problem for mean field games

abstract: In this paper, we propose and study an inverse boundary problem for the mean field games (MFGs) governed by the first-order master equation in a bounded domain. We establish the unique identifiability result by showing that the running cost function within any given proper (state) space-time subdomain is uniquely determined by the MFG boundary data of this subdomain. There are several salient features of our study. The MFG system couples two nonlinear parabolic PDEs with one forward in time and the other one backward in time, and moreover there is a probability measure constraint. These make the inverse problem study new to the literature and highly challenging. We develop an effective and efficient scheme in tackling the inverse problem including the high-order variation in the probability space around a nontrivial distribution, and the construction of a novel class of CGO solutions to serve as the ``probing modes". Our study opens up a new field of research on inverse problems for MFGs.


title: Stationary measure for six-vertex model on a strip

abstract: We study the stochastic six-vertex model on a strip $$\left\{(x,y)\in\mathbb{Z}^2: 0\leq y\leq x\leq y+N\right\}$$ with two open boundaries. We develop a `matrix product ansatz' method to solve for its stationary measure, based on the compatibility of three types of local moves of any down-right path. The stationary measure on a horizontal path turns out to be a tilting of the stationary measure of the asymmetric simple exclusion process (ASEP) with two open boundaries. Similar to open ASEP, the statistics of this tilted stationary measure as the number of sites $N\rightarrow\infty$ (with the bulk and boundary parameters fixed) also exhibit a phase diagram, which is a tilting of the phase diagram of open ASEP. We study the limit of mean particle density as an example.


title: On the Dotsenko-Fateev complex twin of the Selberg integral and its extensions

abstract: The Selberg integral has a twin (`the Dotsenko--Fateev integral') of the following form. We replace real variables $x_k$ in the integrand $\prod |x_k|^{\sigma-1}\,|1-x_k|^{\tau-1} \prod|x_k-x_l|^{2\theta}$ of the Selberg integral by complex variables $z_k$, integration over a cube we replace by an integration over the whole complex space $\mathbb{C}^n$. According to Dotsenko, Fateev, and Aomoto, such integral is a product of Gamma functions. We define and evaluate a family of beta integrals over spaces $\mathbb{C}^m\times \mathbb{C}^{m+1}\times \dots \times \mathbb{C}^n$, which for $m=n$ gives the complex twin of the Selberg integral mentioned above (with three additional integer parameters)


title: Simulation of linear non-Hermitian boundary-value problems with quantum singular value transformation

abstract: We propose a quantum algorithm for simulating dissipative waves in inhomogeneous linear media as a boundary-value problem. Using the so-called quantum singular value transformation (QSVT), we construct a quantum circuit that models the propagation of electromagnetic waves in a one-dimensional system with outgoing boundary conditions. The corresponding measurement procedure is also discussed. Limitations of the QSVT algorithm are identified in connection with the large condition numbers that the dispersion matrices exhibit at weak dissipation.


title: CAPSTONE: Curriculum Sampling for Dense Retrieval with Document Expansion

abstract: The dual-encoder has become the de facto architecture for dense retrieval. Typically, it computes the latent representations of the query and document independently, thus failing to fully capture the interactions between the query and document. To alleviate this, recent research has focused on obtaining query-informed document representations. During training, it expands the document with a real query, but during inference, it replaces the real query with a generated one. This inconsistency between training and inference causes the dense retrieval model to prioritize query information while disregarding the document when computing the document representation. Consequently, it performs even worse than the vanilla dense retrieval model because its performance heavily relies on the relevance between the generated queries and the real query.In this paper, we propose a curriculum sampling strategy that utilizes pseudo queries during training and progressively enhances the relevance between the generated query and the real query. By doing so, the retrieval model learns to extend its attention from the document alone to both the document and query, resulting in high-quality query-informed document representations. Experimental results on both in-domain and out-of-domain datasets demonstrate that our approach outperforms previous dense retrieval models.


title: Entropy-variance inequalities for discrete log-concave random variables via degree of freedom

abstract: We utilize a discrete version of the notion of degree of freedom to prove a sharp min-entropy-variance inequality for integer valued log-concave random variables. More specifically, we show that the geometric distribution minimizes the min-entropy within the class of log-concave probability sequences with fixed variance. As an application, we obtain a discrete R\'enyi entropy power inequality in the log-concave case, which improves a result of Bobkov, Marsiglietti and Melbourne (2022).


title: The acoustic radiation force on a spherical thermoviscous particle in a thermoviscous fluid including scattering and microstreaming

abstract: We derive general analytical expressions for the time-averaged acoustic radiation force on a small spherical particle suspended in a fluid and located in an axisymmetric incident acoustic wave. We treat the cases of the particle being either an elastic solid or a fluid particle. The effects of particle vibrations, acoustic scattering, acoustic microstreaming, heat conduction, and temperature-dependent fluid viscosity are all included in the theory. Acoustic streaming inside the particle is also taken into account for the case of a fluid particle. No restrictions are placed on the widths of the viscous and thermal boundary layers relative to the particle radius. We compare the resulting acoustic radiation force with that obtained from previous theories in the literature, and we identify limits, where the theories agree, and specific cases of particle and fluid materials, where qualitative or significant quantitative deviations between the theories arise.


title: Limb darkening measurements from TESS and Kepler light curves of transiting exoplanets

abstract: Inaccurate limb-darkening models can be a significant source of error in the analysis of the light curves for transiting exoplanet and eclipsing binary star systems. To test the accuracy of published limb-darkening models, I have compared limb-darkening profiles predicted by stellar atmosphere models to the limb-darkening profiles measured from high-quality light curves of 43 FGK-type stars in transiting exoplanet systems observed by the Kepler and TESS missions. The comparison is done using the parameters $h^{\prime}_1 = I_{\lambda}(\frac{2}{3})$ and $h^{\prime}_2 = h^{\prime}_1 - I_{\lambda}(\frac{1}{3})$, where $I_{\lambda}(\mu)$ is the specific intensity emitted in the direction $\mu$, the cosine of the angle between the line of sight and the surface normal vector. These parameters are straightforward to interpret and insensitive to the details of how they are computed. I find that most (but not all) tabulations of limb-darkening data agree well with the observed values of $h^{\prime}_1$ and $h^{\prime}_2$. There is a small but significant offset $\Delta h^{\prime}_1 \approx 0.006$ compared to the observed values that can be ascribed to the effect of a mean vertical magnetic field strength $\approx 100$\,G that is expected in the photospheres of these inactive solar-type stars but that is not accounted for by typical stellar model atmospheres. The implications of these results for the precision of planetary radii measured by the PLATO mission are discussed briefly.


title: Regularity of the optimal sets for a class of integral shape functionals

abstract: We prove {the first} regularity theorem for the free boundary of solutions to shape optimization problems involving integral functionals, for which the energy of a domain $\Omega$ is obtained as the integral of a cost function $j(u,x)$ depending on the solution $u$ of a certain PDE problem on $\Omega$. The main feature of these functionals is that the minimality of a domain $\Omega$ cannot be translated into a variational problem for a single (real or vector valued) state function. In this paper we focus on the case of affine cost functions $j(u,x)=-g(x)u+Q(x)$, where $u$ is the solution of the PDE $-\Delta u=f$ with Dirichlet boundary conditions. We obtain the Lipschitz continuity and the non-degeneracy of the optimal $u$ from the inwards/outwards optimality of $\Omega$ and then we use the stability of $\Omega$ with respect to variations with smooth vector fields in order to study the blow-up limits of the state function $u$. By performing a triple consecutive blow-up, we prove the existence of blow-up sequences converging to homogeneous stable solution of the one-phase Bernoulli problem and according to the blow-up limits, we decompose $\partial\Omega$ into a singular and a regular part. In order to estimate the Hausdorff dimension of the singular set of $\partial\Omega$ we give a new formulation of the notion of stability for the one-phase problem, which is preserved under blow-up limits and allows to develop a dimension reduction principle. Finally, by combining a higher order Boundary Harnack principle and a viscosity approach, we prove $C^\infty$ regularity of the regular part of the free boundary when the data are smooth.


title: Standard compact Clifford-Klein forms and Lie algebra decompositions

abstract: We find relations between real root decompositions of triples of Lie algebras corresponding to standard compact Clifford-Klein forms, under the assumption that these triples are not Lie algebra decompositions in the sense of Onishchik. This enables us to find new classes of homogeneous spaces of simple real Lie groups which do not admit standard compact Clifford-Klein forms. In particular, we show that proper R-regular subalgebras of simple real Lie algebras never generate homogeneous spaces which admit compact standard Cliffrod-Klein forms.


title: Matrix Quantization of Gravitational Edge Modes

abstract: Gravitational subsystems with boundaries carry the action of an infinite-dimensional symmetry algebra, with potentially profound implications for the quantum theory of gravity. We initiate an investigation into the quantization of this corner symmetry algebra for the phase space of gravity localized to a region bounded by a 2-dimensional sphere. Starting with the observation that the algebra $\mathfrak{sdiff}(S^2)$ of area-preserving diffeomorphisms of the 2-sphere admits a deformation to the finite-dimensional algebra $\mathfrak{su}(N)$, we derive novel finite-$N$ deformations for two important subalgebras of the gravitational corner symmetry algebra. Specifically, we find that the area-preserving hydrodynamical algebra $\mathfrak{sdiff}(S^2)\oplus_{\mathcal{L}}\mathbb{R}^{S^2}$ arises as the large-$N$ limit of $\mathfrak{sl}(N,\mathbb C)\oplus\mathbb{R}$ and that the full area-preserving corner symmetry algebra $\mathfrak{sdiff}(S^2)\oplus_{\mathcal{L}}\mathfrak{sl}(2,\mathbb{R})^{S^2}$ is the large-$N$ limit of the pseudo-unitary group $\mathfrak{su}(N,N)$. We find matching conditions for the Casimir elements of the deformed and continuum algebras and show how these determine the value of the deformation parameter $N$ as well as the representation of the deformed algebra associated with a quantization of the local gravitational phase space. Additionally, we present a number of novel results related to the various algebras appearing, including a detailed analysis of the asymptotic expansion of the $\mathfrak{su}(N)$ structure constants, as well as an explicit computation of the full $\mathfrak{diff}(S^2)$ structure constants in the spherical harmonic basis. A consequence of our work is the definition of an area operator which is compatible with the deformation of the area-preserving corner symmetry at finite $N$.


title: RIScatter: Unifying Backscatter Communication and Reconfigurable Intelligent Surface

abstract: Backscatter Communication (BackCom) nodes harvest energy from and modulate information over external carriers. Reconfigurable Intelligent Surface (RIS) adapts phase shift response to alter channel strength in specific directions. In this paper, we unify those two seemingly different technologies (and their derivatives) into one architecture called RIScatter. RIScatter is a batteryless cognitive radio that recycles ambient signal in an adaptive and customizable manner, where dispersed or co-located scatter nodes partially modulate their information and partially engineer the wireless channel. The key is to render the probability distribution of reflection states as a joint function of the information source, Channel State Information (CSI), and relative priority of coexisting links. This enables RIScatter to softly bridge BackCom and RIS; reduce to either in special cases; or evolve in a mixed form for heterogeneous traffic control and universal hardware design. We also propose a low-complexity Successive Interference Cancellation (SIC)-free receiver that exploits the properties of RIScatter. For a single-user multi-node network, we characterize the achievable primary-(total-)backscatter rate region by optimizing the input distribution at scatter nodes, the active beamforming at the Access Point (AP), and the energy decision regions at the user. Simulations demonstrate RIScatter nodes can shift between backscatter modulation and passive beamforming.


title: Deviation in stellar trajectory induced by asymmetry in partial tidal disruption

abstract: We study partial tidal disruption and present a quantitative analysis of the orbital dynamics of the remnant self-bound core. We perform smoothed particle hydrodynamical simulations to show that partial disruption of a star due to the tidal field of a black hole leads to a jump in the specific orbital energy and angular momentum of the core. It directly leads to deviation in the core's trajectory apart from getting a boost in its velocity. Our analysis shows that the variations in the specific orbital energy and angular momentum are higher when the pericentre distance is lower. We conclude that higher mass asymmetry of the two tidal tails increases the magnitude of the trajectory deviations. Our study reveals that observable deviations are only possible when mass ratio $q \lesssim 10^3 $, which indicates the range of intermediate-mass black holes.


title: Joint partial equidistribution of Farey rays in negatively curved manifolds and trees

abstract: We prove a joint partial equidistribution result for common perpendiculars with given density on equidistributing equidistant hypersurfaces, towards a measure supported on truncated stable leaves. We recover a result of Marklof on the joint partial equidistribution of Farey fractions at a given density, and give several analogous arithmetic applications, including in Bruhat-Tits trees.


title: Quantum enhanced sensing by echoing spin-nematic squeezing in atomic Bose-Einstein condensate

abstract: Quantum entanglement can provide enhanced precision beyond standard quantum limit (SQL), the highest precision achievable with classical means. It remains challenging, however, to observe large enhancement limited by the experimental abilities to prepare, maintain, manipulate and detect entanglement. Here, we present nonlinear interferometry protocols based on echoing spin-nematic squeezing to achieve record high enhancement factors in atomic Bose-Einstein condensate. The echo is realized by a state-flip of the spin-nematic squeezed vacuum, which serves as the probe state and is refocused back to the vicinity of the unsqueezed initial state while carrying out near noiseless amplification of a signal encoded. A sensitivity of $21.6\pm0.5$ decibels (dB) for a small-angle Rabi rotation beyond the two-mode SQL of 26400 atoms as well as $16.6\pm1.3$ dB for phase sensing in a Ramsey interferometer are observed. The absolute phase sensitivity for the latter extrapolates to $103~\rm{pT/\sqrt{Hz}}$ at a probe volume of $18~\mu\rm{m}^3$ for near-resonant microwave field sensing. Our work highlights the excellent many-body coherence of spin-nematic squeezing and suggests its possible quantum metrological applications in atomic magnetometer, atomic optical clock, and fundamental testing of Lorentz symmetry violation, etc.


title: Recall, Expand and Multi-Candidate Cross-Encode: Fast and Accurate Ultra-Fine Entity Typing

abstract: Ultra-fine entity typing (UFET) predicts extremely free-formed types (e.g., president, politician) of a given entity mention (e.g., Joe Biden) in context. State-of-the-art (SOTA) methods use the cross-encoder (CE) based architecture. CE concatenates the mention (and its context) with each type and feeds the pairs into a pretrained language model (PLM) to score their relevance. It brings deeper interaction between mention and types to reach better performance but has to perform N (type set size) forward passes to infer types of a single mention. CE is therefore very slow in inference when the type set is large (e.g., N = 10k for UFET). To this end, we propose to perform entity typing in a recall-expand-filter manner. The recall and expand stages prune the large type set and generate K (K is typically less than 256) most relevant type candidates for each mention. At the filter stage, we use a novel model called MCCE to concurrently encode and score these K candidates in only one forward pass to obtain the final type prediction. We investigate different variants of MCCE and extensive experiments show that MCCE under our paradigm reaches SOTA performance on ultra-fine entity typing and is thousands of times faster than the cross-encoder. We also found MCCE is very effective in fine-grained (130 types) and coarse-grained (9 types) entity typing. Our code is available at \url{https://github.com/modelscope/AdaSeq/tree/master/examples/MCCE}.


title: Pigeonhole Stochastic Gradient Langevin Dynamics for Large Crossed Mixed Effects Models

abstract: Large crossed mixed effects models with imbalanced structures and missing data pose major computational challenges for standard Bayesian posterior sampling algorithms, as the computational complexity is usually superlinear in the number of observations. We propose two efficient subset-based stochastic gradient MCMC algorithms for such crossed mixed effects model, which facilitate scalable inference on both the variance components and regression coefficients. The first algorithm is developed for balanced design without missing observations, where we leverage the closed-form expression of precision matrix for the full data matrix. The second algorithm, which we call the pigeonhole stochastic gradient Langevin dynamics (PSGLD), is developed for both balanced and unbalanced designs with potentially a large proportion of missing observations. Our PSGLD algorithm imputes the latent crossed random effects by running short Markov chains and then samples the model parameters of variance components and regression coefficients at each MCMC iteration. We provide theoretical guarantee by showing the convergence of the output distribution from the proposed algorithms to the target non-log-concave posterior distribution. A variety of numerical experiments based on both synthetic and real data demonstrate that the proposed algorithms can significantly reduce the computational cost of the standard MCMC algorithms and better balance the approximation accuracy and computational efficiency.


title: Are Milky-Way-like galaxies like the Milky Way? A view from SDSS-IV/MaNGA

abstract: In this paper, we place the Milky Way (MW) in the context of similar-looking galaxies in terms of their star-formation and chemical evolution histories. We select a sample of 138 Milky-Way analogues (MWAs) from the SDSS-IV/MaNGA survey based on their masses, Hubble types, and bulge-to-total ratios. To compare their chemical properties to the detailed spatially-resolved information available for the MW, we use a semi-analytic spectral fitting approach, which fits a self-consistent chemical-evolution and star-formation model directly to the MaNGA spectra. We model the galaxies' inner and outer regions assuming that some of the material lost in stellar winds falls inwards. We also incorporate chemical enrichment from type II and Ia supernovae to follow the alpha-element abundance at different metallicities and locations. We find some MWAs where the stellar properties closely reproduce the distribution of age, metallicity, and alpha enhancement at both small and large radii in the MW. In these systems, the match is driven by the longer timescale for star formation in the outer parts, and the inflow of enriched material to the central parts. However, other MWAs have very different histories. These divide into two categories: self-similar galaxies where the inner and outer parts evolve identically; and centrally-quenched galaxies where there is very little evidence of late-time central star formation driven by material accreted from the outer regions. We find that, although selected to be comparable, there are subtle morphological differences between galaxies in these different classes, and that the centrally-quenched galaxies formed their stars systematically earlier.


title: Unconfounded Meta-analytical Frameworks for Multivariate Outcomes in Multigroup Observational Studies using Concordant Weights

abstract: While meta-analyzing retrospective cancer patient cohorts, an investigation of differences in the expressions of target oncogenes across cancer subtypes is of substantial interest because the results may uncover novel tumorigenesis mechanisms and improve screening and treatment strategies. Weighting methods facilitate unconfounded comparisons of multigroup potential outcomes in multiple observational studies. For example, Guha et al. (2022) introduced concordant weights, allowing integrative analyses of survival outcomes by maximizing the effective sample size. However, it remains unclear how to use this or other weighting approaches to analyze a variety of continuous, categorical, ordinal, or multivariate outcomes, especially when research interests prioritize uncommon or unplanned estimands suggested by post hoc analyses; examples include percentiles and moments of group potential outcomes and pairwise correlations of multivariate outcomes. This paper proposes a unified meta-analytical approach accommodating various types of endpoints and fosters new estimators compatible with most weighting frameworks. Asymptotic properties of the estimators are investigated under mild assumptions. For undersampled groups, we devise small-sample procedures for quantifying estimation uncertainty. We meta-analyze multi-site TCGA breast cancer data, shedding light on the differential mRNA expression patterns of eight targeted genes for the subtypes infiltrating ductal carcinoma and infiltrating lobular carcinoma.


title: SUCRe: Leveraging Scene Structure for Underwater Color Restoration

abstract: Underwater images are altered by the physical characteristics of the medium through which light rays pass before reaching the optical sensor. Scattering and wavelength-dependent absorption significantly modify the captured colors depending on the distance of observed elements to the image plane. In this paper, we aim to recover an image of the scene as if the water had no effect on light propagation. We introduce SUCRe, a novel method that exploits the scene's 3D structure for underwater color restoration. By following points in multiple images and tracking their intensities at different distances to the sensor, we constrain the optimization of the parameters in an underwater image formation model and retrieve unattenuated pixel intensities. We conduct extensive quantitative and qualitative analyses of our approach in a variety of scenarios ranging from natural light to deep-sea environments using three underwater datasets acquired from real-world scenarios and one synthetic dataset. We also compare the performance of the proposed approach with that of a wide range of existing state-of-the-art methods. The results demonstrate a consistent benefit of exploiting multiple views across a spectrum of objective metrics. Our code is publicly available at https://github.com/clementinboittiaux/sucre.


title: Kinetic models for epidemic dynamics in the presence of opinion polarization

abstract: Understanding the impact of collective social phenomena in epidemic dynamics is a crucial task to effectively contain the disease spread. In this work we build a mathematical description for assessing the interplay between opinion polarization and the evolution of a disease. The proposed kinetic approach describes the evolution of aggregate quantities characterizing the agents belonging to epidemiologically relevant states, and will show that the spread of the disease is closely related to consensus dynamics distribution in which opinion polarization may emerge. In the present modelling framework, microscopic consensus formation dynamics can be linked to macroscopic epidemic trends to trigger the collective adherence to protective measures. We conduct numerical investigations which confirm the ability of the model to describe different phenomena related to the spread of an epidemic.


title: Fronts in the wake of a parameter ramp: slow passage through pitchfork and fold bifurcations

abstract: This work studies front formation in the Allen-Cahn equation with a parameter heterogeneity which slowly varies in space. In particular, we consider a heterogeneity which mediates the local stability of the zero state and subsequent pitchfork bifurcation to a non-trivial state. For slowly-varying ramps which are either rigidly propagating in time or stationary, we rigorously establish existence and stability of positive, monotone fronts and give leading order expansions for their interface location. For non-zero ramp speeds, and sufficiently small ramp slopes, the front location is determined by the local transition between convective and absolute instability of the base state and leads to an O(1) delay beyond the instantaneous pitchfork location before the system jumps to a nontrivial state. The slow ramp induces a further delay of the interface controlled by a slow-passage through a fold of strong- and weak-stable eigenspaces of the associated linearization. We introduce projective coordinates to de-singularize the dynamics near the trivial state and track relevant invariant manifolds all the way to the fold point. We then use geometric singular perturbation theory and blow-up techniques to locate the desired intersection of invariant manifolds. For stationary ramps, the front is governed by the slow passage through the instantaneous pitchfork bifurcation with inner expansion given by the unique Hastings-McLeod connecting solution of Painlev\'{e}'s second equation. We once again use geometric singular perturbation theory and blow-up to track invariant manifolds into a neighborhood of the non-hyperbolic point where the ramp passes through zero and to locate intersections.


title: JEMMA: An Extensible Java Dataset for ML4Code Applications

abstract: Machine Learning for Source Code (ML4Code) is an active research field in which extensive experimentation is needed to discover how to best use source code's richly structured information. With this in mind, we introduce JEMMA, an Extensible Java Dataset for ML4Code Applications, which is a large-scale, diverse, and high-quality dataset targeted at ML4Code. Our goal with JEMMA is to lower the barrier to entry in ML4Code by providing the building blocks to experiment with source code models and tasks. JEMMA comes with a considerable amount of pre-processed information such as metadata, representations (e.g., code tokens, ASTs, graphs), and several properties (e.g., metrics, static analysis results) for 50,000 Java projects from the 50KC dataset, with over 1.2 million classes and over 8 million methods. JEMMA is also extensible allowing users to add new properties and representations to the dataset, and evaluate tasks on them. Thus, JEMMA becomes a workbench that researchers can use to experiment with novel representations and tasks operating on source code. To demonstrate the utility of the dataset, we also report results from two empirical studies on our data, ultimately showing that significant work lies ahead in the design of context-aware source code models that can reason over a broader network of source code entities in a software project, the very task that JEMMA is designed to help with.


title: Towards to solution of the fractional Takagi-Taupin equations. The Green function method

abstract: Developing the comprehensive theory of the X-ray diffraction by distorted crystals remains to be topical of the mathematical physics. Up to now, the X-ray diffraction theory grounded on the Takagi-Taupin equations with the first-order partial derivatives over the two coordinates within the X-ray scattering plane. In the work, the theoretical approach based on the first-order fractional Takagi-Taupin equations with the 'quasi-time variable' of the order $\alpha\in(0,1]$ along the crystal depth has been suggested and the corresponding X-ray Cauchy issue is formulated. Accordingly, using the Green function method in the scope of the Cauchy issue, the fractional Takagi-Taupin equations in the integral form have been derived. In the case of the inhomogeneous incident X-ray beam, the solution of the Cauchy issue of the X-ray diffraction by perfect crystal has been obtained and compared with the corresponding one based on the solution of the conventional Takagi-Taupin equations, $\alpha=1.$ In turn, notice that the value of order $\alpha$ may be adjusted from the experimental X-ray diffraction data.


title: Efficient RDMA Communication Protocols

abstract: Developers of networked systems often work with low-level RDMA libraries to tailor network modules to take full advantage of offload capabilities offered by RDMA-capable network controllers. Because of the huge design space of networked data access protocols and variability in capabilities of RDMA infrastructure, developers tend to reinvent and reimplement common data exchange protocols, wasting months of development yet missing various performance and system capabilities. In this work, we summarise and categorize RDMA data exchange protocols and elaborate on what features they can offer to networked systems and what implications they have on their memory and network management.


title: Load Mitigation and Power Tracking Control for Multi-Rotor Turbines

abstract: A model-based feasible control strategy for multi-rotor systems is presented, pursuing two control objectives simultaneously: Mechanical loads on the main tower are to be mitigated, and an externally determined power change is to be followed to obtain fast power reference response in power systems. For this purpose, a scalable control strategy consisting of two levels is proposed: The first level consists of the decentralized control of each rotor unit. By using an LPV formalism, it is shown how the nonlinearities of the controlled system are considered in the design using a decentralized wind speed observer of each rotor to improve the overall closed-loop performance. To mitigate the lateral loads on the multi-rotor main tower caused by asymmetric rotor thrust forces, a higher-level controller is introduced. Finally, the applicability of the controller structure is demonstrated by simulation studies.


title: Scrutinizing Early Dark Energy models through CMB lensing

abstract: We investigate early dark energy models in the context of the lensing anomaly by considering two different Cosmic Microwave Background (CMB) datasets: a complete Planck, and a second one primarily based on SPTPol and Planck temperature ($l<1000$). We contrast the effects of allowing the phenomenological lensing amplitude ($\Al$) to be different from unity. We find that the fraction of early dark energy, while not immediately affected by the lensing anomaly, can induce mild deviations, through correlations with the parameters $H_0$ and $S_8$. {We extend the analysis also by marginalizing the Newtonian lensing potential, finding a $\gtrsim 1\sigma$ deviation, when allowing for an amplitude rescaling and scale-dependence. Modeling the rescaling of the theory lensing potential and the acoustic smoothing of the CMB spectra, we find that only to a moderate level the anomaly can be addressed by modifying the lensing signal itself and that an additional $\Al \sim 1.1$ at $\sim 2\sigma$ significance should be addressed by pre-recombination physics. Finally, we also comment on the lensing anomaly in a non-flat ($\Omega_{\rm k} \neq 0$) scenario, finding that the late-time flatness of the universe is robust and not correlated with the additional smoothing in the CMB spectra.


title: Comment on "Compton Scattering Spectrum for Si and Ge Systems", by Chen-Kai Qiao et al. DOI 10.1088/1361-6471/ab5e35

abstract: It is pointed out that theoretical prediction in a paper published in 2020 were experimentally verified some 50 years ago.


title: Manin conjecture for statistical pre-Frobenius manifolds, hypercube relations and motivic Galois group in coding

abstract: This article develops, via the perspective of (arithmetic) algebraic geometry and category theory, different aspects of geometry of information. First, we describe in the terms of Eilenberg--Moore algebras over a Giry monad, the collection $Cap_n$ of all probability distributions on the measurable space $(\Omega_n, \mathcal{A})$ (where $\Omega$ is discrete with $n$ issues) and it turns out that there exists an embedding relation of Segre type among the product of $Cap_n$'s. We unravel hidden symmetries of these type of embeddings and show that there exists a hypercubic relation. Secondly, we show that the Manin conjecture -- initially defined concerning the diophantine geometry of Fano varieties -- is true in the case of exponential statistical manifolds, defined over a discrete sample space. Thirdly, we introduce a modified version of the parenthesised braids ($\mathbf{mPaB}$), which forms a key tool in code-correction. This modified version $\mathbf{mPaB}$ presents all types of mistakes that could occur during a transmission process. We show that the standard parenthesised braids $\mathbf{PaB}$ form a full subcategory of $\mathbf{mPaB}$. We discuss the role of the Grothendieck--Teichm\"uller group in relation to the modified parenthesised braids. Finally, we prove that the motivic Galois group is contained in the automorphism $Aut(\widehat{\mathbf{mPaB}}).$ We conclude by presenting an open question concerning rational points, Commutative Moufang Loops and information geometry.


title: Spin-$2$ operators in AdS$_2$/CFT$_1$

abstract: We study spin-2 fluctuations around an infinite family of warped backgrounds of the form $\text{AdS}_2 \times \text{S}^2 \times \text{T}^4 \times \text{S}^1 \times \mathcal{I}_{\rho}$ in the type IIB theory, which possesses $\mathcal{N}=4$ supersymmetry. We find that there exists a special set of solutions which is independent of the background data; the minimal universal class. This particular class of solutions corresponds to operators with scaling dimension $\Delta = \ell + 1$, with $\ell$ being the quantum number of the angular-momentum on the $\text{S}^2$. Using the mode solutions of these spin-2 states, we compute the central charge of the dual field theories. We comment on the relation of our results to the seed $\text{AdS}_3 \times \text{S}^2 \times \text{T}^4 \times \mathcal{I}_{\rho}$ backgrounds.


title: Unsupervised Discontinuous Constituency Parsing with Mildly Context-Sensitive Grammars

abstract: We study grammar induction with mildly context-sensitive grammars for unsupervised discontinuous parsing. Using the probabilistic linear context-free rewriting system (LCFRS) formalism, our approach fixes the rule structure in advance and focuses on parameter learning with maximum likelihood. To reduce the computational complexity of both parsing and parameter estimation, we restrict the grammar formalism to LCFRS-2 (i.e., binary LCFRS with fan-out two) and further discard rules that require O(n^6) time to parse, reducing inference to O(n^5). We find that using a large number of nonterminals is beneficial and thus make use of tensor decomposition-based rank-space dynamic programming with an embedding-based parameterization of rule probabilities to scale up the number of nonterminals. Experiments on German and Dutch show that our approach is able to induce linguistically meaningful trees with continuous and discontinuous structures


title: Restricted Log-Exp-Analytic Power Functions

abstract: A preparation theorem for compositions of restricted log-exp-analytic functions and power functions of the form $$h: \mathbb{R} \to \mathbb{R}, x \mapsto \left\{\begin{array}{ll} x^r, & x > 0, \\ 0, & \textnormal{ else, } \end{array}\right.$$ for $r \in \mathbb{R}$ is given. Consequently we obtain a parametric version of Tamm's theorem for this class of functions which is indeed a full generalisation of the parametric version of Tamm's theorem for $\mathbb{R}_{\textnormal{an}}^{\mathbb{R}}$-definable functions.


title: Proton-proton interactions at the Highest Energies: the Grey-Disk and the Core-Corona models

abstract: In this letter, the Grey-Disk and the Core-Corona models are combined in a scenario that aims to explain different unexpected features observed in the interactions of the highest energy particles in the Earth's atmosphere. In particular, the observed distributions of $X_{\rm max}$ and $N_\mu$ are explained, assuming that the ultra-high-energy cosmic ray spectrum is dominated by protons produced by a few extra-galactic sources with different injection spectra and maximum energy cutoffs. The compliance of this heterodox scenario with other relevant observations as the instep region in the energy spectrum, the event-by-event correlations between $X_{\rm max}$ and the detected signal at the ground and the absence of detection, so far, of UHE neutrinos or photons, are also briefly discussed. If confirmed, such a scenario would dramatically change the present understanding of the UHECR primary composition and, thus, the characteristics of their sources.


title: Spectral curves of quantum graphs with $\delta_s$ type vertex conditions

abstract: In this Thesis, we study the behavior of spectral curves of quantum graphs under certain families of vertex conditions, called the $\delta_s$ family, which we define in this work. We focus on studying two main quantities related to the spectral curves, known as the Robin-Neumann gap and the spectral flow. We show that these quantities hold information about the the spectral curves, the behavior of the corresponding eigenfunctions, and the geometry of the graph itself. For a specific subset of the $\delta_s$ family which is known as the $\delta$ family, we study the Robin-Neumann gap, which measures the total increase in the eigenvalues with respect to the perturbation parameter. We use this quantity to show that the growth of the spectral curves is uniformly bounded, and that on average it is linear, with proportionality factor determined by the geometry of the graph. For the general $\delta_s$ family of vertex conditions, we study a quantity known as the spectral flow, which counts the number of oriented intersections of the spectral curves with some given horizontal cross section. We use this quantity to prove an index theorem which connects between a generalized nodal deficiency of the eigenfunctions and the stability index of a generalized Dirichlet-to-Neumann map. We also show that the spectral flow holds information about the graph topology. Parts of the thesis are based on joint work with Ram Band, Marina Prokhorova, Holger Schanz, and Uzy Smilansky.


title: Performance Analysis of YOLO-based Architectures for Vehicle Detection from Traffic Images in Bangladesh

abstract: The task of locating and classifying different types of vehicles has become a vital element in numerous applications of automation and intelligent systems ranging from traffic surveillance to vehicle identification and many more. In recent times, Deep Learning models have been dominating the field of vehicle detection. Yet, Bangladeshi vehicle detection has remained a relatively unexplored area. One of the main goals of vehicle detection is its real-time application, where `You Only Look Once' (YOLO) models have proven to be the most effective architecture. In this work, intending to find the best-suited YOLO architecture for fast and accurate vehicle detection from traffic images in Bangladesh, we have conducted a performance analysis of different variants of the YOLO-based architectures such as YOLOV3, YOLOV5s, and YOLOV5x. The models were trained on a dataset containing 7390 images belonging to 21 types of vehicles comprising samples from the DhakaAI dataset, the Poribohon-BD dataset, and our self-collected images. After thorough quantitative and qualitative analysis, we found the YOLOV5x variant to be the best-suited model, performing better than YOLOv3 and YOLOv5s models respectively by 7 & 4 percent in mAP, and 12 & 8.5 percent in terms of Accuracy.


title: Classification of multivariate functional data on different domains with Partial Least Squares approaches

abstract: Classification (supervised-learning) of multivariate functional data is considered when the elements of the random functional vector of interest are defined on different domains. In this setting, PLS classification and tree PLS-based methods for multivariate functional data are presented. From a computational point of view, we show that the PLS components of the regression with multivariate functional data can be obtained using only the PLS methodology with univariate functional data. This offers an alternative way to present the PLS algorithm for multivariate functional data.