title: Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

abstract: Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the so-called distribution semantics. However, the distribution semantics is limited to discrete random variables only. While PLP has been extended in various ways for supporting hybrid, that is, mixed discrete and continuous random variables, we are still lacking a declarative semantics for hybrid PLP that not only generalizes the distribution semantics and the modeling language but also the standard inference algorithm that is based on knowledge compilation. We contribute the hybrid distribution semantics together with the hybrid PLP language DC-ProbLog and its inference engine infinitesimal algebraic likelihood weighting (IALW). These have the original distribution semantics, standard PLP languages such as ProbLog, and standard inference engines for PLP based on knowledge compilation as special cases. Thus, we generalize the state-of-the-art of PLP towards hybrid PLP in three different aspects: semantics, language and inference. Furthermore, IALW is the first inference algorithm for hybrid probabilistic programming based on knowledge compilation.


title: Phases of cold holographic QCD: baryons, pions and rho mesons

abstract: We improve the holographic description of isospin-asymmetric baryonic matter within the Witten-Sakai-Sugimoto model by accounting for a realistic pion mass, computing the pion condensate dynamically, and including rho meson condensation by allowing the gauge field in the bulk to be anisotropic. This description takes into account the coexistence of baryonic matter with pion and rho meson condensates. Our main result is the zero-temperature phase diagram in the plane of baryon and isospin chemical potentials. We find that the effective pion mass in the baryonic medium increases with baryon density and that, as a consequence, there is no pion condensation in neutron-star matter. Our improved description also predicts that baryons are disfavored at low baryon chemical potentials even for arbitrarily large isospin chemical potential. Instead, rho meson condensation sets in on top of the pion condensate at an isospin chemical potential of about $9.4\, m_\pi$. We further observe a highly non-monotonic phase boundary regarding the disappearance of pion condensation.


title: User-aware WLAN Transmit Power Control in the Wild

abstract: In Wireless Local Area Networks (WLANs), Access point (AP) transmit power influences (i) received signal quality for users and thus user throughput, (ii) user association and thus load across APs and (iii) AP coverage ranges and thus interference in the network. Despite decades of academic research, transmit power levels are still, in practice, statically assigned to satisfy uniform coverage objectives. Yet each network comes with its unique distribution of users in space, calling for a power control that adapts to users' probabilities of presence, for example, placing the areas with higher interference probabilities where user density is the lowest. Although nice on paper, putting this simple idea in practice comes with a number of challenges, with gains that are difficult to estimate, if any at all. This paper is the first to address these challenges and evaluate in a production network serving thousands of daily users the benefits of a user-aware transmit power control system. Along the way, we contribute a novel approach to reason about user densities of presence from historical IEEE 802.11k data, as well as a new machine learning approach to impute missing signal-strength measurements. Results of a thorough experimental campaign show feasibility and quantify the gains: compared to state-of-the-art solutions, the new system can increase the median signal strength by 15dBm, while decreasing airtime interference at the same time. This comes at an affordable cost of a 5dBm decrease in uplink signal due to lack of terminal cooperation.


title: Rectification and nonlinear Hall effect by fluctuating finite-momentum Cooper pairs

abstract: Nonreciprocal charge transport is attracting much attention as a novel probe and functionality of noncentrosymmetric superconductors. In this work, we show that both the longitudinal and transverse nonlinear paraconductivity are hugely enhanced in helical superconductors in moderate and high magnetic fields, which can be observed by second-harmonic resistance measurements. The discussion is based on the generalized formulation of nonlinear paraconductivity in combination with the microscopically determined Ginzburg-Landau coefficients. The enhanced nonreciprocal transport would be observable even with the cyclotron motion of fluctuating Cooper pairs, which is elucidated with a Kubo-type formula of nonlinear paraconductivity. Nonreciprocal charge transport in the fluctuation regime is thereby established as a promising probe of helical superconductivity regardless of the sample dimensionality. Implications on the other finite-momentum superconducting states are briefly discussed.


title: Regularity of the law of solutions to the stochastic heat equation with non-Lipschitz reaction term

abstract: We prove the existence of density for the solution to the multiplicative semilinear stochastic heat equation on an unbounded spatial domain, with drift term satisfying a half-Lipschitz type condition. The methodology is based on a careful analysis of differentiability for a map defined on weighted functional spaces.


title: Evaluating the effect of data augmentation and BALD heuristics on distillation of Semantic-KITTI dataset

abstract: Active Learning (AL) has remained relatively unexplored for LiDAR perception tasks in autonomous driving datasets. In this study we evaluate Bayesian active learning methods applied to the task of dataset distillation or core subset selection (subset with near equivalent performance as full dataset). We also study the effect of application of data augmentation (DA) within Bayesian AL based dataset distillation. We perform these experiments on the full Semantic-KITTI dataset. We extend our study over our existing work only on 1/4th of the same dataset. Addition of DA and BALD have a negative impact over the labeling efficiency and thus the capacity to distill datasets. We demonstrate key issues in designing a functional AL framework and finally conclude with a review of challenges in real world active learning.


title: Generic Dependency Modeling for Multi-Party Conversation

abstract: To model the dependencies between utterances in multi-party conversations, we propose a simple and generic framework based on the dependency parsing results of utterances. Particularly, we present an approach to encoding the dependencies in the form of relative dependency encoding (ReDE) and illustrate how to implement it in Transformers by modifying the computation of self-attention. Experimental results on four multi-party conversation benchmarks show that this framework successfully boosts the general performance of two Transformer-based language models and leads to comparable or even superior performance compared to the state-of-the-art methods. The codes are available at https://github.com/shenwzh3/ReDE.


title: FrankenSplit: Efficient Neural Feature Compression with Shallow Variational Bottleneck Injection for Mobile Edge Computing

abstract: The rise of mobile AI accelerators allows latency-sensitive applications to execute lightweight Deep Neural Networks (DNNs) on the client side. However, critical applications require powerful models that edge devices cannot host and must therefore offload requests, where the high-dimensional data will compete for limited bandwidth. This work proposes shifting away from focusing on executing shallow layers of partitioned DNNs. Instead, it advocates concentrating the local resources on variational compression optimized for machine interpretability. We introduce a novel framework for resource-conscious compression models and extensively evaluate our method in an environment reflecting the asymmetric resource distribution between edge devices and servers. Our method achieves 60% lower bitrate than a state-of-the-art SC method without decreasing accuracy and is up to 16x faster than offloading with existing codec standards.


title: Approximation of Splines in Wasserstein Spaces

abstract: This paper investigates a time discrete variational model for splines in Wasserstein spaces to interpolate probability measures. Cubic splines in Euclidean space are known to minimize the integrated squared acceleration subject to a set of interpolation constraints. As generalization on the space of probability measures the integral over the squared acceleration is considered as a spline energy and regularized by addition of the usual action functional. Both energies are then discretized in time using local Wasserstein-2 distances and the generalized Wasserstein barycenter. The existence of time discrete regularized splines for given interpolation conditions is established. On the subspace of Gaussian distributions, the spline interpolation problem is solved explicitly and consistency in the discrete to continuous limit is shown. The computation of time discrete splines is implemented numerically, based on entropy regularization and the Sinkhorn algorithm. A variant of the iPALM method is applied for the minimization of the fully discrete functional. A variety of numerical examples demonstrate the robustness of the approach and show striking characteristics of the method. As a particular application the spline interpolation for synthesized textures is presented.


title: The mixed fractional Hartree equations in Fourier amalgam and modulation spaces

abstract: We prove local and global well-posedness for mixed fractional Hartree equation with low regularity Cauchy data in Fourier amalgam $\widehat{w}^{p,q}$ and modulation $M^{p,q}$ spaces. Similar results also hold for the Hartree equation with harmonic potential in some modulation spaces. Our approach also addresses Hartree-Fock equations of finitely many particles. A key ingredient of our method is to establish trilinear estimates for Hartree non-linearity and the use of Strichartz estimates. As a consequence, we could gain $\widehat{w}^{p,q}$ and $M^{p,q}-$regularity for all $p,q\in [1, \infty].$ Thus we could solve new problems, extends and complements several previous results (including Sobolev $H^s-$regularity results).


title: Contraction and Convergence Rates for Discretized Kinetic Langevin Dynamics

abstract: We provide a framework to analyze the convergence of discretized kinetic Langevin dynamics for $M$-$\nabla$Lipschitz, $m$-convex potentials. Our approach gives convergence rates of $\mathcal{O}(m/M)$, with explicit stepsize restrictions, which are of the same order as the stability threshold for Gaussian targets and are valid for a large interval of the friction parameter. We apply this methodology to various integration schemes which are popular in the molecular dynamics and machine learning communities. Further, we introduce the property ``$\gamma$-limit convergent" (GLC) to characterize underdamped Langevin schemes that converge to overdamped dynamics in the high-friction limit and which have stepsize restrictions that are independent of the friction parameter; we show that this property is not generic by exhibiting methods from both the class and its complement. Finally, we provide asymptotic bias estimates for the BAOAB scheme, which remain accurate in the high-friction limit by comparison to a modified stochastic dynamics which preserves the invariant measure.


title: Bridging the Gap between ANNs and SNNs by Calibrating Offset Spikes

