title: On Right Continuity in $(L^2)^3$ at All the Points of Energy-regularized Solutions for the 3D Navier-Stokes Equations

abstract: In this note I provide the notion of energy-regularized solutions (ER-solutions) of the 3D Navier-Stokes equations. These solutions can be obtained via the standard Galerkin arguments. I prove that each ER-solution for the 3D Navier-Stokes system satisfies Leray-Hopf property. Moreover, each ER-solution is rightly continuous in the standard phase space $H$ endowed with the strong convergence topology.


title: Bridging the Gap Between Single and Multi Objective Games

abstract: A classic model to study strategic decision making in multi-agent systems is the normal-form game. This model can be generalised to allow for an infinite number of pure strategies leading to continuous games. Multi-objective normal-form games are another generalisation that model settings where players receive separate payoffs in more than one objective. We bridge the gap between the two models by providing a theoretical guarantee that a game from one setting can always be transformed to a game in the other. We extend the theoretical results to include guaranteed equivalence of Nash equilibria. The mapping makes it possible to apply algorithms from one field to the other. We demonstrate this by introducing a fictitious play algorithm for multi-objective games and subsequently applying it to two well-known continuous games. We believe the equivalence relation will lend itself to new insights by translating the theoretical guarantees from one formalism to another. Moreover, it may lead to new computational approaches for continuous games when a problem is more naturally solved in the succinct format of multi-objective games.


title: A High-resolution Clock Phase Shifter Circuitry for ALTIROC

abstract: A high-resolution clock phase shifter is implemented to adjust the phase of multiple clocks at 40 MHz, 80 MHz, or 640 MHz in the ALTIROC chip. The phase shifter has a coarse-phase shifter and a fine-phase shifter to achieve a step size of 97.7 ps and an adjustable range of 25 ns. The fine delay unit is based on a Delay Locked Loop (DLL) operating at 640 MHz. The phase shifter is fabricated in a 130 nm CMOS process. The area of the phase shifter is 725 um x 248 um. The Differential Non-Linearity (DNL) and the Integral Non-Linearity (INL) are +/-0.6 LSB and +/-0.75 LSB, respectively. The jitter from -25 C to 20 C is less than 15.5 ps (RMS), including the contributions from the FPGA clock source and the PLL. The power consumption is 11.2 mW.


title: Terrestrial Effects of Nearby Supernovae: Updated Modeling

abstract: We have reevaluated recent studies of the effects on Earth by cosmic rays (CRs) from nearby supernovae (SNe) at 100 and 50 pc, in the diffusive transport CR case, here including an early-time suppression at lower CR energies neglected in the previous works. Inclusion of this suppression leads to lower overall CR fluxes at early times, lower atmospheric ionization, smaller resulting ozone depletion, and lower sea-level muon radiation doses. Differences in the atmospheric impacts are most pronounced for the 100 pc case with less significant differences in the 50 pc case. We find a greater discrepancy in the modeled sea-level muon radiation dose, with significantly smaller dose values in the 50 pc case; our results indicate it is unlikely that muon radiation is a significant threat to the biosphere for SNe beyond 20 pc, for the diffusive transport case. We have also performed new modeling of the effects of SN CRs at 20 and 10 pc. Overall, our results indicate that, considering only the effects of CRs, the "lethal" SN distance should be closer to 20 pc rather than the typically quoted 8-10 pc. Recent work on extended SN X-ray emission indicates significant effects out to 50 pc and therefore the case is now strong for increasing the standard SN lethal distance to at least 20 pc. This has implications for studies of the history of life on Earth as well as considerations of habitability in the Galaxy.

categories: astro-ph.EP astro-ph.GA astro-ph.HE physics.ao-ph


title: Pell and associated Pell braid sequences as GCDs of sums of $k$ consecutive Pell, balancing, and related numbers

abstract: We consider the greatest common divisor (GCD) of all sums of $k$ consecutive terms of a sequence $(S_n)_{n\geq 0}$ where the terms $S_n$ come from exactly one of following six well-known sequences' terms: Pell $P_n$, associated Pell $Q_n$, balancing $B_n$, Lucas-balancing $C_n$, cobalancing $b_n$, and Lucas-cobalancing $c_n$ numbers. For each of the six GCDs, we provide closed forms dependent on $k$. Moreover, each of these closed forms can be realized as braid sequences of Pell and associated Pell numbers in an intriguing manner. We end with partial results on GCDs of sums of squared terms and open questions.


title: Hypergraphic partitioning of quantum circuits for distributed quantum computing

abstract: In the context of NISQ computers - Noise Intermediate Scale Quantum, it is a consensus that the distribution of circuits among processing agents is a viable approach to get greater scalability with small machines. This approach can increase the combined computational power at the cost of dedicating qubits to get the communication between partitions. Then comes the challenge of reducing this cost of communication-based on efficient circuit partitioning strategies. In this context, this work aims to reduce the consumption of communication qubits generated during the physical partitioning of quantum circuits in the distributed quantum computing scenario. We present a new method for partitioning quantum circuits in a hypergraphic representation, using a heuristic partitioning algorithm for this, reducing the number of communication qubits between the partitions. With this approach, we obtained partial results with a more than 50% reduction in the communication cost generated for the bipartite partitioning against a process done randomly on benchmark circuits. The expectation is that future experiments with multiple partitions will continue with equal or better results than previous works, supporting distributed quantum computing with machines in heterogeneous processing and communication scenarios.


title: Wake Tail Plane Interactions for a Tandem Wing Configuration in High-Speed Stall Conditions

abstract: In this work, wake-tail plane interactions are investigated for a tandem wing configuration in buffet conditions using hybrid RANS/LES simulations with the Automated Zonal Detached Eddy Simulation (AZDES) method. The analyzed configuration consists of two untapered and unswept wing segments, representative of a wing-tail plane configuration. The shock oscillation on the front wing segment and the development of its turbulent wake are characterized, including a spectral analysis of the pressure and velocity fluctuations in the wake and a modal analysis of the flow field applying Proper Orthogonal Decomposition (POD). The impact of the wake on the aerodynamics and loads of the rear wing segment is then studied, with a spectral analysis of its lift and surface pressure oscillations. Finally, the influence of the position and the incidence angle of the rear wing segment are investigated. For the considered flow conditions, 2D buffet is present on the front wing segment. During the downstream movement of the shock, the amount of separation reaches its minimum and small vortices are present in the wake. During the upstream movement of the shock, the amount of separation is at its maximum and larger turbulent structures are present together with high fluctuation levels of velocity and pressure. A distinct peak can be associated with the meandering motion of wake vortices, identified by means of a modal analysis of the flow field using Proper Orthogonal Decomposition. The impingement of the wake causes a strong variation of the loading of the rear wing segment. A comparably low-frequent oscillation of the lift coefficient, attributed to the change of intensity of the downwash caused by the front segment, can be distinguished from fluctuations of high frequency that are caused by the impingement of the turbulent structures in the wake.


title: Uncertainty Quantification for Local Model Explanations Without Model Access

abstract: We present a model-agnostic algorithm for generating post-hoc explanations and uncertainty intervals for a machine learning model when only a static sample of inputs and outputs from the model is available, rather than direct access to the model itself. This situation may arise when model evaluations are expensive; when privacy, security and bandwidth constraints are imposed; or when there is a need for real-time, on-device explanations. Our algorithm uses a bootstrapping approach to quantify the uncertainty that inevitably arises when generating explanations from a finite sample of model queries. Through a simulation study, we show that the uncertainty intervals generated by our algorithm exhibit a favorable trade-off between interval width and coverage probability compared to the naive confidence intervals from classical regression analysis as well as current Bayesian approaches for quantifying explanation uncertainty. We further demonstrate the capabilities of our method by applying it to black-box models, including a deep neural network, trained on three real-world datasets.


title: Quantum Carleman Lattice Boltzmann Simulation of Fluids

abstract: We present a pedagogical introduction to a quantum computing algorithm for the simulation of classical fluids, based on the Carleman linearization of a second-quantized version of lattice kinetic theory. Prospects and limitations for the case of fluid turbulence are discussed and commented on.


title: A Rigorous Uncertainty-Aware Quantification Framework Is Essential for Reproducible and Replicable Machine Learning Workflows

abstract: The ability to replicate predictions by machine learning (ML) or artificial intelligence (AI) models and results in scientific workflows that incorporate such ML/AI predictions is driven by numerous factors. An uncertainty-aware metric that can quantitatively assess the reproducibility of quantities of interest (QoI) would contribute to the trustworthiness of results obtained from scientific workflows involving ML/AI models. In this article, we discuss how uncertainty quantification (UQ) in a Bayesian paradigm can provide a general and rigorous framework for quantifying reproducibility for complex scientific workflows. Such as framework has the potential to fill a critical gap that currently exists in ML/AI for scientific workflows, as it will enable researchers to determine the impact of ML/AI model prediction variability on the predictive outcomes of ML/AI-powered workflows. We expect that the envisioned framework will contribute to the design of more reproducible and trustworthy workflows for diverse scientific applications, and ultimately, accelerate scientific discoveries.


title: ML Approach for Power Consumption Prediction in Virtualized Base Stations

abstract: The flexibility introduced with the Open Radio Access Network (O-RAN) architecture allows us to think beyond static configurations in all parts of the network. This paper addresses the issue related to predicting the power consumption of different radio schedulers, and the potential offered by O-RAN to collect data, train models, and deploy policies to control the power consumption. We propose a black-box (Neural Network) model to learn the power consumption function. We compare our approach with a known hand-crafted solution based on domain knowledge. Our solution reaches similar performance without any previous knowledge of the application and provides more flexibility in scenarios where the system behavior is not well understood or the domain knowledge is not available.


