title: Cesium Tiles for High-realism Simulation and Comparing SLAM Results in Corresponding Virtual and Real-world Environments

abstract: This article discusses the use of a simulated environment to predict algorithm results in the real world. Simulators are crucial in allowing researchers to test algorithms, sensor integration, and navigation systems without deploying expensive hardware. This article examines how the AirSim simulator, Unreal Engine, and Cesium plugin can be used to generate simulated digital twin models of real-world locations. Several technical challenges in completing the analysis are discussed and the technical solutions are detailed in this article. Work investigates how to assess mapping results for a real-life experiment using Cesium Tiles provided by digital twins of the experimental location. This is accompanied by a description of a process for duplicating real-world flights in simulation. The performance of these methods is evaluated by analyzing real-life and experimental image telemetry with the Direct Sparse Odometry (DSO) mapping algorithm. Results indicate that Cesium Tiles environments can provide highly accurate models of ground truth geometry after careful alignment. Further, results from real-life and simulated telemetry analysis indicate that the virtual simulation results accurately predict real-life results. Findings indicate that the algorithm results in real life and in the simulated duplicate exhibited a high degree of similarity. This indicates that the use of Cesium Tiles environments as a virtual digital twin for real-life experiments will provide representative results for such algorithms. The impact of this can be significant, potentially allowing expansive virtual testing of robotic systems at specific deployment locations to develop solutions that are tailored to the environment and potentially outperforming solutions meant to work in completely generic environments.


title: {\alpha}-element enhancements in the Magellanic Interstellar Medium: evidence for recent star formation

abstract: Important questions on the chemical composition of the neutral ISM in the Large Magellanic Cloud (LMC) and Small Magellanic Cloud (SMC) are still open. It is usually assumed that their metallicity is uniform and equal to that measured in hot stars and HII regions, but direct measurements on the neutral ISM have not been performed until now. Deriving the metallicity from the observed metal abundances is not straightforward because they also depend on the depletion of metals into dust as well as nucleosynthesis effects such as $\alpha$-element enhancement. We collect literature column densities of TiII, NiII, CrII, FeII, MnII, SiII, CuII, MgII, SII, PII, ZnII, and OI in the neutral ISM towards 32 and 22 hot stars in the LMC and SMC. We measure the metallicity, dust depletion, and $\alpha$-element enhancements in the neutral ISM in the LMC and SMC. We find $\alpha$-element enhancements in the neutral ISM in most systems, on average 0.26 dex (0.35 dex) for the LMC (SMC), and Mn under-abundance in the SMC (on average $-0.35$ dex). These are higher than for stars at similar metallicities. The observed $\alpha$-element enhancements and Mn under-abundance are likely due to bursts of star formation, more recently than ~1 Gyr ago, that enriched the ISM from core-collapse supernovae. We find total neutral ISM metallicities that are mostly consistent with hot stars metallicity, on average [M/H]$_{\rm tot} = -0.33$ ($-0.83$), in the LMC (SMC). In six systems, however, we find significantly lower metallicities, two out of 32 in the LMC (with ~16% solar) and four out of 22 in the SMC (3 and 10% solar), two of which are in the outskirts of the SMC near the Magellanic Bridge, a region known for having a lower metallicity. With the exception of lines of sight towards the Magellanic Bridge, the neutral gas in the LMC and SMC appears fairly well mixed in terms of metallicity. [abridged]


title: AI-as-exploration: Navigating intelligence space