abstract: Spiking Neural Networks (SNNs) have attracted great attention due to their distinctive characteristics of low power consumption and temporal information processing. ANN-SNN conversion, as the most commonly used training method for applying SNNs, can ensure that converted SNNs achieve comparable performance to ANNs on large-scale datasets. However, the performance degrades severely under low quantities of time-steps, which hampers the practical applications of SNNs to neuromorphic chips. In this paper, instead of evaluating different conversion errors and then eliminating these errors, we define an offset spike to measure the degree of deviation between actual and desired SNN firing rates. We perform a detailed analysis of offset spike and note that the firing of one additional (or one less) spike is the main cause of conversion errors. Based on this, we propose an optimization strategy based on shifting the initial membrane potential and we theoretically prove the corresponding optimal shifting distance for calibrating the spike. In addition, we also note that our method has a unique iterative property that enables further reduction of conversion errors. The experimental results show that our proposed method achieves state-of-the-art performance on CIFAR-10, CIFAR-100, and ImageNet datasets. For example, we reach a top-1 accuracy of 67.12% on ImageNet when using 6 time-steps. To the best of our knowledge, this is the first time an ANN-SNN conversion has been shown to simultaneously achieve high accuracy and ultralow latency on complex datasets. Code is available at https://github.com/hzc1208/ANN2SNN_COS.


title: Interpretable Spectrum Transformation Attacks to Speaker Recognition

abstract: The success of adversarial attacks to speaker recognition is mainly in white-box scenarios. When applying the adversarial voices that are generated by attacking white-box surrogate models to black-box victim models, i.e. \textit{transfer-based} black-box attacks, the transferability of the adversarial voices is not only far from satisfactory, but also lacks interpretable basis. To address these issues, in this paper, we propose a general framework, named spectral transformation attack based on modified discrete cosine transform (STA-MDCT), to improve the transferability of the adversarial voices to a black-box victim model. Specifically, we first apply MDCT to the input voice. Then, we slightly modify the energy of different frequency bands for capturing the salient regions of the adversarial noise in the time-frequency domain that are critical to a successful attack. Unlike existing approaches that operate voices in the time domain, the proposed framework operates voices in the time-frequency domain, which improves the interpretability, transferability, and imperceptibility of the attack. Moreover, it can be implemented with any gradient-based attackers. To utilize the advantage of model ensembling, we not only implement STA-MDCT with a single white-box surrogate model, but also with an ensemble of surrogate models. Finally, we visualize the saliency maps of adversarial voices by the class activation maps (CAM), which offers an interpretable basis to transfer-based attacks in speaker recognition for the first time. Extensive comparison results with five representative attackers show that the CAM visualization clearly explains the effectiveness of STA-MDCT, and the weaknesses of the comparison methods; the proposed method outperforms the comparison methods by a large margin.


title: Boosting the Power of Kernel Two-Sample Tests

abstract: The kernel two-sample test based on the maximum mean discrepancy (MMD) is one of the most popular methods for detecting differences between two distributions over general metric spaces. In this paper we propose a method to boost the power of the kernel test by combining MMD estimates over multiple kernels using their Mahalanobis distance. We derive the asymptotic null distribution of the proposed test statistic and use a multiplier bootstrap approach to efficiently compute the rejection region. The resulting test is universally consistent and, since it is obtained by aggregating over a collection of kernels/bandwidths, is more powerful in detecting a wide range of alternatives in finite samples. We also derive the distribution of the test statistic for both fixed and local contiguous alternatives. The latter, in particular, implies that the proposed test is statistically efficient, that is, it has non-trivial asymptotic (Pitman) efficiency. Extensive numerical experiments are performed on both synthetic and real-world datasets to illustrate the efficacy of the proposed method over single kernel tests. Our asymptotic results rely on deriving the joint distribution of MMD estimates using the framework of multiple stochastic integrals, which is more broadly useful, specifically, in understanding the efficiency properties of recently proposed adaptive MMD tests based on kernel aggregation.


title: On Calibrating Diffusion Probabilistic Models

abstract: Recently, diffusion probabilistic models (DPMs) have achieved promising results in diverse generative tasks. A typical DPM framework includes a forward process that gradually diffuses the data distribution and a reverse process that recovers the data distribution from time-dependent data scores. In this work, we observe that the stochastic reverse process of data scores is a martingale, from which concentration bounds and the optional stopping theorem for data scores can be derived. Then, we discover a simple way for calibrating an arbitrary pretrained DPM, with which the score matching loss can be reduced and the lower bounds of model likelihood can consequently be increased. We provide general calibration guidelines under various model parametrizations. Our calibration method is performed only once and the resulting models can be used repeatedly for sampling. We conduct experiments on multiple datasets to empirically validate our proposal. Our code is at https://github.com/thudzj/Calibrated-DPMs.


title: Differential N-players game: Nash equilibria and Mather measures

abstract: We study Nash equilibria for the deterministic ergodic N-players game. We introduce pure strategies, mixed strategies and Nash equilibria associated with those. We show that a Nash equilibrium in mixed strategies exists and it is a Mather measure for the Lagrangian system defined by the cost functional. In conclusion, we show that the mean field limit of the N-players game is described by the ergodic PDE's system for a continuum of players.


title: Fabricating a dielectrophoretic microfluidic device using 3D-printed moulds and silver conductive paint

abstract: Dielectrophoresis is an electric field-based technique for moving neutral particles through a fluid. When used for particle separation, dielectrophoresis has many advantages compared to other methods, providing label-free operation with greater control of the separation forces. In this paper, we design, build, and test a low-voltage dielectrophoretic device using a 3D printing approach. This lab-on-a-chip device fits on a microscope glass slide and incorporates microfluidic channels for particle separation. First, we use multiphysics simulations to evaluate the separation efficiency of the prospective device and guide the design process. Second, we fabricate the device in PDMS (polydimethylsiloxane) by using 3D-printed moulds that contain patterns of the channels and electrodes. The imprint of the electrodes is then filled with silver conductive paint, making a 9 pole comb electrode. Lastly, we evaluate the separation efficiency of our device by introducing a mixture of 3 $\mu$m and 10 $\mu$m polystyrene particles and tracking their progression. Our device is able to efficiently separate these particles when the electrodes are energized with $\pm$12 V at 75 kHz. Overall, our method allows the fabrication of cheap and effective dielectrophoretic microfluidic devices using commercial off-the-shelf equipment.


title: On generating Sobolev orthogonal polynomials

abstract: Sobolev orthogonal polynomials are polynomials orthogonal with respect to a Sobolev inner product, an inner product in which derivatives of the polynomials appear. They satisfy a long recurrence relation that can be represented by a Hessenberg matrix. The problem of generating a finite sequence of Sobolev orthogonal polynomials can be reformulated as a matrix problem. That is, a Hessenberg inverse eigenvalue problem, where the Hessenberg matrix of recurrences is generated from certain known spectral information. Via the connection to Krylov subspaces we show that the required spectral information is the Jordan matrix containing the eigenvalues of the Hessenberg matrix and the normalized first entries of its eigenvectors. Using a suitable quadrature rule the Sobolev inner product is discretized and the resulting quadrature nodes form the Jordan matrix and associated quadrature weights are the first entries of the eigenvectors. We propose two new numerical procedures to compute Sobolev orthonormal polynomials based on solving the equivalent Hessenberg inverse eigenvalue problem.


title: On Inductive Biases for Machine Learning in Data Constrained Settings

abstract: Learning with limited data is one of the biggest problems of machine learning. Current approaches to this issue consist in learning general representations from huge amounts of data before fine-tuning the model on a small dataset of interest. While such technique, coined transfer learning, is very effective in domains such as computer vision or natural langage processing, it does not yet solve common problems of deep learning such as model interpretability or the overall need for data. This thesis explores a different answer to the problem of learning expressive models in data constrained settings: instead of relying on big datasets to learn neural networks, we will replace some modules by known functions reflecting the structure of the data. Very often, these functions will be drawn from the rich literature of kernel methods. Indeed, many kernels can reflect the underlying structure of the data, thus sparing learning parameters to some extent. Our approach falls under the hood of "inductive biases", which can be defined as hypothesis on the data at hand restricting the space of models to explore during learning. We demonstrate the effectiveness of this approach in the context of sequences, such as sentences in natural language or protein sequences, and graphs, such as molecules. We also highlight the relationship between our work and recent advances in deep learning. Additionally, we study convex machine learning models. Here, rather than proposing new models, we wonder which proportion of the samples in a dataset is really needed to learn a "good" model. More precisely, we study the problem of safe sample screening, i.e, executing simple tests to discard uninformative samples from a dataset even before fitting a machine learning model, without affecting the optimal model. Such techniques can be used to prune datasets or mine for rare samples.


title: Sim2Real$^2$: Actively Building Explicit Physics Model for Precise Articulated Object Manipulation

abstract: Accurately manipulating articulated objects is a challenging yet important task for real robot applications. In this paper, we present a novel framework called Sim2Real$^2$ to enable the robot to manipulate an unseen articulated object to the desired state precisely in the real world with no human demonstrations. We leverage recent advances in physics simulation and learning-based perception to build the interactive explicit physics model of the object and use it to plan a long-horizon manipulation trajectory to accomplish the task. However, the interactive model cannot be correctly estimated from a static observation. Therefore, we learn to predict the object affordance from a single-frame point cloud, control the robot to actively interact with the object with a one-step action, and capture another point cloud. Further, the physics model is constructed from the two point clouds. Experimental results show that our framework achieves about 70% manipulations with <30% relative error for common articulated objects, and 30% manipulations for difficult objects. Our proposed framework also enables advanced manipulation strategies, such as manipulating with different tools. Code and videos are available on our project webpage: https://ttimelord.github.io/Sim2Real2-site/


title: Different linearizations of non-abelian second Painlev\'e systems and related monodromy surfaces

abstract: In this paper, we discuss a connection between different linearizations for non-abelian analogs of the second Painlev\'e equation. For each of the analogs, we listed the pairs of the Harnard-Tracy-Widom (HTW), Flaschka-Newell (FN), and Jimbo-Miwa (JM) types. A method for establishing the HTW-JM correspondence is suggested. For one of the non-abelian analogs, we derive the corresponding non-abelian generalizations of the monodromy surfaces related to the FN- and JM-type linearizations. A natural Poisson structure associated with these monodromy surfaces is also discussed.