title: A model of reaching via subriemannian geodesics in Engel-type group

abstract: In this paper, we propose a model of arm reaching movements expressed in terms of geodesics in a sub-Riemannian space. We will choose a set of kinematic variables to which motor cortical cells are selective with the purpose of modelling the specific task of reaching. Minimizing trajectories will be recovered as suitable geodesics of the geometric spaces arising from the selective behaviour of M1 neurons. We will then extend this model by including the direction of arm movement. On this set, we will define a suitable sub-Riemannian metric able to provide a geometric interpretation of two-dimensional task-dependent arm reaching movements.


title: The time-evolving impact of tree size on nighttime street canyon microclimate: Wind tunnel modeling of aerodynamic effects and heat removal

abstract: Urban trees play a crucial role in urban climate in many aspects. However, existing research has not adequately explored the impact from a time-evolving perspective, that is, tree growth over time. To bridge this research gap, this study investigates in a wind tunnel the effects of tree-to-canyon foliage cover and relative height (0.32-1.1 times canyon height), mimicking growth of trees, on conditions in street canyons during moderate and extreme heat. The results reveal that trees may affect canyon-wide ventilation and heat removal in two different scenarios. First, when canyons are in isothermal conditions, medium and large trees, that fill half the canyon height or reach slightly above the canyon, decelerate the shear layer and weaken the vortical flow, as a result reducing the canyon-wide ventilation. Second, in extreme heat conditions, medium and large trees trap heat at the pedestrian level due to the blockage of air entrainment and the suppression of upward buoyancy-driven flow from the ground surface. An air temperature rise that corresponds to 1.5 degree Celsius in a full-scale urban setting is observed in measurements. These observations suggest that urban trees' foliage cover must be managed for a canyon's optimal ventilation and heat removal during nighttime.


title: Theoretical modeling of capillary surfer interactions on a vibrating fluid bath

abstract: We present and analyze a theoretical model for the dynamics and interactions of "capillary surfers," which are millimetric objects that self-propel while floating at the interface of a vibrating fluid bath. In our companion paper [1], we reported the results of an experimental investigation of the surfer system, which showed that surfer pairs may lock into one of seven bound states, and that larger collectives of surfers self-organize into coherent flocking states. Our theoretical model for the surfers' positional and orientational dynamics approximates a surfer as a pair of vertically oscillating point sources of weakly viscous gravity-capillary waves. We derive an analytical solution for the associated interfacial deformation and thus the hydrodynamic force exerted by one surfer on another. Our model recovers the bound states found in experiments and exhibits good quantitative agreement with experimental data. Moreover, a linear stability analysis shows that the bound states are quantized on the capillary wavelength, with stable branches of equilibria separated by unstable ones. Generally, our work shows that self-propelling objects coupled by interfacial flows constitute a promising platform for studying active matter systems in which both inertial and viscous effects are relevant.


title: RxRx1: A Dataset for Evaluating Experimental Batch Correction Methods

abstract: High-throughput screening techniques are commonly used to obtain large quantities of data in many fields of biology. It is well known that artifacts arising from variability in the technical execution of different experimental batches within such screens confound these observations and can lead to invalid biological conclusions. It is therefore necessary to account for these batch effects when analyzing outcomes. In this paper we describe RxRx1, a biological dataset designed specifically for the systematic study of batch effect correction methods. The dataset consists of 125,510 high-resolution fluorescence microscopy images of human cells under 1,138 genetic perturbations in 51 experimental batches across 4 cell types. Visual inspection of the images alone clearly demonstrates significant batch effects. We propose a classification task designed to evaluate the effectiveness of experimental batch correction methods on these images and examine the performance of a number of correction methods on this task. Our goal in releasing RxRx1 is to encourage the development of effective experimental batch correction methods that generalize well to unseen experimental batches. The dataset can be downloaded at https://rxrx.ai.


title: Differentially closed fields and universality on a cone

abstract: The class of all countable differentially closed differential fields $K$ of characteristic $0$ was shown by Marker and the author to be "one jump away" from universal for spectra of structures: for every nontrivial countable structure $\mathfrak M$, there is some $K$ whose spectrum is the preimage under jump of the spectrum of $\mathfrak M$, and conversely, for every $K$, there is such an $\mathfrak M$. We show that the missing jump can be accounted for by adding to the signature of differential fields a predicate describing a certain algebraic transcendence property. The ensuing universality results for differentially closed fields in the new signature include not only spectra of structures, but also many properties related to computable categoricity. However, these latter universality results hold only on the cone above a specific $\Sigma^0_1$ oracle set, whose decidability status remains unknown. Moreover, differentially closed fields simply fail flat-out to be universal for automorphism groups, even non-effectively. We also include a small erratum to an earlier work.


title: PESC -- Parallel Experiment for Sequential Code

abstract: The need for computational resources grows as computational algorithms gain popularity in different sectors of the scientific community. This search has stimulated the development of several cloud platforms that abstract the complexity of computational infrastructure. Unfortunately, the cost of accessing these resources could leave out various studies that could be carried by a simpler infrastructure. In this article, we present a platform for distributing computer simulations on resources available on a network using containers that abstracts the complexity needed to configure these execution environments and allows any user can benefit from this infrastructure. Simulations could be developed in any programming language (like Python, Java, C, R) and with specific execution needs within reach of the scientific community in a general way. We will present results obtained in running simulations that required more than 1000 runs with different initial parameters and various other experiments that benefited from using the platform.


title: Cofiniteness of Koszul cohomology modules

abstract: Let $A$ be a commutative noetherian ring and let $\mathfrak a$ be an ideal of $A$. In this paper, we study the cofiniteness of an $A$- module via the cofiniteness of its Koszul cohomology modules and vice versa. Moreover, we introduce the category $\cK\cM({\bf x},\frak a,A)_{\rm cof}$ consisting of all $A$-modules $M$ such that $H^i({\bf x},M)$ is $\frak a$-cofinite for all $i\geq 0$ and we study the abelianess of this new category.


title: Periods for topological circle actions

abstract: The language of Harvey-Lawson currents and sparks may be useful for the study of Hopkins-Singer Wu classes in geometric topology, via equivariant Tate $K$-theory of circle actions and distributional generalizations of classical zeta functions.


title: Nanoscale Sn off-centering behind low thermal conductivity in SnSe thermoelectric

abstract: The local atomic structure of SnSe was characterized across its orthorhmbic-to-orthorhombic structural phase transition using x-ray pair distribution function analysis. Substantial Sn off-centering distortions persist in the high symmetry high temperature phase, with symmetry different from that of ordered distortions below the transition. The analysis implies that the transition is neither order-disorder nor displacive, but rather a complex crossover where the character of coupling changes from 3D-like at low temperature to 2D-like at high temperature. Robust ferro-coupled SnSe intra-layer distortions suggest a ferroelectric-like instability as the driving force. Complex local Sn off-centering is integral to the ultra-low lattice thermal conductivity mechanism in SnSe.


title: Spatiotemporal relative risk distribution of porcine reproductive and respiratory syndrome virus in the southeastern United States

abstract: Porcine reproductive and respiratory syndrome virus (PRRSV) remains widely distributed across the U.S. swine industry. Between-farm movement of animals and transportation vehicles, along with local transmission are the primary routes by which PRRSV is spread. Given the farm-to-farm proximity in high pig production areas, local transmission is an important pathway in the spread of PRRSV; however, there is limited understanding of the role local transmission plays in the dissemination of PRRSV, specifically, the distance at which there is increased risk for transmission from infected to susceptible farms. We used a spatial and spatiotemporal kernel density approach to estimate PRRSV relative risk and utilized a Bayesian spatiotemporal hierarchical model to assess the effects of environmental variables, between-farm movement data, and on-farm biosecurity features on PRRSV outbreaks. The maximum spatial distance calculated through the kernel density approach was 15.3 km in 2018, 17.6 km in 2019, and 18 km in 2020. Spatiotemporal analysis revealed greater variability throughout the study period, with significant differences between the different farm types. Sow farms were consistently categorized as high risk farm types, while downstream farms (i.e., finisher and nursery farms) had more susceptible farms within areas of significant-high relative risk. Factors associated with PRRSV outbreaks were farms with higher number of access points to barns, higher numbers of outgoing movements of pigs, and higher number of days where temperatures were between 4{\deg}C and 10{\deg}C. Results obtained from this study may be used to guide the reinforcement of biosecurity and surveillance strategies at farms and areas within the distance threshold of PRRSV positive farms.


title: MLOps: A Primer for Policymakers on a New Frontier in Machine Learning

abstract: This chapter is written with the Data Scientist or MLOps professional in mind but can be used as a resource for policy makers, reformists, AI Ethicists, sociologists, and others interested in finding methods that help reduce bias in algorithms. I will take a deployment centered approach with the assumption that the professionals reading this work have already read the amazing work on the implications of algorithms on historically marginalized groups by Gebru, Buolamwini, Benjamin and Shane to name a few. If you have not read those works, I refer you to the "Important Reading for Ethical Model Building" list at the end of this paper as it will help give you a framework on how to think about Machine Learning models more holistically taking into account their effect on marginalized people. In the Introduction to this chapter, I root the significance of their work in real world examples of what happens when models are deployed without transparent data collected for the training process and are deployed without the practitioners paying special attention to what happens to models that adapt to exploit gaps between their training environment and the real world. The rest of this chapter builds on the work of the aforementioned researchers and discusses the reality of models performing post production and details ways ML practitioners can identify bias using tools during the MLOps lifecycle to mitigate bias that may be introduced to models in the real world.


title: Young Labeled Faces in the Wild (YLFW): A Dataset for Children Faces Recognition