abstract: Artificial Intelligence is a field that lives many lives, and the term has come to encompass a motley collection of scientific and commercial endeavours. In this paper, I articulate the contours of a rather neglected but central scientific role that AI has to play, which I dub `AI-as-exploration'.The basic thrust of AI-as-exploration is that of creating and studying systems that can reveal candidate building blocks of intelligence that may differ from the forms of human and animal intelligence we are familiar with. In other words, I suggest that AI is one of the best tools we have for exploring intelligence space, namely the space of possible intelligent systems. I illustrate the value of AI-as-exploration by focusing on a specific case study, i.e., recent work on the capacity to combine novel and invented concepts in humans and Large Language Models. I show that the latter, despite showing human-level accuracy in such a task, most probably solve it in ways radically different, but no less relevant to intelligence research, to those hypothesised for humans.


title: Optimized population Monte Carlo

abstract: Population Monte Carlo simulations in the form commonly referred to as population annealing can serve as a useful meta-algorithm for simulating systems with complex free-energy landscapes. In the present paper we provide an easily accessible introduction to the approach, focusing on spin systems as simple example problems. While the method is very general and powerful, it also comes with a number of tunable parameters. Here, we discuss the question of an optimal choice of resampling protocol, that is shown to have significant influence on the quality of results. While population annealing is an excellent fit to the paradigm of massively parallel simulations, limitations in the availability of parallel resources and especially memory can provide a bottleneck to its efficacy. As we demonstrate for results of the Ising ferromagnetic and spin-glass models, weighted averages of smaller-scale runs can be easily combined to reduce both systematic and statistical errors in order to avoid such bottlenecks.


title: Time-uniform log-Sobolev inequalities and applications to propagation of chaos

abstract: Time-uniform log-Sobolev inequalities (LSI) satisfied by solutions of semi-linear mean-field equations have recently appeared to be a key tool to obtain time-uniform propagation of chaos estimates. This work addresses the more general settings of time-inhomogeneous Fokker-Planck equations. Time-uniform LSI are obtained in two cases, either with the bounded-Lipschitz perturbation argument with respect to a reference measure, or with a coupling approach at high temperature. These arguments are then applied to mean-field equations, where, on the one hand, sharp marginal propagation of chaos estimates are obtained in smooth cases and, on the other hand, time-uniform global propagation of chaos is shown in the case of vortex interactions with quadratic confinement potential on the whole space. In this second case, an important point is to establish global gradient and Hessian estimates, which is of independent interest. We prove these bounds in the more general situation of non-attractive logarithmic and Riesz singular interactions.


title: MCMChaos: Improvising Rap Music with MCMC Methods and Chaos Theory

abstract: A novel freestyle rap software, MCMChaos 0.0.1, based on rap music transcriptions created in previous research is presented. The software has three different versions, each making use of different mathematical simulation methods: collapsed gibbs sampler and lorenz attractor simulation. As far as we know, these simulation methods have never been used in rap music generation before. The software implements Python Text-to-Speech processing (pyttxs) to convert text wrangled from the MCFlow corpus into English speech. In each version, values simulated from each respective mathematical model alter the rate of speech, volume, and (in the multiple voice case) the voice of the text-to-speech engine on a line-by-line basis. The user of the software is presented with a real-time graphical user interface (GUI) which instantaneously changes the initial values read into the mathematical simulation methods. Future research might attempt to allow for more user control and autonomy.


title: Characterizing the minimax rate of nonparametric regression under bounded convex constraints

abstract: We quantify the minimax rate for a nonparametric regression model over a convex function class $\mathcal{F}$ with bounded diameter. We obtain a minimax rate of ${\varepsilon^{\ast}}^2\wedge\mathrm{diam}(\mathcal{F})^2$ where \[\varepsilon^{\ast} =\sup\{\varepsilon>0:n\varepsilon^2 \le \log M_{\mathcal{F}}^{\operatorname{loc}}(\varepsilon,c)\},\] where $M_{\mathcal{F}}^{\operatorname{loc}}(\cdot, c)$ is the local metric entropy of $\mathcal{F}$ and our loss function is the squared population $L_2$ distance over our input space $\mathcal{X}$. In contrast to classical works on the topic [cf. Yang and Barron, 1999], our results do not require functions in $\mathcal{F}$ to be uniformly bounded in sup-norm. In addition, we prove that our estimator is adaptive to the true point, and to the best of our knowledge this is the first such estimator in this general setting. This work builds on the Gaussian sequence framework of Neykov [2022] using a similar algorithmic scheme to achieve the minimax rate. Our algorithmic rate also applies with sub-Gaussian noise. We illustrate the utility of this theory with examples including multivariate monotone functions, linear functionals over ellipsoids, and Lipschitz classes.


title: Simulated Autopoiesis in Liquid Automata

abstract: We present a novel form of Liquid Automata, using this to simulate autopoiesis, whereby living machines self-organise in the physical realm. This simulation is based on an earlier Cellular Automaton described by Francisco Varela. The basis of Liquid Automata is a particle simulation with additional rules about how particles are transformed on collision with other particles. Unlike cellular automata, there is no fixed grid or time-step, only particles moving about and colliding with each other in a continuous space/time.


title: Topologically protected photovoltaics in Bi nanoribbons

abstract: Photovoltaic efficiency in solar cells is hindered by many unwanted effects. Radiative channels (emission of photons) sometimes mediated by non-radiative ones (emission of phonons) are principally responsible for the decrease in exciton population before charge separation can take place. Another unwanted effect is electron-hole recombination at surfaces where in-gap edge states serve as the non-radiative channels. Topological insulators (TIs), in particular the most common ones characterized by a Z2 invariant, are rarely explored from an optoelectronics standpoint, possibly because of their typically small gaps. Otherwise, they are not much different from small-gap semiconductors and excitons are also expected to be their simplest excitations. Here we show that one can take advantage of the non-radiative decay channel due to the surface states to generate a topologically protected photovoltaic current. Focusing on two-dimensional TIs, and specifically for illustration purposes on a Bi(111) monolayer, we show the potential of TI nanoribbons to generate edge charge accumulation and edge currents under illumination.


title: Tractable Optimal Experimental Design using Transport Maps

abstract: We present a flexible method for computing Bayesian optimal experimental designs (BOEDs) for inverse problems with intractable posteriors. The approach is applicable to a wide range of BOED problems and can accommodate various optimality criteria, prior distributions and noise models. The key to our approach is the construction of a transport-map-based surrogate to the joint probability law of the design, observational and inference random variables. This order-preserving transport map is constructed using tensor trains and can be used to efficiently sample from (and evaluate approximate densities of) conditional distributions that are required in the evaluation of many commonly-used optimality criteria. The algorithm is also extended to sequential data acquisition problems, where experiments can be performed in sequence to update the state of knowledge about the unknown parameters. The sequential BOED problem is made computationally feasible by preconditioning the approximation of the joint density at the current stage using transport maps constructed at previous stages. The flexibility of our approach in finding optimal designs is illustrated with some numerical examples inspired by disease modeling and the reconstruction of subsurface structures in aquifers.


title: Active fluctuations in the harmonic chain: phonons, entropons and velocity correlations

abstract: Non-equilibrium random fluctuations of non-thermal nature are a salient feature of active matter. In this work, we consider the collective excitations of active systems at high density, focusing on a one-dimensional chain of elastically coupled inertial particles, whose activity is modeled with an Ornstein-Uhlenbeck process. Their excitation spectrum shows the presence of two kinds of fluctuations: the first ones are thermally excited phonons analogous to those of a passive crystal while the second ones have been termed entropons because associated with the entropy production due to the active forces. These two types of fluctuations show different properties: in fact, only entropons generate spatial velocity correlations and fail to satisfy a standard fluctuation-response relation. We derive the exact expression for the equal-time velocity and displacement correlations as well as for the structure factor and in each case identify the phonon and entropon contributions. Finally, we investigate the dynamical properties of the excitations in terms of steady-state two-time correlations, such as the intermediate scattering function and the mean-square displacement, and show that both phonon and entropon fluctuations are characterized by a long wavelength overdamped regime and a short wavelength underdamped regime. In the large persistence case, entropons decay slower than phonons, and in general, activity tends to suppress the oscillations typical of the underdamped regime.


title: Effective dynamical systems beyond dimension zero and factors of SFTs

abstract: Using tools from computable analysis we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural systems one can think of are effective in this sense, including some group rotations, affine actions on the torus and finitely presented algebraic actions. We show that for finitely generated and recursively presented groups, every effective dynamical system is the topological factor of a computable action on an effectively closed subset of the Cantor space. We then apply this result to extend the simulation results available in the literature beyond zero-dimensional spaces. In particular, we show that for a large class of groups, many of these natural actions are topological factors of subshifts of finite type.


title: The Space-Time Cost of Purifying Quantum Computations

abstract: General quantum computation consists of unitary operations and also measurements. It is well known that intermediate quantum measurements can be deferred to the end of the computation, resulting in an equivalent purely unitary computation. While time efficient, this transformation blows up the space to linear in the running time, which could be super-polynomial for low-space algorithms. Fefferman and Remscrim (STOC'21) and Girish, Raz and Zhan (ICALP'21) show different transformations which are space efficient, but blow up the running time by a factor that is exponential in the space. This leaves the case of algorithms with small-but-super-logarithmic space as incurring a large blowup in either time or space complexity. We show that such a blowup is likely inherent, demonstrating that any "black-box" transformation which removes intermediate measurements must significantly blow up either space or time.


title: Existence theorem for sub-Lorentzian problems

abstract: In this paper, we prove the existence theorem for longest paths in sub-Lorentzian problems, which generalizes the classical theorem for globally hyperbolic Lorentzian manifolds. We specifically address the case of invariant structures on homogeneous spaces, as the conditions for the existence theorem in this case can be significantly simplified. In particular, it turns out that longest paths exist for any left-invariant sub-Lorentzian structures on Carnot groups.


title: High-precision mass measurements of neutron deficient silver isotopes probe the robustness of the $N$ = 50 shell closure

abstract: High-precision mass measurements of exotic $^{95-97}$Ag isotopes close to the $N = Z$ line have been conducted with the JYFLTRAP double Penning trap mass spectrometer, with the silver ions produced using the recently commissioned inductively-heated hot cavity catcher laser ion source at the Ion Guide Isotope Separator On-Line facility. The atomic mass of $^{95}$Ag was directly determined for the first time. In addition, the atomic masses of $\beta$-decaying 2$^+$ and 8$^+$ states in $^{96}$Ag have been identified and measured for the first time, and the precision of the $^{97}$Ag mass has been improved. The newly measured masses, with a precision of $\approx$ 1 keV/c$^2$, have been used to investigate the $N =$ 50 neutron shell closure confirming it to be robust. Empirical shell-gap and pairing energies determined with the new ground-state mass data are compared with the state-of-the-art \textit{ab initio} calculations with various chiral effective field theory Hamiltonians. The precise determination of the excitation energy of the $^{96m}$Ag isomer in particular serves as a benchmark for \textit{ab initio} predictions of nuclear properties beyond the ground state, specifically for odd-odd nuclei situated in proximity to the proton dripline below $^{100}$Sn. In addition, density functional theory (DFT) calculations and configuration-interaction shell-model (CISM) calculations are compared with the experimental results. All theoretical approaches face challenges to reproduce the trend of nuclear ground-state properties in the silver isotopic chain across the $N =$50 neutron shell and toward the proton drip-line.


title: Leveraging External Knowledge Resources to Enable Domain-Specific Comprehension

abstract: Machine Reading Comprehension (MRC) has been a long-standing problem in NLP and, with the recent introduction of the BERT family of transformer based language models, it has come a long way to getting solved. Unfortunately, however, when BERT variants trained on general text corpora are applied to domain-specific text, their performance inevitably degrades on account of the domain shift i.e. genre/subject matter discrepancy between the training and downstream application data. Knowledge graphs act as reservoirs for either open or closed domain information and prior studies have shown that they can be used to improve the performance of general-purpose transformers in domain-specific applications. Building on existing work, we introduce a method using Multi-Layer Perceptrons (MLPs) for aligning and integrating embeddings extracted from knowledge graphs with the embeddings spaces of pre-trained language models (LMs). We fuse the aligned embeddings with open-domain LMs BERT and RoBERTa, and fine-tune them for two MRC tasks namely span detection (COVID-QA) and multiple-choice questions (PubMedQA). On the COVID-QA dataset, we see that our approach allows these models to perform similar to their domain-specific counterparts, Bio/Sci-BERT, as evidenced by the Exact Match (EM) metric. With regards to PubMedQA, we observe an overall improvement in accuracy while the F1 stays relatively the same over the domain-specific models.


title: Noncollinear electric dipoles in a polar, chiral phase of CsSnBr$_3$ perovskite

abstract: Polar and chiral crystal symmetries confer a variety of potentially useful functionalities upon solids by coupling otherwise noninteracting mechanical, electronic, optical, and magnetic degrees of freedom. We describe two unstudied phases of the 3D perovskite, CsSnBr$_3$, which emerge below 85 K due to the formation of Sn(II) lone pairs and their interaction with extant octahedral tilts. Phase II (77 K<$T$<85 K, space group $P2_1/m$) exhibits ferroaxial order driven by a noncollinear pattern of lone pair-driven distortions within the plane normal to the unique octahedral tilt axis, preserving the inversion symmetry observed at higher temperatures. Phase I ($T$<77 K, space group $P2_1$) additionally exhibits ferroelectric order due to distortions along the unique tilt axis, breaking both inversion and mirror symmetries. This polar and chiral phase exhibits second harmonic generation from the bulk and a large, intrinsic polarization$-$electrostriction coefficient along the polar axis ($Q_{22}\approx$1.1 m$^4$ C$^{-2}$), resulting in acute negative thermal expansion ($\alpha_V=-9\times10^{-5}$ K$^{-1}$) through the onset of spontaneous polarization. The unprecedented structures of phases I and II were predicted by recursively following harmonic phonon instabilities to generate a tree of candidate structures and subsequently corroborated by synchrotron X-ray powder diffraction and polarized Raman and $^{81}$Br nuclear quadrupole resonance spectroscopies. Relativistic electronic structure scenarios compatible with reported photoluminescence measurements are discussed. Together, the polar symmetry, small bandgap, large spin-orbit splitting of Sn 5$p$ orbitals, and predicted strain sensitivity of the symmetry-breaking distortions suggest bulk samples and epitaxial films of CsSnBr$_3$ or its neighboring solid solutions as strong candidates for bulk Rashba effects.


title: Regularity in diffusion models with gradient activation

abstract: We prove sharp regularity estimates for solutions of highly degenerate fully nonlinear elliptic equations. These are free boundary models in which a nonlinear diffusion process drives the system only in the region where the gradient surpasses a given threshold. Our main result concerns the existence of a universal modulus of continuity for $Du$, up to the free boundary. Gradient bounds for the $L^\infty$ norm are proven to be uniform with respect to the degree of degeneracy. Several new ingredients are needed and among the tools introduced in this paper is an improvement of regularity lemma designed to measure the oscillation decay concerning the gradient level-set distance. Applications of the methods are discussed at the end of the paper.


title: Calculating Magnetic Properties of Two-Dimensional Materials for Memory Applications

abstract: Calculating magnetic properties of two-dimensional materials is crucial for implementing memory devices (like USB drive, RAM, hard disk drive of computers) having reduced size. Two dimensional materials can be implemented as a thin film which can reduce the size of memory devices. These materials as well as devices made with magnetic two-dimensional materials are of current research interest in industry and academia. From the materials project database, crystal structure file of 30 two dimensional materials have been downloaded to calculate their magnetic properties. BURAI Quantum espresso software has been used to extract magnetic properties of 30 two dimensional (2D) materials. These 30 materials have magnetic Fe, Ni, Co, Mn, and Cr atoms in their molecular structure. Magnetic materials play a key and vital role in today's modern-day technology. There are five different types of magnetic materials. The classification magnetic materials are diamagnetism, paramagnetic, ferromagnetism, ferrimagnetism, and anti-ferromagnetism. Total energy of different magnetic configurations has been calculated to find the most stable magnetic configurations of these materials.


title: Probability Mass Function, Moments and Factorial Moments of the Negative Binomial Distribution NB$(k,r)$

abstract: The negative binomial distribution NB$(k,r)$ of Type I is the probability distribution for a sequence of independent Bernoulli trials (with success parameter $p\in(0,1)$) with $r$ nonoverlapping success runs of length $\ge k$. We present a new, more concise, expression for its probability mass function. We show it can also be succinctly written using hypergeometric functions. We also present new expressions (combinatorial sums) for its moments and factorial moments, as opposed to only the mean and variance (which are already known). Next, we present an alternative non-combinatorial viewpoint, which yields expressions for the factorial moments not only for nonoverlapping success runs, but also for runs with an overlap of $\ell$, where $\ell\in[0,k-1]$. The case $\ell=k-1$ is the negative binomial distribution NB$(k,r)$ of Type III. The results also yield the solution for the negative binomial distribution NB$(k,r)$ with a minimum gap between the success runs (explained in the text). Addendum 1/23/2024: The probability mass function and factorial moments are derived from the probability generating function. Addendum 1/26/2024: Alternative expressions are presented for the negative binomial distribution NB$(k,r)$ of Type II.


title: The Link Between Non-Thermal Velocity and Free Magnetic Energy in Solar Flares

abstract: The cause of excess spectral line broadening (non-thermal velocity) is not definitively known, but given its rise before and during flaring, the causal processes hold clues to understanding the triggers for the onset of reconnection and the release of free magnetic energy from the coronal magnetic field. A comparison of data during a 9-hour period from the extreme ultraviolet (EUV) Imaging Spectrometer (EIS) on the Hinode spacecraft - at a 3-minute cadence - and non-linear force-free field (NLFFF) extrapolations performed on Helioseismic and Magnetic Imager (HMI) magnetograms - at a 12-minute cadence - shows an inverse relationship between non-thermal velocity and free magnetic energy on short timescales during two X-class solar flares on 6 September 2017. Analysis of these results supports suggestions that unresolved Doppler flows do not solely cause non-thermal broadening and instead other mechanisms like Alfv\'en wave propagation and isotropic turbulence have a greater influence.


title: On the metric Koll\'ar-Pardon problem

abstract: Let $(M, g)$ be a compact real analytic Riemannian manifold and $\pi \colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $\Sigma$ expanding $\mathbb{R}_{\mathrm{an}}$ in such a way that the pullback metric $\widetilde{g}:=\pi^*g$ is $\Sigma$-definable. For instance, this is the case when $\widetilde{M}$ can be realised as a semi-algebraic submanifold in $\mathbb{R}^n$ in such a way that the coefficients of the metric $\widetilde{g}$ are semi-algebraic. We show that there exists a definable smooth map $\widetilde{M} \to \widetilde{K}$ to a compact simply connected $\Sigma$-definable space $\widetilde{K}$ such that its regular fibres are Riemann locally homogeneous with respect to the metric $\widetilde{g}$. We deduce that under these assumptions $\pi_1(M)$ is quasi-isometric to a locally homogeneous space. In the case when $M$ is aspherical we show that $(\widetilde{M}, \widetilde{g})$ is a homogeneous Riemannian manifold. A similar result in the setting of complex algebraic geometry was earlier conjectured by Koll\'ar and Pardon (\cite{KP}). Using our results, we prove the conjecture of Koll\'ar-Pardon in the special case of smooth aspherical varieties admitting a bi-definable K\"ahler metric and discuss the analogues of this conjecture in other branches of geometry.


title: Predicted asteroseismic detection yield for solar-like oscillating stars with PLATO

abstract: We determine the expected yield of detections of solar-like oscillations for the PLATO ESA mission. We used a formulation from the literature to calculate the probability of detection and validated it with Kepler data. We then applied this approach to the PLATO P1 and P2 samples with the lowest noise level and the much larger P5 sample, which has a higher noise level. We used the information available in in the PIC 1.1.0, including the current best estimate of the signal-to-noise ratio. We also derived relations to estimate the uncertainties of seismically inferred stellar mass, radius and age and applied those relations to the main sequence stars of the PLATO P1 and P2 samples with masses equal to or below 1.2 $\rm{M}_\odot$ for which we had obtained a positive seismic detection. We found that one can expect positive detections of solar-like oscillations for more than 15 000 FGK stars in one single field after a two-years run of observation. For main sequence stars with masses $\leq 1.2 \rm{M}_\odot$, we found that about 1131 stars satisfy the PLATO requirements for the uncertainties of the seismically inferred stellar masses, radii and ages in one single field after a two-year run of observation. The baseline observation programme of PLATO consists in observing two fields of similar size (in the Southern and Northern hemispheres) for two years each. The expected seismic yields of the mission are more 30000 FGK dwarfs and subgiants with positive detections of solar-like oscillations, enabling to achieve the mission stellar objectives. The PLATO mission should produce a sample of seismically extremely well characterized stars of quality equivalent to the Kepler Legacy sample but containing a number of stars $\sim$ 80 times larger if observing two PLATO fields for two years each. They will represent a goldmine which will make possible significant advances in stellar modelling.


title: From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications

abstract: The transformation to Industry 4.0 also transforms the processes of how we develop intelligent manufacturing production systems. To advance the software development of these new (embedded) software systems, digital twins may be employed. However, there is no consensual definition of what a digital twin is. In this paper, we give an overview of the current state of the digital twin concept and formalize the digital twin concept using the Object-Z notation. This formalization includes the concepts of physical twins, digital models, digital templates, digital threads, digital shadows, digital twins, and digital twin prototypes. The relationships between all these concepts are visualized as UML class diagrams. Our digital twin prototype (DTP) approach supports engineers during the development and automated testing of complex embedded software systems. This approach enable engineers to test embedded software systems in a virtual context, without the need of a connection to a physical object. In continuous integration / continuous deployment pipelines such digital twin prototypes can be used for automated integration testing and, thus, allow for an agile verification and validation process. In this paper, we demonstrate and report on how to apply and implement a digital twin by the example of two real-world field studies (ocean observation systems and smart farming). For independent replication and extension of our approach by other researchers, we provide a lab study published open source on GitHub.


title: A New Class of Linear Codes

abstract: Let $n$ be a prime power, $r$ be a prime with $r\mid n-1$, and $\varepsilon\in (0,1/2)$. Using the theory of multiplicative character sums and superelliptic curves, we construct new codes over $\mathbb F_r$ having length $n$, relative distance $(r-1)/r+O(n^{-\varepsilon})$ and rate $n^{-1/2-\varepsilon}$. When $r=2$, our binary codes have exponential size when compared to all previously known families of linear and non-linear codes with relative distance asymptotic to $1/2$, such as Delsarte--Goethals codes. Moreover, our codes are linear.


title: Gorenstein injective filtrations over rings with dualizing complexes

abstract: Let $R$ be a commutative noetherian ring. Enochs and Huang [EH] proved that over a Gorenstein ring of Krull dimension $d$, every Gorenstein injective module admits a filtration of Gorenstein injective submodules. In this paper, we extend this result for a ring admitting a dualizing complex. For a Gorenstein injective $R$-module $G$, we provide a filtration via Auslander categories and the other filtration via the section functors.


title: Metasurface-Based Receivers with $1$-bit ADCs for Multi-User Uplink Communications

abstract: The massive Multiple-Input Multiple-Output (mMIMO) concept has been recently moving forward to extreme scales to address the envisioned requirements of next generation networks. However, the extension of conventional architectures will result in significant cost and power consumption. To this end, metasurface-based transceivers, consisting of microstrips of metamaterials, have recently emerged as an efficient enabler of extreme mMIMO systems. In this paper, we consider metasurface-based receivers with a $1$-bit Analog-to-Digital Converter (ADC) per microstrip and develop an analytical framework for the optimization of the analog and digital combining matrices. Our numerical results, including comparisons with fully digital, infinite-resolution MIMO, provide useful insights into the role of various system parameters.


title: Estimation of the electric field in atom probe tomography experiments using charge state ratios

abstract: (Kingham 1982) provided equations for the probability of observing higher charge states in atom probe tomography (APT) experiments. These "Kingham curves" have wide application in APT, but cannot be analytically transformed to provide the electric field in terms of the easily-measured charge state ratio (CSR). Here we provide a numerical scheme for the calculation of Kingham curves and the variation in electric field with CSR. We find the variation in electric field with CSR is well-described by a simple two or three-parameter equation, and the model is accurate to most elements and charge states. The model is applied to experimental APT data of pure aluminium and a microalloyed steel, demonstrating that the methods described in this work can be easily applied to a variety of APT problems to understand electric field variations.


title: How does self-supervised pretraining improve robustness against noisy labels across various medical image classification datasets?

abstract: Noisy labels can significantly impact medical image classification, particularly in deep learning, by corrupting learned features. Self-supervised pretraining, which doesn't rely on labeled data, can enhance robustness against noisy labels. However, this robustness varies based on factors like the number of classes, dataset complexity, and training size. In medical images, subtle inter-class differences and modality-specific characteristics add complexity. Previous research hasn't comprehensively explored the interplay between self-supervised learning and robustness against noisy labels in medical image classification, considering all these factors. In this study, we address three key questions: i) How does label noise impact various medical image classification datasets? ii) Which types of medical image datasets are more challenging to learn and more affected by label noise? iii) How do different self-supervised pretraining methods enhance robustness across various medical image datasets? Our results show that DermNet, among five datasets (Fetal plane, DermNet, COVID-DU-Ex, MURA, NCT-CRC-HE-100K), is the most challenging but exhibits greater robustness against noisy labels. Additionally, contrastive learning stands out among the eight self-supervised methods as the most effective approach to enhance robustness against noisy labels.


title: Robustness Against Adversarial Attacks via Learning Confined Adversarial Polytopes

abstract: Deep neural networks (DNNs) could be deceived by generating human-imperceptible perturbations of clean samples. Therefore, enhancing the robustness of DNNs against adversarial attacks is a crucial task. In this paper, we aim to train robust DNNs by limiting the set of outputs reachable via a norm-bounded perturbation added to a clean sample. We refer to this set as adversarial polytope, and each clean sample has a respective adversarial polytope. Indeed, if the respective polytopes for all the samples are compact such that they do not intersect the decision boundaries of the DNN, then the DNN is robust against adversarial samples. Hence, the inner-working of our algorithm is based on learning \textbf{c}onfined \textbf{a}dversarial \textbf{p}olytopes (CAP). By conducting a thorough set of experiments, we demonstrate the effectiveness of CAP over existing adversarial robustness methods in improving the robustness of models against state-of-the-art attacks including AutoAttack.


title: Playing the MEV Game on a First-Come-First-Served Blockchain

abstract: Maximal Extractable Value (MEV) searching has gained prominence on the Ethereum blockchain since the surge in Decentralized Finance activities. In Ethereum, MEV extraction primarily hinges on fee payments to block proposers. However, in First-Come-First-Served (FCFS) blockchain networks, the focus shifts to latency optimizations, akin to High-Frequency Trading in Traditional Finance. This paper illustrates the dynamics of the MEV extraction game in an FCFS network, specifically Algorand. We introduce an arbitrage detection algorithm tailored to the unique time constraints of FCFS networks and assess its effectiveness. Additionally, our experiments investigate potential optimizations in Algorand's network layer to secure optimal execution positions. Our analysis reveals that while the states of relevant trading pools are updated approximately every six blocks on median, pursuing MEV at the block state level is not viable on Algorand, as arbitrage opportunities are typically executed within the blocks they appear. Our algorithm's performance under varying time constraints underscores the importance of timing in arbitrage discovery. Furthermore, our network-level experiments identify critical transaction prioritization strategies for Algorand's FCFS network. Key among these is reducing latency in connections with relays that are well-connected to high-staked proposers.


title: Carrying over algorithm in transformers

abstract: Addition is perhaps one of the simplest arithmetic tasks one can think of and is usually performed using the carrying over algorithm. This algorithm consists of two tasks: adding digits in the same position and carrying over a one whenever necessary. We study how transformer models implement this algorithm and how the two aforementioned tasks are allocated to different parts of the network. We first focus on two-layer encoder-only models and show that the carrying over algorithm is implemented in a modular fashion. The first layer is mostly responsible for adding digits in the same position. The second layer first decides, in the attention, which positions need a carried one or not, and then performs the carrying of the one in the final MLP. We provide a simple way of precisely identifying which neurons are responsible for that task. This implementation of the carrying over algorithm occurs across a range of hyperparameters for two as well as three-layer models. For small decoder-only models, we observe the same implementation and provide suggestive evidence for its existence in three 7B large language models.


title: A Novel Approach for Automatic Program Repair using Round-Trip Translation with Large Language Models

abstract: Research shows that grammatical mistakes in a sentence can be corrected by translating it to another language and back using neural machine translation with language models. We investigate whether this correction capability of Large Language Models (LLMs) extends to Automatic Program Repair (APR). Current generative models for APR are pre-trained on source code and fine-tuned for repair. This paper proposes bypassing the fine-tuning step and using Round-Trip Translation (RTT): translation of code from one programming language to another programming or natural language, and back. We hypothesize that RTT with LLMs restores the most commonly seen patterns in code during pre-training, i.e., performs a regression toward the mean, which removes bugs as they are a form of noise w.r.t. the more frequent, natural, bug-free code in the training data. To test this hypothesis, we employ eight recent LLMs pre-trained on code, including the latest GPT versions, and four common program repair benchmarks in Java. We find that RTT with English as an intermediate language repaired 101 of 164 bugs with GPT-4 on the HumanEval-Java dataset. Moreover, 46 of these are unique bugs that are not repaired by other LLMs fine-tuned for APR. Our findings highlight the viability of round-trip translation with LLMs as a technique for automated program repair and its potential for research in software engineering. Keywords: automated program repair, large language model, machine translation


title: The Pulse of Fileless Cryptojacking Attacks: Malicious PowerShell Scripts

abstract: Fileless malware predominantly relies on PowerShell scripts, leveraging the native capabilities of Windows systems to execute stealthy attacks that leave no traces on the victim's system. The effectiveness of the fileless method lies in its ability to remain operational on victim endpoints through memory execution, even if the attacks are detected, and the original malicious scripts are removed. Threat actors have increasingly utilized this technique, particularly since 2017, to conduct cryptojacking attacks. With the emergence of new Remote Code Execution (RCE) vulnerabilities in ubiquitous libraries, widespread cryptocurrency mining attacks have become prevalent, often employing fileless techniques. This paper provides a comprehensive analysis of PowerShell scripts of fileless cryptojacking, dissecting the common malicious patterns based on the MITRE ATT&CK framework.


title: Satisfiability of Context-free String Constraints with Subword-ordering and Transducers

abstract: We study the satisfiability of string constraints where context-free membership constraints may be imposed on variables. Additionally a variable may be constrained to be a subword of a word obtained by shuffling variables and their transductions. The satisfiability problem is known to be undecidable even without rational transductions. It is known to be NExptime-complete without transductions, if the subword relations between variables do not have a cyclic dependency between them. We show that the satisfiability problem stays decidable in this fragment even when rational transductions are added. It is 2NExptime-complete with context-free membership, and NExptime-complete with only regular membership. For the lower bound we prove a technical lemma that is of independent interest: The length of the shortest word in the intersection of a pushdown automaton (of size $O(n)$) and $n$ finite-state automata (each of size $O(n)$) can be double exponential in $n$.


title: Differentiation of Linear Optical Circuits

abstract: Experimental setups based on linear optical circuits and single photon sources offer a promising platform for near-term quantum machine learning. However, current applications are all based on support vector machines and gradient-free optimization methods. Differentiating an optical circuit over a phase parameter poses difficulty because it results in an operator on the Fock space which is not unitary. In this paper, we show that the derivative of the expectation values of a linear optical circuit can be computed by sampling from a larger circuit, using one additional photon. In order to express the derivative in terms of expectation values, we develop a circuit extraction procedure based on unitary dilation. We end by showing that the full gradient of a universal programmable interferometer can be estimated using polynomially many queries to a boson sampling device. This is in contrast to the qubit setting, where exponentially many parameters are needed to cover the space of unitaries. Our algorithm enables applications of photonic technologies to machine learning, quantum chemistry and optimization, powered by gradient descent.


title: Distal expansions of Presburger arithmetic by a sparse predicate

abstract: We prove that the structure $(\mathbb{Z},<,+,R)$ is distal for all congruence-periodic sparse predicates $R\subseteq\mathbb{N}$. We do so by constructing strong honest definitions for representative formulas of the theory, providing a rare example of concrete distal decompositions.


title: Mixing Time and Cutoff for the k-SEP

abstract: We investigate the mixing time of the capacity $k$ simple exclusion process (also called the partial exclusion process) of Schultz and Sandow with $m$ particles on a segment of length $N$. We show that the $k$-SEP exhibits cutoff at time $\frac{1}{2k\pi^2}N^2\log m$. We also introduce a related complete multi-species process that we call the $S_{k,N}$ shuffle and show that this process exhibits cutoff at time $\frac{1}{2k\pi^2}N^2\log (kN)$. This extends the celebrated result of Lacoin which determined the mixing time of the symmetric simple exclusion process on a segment of length $N$ and the adjacent transposition shuffle, and proved cutoff in both.


title: Ultracoproducts and weak containment for flows of topological groups

abstract: We develop the theory of ultracoproducts and weak containment for flows of arbitrary topological groups. This provides a nice complement to corresponding theories for p.m.p. actions and unitary representations of locally compact groups. For the class of locally Roelcke precompact groups, the theory is especially rich, allowing us to define for certain families of $G$-flows a suitable compact space of weak types. When $G$ is locally compact, all $G$-flows belong to one such family, yielding a single compact space describing all weak types of $G$-flows.


title: TT-SNN: Tensor Train Decomposition for Efficient Spiking Neural Network Training

abstract: Spiking Neural Networks (SNNs) have gained significant attention as a potentially energy-efficient alternative for standard neural networks with their sparse binary activation. However, SNNs suffer from memory and computation overhead due to spatio-temporal dynamics and multiple backpropagation computations across timesteps during training. To address this issue, we introduce Tensor Train Decomposition for Spiking Neural Networks (TT-SNN), a method that reduces model size through trainable weight decomposition, resulting in reduced storage, FLOPs, and latency. In addition, we propose a parallel computation pipeline as an alternative to the typical sequential tensor computation, which can be flexibly integrated into various existing SNN architectures. To the best of our knowledge, this is the first of its kind application of tensor decomposition in SNNs. We validate our method using both static and dynamic datasets, CIFAR10/100 and N-Caltech101, respectively. We also propose a TT-SNN-tailored training accelerator to fully harness the parallelism in TT-SNN. Our results demonstrate substantial reductions in parameter size (7.98X), FLOPs (9.25X), training time (17.7%), and training energy (28.3%) during training for the N-Caltech101 dataset, with negligible accuracy degradation.


title: Discovery of Generalizable TBI Phenotypes Using Multivariate Time-Series Clustering

abstract: Traumatic Brain Injury (TBI) presents a broad spectrum of clinical presentations and outcomes due to its inherent heterogeneity, leading to diverse recovery trajectories and varied therapeutic responses. While many studies have delved into TBI phenotyping for distinct patient populations, identifying TBI phenotypes that consistently generalize across various settings and populations remains a critical research gap. Our research addresses this by employing multivariate time-series clustering to unveil TBI's dynamic intricates. Utilizing a self-supervised learning-based approach to clustering multivariate time-Series data with missing values (SLAC-Time), we analyzed both the research-centric TRACK-TBI and the real-world MIMIC-IV datasets. Remarkably, the optimal hyperparameters of SLAC-Time and the ideal number of clusters remained consistent across these datasets, underscoring SLAC-Time's stability across heterogeneous datasets. Our analysis revealed three generalizable TBI phenotypes ({\alpha}, \b{eta}, and {\gamma}), each exhibiting distinct non-temporal features during emergency department visits, and temporal feature profiles throughout ICU stays. Specifically, phenotype {\alpha} represents mild TBI with a remarkably consistent clinical presentation. In contrast, phenotype \b{eta} signifies severe TBI with diverse clinical manifestations, and phenotype {\gamma} represents a moderate TBI profile in terms of severity and clinical diversity. Age is a significant determinant of TBI outcomes, with older cohorts recording higher mortality rates. Importantly, while certain features varied by age, the core characteristics of TBI manifestations tied to each phenotype remain consistent across diverse populations.


title: Jewelry Recognition via Encoder-Decoder Models

abstract: Jewelry recognition is a complex task due to the different styles and designs of accessories. Precise descriptions of the various accessories is something that today can only be achieved by experts in the field of jewelry. In this work, we propose an approach for jewelry recognition using computer vision techniques and image captioning, trying to simulate this expert human behavior of analyzing accessories. The proposed methodology consist on using different image captioning models to detect the jewels from an image and generate a natural language description of the accessory. Then, this description is also utilized to classify the accessories at different levels of detail. The generated caption includes details such as the type of jewel, color, material, and design. To demonstrate the effectiveness of the proposed method in accurately recognizing different types of jewels, a dataset consisting of images of accessories belonging to jewelry stores in C\'ordoba (Spain) has been created. After testing the different image captioning architectures designed, the final model achieves a captioning accuracy of 95\%. The proposed methodology has the potential to be used in various applications such as jewelry e-commerce, inventory management or automatic jewels recognition to analyze people's tastes and social status.


title: Understanding YTHDF2-mediated mRNA Degradation By m6A-BERT-Deg

abstract: N6-methyladenosine (m6A) is the most abundant mRNA modification within mammalian cells, holding pivotal significance in the regulation of mRNA stability, translation, and splicing. Furthermore, it plays a critical role in the regulation of RNA degradation by primarily recruiting the YTHDF2 reader protein. However, the selective regulation of mRNA decay of the m6A-methylated mRNA through YTHDF2 binding is poorly understood. To improve our understanding, we developed m6A-BERT-Deg, a BERT model adapted for predicting YTHDF2-mediated degradation of m6A-methylated mRNAs. We meticulously assembled a high-quality training dataset by integrating multiple data sources for the HeLa cell line. To overcome the limitation of small training samples, we employed a pre-training-fine-tuning strategy by first performing a self-supervised pre-training of the model on 427,760 unlabeled m6A site sequences. The test results demonstrated the importance of this pre-training strategy in enabling m6A-BERT-Deg to outperform other benchmark models. We further conducted a comprehensive model interpretation and revealed a surprising finding that the presence of co-factors in proximity to m6A sites may disrupt YTHDF2-mediated mRNA degradation, subsequently enhancing mRNA stability. We also extended our analyses to the HEK293 cell line, shedding light on the context-dependent YTHDF2-mediated mRNA degradation.


title: Multiple Frequency Steps in Synthetic Antiferromagnet Based Double Spin Josephson Junctions Using CoFeB and Fe3Sn

abstract: Superconducting quantum interference device (SQUID) which is made of two parallel Josephson junctions has applications in magnetometry. A similar spin-based device is proposed here where spin superfluid in ferromagnet (FM) mimics the superconducting state. Two materials CoFeB and Fe3Sn are used for spin superfluid-based SQUID like device where easy plane anisotropy in CoFeB can be engineered and Fe3Sn has inherent easy plane anisotropy. Frequency varies in spin based proposed devices. Frequency increases and again decreases with the increase in both applied magnetic field and applied spin current. The proposed device can be used as nano oscillator and detector. The frequency in the proposed device shows multiple frequency steps which can be used for neuromorphic applications.


title: Quark flavor physics with lattice QCD

abstract: This is an overview of quark flavor physics as presented in a plenary talk at Lattice 2023. In the first part, I discuss the main processes and lattice-QCD inputs used to determine the Wolfenstein parameters of the Cabibbo-Kobayashi-Maskawa matrix. In the second part, I review selected further processes that are being used to search for physics beyond the Standard Model. New results presented at Lattice 2023 are referenced throughout, but detailed discussions are limited to selected work published prior to the conference. QED corrections, inclusive decays on the lattice, and processes involving hadronic resonances are not discussed in detail here, as they were covered in other plenary talks at Lattice 2023 and Lattice 2022.


title: Strongly Dense Representations of Hyperbolic 3-Manifold Groups

abstract: We provide the first examples of strongly dense representations of a hyperbolic 3-manifold group into $SL(4,\mathbb{R})$ and $SU(3,1)$ i.e. representations where every pair of non-commuting elements has Zariski dense image. Our examples are holonomy representations arising from projective deformations of its hyperbolic structure. As a Corollary, we get that $SL(4,\mathbb{R})$ has non-Hitchin strongly dense surface subgroups.


title: Analysing the Needs of Homeless People Using Feature Selection and Mining Association Rules

abstract: Homelessness is a social and health problem with great repercussions in Europe. Many non-governmental organisations help homeless people by collecting and analysing large amounts of information about them. However, these tasks are not always easy to perform, and hinder other of the organisations duties. The SINTECH project was created to tackle this issue proposing two different tools: a mobile application to quickly and easily collect data; and a software based on artificial intelligence which obtains interesting information from the collected data. The first one has been distributed to some Spanish organisations which are using it to conduct surveys of homeless people. The second tool implements different feature selection and association rules mining methods. These artificial intelligence techniques have allowed us to identify the most relevant features and some interesting association rules from previously collected homeless data.


title: VLBI Detection of an Active Radio Source Potentially Driving 100-kpc Scale Emission in the Ultraluminous Infrared Galaxy IRAS F01004$-$2237

abstract: The nearby ultraluminous infrared galaxy (ULIRG) IRAS F01004$-$2237 exhibits 100-kpc scale continuum emission at radio wavelengths. The absence of extended X-ray emission in IRAS F01004$-$2237 has suggested an active galactic nucleus (AGN) origin for the extended radio emission, whose properties and role in merging systems still need to be better understood. We present the results of multi-frequency observations of IRAS F01004$-$2237 conducted by the Very Long Baseline Array at 2.3 and 8.4 GHz. Compact 8.4-GHz continuum emission was detected on a 1-pc scale in the nuclear region with an intrinsic brightness temperature of $10^{8.1}$ K suggesting that the radio source is originated from an AGN, potentially driving the extended emission. In contrast, no significant emission was observed at 2.3 GHz, indicating the presence of low-frequency absorption. This absorption cannot be attributed solely to synchrotron self-absorption; alternatively, free-free absorption due to thermal plasma is mainly at work in the spectrum. From combined perspectives, including mid-infrared and X-ray data, the AGN is obscured in a dense environment. The kinetic power of the nonthermal jet, as inferred from the extended emission, can play a more important role in dispersing the surrounding medium than the thermal outflow in IRAS F01004$-$2237. These findings hint that jet activities in ULIRGs may contribute to AGN feedback during galaxy evolution induced by merger events.


title: Long-term study of the 2020 magnetar-like outburst of the young pulsar PSRJ1846-0258 in Kes 75

abstract: Magnetar-like activity has been observed in a large variety of neutron stars. PSR J1846-0258 is a young 327 ms radio-quiet pulsar with a large rotational power ($\sim 8 \times 10^{36}$ erg s$^{-1}$), and resides at the center of the supernova remnant Kes 75. It is one of the rare examples of a high magnetic field pulsar showing characteristics both of magnetars and radio pulsars, and can thus provide important clues on the differences in the emission mechanisms between these two classes. In 2006, PSR J1846-0258 was detected to undergo an outburst for the first time, accompanied by a large flux increase, millisecond X-ray bursts, significant spectral changes and a large timing glitch. On August 1st 2020, after nineteen years of quiescent stable emission, the source underwent a second magnetar-like outburst, which was followed up with several observations by NICER, XMM-Newton, NuSTAR and Swift. In this work, we report on the long-term timing and X-ray spectral properties of the source following the 2020 outburst, and place upper limits on any radio activity. We demonstrate that the pulsed flux increased by a factor $> 6$ during the outburst, followed by non-trivial variability in the spin-down rate. Our timing analysis shows that the spin frequency and its derivative are clearly affected by magnetospheric activity due to the outburst. We find hints for an oscillation in the frequency derivative with a timescale of 50-60 days, recovering later on to stable quiescence.


title: Type Ia Supernovae Can Arise from the Detonations of Both Stars in a Double Degenerate Binary

abstract: The precise origin of Type Ia supernovae (SNe Ia) is unknown despite their value to numerous areas in astronomy. While it is a long-standing consensus that they arise from an explosion of a carbon/oxygen white dwarf, the exact progenitor configurations and explosion mechanisms that lead to SNe Ia are still debated. One popular theory is the double detonation in which a helium layer, accreted from a binary companion, detonates on the surface of the primary star, leading to a converging shock-induced detonation of the underlying core. It has recently been seen in simulations that a helium-rich degenerate companion may undergo its own explosion triggered by the impact from the ejecta of the primary star. We show 2D simulations that model a white dwarf undergoing a double detonation which triggers the explosion of the degenerate companion, leading to either a triple or quadruple detonation. We also present the first multi-dimensional radiative transfer results from the triple and quadruple detonation scenario. We find that within a range of mass configurations of the degenerate binary, the synthetic light curves and spectra of these events match observations as well as theoretical models of isolated double detonations do. Notably, double and quadruple detonations that are spectrally similar and reach the same peak brightnesses have drastically different ejection masses and produce different amounts of Si- and Fe-group elements. Further understanding of this scenario is needed in order to determine if at least some observed SNe Ia actually originate from two stars exploding.


title: Renormalons and power corrections in pseudo- and quasi-GPDs

abstract: High-order behavior of the perturbative expansion for short-distance observables in QCD is intimately related to the contributions of small momenta in the corresponding Feynman diagrams and this correspondence provides one with a useful tool to investigate power-suppressed nonperturbative corrections. We use this technique to study the structure of power corrections to parton quasi- and pseudo-GPDs which are used in lattice calculations of generalized parton distributions. As the main result, we predict the functional dependence of the leading power corrections to quasi(pseudo)-GPDs on $x$ variable for nonzero skewedness parameter $\xi$. The kinematic point $x=\pm\xi$ turns out to be special. We find that the nonperturbative corrections to quasi-GPDs at this point are suppressed by the first power of the hard scale only. These contributions come from soft momenta and have nothing to do with the known UV renormalon in the Wilson line. We also show that power corrections can be strongly suppressed by the normalization procedure.


title: A Day-to-Day Dynamical Approach to the Most Likely User Equilibrium Problem

abstract: The lack of a unique user equilibrium (UE) route flow in traffic assignment has posed a significant challenge to many transportation applications. The maximum-entropy principle, which advocates for the consistent selection of the most likely solution as a representative, is often used to address the challenge. Built on a recently proposed day-to-day (DTD) discrete-time dynamical model called cumulative logit (CULO), this study provides a new behavioral underpinning for the maximum-entropy UE (MEUE) route flow. It has been proven that CULO can reach a UE state without presuming travelers are perfectly rational. Here, we further establish that CULO always converges to the MEUE route flow if (i) travelers have zero prior information about routes and thus are forced to give all routes an equal choice probability, or (ii) all travelers gather information from the same source such that the so-called general proportionality condition is satisfied. Thus, CULO may be used as a practical solution algorithm for the MEUE problem. To put this idea into practice, we propose to eliminate the route enumeration requirement of the original CULO model through an iterative route discovery scheme. We also examine the discrete-time versions of four popular continuous-time dynamical models and compare them to CULO. The analysis shows that the replicator dynamic is the only one that has the potential to reach the MEUE solution with some regularity. The analytical results are confirmed through numerical experiments.


title: Convolutional Neural Network Compression via Dynamic Parameter Rank Pruning

abstract: While Convolutional Neural Networks (CNNs) excel at learning complex latent-space representations, their over-parameterization can lead to overfitting and reduced performance, particularly with limited data. This, alongside their high computational and memory demands, limits the applicability of CNNs for edge deployment. Low-rank matrix approximation has emerged as a promising approach to reduce CNN parameters, but its application presents challenges including rank selection and performance loss. To address these issues, we propose an efficient training method for CNN compression via dynamic parameter rank pruning. Our approach integrates efficient matrix factorization and novel regularization techniques, forming a robust framework for dynamic rank reduction and model compression. We use Singular Value Decomposition (SVD) to model low-rank convolutional filters and dense weight matrices and we achieve model compression by training the SVD factors with back-propagation in an end-to-end way. We evaluate our method on an array of modern CNNs, including ResNet-18, ResNet-20, and ResNet-32, and datasets like CIFAR-10, CIFAR-100, and ImageNet (2012), showcasing its applicability in computer vision. Our experiments show that the proposed method can yield substantial storage savings while maintaining or even enhancing classification performance.


title: Parallel $k$-Core Decomposition with Batched Updates and Asynchronous Reads

abstract: Maintaining a dynamic $k$-core decomposition is an important problem that identifies dense subgraphs in dynamically changing graphs. Recent work by Liu et al. [SPAA 2022] presents a parallel batch-dynamic algorithm for maintaining an approximate $k$-core decomposition. In their solution, both reads and updates need to be batched, and therefore each type of operation can incur high latency waiting for the other type to finish. To tackle most real-world workloads, which are dominated by reads, this paper presents a novel hybrid concurrent-parallel dynamic $k$-core data structure where asynchronous reads can proceed concurrently with batches of updates, leading to significantly lower read latencies. Our approach is based on tracking causal dependencies between updates, so that causally related groups of updates appear atomic to concurrent readers. Our data structure guarantees linearizability and liveness for both reads and updates, and maintains the same approximation guarantees as prior work. Our experimental evaluation on a 30-core machine shows that our approach reduces read latency by orders of magnitude compared to the batch-dynamic algorithm, up to a $\left(4.05 \cdot 10^{5}\right)$-factor. Compared to an unsynchronized (non-linearizable) baseline, our read latency overhead is only up to a $3.21$-factor greater, while improving accuracy of coreness estimates by up to a factor of $52.7$.


title: Contextual Bandits with Stage-wise Constraints

abstract: We study contextual bandits in the presence of a stage-wise constraint (a constraint at each round), when the constraint must be satisfied both with high probability and in expectation. Obviously the setting where the constraint is in expectation is a relaxation of the one with high probability. We start with the linear case where both the contextual bandit problem (reward function) and the stage-wise constraint (cost function) are linear. In each of the high probability and in expectation settings, we propose an upper-confidence bound algorithm for the problem and prove a $T$-round regret bound for it. Our algorithms balance exploration and constraint satisfaction using a novel idea that scales the radii of the reward and cost confidence sets with different scaling factors. We also prove a lower-bound for this constrained problem, show how our algorithms and analyses can be extended to multiple constraints, and provide simulations to validate our theoretical results. In the high probability setting, we describe the minimum requirements for the action set in order for our algorithm to be tractable. In the setting that the constraint is in expectation, we further specialize our results to multi-armed bandits and propose a computationally efficient algorithm for this setting with regret analysis. Finally, we extend our results to the case where the reward and cost functions are both non-linear. We propose an algorithm for this case and prove a regret bound for it that characterize the function class complexity by the eluder dimension.


title: Small Object Detection by DETR via Information Augmentation and Adaptive Feature Fusion

abstract: The main challenge for small object detection algorithms is to ensure accuracy while pursuing real-time performance. The RT-DETR model performs well in real-time object detection, but performs poorly in small object detection accuracy. In order to compensate for the shortcomings of the RT-DETR model in small object detection, two key improvements are proposed in this study. Firstly, The RT-DETR utilises a Transformer that receives input solely from the final layer of Backbone features. This means that the Transformer's input only receives semantic information from the highest level of abstraction in the Deep Network, and ignores detailed information such as edges, texture or color gradients that are critical to the location of small objects at lower levels of abstraction. Including only deep features can introduce additional background noise. This can have a negative impact on the accuracy of small object detection. To address this issue, we propose the fine-grained path augmentation method. This method helps to locate small objects more accurately by providing detailed information to the deep network. So, the input to the transformer contains both semantic and detailed information. Secondly, In RT-DETR, the decoder takes feature maps of different levels as input after concatenating them with equal weight. However, this operation is not effective in dealing with the complex relationship of multi-scale information captured by feature maps of different sizes. Therefore, we propose an adaptive feature fusion algorithm that assigns learnable parameters to each feature map from different levels. This allows the model to adaptively fuse feature maps from different levels and effectively integrate feature information from different scales. This enhances the model's ability to capture object features at different scales, thereby improving the accuracy of detecting small objects.


title: Effects of Virtual Hand Representation on the Typing Performance, Upper Extremity Angle, and Neck Muscle Activity during Virtual Reality Typing

abstract: This study evaluated the effect of virtual hand representation on the typing performance, upper extremity angle, neck muscle activity, and usability during virtual reality (VR) typing. A total of 15 participants (7 females and 8 males) performed a typing task with and without virtual hand representations. The optical motion capture data was utilized to capture the upper extremity angles, and electromyography device was used to collect the neck muscle activities (left and right splenius capitis). The results showed that the typing performance, upper extremity angle, neck muscle activity, and usability were significantly different with and without virtual hand representations. With the virtual hand representation, net typing speed (WPM) and usability increased significantly by 171.4% and 25% compared to the without hand representation. Without the virtual hand representation, participants showed increased wrist extension, and decreased right shoulder abduction angles. The variability of the neck rotation was increased while typing without the virtual hand representation. The neck muscle activities were increased with the virtual hand representation. The results suggest that typing with the virtual hand representation could positively affect the typing performance and usability and reduce the risk of the musculoskeletal disorders of the upper extremity. Future study could explore the effect of the virtual hand representation for users with varying levels of typing skills.


title: Centrality of shortest paths: Algorithms and complexity results

abstract: The degree centrality of a node, defined as the number of nodes adjacent to it, is often used as a measure of importance of a node to the structure of a network. This metric can be extended to paths in a network, where the degree centrality of a path is defined as the number of nodes adjacent to it. In this paper, we reconsider the problem of finding the most degree-central shortest path in an unweighted network. We propose a polynomial algorithm with the worst-case running time of $O(|E||V|^2\Delta(G))$, where $|V|$ is the number of vertices in the network, $|E|$ is the number of edges in the network, and $\Delta(G)$ is the maximum degree of the graph. We conduct a numerical study of our algorithm on synthetic and real-world networks and compare our results to the existing literature. In addition, we show that the same problem is NP-hard when a weighted graph is considered. Furthermore, we consider other centrality measures, such as the betweenness and closeness centrality, showing that the problem of finding the most betweenness-central shortest path is solvable in polynomial time and finding the most closeness-central shortest path is NP-hard, regardless of whether the graph is weighted or not.


title: Belief Miner: A Methodology for Discovering Causal Beliefs and Causal Illusions from General Populations

abstract: Causal belief is a cognitive practice that humans apply everyday to reason about cause and effect relations between factors, phenomena, or events. Like optical illusions, humans are prone to drawing causal relations between events that are only coincidental (i.e., causal illusions). Researchers in domains such as cognitive psychology and healthcare often use logistically expensive experiments to understand causal beliefs and illusions. In this paper, we propose Belief Miner, a crowdsourcing method for evaluating people's causal beliefs and illusions. Our method uses the (dis)similarities between the causal relations collected from the crowds and experts to surface the causal beliefs and illusions. Through an iterative design process, we developed a web-based interface for collecting causal relations from a target population. We then conducted a crowdsourced experiment with 101 workers on Amazon Mechanical Turk and Prolific using this interface and analyzed the collected data with Belief Miner. We discovered a variety of causal beliefs and potential illusions, and we report the design implications for future research.


title: All the Way There and Back: Inertial-Based, Phone-in-Pocket Indoor Wayfinding and Backtracking Apps for Blind Travelers

abstract: We introduce two iOS apps that have been designed to support wayfinding and backtracking for blind travelers navigating in indoor building environments. Wayfinding involves determining and following a route through the building's corridors to reach a destination, and assumes that the app has access to the floor plan of the building. Backtracking one's route, on the other hand, requires no map knowledge. Our apps only use the inertial and magnetic sensors of the smartphone, and thus require no infrastructure modification (e.g., installation and support of BLE beacons). Unlike systems that use the phone's camera, users of our apps can conveniently keep their phone tucked inside a pocket, while interacting with the apps using a smartwatch. Routing directions are given via speech. Both apps were tested in a user study with seven blind participants, who used them while navigating a campus building.


title: Preprocessing-based Kinodynamic Motion Planning Framework for Intercepting Projectiles using a Robot Manipulator

abstract: We are interested in studying sports with robots and starting with the problem of intercepting a projectile moving toward a robot manipulator equipped with a shield. To successfully perform this task, the robot needs to (i) detect the incoming projectile, (ii) predict the projectile's future motion, (iii) plan a minimum-time rapid trajectory that can evade obstacles and intercept the projectile, and (iv) execute the planned trajectory. These four steps must be performed under the manipulator's dynamic limits and extreme time constraints (<350ms in our setting) to successfully intercept the projectile. In addition, we want these trajectories to be smooth to reduce the robot's joint torques and the impulse on the platform on which it is mounted. To this end, we propose a kinodynamic motion planning framework that preprocesses smooth trajectories offline to allow real-time collision-free executions online. We present an end-to-end pipeline along with our planning framework, including perception, prediction, and execution modules. We evaluate our framework experimentally in simulation and show that it has a higher blocking success rate than the baselines. Further, we deploy our pipeline on a robotic system comprising an industrial arm (ABB IRB-1600) and an onboard stereo camera (ZED 2i), which achieves a 78% success rate in projectile interceptions.


title: Spatial Channel State Information Prediction with Generative AI: Towards Holographic Communication and Digital Radio Twin

abstract: As 5G technology becomes increasingly established, the anticipation for 6G is growing, which promises to deliver faster and more reliable wireless connections via cutting-edge radio technologies. However, efficient management method of the large-scale antenna arrays deployed by those radio technologies is crucial. Traditional management methods are mainly reactive, usually based on feedback from users to adapt to the dynamic wireless channel. However, a more promising approach lies in the prediction of spatial channel state information (spatial-CSI), which is an all-inclusive channel characterization and consists of all the feasible line-of-sight (LoS) and non-line-of-sight (NLoS) paths between the transmitter (Tx) and receiver (Rx), with the three-dimension (3D) trajectory, attenuation, phase shift, delay, and polarization of each path. Advances in hardware and neural networks make it possible to predict such spatial-CSI using precise environmental information, and further look into the possibility of holographic communication, which implies complete control over every aspect of the radio waves emitted. Based on the integration of holographic communication and digital twin, we proposed a new framework, digital radio twin, which takes advantages from both the digital world and deterministic control over radio waves, supporting a wide range of high-level applications. As a preliminary attempt towards this visionary direction, in this paper, we explore the use of generative artificial intelligence (AI) to pinpoint the valid paths in a given environment, demonstrating promising results, and highlighting the potential of this approach in driving forward the evolution of 6G wireless communication technologies.


title: AdaBB: Adaptive Barzilai-Borwein Method for Convex Optimization

abstract: In this paper, we propose AdaBB, an adaptive gradient method based on the Barzilai-Borwein stepsize. The algorithm is line-search-free and parameter-free, and essentially provides a convergent variant of the Barzilai-Borwein method for general unconstrained convex optimization. We analyze the ergodic convergence of the objective function value and the convergence of the iterates for solving general unconstrained convex optimization. Compared with existing works along this line of research, our algorithm gives the best lower bounds on the stepsize and the average of the stepsizes. Moreover, we present an extension of the proposed algorithm for solving composite optimization where the objective function is the summation of a smooth function and a nonsmooth function. Our numerical results also demonstrate very promising potential of the proposed algorithms on some representative examples.


title: Self-Imagine: Effective Unimodal Reasoning with Multimodal Models using Self-Imagination

abstract: The potential of Vision-Language Models (VLMs) often remains underutilized in handling complex text-based problems, particularly when these problems could benefit from visual representation. Resonating with humans' ability to solve complex text-based problems by (1) creating a visual diagram from the problem and (2) deducing what steps they need to take to solve it, we propose Self-Imagine. We leverage a single Vision-Language Model (VLM) to generate a structured representation of the question using HTML, then render the HTML as an image, and finally use the same VLM to answer the question using both the question and the image. Our approach does not require any additional training data or training. We evaluate our approach on three mathematics tasks and nine general-purpose reasoning tasks using state-of-the-art (LLAVA-1.5 and GEMINI PRO) VLMs. Our approach boosts the performance of LLAVA-1.5 and GEMINI PRO on all math tasks (on average GSM8K: +3.1%; ASDIV: +3.2%; SVAMP: +6.9%) and the majority of the general-purpose reasoning tasks by 3.2% to 6.0% on average.


title: JustiLM: Few-shot Justification Generation for Explainable Fact-Checking of Real-world Claims

abstract: Justification is an explanation that supports the veracity assigned to a claim in fact-checking. However, the task of justification generation is previously oversimplified as summarization of fact-check article authored by fact-checkers. Therefore, we propose a realistic approach to generate justification based on retrieved evidence. We present a new benchmark dataset called ExClaim for \underline{Ex}plainable fact-checking of real-world \underline{Claim}s, and introduce JustiLM, a novel few-shot \underline{Justi}fication generation based on retrieval-augmented \underline{L}anguage \underline{M}odel by using fact-check articles as auxiliary resource during training only. Experiments show that JustiLM achieves promising performance in justification generation compared to strong baselines, and can also enhance veracity classification with a straightforward extension.


title: Necessary conditions for stability of alternating jets: Hurdle theorem

abstract: We propose a simple method to identify unstable parameter regions in general inviscid unidirectional shear flow stability problems. The theory is applicable to a wide range of basic flows, including those that are non-monotonic. We illustrate the method using a model of Jupiter's alternating jet streams based on the quasi-geostrophic equation. The main result is that the flow is unstable if there is an interval in the flow domain for which the reciprocal Rossby Mach number, calculated from the zonal flow and potential vorticity, surpasses a certain threshold (or `hurdle'). The hurdle height approaches unity when the domain size greatly exceeds the atmosphere's intrinsic deformation length, as it does on gas giants. In this case, the Kelvin-Arnold sufficient condition of stability allows the instability to be detected sharply, providing long-awaited theoretical support for the hypothesis used to explain why Jupiter and Saturn jets are stably maintained on the decadal timescale.

