title: Monitor++?: Multiple versus Single Laboratory Monitors in Early Programming Education

abstract: CONTRIBUTION: This paper presents an empirical study of an introductory-level programming course with students using multiple monitors and compares their performance and self-reported experiences versus students using a single monitor. BACKGROUND: Professional-level programming in many technological fields often employs multiple-monitors stations, however, some education laboratories employ single-monitor stations. This is unrepresentative of what students will encounter in practice and experiential learning. RESEARCH QUESTIONS: This study aims to answer three research questions. The questions include discovering the experiential observations of the students, contrasting the performance of the students using one monitor versus those using two monitors, and an investigation of the ways in which multiple monitors were employed by the students. METHODOLOGY: Half of the students in the study had access to multiple monitors. This was the only difference between the two study groups. This study contrasts grade medians and conducts median-test evaluation. Additionally, an experience survey facilitated likert-scale values and open-ended feedback questions facilitated textual analysis. Limitations of the study include the small sample size (86 students) and lack of control of participant composition. FINDINGS: Students reacted very favorably in rating their experience using the intervention. Overall, the multiple-monitor group had a slight performance improvement. Most improvement was in software-design and graphics assignments. Performance increased statistically significantly on the interfaces-and-hierarchies labs. Students used multiple-monitors in different ways including reference guides, assignment specifications, and more.


title: On the role of the subsidiary fields in the momentum and angular momentum in covariantly quantized QED and QCD

abstract: The covariant quantization of QED and QCD requires the introduction of subsidiary gauge-fixing and ghost fields and it is crucial to understand the role of these in the energy-momentum tensor, and in the momentum and angular momentum operators. These issues were studied in \cite{Leader:2011za}, and key results from this study were utilized in the major review of angular momentum in \cite{Leader:2013jra}. Damski \cite{Damski:2021feu} has rightly criticized as incorrect the derivation of certain equations in \cite{Leader:2011za}. We show, however, that the key results of \cite{Leader:2011za} which are utilized in \cite{Leader:2013jra} are unaffected by Damski's criticism.


title: Spatio-temporal Parking Behaviour Forecasting and Analysis Before and During COVID-19

abstract: Parking demand forecasting and behaviour analysis have received increasing attention in recent years because of their critical role in mitigating traffic congestion and understanding travel behaviours. However, previous studies usually only consider temporal dependence but ignore the spatial correlations among parking lots for parking prediction. This is mainly due to the lack of direct physical connections or observable interactions between them. Thus, how to quantify the spatial correlation remains a significant challenge. To bridge the gap, in this study, we propose a spatial-aware parking prediction framework, which includes two steps, i.e. spatial connection graph construction and spatio-temporal forecasting. A case study in Ningbo, China is conducted using parking data of over one million records before and during COVID-19. The results show that the approach is superior on parking occupancy forecasting than baseline methods, especially for the cases with high temporal irregularity such as during COVID-19. Our work has revealed the impact of the pandemic on parking behaviour and also accentuated the importance of modelling spatial dependence in parking behaviour forecasting, which can benefit future studies on epidemiology and human travel behaviours.


title: Program Synthesis with Large Language Models

abstract: This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages. We evaluate a collection of such models (with between 244M and 137B parameters) on two new benchmarks, MBPP and MathQA-Python, in both the few-shot and fine-tuning regimes. Our benchmarks are designed to measure the ability of these models to synthesize short Python programs from natural language descriptions. The Mostly Basic Programming Problems (MBPP) dataset contains 974 programming tasks, designed to be solvable by entry-level programmers. The MathQA-Python dataset, a Python version of the MathQA benchmark, contains 23914 problems that evaluate the ability of the models to synthesize code from more complex text. On both datasets, we find that synthesis performance scales log-linearly with model size. Our largest models, even without finetuning on a code dataset, can synthesize solutions to 59.6 percent of the problems from MBPP using few-shot learning with a well-designed prompt. Fine-tuning on a held-out portion of the dataset improves performance by about 10 percentage points across most model sizes. On the MathQA-Python dataset, the largest fine-tuned model achieves 83.8 percent accuracy. Going further, we study the model's ability to engage in dialog about code, incorporating human feedback to improve its solutions. We find that natural language feedback from a human halves the error rate compared to the model's initial prediction. Additionally, we conduct an error analysis to shed light on where these models fall short and what types of programs are most difficult to generate. Finally, we explore the semantic grounding of these models by fine-tuning them to predict the results of program execution. We find that even our best models are generally unable to predict the output of a program given a specific input.


title: Dielectric response of electron-hole systems. Nondegenerate case and quantum corrections

abstract: Analytical results for the dielectric function in RPA are derived for three-, two-, and one-dimensional semiconductors in the weakly-degenerate limit. Based on this limit, quantum corrections are derived. Further attention is devoted to systems with linear carrier dispersion and the resulting Dirac-cone physics.


title: Short proofs of rainbow matching results

abstract: A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. The study of rainbow subgraphs goes back to the work of Euler on Latin squares and has been the focus of extensive research ever since. Many conjectures in this area roughly say that 'every edge coloured graph of a certain type contains a rainbow matching using every colour'. In this paper we introduce a versatile 'sampling trick', which allows us to obtain short proofs of old results as well as to solve asymptotically some well known conjectures. - We give a simple proof of Pokrovskiy's asymptotic version of the Aharoni-Berger conjecture with greatly improved error term. - We give the first asymptotic proof of the 'non-bipartite' Aharoni-Berger conjecture, solving two conjectures of Aharoni, Berger, Chudnovsky and Zerbib. - We give a very short asymptotic proof of Grinblat's conjecture (first obtained by Clemens, Ehrenm\"uller, and Pokrovskiy). Furthermore, we obtain a new asymptotically tight bound for Grinblat's problem as a function of edge multiplicity of the corresponding multigraph. - We give the first asymptotic proof of a 30 year old conjecture of Alspach.


title: "Star coverage": a simple tool to schedule an observation when FOV rotation matters

abstract: During a tracking mode observation, every telescope with an alt-azimuthal mount shows a rotation in the field of view (FoV) due to the diurnal motion of the Earth. The angular extension of the rotation depends mainly on the time length of the observation, but also on the telescope's latitude and pointing, because it is determined by the evolution of the parallactic angle of the target, which is a function of those two parameters. In many cases, the rotation of the FoV can be exploited to assess some optomechanical properties of the telescope, e.g. the alignment of the optical elements or the motors' precision during the tracking. As a consequence, it could happen that a proper simulation of the FoV rotation is crucial to program an observation aiming at calibrating the whole system. We present a tool to simulate the apparent rotation of the FoV, calculating the actual "star coverage" exploitable for scientific goals. Given the FoV and the pointing direction, the software calculates the angular extension of the rotation, considering only the stars observable by the telescope below the magnitude limit. This tool will be adopted to schedule the pointing calibration runs of the innovative ASTRI-Horn Cherenkov telescope, developed by INAF for gamma-ray ground-based astronomy, but with the potentiality to produce sky images as an ancillary output, using the so-called Variance method. By exploiting the FoV rotation with the Variance method, the critical assessment of the camera axis can be successfully performed.


title: A Hybrid Sparse-Dense Monocular SLAM System for Autonomous Driving

abstract: In this paper, we present a system for incrementally reconstructing a dense 3D model of the geometry of an outdoor environment using a single monocular camera attached to a moving vehicle. Dense models provide a rich representation of the environment facilitating higher-level scene understanding, perception, and planning. Our system employs dense depth prediction with a hybrid mapping architecture combining state-of-the-art sparse features and dense fusion-based visual SLAM algorithms within an integrated framework. Our novel contributions include design of hybrid sparse-dense camera tracking and loop closure, and scale estimation improvements in dense depth prediction. We use the motion estimates from the sparse method to overcome the large and variable inter-frame displacement typical of outdoor vehicle scenarios. Our system then registers the live image with the dense model using whole-image alignment. This enables the fusion of the live frame and dense depth prediction into the model. Global consistency and alignment between the sparse and dense models are achieved by applying pose constraints from the sparse method directly within the deformation of the dense model. We provide qualitative and quantitative results for both trajectory estimation and surface reconstruction accuracy, demonstrating competitive performance on the KITTI dataset. Qualitative results of the proposed approach are illustrated in https://youtu.be/Pn2uaVqjskY. Source code for the project is publicly available at the following repository https://github.com/robotvisionmu/DenseMonoSLAM.


title: Combining speakers of multiple languages to improve quality of neural voices

abstract: In this work, we explore multiple architectures and training procedures for developing a multi-speaker and multi-lingual neural TTS system with the goals of a) improving the quality when the available data in the target language is limited and b) enabling cross-lingual synthesis. We report results from a large experiment using 30 speakers in 8 different languages across 15 different locales. The system is trained on the same amount of data per speaker. Compared to a single-speaker model, when the suggested system is fine tuned to a speaker, it produces significantly better quality in most of the cases while it only uses less than $40\%$ of the speaker's data used to build the single-speaker model. In cross-lingual synthesis, on average, the generated quality is within $80\%$ of native single-speaker models, in terms of Mean Opinion Score.


title: Asymmetric Transport in Long-Range Interacting Chiral Spin Chains

abstract: Harnessing power-law interactions ($1/r^\alpha$) in a large variety of physical systems are increasing. We study the dynamics of chiral spin chains as a possible multi-directional quantum channel. This arises from the nonlinear character of the dispersion with complex quantum interference effects. Using complementary numerical and analytical techniques, we propose a model to guide quantum states to a desired direction. We illustrate our approach using the long-range XXZ model modulated by Dzyaloshinskii-Moriya (DM) interaction. By exploring non-equilibrium dynamics after a local quantum quench, we identify the interplay of interaction range $\alpha$ and Dzyaloshinskii-Moriya coupling giving rise to an appreciable asymmetric spin excitations transport. This could be interesting for quantum information protocols to transfer quantum states, and it may be testable with current trapped-ion experiments. We further explore the growth of block entanglement entropy in these systems, and an order of magnitude reduction is distinguished.


