title: The Schwarzian octahedron recurrence (dSKP equation) II: geometric systems

abstract: We consider nine geometric systems: Miquel dynamics, P-nets, integrable cross-ratio maps, discrete holomorphic functions, orthogonal circle patterns, polygon recutting, circle intersection dynamics, (corrugated) pentagram maps and the short diagonal hyperplane map. Using a unified framework, for each system we prove an explicit expression for the solution as a function of the initial data; more precisely, we show that the solution is equal to the ratio of two partition functions of an oriented dimer model on an Aztec diamond whose face weights are constructed from the initial data. Then, we study the Devron property [Gli15], which states the following: if the system starts from initial data that is singular for the backwards dynamics, this singularity is expected to reoccur after a finite number of steps of the forwards dynamics. Again, using a unified framework, we prove this Devron property for all of the above geometric systems, for different kinds of singular initial data. In doing so, we obtain new singularity results and also known ones [Gli15, Yao14]. Our general method consists in proving that these nine geometric systems are all related to the Schwarzian octahedron recurrence (dSKP equation), and then to rely on the companion paper [AdTM22], where we study this recurrence in general, prove explicit expressions and singularity results.


title: Modeling Stratified Segregation in Periodically Driven Granular Heap Flow

abstract: We present a continuum approach to model segregation of size-bidisperse granular materials in unsteady bounded heap flow as a prototype for modeling segregation in other time varying flows. In experiments, a periodically modulated feed rate produces stratified segregation like that which occurs due to intermittent avalanching, except with greater layer-uniformity and higher average feed rates. Using an advection-diffusion-segregation equation and characterizing transient changes in deposition and erosion after a feed rate change, we model stratification for varying feed rates and periods. Feed rate modulation in heap flows can create well-segregated layers, which effectively mix the deposited material normal to the free surface at lengths greater than the combined layer-thickness. This mitigates the strong streamwise segregation that would otherwise occur at larger particle-size ratios and equivalent steady feed rates and can significantly reduce concentration variation during hopper discharge. Coupling segregation, deposition and erosion is challenging but has many potential applications.


title: Geometric deep learning for computational mechanics Part II: Graph embedding for interpretable multiscale plasticity

abstract: The history-dependent behaviors of classical plasticity models are often driven by internal variables evolved according to phenomenological laws. The difficulty to interpret how these internal variables represent a history of deformation, the lack of direct measurement of these internal variables for calibration and validation, and the weak physical underpinning of those phenomenological laws have long been criticized as barriers to creating realistic models. In this work, geometric machine learning on graph data (e.g. finite element solutions) is used as a means to establish a connection between nonlinear dimensional reduction techniques and plasticity models. Geometric learning-based encoding on graphs allows the embedding of rich time-history data onto a low-dimensional Euclidean space such that the evolution of plastic deformation can be predicted in the embedded feature space. A corresponding decoder can then convert these low-dimensional internal variables back into a weighted graph such that the dominating topological features of plastic deformation can be observed and analyzed.


title: Tracking the ice mantle history in the Solar-type Protostars of NGC 1333 IRAS 4

abstract: To understand the origin of the diversity observed in exoplanetary systems, it is crucial to characterize the early stages of their formation, represented by Solar-type protostars. Likely, the gaseous chemical content of these objects directly depends on the composition of the dust grain mantles formed before the collapse. Directly retrieving the ice mantle composition is challenging, but it can be done indirectly by observing the major components, such as NH3 and CH3OH at cm wavelengths, once they are released into the gas-phase during the warm protostellar stage. We observed several CH3OH and NH3 lines toward three Class 0 protostars in NGC1333 (IRAS 4A1, IRAS 4A2, and IRAS 4B), at high angular resolution (1"; ~300 au) with the VLA interferometer at 24-26 GHz. Using a non-LTE LVG analysis, we derived a similar NH3/CH3OH abundance ratio in the three protostars (<0.5, 0.015-0.5, and 0.003-0.3 for IRAS 4A1, 4A2, and 4B, respectively). Hence, we infer they were born from pre-collapse material with similar physical conditions. Comparing the observed abundance ratios with astrochemical model predictions, we constrained the dust temperature at the time of the mantle formation to be ~17 K, which coincides with the average temperature of the southern NGC 1333 diffuse cloud. We suggest that a brutal event started the collapse that eventually formed IRAS 4A1, 4A2 and 4B, which,therefore, did not experience the usual pre-stellar core phase. This event could be the clash of a bubble with NGC 1333 south, that has previously been evoked in the literature.


title: On-CMOS High-Throughput Multi-Modal Amperometric DNA Analysis with Distributed Thermal Regulation

abstract: Accurate temperature regulation is critical for amperometric DNA analysis to achieve high fidelity, reliability, and throughput. In this work, a 9x6 cell array of mixed-signal CMOS distributed temperature regulators for on-CMOS multi-modal amperometric DNA analysis is presented. Three DNA analysis methods are supported, including constant potential amperometry (CPA), cyclic voltammetry (CV), and impedance spectroscopy (IS). In-cell heating and temperature sensing elements are implemented in standard CMOS technology without post-processing. Using proportional-integral-derivative (PID) control, the local temperature can be regulated to within +/-0.5C of any desired value between 20C and 90C. The two computationally intensive operations in the PID algorithm, multiplication, and subtraction, are performed by an in-cell dual-slope multiplying ADC in the mixed-signal domain, resulting in a small area and low power consumption. Over 95% of the circuit blocks are synergistically shared among the four operating modes, including CPA, CV, IS, and the proposed temperature regulation mode. A 3mmx3mm CMOS prototype fabricated in a 0.13um CMOS technology has been fully experimentally characterized. Each channel occupies an area of 0.06mm2 and consumes 42uW from a 1.2V supply. The proposed distributed temperature regulation design and the mixed-signal PID implementation can be applied to a wide range of sensory and other applications.


title: Cause-and-Effect Analysis of ADAS: A Comparison Study between Literature Review and Complaint Data

abstract: Advanced driver assistance systems (ADAS) are designed to improve vehicle safety. However, it is difficult to achieve such benefits without understanding the causes and limitations of the current ADAS and their possible solutions. This study 1) investigated the limitations and solutions of ADAS through a literature review, 2) identified the causes and effects of ADAS through consumer complaints using natural language processing models, and 3) compared the major differences between the two. These two lines of research identified similar categories of ADAS causes, including human factors, environmental factors, and vehicle factors. However, academic research focused more on human factors of ADAS issues and proposed advanced algorithms to mitigate such issues while drivers complained more of vehicle factors of ADAS failures, which led to associated top consequences. The findings from these two sources tend to complement each other and provide important implications for the improvement of ADAS in the future.


title: A Bayesian Approach to Learning Bandit Structure in Markov Decision Processes

abstract: In the reinforcement learning literature, there are many algorithms developed for either Contextual Bandit (CB) or Markov Decision Processes (MDP) environments. However, when deploying reinforcement learning algorithms in the real world, even with domain expertise, it is often difficult to know whether it is appropriate to treat a sequential decision making problem as a CB or an MDP. In other words, do actions affect future states, or only the immediate rewards? Making the wrong assumption regarding the nature of the environment can lead to inefficient learning, or even prevent the algorithm from ever learning an optimal policy, even with infinite data. In this work we develop an online algorithm that uses a Bayesian hypothesis testing approach to learn the nature of the environment. Our algorithm allows practitioners to incorporate prior knowledge about whether the environment is that of a CB or an MDP, and effectively interpolate between classical CB and MDP-based algorithms to mitigate against the effects of misspecifying the environment. We perform simulations and demonstrate that in CB settings our algorithm achieves lower regret than MDP-based algorithms, while in non-bandit MDP settings our algorithm is able to learn the optimal policy, often achieving comparable regret to MDP-based algorithms.


title: Confidence regions for the location of peaks of a smooth random field

