title: Effect of the magnetic charge on weak deflection angle and greybody bound of the black hole in Einstein-Gauss-Bonnet gravity

abstract: The objective of this paper is to analyze the weak deflection angle of Einstein-Gauss-Bonnet gravity in the presence of plasma medium. To attain our results, we implement the Gibbons and Werner approach and use the Gauss-Bonnet theorem to Einstein gravity to acquire the resulting deflection angle of photon's ray in the weak field limit. Moreover, we illustrate the behavior of plasma medium and non-plasma mediums on the deflection of photon's ray in the framework of Einstein-Gauss-Bonnet gravity. Similarly, we observe the graphical influences of deflection angle on Einstein-Gauss-Bonnet gravity with the consideration of both plasma and non-plasma mediums. Later, we observe the rigorous bounds phenomenon of the greybody factor in contact with Einstein-Gauss-Bonnet gravity and calculate the outcomes, analyze graphically for specific values of parameters.


title: Enabling Relative Localization for Nanodrone Swarm Platooning

abstract: Nanodrone swarm is formulated by multiple light-weight and low-cost nanodrones to perform the tasks in very challenging environments. Therefore, it is essential to estimate the relative position of nanodrones in the swarm for accurate and safe platooning in inclement indoor environment. However, the vision and infrared sensors are constrained by the line-of-sight perception, and instrumenting extra motion sensors on drone's body is constrained by the nanodrone's form factor and energy-efficiency. This paper presents the design, implementation and evaluation of RFDrone, a system that can sense the relative position of nanodrone in the swarm using wireless signals, which can naturally identify each individual nanodrone. To do so, each light-weight nanodrone is attached with a RF sticker (i.e., called RFID tag), which will be localized by the external RFID reader in the inclement indoor environment. Instead of accurately localizing each RFID-tagged nanodrone, we propose to estimate the relative position of all the RFID-tagged nanodrones in the swarm based on the spatial-temporal phase profiling. We implement an end-to-end physical prototype of RFDrone. Our experimental results show that RFDrone can accurately estimate the relative position of nanodrones in the swarm with average relative localization accuracy of around 0.95 across x, y and z axis, and average accuracy of around 0.93 for nanodrone swarm's geometry estimation.


title: Comparison of classical and path-by-path solutions to SDEs

abstract: We consider the Stochastic Differential Equation $X_t = X_0 + \int_0^t b(s,X_s) ds + B_t$, in $\mathbb{R}^d$. We give an example of a drift $b$ such that there does not exist a weak solution, but there exists a solution for almost every realization of the Brownian motion $B$. We also give an explicit example of a drift such that the SDE has a pathwise unique weak solution, but path-by-path uniqueness (i.e. uniqueness of solutions to the ODE for almost every realization of the Brownian motion) is lost. These counterexamples extend the results obtained in arXiv:2001.02869 to dimension $d=1$.


title: Analytical Benchmark Problems for Multifidelity Optimization Methods

abstract: The paper presents a collection of analytical benchmark problems specifically selected to provide a set of stress tests for the assessment of multifidelity optimization methods. In addition, the paper discusses a comprehensive ensemble of metrics and criteria recommended for the rigorous and meaningful assessment of the performance of multifidelity strategies and algorithms.


title: Alternating Channel Estimation and Prediction for Cell-Free mMIMO with Channel Aging: A Deep Learning Based Scheme

abstract: In large scale dynamic wireless networks, the amount of overhead caused by channel estimation (CE) is becoming one of the main performance bottlenecks. This is due to the large number users whose channels should be estimated, the user mobility, and the rapid channel change caused by the usage of the high-frequency spectrum (e.g. millimeter wave). In this work, we propose a new hybrid channel estimation/prediction (CEP) scheme to reduce overhead in time-division duplex (TDD) wireless cell-free massive multiple-input-multiple-output (mMIMO) systems. The scheme proposes sending a pilot signal from each user only once in a given number (window) of coherence intervals (CIs). Then minimum mean-square error (MMSE) estimation is used to estimate the channel of this CI, while a deep neural network (DNN) is used to predict the channels of the remaining CIs in the window. The DNN exploits the temporal correlation between the consecutive CIs and the received pilot signals to improve the channel prediction accuracy. By doing so, CE overhead is reduced by at least 50 percent at the expense of negligible CE error for practical user mobility settings. Consequently, the proposed CEP scheme improves the spectral efficiency compared to the conventional MMSE CE approach, especially when the number of users is large, which is demonstrated numerically.


title: Gravitational time dilation in extended quantum systems: the case of light clocks in Schwarzschild spacetime

abstract: The precision of optical atomic clocks is approaching a regime where they resolve gravitational time dilation on smaller scales than their own extensions. Hence, an accurate description of quantum clocks has to take their spatial extension into account. In this article, as a first step towards a fully relativistic description of extended quantum clocks, we investigate a quantized version of Einstein's light clock fixed at a constant distance from a large massive object like the Earth. The model consists of a quantum light field in a one-dimensional cavity in Schwarzschild spacetime, where the distance between the mirrors is fixed by a rigid rod. By comparing a vertical and a horizontal clock, we propose an operational way to define the clock time when the clock resolves gravitational time dilation on scales smaller than its extension. In particular, we show that the time measured by the vertical light clock is equivalent to the proper time defined at its center. We also derive fundamental bounds on the precision of these clocks for measurements of proper time and the Schwarzschild radius.


title: On modulus inequality of the order $p$ for the inner dilatation

abstract: The article is devoted to mappings with bounded and finite distortion of plane domains. Our investigations are devoted to the connection between mappings of the Sobolev class and upper bounds for the distortion of the modulus of families of paths. For this class, we have proved the Poletsky-type inequality with respect to the so-called inner dilatation of the order~$p.$ Along the way, we also obtained lower bounds for the modulus distortion under mappings. We separately considered the situations of homeomorphisms and mappings with branch points.


title: Quantum kinetic theory of Jeans instability in non-minimal matter-curvature coupling gravity

abstract: We present a quantum treatment of the Jeans gravitational instability in the Newtonian limit of the non-minimal matter-curvature coupling gravity model. By relying on Wigner functions, allowing for the representation of quantum states in a classical phase space, we formulate a quantum kinetic treatment of this problem, generalizing the classical kinetic approach [C. Gomes, Eur. Phys. J. C 80, 633 (2020)]. This allows us to study the interplay between non-minimal matter-curvature coupling effects, quantum effects, and kinetic (finite-temperature) effects, on the Jeans criterion. We study in detail special cases of the model (general relativity, f(R) theories, pure non-minimal coupling, etc.) and confront the model with the observed stability of Bok globules.


title: Classification of KPI Lumps

abstract: A large family of nonsingular rational solutions of the Kadomtsev-Petviashvili (KP) I equation are investigated. These solutions are constructed via the Gramian method and are identified as points in a complex Grassmannian. Each solution is a traveling wave moving with a uniform background velocity but have multiple peaks which evolve at a slower time scale in the co-moving frame. For large times, these peaks separate and form well-defined wave patterns in the $xy$-plane. The pattern formation are described by the roots of well-known polynomials arising in the study of rational solutions of Painlev\'e II and IV equations. This family of solutions are shown to be described by the classical Schur functions associated with partitions of integers and irreducible representations of the symmetric group of $N$ objects. It is then shown that there exists a one-to-one correspondence between the KPI rational solutions considered in this article and partitions of a positive integer $N$.


title: The minimal sum of squares over partitions with a nonnegative rank

abstract: Motivated by a question of Defant and Propp (2020) regarding the connection between the degrees of noninvertibility of functions and those of their iterates, we address the combinatorial optimization problem of minimizing the sum of squares over partitions of $n$ with a nonnegative rank. Denoting the sequence of the minima by $(m_n)_{n\in\mathbb{N}}$, we prove that $m_n=\Theta\left(n^{4/3}\right)$. Consequently, we improve by a factor of $2$ the lower bound provided by Defant and Propp for iterates of order two.


title: Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System

abstract: Integration of Machine Learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF and AMLAS provide high-level guidance but the details must be chiseled out for each specific case. We initiated a research project with the goal to demonstrate a complete safety case for an ML component in an open automotive system. This paper reports results from an industry-academia collaboration on safety assurance of SMIRK, an ML-based pedestrian automatic emergency braking demonstrator running in an industry-grade simulator. We demonstrate an application of AMLAS on SMIRK for a minimalistic operational design domain, i.e., we share a complete safety case for its integrated ML-based component. Finally, we report lessons learned and provide both SMIRK and the safety case under an open-source licence for the research community to reuse.


title: Station Reallocation and Rebalancing Strategy for Bike-Sharing Systems: A Case Study of Washington DC

abstract: Bike-sharing is becoming increasingly popular as an urban traffic mode while increasing the affordability, flexibility, and reliability of interconnected public transportation systems (i.e., interconnected light rail, buses, micro-mobility, and ride-sharing modes of transportation). From the consumers perspective, 1) finding a bike station in convenient locations where demand usually occurs and 2) the availability of bikes at rush hours with a lesser probability of encountering empty docks (for fixed-station bike-share systems) are two key concerns. Some stations are more likely to be empty or full, reflecting an imbalance in bike supply and demand. Accordingly, it is essential to understand a bike-share system's demand pattern to select the optimal locations and reallocate bikes to the right stations to increase the utilization rate and reduce the number of unserved customers (i.e., potential demand). The Capital Bikeshare in the Washington DC Metropolitan Area is one of the prominent bike-share systems in the USA - with more than 4,300 bikes available at 654 stations across seven jurisdictions. This study provides a systematic analysis of a bike-sharing system's Capital Bikeshare system usage pattern. Our study intends to create an optimization strategy formulated as a deterministic integer programming for reallocating bike stations daily and rebalancing the bike supply system. From an operational perspective, such a strategy will allow overnight preparations to answer the rush-hour morning demand and during special events in Washington D.C.


