title: Extreme singular values of inhomogeneous sparse random rectangular matrices

abstract: We develop a unified approach to bounding the largest and smallest singular values of an inhomogeneous random rectangular matrix, based on the non-backtracking operator and the Ihara-Bass formula for general random Hermitian matrices with a bipartite block structure. We obtain probabilistic upper (respectively, lower) bounds for the largest (respectively, smallest) singular values of a large rectangular random matrix $X$. These bounds are given in terms of the maximal and minimal $\ell_2$-norms of the rows and columns of the variance profile of $X$. The proofs involve finding probabilistic upper bounds on the spectral radius of an associated non-backtracking matrix $B$. The two-sided bounds can be applied to the centered adjacency matrix of sparse inhomogeneous Erd\H{o}s-R\'{e}nyi bipartite graphs for a wide range of sparsity, down to criticality. In particular, for Erd\H{o}s-R\'{e}nyi bipartite graphs $G(n,m,p)$ with $p=\omega(\log n)/n$, and $m/n\to y \in (0,1)$, our sharp bounds imply that there are no outliers outside the support of the Mar\v{c}enko-Pastur law almost surely. This result extends the Bai-Yin theorem to sparse rectangular random matrices.


title: Linear and Nonlinear Characterization of broadband integrated Si-rich silicon nitride racetrack ring resonator for on-chip applications

abstract: We demonstrate the linear and nonlinear characterization of plasma-enhanced chemical vapor deposited silicon-rich silicon nitride (SRSN) racetrack ring resonator for on-chip application within the telecommunication wavelength range. The SRN waveguide parameters are optimized by employing the refractive index profile measured by ellipsometry to achieve flat dispersion in the telecom band. Furthermore, we measure the thermo-optic coefficient (TOC) of the micro-resonator by analyzing the temperature-dependent transmission spectra and assessing it to be \(3.2825\) $\times$ \(10^{-5}\) \(^o{} C^{-1}\). Additionally, we perform power-dependent transmission spectra to investigate the effect of local heating and nonlinear absorption. The power-dependent transmission spectra exhibit a blue-shifting of the resonance peak in the visible and near-IR regions, which indicates the presence of nonlinear losses in that range. The power-dependent transmission spectra almost remain unchanged in the telecom band, revealing the absence of nonlinear losses and excellent thermal stability in that wavelength range. Our experimental results reveal that the SRSN-based structure can be employed potentially to realize linear and nonlinear applications in the telecom band.


title: Augmentation based Approximation Algorithms for Flexible Network Design

abstract: Adjiashvili introduced network design in a non-uniform fault model: the edge set of a given graph is partitioned into safe and unsafe edges. A vertex pair $(s,t)$ is $(p,q)$-flex-connected if $s$ and $t$ have $p$ edge-connectivity even after the removal of any $q$ unsafe edges. Given a graph $G$, the goal is to choose a min-cost subgraph $H$ of $G$ that has desired flex-connectivity for a given set of vertex pairs. This model generalizes the well-studied edge-connectivity based network design, however, even special cases are provably much harder to approximate. The approximability of network design in this model has been mainly studied for two settings of interest: (i) single pair setting under the names FTP and FTF (fault tolerant path and fault tolerant flow), (ii) spanning setting under the name FGC (flexible graph connectivity). There have been several positive results in these papers. However, despite similarity to the well-known network design problems, this new model has been challenging to design approximation algorithms for, especially when $p,q \ge 2$. We obtain two results that advance our understanding of algorithm design in this model. 1. We obtain a $5$-approximation for the $(2,2)$-flex-connectivity for a single pair $(s,t)$. Previously no non-trivial approximation was known for this setting. 2. We obtain $O(p)$ approximation for $(p,2)$ and $(p,3)$-FGC for any $p \ge 1$, and for $(p,4)$-FGC for any even $p$. We obtain an $O(q)$-approximation for $(2,q)$-FGC for any $q \ge 1$. Previously only a $O(q \log n)$-approximation was known for these settings. Our results are obtained via the augmentation framework where we identify a structured way to use the well-known $2$-approximation for covering uncrossable families of cuts. Our analysis also proves corresponding integrality gap bounds on an LP relaxation that we formulate.


title: Personalized Saliency in Task-Oriented Semantic Communications: Image Transmission and Performance Analysis

abstract: Semantic communication, as a promising technology, has emerged to break through the Shannon limit, which is envisioned as the key enabler and fundamental paradigm for future 6G networks and applications, e.g., smart healthcare. In this paper, we focus on UAV image-sensing-driven task-oriented semantic communications scenarios. The majority of existing work has focused on designing advanced algorithms for high-performance semantic communication. However, the challenges, such as energy-hungry and efficiency-limited image retrieval manner, and semantic encoding without considering user personality, have not been explored yet. These challenges have hindered the widespread adoption of semantic communication. To address the above challenges, at the semantic level, we first design an energy-efficient task-oriented semantic communication framework with a triple-based {\color{black}scene graph} for image information. We then design a new personalized semantic encoder based on user interests to meet the requirements of personalized saliency. Moreover, at the communication level, we study the effects of dynamic wireless fading channels on semantic transmission mathematically and thus design an optimal multi-user resource allocation scheme by using game theory. Numerical results based on real-world datasets clearly indicate that the proposed framework and schemes significantly enhance the personalization and anti-interference performance of semantic communication, and are also efficient to improve the communication quality of semantic communication services.


title: Difference Methods for Double Change Covering Designs