categories: physics.flu-dyn math-ph math.MP physics.geo-ph


title: Improved regularity for minimizing capillary hypersurfaces

abstract: We give improved estimates for the size of the singular set of minimizing capillary hypersurfaces: the singular set is always of codimension at least $4$, and this estimate improves if the capillary angle is close to $0$, $\frac{\pi}{2}$, or $\pi$. For capillary angles that are close to $0$ or $\pi$, our analysis is based on a rigorous connection between the capillary problem and the one-phase Bernoulli problem.


title: Freezing of short-range ordered antiferromagnetic clusters in the CrFeTi$_2$O$_7$ system

abstract: We report on the CrFeTi$_2$O$_7$ (CFTO) system using a combination of x-ray diffraction, dc magnetization, ac susceptibility, specific heat and neutron diffraction measurements. CFTO is seen to crystallize in a monoclinic $P21/a$ symmetry. It shows a glassy freezing at $T{_f}$ ~ 22 K, characterized by the observation of bifurcation between ZFC and FC ${\chi}$ (T) curves, frequency dispersion across $T{_f}$ in ac susceptibility, appearance of non-zero remanent magnetization and coercivity below $T{_f}$, very slow relaxation of iso-thermal remanent magnetization with time and a linear temperature dependence of magnetic contribution to specific heat $C{_m}$ below $T{_f}$. The microscopic neutron diffraction analysis of CFTO not only confirms the absence of long-range antiferromagnetic ordering but also exhibits diffuse scattering due to the presence of shortrange ordered antiferromagnetically correlated spin clusters.


