title: MLinter: Learning Coding Practices from Examples-Dream or Reality?

abstract: Coding practices are increasingly used by software companies. Their use promotes consistency, readability, and maintainability, which contribute to software quality. Coding practices were initially enforced by general-purpose linters, but companies now tend to design and adopt their own company-specific practices. However, these company-specific practices are often not automated, making it challenging to ensure they are shared and used by developers. Converting these practices into linter rules is a complex task that requires extensive static analysis and language engineering expertise. In this paper, we seek to answer the following question: can coding practices be learned automatically from examples manually tagged by developers? We conduct a feasibility study using CodeBERT, a state-of-the-art machine learning approach, to learn linter rules. Our results show that, although the resulting classifiers reach high precision and recall scores when evaluated on balanced synthetic datasets, their application on real-world, unbalanced codebases, while maintaining excellent recall, suffers from a severe drop in precision that hinders their usability.


title: The accuracy of mutual potential approximations in simulations of binary asteroids

abstract: Simulations of asteroid binaries commonly use mutual gravitational potentials approximated by series expansions, leading to truncation errors, and also preventing correct computations of the forces and torques when the bodies are close. We make of a recently developed method where the mutual potential is calculated with the use of surface integrals and is exact for bodies of ellipsoidal shapes. The solutions produced by the surface integration method are compared with an approach that expands the mutual potential, truncated at second and fourth order. The approximate solutions are generated with the ``General Use Binary Asteroid Simulator'' (gubas). We find that the differences in the forces and torques are the largest when the bodies are nearly touching. These differences can exceed 1000% if the shape of the primary is highly elongated. Long term simulations show more than 100% difference in the dynamics if the bodies are initially close, while the differences are negligible if the bodies are initially far apart. For simulations with two triaxial ellipsoids, the computational efficiency of the surface integral method is comparable to fourth order approximations with gubas, and superior to potentials truncated to order eight or higher.


title: Cavitation-induced microjets tuned by channels with alternating wettability patterns

abstract: A laser pulse focused near the closed end of a glass capillary partially filled with water creates a vapor bubble and an associated pressure wave. The pressure wave travels through the liquid toward the meniscus where it is reflected, creating a fast, focused microjet. In this study, we selectively coat the hydrophilic glass capillaries with hydrophobic strips along the capillary. The result after filling the capillary is a static meniscus which has a curvature markedly different than an unmodified capillary. This tilting asymmetry in the static meniscus alters the trajectory of the ensuing jets. The hydrophobic strips also influence the advancing contact line and receding contact line as the vapor bubble expands and collapses. We present thirteen different permutations of this system which includes three geometries and four coating schemes. The combination of geometry and coatings influences the jet breakup, the resulting drop size distribution, the trajectory of the jet tip, and the consistency of jet characteristics across trials. The inclusion of hydrophobic strips promotes jetting in line with the channel axis, with the most effective arrangement dependent on channel size.


title: A numerical simulation method of fish adaption behavior based on deep reinforcement learning and fluid-structure coupling-realization of some lateral line functions

abstract: Improving the numerical method of fish autonomous swimming behavior in complex environments is of great significance to the optimization of bionic controller,the design of fish passing facilities and the study of fish behavior.This work has built a fish autonomous swimming simulation platform,which adapts the high-precision IB-LBM to simulate the dynamic process of the interaction between the fish and the flow field in real time,and realizes the fish brain motion control through the SAC deep reinforcement learning algorithm.More importantly,in view of the poor generalization of the existing simulation platform,a method to simulate the fish's lateral line function is proposed.By adding the Lateral-line machine and designing the Macro-action system,the intelligent fish has the ability to recognize,classify,memorize and transplant the corresponding swimming strategy in the unsteady field.Using this method,the training and simulation of point-to-point predation swimming and Kamangait test under different inlet velocities are carried out.In the example of point-to-point predation swimming,the fish in random position can adjust the swimming posture and speed autonomously to catch the fast moving food,and has a certain prediction ability on the movement trajectory of the food.In the Kaman-gait test,the trained fish are placed in three different Kamangait flow fields,to study its ability to recognize the flow field and select swimming strategies through experience.The results of numerical experiments show that,comparing with the other value function networks,the SAC algorithm based on maximum entropy has more advantages in convergence speed and training efficiency when simulating fish brain decision-making.The use of the Lateral line Machine and Macro-action system can avoid the waste of experience and improve the adaptability of intelligent fish in the new complex flow field environment.


title: How search engine marketing influences user knowledge gain: Development and empirical testing of an information search behavior model

abstract: People use search engines to find answers to questions related to their health, finances, or other socially relevant issues. However, most users are unaware that search results are considerably influenced by search engine marketing (SEM). SEM measures are driven by commercial, political, or other motives. Due to these motivations, two questions arise: What information quality is mediated through SEM? And how is collecting documents of different quality affecting user knowledge gain? Both questions are not considered by existing models of information behavior. Hence, the doctoral research project described in this paper aims to develop and empirically test an information search behavior model on the influences of SEM on user knowledge gain and thereby contribute to the search as learning body of research.


title: Building Resilience to Climate Driven Extreme Events with Computing Innovations: A Convergence Accelerator Report

abstract: In 2022, the National Science Foundation (NSF) funded the Computing Research Association (CRA) to conduct a workshop to frame and scope a potential Convergence Accelerator research track on the topic of "Building Resilience to Climate-Driven Extreme Events with Computing Innovations". The CRA's research visioning committee, the Computing Community Consortium (CCC), took on this task, organizing a two-part community workshop series, beginning with a small, in-person brainstorming meeting in Denver, CO on 27-28 October 2022, followed by a virtual event on 10 November 2022. The overall objective was to develop ideas to facilitate convergence research on this critical topic and encourage collaboration among researchers across disciplines. Based on the CCC community white paper entitled Computing Research for the Climate Crisis, we initially focused on five impact areas (i.e. application domains that are both important to society and critically affected by climate change): Energy, Agriculture, Environmental Justice, Transportation, and Physical Infrastructure.


title: Linear Arboreal Categories

abstract: Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural notions such as simulation, bisimulation, and resource-indexing. In this paper, we strengthen the axioms of an arboreal category to exclude `branching' behaviour, obtaining a notion of `linear arboreal category'. We then demonstrate that every arboreal category satisfying a linearisability condition has an associated linear arboreal subcategory related via an adjunction. This identifies the relationship between the pebble-relation comonad, of Montacute and Shah, and the pebbling comonad, of Abramsky, Dawar, and Wang, and generalises it further. As another outcome of this new framework, we obtain a linear variant of the arboreal category for modal logic. By doing so we recover different linear-time equivalences between transition systems as instances of their categorical definitions. We conclude with new preservation and characterisation theorems relating trace inclusion and trace equivalence with different linear fragments of modal logic.


title: Flat flow solution to the mean curvature flow with volume constraint

abstract: In this paper I will revisit the construction of a global weak solution to the volume preserving mean curvature flow via discrete minimizing movement scheme by Mugnai-Seis-Spadaro (2016). This method is based on the gradient flow approach due to Almgren-Taylor-Wang (1993) and Luckhaus-Strurzenhecker (1995) and my aim is to replace the volume penalization by implementing the volume constraint directly in the discrete scheme, which from practical point of view is perhaps more natural. A technical novelty is the proof of the density estimate which is based on the second variation condition of the energy.


title: Adaptive Probabilistic Forecasting of Electricity (Net-)Load

abstract: Electricity load forecasting is a necessary capability for power system operators and electricity market participants. The proliferation of local generation, demand response, and electrification of heat and transport are changing the fundamental drivers of electricity load and increasing the complexity of load modelling and forecasting. We address this challenge in two ways. First, our setting is adaptive; our models take into account the most recent observations available, yielding a forecasting strategy able to automatically respond to changes in the underlying process. Second, we consider probabilistic rather than point forecasting; indeed, uncertainty quantification is required to operate electricity systems efficiently and reliably. Our methodology relies on the Kalman filter, previously used successfully for adaptive point load forecasting. The probabilistic forecasts are obtained by quantile regressions on the residuals of the point forecasting model. We achieve adaptive quantile regressions using the online gradient descent; we avoid the choice of the gradient step size considering multiple learning rates and aggregation of experts. We apply the method to two data sets: the regional net-load in Great Britain and the demand of seven large cities in the United States. Adaptive procedures improve forecast performance substantially in both use cases for both point and probabilistic forecasting.


title: Cyclicity and iterated logarithms in the Drury-Arveson space

abstract: Let $H^2_d$ be the Drury-Arveson space, and let $f\in H^2_d$ have bounded argument and no zeros in $\mathbb{B}_d$. We show that $f$ is cyclic in $H^2_d$ if and only if $\log f$ belongs to the Pick-Smirnov class $N^+(H^2_d)$. Furthermore, for non-vanishing functions $f\in H^2_d$ with bounded argument and $H^\infty$-norm less than 1, cyclicity can also be tested via iterated logarithms. For example, we show that $f$ is cyclic if and only if $\log(1+\log (1/f))\in N^+(H^2_d)$. Thus, a sufficient condition for cyclicity is that $\log(1+\log (1/f))\in H^2_d$. More generally, our results hold for all radially weighted Besov spaces that also are complete Pick spaces.


title: Model soups to increase inference without increasing compute time

abstract: In this paper, we compare Model Soups performances on three different models (ResNet, ViT and EfficientNet) using three Soup Recipes (Greedy Soup Sorted, Greedy Soup Random and Uniform soup) from arXiv:2203.05482, and reproduce the results of the authors. We then introduce a new Soup Recipe called Pruned Soup. Results from the soups were better than the best individual model for the pre-trained vision transformer, but were much worst for the ResNet and the EfficientNet. Our pruned soup performed better than the uniform and greedy soups presented in the original paper. We also discuss the limitations of weight-averaging that were found during the experiments. The code for our model soup library and the experiments with different models can be found here: https://github.com/milo-sobral/ModelSoup