abstract: A \textbf{double change covering design} is a $v$-set $X$ and an ordered list $\mathcal{L}$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly two elements. A double change covering design is circular when the first and last blocks also differ by two elements. We give a recursive construction that uses 1-factorizations and expansion sets to increase $v$ by $\frac{v+k-2}{k-2}$. We construct ${\rm CDCCD}(2k-2,k,k-1)$ and ${\rm CDCCD}(2k-1,k,k-2)$ from single change covering designs. We use difference methods to construct tight ${\rm CDCCD(4k-5,k,4k-5)$, five infinite families for any $k\geq 3$, minimum ${\rm CDCCD}(c(4k-6)+1,k,c^2(4k-6)+c)$ when $c\leq 5$ and ${\rm CDCCD}(61,4,366)$. Finally, from these, we use the recursion to construct twelve additional minimum CDCCD.


title: Stable determination of a second order perturbation of the polyharmonic operator by boundary measurements

abstract: In this paper, we consider the inverse boundary value problem for the polyharmonic operator. We prove that the second order perturbations are uniquely determined by the corresponding Dirichlet to Neumann map. More precisely, we show in dimension $n \geq 3$, a logarithmic type stability estimate for the inverse problem under consideration.


title: Knowledge-aided Federated Learning for Energy-limited Wireless Networks

abstract: The conventional model aggregation-based federated learning (FL) approach requires all local models to have the same architecture, which fails to support practical scenarios with heterogeneous local models. Moreover, frequent model exchange is costly for resource-limited wireless networks since modern deep neural networks usually have over a million parameters. To tackle these challenges, we propose a novel knowledge-aided FL (KFL) framework, which aggregates light high-level data features, namely knowledge, in the per-round learning process. This framework allows devices to design their machine-learning models independently and reduces the communication overhead in the training process. We then theoretically analyze the convergence bound of the proposed framework, revealing that scheduling more data volume in each round helps to improve the learning performance. In addition, large data volume should be scheduled in early rounds if the total scheduled data volume during the entire learning course is fixed. Inspired by this, we define a new objective function, i.e., the weighted scheduled data sample volume, to transform the inexplicit global loss minimization problem into a tractable one for device scheduling, bandwidth allocation, and power control. To deal with unknown time-varying wireless channels, we transform the considered problem into a deterministic problem for each round with the assistance of the Lyapunov optimization framework. Then, we derive the optimal bandwidth allocation and power control solution and develop an efficient online device scheduling algorithm to achieve an energy-learning trade-off in the learning process. Experimental results on MNIST and CIFAR-10 show that the proposed KFL is capable of reducing over 99% communication overhead while achieving better learning performance than the conventional model aggregation-based algorithms.


title: Neural inhibition during speech planning contributes to contrastive hyperarticulation

abstract: Previous work has demonstrated that words are hyperarticulated on dimensions of speech that differentiate them from a minimal pair competitor. This phenomenon has been termed contrastive hyperarticulation (CH). We present a dynamic neural field (DNF) model of voice onset time (VOT) planning that derives CH from an inhibitory influence of the minimal pair competitor during planning. We test some predictions of the model with a novel experiment investigating CH of voiceless stop consonant VOT in pseudowords. The results demonstrate a CH effect in pseudowords, consistent with a basis for the effect in the real-time planning and production of speech. The scope and magnitude of CH in pseudowords was reduced compared to CH in real words, consistent with a role for interactive activation between lexical and phonological levels of planning. We discuss the potential of our model to unify an apparently disparate set of phenomena, from CH to phonological neighborhood effects to phonetic trace effects in speech errors.


title: VAESim: A probabilistic approach for self-supervised prototype discovery

abstract: In medicine, curated image datasets often employ discrete labels to describe what is known to be a continuous spectrum of healthy to pathological conditions, such as e.g. the Alzheimer's Disease Continuum or other areas where the image plays a pivotal point in diagnosis. We propose an architecture for image stratification based on a conditional variational autoencoder. Our framework, VAESim, leverages a continuous latent space to represent the continuum of disorders and finds clusters during training, which can then be used for image/patient stratification. The core of the method learns a set of prototypical vectors, each associated with a cluster. First, we perform a soft assignment of each data sample to the clusters. Then, we reconstruct the sample based on a similarity measure between the sample embedding and the prototypical vectors of the clusters. To update the prototypical embeddings, we use an exponential moving average of the most similar representations between actual prototypes and samples in the batch size. We test our approach on the MNIST-handwritten digit dataset and on a medical benchmark dataset called PneumoniaMNIST. We demonstrate that our method outperforms baselines in terms of kNN accuracy measured on a classification task against a standard VAE (up to 15% improvement in performance) in both datasets, and also performs at par with classification models trained in a fully supervised way. We also demonstrate how our model outperforms current, end-to-end models for unsupervised stratification.


title: Navigating the dynamic noise landscape of variational quantum algorithms with QISMET

abstract: Transient errors from the dynamic NISQ noise landscape are challenging to comprehend and are especially detrimental to classes of applications that are iterative and/or long-running, and therefore their timely mitigation is important for quantum advantage in real-world applications. The most popular examples of iterative long-running quantum applications are variational quantum algorithms (VQAs). Iteratively, VQA's classical optimizer evaluates circuit candidates on an objective function and picks the best circuits towards achieving the application's target. Noise fluctuation can cause a significant transient impact on the objective function estimation of the VQA iterations / tuning candidates. This can severely affect VQA tuning and, by extension, its accuracy and convergence. This paper proposes QISMET: Quantum Iteration Skipping to Mitigate Error Transients, to navigate the dynamic noise landscape of VQAs. QISMET actively avoids instances of high fluctuating noise which are predicted to have a significant transient error impact on specific VQA iterations. To achieve this, QISMET estimates transient error in VQA iterations and designs a controller to keep the VQA tuning faithful to the transient-free scenario. By doing so, QISMET efficiently mitigates a large portion of the transient noise impact on VQAs and is able to improve the fidelity by 1.3x-3x over a traditional VQA baseline, with 1.6-2.4x improvement over alternative approaches, across different applications and machines. Further, to diligently analyze the effects of transients, this work also builds transient noise models for target VQA applications from observing real machine transients. These are then integrated with the Qiskit simulator.


title: The anomalous shift of the weak boson mass and the quintessence electroweak axion

abstract: One of the simplest ways to account for the observed W-boson mass shift is to introduce the $SU(2)_L$ triplet Higgs boson with zero hypercharge, whose vacuum expectation value is about 3 GeV. If the triplet is heavy enough at $\mathcal{O}(1)$ TeV, it essentially contributes only to $T$ parameter without any conflict to the observation. The presence of a complex triplet Higgs boson raises the $SU(2)_L$ gauge coupling constant to $\alpha_2(M_{\rm PL} )\simeq 1/44$ at the Planck scale. Thanks to this larger gauge coupling constant, we show that the electroweak axion vacuum energy explains the observed cosmological constant provided that the axion field is located near the hill top of the potential at present.


title: Deep Feature Selection Using a Novel Complementary Feature Mask

abstract: Feature selection has drawn much attention over the last decades in machine learning because it can reduce data dimensionality while maintaining the original physical meaning of features, which enables better interpretability than feature extraction. However, most existing feature selection approaches, especially deep-learning-based, often focus on the features with great importance scores only but neglect those with less importance scores during training as well as the order of important candidate features. This can be risky since some important and relevant features might be unfortunately ignored during training, leading to suboptimal solutions or misleading selections. In our work, we deal with feature selection by exploiting the features with less importance scores and propose a feature selection framework based on a novel complementary feature mask. Our method is generic and can be easily integrated into existing deep-learning-based feature selection approaches to improve their performance as well. Experiments have been conducted on benchmarking datasets and shown that the proposed method can select more representative and informative features than the state of the art.


title: On Funk's parabolas

abstract: We study parabolas in the two dimensional unit disk equipped with a Funk metric. Four types of parabolas are obtained, due to the non-reversibility of the Funk metric, each one with applications to physics in the Zermelo navigation problem. We show that two of the four parabolas obtained are well known conics, and the remaining two are characterized by irreducible quartics. Explicit examples are given.


title: $Z_N$-balls: Solitons from $Z_N$-symmetric scalar field theory

abstract: We discuss the conditions under which static, finite-energy, configurations of a complex scalar field $\phi$ with constant phase and spherically symmetric norm exist in a potential of the form $V(\phi^*\phi, \phi^N+\phi^{*N})$ with $N\in\mathbb{N}$ and $N\geq2$, i.e. a potential with a $Z_N$-symmetry. Such configurations are called $Z_N$-balls. We build explicit solutions in $(3+1)$-dimensions from a model mimicking effective field theories based on the Polyakov loop in finite-temperature SU($N$) Yang-Mills theory. We find $Z_N$-balls for $N=$3, 4, 6, 8, 10 and show that only static solutions with zero radial node exist for $N$ odd, while solutions with radial nodes may exist for $N$ even.


title: Exploiting Trust for Resilient Hypothesis Testing with Malicious Robots

abstract: We develop a resilient binary hypothesis testing framework for decision making in adversarial multi-robot crowdsensing tasks. This framework exploits stochastic trust observations between robots to arrive at tractable, resilient decision making at a centralized Fusion Center (FC) even when i) there exist malicious robots in the network and their number may be larger than the number of legitimate robots, and ii) the FC uses one-shot noisy measurements from all robots. We derive two algorithms to achieve this. The first is the Two Stage Approach (2SA) that estimates the legitimacy of robots based on received trust observations, and provably minimizes the probability of detection error in the worst-case malicious attack. Here, the proportion of malicious robots is known but arbitrary. For the case of an unknown proportion of malicious robots, we develop the Adversarial Generalized Likelihood Ratio Test (A-GLRT) that uses both the reported robot measurements and trust observations to estimate the trustworthiness of robots, their reporting strategy, and the correct hypothesis simultaneously. We exploit special problem structure to show that this approach remains computationally tractable despite several unknown problem parameters. We deploy both algorithms in a hardware experiment where a group of robots conducts crowdsensing of traffic conditions on a mock-up road network similar in spirit to Google Maps, subject to a Sybil attack. We extract the trust observations for each robot from actual communication signals which provide statistical information on the uniqueness of the sender. We show that even when the malicious robots are in the majority, the FC can reduce the probability of detection error to 30.5% and 29% for the 2SA and the A-GLRT respectively.


title: Parametric Korteweg--de Vries hierarchy and hyperelliptic sigma functions

abstract: In this paper we define the parametric Korteweg-de Vries hierarchy that depends on an infinite set of graded parameters $a = (a_4,a_6,\dots)$. We show that, for any genus $g$, the Klein hyperelliptic function $\wp_{1,1}(t,\lambda)$ defined on the basis of the multidimensional sigma function $\sigma(t, \lambda)$, where $t = (t_1, t_3,\dots, t_{2g-1})$, $\lambda = (\lambda_4, \lambda_6,\dots, \lambda_{4 g + 2})$, determines a solution of this hierarchy, where the parameters $a$ are given as polynomials in the parameters $\lambda$ of the sigma function. The proof uses results on the family of operators introduced by V. M. Buchstaber and S. Yu. Shorina. This family consists of $g$ third-order differential operators of $g$ variables. Such families are defined for all $g \geqslant 1$, the operators in each of them commute in pairs and also commute with the Schr\"odinger operator. In this paper, we describe the relationship between these families and the parametric Korteweg--de Vries hierarchy. A similar infinite family of third-order operators on an infinite set of variables is constructed. The results obtained are extended to the case of such a family.


title: Factorization theorems and canonical representations for generating functions of special sums

abstract: This manuscript explores many convolution (restricted summation) type sequences via certain types of matrix based factorizations that can be used to express their generating functions. The last primary (non-appendix) section of the thesis explores the topic of how to best rigorously define a so-termed ``\emph{canonically best}'' matrix based factorization for a given class of convolution sum sequences. The notion of a canonical factorization for the generating function of such sequences needs to match the qualitative properties we find in the factorization theorems for Lambert series generating functions (LGFs). The expected qualitatively most expressive expansion we find in the LGF case results naturally from algebraic constructions of the underlying LGF series type. We propose a precise quantitative requirement to generalize this notion in terms of optimal cross-correlation statistics for certain sequences that define the matrix based factorizations of the generating function expansions we study. We finally pose a few conjectures on the types of matrix factorizations we expect to find when we are able to attain the maximal (respectively minimal) correlation statistic for a given sum type.


title: On Representing Linear Programs by Graph Neural Networks

abstract: Learning to optimize is a rapidly growing area that aims to solve optimization problems or improve existing optimization algorithms using machine learning (ML). In particular, the graph neural network (GNN) is considered a suitable ML model for optimization problems whose variables and constraints are permutation--invariant, for example, the linear program (LP). While the literature has reported encouraging numerical results, this paper establishes the theoretical foundation of applying GNNs to solving LPs. Given any size limit of LPs, we construct a GNN that maps different LPs to different outputs. We show that properly built GNNs can reliably predict feasibility, boundedness, and an optimal solution for each LP in a broad class. Our proofs are based upon the recently--discovered connections between the Weisfeiler--Lehman isomorphism test and the GNN. To validate our results, we train a simple GNN and present its accuracy in mapping LPs to their feasibilities and solutions.


abstract: This paper introduces the project Social Assistive Robotics for Autistic Children aimed at using robotic therapy for autism. The goal of the project is testing autistic children's interactions with the social robot NAO. In particular the robot will support the operators (psychologists, educators, speech therapists etc.) in their work. The innovative aspect of the project is that the children robot interaction will consider the children's emotions and specific features and the robot will adapt its behavior accordingly.


title: Using the cosmological recombination radiation to probe early dark energy and fundamental constant variations

