title: Ultrasonic Delamination Based Adhesion Testing for High-Throughput Assembly of van der Waals Heterostructures

abstract: Two-dimensional (2D) materials assembled into van der Waals (vdW) heterostructures contain unlimited combinations of mechanical, optical, and electrical properties that can be harnessed for potential device applications. Critically, these structures require control over interfacial adhesion in order for them to be constructed and to have enough integrity to survive industrial fabrication processes upon their integration. Here, we promptly determine the quality of adhesion of various exfoliated 2D materials on conventional SiO$_{2}$/Si substrates using ultrasonic delamination threshold testing. This test allows us to quickly infer relative substrate adhesion based on the percent area of 2D flakes that survive a fixed time in an ultrasonic bath, allowing for control over process parameters that yield high or poor adhesion. We leverage this control of adhesion to optimize the vdW heterostructure assembly process, where we show that samples with high or low substrate adhesion relative to each other can be used selectively to construct high-throughput vdW stacks. Instead of tuning the adhesion of polymer stamps to 2D materials with constant 2D-substrate adhesion, we tune the 2D-substrate adhesion with constant stamp adhesion to 2D materials. The polymer stamps may be reused without any polymer melting steps, thus avoiding high temperatures (<120{\deg}C) and allowing for high-throughput production. We show that this procedure can be used to create high-quality 2D twisted bilayer graphene on SiO$_{2}$/Si, characterized with atomic force microscopy and Raman spectroscopic mapping, as well as low-angle twisted bilayer WSe$_{2}$ on h-BN/SiO$_{2}$/Si, where we show direct real-space visualization of moir\'e reconstruction with tilt angle-dependent scanning electron microscopy.


title: Analysis of Electromagnetic Scattering from Array of Time-Modulated Graphene Ribbons

abstract: An accurate and fast method is presented for scattering of electromagnetic waves from an array of time-modulated graphene ribbons. We derive a time-domain integral equation for induced surface currents under subwavelength approximation. Using the method of harmonic balance, this equation is solved for a sinusoidal modulation. The solution of the integral equation is then used to obtain the transmission and reflection coefficients of time-modulated graphene ribbon array. The accuracy of the method was verified through comparison with results of full-wave simulations. In contrast with previously reported analysis techniques, our method is extremely fast and can analyze structures with a much higher modulation frequency. The proposed method also provides interesting physical insights useful for designing novel applications and opens up new vistas in the fast design of time-modulated graphene-based devices.


title: AlphaFold Distillation for Protein Design

abstract: Inverse protein folding, the process of designing sequences that fold into a specific 3D structure, is crucial in bio-engineering and drug discovery. Traditional methods rely on experimentally resolved structures, but these cover only a small fraction of protein sequences. Forward folding models like AlphaFold offer a potential solution by accurately predicting structures from sequences. However, these models are too slow for integration into the optimization loop of inverse folding models during training. To address this, we propose using knowledge distillation on folding model confidence metrics, such as pTM or pLDDT scores, to create a faster and end-to-end differentiable distilled model. This model can then be used as a structure consistency regularizer in training the inverse folding model. Our technique is versatile and can be applied to other design tasks, such as sequence-based protein infilling. Experimental results show that our method outperforms non-regularized baselines, yielding up to 3% improvement in sequence recovery and up to 45% improvement in protein diversity while maintaining structural consistency in generated sequences. Code is available at https://github.com/IBM/AFDistill


title: Concerning Classical Forces, Energies, and Potentials for Accelerated Point Charges

abstract: Although the expressions for energy densities involving electric and magnetic fields are exactly analogous, the connections to forces and electromagnetic potentials are vastly different. For electrostatic situations, the changes in the \textit{electric} energy can be related directly to \textit{electric} forces and to the electrostatic potential. The situation involving magnetic forces and energy changes involves two fundamentally different situations. For charged particles moving with constant velocities, the changes in both electric and magnetic field energies are provided by the external forces that keep the particles' velocities constant; there are no Faraday acceleration electric fields in this situation. However, for particles that change speed, the changes in \textit{magnetic} energy density are related to acceleration-dependent Faraday \textit{electric} fields. Current undergraduate and graduate textbooks deal only with highly symmetric situations where the Faraday electric fields are easily calculated from the time-changing magnetic flux. However, in situations that lack high symmetry, such as the magnetic Aharonov-Bohm situation, the back (Faraday) acceleration electric fields of point charges seem unfamiliar. In this article, we present a simple unsymmetric example and analyze it using the Darwin Lagrangian. In \textit{all} cases involving changing velocities of the current carriers, it is the work done by the back (Faraday) acceleration \textit{electric} fields that balances the \textit{magnetic} energy changes.


title: On the normality of monoid monomorphisms

abstract: In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms of convenient syntactic relations associated to them and then through the adjunctions associated with the corresponding normalization functors. The largest categorical equivalences induced by these adjunctions provide an equivalence between the categories of relations generated by their zero-classes and the ones of monomorphisms that we suggest to call {normal with respect to} the internal relations considered. This idea, although being transverse to the literature in the field, has not in our opinion been presented and explored in full generality. The existence of adjoints to the normalization functors permits developing a theory of normal monomorphisms, thus extending many results from groups and protomodular categories to monoids and unital categories.


title: Hecke symmetries associated with the polynomial algebra in 3 commuting indeterminates

abstract: It is shown in the paper that each Hecke symmetry R with the R-symmetric algebra freely generated by 3 commuting elements is determined by a bivector and a symmetric bilinear form on a 3-dimensional vector space. A general formula for such Hecke symmetries is given and the equivalence classes are described.


title: Interactions between polyelectrolytes mediated by ordering and orientation of multivalent non-spherical ions in salt solutions

abstract: Multivalent ions in solutions with polyelectrolytes (PE) induce electrostatic correlations that can drastically change ion distributions around the PEs and their mutual interactions. Using coarse-grained molecular dynamics simulations, we show how in addition to valency, ion shape and concentration can be harnessed as tools to control like-charged PE-PE interactions. We demonstrate a correlation between the orientational ordering of aspherical ions and how they mediate the effective PE-PE attraction induced by multivalency. The interaction type, strength, and range can thus be externally controlled in ionic solutions. Our results can be used as generic guidelines to tune the self-assembly of like-charged polyelectrolytes by variation of the characteristics of the ions.


title: Automatic Chain of Thought Prompting in Large Language Models

abstract: Large language models (LLMs) can perform complex reasoning by generating intermediate reasoning steps. Providing these steps for prompting demonstrations is called chain-of-thought (CoT) prompting. CoT prompting has two major paradigms. One leverages a simple prompt like "Let's think step by step" to facilitate step-by-step thinking before answering a question. The other uses a few manual demonstrations one by one, each composed of a question and a reasoning chain that leads to an answer. The superior performance of the second paradigm hinges on the hand-crafting of task-specific demonstrations one by one. We show that such manual efforts may be eliminated by leveraging LLMs with the "Let's think step by step" prompt to generate reasoning chains for demonstrations one by one, i.e., let's think not just step by step, but also one by one. However, these generated chains often come with mistakes. To mitigate the effect of such mistakes, we find that diversity matters for automatically constructing demonstrations. We propose an automatic CoT prompting method: Auto-CoT. It samples questions with diversity and generates reasoning chains to construct demonstrations. On ten public benchmark reasoning tasks with GPT-3, Auto-CoT consistently matches or exceeds the performance of the CoT paradigm that requires manual designs of demonstrations. Code is available at https://github.com/amazon-research/auto-cot


title: Stable Dividends under Linear-Quadratic Optimization

abstract: The optimization criterion for dividends from a risky business is most often formalized in terms of the expected present value of future dividends. That criterion disregards a potential, explicit demand for stability of dividends. In particular, within actuarial risk theory, maximization of future dividends have been intensively studied as the so-called de Finetti problem. However, there the optimal strategies typically become so-called barrier strategies. These are far from stable and suboptimal affine dividend strategies have therefore received attention recently. In contrast, in the class of linear-quadratic problems a demand for stability if explicitly stressed. These have most often been studied in diffusion models different from the actuarial risk models. We bridge the gap between these patterns of thinking by deriving optimal affine dividend strategies under a linear-quadratic criterion for a general L\'evy process. We characterize the value function by the Hamilton-Jacobi-Bellman equation, solve it, and compare the objective and the optimal controls to the classical objective of maximizing expected present value of future dividends. Thereby we provide a framework within which stability of dividends from a risky business, as e.g. in classical risk theory, is explicitly demanded and explicitly obtained.


title: Total Variation-Based Reconstruction and Phase Retrieval for Diffraction Tomography with an Arbitrarily Moving Object

abstract: We consider the imaging problem of the reconstruction of a three-dimensional object via optical diffraction tomography under the assumptions of the Born approximation. Our focus lies in the situation that a rigid object performs an irregular, time-dependent rotation under acoustical or optical forces. In this study, we compare reconstruction algorithms in case i) that two-dimensional images of the complex-valued wave are known, or ii) that only the intensity (absolute value) of these images can be measured, which is the case in many practical setups. The latter phase-retrieval problem can be solved by an all-at-once approach based utilizing a hybrid input-output scheme with TV regularization.


title: PCAE: A Framework of Plug-in Conditional Auto-Encoder for Controllable Text Generation