title: Towards Precanonical Quantum Teleparallel Gravity

abstract: Quantization of the teleparallel equivalent of general relativity (TEGR) is discussed from the perspective of the space-time symmetric De Donder-Weyl (DW) Hamiltonian formulation with constraints and its quantization called precanonical quantization. The representations of operators and the covariant Schr\"odinger equation for TEGR are obtained from the quantization of generalized Dirac brackets calculated according to the analysis of constraints within the polysymplectic formulation of the DW Hamiltonian theory. We argue that the appropriate treatment of the operator ordering and the generalized Hermicity of operators results in an additional $c$-number term in the DW Hamiltonian operator which is identified with the cosmological constant and estimated to be consistent with its observed value.


title: The MeerKAT Absorption Line Survey: Homogeneous continuum catalogues towards a measurement of the cosmic radio dipole

abstract: The number counts of homogeneous samples of radio sources are a tried and true method of probing the large scale structure of the Universe, as most radio sources outside the galactic plane are at cosmological distances. As such they are expected to trace the cosmic radio dipole, an anisotropy analogous to the dipole seen in the cosmic microwave background (CMB). Results have shown that although the cosmic radio dipole matches the direction of the CMB dipole, it has a significantly larger amplitude. This result challenges our assumption of the Universe being isotropic, which can have large repercussions for the current cosmological paradigm. Though significant measurements have been made, sensitivity to the radio dipole is generally hampered by systematic effects that can cause large biases in the measurement. Here we assess these systematics with data from the MeerKAT Absorption Line Survey (MALS). We present the analysis of ten MALS pointings, focusing on systematic effects that could lead to an inhomogeneous catalogue. We describe the calibration and creation of full band continuum images and catalogues, producing a combined catalogue containing 16,313 sources and covering 37.5 square degrees of sky down to a sensitivity of 10 $\mu$Jy/beam. We measure the completeness, purity, and flux recovery statistics for these catalogues using simulated data. We investigate different source populations in the catalogues by looking at flux densities and spectral indices, and how they might influence source counts. Using the noise characteristics of the pointings, we find global measures that can be used to correct for the incompleteness of the catalogue, producing corrected number counts down to 100 - 200 $\mu$Jy. We show that we can homogenise the catalogues and properly account for systematic effects. We determine that we can measure the dipole to $3\sigma$ significance with 100 MALS pointings.


title: A Visual Representation-guided Framework with Global Affinity for Weakly Supervised Salient Object Detection

abstract: Fully supervised salient object detection (SOD) methods have made considerable progress in performance, yet these models rely heavily on expensive pixel-wise labels. Recently, to achieve a trade-off between labeling burden and performance, scribble-based SOD methods have attracted increasing attention. Previous scribble-based models directly implement the SOD task only based on SOD training data with limited information, it is extremely difficult for them to understand the image and further achieve a superior SOD task. In this paper, we propose a simple yet effective framework guided by general visual representations with rich contextual semantic knowledge for scribble-based SOD. These general visual representations are generated by self-supervised learning based on large-scale unlabeled datasets. Our framework consists of a task-related encoder, a general visual module, and an information integration module to efficiently combine the general visual representations with task-related features to perform the SOD task based on understanding the contextual connections of images. Meanwhile, we propose a novel global semantic affinity loss to guide the model to perceive the global structure of the salient objects. Experimental results on five public benchmark datasets demonstrate that our method, which only utilizes scribble annotations without introducing any extra label, outperforms the state-of-the-art weakly supervised SOD methods. Specifically, it outperforms the previous best scribble-based method on all datasets with an average gain of 5.5% for max f-measure, 5.8% for mean f-measure, 24% for MAE, and 3.1% for E-measure. Moreover, our method achieves comparable or even superior performance to the state-of-the-art fully supervised models.


title: Unpaired Translation from Semantic Label Maps to Images by Leveraging Domain-Specific Simulations

abstract: Photorealistic image generation from simulated label maps are necessitated in several contexts, such as for medical training in virtual reality. With conventional deep learning methods, this task requires images that are paired with semantic annotations, which typically are unavailable. We introduce a contrastive learning framework for generating photorealistic images from simulated label maps, by learning from unpaired sets of both. Due to potentially large scene differences between real images and label maps, existing unpaired image translation methods lead to artifacts of scene modification in synthesized images. We utilize simulated images as surrogate targets for a contrastive loss, while ensuring consistency by utilizing features from a reverse translation network. Our method enables bidirectional label-image translations, which is demonstrated in a variety of scenarios and datasets, including laparoscopy, ultrasound, and driving scenes. By comparing with state-of-the-art unpaired translation methods, our proposed method is shown to generate realistic and scene-accurate translations.


title: Dynamics and Resilience of the Charge Density Wave in a bilayer kagome metal

abstract: Long-range electronic order descending from a metallic parent state constitutes a rich playground to study the intricate interplay of structural and electronic degrees of freedom. With dispersive and correlation features as multifold as topological Dirac-like itinerant states, van-Hove singularities, correlated flat bands, and magnetic transitions at low temperature, kagome metals are located in the most interesting regime where both phonon and electronically mediated couplings are significant. Several of these systems undergo a charge density wave (CDW) transition, and the van-Hove singularities, which are intrinsic to the kagome tiling, have been conjectured to play a key role in mediating such an instability. However, to date, the origin and the main driving force behind this charge order is elusive. Here, we use the topological bilayer kagome metal ScV6Sn6 as a platform to investigate this puzzling problem, since it features both kagome-derived nested Fermi surface and van-Hove singularities near the Fermi level, and a CDW phase that affects the susceptibility, the neutron scattering, and the specific heat, similarly to the siblings AV3Sb5 (A = K, Rb, Cs) and FeGe. We report on our findings from high-resolution angle-resolved photoemission, density functional theory, and time-resolved optical spectroscopy to unveil the dynamics of its CDW phase. We identify the structural degrees of freedom to play a fundamental role in the stabilization of charge order. Along with a comprehensive analysis of the subdominant impact from electronic correlations, we find ScV6Sn6 to feature an instance of charge density wave order that predominantly originates from phonons. As we shed light on the emergent phonon profile in the low-temperature ordered regime, our findings pave the way for a deeper understanding of ordering phenomena in all CDW kagome metals.


title: Solution formula for the general birth-death chemical diffusion master equation

abstract: We propose a solution formula for chemical diffusion master equations of birth and death type. These equations, proposed and formalized in the recent paper [5], aim at incorporating the spatial diffusion of molecules into the description provided by the classical chemical master equation. We start from the general approach developed in [20] and perform a more detailed analysis of the representation found there. This leads to a solution formula for birth-death chemical diffusion master equations which is expressed in terms of the solution to the reaction-diffusion partial differential equation associated with the system under investigation. Such representation also reveals a striking analogy with the solution to the classical birth-death chemical master equations. The solutions of our findings are also illustrated for several examples.


title: Scalable Infomin Learning

abstract: The task of infomin learning aims to learn a representation with high utility while being uninformative about a specified target, with the latter achieved by minimising the mutual information between the representation and the target. It has broad applications, ranging from training fair prediction models against protected attributes, to unsupervised learning with disentangled representations. Recent works on infomin learning mainly use adversarial training, which involves training a neural network to estimate mutual information or its proxy and thus is slow and difficult to optimise. Drawing on recent advances in slicing techniques, we propose a new infomin learning approach, which uses a novel proxy metric to mutual information. We further derive an accurate and analytically computable approximation to this proxy metric, thereby removing the need of constructing neural network-based mutual information estimators. Experiments on algorithmic fairness, disentangled representation learning and domain adaptation verify that our method can effectively remove unwanted information with limited time budget.


title: CoPracTter: Toward Integrating Personalized Practice Scenarios, Timely Feedback and Social Support into An Online Support Tool for Coping with Stuttering in China

abstract: Stuttering is a speech disorder influencing over 70 million people worldwide, including 13 million in China. It causes low self-esteem among other detrimental effects on people who stutter (PwS). Although prior work has explored approaches to assist PwS, they primarily focused on western contexts. In our formative study, we found unique practices and challenges among Chinese PwS. We then iteratively designed an online tool, CoPracTter, to support Chinese PwS practicing speaking fluency with 1) targeted stress-inducing practice scenarios, 2) real-time speech indicators, and 3) personalized timely feedback from the community. We further conducted a seven-day deployment study (N=11) to understand how participants utilized these key features. To our knowledge, it is the first time such a prototype was designed and tested for a long time with multiple PwS participants online simultaneously. Results indicate that personalized practice with targeted scenarios and timely feedback from a supportive community assisted PwS in speaking fluently, staying positive, and facing similar real-life circumstances.


title: Unipotent homotopy theory of schemes

abstract: Building on To\"en's work on affine stacks, we develop a certain homotopy theory for schemes, which we call "unipotent homotopy theory." Over a field of characteristic $p>0$, we prove that the unipotent homotopy group schemes $\pi_i^{\mathrm{U}}(\,\cdot\,)$ introduced in our paper recover the unipotent Nori fundamental group scheme, the $p$-adic \'etale homotopy groups, as well as certain formal groups introduced by Artin and Mazur. We prove a version of the classical Freudenthal suspension theorem as well as a profiniteness theorem for unipotent homotopy group schemes. We also introduce the notion of a formal sphere and use it to show that for Calabi-Yau varieties of dimension $n$, the group schemes $\pi_i^{\mathrm{U}}(\,\cdot\,)$ are derived invariants for all $i \ge 0$; the case $i=n$ is related to recent work of Antieau and Bragg involving topological Hochschild homology. Using the unipotent homotopy group schemes, we establish a correspondence between formal Lie groups and certain higher algebraic structures.