title: Quantized plastic deformation

abstract: In engineering crystal plasticity inelastic mechanisms correspond to tensorial zero-energy valleys in the space of macroscopic strains. The flat nature of such valleys is in contradiction with the fact that plastic slips, mimicking lattice-invariant shears, are inherently discrete. A reconciliation has recently been achieved in the mesoscopic tensorial model (MTM) of crystal plasticity, which introduces periodically modulated energy valleys while also capturing in a geometrically exact way the crystallographically-specific aspects of plastic slips. In this paper, we extend the MTM framework, which in its original form had the appearance of a discretized nonlinear elasticity theory, by explicitly introducing the concept of plastic deformation. The ensuing model contains a novel matrix-valued spin variable, representing the quantized plastic distortion, whose rate-independent evolution can be described by a discrete (quasi-)automaton. The proposed reformulation of the MTM leads to a considerable computational speedup associated with the use of a robust and efficient hybrid Gauss-Newton--Cauchy energy minimization algorithm. To illustrate the effectiveness of the new approach, we present a detailed case-study focusing on the aspects of crystal plasticity that are beyond reach for the classical continuum theory. Thus, we provide compelling evidence that the re-formulated MTM is fully adequate to deal with the intermittency of plastic response under quasi-static loading. In particular, our numerical experiments show that the statistics of dislocational avalanches, associated with plastic yield in 2D square crystals, exhibits a power-law tail with a critical exponent matching the value predicted by general theoretical considerations and also independently observed in discrete-dislocation-dynamics (DDD) simulations.