title: A Simple and Efficient Reconstruction Backbone for Snapshot Compressive Imaging

abstract: The emerging technology of snapshot compressive imaging (SCI) enables capturing high dimensional (HD) data in an efficient way. It is generally implemented by two components: an optical encoder that compresses HD signals into a 2D measurement and an algorithm decoder that retrieves the HD data upon the hardware-encoded measurement. Over a broad range of SCI applications, hyperspectral imaging (HSI) and video compressive sensing have received significant research attention in recent years. Among existing SCI reconstruction algorithms, deep learning-based methods stand out as their promising performance and efficient inference. However, the deep reconstruction network may suffer from overlarge model size and highly-specialized network design, which inevitably lead to costly training time, high memory usage, and limited flexibility, thus discouraging the deployments of SCI systems in practical scenarios. In this paper, we tackle the above challenges by proposing a simple yet highly efficient reconstruction method, namely stacked residual network (SRN), by revisiting the residual learning strategy with nested structures and spatial-invariant property. The proposed SRN empowers high-fidelity data retrieval with fewer computation operations and negligible model size compared with existing networks, and also serves as a versatile backbone applicable for both hyperspectral and video data. Based on the proposed backbone, we first develop the channel attention enhanced SRN (CAE-SRN) to explore the spectral inter-dependencies for fine-grained spatial estimation in HSI. We then employ SRN as a deep denoiser and incorporate it into a generalized alternating projection (GAP) framework -- resulting in GAP-SRN -- to handle the video compressive sensing task. Experimental results demonstrate the state-of-the-art performance, high computational efficiency of the proposed SRN on two SCI applications.


title: Longitudinal and transverse polarizations of $\Lambda$ hyperon in unpolarized SIDIS and $e^+e^-$ annihilation

abstract: We make a systematic study of $\Lambda$ hyperon polarizations in unpolarized lepton induced semi-inclusive reactions such as $e^-N\to e^-\Lambda X$ and $e^+e^-\to\Lambda h X$. We present the general form of cross sections in terms of structure functions obtained from a general kinematic analysis. This already shows that the produced hyperons can be polarized in three orthogonal directions, i.e., the longitudinal direction along the hyperon momentum, the normal direction of the production plane, and the transverse direction in the production plane. We present the parton model results at the leading twist and leading order in perturbative QCD and provide the expressions for these structure functions and polarizations in terms of parton distribution functions and fragmentation functions. We emphasize in particular that by studying the longitudinal polarization and the transverse polarization in the production plane, we can extract the corresponding chiral-odd fragmentation functions $H_{1Lq}^{\perp\Lambda}$, $H_{1Tq}^{\Lambda}$ and $H_{1Tq}^{\perp\Lambda}$. We also present numerical results of rough estimates utilizing available parameterizations of fragmentation functions and approximations. We discuss how to measure these polarizations and point out in particular that they can be carried out in future EIC and/or $e^+e^-$ annihilation experiments such as Belle.


title: Successive Injection of Opposite Magnetic Helicity: Evidence for Active Regions without Coronal Mass Ejections

abstract: Magnetic helicity (MH) is a measure of twist and shear of magnetic field. MH is injected in the active region (AR) corona through photospheric footpoint motions causing twisted and sheared magnetic fields. From the conservation property of the helicity, it was conjectured that an already twisted flux rope (FR) with continuous injection of MH inevitably erupts to remove the excess accumulated coronal helicity. Therefore, understanding the nature and evolution of the photospheric helicity flux transfer is crucial to reveal the intensity of the flare/CME activity. Using the time-sequence vector-magnetograms of \textit{Helioseismic Magnetic Imager}, we study the evolution of MH injection in emerging AR 12257. The photospheric flux motions in this AR inject positive helicity in the first 2.5 days followed by negative helicity later. This successive injection of opposite helicity is consistent with the sign of mean force-free twist parameter ($\alpha_{av}$), orientation of magnetic-tongues. Also, the extrapolated AR magnetic structure exhibits transformation of global-shear without a twisted FR in the core of the AR. No CMEs are launched from this AR but C-class flaring activity is observed predominantly in the second half of the evolution period. The ARs with sign reversal of the MH injection are not favorable to twisted FR formation with excess coronal helicity and therefore are important to identify CME-less ARs readily. A possible scenario in these ARs is that when one sign of helicity flux is replaced by opposite sign, the magnetic field of different connectivity with opposite shear undergoes reconnection at different scales giving rise to both intermittent flares and enhanced coronal heating.


title: Thermalisation Dynamics and Spectral Statistics of Extended Systems with Thermalising Boundaries

abstract: We study thermalisation and spectral properties of extended systems connected, through their boundaries, to a thermalising Markovian bath. Specifically, we consider periodically driven systems modelled by brickwork quantum circuits where a finite section (block) of the circuit is constituted by arbitrary local unitary gates while its complement, which plays the role of the bath, is dual-unitary. We show that the evolution of local observables and the spectral form factor are determined by the same quantum channel, which we use to characterise the system's dynamics and spectral properties. In particular, we identify a family of fine-tuned quantum circuits -- which we call strongly non-ergodic -- that fails to thermalise even in this controlled setting, and, accordingly, their spectral form factor does not follow the random matrix theory prediction. We provide a set of necessary conditions on the local quantum gates that lead to strong non-ergodicity, and in the case of qubits, we provide a complete classification of strongly non-ergodic circuits. We also study the opposite extreme case of circuits that are almost dual-unitary, i.e., where thermalisation occurs with the fastest possible rate. We show that, in these systems, local observables and spectral form factor approach respectively thermal values and random matrix theory prediction exponentially fast. We provide a perturbative characterisation of the dynamics and, in particular, of the time-scale for thermalisation.

categories: cond-mat.stat-mech hep-th math-ph math.MP nlin.CD quant-ph


title: Incremental cluster validity index-guided online learning for performance and robustness to presentation order

abstract: In streaming data applications incoming samples are processed and discarded, therefore, intelligent decision-making is crucial for the performance of lifelong learning systems. In addition, the order in which samples arrive may heavily affect the performance of online (and offline) incremental learners. The recently introduced incremental cluster validity indices (iCVIs) provide valuable aid in addressing such class of problems. Their primary use-case has been cluster quality monitoring; nonetheless, they have been very recently integrated in a streaming clustering method to assist the clustering task itself. In this context, the work presented here introduces the first adaptive resonance theory (ART)-based model that uses iCVIs for unsupervised and semi-supervised online learning. Moreover, it shows for the first time how to use iCVIs to regulate ART vigilance via an iCVI-based match tracking mechanism. The model achieves improved accuracy and robustness to ordering effects by integrating an online iCVI framework as module B of a topological adaptive resonance theory predictive mapping (TopoARTMAP) -- thereby being named iCVI-TopoARTMAP -- and by employing iCVI-driven post-processing heuristics at the end of each learning step. The online iCVI framework provides assignments of input samples to clusters at each iteration in accordance to any of several iCVIs. The iCVI-TopoARTMAP maintains useful properties shared by ARTMAP models, such as stability, immunity to catastrophic forgetting, and the many-to-one mapping capability via the map field module. The performance (unsupervised and semi-supervised) and robustness to presentation order (unsupervised) of iCVI-TopoARTMAP were evaluated via experiments with a synthetic data set and deep embeddings of a real-world face image data set.


title: An Iterative Improvement Method for HHL algorithm for Solving Linear System of Equations

abstract: We propose an iterative improvement method for the Harrow-Hassidim-Lloyd (HHL) algorithm to solve a linear system of equations. This is a quantum-classical hybrid algorithm. The accuracy is essential to solve the linear system of equations. However, the accuracy of the HHL algorithm is limited by the number of quantum bits used to express the eigenvalues of the matrix. Our iterative method improves the accuracy of the HHL solutions, and gives higher accuracy which surpasses the accuracy limited by the number of quantum bits. In practical HHL algorithm, a huge number of measurements is required to obtain good accuracy, even if we provide a sufficient number of quantum bits for the eigenvalue expression, since the solution is statistically processed from the measurements. Our improved iterative method can reduce the number of measurements. Moreover, the sign information for each eigenstate of the solution is lost once the measurement is made, although the sign is significant. Therefore, the na\"ive iterative method of the HHL algorithm may slow down, especially, when the solution includes wrong signs. In this paper, we propose and evaluate an improved iterative method for the HHL algorithm that is robust against the sign information loss, in terms of the number of iterations and the computational accuracy.


title: Connections on moduli spaces and infinitesimal Hecke modifications

abstract: Let X be a proper scheme and Z a prestack over X equipped with a flat connection. We give a local-to-global description of D-modules on the prestack S(Z) of flat sections of Z. Examples of S(Z) include the moduli stacks of principal G-bundles and de Rham local systems on X. We show that the category of D-modules is equivalent to the category of ind-coherent sheaves which are equivariant with respect to infinitesimal Hecke groupoids parametrized by finite subsets of X. We describe a number of applications to geometric representation theory and conformal field theory, including a derived enhancement of the Verlinde formula: the derived space of conformal blocks (a.k.a. chiral homology) of the WZW model is isomorphic to the cohomology of the corresponding line bundle on Bun_G, the moduli stack of G-bundles.


title: K\"ahler information manifolds of signal processing filters in weighted Hardy spaces

abstract: We generalize K\"ahler information manifolds of complex-valued signal processing filters by introducing weighted Hardy spaces and smooth transformations of transfer functions. We prove that the Riemannian geometry of a linear filter induced from weighted Hardy norms for the smooth transformations of its transfer function is a K\"ahler manifold. Additionally, the K\"ahler potential of the linear system geometry corresponds to the square of the weighted Hardy norms of its composite transfer functions. Based on properties of K\"ahler manifolds, geometric objects on the manifolds of the linear systems in weighted Hardy spaces are computed in much simpler ways. Moreover, K\"ahler information manifolds of signal filters in weighted Hardy spaces incorporate various well-known information manifolds under the unified framework. We also cover several examples from time series models of which metric tensor, Levi-Civita connection, and K\"ahler potentials are represented with polylogarithms of poles and zeros from the transfer functions with weight vectors in exponential forms.