title: Relative Auslander--Gorenstein Pairs

abstract: In this paper, we introduce and study relative Auslander--Gorenstein pairs. This consists of a finite-dimensional Gorenstein algebra together with a self-orthogonal module that provides a further homological feature of the algebra in terms of relative dominant dimension. These pairs will be called relative Auslander pairs whenever the algebra in question has finite global dimension. We characterize relative Auslander pairs by the existence and uniqueness of tilting-cotilting modules having higher values relative dominant and codominant dimension with respect to the self-orthogonal module. The same characterisation remains valid for relative Auslander--Gorenstein pairs if the self-orthogonal module has injective or projective dimension at most one. Our relative approach generalises and unifies the known results from the literature, for instance, the characterization of minimal Auslander--Gorenstein algebras. As an application of our methods, we prove that for any relative Auslander pair pieces of the module category of the endomorphism algebra of the self-orthogonal module can be identified with pieces of the module category of the endomorphism algebra of the unique tilting-cotilting module associated with the relative Auslander pair. We provide explicit examples of relative Auslander pairs.


title: Post-fabrication frequency trimming of coplanar-waveguide resonators in circuit QED quantum processors

abstract: We present the use of grounding airbridge arrays to trim the frequency of microwave coplanar-waveguide (CPW) resonators post fabrication. This method is compatible with the fabrication steps of conventional CPW airbridges and crossovers and increases device yield by allowing compensation of design and fabrication uncertainty with $100~\mathrm{MHz}$ range and $10~\mathrm{MHz}$ resolution. We showcase two applications in circuit QED. The first is elimination of frequency crowding between resonators intended to readout different transmons by frequency-division multiplexing. The second is frequency matching of readout and Purcell-filter resonator pairs. Combining this matching with transmon frequency trimming by laser annealing reliably achieves fast and high-fidelity readout across 17-transmon quantum processors.


title: Variational Boosted Soft Trees

abstract: Gradient boosting machines (GBMs) based on decision trees consistently demonstrate state-of-the-art results on regression and classification tasks with tabular data, often outperforming deep neural networks. However, these models do not provide well-calibrated predictive uncertainties, which prevents their use for decision making in high-risk applications. The Bayesian treatment is known to improve predictive uncertainty calibration, but previously proposed Bayesian GBM methods are either computationally expensive, or resort to crude approximations. Variational inference is often used to implement Bayesian neural networks, but is difficult to apply to GBMs, because the decision trees used as weak learners are non-differentiable. In this paper, we propose to implement Bayesian GBMs using variational inference with soft decision trees, a fully differentiable alternative to standard decision trees introduced by Irsoy et al. Our experiments demonstrate that variational soft trees and variational soft GBMs provide useful uncertainty estimates, while retaining good predictive performance. The proposed models show higher test likelihoods when compared to the state-of-the-art Bayesian GBMs in 7/10 tabular regression datasets and improved out-of-distribution detection in 5/10 datasets.


title: Parallel Sentence-Level Explanation Generation for Real-World Low-Resource Scenarios

abstract: In order to reveal the rationale behind model predictions, many works have exploited providing explanations in various forms. Recently, to further guarantee readability, more and more works turn to generate sentence-level human language explanations. However, current works pursuing sentence-level explanations rely heavily on annotated training data, which limits the development of interpretability to only a few tasks. As far as we know, this paper is the first to explore this problem smoothly from weak-supervised learning to unsupervised learning. Besides, we also notice the high latency of autoregressive sentence-level explanation generation, which leads to asynchronous interpretability after prediction. Therefore, we propose a non-autoregressive interpretable model to facilitate parallel explanation generation and simultaneous prediction. Through extensive experiments on Natural Language Inference task and Spouse Prediction task, we find that users are able to train classifiers with comparable performance $10-15\times$ faster with parallel explanation generation using only a few or no annotated training data.


title: Finiteness property in Cantor real numeration systems

abstract: For alternate Cantor real base numeration systems we generalize the result of Frougny and~Solomyak on~arithmetics on the set of numbers with finite expansion. We provide a class of alternate bases which satisfy the so-called finiteness property. The proof uses rewriting rules on the~language of~expansions in the corresponding numeration system. The proof is constructive and provides a~method for~performing addition of~expansions in Cantor real bases. We consider a numeration system which is a common generalization of the positional systems introduced by Cantor and R\'enyi. Number representations are obtained using a composition of $\beta_k$-transformations for a given sequence of real bases $B=(\beta_k)_{k\geq 1}$, $\beta_k>1$. We focus on~arithmetical properties of the set of numbers with finite $B$-expansion in case that $B$ is an alternate base, i.e.\ $B$ is a periodic sequence. We provide necessary conditions for the so-called finiteness property. We further show a~sufficient condition using rewriting rules on the~language of~representations. The proof is constructive and provides a~method for~performing addition of~expansions in alternate bases. Finally, we give a family of alternate bases that satisfy this sufficient condition. Our work generalizes the results of Frougny and Solomyak obtained for the case when the base $B$ is a constant sequence.


title: Lipschitz Stability Estimate and Uniqueness in the Retrospective Analysis for The Mean Field Games System via Two Carleman Estimates

abstract: A retrospective analysis process for the mean field games system (MFGS) is considered. For the first time, Carleman estimates are applied to the analysis of the MFGS. Two new Carleman estimates are derived. They allow to obtain the Lipschitz stability estimate with respect to the possible error in the input initial and terminal data for a retrospective problem for MFGS. This stability estimate, in turn implies uniqueness theorem for the problem under the consideration. The idea of using Carleman estimates to obtain stability and uniqueness results came from the field of Ill-Posed and Inverse Problems.


title: Experimental studies of superconducting gap structure and quantum fluctuations in novel superconductors and heavy fermion compounds

abstract: Since its discovery more than a century ago, superconductivity has been at the epicentre of condensed matter physics research. The electron phonon coupling in conventional superconductors, which obeys BCS theory, causes an attractive interaction, resulting in a unique isotropic and fixed sign pairing symmetry ground state. Exotic pairing symmetries are hard to come by in this favourable interaction. While unconventional superconductivity is still a mystery, the potential for novel and exotic coupling symmetries due to the interplay of structural symmetries and Fermi surface (FS) topology makes it a fascinating research issue. In this thesis, we have investigated the magnetic, transport, and microscopic properties of the conventional superconductors HfIrSi, ZrIrSi, and novel superconductors ThCoC$_{2}$, CeIr$_{3}$, primarily through the use of a variety of complementary experimental techniques such as low temperature resistivity, magnetization, heat capacity, and muon spin rotation and relaxation measurements.


title: Per-grain and neighbourhood stress interactions during deformation of a ferritic steel obtained using three-dimensional X-ray diffraction

abstract: Three-dimensional X-ray diffraction (3DXRD) has been used to measure, in-situ, the evolution of $\sim 1800$ grains in a single phase low carbon ferritic steel sample during uniaxial deformation. The distribution of initial residual grain stresses in the material was observed to prevail as plasticity builds, though became less pronounced, and therefore less influential as strain increased. The initial Schmid factor of a grain was found to be strongly correlated to the intergranular stress change and the range of stresses that are permissible; a grain well aligned for easy slip is more likely to exhibit a range of stresses than those orientated poorly for dislocation motion. The orientation path of a grain, however, is not only dependent on its initial orientation, but hypothesised to be influenced by its stress state and the stress state of its grain environment. A grain neighbourhood effect is observed: the Schmid factor of serial adjoining grains influences the stress state of a grain of interest, whereas parallel neighbours are much less influential. This phenomenon is strongest at low plastic strains only, with the effect diminishing as plasticity builds. The influence of initial residual stresses becomes less evident, and grains rotate to eliminate any orientation dependent load shedding. The ability of the BCC ferrite to exhaust such neighbourhood interactions, which would otherwise be detrimental in crystal structures with lower symmetric and fewer slip systems, is considered key to the high ductility possessed by these materials.


title: AOTF based spectro-polarimeter for observing Earth as an Exoplanet

abstract: Earth is the only known habitable planet and it serves as a testbed to benchmark the observations of temperate and more Earth-like exoplanets. It is required to observe the disc-integrated signatures of Earth for a large range of phase angles, resembling the observations of an exoplanet. In this work, an AOTF (Acousto-Optic Tunable Filter) based experiment is designed to observe the spectro-polarimetric signatures of Earth. The results of spectroscopic and polarimetric laboratory calibration are presented here along with a brief overview of a possible instrument configuration. Based on the results of the spectro-polarimetric calibration, simulations are carried out to optimize the instrument design for the expected signal levels for various observing conditions. The usefulness of an AOTF based spectro-polarimeter is established from this study and it is found that, in the present configuration, the instrument can achieve a polarimetric accuracy of $<0.3$\% for linear polarization for an integration time of 100 ms or larger. The design configuration of the instrument and the planning of conducting such observations from Lunar orbit are discussed.


title: Braided Quantum Electrodynamics

abstract: The homotopy algebraic formalism of braided noncommutative field theory is used to define the explicit example of braided electrodynamics, that is, $\mathsf{U}(1)$ gauge theory minimally coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and obtain the braided equations of motion, action functional and conserved matter current. The modifications of the electric charge conservation law due to the braided noncommutative deformation are described. We develop a braided generalization of Wick's theorem, and use it to compute correlation functions of the braided quantum field theory using homological perturbation theory. Our putative calculations indicate that the braided theory does not contain the non-planar Feynman diagrams of conventional noncommutative quantum field theory, and that correlators do not exhibit UV/IR mixing.


title: In-orbit performance of LE onboard Insight-HXMT in the first 5 years