title: Polarization-Controlled Nonlinear Computer-Generated Holography

abstract: Dynamic phase-only beam shaping with a liquid crystal spatial light modulator is a powerful technique for tailoring the beam's intensity profile or wave front. While shaping and controlling the light field is a highly researched topic, dynamic nonlinear beam shaping has hardly been explored so far. One potential reason is that generating the second harmonic is a degenerate process as it mixes two fields at the same frequency. To overcome this problem, we propose the use of type II phase matching as a control mechanism to distinguish the two involved fields. We experimentally demonstrate that arbitrary intensity distributions can be shaped in the frequency-converted field at the same quality as for linear beam shaping and with conversion efficiencies similar to the case without beam shaping. We envision this technique as a milestone towards beam shaping beyond the physical limits of liquid crystal displays, i.e. facilitating dynamic phase-only beam shaping in the ultraviolet spectral range.


title: Sequential model correction for nonlinear inverse problems

abstract: Inverse problems are in many cases solved with optimization techniques. When the underlying model is linear, first-order gradient methods are usually sufficient. With nonlinear models, due to nonconvexity, one must often resort to second-order methods that are computationally more expensive. In this work we aim to approximate a nonlinear model with a linear one and correct the resulting approximation error. We develop a sequential method that iteratively solves a linear inverse problem and updates the approximation error by evaluating it at the new solution. This treatment convexifies the problem and allows us to benefit from established convex optimization methods. We separately consider cases where the approximation is fixed over iterations and where the approximation is adaptive. In the fixed case we show theoretically under what assumptions the sequence converges. In the adaptive case, particularly considering the special case of approximation by first-order Taylor expansion, we show that with certain assumptions the sequence converges to a critical point of the original nonconvex functional. Furthermore, we show that with quadratic objective functions the sequence corresponds to the Gauss-Newton method. Finally, we showcase numerical results superior to the conventional model correction method. We also show, that a fixed approximation can provide competitive results with considerable computational speed-up.


title: Large Language Models as Fiduciaries: A Case Study Toward Robustly Communicating With Artificial Intelligence Through Legal Standards

abstract: Artificial Intelligence (AI) is taking on increasingly autonomous roles, e.g., browsing the web as a research assistant and managing money. But specifying goals and restrictions for AI behavior is difficult. Similar to how parties to a legal contract cannot foresee every potential "if-then" contingency of their future relationship, we cannot specify desired AI behavior for all circumstances. Legal standards facilitate robust communication of inherently vague and underspecified goals. Instructions (in the case of language models, "prompts") that employ legal standards will allow AI agents to develop shared understandings of the spirit of a directive that generalize expectations regarding acceptable actions to take in unspecified states of the world. Standards have built-in context that is lacking from other goal specification languages, such as plain language and programming languages. Through an empirical study on thousands of evaluation labels we constructed from U.S. court opinions, we demonstrate that large language models (LLMs) are beginning to exhibit an "understanding" of one of the most relevant legal standards for AI agents: fiduciary obligations. Performance comparisons across models suggest that, as LLMs continue to exhibit improved core capabilities, their legal standards understanding will also continue to improve. OpenAI's latest LLM has 78% accuracy on our data, their previous release has 73% accuracy, and a model from their 2020 GPT-3 paper has 27% accuracy (worse than random). Our research is an initial step toward a framework for evaluating AI understanding of legal standards more broadly, and for conducting reinforcement learning with legal feedback (RLLF).


title: Uniformly ergodic probability measures

abstract: Let $G$ be a locally compact group and $\mu$ be a probability measure on $G$. We consider the convolution operator $\lambda_1(\mu)\colon L_1(G)\to L_1(G)$ given by $\lambda_1(\mu)f=\mu \ast f$ and its restriction $\lambda_1^0(\mu)$ to the augmentation ideal $L_1^0(G)$. Say that $\mu$ is uniformly ergodic if the Ces\`aro means of the operator $\lambda_1^0(\mu)$ converge uniformly to 0, that is, if $\lambda_1^0(\mu)$ is a uniformly mean ergodic operator with limit 0 and that $\mu$ is uniformly completely mixing if the powers of the operator $\lambda_1^0(\mu)$ converge uniformly to 0. We completely characterize the uniform mean ergodicity of the operator $\lambda_1(\mu)$ and the uniform convergence of its powers and see that there is no difference between $\lambda_1(\mu)$ and $\lambda_1^0(\mu) $ in this regard. We prove in particular that $\mu$ is uniformly ergodic if and only if $G$ is compact, $\mu$ is adapted (its support is not contained in a proper closed subgroup of $G$) and 1 is an isolated point of the spectrum of $\mu$. The last of these three conditions is actually equivalent to $\mu$ being spread-out (some convolution power of $\mu$ is not singular). The measure $\mu$ is uniformly completely mixing if and only if $G$ is compact, $\mu$ is spread-out and the only unimodular value of the spectrum of $\mu$ is 1.


title: Canonical variables based numerical schemes for hybrid plasma models with kinetic ions and massless electrons

abstract: We study the canonical variables based numerical schemes of a hybrid model with kinetic ions and mass-less electrons. Two equivalent formulations of the hybrid model are presented with the vector potentials in different gauges and the distribution functions depending on canonical momentum (not velocity), which constitutes a pair of canonical variables with the position variable. Particle-in-cell methods are used for the distribution functions, and the vector potentials are discretized by the finite element methods in the framework of finite element exterior calculus. Splitting methods are used for the time discretizations. It is illustrated that the second formulation is numerically superior and the schemes constructed based on the anti-symmetric bracket proposed have better conservation properties and lower noise, although the filters can be used to improve the schemes of the first formulation.


title: The importance of tight $f$ basis functions for heavy p-block oxides and halides: a parallel with tight $d$ functions in the second row

abstract: It is well-known that both wavefunction ab initio and DFT calculations on second-row compounds exhibit anomalously slow basis set convergence unless the basis sets are augmented with additional `tight' (high-exponent) $d$ functions, as in the cc-pV($n+d$)Z and aug-cc-pV($n+d$)Z basis sets. This has been rationalized as being necessary for a better description of the low-lying $3d$ orbital, which as the oxidation state increases sinks low enough to act as a back-donation acceptor from chalcogen and halogen lone pairs. This prompts the question whether a similar phenomenon exists for the isovalent compounds of the heavy p-block. We show that for the fourth and fifth row, this is the case, but this time for tight $f$ functions enhancing the description of the low-lying $4f$ and $5f$ Rydberg orbitals, respectively. In the third-row heavy $p$ block, the $4f$ orbitals are too far up, while the $4d$ orbitals are adequately covered by the basis functions already present to describe the $3d$ subvalence orbitals.


title: Well-Posedness and Exponential Stability of Nonlinear Maxwell Equations for Dispersive Materials with Interface

abstract: In this paper we consider an abstract Cauchy problem for a Maxwell system modelling electromagnetic fields in the presence of an interface between optical media. The electric polarization is in general time-delayed and nonlinear, turning the macroscopic Maxwell equations into a system of nonlinear integro-differential equations. Within the framework of evolutionary equations, we obtain well-posedness in function spaces exponentially weighted in time and of different spatial regularity and formulate various conditions on the material functions, leading to exponential stability on a bounded domain.


title: Using a Waffle Iron for Automotive Point Cloud Semantic Segmentation

abstract: Semantic segmentation of point clouds in autonomous driving datasets requires techniques that can process large numbers of points efficiently. Sparse 3D convolutions have become the de-facto tools to construct deep neural networks for this task: they exploit point cloud sparsity to reduce the memory and computational loads and are at the core of today's best methods. In this paper, we propose an alternative method that reaches the level of state-of-the-art methods without requiring sparse convolutions. We actually show that such level of performance is achievable by relying on tools a priori unfit for large scale and high-performing 3D perception. In particular, we propose a novel 3D backbone, WaffleIron, made almost exclusively of MLPs and dense 2D convolutions and present how to train it to reach high performance on SemanticKITTI and nuScenes. We believe that WaffleIron is a compelling alternative to backbones using sparse 3D convolutions, especially in frameworks and on hardware where those convolutions are not readily available.


title: Smooth self-similar imploding profiles to 3D compressible Euler