title: Lodestar: Supporting Independent Learning and Rapid Experimentation Through Data-Driven Analysis Recommendations

abstract: Keeping abreast of current trends, technologies, and best practices in visualization and data analysis is becoming increasingly difficult, especially for fledgling data scientists. In this paper, we propose Lodestar, an interactive computational notebook that allows users to quickly explore and construct new data science workflows by selecting from a list of automated analysis recommendations. We derive our recommendations from directed graphs of known analysis states, with two input sources: one manually curated from online data science tutorials, and another extracted through semi-automatic analysis of a corpus of over 6,000 Jupyter notebooks. We evaluate Lodestar in a formative study guiding our next set of improvements to the tool. Our results suggest that users find Lodestar useful for rapidly creating data science workflows.


title: Assessing Differentially Private Variational Autoencoders under Membership Inference

abstract: We present an approach to quantify and compare the privacy-accuracy trade-off for differentially private Variational Autoencoders. Our work complements previous work in two aspects. First, we evaluate the the strong reconstruction MI attack against Variational Autoencoders under differential privacy. Second, we address the data scientist's challenge of setting privacy parameter epsilon, which steers the differential privacy strength and thus also the privacy-accuracy trade-off. In our experimental study we consider image and time series data, and three local and central differential privacy mechanisms. We find that the privacy-accuracy trade-offs strongly depend on the dataset and model architecture. We do rarely observe favorable privacy-accuracy trade-off for Variational Autoencoders, and identify a case where LDP outperforms CDP.


title: 3D Human Pose Estimation for Free-from and Moving Activities Using WiFi

abstract: This paper presents GoPose, a 3D skeleton-based human pose estimation system that uses WiFi devices at home. Our system leverages the WiFi signals reflected off the human body for 3D pose estimation. In contrast to prior systems that need specialized hardware or dedicated sensors, our system does not require a user to wear or carry any sensors and can reuse the WiFi devices that already exist in a home environment for mass adoption. To realize such a system, we leverage the 2D AoA spectrum of the signals reflected from the human body and the deep learning techniques. In particular, the 2D AoA spectrum is proposed to locate different parts of the human body as well as to enable environment-independent pose estimation. Deep learning is incorporated to model the complex relationship between the 2D AoA spectrums and the 3D skeletons of the human body for pose tracking. Our evaluation results show GoPose achieves around 4.7cm of accuracy under various scenarios including tracking unseen activities and under NLoS scenarios.


title: Polynomial-time Sparse Measure Recovery: From Mean Field Theory to Algorithm Design

abstract: Mean field theory has provided theoretical insights into various algorithms by letting the problem size tend to infinity. We argue that the applications of mean-field theory go beyond theoretical insights as it can inspire the design of practical algorithms. Leveraging mean-field analyses in physics, we propose a novel algorithm for sparse measure recovery. For sparse measures over $\mathbb{R}$, we propose a polynomial-time recovery method from Fourier moments that improves upon convex relaxation methods in a specific parameter regime; then, we demonstrate the application of our results for the optimization of particular two-dimensional, single-layer neural networks in realizable settings.


title: Lower bounds on the Hausdorff dimension of some Julia sets

abstract: We present an algorithm for a rigorous computation of lower bounds on the Hausdorff dimensions of Julia sets for a wide class of holomorphic maps. We apply this algorithm to obtain lower bounds on the Hausdorff dimension of the Julia sets of some infinitely renormalizable real quadratic polynomials, including the Feigenbaum polynomial $p_{\,\mathrm{Feig}}(z)=z^2+c_{\,\mathrm{Feig}}$. In addition to that, we construct a piecewise constant function on $[-2,2]$ that provides rigorous lower bounds for the Hausdorff dimension of the Julia sets of all quadratic polynomials $p_c(z) = z^2+c$ with $c \in [-2,2]$. Finally, we verify the conjecture of Ludwik Jaksztas and Michel Zinsmeister that the Hausdorff dimension of the Julia set of a quadratic polynomial $p_c(z)=z^2+c$, is a $C^1$-smooth function of the real parameter $c$ on the interval $c\in(c_{\,\mathrm{Feig}},-3/4)$.


title: A Family of Neyman-Pearson-Based Detectors for Noise-Type Radars

abstract: We derive a detector that optimizes the target detection performance of any single-input single-output noise radar satisfying the following properties: it transmits Gaussian noise, it retains an internal reference signal for matched filtering, all external noise is additive white Gaussian noise, and all signals are measured using heterodyne receivers. This class of radars, which we call noise-type radars, includes not only many types of standard noise radars, but also a type of quantum radar known as quantum two-mode squeezing radar. The detector, which we derive using the Neyman-Pearson lemma, is not practical because it requires foreknowledge of a target-dependent correlation coefficient that cannot be known beforehand. (It is, however, a natural standard of comparison for other detectors.) This motivates us to study the family of Neyman-Pearson-based detectors that result when the correlation coefficient is treated as a parameter. We derive the probability distribution of the Neyman-Pearson-based detectors when there is a mismatch between the pre-chosen parameter value and the true correlation coefficient. We then use this result to generate receiver operating characteristic curves. Finally, we apply our results to the case where the correlation coefficient is small. It turns out that the resulting detector is not only a good one, but that it has appeared previously in the quantum radar literature.


title: Structured Covariance Matrix Estimation for Noise-Type Radars

abstract: Standard noise radars, as well as noise-type radars such as quantum two-mode squeezing radar, are characterized by a covariance matrix with a very specific structure. This matrix has four independent parameters: the amplitude of the received signal, the amplitude of the internal signal used for matched filtering, the correlation between the two signals, and the relative phase between them. In this paper, we derive estimators for these four parameters using two techniques. The first is based on minimizing the Frobenius norm between the structured covariance matrix and the sample covariance matrix; the second is maximum likelihood parameter estimation. The two techniques yield the same estimators. We then give probability density functions (PDFs) for all four estimators. Because some of these PDFs are quite complicated, we also provide approximate PDFs. Finally, we apply our results to the problem of target detection and derive expressions for the receiver operating characteristic curves of two different noise radar detectors.


title: An Overview of Query Processing on Crowdsourced Databases

abstract: Crowd-sourcing is a powerful solution for finding correct answers to expensive and unanswered queries in databases, including those with uncertain and incomplete data. Attempts to use crowd-sourcing to exploit human abilities to process these expensive queries using human workers have helped to provide accurate results by utilising the available data in the crowd. Crowd-sourcing database systems (CSDBs) combine the knowledge of the crowd with a relational database by using some variant of a relational database with minor changes. This paper surveys the leading studies conducted in the area of query processing with regard to both traditional and preference queries in CSDBs. The focus of this work is on highlighting the strengths and the weakness of each approach. A detailed discussion of current and future trends research associated with query processing in the area of CSDBs is also presented.


title: The Poisson algorithm: a simple method to simulate stochastic epidemic models with generally distributed residence times

abstract: Epidemic models are used to analyze the progression or outcome of an epidemic under different control policies like vaccinations, quarantines, lockdowns, use of face-masks, pharmaceutical interventions, etc. When these models accurately represent real-life situations, they may become an important tool in the decision-making process. Among these models, compartmental models are very popular and assume individuals move along a series of compartments that describe their current health status. Nevertheless, these models are mostly Markovian, that is, the time in each compartment follows an exponential distribution. In epidemic models, exponential sojourn times are most of the times unrealistic, for instance, they imply that the probability that a patient will recover from some disease in the next time unit is independent of the time the patient has been sick. This is an important restriction that prevents these models from being widely accepted and trusted by decision-makers. In spite of the need to incorporate algorithms to tackle the problem, literature on the topic is scarce. Here, we introduce a novel approach to simulate general stochastic epidemic models that accepts any distribution for the sojourn times that is efficient.


title: On the principal minors of the powers of a matrix

abstract: We show that if $A$ is an $n\times n$-matrix, then the diagonal entries of each power $A^{m}$ are uniquely determined by the principal minors of $A$, and can be written as universal (integral) polynomials in the latter. Furthermore, if the latter all equal $1$, then so do the former. These results are inspired by Problem B5 on the Putnam contest 2021, and shed a new light on the behavior of minors under matrix multiplication.


title: Gender-Wise Perception of Students Towards Blended Learning in Higher Education: Pakistan

abstract: Blended learning (BL) is a recent tread among many options that can best fit learners' needs, regardless of time and place. This study aimed to discover students' perceptions of BL and the challenges faced by them while using technology. This quantitative study used data gathered from 300 students enrolled in four public universities in the Sindh province of Pakistan. the finding shows that students were compatible with the use of technology, and it has a positive effect on their academic experience. The study also showed that the use of technology encourages peer collaboration. The challenges found include: neither teacher support nor a training program was provided to the students for the course which needed to shift from a traditional face to face paradigm to a blended format, a lake of space lies with skills in a laboratory assistants for the courses with a blended format and as shortage of high tech computer laboratories / computer units to run these courses. Therefore, it is recommended that the authorities must develop and incorporate a comprehensive mechanism for the effective implementation of BL in the learning teaching-learning process heads of the departments should also provide additional computing infrastructure to their departments.


title: Mapping LiDAR and Camera Measurements in a Dual Top-View Grid Representation Tailored for Automated Vehicles

abstract: We present a generic evidential grid mapping pipeline designed for imaging sensors such as LiDARs and cameras. Our grid-based evidential model contains semantic estimates for cell occupancy and ground separately. We specify the estimation steps for input data represented by point sets, but mainly focus on input data represented by images such as disparity maps or LiDAR range images. Instead of relying on an external ground segmentation only, we deduce occupancy evidence by analyzing the surface orientation around measurements. We conduct experiments and evaluate the presented method using LiDAR and stereo camera data recorded in real traffic scenarios. Our method estimates cell occupancy robustly and with a high level of detail while maximizing efficiency and minimizing the dependency to external processing modules.


title: AI, Ageing and Brain-Work Productivity: Technological Change in Professional Japanese Chess