abstract: Controllable text generation has taken a gigantic step forward these days. Yet existing methods are either constrained in a one-off pattern or not efficient enough for receiving multiple conditions at every generation stage. We propose a model-agnostic framework Plug-in Conditional Auto-Encoder for Controllable Text Generation (PCAE) towards flexible and semi-supervised text generation. Our framework is "plug-and-play" with partial parameters to be fine-tuned in the pre-trained model (less than a half). Crucial to the success of PCAE is the proposed broadcasting label fusion network for navigating the global latent code to a specified local and confined space. Visualization of the local latent prior well confirms the primary devotion in hidden space of the proposed model. Moreover, extensive experiments across five related generation tasks (from 2 conditions up to 10 conditions) on both RNN- based and pre-trained BART [26] based auto-encoders reveal the high capability of PCAE, which enables generation that is highly manipulable, syntactically diverse and time-saving with minimum labeled samples. We will release our code at https://github.com/ImKeTT/pcae.


title: When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies

abstract: In ontology development, there is a gap between domain ontologies which mostly use the web ontology language, OWL, and foundational ontologies written in first-order logic, FOL. To bridge this gap, we present Gavel, a tool that supports the development of heterogeneous 'FOWL' ontologies that extend OWL with FOL annotations, and is able to reason over the combined set of axioms. Since FOL annotations are stored in OWL annotations, FOWL ontologies remain compatible with the existing OWL infrastructure. We show that for the OWL domain ontology OBI, the stronger integration with its FOL top-level ontology BFO via our approach enables us to detect several inconsistencies. Furthermore, existing OWL ontologies can benefit from FOL annotations. We illustrate this with FOWL ontologies containing mereotopological axioms that enable new meaningful inferences. Finally, we show that even for large domain ontologies such as ChEBI, automatic reasoning with FOL annotations can be used to detect previously unnoticed errors in the classification.


title: Effects of CVD Growth Parameters on Global and Local Optical Properties of MoS$_2$ Monolayers

abstract: Semiconducting transition metal dichalcogenides (TMDs) combine strong light-matter interaction with good chemical stability and scalable fabrication techniques, and are thus excellent prospects for optoelectronic, photonic and light-harvesting applications. Controllable fabrication of high-quality TMD monolayers with low defect content is still challenging and hinders their adoption for technological application. The optical properties of chemical vapor deposition (CVD) grown monolayer MoS$_2$ are largely influenced by the stoichiometry during CVD by controlled sulfurization of molybdenum (Mo) precursors. Here, we investigate how the sulfur concentration influences the sample morphology and, both globally and locally, their optical response. We confirm that samples grown under a Mo:S > 1:2 stoichiometric ratio have regular morphology facilitated by a moderate coverage of triangular monocrystals with excellent optical response. Our data-driven approach correlates growth conditions with crystal morphology and its optical response, providing a practical and necessary pathway to address the challenges towards the controlled synthesis of 2D TMDs and their alloys with desired optical and electronic properties.


title: How reliable are unsupervised author disambiguation algorithms in the assessment of research organization performance?

abstract: The paper examines extent of bias in the performance rankings of research organisations when the assessments are based on unsupervised author-name disambiguation algorithms. It compares the outcomes of a research performance evaluation exercise of Italian universities using the unsupervised approach by Caron and van Eck (2014) for derivation of the universities' research staff, with those of a benchmark using the supervised algorithm of D'Angelo, Giuffrida, and Abramo (2011), which avails of input data. The methodology developed could be replicated for comparative analyses in other frameworks of national or international interest, meaning that practitioners would have a precise measure of the extent of distortions inherent in any evaluation exercises using unsupervised algorithms. This could in turn be useful in informing policy-makers' decisions on whether to invest in building national research staff databases, instead of settling for the unsupervised approaches with their measurement biases.


title: Active beam steering enabled by photonic crystal surface emitting laser

abstract: Emitting light towards on-demand directions is important for various optoelectronic applications, such as optical communication, displaying, and ranging. However, almost all existing directional emitters are assemblies of passive optical antennae and external light sources, which are usually bulky, fragile, and with unendurable loss of light power. Here we theoretically propose and experimentally demonstrate a new conceptual design of directional emitter, by using a single surface-emitting laser source itself to achieve dynamically controlled beam steering. The laser is built on photonic crystals that operates near the band edges in the continuum. By shrinking laser sizes into tens-of-wavelength, the optical modes quantize in three-dimensional momentum space, and each of them directionally radiates towards the far-field. Further utilizing the luminescence spectrum shifting effect under current injection, we consecutively select a sequence of modes into lasing action and show the laser maintaining in single mode operation with linewidths at a minimum of $1.8$ MHz and emitting power of $\sim$ ten milliwatts, and we demonstrate fast beam steering across a range of $3.2^\circ \times 4^\circ$ in a time scale of $500$ nanoseconds. Our work proposes a novel method for on-chip active beam steering, which could pave the way for the development of automotive, industrial, and robotic applications.


title: Towards Multi-Modal Sarcasm Detection via Hierarchical Congruity Modeling with Knowledge Enhancement

abstract: Sarcasm is a linguistic phenomenon indicating a discrepancy between literal meanings and implied intentions. Due to its sophisticated nature, it is usually challenging to be detected from the text itself. As a result, multi-modal sarcasm detection has received more attention in both academia and industries. However, most existing techniques only modeled the atomic-level inconsistencies between the text input and its accompanying image, ignoring more complex compositions for both modalities. Moreover, they neglected the rich information contained in external knowledge, e.g., image captions. In this paper, we propose a novel hierarchical framework for sarcasm detection by exploring both the atomic-level congruity based on multi-head cross attention mechanism and the composition-level congruity based on graph neural networks, where a post with low congruity can be identified as sarcasm. In addition, we exploit the effect of various knowledge resources for sarcasm detection. Evaluation results on a public multi-modal sarcasm detection dataset based on Twitter demonstrate the superiority of our proposed model.


title: Central Limit Theorems in Deterministic Systems

abstract: This is a note on some results of the central limit theorem for deterministic dynamical systems. First, we give the central limit theorem for martingales, which is a main tool. Then we give the main results on the central limit theorem in dynamic system in the cases of martingale and backward martingale


title: A note on n-divisible positive definite functions

abstract: Let $PD(\mathbb{R})$ be the family of continuous positive definite functions on $\mathbb{R}$. For an integer $n>1$, a $f\in PD(\mathbb{R})$ is called $n$-divisible if there is $g\in PD(\mathbb{R})$ such that $g^n=f$. Some properties of infinite-divisible and $n$-divisible functions may differ in essence. Indeed, if $f$ is infinite-divisible, then for each integer $n>1$, there is an unique $g$ such that $g^n=f$, but there is a $n$-divisible $f$ such that the factor $g$ in $g^n=f$ is generally not unique. In this paper, we discuss about how rich can be the class $\{g\in PD(\mathbb{R}): g^n=f\}$ for $n$-divisible $f\in PD(\mathbb{R})$ and obtain precise estimate for the cardinality of this class.


title: Anomalous finite-size scaling in higher-order processes with absorbing states

abstract: We study standard and higher-order birth-death processes on fully connected networks, within the perspective of large-deviation theory (also referred to as Wentzel-Kramers-Brillouin (WKB) method in some contexts). We obtain a general expression for the leading and next-to-leading terms of the stationary probability distribution of the fraction of "active" sites, as a function of parameters and network size $N$. We reproduce several results from the literature and, in particular, we derive all the moments of the stationary distribution for the $q$-susceptible-infected-susceptible ($q-SIS$) model, i.e., a high-order epidemic model requiring of $q$ active ("infected") sites to activate an additional one. We uncover a very rich scenario for the fluctuations of the fraction of active sites, with non-trivial finite-size-scaling properties. In particular, we show that the variance-to-mean ratio diverges at criticality for $[1 \leq q\leq 3]$, with a maximal variability at $q=2$, confirming that complex-contagion processes can exhibit peculiar scaling features including wild variability and that the leading-order in a large-deviation approach does not suffice to describe them: next-to-leading terms are essential to capture the intrinsic singularity at the origin of systems with absorbing states.


title: Sample-Efficient Personalization: Modeling User Parameters as Low Rank Plus Sparse Components

abstract: Personalization of machine learning (ML) predictions for individual users/domains/enterprises is critical for practical recommendation systems. Standard personalization approaches involve learning a user/domain specific embedding that is fed into a fixed global model which can be limiting. On the other hand, personalizing/fine-tuning model itself for each user/domain -- a.k.a meta-learning -- has high storage/infrastructure cost. Moreover, rigorous theoretical studies of scalable personalization approaches have been very limited. To address the above issues, we propose a novel meta-learning style approach that models network weights as a sum of low-rank and sparse components. This captures common information from multiple individuals/users together in the low-rank part while sparse part captures user-specific idiosyncrasies. We then study the framework in the linear setting, where the problem reduces to that of estimating the sum of a rank-$r$ and a $k$-column sparse matrix using a small number of linear measurements. We propose a computationally efficient alternating minimization method with iterative hard thresholding -- AMHT-LRS -- to learn the low-rank and sparse part. Theoretically, for the realizable Gaussian data setting, we show that AMHT-LRS solves the problem efficiently with nearly optimal sample complexity. Finally, a significant challenge in personalization is ensuring privacy of each user's sensitive data. We alleviate this problem by proposing a differentially private variant of our method that also is equipped with strong generalization guarantees.


title: What Do End-Users Really Want? Investigation of Human-Centered XAI for Mobile Health Apps

abstract: In healthcare, AI systems support clinicians and patients in diagnosis, treatment, and monitoring, but many systems' poor explainability remains challenging for practical application. Overcoming this barrier is the goal of explainable AI (XAI). However, an explanation can be perceived differently and, thus, not solve the black-box problem for everyone. The domain of Human-Centered AI deals with this problem by adapting AI to users. We present a user-centered persona concept to evaluate XAI and use it to investigate end-users preferences for various explanation styles and contents in a mobile health stress monitoring application. The results of our online survey show that users' demographics and personality, as well as the type of explanation, impact explanation preferences, indicating that these are essential features for XAI design. We subsumed the results in three prototypical user personas: power-, casual-, and privacy-oriented users. Our insights bring an interactive, human-centered XAI closer to practical application.