categories: nlin.PS cond-mat.mtrl-sci nlin.AO physics.comp-ph


title: Operator Spreading and the Absence of Many-Body Localization

abstract: We consider the spreading of a local operator $A$ in Euclidean time in one-dimensional many-body systems with Hamiltonian $H$ by calculating the $k$-fold commutator $[H,[H,[...,[H,A]]]]$. We derive general bounds for the operator norm of this commutator in free and interacting fermionic systems with and without disorder. We show, in particular, that in a localized system the norm does grow at most exponentially and that the contributions of operators to the total norm are exponentially suppressed with their length. We support our general results by considering one specific example, the XXZ chain with random magnetic fields. We solve the operator spreading in the XX case without disorder exactly. For the Anderson and Aubry-Andr\'e models we provide strict upper bounds. We support our results by symbolic calculations of the commutator up to high orders. For the XXX case with random magnetic fields, these symbolic calculations show a growth of the operator norm faster than exponential and consistent with the general bound for a non-localized system. Also, there is no exponential decay of the contribution of operators as function of their length. We conclude that there is no indication for a many-body localization transition. Finally, we also discuss the differences between the interacting and non-interacting cases when trying to perturbatively transform the microscopic to an effective Hamiltonian of local conserved charges by consecutive Schrieffer-Wolff transformations. We find that such an approach is not well-defined in the interacting case because the transformation generates $\sim 4^\ell$ terms connecting sites a distance $\ell$ apart which can overwhelm the exponential decay with $\ell$ of the amplitude of each individual term.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Structure-based out-of-distribution (OOD) materials property prediction: a benchmark study