title: Nonlinear dynamical Casimir effect at weak nonstationarity

abstract: We show that even small nonlinearities significantly affect particle production in the dynamical Casimir effect at large evolution times. To that end, we derive the effective Hamiltonian and resum leading loop corrections to the particle flux in a massless scalar field theory with time-dependent Dirichlet boundary conditions and quartic self-interaction. To perform the resummation, we assume small deviations from the equilibrium and employ a kind of rotating wave approximation. Besides that, we consider a quantum circuit analog of the dynamical Casimir effect, which is also essentially nonlinear. In both cases, loop contributions to the number of created particles are comparable to the tree-level values.


title: Ambitropical geometry, hyperconvexity and zero-sum games

abstract: Shapley operators of undiscounted zero-sum two-player games are order-preserving maps that commute with the addition of a constant. We characterize the fixed point sets of Shapley operators, in finite dimension (i.e., for games with a finite state space). Some of these characterizations are of a lattice theoretical nature, whereas some other rely on metric or tropical geometry. More precisely, we show that fixed point sets of Shapley operators are special instances of hyperconvex spaces: they are sup-norm non-expansive retracts of $\R^n$, and also lattices in the induced partial order. Moreover, they retain properties of convex sets, with a notion of ``convex hull'' defined only up to isomorphism. This provides an effective construction of the injective hull or tight span, in the case of additive cones. For deterministic games with finite action spaces, these fixed point sets are supports of polyhedral complexes, with a cell decomposition attached to stationary strategies of the players, in which each cell is an alcoved polyhedron of $A_n$ type. We finally provide an explicit local representation of the latter fixed point sets, as polyhedral fans canonically associated to lattices included in the Boolean hypercube.


title: AGNet: Weighing Black Holes with Deep Learning