title: Trivial Andreev band mimicking topological bulk gap reopening in the non-local conductance of long Rashba nanowires

abstract: We consider a one-dimensional Rashba nanowire in which multiple Andreev bound states in the bulk of the nanowire form an Andreev band. We show that, under certain circumstances, this trivial Andreev band can produce an apparent closing and reopening signature of the bulk band gap in the non-local conductance of the nanowire. Furthermore, we show that the existence of the trivial bulk reopening signature (BRS) in non-local conductance is essentially unaffected by the additional presence of trivial zero-bias peaks (ZBPs) in the local conductance at either end of the nanowire. The simultaneous occurrence of a trivial BRS and ZBPs mimics the basic features required to pass the so-called "topological gap protocol". Our results therefore provide a topologically trivial minimal model by which the applicability of this protocol can be benchmarked.


title: Torus and polar dust dependence on AGN properties

abstract: We present a statistical analysis of the properties of the obscuring material around active galactic nuclei (AGN). This study represents the first of its kind for an ultra-hard X-ray (14-195keV; Swift/BAT) volume-limited (DL<40 Mpc) sample of 24 Seyfert (Sy) galaxies (BCS40 sample) using high angular resolution infrared data and various torus models: smooth, clumpy and two-phase torus models and clumpy disc+wind models. We find that the smooth, clumpy and two-phase torus models (i.e. without including the polar dusty wind component) and disc+wind models provide best fits for a comparable number of galaxies, 8/24 (33.3%) and 9/24 (37.5%), respectively. We find that the best-fitted models depend on the hydrogen column density (NH), which is related to the X-ray (unobscured/obscured) and/or optical (Sy1/Sy2) classification. In particular, smooth, clumpy and two-phase torus models best reproduce the infrared (IR) emission of AGN with relatively high hydrogen column density (median value of log (NH)=23.5+-0.8; i.e. Sy2). However, clumpy disc+wind models provide the best fits to the nuclear IR spectral energy distributions (SEDs) of Sy1/1.8/1.9 (median value of log (NH)=21.0+-1.0), specifically in the near-IR (NIR) range. The success of the disc+wind models in fitting the NIR emission of Sy1 galaxies is due to the combination of adding large graphite grains to the dust composition and self-obscuration effects caused by the wind at intermediate inclinations. In general, we find that the Seyfert galaxies having unfavourable (favourable) conditions, i.e. nuclear hydrogen column density and Eddington ratio, for launching IR dusty polar outflows are best-fitted with smooth, clumpy and two-phase torus (disk+wind) models confirming the predictions from simulations. Therefore, our results indicate that the nature of the inner dusty structure in AGN depend on the intrinsic AGN properties.


title: The impact of environment on the lives of disk galaxies as revealed by SDSS-IV MaNGA

abstract: Environment has long been known to have significant impact on the evolution of galaxies, but here we seek to quantify the subtler differences that might be found in disk galaxies, depending on whether they are isolated, the most massive galaxy in a group (centrals), or a lesser member (satellites). The MaNGA survey allows us to define a large mass-matched sample of 574 galaxies with high-quality integrated spectra in each category. Initial examination of their spectral indices indicates significant differences, particularly in low-mass galaxies. Semi-analytic spectral fitting of a full chemical evolution model to these spectra confirms these differences, with low-mass satellites having a shorter period of star formation and chemical enrichment typical of a closed box, while central galaxies have more extended histories, with evidence of on-going gas accretion over their lifetimes. The derived parameters for gas infall timescale and wind strength suggest that low-mass satellite galaxies have their hot halos of gas effectively removed, while central galaxies retain a larger fraction of gas than isolated galaxies due to the deeper group potential well in which they sit. S0 galaxies form a distinct subset within the sample, particularly at higher masses, but do not bias the inferred lower-mass environmental impact significantly. The consistent picture that emerges underlines the wealth of archaeological information that can be extracted from high-quality spectral data using techniques like semi-analytic spectral fitting.


title: Learning to Learn and Sample BRDFs

abstract: We propose a method to accelerate the joint process of physically acquiring and learning neural Bi-directional Reflectance Distribution Function (BRDF) models. While BRDF learning alone can be accelerated by meta-learning, acquisition remains slow as it relies on a mechanical process. We show that meta-learning can be extended to optimize the physical sampling pattern, too. After our method has been meta-trained for a set of fully-sampled BRDFs, it is able to quickly train on new BRDFs with up to five orders of magnitude fewer physical acquisition samples at similar quality. Our approach also extends to other linear and non-linear BRDF models, which we show in an extensive evaluation.


title: Topological States of Matter in Frustrated Quantum Magnetism

abstract: Frustrated quantum magnets may exhibit fascinating collective phenomena. The main goal of this dissertation is to provide conclusive evidence for the emergence of novel phases of matter like quantum spin liquids in local quantum spin models. We develop novel algorithms for large-scale Exact Diagonalization computations. Sublattice coding methods for efficient use of lattice symmetries in the procedure of diagonalizing the Hamiltonian matrix are proposed and suggest a randomized distributed memory parallelization strategy. Benchmarks of computations on various supercomputers with system size up to 50 spin-1/2 particles have been performed. Results concerning the emergence of a chiral spin liquid in a frustrated kagome Heisenberg antiferromagnet are presented. The stability and extent of this phase are discussed. In an extended Heisenberg model on the triangular lattice, we establish another chiral spin liquid phase. We discuss the special case of the Heisenberg $J_1$-$J_2$ model and present a scenario where the critical point of phase transition from the 120-degree N\'eel to a putative $\mathbf{Z}_2$ spin liquid is described by a Dirac spin liquid. A generalization of the SU(2) Heisenberg model with SU(N) degrees of freedom on the triangular lattice with an additional ring-exchange term is discussed. We present our contribution to the project and the final results that suggest a series of chiral spin liquid phases in an extended parameter range. Finally, we present preliminary data from a Quantum Monte Carlo study of an SU(N) version of the J-Q model on a square lattice for N=2,...,10, and multi-column representations. We establish the phase boundary between the N\'eel ordered phase and the disordered phases. The disordered phase in the four-column representation is expected to be a two-dimensional analog of the Haldane phase for the spin-1 Heisenberg chain.


title: Inferring Smooth Control: Monte Carlo Posterior Policy Iteration with Gaussian Processes

abstract: Monte Carlo methods have become increasingly relevant for control of non-differentiable systems, approximate dynamics models and learning from data. These methods scale to high-dimensional spaces and are effective at the non-convex optimizations often seen in robot learning. We look at sample-based methods from the perspective of inference-based control, specifically posterior policy iteration. From this perspective, we highlight how Gaussian noise priors produce rough control actions that are unsuitable for physical robot deployment. Considering smoother Gaussian process priors, as used in episodic reinforcement learning and motion planning, we demonstrate how smoother model predictive control can be achieved using online sequential inference. This inference is realized through an efficient factorization of the action distribution and a novel means of optimizing the likelihood temperature to improve importance sampling accuracy. We evaluate this approach on several high-dimensional robot control tasks, matching the sample efficiency of prior heuristic methods while also ensuring smoothness. Simulation results can be seen at https://monte-carlo-ppi.github.io/.


title: Mechanical Artifacts in Optical Projection Tomography: Classification and Automatic Calibration

abstract: Optical projection tomography (OPT) is a powerful tool for biomedical studies. It achieves 3D visualization of mesoscopic biological samples with high spatial resolution using conventional tomographic-reconstruction algorithms. However, various artifacts degrade the quality of the reconstructed images due to experimental imperfections in the OPT instruments. While many efforts have been made to characterize and correct for these artifacts, they focus on one specific type of artifacts, whereas a comprehensive catalog of all sorts of mechanical artifacts does not currently exist. In this work, we systematically document many mechanical artifacts. We rely on a 3D description of the imaging system that uses a set of angular and translational parameters. We provide a catalog of artifacts. It lists their cause, resulting effects, and existing correction methods. Then, we introduce an automatic calibration algorithm that is able to recover the unknown system parameters fed into the final 3D iterative reconstruction algorithm for a distortion-free volumetric image. Simulations with beads data and experimental results on a fluorescent textile fiber confirm that our algorithm successfully removes miscalibration artifacts in the reconstruction.


title: Grid tariff designs coping with the challenges of electrification and their socio-economic impacts

abstract: This paper investigates volumetric grid tariff designs under consideration of different pricing mechanisms and resulting cost allocation across socio-techno-economic consumer categories. In a case study of 1.56 million Danish households divided into 90 socio-techno-economic categories, we compare three alternative grid tariffs and investigate their impact on annual electricity bills. The results of our design consisting of a time-dependent threshold penalizing individual peak consumption and a system peak tariff show (a) a range of different allocations that distribute the burden of additional grid costs across both technologies and (b) strong positive outcomes, including reduced expenses for lower-income groups and smaller households.


title: Spiking neural networks for nonlinear regression

abstract: Spiking neural networks, also often referred to as the third generation of neural networks, carry the potential for a massive reduction in memory and energy consumption over traditional, second-generation neural networks. Inspired by the undisputed efficiency of the human brain, they introduce temporal and neuronal sparsity, which can be exploited by next-generation neuromorphic hardware. To open the pathway toward engineering applications, we introduce this exciting technology in the context of continuum mechanics. However, the nature of spiking neural networks poses a challenge for regression problems, which frequently arise in the modeling of engineering sciences. To overcome this problem, a framework for regression using spiking neural networks is proposed. In particular, a network topology for decoding binary spike trains to real numbers is introduced, utilizing the membrane potential of spiking neurons. As the aim of this contribution is a concise introduction to this new methodology, several different spiking neural architectures, ranging from simple spiking feed-forward to complex spiking long short-term memory neural networks, are derived. Several numerical experiments directed towards regression of linear and nonlinear, history-dependent material models are carried out. A direct comparison with counterparts of traditional neural networks shows that the proposed framework is much more efficient while retaining precision and generalizability. All code has been made publicly available in the interest of reproducibility and to promote continued enhancement in this new domain.