abstract: In real-world material research, machine learning (ML) models are usually expected to predict and discover novel exceptional materials that deviate from the known materials. It is thus a pressing question to provide an objective evaluation of ML model performances in property prediction of out-of-distribution (OOD) materials that are different from the training set distribution. Traditional performance evaluation of materials property prediction models through random splitting of the dataset frequently results in artificially high performance assessments due to the inherent redundancy of typical material datasets. Here we present a comprehensive benchmark study of structure-based graph neural networks (GNNs) for extrapolative OOD materials property prediction. We formulate five different categories of OOD ML problems for three benchmark datasets from the MatBench study. Our extensive experiments show that current state-of-the-art GNN algorithms significantly underperform for the OOD property prediction tasks on average compared to their baselines in the MatBench study, demonstrating a crucial generalization gap in realistic material prediction tasks. We further examine the latent physical spaces of these GNN models and identify the sources of CGCNN, ALIGNN, and DeeperGATGNN's significantly more robust OOD performance than those of the current best models in the MatBench study (coGN and coNGN), and provide insights to improve their performance.


title: Remarkable structures in integrable probability, I: max-independence structures

abstract: We analyse in a systematic way the occurrences of a remarkable structure in the theory of integrable probability that we call a ``max-independence structure'', when random variables are constructed as a maximum of a sequence of independent random variables. The list of treated examples contains~: the $ GU\!E $ and $ GO\!E $ Tracy-Widom distributions, the extreme eigenvalues/eigenangles of random hermitian/unitary matrices (and in particular the historical example of the $ GU\!E $ extreme eigenvalues), the Hopf-Cole solution to the $ KPZ $ equation with Dirac initial condition (continuum random polymer) and the symmetric Schur measure. % In this last case, the largest part of the underlying random partition is the maximum of an i.i.d randomisation of the deterministic sequence of negative integers. In the case of the $ GU\!E $ Tracy-Widom distribution, the laws of the random variables use a rescaling of the prolate hyperspheroidal wave functions that were introduced by Heurtley and Slepian in the context of circular optical mirrors, and in the case of the $ GU\!E $, the distributions use the sigma-form of the Painlev\'e $ I\!V $ equation. To illustrate the utility of such a structure, we rescale the largest eigenvalue of the $ GU\!E $ written as a maximum of $N$ independent random variables with the classical Poisson approximation for sums of indicators. We use for this the Okamoto-Noumi-Yamada theory of the sigma-form of the Painlev\'e equation applied to random matrix theory by Forrester-Witte. By doing so, we find a new expression for the cumulative distribution function of the $ GU\!E $ Tracy-Widom distribution which is shown to be equivalent to the classical one using manipulations \`a la Forrester-Witte.