abstract: Face recognition has achieved outstanding performance in the last decade with the development of deep learning techniques. Nowadays, the challenges in face recognition are related to specific scenarios, for instance, the performance under diverse image quality, the robustness for aging and edge cases of person age (children and elders), distinguishing of related identities. In this set of problems, recognizing children's faces is one of the most sensitive and important. One of the reasons for this problem is the existing bias towards adults in existing face datasets. In this work, we present a benchmark dataset for children's face recognition, which is compiled similarly to the famous face recognition benchmarks LFW, CALFW, CPLFW, XQLFW and AgeDB. We also present a development dataset (separated into train and test parts) for adapting face recognition models for face images of children. The proposed data is balanced for African, Asian, Caucasian, and Indian races. To the best of our knowledge, this is the first standartized data tool set for benchmarking and the largest collection for development for children's face recognition. Several face recognition experiments are presented to demonstrate the performance of the proposed data tool set.


title: Lung airway geometry as an early predictor of autism: A preliminary machine learning-based study

abstract: The goal of this study is to assess the feasibility of airway geometry as a biomarker for ASD. Chest CT images of children with a documented diagnosis of ASD as well as healthy controls were identified retrospectively. 54 scans were obtained for analysis, including 31 ASD cases and 23 age and sex-matched controls. A feature selection and classification procedure using principal component analysis (PCA) and support vector machine (SVM) achieved a peak cross validation accuracy of nearly 89% using a feature set of 8 airway branching angles. Sensitivity was 94%, but specificity was only 78%. The results suggest a measurable difference in airway branchpoint angles between children with ASD and the control population. Under review at Scientific Reports


title: Reflecting boundary conditions in numerical relativity as a model for black hole echoes

abstract: Recently, there has been much interest in black hole echoes, based on the idea that there may be some mechanism (e.g., from quantum gravity) that waves/fields falling into a black hole could partially reflect off of an interface before reaching the horizon. There does not seem to be a good understanding of how to properly model a reflecting surface in numerical relativity, as the vast majority of the literature avoids the implementation of artificial boundaries, or applies transmitting boundary conditions. Here, we present a framework for reflecting a scalar field in a fully dynamical spherically symmetric spacetime, and implement it numerically. We study the evolution of a wave packet in this situation and its numerical convergence, including when the location of a reflecting boundary is very close to the horizon of a black hole. This opens the door to model exotic near-horizon physics within full numerical relativity.


title: Li coefficients as norms of functions in a model space

abstract: It is known that the nonnegativity of Li coefficients is a necessary and sufficient condition for the Riemann hypothesis. We show that it is a necessary and sufficient condition for the Riemann hypothesis that all Li coefficients are norms of certain concrete functions on the real line. Such conditional formulas for Li coefficients are understood as a kind of Weil's criterion for the Riemann hypothesis.


title: A hybrid probabilistic domain decomposition algorithm suited for very large-scale elliptic PDEs

abstract: State of the art domain decomposition algorithms for large-scale boundary value problems (with $M\gg 1$ degrees of freedom) suffer from bounded strong scalability because they involve the synchronisation and communication of workers inherent to iterative linear algebra. Here, we introduce PDDSparse, a different approach to scientific supercomputing which relies on a "Feynman-Kac formula for domain decomposition". Concretely, the interfacial values (only) are determined by a stochastic, highly sparse linear system $G(\omega){\vec u}={\vec b}(\omega)$ of size ${\cal O}(\sqrt{M})$, whose coefficients are constructed with Monte Carlo simulations-hence embarrassingly in parallel. In addition to a wider scope for strong scalability in the deep supercomputing regime, PDDSparse has built-in fault tolerance and is ideally suited for GPUs. A proof of concept example with up to 1536 cores is discussed in detail.


title: Analysis of November 21, 2021, Kaua`i Island Power System 18-20 Hz Oscillations

abstract: This letter discusses the 18-20 Hz oscillation event at 05:30 am on November 21, 2021, in Kaua`i's power system following the trip of an oil power plant. As far as the authors are aware, this is the first report of a transmission system-wide subsynchronous oscillation driven by inverter-based resources (though the system in question is relatively small). In this letter, we leverage two data-based methods-the dissipating energy flow method and the sub/super-synchronous power flow method-to locate the sources of the oscillation. Also, we build an electromagnetic transient model of the Kaua`i power system and replay the 18-20 Hz oscillation. Finally, we propose two mitigation methods and validate their effectiveness via numerical simulation.


title: Evaluating the sustainability of a de facto harvest strategy for British Columbia's Spot Prawn (Pandalus platyceros) fishery in the presence of environmental drivers of recruitment and hyperstable catch rates

abstract: The Spot Prawn trap fishery off the west coast of British Columbia (BC) is managed using a fixed escapement strategy that aims to prevent recruitment overfishing while maximizing expected long-term yield by closing the fishery when the catch rate of spawners, projected to the following spring, drops below 1.7 spawners per trap (the de jure rule). We develop a management strategy evaluation framework for BC's Spot Prawn fishery that examines the expected performance of the management procedure implemented in practice (the de facto rule), which was significantly more conservative than the de jure rule, usually closing the fishery when spawner catch rates were at least twice as high as specified by the de jure rule. Simulations indicate that the de facto spawner index rule using average empirical March 31st targets from 2000 to 2019 maintains most stocks near or above 0.8 BMSY with or without accounting for environmental effects and/or increasing future SST on recruitment. Abundance indices were found to be strongly hyperstable, with fishing efficiency 1.5 to 3.0 times higher under low biomass than high biomass.


title: Fundamental limitations of dual energy X-ray scanners for cargo content atomic number discrimination

abstract: To combat the risk of nuclear smuggling, radiography systems are deployed at ports to scan cargo containers for concealed illicit materials. Dual energy radiography systems enable a rough elemental analysis of cargo containers due to the $Z$-dependence of photon attenuation, allowing for improved material detection. This work studies the capabilities for atomic number discrimination using dual energy MeV systems by considering dual energy $\{6, 4\}$ MeV, $\{10, 6\}$ MeV, and $\{10, 4\}$ MeV bremsstrahlung beams. Results of this analysis show that two different pure materials can sometimes produce identical transparency measurements, leading to a fundamental ambiguity when differentiating between materials of different atomic numbers. Previous literature has observed this property, but the extent of the limitation is poorly understood and the cause of the degeneracy is generally inadequately explained. This non-uniqueness property stems from competition between photoelectric absorption and pair production and is present even in systems with perfect resolution and zero statistical noise. These findings are validated through Monte Carlo transparency simulations. Results of this study show that currently deployed commercial radiographic systems are fundamentally incapable of distinguishing between high-$Z$ nuclear materials and miscellaneous mid-$Z$ cargo contents.


title: Implementation strategies in phonopy and phono3py

abstract: Scientific simulation codes are public property sustained by the community. Modern technology allows anyone to join scientific software projects, from anywhere, remotely via the internet. The phonopy and phono3py codes are widely used open source phonon calculation codes. This review describes a collection of computational methods and techniques as implemented in these codes and shows their implementation strategies as a whole, aiming to be useful for the community. Some of the techniques presented here are not limited to phonon calculations and may therefore be useful in other area of condensed matter physics.


title: Efficient Activation Function Optimization through Surrogate Modeling

abstract: Carefully designed activation functions can improve the performance of neural networks in many machine learning tasks. However, it is difficult for humans to construct optimal activation functions, and current activation function search algorithms are prohibitively expensive. This paper aims to improve the state of the art through three steps: First, the benchmark datasets Act-Bench-CNN, Act-Bench-ResNet, and Act-Bench-ViT were created by training convolutional, residual, and vision transformer architectures from scratch with 2,913 systematically generated activation functions. Second, a characterization of the benchmark space was developed, leading to a new surrogate-based method for optimization. More specifically, the spectrum of the Fisher information matrix associated with the model's predictive distribution at initialization and the activation function's output distribution were found to be highly predictive of performance. Third, the surrogate was used to discover improved activation functions in several real-world tasks, with a surprising finding: a sigmoidal design that outperformed all other activation functions was discovered, challenging the status quo of always using rectifier nonlinearities in deep learning. Each of these steps is a contribution in its own right; together they serve as a practical and theoretical foundation for further research on activation function optimization.


title: Agglomeration Drives the Reversed Fractionation of Aqueous Carbonate and Bicarbonate at the Air-water Interface

abstract: In the course of our investigations of the adsorption of ions to the air-water interface, we previously reported the surprising result that doubly-charged carbonate anions exhibit a stronger surface affinity than do singly-charged bicarbonate anions. In contrast to monovalent, weakly hydrated anions, which generally show enhanced concentrations in the interfacial region, multivalent (and strongly hydrated) anions are expected to show much weaker surface propensity. In the present work, we use resonantly enhanced deep-UV second harmonic generation spectroscopy to measure the Gibbs free energy of adsorption of both carbonate ($CO_3^{2-}$) and bicarbonate $(HCO_3^-)$ anions to the air-water interface. Contrasting the predictions of classical electrostatic theory, and in support of our previous findings from X-ray photoelectron spectroscopy, we find that carbonate anions do indeed exhibit much stronger surface affinity than do the bicarbonate anions. Molecular dynamics simulation reveals that strong ion pairing of $CO_3^{2-}$ with the $Na^+$ counter-cation in the interfacial region, resulting in formation of near-neutral agglomerates of $Na^+$ and $CO_3^{2-}$ clusters, is responsible for this counterintuitive behavior. These findings not only advance our fundamental understanding of ion adsorption chemistry, but will also impact important practical processes such as ocean acidification, sea-spray aerosol chemistry, and mammalian respiration physiology.


title: Rectified Rotational Dynamics of Mobile Inclusions in Two-Dimensional Active Nematics