abstract: Using Japanese professional chess (Shogi) players records in the novel setting, this paper examines how and the extent to which the emergence of technological changes influences the ageing and innate ability of players winning probability. We gathered games of professional Shogi players from 1968 to 2019. The major findings are: (1) diffusion of artificial intelligence (AI) reduces innate ability, which reduces the performance gap among same-age players; (2) players winning rates declined consistently from 20 years and as they get older; (3) AI accelerated the ageing declination of the probability of winning, which increased the performance gap among different aged players; (4) the effects of AI on the ageing declination and the probability of winning are observed for high innate skill players but not for low innate skill ones. This implies that the diffusion of AI hastens players retirement from active play, especially for those with high innate abilities. Thus, AI is a substitute for innate ability in brain-work productivity.


title: SymForce: Symbolic Computation and Code Generation for Robotics

abstract: We present SymForce, a library for fast symbolic computation, code generation, and nonlinear optimization for robotics applications like computer vision, motion planning, and controls. SymForce combines the development speed and flexibility of symbolic math with the performance of autogenerated, highly optimized code in C++ or any target runtime language. SymForce provides geometry and camera types, Lie group operations, and branchless singularity handling for creating and analyzing complex symbolic expressions in Python, built on top of SymPy. Generated functions can be integrated as factors into our tangent-space nonlinear optimizer, which is highly optimized for real-time production use. We introduce novel methods to automatically compute tangent-space Jacobians, eliminating the need for bug-prone handwritten derivatives. This workflow enables faster runtime code, faster development time, and fewer lines of handwritten code versus the state-of-the-art. Our experiments demonstrate that our approach can yield order of magnitude speedups on computational tasks core to robotics. Code is available at https://github.com/symforce-org/symforce.


title: Modeling Complex Interactions in a Disrupted Environment: Relational Events in the WTC Response

abstract: When subjected to a sudden, unanticipated threat, human groups characteristically self-organize to identify the threat, determine potential responses, and act to reduce its impact. Central to this process is the challenge of coordinating information sharing and response activity within a disrupted environment. In this paper, we consider coordination in the context of responses to the 2001 World Trade Center disaster. Using records of communications among 17 organizational units, we examine the mechanisms driving communication dynamics, with an emphasis on the emergence of coordinating roles. We employ relational event models (REMs) to identify the mechanisms shaping communications in each unit, finding a consistent pattern of behavior across units with very different characteristics. Using a simulation-based "knock-out" study, we also probe the importance of different mechanisms for hub formation. Our results suggest that, while preferential attachment and pre-disaster role structure generally contribute to the emergence of hub structure, temporally local conversational norms play a much larger role. We discuss broader implications for the role of microdynamics in driving macroscopic outcomes, and for the emergence of coordination in other settings.


title: Bad Weather, Social Network, and Internal Migration; Case of Japanese Sumo Wrestlers 1946-1985

abstract: Post-World War II , there was massive internal migration from rural to urban areas in Japan. The location of Sumo stables was concentrated in Tokyo. Hence, supply of Sumo wrestlers from rural areas to Tokyo was considered as migration. Using a panel dataset covering forty years, specifically 1946-1985, this study investigates how weather conditions and social networks influenced the labor supply of Sumo wrestlers. Major findings are; (1) inclemency of the weather in local areas increased supply of Sumo wrestlers in the period 1946-1965, (2) the effect of the bad weather conditions is greater in the locality where large number of Sumo wrestlers were supplied in the pre-war period, (3) neither the occurrence of bad weather conditions nor their interactions with sumo-wrestlers influenced the supply of Sumo wrestlers in the period 1966-1985. These findings imply that the negative shock of bad weather conditions on agriculture in the rural areas incentivized young individuals to be apprenticed in Sumo stables in Tokyo. Additionally, in such situations, the social networks within Sumo wrestler communities from the same locality are important. However, once the share of workers in agricultural sectors became very low, this mechanism did not work.


title: Video Action Detection: Analysing Limitations and Challenges

abstract: Beyond possessing large enough size to feed data hungry machines (eg, transformers), what attributes measure the quality of a dataset? Assuming that the definitions of such attributes do exist, how do we quantify among their relative existences? Our work attempts to explore these questions for video action detection. The task aims to spatio-temporally localize an actor and assign a relevant action class. We first analyze the existing datasets on video action detection and discuss their limitations. Next, we propose a new dataset, Multi Actor Multi Action (MAMA) which overcomes these limitations and is more suitable for real world applications. In addition, we perform a biasness study which analyzes a key property differentiating videos from static images: the temporal aspect. This reveals if the actions in these datasets really need the motion information of an actor, or whether they predict the occurrence of an action even by looking at a single frame. Finally, we investigate the widely held assumptions on the importance of temporal ordering: is temporal ordering important for detecting these actions? Such extreme experiments show existence of biases which have managed to creep into existing methods inspite of careful modeling.


title: On Reporting Performance and Accuracy Bugs for Deep Learning Frameworks: An Exploratory Study from GitHub

abstract: The tremendous success of Deep Learning (DL) has significantly boosted the number of open-sourced DL frameworks hosted on GitHub. Among others, performance and accuracy bugs are critical factors that affect the reputation of these DL frameworks, therefore understanding the practice of discovering and investigating them for DL is important. In this paper, we conduct an exploratory study on the nature of reporting performance and accuracy bugs bugs for DL frameworks, aiming to improve our knowledge on this topic. Our study covers 10 most popular open-sourced DL frameworks on GitHub (e.g., TensorFlow, Keras, and PyTorch), based on which we sample 664 representative performance and accuracy bugs bug reports out of a total population of 22,522. Through systematic analysis of these samples, our key findings are: (1) low speed is the primary reason that a performance bug related report is submitted but we see no consistent pattern for accuracy related ones; (2) most of the reports are about issues encountered in the training stage; (3) only a small proportion of the reports provide insufficient information to investigate; (4) the majority of the performance and accuracy bugs bug reports (from 69% to 100%) are not related to the actual bug or regarded as unclassified; (5) around 50% of the performance and accuracy bug reports, which indeed reveal bugs, are not resolved by direct patches. Deriving from the above, we discuss a set of actionable implications to the researchers, maintainers, and report submitters on this subject. To promote open science, the labeled dataset has been made publicly available at https://tinyurl.com/4x3tap9w.


title: Spatial Channel Covariance Estimation and Two-Timescale Beamforming for IRS-Assisted Millimeter Wave Systems

abstract: We consider the problem of spatial channel covariance matrix (CCM) estimation for intelligent reflecting surface (IRS)-assisted millimeter wave (mmWave) communication systems. Spatial CCM is essential for two-timescale beamforming in IRS-assisted systems; however, estimating the spatial CCM is challenging due to the passive nature of reflecting elements and the large size of the CCM resulting from massive reflecting elements of the IRS. In this paper, we propose a CCM estimation method by exploiting the low-rankness as well as the positive semi-definite (PSD) 3-level Toeplitz structure of the CCM. Estimation of the CCM is formulated as a semidefinite programming (SDP) problem and an alternating direction method of multipliers (ADMM) algorithm is developed. Our analysis shows that the proposed method is theoretically guaranteed to attain a reliable CCM estimate with a sample complexity much smaller than the dimension of the CCM. Thus the proposed method can help achieve a significant training overhead reduction. Simulation results are presented to illustrate the effectiveness of our proposed method and the performance of two-timescale beamforming scheme based on the estimated CCM.


title: New conforming finite element divdiv complexes in three dimensions

abstract: In this paper, the first family of conforming finite element divdiv complexes on cuboid grids in three dimensions is constructed. Besides, a new family of conforming finite element divdiv complexes with enhanced smoothness on tetrahedral grids is presented. These complexes are exact in the sense that the range of each discrete map is the kernel space of the succeeding one.


title: Generic regularity of Level Set Flows with spherical singularity

abstract: The sphere is well-known as the only generic compact shrinker for mean curvature flow (MCF). In this paper, we characterize the generic dynamics of MCFs with a spherical singularity. In terms of the level set flow formulation of MCF, we establish that generically the arrival time function of level set flow with spherical singularity has at most $C^2$ regularity.


title: Making Hidden Bias Visible: Designing a Feedback Ecosystem for Primary Care Providers

abstract: Implicit bias may perpetuate healthcare disparities for marginalized patient populations. Such bias is expressed in communication between patients and their providers. We design an ecosystem with guidance from providers to make this bias explicit in patient-provider communication. Our end users are providers seeking to improve their quality of care for patients who are Black, Indigenous, People of Color (BIPOC) and/or Lesbian, Gay, Bisexual, Transgender, and Queer (LGBTQ). We present wireframes displaying communication metrics that negatively impact patient-centered care divided into the following categories: digital nudge, dashboard, and guided reflection. Our wireframes provide quantitative, real-time, and conversational feedback promoting provider reflection on their interactions with patients. This is the first design iteration toward the development of a tool to raise providers' awareness of their own implicit biases.


title: Primordial black holes and dark matter mass spectrum

abstract: Because primordial black holes (PBHs) evaporate into all particle species in nature, PBHs may emit several dark matter (DM) particle species with specific mass spectra. We assume that PBHs are the only source of DMs, and DMs only interact with the standard model particles gravitationally. We show a relation between the number of DM particle species $N_{\rm DM}$ and initial PBH density $\beta$ and mass $M_{\rm BH}^{\rm in}$. $\beta$-$M_{\rm BH}^{\rm in}$ curves for different $N_{\rm DM}$ tend to overlap with each other for heavy initial PBHs. We also show that the allowed region of DM masses for multiple DM.


title: QTBIPOC PD: Exploring the Intersections of Race, Gender, and Sexual Orientation in Participatory Design