title: Optimistic Entanglement Purification in Quantum Networks

abstract: Noise and photon loss encountered on quantum channels pose a major challenge for reliable entanglement generation in quantum networks. In near-term networks, heralding is required to inform endpoints of successfully generated entanglement. If after heralding, entanglement fidelity is too low, entanglement purification can be utilized to probabilistically increase fidelity. Traditionally, purification protocols proceed as follows: generate heralded EPR pairs, execute a series of quantum operations on two or more pairs between two nodes, and classically communicate results to check for success. Purification may require several rounds while qubits are stored in memories, vulnerable to decoherence. In this work, we explore the notion of optimistic purification in a single link setup, wherein classical communication required for heralding and purification is delayed, possibly to the end of the process. Optimism reduces the overall time EPR pairs are stored in memory. While this is beneficial for fidelity, it can result in lower rates due to the continued execution of protocols with sparser heralding and purification outcome updates. We apply optimism to the entanglement pumping scheme, ground- and satellite-based EPR generation sources, and current state-of-the-art purification circuits. We evaluate sensitivity performance to a number of parameters including link length, EPR source rate and fidelity, and memory coherence time. We observe that our optimistic protocols are able to increase fidelity, while the traditional approach becomes detrimental to it for long distances. We study the trade-off between rate and fidelity under entanglement-based QKD, and find that optimistic schemes can yield higher rates compared to non-optimistic counterparts, with most advantages seen in scenarios with low initial fidelity and short coherence times.