title: Neuroevolution is a Competitive Alternative to Reinforcement Learning for Skill Discovery

abstract: Deep Reinforcement Learning (RL) has emerged as a powerful paradigm for training neural policies to solve complex control tasks. However, these policies tend to be overfit to the exact specifications of the task and environment they were trained on, and thus do not perform well when conditions deviate slightly or when composed hierarchically to solve even more complex tasks. Recent work has shown that training a mixture of policies, as opposed to a single one, that are driven to explore different regions of the state-action space can address this shortcoming by generating a diverse set of behaviors, referred to as skills, that can be collectively used to great effect in adaptation tasks or for hierarchical planning. This is typically realized by including a diversity term - often derived from information theory - in the objective function optimized by RL. However these approaches often require careful hyperparameter tuning to be effective. In this work, we demonstrate that less widely-used neuroevolution methods, specifically Quality Diversity (QD), are a competitive alternative to information-theory-augmented RL for skill discovery. Through an extensive empirical evaluation comparing eight state-of-the-art algorithms (four flagship algorithms from each line of work) on the basis of (i) metrics directly evaluating the skills' diversity, (ii) the skills' performance on adaptation tasks, and (iii) the skills' performance when used as primitives for hierarchical planning; QD methods are found to provide equal, and sometimes improved, performance whilst being less sensitive to hyperparameters and more scalable. As no single method is found to provide near-optimal performance across all environments, there is a rich scope for further research which we support by proposing future directions and providing optimized open-source implementations.


title: Fairness in generative modeling

abstract: We design general-purpose algorithms for addressing fairness issues and mode collapse in generative modeling. More precisely, to design fair algorithms for as many sensitive variables as possible, including variables we might not be aware of, we assume no prior knowledge of sensitive variables: our algorithms use unsupervised fairness only, meaning no information related to the sensitive variables is used for our fairness-improving methods. All images of faces (even generated ones) have been removed to mitigate legal risks.


title: LGTBIDS: Layer-wise Graph Theory Based Intrusion Detection System in Beyond 5G

abstract: The advancement in wireless communication technologies is becoming more demanding and pervasive. One of the fundamental parameters that limit the efficiency of the network are the security challenges. The communication network is vulnerable to security attacks such as spoofing attacks and signal strength attacks. Intrusion detection signifies a central approach to ensuring the security of the communication network. In this paper, an Intrusion Detection System based on the framework of graph theory is proposed. A Layerwise Graph Theory-Based Intrusion Detection System (LGTBIDS) algorithm is designed to detect the attacked node. The algorithm performs the layer-wise analysis to extract the vulnerable nodes and ultimately the attacked node(s). For each layer, every node is scanned for the possibility of susceptible node(s). The strategy of the IDS is based on the analysis of energy efficiency and secrecy rate. The nodes with the energy efficiency and secrecy rate beyond the range of upper and lower thresholds are detected as the nodes under attack. Further, detected node(s) are transmitted with a random sequence of bits followed by the process of re-authentication. The obtained results validate the better performance, low time computations, and low complexity. Finally, the proposed approach is compared with the conventional solution of intrusion detection.


title: An Empirical Study on How the Developers Discussed about Pandas Topics

abstract: Pandas is defined as a software library which is used for data analysis in Python programming language. As pandas is a fast, easy and open source data analysis tool, it is rapidly used in different software engineering projects like software development, machine learning, computer vision, natural language processing, robotics, and others. So a huge interests are shown in software developers regarding pandas and a huge number of discussions are now becoming dominant in online developer forums, like Stack Overflow (SO). Such discussions can help to understand the popularity of pandas library and also can help to understand the importance, prevalence, difficulties of pandas topics. The main aim of this research paper is to find the popularity and difficulty of pandas topics. For this regard, SO posts are collected which are related to pandas topic discussions. Topic modeling are done on the textual contents of the posts. We found 26 topics which we further categorized into 5 board categories. We observed that developers discuss variety of pandas topics in SO related to error and excepting handling, visualization, External support, dataframe, and optimization. In addition, a trend chart is generated according to the discussion of topics in a predefined time series. The finding of this paper can provide a path to help the developers, educators and learners. For example, beginner developers can learn most important topics in pandas which are essential for develop any model. Educators can understand the topics which seem hard to learners and can build different tutorials which can make that pandas topic understandable. From this empirical study it is possible to understand the preferences of developers in pandas topic by processing their SO posts


title: Exploring the Relationships between Privacy by Design Schemes and Privacy Laws: A Comparative Analysis

abstract: Internet of Things (IoT) applications have the potential to derive sensitive information about individuals. Therefore, developers must exercise due diligence to make sure that data are managed according to the privacy regulations and data protection laws. However, doing so can be a difficult and challenging task. Recent research has revealed that developers typically face difficulties when complying with regulations. One key reason is that, at times, regulations are vague, and could be challenging to extract and enact such legal requirements. In our research paper, we have conducted a systematic analysis of the data protection laws that are used across different continents, namely: (i) General Data Protection Regulations (GDPR), (ii) the Personal Information Protection and Electronic Documents Act (PIPEDA), (iii) the California Consumer Privacy Act (CCPA), (iv) Australian Privacy Principles (APPs), and (v) New Zealand's Privacy Act 1993. In this technical report, we presented the detailed results of the conducted framework analysis method to attain a comprehensive view of different data protection laws and highlighted the disparities, in order to assist developers in adhering to the regulations across different regions, along with creating a Combined Privacy Law Framework (CPLF). After that, we gave an overview of various Privacy by Design (PbD) schemes developed previously by different researchers. Then, the key principles and individuals' rights of the CPLF were mapped with the privacy principles, strategies, guidelines, and patterns of the Privacy by Design (PbD) schemes in order to investigate the gaps in existing schemes.


title: STSyn: Speeding Up Local SGD with Straggler-Tolerant Synchronization

abstract: Synchronous local stochastic gradient descent (local SGD) suffers from some workers being idle and random delays due to slow and straggling workers, as it waits for the workers to complete the same amount of local updates. In this paper, to mitigate stragglers and improve communication efficiency, a novel local SGD strategy, named STSyn, is developed. The key point is to wait for the $K$ fastest workers, while keeping all the workers computing continually at each synchronization round, and making full use of any effective (completed) local update of each worker regardless of stragglers. An analysis of the average wall-clock time, average number of local updates and average number of uploading workers per round is provided to gauge the performance of STSyn. The convergence of STSyn is also rigorously established even when the objective function is nonconvex. Experimental results show the superiority of the proposed STSyn against state-of-the-art schemes through utilization of the straggler-tolerant technique and additional effective local updates at each worker, and the influence of system parameters is studied. By waiting for faster workers and allowing heterogeneous synchronization with different numbers of local updates across workers, STSyn provides substantial improvements both in time and communication efficiency.


title: How well-intentioned white male physicists maintain ignorance of inequity and justify inaction

abstract: Background: We present an analysis of interviews with 27 self-identified progressive white-male physics faculty and graduate students discussing race and gender in physics. White men dominate most STEM fields and are particularly overrepresented in positions of status and influence (i.e. full professors, chairs, deans, etc.), positioning them as a potentially powerful demographic for enacting systemic reform. Despite their proclaimed outrage at and interest in addressing inequity, they frequently engage in patterns of belief, speech and (in)action that ultimately support the status quo of white male privilege in opposition to their intentions. Results: The white male physicists we interviewed used numerous discourses which support racist and sexist norms and position them as powerless to disrupt their own privilege. We present and discuss three overarching themes, seen in our data, demonstrating how highly intelligent, well-intentioned people of privilege maintain their power and privilege despite their own intentions: 1) Denying inequity is physically near them, 2) Locating causes of inequity in large societal systems over which they have little influence and 3) Justifying inaction. Conclusions: Despite being progressively minded, well-meaning, and highly intelligent, these men are frequently complicit in racism and sexism in physics. We end with recommendations for helping these men to engage the power they hold to better work with women and people of color in disrupting inequity in physics.


title: Truncation Error-Based Anisotropic $p$-Adaptation for Unsteady Flows for High-Order Discontinuous Galerkin Methods

abstract: In this work, we extend the $\tau$-estimation method to unsteady problems and use it to adapt the polynomial degree for high-order discontinuous Galerkin simulations of unsteady flows. The adaptation is local and anisotropic and allows capturing relevant unsteady flow features while enhancing the accuracy of time evolving functionals (e.g., lift, drag). To achieve an efficient and unsteady truncation error-based $p$-adaptation scheme, we first revisit the definition of the truncation error, studying the effect of the treatment of the mass matrix arising from the temporal term. Secondly, we extend the $\tau$-estimation strategy to unsteady problems. Finally, we present and compare two adaptation strategies for unsteady problems: the dynamic and static $p$-adaptation methods. In the first one (dynamic) the error is measured periodically during a simulation and the polynomial degree is adapted immediately after every estimation procedure. In the second one (static) the error is also measured periodically, but only one $p$-adaptation process is performed after several estimation stages, using a combination of the periodic error measures. The static $p$-adaptation strategy is suitable for time-periodic flows, while the dynamic one can be generalized to any flow evolution. We consider two test cases to evaluate the efficiency of the proposed $p$-adaptation strategies. The first one considers the compressible Euler equations to simulate the advection of a density pulse. The second one solves the compressible Navier-Stokes equations to simulate the flow around a cylinder at Re=100. The local and anisotropic adaptation enables significant reductions in the number of degrees of freedom with respect to uniform refinement, leading to speed-ups of up to $\times4.5$ for the Euler test case and $\times2.2$ for the Navier-Stokes test case.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Variability in electricity consumption by category of consumer: the impact on electricity load profiles