abstract: We investigate the dynamics of mobile inclusions embedded in 2D active nematics. The interplay between the inclusion shape, the boundary-induced nematic order, and the autonomous flow powers the inclusion motion. Disks and achiral gears exhibit unbiased rotational motion, but with distinct dynamics. In comparison, chiral gear-shaped inclusions exhibit long-term rectified rotation, which is correlated with dynamics and polarization of nearby +1/2 topological defects. The chirality of defect polarities and the active nematic texture around the inclusion correlate with the inclusion's instantaneous rotationr ate. Inclusions provide a promising tool for probing the rheological properties of active nematics and extracting ordered motion from the inherently chaotic motion of active nematics.


title: Exposedness of elementary positive maps between matrix algebras

abstract: The positive linear maps $\ad_s$ which send matrices $x$ to $s^*xs$ play important roles in quantum information theory as well as matrix theory. It was proved by Marciniak [Linear Multilinear Alg. 61 (2013), 970--975] that the map $\ad_s$ generates an exposed ray of the convex cone of all positive linear maps. In this note, we provide two alternative proofs, using Choi matrices and Woronowicz's method, respectively.


title: An artificially-damped Fourier method for dispersive evolution equations

abstract: Computing solutions to partial differential equations using the fast Fourier transform can lead to unwanted oscillatory behavior. Due to the periodic nature of the discrete Fourier transform, waves that leave the computational domain on one side reappear on the other and for dispersive equations these are typically high-velocity, high-frequency waves. However, the fast Fourier transform is a very efficient numerical tool and it is important to find a way to damp these oscillations so that this transform can still be used. In this paper, we accurately model solutions to four nonlinear partial differential equations on an infinite domain by considering a finite interval and implementing two damping methods outside of that interval: one that solves the heat equation and one that simulates rapid exponential decay. Heat equation-based damping is best suited for small-amplitude, high-frequency oscillations while exponential decay is used to damp traveling waves and high-amplitude oscillations. We demonstrate significant improvements in the runtime of well-studied numerical methods when adding in the damping method.


title: Mehler-Fock transforms and retarded radiative Green functions on hyperbolic and spherical spaces

abstract: We develop the theory of causal radiation Green functions on hyperbolic and hyperspherical spaces using a constructive approach based on generalized Mehler-Fock transforms. This approach focuses for $H^d$ on the kernel of the transformation expressed in terms of hyperbolic angles $\theta$ with $0\leq\theta<\infty$. The kernel provides an explicit representation for the generalized delta distribution which acts as the source term for the radiation, and allows easy implementation of the causality or retardation condition and determination of the Green function. We obtain the corresponding kernel distribution on $S^d$ by analytic continuation of the kernel distribution of the Helmholtz equation on $H^d$, then show that this construction leads to the proper retarded Green function for the wave equation. That result is then used to establish the validity of a new generalized Mehler-Fock transformation for $0\leq\theta<\pi$. The present results clarify and extend those obtained recently by Cohl, Dang, and Dunster.


title: Estimates for exponential functionals of continuous Gaussian processes with emphasis on fractional Brownian motion

abstract: Our aim in this article is to provide explicit computable estimates for the cumulative distribution function (c.d.f.) and the $p$-th order moment of the exponential functional of a fractional Brownian motion (fBM) with drift. Using elementary techniques, we prove general upper bounds for the c.d.f. of exponential functionals of continuous Gaussian processes. On the other hand, by applying classical results for extremes of Gaussian processes, we derive general lower bounds. We also find estimates for the $p$-th order moment and the moment-generating function of such functionals. As a consequence, we obtain explicit lower and upper bounds for the c.d.f. and the $p$-th order moment of the exponential functionals of a fBM, and of a series of independent fBMs. In addition, we show the continuity in law of the exponential functional of a fBM with respect to the Hurst parameter.


title: RMM: Reinforced Memory Management for Class-Incremental Learning

abstract: Class-Incremental Learning (CIL) [40] trains classifiers under a strict memory budget: in each incremental phase, learning is done for new data, most of which is abandoned to free space for the next phase. The preserved data are exemplars used for replaying. However, existing methods use a static and ad hoc strategy for memory allocation, which is often sub-optimal. In this work, we propose a dynamic memory management strategy that is optimized for the incremental phases and different object classes. We call our method reinforced memory management (RMM), leveraging reinforcement learning. RMM training is not naturally compatible with CIL as the past, and future data are strictly non-accessible during the incremental phases. We solve this by training the policy function of RMM on pseudo CIL tasks, e.g., the tasks built on the data of the 0-th phase, and then applying it to target tasks. RMM propagates two levels of actions: Level-1 determines how to split the memory between old and new classes, and Level-2 allocates memory for each specific class. In essence, it is an optimizable and general method for memory management that can be used in any replaying-based CIL method. For evaluation, we plug RMM into two top-performing baselines (LUCIR+AANets and POD+AANets [30]) and conduct experiments on three benchmarks (CIFAR-100, ImageNet-Subset, and ImageNet-Full). Our results show clear improvements, e.g., boosting POD+AANets by 3.6%, 4.4%, and 1.9% in the 25-Phase settings of the above benchmarks, respectively.


title: Sky Subtraction in an Era of Low Surface Brightness Astronomy

abstract: The Vera C. Rubin Observatory Wide-Fast Deep (WFD) sky survey will reach unprecedented surface brightness depths over tens of thousands of square degrees. Surface brightness photometry has traditionally been a challenge. Current algorithms which combine object detection with sky estimation systematically over-subtract the sky, biasing surface brightness measurements at the faint end and destroying or severely compromising low surface brightness light. While it has recently been shown that properly accounting for undetected faint galaxies and the wings of brighter objects can in principle recover a more accurate sky estimate, this has not yet been demonstrated in practice. Obtaining a consistent spatially smooth underlying sky estimate is particularly challenging in the presence of representative distributions of bright and faint objects. In this paper we use simulations of crowded and uncrowded fields designed to mimic Hyper Suprime-Cam data to perform a series of tests on the accuracy of the recovered sky. Dependence on field density, galaxy type and limiting flux for detection are all considered. Several photometry packages are utilised: Source Extractor, Gnuastro, and the LSST Science Pipelines. Each is configured in various modes, and their performance at extreme low surface brightness analysed. We find that the combination of the Source Extractor software package with novel source model masking techniques consistently produce extremely faint output sky estimates, by up to an order of magnitude, as well as returning high fidelity output science catalogues.


title: Relativistic semistochastic heat-bath configuration interaction

abstract: In this work we present the extension of semistochastic heat-bath configuration interaction (SHCI) to work with any two-component and four-component Hamiltonian. Vertical detachment energy (VDE) of AuH_2^- and zero-field splitting (ZFS) of NpO2 2+ are calculated by correlating more than 100 spinors in both cases. This work demonstrates the capability of SHCI to treat problems where both relativistic effect and electron correlation are important.


title: Poisoning Attacks and Defenses in Federated Learning: A Survey

abstract: Federated learning (FL) enables the training of models among distributed clients without compromising the privacy of training datasets, while the invisibility of clients datasets and the training process poses a variety of security threats. This survey provides the taxonomy of poisoning attacks and experimental evaluation to discuss the need for robust FL.


title: Learning Trajectory-Conditioned Relations to Predict Pedestrian Crossing Behavior

abstract: In smart transportation, intelligent systems avoid potential collisions by predicting the intent of traffic agents, especially pedestrians. Pedestrian intent, defined as future action, e.g., start crossing, can be dependent on traffic surroundings. In this paper, we develop a framework to incorporate such dependency given observed pedestrian trajectory and scene frames. Our framework first encodes regional joint information between a pedestrian and surroundings over time into feature-map vectors. The global relation representations are then extracted from pairwise feature-map vectors to estimate intent with past trajectory condition. We evaluate our approach on two public datasets and compare against two state-of-the-art approaches. The experimental results demonstrate that our method helps to inform potential risks during crossing events with 0.04 improvement in F1-score on JAAD dataset and 0.01 improvement in recall on PIE dataset. Furthermore, we conduct ablation experiments to confirm the contribution of the relation extraction in our framework.


title: FedSSC: Shared Supervised-Contrastive Federated Learning

abstract: Federated learning is widely used to perform decentralized training of a global model on multiple devices while preserving the data privacy of each device. However, it suffers from heterogeneous local data on each training device which increases the difficulty to reach the same level of accuracy as the centralized training. Supervised Contrastive Learning which outperform cross-entropy tries to minimizes the difference between feature space of points belongs to the same class and pushes away points from different classes. We propose Supervised Contrastive Federated Learning in which devices can share the learned class-wise feature spaces with each other and add the supervised-contrastive learning loss as a regularization term to foster the feature space learning. The loss tries to minimize the cosine similarity distance between the feature map and the averaged feature map from another device in the same class and maximizes the distance between the feature map and that in a different class. This new regularization term when added on top of the moon regularization term is found to outperform the other state-of-the-art regularization terms in solving the heterogeneous data distribution problem.


title: Regulating For-Hire Autonomous Vehicles for An Equitable Multimodal Transportation Network

abstract: This paper assesses the equity impacts of for-hire autonomous vehicles (AVs) and investigates regulatory policies that promote spatial and social equity in future autonomous mobility ecosystems. To this end, we consider a multimodal transportation network, where a ride-hailing platform operates a fleet of AVs to offer mobility-on-demand services in competition with a public transit agency that offers transit services on a transportation network. A game-theoretic model is developed to characterize the intimate interactions between the ride-hailing platform, the transit agency, and multiclass passengers with distinct income levels. An algorithm is proposed to compute the Nash equilibrium of the game and conduct an ex-post evaluation of the performance of the obtained solution. Based on the proposed framework, we evaluate the spatial and social equity in transport accessibility using the Theil index, and find that although the proliferation of for-hire AVs in the ride-hailing network improves overall accessibility, the benefits are not fairly distributed among distinct locations or population groups, implying that the deployment of AVs will enlarge the existing spatial and social inequity gaps in the transportation network if no regulatory intervention is in place. To address this concern, we investigate two regulatory policies that can improve transport equity: (a) a minimum service-level requirement on ride-hailing services, which improves the spatial equity in the transport network; (b) a subsidy on transit services by taxing ride-hailing services, which promotes the use of public transit and improves the spatial and social equity of the transport network. We show that the minimum service-level requirement entails a trade-off: as a higher minimum service level is imposed, the spatial inequity reduces, but the social inequity will be exacerbated. On the other hand ...