abstract: As Human-Computer Interaction (HCI) research aims to be inclusive and representative of many marginalized identities, there is still a lack of available literature and research on intersectional considerations of race, gender, and sexual orientation, especially when it comes to participatory design. We aim to create a space to generate community recommendations for effectively and appropriately engaging Queer, Transgender, Black, Indigenous, People of Color (QTBIPOC) populations in participatory design, and discuss methods of dissemination for recommendations. Workshop participants will engage with critical race theory, queer theory, and feminist theory to reflect on current exclusionary HCI and participatory design methods and practices.


title: Using HCI to Tackle Race and Gender Bias in ADHD Diagnosis

abstract: Attention Deficit Hyperactivity Disorder (ADHD) is a behavioral disorder that impacts an individual's education, relationships, career, and ability to acquire fair and just police interrogations. Yet, traditional methods used to diagnose ADHD in children and adults are known to have racial and gender bias. In recent years, diagnostic technology has been studied by both HCI and ML researchers. However, these studies fail to take into consideration racial and gender stereotypes that may impact the accuracy of their results. We highlight the importance of taking race and gender into consideration when creating diagnostic technology for ADHD and provide HCI researchers with suggestions for future studies.


title: Magnetic dynamos in white dwarfs -III: explaining the occurrence of strong magnetic fields in close double white dwarfs

abstract: The origin of strong magnetic fields in white dwarfs has been a puzzle for decades. Recently, a dynamo mechanism operating in rapidly rotating and crystallizing white dwarfs has been suggested to explain the occurrence rates of strong magnetic fields in white dwarfs with close low-mass main sequence star companions. Here we investigate whether the same mechanism may produce strong magnetic fields in close double white dwarfs. The only known strongly magnetic white dwarf that is part of a close double white dwarf system, the magnetic component of NLTT 12758, is rapidly rotating and likely crystallizing and therefore the proposed dynamo mechanism represents an excellent scenario for the origin of its magnetic field. Presenting a revised formation scenario for NLTT 12758, we find a natural explanation for the rapid rotation of the magnetic component. We furthermore show that it is not surprising that strong magnetic fields have not been detected in all other known double white dwarfs. We therefore conclude that the incidence of magnetic fields in close double white dwarfs supports the idea that a rotation and crystallization driven dynamo plays a major role in the generation of strong magnetic fields in white dwarfs.


title: Dirac series of $E_{7(-25)}$

abstract: By further sharpening the Helgason-Johnson bound in 1969, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology of the Hermitian symmetric real form $E_{7(-25)}$.


title: Comment on "The statistics wars and intellectual conflicts of interest" by D. Mayo

abstract: While P-values are widely abused, they are a useful tool for many purposes; banning them is analogous to banning scalpels because most people do not know how to perform surgery. Many reported P-values are not genuine P-values, for a variety of reasons. Perhaps the most widespread and pernicious problem is the Type III error of testing a statistical hypothesis that has little or no connection to the scientific hypothesis.


title: Turing's cascade instability supports the coordination of the mind, brain, and behavior

abstract: Turing inspired a computer metaphor of the mind and brain that has been handy and has spawned decades of empirical investigation, but he did much more and offered behavioral and cognitive sciences another metaphor--that of the cascade. The time has come to confront Turing's cascading instability, which suggests a geometrical framework driven by power laws and can be studied using multifractal formalism and multiscale probability density function analysis. Here, we review a rapidly growing body of scientific investigations revealing signatures of cascade instability and their consequences for a perceiving, acting, and thinking organism. We review work related to executive functioning (planning to act), postural control (bodily poise for turning plans into action), and effortful perception (action to gather information in a single modality and action to blend multimodal information). We also review findings on neuronal avalanches in the brain, specifically about neural participation in body-wide cascades. Turing's cascade instability blends the mind, brain, and behavior across space and time scales and provides an alternative to the dominant computer metaphor.


title: Probabilistic Charging Power Forecast of EVCS: Reinforcement Learning Assisted Deep Learning Approach

abstract: The electric vehicle (EV) and electric vehicle charging station (EVCS) have been widely deployed with the development of large-scale transportation electrifications. However, since charging behaviors of EVs show large uncertainties, the forecasting of EVCS charging power is non-trivial. This paper tackles this issue by proposing a reinforcement learning assisted deep learning framework for the probabilistic EVCS charging power forecasting to capture its uncertainties. Since the EVCS charging power data are not standard time-series data like electricity load, they are first converted to the time-series format. On this basis, one of the most popular deep learning models, the long short-term memory (LSTM) is used and trained to obtain the point forecast of EVCS charging power. To further capture the forecast uncertainty, a Markov decision process (MDP) is employed to model the change of LSTM cell states, which is solved by our proposed adaptive exploration proximal policy optimization (AePPO) algorithm based on reinforcement learning. Finally, experiments are carried out on the real EVCSs charging data from Caltech, and Jet Propulsion Laboratory, USA, respectively. The results and comparative analysis verify the effectiveness and outperformance of our proposed framework.


title: A bijection between the sets of $(a,b,b^2)$-Generalized Motzkin paths avoiding $\mathbf{uvv}$-patterns and $\mathbf{uvu}$-patterns

abstract: A generalized Motzkin path, called G-Motzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOY-plane that consists of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. An $(a,b,c)$-G-Motzkin path is a weighted G-Motzkin path such that the $\mathbf{u}$-steps, $\mathbf{h}$-steps, $\mathbf{v}$-steps and $\mathbf{d}$-steps are weighted respectively by $1, a, b$ and $c$. Let $\tau$ be a word on $\{\mathbf{u}, \mathbf{d}, \mathbf{v}, \mathbf{d}\}$, denoted by $\mathcal{G}_n^{\tau}(a,b,c)$ the set of $\tau$-avoiding $(a,b,c)$-G-Motzkin paths of length $n$ for a pattern $\tau$. In this paper, we consider the $\mathbf{uvv}$-avoiding $(a,b,c)$-G-Motzkin paths and provide a direct bijection $\sigma$ between $\mathcal{G}_n^{\mathbf{uvv}}(a,b,b^2)$ and $\mathcal{G}_n^{\mathbf{uvu}}(a,b,b^2)$. Finally, the set of fixed points of $\sigma$ is also described and counted.


title: Just Identified Indirect Inference Estimator: Accurate Inference through Bias Correction

abstract: An important challenge in statistical analysis lies in controlling the estimation bias when handling the ever-increasing data size and model complexity of modern data settings. In this paper, we propose a reliable estimation and inference approach for parametric models based on the Just Identified iNdirect Inference estimator (JINI). The key advantage of our approach is that it allows to construct a consistent estimator in a simple manner, while providing strong bias correction guarantees that lead to accurate inference. Our approach is particularly useful for complex parametric models, as it allows to bypass the analytical and computational difficulties (e.g., due to intractable estimating equation) typically encountered in standard procedures. The properties of JINI (including consistency, asymptotic normality, and its bias correction property) are also studied when the parameter dimension is allowed to diverge, which provide the theoretical foundation to explain the advantageous performance of JINI in increasing dimensional covariates settings. Our simulations and an alcohol consumption data analysis highlight the practical usefulness and excellent performance of JINI when data present features (e.g., misclassification, rounding) as well as in robust estimation.


title: MST++: Multi-stage Spectral-wise Transformer for Efficient Spectral Reconstruction

abstract: Existing leading methods for spectral reconstruction (SR) focus on designing deeper or wider convolutional neural networks (CNNs) to learn the end-to-end mapping from the RGB image to its hyperspectral image (HSI). These CNN-based methods achieve impressive restoration performance while showing limitations in capturing the long-range dependencies and self-similarity prior. To cope with this problem, we propose a novel Transformer-based method, Multi-stage Spectral-wise Transformer (MST++), for efficient spectral reconstruction. In particular, we employ Spectral-wise Multi-head Self-attention (S-MSA) that is based on the HSI spatially sparse while spectrally self-similar nature to compose the basic unit, Spectral-wise Attention Block (SAB). Then SABs build up Single-stage Spectral-wise Transformer (SST) that exploits a U-shaped structure to extract multi-resolution contextual information. Finally, our MST++, cascaded by several SSTs, progressively improves the reconstruction quality from coarse to fine. Comprehensive experiments show that our MST++ significantly outperforms other state-of-the-art methods. In the NTIRE 2022 Spectral Reconstruction Challenge, our approach won the First place. Code and pre-trained models are publicly available at https://github.com/caiyuanhao1998/MST-plus-plus.


title: Quantifiable Assurance: From IPs to Platforms

abstract: Hardware vulnerabilities are generally considered more difficult to fix than software ones because they are persistent after fabrication. Thus, it is crucial to assess the security and fix the vulnerabilities at earlier design phases, such as Register Transfer Level (RTL) and gate level. The focus of the existing security assessment techniques is mainly twofold. First, they check the security of Intellectual Property (IP) blocks separately. Second, they aim to assess the security against individual threats considering the threats are orthogonal. We argue that IP-level security assessment is not sufficient. Eventually, the IPs are placed in a platform, such as a system-on-chip (SoC), where each IP is surrounded by other IPs connected through glue logic and shared/private buses. Hence, we must develop a methodology to assess the platform-level security by considering both the IP-level security and the impact of the additional parameters introduced during platform integration. Another important factor to consider is that the threats are not always orthogonal. Improving security against one threat may affect the security against other threats. Hence, to build a secure platform, we must first answer the following questions: What additional parameters are introduced during the platform integration? How do we define and characterize the impact of these parameters on security? How do the mitigation techniques of one threat impact others? This paper aims to answer these important questions and proposes techniques for quantifiable assurance by quantitatively estimating and measuring the security of a platform at the pre-silicon stages. We also touch upon the term security optimization and present the challenges for future research directions.


title: Possible structural and bond reconstruction in 2D ferromagnetic semiconductor VSe2 under uniaxial stress