abstract: Supermassive black holes (SMBHs) are ubiquitously found at the centers of most massive galaxies. Measuring SMBH mass is important for understanding the origin and evolution of SMBHs. However, traditional methods require spectroscopic data which is expensive to gather. We present an algorithm that weighs SMBHs using quasar light time series, circumventing the need for expensive spectra. We train, validate, and test neural networks that directly learn from the Sloan Digital Sky Survey (SDSS) Stripe 82 light curves for a sample of $38,939$ spectroscopically confirmed quasars to map out the nonlinear encoding between SMBH mass and multi-color optical light curves. We find a 1$\sigma$ scatter of 0.37 dex between the predicted SMBH mass and the fiducial virial mass estimate based on SDSS single-epoch spectra, which is comparable to the systematic uncertainty in the virial mass estimate. Our results have direct implications for more efficient applications with future observations from the Vera C. Rubin Observatory. Our code, \textsf{AGNet}, is publicly available at \url{https://github.com/snehjp2/AGNet}.


title: Commutative polarisations and the Kostant cascade

abstract: Let $\mathfrak g$ be a complex simple Lie algebra. We classify the parabolic subalgebras $\mathfrak p$ of $\mathfrak g$ such that the nilradical of $\mathfrak p$ has a commutative polarisation. The answer is given in terms of the Kostant cascade. It requires also the notion of an optimal nilradical and some properties of abelian ideals in a Borel subalgebra of $\mathfrak g$. Some invariant-theoretic consequences of the existence of a commutative polarisation are also discussed.


title: Distant Representatives for Rectangles in the Plane

abstract: The input to the distant representatives problem is a set of $n$ objects in the plane and the goal is to find a representative point from each object while maximizing the distance between the closest pair of points. When the objects are axis-aligned rectangles, we give polynomial time constant-factor approximation algorithms for the $L_1$, $L_2$, and $L_\infty$ distance measures. We also prove lower bounds on the approximation factors that can be achieved in polynomial time (unless P = NP).


title: Dark Matter Freeze-out in a Matter Dominated Universe

abstract: The universe has evolved through several phases as its various constituents dominated its energy content. Candidate dark matter particles may have undergone freeze-out during any such phase. While the standard freeze-out scenarios have been explored during the radiation-dominated era, and more recently during scalar field decay, this work extends the study of dark matter freeze-out to a potential early period during which the universe is matter-dominated and its evolution adiabatic. Decoupling during an adiabatic matter dominated era changes the freeze-out dynamics, since the Hubble rate is parametrically different for matter and radiation domination. Furthermore, for successful Big Bang Nucleosynthesis the state dominating the early universe energy density must decay, this dilutes (or repopulates) the dark matter. As a result, the masses and couplings required to match the observed dark matter relic density can differ signifcantly from radiation dominated freeze-out.


title: Quantum critical behavior in magic-angle twisted bilayer graphene

abstract: The flat bands of magic-angle twisted bilayer graphene (MATBG) host strongly-correlated electronic phases such as correlated insulators, superconductors and a strange-metal state. The latter state, believed to be key for understanding the electronic properties of MATBG, is obscured by various phase transitions and thus could not be unequivocally differentiated from a metal undergoing frequent electron-phonon collisions. Here, we report transport measurements in superconducting MATBG in which the correlated insulator states are suppressed by screening. The uninterrupted metallic ground state shows resistivity that is linear in temperature over three decades and spans a broad range of doping including those where a correlation-driven Fermi surface reconstruction occurs. This strange-metal behavior is distinguished by Planckian scattering rates and a linear magnetoresistivity. In contrast, near charge neutrality or a fully-filled flat band, as well as for devices twisted away from the magic angle, we observe the archetypal Fermi liquid behavior. Our measurements demonstrate the existence of a quantum critical phase whose fluctuations dominate the metallic ground state throughout a continuum of doping. Further, we observe a transition to the strange metal upon suppression of the superconducting order, suggesting a relationship between quantum fluctuations and superconductivity in MATBG.


title: On Properties of Univariate Max Functions at Local Maximizers

abstract: More than three decades ago, Boyd and Balakrishnan established a regularity result for the two-norm of a transfer function at maximizers. Their result extends easily to the statement that the maximum eigenvalue of a univariate real analytic Hermitian matrix family is twice continuously differentiable, with Lipschitz second derivative, at all local maximizers, a property that is useful in several applications that we describe. We also investigate whether this smoothness property extends to max functions more generally. We show that the pointwise maximum of a finite set of $q$-times continuously differentiable univariate functions must have zero derivative at a maximizer for $q=1$, but arbitrarily close to the maximizer, the derivative may not be defined, even when $q=3$ and the maximizer is isolated.


title: TOOD: Task-aligned One-stage Object Detection

abstract: One-stage object detection is commonly implemented by optimizing two sub-tasks: object classification and localization, using heads with two parallel branches, which might lead to a certain level of spatial misalignment in predictions between the two tasks. In this work, we propose a Task-aligned One-stage Object Detection (TOOD) that explicitly aligns the two tasks in a learning-based manner. First, we design a novel Task-aligned Head (T-Head) which offers a better balance between learning task-interactive and task-specific features, as well as a greater flexibility to learn the alignment via a task-aligned predictor. Second, we propose Task Alignment Learning (TAL) to explicitly pull closer (or even unify) the optimal anchors for the two tasks during training via a designed sample assignment scheme and a task-aligned loss. Extensive experiments are conducted on MS-COCO, where TOOD achieves a 51.1 AP at single-model single-scale testing. This surpasses the recent one-stage detectors by a large margin, such as ATSS (47.7 AP), GFL (48.2 AP), and PAA (49.0 AP), with fewer parameters and FLOPs. Qualitative results also demonstrate the effectiveness of TOOD for better aligning the tasks of object classification and localization. Code is available at https://github.com/fcjian/TOOD.


title: H$\alpha$ Reverberation Mapping of the Intermediate-Mass Active Galactic Nucleus in NGC 4395

abstract: We present the results of a high-cadence spectroscopic and imaging monitoring campaign of the active galactic nucleus (AGN) of NGC 4395. High signal-to-noise-ratio spectra were obtained at the Gemini-N 8 m telescope using the GMOS integral field spectrograph (IFS) on 2019 March 7, and at the Keck-I 10 m telescope using the Low-Resolution Imaging Spectrometer (LRIS) with slitmasks on 2019 March 3 and April 2. Photometric data were obtained with a number of 1 m-class telescopes during the same nights. The narrow-line region (NLR) is spatially resolved; therefore, its variable contributions to the slit spectra make the standard procedure of relative flux calibration impractical. We demonstrate that spatially-resolved data from the IFS can be effectively used to correct the slit-mask spectral light curves. While we obtained no reliable lag owing to the lack of strong variability pattern in the light curves, we constrain the broad line time lag to be less than 3 hr, consistent with the photometric lag of $\sim80$ min reported by Woo et al. (2019). By exploiting the high-quality spectra, we measure the second moment of the broad component of the H$\alpha$ emission line to be $586\pm19$ km s$^{-1}$, superseding the lower value reported by Woo et al. (2019). Combining the revised line dispersion and the photometric time lag, we update the black hole mass as $(1.7\pm 0.3)\times10^4$ M$_{\odot}$.


title: Doppler Shift Estimation in 5G New Radio Non-Terrestrial Networks

abstract: Evolving 5G New Radio (NR) to support non-terrestrial networks (NTNs), particularly satellite communication networks, is under exploration in 3GPP. The movement of the spaceborne platforms in NTNs may result in large timing varying Doppler shift that differs for devices in different locations. Using orthogonal frequency-division multiple access (OFDMA) in the uplink, each device will need to apply a different frequency adjustment value to compensate for the Doppler shift. To this end, the 3GPP Release-17 work on NTNs assumes that an NTN device is equipped with a global navigation satellite system (GNSS) chipset and thereby can determine its position and calculate the needed frequency adjustment value using its position information and satellite ephemeris data. This makes GNSS support essential for the NTN operation. However, GNSS signals are weak, not ubiquitous, and susceptible to interference and spoofing. We show that devices without access to GNSS signals can utilize reference signals in more than one frequency position in an OFDM carrier to estimate the Doppler shift and thereby determine the needed frequency adjustment value for pre-compensating the Doppler shift in the uplink. We analyze the performance, elaborate on how to utilize the NR reference signals, and present simulation results. The solution can reduce the dependency of NTN operation on GNSS with reasonable complexity and performance trade-off.


title: Computing and Maintaining Provenance of Query Result Probabilities in Uncertain Knowledge Graphs

abstract: Knowledge graphs (KG) that model the relationships between entities as labeled edges (or facts) in a graph are mostly constructed using a suite of automated extractors, thereby inherently leading to uncertainty in the extracted facts. Modeling the uncertainty as probabilistic confidence scores results in a probabilistic knowledge graph. Graph queries over such probabilistic KGs require answer computation along with the computation of those result probabilities, aka, probabilistic inference. We propose a system, HAPPI (How Provenance of Probabilistic Inference), to handle such query processing. Complying with the standard provenance semiring model, we propose a novel commutative semiring to symbolically compute the probability of the result of a query. These provenance-polynomiallike symbolic expressions encode fine-grained information about the probability computation process. We leverage this encoding to efficiently compute as well as maintain the probability of results as the underlying KG changes. Focusing on a popular class of conjunctive basic graph pattern queries on the KG, we compare the performance of HAPPI against a possible-world model of computation and a knowledge compilation tool over two large datasets. We also propose an adaptive system that leverages the strengths of both HAPPI and compilation based techniques. Since existing systems for probabilistic databases mostly focus on query computation, they default to re-computation when facts in the KG are updated. HAPPI, on the other hand, does not just perform probabilistic inference and maintain their provenance, but also provides a mechanism to incrementally maintain them as the KG changes. We extend this maintainability as part of our proposed adaptive system.


title: Arbitrary-length analogs to de Bruijn sequences

abstract: Let $\widetilde{\alpha}$ be a length-$L$ cyclic sequence of characters from a size-$K$ alphabet $\mathcal{A}$ such that the number of occurrences of any length-$m$ string on $\mathcal{A}$ as a substring of $\widetilde{\alpha}$ is $\lfloor L / K^m \rfloor$ or $\lceil L / K^m \rceil$. When $L = K^N$ for any positive integer $N$, $\widetilde{\alpha}$ is a de Bruijn sequence of order $N$, and when $L \neq K^N$, $\widetilde{\alpha}$ shares many properties with de Bruijn sequences. We describe an algorithm that outputs some $\widetilde{\alpha}$ for any combination of $K \geq 2$ and $L \geq 1$ in $O(L)$ time using $O(L \log K)$ space. This algorithm extends Lempel's recursive construction of a binary de Bruijn sequence. An implementation written in Python is available at https://github.com/nelloreward/pkl.


title: On construction of bounded sets not admitting a general type of Riesz spectrum

abstract: Despite the recent advances in the theory of exponential Riesz bases, it is yet unknown whether there exists a set $S \subset \mathbb{R}^d$ which does not admit a Riesz spectrum, meaning that for every $\Lambda \subset \mathbb{R}^d$ the set of exponentials $e^{2\pi i \lambda \cdot x}$ with $\lambda\in\Lambda$ is not a Riesz basis for $L^2(S)$. As a meaningful step towards finding such a set, we construct a set $S \subset [-\frac{1}{2}, \frac{1}{2}]$ which does not admit a Riesz spectrum containing a nonempty periodic set with period belonging in $\alpha \mathbb{Q}_+$ for any fixed constant $\alpha > 0$, where $\mathbb{Q}_+$ denotes the set of all positive rational numbers. In fact, we prove a slightly more general statement that the set $S$ does not admit a Riesz spectrum containing arbitrarily long arithmetic progressions with a fixed common difference belonging in $\alpha \mathbb{N}$. Moreover, we show that given any countable family of separated sets $\Lambda_1, \Lambda_2, \ldots \subset \mathbb{R}$ with positive upper Beurling density, one can construct a set $S \subset [-\frac{1}{2}, \frac{1}{2}]$ which does not admit the sets $\Lambda_1, \Lambda_2, \ldots$ as Riesz spectrum. An interesting consequence of our results is the following statement. There is a set $V \subset [-\frac{1}{2}, \frac{1}{2}]$ with arbitrarily small Lebesgue measure such that for any $N \in \mathbb{N}$ and any proper subset $I$ of $\{ 0, \ldots, N-1 \}$, the set of exponentials $e^{2\pi i k x}$ with $k \in \cup_{n \in I} (N\mathbb{Z} {+} n)$ is not a frame for $L^2(V)$. The results are based on the proof technique of Olevskii and Ulanovskii in 2008.


title: VisBuddy -- A Smart Wearable Assistant for the Visually Challenged

abstract: Vision plays a crucial role in comprehending the world around us. More than 85% of the external information is obtained through the vision system. It influences our mobility, cognition, information access, and interaction with the environment and other people. Blindness prevents a person from gaining knowledge of the surrounding environment and makes unassisted navigation, object recognition, obstacle avoidance, and reading tasks significant challenges. Many existing systems are often limited by cost and complexity. To help the visually challenged overcome these difficulties faced in everyday life, we propose VisBuddy, a smart assistant to help the visually challenged with their day-to-day activities. VisBuddy is a voice-based assistant where the user can give voice commands to perform specific tasks. It uses the techniques of image captioning for describing the user's surroundings, optical character recognition (OCR) for reading the text in the user's view, object detection to search and find the objects in a room and web scraping to give the user the latest news. VisBuddy has been built by combining the concepts from Deep Learning and the Internet of Things. Thus, VisBuddy serves as a cost-efficient, powerful, all-in-one assistant for the visually challenged by helping them with their day-to-day activities.


title: Librations of a body composed of a deformable mantle and a fluid core

abstract: We present fully three-dimensional equations to describe the rotations of a body made of a deformable mantle and a fluid core. The model in its essence is similar to that used by INPOP (Integration Plan\'{e}taire de l'Observatoire de Paris), e.g. Viswanathan et al. (2019), and by JPL (Jet Propulsion Laboratory), e.g. Folkner et al. (2014), to represent the Moon. The intended advantages of our model are: straightforward use of any linear-viscoelastic model for the rheology of the mantle; easy numerical implementation in time-domain (no time lags are necessary); all parameters, including those related to the "permanent deformation", have a physical interpretation. The paper also contains: 1) A physical model to explain the usual lack of hydrostaticity of the mantle (permanent deformation). 2) Formulas for free librations of bodies in and out-of spin-orbit resonance that are valid for any linear viscoelastic rheology of the mantle. 3) Formulas for the offset between the mantle and the idealized rigid-body motion (Peale's Cassini states). 4) Applications to the librations of Moon, Earth, and Mercury that are used for model validation.


title: Celestial Operator Product Expansions and ${\rm w}_{1+\infty}$ Symmetry for All Spins

abstract: The operator product expansion of massless celestial primary operators of arbitrary spin is investigated. Poincar\'e symmetry is found to imply a set of recursion relations on the operator product expansion coefficients of the leading singular terms at tree-level in a holomorphic limit. The symmetry constraints are solved by an Euler beta function with arguments that depend simply on the right-moving conformal weights of the operators in the product. These symmetry-derived coefficients are shown not only to match precisely those arising from momentum-space tree-level collinear limits, but also to obey an infinite number of additional symmetry transformations that respect the algebra of ${\rm w}_{1+\infty}$. In tree-level minimally-coupled gravitational theories, celestial currents are constructed from light transforms of conformally soft gravitons and found to generate the action of ${\rm w}_{1+\infty}$ on arbitrary massless celestial primaries. Results include operator product expansion coefficients for fermions as well as those arising from higher-derivative non-minimal couplings of gluons and gravitons.


title: Transverse links, open books and overtwisted manifolds

abstract: We prove that transverse links in any contact manifold $(M,\xi)$ can be realized as a sub-binding of a compatible open book decomposition. We define the support genus of a transverse link and prove that the support genus of a transverse knot is zero if there is an overtwisted disk disjoint from it. Next, we find a relationship between the support genus of a transverse link and its Legendrian approximation.


title: Construction of Fractal Order and Phase Transition with Rydberg Atoms

abstract: We propose the construction of a many-body phase of matter with fractal structure using arrays of Rydberg atoms. The degenerate low energy excited states of this phase form a self-similar fractal structure. This phase is analogous to the so-called "type-II fracton topological states". The main challenge in realizing fracton-like models in standard condensed matter platforms is the creation of multi-spin interactions, since realistic systems are typically dominated by two-body interactions. In this work, we demonstrate that the Van der Waals interaction and experimental tunability of Rydberg-based platforms enable the simulation of exotic phases of matter with fractal structures, and the study of a quantum phase transition involving a fractal ordered phase.


title: Nonlinear electrodynamics effects on the black hole shadow, deflection angle, quasinormal modes and greybody factors

abstract: In this paper, we discuss the effects of nonlinear electrodynamics (NED) on non-rotating black holes, parametrized by the field coupling parameter $\beta$ and magnetic charge parameter $P$ in detail. Particularly, we survey physical properties of the magnetically charged black hole, thermodynamic properties, observational appearance, quasinormal modes and absorption cross sections. We then show that the black hole gets colder with increasing charge. Investigating the heat capacity, we see that the black hole is thermally stable, which is amplified by introduction of a generalized uncertainty principle (GUP) with a quantum gravity parameter $\lambda$. Then we compute the deflection angle at the weak field limit, by the Gauss-Bonnet theorem and the geodesic equation, showing that the magnetic charge has a contribution at the first order. By ray-tracing we simulate the observational appearance of a NED black hole with thin disk and spherical accretion. We find that the parameter $P$ has a very strong effect on the shadow radius. We consider quasinormal modes under massless scalar perturbations of the black hole and the greybody factor. We find that the charge introduces a slight difference in the fundamental frequency and that the greybody factor of the NED black hole is strongly steepened by the introduction of increasing charge. To present observational constrains, we show that the magnetic charge of the M87* black hole is between $0\leq P\leq0.024$ in units of M, in agreement with the idea that real astrophysical black holes are mostly neutral. We also find that LIGO/VIRGO and LISA could detect NED black hole perturbations from BHs with masses between $5M_\odot$ and $8.0\cdot 10^8\,M_\odot$. We finally show that for black holes with masses detected with LIGO so far, charged NED black holes would deviate from Schwarzschild by $5\sim 10$ Hz in their fundamental frequencies.


title: Characterization of the background for a neutrino search with the HAWC observatory

abstract: The close location of the HAWC observatory to the largest volcano in Mexico allows to perform a search for neutrino-induced horizontal muon and tau charged leptons. The section of the volcano located at the horizon reaches values of slant depth larger than 8 km of rock, making it an excellent shield for the cosmic ray horizontal background. We report the search method and background suppression technique developed for the detection of Earth-skimming neutrinos with HAWC, as well as a model that describes the remaining background produced by scattered muons. We show that by increasing the detection energy threshold we could use HAWC to search for neutrino-induced charged leptons.


title: Derived Partners of Enriques Surfaces

abstract: Let $V$ be a $6$-dimensional complex vector space with an involution $\sigma$ of trace $0$, and let $W \subseteq \operatorname{Sym}^2 V^\vee$ be a generic $3$-dimensional subspace of $\sigma$-invariant quadratic forms. To these data we can associate an Enriques surface as the $\sigma$-quotient of the complete intersection of the quadratic forms in $W$. We exhibit noncommutative Deligne-Mumford stacks together with Brauer classes whose derived categories are equivalent to those of the Enriques surfaces. This provides a more accessible treatment of Theorem 6.16 in https://www.ams.org/journals/jams/2021-34-02/S0894-0347-2021-00963-3/ .


title: On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope

abstract: The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the concept of dynamic-limited revision, which are revisions expressible by a total preorder over a limited set of worlds. For a belief change operator, we consider the scope, which consists of those beliefs which yield success of revision. We show that for each set satisfying single sentence closure and disjunction completeness there exists a dynamic-limited revision having the union of this set with the beliefs set as scope. We investigate iteration postulates for belief and scope dynamics and characterise them for dynamic-limited revision. As an application, we employ dynamic-limited revision to studying belief revision in the context of so-called inherent beliefs, which are beliefs globally accepted by the agent. This leads to revision operators which we call inherence-limited. We present a representation theorem for inherence-limited revision, and we compare these operators and dynamic-limited revision with the closely related credible-limited revision operators.


title: Lattice models and super telescoping formula

abstract: In this paper, we introduce the super telescoping formula, a natural generalization of well-known telescoping formula. We explore various aspects of the formula including its origin and the telescoping cancellations emerging from symmetric patterns. We also show that the super telescoping formula leads to the construction of exactly solvable lattice models with interesting partition functions.


title: Identifying muon rings in VERITAS data using convolutional neural networks trained on images classified with Muon Hunters 2

abstract: Muons from extensive air showers appear as rings in images taken with imaging atmospheric Cherenkov telescopes, such as VERITAS. These muon-ring images are used for the calibration of the VERITAS telescopes, however the calibration accuracy can be improved with a more efficient muon-identification algorithm. Convolutional neural networks (CNNs) are used in many state-of-the-art image-recognition systems and are ideal for muon image identification, once trained on a suitable dataset with labels for muon images. However, by training a CNN on a dataset labelled by existing algorithms, the performance of the CNN would be limited by the suboptimal muon-identification efficiency of the original algorithms. Muon Hunters 2 is a citizen science project that asks users to label grids of VERITAS telescope images, stating which images contain muon rings. Each image is labelled 10 times by independent volunteers, and the votes are aggregated and used to assign a `muon' or `non-muon' label to the corresponding image. An analysis was performed using an expert-labelled dataset in order to determine the optimal vote percentage cut-offs for assigning labels to each image for CNN training. This was optimised so as to identify as many muon images as possible while avoiding false positives. The performance of this model greatly improves on existing muon identification algorithms, identifying approximately 30 times the number of muon images identified by the current algorithm implemented in VEGAS (VERITAS Gamma-ray Analysis Suite), and roughly 2.5 times the number identified by the Hough transform method, along with significantly outperforming a CNN trained on VEGAS-labelled data.


title: Optimal Placement of Public Electric Vehicle Charging Stations Using Deep Reinforcement Learning

abstract: The placement of charging stations in areas with developing charging infrastructure is a critical component of the future success of electric vehicles (EVs). In Albany County in New York, the expected rise in the EV population requires additional charging stations to maintain a sufficient level of efficiency across the charging infrastructure. A novel application of Reinforcement Learning (RL) is able to find optimal locations for new charging stations given the predicted charging demand and current charging locations. The most important factors that influence charging demand prediction include the conterminous traffic density, EV registrations, and proximity to certain types of public buildings. The proposed RL framework can be refined and applied to cities across the world to optimize charging station placement.


title: Hereditary cotorsion pairs and silting subcategories in extriangulated categories

abstract: In this paper, we study (complete) cotorsion pairs in extriangulated categories. First, we study a relationship between an interval of the poset of cotorsion pairs and the poset of cotorsion pairs in the heart associated to the interval. Secondly, we establish a bijection between bounded hereditary cotorsion pairs and silting subcategories in extriangulated categories.


title: Are Code Review Processes Influenced by the Genders of the Participants?

abstract: Background: Contemporary software development organizations lack diversity and the ratios of women in Free and open-source software (FOSS) communities are even lower than the industry average. Although the results of recent studies hint the existence of biases against women, it is unclear to what extent such biases influence the outcomes of software development tasks. Objective: This study aims to conceptually replicate two recent studies investigating gender biases in FOSS communities \textit{ to identify whether the outcomes of or participation in code reviews (or pull requests) are influenced by the gender of a developer.} In particular, this study focuses on two outcome aspects (i.e., code acceptance, and review interval) and one participation aspect (i.e., code review participation) of code review processes. Method: We will augment the dataset used in the original studies with code reviews /pull requests created during recent years. Using this dataset, we will train multivariate regression models to accurately model the influences of developers' genders on code acceptance, review intervals, and code review participation.


title: Global gradient estimate for a divergence problem and its application to the homogenization of a magnetic suspension

abstract: This paper generalizes the results obtained by the authors in \cite{dangHomogenizationNondiluteSuspension2021} concerning the homogenization of a non-dilute suspension of magnetic particles in a viscous flow. More specifically, in this paper, a restrictive assumption on the coefficients of the coupled equation, made in \cite{dangHomogenizationNondiluteSuspension2021}, that significantly narrowed the applicability of the homogenization results obtained, is relaxed and a new regularity of the solution of the fine-scale problem is proven. In particular, we obtain a global $L^{\infty}$-bound for the gradient of the solution of the scalar equation $-\mathrm{div} \left[ \mathbf{a} \left( x/\varepsilon \right)\nabla \varphi^{\varepsilon}(x) \right] = f(x)$, uniform with respect to microstructure scale parameter $\varepsilon\ll 1$ in a small interval $(0,\varepsilon_0)$, where the coefficient $\mathbf{a}$ is only \emph{piecewise} H\"{o}lder continuous. Thenceforth, this regularity is used in the derivation of the effective response of the given suspension discussed in \cite{dangHomogenizationNondiluteSuspension2021}.


title: SPAN: Subgraph Prediction Attention Network for Dynamic Graphs

abstract: This paper proposes a novel model for predicting subgraphs in dynamic graphs, an extension of traditional link prediction. This proposed end-to-end model learns a mapping from the subgraph structures in the current snapshot to the subgraph structures in the next snapshot directly, i.e., edge existence among multiple nodes in the subgraph. A new mechanism named cross-attention with a twin-tower module is designed to integrate node attribute information and topology information collaboratively for learning subgraph evolution. We compare our model with several state-of-the-art methods for subgraph prediction and subgraph pattern prediction in multiple real-world homogeneous and heterogeneous dynamic graphs, respectively. Experimental results demonstrate that our model outperforms other models in these two tasks, with a gain increase from 5.02% to 10.88%.


title: Self-Supervised 3D Human Pose Estimation with Multiple-View Geometry

abstract: We present a self-supervised learning algorithm for 3D human pose estimation of a single person based on a multiple-view camera system and 2D body pose estimates for each view. To train our model, represented by a deep neural network, we propose a four-loss function learning algorithm, which does not require any 2D or 3D body pose ground-truth. The proposed loss functions make use of the multiple-view geometry to reconstruct 3D body pose estimates and impose body pose constraints across the camera views. Our approach utilizes all available camera views during training, while the inference is single-view. In our evaluations, we show promising performance on Human3.6M and HumanEva benchmarks, while we also present a generalization study on MPI-INF-3DHP dataset, as well as several ablation results. Overall, we outperform all self-supervised learning methods and reach comparable results to supervised and weakly-supervised learning approaches. Our code and models are publicly available


title: Almost Gorenstein determinantal rings of symmetric matrices

abstract: We provide a characterization of the almost Gorenstein property of determinantal rings of a symmetric matrix of indeterminates over an infinite field. We give an explicit formula for ranks of the last two modules in the resolution of determinantal rings using Schur functors.


title: Appearance Based Deep Domain Adaptation for the Classification of Aerial Images

abstract: This paper addresses domain adaptation for the pixel-wise classification of remotely sensed data using deep neural networks (DNN) as a strategy to reduce the requirements of DNN with respect to the availability of training data. We focus on the setting in which labelled data are only available in a source domain DS, but not in a target domain DT. Our method is based on adversarial training of an appearance adaptation network (AAN) that transforms images from DS such that they look like images from DT. Together with the original label maps from DS, the transformed images are used to adapt a DNN to DT. We propose a joint training strategy of the AAN and the classifier, which constrains the AAN to transform the images such that they are correctly classified. In this way, objects of a certain class are changed such that they resemble objects of the same class in DT. To further improve the adaptation performance, we propose a new regularization loss for the discriminator network used in domain adversarial training. We also address the problem of finding the optimal values of the trained network parameters, proposing an unsupervised entropy based parameter selection criterion which compensates for the fact that there is no validation set in DT that could be monitored. As a minor contribution, we present a new weighting strategy for the cross-entropy loss, addressing the problem of imbalanced class distributions. Our method is evaluated in 42 adaptation scenarios using datasets from 7 cities, all consisting of high-resolution digital orthophotos and height data. It achieves a positive transfer in all cases, and on average it improves the performance in the target domain by 4.3% in overall accuracy. In adaptation scenarios between datasets from the ISPRS semantic labelling benchmark our method outperforms those from recent publications by 10-20% with respect to the mean intersection over union.


title: Large-time behavior of finite-state mean-field systems with multi-classes

abstract: We study in this paper the large-time asymptotics of the empirical vector associated with a family of finite-state mean-field systems with multi-classes. The empirical vector is composed of local empirical measures characterizing the different classes within the system. As the number of particles in the system goes to infinity, the empirical vector process converges towards the solution to a McKean-Vlasov system. First, we investigate the large deviations principles of the invariant distribution from the limiting McKean-Vlasov system. Then, we examine the metastable phenomena arising at a large scale and large time. Finally, we estimate the rate of convergence of the empirical vector process to its invariant measure. Given the local homogeneity in the system, our results are established in a product space.


title: End-to-End Dense Video Captioning with Parallel Decoding

abstract: Dense video captioning aims to generate multiple associated captions with their temporal locations from the video. Previous methods follow a sophisticated "localize-then-describe" scheme, which heavily relies on numerous hand-crafted components. In this paper, we proposed a simple yet effective framework for end-to-end dense video captioning with parallel decoding (PDVC), by formulating the dense caption generation as a set prediction task. In practice, through stacking a newly proposed event counter on the top of a transformer decoder, the PDVC precisely segments the video into a number of event pieces under the holistic understanding of the video content, which effectively increases the coherence and readability of predicted captions. Compared with prior arts, the PDVC has several appealing advantages: (1) Without relying on heuristic non-maximum suppression or a recurrent event sequence selection network to remove redundancy, PDVC directly produces an event set with an appropriate size; (2) In contrast to adopting the two-stage scheme, we feed the enhanced representations of event queries into the localization head and caption head in parallel, making these two sub-tasks deeply interrelated and mutually promoted through the optimization; (3) Without bells and whistles, extensive experiments on ActivityNet Captions and YouCook2 show that PDVC is capable of producing high-quality captioning results, surpassing the state-of-the-art two-stage methods when its localization accuracy is on par with them. Code is available at https://github.com/ttengwang/PDVC.


title: Plasmon in Nonsymmorphic Dirac semimetals

abstract: We study the collective charge-density modes (plasmons) of two-dimensional nonsymmorphic Dirac semimetals, within the random-phase approximation (RPA) in presence of Coulomb interaction. Without loss of generality, we consider a system in a two-dimensional square-lattice, based on the model originally predicted by Young and Kane (https://doi.org/10.1103/PhysRevLett.115.126803), where the non-interacting band-structure consists of three band-touching points, near which the electronic states follow Dirac equations. Two of these Dirac nodes, at the momentum points $X_1$ and $X_2$, are anisotropic, i.e., disperse with different velocities in different directions, whereas the third Dirac point at $M$ is isotropic. Interestingly we find that the system of these three Dirac nodes hold a single low-energy plasmon mode, within its particle-hole gap, that disperses in isotropic manner, in the case when the nodes at $X_1$ and $X_2$ are related by symmetry, which we further show in a long-wavelength approximation. We also discuss the effects of possible perturbations that can give rise to anisotropic plasmon dispersions. Our results suggest, in similarity with graphene, plasmon modes of such non-symmorphic semimetals are highly tunable and hold promise for possible applications.


title: Toward a `Standard Model' of Machine Learning

abstract: Machine learning (ML) is about computational methods that enable machines to learn concepts from experience. In handling a wide variety of experience ranging from data instances, knowledge, constraints, to rewards, adversaries, and lifelong interaction in an ever-growing spectrum of tasks, contemporary ML/AI (artificial intelligence) research has resulted in a multitude of learning paradigms and methodologies. Despite the continual progresses on all different fronts, the disparate narrowly focused methods also make standardized, composable, and reusable development of ML approaches difficult, and preclude the opportunity to build AI agents that panoramically learn from all types of experience. This article presents a standardized ML formalism, in particular a `standard equation' of the learning objective, that offers a unifying understanding of many important ML algorithms in the supervised, unsupervised, knowledge-constrained, reinforcement, adversarial, and online learning paradigms, respectively -- those diverse algorithms are encompassed as special cases due to different choices of modeling components. The framework also provides guidance for mechanical design of new ML approaches and serves as a promising vehicle toward panoramic machine learning with all experience.


title: Hexagonal-to-base-centered-orthorhombic $4Q$ charge density wave order in kagome metals KV$_3$Sb$_5$, RbV$_3$Sb$_5$, and CsV$_3$Sb$_5$

abstract: I search for the ground state structures of the kagome metals KV$_3$Sb$_5$, RbV$_3$Sb$_5$, and CsV$_3$Sb$_5$ using first principles calculations. Group-theoretical analysis shows that there are seventeen different distortions that are possible due to the phonon instabilities at the $M$ $(\frac{1}{2},0,0)$ and $L$ $(\frac{1}{2},0,\frac{1}{2})$ points in the Brilouin zone of the parent $P6/mmm$ phase of these materials. I generated these structures for the three compounds and performed full structural relaxations that minimize the atomic forces and lattice stresses. I find that the $Fmmm$ phase with the order parameter $M_1^+$ $(a,0,0)$ $+$ $L_2^-$ $(0,b,b)$ has the lowest energy among these possibilities in all three compounds. However, the $Fmmm$ exhibits a dynamical instability at its $Z$ $(0,0,1)$ point, which corresponds to the $A$ $(0,0,\frac{1}{2})$ point in the parent $P6/mmm$ phase. Condensation of this instability leads to a base-centered orthorhombic structure with the space group $Cmcm$ and $4Q$ order parameter $M_1^+$ $(a,0,0)$ $+$ $L_2^-$ $(0,b,b)$ $+$ $A_6^+$ $(\frac{1}{2}c,\frac{-\sqrt{3}}{2}c)$.


title: Spin-polarized Majorana zero-modes in double zigzag honeycomb nanoribbons

abstract: We study the emergence of Majorana zero modes (MZMs) at the ends of a finite double zigzag honeycomb nanoribbon (zHNR). We show that a double zHNR geometry can host spin-polarized MZMs at its ends. We considered a minimal model composed by first nearest neighbor hopping, Rashba spin-orbit coupling (RSOC), p-wave superconducting pairing, and an applied external magnetic field (EMF). The energy spectrum regions with either spin up or down MZMs belong to distinct topological phase transitions characterized by their corresponding winding numbers and can be accessed by tunning the chemical potential of the nanoribbons. Hybrid systems constituted by zHNRs deposited on conventional s-wave superconductors are potential candidates for experimentally realizing the proposal. The spin's discrimination of MZMs suggests a possible route for performing topological-conventional qubit operations using Majorana spintronics.


title: Demystifying the Lagrangians of special relativity

abstract: Special relativity beyond its basic treatment can be inaccessible, in particular because introductory physics courses typically view special relativity as decontextualized from the rest of physics. We seek to place special relativity back in its physics context, and to make the subject approachable. The Lagrangian formulation of special relativity follows logically by combining the Lagrangian approach to mechanics and the postulates of special relativity. In this paper, we derive and explicate some of the most important results of how the Lagrangian formalism and Lagrangians themselves behave in the context of special relativity. We derive two foundations of special relativity: the invariance of any spacetime interval, and the Lorentz transformation. We then develop the Lagrangian formulation of relativistic particle dynamics, including the transformation law of the electromagnetic potentials, the Lagrangian of a relativistic free particle, and Einstein's mass-energy equivalence law ($E=mc^2$). We include a discussion of relativistic field Lagrangians and their transformation properties, showing that the Lagrangians and the equations of motion for the electric and magnetic fields are indeed invariant under Lorentz transformations.


title: Dynamic Multi-scale Convolution for Dialect Identification

abstract: Time Delay Neural Networks (TDNN)-based methods are widely used in dialect identification. However, in previous work with TDNN application, subtle variant is being neglected in different feature scales. To address this issue, we propose a new architecture, named dynamic multi-scale convolution, which consists of dynamic kernel convolution, local multi-scale learning, and global multi-scale pooling. Dynamic kernel convolution captures features between short-term and long-term context adaptively. Local multi-scale learning, which represents multi-scale features at a granular level, is able to increase the range of receptive fields for convolution operation. Besides, global multi-scale pooling is applied to aggregate features from different bottleneck layers in order to collect information from multiple aspects. The proposed architecture significantly outperforms state-of-the-art system on the AP20-OLR-dialect-task of oriental language recognition (OLR) challenge 2020, with the best average cost performance (Cavg) of 0.067 and the best equal error rate (EER) of 6.52%. Compared with the known best results, our method achieves 9% of Cavg and 45% of EER relative improvement, respectively. Furthermore, the parameters of proposed model are 91% fewer than the best known model.


title: Fluid dynamic shape optimization using self-adapting nonlinear extension operators with multigrid preconditioners

abstract: In this article we propose a scalable shape optimization algorithm which is tailored for large scale problems and geometries represented by hierarchically refined meshes. Weak scalability and grid independent convergence is achieved via a combination of multigrid schemes for the simulation of the PDEs and quasi Newton methods on the optimization side. For this purpose a self-adapting, nonlinear extension operator is proposed within the framework of the method of mappings. This operator is demonstrated to identify critical regions in the reference configuration where geometric singularities have to arise or vanish. Thereby the set of admissible transformations is adapted to the underlying shape optimization situation. The performance of the proposed method is demonstrated for the example of drag minimization of an obstacle within a stationary, incompressible Navier-Stokes flow.


title: Adapting GPT, GPT-2 and BERT Language Models for Speech Recognition

abstract: Language models (LMs) pre-trained on massive amounts of text, in particular bidirectional encoder representations from Transformers (BERT), generative pre-training (GPT), and GPT-2, have become a key technology for many natural language processing tasks. In this paper, we present results using fine-tuned GPT, GPT-2, and their combination for automatic speech recognition (ASR). Unlike unidirectional LM GPT and GPT-2, BERT is bidirectional whose direct product of the output probabilities is no longer a valid language prior probability. A conversion method is proposed to compute the correct language prior probability based on bidirectional LM outputs in a mathematically exact way. Experimental results on the widely used AMI and Switchboard ASR tasks showed that the combination of the fine-tuned GPT and GPT-2 outperformed the combination of three neural LMs with different architectures trained from scratch on the in-domain text by up to a 12% relative word error rate reduction (WERR). Furthermore, on the AMI corpus, the proposed conversion for language prior probabilities enables BERT to obtain an extra 3% relative WERR, and the combination of BERT, GPT and GPT-2 results in further improvements.


title: Mitigating harm in language models with conditional-likelihood filtration

abstract: Language models trained on large-scale unfiltered datasets curated from the open web acquire systemic biases, prejudices, and harmful views from their training data. We present a methodology for programmatically identifying and removing harmful text from web-scale datasets. A pretrained language model is used to calculate the log-likelihood of researcher-written trigger phrases conditioned on a specific document, which is used to identify and filter documents from the dataset. We demonstrate that models trained on this filtered dataset exhibit lower propensity to generate harmful text, with a marginal decrease in performance on standard language modeling benchmarks compared to unfiltered baselines. We provide a partial explanation for this performance gap by surfacing examples of hate speech and other undesirable content from standard language modeling benchmarks. Finally, we discuss the generalization of this method and how trigger phrases which reflect specific values can be used by researchers to build language models which are more closely aligned with their values.


title: Cutoff for the Glauber dynamics of the lattice free field

abstract: The Gaussian Free Field (GFF) is a canonical random surface in probability theory generalizing Brownian motion to higher dimensions. In two dimensions, it is critical in several senses, and is expected to be the universal scaling limit of a host of random surface models in statistical physics. It also arises naturally as the stationary solution to the stochastic heat equation with additive noise. Focusing on the dynamical aspects of the corresponding universality class, we study the mixing time, i.e., the rate of convergence to stationarity, for the canonical prelimiting object, namely the discrete Gaussian free field (DGFF), evolving along the (heat-bath) Glauber dynamics. While there have been significant breakthroughs made in the study of cutoff for Glauber dynamics of random curves, analogous sharp mixing bounds for random surface evolutions have remained elusive. In this direction, we establish that on a box of side-length $n$ in $\mathbb Z^2$, when started out of equilibrium, the Glauber dynamics for the DGFF exhibit cutoff at time $\frac{2}{\pi^2}n^2 \log n$.


abstract: Federated learning methods enable us to train machine learning models on distributed user data while preserving its privacy. However, it is not always feasible to obtain high-quality supervisory signals from users, especially for vision tasks. Unlike typical federated settings with labeled client data, we consider a more practical scenario where the distributed client data is unlabeled, and a centralized labeled dataset is available on the server. We further take the server-client and inter-client domain shifts into account and pose a domain adaptation problem with one source (centralized server data) and multiple targets (distributed client data). Within this new Federated Multi-Target Domain Adaptation (FMTDA) task, we analyze the model performance of exiting domain adaptation methods and propose an effective DualAdapt method to address the new challenges. Extensive experimental results on image classification and semantic segmentation tasks demonstrate that our method achieves high accuracy, incurs minimal communication cost, and requires low computational resources on client devices.


title: Modeling Pedagogical Learning Environment with Hybrid Model based on ICT

abstract: Pedagogy is a method that handles the ethos and culture of instruction from educators and the learning of learners. Pedagogy of Information and Communications Technology (ICT) refers to the interactions among the teacher, children, and learning environment based on ICT. It is a discipline that deals with the theory and practice of teaching strategies, teaching actions, teaching judgments, and decisions. It is also the understanding and needs of students as well as the background and interests of an individual one. In this paper, we have designed the pedagogical learning environment from the perspective of ICT education. In our methodology of the pedagogy for ICT, education includes the interaction among different elements. The methodology improves to propagate convenience differently into the educational environment. We are also building a hybrid model for the ICT development program. The hybrid model represents the combination of standards, stages, year level, and class level as well as brings it into one umbrella. We have constructed the pedagogical learning environment theoretically from the perspective of ICT education to the consideration of outcome-based ICT learning. Outcome-based education is a fundamental element for building any nation completely around the globe.


title: RandomRooms: Unsupervised Pre-training from Synthetic Shapes and Randomized Layouts for 3D Object Detection

abstract: 3D point cloud understanding has made great progress in recent years. However, one major bottleneck is the scarcity of annotated real datasets, especially compared to 2D object detection tasks, since a large amount of labor is involved in annotating the real scans of a scene. A promising solution to this problem is to make better use of the synthetic dataset, which consists of CAD object models, to boost the learning on real datasets. This can be achieved by the pre-training and fine-tuning procedure. However, recent work on 3D pre-training exhibits failure when transfer features learned on synthetic objects to other real-world applications. In this work, we put forward a new method called RandomRooms to accomplish this objective. In particular, we propose to generate random layouts of a scene by making use of the objects in the synthetic CAD dataset and learn the 3D scene representation by applying object-level contrastive learning on two random scenes generated from the same set of synthetic objects. The model pre-trained in this way can serve as a better initialization when later fine-tuning on the 3D object detection task. Empirically, we show consistent improvement in downstream 3D detection tasks on several base models, especially when less training data are used, which strongly demonstrates the effectiveness and generalization of our method. Benefiting from the rich semantic knowledge and diverse objects from synthetic data, our method establishes the new state-of-the-art on widely-used 3D detection benchmarks ScanNetV2 and SUN RGB-D. We expect our attempt to provide a new perspective for bridging object and scene-level 3D understanding.


title: Feature Recommendation for Structural Equation Model Discovery in Process Mining

abstract: Process mining techniques can help organizations to improve their operational processes. Organizations can benefit from process mining techniques in finding and amending the root causes of performance or compliance problems. Considering the volume of the data and the number of features captured by the information system of today's companies, the task of discovering the set of features that should be considered in root cause analysis can be quite involving. In this paper, we propose a method for finding the set of (aggregated) features with a possible effect on the problem. The root cause analysis task is usually done by applying a machine learning technique to the data gathered from the information system supporting the processes. To prevent mixing up correlation and causation, which may happen because of interpreting the findings of machine learning techniques as causal, we propose a method for discovering the structural equation model of the process that can be used for root cause analysis. We have implemented the proposed method as a plugin in ProM and we have evaluated it using two real and synthetic event logs. These experiments show the validity and effectiveness of the proposed methods.


title: A remark on ill-posedness

abstract: Norm inflation implies certain discontinuous dependence of the solution on the initial value. The well-posedness of the mild solution means the existence and uniqueness of the fixed points of the corresponding integral equation. For ${\rm BMO}^{-1}$, Auscher-Dubois-Tchamitchian proved that Koch-Tataru's solution is stable. In this paper, we construct a non-Gauss flow function to show that, for classic Navier-Stokes equations, wellposedness and norm inflation may have no conflict and stability may have meaning different to $L^{\infty}(({\rm BMO}^{-1})^{n})$.


title: Group-aware Contrastive Regression for Action Quality Assessment

abstract: Assessing action quality is challenging due to the subtle differences between videos and large variations in scores. Most existing approaches tackle this problem by regressing a quality score from a single video, suffering a lot from the large inter-video score variations. In this paper, we show that the relations among videos can provide important clues for more accurate action quality assessment during both training and inference. Specifically, we reformulate the problem of action quality assessment as regressing the relative scores with reference to another video that has shared attributes (e.g., category and difficulty), instead of learning unreferenced scores. Following this formulation, we propose a new Contrastive Regression (CoRe) framework to learn the relative scores by pair-wise comparison, which highlights the differences between videos and guides the models to learn the key hints for assessment. In order to further exploit the relative information between two videos, we devise a group-aware regression tree to convert the conventional score regression into two easier sub-problems: coarse-to-fine classification and regression in small intervals. To demonstrate the effectiveness of CoRe, we conduct extensive experiments on three mainstream AQA datasets including AQA-7, MTL-AQA and JIGSAWS. Our approach outperforms previous methods by a large margin and establishes new state-of-the-art on all three benchmarks.


title: Probing small-scale baryon and dark matter isocurvature perturbations with cosmic microwave background anisotropies

abstract: The Universe's initial conditions, in particular baryon and cold dark matter (CDM) isocurvature perturbations, are poorly constrained on sub-Mpc scales. In this paper, we develop a new formalism to compute the effect of small-scale baryon perturbations on the mean free-electron abundance, thus on cosmic microwave background (CMB) anisotropies. Our framework can accommodate perturbations with arbitrary time and scale dependence. We apply this formalism to four different combinations of baryon and CDM isocurvature modes, and use Planck CMB-anisotropy data to probe their initial amplitude. We find that Planck data is consistent with no small-scale isocurvature perturbations, and that this additional ingredient does not help alleviate the Hubble tension. We set upper bounds to the dimensionless initial power spectrum $\Delta_{\mathcal{I}}^2(k)$ of these isocurvature modes at comoving wavenumbers $1~\textrm{Mpc}^{-1} \le k \le 10^3$ Mpc$^{-1}$, for several parameterizations. For a scale-invariant power spectrum, our 95% confidence-level limits on $\Delta_{\mathcal{I}}^2$ are 0.023 for pure baryon isocurvature, 0.099 for pure CDM isocurvature, 0.026 for compensated baryon-CDM perturbations, and 0.009 for joint baryon-CDM isocurvature perturbations. Using a Fisher analysis generalized to non-analytic parameter dependence, we forecast that a CMB Stage-4 experiment would be able to probe small-scale isocurvature perturbations with initial power 3 to 10 times smaller than Planck limits. The formalism introduced in this work is very general and can be used more widely to probe any physical processes or initial conditions sourcing small-scale baryon perturbations.


title: An Extensible Benchmark Suite for Learning to Simulate Physical Systems

abstract: Simulating physical systems is a core component of scientific computing, encompassing a wide range of physical domains and applications. Recently, there has been a surge in data-driven methods to complement traditional numerical simulations methods, motivated by the opportunity to reduce computational costs and/or learn new physical models leveraging access to large collections of data. However, the diversity of problem settings and applications has led to a plethora of approaches, each one evaluated on a different setup and with different evaluation metrics. We introduce a set of benchmark problems to take a step towards unified benchmarks and evaluation protocols. We propose four representative physical systems, as well as a collection of both widely used classical time integrators and representative data-driven methods (kernel-based, MLP, CNN, nearest neighbors). Our framework allows evaluating objectively and systematically the stability, accuracy, and computational efficiency of data-driven methods. Additionally, it is configurable to permit adjustments for accommodating other learning tasks and for establishing a foundation for future developments in machine learning for scientific computing.


title: Bagging Supervised Autoencoder Classifier for Credit Scoring

abstract: Credit scoring models, which are among the most potent risk management tools that banks and financial institutes rely on, have been a popular subject for research in the past few decades. Accordingly, many approaches have been developed to address the challenges in classifying loan applicants and improve and facilitate decision-making. The imbalanced nature of credit scoring datasets, as well as the heterogeneous nature of features in credit scoring datasets, pose difficulties in developing and implementing effective credit scoring models, targeting the generalization power of classification models on unseen data. In this paper, we propose the Bagging Supervised Autoencoder Classifier (BSAC) that mainly leverages the superior performance of the Supervised Autoencoder, which learns low-dimensional embeddings of the input data exclusively with regards to the ultimate classification task of credit scoring, based on the principles of multi-task learning. BSAC also addresses the data imbalance problem by employing a variant of the Bagging process based on the undersampling of the majority class. The obtained results from our experiments on the benchmark and real-life credit scoring datasets illustrate the robustness and effectiveness of the Bagging Supervised Autoencoder Classifier in the classification of loan applicants that can be regarded as a positive development in credit scoring models.


title: Quasi Periodic Oscillations of Test Particles and Red-Blue Shifts of the Photons Emitted By the Charged Test Particles Orbiting the Charged Black Hole in the Presence of Quintessence and Clouds of Strings

abstract: Here we examine the circular motion of test particles and photons in the spacetime geometry of charged black hole surrounded by quintessence and clouds of strings for the equation of state parameter $\omega_q=-2/3$. We observe that there exist stable circular orbits in this geometry for very small values of the quintessence and string cloud parameters, i.e., $0<\gamma<<1$ and $0<\alpha<<1$. We observe that if the values of $\gamma$ and $\alpha$ increase, the test particle can more easily escape the gravitational field of the black hole. While the effect of the charge $Q$ of the black hole on the effective potential is just opposite to that of the $\gamma$ and $\alpha$. Further, we investigate the quasi-periodic oscillations of test particles near the stable circular orbits. With the increasing values of $Q$, the stable circular orbits get away from the central object; therefore, one can observe lower epicyclic frequencies away from the central gravitating source with the increase in the values of $Q$. The redshift parameter $z$ of the photons emitted by the charged test particles moving in the stable circular orbits around the central source increases with an increase in the parameter $\alpha$ and decreases with an increase in the values of the charge $Q$. In the Banados-Silk-West (BSW) process study, we note that the centre of mass-energy at the horizon of this Riessner-Nordstrom black hole with quintessence and string clouds increases indefinitely if the charge of one of the colliding particles attains its critical value. For a better understanding of the study, we show the dependence of the radii of the circular orbits, energy and angular momentum of the particles, effective potential, effective force, quasi-periodic oscillations and red-blue shifts of photons of the test particles in the circular orbits on the parameters $\alpha$, $\gamma$ and $Q$ graphically.


title: Triggered ion acoustic waves in the solar wind

abstract: For more than 12 hours beginning on January 18, 2021, continuous narrowband electrostatic emissions were observed on Parker Solar Probe near 20 solar radii. The observed <1000 Hz frequencies were well below the local ion plasma frequency. Surprisingly, the emissions consisted of electrostatic wave packets with shock-like envelopes, appearing repetitively at a ~1.5 Hz rate. This repetitiveness correlated and was in phase with low frequency electromagnetic fluctuations. The emissions were associated with simultaneously observed ion beams and conditions favorable for ion-acoustic wave excitation, i.e. Te/Ti~5. Based on this information and on their velocity estimates of about 100 km/s, these electrostatic emissions are interpreted as ion-acoustic waves. Their observation demonstrates a new regime of instability and evolution of oblique ion-acoustic waves that have not been reported previously in theory or experiment.


title: Atomic-motion-induced spectroscopic effects nonlinear in atomic density in a gas

abstract: The interatomic dipole-dipole interaction is commonly thought to be the main physical reason for spectroscopic effects nonlinear in atomic density. However, we have found that the free motion of atoms can lead to other effects nonlinear in atomic density $n$, using a previously unknown self-consistent solution of the Maxwell-Bloch equations in the mean-field approximation for a gas of two-level atoms with an optical transition at unperturbed frequency $\omega^{}_0$. These effects distort the Doppler lineshape (shift, asymmetry, broadening), but are not associated with an atom-atom interaction. In particular, in the case of $nk^{-3}_0<1$ (where $k^{}_0=\omega^{}_0/c$) and significant Doppler broadening (with respect to collisional broadening), atomic-motion-induced nonlinear effects significantly exceed the well-known influence of the dipole-dipole interatomic interaction (e.g., Lorentz-Lorenz shift) by more than one order of magnitude. Moreover, under some conditions a frequency interval appears in which a non-trivial self-consistent solution of the Maxwell-Bloch equations is absent due to atomic motion effects. Thus, the existing physical picture of spectroscopic effects nonlinear in atomic density in a gas medium should be substantially revised.


title: A Framework for Understanding AI-Induced Field Change: How AI Technologies are Legitimized and Institutionalized

abstract: Artificial intelligence (AI) systems operate in increasingly diverse areas, from healthcare to facial recognition, the stock market, autonomous vehicles, and so on. While the underlying digital infrastructure of AI systems is developing rapidly, each area of implementation is subject to different degrees and processes of legitimization. By combining elements from institutional theory and information systems-theory, this paper presents a conceptual framework to analyze and understand AI-induced field-change. The introduction of novel AI-agents into new or existing fields creates a dynamic in which algorithms (re)shape organizations and institutions while existing institutional infrastructures determine the scope and speed at which organizational change is allowed to occur. Where institutional infrastructure and governance arrangements, such as standards, rules, and regulations, still are unelaborate, the field can move fast but is also more likely to be contested. The institutional infrastructure surrounding AI-induced fields is generally little elaborated, which could be an obstacle to the broader institutionalization of AI-systems going forward.


title: Higher-Order Concurrency for Microcontrollers

abstract: Programming microcontrollers involves low-level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C and assembly using concurrent language extensions (like $\texttt{FreeRTOS tasks}$ and $\texttt{semaphores}$), resulting in unsafe, callback-driven, error-prone and difficult-to-maintain code. We address this challenge by introducing $\texttt{SenseVM}$ - a bytecode-interpreted virtual machine that provides a message-passing based $\textit{higher-order concurrency}$ model, originally introduced by Reppy, for microcontroller programming. This model treats synchronous operations as first-class values (called $\texttt{Events}$) akin to the treatment of first-class functions in functional languages. This primarily allows the programmer to compose and tailor their own concurrency abstractions and, additionally, abstracts away unsafe memory operations, common in shared-memory concurrency models, thereby making microcontroller programs safer, composable and easier-to-maintain. Our VM is made portable via a low-level $\textit{bridge}$ interface, built atop the embedded OS - Zephyr. The bridge is implemented by all drivers and designed such that programming in response to a software message or a hardware interrupt remains uniform and indistinguishable. In this paper we demonstrate the features of our VM through an example, written in a Caml-like functional language, running on the $\texttt{nRF52840}$ and $\texttt{STM32F4}$ microcontrollers.


title: Simulation and estimation of an agent-based market-model with a matching engine

abstract: An agent-based model with interacting low frequency liquidity takers inter-mediated by high-frequency liquidity providers acting collectively as market makers can be used to provide realistic simulated price impact curves. This is possible when agent-based model interactions occur asynchronously via order matching using a matching engine in event time to replace sequential calendar time market clearing. Here the matching engine infrastructure has been modified to provide a continuous feed of order confirmations and updates as message streams in order to conform more closely to live trading environments. The resulting trade and quote message data from the simulations are then aggregated, calibrated and visualised. Various stylised facts are presented along with event visualisations and price impact curves. We argue that additional realism in modelling can be achieved with a small set of agent parameters and simple interaction rules once interactions are reactive, asynchronous and in event time. We argue that the reactive nature of market agents may be a fundamental property of financial markets and when accounted for can allow for parsimonious modelling without recourse to additional sources of noise.