abstract: Local maxima of random processes are useful for finding important regions and are routinely used, for summarising features of interest (e.g. in neuroimaging). In this work we provide confidence regions for the location of local maxima of the mean and standardized effect size (i.e. Cohen's d) given multiple realisations of a random process. We prove central limit theorems for the location of the maximum of mean and t-statistic random fields and use these to provide asymptotic confidence regions for the location of peaks of the mean and Cohen's d. Under the assumption of stationarity we develop Monte Carlo confidence regions for the location of peaks of the mean that have better finite sample coverage than regions derived based on classical asymptotic normality. We illustrate our methods on 1D MEG data and 2D fMRI data from the UK Biobank.


title: On translating conditional statements into mathematical logic

abstract: In this paper, we highlight a profound difference between conditional statements in mathematical logic and natural languages. This difference exists even when the conditional statements are used in mathematical theorems.


title: Dipole polarizabilities of light pseudoscalar mesons within the Domain Model of QCD vacuum

abstract: Dipole polarizabilities of light pseudoscalar mesons are calculated in the framework of the mean field approach to QCD vacuum and bosonization based on the statistical ensemble of almost everywhere homogeneous Abelian (anti-)self-dual gluon fields -- the domain model of QCD vacuum. In this approach, one derives a nonlocal effective action of meson fields which describes two-point correlation functions and all possible strong, weak and electromagnetic interactions of meson fields including their excited states. Specifically, the role of intermediate scalar meson fields in formation of the polarizabilities is addressed. Within the domain model, the propagators of scalar meson fields composed of light quark-anti-quark pairs have no poles at real momenta. It turns out that for charged pions and kaons, the contribution of intermediate scalar fields to polarizability is substantial, but not the largest one. The calculated polarizabilities are in reasonable agreement with COMPASS experimental data and results of Chiral Perturbation Theory.


title: Bertini theorems admitting base changes

abstract: Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.


title: Hamilton cycles in a semi-random graph model

abstract: We show that with high probability we can build a Hamilton cycle after at most $1.85 n$ rounds in a particular semi-random model. In this model, in one round, we are given a {uniform random} $v\in[n]$ and then we can add an {arbitrary} edge $\{v,w\}$. Our result improves on $2.016 n$ in a recent paper of Gao, MacRury, and Pralat.


title: Machine and quantum learning for diamond-based quantum applications

abstract: In recent years, machine and quantum learning have gained considerable momentum sustained by growth in computational power and data availability and have shown exceptional aptness for solving recognition- and classification-type problems, as well as problems that require complex, strategic planning. In this work, we discuss and analyze the role machine and quantum learning are playing in the development of diamond-based quantum technologies. This matters as diamond and its optically-addressable spin defects are becoming prime hardware candidates for solid state-based applications in quantum information, computing and metrology. Through a selected number of demonstrations, we show that machine and quantum learning are leading to both practical and fundamental improvements in measurement speed and accuracy. This is crucial for quantum applications, especially for those where coherence time and signal-to-noise ratio are scarce resources. We summarize some of the most prominent machine and quantum learning approaches that have been conducive to the presented advances and discuss their potential for proposed and future quantum applications.


title: Covariate-Assisted Community Detection on Sparse Networks

abstract: Community detection is an important problem when processing network data. Traditionally, this is done by exploiting the connections between nodes, but connections can be too sparse to detect communities in many real datasets. Node covariates can be used to assist community detection; see Binkiewicz et al. (2017); Weng and Feng (2022); Yan and Sarkar (2021); Yang et al. (2013). However, how to combine covariates with network connections is challenging, because covariates may be high-dimensional and inconsistent with community labels. To study the relationship between covariates and communities, we propose the degree corrected stochastic block model with node covariates (DCSBM-NC). It allows degree heterogeneity among communities and inconsistent labels between communities and covariates. Based on DCSBM-NC, we design the adjusted neighbor-covariate (ANC) data matrix, which leverages covariate information to assist community detection. We then propose the covariate-assisted spectral clustering on ratios of singular vectors (CA-SCORE) method on the ANC matrix. We prove that CA-SCORE successfully recovers community labels when 1) the network is relatively dense; 2) the covariate class labels match the community labels; 3) the data is a mixture of 1) and 2). CA-SCORE has good performance on synthetic and real datasets. The algorithm is implemented in the R(R Core Team (2021)) package CASCORE.


title: Developers Struggle with Authentication in Blazor WebAssembly

abstract: WebAssembly is a growing technology to build cross-platform applications. We aim to understand the security issues that developers encounter when adopting WebAssembly. We mined WebAssembly questions on Stack Overflow and identified 359 security-related posts. We classified these posts into 8 themes, reflecting developer intentions, and 19 topics, representing developer issues in this domain. We found that the most prevalent themes are related to bug fix support, requests for how to implement particular features, clarification questions, and setup or configuration issues. We noted that the topmost issues attribute to authentication in Blazor WebAssembly. We discuss six of them and provide our suggestions to clear these issues in practice.


title: Tensor product indecomposability results for existentially closed factors

abstract: In the first part of the paper we survey several results from Popa's deformation/rigidity theory on the classification of tensor product decompositions of large natural classes of II$_1$ factors. Using a m\'elange of techniques from deformation/rigidity theory, model theory, and the recent works \cite{CIOS21,CDI22} we highlight an uncountable family of existentially closed II$_1$ factors $M$ which do not admit tensor product decompositions $M= P\bar \otimes Q$ into diffuse factors where $Q$ is full. In the last section we discuss several open problems regarding the structural theory of existentially closed factors.


title: On the genus of projective curves not contained in hypersurfaces of given degree

abstract: Fix integers $r\geq 4$ and $i\geq 2$ (for $r=4$ assume $i\geq 3$). Assuming that the rational number $s$ defined by the equation $\binom{i+1}{2}s+(i+1)=\binom{r+i}{i}$ is an integer, we prove an upper bound for the genus of a reduced and irreducible complex projective curve in $\mathbb P^r$, of degree $d\gg s$, not contained in hypersurfaces of degree $\leq i$. It turns out that this bound coincides with the Castelnuovo's bound for a curve of degree $d$ in $\mathbb P^{s+1}$. We prove that the bound is sharp if and only if there exists an integral surface $S\subset \mathbb P^r$ of degree $s$, not contained in hypersurfaces of degree $\leq i$. Such a surface, if existing, is necessarily the isomorphic projection of a rational normal scroll surface of degree $s$ in $\mathbb P^{s+1}$. The existence of such a surface $S$ is known for $i=2$ and $i=3$. It follows that, when $i=2$ or $i=3$, the bound is sharp, and the extremal curves are isomorphic projection in $\mathbb P^r$ of Castelnuovo's curves of degree $d$ in $\mathbb P^{s+1}$.


title: Addressing the challenges of detecting time-overlapping compact binary coalescences

abstract: Standard detection and analysis techniques for transient gravitational waves make the assumption that detector data contains, at most, one signal at any time. As detectors improve in sensitivity, this assumption will no longer be valid. In this paper we examine how current search techniques for transient gravitational waves will behave under the presence of more than one signal. We perform searches on data sets containing time-overlapping compact binary coalescences. This includes a modelled, matched filter search (PyCBC), and an unmodelled coherent search, coherent WaveBurst (cWB). Both of these searches are used by the LIGO-Virgo-KAGRA collaboration. We find that both searches are capable of identifying both signals correctly when the signals are dissimilar in merger time, $|\Delta t_c| \geq 1$ second, with PyCBC losing only $1\%$ of signals for overlapping binary black hole mergers. Both pipelines can find signal pairings within the region $|\Delta t_c| < 1$ second. However, clustering routines in the pipelines will cause only one of the two signals to be recovered, as such the efficiency is reduced. Within this region, we find that cWB can identify both signals. We also find that matched filter searches can be modified to provide estimates of the correct parameters for each signal.


title: Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams

abstract: This paper considers the problem of safely coordinating a team of sensor-equipped robots to reduce uncertainty about a dynamical process, where the objective trades off information gain and energy cost. Optimizing this trade-off is desirable, but leads to a non-monotone objective function in the set of robot trajectories. Therefore, common multi-robot planners based on coordinate descent lose their performance guarantees. Furthermore, methods that handle non-monotonicity lose their performance guarantees when subject to inter-robot collision avoidance constraints. As it is desirable to retain both the performance guarantee and safety guarantee, this work proposes a hierarchical approach with a distributed planner that uses local search with a worst-case performance guarantees and a decentralized controller based on control barrier functions that ensures safety and encourages timely arrival at sensing locations. Via extensive simulations, hardware-in-the-loop tests and hardware experiments, we demonstrate that the proposed approach achieves a better trade-off between sensing and energy cost than coordinate-descent-based algorithms.


title: Kinetic modeling of economic markets with heterogeneous saving propensities

abstract: The lattice gas automaton (LGA) is proposed for a closed economic market of agents with heterogeneous saving interests. There are two procedures in the standard LGA, i.e., "propagation" + "transaction". If the propagation step is removed and the transaction is conducted among all agents, the LGA reduces to a more simplified kinetic model. In addition, two dealing rules are imposed on the transaction phase. Under Rule I, the trading volume depends on the average saving propensities of an arbitrary pair of agents in trade. Under Rule II, the exchange is governed by a stochastic parameter between the saving propensities of two traders. Besides, two sampling methods are introduced for the random selection of two agents in the iterative process. Specifically, Sampling I is the sampling with replacement and is easier to program. Sampling II is the sampling without replacement and owns a higher computing efficiency. There are slight differences between the stationary wealth distributions simulated by using the two transaction rules and sampling approaches. In addition, the accuracy, robustness and efficiency of the econophysics models are validated by typical numerical tests. The reduced LGA without the propagation step owns a higher computational efficiency than the standard LGA. Moreover, the impact of saving propensities of agents in two groups on the wealth distributions is studied, and the influence of proportions of agents is investigated as well. To quantitatively measure the wealth inequality, the Gini coefficients, Kolkata indices, and deviation degrees of all agents and two groups are simulated and analyzed in detail. This work is helpful to further analyze and predict the dynamic process of wealth distribution in the realistic economic market.


title: Mining unit test cases to synthesize API usage examples

abstract: Software developers study and reuse existing source code to understand how to properly use application programming interfaces (APIs). However, manually finding sufficient and adequate code examples for a given API is a difficult and a time-consuming activity. Existing approaches to find or generate examples assume availability of a reasonable set of client code that uses the API. This assumption does not hold for newly released API libraries, non-widely used APIs, nor private ones. In this work we reuse the important information that is naturally present in test code to circumvent the lack of usage examples for an API when other sources of client code are not available. We propose an approach for automatically identifying the most representative API uses within each unit test case. We then develop an approach to synthesize API usage examples by extracting relevant statements representing the usage of such APIs. We compare the output of a prototype implementation of our approach to both human-written examples and to a state-of-the-art approach. The obtained results are encouraging; the examples automatically generated with our approach are superior to the state-of-the-art approach and highly similar to the manually constructed examples.


title: Search for the Higgs boson decay to a pair of electrons in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search is presented for the Higgs boson decay to a pair of electrons (e$^+$e$^-$) in proton-proton collisions at $\sqrt{s}$ = 13 TeV. The data set was collected with the CMS experiment at the LHC between 2016 and 2018, corresponding to an integrated luminosity of 138 fb$^{-1}$. The analysis uses event categories targeting Higgs boson production via gluon fusion and vector boson fusion. The observed upper limit on the Higgs boson branching fraction to an electron pair is 3.0 $\times$ 10$^{-4}$ (3.0 $\times$ 10$^{-4}$ expected) at the 95% confidence level, which is the most stringent limit on this branching fraction to date.


title: Universal enveloping algebras of Lie-Rinehart algebras: crossed products, connections, and curvature