abstract: Purpose: The Low-Energy X-ray telescope (LE) is a main instrument of the Insight-HXMT mission and consists of 96 Swept Charge Devices (SCD) covering the 1-10 keV energy band. The energy gain and resolution are continuously calibrated by analysing Cassiopeia A (Cas A) and blank sky data, while the effective areas are also calibrated with the observations of the Crab Nebula. In this paper, we present the evolution of the in-orbit performances of LE in the first 5 years since launch. Methods: The Insight-HXMT Data Analysis Software package (HXMTDAS) is utilized to extract the spectra of Cas A, blank sky, and Crab Nebula using different Good Time Interval (GTI) selections. We fit a model with a power-law continuum and several Gaussian lines to different ranges of Cas A and blank sky spectra to get peak energies of their lines through xspec. After updating the energy gain calibration in CALibration DataBase (CALDB), we rerun the Cas A data to obtain the energy resolution. An empirical function is used to modify the simulated effective areas so that the background-subtracted spectrum of the Crab Nebula can best match the standard model of the Crab Nebula. Results: The energy gain, resolution, and effective areas are calibrated every month. The corresponding calibration results are duly updated in CALDB, which can be downloaded and used for the analysis of Insight-HXMT data. Simultaneous observations with NuSTAR and NICER can also be used to verify our derived results. Conclusion: LE is a well calibrated X-ray telescope working in 1-10 keV band. The uncertainty of LE gain is less than 20 eV in 2-9 keV band and the uncertainty of LE resolution is less than 15eV. The systematic errors of LE, compared to the model of the Crab Nebula, are lower than 1.5% in 1-10 keV.


title: A Personalized Fluid-structure Interaction Modeling Paradigm for Aorta in Human Fetuses

abstract: Background - Congenital heart disease (CHD) is the most common birth defect and a leading cause of death and chronic illness in newborns, infants, and children. Prenatal screening and identification of CHD are critically important, but their availability and accuracy are limited by current fetal imaging techniques. To date, few models have been developed for fetal circulation. Considering the fetal aorta is frequently affected in CHDs, this study aims to develop and validate a novel model to assess the hemodynamics of the fetal aorta. Methods - Fetal echocardiography (FE) and Doppler were used to build a fluid-structure interaction (FSI) model that assesses the fetal aorta in 3 dimensions. An inverse approach was used to obtain the material property. An iterative method was also proposed to estimate the outflow boundaries. The FSI results have been validated against clinically measured dimensions and velocities over a cardiac cycle for aortas in 4 healthy fetuses. Results - The proposed FSI model has been implemented in 4 healthy fetal aortas representing a range of gestational age (GA = 23.5-36.0 weeks). The iterative method successfully estimated Windkessel parameters that match in vivo measured flow rates at outflow boundaries. The FSI model has been validated using in vivo velocity waveforms at the aortic isthmus. The resultant L2-norm was [12.5%, 16.4%], which is acceptable based on previous simulation studies. Also, the aortic stiffness of the fetal aorta decreased with GA, adding evidence to an existing controversy about the trend between aortic stiffness and GA. Conclusions - This study represents the first-of-its-kind endeavor of a rigorously validated personalized flow model for fetal circulation. The developed FSI model has been successfully validated for four subjects. The model was also used to obtain new evidence of fetal aortic development and growth.


title: Cosmologies with turning points

abstract: We explore singularity-free and geodesically-complete cosmologies based on manifolds that are not quite Lorentzian. The metric can be either smooth everywhere or non-degenerate everywhere, but not both, depending on the coordinate system. The smooth metric gives an Einstein tensor that is first order in derivatives while the non-degenerate metric has a piecewise FLRW form. On such a manifold the universe can transition from expanding to contracting, or vice versa, with the Einstein equations satisfied everywhere and without violation of standard energy conditions. We also obtain a corresponding extension of the Kasner vacuum solutions on such manifolds.


title: Deep Reinforcement Learning for Robotic Pushing and Picking in Cluttered Environment

abstract: In this paper, a novel robotic grasping system is established to automatically pick up objects in cluttered scenes. A composite robotic hand composed of a suction cup and a gripper is designed for grasping the object stably. The suction cup is used for lifting the object from the clutter first and the gripper for grasping the object accordingly. We utilize the affordance map to provide pixel-wise lifting point candidates for the suction cup. To obtain a good affordance map, the active exploration mechanism is introduced to the system. An effective metric is designed to calculate the reward for the current affordance map, and a deep Q-Network (DQN) is employed to guide the robotic hand to actively explore the environment until the generated affordance map is suitable for grasping. Experimental results have demonstrated that the proposed robotic grasping system is able to greatly increase the success rate of the robotic grasping in cluttered scenes.


title: Effects of Architectures on Continual Semantic Segmentation

abstract: Research in the field of Continual Semantic Segmentation is mainly investigating novel learning algorithms to overcome catastrophic forgetting of neural networks. Most recent publications have focused on improving learning algorithms without distinguishing effects caused by the choice of neural architecture.Therefore, we study how the choice of neural network architecture affects catastrophic forgetting in class- and domain-incremental semantic segmentation. Specifically, we compare the well-researched CNNs to recently proposed Transformers and Hybrid architectures, as well as the impact of the choice of novel normalization layers and different decoder heads. We find that traditional CNNs like ResNet have high plasticity but low stability, while transformer architectures are much more stable. When the inductive biases of CNN architectures are combined with transformers in hybrid architectures, it leads to higher plasticity and stability. The stability of these models can be explained by their ability to learn general features that are robust against distribution shifts. Experiments with different normalization layers show that Continual Normalization achieves the best trade-off in terms of adaptability and stability of the model. In the class-incremental setting, the choice of the normalization layer has much less impact. Our experiments suggest that the right choice of architecture can significantly reduce forgetting even with naive fine-tuning and confirm that for real-world applications, the architecture is an important factor in designing a continual learning model.


title: Memory-augmented Online Video Anomaly Detection

abstract: The ability to understand the surrounding scene is of paramount importance for Autonomous Vehicles (AVs). This paper presents a system capable to work in an online fashion, giving an immediate response to the arise of anomalies surrounding the AV, exploiting only the videos captured by a dash-mounted camera. Our architecture, called MOVAD, relies on two main modules: a Short-Term Memory Module to extract information related to the ongoing action, implemented by a Video Swin Transformer (VST), and a Long-Term Memory Module injected inside the classifier that considers also remote past information and action context thanks to the use of a Long-Short Term Memory (LSTM) network. The strengths of MOVAD are not only linked to its excellent performance, but also to its straightforward and modular architecture, trained in a end-to-end fashion with only RGB frames with as less assumptions as possible, which makes it easy to implement and play with. We evaluated the performance of our method on Detection of Traffic Anomaly (DoTA) dataset, a challenging collection of dash-mounted camera videos of accidents. After an extensive ablation study, MOVAD is able to reach an AUC score of 82.17\%, surpassing the current state-of-the-art by +2.87 AUC. Our code will be available on https://github.com/IMPLabUniPr/movad/tree/movad_vad


title: Learning to Play Text-based Adventure Games with Maximum Entropy Reinforcement Learning

abstract: Text-based games are a popular testbed for language-based reinforcement learning (RL). In previous work, deep Q-learning is commonly used as the learning agent. Q-learning algorithms are challenging to apply to complex real-world domains due to, for example, their instability in training. Therefore, in this paper, we adapt the soft-actor-critic (SAC) algorithm to the text-based environment. To deal with sparse extrinsic rewards from the environment, we combine it with a potential-based reward shaping technique to provide more informative (dense) reward signals to the RL agent. We apply our method to play difficult text-based games. The SAC method achieves higher scores than the Q-learning methods on many games with only half the number of training steps. This shows that it is well-suited for text-based games. Moreover, we show that the reward shaping technique helps the agent to learn the policy faster and achieve higher scores. In particular, we consider a dynamically learned value function as a potential function for shaping the learner's original sparse reward signals.


title: Cometary dust collected by MIDAS on board Rosetta. I. Dust particle catalog and statistics

abstract: We aim to catalog all dust particles collected and analyzed by MIDAS, together with their main statistical properties such as size, height, basic shape descriptors, and collection time. Furthermore, we aim to present the scientific results that can be extracted from the catalog (e.g., the size distribution and statistical characteristics of cometary dust particles). The existing MIDAS particle catalog has been greatly improved by a careful re-analysis of the AFM images, leading to the addition of more dust particles and a detailed description of the particle properties. The catalog documents all images of identified dust particles and includes a variety of derived information tabulated one record per particle. Furthermore, the best image of each particle was chosen for subsequent studies. Finally, we created dust coverage maps and clustering maps of the MIDAS collection targets and traced any possible fragmentation of collected particles with a detailed algorithm. The revised MIDAS catalog includes 3523 MIDAS particles in total, where 1857 particles are expected to be usable for further analysis (418 scans of particles before perihelion + 1439 scans of particles after perihelion, both after the removal of duplicates), ranging from about 40 nm to about 8 ${\mu}$m in size. The mean value of the equivalent radius derived from the 2D projection of the particles is 0.91 ${\pm}$ 0.79 ${\mu}$m. A slightly improved equivalent radius based on the particle's volume coincides in the range of uncertainties with a value of 0.56 ${\pm}$ 0.45 ${\mu}$m. We note that those sizes and all following MIDAS particle size distributions are expected to be influenced by the fragmentation of MIDAS particles upon impact on the collection targets. Furthermore, fitting the slope of the MIDAS particle size distribution with a power law of a r ${^b}$ yields an index b of ${\sim}$ -1.67 to -1.88.


title: Characterizing the Optimal 0-1 Loss for Multi-class Classification with a Test-time Attacker