abstract: Residential electrification of transport and heat is changing consumption and its characteristics significantly. Previous studies have demonstrated the impact of socio-techno-economic determinants on residential consumption. However, they fail to capture the distributional characteristics of such consumer groups, which impact network planning and flexibility assessment. Using actual residential electricity consumption profile data for 720,000 households in Denmark, we demonstrate that heat pumps are more likely to influence aggregated peak consumption than electric vehicles. At the same time, other socio-economic factors, such as occupancy, dwelling area and income, show little impact. Comparing the extrapolation of a comprehensive rollout of heat pumps or electric vehicles indicates that the most common consumer category deploying heat pumps has 14% more maximum consumption during peak load hours, 46% more average consumption and twice the higher median compared to households owning an electric vehicle. Electric vehicle show already flexibility with coincidence factors that ranges between 5-15% with a maximum of 17% whereas heat pumps are mostly baseload. The detailed and holistic outcomes of this study support flexibility assessment and grid planning in future studies but also the operation of flexible technologies.


title: Polytopal templates for the formulation of semi-continuous vectorial finite elements of arbitrary order

abstract: The Hilbert spaces $H(\mathrm{curl})$ and $H(\mathrm{div})$ are needed for variational problems formulated in the context of the de Rham complex in order to guarantee well-posedness. Consequently, the construction of conforming subspaces is a crucial step in the formulation of viable numerical solutions. Alternatively to the standard definition of a finite element as per Ciarlet, given by the triplet of a domain, a polynomial space and degrees of freedom, this work aims to introduce a novel, simple method of directly constructing semi-continuous vectorial base functions on the reference element via polytopal templates and an underlying $H^1$-conforming polynomial subspace. The base functions are then mapped from the reference element to the element in the physical domain via consistent Piola transformations. The method is defined in such a way, that the underlying $H^1$-conforming subspace can be chosen independently, thus allowing for constructions of arbitrary polynomial order. The base functions arise by multiplication of the basis with template vectors defined for each polytope of the reference element. We prove a unisolvent construction of N\'ed\'elec elements of the first and second type, Brezzi-Douglas-Marini elements, and Raviart-Thomas elements. An application for the method is demonstrated with two examples in the relaxed micromorphic model


title: A Unified Hard-Constraint Framework for Solving Geometrically Complex PDEs

abstract: We present a unified hard-constraint framework for solving geometrically complex PDEs with neural networks, where the most commonly used Dirichlet, Neumann, and Robin boundary conditions (BCs) are considered. Specifically, we first introduce the "extra fields" from the mixed finite element method to reformulate the PDEs so as to equivalently transform the three types of BCs into linear equations. Based on the reformulation, we derive the general solutions of the BCs analytically, which are employed to construct an ansatz that automatically satisfies the BCs. With such a framework, we can train the neural networks without adding extra loss terms and thus efficiently handle geometrically complex PDEs, alleviating the unbalanced competition between the loss terms corresponding to the BCs and PDEs. We theoretically demonstrate that the "extra fields" can stabilize the training process. Experimental results on real-world geometrically complex PDEs showcase the effectiveness of our method compared with state-of-the-art baselines.


title: Do We Need Explainable AI in Companies? Investigation of Challenges, Expectations, and Chances from Employees' Perspective

abstract: Companies' adoption of artificial intelligence (AI) is increasingly becoming an essential element of business success. However, using AI poses new requirements for companies and their employees, including transparency and comprehensibility of AI systems. The field of Explainable AI (XAI) aims to address these issues. Yet, the current research primarily consists of laboratory studies, and there is a need to improve the applicability of the findings to real-world situations. Therefore, this project report paper provides insights into employees' needs and attitudes towards (X)AI. For this, we investigate employees' perspectives on (X)AI. Our findings suggest that AI and XAI are well-known terms perceived as important for employees. This recognition is a critical first step for XAI to potentially drive successful usage of AI by providing comprehensible insights into AI technologies. In a lessons-learned section, we discuss the open questions identified and suggest future research directions to develop human-centered XAI designs for companies. By providing insights into employees' needs and attitudes towards (X)AI, our project report contributes to the development of XAI solutions that meet the requirements of companies and their employees, ultimately driving the successful adoption of AI technologies in the business context.


title: Tractable Optimality in Episodic Latent MABs

abstract: We consider a multi-armed bandit problem with $M$ latent contexts, where an agent interacts with the environment for an episode of $H$ time steps. Depending on the length of the episode, the learner may not be able to estimate accurately the latent context. The resulting partial observation of the environment makes the learning task significantly more challenging. Without any additional structural assumptions, existing techniques to tackle partially observed settings imply the decision maker can learn a near-optimal policy with $O(A)^H$ episodes, but do not promise more. In this work, we show that learning with {\em polynomial} samples in $A$ is possible. We achieve this by using techniques from experiment design. Then, through a method-of-moments approach, we design a procedure that provably learns a near-optimal policy with $O(\texttt{poly}(A) + \texttt{poly}(M,H)^{\min(M,H)})$ interactions. In practice, we show that we can formulate the moment-matching via maximum likelihood estimation. In our experiments, this significantly outperforms the worst-case guarantees, as well as existing practical methods.


title: Mesh-Tension Driven Expression-Based Wrinkles for Synthetic Faces

abstract: Recent advances in synthesizing realistic faces have shown that synthetic training data can replace real data for various face-related computer vision tasks. A question arises: how important is realism? Is the pursuit of photorealism excessive? In this work, we show otherwise. We boost the realism of our synthetic faces by introducing dynamic skin wrinkles in response to facial expressions and observe significant performance improvements in downstream computer vision tasks. Previous approaches for producing such wrinkles either required prohibitive artist effort to scale across identities and expressions or were not capable of reconstructing high-frequency skin details with sufficient fidelity. Our key contribution is an approach that produces realistic wrinkles across a large and diverse population of digital humans. Concretely, we formalize the concept of mesh-tension and use it to aggregate possible wrinkles from high-quality expression scans into albedo and displacement texture maps. At synthesis, we use these maps to produce wrinkles even for expressions not represented in the source scans. Additionally, to provide a more nuanced indicator of model performance under deformations resulting from compressed expressions, we introduce the 300W-winks evaluation subset and the Pexels dataset of closed eyes and winks.


title: The Wave Function Cannot be a Real Wave Then Can We Speak of an Ontology of Particles

abstract: Is the wave function a physical reality traveling through our apparatus? Is it a real wave, or it is only a mathematical tool for calculating probabilities of results of measurements? Different interpretations of the quantum mechanics (QM) assume different answers to this question. It is shown in this article that the assumption that the wave function is a real wave entails a contradiction with the predictions of the QM, when the special relativity is invoked. Therefore, this text concentrates on interpretations which conjecture that the reality that moves in our apparatuses is particles, and they move under the constraints of the wave function. The de Broglie Bohm interpretation, which matches this picture, assumes that the particle travels along a continuous trajectory. However, the idea of continuous trajectories was proved to lead to a contradiction with the quantum predictions. Therefore this interpretation is not considered here. S. Gao conjectured that the particle is in a permanent random and discontinuous motion (RDM). As it jumps all the time from place to place, the total set of occupied positions at a certain time is given by the absolute square of the wave function. As motivation for his idea, Gao argued that if a charged particle were simultaneously in two or more locations at the same time, the copies of the particle would repel one another, destroying the wave function. It is proved here that the quantum formalism renders this motivation wrong. Although refuting this motivation, the RDM interpretation is examined here. A couple of problems of this interpretation are examined and it is proved that they do not lead to any observable contradictions with the QM predictions, except one problem which seems to have no solution. In all, it appears that none of the wide-spread interpretations of the QM is free of contradictions.


title: Thermal and quantum fluctuations of harmonic oscillator

abstract: We discuss the positional fluctuations of a quantum harmonic oscillator in a heat bath. Analytic expressions are given for the probability distribution functions of the oscillator position in general and limiting (classical and ground state) cases.


title: An Alexandrov Topology for Maximal Cohen-Macaulay Modules

abstract: Using the theory of cohomology annihilators, we define a family of topologies on the set of isomorphism classes of maximal Cohen-Macaulay modules over a Gorenstein ring. We study compactness of these topologies.


title: On the Convergence of critical points of the Ambrosio-Tortorelli functional

abstract: This work is devoted to study the asymptotic behavior of critical points $\{(u_\varepsilon,v_\varepsilon)\}_{\varepsilon>0}$ of the Ambrosio-Tortorelli functional. Under a uniform energy bound assumption, the usual $\Gamma$-convergence theory ensures that $(u_\varepsilon,v_\varepsilon)$ converges in the $L^2$-sense to some $(u_*,1)$ as $\varepsilon\to 0$, where $u_*$ is a special function of bounded variation. Assuming further the Ambrosio-Tortorelli energy of $(u_\varepsilon,v_\varepsilon)$ to converge to the Mumford-Shah energy of $u_*$, the later is shown to be a critical point with respect to inner variations of the Mumford-Shah functional. As a byproduct, the second inner variation is also shown to pass to the limit. To establish these convergence results, interior ($\mathscr{C}^\infty$) regularity and boundary regularity for Dirichlet boundary conditions are first obtained for a fixed parameter $\varepsilon>0$. The asymptotic analysis is then performed by means of varifold theory in the spirit of scalar phase transition problems.


title: A Quantitative Theory of Bottleneck Structures for Data Networks