abstract: We extend a theorem, originally formulated by Blattner-Cohen-Montgomery for crossed products arising from Hopf algebras weakly acting on noncommutative algebras, to the realm of left Hopf algebroids. Our main motivation is an application to universal enveloping algebras of projective Lie-Rinehart algebras: for any given curved (resp. flat) connection, that is, a linear (resp. Lie-Rinehart) splitting of a Lie-Rinehart algebra extension, we provide a crossed (resp. smash) product decomposition of the associated universal enveloping algebra, and vice versa. As a geometric example, we describe the associative algebra generated by the invariant vector fields on the total space of a principal bundle as a crossed product of the algebra generated by the vertical ones and the algebra of differential operators on the base.


title: Sub-barrier d+$^{208}$Pb scattering and sensitivity to nucleon-nucleon interactions

abstract: We employ the non-perturbative time-dependent basis function (tBF) approach to investigate in detail the sub-Coulomb barrier scattering of the deuteron projectile on the $^{208}$Pb target. Specifically, we treat the target as a quiescent source of a strong external Coulomb field that induces higher-order effects in electric-dipole excitations of the deuteron projectile including the population of states not accessible through direct electric-dipole transitions from the ground state of the deuteron. We calculate the electric-dipole polarizability of the deuteron and elastic scattering observables for comparison with experimental data. With no adjustable parameters, the tBF approach provides good agreement with experimentally available differential cross-section ratios. The dependence of these measured quantities on nucleon-nucleon interactions is investigated. The effects of the polarization potential on the scattering observables are also presented in this work. We also investigate the detailed scattering dynamics and identify characteristics of coherent and incoherent processes.


title: Unified Automatic Control of Vehicular Systems with Reinforcement Learning

abstract: Emerging vehicular systems with increasing proportions of automated components present opportunities for optimal control to mitigate congestion and increase efficiency. There has been a recent interest in applying deep reinforcement learning (DRL) to these nonlinear dynamical systems for the automatic design of effective control strategies. Despite conceptual advantages of DRL being model-free, studies typically nonetheless rely on training setups that are painstakingly specialized to specific vehicular systems. This is a key challenge to efficient analysis of diverse vehicular and mobility systems. To this end, this article contributes a streamlined methodology for vehicular microsimulation and discovers high performance control strategies with minimal manual design. A variable-agent, multi-task approach is presented for optimization of vehicular Partially Observed Markov Decision Processes. The methodology is experimentally validated on mixed autonomy traffic systems, where fractions of vehicles are automated; empirical improvement, typically 15-60% over a human driving baseline, is observed in all configurations of six diverse open or closed traffic systems. The study reveals numerous emergent behaviors resembling wave mitigation, traffic signaling, and ramp metering. Finally, the emergent behaviors are analyzed to produce interpretable control strategies, which are validated against the learned control strategies.


title: Automatically Categorising GitHub Repositories by Application Domain

abstract: GitHub is the largest host of open source software on the Internet. This large, freely accessible database has attracted the attention of practitioners and researchers alike. But as GitHub's growth continues, it is becoming increasingly hard to navigate the plethora of repositories which span a wide range of domains. Past work has shown that taking the application domain into account is crucial for tasks such as predicting the popularity of a repository and reasoning about project quality. In this work, we build on a previously annotated dataset of 5,000 GitHub repositories to design an automated classifier for categorising repositories by their application domain. The classifier uses state-of-the-art natural language processing techniques and machine learning to learn from multiple data sources and catalogue repositories according to five application domains. We contribute with (1) an automated classifier that can assign popular repositories to each application domain with at least 70% precision, (2) an investigation of the approach's performance on less popular repositories, and (3) a practical application of this approach to answer how the adoption of software engineering practices differs across application domains. Our work aims to help the GitHub community identify repositories of interest and opens promising avenues for future work investigating differences between repositories from different application domains.


title: On the role of reduced habitat in the phase transition of a stochastic model for seed dispersal

abstract: Habitat loss is one of the biggest threats facing plant species nowadays. We formulate a simple mathematical model of seed dispersal on reduced habitats to discuss survival of the species in relation to the habitat size and seeds production rate. Seeds get dispersed around the mother plant via several agents in a random way. In our model seeds landing sites are distributed according to a homogeneous Poisson point process with a constant rate on $\mathbb{R}$. We will assume that each seed will successfully germinate and grow into a new plant with the same characteristics as the mother plant. The time is discrete, scaled according to generations of plants or can represent years, since annual plants go through an entire growing cycle during one year. Then we will assume there are two symmetric barriers with respect to the origin and consider that the growth can not evolve past the barriers. Imposing barriers correspond to the physical limitation of the habitat. We appeal to tools of Probability Theory to formalize and study such a model, which can be seen as a discrete-time one-dimensional branching random walk with barriers. By means of coupling techniques and the comparison with suitably constructed multi-type branching processes we localize the critical parameter of the process around which there is survival with positive probability or extinction almost surely. In addition, we consider a discrete-space version of the model for which exact results are also obtained.


title: Bang-bang algorithms for quantum many-body ground states: a tensor network exploration

abstract: We use matrix product techniques to investigate the performance of two algorithms for obtaining the ground state of a quantum many-body Hamiltonian $H = H_A + H_B$ in infinite systems. The first algorithm is a generalization of the quantum approximate optimization algorithm (QAOA) and uses a quantum computer to evolve an initial product state into an approximation of the ground state of $H$, by alternating between $H_A$ and $H_B$. We show for the 1D quantum Ising model that the accuracy in representing a gapped ground state improves exponentially with the number of alternations. The second algorithm is the variational imaginary time ansatz (VITA), which uses a classical computer to simulate the ground state via alternating imaginary time steps with $H_A$ and $H_B$. We find for the 1D quantum Ising model that an accurate approximation to the ground state is obtained with a total imaginary time $\tau$ that grows only logarithmically with the inverse energy gap $1/ \Delta$ of $H$. This is much faster than imaginary time evolution by $H$, which would require $\tau \sim 1/ \Delta$.


title: Lopsided optical diffraction in loop electromagnetically induced grating

abstract: We propose a theoretical scheme in a cold Rubidium-87 ($^{87}$Rb) atomic ensemble with a non-Hermitian optical structure, in which a lopsided optical diffraction grating can be realized just with the combination of single spatially periodic modulation and loop-phase.~Parity-time ($\mathcal{PT}$) symmetric and parity-time antisymmetric ($\mathcal{APT}$) modulation can be switched by adjusting different relative phases of the applied beams. Both $\mathcal{PT}$ symmetry and $\mathcal{PT}$ antisymmetry in our system are robust to the amplitudes of coupling fields, which allows optical response to be modulated precisely without symmetry breaking. Our scheme shows some nontrivial optical properties, such as lopsided diffraction, single-order diffraction, asymmetric Dammam-like diffraction, etc. Our work will benefit the development of versatile non-Hermitian/asymmetric optical devices.


title: Optimizing Differentially-Maintained Recursive Queries on Dynamic Graphs

abstract: Differential computation (DC) is a highly general incremental computation/view maintenance technique that can maintain the output of an arbitrary and possibly recursive dataflow computation upon changes to its base inputs. As such, it is a promising technique for graph database management systems (GDBMS) that support continuous recursive queries over dynamic graphs. Although differential computation can be highly efficient for maintaining these queries, it can require a prohibitively large amount of memory. This paper studies how to reduce the memory overhead of DC with the goal of increasing the scalability of systems that adopt it. We propose a suite of optimizations that are based on dropping the differences of operators, both completely or partially, and recomputing these differences when necessary. We propose deterministic and probabilistic data structures to keep track of the dropped differences. Extensive experiments demonstrate that the optimizations can improve the scalability of a DC-based continuous query processor.


title: Convolutional neural network with a hybrid loss function for fully automated segmentation of lymphoma lesions in FDG PET images

abstract: Segmentation of lymphoma lesions is challenging due to their varied sizes and locations in whole-body PET scans. This work presents a fully-automated segmentation technique using a multi-center dataset of diffuse large B-cell lymphoma (DLBCL) with heterogeneous characteristics. We utilized a dataset of [18F]FDG-PET scans (n=194) from two different imaging centers, including cases with primary mediastinal large B-cell lymphoma (PMBCL) (n=104). Automated brain and bladder removal approaches were utilized as preprocessing steps to tackle false positives caused by normal hypermetabolic uptake in these organs. Our segmentation model is a convolutional neural network (CNN) based on a 3D U-Net architecture that includes squeeze and excitation (SE) modules. Hybrid distribution, region, and boundary-based losses (Unified Focal and Mumford-Shah (MS)) were utilized that showed the best performance compared to other combinations (p<0.05). Cross-validation between different centers, DLBCL and PMBCL cases, and three random splits were applied on train/validation data. The ensemble of these six models achieved a Dice similarity coefficient (DSC) of 0.77 +- 0.08 and Hausdorff distance (HD) of 16.5 +-12.5. Our 3D U-net model with SE modules for segmentation with hybrid loss performed significantly better (p<0.05) as compared to the 3D U-Net (without SE modules) using the same loss function (Unified Focal and MS loss) (DSC= 0.64 +-0.21 and HD= 26.3 +- 18.7). Our model can facilitate a fully automated quantification pipeline in a multi-center context that opens the possibility for routine reporting of total metabolic tumor volume (TMTV) and other metrics shown useful for the management of lymphoma.


title: Revisiting the Critical Factors of Augmentation-Invariant Representation Learning

abstract: We focus on better understanding the critical factors of augmentation-invariant representation learning. We revisit MoCo v2 and BYOL and try to prove the authenticity of the following assumption: different frameworks bring about representations of different characteristics even with the same pretext task. We establish the first benchmark for fair comparisons between MoCo v2 and BYOL, and observe: (i) sophisticated model configurations enable better adaptation to pre-training dataset; (ii) mismatched optimization strategies of pre-training and fine-tuning hinder model from achieving competitive transfer performances. Given the fair benchmark, we make further investigation and find asymmetry of network structure endows contrastive frameworks to work well under the linear evaluation protocol, while may hurt the transfer performances on long-tailed classification tasks. Moreover, negative samples do not make models more sensible to the choice of data augmentations, nor does the asymmetric network structure. We believe our findings provide useful information for future work.