title: BanglaNet: Bangla Handwritten Character Recognition using Ensembling of Convolutional Neural Network

abstract: Handwritten character recognition is a crucial task because of its abundant applications. The recognition task of Bangla handwritten characters is especially challenging because of the cursive nature of Bangla characters and the presence of compound characters with more than one way of writing. In this paper, a classification model based on the ensembling of several Convolutional Neural Networks (CNN), namely, BanglaNet is proposed to classify Bangla basic characters, compound characters, numerals, and modifiers. Three different models based on the idea of state-of-the-art CNN models like Inception, ResNet, and DenseNet have been trained with both augmented and non-augmented inputs. Finally, all these models are averaged or ensembled to get the finishing model. Rigorous experimentation on three benchmark Bangla handwritten characters datasets, namely, CMATERdb, BanglaLekha-Isolated, and Ekush has exhibited significant recognition accuracies compared to some recent CNN-based research. The top-1 recognition accuracies obtained are 98.40%, 97.65%, and 97.32%, and the top-3 accuracies are 99.79%, 99.74%, and 99.56% for CMATERdb, BanglaLekha-Isolated, and Ekush datasets respectively.


title: 3D Lane Detection from Front or Surround-View using Joint-Modeling & Matching

abstract: 3D lanes offer a more comprehensive understanding of the road surface geometry than 2D lanes, thereby providing crucial references for driving decisions and trajectory planning. While many efforts aim to improve prediction accuracy, we recognize that an efficient network can bring results closer to lane modeling. However, if the modeling data is imprecise, the results might not accurately capture the real-world scenario. Therefore, accurate lane modeling is essential to align prediction results closely with the environment. This study centers on efficient and accurate lane modeling, proposing a joint modeling approach that combines Bezier curves and interpolation methods. Furthermore, based on this lane modeling approach, we developed a Global2Local Lane Matching method with Bezier Control-Point and Key-Point, which serve as a comprehensive solution that leverages hierarchical features with two mathematical models to ensure a precise match. We also introduce a novel 3D Spatial Encoder, representing an exploration of 3D surround-view lane detection research. The framework is suitable for front-view or surround-view 3D lane detection. By directly outputting the key points of lanes in 3D space, it overcomes the limitations of anchor-based methods, enabling accurate prediction of closed-loop or U-shaped lanes and effective adaptation to complex road conditions. This innovative method establishes a new benchmark in front-view 3D lane detection on the Openlane dataset and achieves competitive performance in surround-view 2D lane detection on the Argoverse2 dataset.


title: Understanding factors behind IoT privacy -- A user's perspective on RF sensors

abstract: While IoT sensors in physical spaces have provided utility and comfort in our lives, their instrumentation in private and personal spaces has led to growing concerns regarding privacy. The existing notion behind IoT privacy is that the sensors whose data can easily be understood and interpreted by humans (such as cameras) are more privacy-invasive than sensors that are not human-understandable, such as RF (radio-frequency) sensors. However, given recent advancements in machine learning, we can not only make sensitive inferences on RF data but also translate between modalities. Thus, the existing notions of privacy for IoT sensors need to be revisited. In this paper, our goal is to understand what factors affect the privacy notions of a non-expert user (someone who is not well-versed in privacy concepts). To this regard, we conduct an online study of 162 participants from the USA to find out what factors affect the privacy perception of a user regarding an RF-based device or a sensor. Our findings show that a user's perception of privacy not only depends upon the data collected by the sensor but also on the inferences that can be made on that data, familiarity with the device and its form factor as well as the control a user has over the device design and its data policies. When the data collected by the sensor is not human-interpretable, it is the inferences that can be made on the data and not the data itself that users care about when making informed decisions regarding device privacy.