abstract: Finding classifiers robust to adversarial examples is critical for their safe deployment. Determining the robustness of the best possible classifier under a given threat model for a given data distribution and comparing it to that achieved by state-of-the-art training methods is thus an important diagnostic tool. In this paper, we find achievable information-theoretic lower bounds on loss in the presence of a test-time attacker for multi-class classifiers on any discrete dataset. We provide a general framework for finding the optimal 0-1 loss that revolves around the construction of a conflict hypergraph from the data and adversarial constraints. We further define other variants of the attacker-classifier game that determine the range of the optimal loss more efficiently than the full-fledged hypergraph construction. Our evaluation shows, for the first time, an analysis of the gap to optimal robustness for classifiers in the multi-class setting on benchmark datasets.


title: A Cooperative Multi-Agent Probabilistic Framework for Search and Track Missions

abstract: In this work a robust and scalable cooperative multi-agent searching and tracking framework is proposed. Specifically, we study the problem of cooperative searching and tracking of multiple moving targets by a group of autonomous mobile agents with limited sensing capabilities. We assume that the actual number of targets present is not known a priori and that target births/deaths can occur anywhere inside the surveillance region thus efficient search strategies are required to detect and track as many targets as possible. To address the aforementioned challenges we recursively compute and propagate in time the searching-and-tracking (SAT) density. Using the SAT-density, we then develop decentralized cooperative look-ahead strategies for efficient searching and tracking of an unknown number of targets inside a bounded surveillance area.


title: ChatGPT: Jack of all trades, master of none

abstract: OpenAI has released the Chat Generative Pre-trained Transformer (ChatGPT) and revolutionized the approach in artificial intelligence to human-model interaction. Several publications on ChatGPT evaluation test its effectiveness on well-known natural language processing (NLP) tasks. However, the existing studies are mostly non-automated and tested on a very limited scale. In this work, we examined ChatGPT's capabilities on 25 diverse analytical NLP tasks, most of them subjective even to humans, such as sentiment analysis, emotion recognition, offensiveness, and stance detection. In contrast, the other tasks require more objective reasoning like word sense disambiguation, linguistic acceptability, and question answering. We also evaluated GPT-4 model on five selected subsets of NLP tasks. We automated ChatGPT and GPT-4 prompting process and analyzed more than 49k responses. Our comparison of its results with available State-of-the-Art (SOTA) solutions showed that the average loss in quality of the ChatGPT model was about 25% for zero-shot and few-shot evaluation. For GPT-4 model, a loss for semantic tasks is significantly lower than for ChatGPT. We showed that the more difficult the task (lower SOTA performance), the higher the ChatGPT loss. It especially refers to pragmatic NLP problems like emotion recognition. We also tested the ability to personalize ChatGPT responses for selected subjective tasks via Random Contextual Few-Shot Personalization, and we obtained significantly better user-based predictions. Additional qualitative analysis revealed a ChatGPT bias, most likely due to the rules imposed on human trainers by OpenAI. Our results provide the basis for a fundamental discussion of whether the high quality of recent predictive NLP models can indicate a tool's usefulness to society and how the learning and validation procedures for such systems should be established.


title: First reconstruction of absolute three-dimensional position of nuclear recoils using a negative ion $\mu$-TPC for dark matter search experiments

abstract: Studies of micro time projection chambers using negative ion gas (NI$\mu$TPC) are conducted especially for direction-sensitive dark matter searches. A NI$\mu$TPC enables to measure the absolute position in the drift direction for self-triggering TPCs. This study provides a development of a NI$\mu$TPC using a micro pixel chamber ($\mu$-PIC) with dedicated readout electronics, and an evaluation of the capability of three-dimensional absolute position reconstruction of nuclear recoil using a neutron source. The absolute track position was reconstructed throughout the drift volume with an efficiency of 70$\pm$5%. This work marks an important step for the NI$\mu$TPCs towards the practical use for directional dark matter searches.


title: Exploring Local Norms in Exp-concave Statistical Learning

abstract: We consider the problem of stochastic convex optimization with exp-concave losses using Empirical Risk Minimization in a convex class. Answering a question raised in several prior works, we provide a $O( d / n + \log( 1 / \delta) / n )$ excess risk bound valid for a wide class of bounded exp-concave losses, where $d$ is the dimension of the convex reference set, $n$ is the sample size, and $\delta$ is the confidence level. Our result is based on a unified geometric assumption on the gradient of losses and the notion of local norms.


title: Design Project of an Open-Source, Low-Cost, and Lightweight Robotic Manipulator for High School Students

abstract: In recent years, there is an increasing interest in high school robotics extracurriculars such as robotics clubs and robotics competitions. The growing demand is a result of more ubiquitous open-source software and affordable off-the-shelf hardware kits, which significantly help lower the barrier for entry-level robotics hobbyists. In this project, we present an open-source, low-cost, and lightweight robotic manipulator designed and developed by a high school researcher under the guidance of a university faculty and a Ph.D. student. We believe the presented project is suitable for high school robotics research and educational activities. Our open-source package consists of mechanical design models, mechatronics specifications, and software program source codes. The mechanical design models include CAD (Computer Aided Design) files that are ready for prototyping (3D printing technology) and serve as an assembly guide accommodated with a complete bill of materials. Electrical wiring diagrams and low-level controllers are documented in detail as part of the open-source software package. The educational objective of this project is to enable high school student teams to replicate and build a robotic manipulator. The engineering experience that high school students acquire in the proposed project is full-stack, including mechanical design, mechatronics, and programming. The project significantly enriches their hands-on engineering experience in a project-based environment. Throughout this project, we discovered that the high school researcher was able to apply multidisciplinary knowledge from K-12 STEM courses to build the robotic manipulator. The researcher was able to go through a system engineering design and development process and obtain skills to use professional engineering tools including SolidWorks and Arduino microcontrollers.


title: Intergranular Hotspots: A Molecular Dynamics Study on the Influence of Compressive and Shear Work

abstract: Numerous crystal- and microstructural-level mechanisms are at play in the formation of hotspots, which are known to govern high explosive initiation behavior. Most of these mechanisms, including pore collapse, interfacial friction, and shear banding, involve both compressive and shear work done within the material and have thus far remained difficult to separate. We assess hotspots formed at shocked crystal-crystal interfaces using quasi-1D molecular dynamics simulations that isolate effects due to compression and shear. Two high explosive materials are considered (TATB and PETN) that exhibit distinctly different levels of molecular conformational flexibility and crystal packing anisotropy. Temperature and intra-molecular strain energy localization in the hotspot is assessed through parametric variation of the crystal orientation and two velocity components that respectively modulate compression and shear work. The resulting hotspots are found to be highly localized to a region within 5-20 nm of the crystal-crystal interface. Compressive work plays a considerably larger role in localizing temperature and intra-molecular strain energy for both materials and all crystal orientations considered. Shear induces a moderate increase in energy localization relative to unsheared cases only for relatively weak compressive shock pressures of approximately 10 GPa. These results help isolate and rank the relative importance of hotspot generation mechanisms and are anticipated to guide the treatment of crystal-crystal interfaces in coarse-grained models of polycrystalline high explosive materials.


title: Understanding Dynamic Human-Robot Proxemics in the Case of Four-Legged Canine-Inspired Robots

abstract: Recently, quadruped robots have been well developed with potential applications in different areas, such as care homes, hospitals, and other social areas. To ensure their integration in such social contexts, it is essential to understand people's proxemic preferences around such robots. In this paper, we designed a human-quadruped-robot interaction study (N = 32) to investigate the effect of 1) different facing orientations and 2) the gaze of a moving robot on human proxemic distance. Our work covers both static and dynamic interaction scenarios. We found a statistically significant effect of both the robot's facing direction and its gaze on preferred personal distances. The distances humans established towards certain robot behavioral modes reflect their attitudes, thereby guiding the design of future autonomous robots.


title: Depth Estimation and Image Restoration by Deep Learning from Defocused Images

abstract: Monocular depth estimation and image deblurring are two fundamental tasks in computer vision, given their crucial role in understanding 3D scenes. Performing any of them by relying on a single image is an ill-posed problem. The recent advances in the field of Deep Convolutional Neural Networks (DNNs) have revolutionized many tasks in computer vision, including depth estimation and image deblurring. When it comes to using defocused images, the depth estimation and the recovery of the All-in-Focus (Aif) image become related problems due to defocus physics. Despite this, most of the existing models treat them separately. There are, however, recent models that solve these problems simultaneously by concatenating two networks in a sequence to first estimate the depth or defocus map and then reconstruct the focused image based on it. We propose a DNN that solves the depth estimation and image deblurring in parallel. Our Two-headed Depth Estimation and Deblurring Network (2HDED:NET) extends a conventional Depth from Defocus (DFD) networks with a deblurring branch that shares the same encoder as the depth branch. The proposed method has been successfully tested on two benchmarks, one for indoor and the other for outdoor scenes: NYU-v2 and Make3D. Extensive experiments with 2HDED:NET on these benchmarks have demonstrated superior or close performances to those of the state-of-the-art models for depth estimation and image deblurring.


title: Real roots of real cubics and optimization

abstract: The solution of the cubic equation has a century-long history; however, the usual presentation is geared towards applications in algebra and is somewhat inconvenient to use in optimization where frequently the main interest lies in real roots. In this note, we present the roots of the cubic in a form that makes them convenient to use and we also focus on information on the location of the real roots. Armed with this, we provide several applications in optimization where we compute Fenchel conjugates, proximal mappings and projections.


title: A residual stress characterization method of a small diameter wire by matter removal

abstract: Standard spring design is based on the assumption that there is no residual stress in the wire. This assumption can be quite strong for small wires that undergo a significant wire drawing during the manufacturing process. The main objective of this work is to design and test a method for characterizing residual stresses in small diameter drawn wires. The basic principle consists in removing a part of the material and then measuring the associated displacements. This material removal was simulated by finite elements and experimented in real situation. The first results are encouraging because they seem to show that the residual stresses in the wire studied are significant, and justify our investigations.