abstract: The cosmological recombination radiation (CRR) is one of the guaranteed spectral distortion signals from the early Universe. The CRR photons from hydrogen and helium pre-date the last scattering process and as such allow probing physical phenomena in the pre-recombination era. Here we compute the modifications to the CRR caused by early dark energy models and varying fundamental constants. These new physics examples have seen increased recent activity in connection with the Hubble tension, motivating the exploratory study presented here. The associated CRR responses are spectrally-rich but the level of the signals is small. We forecast the possible sensitivity of future spectrometers to these effects. Our estimates demonstrate that the CRR directly depends to changes in the expansion history and recombination physics during the pre-recombination era. However, futuristic sensitivities are required for spectrometer-only constraints that are competitive with other cosmological probes. Nevertheless, measurements of the CRR can directly reach into phases that otherwise remain inaccessible, highlighting the potential these types of observations could have as a probe of the early Universe. A combination with ${\it Planck}$ data further shows that a synergistic approach is very promising.


title: Regularized Stable Kerr Black Hole: Cosmic Censorships, Shadow and Quasi-Normal Modes

abstract: Black hole solutions in general relativity come with pathologies such as singularity and mass inflation instability, which are believed to be cured by a yet-to-be-found quantum theory of gravity. Without such consistent description, one may model theory-agnostic phenomenological black holes that bypass the aforesaid issues. These so-called regular black holes are extensively studied in the literature using parameterized modifications over the black hole solutions of general relativity. However, since there exist several ways to model such black holes, it is important to study the consistency and viability of these solutions from both theoretical and observational perspectives. In this work, we consider a recently proposed model of regularized stable rotating black holes having two extra parameters in addition to the mass and spin of a Kerr solution. We start by computing their quasi-normal modes under scalar perturbation and investigate the impact of those additional parameters on black hole stability. In the second part, we study the shadow structures of these regularized black holes and obtain stringent bounds on the parameter space requiring consistency with Event Horizon Telescope observations of $M87^*$ and $Sgr\, A^*$ shadows.


title: Cloud-based user modeling for social robots: a first attempt

abstract: A social robot is an autonomous robot that interact with people by engaging in social emotive behaviors, skills, capacities, and rules attached to its collaborative role. In order to achieve these goals we believe that modeling the interaction with the user and adapt the robot behavior to the user herself are fundamental for its social role. This paper presents our first attempt to integrate user modeling features in social and affective robots. We propose a cloud-based architecture for modeling the user-robot interaction in order to reuse the approach with different kind of social robots.


title: Robust quantum control by smooth quasi-square pulses

abstract: Robust time-optimal control is known to feature constant (square) pulses. We analyze fast adiabatic dynamics that preserve robustness by using alternative smooth quasi-square pulses, typically represented by hyper-Gaussian pulses. We here consider the two protocols, robust inverse optimization and time-contracted adiabatic passage, allowing the design of the same pulse shape in both cases. The dynamics and their performance are compared. The superiority of the former protocol is shown.


title: On large sieve inequalities involving pth powers of trigonometric polynomials

abstract: In this paper, we extend the large sieve type estimates to sums involving pth powers of trigonometric polynomials. An approach to such estimates that does not rely on the usual L^2-technique is given. Our method is based on comparing the norm and the spectral radius of convolution operators on a normed space of trigonometric polynomials.


title: Gradient Optimization for Single-State RMDPs

abstract: As modern problems such as autonomous driving, control of robotic components, and medical diagnostics have become increasingly difficult to solve analytically, data-driven decision-making has seen a large gain in interest. Where there are problems with more dimensions of complexity than can be understood by people, data-driven solutions are a strong option. Many of these methods belong to a subdivision of machine learning known as reinforcement learning. Unfortunately, data-driven models often come with uncertainty in how they will perform in the worst of scenarios. Since the solutions are not derived analytically many times, these models will fail unpredictably. In fields such as autonomous driving and medicine, the consequences of these failures could be catastrophic. Various methods are being explored to resolve this issue and one of them is known as adversarial learning. It pits two models against each other by having one model optimize its goals as the opposite of the other model's goals. This type of training has the potential to find models which perform reliably in complex and high stakes settings, although it is not certain when this type of training will work. The goal is to gain insight about when these types of models will reach stable solutions.


title: Terra: Blockage Resilience in Outdoor mmWave Networks

abstract: We address the problem of pedestrian blockage in outdoor mm-Wave networks, which can disrupt Line of Sight (LoS) communication and result in an outage. This necessitates either reacquisition as a new user that can take up to 1.28 sec in 5G New Radio, disrupting high-performance applications, or handover to a different base station (BS), which however requires very costly dense deployments to ensure multiple base stations are always visible to a mobile outdoors. We have found that there typically exists a strong ground reflection from concrete and gravel surfaces, within 4-6 dB of received signal strength (RSS) of LoS paths. The mobile can switch to such a Non-Line Sight (NLoS) beam to sustain the link for use as a control channel during a blockage event. This allows the mobile to maintain time-synchronization with the base station, allowing it to revert to the LoS path when the temporary blockage disappears. We present a protocol, Terra, to quickly discover, cache, and employ ground reflections. It can be used in most outdoor built environments since pedestrian blockages typically last only a few hundred milliseconds.


title: Tau Herculids 2022: Rate, number density, population index and geometrical effects from visual data

abstract: We analysed visual observation data of the Tau Herculids collected between 2022 May 28 and June 1. The population index for the entire sample is 2.4. For the pre-peak period we find r=2.57+-0.23, the peak period yields r=2.38+-0.06. The ZHR maximum of the 1995 ejecta from comet Schwassmann-Wachmann3 (SW3) is found at 69.450 deg solar longitude (May 31, 05h04mUT, +-5min) with a ZHR=55+-7, corresponding to a spatial number density ND of approx. 380 meteoroids larger than 10mg in a cube with 1000km edge length. An earlier maximum occurred at 69.207 deg solar longitude (centred May 30, 23h UT) with a ZHR=18+-3 and is tentatively associated with SW3-ejecta from 1892. Effects of the radiant shift due to the large zenith attraction of about 10 deg for the radiant close to the horizon are discussed.


title: Constant-time Quantum Algorithm for Homology Detection in Closed Curves

abstract: Given a loop or more generally 1-cycle $r$ of size L on a closed two-dimensional manifold or surface, represented by a triangulated mesh, a question in computational topology asks whether or not it is homologous to zero. We frame and tackle this problem in the quantum setting. Given an oracle that one can use to query the inclusion of edges on a closed curve, we design a quantum algorithm for such a homology detection with a constant running time, with respect to the size or the number of edges on the loop $r$, requiring only a single usage of oracle. In contrast, classical algorithm requires $\Omega(L)$ oracle usage, followed by a linear time processing and can be improved to logarithmic by using a parallel algorithm. Our quantum algorithm can be extended to check whether two closed loops belong to the same homology class. Furthermore, it can be applied to a specific problem in the homotopy detection, namely, checking whether two curves are \textit{not} homotopically equivalent on a closed two-dimensional manifold.


title: WARC-DL: Scalable Web Archive Processing for Deep Learning

abstract: Web archives have grown to petabytes. In addition to providing invaluable background knowledge on many social and cultural developments over the last 30 years, they also provide vast amounts of training data for machine learning. To benefit from recent developments in Deep Learning, the use of web archives requires a scalable solution for their processing that supports inference with and training of neural networks. To date, there is no publicly available library for processing web archives in this way, and some existing applications use workarounds. This paper presents WARC-DL, a deep learning-enabled pipeline for web archive processing that scales to petabytes.


title: Coulomb-correlated electron number states in a transmission electron microscope beam

abstract: We demonstrate the generation of Coulomb-correlated pair, triple and quadruple states of free electrons by femtosecond photoemission from a nanoscale field emitter inside a transmission electron microscope. Event-based electron spectroscopy allows a spatial and spectral characterization of the electron ensemble emitted by each laser pulse. We identify distinctive energy and momentum correlations arising from acceleration-enhanced interparticle energy exchange, revealing strong few-body Coulomb interactions at an energy scale of about two electronvolts. State-sorted beam caustics show a discrete increase in virtual source size and longitudinal source shift for few-electron states, associated with transverse momentum correlations. We observe field-controllable electron antibunching, attributed primarily to transverse Coulomb deflection. The pronounced spatial and spectral characteristics of these electron number states allow filtering schemes that control the statistical distribution of the pulse charge. In this way, the fraction of specific few-electron states can be actively suppressed or enhanced, facilitating the preparation of highly non-Poissonian electron beams for microscopy and lithography, including future heralding schemes and correlated multi-electron probing.

categories: cond-mat.mes-hall cond-mat.str-el physics.optics quant-ph


title: Constant-delay enumeration for SLP-compressed documents

abstract: We study the problem of enumerating results from a query over a compressed document. The model we use for compression are straight-line programs (SLPs), which are defined by a context-free grammar that produces a single string. For our queries, we use a model called Annotated Automata, an extension of regular automata that allows annotations on letters. This model extends the notion of Regular Spanners as it allows arbitrarily long outputs. Our main result is an algorithm that evaluates such a query by enumerating all results with output-linear delay after a preprocessing phase which takes linear time on the size of the SLP, and cubic time over the size of the automaton. This is an improvement over Schmid and Schweikardt's result, which, with the same preprocessing time, enumerates with a delay that is logarithmic on the size of the uncompressed document. We achieve this through a persistent data structure named Enumerable Compact Sets with Shifts which guarantees output-linear delay under certain restrictions. These results imply constant-delay enumeration algorithms in the context of regular spanners. Further, we use an extension of annotated automata which utilizes succinctly encoded annotations to save an exponential factor from previous results that dealt with constant-delay enumeration over vset automata. Lastly, we extend our results in the same fashion Schmid and Schweikardt did to allow complex document editing while maintaining the constant delay guarantee.