title: An Accelerated Lyapunov Function for Polyak's Heavy-Ball on Convex Quadratics

abstract: In 1964, Polyak showed that the Heavy-ball method, the simplest momentum technique, accelerates convergence of strongly-convex problems in the vicinity of the solution. While Nesterov later developed a globally accelerated version, Polyak's original algorithm remains simpler and more widely used in applications such as deep learning. Despite this popularity, the question of whether Heavy-ball is also globally accelerated or not has not been fully answered yet, and no convincing counterexample has been provided. This is largely due to the difficulty in finding an effective Lyapunov function: indeed, most proofs of Heavy-ball acceleration in the strongly-convex quadratic setting rely on eigenvalue arguments. Our study adopts a different approach: studying momentum through the lens of quadratic invariants of simple harmonic oscillators. By utilizing the modified Hamiltonian of Stormer-Verlet integrators, we are able to construct a Lyapunov function that demonstrates an O(1/k^2) rate for Heavy-ball in the case of convex quadratic problems. This is a promising first step towards potentially proving the acceleration of Polyak's momentum method and we hope it inspires further research in this field.


title: Polyhedral realizations for crystal bases of integrable highest weight modules and combinatorial objects of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$

abstract: In this paper, we consider polyhedral realizations for crystal bases $B(\lambda)$ of irreducible integrable highest weight modules of a quantized enveloping algebra $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a classical affine Lie algebra of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$. We will give explicit forms of polyhedral realizations in terms of extended Young diagrams or Young walls that appear in the representation theory of quantized enveloping algebras of classical affine type. As an application, a combinatorial description of $\varepsilon_k^*$ functions on $B(\infty)$ will be given.


title: Expressions of content-parametrized Schur multiple zeta-functions via the Giambelli formula

abstract: In this article, we consider the expressions for content-parametrized Schur multiple zeta-functions in terms of multiple zeta-functions of Euler-Zagier type and their star-variants, or in terms of modified zeta-functions of root systems. First of all, we focus on the Schur multiple zeta-function of hook type. And then, applying the Giambelli formula and induction argument, we obtain the expressions for general content-parametrized Schur multiple zeta-functions.


title: Kippenhahn's construction revisited

abstract: Kippenhahn discovered that the numerical range of a complex square matrix is the convex hull of a plane real algebraic curve. Here, we present an example of a convex set, which has a similar algebraic description as the numerical range, whereas the analogue of Kippenhahn's construction fails regarding isolated, singular points of the curve. This example prompted us to carefully review Kippenhahn's assertion and to highlight aspects of a complete proof that was achieved with methods of convex geometry and real algebraic geometry.


title: Comparison of Small Area Procedures based on Gamma Distributions with Extension to Informative Sampling

abstract: The gamma distribution is a useful model for small area prediction of a skewed response variable. We study the use of the gamma distribution for small area prediction. We emphasize a model, called the gamma-gamma model, in which the area random effects have gamma distributions. We compare this model to a generalized linear mixed model. Each of these two models has been proposed independently in the literature, but the two models have not yet been formally compared. We evaluate the properties of two mean square error estimators for the gamma-gamma model, both of which incorporate corrections for the bias of the estimator of the leading term. Finally, we extend the gamma-gamma model to informative sampling. We conduct thorough simulation studies to assess the properties of the alternative predictors. We apply the proposed methods to data from an agricultural survey.


title: Salient Sign Detection In Safe Autonomous Driving: AI Which Reasons Over Full Visual Context

abstract: Detecting road traffic signs and accurately determining how they can affect the driver's future actions is a critical task for safe autonomous driving systems. However, various traffic signs in a driving scene have an unequal impact on the driver's decisions, making detecting the salient traffic signs a more important task. Our research addresses this issue, constructing a traffic sign detection model which emphasizes performance on salient signs, or signs that influence the decisions of a driver. We define a traffic sign salience property and use it to construct the LAVA Salient Signs Dataset, the first traffic sign dataset that includes an annotated salience property. Next, we use a custom salience loss function, Salience-Sensitive Focal Loss, to train a Deformable DETR object detection model in order to emphasize stronger performance on salient signs. Results show that a model trained with Salience-Sensitive Focal Loss outperforms a model trained without, with regards to recall of both salient signs and all signs combined. Further, the performance margin on salient signs compared to all signs is largest for the model trained with Salience-Sensitive Focal Loss.


title: Safe Control Transitions: Machine Vision Based Observable Readiness Index and Data-Driven Takeover Time Prediction

abstract: To make safe transitions from autonomous to manual control, a vehicle must have a representation of the awareness of driver state; two metrics which quantify this state are the Observable Readiness Index and Takeover Time. In this work, we show that machine learning models which predict these two metrics are robust to multiple camera views, expanding from the limited view angles in prior research. Importantly, these models take as input feature vectors corresponding to hand location and activity as well as gaze location, and we explore the tradeoffs of different views in generating these feature vectors. Further, we introduce two metrics to evaluate the quality of control transitions following the takeover event (the maximal lateral deviation and velocity deviation) and compute correlations of these post-takeover metrics to the pre-takeover predictive metrics.


title: Large monochromatic components in hypergraphs with large minimum codegree

abstract: A result of Gy\'arf\'as says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all $k\geq 3$ and every $(k+1)$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^{k}$, there is a monochromatic component of order at least $\frac{kn}{k+1}$ and this is best possible for all $n$. Recently, Guggiari and Scott and independently Rahimi proved a strengthening of the graph case in the result above which says that the same conclusion holds if $K_n$ is replaced by any graph on $n$ vertices with minimum degree at least $\frac{5n}{6}-1$; furthermore, this bound on the minimum degree is best possible. We prove a strengthening of the $k\geq 3$ case in the result above which says that the same conclusion holds if $K_n^k$ is replaced by any $k$-uniform hypergraph on $n$ vertices with minimum $(k-1)$-degree at least $\frac{kn}{k+1}-(k-1)$; furthermore, this bound on the $(k-1)$-degree is best possible.


title: Clarkson-McLeod solutions of the fourth Painlev\'e equation and the parabolic cylinder-kernel determinant

abstract: The Clarkson-McLeod solutions of the fourth Painlev\'e equation behave like $\kappa D_{\alpha-\frac{1}{2}}^2(\sqrt{2}x)$ as $x\rightarrow +\infty$, where $\kappa$ is some real constant and $D_{\alpha-\frac{1}{2}}(x)$ is the parabolic cylinder function. Using the Deift-Zhou nonlinear steepest descent method, we derive the asymptotic behaviors for this class of solutions as $x\to-\infty$. This completes a proof of Clarkson and McLeod's conjecture on the asymptotics of this family of solutions. The total integrals of the Clarkson-McLeod solutions and the asymptotic approximations of the $\sigma$-form of this family of solutions are also derived. Furthermore, we find a determinantal representation of the $\sigma$-form of the Clarkson-McLeod solutions via an integrable operator with the parabolic cylinder kernel.


title: Current and Future Space and Airborne Observatories for ISM Studies

abstract: A tremendous amount of radiation is emitted by the Interstellar Medium in the mid- and far-infrared (3-500 {\mu}m) that represents the majority of the light emitted by a galaxy. In this article we motivate ISM studies in the infrared and the construction of large specialized observatories like the Stratospheric Observatory For Infrared Astronomy (SOFIA), which just concluded its mission on a scientific high note, and the newly launched James Webb Space Telescope (JWST) that just begun its exciting scientific mission. We introduce their capabilities, present a few examples of their scientific discoveries and discuss how they complemented each other. We then consider the impact of the conclusion of SOFIA for the field in a historic context and look at new opportunities specifically for far-infrared observatories in space and in the stratosphere.


title: Who Should I Trust: AI or Myself? Leveraging Human and AI Correctness Likelihood to Promote Appropriate Trust in AI-Assisted Decision-Making

abstract: In AI-assisted decision-making, it is critical for human decision-makers to know when to trust AI and when to trust themselves. However, prior studies calibrated human trust only based on AI confidence indicating AI's correctness likelihood (CL) but ignored humans' CL, hindering optimal team decision-making. To mitigate this gap, we proposed to promote humans' appropriate trust based on the CL of both sides at a task-instance level. We first modeled humans' CL by approximating their decision-making models and computing their potential performance in similar instances. We demonstrated the feasibility and effectiveness of our model via two preliminary studies. Then, we proposed three CL exploitation strategies to calibrate users' trust explicitly/implicitly in the AI-assisted decision-making process. Results from a between-subjects experiment (N=293) showed that our CL exploitation strategies promoted more appropriate human trust in AI, compared with only using AI confidence. We further provided practical implications for more human-compatible AI-assisted decision-making.


title: Digest Ultrasonic Welding I: Localized Heating and Fuse Bonding

abstract: This paper reports a new insight on the principle of ultrasonic welding process. Physics of ultrasonic welding process is considered to be an inverse process of shear band formation. Both ultrasonic welding and shear band formation involve temperature rising due to localized plastic deformation. During shear band formation, heat will lead to damage of materials, e.g., initiation of cracks inside materials. But heat generated in ultrasonic welding process will bond two pieces or repair the cracks inside materials. Energy directors used in ultrasonic welding process act as a trigger of localized plastic deformation. Mathematically, We found out that heating generation during ultrasonic welding process is similar to heating generation by electric current.