abstract: The aim of this note is to present the recent results in [Buckmaster, Cao-Labora, G\'omez-Serrano, arXiv:2208.09445, 2022], concerning the existence of "imploding singularities" for the 3D isentropic compressible Euler and Navier-Stokes equations. Our work builds upon the pioneering work of Merle, Rapha\"el, Rodnianski, and Szeftel [Merle, Rapha\"el, Rodnianski, and Szeftel, Ann. of Math., 196(2):567-778, 2022, Ann. of Math., 196(2):779-889, 2022, Invent. Math., 227(1):247-413, 2022] and proves the existence of self-similar profiles for all adiabatic exponents $\gamma>1$ in the case of Euler; as well as proving asymptotic self-similar blow-up for $\gamma=\frac75$ in the case of Navier-Stokes. Importantly, for the Navier-Stokes equation, the solution is constructed to have density bounded away from zero and constant at infinity, the first example of blow-up in such a setting. For simplicity, we will focus our exposition on the compressible Euler equations.


title: Improved Pseudorandom Generators for $\mathsf{AC}^0$ Circuits

abstract: We show a new PRG construction fooling depth-$d$, size-$m$ $\mathsf{AC}^0$ circuits within error $\varepsilon$, which has seed length $O(\log^{d-1}(m)\log(m/\varepsilon)\log\log(m))$. Our PRG improves on previous work (Trevisan and Xue 2013, Servedio and Tan 2019, Kelley 2021) from various aspects. It has optimal dependence on $\frac{1}{\varepsilon}$ and is only one ``$\log\log(m)$'' away from the lower bound barrier. For the case of $d=2$, the seed length tightly matches the best-known PRG for CNFs (De et al. 2010, Tal 2017). There are two technical ingredients behind our new result; both of them might be of independent interest. First, we use a partitioning-based approach to construct PRGs based on restriction lemmas for $\mathsf{AC}^0$, which follows and extends the seminal work of (Ajtai and Wigderson 1989). Second, improving and extending prior works (Trevisan and Xue 2013, Servedio and Tan 2019, Kelley 2021), we prove a full derandomization of the powerful multi-switching lemma for a family of DNFs (H{\aa}stad 2014).


title: Dynamic properties and the roton mode attenuation in the liquid 3He: an ab initio study within the self-consistent method of moments

abstract: The dynamic structure factor and the eigenmodes of density fluctuations in the uniform liquid $^3$He are studied using a novel non-perturbative approach. This new version of the self-consistent method of moments invokes up to nine sum rules and other exact relations involving the spectral density, the two-parameter Shannon information entropy maximization procedure, and the ab initio path integral Monte Carlo (PIMC) simulations which provide crucial reliable input information on the system static properties. Detailed analysis of the dispersion relations of collective excitations, the modes decrements and the static structure factor (SSF) of $^3$He at the saturated vapor pressure is performed. The results are compared to available experimental data~[1,2]. The theory reveals a clear signature of the roton-like feature in the particle-hole segment of the excitation spectrum with a significant reduction of the roton decrement in the wavenumber range $1.3 A^{-1} \leq q\leq 2.2 A^{-1}$. The observed roton mode remains a well defined collective excitation even in the particle-hole band, where, however, it is strongly damped. Hence, the existence of the roton-like mode in the bulk liquid $^3$He is confirmed like in other strongly interacting quantum fluids~[3]. The phonon branch of the spectrum is also studied with a reasonable agreement with the same experimental data being achieved. The presented combined approach permits to produce ab initio data on the system dynamic characteristics in a wide range of physical parameters and for other physical systems.

categories: physics.comp-ph cond-mat.quant-gas physics.atom-ph quant-ph


title: Carleson's formula for some weighted Dirichlet spaces

abstract: We extend Carleson's formula to radially polynomially weighted Dirichlet spaces.


title: Does Search Engine Optimization come along with high-quality content? A comparison between optimized and non-optimized health-related web pages

abstract: Searching for medical information is both a common and important activity since it influences decisions people make about their healthcare. Using search engine optimization (SEO), content producers seek to increase the visibility of their content. SEO is more likely to be practiced by commercially motivated content producers such as pharmaceutical companies than by non-commercial providers such as governmental bodies. In this study, we ask whether content quality correlates with the presence or absence of SEO measures on a web page. We conducted a user study in which N = 61 participants comprising laypeople as well as experts in health information assessment evaluated health-related web pages classified as either optimized or non-optimized. The subjects rated the expertise of non-optimized web pages as higher than the expertise of optimized pages, justifying their appraisal by the more competent and reputable appearance of non-optimized pages. In addition, comments about the website operators of the non-optimized pages were exclusively positive, while optimized pages tended to receive positive as well as negative assessments. We found no differences between the ratings of laypeople and experts. Since non-optimized, but high-quality content may be outranked by optimized content of lower quality, trusted sources should be prioritized in rankings.


title: Cyanopolyyne chemistry in the L1544 prestellar core: new insights from GBT observations

abstract: We report a comprehensive study of the cyanopolyyne chemistry in the prototypical prestellar core L1544. Using the 100m Robert C. Byrd Green Bank Telescope (GBT) we observe 3 emission lines of HC$_3$N, 9 lines of HC$_5$N, 5 lines of HC$_7$N, and 9 lines of HC$_9$N. HC$_9$N is detected for the first time towards the source. The high spectral resolution ($\sim$ 0.05 km s$^{-1}$) reveals double-peak spectral line profiles with the redshifted peak a factor 3-5 brighter. Resolved maps of the core in other molecular tracers indicates that the southern region is redshifted. Therefore, the bulk of the cyanopolyyne emission is likely associated with the southern region of the core, where free carbon atoms are available to form long chains, thanks to the more efficient illumination of the interstellar field radiation. We perform a simultaneous modelling of the HC$_5$N, HC$_7$N, and HC$_9$N lines, to investigate the origin of the emission. To enable this analysis, we performed new calculation of the collisional coefficients. The simultaneous fitting indicates a gas kinetic temperature of 5--12 K, a source size of 80$\arcsec$, and a gas density larger than 100 cm$^{-3}$. The HC$_5$N:HC$_7$N:HC$_9$N abundance ratios measured in L1544 are about 1:6:4. We compare our observations with those towards the the well-studied starless core TMC-1 and with the available measurements in different star-forming regions. The comparison suggests that a complex carbon chain chemistry is active in other sources and it is related to the presence of free gaseous carbon. Finally, we discuss the possible formation and destruction routes in the light of the new observations.


title: Story Shaping: Teaching Agents Human-like Behavior with Stories

abstract: Reward design for reinforcement learning agents can be difficult in situations where one not only wants the agent to achieve some effect in the world but where one also cares about how that effect is achieved. For example, we might wish for an agent to adhere to a tacit understanding of commonsense, align itself to a preference for how to behave for purposes of safety, or taking on a particular role in an interactive game. Storytelling is a mode for communicating tacit procedural knowledge. We introduce a technique, Story Shaping, in which a reinforcement learning agent infers tacit knowledge from an exemplar story of how to accomplish a task and intrinsically rewards itself for performing actions that make its current environment adhere to that of the inferred story world. Specifically, Story Shaping infers a knowledge graph representation of the world state from observations, and also infers a knowledge graph from the exemplar story. An intrinsic reward is generated based on the similarity between the agent's inferred world state graph and the inferred story world graph. We conducted experiments in text-based games requiring commonsense reasoning and shaping the behaviors of agents as virtual game characters.


title: The virtual Euler characteristic for binary matroids

abstract: Inspired by Kontsevich's graphic orbifold Euler characteristic we define a virtual Euler characteristic for any finite set of isomorphism classes of matroids of rank $r$. Our main result provides a simple formula for the virtual Euler characteristic for the set of isomorphism classes of matroids of rank $r$ realizable over $\mathbb{F}_2$ (i.e., binary matroids). We prove this formula by relating the virtual Euler characteristic for binary matroids to the point counts of certain subsets of Grassmanians over finite fields. We conclude by providing several follow-up questions in relation to matroids realizable over other finite prime fields, matroid homology, and beta invariants.


title: Partial detectability and generalized functional observer design for linear descriptor systems

abstract: This paper studies linear time-invariant descriptor systems which are not necessarily regular. We introduce the notion of partial detectability and characterize this concept by means of a simple rank criterion involving the system coefficient matrices. Three particular cases of this characterization are discussed in detail. Furthermore, we show that partial detectability is necessary for the existence of a generalized functional observer, but not sufficient. We identify a condition which together with partial detectability gives sufficiency.


title: PolarAir: A Compressed Sensing Scheme for Over-the-Air Federated Learning

abstract: We explore a scheme that enables the training of a deep neural network in a Federated Learning configuration over an additive white Gaussian noise channel. The goal is to create a low complexity, linear compression strategy, called PolarAir, that reduces the size of the gradient at the user side to lower the number of channel uses needed to transmit it. The suggested approach belongs to the family of compressed sensing techniques, yet it constructs the sensing matrix and the recovery procedure using multiple access techniques. Simulations show that it can reduce the number of channel uses by ~30% when compared to conveying the gradient without compression. The main advantage of the proposed scheme over other schemes in the literature is its low time complexity. We also investigate the behavior of gradient updates and the performance of PolarAir throughout the training process to obtain insight on how best to construct this compression scheme based on compressed sensing.


title: Bounding the order of finite $p^{\prime}$- subgroups of ${\rm GL}(n,\mathbb{C})$

abstract: In this note, we prove: \medskip \noindent {\bf Theorem A:} \emph{ There is a fixed constant $C$ such that for any positive integer $n$ and prime $p$, every finite subgroup $G$ of order coprime to $p$ of ${\rm GL}(n,\mathbb{C})$ has an Abelian normal subgroup $A$ with $$[G:A] \leq (Cp)^{n-1}.$$}


title: Numerical simulation of convection in K dwarfs

abstract: We have carried out numerical simulations of the convection zone in a K dwarf of 0.7 solar masses rotating at the solar rotation period. We study the convection pattern, the differential rotation and meridional flows, and the dynamo-generated magnetic field. We find that for a star of this type, the solar rotation period represents a case of fairly rapid rotation and the differential is solar-type. A dynamo-generated large scale field appears but it is neither dipolar nor does it show a simple activity cycle.


title: Extremes of regularly varying stochastic volatility fields

abstract: We consider a stationary stochastic volatility field $Y_vZ_v$ with $v\in\mathbb{Z}^d$, where $Z$ is regularly varying and $Y$ has lighter tails and is independent of $Z$. We make - relative to existing literature - very general assumptions on the dependence structure of both fields. In particular this allows $Y$ to be non-ergodic, in contrast to the typical assumption that it is i.i.d., and $Z$ to be given by an infinite moving average. Considering the stochastic volatility field on a (rather general) sequence of increasing index sets, we show the existence and form of a $Y$-dependent extremal functional generalizing the classical extremal index. More precisely, conditioned on the field $Y$, the extremal functional shows exactly how the extremal clustering of the (conditional) stochastic volatility field is given in terms of the extremal clustering of the regularly varying field $Z$ and the realization of $Y$. Secondly, we construct two different cluster counting processes on a fixed, full-dimensional set with boundary of Lebesgue measure zero: By means of a coordinate-dependent upscaling of subsets, we systematically count the number of relevant clusters with an extreme observation. We show that both cluster processes converge to a Poisson point process with intensity given in terms of the extremal functional.


title: When does the student surpass the teacher? Federated Semi-supervised Learning with Teacher-Student EMA

abstract: Semi-Supervised Learning (SSL) has received extensive attention in the domain of computer vision, leading to development of promising approaches such as FixMatch. In scenarios where training data is decentralized and resides on client devices, SSL must be integrated with privacy-aware training techniques such as Federated Learning. We consider the problem of federated image classification and study the performance and privacy challenges with existing federated SSL (FSSL) approaches. Firstly, we note that even state-of-the-art FSSL algorithms can trivially compromise client privacy and other real-world constraints such as client statelessness and communication cost. Secondly, we observe that it is challenging to integrate EMA (Exponential Moving Average) updates into the federated setting, which comes at a trade-off between performance and communication cost. We propose a novel approach FedSwitch, that improves privacy as well as generalization performance through Exponential Moving Average (EMA) updates. FedSwitch utilizes a federated semi-supervised teacher-student EMA framework with two features - local teacher adaptation and adaptive switching between teacher and student for pseudo-label generation. Our proposed approach outperforms the state-of-the-art on federated image classification, can be adapted to real-world constraints, and achieves good generalization performance with minimal communication cost overhead.


title: A Robust Hypothesis Test for Tree Ensemble Pruning

abstract: Gradient boosted decision trees are some of the most popular algorithms in applied machine learning. They are a flexible and powerful tool that can robustly fit to any tabular dataset in a scalable and computationally efficient way. One of the most critical parameters to tune when fitting these models are the various penalty terms used to distinguish signal from noise in the current model. These penalties are effective in practice, but are lacking in robust theoretical justifications. In this paper we develop and present a novel theoretically justified hypothesis test of split quality for gradient boosted tree ensembles and demonstrate that using this method instead of the common penalty terms leads to a significant reduction in out of sample loss. Additionally, this method provides a theoretically well-justified stopping condition for the tree growing algorithm. We also present several innovative extensions to the method, opening the door for a wide variety of novel tree pruning algorithms.


title: Topological phase transition in MoTe$_2$: A Review

abstract: Transition metal dichalcogenides (TMDs) are a branch of two-dimensional materials which in addition to having an easy-to-exfoliate layered structure, also host semiconducting, metallic, superconducting, and topological properties in various polymorphs with potential applications. MoTe$_2$ is an example of such a TMD, which shows semiconducting (in 2H phase), metallic (in 1T' phase), topological Weyl semimetallic and superconducting behavior (in Td phase). Consequently, an extensive amount of research has been done on MoTe$_2$, particularly on the topological phase transition between the metallic-type 1T' phase and the topological Td phase. This phase transition has been reviewed and its association with the crystal structure, charge transport, and electronic band structure is elaborately discussed. Also, the effect of various stimuli like reduced dimensionality, pressure, charge doping, and chemical substitution, which affect the structural transition as well as the superconducting transition temperatures is reviewed; thereby, suggesting certain correlations between the apparently unrelated structural and superconducting phase transitions. The review also brings out some open questions which are likely to interest the community to address the physics associated with the phase transition and its potential applications.


title: Bitcoin Does Not Hedge Inflation

abstract: This paper examines the response of major cryptocurrencies to macroeconomic news announcements (MNA). While other cryptocurrencies exhibit no reaction to major MNA, Bitcoin responds negatively to inflation surprise. Price of Bitcoin decreases by 24 bps in response to a 1 standard deviation inflationary surprise. This reaction is inconsistent with widely-held beliefs of practitioners that Bitcoin can hedge inflation. I do not find support for the hypothesis that the negative response of Bitcoin to inflation is due to its negative exposure to interest rates. Instead, I find support for the hypothesis that Bitcoin is strongly affected by the shift in consumption-savings decisions, driven by the rise in inflation. Consistent with this view, Bitcoin has negative exposure to a proxy for the consumption-savings ratio.


title: Computing isogeny classes of typical principally polarized abelian surfaces over the rationals

abstract: We describe an efficient algorithm which, given a principally polarized (p.p.) abelian surface $A$ over $\mathbb{Q}$ with geometric endomorphism ring equal to $\mathbb{Z}$, computes all the other p.p. abelian surfaces over $\mathbb{Q}$ that are isogenous to $A$. This algorithm relies on explicit open image techniques for Galois representations, and we employ a combination of analytic and algebraic methods to efficiently prove or disprove the existence of isogenies. We illustrate the practicality of our algorithm by applying it to 1 440 894 isogeny classes of Jacobians of genus 2 curves.


title: Minimal Value-Equivalent Partial Models for Scalable and Robust Planning in Lifelong Reinforcement Learning

abstract: Learning models of the environment from pure interaction is often considered an essential component of building lifelong reinforcement learning agents. However, the common practice in model-based reinforcement learning is to learn models that model every aspect of the agent's environment, regardless of whether they are important in coming up with optimal decisions or not. In this paper, we argue that such models are not particularly well-suited for performing scalable and robust planning in lifelong reinforcement learning scenarios and we propose new kinds of models that only model the relevant aspects of the environment, which we call "minimal value-equivalent partial models". After providing a formal definition for these models, we provide theoretical results demonstrating the scalability advantages of performing planning with such models and then perform experiments to empirically illustrate our theoretical results. Then, we provide some useful heuristics on how to learn these kinds of models with deep learning architectures and empirically demonstrate that models learned in such a way can allow for performing planning that is robust to distribution shifts and compounding model errors. Overall, both our theoretical and empirical results suggest that minimal value-equivalent partial models can provide significant benefits to performing scalable and robust planning in lifelong reinforcement learning scenarios.


title: Production of pions, kaons, and protons as a function of the relative transverse activity classifier in pp collisions at $\sqrt{s}=13$ TeV

abstract: The production of $\pi^\pm$, ${\rm K}^\pm$, and $(\overline{\rm p})$p is measured in pp collisions at $\sqrt{s}=13$ TeV in different topological regions. Particle transverse momentum ($p_{\rm T}$) spectra are measured in the ``toward'', ``transverse'', and ``away'' angular regions defined with respect to the direction of the leading particle in the event. While the toward and away regions contain the fragmentation products of the near-side and away-side jets, respectively, the transverse region is dominated by particles from the Underlying Event (UE). The relative transverse activity classifier, $R_{\rm T}=N_{\rm T}/\langle N_{\rm T}\rangle$, is used to group events according to their UE activity, where $N_{\rm T}$ is the measured charged-particle multiplicity per event in the transverse region and $\langle N_{\rm T}\rangle$ is the mean value over all the analysed events. The first measurements of identified particle $p_{\rm T}$ spectra as a function of $R_{\rm T}$ in the three topological regions are reported. The yield of high transverse momentum particles relative to the $R_{\rm T}$-integrated measurement decreases with increasing $R_{\rm T}$ in both the toward and away regions, indicating that the softer UE dominates particle production as $R_{\rm T}$ increases and validating that $R_{\rm T}$ can be used to control the magnitude of the UE. Conversely, the spectral shapes in the transverse region harden significantly with increasing $R_{\rm T}$. This hardening follows a mass ordering, being more significant for heavier particles. The $p_{\rm T}$-differential particle ratios $({\rm p+\overline{p}})/(\pi^+ +\pi^-)$ and $({\rm K^+ +K^-})/(\pi^+ +\pi^-)$ in the low UE limit $(R_{\rm T}\rightarrow 0)$ approach expectations from Monte Carlo generators such as PYTHIA 8 with Monash 2013 tune and EPOS LHC, where the jet-fragmentation models have been tuned to reproduce ${\rm e^+ e^-}$ results.


title: Generalized Object Search

abstract: Future collaborative robots must be capable of finding objects. As such a fundamental skill, we expect object search to eventually become an off-the-shelf capability for any robot, similar to e.g., object detection, SLAM, and motion planning. However, existing approaches either make unrealistic compromises (e.g., reduce the problem from 3D to 2D), resort to ad-hoc, greedy search strategies, or attempt to learn end-to-end policies in simulation that are yet to generalize across real robots and environments. This thesis argues that through using Partially Observable Markov Decision Processes (POMDPs) to model object search while exploiting structures in the human world (e.g., octrees, correlations) and in human-robot interaction (e.g., spatial language), a practical and effective system for generalized object search can be achieved. In support of this argument, I develop methods and systems for (multi-)object search in 3D environments under uncertainty due to limited field of view, occlusion, noisy, unreliable detectors, spatial correlations between objects, and possibly ambiguous spatial language (e.g., "The red car is behind Chase Bank"). Besides evaluation in simulators such as PyGame, AirSim, and AI2-THOR, I design and implement a robot-independent, environment-agnostic system for generalized object search in 3D and deploy it on the Boston Dynamics Spot robot, the Kinova MOVO robot, and the Universal Robots UR5e robotic arm, to perform object search in different environments. The system enables, for example, a Spot robot to find a toy cat hidden underneath a couch in a kitchen area in under one minute. This thesis also broadly surveys the object search literature, proposing taxonomies in object search problem settings, methods and systems.


title: Fillable contact structures from positive surgery

abstract: We consider the question of when the operation of contact surgery with positive surgery coefficient, along a knot $K$ in a contact 3-manifold $Y$, gives rise to a weakly fillable contact structure. We show that this happens if and only if $Y$ itself is weakly fillable, and $K$ is isotopic to the boundary of a properly embedded symplectic disk inside a filling of $Y$. Moreover, if $Y'$ is a contact manifold arising from positive contact surgery along $K$, then any filling of $Y'$ is symplectomorphic to the complement of a suitable neighborhood of such a disk in a filling of $Y$. Using this result we deduce several necessary conditions for a knot in the standard 3-sphere to admit a fillable positive surgery, such as quasipositivity and equality between the slice genus and the 4-dimensional clasp number, and we give a characterization of such knots in terms of a quasipositive braid expression. We show that knots arising as the closure of a positive braid always admit a fillable positive surgery, as do knots that have lens space surgeries, and suitable satellites of such knots. In fact the majority of quasipositive knots with up to 10 crossings admit a fillable positive surgery. On the other hand, in general (strong) quasipositivity, positivity, or Lagrangian fillability need not imply a knot admits a fillable positive contact surgery.


title: Inducing Point Allocation for Sparse Gaussian Processes in High-Throughput Bayesian Optimisation

abstract: Sparse Gaussian Processes are a key component of high-throughput Bayesian Optimisation (BO) loops; however, we show that existing methods for allocating their inducing points severely hamper optimisation performance. By exploiting the quality-diversity decomposition of Determinantal Point Processes, we propose the first inducing point allocation strategy designed specifically for use in BO. Unlike existing methods which seek only to reduce global uncertainty in the objective function, our approach provides the local high-fidelity modelling of promising regions required for precise optimisation. More generally, we demonstrate that our proposed framework provides a flexible way to allocate modelling capacity in sparse models and so is suitable broad range of downstream sequential decision making tasks.


title: Dynamics of blood cells during a routine laboratory examination

abstract: Centrifugation is a commonly performed laboratory procedure that helps to separate blood cells such as $RBCs$, $WBCs$, and platelets from plasma or serum. Although centrifugation is a routine procedure in most medical laboratories, the factors that affect the efficacy of the centrifugation process have never been studied analytically. In this paper, we examine the effect of the centrifugation time on the efficacy of the centrifugation process by studying the dynamics of the blood cells via the well-known Langevin equation or equivalently, by solving the Fokker-Plank equation. Our result depicts that the speed of the centrifuge is one of the determinant factors concerning the efficacy of the centrifugation process. As the angular speed increases, the centrifugal force steps up and as result, the particles are forced to separate from the plasma or serum. The room temperature also considerably affects the dynamics of analyse during centrifugation. Most importantly, the generation of heat during centrifugation steps up the temperature within a centrifuge and as a result, not only the stability of the sample but also mobility of analyse is affected. We show that as the centrifuge temperature steps up, the velocity of the cells as well as the displacement of the cell in the fluid decreases. We then study the dynamics of the whole blood during capillary action where in this case the blood flows upward in a narrow space without the assistance of external forces. Previous investigations show that the height that the fluid rises increases as the surface tension steps up.


title: Distinguishing binary black hole precessional morphologies with gravitational wave observations

abstract: The precessional motion of binary black holes can be classified into one of three morphologies, based on the evolution of the angle between the components of the spins in the orbital plane: Circulating, librating around 0, and librating around $\pi$. These different morphologies can be related to the binary's formation channel and are imprinted in the binary's gravitational wave signal. In this paper, we develop a Bayesian model selection method to determine the preferred spin morphology of a detected binary black hole. The method involves a fast calculation of the morphology which allows us to restrict to a specific morphology in the Bayesian stochastic sampling. We investigate the prospects for distinguishing between the different morphologies using gravitational waves in the Advanced LIGO/Advanced Virgo network with their plus-era sensitivities. For this, we consider fiducial high- and low-mass binaries having different spin magnitudes and signal-to-noise ratios (SNRs). We find that in the cases with high spin and high SNR, the true morphology is strongly favored with $\log_{10}$ Bayes factors $\gtrsim 4$ compared to both alternative morphologies when the binary's parameters are not close to the boundary between morphologies. However, when the binary parameters are close to the boundary between morphologies, only one alternative morphology is strongly disfavored. In the low-spin, high-SNR cases, the true morphology is still favored with a $\log_{10}$ Bayes factor $\sim 2$ compared to one alternative morphology. We also consider the gravitational wave signal from GW200129_065458 that has some evidence for precession (modulo data quality issues) and find that there is no preference for a specific morphology. Our method for restricting the prior to a given morphology is publicly available through an easy-to-use Python package called bbh_spin_morphology_prior. (Abridged)


title: Inward Bound: Bulges from High Redshifts to the Milky Way

abstract: With over 200 registered participants, this fully online conference allowed theorists and observers across the globe to discuss recent findings on the central structures of disc galaxies. By design, this conference included experts on the Milky Way, local and high-redshift galaxies, and theoretical aspects of galaxy formation and evolution. The need for such a broad range of expertise stems from the important advances that have been made on all fronts in recent years. One of the main goals of this meeting was accordingly to bring together these different communities, to find a common ground for discussion and mutual understanding, to exchange ideas, and to efficiently communicate progress.


title: Improving Open-Set Semi-Supervised Learning with Self-Supervision

abstract: Open-set semi-supervised learning (OSSL) embodies a practical scenario within semi-supervised learning, wherein the unlabeled training set encompasses classes absent from the labeled set. Many existing OSSL methods assume that these out-of-distribution data are harmful and put effort into excluding data belonging to unknown classes from the training objective. In contrast, we propose an OSSL framework that facilitates learning from all unlabeled data through self-supervision. Additionally, we utilize an energy-based score to accurately recognize data belonging to the known classes, making our method well-suited for handling uncurated data in deployment. We show through extensive experimental evaluations that our method yields state-of-the-art results on many of the evaluated benchmark problems in terms of closed-set accuracy and open-set recognition when compared with existing methods for OSSL. Our code is available at https://github.com/walline/ssl-tf2-sefoss.


title: Charm and beauty content of the pion and kaon in the Flavor U(5) Nambu-Jona-Lasinio model

abstract: We consider a U(5)-Nambu-Jona-Lasinio model with flavor-dependent couplings constants obtained from quark-antiquark polarization to investigate the role of the heavy quarks for light constituent quarks and mesons. A quantum mixing, due to the different representations of the flavor group needed to defined quarks and mesons, lead to charm and beauty sea quark contributions to properties of the light quark sector. For a given fitting procedure for the parameters of the model, the charm and beauty quark effective masses are freely varied from very small values to very large values (infinite). The effect of these variations on pion and kaon observables, such as masses, weak decay constants and condensates, is calculated. Although the pion mass can vary (seemingly too much) up to $20\%$ for a very large variation of heavy quark effective masses, their contributions for the kaon mass are at most of the order of $2\%$ and all the other variables and observables, including up and down quark constituent masses, vary at most around $1\%$.


title: Coloring lines and Delaunay graphs with respect to boxes

abstract: The goal of this paper is to show the existence (using probabilistic tools) of configurations of lines, boxes, and points with certain interesting combinatorial properties. (i) First, we construct a family of $n$ lines in $\mathbb{R}^3$ whose intersection graph is triangle-free of chromatic number $\Omega(n^{1/15})$. This improves the previously best known bound $\Omega(\log\log n)$ by Norin, and is also the first construction of a triangle-free intersection graph of simple geometric objects with polynomial chromatic number. (ii) Second, we construct a set of $n$ points in $\mathbb{R}^d$, whose Delaunay graph with respect to axis-parallel boxes has independence number at most $n\cdot (\log n)^{-(d-1)/2+o(1)}$. This extends the planar case considered by Chen, Pach, Szegedy, and Tardos.


title: Trialitarian Triples

abstract: Trialitarian triples are triples of central simple algebras of degree 8 with orthogonal involution that provide a convenient structure for the representation of trialitarian algebraic groups as automorphism groups. This paper explicitly describes the canonical "trialitarian'' isomorphisms between the spin groups of the algebras with involution involved in a trialitarian triple, using a rationally defined shift operator that cyclically permutes the algebras. The construction relies on compositions of quadratic spaces of dimension 8, which yield all the trialitarian triples of split algebras. No restriction on the characteristic of the base field is needed.


title: Random perfect matchings in regular graphs

abstract: We prove that in all regular robust expanders $G$ every edge is asymptotically equally likely contained in a uniformly chosen perfect matching $M$. We also show that given any fixed matching or spanning regular graph $N$ in $G$, the random variable $|M\cap E(N)|$ is approximately Poisson distributed. This in particular confirms a conjecture and a question due to Spiro and Surya, and complements results due to Kahn and Kim who proved that in a regular graph every vertex is asymptotically equally likely contained in a uniformly chosen matching. Our proofs rely on the switching method and the fact that simple random walks mix rapidly in robust expanders.


title: The superadditivity effects of quantum capacity decrease with the dimension for qudit depolarizing channels

abstract: Quantum channel capacity is a fundamental quantity in order to understand how good can quantum information be transmitted or corrected when subjected to noise. However, it is generally not known how to compute such quantities, since the quantum channel coherent information is not additive for all channels, implying that it must be maximized over an unbounded number of channel uses. This leads to the phenomenon known as superadditivity, which refers to the fact that the regularized coherent information of $n$ channel uses exceeds one-shot coherent information. In this article, we study how the gain in quantum capacity of qudit depolarizing channels relates to the dimension of the systems considered. We make use of an argument based on the no-cloning bound in order to proof that the possible superadditive effects decrease as a function of the dimension for such family of channels. In addition, we prove that the capacity of the qudit depolarizing channel coincides with the coherent information when $d\rightarrow\infty$. We also discuss the private classical capacity and obain similar results. We conclude that when high dimensional qudits experiencing depolarizing noise are considered, the coherent information of the channel is not only an achievable rate but essentially the maximum possible rate for any quantum block code.


title: Read the Signs: Towards Invariance to Gradient Descent's Hyperparameter Initialization

abstract: We propose ActiveLR, an optimization meta algorithm that localizes the learning rate, $\alpha$, and adapts them at each epoch according to whether the gradient at each epoch changes sign or not. This sign-conscious algorithm is aware of whether from the previous step to the current one the update of each parameter has been too large or too small and adjusts the $\alpha$ accordingly. We implement the Active version (ours) of widely used and recently published gradient descent optimizers, namely SGD with momentum, AdamW, RAdam, and AdaBelief. Our experiments on ImageNet, CIFAR-10, WikiText-103, WikiText-2, and PASCAL VOC using different model architectures, such as ResNet and Transformers, show an increase in generalizability and training set fit, and decrease in training time for the Active variants of the tested optimizers. The results also show robustness of the Active variant of these optimizers to different values of the initial learning rate. Furthermore, the detrimental effects of using large mini-batch sizes are mitigated. ActiveLR, thus, alleviates the need for hyper-parameter search for two of the most commonly tuned hyper-parameters that require heavy time and computational costs to pick. We encourage AI researchers and practitioners to use the Active variant of their optimizer of choice for faster training, better generalizability, and reducing carbon footprint of training deep neural networks.


title: Bipartite Graph Diffusion Model for Human Interaction Generation

abstract: The generation of natural human motion interactions is a hot topic in computer vision and computer animation. It is a challenging task due to the diversity of possible human motion interactions. Diffusion models, which have already shown remarkable generative capabilities in other domains, are a good candidate for this task. In this paper, we introduce a novel bipartite graph diffusion method (BiGraphDiff) to generate human motion interactions between two persons. Specifically, bipartite node sets are constructed to model the inherent geometric constraints between skeleton nodes during interactions. The interaction graph diffusion model is transformer-based, combining some state-of-the-art motion methods. We show that the proposed achieves new state-of-the-art results on leading benchmarks for the human interaction generation task.


title: A mixed FEM for the coupled Brinkman-Forchheimer/Darcy problem

abstract: This paper develops the a priori analysis of a mixed finite element method for the filtration of an incompressible fluid through a non-deformable saturated porous medium with heterogeneous permeability. Flows are governed by the Brinkman--Forchheimer and Darcy equations in the more and less permeable regions, respectively, and the corresponding transmission conditions are given by mass conservation and continuity of momentum. We consider the standard mixed formulation in the Brinkman--Forchheimer domain and the dual-mixed one in the Darcy region, and we impose the continuity of the normal velocities by introducing suitable Lagrange multiplier. The finite element discretization involves Bernardi--Raugel and Raviart--Thomas elements for the velocities, piecewise constants for the pressures, and continuous piecewise linear elements for the Lagrange multiplier. Stability, convergence, and a priori error estimates for the associated Galerkin scheme are obtained. Numerical tests illustrate the theoretical results.


title: A note on the Hasse norm principle

abstract: Let $A$ be a finite, abelian group. We show that the density of $A$-extensions satisfying the Hasse norm principle exists, when the extensions are ordered by discriminant. This strengthens earlier work of Frei--Loughran--Newton \cite{FLN}, who obtained a density result under the additional assumption that $A/A[\ell]$ is cyclic with $\ell$ denoting the smallest prime divisor of $\# A$.


title: Dirac signal processing of higher-order topological signals

abstract: Higher-order networks can sustain topological signals which are variables associated not only to the nodes, but also to the links, to the triangles and in general to the higher dimensional simplices of simplicial complexes. These topological signals can describe a large variety of real systems including currents in the ocean, synaptic currents between neurons and biological transportation networks. In real scenarios topological signal data might be noisy and an important task is to process these signals by improving their signal to noise ratio. So far topological signals are typically processed independently of each other. For instance, node signals are processed independently of link signals, and algorithms that can enforce a consistent processing of topological signals across different dimensions are largely lacking. Here we propose Dirac signal processing, an adaptive, unsupervised signal processing algorithm that learns to jointly filter topological signals supported on nodes, links and triangles of simplicial complexes in a consistent way. The proposed Dirac signal processing algorithm is formulated in terms of the discrete Dirac operator which can be interpreted as "square root" of a higher-order Hodge Laplacian. We discuss in detail the properties of the Dirac operator including its spectrum and the chirality of its eigenvectors and we adopt this operator to formulate Dirac signal processing that can filter noisy signals defined on nodes, links and triangles of simplicial complexes. We test our algorithms on noisy synthetic data and noisy data of drifters in the ocean and find that the algorithm can learn to efficiently reconstruct the true signals outperforming algorithms based exclusively on the Hodge Laplacian.

categories: eess.SP cond-mat.dis-nn cs.LG cs.SI physics.soc-ph


title: Orbital antiferroelectricity and higher dimensional magnetoelectric order in the spin-$1/2$ XX chain extended with three-spin interactions

abstract: We study the spin-1/2 XX model extended with three-spin interactions of the XZX+YZY and XZY-YZX types. We solve the model exactly and obtain the ground state phase diagram as a function of the two three-spin coupling strengths. We show that even in absence of external electric and magnetic fields there is a phase which exhibits spontaneous magnetoelectric order when both XZX+YZY and XZY-YZX interactions are present. Specifically, in this regime, we show that there exists not only a non-zero magnetization and a scalar chirality but also a vector chiral order. Further, we show the existence of a plaquette vector chirality, or circulating chiral spin current loops, in the plaquettes n, n+1, n+2 with the sense of the current being opposite in adjacent plaquettes. Analogous to charge current loops giving rise to orbital magnetic dipole moments, the circulating spin current loops give rise to orbital electric dipole moments - a novel orbital antiferroelectricity. We characterize this phase by a higher-dimensional scalar and vector toroidal order. Such a novel phase with higher dimensional order arises because of the non-trivial topological connectivity resulting from the presence of both the three-spin interactions. We also study the combined effect of both types of three-spin interactions on the entanglement entropy.


title: Fast Ion Isotropization by Current Sheet Scattering in Magnetic Reconnection Jets

abstract: We present a statistical analysis of ion distributions in magnetic reconnection jets using data from the Magnetospheric Multiscale spacecraft. Compared with the quiet plasma in which the jet propagates, we often find anisotropic and non-Maxwellian ion distributions in the plasma jets. We observe magnetic field fluctuations associated with unstable ion distributions, but the wave amplitudes are not large enough to scatter ions during the observed travel time of the jet. We estimate that the phase-space diffusion due to chaotic and quasi-adiabatic ion motion in the current sheet is sufficiently fast to be the primary process leading to isotropization.


title: The Semantic Scholar Open Data Platform

abstract: The volume of scientific output is creating an urgent need for automated tools to help scientists keep up with developments in their field. Semantic Scholar (S2) is an open data platform and website aimed at accelerating science by helping scholars discover and understand scientific literature. We combine public and proprietary data sources using state-of-the-art techniques for scholarly PDF content extraction and automatic knowledge graph construction to build the Semantic Scholar Academic Graph, the largest open scientific literature graph to-date, with 200M+ papers, 80M+ authors, 550M+ paper-authorship edges, and 2.4B+ citation edges. The graph includes advanced semantic features such as structurally parsed text, natural language summaries, and vector embeddings. In this paper, we describe the components of the S2 data processing pipeline and the associated APIs offered by the platform. We will update this living document to reflect changes as we add new data offerings and improve existing services.


title: Dark Matter searches at CMS and ATLAS

abstract: A glimpse into the most recent searches for Dark Matter at the LHC performed by the ATLAS and CMS collaborations is presented. The results covered in this document are all based on Run-2 proton-proton collision data recorded at $\sqrt{s}=13\text{ TeV}$ and corresponding to an integrated luminosity of just under 140 $\text{fb}^{-1}$


title: A novel boundary integral formulation for the biharmonic wave scattering problem

abstract: This paper is concerned with the cavity scattering problem in an infinite thin plate, where the out-of-plane displacement is governed by the two-dimensional biharmonic wave equation. Based on an operator splitting, the scattering problem is recast into a coupled boundary value problem for the Helmholtz and modified Helmholtz equations. A novel boundary integral formulation is proposed for the coupled problem. By introducing an appropriate regularizer, the well-posedness is established for the system of boundary integral equations. Moreover, the convergence analysis is carried out for the semi- and full-discrete schemes of the boundary integral system by using the collocation method. Numerical results show that the proposed method is highly accurate for both smooth and nonsmooth examples.


title: Certain graphs with exactly one irreducible $T$-module with endpoint $1$, which is thin: the pseudo-distance-regularized case

abstract: Let $\Gamma$ denote a finite, simple and connected graph. Fix a vertex $x$ of $\Gamma$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $\Gamma$ with respect to $x$. Assume that the unique irreducible $T$-module with endpoint $0$ is thin, or equivalently that $\Gamma$ is pseudo-distance-regular around $x$. We consider the property that $\Gamma$ has, up to isomorphism, a unique irreducible $T$-module with endpoint $1$, and that this $T$-module is thin. The main result of the paper is a combinatorial characterization of this property.


title: Retuning the radio astronomical search for axion dark matter with neutron stars

abstract: Primary charges multiply in the magnetosphere of neutron stars by electromagnetic cascade. This is accounted for the first time when computing the flux generated by axion-photon resonance, noting: (i) axions of up to dozens of meV of mass mix in the magnetized plasma; (ii) radio signal from isolated stars of inferable multiplicity factor is undetectable, which could extend up to infrared; (iii) observation of Galactic populations is also unpromising, as the boost is exiguous; (iv) telescopes could yet be sensitive to gravitational focusing of dark matter, e.g., SGR 1745-2900 orbiting Sgr A*.


title: Mean field theory of self-organizing memristive connectomes

abstract: Biological neuronal networks are characterized by nonlinear interactions and complex connectivity. Given the growing impetus to build neuromorphic computers, understanding physical devices that exhibit structures and functionalities similar to biological neural networks is an important step toward this goal. Self-organizing circuits of nanodevices are at the forefront of the research in neuromorphic computing, as their behavior mimics synaptic plasticity features of biological neuronal circuits. However, an effective theory to describe their behavior is lacking. This study provides for the first time an effective mean field theory for the emergent voltage-induced polymorphism of \textit{circuits} of a nanowire connectome, showing that the behavior of these circuits can be explained by a low-dimensional dynamical equation. The equation can be derived from the microscopic dynamics of a single memristive junction in analytical form. We test our effective model on experiments of nanowire networks and show that it fits both the potentiation and depression of these synapse-mimicking circuits. We show that our theory applies beyond the case of nanowire networks by formulating a general mean-field theory of conductance transitions in self-organizing memristive connectomes.


title: Time-dependent Mandel Q parameter analysis for a hexagonal boron nitride single photon source

abstract: The time-dependent Mandel Q parameter, Q(T), provides a measure of photon number variance for a light source as a function of integration time. Here, we use Q(T) to characterise single photon emission from a quantum emitter in hexagonal boron nitride (hBN). Under pulsed excitation a negative Q parameter was measured, indicating photon antibunching at an integration time of 100 ns. For larger integration times Q is positive and the photon statistics become super-Poissonian, and we show by comparison with a Monte Carlo simulation for a three-level emitter that this is consistent with the effect of a metastable shelving state. Looking towards technological applications for hBN single photon sources, we propose that Q(T) provides valuable information on the intensity stability of single photon emission. This is useful in addition to the commonly used $g^{(2)}({\tau})$ function for the complete characterisation of a hBN emitter.


title: Induced subgraph density. I. A loglog step towards Erdos-Hajnal

abstract: In 1977, Erd\H{o}s and Hajnal made the conjecture that, for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or stable set of size at least $|G|^c$; and they proved that this is true with $ |G|^c$ replaced by $2^{c\sqrt{\log |G|}}$. Until now, there has been no improvement on this result (for general $H$). We prove a strengthening: that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ with $|G|\ge 2$ has a clique or stable set of size at least $$2^{c\sqrt{\log |G|\log\log|G|}}.$$ Indeed, we prove the corresponding strengthening of a theorem of Fox and Sudakov, which in turn was a common strengthening of theorems of R\"odl, Nikiforov, and the theorem of Erd\H{o}s and Hajnal mentioned above.


title: Ru$_{2-x}$Mn$_{1+x}$Al thin films

abstract: The cubic Heusler alloy Ru$_{2-x}$Mn$_{1+x}$Al is grown in thin film form on MgO and MgAl$_2$O$_4$ substrates. It is a highly spin-polarised ferrimagnetic metal, with weak magnetocrystalline anisotropy. Although structurally and chemically similar to $\text{Mn}_2\text{Ru}_x\text{Ga}$, it does not exhibit ferrimagnetic compensation, or large magneto galvanic effects. The differences are attributed to a combination of atomic order and the hybridisation with the group 13 element Al or Ga. The spin polarisation is around 50 to 60 %. There is a gap in the density of states just above the Fermi level in fully ordered compounds.


title: Breaking the $f+1$ Barrier: Executing Payment Transactions in Parallel with Less than $f+1$ Validations

abstract: We consider the problem of supporting payment transactions in an asynchronous system in which up to $f$ validators are subject to Byzantine failures under the control of an adaptive adversary. It was shown that this problem can be solved without consensus by using byzantine quorum systems (requiring at least $2f+1$ validations per transaction in asynchronous systems). We show that it is possible to validate transactions in parallel with less than $f$ validations per transaction if each transaction spends no more that a small fraction of a balance. Our solution relies on a novel quorum system that we introduce in this paper and that we call $(k_1,k_2)$-quorum systems. In the presence of a non-adaptive adversary, these systems can be used to allow up to $k_1$ transactions to be validated concurrently and asynchronously but prevent more than $k_2$ transactions from being validated. If the adversary is adaptive, these systems can be used to allow $k_1$ transaction to be validated and prevent more than $k'_2 > k_2$ transactions from being validated, the difference $k'_2-k_2$ being dependent on the quorum system's {\em validation slack}, which we define in this paper. Using $(k_1,k_2)$-quorum systems, a payer can execute multiple partial spending transactions to spend a portion of its initial balance with less than full quorum validation (less than $f$ validations per transaction) then reclaim any remaining funds using one fully validated transaction, which we call a {\em settlement} transaction.


title: The influence of freestream turbulence on the near-field growth of a turbulent cylinder wake: turbulent entrainment and wake meandering

abstract: The effect of freestream turbulence on the spreading of the near wake of a circular cylinder is investigated through particle image velocimetry (PIV) data. Different ``flavours'' of freestream turbulence, in which the turbulence intensity and integral length scale are independently varied, are subjected to the cylinder. The time-averaged spreading of the near wake is decoupled into the growth through entrainment and the envelope of the spatial extent of the instantaneous wake due to wake ``meandering'', induced by the presence of large-scale coherent structures, i.e. the von Karman vortex street. Unlike for the far field of a turbulent wake, examined by Kankanwadi and Buxton (2020), it is shown that freestream turbulence enhances the entrainment rate into the wake in comparison to a non-turbulent background. Both the turbulence intensity and the integral length scale of the background turbulence are important in this regard, contrasting to the far wake where only the turbulence intensity is important. Additionally, wake meandering is enhanced by the presence of background turbulence, and here the integral length scale is the dominant parameter. Combining these findings yields the oft-reported result that background turbulence enhances the time-averaged near-wake growth rate. The influence of wake meandering is isolated by conducting similar experiments in which a splitter plate is mounted to the rear face of the cylinder, thereby eliminating the von Karman vortex street. These results show that when large-scale vortices aren't present within the turbulent wake then freestream turbulence actually suppresses the entrainment rate, relative to a non-turbulent background, in results that mirror Kankanwadi and Buxton (2020). We therefore postulate that freestream turbulence has the effect to enhance large-scale entrainment via engulfment, but suppress entrainment via small-scale nibbling.


title: Casimir Self-Interaction Energy Density of Quantum Electrodynamic Fields

abstract: Quantum electrodynamic fields possess fluctuations corresponding to transient particle/antiparticle dipoles, which can be characterized by a non-vanishing polarizability density. Here, we extend a recently proposed quantum scaling law to describe the volumetric and radial polarizability density of a quantum field corresponding to electrons and positrons and derive the Casimir self-interaction energy (SIE) density of the field, $\bar{E}_{\rm{SIE}}$, in terms of the fine-structure constant. The proposed model obeys the cosmological equation of state $w=-1$ and the magnitude of the calculated $\bar{E}_{\rm{SIE}}$ lies in between the two recent measurements of the cosmological constant $\Lambda$ obtained by the Planck Mission and the Hubble Space Telescope.


title: How Jellyfish Characterise Alternating Group Equivariant Neural Networks

abstract: We provide a full characterisation of all of the possible alternating group ($A_n$) equivariant neural networks whose layers are some tensor power of $\mathbb{R}^{n}$. In particular, we find a basis of matrices for the learnable, linear, $A_n$-equivariant layer functions between such tensor power spaces in the standard basis of $\mathbb{R}^{n}$. We also describe how our approach generalises to the construction of neural networks that are equivariant to local symmetries.


title: Sequential Graph Attention Learning for Predicting Dynamic Stock Trends (Student Abstract)

abstract: The stock market is characterized by a complex relationship between companies and the market. This study combines a sequential graph structure with attention mechanisms to learn global and local information within temporal time. Specifically, our proposed "GAT-AGNN" module compares model performance across multiple industries as well as within single industries. The results show that the proposed framework outperforms the state-of-the-art methods in predicting stock trends across multiple industries on Taiwan Stock datasets.


title: Oscillometric Blood Pressure Measurement Using a Hybrid Deep Morpho-Temporal Representation Learning Framework

abstract: Oscillometric monitors are the most common automated blood pressure (BP) measurement devices used in non-specialist settings. However, their accuracy and reliability vary under different settings and for different age groups and health conditions. A main limitation of the existing oscillometric monitors is their underlying analysis algorithms that are unable to fully capture the BP information encoded in the pattern of the recorded oscillometric pulses. In this paper, we propose a new 2D oscillometric data representation that enables a full characterization of arterial system and empowers the application of deep learning to extract the most informative features correlated with BP. A hybrid convolutional-recurrent neural network was developed to capture the oscillometric pulses morphological information as well as their temporal evolution over the cuff deflation period from the 2D structure, and estimate BP. The performance of the proposed method was verified on three oscillometric databases collected from the wrist and upper arms of 245 individuals. It was found that it achieves a mean error and a standard deviation of error of as low as 0.08 mmHg and 2.4 mmHg in the estimation of systolic BP, and 0.04 mmHg and 2.2 mmHg in the estimation of diastolic BP, respectively. Our proposed method outperformed the state-of-the-art techniques and satisfied the current international standards for BP monitors by a wide margin. The proposed method shows promise toward robust and objective BP estimation in a variety of patients and monitoring situations.


title: UNO: Unlimited Sampling Meets One-Bit Quantization

abstract: Recent results in one-bit sampling provide a framework for a relatively low-cost, low-power sampling, at a high rate by employing time-varying sampling threshold sequences. Another recent development in sampling theory is unlimited sampling, which is a high-resolution technique that relies on self-reset ADCs to yield an unlimited dynamic range. In this paper, we leverage the appealing attributes of the two aforementioned techniques to propose a novel \emph{un}limited \emph{o}ne-bit (UNO) sampling approach. In this framework, the information on the distance between the input signal value and the threshold are stored and utilized to accurately reconstruct the one-bit sampled signal. We then utilize this information to accurately reconstruct the signal from its one-bit samples via the randomized Kaczmarz algorithm (RKA); a strong linear feasibility solver that selects a random linear equation at each iteration. In the presence of noise, we employ the recent plug-and-play (PnP) priors technique with alternating direction method of multipliers (ADMM) to exploit integration of state-of-the-art regularizers in the reconstruction process. Numerical experiments with RKA and PnP-ADMM-based reconstruction illustrate the effectiveness of our proposed UNO, including its superior performance compared to the one-bit Sigma-Delta sampling.


title: Sleep Activity Recognition and Characterization from Multi-Source Passively Sensed Data

abstract: Sleep constitutes a key indicator of human health, performance, and quality of life. Sleep deprivation has long been related to the onset, development, and worsening of several mental and metabolic disorders, constituting an essential marker for preventing, evaluating, and treating different health conditions. Sleep Activity Recognition methods can provide indicators to assess, monitor, and characterize subjects' sleep-wake cycles and detect behavioral changes. In this work, we propose a general method that continuously operates on passively sensed data from smartphones to characterize sleep and identify significant sleep episodes. Thanks to their ubiquity, these devices constitute an excellent alternative data source to profile subjects' biorhythms in a continuous, objective, and non-invasive manner, in contrast to traditional sleep assessment methods that usually rely on intrusive and subjective procedures. A Heterogeneous Hidden Markov Model is used to model a discrete latent variable process associated with the Sleep Activity Recognition task in a self-supervised way. We validate our results against sleep metrics reported by tested wearables, proving the effectiveness of the proposed approach and advocating its use to assess sleep without more reliable sources.


title: Applications of Optimization Routines in Signal Integrity Analysis

abstract: Signal integrity analysis often involves the development of design guidelines through manual manipulation of circuit parameters and judicious interpretation of results. Such an approach can result in significant effort and sub-optimal conclusions. Optimization routines have been well proven to aid analysis across a variety of common tasks. In addition, there are several non-traditional applications where optimization can be useful. This paper begins by describing the basics of optimization followed by two specific case studies where non-traditional optimization provides significant improvements in both analysis efficiency and channel performance.


title: Resistive Switching and Current Conduction Mechanisms in Hexagonal Boron Nitride Threshold Memristors with Nickel Electrodes

abstract: The two-dimensional (2D) insulating material hexagonal boron nitride (h BN) has attracted much attention as the active medium in memristive devices due to its favorable physical properties, among others, a wide bandgap that enables a large switching window. Metal filament formation is frequently suggested for h-BN devices as the resistive switching (RS) mechanism, usually supported by highly specialized methods like conductive atomic force microscopy (C-AFM) or transmission electron microscopy (TEM). Here, we investigate the switching of multilayer hexagonal boron nitride (h-BN) threshold memristors with two nickel (Ni) electrodes through their current conduction mechanisms. Both the high and the low resistance states are analyzed through temperature-dependent current-voltage measurements. We propose the formation and retraction of nickel filaments along boron defects in the h-BN film as the resistive switching mechanism. We corroborate our electrical data with TEM analyses to establish temperature-dependent current-voltage measurements as a valuable tool for the analysis of resistive switching phenomena in memristors made of 2D materials. Our memristors exhibit a wide and tunable current operation range and low stand-by currents, in line with the state of the art in h-BN-based threshold switches, a low cycle-to-cycle variability of 5%, and a large On/Off ratio of 10${^7}$.


title: Computational Solar Energy -- Ensemble Learning Methods for Prediction of Solar Power Generation based on Meteorological Parameters in Eastern India

abstract: The challenges in applications of solar energy lies in its intermittency and dependency on meteorological parameters such as; solar radiation, ambient temperature, rainfall, wind-speed etc., and many other physical parameters like dust accumulation etc. Hence, it is important to estimate the amount of solar photovoltaic (PV) power generation for a specific geographical location. Machine learning (ML) models have gained importance and are widely used for prediction of solar power plant performance. In this paper, the impact of weather parameters on solar PV power generation is estimated by several Ensemble ML (EML) models like Bagging, Boosting, Stacking, and Voting for the first time. The performance of chosen ML algorithms is validated by field dataset of a 10kWp solar PV power plant in Eastern India region. Furthermore, a complete test-bed framework has been designed for data mining as well as to select appropriate learning models. It also supports feature selection and reduction for dataset to reduce space and time complexity of the learning models. The results demonstrate greater prediction accuracy of around 96% for Stacking and Voting EML models. The proposed work is a generalized one and can be very useful for predicting the performance of large-scale solar PV power plants also.


title: Effective bounds for induced size-Ramsey numbers of cycles

abstract: The induced size-Ramsey number $\hat{r}_\text{ind}^k(H)$ of a graph $H$ is the smallest number of edges a (host) graph $G$ can have such that for any $k$-coloring of its edges, there exists a monochromatic copy of $H$ which is an induced subgraph of $G$. In 1995, in their seminal paper, Haxell, Kohayakawa and Luczak showed that for cycles, these numbers are linear for any constant number of colours, i.e., $\hat{r}_\text{ind}^k(C_n)\leq Cn$ for some $C=C(k)$. The constant $C$ comes from the use of the regularity lemma, and has a tower type dependence on $k$. In this paper we significantly improve these bounds, showing that $\hat{r}_\text{ind}^k(C_n)\leq O(k^{102})n$ when $n$ is even, thus obtaining only a polynomial dependence of $C$ on $k$. We also prove $\hat{r}_\text{ind}^k(C_n)\leq e^{O(k\log k)}n$ for odd $n$, which almost matches the lower bound of $e^{\Omega(k)}n$. Finally, we show that the ordinary (non-induced) size-Ramsey number satisfies $\hat{r}^k(C_n)=e^{O(k)}n$ for odd $n$. This substantially improves the best previous result of $e^{O(k^2)}n$, and is best possible, up to the implied constant in the exponent. To achieve our results, we present a new host graph construction which, roughly speaking, reduces our task to finding a cycle of approximate given length in a graph with local sparsity.


title: Dataset Bias in Human Activity Recognition

abstract: When creating multi-channel time-series datasets for Human Activity Recognition (HAR), researchers are faced with the issue of subject selection criteria. It is unknown what physical characteristics and/or soft-biometrics, such as age, height, and weight, need to be taken into account to train a classifier to achieve robustness towards heterogeneous populations in the training and testing data. This contribution statistically curates the training data to assess to what degree the physical characteristics of humans influence HAR performance. We evaluate the performance of a state-of-the-art convolutional neural network on two HAR datasets that vary in the sensors, activities, and recording for time-series HAR. The training data is intentionally biased with respect to human characteristics to determine the features that impact motion behaviour. The evaluations brought forth the impact of the subjects' characteristics on HAR. Thus, providing insights regarding the robustness of the classifier with respect to heterogeneous populations. The study is a step forward in the direction of fair and trustworthy artificial intelligence by attempting to quantify representation bias in multi-channel time series HAR data.


title: Continuous tuning & thermally induced frequency drift stabilisation of time delay oscillators such as the optoelectronic oscillator

abstract: Delay line oscillators based on photonic components, such as the optoelectronic oscillator (OEO), offer the potential for realization of phase noise levels orders of magnitude lower than achievable by conventional microwave sources. Fibre optic-based delay lines can realize the large delay required for low phase noise systems whilst simultaneously achieving insertion loss levels that can be compensated by available microwave and photonic amplification technologies. However, the long fibre is vulnerable to environmental perturbations such as mechanical vibrations and variations in ambient temperature, which result in short term fluctuations and thermally induced drift of the oscillation frequency. The phase shifter used conventionally to adjust the frequency of an OEO to enable phase lock has a finite range that is insufficient to compensate the delay change resulting from operational temperature ranges. A solution to continuous tuning without mode-hopping and to compensation of thermally induced frequency drift without loss of lock of a time delay oscillator is proposed. The basic concept is to introduce a tuning mechanism that works with Cartesian co-ordinates on the complex plane and to avoid explicit use of polar co-ordinates. Consequently, the transmission of the tuning component may traverse the unit circle in either direction multiple times without range limitation to the phase. Thereby tuning by mode-hopping is avoided and expedients to stabilisation, such as the use of tunable lasers within a control loop or precision temperature stabilisation measures are not required. The concept is verified by Simulink simulations. The method has been experimentally tested successfully using a prototype OEO phase locked to a system reference. Solid lock was maintained even when the OEO was placed in an oven and cycled over a temperature range from ambient to 80 {\deg}C.


title: Longitudinal coupling between electrically driven spin-qubits and a resonator

abstract: At the core of the semiconducting spin qubits success is the ability to manipulate them electrically, enabled by the spin-orbit interactions. However, most implementations require external magnetic fields to define the spin qubit, which in turn activate various charge noise mechanisms. Here we study spin qubits confined in quantum dots at zero magnetic fields, that are driven periodically by electrical fields and are coupled to a microwave resonator. Using Floquet theory, we identify a well-defined Floquet spin-qubit originating from the lowest degenerate spin states in the absence of driving. We find both transverse and longitudinal couplings between the Floquet spin qubit and the resonator, which can be selectively activated by modifying the driving frequency. We show how these couplings can facilitate fast qubit readout and the implementation of a two-qubit CPHASE gate. Finally, we use adiabatic perturbation theory to demonstrate that the spin-photon couplings originate from the non-Abelian geometry of states endowed by the spin-orbit interactions, rendering these findings general and applicable to a wide range of solid-state spin qubits.


title: Lowering Detection in Sport Climbing Based on Orientation of the Sensor Enhanced Quickdraw

abstract: Tracking climbers' activity to improve services and make the best use of their infrastructure is a concern for climbing gyms. Each climbing session must be analyzed from beginning till lowering of the climber. Therefore, spotting the climbers descending is crucial since it indicates when the ascent has come to an end. This problem must be addressed while preserving privacy and convenience of the climbers and the costs of the gyms. To this aim, a hardware prototype is developed to collect data using accelerometer sensors attached to a piece of climbing equipment mounted on the wall, called quickdraw, that connects the climbing rope to the bolt anchors. The corresponding sensors are configured to be energy-efficient, hence become practical in terms of expenses and time consumption for replacement when using in large quantity in a climbing gym. This paper describes hardware specifications, studies data measured by the sensors in ultra-low power mode, detect sensors' orientation patterns during lowering different routes, and develop an supervised approach to identify lowering.


title: Lexi: Self-Supervised Learning of the UI Language

abstract: Humans can learn to operate the user interface (UI) of an application by reading an instruction manual or how-to guide. Along with text, these resources include visual content such as UI screenshots and images of application icons referenced in the text. We explore how to leverage this data to learn generic visio-linguistic representations of UI screens and their components. These representations are useful in many real applications, such as accessibility, voice navigation, and task automation. Prior UI representation models rely on UI metadata (UI trees and accessibility labels), which is often missing, incompletely defined, or not accessible. We avoid such a dependency, and propose Lexi, a pre-trained vision and language model designed to handle the unique features of UI screens, including their text richness and context sensitivity. To train Lexi we curate the UICaption dataset consisting of 114k UI images paired with descriptions of their functionality. We evaluate Lexi on four tasks: UI action entailment, instruction-based UI image retrieval, grounding referring expressions, and UI entity recognition.