title: Formation of the cosmic-ray halo: The role of nonlinear Landau damping

abstract: We present a nonlinear model of self-consistent Galactic halo, where the processes of cosmic ray (CR) propagation and excitation/damping of MHD waves are included. The MHD-turbulence, which prevents CR escape from the Galaxy, is entirely generated by the resonant streaming instability. The key mechanism controlling the halo size is the nonlinear Landau (NL) damping, which suppresses the amplitude of MHD fluctuations and, thus, makes the halo larger. The equilibrium turbulence spectrum is determined by a balance of CR excitation and NL damping, which sets the regions of diffusive and advective propagation of CRs. The boundary $z_{cr}(E)$ between the two regions is the halo size, which slowly increases with the energy. For the vertical magnetic field of $\sim 1~\mu G$, we estimate $z_{cr} \sim 1$ kpc for GeV protons. The derived proton spectrum is in a good agreement with observational data.


title: Model study on $\Upsilon(nS)$ modification in small collision systems

abstract: Quarkonium production has been studied extensively in relativistic heavy-ion collision experiments to understand the properties of the quark gluon plasma. The experimental results on the yield modification in heavy-ion collisions relative to that in $p$+$p$ collisions can be described by several models considering dissociation and regeneration effects. A yield modification beyond initial-state effects has also been observed in small collision systems such as $p$+Au and $p$+Pb collisions, but it is still premature to claim any hot medium effect. A model study in various small collision systems such as $p$+$p$, $p$+Pb, $p$+O, and O+O collisions will help quantitatively understanding nuclear effects on the $\Upsilon(nS)$ production. A theoretical calculation considering the gluo-dissociation and inelastic parton scattering and their inverse reaction reasonably describes the suppression of $\Upsilon(1S)$ in Pb+Pb collisions. Based on this calculation, a Monte-Carlo simulation is developed to more realistically incorporate the medium produced in heavy-ion collisions with event-by-event initial collision geometry and hydrodynamic evolution. We extend this framework to small systems to study the medium effects. In this work, we quantify the nuclear modification factor of $\Upsilon(nS)$ as a function of charged particle multiplicity ($dN_{ch}/d\eta$) and transverse momentum. We also calculate the elliptic flow of $\Upsilon(nS)$ in small collision systems.


title: Issues in Implementing Regression Calibration Analyses

abstract: Regression calibration is a popular approach for correcting biases in estimated regression parameters when exposure variables are measured with error. This approach involves building a calibration equation to estimate the value of the unknown true exposure given the error-prone measurement and other confounding covariates. The estimated, or calibrated, exposure is then substituted for the true exposure in the health outcome regression model. When used properly, regression calibration can greatly reduce the bias induced by exposure measurement error. Here, we first provide an overview of the statistical framework for regression calibration, specifically discussing how a special type of error, called Berkson error, arises in the estimated exposure. We then present practical issues to consider when applying regression calibration, including: (1) how to develop the calibration equation and which covariates to include; (2) valid ways to calculate standard errors (SE) of estimated regression coefficients; and (3) problems arising if one of the covariates in the calibration model is a mediator of the relationship between the exposure and outcome. Throughout the paper, we provide illustrative examples using data from the Hispanic Community Health Study/Study of Latinos (HCHS/SOL) and simulations. We conclude with recommendations for how to perform regression calibration.


title: Adnexal Mass Segmentation with Ultrasound Data Synthesis

abstract: Ovarian cancer is the most lethal gynaecological malignancy. The disease is most commonly asymptomatic at its early stages and its diagnosis relies on expert evaluation of transvaginal ultrasound images. Ultrasound is the first-line imaging modality for characterising adnexal masses, it requires significant expertise and its analysis is subjective and labour-intensive, therefore open to error. Hence, automating processes to facilitate and standardise the evaluation of scans is desired in clinical practice. Using supervised learning, we have demonstrated that segmentation of adnexal masses is possible, however, prevalence and label imbalance restricts the performance on under-represented classes. To mitigate this we apply a novel pathology-specific data synthesiser. We create synthetic medical images with their corresponding ground truth segmentations by using Poisson image editing to integrate less common masses into other samples. Our approach achieves the best performance across all classes, including an improvement of up to 8% when compared with nnU-Net baseline approaches.


title: Topological Spectral Bands with Frieze Groups

abstract: Frieze groups are discrete subgroups of the full group of isometries of a flat strip. We investigate here the dynamics of specific architected materials generated by acting with a frieze group on a collection of self-coupling seed resonators. We demonstrate that, under unrestricted reconfigurations of the internal structures of the seed resonators, the dynamical matrices of the materials generate the full self-adjoint sector of the stabilized group $C^\ast$-algebra of the frieze group. As a consequence, in applications where the positions, orientations and internal structures of the seed resonators are adiabatically modified, the spectral bands of the dynamical matrices carry a complete set of topological invariants that are fully accounted by the K-theory of the mentioned algebra. By resolving the generators of the K-theory, we produce the model dynamical matrices that carry the elementary topological charges, which we implement with systems of plate resonators to showcase several applications in spectral engineering. The paper is written in an expository style.

categories: cond-mat.mtrl-sci math-ph math.KT math.MP


title: On the Stability Analysis of Open Federated Learning Systems

abstract: We consider the open federated learning (FL) systems, where clients may join and/or leave the system during the FL process. Given the variability of the number of present clients, convergence to a fixed model cannot be guaranteed in open systems. Instead, we resort to a new performance metric that we term the stability of open FL systems, which quantifies the magnitude of the learned model in open systems. Under the assumption that local clients' functions are strongly convex and smooth, we theoretically quantify the radius of stability for two FL algorithms, namely local SGD and local Adam. We observe that this radius relies on several key parameters, including the function condition number as well as the variance of the stochastic gradient. Our theoretical results are further verified by numerical simulations on both synthetic and real-world benchmark data-sets.


title: Low-temperature creep of binderless tungsten carbide with different grain sizes