abstract: The conventional view of the congestion control problem in data networks is based on the principle that a flow's performance is uniquely determined by the state of its bottleneck link, regardless of the topological properties of the network. However, recent work has shown that the behavior of congestion-controlled networks is better explained by models that account for the interactions between bottleneck links. These interactions are captured by a latent \textit{bottleneck structure}, a model describing the complex ripple effects that changes in one part of the network exert on the other parts. In this paper, we present a \textit{quantitative} theory of bottleneck structures (QTBS), a mathematical and engineering framework comprising a family of polynomial-time algorithms that can be used to reason about a wide variety of network optimization problems, including routing, capacity planning and flow control. QTBS can contribute to traffic engineering by making clear predictions about the relative performance of alternative flow routes, and by providing numerical recommendations for the optimal rate settings of traffic shapers. A particularly novel result in the domain of capacity planning indicates that previously established rules for the design of folded-Clos networks are suboptimal when flows are congestion controlled. We show that QTBS can be used to derive the optimal rules for this important class of topologies, and empirically demonstrate the correctness and efficacy of these results using the BBR and Cubic congestion-control algorithms.


title: From plane crashes to algorithmic harm: applicability of safety engineering frameworks for responsible ML

abstract: Inappropriate design and deployment of machine learning (ML) systems leads to negative downstream social and ethical impact -- described here as social and ethical risks -- for users, society and the environment. Despite the growing need to regulate ML systems, current processes for assessing and mitigating risks are disjointed and inconsistent. We interviewed 30 industry practitioners on their current social and ethical risk management practices, and collected their first reactions on adapting safety engineering frameworks into their practice -- namely, System Theoretic Process Analysis (STPA) and Failure Mode and Effects Analysis (FMEA). Our findings suggest STPA/FMEA can provide appropriate structure toward social and ethical risk assessment and mitigation processes. However, we also find nontrivial challenges in integrating such frameworks in the fast-paced culture of the ML industry. We call on the ML research community to strengthen existing frameworks and assess their efficacy, ensuring that ML systems are safer for all people.


title: The thermodynamic limit of an ideal Bose gas by asymptotic expansions and spectral $\zeta$-functions

abstract: We analyze the thermodynamic limit - modeled as the open-trap limit of an isotropic harmonic potential - of an ideal, non-relativistic Bose gas with a special emphasis on the phenomenon of Bose-Einstein condensation. This is accomplished by the use of an asymptotic expansion of the grand potential, which is derived by $\zeta$-regularization techniques. Herewith we can show, that the singularity structure of this expansion is directly interwoven with the phase structure of the system: In the non-condensation phase the expansion has a form that resembles usual heat kernel expansions. By this, thermodynamic observables are directly calculable. In contrast, the expansion exhibits a singularity of infinite order above a critical density and a renormalization of the chemical potential is needed to ensure well-defined thermodynamic observables. Furthermore, the renormalization procedure forces the system to exhibit condensation. In addition, we show that characteristic features of the thermodynamic limit, like the critical density or the internal energy, are entirely encoded in the coefficients of the asymptotic expansion.


title: Punctured Binary Simplex Codes as LDPC codes

abstract: Digital data transfer can be protected by means of suitable error correcting codes. Among the families of state-of-the-art codes, LDPC (Low Density Parity-Check) codes have received a great deal of attention recently, because of their performance and flexibility of operation, in wireless and mobile radio channels, as well as in cable transmission systems. In this paper, we present a class of rate-adaptive LDPC codes, obtained as properly punctured simplex codes. These codes allow for the use of an efficient soft-decision decoding algorithm, provided that a condition called row-column constraint is satisfied. This condition is tested on small-length codes, and then extended to medium-length codes. The puncturing operations we apply do not influence the satisfaction of the row-column constraint, assuring that a wide range of code rates can be obtained. We can reach code rates remarkably higher than those obtainable by the original simplex code, and the price in terms of minimum distance turns out to be relatively small, leading to interesting trade-offs in the resulting asymptotic coding gain.


title: An Overview of Affective Speech Synthesis and Conversion in the Deep Learning Era

abstract: Speech is the fundamental mode of human communication, and its synthesis has long been a core priority in human-computer interaction research. In recent years, machines have managed to master the art of generating speech that is understandable by humans. But the linguistic content of an utterance encompasses only a part of its meaning. Affect, or expressivity, has the capacity to turn speech into a medium capable of conveying intimate thoughts, feelings, and emotions -- aspects that are essential for engaging and naturalistic interpersonal communication. While the goal of imparting expressivity to synthesised utterances has so far remained elusive, following recent advances in text-to-speech synthesis, a paradigm shift is well under way in the fields of affective speech synthesis and conversion as well. Deep learning, as the technology which underlies most of the recent advances in artificial intelligence, is spearheading these efforts. In the present overview, we outline ongoing trends and summarise state-of-the-art approaches in an attempt to provide a comprehensive overview of this exciting field.


title: Robotic Control Using Model Based Meta Adaption

abstract: In machine learning, meta-learning methods aim for fast adaptability to unknown tasks using prior knowledge. Model-based meta-reinforcement learning combines reinforcement learning via world models with Meta Reinforcement Learning (MRL) for increased sample efficiency. However, adaption to unknown tasks does not always result in preferable agent behavior. This paper introduces a new Meta Adaptation Controller (MAC) that employs MRL to apply a preferred robot behavior from one task to many similar tasks. To do this, MAC aims to find actions an agent has to take in a new task to reach a similar outcome as in a learned task. As a result, the agent will adapt quickly to the change in the dynamic and behave appropriately without the need to construct a reward function that enforces the preferred behavior.


title: Multi-Agent Systems for Computational Economics and Finance

abstract: In this article we survey the main research topics of our group at the University of Essex. Our research interests lie at the intersection of theoretical computer science, artificial intelligence, and economic theory. In particular, we focus on the design and analysis of mechanisms for systems involving multiple strategic agents, both from a theoretical and an applied perspective. We present an overview of our group's activities, as well as its members, and then discuss in detail past, present, and future work in multi-agent systems.


title: Giant and tunable excitonic optical anisotropy in single-crystal CsPbX$_3$ halide perovskites

abstract: During the last years, giant optical anisotropy demonstrated its paramount importance for light manipulation which resulted in numerous applications ranging from subdiffraction light guiding to switchable nanolasers. In spite of recent advances in the field, achieving continuous tunability of optical anisotropy remains an outstanding challenge. Here, we present a solution to the problem through chemical alteration of the ratio of halogen atoms (X = Br or Cl) in single-crystal CsPbX$_3$ halide perovskites. It turns out that the anisotropy originates from an excitonic resonance in the perovskite, which spectral position and strength are determined by the halogens composition. As a result, we manage to continually modify the optical anisotropy by 0.14. We also discover that the halide perovskite can demonstrate optical anisotropy up to 0.6 in the visible range -- the largest value among non-van der Waals materials. Moreover, our results reveal that this anisotropy could be in-plane and out-of-plane, depending on perovskite shape -- rectangular and square. Hence, it can serve as an additional degree of freedom for anisotropy manipulation. As a practical demonstration, we created perovskite anisotropic nanowaveguides and show a significant impact of anisotropy on high-order guiding modes. These findings pave the way for halide perovskites as a next-generation platform for tunable anisotropic photonics.


title: Ferromagnetic Heisenberg model with the Dzyaloshinskii-Moriya interaction

abstract: The spin-1/2 Heisenberg model is formulated in terms of a mean-field approximation (MFA) by using the matrix forms of spin operators $\hat{S}_x,\hat{S}_y$ and $\hat{S}_z$ in three-dimensions. The considered Hamiltonian consists of bilinear exchange interaction parameters $(J_x,J_y,J_z)$, Dzyaloshinskii-Moriya interactions $(\Delta_x,\Delta_y,\Delta_z)$ and external magnetic field components $(H_x,H_y,H_z)$. The magnetization and its components are obtained in the MFA with the general anisotropic case with $J_x\neq J_y \neq J_z$ for various values of coordination numbers $q$. Then, the thermal variations of magnetizations are investigated in detail to obtain the phase diagrams of the model for the isotropic case with $J_x=J_y=J_z>0$. It is found that the model exhibits ferromagnetic, paramagnetic, random phase regions and an extra ferromagnetic phase at which the components of magnetizations present branching.


title: A2: Efficient Automated Attacker for Boosting Adversarial Training

abstract: Based on the significant improvement of model robustness by AT (Adversarial Training), various variants have been proposed to further boost the performance. Well-recognized methods have focused on different components of AT (e.g., designing loss functions and leveraging additional unlabeled data). It is generally accepted that stronger perturbations yield more robust models. However, how to generate stronger perturbations efficiently is still missed. In this paper, we propose an efficient automated attacker called A2 to boost AT by generating the optimal perturbations on-the-fly during training. A2 is a parameterized automated attacker to search in the attacker space for the best attacker against the defense model and examples. Extensive experiments across different datasets demonstrate that A2 generates stronger perturbations with low extra cost and reliably improves the robustness of various AT methods against different attacks.


title: Character factorizations for representations of GL(n,C)

abstract: The aim of this paper is to give another proof of a theorem of D.Prasad, which calculates the character of an irreducible representation of $\text{GL}(mn,\mathbb{C})$ at the diagonal elements of the form $\underline{t} \cdot c_n$, where $\underline{t}=(t_1,t_2,\cdots,t_m)$ $\in$ $(\mathbb{C}^*)^{m}$ and $c_n=(1,\omega_n,\omega_n^{2},\cdots,\omega_n^{n-1})$, where $\omega_n=e^{\frac{2\pi \imath}{n}}$, and expresses it as a product of certain characters for $\text{GL}(m,\mathbb{C})$ at $\underline{t}^n$.