abstract: 2D semiconducting transition metal dichalcogenides have been used to make high-performance electronic, spintronic, and optoelectronic devices. Recently, room-temperature ferromagnetism and semiconducting property were found in 2D VSe$_2$ nanoflakes (mechanically exfoliated onto silicon substrates capped with a oxide layer) and are attributed to the stable 2H-phase of VSe$_2$ in the 2D limit. Here, our first-principles investigation show that a metastable semiconducting H' phase can be formed from the H VSe2 monolayer and some other similar when these 2D H-phase materials are under uniaxial stress or uniaxial strain. For the uniaxial stress (uniaxial strain) scheme, the H' phase will become lower in total energy than the H phase at the transition point. The calculated phonon spectra indicate the dynamical stability of the H' structures of VSe$_2$, VS$_2$, and CrS$_2$, and the path of phase switching between the H and H' VSe$_2$ phases is calculated. For VSe$_2$, the H' phase has stronger ferromagnetism and its Currier temperature can be substantially enhanced by applying uniaxial stress or strain. Spin-resolved electronic structures, energy band edges, and effective carrier masses for both of the H and H' phases can be substantially changed by the applied uniaxial stress or strain, leading to huge effective masses near the band edge of the strained H' phase. Analysis indicated that the largest bond length difference between the H' and H phases can reach -19\% for the Se3-Se3' bond, and there is noticeable covalence for the Se3-Se3' bond, which switches the valence of the nearby V atoms, leading to the enhanced ferromagnetism. Therefore, structural and bond reconstruction can be realized by applying uniaxial stress in 2D ferromagnetic H VSe$_2$ and some other similar. These can be useful to seeking more insights and phenomena in such 2D materials for potential applications.


title: A Distributed Online Algorithm for Promoting Energy Sharing Between EV Charging Stations

abstract: In recent years, electric vehicle (EV) charging station has experienced an increasing supply-demand mismatch due to its fluctuating renewables and unpredictable charging demand. To reduce its operating cost, this paper proposes a distributed online algorithm to promote the energy sharing between charging stations. We begin with the offline and centralized version of the EV charging stations operation problem, whose objective is to minimize the long-term time-average total cost. Then, we develop an online implementation approach based on the Lyapunov optimization framework. Although the proposed online algorithm runs in a prediction-free manner, we prove that by properly choosing the parameters, the time-coupling constraints remain to be satisfied. We also provide a theoretical bound for the optimality gap between the offline and online optimums. Furthermore, an improved alternating direction method of multipliers (ADMM) algorithm with iteration truncation is proposed to enable distributed computation. The proposed algorithm can protect privacy while being suitable for online implementation. Case studies validate the effectiveness of the theoretical results. Comprehensive performance comparisons are carried out to demonstrate the advantages of the proposed method.


title: Nonlinear study of local ballooning mode near the separatrix

abstract: Small edge-localized-mode (ELM), similar to the quasi-continuous exhaust (QCE), has been achieved by increasing the density at the separatrix. Starting from the Type-I ELM experimental data in EAST, we have performed a numerical separatrix density scan to study the formation of the small ELM using BOUT++ 6-field 2-fluid module. In the high separatrix density case, localized collapse near the separatrix has been found. The corresponding ELM size, dominant mode number, and filament transport match the experimental observations of the QCE. Local ballooning mode near separatrix has been identified in the nonlinear simulation. The mode is driven by the local pressure gradient and the mode structure is constrained by the ExB shear.


title: A Survivor in the Era of Large-Scale Pretraining: An Empirical Study of One-Stage Referring Expression Comprehension

abstract: Most of the existing work in one-stage referring expression comprehension (REC) mainly focuses on multi-modal fusion and reasoning, while the influence of other factors in this task lacks in-depth exploration. To fill this gap, we conduct an empirical study in this paper. Concretely, we first build a very simple REC network called SimREC, and ablate 42 candidate designs/settings, which covers the entire process of one-stage REC from network design to model training. Afterwards, we conduct over 100 experimental trials on three benchmark datasets of REC. The extensive experimental results not only show the key factors that affect REC performance in addition to multi-modal fusion, e.g., multi-scale features and data augmentation, but also yield some findings that run counter to conventional understanding. For example, as a vision and language (V&L) task, REC does is less impacted by language prior. In addition, with a proper combination of these findings, we can improve the performance of SimREC by a large margin, e.g., +27.12% on RefCOCO+, which outperforms all existing REC methods. But the most encouraging finding is that with much less training overhead and parameters, SimREC can still achieve better performance than a set of large-scale pre-trained models, e.g., UNITER and VILLA, portraying the special role of REC in existing V&L research.


title: Constrained optimal stopping under a regime-switching model

abstract: We investigate an optimal stopping problem for the expected value of a discounted payoff on a regime-switching geometric Brownian motion under two constraints on the possible stopping times: only at exogenous random times and only during a specific regime. The main objectives are to show that an optimal stopping time exists as a threshold type under some boundary conditions and to derive expressions of the value functions and the optimal threshold. To this end, we solve the corresponding variational inequality and show that its solution coincides with the value functions. Some numerical results are also introduced. Furthermore, we investigate some asymptotic behaviors.


title: Backward-Angle ($u$-channel) Production at an Electron-Ion Collider

abstract: In backward photoproduction of mesons, $\gamma p\rightarrow M p$, the target proton takes most of the photon momentum, while the produced meson recoils in the direction from which the photon came. Thus the Mandelstam $u$ is small, while the squared momentum transfer $t$ is typically large, near the kinematic limit. In a collider geometry, backward production transfers the struck baryon by many units of rapidity, in a striking similarity to baryon stopping. We explore this similarity, and point out the similarities between the Regge theories used to model baryon stopping with those that are used for backward production. We then explore how backward production can be explored at higher energies than are available at fixed target experiments, by studying production at an electron-ion collider. We calculate the expected $ep$ cross sections and rates, finding that the rate for backward $\omega$ production is about 1/300 that of forward $\omega$s. We discuss the kinematics of backward production and consider the detector requirements for experimental study.


title: On representing the degree sequences of sublogarithmic-degree Wheeler graphs

abstract: We show how to store a searchable partial-sums data structure with constant query time for a static sequence $S$ of $n$ positive integers in $o \left( \frac{\log n}{(\log \log n)^2} \right)$, in $n H_k (S) + o (n)$ bits for $k \in o \left( \frac{\log n}{(\log \log n)^2} \right)$. It follows that if a Wheeler graph on $n$ vertices has maximum degree in $o \left( \frac{\log n}{(\log \log n)^2} \right)$, then we can store its in- and out-degree sequences $\Din$ and $\Dout$ in $n H_k (\Din) + o (n)$ and $n H_k (\Dout) + o (n)$ bits, for $k \in o \left( \frac{\log n}{(\log \log n)^2} \right)$, such that querying them for pattern matching in the graph takes constant time.


title: First and second derivative H\"older estimates for generated Jacobian equations

abstract: We prove two H\"older regularity results for solutions of generated Jacobian equations. First, that under the A3 condition and the assumption of nonnegative $L^p$ valued data solutions are $C^{1,\alpha}$ for an $\alpha$ that is sharp. Then, under the additional assumption of positive Dini continuous data, we prove a $C^{2}$ estimate. Thus the equation is uniformly elliptic and when the data is H\"older continuous solutions are in $C^{2,\alpha}$.


title: Convergence analysis of a two-grid method for nonsymmetric positive definite problems

abstract: Multigrid is a powerful solver for large-scale linear systems arising from discretized partial differential equations. The convergence theory of multigrid methods for symmetric positive definite problems has been well developed over the past decades, while, for nonsymmetric problems, such theory is still not mature. As a foundation for multigrid analysis, two-grid convergence theory plays an important role in motivating multigrid algorithms. Regarding two-grid methods for nonsymmetric problems, most previous works focus on the spectral radius of iteration matrix or rely on convergence measures that are typically difficult to compute in practice. Moreover, the existing results are confined to two-grid methods with exact solution of the coarse-grid system. In this paper, we analyze the convergence of a two-grid method for nonsymmetric positive definite problems (e.g., linear systems arising from the discretizations of convection-diffusion equations). In the case of exact coarse solver, we establish an elegant identity for characterizing two-grid convergence factor, which is measured by a smoother-induced norm. The identity can be conveniently used to derive a class of optimal restriction operators and analyze how the convergence factor is influenced by restriction. More generally, we present some convergence estimates for an inexact variant of the two-grid method, in which both linear and nonlinear coarse solvers are considered.


title: Cognitive Architecture for Decision-Making Based on Brain Principles Programming

abstract: We describe a cognitive architecture intended to solve a wide range of problems based on the five identified principles of brain activity, with their implementation in three subsystems: logical-probabilistic inference, probabilistic formal concepts, and functional systems theory. Building an architecture involves the implementation of a task-driven approach that allows defining the target functions of applied applications as tasks formulated in terms of the operating environment corresponding to the task, expressed in the applied ontology. We provide a basic ontology for a number of practical applications as well as for the subject domain ontologies based upon it, describe the proposed architecture, and give possible examples of the execution of these applications in this architecture.


title: Axion-Like Particle Interpretation of Dark Matter and Muon $(g-2)$

abstract: We investigate the dark matter (DM) phenomenology of axion-like particles (ALP) along with the ALP interpretation of muon $(g-2)$ in a minimal extension of the Standard Model (SM). Here we have considered flavor dependent ALP couplings with SM leptons to study the allowed region of parameter space from the muon $(g-2)$ measurement, taking into account all possible one and two loop diagrams. We have found that in a certain region of parameter space ALP can act as a DM, satisfying the constraint from muon $(g-2)$ and other experimental bounds. From our relic density calculation, we can infer that the ALP can act as a DM candidate in the mass range between ${55\rm MeV}$ to $100 {\rm MeV}$ while satisfying muon $(g-2)$ observation and other experimental constraints.


title: Fast Multi-grid Methods for Minimizing Curvature Energy