title: Padovan and Perrin Numbers as Sums of Two Jacobsthal Numbers

abstract: Let $\left\lbrace P_{k}\right\rbrace_{k\geq0}$ be the Padovan sequence defined by $P_{k}=P_{k-2}+P_{k-3}$ with initial values are $P_{0}=P_{1}=P_{2}=1$. Let $\left\lbrace R_{k}\right\rbrace_{k\geq0}$ be the Perrin sequence defined by $R_{k}=R_{k-2}+R_{k-3}$ with initial values are $R_{0}=3$, $R_{1}=0$, $R_{2}=2$. And let $\left\lbrace J_{n}\right\rbrace_{n\geq0}$ be the Jacobsthal sequence defined by $J_n=2J_{n-1}+J_{n-2}$ with initials $J_0=0$, $J_1=1$. In this paper we determine all Padovan and Perrin numbers which are sum of two Jacobsthal number.


title: MobileNeRF: Exploiting the Polygon Rasterization Pipeline for Efficient Neural Field Rendering on Mobile Architectures

abstract: Neural Radiance Fields (NeRFs) have demonstrated amazing ability to synthesize images of 3D scenes from novel views. However, they rely upon specialized volumetric rendering algorithms based on ray marching that are mismatched to the capabilities of widely deployed graphics hardware. This paper introduces a new NeRF representation based on textured polygons that can synthesize novel images efficiently with standard rendering pipelines. The NeRF is represented as a set of polygons with textures representing binary opacities and feature vectors. Traditional rendering of the polygons with a z-buffer yields an image with features at every pixel, which are interpreted by a small, view-dependent MLP running in a fragment shader to produce a final pixel color. This approach enables NeRFs to be rendered with the traditional polygon rasterization pipeline, which provides massive pixel-level parallelism, achieving interactive frame rates on a wide range of compute platforms, including mobile phones.


title: Robust Contact State Estimation in Humanoid Walking Gaits

abstract: In this article, we propose a deep learning framework that provides a unified approach to the problem of leg contact detection in humanoid robot walking gaits. Our formulation accomplishes to accurately and robustly estimate the contact state probability for each leg (i.e., stable or slip/no contact). The proposed framework employs solely proprioceptive sensing and although it relies on simulated ground-truth contact data for the classification process, we demonstrate that it generalizes across varying friction surfaces and different legged robotic platforms and, at the same time, is readily transferred from simulation to practice. The framework is quantitatively and qualitatively assessed in simulation via the use of ground-truth contact data and is contrasted against state of-the-art methods with an ATLAS, a NAO, and a TALOS humanoid robot. Furthermore, its efficacy is demonstrated in base estimation with a real TALOS humanoid. To reinforce further research endeavors, our implementation is offered as an open-source ROS/Python package, coined Legged Contact Detection (LCD).


title: On the excitation of Ion Acoustic Soliton in quiescent plasma confined by multi-pole line cusp magnetic field

abstract: This paper presents the detailed study of the controlled experimental observation and characterization of Ion Acoustic soliton in the quiescent argon plasma produced by filamentary discharge and confined in a multi-pole line cusp magnetic field device named Multi-pole line Cusp Plasma Device (MPD). In this system, the electrostatic fluctuations are found to be less than 1%, a characteristic of quiescent plasma. Ion acoustic soliton has been excited in MPD, and its propagation velocity and width of them are measured experimentally and compared with the 1-D Korteweg-de Vries (KdV) equation. The interaction of two counter-propagating solitons is also investigated to confirm propagation's solitary nature further. After the successful characterization of ion-acoustic soliton, the effect of varying the cusp magnetic field on the propagation of ion-acoustic soliton has been studied. It is experimentally observed in MPD that the pole cusp magnetic field value influences the excitation and propagation of solitons. The soliton amplitude increases with the pole field up to some value Bp~0.6kG, then decreases with the further increase in field values. Meanwhile, the width of the soliton shows different behavior. The role of primary electron confinement by cusp magnetic field geometry has been used to explain the observed results.


title: Energy Demand Unawareness and the Popularity of Bitcoin: Evidence from Nigeria

abstract: Decentralized cryptocurrency networks, notably those with high energy demand, have faced significant criticism and subsequent regulatory scrutiny. Despite these concerns, policy interventions targeting cryptocurrency operations in the pursuit of sustainability have largely been ineffective. Some were abandoned for fear of jeopardizing innovation, whereas others failed due to the highly globalized nature of blockchain systems. In search of a more effective angle for energy policy measures, this study adopts a consumer-centric perspective, examining the sentiments of Nigerian cryptocurrency users (${n=158}$) toward Bitcoin's sustainability, a representative cryptocurrency known for its high electricity demand. Three main findings emerged: 1) Even among those self-identifying as highly knowledgeable, most considerably underestimated Bitcoin's electricity consumption. 2) Participants with a more accurate understanding of Bitcoin's energy demand were more inclined to support sustainability measures. 3) Most of this supportive cohort viewed private entities as the primary stakeholders for implementing such measures. Given these findings, we suggest that consumer education should be at the forefront of policy initiatives aimed at cryptocurrency sustainability.


title: Point Primitive Transformer for Long-Term 4D Point Cloud Video Understanding

abstract: This paper proposes a 4D backbone for long-term point cloud video understanding. A typical way to capture spatial-temporal context is using 4Dconv or transformer without hierarchy. However, those methods are neither effective nor efficient enough due to camera motion, scene changes, sampling patterns, and the complexity of 4D data. To address those issues, we leverage the primitive plane as a mid-level representation to capture the long-term spatial-temporal context in 4D point cloud videos and propose a novel hierarchical backbone named Point Primitive Transformer(PPTr), which is mainly composed of intra-primitive point transformers and primitive transformers. Extensive experiments show that PPTr outperforms the previous state of the arts on different tasks.


title: On Lie algebra modules which are modules over semisimple group schemes

abstract: Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over $K:=\text{Frac}(R)$ with the property that the set of lattices of $V$ with respect to $R$ which are $G$-modules is as well the set of lattices of $V$ with respect to $R$ which are $\text{Lie}(G)$-modules. We apply this classification to get a general criterion of extensions of homomorphisms between reductive group schemes over $\text{Spec} K$ to homomorphisms between reductive group schemes over $\text{Spec} R$. We also show that for a simply connected semisimple group scheme over a reduced $\mathbb Q$--algebra, the category of its representations is equivalent to the category of representations of its Lie algebra.


title: Recurring Contingent Service Payment

abstract: Fair exchange protocols let two mutually distrustful parties exchange digital data in a way that neither party can cheat. They have various applications such as the exchange of digital items, or the exchange of digital coins and digital services between a buyer/client and seller/server. In this work, we formally define and propose a generic blockchain-based construction called "Recurring Contingent Service Payment" (RC-S-P). It (i) lets a fair exchange of digital coins and verifiable service reoccur securely between clients and a server while ensuring that the server is paid if and only if it delivers a valid service, and (ii) ensures the parties' privacy is preserved. RC-S-P supports arbitrary verifiable services, such as "Proofs of Retrievability" (PoR) or verifiable computation and imposes low on-chain overheads. Our formal treatment and construction, for the first time, consider the setting where either client or server is malicious. We also present a concrete efficient instantiation of RC- S-P when the verifiable service is PoR. We implemented the concrete instantiation and analysed its cost. When it deals with a 4-GB outsourced file, a verifier can check a proof in only 90 milliseconds, and a dispute between a prover and verifier is resolved in 0.1 milliseconds. At CCS 2017, two blockchain-based protocols were proposed to support the fair exchange of digital coins and a certain verifiable service; namely, PoR. In this work, we show that these protocols (i) are susceptible to a free-riding attack which enables a client to receive the service without paying the server, and (ii) are not suitable for cases where parties' privacy matters, e.g., when the server's proof status or buyer's file size must remain private from the public. RC- S-P simultaneously mitigates the above attack and preserves the parties' privacy.


title: Vacuum densities and the Casimir forces for branes orthogonal to the AdS boundary

abstract: For a massive scalar field with general curvature coupling we evaluate the Wightman function in the geometry of two parallel branes perpendicular to the AdS boundary. On the separate branes, the field operator is constrained by Robin boundary conditions, in general, with different coefficients. In the region between the branes their contribution to the Wightman function is explicitly separated. By using this decomposition, the brane-induced effects on the vacuum expectation values (VEVs) for the field squared and energy-momentum tensor are investigated. The behavior of those expectation values is studied in various asymptotic regions of the parameters. The vacuum energy-momentum tensor in addition to the diagonal components has a nonzero off-diagonal stress. Depending on the boundary conditions and also on the distance from the branes, the vacuum energy density can be either positive or negative. The Casimir forces acting on the branes have two components. The first one corresponds to the standard normal force and the second one is parallel to the branes and presents the vacuum shear force. Unlike to the problem of parallel plates in the Minkowski bulk, the normal Casimir forces acting on separate branes differ if the boundary conditions on the branes are different. They can be either repulsive or attractive. In a similar way, depending on the coefficients in the boundary conditions, the shear force is directed toward or from the AdS boundary. The separate components may also change their signs as functions of the interbrane separation. At large proper separations between the branes, compared to the AdS curvature radius, both the components of the Casimir forces exhibit a power-law decay. For a massive scalar field this behavior is in contrast to that for the Minkowski bulk, where the decrease is exponential.


title: Fence Synthesis under the C11 Memory Model