title: Hypergraph Ramsey numbers of cliques versus stars

abstract: Let $K_m^{(3)}$ denote the complete $3$-uniform hypergraph on $m$ vertices and $S_n^{(3)}$ the $3$-uniform hypergraph on $n+1$ vertices consisting of all $\binom{n}{2}$ edges incident to a given vertex. Whereas many hypergraph Ramsey numbers grow either at most polynomially or at least exponentially, we show that the off-diagonal Ramsey number $r(K_{4}^{(3)},S_n^{(3)})$ exhibits an unusual intermediate growth rate, namely, \[ 2^{c \log^2 n} \le r(K_{4}^{(3)},S_n^{(3)}) \le 2^{c' n^{2/3}\log n} \] for some positive constants $c$ and $c'$. The proof of these bounds brings in a novel Ramsey problem on grid graphs which may be of independent interest: what is the minimum $N$ such that any $2$-edge-coloring of the Cartesian product $K_N \square K_N$ contains either a red rectangle or a blue $K_n$?


title: Time-Space Transformers for Video Panoptic Segmentation

abstract: We propose a novel solution for the task of video panoptic segmentation, that simultaneously predicts pixel-level semantic and instance segmentation and generates clip-level instance tracks. Our network, named VPS-Transformer, with a hybrid architecture based on the state-of-the-art panoptic segmentation network Panoptic-DeepLab, combines a convolutional architecture for single-frame panoptic segmentation and a novel video module based on an instantiation of the pure Transformer block. The Transformer, equipped with attention mechanisms, models spatio-temporal relations between backbone output features of current and past frames for more accurate and consistent panoptic estimates. As the pure Transformer block introduces large computation overhead when processing high resolution images, we propose a few design changes for a more efficient compute. We study how to aggregate information more effectively over the space-time volume and we compare several variants of the Transformer block with different attention schemes. Extensive experiments on the Cityscapes-VPS dataset demonstrate that our best model improves the temporal consistency and video panoptic quality by a margin of 2.2%, with little extra computation.


title: Order Statistics Approaches to Unobserved Heterogeneity in Auctions

abstract: We establish nonparametric identification of auction models with continuous and nonseparable unobserved heterogeneity using three consecutive order statistics of bids. We then propose sieve maximum likelihood estimators for the joint distribution of unobserved heterogeneity and the private value, as well as their conditional and marginal distributions. Lastly, we apply our methodology to a novel dataset from judicial auctions in China. Our estimates suggest substantial gains from accounting for unobserved heterogeneity when setting reserve prices. We propose a simple scheme that achieves nearly optimal revenue by using the appraisal value as the reserve price.


title: Magnon bands in pyrochlore slabs with Heisenberg exchange and anisotropies

abstract: The pyrochlore lattice is a versatile venue to probe the properties of magnetically ordered states induced or perturbed by anisotropic terms like the Dzyaloshinskii-Moriya interactions or single-ion anisotropy. Several such ordered states have been investigated recently as precursors of topological magnons and the associated surface states. In parallel, there has been recent progress in growing thin films of magnetic materials with this lattice structure along high symmetry directions of the lattice. In both cases, an account of the magnetic excitations of relevant Hamiltonians for finite slabs is a necessary step in the analysis of the physics of these systems. We study here magnon bands in the slab geometry for a class of spin models on the pyrochlore lattice with Heisenberg exchange, Dzyaloshinskii-Moriya interaction and spin-ice anisotropy. For a range of model parameters, for both ferromagnetic and antiferromagnetic exchange, we compute the classical ground states for different slab orientations and determine the spin wave excitations above them. We analyze the ferromagnetic splay phase, the all-in-all-out phase and a coplanar phase and evaluate magnon dispersions for slabs oriented perpendicular to the $[111]$, $[100]$ and $[110]$ directions. For all the phases considered, depending on the slab orientation, magnon band structures can be non-reciprocal and we highlight the differences in the three orientations from this point-of-view. Finally, we present details of the surface localized magnons for all the three slab orientations in the phases we study. For the ferromagnetic splay phase and the all-in-all-out phase we analyze surface states associated with point degeneracies or nodal lines in the bulk spectrum by computing the magnonic Berry curvature and Weyl charges or Chern numbers associated with it.


title: Colloquium: Spin-orbit effects in superconducting hybrid structures

abstract: Spin-orbit coupling (SOC) describes the interaction between an electron's motion and its spin, and is ubiquitous in condensed matter systems. The interplay of SOC with superconductivity has attracted significant interest over the past decade and understanding has substantially progressed, both experimentally and theoretically. Even with well-understood materials, conventional $s$-wave superconducting hybrid structures with SOC provide a platform for realizing exotic phenomena and counterparts in the normal state. Understanding the emergent phenomena in such systems is an important aim in condensed matter physics. One such area relates to the generation and interplay of spin-polarized spin-triplet Cooper pairs in superconducting structures with magnetic interfaces. It is established that certain forms of magnetic inhomogeneity at an $s$-wave superconductor interface with a ferromagnet can transform spin-singlet Cooper pairs into a spin-polarized spin-triplet Cooper pairs, enabling transformative concepts for cryogenic computing. Recently, theory and experiments have demonstrated singlet-to-triplet pair conversion via SOC in $s$-wave superconducting structures with or without magnetic layers. Moreover, the spin-dependent properties of quasiparticles and their non-equilibrium behavior also change in the presence of SOC. These breakthroughs create the potential for energy-efficient control of static and dynamic spin phenomena in superconducting structures and devices. This article reviews progress in superconducting spintronics with a focus on the coupling of superconductivity and SOC in hybrid structures and devices, and outlines directions that are critical for future device development and fundamental understanding.


title: Relative tilting theory in extriangulated categories

abstract: In this article, we define relative resolutions and coresolutions in extriangulated categories. By studying this relative resolutions and coresolutions, we get a generalization of the Auslander-Buchweitz approximation theory. Finally, we develop some theories of relative tilting objects in extriangulated categories.


title: Instance Segmentation of Dense and Overlapping Objects via Layering

abstract: Instance segmentation aims to delineate each individual object of interest in an image. State-of-the-art approaches achieve this goal by either partitioning semantic segmentations or refining coarse representations of detected objects. In this work, we propose a novel approach to solve the problem via object layering, i.e. by distributing crowded, even overlapping objects into different layers. By grouping spatially separated objects in the same layer, instances can be effortlessly isolated by extracting connected components in each layer. In comparison to previous methods, our approach is not affected by complex object shapes or object overlaps. With minimal post-processing, our method yields very competitive results on a diverse line of datasets: C. elegans (BBBC), Overlapping Cervical Cells (OCC) and cultured neuroblastoma cells (CCDB). The source code is publicly available.


title: Rectifiability and uniqueness of blow-ups for points with positive Alt-Caffarelli-Friedman limit

abstract: We study the regularity of the interface between the disjoint supports of a pair of nonnegative subharmonic functions. The portion of the interface where the Alt-Caffarelli-Friedman (ACF) monotonicity formula is asymptotically positive forms an $\mathcal{H}^{n-1}$-rectifiable set. Moreover, for $\mathcal{H}^{n-1}$-a.e. such point, the two functions have unique blowups, i.e. their Lipschitz rescalings converge in $W^{1,2}$ to a pair of nondegenerate truncated linear functions whose supports meet at the approximate tangent plane. The main tools used include the Naber-Valtorta framework and our recent result establishing a sharp quantitative remainder term in the ACF monotonicity formula. We also give applications of our results to free boundary problems.


title: Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?

abstract: Answer Set Programming (ASP) is a paradigm for modeling and solving problems for knowledge representation and reasoning. There are plenty of results dedicated to studying the hardness of (fragments of) ASP. So far, these studies resulted in characterizations in terms of computational complexity as well as in fine-grained insights presented in form of dichotomy-style results, lower bounds when translating to other formalisms like propositional satisfiability (SAT), and even detailed parameterized complexity landscapes. A generic parameter in parameterized complexity originating from graph theory is the so-called treewidth, which in a sense captures structural density of a program. Recently, there was an increase in the number of treewidth-based solvers related to SAT. While there are translations from (normal) ASP to SAT, no reduction that preserves treewidth or at least keeps track of the treewidth increase is known. In this paper we propose a novel reduction from normal ASP to SAT that is aware of the treewidth, and guarantees that a slight increase of treewidth is indeed sufficient. Further, we show a new result establishing that, when considering treewidth, already the fragment of normal ASP is slightly harder than SAT (under reasonable assumptions in computational complexity). This also confirms that our reduction probably cannot be significantly improved and that the slight increase of treewidth is unavoidable. Finally, we present an empirical study of our novel reduction from normal ASP to SAT, where we compare treewidth upper bounds that are obtained via known decomposition heuristics. Overall, our reduction works better with these heuristics than existing translations.


title: Energy transition under scenario uncertainty: a mean-field game of stopping with common noise

abstract: We study the impact of transition scenario uncertainty, namely that of future carbon price and electricity demand, on the pace of decarbonization of the electricity industry. To this end, we develop a theory of optimal stopping mean-field games with non-Markovian common noise and partial observation. For mathematical tractability, the theory is formulated in discrete time and with common noise restricted to a finite probability space. We prove the existence of Nash equilibria for this game using the linear programming approach. We then apply the general theory to build a discrete time model for the long-term dynamics of the electricity market subject to common random shocks affecting the carbon price and the electricity demand. We consider two classes of agents: conventional producers and renewable producers. The former choose an optimal moment to exit the market and the latter choose an optimal moment to enter the market by investing into renewable generation. The agents interact through the market price determined by a merit order mechanism with an exogenous stochastic demand. We illustrate our model by an example inspired by the UK electricity market, and show that scenario uncertainty leads to significant changes in the speed of replacement of conventional generators by renewable production.


title: In-situ Model Downloading to Realize Versatile Edge AI in 6G Mobile Networks

abstract: The sixth-generation (6G) mobile networks are expected to feature the ubiquitous deployment of machine learning and AI algorithms at the network edge. With rapid advancements in edge AI, the time has come to realize intelligence downloading onto edge devices (e.g., smartphones and sensors). To materialize this version, we propose a novel technology in this article, called in-situ model downloading, that aims to achieve transparent and real-time replacement of on-device AI models by downloading from an AI library in the network. Its distinctive feature is the adaptation of downloading to time-varying situations (e.g., application, location, and time), devices' heterogeneous storage-and-computing capacities, and channel states. A key component of the presented framework is a set of techniques that dynamically compress a downloaded model at the depth-level, parameter-level, or bit-level to support adaptive model downloading. We further propose a virtualized 6G network architecture customized for deploying in-situ model downloading with the key feature of a three-tier (edge, local, and central) AI library. Furthermore, experiments are conducted to quantify 6G connectivity requirements and research opportunities pertaining to the proposed technology are discussed.


title: TQFTs and quantum computing

abstract: Quantum computing is captured in the formalism of the monoidal subcategory of $\textbf{Vect}_{\mathbb C}$ generated by $\mathbb C^2$ -- in particular, quantum circuits are diagrams in $\textbf{Vect}_{\mathbb C}$ -- while topological quantum field theories, in the sense of Atiyah, are diagrams in $\textbf{Vect}_{\mathbb C}$ indexed by cobordisms. We initiate a program that formalizes this connection. In doing so, we equip cobordisms with machinery for producing linear maps by parallel transport along curves under a connection and then assemble these structures into a double category. Finite-dimensional complex vector spaces and linear maps between them are given a suitable double categorical structure which we call $\mathbb F\textbf{Vect}_{\mathbb C}$. We realize quantum circuits as images of cobordisms under monoidal double functors from these modified cobordisms to $\mathbb F\textbf{Vect}_{\mathbb C}$, which are computed by taking parallel transports of vectors and then combining the results in a pattern encoded in the domain double category.


title: Depths in random recursive metric spaces

abstract: As a generalization of random recursive trees and preferential attachment trees, we consider random recursive metric spaces. These spaces are constructed from random blocks, each a metric space equipped with a probability measure, containing a labelled point called a hook, and assigned a weight. Random recursive metric spaces are equipped with a probability measure made up of a weighted sum of the probability measures assigned to its constituent blocks. At each step in the growth of a random recursive metric space, a point called a latch is chosen at random according to the equipped probability measure and a new block is chosen at random and attached to the space by joining together the latch and the hook of the block. We use martingale theory to prove a law of large numbers and a central limit theorem for the insertion depth; the distance from the master hook to the latch chosen. We also apply our results to further generalizations of random trees, hooking networks, and continuous spaces constructed from line segments.


title: A deep learning approach for detection and localization of leaf anomalies

abstract: The detection and localization of possible diseases in crops are usually automated by resorting to supervised deep learning approaches. In this work, we tackle these goals with unsupervised models, by applying three different types of autoencoders to a specific open-source dataset of healthy and unhealthy pepper and cherry leaf images. CAE, CVAE and VQ-VAE autoencoders are deployed to screen unlabeled images of such a dataset, and compared in terms of image reconstruction, anomaly removal, detection and localization. The vector-quantized variational architecture turns out to be the best performing one with respect to all these targets.


title: Estimation of the Order of Non-Parametric Hidden Markov Models using the Singular Values of an Integral Operator

abstract: We are interested in assessing the order of a finite-state Hidden Markov Model (HMM) with the only two assumptions that the transition matrix of the latent Markov chain has full rank and that the density functions of the emission distributions are linearly independent. We introduce a new procedure for estimating this order by investigating the rank of some well-chosen integral operator which relies on the distribution of a pair of consecutive observations. This method circumvents the usual limits of the spectral method when it is used for estimating the order of an HMM: it avoids the choice of the basis functions; it does not require any knowledge of an upper-bound on the order of the HMM (for the spectral method, such an upper-bound is defined by the number of basis functions); it permits to easily handle different types of data (including continuous data, circular data or multivariate continuous data) with a suitable choice of kernel. The method relies on the fact that the order of the HMM can be identified from the distribution of a pair of consecutive observations and that this order is equal to the rank of some integral operator (\emph{i.e.} the number of its singular values that are non-zero). Since only the empirical counter-part of the singular values of the operator can be obtained, we propose a data-driven thresholding procedure. An upper-bound on the probability of overestimating the order of the HMM is established. Moreover, sufficient conditions on the bandwidth used for kernel density estimation and on the threshold are stated to obtain the consistency of the estimator of the order of the HMM. The procedure is easily implemented since the values of all the tuning parameters are determined by the sample size.


title: Confinement in $QCD$: novelties

abstract: We report on recent progress in understanding confinement of colour in $QCD$ as dual superconductivity of the vacuum. A gauge invariant version of the creation operator of monopoles is constructed whose vacuum expectation value is the order parameter. This order parameter is gauge-invariant from scratch, has no infrared divergences, is finite in the confined phase and vanishes in the deconfined phase. A natural explanation also emerges of why the electric field lines in the flux tubes keep no memory of the colour orientation of the condensing monopoles. A further by-product is that the order parameter can be traded with the two-point vacuum parallel correlator of the chromo-electric field.


title: Empowering Graph Representation Learning with Test-Time Graph Transformation

abstract: As powerful tools for representation learning on graphs, graph neural networks (GNNs) have facilitated various applications from drug discovery to recommender systems. Nevertheless, the effectiveness of GNNs is immensely challenged by issues related to data quality, such as distribution shift, abnormal features and adversarial attacks. Recent efforts have been made on tackling these issues from a modeling perspective which requires additional cost of changing model architectures or re-training model parameters. In this work, we provide a data-centric view to tackle these issues and propose a graph transformation framework named GTrans which adapts and refines graph data at test time to achieve better performance. We provide theoretical analysis on the design of the framework and discuss why adapting graph data works better than adapting the model. Extensive experiments have demonstrated the effectiveness of GTrans on three distinct scenarios for eight benchmark datasets where suboptimal data is presented. Remarkably, GTrans performs the best in most cases with improvements up to 2.8%, 8.2% and 3.8% over the best baselines on three experimental settings. Code is released at https://github.com/ChandlerBang/GTrans.


title: Modelling Solar Orbiter Dust Detection Rates in Inner Heliosphere as a Poisson Process

abstract: Solar Orbiter provides dust detection capability in inner heliosphere, but estimating physical properties of detected dust from the collected data is far from straightforward. First, a physical model for dust collection considering a Poisson process is formulated. Second, it is shown that dust on hyperbolic orbits is responsible for the majority of dust detections with Solar Orbiter's Radio and Plasma Waves (SolO/RPW). Third, the model for dust counts is fitted to SolO/RPW data and parameters of the dust are inferred, namely: radial velocity, hyperbolic meteoroids predominance, and solar radiation pressure to gravity ratio as well as uncertainties of these. Non-parametric model fitting is used to get the difference between inbound and outbound detection rate and dust radial velocity is thus estimated. A hierarchical Bayesian model is formulated and applied to available SolO/RPW data. The model uses the methodology of Integrated Nested Laplace Approximation, estimating parameters of dust and their uncertainties. SolO/RPW dust observations can be modelled as a Poisson process in a Bayesian framework and observations up to this date are consistent with the hyperbolic dust model with an additional background component. Analysis suggests a radial velocity of the hyperbolic component around $(63 \pm 7) \mathrm{km/s}$ with the predominance of hyperbolic dust about $(78 \pm 4) \%$. The results are consistent with hyperbolic meteoroids originating between $0.02 \mathrm{AU}$ and $0.1 \mathrm{AU}$ and showing substantial deceleration, which implies effective solar radiation pressure to gravity ratio $\gtrsim 0.5$. The flux of hyperbolic component at $1 \mathrm{AU}$ is found to be $(1.1 \pm 0.2) \times 10^{-4} \mathrm{m^{-2}s^{-1}}$ and the flux of background component at $1 \mathrm{AU}$ is found to be $(5.4 \pm 1.5) \times 10^{-5} \mathrm{m^{-2}s^{-1}}$.


title: A note on quadratic cyclotomic extensions

abstract: This paper provides a complete study of quadratic cyclotomic extensions over an arbitrary field. We unravel a beautiful theory around those extensions, and in addition, we provide some general results about general cyclotomic extensions. Compiling all our findings, we offer geometric descriptions of sets of quadratic cyclotomic extensions. We end our paper by providing embeddings from the set of quadratic cyclotomic extensions to the full set of quadratic extensions.


title: Thompson's group $F$ is almost $\frac{3}{2}$-generated

abstract: Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element of $G$ belongs to a generating pair of $G$. Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the first example of an infinite finitely presented non-cyclic $\frac{3}{2}$-generated group. Recently, Bleak, Harper and Skipper proved that Thompson's group $T$ is also $\frac{3}{2}$-generated. In this paper, we prove that Thompson's group $F$ is "almost" $\frac{3}{2}$-generated in the sense that every element of $F$ whose image in the abelianization forms part of a generating pair of $\mathbb{Z}^2$ is part of a generating pair of $F$. We also prove that for every non-trivial element $f\in F$ there is an element $g\in F$ such that the subgroup $\langle f,g\rangle$ contains the derived subgroup of $F$. Moreover, if $f$ does not belong to the derived subgroup of $F$, then there is an element $g\in F$ such that $\langle f,g\rangle$ has finite index in $F$.