title: Weighted Minwise Hashing Beats Linear Sketching for Inner Product Estimation

abstract: We present a new approach for computing compact sketches that can be used to approximate the inner product between pairs of high-dimensional vectors. Based on the Weighted MinHash algorithm, our approach admits strong accuracy guarantees that improve on the guarantees of popular linear sketching approaches for inner product estimation, such as CountSketch and Johnson-Lindenstrauss projection. Specifically, while our method admits guarantees that exactly match linear sketching for dense vectors, it yields significantly lower error for sparse vectors with limited overlap between non-zero entries. Such vectors arise in many applications involving sparse data. They are also important in increasingly popular dataset search applications, where inner product sketches are used to estimate data covariance, conditional means, and other quantities involving columns in unjoined tables. We complement our theoretical results by showing that our approach empirically outperforms existing linear sketches and unweighted hashing-based sketches for sparse vectors.


title: Optimization of the energy efficiency in Smart Internet of Vehicles assisted by MEC

abstract: Smart Internet of Vehicles (IoV) as a promising application in Internet of Things (IoT) emerges with the development of the fifth generation mobile communication (5G). Nevertheless, the heterogeneous requirements of sufficient battery capacity, powerful computing ability and energy efficiency for electric vehicles face great challenges due to the explosive data growth in 5G and the sixth generation of mobile communication (6G) networks. In order to alleviate the deficiencies mentioned above, this paper proposes a mobile edge computing (MEC) enabled IoV system, in which electric vehicle nodes (eVNs) upload and download data through an anchor node (AN) which is integrated with a MEC server. Meanwhile, the anchor node transmitters radio signal to electric vehicles with simultaneous wireless information and power transfer (SWIPT) technology so as to compensate the battery limitation of eletric vehicles. Moreover, the spectrum efficiency is further improved by multi-input and multi-output (MIMO) and full-duplex (FD) technologies which is equipped at the anchor node. In consideration of the issues above, we maximize the average energy efficiency of electric vehicles by jointly optimize the CPU frequency, vehicle transmitting power, computing tasks and uplink rate. Since the problem is nonconvex, we propose a novel alternate interior-point iterative scheme (AIIS) under the constraints of computing tasks, energy consumption and time latency. Results and discussion section verifies the effectiveness of the proposed AIIS scheme comparing with the benchmark schemes.


title: Minimum Error Entropy Rauch-Tung-Striebel Smoother

abstract: Outliers and impulsive disturbances often cause heavy-tailed distributions in practical applications, and these will degrade the performance of Gaussian approximation smoothing algorithms. To improve the robustness of the Rauch-Tung-Striebel (RTS) smother against complicated non-Gaussian noises, a new RTS-smoother integrated with the minimum error entropy (MEE) criterion (MEE-RTS) is proposed for linear systems, which is also extended to the state estimation of nonlinear systems by utilizing the Taylor series linearization approach. The mean error behavior, the mean square error behavior, as well as the computational complexity of the MEE-RTS smoother are analyzed. According to simulation results, the proposed smoothers perform better than several robust solutions in terms of steady-state error.


title: Thin-film PMUTs: A Review of 40 Years of Research

abstract: A concise review on the thin-film PMUTs, which has been one of the rather important research topics amongst microultrasound experts is being reported. It has been rigorously surveyed, scrutinized, and perceived that the work in this direction began nearly 44 years ago, with the primitive development of functional piezoelectric thin-film material, and now there are already three major companies commercializing them on a bulk scale. This fascinating fact illustrates the enormous contribution made by more than 70 different centers, research institutes, and agencies spread across 4 different continents to develop the vast know-how of these devices design, make, and function. This review covers such important contributions in a short but comprehensive fashion and in particular, intends to educate the readers about the global scenario of PMUTs, the principles governing their design, the ways following their make, all non-conventional useful PMUT designs, and lastly, category wise applications. Crucial comparison charts in terms of thin-film piezoelectric material used in PMUTs, and in terms of targeted applications are also depicted and discussed, which is believed to enlighten any MEMS designer planning to begin working with PMUTs. Moreover, each relevant section is provided with a crisp future forecast, from the authors past knowledge and expertise in this very field of research along with the elements of a careful literature survey. In short, this review can be considered a one-stop time-efficient guide for whoever is interested in knowing about these small devices.


title: First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

abstract: This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image classification, neural control, reinforcement learning, and autonomous systems. We summarize the key processes, rules, and results, present trends observed over the last three years, and provide an outlook into possible future developments.


title: Understanding the Spectral Bias of Coordinate Based MLPs Via Training Dynamics

abstract: Spectral bias is an important observation of neural network training, stating that the network will learn a low frequency representation of the target function before converging to higher frequency components. This property is interesting due to its link to good generalization in over-parameterized networks. However, in low dimensional settings, a severe spectral bias occurs that obstructs convergence to high frequency components entirely. In order to overcome this limitation, one can encode the inputs using a high frequency sinusoidal encoding. Previous works attempted to explain this phenomenon using Neural Tangent Kernel (NTK) and Fourier analysis. However, NTK does not capture real network dynamics, and Fourier analysis only offers a global perspective on the network properties that induce this bias. In this paper, we provide a novel approach towards understanding spectral bias by directly studying ReLU MLP training dynamics. Specifically, we focus on the connection between the computations of ReLU networks (activation regions), and the speed of gradient descent convergence. We study these dynamics in relation to the spatial information of the signal to understand how they influence spectral bias. We then use this formulation to study the severity of spectral bias in low dimensional settings, and how positional encoding overcomes this.


title: A comparative study of two globally convergent numerical methods for acoustic tomography

abstract: The comparative study of two globally convergent numerical methods for acoustic tomography is carried out in two dimensions. These are the boundary control method and the quasi-reversibility method. The novelty is that in the latter a nonlinear inverse problem is reduced to a family of the linear integral equations of the first kind via the Lavrentiev approach and this reduction is used within the quasi-reversibility method. The analysis of its stability is carried out via Carleman estimates. The computational effectiveness of these methods is tested in the numerical experiments with the smooth and discontinuous coefficients to be recovered from the tomographic data.


title: Numerical investigation of airborne transmission in low-ceiling rooms under displacement ventilation

abstract: This study employs computational fluid dynamics (CFD) simulations to evaluate the risk of airborne transmission of COVID-19 in low-ceiling rooms, such as elevator cabins, under mechanical displacement ventilation. The simulations take into account the effects of the human body's thermal environment and respiratory jet dynamics on the transmission of pathogens. The results of the study are used to propose a potential mitigation strategy based on ventilation thermal control to reduce the risk of airborne transmission in these types of enclosed indoor spaces. Our findings demonstrate that as the ventilation rate (Qv) increases, the efficiency of removing airborne particles (Ep) initially increases rapidly, reaches a plateau (Ep,c) at a critical ventilation rate (Qc), and subsequently increases at a slower rate beyond Qc. The Qc for low-ceiling rooms is lower compared to high-ceiling rooms due to the increased interaction between the thermal plume generated by the occupants or infectors and the ventilation. Further analysis of the flow and temperature fields reveals that Ep is closely linked to the thermal stratification fields, as characterized by the thermal interface height, the height of the temperature isosurface, and temperature gradient. The simulations also indicate that the location of infector relative to ventilation inlet/outlet affects Qc and Ep,c with higher Qc and lower Ep,c observed when infector is in a corner due to potential formation of a local hot spot of high infection risk when infector is near the ventilation inlet. In conclusion, based on the simulations, we propose a ventilation thermal control strategy, by increasing the ventilation temperature, to reduce the risk of airborne transmission in low-ceiling rooms. Our findings indicate that the thermal environment plays a critical role in the transmission of airborne diseases confined spaces.


title: Deepfake Detection using Biological Features: A Survey

abstract: Deepfake is a deep learning-based technique that makes it easy to change or modify images and videos. In investigations and court, visual evidence is commonly employed, but these pieces of evidence may now be suspect due to technological advancements in deepfake. Deepfakes have been used to blackmail individuals, plan terrorist attacks, disseminate false information, defame individuals, and foment political turmoil. This study describes the history of deepfake, its development and detection, and the challenges based on physiological measurements such as eyebrow recognition, eye blinking detection, eye movement detection, ear and mouth detection, and heartbeat detection. The study also proposes a scope in this field and compares the different biological features and their classifiers. Deepfakes are created using the generative adversarial network (GANs) model, and were once easy to detect by humans due to visible artifacts. However, as technology has advanced, deepfakes have become highly indistinguishable from natural images, making it important to review detection methods.


title: Quantum entanglement generation on magnons assisted with microwave cavities coupled to a superconducting qubit

abstract: We present protocols to generate quantum entanglement on nonlocal magnons in hybrid systems composed of yttrium iron garnet (YIG) spheres, microwave cavities and a superconducting (SC) qubit. In the schemes, the YIGs are coupled to respective microwave cavities in resonant way, and the SC qubit is placed at the center of the cavities, which interacts with the cavities simultaneously. By exchanging the virtual photon, the cavities can indirectly interact in the far-detuning regime. Detailed protocols are presented to establish entanglement for two, three and arbitrary $N$ magnons with reasonable fidelities.


title: A Reconfigurable Data Glove for Reconstructing Physical and Virtual Grasps