abstract: The geometric high-order regularization methods such as mean curvature and Gaussian curvature, have been intensively studied during the last decades due to their abilities in preserving geometric properties including image edges, corners, and contrast. However, the dilemma between restoration quality and computational efficiency is an essential roadblock for high-order methods. In this paper, we propose fast multi-grid algorithms for minimizing both mean curvature and Gaussian curvature energy functionals without sacrificing accuracy for efficiency. Unlike the existing approaches based on operator splitting and the Augmented Lagrangian method (ALM), no artificial parameters are introduced in our formulation, which guarantees the robustness of the proposed algorithm. Meanwhile, we adopt the domain decomposition method to promote parallel computing and use the fine-to-coarse structure to accelerate convergence. Numerical experiments are presented on image denoising, CT, and MRI reconstruction problems to demonstrate the superiority of our method in preserving geometric structures and fine details. The proposed method is also shown effective in dealing with large-scale image processing problems by recovering an image of size $1024\times 1024$ within $40$s, while the ALM method requires around $200$s.


title: A Survey on Efficient Processing of Similarity Queries over Neural Embeddings

abstract: Similarity query is the family of queries based on some similarity metrics. Unlike the traditional database queries which are mostly based on value equality, similarity queries aim to find targets "similar enough to" the given data objects, depending on some similarity metric, e.g., Euclidean distance, cosine similarity and so on. To measure the similarity between data objects, traditional methods normally work on low level or syntax features(e.g., basic visual features on images or bag-of-word features of text), which makes them weak to compute the semantic similarities between objects. So for measuring data similarities semantically, neural embedding is applied. Embedding techniques work by representing the raw data objects as vectors (so called "embeddings" or "neural embeddings" since they are mostly generated by neural network models) that expose the hidden semantics of the raw data, based on which embeddings do show outstanding effectiveness on capturing data similarities, making it one of the most widely used and studied techniques in the state-of-the-art similarity query processing research. But there are still many open challenges on the efficiency of embedding based similarity query processing, which are not so well-studied as the effectiveness. In this survey, we first provide an overview of the "similarity query" and "similarity query processing" problems. Then we talk about recent approaches on designing the indexes and operators for highly efficient similarity query processing on top of embeddings (or more generally, high dimensional data). Finally, we investigate the specific solutions with and without using embeddings in selected application domains of similarity queries, including entity resolution and information retrieval. By comparing the solutions, we show how neural embeddings benefit those applications.


title: Accelerated MRI With Deep Linear Convolutional Transform Learning

abstract: Recent studies show that deep learning (DL) based MRI reconstruction outperforms conventional methods, such as parallel imaging and compressed sensing (CS), in multiple applications. Unlike CS that is typically implemented with pre-determined linear representations for regularization, DL inherently uses a non-linear representation learned from a large database. Another line of work uses transform learning (TL) to bridge the gap between these two approaches by learning linear representations from data. In this work, we combine ideas from CS, TL and DL reconstructions to learn deep linear convolutional transforms as part of an algorithm unrolling approach. Using end-to-end training, our results show that the proposed technique can reconstruct MR images to a level comparable to DL methods, while supporting uniform undersampling patterns unlike conventional CS methods. Our proposed method relies on convex sparse image reconstruction with linear representation at inference time, which may be beneficial for characterizing robustness, stability and generalizability.

categories: eess.IV cs.CV cs.LG eess.SP physics.med-ph


title: StyleT2F: Generating Human Faces from Textual Description Using StyleGAN2

abstract: AI-driven image generation has improved significantly in recent years. Generative adversarial networks (GANs), like StyleGAN, are able to generate high-quality realistic data and have artistic control over the output, as well. In this work, we present StyleT2F, a method of controlling the output of StyleGAN2 using text, in order to be able to generate a detailed human face from textual description. We utilize StyleGAN's latent space to manipulate different facial features and conditionally sample the required latent code, which embeds the facial features mentioned in the input text. Our method proves to capture the required features correctly and shows consistency between the input text and the output images. Moreover, our method guarantees disentanglement on manipulating a wide range of facial features that sufficiently describes a human face.


title: Josephson-like oscillations in toroidal spinor Bose-Einstein condensates: a prospective symmetry probe

abstract: Josephson junctions are essential ingredients in the superconducting circuits used in many existing quantum technologies. Additionally, ultracold atomic quantum gases have also become essential platforms to study superfluidity. Here, we explore the analogy between superconductivity and superfluidity to present an intriguing effect caused by a thin finite barrier in a quasi-one-dimensional toroidal spinor Bose--Einstein condensate (BEC). In this system, the atomic current density flowing through the edges of the barrier oscillates, such as the electrical current through a Josephson junction in a superconductor, but in our case, there is no current circulation through the barrier. We also show how the nontrivial broken-symmetry states of spinor BECs change the structure of this Josephson-like current, creating the possibility to probe the spinor symmetry, solely using measurements of this superfluid current.


title: Nonlinear optical radiation of a lithium niobate microcavity

abstract: The nonlinear optical radiation of an integrated lithium niobate microcavity is demonstrated, which has been neglected in previous studies of nonlinear photonic devices. We find that the nonlinear coupling between confined optical modes on the chip and continuum modes in free space can be greatly enhanced on the platform of integrated microcavity, with feasible relaxation of the phase-matching condition. With an infrared pump laser, we observe the vertical radiation of second-harmonic wave at the visible band, which indicates a robust phase-matching-free chip-to-free-space frequency converter and also unveils an extra energy dissipation channel for integrated devices. Such an unexpected coherent nonlinear interaction between the free-space beam and the confined mode is also validated by the different frequency generation. Furthermore, based on the phase-matching-free nature of the nonlinear radiation, we build an integrated atomic gas sensor to characterize Rb isotopes with a single telecom laser. The unveiled mechanism of nonlinear optical radiation is universal for all dielectric photonic integrated devices, and provides a simple and robust chip-to-free-space as well as visible-to-telecom interface.


title: In Defense of Subspace Tracker: Orthogonal Embedding for Visual Tracking

abstract: The paper focuses on a classical tracking model, subspace learning, grounded on the fact that the targets in successive frames are considered to reside in a low-dimensional subspace or manifold due to the similarity in their appearances. In recent years, a number of subspace trackers have been proposed and obtained impressive results. Inspired by the most recent results that the tracking performance is boosted by the subspace with discrimination capability learned over the recently localized targets and their immediately surrounding background, this work aims at solving such a problem: how to learn a robust low-dimensional subspace to accurately and discriminatively represent these target and background samples. To this end, a discriminative approach, which reliably separates the target from its surrounding background, is injected into the subspace learning by means of joint learning, achieving a dimension-adaptive subspace with superior discrimination capability. The proposed approach is extensively evaluated and compared with the state-of-the-art trackers on four popular tracking benchmarks. The experimental results demonstrate that the proposed tracker performs competitively against its counterparts. In particular, it achieves more than 9% performance increase compared with the state-of-the-art subspace trackers.


title: Optimally Reconfiguring List and Correspondence Colourings

abstract: The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single vertex of $G$. Much work has focused on bounding the maximum value of ${\rm{diam}}~\mathcal{C}_k(G)$ over all $n$-vertex graphs $G$. We consider the analogous problems for list colourings and for correspondence colourings. We conjecture that if $L$ is a list-assignment for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+\mu(G)$. We also conjecture that if $(L,H)$ is a correspondence cover for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+\tau(G)$. (Here $\mu(G)$ and $\tau(G)$ denote the matching number and vertex cover number of $G$.) For every graph $G$, we give constructions showing that both conjectures are best possible. Our first main result proves the upper bounds (for the list and correspondence versions, respectively) ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+2\mu(G)$ and ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+2\tau(G)$. Our second main result proves that both conjectured bounds hold, whenever all $v$ satisfy $|L(v)|\ge 2d(v)+1$. We conclude by proving one or both conjectures for various classes of graphs such as complete bipartite graphs, subcubic graphs, cactuses, and graphs with bounded maximum average degree.


title: Kinetic and chemorheological modeling of thermosetting polyurethanes obtained from an epoxidized soybean oil polyol crosslinked with glycerin