abstract: The creep mechanism in the compression testing of the tungsten carbide with different grain sizes has been studied. The WC samples with high density (96.1-99.2%) were obtained by SPS from nano-, submicron, and micron-grade WC powders. The samples had a coarse-grained (CG) surface layers of ~0.3 mm in thickness and ultrafine-grained (UFG) central parts consisting of WC with a small fraction of W2C. The creep tests were conducted in two regimes: (Mode #1) holding at different temperatures (1300-1375C) at 70 MPa; (Mode #2) tests at different stresses (50, 70, 90 MPa) at 1325C. Tests in Mode #1 were done to determine the effective creep activation energy Qcr while tests in Mode #2 - to determine the coefficient n in the power law creep equation. The increasing of the fraction of the W2C particles from 1.7 up to 4% was found to result in a decrease in the Qcr from 17.5 down to 13 kTm. The coefficient n equals to 3.1-3.7. The Qcr in the WC sintered from nanopowders was shown to be 31 kTm. This value is 1.5-2 times greater than the Qcr in the UFG samples obtained by SPS from commercial powders. The increased fraction of the W2C formed when sintering the nanopowders with increased adsorbed oxygen concentration was suggested to be one of the origins of the increase in the Qcr when testing the UFG samples. The mechanical removing of the CG layers from the surfaces of the tungsten carbide sample was shown to result in an accelerated creep, insufficient decrease in the Qcr and coefficient n to 2.5-2.6. The creep rate of the samples was suggested to be determined simultaneously by the creep process in the CG surface layers and the creep process in the UFG central parts of the samples. The creep rate in the surface CG layers is determined by intensity of carbon diffusion in the WC crystal lattice while the creep rate in the UFG central parts - by the intensity of grain boundary diffusion.


title: Feature Encodings for Gradient Boosting with Automunge

abstract: Automunge is a tabular preprocessing library that encodes dataframes for supervised learning. When selecting a default feature encoding strategy for gradient boosted learning, one may consider metrics of training duration and achieved predictive performance associated with the feature representations. Automunge offers a default of binarization for categoric features and z-score normalization for numeric. The presented study sought to validate those defaults by way of benchmarking on a series of diverse data sets by encoding variations with tuned gradient boosted learning. We found that on average our chosen defaults were top performers both from a tuning duration and a model performance standpoint. Another key finding was that one hot encoding did not perform in a manner consistent with suitability to serve as a categoric default in comparison to categoric binarization. We present here these and further benchmarks.


title: Accelerating the Convex Hull Computation with a Parallel GPU Algorithm

abstract: The convex hull is a fundamental geometrical structure for many applications where groups of points must be enclosed or represented by a convex polygon. Although efficient sequential convex hull algorithms exist, and are constantly being used in applications, their computation time is often considered an issue for time-sensitive tasks such as real-time collision detection, clustering or image processing for virtual reality, among others, where fast response times are required. In this work we propose a parallel GPU-based adaptation of heaphull, which is a state of the art CPU algorithm that computes the convex hull by first doing a efficient filtering stage followed by the actual convex hull computation. More specifically, this work parallelizes the filtering stage, adapting it to the GPU programming model as a series of parallel reductions. Experimental evaluation shows that the proposed implementation significantly improves the performance of the convex hull computation, reaching up to $4\times$ of speedup over the sequential CPU-based heaphull and between $3\times \sim 4\times$ over existing GPU based approaches.


title: A fully-discrete virtual element method for the nonstationary Boussinesq equations

abstract: In the present work we propose and analyze a fully coupled virtual element method of high order for solving the two dimensional nonstationary Boussinesq system in terms of the stream-function and temperature fields. The discretization for the spatial variables is based on the coupling $C^1$- and $C^0$-conforming virtual element approaches, while a backward Euler scheme is employed for the temporal variable. Well-posedness and unconditional stability of the fully-discrete problem is provided. Moreover, error estimates in $H^2$- and $H^1$-norms are derived for the stream-function and temperature, respectively. Finally, a set of benchmark tests are reported to confirm the theoretical error bounds and illustrate the behavior of the fully-discrete scheme.


title: Statistical Equilibrium of Circulating Fluids

abstract: We are investigating the inviscid limit of the Navier-Stokes equation, and we find previously unknown anomalous terms in Hamiltonian, Dissipation, and Helicity, which survive this limit and define the turbulent statistics. We find various topologically nontrivial configurations of the confined Clebsch field responsible for vortex sheets and lines. In particular, a stable vortex sheet family is discovered, but its anomalous dissipation vanishes as $\sqrt{\nu}$. Topologically stable stationary singular flows, which we call Kelvinons, are introduced. They have a conserved velocity circulation $\Gamma_\alpha$ around the loop $C$ and another one $\Gamma_\beta$ for an infinitesimal closed loop $\tilde C$ encircling $C$, leading to a finite helicity. The anomalous dissipation has a finite limit, which we computed analytically. The Kelvinon is responsible for asymptotic PDF tails of velocity circulation, \textbf{perfectly matching numerical simulations}. The loop equation for circulation PDF as functional of the loop shape is derived and studied. This equation is \textbf{exactly} equivalent to the Schr\"odinger equation in loop space, with viscosity $\nu$ playing the role of Planck's constant. Kelvinons are fixed points of the loop equation at WKB limit $\nu \rightarrow 0$. The anomalous Hamiltonian for the Kelvinons contains a large parameter $\log \frac{|\Gamma_\beta|}{\nu}$. The leading powers of this parameter can be summed up, leading to familiar asymptotic freedom, like in QCD. In particular, the so-called multifractal scaling laws are, as in QCD, modified by the powers of the logarithm.

categories: physics.flu-dyn hep-th math-ph math.MP nlin.CD nlin.PS


title: Random graph matching at Otter's threshold via counting chandeliers

abstract: We propose an efficient algorithm for graph matching based on similarity scores constructed from counting a certain family of weighted trees rooted at each vertex. For two Erd\H{o}s-R\'enyi graphs $\mathcal{G}(n,q)$ whose edges are correlated through a latent vertex correspondence, we show that this algorithm correctly matches all but a vanishing fraction of the vertices with high probability, provided that $nq\to\infty$ and the edge correlation coefficient $\rho$ satisfies $\rho^2>\alpha \approx 0.338$, where $\alpha$ is Otter's tree-counting constant. Moreover, this almost exact matching can be made exact under an extra condition that is information-theoretically necessary. This is the first polynomial-time graph matching algorithm that succeeds at an explicit constant correlation and applies to both sparse and dense graphs. In comparison, previous methods either require $\rho=1-o(1)$ or are restricted to sparse graphs. The crux of the algorithm is a carefully curated family of rooted trees called chandeliers, which allows effective extraction of the graph correlation from the counts of the same tree while suppressing the undesirable correlation between those of different trees.


title: Package Delivery Using Drones with Restricted Movement Areas

abstract: For the problem of delivering a package from a source node to a destination node in a graph using a set of drones, we study the setting where the movements of each drone are restricted to a certain subgraph of the given graph. We consider the objectives of minimizing the delivery time (problem DDT) and of minimizing the total energy consumption (problem DDC). For general graphs, we show a strong inapproximability result and a matching approximation algorithm for DDT as well as NP-hardness and a 2-approximation algorithm for DDC. For the special case of a path, we show that DDT is NP-hard if the drones have different speeds. For trees, we give optimal algorithms under the assumption that all drones have the same speed or the same energy consumption rate. The results for trees extend to arbitrary graphs if the subgraph of each drone is isometric.


title: Tree decompositions with bounded independence number: beyond independent sets

abstract: We continue the study of graph classes in which the treewidth can only be large due to the presence of a large clique, and, more specifically, of graph classes with bounded tree-independence number. In [Dallard, Milani\v{c}, and \v{S}torgel, Treewidth versus clique number. {II}. Tree-independence number, 2022], it was shown that the Maximum Weight Independent Packing problem, which is a common generalization of the Independent Set and Induced Matching problems, can be solved in polynomial time provided that the input graph is given along with a tree decomposition with bounded independence number. We provide further examples of algorithmic problems that can be solved in polynomial time under this assumption. This includes, for all even positive integers $d$, the problem of packing subgraphs at distance at least $d$ (generalizing the Maximum Weight Independent Packing problem) and the problem of finding a large induced sparse subgraph satisfying an arbitrary but fixed property expressible in counting monadic second-order logic. As part of our approach, we generalize some classical results on powers of chordal graphs to the context of general graphs and their tree-independence numbers.


title: Weather2vec: Representation Learning for Causal Inference with Non-Local Confounding in Air Pollution and Climate Studies

abstract: Estimating the causal effects of a spatially-varying intervention on a spatially-varying outcome may be subject to non-local confounding (NLC), a phenomenon that can bias estimates when the treatments and outcomes of a given unit are dictated in part by the covariates of other nearby units. In particular, NLC is a challenge for evaluating the effects of environmental policies and climate events on health-related outcomes such as air pollution exposure. This paper first formalizes NLC using the potential outcomes framework, providing a comparison with the related phenomenon of causal interference. Then, it proposes a broadly applicable framework, termed "weather2vec", that uses the theory of balancing scores to learn representations of non-local information into a scalar or vector defined for each observational unit, which is subsequently used to adjust for confounding in conjunction with causal inference methods. The framework is evaluated in a simulation study and two case studies on air pollution where the weather is an (inherently regional) known confounder.


title: $\mathcal{U}$-compact group topologies without convergent sequences on countably cofinal torsion-free Abelian groups

abstract: We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(\lambda)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent sequences, where $\lambda$ is a cardinal whose cofinality is $\omega$ and $\mathcal{U}$ is a selective ultrafilter. This answers a question posed in arXiv:1904.05928.


title: Scrapbook: Screenshot-Based Bookmarks for Effective Digital Resource Curation across Applications

abstract: Modern knowledge workers typically need to use multiple resources, such as documents, web pages, and applications, at the same time. This complexity in their computing environments forces workers to restore various resources in the course of their work. However, conventional curation methods like bookmarks, recent document histories, and file systems place limitations on effective retrieval. Such features typically work only for resources of one type within one application, ignoring the interdependency between resources needed for a single task. In addition, text-based handles do not provide rich cues for users to recognize their associated resources. Hence, the need to locate and reopen relevant resources can significantly hinder knowledge workers' productivity. To address these issues, we designed and developed Scrapbook, a novel application for digital resource curation across applications that uses screenshot-based bookmarks. Scrapbook extracts and stores all the metadata (URL, file location, and application name) of windows visible in a captured screenshot to facilitate restoring them later. A week-long field study indicated that screenshot-based bookmarks helped participants curate digital resources. Additionally, participants reported that multimodal -- visual and textual -- data helped them recall past computer activities and reconstruct working contexts efficiently.


title: Large deformations of gradient elastic beams

abstract: Budiansky's nonlinear shell theory is particularized to a 2D setting, and thereupon generalized to a fully nonlinear, statically and kinematically exact, theory of strain-gradient elasticity of beams. The governing equations are displayed in their weak and strong forms. A suitable finite element is used to accommodate the new degrees of freedom emanating from the theory and several numerical examples with large geometrical nonlinearities are displayed showing the relative influence of the strain gradient. The numerical apparatus is then applied to permanently magnetized bodies under the action of external magnetic fields.


title: Can We Automate the Analysis of Online Child Sexual Exploitation Discourse?

abstract: Social media's growing popularity raises concerns around children's online safety. Interactions between minors and adults with predatory intentions is a particularly grave concern. Research into online sexual grooming has often relied on domain experts to manually annotate conversations, limiting both scale and scope. In this work, we test how well-automated methods can detect conversational behaviors and replace an expert human annotator. Informed by psychological theories of online grooming, we label $6772$ chat messages sent by child-sex offenders with one of eleven predatory behaviors. We train bag-of-words and natural language inference models to classify each behavior, and show that the best performing models classify behaviors in a manner that is consistent, but not on-par, with human annotation.


title: Relativistic corrections to paired production of charmonium and bottomonium in decays of the Higgs boson

abstract: Rare decay process of the Higgs boson into a pair of $J/\Psi$ and $\Upsilon$ particles is studied within perturbative Standard Model and relativistic quark model. The relativistic corrections connected with the relative motion of quarks are calculated in the production amplitude and the wave functions of the bound states. Numerical values of the decay widths of the Higgs boson are obtained, which can be used for comparison with experimental data.


title: Classical and Machine Learning Interatomic Potentials for BCC Vanadium

abstract: BCC transition metals (TMs) exhibit complex temperature and strain-rate dependent plastic deformation behaviour controlled by individual crystal lattice defects. Classical empirical and semi-empirical interatomic potentials have limited capability in modelling defect properties such as the screw dislocation core structures and Peierls barriers in the BCC structure. Machine learning (ML) potentials, trained on DFT-based datasets, have shown some successes in reproducing dislocation core properties. However, in group VB TMs, the most widely-used DFT functionals produce erroneous shear moduli C44 which are undesirably transferred to machine-learning interatomic potentials, leaving current ML approaches unsuitable for this important class of metals and alloys. Here, we develop two interatomic potentials for BCC vanadium (V) based on (i) an extension of the partial electron density and screening parameter in the classical semi-empirical modified embedded-atom method (XMEAM-V) and (ii) a recent hybrid descriptor in the ML Deep Potential framework (DP-HYB-V). We describe distinct features in these two disparate approaches, including their dataset generation, training procedure, weakness and strength in modelling lattice and defect properties in BCC V. Both XMEAM-V and DP-HYB-V reproduce a broad range of defect properties relevant to plastic deformation and fracture. In particular, XMEAM-V reproduces nearly all mechanical and thermodynamic properties at DFT accuracies and with C44 near experimental value. XMEAM-V also naturally exhibits the anomalous slip at 77 K widely observed in group VB and VIB TMs and outperforms all existing, publically available interatomic potentials for V. The XMEAM thus provides a practical path to developing accurate and efficient interatomic potentials for nonmagnetic BCC TMs and possibly multi-principal element TM alloys.


title: The Taming of the Screw: Dislocation Cores in BCC Metals and Alloys

abstract: Body-centred cubic (BCC) transition metals tend to be brittle at low temperatures, posing significant challenges in processing and major concerns for damage tolerance. The brittleness is largely dictated by the screw dislocation core; the nature and control of which remain a puzzle after nearly a century. Here, we introduce a physics-based material index \{chi}, the energy difference between BCC and face-centred-cubic structures, that guides manipulation of core properties. The lattice friction and nucleation barrier have near-linear scaling with \{chi} and the core transforms from non-degenerate to degenerate when \{chi} drops below a threshold in BCC alloys. \{chi} is related to solute valence electron concentrations and can be quantitatively predicted by first-principles calculations, providing a robust path for design of ductile and tough BCC alloys.


title: Matching Queues with Abandonments in Quantum Switches: Stability and Throughput Analysis

abstract: Inspired by quantum switches, we consider a discrete-time multi-way matching system with two classes of arrivals: requests for entangled pair of qubits between two nodes, and qubits from each node that can be used to serve the requests. An important feature of this model is that qubits decohere and so abandon over time. In contrast to classical server-based queueing models, the combination of queueing, server-less multi-way matching, and (potentially correlated) abandonments make the analysis a challenging problem. The primary focus of this paper is to study a simple system consisting of two types of requests and three types of qubits operating under a Max-Weight policy. In this setting, we characterize the stability region under the Max-Weight policy by adopting a two-time scale fluid limit to get a handle on the abandonments. In particular, we show that Max-Weight is throughput optimal and that it can achieve throughputs larger than the ones that can be achieved by non-idling policies when the requests are infinitely backlogged. Moreover, despite the use of the Max-Weight policy, we show that there can be a counter-intuitive behavior in the system: the longest requests queue can have a positive drift for some time even if the overall system is stable.


title: An Empirical Study on Cross-X Transfer for Legal Judgment Prediction

abstract: Cross-lingual transfer learning has proven useful in a variety of Natural Language Processing (NLP) tasks, but it is understudied in the context of legal NLP, and not at all in Legal Judgment Prediction (LJP). We explore transfer learning techniques on LJP using the trilingual Swiss-Judgment-Prediction dataset, including cases written in three languages. We find that cross-lingual transfer improves the overall results across languages, especially when we use adapter-based fine-tuning. Finally, we further improve the model's performance by augmenting the training dataset with machine-translated versions of the original documents, using a 3x larger training corpus. Further on, we perform an analysis exploring the effect of cross-domain and cross-regional transfer, i.e., train a model across domains (legal areas), or regions. We find that in both settings (legal areas, origin regions), models trained across all groups perform overall better, while they also have improved results in the worst-case scenarios. Finally, we report improved results when we ambitiously apply cross-jurisdiction transfer, where we further augment our dataset with Indian legal cases.


title: On Clusters and Exceptional Sets in Types $\mathbb{A}$ and $\tilde{\mathbb{A}}$

abstract: In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in type $\tilde{\mathbb{A}}$. We then focus on exceptional collections (sets) of modules over path algebras of quivers by first showing that the notion of relative projectivity in exceptional sets is well defined. We finish by counting the number of exceptional sets of representations of type $\mathbb{A}$ quivers with straight orientation and using this to count the number of families of exceptional sets of type $\tilde{\mathbb{A}}$ with straight orientation.


title: Clustered Coloring of Graphs with Bounded Layered Treewidth and Bounded Degree

abstract: The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every graph with layered treewidth at most $k$ and with maximum degree at most $\Delta$ is $3$-colorable with clustering $O(k^{19}\Delta^{37})$. This is the first known polynomial bound on the clustering. This greatly improves upon a corresponding result of Esperet and Joret for graphs of bounded genus.


title: Real-Time Power System Event Detection: A Novel Instance Selection Approach

abstract: Instance selection is a vital technique for energy big data analytics. It is challenging to process a massive amount of streaming data generated at high speed rates by intelligent monitoring devices. Instance selection aims at removing noisy and bad data that can compromise the performance of data-driven learners. In this context, this paper proposes a novel similarity based instance selection (SIS) method for real-time phasor measurement unit data. In addition, we develop a variant of the Hoeffding-Tree learner enhanced with the SIS for classifying disturbances and cyber-attacks. We validate the merits of the proposed learner by exploring its performance under four scenarios that affect either the system physics or the monitoring architecture. Our experiments are simulated by using the datasets of industrial control system cyber-attacks. Finally, we conduct an implementation analysis which shows the deployment feasibility and high-performance potential of the proposed learner, as a part of real-time monitoring applications.


title: Interplanetary medium monitoring with LISA: lessons from LISA Pathfinder

abstract: The Laser Interferometer Space Antenna (LISA) of the European Space Agency (ESA) will be the first low-frequency gravitational-wave observatory orbiting the Sun at 1 AU. The LISA Pathfinder (LPF) mission, aiming at testing of the instruments to be located on board the LISA spacecraft (S/C), hosted, among the others, fluxgate magnetometers and a particle detector as parts of a diagnostics subsystem. These instruments allowed us for the estimate of the magnetic and Coulomb spurious forces acting on the test masses that constitute the mirrors of the interferometer. With these instruments we also had the possibility to study the galactic cosmic-ray short term-term variations as a function of the particle energy and the associated interplanetary disturbances. Platform magnetometers and particle detectors will be also placed on board each LISA S/C. This work reports about an empirical method that allowed us to disentangle the interplanetary and onboard-generated components of the magnetic field by using the LPF magnetometer measurements. Moreover, we estimate the number and fluence of solar energetic particle events expected to be observed with the ESA Next Generation Radiation Monitor during the mission lifetime. An additional cosmic-ray detector, similar to that designed for LPF, in combination with magnetometers, would permit to observe the evolution of recurrent and non-recurrent galactic cosmic-ray variations and associated increases of the interplanetary magnetic field at the transit of high-speed solar wind streams and interplanetary counterparts of coronal mass ejections. The diagnostics subsystem of LISA makes this mission also a natural multi-point observatory for space weather science investigations.


title: Personalizing Text-to-Image Generation via Aesthetic Gradients

abstract: This work proposes aesthetic gradients, a method to personalize a CLIP-conditioned diffusion model by guiding the generative process towards custom aesthetics defined by the user from a set of images. The approach is validated with qualitative and quantitative experiments, using the recent stable diffusion model and several aesthetically-filtered datasets. Code is released at https://github.com/vicgalle/stable-diffusion-aesthetic-gradients


title: Temporally Extended Successor Representations

abstract: We present a temporally extended variation of the successor representation, which we term t-SR. t-SR captures the expected state transition dynamics of temporally extended actions by constructing successor representations over primitive action repeats. This form of temporal abstraction does not learn a top-down hierarchy of pertinent task structures, but rather a bottom-up composition of coupled actions and action repetitions. This lessens the amount of decisions required in control without learning a hierarchical policy. As such, t-SR directly considers the time horizon of temporally extended action sequences without the need for predefined or domain-specific options. We show that in environments with dynamic reward structure, t-SR is able to leverage both the flexibility of the successor representation and the abstraction afforded by temporally extended actions. Thus, in a series of sparsely rewarded gridworld environments, t-SR optimally adapts learnt policies far faster than comparable value-based, model-free reinforcement learning methods. We also show that the manner in which t-SR learns to solve these tasks requires the learnt policy to be sampled consistently less often than non-temporally extended policies.


title: On the Optimal Linear Contraction Order of Tree Tensor Networks, and Beyond

abstract: The contraction cost of a tensor network depends on the contraction order. However, the optimal contraction ordering problem is known to be NP-hard. We show that the linear contraction ordering problem for tree tensor networks admits a polynomial-time algorithm, by drawing connections to database join ordering. The result relies on the adjacent sequence interchange property of the contraction cost, which enables a global decision of the contraction order based on local comparisons. Based on that, we specify a modified version of the IKKBZ database join ordering algorithm to find the optimal tree tensor network linear contraction order. Finally, we extend our algorithm as a heuristic to general contraction orders and arbitrary tensor network topologies.


title: Structured type III radio bursts observed in interplanetary space

abstract: Context: The last few decades has seen numerous studies dedicated to fine structures of type III radio bursts observed in the metric to decametric wavelengths. Majority of explanations of the structured radio emission involve the propagation of electron beam through the strongly inhomogeneous plasma in the low corona. Until now only few studies of single type III bursts with fine structures, observed in the hecto-kilometric wavelengths, were reported. Aims: Herein we report about existence of numerous structured type III radio bursts observed during the STEREO era by all three WAVES instruments on board STEREO A, B, and Wind. The aim of the study is to report, classify structured type III bursts, and present the characteristics of their fine structures. The final goal is to try to understand the physical mechanism responsible for the generation of structured radio emission. Methods: In this study we used data from all available spacecraft, specifically the STEREO and the Wind spacecraft. We employ 1D density models to obtain the speed of the source of type III radio emission, the electron beam. We also perform spectral analysis of the fine structures in order to compare their characteristics with the metric-decametric fine structures. Results: The presented similarities of the type III fine structures in the metric to decametric and interplanetary wavelengths indicate that the physical processes responsible for the generation of structured type III radio bursts could be the same, at the heights, all the way from the low corona to the interplanetary range. We show that the observed structuring and intermittent nature of the type III bursts can be explained by the variation in the level of density fluctuations, at different distances from the Sun.


title: Equivariant basic cohomology of singular Riemannian foliations

abstract: We introduce the notion of equivariant basic cohomology for singular Riemannian foliations with transverse infinitesimal actions, and prove some elementary properties such as its invariance under homotopies. For the particular case of singular Killing foliations, there is the natural transverse action of its structural algebra. We prove that, modulo torsion, its equivariant basic cohomology localizes to the set of closed leaves of the foliation, in the spirit of the classical localization theorem of Borel. As applications, we obtain that the basic Euler characteristic also localizes to this set, and that the dimension of the basic cohomology of the localized foliation is less than or equal to that of the whole foliation, with equality occurring precisely in the equivariantly formal case.


title: Crosslinker mobility governs fracture behavior of catch-bonded networks

abstract: While most chemical bonds weaken under the action of mechanical force (called slip bond behavior), nature has developed bonds that do the opposite: their lifetime increases as force is applied. While such catch bonds have been studied quite extensively at the single molecule level and in adhesive contacts, recent work has shown that they are also abundantly present as crosslinkers in the actin cytoskeleton. However, their role and the mechanism by which they operate in these networks have remained unclear. Here, we present computer simulations that show how polymer networks crosslinked with either slip or catch bonds respond to mechanical stress. Our results reveal that catch bonding may be required to protect dynamic networks against fracture, in particular for mobile linkers that can diffuse freely after unbinding. While mobile slip bonds lead to networks that are very weak at high stresses, mobile catch bonds accumulate in high stress regions and thereby stabilize cracks, leading to a more ductile fracture behavior. This allows cells to combine structural adaptivity at low stresses with mechanical stability at high stresses.


title: Generating Formal Safety Assurances for High-Dimensional Reachability

abstract: Providing formal safety and performance guarantees for autonomous systems is becoming increasingly important. Hamilton-Jacobi (HJ) reachability analysis is a popular formal verification tool for providing these guarantees, since it can handle general nonlinear system dynamics, bounded adversarial system disturbances, and state and input constraints. However, it involves solving a PDE, whose computational and memory complexity scales exponentially with respect to the state dimensionality, making its direct use on large-scale systems intractable. A recently proposed method called DeepReach overcomes this challenge by leveraging a sinusoidal neural PDE solver for high-dimensional reachability problems, whose computational requirements scale with the complexity of the underlying reachable tube rather than the state space dimension. Unfortunately, neural networks can make errors and thus the computed solution may not be safe, which falls short of achieving our overarching goal to provide formal safety assurances. In this work, we propose a method to compute an error bound for the DeepReach solution. This error bound can then be used for reachable tube correction, resulting in a safe approximation of the true reachable tube. We also propose a scenario-based optimization approach to compute a probabilistic bound on this error correction for general nonlinear dynamical systems. We demonstrate the efficacy of the proposed approach in obtaining probabilistically safe reachable tubes for high-dimensional rocket-landing and multi-vehicle collision-avoidance problems.


title: On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic

abstract: The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics LETK and LETF- with rules of propagation of classicality, which are inferences that express how the classicality operator o is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for LETK is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for LETK+ is then obtained by imposing restrictions on the semantics of LETK. These restrictions correspond exactly to the rules of propagation of classicality that extend LETK. The logic LETF+ is obtained as the implication-free fragment of LETK+. We also show that the 6 values of LETK+ and LETF+ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that LETK+ is Blok-Pigozzi algebraizable and that its implication-free fragment LETF+ coincides with the degree-preserving logic of the involutive Stone algebras.


title: Bott Integrability and Higher Integrability; Higher Cheeger-Simons and Godbillon-Vey Invariants

abstract: This paper studies the interaction of $\pi_1(M)$ for a $C^\infty$ manifold $M$ with Bott's original obstruction to integrability, and with differential geometric invariants such as Godbillon-Vey and Cheeger-Simons invariants of a foliation. We prove that the ring of higher Pontrjagin and higher Chern classes of an integrable subbundle $E$ of the tangent bundle of a manifold vanishes above dimension $2k$ where $k=dim(TM/E)$, and where the higher Pontrjagin and Chern rings are rings generated by $i^*y \cup p_j(TM/E)$ and by $i^*y \cup c_j(TM/E)$ respectively, with $p_j$ the $j$-th Pontrjagin class, $c_j$ the $j$-th Chern class, $i:M \to B\pi$ and $\pi=\pi_1(BG)$, where $BG$ is the classifying space of the holonomy groupoid corresponding to $E$ and $y \in H^*(B\pi)$, provided that the fundamental group of $BG$ satisfies the Novikov conjecture. In addition, we show the vanishing of higher Pontrjagin and Chern rings generated by $i^*x \cup p_j(TM/E)$, and by $i^*x \cup c_j(TM/E)$ as before but with $i:M \to BG$, $BG$ as above and $x \in H^*(BG)$ provided $(M,\mathcal{F})$ satisfied the foliated Novikov conjecture, where $\mathcal{F}$ is the foliation whose tangent bundle is $E$. We give examples of this obstruction and of higher Godbillon-Vey and Cheeger-Simons invariants.


title: NNPred: A Predictor Library to Deploy Neural Networks in Computational Fluid Dynamics software

abstract: A neural-networks predictor library has been developed to deploy machine learning (ML) models into computational fluid dynamics (CFD) codes. The pointer-to-implementation strategy is adopted to isolate the implementation details in order to simplify the implementation to CFD solvers. The library provides simplified model-managing functions by encapsulating the TensorFlow C library, and it maintains self-belonging data containers to deal with data type casting and memory layouts in the input/output (I/O) functions interfacing with CFD solvers. On the language level, the library provides application programming interfaces (APIs) for C++ and Fortran, the two commonly used programming languages in the CFD community. High-level customized modules are developed for two open-source CFD codes, OpenFOAM and CFL3D, written with C++ and Fortran, respectively. The basic usage of the predictor is demonstrated in a simple data-driven heat transfer problem as the first tutorial case. Another tutorial case of modeling the effect of turbulence in channel flow using the library is implemented in both OpenFOAM and CFL3D codes. The developed ML predictor library provides a powerful tool for the deployment of ML models in CFD solvers.


title: Solving Seismic Wave Equations on Variable Velocity Models with Fourier Neural Operator

abstract: In the study of subsurface seismic imaging, solving the acoustic wave equation is a pivotal component in existing models. The advancement of deep learning enables solving partial differential equations, including wave equations, by applying neural networks to identify the mapping between the inputs and the solution. This approach can be faster than traditional numerical methods when numerous instances are to be solved. Previous works that concentrate on solving the wave equation by neural networks consider either a single velocity model or multiple simple velocity models, which is restricted in practice. Instead, inspired by the idea of operator learning, this work leverages the Fourier neural operator (FNO) to effectively learn the frequency domain seismic wavefields under the context of variable velocity models. We also propose a new framework paralleled Fourier neural operator (PFNO) for efficiently training the FNO-based solver given multiple source locations and frequencies. Numerical experiments demonstrate the high accuracy of both FNO and PFNO with complicated velocity models in the OpenFWI datasets. Furthermore, the cross-dataset generalization test verifies that PFNO adapts to out-of-distribution velocity models. Moreover, PFNO has robust performance in the presence of random noise in the labels. Finally, PFNO admits higher computational efficiency on large-scale testing datasets than the traditional finite-difference method. The aforementioned advantages endow the FNO-based solver with the potential to build powerful models for research on seismic waves.


title: A Deep Learning Approximation of Non-Stationary Solutions to Wave Kinetic Equations

abstract: We present a deep learning approximation, stochastic optimization based, method for wave kinetic equations. To build confidence in our approach, we apply the method to a Smoluchowski coagulation equation with multiplicative kernel for which an analytic solution exists. Our deep learning approach is then used to approximate the non-stationary solution to a 3-wave kinetic equation corresponding to acoustic wave systems. To validate the neural network approximation, we compare the decay rate of the total energy with previously obtained theoretical results. A finite volume solution is presented and compared with the present method.


title: H\"older regularity of stationary measures

abstract: We consider smooth random dynamical systems defined by a distribution with a finite moment of the norm of the differential, and prove that under suitable non-degeneracy conditions any stationary measure must be H\"older continuous. The result is a vast generalization of the classical statement on H\"older continuity of stationary measures of random walks on linear groups.


title: Paraphrasing Is All You Need for Novel Object Captioning

abstract: Novel object captioning (NOC) aims to describe images containing objects without observing their ground truth captions during training. Due to the absence of caption annotation, captioning models cannot be directly optimized via sequence-to-sequence training or CIDEr optimization. As a result, we present Paraphrasing-to-Captioning (P2C), a two-stage learning framework for NOC, which would heuristically optimize the output captions via paraphrasing. With P2C, the captioning model first learns paraphrasing from a language model pre-trained on text-only corpus, allowing expansion of the word bank for improving linguistic fluency. To further enforce the output caption sufficiently describing the visual content of the input image, we perform self-paraphrasing for the captioning model with fidelity and adequacy objectives introduced. Since no ground truth captions are available for novel object images during training, our P2C leverages cross-modality (image-text) association modules to ensure the above caption characteristics can be properly preserved. In the experiments, we not only show that our P2C achieves state-of-the-art performances on nocaps and COCO Caption datasets, we also verify the effectiveness and flexibility of our learning framework by replacing language and cross-modality association models for NOC. Implementation details and code are available in the supplementary materials.


title: Stochastic Gradient Descent Captures How Children Learn About Physics

abstract: As children grow older, they develop an intuitive understanding of the physical processes around them. They move along developmental trajectories, which have been mapped out extensively in previous empirical research. We investigate how children's developmental trajectories compare to the learning trajectories of artificial systems. Specifically, we examine the idea that cognitive development results from some form of stochastic optimization procedure. For this purpose, we train a modern generative neural network model using stochastic gradient descent. We then use methods from the developmental psychology literature to probe the physical understanding of this model at different degrees of optimization. We find that the model's learning trajectory captures the developmental trajectories of children, thereby providing support to the idea of development as stochastic optimization.


title: Berry-Esseen bounds for design-based causal inference with possibly diverging treatment levels and varying group sizes

abstract: Neyman (1923/1990) introduced the randomization model, which contains the notation of potential outcomes to define causal effects and a framework for large-sample inference based on the design of the experiment. However, the existing theory for this framework is far from complete especially when the number of treatment levels diverges and the treatment group sizes vary. We provide a unified discussion of statistical inference under the randomization model with general treatment group sizes. We formulate the estimator in terms of a linear permutational statistic and use results based on Stein's method to derive various Berry--Esseen bounds on the linear and quadratic functions of the estimator. These new Berry--Esseen bounds serve as basis for design-based causal inference with possibly diverging treatment levels and a diverging number of causal parameters of interest. We also fill an important gap by proposing novel variance estimators for experiments with possibly many treatment levels without replications. Equipped with the newly developed results, design-based causal inference in general settings becomes more convenient with stronger theoretical guarantees.


title: Exploring the Constraints on Artificial General Intelligence: A Game-Theoretic No-Go Theorem

abstract: The emergence of increasingly sophisticated artificial intelligence (AI) systems have sparked intense debate among researchers, policymakers, and the public due to their potential to surpass human intelligence and capabilities in all domains. In this paper, I propose a game-theoretic framework that captures the strategic interactions between a human agent and a potential superhuman machine agent. I identify four key assumptions: Strategic Unpredictability, Access to Machine's Strategy, Rationality, and Superhuman Machine. The main result of this paper is an impossibility theorem: these four assumptions are inconsistent when taken together, but relaxing any one of them results in a consistent set of assumptions. Two straightforward policy recommendations follow: first, policymakers should control access to specific human data to maintain Strategic Unpredictability; and second, they should grant select AI researchers access to superhuman machine research to ensure Access to Machine's Strategy holds. My analysis contributes to a better understanding of the context that can shape the theoretical development of superhuman AI.


title: Opportunities and Challenges from Using Animal Videos in Reinforcement Learning for Navigation

abstract: We investigate the use of animal videos (observations) to improve Reinforcement Learning (RL) efficiency and performance in navigation tasks with sparse rewards. Motivated by theoretical considerations, we make use of weighted policy optimization for off-policy RL and describe the main challenges when learning from animal videos. We propose solutions and test our ideas on a series of 2D navigation tasks. We show how our methods can leverage animal videos to improve performance over RL algorithms that do not leverage such observations.


title: Contribution of $n$-cylinder square-tiled surfaces to Masur-Veech volume of $\mathcal{H}(2g-2)$

abstract: We find the generating function for the contributions of $n$-cylinder square-tiled surfaces to the Masur-Veech volume of $\mathcal{H}(2g-2)$. It is a bivariate generalization of the generating function for the total volumes obtained by Sauvaget via intersection theory. Our approach is, however, purely combinatorial. It relies on the study of counting functions for certain families of metric ribbon graphs. Their top-degree terms are polynomials, whose (normalized) coefficients are cardinalities of certain families of metric plane trees. These polynomials are analogues of Kontsevich polynomials that appear as part of his proof of Witten's conjecture.


title: Efficient evaluation of expectations of functions of a stable L\'evy process and its extremum

abstract: Integral representations for expectations of functions of a stable L\'evy process $X$ and its supremum $\bar X$ are derived. As examples, cumulative probability distribution functions (cpdf) of $X_T, \barX_T$, the joint cpdf of $X_T$ and $\barX_T$, and the expectation of $(\be X_T-\barX_T)_+$, $\be>1$, are considered, and efficient numerical procedures for cpdfs are developed. The most efficient numerical methods use the conformal acceleration technique and simplified trapezoid rule.


title: Unsupervised Reward Shaping for a Robotic Sequential Picking Task from Visual Observations in a Logistics Scenario

abstract: We focus on an unloading problem, typical of the logistics sector, modeled as a sequential pick-and-place task. In this type of task, modern machine learning techniques have shown to work better than classic systems since they are more adaptable to stochasticity and better able to cope with large uncertainties. More specifically, supervised and imitation learning have achieved outstanding results in this regard, with the shortcoming of requiring some form of supervision which is not always obtainable for all settings. On the other hand, reinforcement learning (RL) requires much milder form of supervision but still remains impracticable due to its inefficiency. In this paper, we propose and theoretically motivate a novel Unsupervised Reward Shaping algorithm from expert's observations which relaxes the level of supervision required by the agent and works on improving RL performance in our task.


title: Deep Reinforcement Learning for Adaptive Mesh Refinement

abstract: Finite element discretizations of problems in computational physics often rely on adaptive mesh refinement (AMR) to preferentially resolve regions containing important features during simulation. However, these spatial refinement strategies are often heuristic and rely on domain-specific knowledge or trial-and-error. We treat the process of adaptive mesh refinement as a local, sequential decision-making problem under incomplete information, formulating AMR as a partially observable Markov decision process. Using a deep reinforcement learning approach, we train policy networks for AMR strategy directly from numerical simulation. The training process does not require an exact solution or a high-fidelity ground truth to the partial differential equation at hand, nor does it require a pre-computed training dataset. The local nature of our reinforcement learning formulation allows the policy network to be trained inexpensively on much smaller problems than those on which they are deployed. The methodology is not specific to any particular partial differential equation, problem dimension, or numerical discretization, and can flexibly incorporate diverse problem physics. To that end, we apply the approach to a diverse set of partial differential equations, using a variety of high-order discontinuous Galerkin and hybridizable discontinuous Galerkin finite element discretizations. We show that the resultant deep reinforcement learning policies are competitive with common AMR heuristics, generalize well across problem classes, and strike a favorable balance between accuracy and cost such that they often lead to a higher accuracy per problem degree of freedom.


title: Smells like Teen Spirit: An Exploration of Sensorial Style in Literary Genres

abstract: It is well recognized that sensory perceptions and language have interconnections through numerous studies in psychology, neuroscience, and sensorial linguistics. Set in this rich context we ask whether the use of sensorial language in writings is part of linguistic style? This question is important from the view of stylometrics research where a rich set of language features have been explored, but with insufficient attention given to features related to sensorial language. Taking this as the goal we explore several angles about sensorial language and style in collections of lyrics, novels, and poetry. We find, for example, that individual use of sensorial language is not a random phenomenon; choice is likely involved. Also, sensorial style is generally stable over time - the shifts are extremely small. Moreover, style can be extracted from just a few hundred sentences that have sensorial terms. We also identify representative and distinctive features within each genre. For example, we observe that 4 of the top 6 representative features in novels collection involved individuals using olfactory language where we expected them to use non-olfactory language.


title: New Finite Type Multi-Indexed Orthogonal Polynomials Obtained From State-Adding Darboux Transformations

abstract: The Hamiltonians of finite type discrete quantum mechanics with real shifts are real symmetric matrices of order $N+1$. We discuss the Darboux transformations with higher degree ($>N$) polynomial solutions as seed solutions. They are state-adding and the resulting Hamiltonians after $M$-steps are of order $N+M+1$. Based on twelve orthogonal polynomials (($q$-)Racah, (dual, $q$-)Hahn, Krawtchouk and five types of $q$-Krawtchouk), new finite type multi-indexed orthogonal polynomials are obtained, which satisfy second order difference equations, and all the eigenvectors of the deformed Hamiltonian are described by them. We also present explicit forms of the Krein-Adler type multi-indexed orthogonal polynomials and their difference equations, which are obtained from the state-deleting Darboux transformations with lower degree ($\leq N$) polynomial solutions as seed solutions.


title: InterCap: Joint Markerless 3D Tracking of Humans and Objects in Interaction

abstract: Humans constantly interact with daily objects to accomplish tasks. To understand such interactions, computers need to reconstruct these from cameras observing whole-body interaction with scenes. This is challenging due to occlusion between the body and objects, motion blur, depth/scale ambiguities, and the low image resolution of hands and graspable object parts. To make the problem tractable, the community focuses either on interacting hands, ignoring the body, or on interacting bodies, ignoring hands. The GRAB dataset addresses dexterous whole-body interaction but uses marker-based MoCap and lacks images, while BEHAVE captures video of body object interaction but lacks hand detail. We address the limitations of prior work with InterCap, a novel method that reconstructs interacting whole-bodies and objects from multi-view RGB-D data, using the parametric whole-body model SMPL-X and known object meshes. To tackle the above challenges, InterCap uses two key observations: (i) Contact between the hand and object can be used to improve the pose estimation of both. (ii) Azure Kinect sensors allow us to set up a simple multi-view RGB-D capture system that minimizes the effect of occlusion while providing reasonable inter-camera synchronization. With this method we capture the InterCap dataset, which contains 10 subjects (5 males and 5 females) interacting with 10 objects of various sizes and affordances, including contact with the hands or feet. In total, InterCap has 223 RGB-D videos, resulting in 67,357 multi-view frames, each containing 6 RGB-D images. Our method provides pseudo ground-truth body meshes and objects for each video frame. Our InterCap method and dataset fill an important gap in the literature and support many research directions. Our data and code are areavailable for research purposes.