abstract: In this work, we present a reconfigurable data glove design to capture different modes of human hand-object interactions, which are critical in training embodied artificial intelligence (AI) agents for fine manipulation tasks. To achieve various downstream tasks with distinct features, our reconfigurable data glove operates in three modes sharing a unified backbone design that reconstructs hand gestures in real time. In the tactile-sensing mode, the glove system aggregates manipulation force via customized force sensors made from a soft and thin piezoresistive material; this design minimizes interference during complex hand movements. The virtual reality (VR) mode enables real-time interaction in a physically plausible fashion: A caging-based approach is devised to determine stable grasps by detecting collision events. Leveraging a state-of-the-art finite element method (FEM), the simulation mode collects data on fine-grained 4D manipulation events comprising hand and object motions in 3D space and how the object's physical properties (e.g., stress and energy) change in accordance with manipulation over time. Notably, the glove system presented here is the first to use high-fidelity simulation to investigate the unobservable physical and causal factors behind manipulation actions. In a series of experiments, we characterize our data glove in terms of individual sensors and the overall system. More specifically, we evaluate the system's three modes by (i) recording hand gestures and associated forces, (ii) improving manipulation fluency in VR, and (iii) producing realistic simulation effects of various tool uses, respectively. Based on these three modes, our reconfigurable data glove collects and reconstructs fine-grained human grasp data in both physical and virtual environments, thereby opening up new avenues for the learning of manipulation skills for embodied AI agents.


title: The Plum-Blossom Wedge Product Method for Multiplication and Division of Multi-digit Integers

abstract: For two integers $a$ and $b$, the plum-blossom product of $a$ and $b$ is defined as the ones of the usual product of $a$ and $b$ if the ones is less than or equal to $3$, or otherwise as the ones minus $10$. Under this operation, all integers is a commutative semigroup. Since some fine properties of this semigroup, the plum-blossom product method is the efficient method of multiplication and division of long integers, can be used to mental arithmetic and to computer science. In this paper, we improve the theory of plum-blossom products so that the new concept--the plum-blossom wedge product is proposed. The plum-blossom wedge product is also of some good features so that it can be applied to multiplication and division of long integers. The plum-blossom wedge product method of multiplication and division is not only efficient in mental arithmetic, but also could applied to improve the design of multipliers and dividers of computer.


title: Magnetic excitations in the one-dimensional Heisenberg-Ising model with external fields and their experimental realizations

abstract: The one dimensional (1D) spin-1/2 Heisenberg-Ising model, a prototype quantum many-body system, has been intensively studied for many years. In this review, after a short introduction on some basic concepts of group theory for the octahedral group, a detailed pedagogical framework is laid down to derive the low-energy effective Hamiltonian for the Co-based materials. The 1D spin-1/2 Heisenberg-Ising model is obtained when applying the analysis to quasi-1D antiferromagnetic materials $\rm BaCo_2V_2O_8$ and $\rm SrCo_2V_2O_8$. After the preparation, we review the theoretical progresses of a variety of novel magnetic excitations and emergent physics in the 1D spin-1/2 Heisenberg-Ising model, and further summarize their recent experimental realizations.


title: Discovery of 2D materials using Transformer Network based Generative Design

abstract: Two-dimensional (2D) materials have wide applications in superconductors, quantum, and topological materials. However, their rational design is not well established, and currently less than 6,000 experimentally synthesized 2D materials have been reported. Recently, deep learning, data-mining, and density functional theory (DFT)-based high-throughput calculations are widely performed to discover potential new materials for diverse applications. Here we propose a generative material design pipeline, namely material transformer generator(MTG), for large-scale discovery of hypothetical 2D materials. We train two 2D materials composition generators using self-learning neural language models based on Transformers with and without transfer learning. The models are then used to generate a large number of candidate 2D compositions, which are fed to known 2D materials templates for crystal structure prediction. Next, we performed DFT computations to study their thermodynamic stability based on energy-above-hull and formation energy. We report four new DFT-verified stable 2D materials with zero e-above-hull energies, including NiCl$_4$, IrSBr, CuBr$_3$, and CoBrCl. Our work thus demonstrates the potential of our MTG generative materials design pipeline in the discovery of novel 2D materials and other functional materials.


title: Fourier-Mukai transforms and the decomposition theorem for integrable systems

abstract: We study the interplay between the Fourier-Mukai transform and the decomposition theorem for an integrable system $\pi: M \rightarrow B$. Our main conjecture is that the Fourier-Mukai transform of sheaves of K\"ahler differentials, after restriction to the formal neighborhood of the zero section, are quantized by the Hodge modules arising in the decomposition theorem for $\pi$. For an integrable system, our formulation unifies the Fourier-Mukai calculation of the structure sheaf by Arinkin-Fedorov, the theorem of the higher direct images by Matsushita, and the "perverse = Hodge" identity by the second and the third authors. As evidence, we show that these Fourier-Mukai images are Cohen-Macaulay sheaves with middle-dimensional support on the relative Picard space, with support governed by the higher discriminants of the integrable system. We also prove the conjecture for smooth integrable systems and certain 2-dimensional families with nodal singular fibers. Finally, we sketch the proof when cuspidal fibers appear.


title: The k-Robinson-Foulds Dissimilarity Measures for Comparison of Labeled Trees

abstract: Understanding the mutational history of tumor cells is a critical endeavor in unraveling the mechanisms underlying cancer. Since the modeling of tumor cell evolution employs labeled trees, researchers are motivated to develop different methods to assess and compare mutation trees and other labeled trees. While the Robinson-Foulds distance is a widely utilized metric for comparing phylogenetic trees, its applicability to labeled trees reveals certain limitations. This paper introduces the $k$-Robinson-Foulds dissimilarity measures, tailored to address the challenges of labeled tree comparison. The Robinson-Foulds distance is succinctly expressed as n-RF in the space of labeled trees with n nodes. Like the Robinson-Foulds distance, the k-Robinson-Foulds is a pseudometric for multiset-labeled trees and becomes a metric in the space of 1-labeled trees. By setting k to a small value, the k-Robinson-Foulds dissimilarity can capture analogous local regions in two labeled trees with different size or different labels.


title: Temperature dependence of (111) and (110) ceria surface energy

abstract: High temperature properties of ceria surfaces are important for many applications. Here we report the temperature dependences of surface energy for the (111) and (110) CeO2 obtained in the framework of the extended two-stage upsampled thermodynamic integration using Langevin dynamics (TU-TILD). The method was used together with machinelearning potentials called moment tensor potentials (MTPs), which were fitted to the results of the ab initio MD calculations for (111) and (110) CeO2 at different temperatures. The parameters of MTPs training and fitting were tested and the optimal algorithm for the ceria systems was proposed. We found that the temperature increases from 0 K to 2100 K led to the decrease of the Helmholtz free energy of (111) CeO2 from 0.78 J/m2 to 0.64 J/m2. The energy of (110) CeO2 dropped from 1.19 J/m2 at 0 K to 0.92 J/m2 at 1800 K. We show that it is important to take anharmonicity into account as simple consideration of volume expansion gives wrong temperature dependences of the surface energies.


title: Fractional ordered Euler Riesz sequence space

abstract: The main objective of this article is to introduce Euler-Riesz difference sequence spaces of fractional order ${\tau} $ along with infinite matrices. Some topological properties of these spaces are considered here along with the Schauder basis, ${\alpha} -,\beta -$ and $\gamma -$duals of the spaces. Keywords: Euler-Riesz difference sequence space, difference operator $\left(\Delta ^{\tau} \right)$, Schauder basis, infinite matrices and ${\alpha} -,\beta -$ and $\gamma -$duals .


title: On the Generation and Evolution of Switchbacks and the Morphology of Alfv\'enic Transition: Low Mach-number Boundary Layers

abstract: We investigate the generation and evolution of switchbacks (SBs), the nature of the sub-Alfv\'enic wind observed by Parker Solar Probe (PSP), and the morphology of the Alfv\'enic transition, all of which are key issues in solar wind research. First we highlight a special structure in the pristine solar wind, termed a low Mach-number boundary layer (LMBL). An increased Alfv\'en radius and suppressed SBs are observed within an LMBL. A probable source on the Sun for an LMBL is the peripheral region inside a coronal hole with rapidly diverging open fields. The sub-Alfv\'enic wind detected by PSP is an LMBL flow by nature. The similar origin and similar properties of the sub-Alfv\'enic intervals favor a wrinkled surface for the morphology of the Alfv\'enic transition. We find that a larger deflection angle tends to be associated with a higher Alfv\'en Mach number. The magnetic deflections have an origin well below the Alfv\'en critical point, and deflection angles larger than $90^{\circ}$ seem to occur only when $M_{\rm A} \gtrsim 2$. The velocity enhancement in units of the local Alfv\'en speed generally increases with the deflection angle, which is explained by a simple model. A nonlinearly evolved, saturated state is revealed for SBs, where the local Alfv\'en speed is roughly an upper bound for the velocity enhancement. In the context of these results, the most promising theory on the origin of SBs is the model of expanding waves and turbulence, and the patchy distribution of SBs is attributed to modulation by reductions in the Alfv\'en Mach number. Finally, a picture on the generation and evolution of SBs is created based on the results.


title: Four-vertex traces of finite sets

abstract: Let $[n]=X_1\cup X_2\cup X_3$ be a partition with $\lfloor\frac{n}{3}\rfloor \leq |X_i|\leq \lceil\frac{n}{3}\rceil$ and define $\mathcal{G}=\{G\subset [n]\colon |G\cap X_i|\leq 1, 1\leq i\leq 3\}$. It is easy to check that the trace $\mathcal{G}_{\mid Y}:=\{G\cap Y\colon G\in \mathcal{G}\}$ satisfies $|\mathcal{G}_{\mid Y}|\leq 12$ for all 4-sets $Y\subset [n]$. For $n\geq 25$ it is proven that whenever $\mathcal{F}\subset 2^{[n]}$ satisfies $|\mathcal{F}|>|\mathcal{G}|$ then $|\mathcal{F}_{\mid C}|\geq 13$ for some $C\subset [n]$, $|C|=4$. Several further results of a similar flavor are established as well.