abstract: Thermosetting polyurethanes were obtained using an aromatic isocyanate and a hydrophobic polyol formulation obtained from epoxidized soybean oil (ESO) crosslinked with glycerin. A systematic DSC analysis of the effect of catalyst type, crosslinker concentration, isocyanate index and ESO crystallization on the cure kinetics was conducted. The combination of a stannic catalyst at 0.2 wt.\% and glycerin at 20 wt.\% produced a cure kinetics governed by autocatalytic heat flow where vitrification played a key role in the formation of chemical bonds. The evolution of Tg as a function of conversion, which followed Di-Benedetto{\'}s predictions, supported the hypothesis that vitrification was a preponderant phenomenon during cure. The ESO crystallization had a melting endotherm centered at 35{\deg}C, affecting substantially the availability of reactive hydroxide groups. Dynamic Mechanical Analysis (DMA) of a post-cured sample revealed a Tg centered at 220{\deg}C, whereas quasi-static flexural mechanical tests revealed a flexural modulus of 2.14 GPa and a flexural strength of 99.4 MPa. Rheological experiments using a rheometer at isothermal conditions supported the hypothesis that vitrification played a key role in the evolution of apparent viscosity. A master model using Kim-Macosko equations was obtained for the proposed formulation.


title: A Modified Nonlinear Conjugate Gradient Algorithm for Functions with Non-Lipschitz Gradient

abstract: In this paper, we propose a modified nonlinear conjugate gradient (NCG) method for functions with a non-Lipschitz continuous gradient. First, we present a new formula for the conjugate coefficient \beta_k in NCG, conducting a search direction that provides an adequate function decrease. We can derive that our NCG algorithm guarantees strongly convergent for continuous differential functions without Lipschitz continuous gradient. Second, we present a simple interpolation approach that could automatically achieve shrinkage, generating a step length satisfying the standard Wolfe conditions in each step. Our framework considerably broadens the applicability of NCG and preserves the superior numerical performance of the PRP-type methods.


title: On the Origin of Hallucinations in Conversational Models: Is it the Datasets or the Models?

abstract: Knowledge-grounded conversational models are known to suffer from producing factually invalid statements, a phenomenon commonly called hallucination. In this work, we investigate the underlying causes of this phenomenon: is hallucination due to the training data, or to the models? We conduct a comprehensive human study on both existing knowledge-grounded conversational benchmarks and several state-of-the-art models. Our study reveals that the standard benchmarks consist of >60% hallucinated responses, leading to models that not only hallucinate but even amplify hallucinations. Our findings raise important questions on the quality of existing datasets and models trained using them. We make our annotations publicly available for future research.


title: Towards Comprehensive Testing on the Robustness of Cooperative Multi-agent Reinforcement Learning

abstract: While deep neural networks (DNNs) have strengthened the performance of cooperative multi-agent reinforcement learning (c-MARL), the agent policy can be easily perturbed by adversarial examples. Considering the safety critical applications of c-MARL, such as traffic management, power management and unmanned aerial vehicle control, it is crucial to test the robustness of c-MARL algorithm before it was deployed in reality. Existing adversarial attacks for MARL could be used for testing, but is limited to one robustness aspects (e.g., reward, state, action), while c-MARL model could be attacked from any aspect. To overcome the challenge, we propose MARLSafe, the first robustness testing framework for c-MARL algorithms. First, motivated by Markov Decision Process (MDP), MARLSafe consider the robustness of c-MARL algorithms comprehensively from three aspects, namely state robustness, action robustness and reward robustness. Any c-MARL algorithm must simultaneously satisfy these robustness aspects to be considered secure. Second, due to the scarceness of c-MARL attack, we propose c-MARL attacks as robustness testing algorithms from multiple aspects. Experiments on \textit{SMAC} environment reveals that many state-of-the-art c-MARL algorithms are of low robustness in all aspect, pointing out the urgent need to test and enhance robustness of c-MARL algorithms.


title: Precise Indoor Positioning Based on UWB and Deep Learning

abstract: We examined UWB-based indoor location in conjunction with a fingerprint technique in this work. We built a connection between the measured and real distances for the UWB indoor positioning system. This connection is used to produce a distance database that may be used to generate fringerprints. We created a BP neural network to classify the target node to the relevant fringerpint using the distance database. Our suggested deep learning technology considerably enhances location accuracy when compared to existing trilateration systems.


title: Flowfield prediction of airfoil off-design conditions based on a modified variational autoencoder

abstract: Airfoil aerodynamic optimization based on single-point design may lead to poor off-design behaviors. Multipoint optimization that considers the off-design flow conditions is usually applied to improve the robustness and expand the flight envelope. Many deep learning models have been utilized for the rapid prediction or reconstruction of flowfields. However, the flowfield reconstruction accuracy may be insufficient for cruise efficiency optimization, and the model generalization ability is also questionable when facing airfoils different from the airfoils with which the model has been trained. Because a computational fluid dynamic evaluation of the cruise condition is usually necessary and affordable in industrial design, a novel deep learning framework is proposed to utilize the cruise flowfield as a prior reference for the off-design condition prediction. A prior variational autoencoder is developed to extract features from the cruise flowfield and to generate new flowfields under other free stream conditions. Physical-based loss functions based on aerodynamic force and conservation of mass are derived to minimize the prediction error of the flowfield reconstruction. The results demonstrate that the proposed model can reduce the prediction error on test airfoils by 30% compared to traditional models. The physical-based loss function can further reduce the prediction error by 4%. The proposed model illustrates a better balance of the time cost and the fidelity requirements of evaluation for cruise and off-design conditions, which makes the model more feasible for industrial applications.


title: Causal Intervention for Subject-Deconfounded Facial Action Unit Recognition

abstract: Subject-invariant facial action unit (AU) recognition remains challenging for the reason that the data distribution varies among subjects. In this paper, we propose a causal inference framework for subject-invariant facial action unit recognition. To illustrate the causal effect existing in AU recognition task, we formulate the causalities among facial images, subjects, latent AU semantic relations, and estimated AU occurrence probabilities via a structural causal model. By constructing such a causal diagram, we clarify the causal effect among variables and propose a plug-in causal intervention module, CIS, to deconfound the confounder \emph{Subject} in the causal diagram. Extensive experiments conducted on two commonly used AU benchmark datasets, BP4D and DISFA, show the effectiveness of our CIS, and the model with CIS inserted, CISNet, has achieved state-of-the-art performance.


title: Robust Task Planning for Assembly Lines with Human-Robot Collaboration

abstract: Efficient and robust task planning for a human-robot collaboration (HRC) system remains challenging. The human-aware task planner needs to assign jobs to both robots and human workers so that they can work collaboratively to achieve better time efficiency. However, the complexity of the tasks and the stochastic nature of the human collaborators bring challenges to such task planning. To reduce the complexity of the planning problem, we utilize the hierarchical task model, which explicitly captures the sequential and parallel relationships of the task. We model human movements with the sigma-lognormal functions to account for human-induced uncertainties. A human action model adaptation scheme is applied during run-time, and it provides a measure for modeling the human-induced uncertainties. We propose a sampling-based method to estimate human job completion time uncertainties. Next, we propose a robust task planner, which formulates the planning problem as a robust optimization problem by considering the task structure and the uncertainties. We conduct simulations of a robot arm collaborating with a human worker in an electronics assembly setting. The results show that our proposed planner can reduce task completion time when human-induced uncertainties occur compared to the baseline planner.


title: Unsupervised Cross-Task Generalization via Retrieval Augmentation

abstract: Humans can perform unseen tasks by recalling relevant skills acquired previously and then generalizing them to the target tasks, even if there is no supervision at all. In this paper, we aim to improve this kind of cross-task generalization ability of massive multi-task language models, such as T0 and FLAN, in an unsupervised setting. We propose a retrieval-augmentation method named ReCross that takes a few unlabelled examples as queries to retrieve a small subset of upstream data and uses them to update the multi-task model for better generalization. ReCross is a straightforward yet effective retrieval method that combines both efficient dense retrieval and effective pair-wise reranking. Our results and analysis show that it significantly outperforms both non-retrieval methods and other baseline methods.


title: Bott-Chern hypercohomology and bimeromorphic invariants

abstract: The aim of this article is to study the geometry of Bott-Chern hypercohomology from the bimeromorphic point of view. We construct some new bimeromorphic invariants involving the cohomology for the sheaf of germs of pluriharmonic functions, the truncated holomorphic de Rham cohomology, and the de Rham cohomology. To define these invariants, using a sheaf-theoretic approach, we establish a blow-up formula together with a canonical morphism for the Bott-Chern hypercohomology. In particular, we compute the invariants of some compact complex threefolds, such as Iwasawa manifolds and quintic threefolds.


title: Long-Horizon Motion Planning via Sampling and Segmented Trajectory Optimization

abstract: This paper presents a hybrid robot motion planner that generates long-horizon motion plans for robot navigation in environments with obstacles. We propose a hybrid planner, RRT* with segmented trajectory optimization (RRT*-sOpt), which combines the merits of sampling-based planning, optimization-based planning, and trajectory splitting to quickly plan for a collision-free and dynamically-feasible motion plan. When generating a plan, the RRT* layer quickly samples a semi-optimal path and sets it as an initial reference path. Then, the sOpt layer splits the reference path and performs optimization on each segment. It then splits the new trajectory again and repeats the process until the whole trajectory converges. We also propose to reduce the number of segments before convergence with the aim of further reducing computation time. Simulation results show that RRT*-sOpt benefits from the hybrid structure with trajectory splitting and performs robustly in various robot platforms and scenarios.


title: WhyGen: Explaining ML-powered Code Generation by Referring to Training Examples

abstract: Deep learning has demonstrated great abilities in various code generation tasks. However, despite the great convenience for some developers, many are concerned that the code generators may recite or closely mimic copyrighted training data without user awareness, leading to legal and ethical concerns. To ease this problem, we introduce a tool, named WhyGen, to explain the generated code by referring to training examples. Specifically, we first introduce a data structure, named inference fingerprint, to represent the decision process of the model when generating a prediction. The fingerprints of all training examples are collected offline and saved to a database. When the model is used at runtime for code generation, the most relevant training examples can be retrieved by querying the fingerprint database. Our experiments have shown that WhyGen is able to precisely notify the users about possible recitations and highly similar imitations with a top-10 accuracy of 81.21%. The demo video can be found at https://youtu.be/EtoQP6850To.


title: Spaces of Real Functions, Covers and Dense Subsets

abstract: In paper we study relationships between covering properties of a topological space $X$ and the space $(USC^*(X),\tau_{\mathcal{B}})$ of bounded upper semicontinuous functions on $X$ with the topology $\tau_{\mathcal{B}}$ defined by the bornology $\mathcal{B}$ on $X$. We present characterizations of various local properties of $(USC^*(X),\tau_{\mathcal{B}})$ in terms of selection principles related to bornological covers of $X$. We also investigate topological properties of sequences of upper dense and upper sequentially dense subsets of $(USC^*(X),\tau_{\mathcal{B}})$.


title: Wound Severity Classification using Deep Neural Network

abstract: The classification of wound severity is a critical step in wound diagnosis. An effective classifier can help wound professionals categorize wound conditions more quickly and affordably, allowing them to choose the best treatment option. This study used wound photos to construct a deep neural network-based wound severity classifier that classified them into one of three classes: green, yellow, or red. The green class denotes wounds still in the early stages of healing and are most likely to recover with adequate care. Wounds in the yellow category require more attention and treatment than those in the green category. Finally, the red class denotes the most severe wounds that require prompt attention and treatment. A dataset containing different types of wound images is designed with the help of wound specialists. Nine deep learning models are used with applying the concept of transfer learning. Several stacked models are also developed by concatenating these transfer learning models. The maximum accuracy achieved on multi-class classification is 68.49%. In addition, we achieved 78.79%, 81.40%, and 77.57% accuracies on green vs. yellow, green vs. red, and yellow vs. red classifications for binary classifications.


title: Global-Supervised Contrastive Loss and View-Aware-Based Post-Processing for Vehicle Re-Identification

abstract: In this paper, we propose a Global-Supervised Contrastive loss and a view-aware-based post-processing (VABPP) method for the field of vehicle re-identification. The traditional supervised contrastive loss calculates the distances of features within the batch, so it has the local attribute. While the proposed Global-Supervised Contrastive loss has new properties and has good global attributes, the positive and negative features of each anchor in the training process come from the entire training set. The proposed VABPP method is the first time that the view-aware-based method is used as a post-processing method in the field of vehicle re-identification. The advantages of VABPP are that, first, it is only used during testing and does not affect the training process. Second, as a post-processing method, it can be easily integrated into other trained re-id models. We directly apply the view-pair distance scaling coefficient matrix calculated by the model trained in this paper to another trained re-id model, and the VABPP method greatly improves its performance, which verifies the feasibility of the VABPP method.


title: Impact of lattice $s(x)-\bar{s}(x)$ data in the CTEQ-TEA global analysis

abstract: We study the impact of the lattice data on the determination of the strangeness asymmetry distribution $s_-(x) \equiv s(x) - {\bar s}(x)$ in the general CTEQ-TEA global analysis of parton distribution functions (PDFs) of the proton. Firstly, we find that allowing a non-vanishing $s_-(x)$, at the initial $Q_0=1.3$ GeV scale, in a global PDF analysis leads to the quality of the CT18As fit similar to CT18A. Secondly, including the lattice data in the CT18As\_Lat fit greatly reduces the $s_-$-PDF error band size in the large $x$ region. To further reduce its error would require more precise lattice data, extended to smaller $x$ values.


title: DR-GAN: Distribution Regularization for Text-to-Image Generation

abstract: This paper presents a new Text-to-Image generation model, named Distribution Regularization Generative Adversarial Network (DR-GAN), to generate images from text descriptions from improved distribution learning. In DR-GAN, we introduce two novel modules: a Semantic Disentangling Module (SDM) and a Distribution Normalization Module (DNM). SDM combines the spatial self-attention mechanism and a new Semantic Disentangling Loss (SDL) to help the generator distill key semantic information for the image generation. DNM uses a Variational Auto-Encoder (VAE) to normalize and denoise the image latent distribution, which can help the discriminator better distinguish synthesized images from real images. DNM also adopts a Distribution Adversarial Loss (DAL) to guide the generator to align with normalized real image distributions in the latent space. Extensive experiments on two public datasets demonstrated that our DR-GAN achieved a competitive performance in the Text-to-Image task.


title: Integrated In-vehicle Monitoring System Using 3D Human Pose Estimation and Seat Belt Segmentation

abstract: Recently, along with interest in autonomous vehicles, the importance of monitoring systems for both drivers and passengers inside vehicles has been increasing. This paper proposes a novel in-vehicle monitoring system the combines 3D pose estimation, seat-belt segmentation, and seat-belt status classification networks. Our system outputs various information necessary for monitoring by accurately considering the data characteristics of the in-vehicle environment. Specifically, the proposed 3D pose estimation directly estimates the absolute coordinates of keypoints for a driver and passengers, and the proposed seat-belt segmentation is implemented by applying a structure based on the feature pyramid. In addition, we propose a classification task to distinguish between normal and abnormal states of wearing a seat belt using results that combine 3D pose estimation with seat-belt segmentation. These tasks can be learned simultaneously and operate in real-time. Our method was evaluated on a private dataset we newly created and annotated. The experimental results show that our method has significantly high performance that can be applied directly to real in-vehicle monitoring systems.


title: Four-operator splitting algorithms for solving monotone inclusions

abstract: Monotone inclusions involving the sum of three maximally monotone operators or more have received much attention in recent years. In this paper, we propose three splitting algorithms for finding a zero of the sum of four monotone operators, which are two maximally monotone operators, one monotone Lipschitz operator, and one cocoercive operator. These three splitting algorithms are based on the forward-reflected-Douglas-Rachford splitting algorithm, backward-forward-reflected-backward splitting algorithm, and backward-reflected-forward-backward splitting algorithm, respectively. As applications, we apply the proposed algorithms to solve the monotone inclusions problem involving a finite sum of maximally monotone operators. Numerical results on the Projection on Minkowski sums of convex sets demonstrate the effectiveness of the proposed algorithms.


title: Massive Trajectory Matching and Construction from Aerial Videos based on Frame-by-Frame Vehicle Detections

abstract: Vehicle trajectory data provides critical information for traffic flow modeling and analysis. Unmanned aerial vehicles (UAV) is an emerging technology for traffic data collection because of its flexibility and diversity on spatial and temporal coverage. Vehicle trajectories are constructed from frame-by-frame detections. The increase of vehicle counts makes multiple-target matching more challenging. Errors are caused by pixel jitter, vehicle shadows, road marks as well as some missing detections. This research proposes a novel framework for construction of massive vehicle trajectories from aerial videos by matching vehicle detections based on traffic flow dynamic features. The You Look Only Once (YOLO) v4 is used for vehicle detection in UAV videos based on Convolution Neural Network (CNN). Trajectory construction is proposed in detected bounding boxes with trajectory identification, integrity enhancement, and coordinate transformation from image coordinates to the Frenet coordinates. The raw trajectory obtained is then denoised by the ensemble empirical mode decomposition (EEMD). Our framework is tested on two aerial videos taken by a UAV on city expressway covering congested and free-flow traffic conditions. The results show that the proposed framework achieves a Recall of 93.00% and 86.69%, and a Precision of 98.86% and 98.83% for vehicle trajectories in the free-flow and congested traffic conditions.The trajectory processing speed is about 30s per track.


title: On best uniform approximation of finite sets by linear combinations of real valued functions using linear programming

abstract: We study the best approximation problem: \[ \displaystyle \min_{\alpha\in \mathbb R^m}\max_{1\leq i\leq n}\left|y_i -\sum_{j=1}^m \alpha_j \Gamma_j ({\bf x}_i) \right|. \] Here: $\Gamma:=\left\{\Gamma_1,...,\Gamma_m\right\}$ is a list of functions where for each $1\leq j\leq m$, $\Gamma_j:\Delta \rightarrow \mathbb R$ with $\Delta$ a set of evaluation points $\left\{{\bf x_1},...,{\bf x_n}\right\}$. $\left\{y_1,...,y_n\right\}$ is a set of real values and $\mathbb R^m:=\left\{(\alpha_1,...,\alpha_m),\, \alpha_j\in \mathbb R,\, 1\leq j\leq m\right\}$.


title: Li-Yorke and Devaney chaotic uniform dynamical systems amongst weighted shifts

abstract: In this paper, for finite discrete field $F$, nonempty set $\Gamma$, weight vector $\mathfrak{w}=({\mathfrak w}_\alpha)_{\alpha\in\Gamma}\in F^\Gamma$ and weighted generalized shift $\sigma_{\varphi,{\mathfrak w}}:F^\Gamma\to F^\Gamma$, we find necessary and sufficient conditions for uniform dynamical system $(F^\Gamma,\sigma_{\varphi,{\mathfrak w}})$ to be Li--Yorke chaotic. Next we find necessary and sufficient conditions for $(F^\Gamma,\sigma_{\varphi,{\mathfrak w}})$ to be Devaney chaotic.


title: Aggregation of self-propelled particles with sensitivity to local order

abstract: We study a system of self-propelled particles (SPPs) in which individual particles are allowed to switch between a fast aligning and a slow nonaligning state depending upon the degree of the alignment in the neighborhood. The switching is modeled using a threshold for the local order parameter. This additional attribute gives rise to a mixed phase, in contrast to the ordered phases found in clean SPP systems. As the threshold is increased from zero, we find the sudden appearance of clusters of nonaligners. Clusters of nonaligners coexist with moving clusters of aligners with continual coalescence and fragmentation. The behavior of the system with respect to the clustering of nonaligners appears to be very different for values of low and high global densities. In the low density regime, for an optimal value of the threshold, the largest cluster of nonaligners grows in size up to a maximum that varies logarithmically with the total number of particles. However, on further increasing the threshold the size decreases. In contrast, for the high density regime, an initial abrupt rise is followed by the appearance of a giant cluster of nonaligners. The latter growth can be characterized as a continuous percolation transition. In addition, we find that the speed differences between aligners and nonaligners is necessary for the segregation of aligners and nonaligners.


title: Strong convergence of propagation of chaos for McKean-Vlasov SDEs with singular interactions

abstract: In this work we show the strong convergence of propagation of chaos for the particle approximation of McKean-Vlasov SDEs with singular $L^p$-interactions as well as for the moderate interaction particle systems on the level of particle trajectories. One of the main obstacles is to establish the strong well-posedness of the SDEs for particle systems with singular interaction. To this end, we extend the results on strong well-posedness of Krylov and R\"ockner \cite{Kr-Ro} to the case of mixed $L^p$-drifts, where the heat kernel estimates play a crucial role. Moreover, when the interaction kernel is bounded measurable, we also obtain the optimal rate of strong convergence, which is partially based on Jabin and Wang's entropy method \cite{JW16} and Zvonkin's transformation.


title: Learning with Signatures

abstract: In this work we investigate the use of the Signature Transform in the context of Learning. Under this assumption, we advance a supervised framework that potentially provides state-of-the-art classification accuracy with the use of few labels without the need of credit assignment and with minimal or no overfitting. We leverage tools from harmonic analysis by the use of the signature and log-signature, and use as a score function RMSE and MAE Signature and log-signature. We develop a closed-form equation to compute probably good optimal scale factors, as well as the formulation to obtain them by optimization. Techniques of Signal Processing are addressed to further characterize the problem. Classification is performed at the CPU level orders of magnitude faster than other methods. We report results on AFHQ, MNIST and CIFAR10, achieving 100% accuracy on all tasks assuming we can determine at test time which probably good optimal scale factor to use for each category.