title: Low-temperature specific heat and heat transport of Tb$_2$Ti$_{2-x}$Zr$_x$O$_7$ single crystals

abstract: We report a study on the specific heat and heat transport of Tb$_2$Ti$_{2-x}$Zr$_x$O$_7$ ($x =$ 0, 0.02, 0.1, 0.2, and 0.4) single crystals at low temperatures and in high magnetic fields. The magnetic specific heat can be described by the Schottky contribution from the crystal-electric-field (CEF) levels of Tb$^{3+}$, with introducing Gaussian distributions of the energy split of the ground-state doublet and the gap between the ground state and first excited level. These crystals has an extremely low phonon thermal conductivity in a broad temperature range that can be attributed to the scattering by the magnetic excitations, which are mainly associated with the CEF levels. There is strong magnetic field dependence of thermal conductivity, which is more likely related to the field-induced changes of phonon scattering by the CEF levels than magnetic transitions or spin excitations. For magnetic field along the [111] direction, there is large thermal Hall conductivity at low temperatures which displays a broad peak around 8 T. At high fields up to 14 T, the thermal Hall conductivity decreases to zero, which supports its origin from either the spinon transport or the phonon skew scattering by CEF levels. The thermal Hall effect is rather robust with Zr doping up to 0.2 but is strongly weakened in higher Zr-doped sample.


title: Quantum causality in $\kappa$-Minkowski and related constraints

abstract: We study quantum causal structures in $1+1$ $\kappa$-Minkowski space-time described by a Lorentzian Spectral Triple whose Dirac operator is built from a natural set of twisted derivations of the $\kappa$-Poincar\'e algebra. We show that the Lorentzian Spectral Triple must be twisted to accommodate the twisted nature of the derivations. We exhibit various interesting classes of causal functions, including an analog of the light-cone coordinates. We show in particular that the existence of a causal propagation between two pure states, the quantum analogs of points, can exist provided quantum constraints, linking the momentum and the space coordinate, are satisfied. One of these constraints is a quantum analog of the speed of light limit.


title: Global survey of star clusters in the Milky Way -- VII. Tidal parameters and mass function

abstract: We built Galactic open star cluster mass functions (CMFs) for different age sub-samples in the wider solar neighbourhood. We present a simple cluster formation and evolution model to reproduce the main features of the CMFs. We used an unbiased sample of 2227 clusters of the Milky Way Star Cluster (MWSC) catalogue, which occupy the heliocentric cylinders with magnitude-dependent completeness radii of 1-5 kpc. We derived tidal masses of clusters with an accuracy of 70%. Our cluster formation and evolution model is based on the cluster initial mass function, the cluster formation rate, cluster mass loss due to stellar evolution and the clusters' dynamical evolution in the Galactic tidal field. The obtained tidal masses have been added to the MWSC catalogue. A general CMF (GCMF), built for all cluster ages around the Sun, extends over four decades in mass. The high-mass slope is +1.14. The CMFs for different age groups show the same high-mass slopes, while the low-mass slope is flat for the youngest sub-sample and about -0.7 for the others. The sub-samples inside and outside the solar Galactocentric radius are consistent with the GCMF, once the exponential decline of the Galactic disc density is taken into account. The model suggests star formation with low efficiency of 15%, where 10% of stars remain bound in a cluster after gas expulsion and violent relaxation. The cluster formation rate required to reproduce the observed age-mass-distribution is 0.4 solar masses per square pc and Gyr. The obtained high-mass slope of the GCMF for the wide solar neighbourhood is similar to slopes determined in nearby galaxies. The MWSC catalogue supports models with low star-formation efficiency, where 90% of stars are lost quickly after gas expulsion. The cluster formation rate corresponds to open clusters' contribution to the stellar content of the thin disc of 30%.


title: Bus Admittance Matrix Revisited: Is It Outdated on Modern Computers?

abstract: Bus admittance matrix is widely used in power engineering for modeling networks. Being highly sparse, it requires fewer CPU operations when used for calculations. Meanwhile, sparse matrix calculations involve numerous indexing and scalar operations, which are unfavorable to modern processors. Without using the admittance matrix, nodal power injections and the corresponding sparse Jacobian can be computed by an element-wise method, which consists of a highly regular, vectorized evaluation step and a reduction step. This paper revisits the admittance matrix from the computational performance perspective by comparing it with the element-wise method. Case studies show that the admittance matrix method is generally slower than the element-wise method for grid test cases with thousands to hundreds of thousands of buses, especially on CPUs with support for wide vector instructions. This paper also analyzes the impact of the width of vector instructions and memory speed to predict the trend for future computers.


title: Quantum kinetics of quenched two-dimensional Bose superfluids

abstract: We study theoretically the non-equilibrium dynamics of a two-dimensional (2D) uniform Bose superfluid following a quantum quench, from its short-time (prethermal) coherent dynamics to its long-time thermalization. Using a quantum hydrodynamic description combined with a Keldysh field formalism, we derive quantum kinetic equations for the low-energy phononic excitations of the system and characterize both their normal and anomalous momentum distributions. We apply this formalism to the interaction quench of a 2D Bose gas and study the ensuing dynamics of its quantum structure factor and coherence function, both recently measured experimentally. Our results indicate that in two dimensions, a description in terms of independent quasi-particles becomes quickly inaccurate and should be systematically questioned when dealing with non-equilibrium scenarios.


title: An inverse modeling method to estimate undertain spatial configurations from 2d information and time-based visual discriminations

abstract: This paper focuses on a specific aspect of human visual discrimination from computationally generated solutions for CAAD ends. The bottleneck at work here concern informational ratios of discriminative rates over generative ones. The amount of information that can be brought to a particular sensory modality for human perception is subject to bandwidth and dimensional limitations. This problem is well known in Brain-Computer Interfaces, where the flow of relevant information must be maintained through such interaction for applicative ends and adoption of use in many fields of human activity. While architectural modeling conveys a high level of complexity in its processes, let alone in the presentation of its generated design solutions, promises in applicative potentials of such interfaces must be made aware of these fundamental issues and need developments of appropriate sophistication. This paper addresses this informational bottleneck by introducing a method to retrieve spatial information from the rapid serial visual presentation of generated pictures. This method will be explained and defined as inverse modeling, based on inverse graphics, and its relation to human visual processing.


title: MalProtect: Stateful Defense Against Adversarial Query Attacks in ML-based Malware Detection

abstract: ML models are known to be vulnerable to adversarial query attacks. In these attacks, queries are iteratively perturbed towards a particular class without any knowledge of the target model besides its output. The prevalence of remotely-hosted ML classification models and Machine-Learning-as-a-Service platforms means that query attacks pose a real threat to the security of these systems. To deal with this, stateful defenses have been proposed to detect query attacks and prevent the generation of adversarial examples by monitoring and analyzing the sequence of queries received by the system. Several stateful defenses have been proposed in recent years. However, these defenses rely solely on similarity or out-of-distribution detection methods that may be effective in other domains. In the malware detection domain, the methods to generate adversarial examples are inherently different, and therefore we find that such detection mechanisms are significantly less effective. Hence, in this paper, we present MalProtect, which is a stateful defense against query attacks in the malware detection domain. MalProtect uses several threat indicators to detect attacks. Our results show that it reduces the evasion rate of adversarial query attacks by 80+\% in Android and Windows malware, across a range of attacker scenarios. In the first evaluation of its kind, we show that MalProtect outperforms prior stateful defenses, especially under the peak adversarial threat.


title: The quantum harmonic oscillator with icosahedral symmetry and some explicit wavefunctions

abstract: The Dunkl Laplacian is used to define the Hamiltonian of a modified quantum harmonic oscillator, associated with any finite reflection group. The potential is a sum of the inverse squares of the linear functions whose zero sets are the mirrors of the group's reflections. The symmetric group version of this is known as the Calogero-Moser model of N identical particles on a line. This paper focuses on the group of symmetries of the regular icosahedron, associated to the root system of type H3. Special wavefunctions are defined by a generating function arising from the vertices of the icosahedron and have the key property of allowing easy calculation of the effect of the Dunkl Laplacian. The ground state is the product of a Gaussian function with powers of linear functions coming from the root system. Two types of wavefunctions are considered, inhomogeneous polynomials with specified top-degree part, and homogeneous harmonic polynomials. The squared norms for both types are explicitly calculated. Symmetrization is applied to produce the invariant polynomials of both types, as well as their squared norms. The action of the angular momentum square on the harmonic homogeneous polynomials is determined. There is also a sixth-order operator commuting with the Hamiltonian and the group action.


title: Machine Learning Electronic Structure Methods Based On The One-Electron Reduced Density Matrix

abstract: The theorems of density functional theory (DFT) and reduced density matrix functional theory (RDMFT) establish a bijective map between the external potential of a many-body system and its electron density or one-particle reduced density matrix. Building on this foundation, we show that machine learning can be used to generate surrogate electronic structure methods. In particular, we generate surrogates of local and hybrid DFT as well as Hartree-Fock and full configuration interaction theories for systems ranging from small molecules such as water to more complex compounds like propanol and benzene. The surrogate models use the one-electron reduced density matrix as the central quantity to be learned. From the predicted density matrices, we show that either standard quantum chemistry or a second machine-learning model can be used to compute molecular observables, energies, and atomic forces. We show that the surrogate models can generate essentially anything that a standard electronic structure method can, ranging from band gaps and Kohn-Sham orbitals to energy-conserving ab-initio molecular dynamics simulations and IR spectra, which account anharmonicity and thermal effects, without the need of computationally expensive algorithms such as self-consistent field theory. The algorithms developed here are packaged in an efficient and easy to use Python code, QMLearn, accessible by the broader community on popular platforms.