abstract: The C/C++11 (C11) standard offers a spectrum of ordering guarantees on memory access operations. The combinations of such orderings pose a challenge in developing correct and efficient weak memory programs. A common solution to preclude those program outcomes that violate the correctness specification is using C11 synchronization-fences, which establish ordering on program events. The challenge is in choosing a combination of fences that (i) restores the correctness of the input program, with (ii) as little impact on efficiency as possible (i.e., the smallest set of weakest fences). This problem is the optimal fence synthesis problem and is NP-hard for straight-line programs. In this work, we propose the first fence synthesis technique for C11 programs called FenSying and show its optimality. We additionally propose a near-optimal efficient alternative called fFenSying. We prove the optimality of FenSying and the soundness of fFenSying and present an implementation of both techniques. Finally, we contrast the performance of the two techniques and empirically demonstrate fFenSyings effectiveness.


title: The $\delta$-invariant theory of Hecke correspondences on $\mathcal A_g$

abstract: Let $p$ be a prime, let $N\geq 3$ be an integer prime to $p$, let $R$ be the ring of $p$-typical Witt vectors with coefficients in an algebraic closure of $\mathbb F_p$, and consider the correspondence $\mathcal A'_{g,1,N,R}\rightrightarrows \mathcal A_{g,1,N,R}$ obtained by taking the union of all prime to $p$ Hecke correspondences on Mumford's moduli scheme of principally polarized abelian schemes of relative dimension $g$ endowed with symplectic similitude level-$N$ structure over $R$-schemes. It is well-known that the coequalizer $\mathcal A_{g,1,N,R}/\mathcal A'_{g,1,N,R}$ of the above correspondence exists and is trivial in the category of schemes, i.e., is $\text{Spec}(R)$. We construct and study in detail such a coequalizer (categorical quotient) in a more refined geometry (category) referred to as {\it $\delta$-geometry}. This geometry is in essence obtained from the usual algebraic geometry by equipping all $R$-algebras with {\it $p$-derivations}. In particular, we prove that our substitute of $\mathcal A_{g,1,N,R}/\mathcal A'_{g,1,N,R}$ in $\delta$-geometry has the same `dimension' as $\mathcal A_{g,1,N,R}$, thus solving a main open problem in the work of Barc\u{a}u--Buium. We also give applications to the study of various Zariski dense loci in $\mathcal A_{g,1,N,R}$ such as of isogeny classes and of points with complex multiplication. To prove our results we develop a Serre--Tate expansion theory for {\it Siegel $\delta$-modular forms} of arbitrary genus which we then combine with old and new results from the geometric invariant theory of multiple quadratic forms and of multiple endomorphisms.


title: Simplex Clustering via sBeta with Applications to Online Adjustment of Black-Box Predictions

abstract: We explore clustering the softmax predictions of deep neural networks and introduce a novel probabilistic clustering method, referred to as k-sBetas. In the general context of clustering discrete distributions, the existing methods focused on exploring distortion measures tailored to simplex data, such as the KL divergence, as alternatives to the standard Euclidean distance. We provide a general maximum a posteriori (MAP) perspective of clustering distributions, which emphasizes that the statistical models underlying the existing distortion-based methods may not be descriptive enough. Instead, we optimize a mixed-variable objective measuring the conformity of data within each cluster to the introduced sBeta density function, whose parameters are constrained and estimated jointly with binary assignment variables. Our versatile formulation approximates a variety of parametric densities for modeling simplex data, and enables to control the cluster-balance bias. This yields highly competitive performances for unsupervised adjustments of black-box model predictions in a variety of scenarios. Our code and comparisons with the existing simplex-clustering approaches along with our introduced softmax-prediction benchmarks are publicly available: https://github.com/fchiaroni/Clustering_Softmax_Predictions.


title: Information engine in a nonequilibrium bath

abstract: Information engines can convert thermal fluctuations of a bath at temperature $T$ into work at rates of order $k_\mathrm{B}T$ per relaxation time of the system. We show experimentally that such engines, when in contact with a bath that is out of equilibrium, can extract much more work. We place a heavy, micron-scale bead in a harmonic potential that ratchets up to capture favorable fluctuations. Adding a fluctuating electric field increases work extraction up to ten times, limited only by the strength of applied field. Our results connect Maxwell's demon with energy harvesting and an estimate of efficiency shows that information engines in nonequilibrium baths can greatly outperform conventional engines.


title: BSDEs generated by fractional space-time noise and related SPDEs

abstract: This paper is concerned with the backward stochastic differential equations whose generator is a weighted fractional Brownian field: $Y_t=\xi+\int_t^T Y_s W (ds,B_s) -\int_t^T Z_sdB_s$, $0\le t\le T$, where $W$ is a $(d+1)$-parameter weighted fractional Brownian field of Hurst parameter $H=(H_0, H_1, \cdots, H_d)$, which provide probabilistic interpretations (Feynman-Kac formulas) for certain linear stochastic partial differential equations with colored space-time noise. Conditions on the Hurst parameter $H$ and on the decay rate of the weight are given to ensure the existence and uniqueness of the solution pair. Moreover, the explicit expression for both components $Y$ and $Z$ of the solution pair are given.


title: A Gradient Smoothed Functional Algorithm with Truncated Cauchy Random Perturbations for Stochastic Optimization

abstract: In this paper, we present a stochastic gradient algorithm for minimizing a smooth objective function that is an expectation over noisy cost samples, and only the latter are observed for any given parameter. Our algorithm employs a gradient estimation scheme with random perturbations, which are formed using the truncated Cauchy distribution from the delta sphere. We analyze the bias and variance of the proposed gradient estimator. Our algorithm is found to be particularly useful in the case when the objective function is non-convex, and the parameter dimension is high. From an asymptotic convergence analysis, we establish that our algorithm converges almost surely to the set of stationary points of the objective function and obtains the asymptotic convergence rate. We also show that our algorithm avoids unstable equilibria, implying convergence to local minima. Further, we perform a non-asymptotic convergence analysis of our algorithm. In particular, we establish here a non-asymptotic bound for finding an epsilon-stationary point of the non-convex objective function. Finally, we demonstrate numerically through simulations that the performance of our algorithm outperforms GSF, SPSA, and RDSA by a significant margin over a few non-convex settings and further validate its performance over convex (noisy) objectives.


title: On Noetherian algebras, Schur functors and Hemmer-Nakano dimensions

abstract: Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur--Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exact functor known as Schur functor. In this paper, we investigate how to measure the quality of the connection between module categories of (projective) Noetherian algebras, $B$, and module categories of endomorphism algebras of generators-relative cogenerators over $B$ which are split quasi-hereditary Noetherian algebras. In particular, we are interested in finding, if it exists, the highest degree $n$ so that the endomorphism algebra of a generator-cogenerator provides an $n$-faithful cover, in the sense of Rouquier, of $B$. The degree $n$ is known as Hemmer-Nakano dimension of the standard modules. We prove that the Hemmer-Nakano dimension of standard modules with respect to a Schur functor from a split highest weight category over a field to the module category of a finite-dimensional algebra $B$ is bounded above by the number of non-isomorphic simple modules of $B$. We establish methods how to reduce computations of Hemmer-Nakano dimensions in the integral setup to computations of Hemmer-Nakano dimensions over finite-dimensional algebras. This theory allows us to derive results for Schur algebras and the BGG category O in the integral setup from the finite-dimensional case using relative dominant dimension. We exhibit several structural properties of deformations of the blocks of the BGG category O establishing an integral version of Soergel's Struktursatz. We show that deformations of the combinatorial Soergel's functor have better homological properties than the classical one.


title: Functional-Coefficient Models for Multivariate Time Series in Designed Experiments: with Applications to Brain Signals

abstract: To study the neurophysiological basis of attention deficit hyperactivity disorder (ADHD), clinicians use electroencephalography (EEG) which record neuronal electrical activity on the cortex. The most commonly-used metric in ADHD is the theta-to-beta spectral power ratio (TBR) that is based on a single-channel analysis. However, initial findings for this measure have not been replicated in other studies. Thus, instead of focusing on single-channel spectral power, a novel model for investigating interactions (dependence) between channels in the entire network is proposed. Although dependence measures such as coherence and partial directed coherence (PDC) are well explored in studying brain connectivity, these measures only capture linear dependence. Moreover, in designed clinical experiments, these dependence measures are observed to vary across subjects even within a homogeneous group. To address these limitations, we propose the mixed-effects functional-coefficient autoregressive (MX-FAR) model which captures between-subject variation by incorporating subject-specific random effects. The advantages of the MX-FAR model are the following: (1.) it captures potential non-linear dependence between channels; (2.) it is nonparametric and hence flexible and robust to model mis-specification; (3.) it can capture differences between groups when they exist; (4.) it accounts for variation across subjects; (5.) the framework easily incorporates well-known inference methods from mixed-effects models; (6.) it can be generalized to accommodate various covariates and factors. Finally, we apply the proposed MX-FAR model to analyze multichannel EEG signals and report novel findings on altered brain functional networks in ADHD.


title: Global Attention-based Encoder-Decoder LSTM Model for Temperature Prediction of Permanent Magnet Synchronous Motors

abstract: Temperature monitoring is critical for electrical motors to determine if device protection measures should be executed. However, the complexity of the internal structure of Permanent Magnet Synchronous Motors (PMSM) makes the direct temperature measurement of the internal components difficult. This work pragmatically develops three deep learning models to estimate the PMSMs' internal temperature based on readily measurable external quantities. The proposed supervised learning models exploit Long Short-Term Memory (LSTM) modules, bidirectional LSTM, and attention mechanism to form encoder-decoder structures to predict simultaneously the temperatures of the stator winding, tooth, yoke, and permanent magnet. Experiments were conducted in an exhaustive manner on a benchmark dataset to verify the proposed models' performances. The comparative analysis shows that the proposed global attention-based encoder-decoder (EnDec) model provides a competitive overall performance of 1.72 Mean Squared Error (MSE) and 5.34 Mean Absolute Error (MAE).


title: Explicit results for Euler's factorial series in arithmetic progressions under GRH

abstract: In this article, we study the Euler's factorial series $F_p(t)=\sum_{n=0}^\infty n!t^n$ in $p$-adic domain under the Generalized Riemann Hypothesis. First, we show that if we consider primes in $k\varphi(m)/(k+1)$ residue classes in the reduced residue system modulo $m$, then under certain explicit extra conditions we must have $\lambda_0+\lambda_1F_p(\alpha_1)+\ldots+\lambda_kF_p(\alpha_k) \neq 0$ for at least one such prime. We also prove an explicit $p$-adic lower bound for the previous linear form. Secondly, we consider the case where we take primes in arithmetic progressions from more than $k\varphi(m)/(k+1)$ residue classes. Then there is an infinite collection of intervals each containing at least one prime which is in those arithmetic progressions and for which we have $\lambda_0+\lambda_1F_p(\alpha_1)+\ldots+\lambda_kF_p(\alpha_k) \neq 0$. We also derive an explicit $p$-adic lower bound for the previous linear form.


title: Polyhedral Groups in $G_2(\mathbb{C})$

abstract: We classify embeddings of the finite groups $A_4$, $S_4$ and $A_5$ in the Lie group $G_2(\mathbb{C})$ up to conjugation.


title: ANOVA-based Automatic Attribute Selection and a Predictive Model for Heart Disease Prognosis

abstract: Studies show that Studies that cardiovascular diseases (CVDs) are malignant for human health. Thus, it is important to have an efficient way of CVD prognosis. In response to this, the healthcare industry has adopted machine learning-based smart solutions to alleviate the manual process of CVD prognosis. Thus, this work proposes an information fusion technique that combines key attributes of a person through analysis of variance (ANOVA) and domain experts' knowledge. It also introduces a new collection of CVD data samples for emerging research. There are thirty-eight experiments conducted exhaustively to verify the performance of the proposed framework on four publicly available benchmark datasets and the newly created dataset in this work. The ablation study shows that the proposed approach can achieve a competitive mean average accuracy (mAA) of 99.2% and a mean average AUC of 97.9%.


title: Privacy-Preserving Edge Caching: A Probabilistic Approach

abstract: Edge caching (EC) decreases the average access delay of the end-users through caching popular content at the edge network, however, it increases the leakage probability of valuable information such as users preferences. Most of the existing privacy-preserving approaches focus on adding layers of encryption, which confronts the network with more challenges such as energy and computation limitations. We employ a chunk-based joint probabilistic caching (JPC) approach to mislead an adversary eavesdropping on the communication inside an EC and maximizing the adversary's error in estimating the requested file and requesting cache. In JPC, we optimize the probability of each cache placement to minimize the communication cost while guaranteeing the desired privacy and then, formulate the optimization problem as a linear programming (LP) problem. Since JPC inherits the curse of dimensionality, we also propose scalable JPC (SPC), which reduces the number of feasible cache placements by dividing files into non-overlapping subsets. We also compare the JPC and SPC approaches against an existing probabilistic method, referred to as disjoint probabilistic caching (DPC) and random dummy-based approach (RDA). Results obtained through extensive numerical evaluations confirm the validity of the analytical approach, the superiority of JPC and SPC over DPC and RDA.


title: Stability of determination of Riemann surface from its DN-map in terms of Teichm\"uller distance

abstract: As is known, the Dirichlet-to-Neumann operator $\Lambda$ of a Riemannian surface $(M,g)$ determines the surface up to conformal equivalence class $[(M,g)]$. Such classes constitute the Teichm\"uller space with the distance ${\rm d}_T$. We show that the determination is continuous: $\|\Lambda-\Lambda'\|_{H^1(\partial M)\to L_2(\partial M)}\to 0$ implies ${\rm d}_T([(M,g)],[(M',g')])\to 0$.


title: Involutory permutation automorphisms of binary linear codes

abstract: We investigate the properties of binary linear codes of even length whose permutation automorphism group is a cyclic group generated by an involution. Up to dimension or co-dimension $4$, we show that there is no quasi group code whose permutation automorphism group is isomorphic to $C_2$. By generalizing the method we use to prove this result, we obtain results on the structure of putative extremal self-dual $[72, 36, 16]$ and $[96, 48, 20]$ codes in the presence of an involutory permutation automorphism.


title: On the bottleneck stability of rank decompositions of multi-parameter persistence modules

abstract: A significant part of modern topological data analysis is concerned with the design and study of algebraic invariants of poset representations -- often referred to as multi-parameter persistence modules. One such invariant is the minimal rank decomposition, which encodes the ranks of all the structure morphisms of the persistence module by a single ordered pair of rectangle-decomposable modules, interpreted as a signed barcode. This signed barcode generalizes the concept of persistence barcode from one-parameter persistence to any number of parameters, raising the question of its bottleneck stability. We show in this paper that the minimal rank decomposition is not stable under the natural notion of signed bottleneck matching between signed barcodes. We remedy this by turning our focus to the rank exact decomposition, a related signed barcode induced by the minimal projective resolution of the module relative to the so-called rank exact structure, which we prove to be bottleneck stable under signed matchings. As part of our proof, we obtain two intermediate results of independent interest: we compute the global dimension of the rank exact structure on the category of finitely presentable multi-parameter persistence modules, and we prove a bottleneck stability result for hook-decomposable modules. We also give a bound for the size of the rank exact decomposition that is polynomial in the size of the usual minimal projective resolution, we prove a universality result for the dissimilarity function induced by the notion of signed matching, and we compute, in the two-parameter case, the global dimension of a different exact structure related to the upsets of the indexing poset. This set of results combines concepts from topological data analysis and from the representation theory of posets, and we believe is relevant to both areas.


title: Towards Visualization of Time-Series Ecological Momentary Assessment (EMA) Data on Standalone Voice-First Virtual Assistants

abstract: Population aging is an increasingly important consideration for health care in the 21th century, and continuing to have access and interact with digital health information is a key challenge for aging populations. Voice-based Intelligent Virtual Assistants (IVAs) are promising to improve the Quality of Life (QoL) of older adults, and coupled with Ecological Momentary Assessments (EMA) they can be effective to collect important health information from older adults, especially when it comes to repeated time-based events. However, this same EMA data is hard to access for the older adult: although the newest IVAs are equipped with a display, the effectiveness of visualizing time-series based EMA data on standalone IVAs has not been explored. To investigate the potential opportunities for visualizing time-series based EMA data on standalone IVAs, we designed a prototype system, where older adults are able to query and examine the time-series EMA data on Amazon Echo Show - a widely used commercially available standalone screen-based IVA. We conducted a preliminary semi-structured interview with a geriatrician and an older adult, and identified three findings that should be carefully considered when designing such visualizations.


title: Efficient Compilation and Mapping of Fixed Function Combinational Logic onto Digital Signal Processors Targeting Neural Network Inference and Utilizing High-level Synthesis

abstract: Recent efforts for improving the performance of neural network (NN) accelerators that meet today's application requirements have given rise to a new trend of logic-based NN inference relying on fixed function combinational logic. Mapping such large Boolean functions with many input variables and product terms to digital signal processors (DSPs) on Field-programmable gate arrays (FPGAs) needs a novel framework considering the structure and the reconfigurability of DSP blocks during this process. The proposed methodology in this paper maps the fixed function combinational logic blocks to a set of Boolean functions where Boolean operations corresponding to each function are mapped to DSP devices rather than look-up tables (LUTs) on the FPGAs to take advantage of the high performance, low latency, and parallelism of DSP blocks. % This paper also presents an innovative design and optimization methodology for compilation and mapping of NNs, utilizing fixed function combinational logic to DSPs on FPGAs employing high-level synthesis flow. % Our experimental evaluations across several \REVone{datasets} and selected NNs demonstrate the comparable performance of our framework in terms of the inference latency and output accuracy compared to prior art FPGA-based NN accelerators employing DSPs.


title: On Smith normal forms of $q$-Varchenko matrices

abstract: In this paper, we investigate $q$-Varchenko matrices for some hyperplane arrangements with symmetry in two and three dimensions, and prove that they have a Smith normal form over $\mathbb Z[q]$. In particular, we examine the hyperplane arrangement for the regular $n$-gon in the plane and the dihedral model in the space and Platonic polyhedra. In each case, we prove that the $q$-Varchenko matrix associated with the hyperplane arrangement has a Smith normal form over $\mathbb Z[q]$ and realize their congruent transformation matrices over $\mathbb Z[q]$ as well.


title: Conceptual Modeling of Objects

abstract: In this paper, we concentrate on object-related analysis in the field of general ontology of reality as related to software engineering (e.g., UML classes). Such a venture is similar to many studies in which researchers have enhanced modeling through ontological analysis of the underlying paradigm of UML models. We attempt to develop a conceptual model that consists of a foundation of things that is supplemented with a second level of designated objects. According to some researchers, the problem of the difference between things and objects is one of the most decisive issues for the conception of reality. In software engineering, objects serve two purposes: they promote understanding of the real world and provide a practical basis for computer implementation. The notion of object plays a central role in the object-oriented approach, in which other notions are viewed by decomposing them into objects and their relationships. This paper contributes to the establishment of a broader understanding of the notion of object in conceptual modeling based on things that are simultaneously machines. In this study, we explored the underlying hypothesis of conceptual models (e.g., UML) to enhance their ontological analysis by using the thing/machine (TM) model, which presents the domain as thimacs. Following the philosophical distinction between things and objects, we can specify modeling at two levels: the thinging stage and the objectification stage. Objects are thimacs that control the handleablity of their sub-parts when interacting with the outside of the object (analogous to the body parts holding together in an assemblage when interacting with the outside). The results promise a more refined modeling process to develop a high-level description of the involved domain.


title: How to Enable Collaboration in Open Government Data Ecosystems: A Public Platform Provider's Perspective

abstract: Objective: Our objective is to explore how public entities in the role of platform providers can address this issue by enabling collaboration within their OGD ecosystems, both in terms of the OGD published on the underpinning platform, as well as any related Open Source Software (OSS) and standards. Method: We conducted an exploratory multiple-case study of four OGD ecosystems with diverse characteristics. Data was collected through semi-structured interviews, and in one of the cases through a prolonged engagement. The data was then coded using a set of \textit{apriori} codes. Results: The study descriptively presents each case based on the coding, along with synthesis in the form of a conceptual model that highlights different attributes of OGD ecosystems. For example, we observe how collaboration can be enabled through different types of ownership of the platform provider, how the ecosystem's scope can vary, what roles the platform provider may undertake, how to enable open collaboration, and how to collaborate in terms of data sharing, OSS development, and standards. For each aspect, we provide recommendations based on the explored cases that, together with the model, may help public entities in designing and orchestrating new or existing OGD ecosystems. Conclusions: We conclude that enabling and facilitating collaboration in an OGD ecosystem is a complex exercise, yet believe that it offers new ways for public entities in how they can leverage the power of open innovation to address their goals and directives.


title: Doubly Deformable Aggregation of Covariance Matrices for Few-shot Segmentation

abstract: Training semantic segmentation models with few annotated samples has great potential in various real-world applications. For the few-shot segmentation task, the main challenge is how to accurately measure the semantic correspondence between the support and query samples with limited training data. To address this problem, we propose to aggregate the learnable covariance matrices with a deformable 4D Transformer to effectively predict the segmentation map. Specifically, in this work, we first devise a novel hard example mining mechanism to learn covariance kernels for the Gaussian process. The learned covariance kernel functions have great advantages over existing cosine similarity-based methods in correspondence measurement. Based on the learned covariance kernels, an efficient doubly deformable 4D Transformer module is designed to adaptively aggregate feature similarity maps into segmentation results. By combining these two designs, the proposed method can not only set new state-of-the-art performance on public benchmarks, but also converge extremely faster than existing methods. Experiments on three public datasets have demonstrated the effectiveness of our method.


title: Turnpilke property for infinite-dimensional generalized LQ problem

abstract: We deduce a sufficient condition of the exponential (integral) turnpike property for infinite dimensional generalized linear-quadratic optimal control problems in terms of structural properties of the control system, such as exponential stabilizability and detectability. The proof relies on the analysis of the exponential convergence of solutions to the differential Riccati equations to the algebraic counterpart, and on a necessary condition for exponential stabilizability in terms of a closed range test.


title: Motivating the Contributions: An Open Innovation Perspective on What to Share as Open Source Software

abstract: Open Source Software (OSS) ecosystems have reshaped the ways how software-intensive firms develop products and deliver value to customers. However, firms still need support for strategic product planning in terms of what to develop internally and what to share as OSS. Existing models accurately capture commoditization in software business, but lack operational support to decide what contribution strategy to employ in terms of what and when to contribute. This study proposes a Contribution Acceptance Process (CAP) model from which firms can adopt contribution strategies that align with product strategies and planning. In a design science influenced case study executed at Sony Mobile, the CAP model was iteratively developed in close collaboration with the firm's practitioners. The CAP model helps classify artifacts according to business impact and control complexity so firms may estimate and plan whether an artifact should be contributed or not. Further, an information meta-model is proposed that helps operationalize the CAP model at the organization. The CAP model provides an operational OI perspective on what firms involved in OSS ecosystems should share, by helping them motivate contributions through the creation of contribution strategies. The goal is to help maximize return on investment and sustain needed influence in OSS ecosystems.


title: Direct Visualization of Localized Vibrations at Complex Grain Boundaries

abstract: Grain boundaries (GBs) are a prolific microstructural feature that dominates the functionality of a wide class of materials. The change in functionality at a GB is a direct result of unique local atomic arrangements, different from those in the grain, that have driven extensive experimental and theoretical studies correlating atomic-scale GB structures to macroscopic electronic, infrared-optical, and thermal properties. Here, we examine a SrTiO3 GB using atomic-resolution aberration-corrected scanning transmission electron microscopy (STEM) and ultra-high-energy-resolution monochromated electron energy-loss spectroscopy (EELS), in conjunction with density functional theory (DFT) calculations. This combination enables the direct correlation of the GB structure, composition, and chemical bonding with atomic vibrations within the GB dislocation-cores. We observe that nonstoichiometry and changes in coordination and bonding at the GB leads to a redistribution of vibrational states at the GB and its dislocation-cores relative to the bounding grains. The access to localized vibrations within GBs provided by ultrahigh spatial/spectral resolution EELS correlated with atomic coordination, bonding, and stoichiometry and validated by theory, provides a direct route to quantifying the impact of individual boundaries on macroscopic properties.


title: Bessel Vortices in Spin-Orbit-Coupled Binary Bose-Einstein Condensates with Zeeman Splitting

abstract: We present an analysis of stationary solutions for two-dimensional (2D) Bose-Einstein condensates (BECs) with the Rashba spin-orbit (SO) coupling and Zeeman splitting. By introducing the generalized momentum operator, the linear version of the system can be solved exactly. The solutions are semi-vortices of the Bessel-vortex (BV) and modified Bessel-vortex (MBV) types, in the presence of the weak and strong Zeeman splitting, respectively. The ground states (GSs) of the full nonlinear system are constructed with the help of a specially designed neural network (NN). The GS of the mixed-mode type appears as cross-attraction interaction increases. The spin texture of the GS is produced in detail. It exhibits the Neel skyrmion structure for the semi-vortex GS of the BV type, and the respective skyrmion number is found in an analytical form. On the other hand, GSs of the MBV and mixed-mode types do not form skyrmions.


title: Delving into Effective Gradient Matching for Dataset Condensation

abstract: As deep learning models and datasets rapidly scale up, network training is extremely time-consuming and resource-costly. Instead of training on the entire dataset, learning with a small synthetic dataset becomes an efficient solution. Extensive research has been explored in the direction of dataset condensation, among which gradient matching achieves state-of-the-art performance. The gradient matching method directly targets the training dynamics by matching the gradient when training on the original and synthetic datasets. However, there are limited deep investigations into the principle and effectiveness of this method. In this work, we delve into the gradient matching method from a comprehensive perspective and answer the critical questions of what, how, and where to match. We propose to match the multi-level gradients to involve both intra-class and inter-class gradient information. We demonstrate that the distance function should focus on the angle, considering the magnitude simultaneously to delay the overfitting. An overfitting-aware adaptive learning step strategy is also proposed to trim unnecessary optimization steps for algorithmic efficiency improvement. Ablation and comparison experiments demonstrate that our proposed methodology shows superior accuracy, efficiency, and generalization compared to prior work.


title: An Improved A* Search Algorithm for Road Networks Using New Heuristic Estimation

abstract: Finding the shortest path between two points in a graph is a fundamental problem that has been well-studied over the past several decades. Shortest path algorithms are commonly applied to modern navigation systems, so our study aims to improve the efficiency of an existing algorithm on large-scale Euclidean networks. The current literature lacks a deep understanding of certain algorithms' performance on these types of networks. Therefore, we incorporate a new heuristic function, called the $k$-step look-ahead, into the A* search algorithm and conduct a computational experiment to evaluate and compare the results on road networks of varying sizes. Our main findings are that this new heuristic yields a significant improvement in runtime, particularly for larger networks when compared to standard A*, as well as that a higher value of $k$ is needed to achieve optimal efficiency as network size increases. Future research can build upon this work by implementing a program that automatically chooses an optimal $k$ value given an input network. The results of this study can be applied to GPS routing technologies or other navigation devices to speed up the time needed to find the shortest path from an origin to a destination, an essential objective in daily life.


title: Untargeted Region of Interest Selection for GC-MS Data using a Pseudo F-Ratio Moving Window ($\psi$FRMV)

abstract: There are many challenges associated with analysing gas chromatography - mass spectrometry (GC-MS) data. Many of these challenges stem from the fact that electron ionisation can make it difficult to recover molecular information due to the high degree of fragmentation with concomitant loss of molecular ion signal. With GC-MS data there are often many common fragment ions shared among closely-eluting peaks, necessitating sophisticated methods for analysis. Some of these methods are fully automated, but make some assumptions about the data which can introduce artifacts during the analysis. Chemometric methods such as Multivariate Curve Resolution, or Parallel Factor Analysis are particularly attractive, since they are flexible and make relatively few assumptions about the data - ideally resulting in fewer artifacts. These methods do require expert user intervention to determine the most relevant regions of interest and an appropriate number of components, $k$, for each region. Automated region of interest selection is needed to permit automated batch processing of chromatographic data with advanced signal deconvolution. Here, we propose a new method for automated, untargeted region of interest selection that accounts for the multivariate information present in GC-MS data to select regions of interest based on the ratio of the squared first, and second singular values from the Singular Value Decomposition of a window that moves across the chromatogram. Assuming that the first singular value accounts largely for signal, and that the second singular value accounts largely for noise, it is possible to interpret the relationship between these two values as a probabilistic distribution of Fisher Ratios. The sensitivity of the algorithm was tested by investigating the concentration at which the algorithm can no longer pick out chromatographic regions known to contain signal.


title: The 2-localization of a model category

abstract: In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category $\mathcal{H}o(\mathscr{A})$ obtained by the addition of 2-cells determined by homotopies. A salient feature here is the use of a novel notion of cylinder introduced in \cite{e.d.2}. The inclusion 2-functor $\mathscr{C} \longrightarrow \mathcal{H}o(\mathscr{A})$ has a universal property which implies that it will be the 2-localization of $\mathscr{A}$ at $\Sigma$ as soon as the arrows of $\Sigma$ become equivalences in $\mathcal{H}o(\mathscr{A})$. This is then used to obtain 2-localizations of a model category $\mathscr{A}{C}$, with $\Sigma = \mathcal{W}$, the weak equivalences, and $\mathscr{A} = \mathscr{C}_{fc}$, the full subcategory of fibrant-cofibrant objects, as well as with $\mathscr{A} = \mathscr{C}$. The set of connected components of the hom categories yields Quillen's results. We follow the general lines established in \cite{e.d.2}, \cite{e.d.} for model bicategories. The development here is not just the examination of the general theory in a particular case. It is not concerned with and avoids the problems which arise when dealing with non invertible 2-cells. Also, the use here of functorial factorization adds further simplifications by eliminating the need of pseudofunctors. New proofs are produced which are not a mere simplified adaptation of the ones of the general case.


title: Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)

abstract: Transactional memory (TM) is an intensively studied synchronisation paradigm with many proposed implementations in software and hardware, and combinations thereof. However, TM under relaxed memory, e.g., C11 (the 2011 C/C++ standard) is still poorly understood, lacking rigorous foundations that support verifiable implementations. This paper addresses this gap by developing TMS2-RA, a relaxed operational TM specification. We integrate TMS2-RA with RC11 (the repaired C11 memory model that disallows load-buffering) to provide a formal semantics for TM libraries and their clients. We develop a logic, TARO, for verifying client programs that use TMS2-RA for synchronisation. We also show how TMS2-RA can be implemented by a C11 library, TML-RA, that uses relaxed and release-acquire atomics, yet guarantees the synchronisation properties required by TMS2-RA. We benchmark TML-RA and show that it outperforms its sequentially consistent counterpart in the STAMP benchmarks. Finally, we use a simulation-based verification technique to prove correctness of TML-RA. Our entire development is supported by the Isabelle/HOL proof assistant.


title: On Interactive Explanations as Non-Monotonic Reasoning

abstract: Recent work shows issues of consistency with explanations, with methods generating local explanations that seem reasonable instance-wise, but that are inconsistent across instances. This suggests not only that instance-wise explanations can be unreliable, but mainly that, when interacting with a system via multiple inputs, a user may actually lose confidence in the system. To better analyse this issue, in this work we treat explanations as objects that can be subject to reasoning and present a formal model of the interactive scenario between user and system, via sequences of inputs, outputs, and explanations. We argue that explanations can be thought of as committing to some model behaviour (even if only prima facie), suggesting a form of entailment, which, we argue, should be thought of as non-monotonic. This allows: 1) to solve some considered inconsistencies in explanation, such as via a specificity relation; 2) to consider properties from the non-monotonic reasoning literature and discuss their desirability, gaining more insight on the interactive explanation scenario.


title: Strong kinetic-inductance Kerr nonlinearity with titanium nitride nanowires

abstract: Thin films of disordered superconductors such as titanium nitride (TiN) exhibit large kinetic inductance (KI), high critical temperature, and large quality factors at the single-photon level. KI nonlinearity can be exploited as an alternative to Josephson junctions for creating novel nonlinear quantum devices with the potential to operate at higher frequencies and at elevated temperatures. We study a means of magnifying KI nonlinearity by confining the current density of resonant electromagnetic modes in nanowires with a small volume $V \simeq 10^{-4}\text{um}^3$. Using this concept, we realize microwave-frequency Kerr cavities with a maximum Kerr-shift per photon of $K/2\pi = 123.5 \pm 3$ kHz and report a nonlinearity-to-linewidth ratio $K/\gamma = 21\%$. With improved design, our devices are expected to approach the regime of strong quantum nonlinearity in the millimeter-wave spectrum.


title: Smoothing Entailment Graphs with Language Models

abstract: The diversity and Zipfian frequency distribution of natural language predicates in corpora leads to sparsity in Entailment Graphs (EGs) built by Open Relation Extraction (ORE). EGs are computationally efficient and explainable models of natural language inference, but as symbolic models, they fail if a novel premise or hypothesis vertex is missing at test-time. We present theory and methodology for overcoming such sparsity in symbolic models. First, we introduce a theory of optimal smoothing of EGs by constructing transitive chains. We then demonstrate an efficient, open-domain, and unsupervised smoothing method using an off-the-shelf Language Model to find approximations of missing premise predicates. This improves recall by 25.1 and 16.3 percentage points on two difficult directional entailment datasets, while raising average precision and maintaining model explainability. Further, in a QA task we show that EG smoothing is most useful for answering questions with lesser supporting text, where missing premise predicates are more costly. Finally, controlled experiments with WordNet confirm our theory and show that hypothesis smoothing is difficult, but possible in principle.


title: Robust Planning for Multi-stage Forceful Manipulation

abstract: Multi-step forceful manipulation tasks, such as opening a push-and-twist childproof bottle, require a robot to make various planning choices that are substantially impacted by the requirement to exert force during the task. The robot must reason over discrete and continuous choices relating to the sequence of actions, such as whether to pick up an object, and the parameters of each of those actions, such how to grasp the object. To enable planning and executing forceful manipulation, we augment an existing task and motion planner with constraints that explicitly consider torque and frictional limits, captured through the proposed forceful kinematic chain constraint. In three domains, opening a childproof bottle, twisting a nut and cutting a vegetable, we demonstrate how the system selects from among a combinatorial set of strategies.We also show how cost-sensitive planning can be used to find strategies and parameters that are robust to uncertainty in the physical parameters.


title: Universal alignment in turbulent pair dispersion

abstract: Countless processes in nature and industry, from rain droplet nucleation to plankton interaction in the ocean, are intimately related to turbulent fluctuations of local concentrations of advected matter. These fluctuations can be described by considering the change of the separation between particle pairs, known as pair dispersion, which is believed to obey a cubic in time growth according to Richardson's theory. Our work reveals a universal, scale-invariant alignment between the relative velocity and position vectors of dispersing particles at a mean angle that we show to be a universal constant of turbulence. We connect the value of this mean angle to Richardson's traditional theory and find agreement with data from a numerical simulation and a laboratory experiment. While the Richardson's cubic regime has been observed for small initial particle separations only, the constancy of the mean angle manifests throughout the entire inertial range of turbulence. Thus, our work reveals the universal nature of turbulent pair dispersion through a geometrical paradigm whose validity goes beyond the classical theory, and provides a novel framework for understanding and modeling transport and mixing processes.


title: Impact of Symmetry Energy on Sound Speed and Spinodal Decomposition in Dense Neutron-Rich Matter

abstract: Using a meta model for nuclear Equation of State (EOS) with its parameters constrained by astrophysical observations and terrestrial nuclear experiments, we examine effects of nuclear EOS especially its symmetry energy \esym term on the speed of sound squared $C^2_s(\rho)$ and the critical density $\rho_t$ where $C^2_s(\rho_t)$ vanishes (indicating the onset of spinodal decomposition) in both dense neutron-rich nucleonic matter relevant for relativistic heavy-ion collisions and the cold $n+p+e+\mu$ matter in neutron stars at $\beta$-equilibrium. Unlike in nucleonic matter with fixed values of the isospin asymmetry $\delta$, in neutron stars with a density dependent isospin profile $\delta(\rho)$ determined consistently by the $\beta$ equilibrium and charge neutrality conditions, the $C^2_s(\rho)$ almost always show a peak and then vanishes at $\rho_t$. The latter strongly depends on the high-density behavior of \esym if the skewness parameter $J_0$ characterizing the stiffness of high-density symmetric nuclear matter (SNM) EOS is not too far above its currently known most probable value of about $-190$ MeV inferred from recent Bayesian analyses of neutron star observables. Moreover, in the case of having a super-soft \esym that is decreasing with increasing density above about twice the saturation density of nuclear matter, the $\rho_t$ is significantly lower than the density where the \esym vanishes (indicating the onset of isospin-separation instability and pure neutron matter formation) in neutron star cores.


title: PrePARE: Predictive Proprioception for Agile Failure Event Detection in Robotic Exploration of Extreme Terrains

abstract: Legged robots can traverse a wide variety of terrains, some of which may be challenging for wheeled robots, such as stairs or highly uneven surfaces. However, quadruped robots face stability challenges on slippery surfaces. This can be resolved by adjusting the robot's locomotion by switching to more conservative and stable locomotion modes, such as crawl mode (where three feet are in contact with the ground always) or amble mode (where one foot touches down at a time) to prevent potential falls. To tackle these challenges, we propose an approach to learn a model from past robot experience for predictive detection of potential failures. Accordingly, we trigger gait switching merely based on proprioceptive sensory information. To learn this predictive model, we propose a semi-supervised process for detecting and annotating ground truth slip events in two stages: We first detect abnormal occurrences in the time series sequences of the gait data using an unsupervised anomaly detector, and then, the anomalies are verified with expert human knowledge in a replay simulation to assert the event of a slip. These annotated slip events are then used as ground truth examples to train an ensemble decision learner for predicting slip probabilities across terrains for traversability. We analyze our model on data recorded by a legged robot on multiple sites with slippery terrain. We demonstrate that a potential slip event can be predicted up to 720 ms ahead of a potential fall with an average precision greater than 0.95 and an average F-score of 0.82. Finally, we validate our approach in real-time by deploying it on a legged robot and switching its gait mode based on slip event detection.


title: A Multi-View Learning Approach to Enhance Automatic 12-Lead ECG Diagnosis Performance

abstract: The performances of commonly used electrocardiogram (ECG) diagnosis models have recently improved with the introduction of deep learning (DL). However, the impact of various combinations of multiple DL components and/or the role of data augmentation techniques on the diagnosis have not been sufficiently investigated. This study proposes an ensemble-based multi-view learning approach with an ECG augmentation technique to achieve a higher performance than traditional automatic 12-lead ECG diagnosis methods. The data analysis results show that the proposed model reports an F1 score of 0.840, which outperforms existing state-ofthe-art methods in the literature.