title: Using ZnO-CdS composite nanofibers in the photolytic activity under sunlight irradiation

abstract: In recent years element doping has been extensively employed to modulate the physicochemical properties of semiconductors. In this work, new Pure ZnO and ZnO-xCdS composite nanofibers synthesized through the electrospinning technique, where x= (0.25, 0.5, and 1). Investigated were the effects of doping a ZnO nanofiber composite with varying concentrations of CdS nanoparticles.


title: World Models and Predictive Coding for Cognitive and Developmental Robotics: Frontiers and Challenges

abstract: Creating autonomous robots that can actively explore the environment, acquire knowledge and learn skills continuously is the ultimate achievement envisioned in cognitive and developmental robotics. Their learning processes should be based on interactions with their physical and social world in the manner of human learning and cognitive development. Based on this context, in this paper, we focus on the two concepts of world models and predictive coding. Recently, world models have attracted renewed attention as a topic of considerable interest in artificial intelligence. Cognitive systems learn world models to better predict future sensory observations and optimize their policies, i.e., controllers. Alternatively, in neuroscience, predictive coding proposes that the brain continuously predicts its inputs and adapts to model its own dynamics and control behavior in its environment. Both ideas may be considered as underpinning the cognitive development of robots and humans capable of continual or lifelong learning. Although many studies have been conducted on predictive coding in cognitive robotics and neurorobotics, the relationship between world model-based approaches in AI and predictive coding in robotics has rarely been discussed. Therefore, in this paper, we clarify the definitions, relationships, and status of current research on these topics, as well as missing pieces of world models and predictive coding in conjunction with crucially related concepts such as the free-energy principle and active inference in the context of cognitive and developmental robotics. Furthermore, we outline the frontiers and challenges involved in world models and predictive coding toward the further integration of AI and robotics, as well as the creation of robots with real cognitive and developmental capabilities in the future.


title: Multi-Agent Coordination Fluid Flow Modeling and Experimental Evaluation

abstract: Reliability is a critical aspect of multi-agent system coordination as it ensures that the system functions correctly and consistently. If one agent in the system fails or behaves unexpectedly, it can negatively impact the performance and effectiveness of the entire system. Therefore, it is important to design and implement multi-agent systems with a high level of reliability to ensure that they can operate safely and move smoothly in the presence of unforeseen agent failure or lack of communication with some agent teams moving in a shared motion space. This paper presents a novel fluid flow navigation model that, in an ideal fluid flow, divides agents into cooperative (non-singular) and noncooperative (singular) agents, with cooperative agents sliding along streamlines safely enclosing noncooperative agents in a shared motion space. A series of flight experiments utilizing crazyflie quadcopters will experimentally validate the suggested model.


title: On lattice tilings of $\mathbb{Z}^{n}$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$

abstract: Limited magnitude error model has applications in flash memory. In this model, a perfect code is equivalent to a tiling of $\mathbb{Z}^n$ by limited magnitude error balls. In this paper, we give a complete classification of lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$.


title: A Novel Multi-Layer Framework for BVLoS Drone Operation: A Preliminary Study

abstract: Drones have become increasingly popular in a variety of fields, including agriculture, emergency response, and package delivery. However, most drone operations are currently limited to within Visual Line of Sight (vlos) due to safety concerns. Flying drones Beyond Visual Line of Sight (bvlos) presents new challenges and opportunities, but also requires new technologies and regulatory frameworks, not yet implemented, to ensure that the drone is constantly under the control of a remote operator. In this preliminary study, we assume to remotely control the drone using the available ground cellular network infrastructure. We propose to plan bvlos drone operations using a novel multi-layer framework that includes many layers of constraints that closely resemble real-world scenarios and challenges. These layers include information such as the potential ground risk in the event of a drone failure, the available ground cellular network infrastructure, and the presence of ground obstacles. From the multi-layer framework, a graph is constructed whose edges are weighted with a dependability score that takes into account the information of the multi-layer framework. Then, the planning of bvlos drone missions is equivalent to solving the Maximum Path Dependability Problem on the constructed graph, which turns out to be solvable by applying Dijkstra's algorithm.


title: Adiabatic light propagation in nonlinear waveguide couplers with longitudinally varying detunings via resonance-locked inverse engineering

abstract: We investigate the adiabatic evolution of light in nonlinear waveguide couplers via resonance-locked inverse engineering based on stimulated Raman adiabatic passage (STIRAP). The longitudinal varying detunings of the propagation coefficients are designed to eliminate dynamically the nonlinear effect, which induce the non-adiabatic oscillations. We show that different light evolutions such as complete light transfer, light split and light return can be realized adiabatically with appropriate choices of the detunings even in the nonlinear regime. The features open new opportunities for the realization of all-optical nonlinear devices with high fidelity in integrated optics.


title: Environment Semantics Aided Wireless Communications: A Case Study of mmWave Beam Prediction and Blockage Prediction

abstract: In this paper, we propose an environment semantics aided wireless communication framework to reduce the transmission latency and improve the transmission reliability, where semantic information is extracted from environment image data, selectively encoded based on its task-relevance, and then fused to make decisions for channel related tasks. As a case study, we develop an environment semantics aided network architecture for mmWave communication systems, which is composed of a semantic feature extraction network, a feature selection algorithm, a task-oriented encoder, and a decision network. With images taken from street cameras and user's identification information as the inputs, the environment semantics aided network architecture is trained to predict the optimal beam index and the blockage state for the base station. It is seen that without pilot training or the costly beam scans, the environment semantics aided network architecture can realize extremely efficient beam prediction and timely blockage prediction, thus meeting requirements for ultra-reliable and low-latency communications (URLLCs). Simulation results demonstrate that compared with existing works, the proposed environment semantics aided network architecture can reduce system overheads such as storage space and computational cost while achieving satisfactory prediction accuracy and protecting user privacy.


title: (Safe) SMART Hands: Hand Activity Analysis and Distraction Alerts Using a Multi-Camera Framework

abstract: Manual (hand-related) activity is a significant source of crash risk while driving. Accordingly, analysis of hand position and hand activity occupation is a useful component to understanding a driver's readiness to take control of a vehicle. Visual sensing through cameras provides a passive means of observing the hands, but its effectiveness varies depending on camera location. We introduce an algorithmic framework, SMART Hands, for accurate hand classification with an ensemble of camera views using machine learning. We illustrate the effectiveness of this framework in a 4-camera setup, reaching 98% classification accuracy on a variety of locations and held objects for both of the driver's hands. We conclude that this multi-camera framework can be extended to additional tasks such as gaze and pose analysis, with further applications in driver and passenger safety.


title: NCP: Neural Correspondence Prior for Effective Unsupervised Shape Matching

abstract: We present Neural Correspondence Prior (NCP), a new paradigm for computing correspondences between 3D shapes. Our approach is fully unsupervised and can lead to high-quality correspondences even in challenging cases such as sparse point clouds or non-isometric meshes, where current methods fail. Our first key observation is that, in line with neural priors observed in other domains, recent network architectures on 3D data, even without training, tend to produce pointwise features that induce plausible maps between rigid or non-rigid shapes. Secondly, we show that given a noisy map as input, training a feature extraction network with the input map as supervision tends to remove artifacts from the input and can act as a powerful correspondence denoising mechanism, both between individual pairs and within a collection. With these observations in hand, we propose a two-stage unsupervised paradigm for shape matching by (i) performing unsupervised training by adapting an existing approach to obtain an initial set of noisy matches, and (ii) using these matches to train a network in a supervised manner. We demonstrate that this approach significantly improves the accuracy of the maps, especially when trained within a collection. We show that NCP is data-efficient, fast, and achieves state-of-the-art results on many tasks. Our code can be found online: https://github.com/pvnieo/NCP.


title: Filling with separating curves

abstract: A pair $(\alpha, \beta)$ of simple closed curves on a closed and orientable surface $S_g$ of genus $g$ is called a filling pair if the complement is a disjoint union of topological disks. If $\alpha$ is separating, then we call it as separating filling pair. In this article, we find a necessary and sufficient condition for the existence of a separating filling pair on $S_g$ with exactly two complementary disks. We study the combinatorics of the action of the mapping class group $\M$ on the set of such filling pairs. Furthermore, we construct a Morse function $\mathcal{F}_g$ on the moduli space $\mathcal{M}_g$ which, for a given hyperbolic surface $X$, outputs the length of shortest such filling pair with respect to the metric in $X$. We show that the cardinality of the set of global minima of the function $\mathcal{F}_g$ is the same as the number of $\M$-orbits of such filling pairs.


title: Distributed Optimal Formation Control for an Uncertain Multiagent System in the Plane

abstract: In this paper, we present a distributed optimal multiagent control scheme for quadrotor formation tracking under localization errors. Our control architecture is based on a leader-follower approach, where a single leader quadrotor tracks a desired trajectory while the followers maintain their relative positions in a triangular formation. We begin by modeling the quadrotors as particles in the YZ-plane evolving under dynamics with uncertain state information. Next, by formulating the formation tracking task as an optimization problem -- with a constraint-augmented Lagrangian subject to dynamic constraints -- we solve for the control law that leads to an optimal solution in the control and trajectory error cost-minimizing sense. Results from numerical simulations show that for the planar quadrotor model considered -- with uncertainty in sensor measurements modeled as Gaussian noise -- the resulting optimal control is able to drive each agent to achieve the desired global objective: leader trajectory tracking with formation maintenance. Finally, we evaluate the performance of the control law using the tracking and formation errors of the multiagent system.