title: Group IV Mid-Infrared Thermophotovoltaic Cells on Silicon

abstract: Compound semiconductors have been the predominant building blocks for the current mid-infrared thermophotovoltaic devices relevant to sub-2000 K heat conversion and power beaming. However, the prohibitively high cost associated with these technologies limits their broad adoption. Herein, to alleviate this challenge we introduce an all-group IV mid-infrared cell consisting of GeSn alloy directly on a silicon wafer. This emerging class of semiconductors provides strain and composition as degrees of freedom to control the bandgap energy thus covering the entire mid-infrared range. The proposed thermophotovoltaic device is composed of a fully relaxed Ge$_{0.83}$Sn$_{0.17}$ double heterostructure corresponding to a bandgap energy of 0.29 eV. A theoretical framework is derived to evaluate cell performance under high injection. The black-body radiation absorption is investigated using the generalized transfer matrix method thereby considering the mixed coherent/incoherent layer stacking. Moreover, the intrinsic recombination mechanisms and their importance in a narrow bandgap semiconductor were also taken into account. In this regard, the parabolic band approximation and Fermi's golden rule were combined for an accurate estimation of the radiative recombination rate. Based on these analyses, power conversion efficiencies of up to 9% are predicted for Ge$_{0.83}$Sn$_{0.17}$ thermophotovoltaic cells under black-body radiation at temperatures in the 500-1500 K range. A slight improvement in the efficiency is observed under the frontside illumination but vanishes below 800 K, while the use of a backside reflector improves the efficiency across the investigated black-body temperature range. The effects of the heterostructure thickness, surface recombination velocity, and carrier lifetime are also elucidated and discussed.


title: Rational Limit Cycles of Abel Differential Equations

abstract: We study the number of rational limit cycles of the Abel equation $x'=A(t)x^3+B(t)x^2$, where $A(t)$ and $B(t)$ are real trigonometric polynomials. We show that this number is at most the degree of $A(t)$ plus one.


title: An on-demand source of non-local energy-entangled quantum states using Levitons

abstract: We propose a device where Electronic Quantum Optics (EQO) is combined with a BCS superconductor -- a reservoir of Cooper pairs. With spin polarized wave guides, this version of the Cooper pair beam splitter is driven by an AC drive, and observables such as period-averaged noise are computed using a Keldysh-Nambu-Floquet formalism. When the (low frequency) voltage applied to the superconductor consists of a train of periodic Lorentzian pulses and the Andreev regime is specified (large gap limit), this allows to propose an on-demand source of non-local energy-entangled states (which we characterise with perturbation theory) operating in the AC regime. We study realistic experimental parameters for our device in order to examine its feasibility.


title: Constrained Generative Sampling of 6-DoF Grasps

abstract: Most state-of-the-art data-driven grasp sampling methods propose stable and collision-free grasps uniformly on the target object. For bin-picking, executing any of those reachable grasps is sufficient. However, for completing specific tasks, such as squeezing out liquid from a bottle, we want the grasp to be on a specific part of the object's body while avoiding other locations, such as the cap. This work presents a generative grasp sampling network, VCGS, capable of constrained 6 Degrees of Freedom (DoF) grasp sampling. In addition, we also curate a new dataset designed to train and evaluate methods for constrained grasping. The new dataset, called CONG, consists of over 14 million training samples of synthetically rendered point clouds and grasps at random target areas on 2889 objects. VCGS is benchmarked against GraspNet, a state-of-the-art unconstrained grasp sampler, in simulation and on a real robot. The results demonstrate that VCGS achieves a 10-15% higher grasp success rate than the baseline while being 2-3 times as sample efficient. Supplementary material is available on our project website.


title: Wavelength dependence of laser-induced nanowelded microstructures assembled from metal nanoparticles

abstract: Light-based nanowelding of metallic nanoparticles is of particular interest because it provides convenient and controlled means for the conversion of nanoparticles into microstructures and fabrication of nanodevices. Here, we demonstrated the wavelength dependence of laser-induced nanowelded shapes of silver nanoparticles (AgNPs). We observed that the nanowelded microstructures illuminated by the 405 nm laser only were more branched than those formed with illumination of both the 405 nm and 532 nm lasers. We quantified this observation by several compactness descriptors and examined the dependence of the power of the 532 nm laser. More importantly, to understand the experimental observations, we formulated and tested a hypothesis by calculating the wavelength-dependent electric field enhancement due to surface plasmon resonance of the AgNPs and nanowelded microstructures when illuminated with lights at the two wavelengths. Based on the different patterns of "hot spots" for welding AgNPs from these calculations, numerical simulations successfully "reproduced" the different shapes of nanowelded microstructures, supporting our hypothesis. This work suggests the possibility of light-based controlling the shapes of laser-induced nanowelded microstructures of metallic nanoparticles. This work is expected to facilitate the development of better nanowelding strategies of metallic nanoparticles for broader applications.


title: Clustered Data Sharing for Non-IID Federated Learning over Wireless Networks

abstract: Federated Learning (FL) is a novel distributed machine learning approach to leverage data from Internet of Things (IoT) devices while maintaining data privacy. However, the current FL algorithms face the challenges of non-independent and identically distributed (non-IID) data, which causes high communication costs and model accuracy declines. To address the statistical imbalances in FL, we propose a clustered data sharing framework which spares the partial data from cluster heads to credible associates through device-to-device (D2D) communication. Moreover, aiming at diluting the data skew on nodes, we formulate the joint clustering and data sharing problem based on the privacy-preserving constrained graph. To tackle the serious coupling of decisions on the graph, we devise a distribution-based adaptive clustering algorithm (DACA) basing on three deductive cluster-forming conditions, which ensures the maximum yield of data sharing. The experiments show that the proposed framework facilitates FL on non-IID datasets with better convergence and model accuracy under a limited communication environment.


title: Phenomenology from Dirac equation with Euclidean-Minkowskian "gravity phase"

abstract: Over the past decades, many authors advertised models on complexified spacetime algebras for use in describing gravity. This work aims at providing phenomenological support to such claims, by introducing a one-parameter real phase $\alpha$ to the conventional Dirac equation with $\frac{1}{r}$-type potential. This phase allows to transition between Euclidean ($\alpha=0,\pm\pi,\pm2\pi,\ldots$) and Minkowskian ($\alpha=\pm\frac{\pi}{2},\pm\frac{3\pi}{2},\ldots$) geometry, as two distinct cases that one may expect from some complexified spacetime. The configuration space is modeled on $4\times4$ matrix algebra over the bicomplex numbers, $\mathbb{C}\oplus\mathbb{C}$. Spin-$\frac{1}{2}$ Coulomb scattering (Rutherford scattering) in Born approximation is then executed. All calculations are done ``from scratch'', as they could have been done some 85 years ago. By removing elegance from field theory that has since become customary, this paper aims at remaining as generally applicable as possible, for a wide range of candidate models that contain such a phase $\alpha$ in one way or another. Results for backscattering and cross section at high energies are compared with results from General Relativity calculations. Effects on intergalactic gas distribution and momentum transfer from scattering high-energy leptons are sketched.


title: Quantifying Jump Height Using Markerless Motion Capture with a Single Smartphone

abstract: Goal: The countermovement jump (CMJ) is commonly used to measure lower-body explosive power. This study evaluates how accurately markerless motion capture (MMC) with a single smartphone can measure bilateral and unilateral CMJ jump height. Methods: First, three repetitions each of bilateral and unilateral CMJ were performed by sixteen healthy adults (mean age: 30.87$\pm$7.24 years; mean BMI: 23.14$\pm$2.55 $kg/m^2$) on force plates and simultaneously captured using optical motion capture (OMC) and one smartphone camera. Next, MMC was performed on the smartphone videos using OpenPose. Then, we evaluated MMC in quantifying jump height using the force plate and OMC as ground truths. Results: MMC quantifies jump heights with ICC between 0.84 and 0.99 without manual segmentation and camera calibration. Conclusions: Our results suggest that using a single smartphone for markerless motion capture is promising. Index Terms - Countermovement jump, Markerless motion capture, Optical motion capture, Jump height. Impact Statement - Countermovement jump height can be accurately quantified using markerless motion capture with a single smartphone, with a simple setup that requires neither camera calibration nor manual segmentation.


title: An Empirical Bayes Approach for Estimating Skill Models for Professional Darts Players

abstract: We perform an exploratory data analysis on a data-set for the top 16 professional darts players from the 2019 season. We use this data-set to fit player skill models which can then be used in dynamic zero-sum games (ZSGs) that model real-world matches between players. We propose an empirical Bayesian approach based on the Dirichlet-Multinomial (DM) model that overcomes limitations in the data. Specifically we introduce two DM-based skill models where the first model borrows strength from other darts players and the second model borrows strength from other regions of the dartboard. We find these DM-based models outperform simpler benchmark models with respect to Brier and Spherical scores, both of which are proper scoring rules. We also show in ZSGs settings that the difference between DM-based skill models and the simpler benchmark models is practically significant. Finally, we use our DM-model to analyze specific situations that arose in real-world darts matches during the 2019 season.


title: The Pareto distribution as a disguised Gauss distribution

abstract: A simple heuristic model, including the multiple exchanges between economic agents, is used to explain the mechanism of emerging and maintenance of social inequality in the market economy. The model allows calculating a density function of the population distribution over income. The function can be considered as a strongly deformed Gauss distribution function, whereas, at large incomes, it coincides with the Pareto distribution. The external, in relation to the model under consideration, force is necessary to maintain the strong non-equilibrium in a stationary state, and this force is the non-equivalence of elementary exchanges: the agent who already receives the higher income has the advantage: it provokes the rich to be getting more rich and the poor to be getting pauper.