title: Deterministic metric $1$-median selection with very few queries

abstract: Given an $n$-point metric space $(M,d)$, {\sc metric $1$-median} asks for a point $p\in M$ minimizing $\sum_{x\in M}\,d(p,x)$. We show that for each computable function $f\colon \mathbb{Z}^+\to\mathbb{Z}^+$ satisfying $f(n)=\omega(1)$, {\sc metric $1$-median} has a deterministic, $o(n)$-query, $o(f(n)\cdot\log n)$-approximation and nonadaptive algorithm. Previously, no deterministic $o(n)$-query $o(n)$-approximation algorithms are known for {\sc metric $1$-median}. On the negative side, we prove each deterministic $O(n)$-query algorithm for {\sc metric $1$-median} to be not $(\delta\log n)$-approximate for a sufficiently small constant $\delta>0$. We also refute the existence of deterministic $o(n)$-query $O(\log n)$-approximation algorithms.


title: Robust Path Recommendations During Public Transit Disruptions Under Demand Uncertainty

abstract: When there are significant service disruptions in public transit systems, passengers usually need guidance to find alternative paths. This paper proposes a path recommendation model to mitigate the congestion during public transit disruptions. Passengers with different origin-destination and departure times are recommended with different paths such that the system travel time is minimized. We model the path recommendation as an optimal flow problem with uncertain demand information. To tackle the non-analytical formulation of travel times due to left behind, we propose a simulation-based first-order approximation to transform the original problem into linear programming. Uncertainties in demand are modeled with robust optimization to protect the path recommendation strategies against inaccurate estimates. A real-world rail disruption scenario in the Chicago Transit Authority (CTA) system is used as a case study. Results show that even without considering uncertainty, the nominal model can reduce the system travel time by 9.1% (compared to the status quo), and outperforms the benchmark capacity-based path recommendation. The average travel time of passengers in the incident line (i.e., passengers receiving recommendations) is reduced more (-20.6% compared to the status quo). After incorporating the demand uncertainty, the robust model can further reduce the system travel time. The best robust model can decrease the average travel time of incident-line passengers by 2.91% compared to the nominal model.


title: The Deformed Hermitian--Yang--Mills Equation, the Positivstellensatz, and the Solvability

abstract: Let $(M, \omega)$ be a compact connected K\"ahler manifold of complex dimension four and let $[\chi] \in H^{1,1}(M; \mathbb{R})$. We confirmed the conjecture by Collins--Jacob--Yau [arXiv:1508.01934] of the solvability of the deformed Hermitian--Yang--Mills equation, which is given by the following nonlinear elliptic equation $\sum_{i} \arctan (\lambda_i) = \hat{\theta}$, where $\lambda_i$ are the eigenvalues of $\chi$ with respect to $\omega$ and $\hat{\theta}$ is a topological constant. This conjecture was stated in [arXiv:1508.01934], wherein they proved that the existence of a supercritical $C$-subsolution or the existence of a $C$-suboslution when $\hat{\theta} \in [ ( (n-2) + {2}/{n} ) {\pi}/{2}, n\pi/2 )$ will give the solvability of the deformed Hermitian--Yang--Mills equation. Collins--Jacob--Yau conjectured that their existence theorem can be improved when $\hat{\theta} \in ( (n-2 ) {\pi}/{2}, ( (n-2) + {2}/{n} ) {\pi}/{2} )$, where $n$ is the complex dimension of the manifold. In this paper, we confirmed their conjecture that when the complex dimension equals four and $\hat{\theta}$ is close to the supercritical phase $\pi$ from the right, then the existence of a $C$-subsolution implies the solvability of the deformed Hermitian--Yang--Mills equation.


title: Construction of extremal Type II $\mathbb{Z}_{2k}$-codes

abstract: We give methods for constructing many self-dual $\mathbb{Z}_m$-codes and Type II $\mathbb{Z}_{2k}$-codes of length $2n$ starting from a given self-dual $\mathbb{Z}_m$-code and Type II $\mathbb{Z}_{2k}$-code of length $2n$, respectively. As an application, we construct extremal Type II $\mathbb{Z}_{2k}$-codes of length $24$ for $k=4,5,\ldots,20$ and extremal Type II $\mathbb{Z}_{2k}$-codes of length $32$ for $k=4,5,\ldots,10$. We also construct new extremal Type II $\mathbb{Z}_4$-codes of lengths $56$ and $64$.


title: Recurrence formula, positivity and polytope basis in cluster algebras via Newton polytopes

abstract: We study Newton polytopes of $F$-polynomials in a TSSS cluster algebra $\mathcal A$ and generalize them to a larger set consisting of polytopes $N_h$ for $h\in{\mathbb Z}^n$. The main contribution contains: (i) obtaining a recurrence construction of Laurent expression of a cluster variable in a cluster from its $g$-vector; (ii) proving the subset $\mathcal P$ of $\widehat{\mathcal P}$ consisting of Laurent polynomials in $\widehat{\mathcal P}$ is a strongly positive ${\mathbb Z}Trop(Y)$-basis for ${\mathcal U}({\mathcal A})$ consisting of certain universally indecomposable Laurent polynomials when $\mathcal A$ is a cluster algebra with principal coefficients. For a cluster algebra $\mathcal A$ over a semifield $\mathbb P$ in general, $\mathcal P$ is a strongly positive ${\mathbb Z}{\mathbb P}$-basis for a subalgebra ${\mathcal I}_{\mathcal P}({\mathcal A})}$ of ${\mathcal U}({\mathcal A})}$. We call $\mathcal P$ a polytope basis; (iii) constructing some explicit maps among $F$-polynomials, $g$-vectors, $d$-vectors and cluster variables to characterize their relationship. As applications of (i), we give an affirmation to positivity conjecture of cluster variables in a TSSS cluster algebra, which in particular provides a new method different from that given by Gross etc. to present the positivity of cluster variables in the skew-symmetrizable case. And, a conjecture on Newton polytopes posed by Fei is answered affirmatively. For (ii), we know in rank $2$ case, $\mathcal P$ coincides with the greedy basis introduced by Lee etc.. Hence, we can regard the polytope basis $\mathcal P$ as a natural generalization of the greedy basis in any rank. As application of (iii), the positivity of $d$-vectors associated to non-initial cluster variables, which was a conjecture raised, is proved in a TSSS cluster algebra.


title: Balsa: Learning a Query Optimizer Without Expert Demonstrations

abstract: Query optimizers are a performance-critical component in every database system. Due to their complexity, optimizers take experts months to write and years to refine. In this work, we demonstrate for the first time that learning to optimize queries without learning from an expert optimizer is both possible and efficient. We present Balsa, a query optimizer built by deep reinforcement learning. Balsa first learns basic knowledge from a simple, environment-agnostic simulator, followed by safe learning in real execution. On the Join Order Benchmark, Balsa matches the performance of two expert query optimizers, both open-source and commercial, with two hours of learning, and outperforms them by up to 2.8$\times$ in workload runtime after a few more hours. Balsa thus opens the possibility of automatically learning to optimize in future compute environments where expert-designed optimizers do not exist.


title: Determination of neutron-skin thickness using configurational information entropy

abstract: Configurational information entropy (CIE) theory was employed to determine the neutron skin thickness of neutron-rich calcium isotopes. The nuclear density distributions and fragment cross-sections in 350 MeV/u $^{40-60}$Ca + $^{9}$Be projectile fragmentation reactions were calculated using a modified statistical abrasion-ablation model. CIE quantities were determined from the nuclear density, isotopic, mass, and charge distributions. The linear correlations between the CIE determined using the isotopic, mass, and charge distributions and the neutron skin thickness of the projectile nucleus show that CIE provides new methods to extract the neutron skin thickness of neutron-rich nuclei.


title: Neural KEM: A Kernel Method with Deep Coefficient Prior for PET Image Reconstruction

abstract: Image reconstruction of low-count positron emission tomography (PET) data is challenging. Kernel methods address the challenge by incorporating image prior information in the forward model of iterative PET image reconstruction. The kernelized expectation-maximization (KEM) algorithm has been developed and demonstrated to be effective and easy to implement. A common approach for a further improvement of the kernel method would be adding an explicit regularization, which however leads to a complex optimization problem. In this paper, we propose an implicit regularization for the kernel method by using a deep coefficient prior, which represents the kernel coefficient image in the PET forward model using a convolutional neural-network. To solve the maximum-likelihood neural network-based reconstruction problem, we apply the principle of optimization transfer to derive a neural KEM algorithm. Each iteration of the algorithm consists of two separate steps: a KEM step for image update from the projection data and a deep-learning step in the image domain for updating the kernel coefficient image using the neural network. This optimization algorithm is guaranteed to monotonically increase the data likelihood. The results from computer simulations and real patient data have demonstrated that the neural KEM can outperform existing KEM and deep image prior methods.


title: Recovering a cohomological Mackey Functor from its restriction to Sylow subgroups

abstract: We explain how to recover the top level of a cohomological G-Mackey functor $\underline{M}$ from the restriction of $\underline{M}$ to each of the Sylow subgroups of G. As an application, we compute the Mackey functor valued G-equivariant homology groups of a point with constant $\mathbb{Z}$-coefficients when G has order pq for odd primes p<q. We also indicate how the calculation goes for $G=A_4$.


title: A Unified Framework for Generalized Moment Problems: a Novel Primal-Dual Approach

abstract: Generalized moment problems optimize functional expectation over a class of distributions with generalized moment constraints, i.e., the function in the moment can be any measurable function. These problems have recently attracted growing interest due to their great flexibility in representing nonstandard moment constraints, such as geometry-mean constraints, entropy constraints, and exponential-type moment constraints. Despite the increasing research interest, analytical solutions are mostly missing for these problems, and researchers have to settle for nontight bounds or numerical approaches that are either suboptimal or only applicable to some special cases. In addition, the techniques used to develop closed-form solutions to the standard moment problems are tailored for specific problem structures. In this paper, we propose a framework that provides a unified treatment for any moment problem. The key ingredient of the framework is a novel primal-dual optimality condition. This optimality condition enables us to reduce the original infinite dimensional problem to a nonlinear equation system with a finite number of variables. In solving three specific moment problems, the framework demonstrates a clear path for identifying the analytical solution if one is available, otherwise, it produces semi-analytical solutions that lead to efficient numerical algorithms. Finally, through numerical experiments, we provide further evidence regarding the performance of the resulting algorithms by solving a moment problem and a distributionally robust newsvendor problem.


title: Extending the limit of molecular dynamics with ab initio accuracy to 10 billion atoms

abstract: High-performance computing, together with a neural network model trained from data generated with first-principles methods, has greatly boosted applications of \textit{ab initio} molecular dynamics in terms of spatial and temporal scales on modern supercomputers. Previous state-of-the-art can achieve $1-2$ nanoseconds molecular dynamics simulation per day for 100-million atoms on the entire Summit supercomputer. In this paper, we have significantly reduced the memory footprint and computational time by a comprehensive approach with both algorithmic and system innovations. The neural network model is compressed by model tabulation, kernel fusion, and redundancy removal. Then optimizations such as acceleration of customized kernel, tabulation of activation function, MPI+OpenMP parallelization are implemented on GPU and ARM architectures. Testing results of the copper system show that the optimized code can scale up to the entire machine of both Fugaku and Summit, and the corresponding system size can be extended by a factor of $134$ to an unprecedented $17$ billion atoms. The strong scaling of a $13.5$-million atom copper system shows that the time-to-solution can be 7 times faster, reaching $11.2$ nanoseconds per day. This work opens the door for unprecedentedly large-scale molecular dynamics simulations based on {\it ab initio} accuracy and can be potentially utilized in studying more realistic applications such as mechanical properties of metals, semiconductor devices, batteries, etc. The optimization techniques detailed in this paper also provide insight for relevant high-performance computing applications.


title: Axions, Time Varying CP Violation, and Baryogenesis

abstract: We derive two features of axion cosmology that may have cosmological implications, whether or not axions are dark matter: For the full range of allowed axion masses, the evolution of a cosmic axion background allows large CP violation until temperatures as low as $\sim$ 2 GeV, and once the axion field begins to oscillate, the cosmological axion field's relaxation to its ground state can briefly provide a new departure from thermal equilibrium, via time-varying CP violation. During both of these periods, the Strong CP violating parameter $\bar\theta$ can be as large as O(1).


title: Conditional Imitation Learning for Multi-Agent Games

abstract: While advances in multi-agent learning have enabled the training of increasingly complex agents, most existing techniques produce a final policy that is not designed to adapt to a new partner's strategy. However, we would like our AI agents to adjust their strategy based on the strategies of those around them. In this work, we study the problem of conditional multi-agent imitation learning, where we have access to joint trajectory demonstrations at training time, and we must interact with and adapt to new partners at test time. This setting is challenging because we must infer a new partner's strategy and adapt our policy to that strategy, all without knowledge of the environment reward or dynamics. We formalize this problem of conditional multi-agent imitation learning, and propose a novel approach to address the difficulties of scalability and data scarcity. Our key insight is that variations across partners in multi-agent games are often highly structured, and can be represented via a low-rank subspace. Leveraging tools from tensor decomposition, our model learns a low-rank subspace over ego and partner agent strategies, then infers and adapts to a new partner strategy by interpolating in the subspace. We experiments with a mix of collaborative tasks, including bandits, particle, and Hanabi environments. Additionally, we test our conditional policies against real human partners in a user study on the Overcooked game. Our model adapts better to new partners compared to baselines, and robustly handles diverse settings ranging from discrete/continuous actions and static/online evaluation with AI/human partners.


title: Deep Learning-Based Sparse Whole-Slide Image Analysis for the Diagnosis of Gastric Intestinal Metaplasia

abstract: In recent years, deep learning has successfully been applied to automate a wide variety of tasks in diagnostic histopathology. However, fast and reliable localization of small-scale regions-of-interest (ROI) has remained a key challenge, as discriminative morphologic features often occupy only a small fraction of a gigapixel-scale whole-slide image (WSI). In this paper, we propose a sparse WSI analysis method for the rapid identification of high-power ROI for WSI-level classification. We develop an evaluation framework inspired by the early classification literature, in order to quantify the tradeoff between diagnostic performance and inference time for sparse analytic approaches. We test our method on a common but time-consuming task in pathology - that of diagnosing gastric intestinal metaplasia (GIM) on hematoxylin and eosin (H&E)-stained slides from endoscopic biopsy specimens. GIM is a well-known precursor lesion along the pathway to development of gastric cancer. We performed a thorough evaluation of the performance and inference time of our approach on a test set of GIM-positive and GIM-negative WSI, finding that our method successfully detects GIM in all positive WSI, with a WSI-level classification area under the receiver operating characteristic curve (AUC) of 0.98 and an average precision (AP) of 0.95. Furthermore, we show that our method can attain these metrics in under one minute on a standard CPU. Our results are applicable toward the goal of developing neural networks that can easily be deployed in clinical settings to support pathologists in quickly localizing and diagnosing small-scale morphologic features in WSI.


title: Offsetting Unequal Competition through RL-assisted Incentive Schemes

abstract: This paper investigates the dynamics of competition among organizations with unequal expertise. Multi-agent reinforcement learning has been used to simulate and understand the impact of various incentive schemes designed to offset such inequality. We design Touch-Mark, a game based on well-known multi-agent-particle-environment, where two teams (weak, strong) with unequal but changing skill levels compete against each other. For training such a game, we propose a novel controller assisted multi-agent reinforcement learning algorithm \our\, which empowers each agent with an ensemble of policies along with a supervised controller that by selectively partitioning the sample space, triggers intelligent role division among the teammates. Using C-MADDPG as an underlying framework, we propose an incentive scheme for the weak team such that the final rewards of both teams become the same. We find that in spite of the incentive, the final reward of the weak team falls short of the strong team. On inspecting, we realize that an overall incentive scheme for the weak team does not incentivize the weaker agents within that team to learn and improve. To offset this, we now specially incentivize the weaker player to learn and as a result, observe that the weak team beyond an initial phase performs at par with the stronger team. The final goal of the paper has been to formulate a dynamic incentive scheme that continuously balances the reward of the two teams. This is achieved by devising an incentive scheme enriched with an RL agent which takes minimum information from the environment.


title: On the tau function of the hypergeometric equation

abstract: The monodromy map for a rank-two system of differential equations with three Fuchsian singularities is classically solved by the Kummer formul\ae\ for Gauss' hypergeometric functions. We define the tau-function of such a system as the generating function of the extended monodromy symplectomorphism, using an idea recently developed. This formulation allows us to determine the dependence of the tau-function on the monodromy data. Using the explicit solution of the monodromy problem, the tau-function is then explicitly written in terms of Barnes $G$-function. In particular, if the Fuchsian singularities are placed to $0$, $1$ and $\infty$, this gives the structure constants of the asymptotical formula of Iorgov-Gamayun-Lisovyy for solutions of Painlev\'e VI equation.


title: Quantum Chaos and Circuit Parameter Optimization

abstract: We explore quantum chaos diagnostics of variational circuit states at random parameters and study their correlation with the circuit expressibility and the optimization of control parameters. By measuring the operator spreading coefficient and the eigenvalue spectrum of the modular Hamiltonian of the reduced density matrix, we identify the universal structure of random matrix models in high-depth circuit states. We construct different layer unitaries corresponding to the GOE and GUE distributions and quantify their VQA performance. Our study also highlights a potential tension between the OTOC and BGS-type diagnostics of quantum chaos.


title: Robust photon-efficient imaging using a pixel-wise residual shrinkage network

abstract: Single-photon light detection and ranging (LiDAR) has been widely applied to 3D imaging in challenging scenarios. However, limited signal photon counts and high noises in the collected data have posed great challenges for predicting the depth image precisely. In this paper, we propose a pixel-wise residual shrinkage network for photon-efficient imaging from high-noise data, which adaptively generates the optimal thresholds for each pixel and denoises the intermediate features by soft thresholding. Besides, redefining the optimization target as pixel-wise classification provides a sharp advantage in producing confident and accurate depth estimation when compared with existing research. Comprehensive experiments conducted on both simulated and real-world datasets demonstrate that the proposed model outperforms the state-of-the-arts and maintains robust imaging performance under different signal-to-noise ratios including the extreme case of 1:100.


title: Solvability of Multistage Pseudomonotone Stochastic Variational Inequalities

abstract: This paper focuses on the solvability of multistage pseudomonotone stochastic variational inequalities (SVIs). On one hand, some known solvability results of pseudomonotone deterministic variational inequalities cannot be directly extended to pseudomonotone SVIs, so we construct the isomorphism between both and then establish theoretical results on the existence, convexity, boundedness and compactness of the solution set for pseudomonotone SVIs via such an isomorphism. On the other hand, the progressive hedging algorithm (PHA) is an important and effective method for solving monotone SVIs, but it cannot be directly used to solve nonmonotone SVIs. We propose some sufficient conditions on the elicitability of pseudomonotone SVIs, which opens the door for applying elicited PHA to solve pseudomonotone SVIs. Numerical results on solving a pseudomonotone two-stage stochastic market optimization problem and randomly generated two stage pseudomonotone linear complementarity problems are presented to show the efficiency of the elicited PHA for solving pseudomonotone SVIs.


title: Odd Colorings of Sparse Graphs

abstract: A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. The smallest number of colors that admits an odd coloring of a graph $G$ is denoted $\chi_o(G)$. This notion was introduced by Petru\v{s}evski and \v{S}krekovski, who proved that if $G$ is planar then $\chi_o(G)\le 9$; they also conjectured that $\chi_o(G)\le 5$. For a positive real number $\alpha$, we consider the maximum value of $\chi_o(G)$ over all graphs $G$ with maximum average degree less than $\alpha$; we denote this value by $\chi_o(\mathcal{G}_{\alpha})$. We note that $\chi_o(\mathcal{G}_{\alpha})$ is undefined for all $\alpha\ge 4$. In contrast, for each $\alpha\in[0,4)$, we give a (nearly sharp) upper bound on $\chi_o(\mathcal{G}_{\alpha})$. Finally, we prove $\chi_o(\mathcal{G}_{20/7})= 5$ and $\chi_o(\mathcal{G}_3)= 6$. Both of these results are sharp.


title: Measuring the non-separability of spatially disjoint vectorial fields

abstract: Vectorial forms of structured light that are non-separable in their spatial and polarisation degrees of freedom have become topical of late, with an extensive toolkit for their creation and control. In contrast, the toolkit for quantifying their non-separability, the inhomogeneity of the polarisation structure, is far less developed, and in some cases fails altogether. To overcome this, here we introduce a new measure for vectorial light, which we demonstrate both theoretically and experimentally. We consider the general case where the local polarisation homogeneity can vary spatially across the field, from scalar to vector, a condition that can arise naturally if the composite scalar fields are path separable during propagation, leading to spatially disjoint vectorial light. We show how the new measure correctly accounts for the local path-like separability of the individual scalar beams, which can have varying degrees of disjointness, even though the global vectorial field remains intact. Our work attempts to address a pressing issue in the analysis of such complex light fields, and raises important questions on spatial coherence in the context of vectorially polarised light.


title: Fabrication of low-loss quasi-single-mode PPLN waveguide and its application to a modularized broadband high-level squeezer

abstract: A continuous-wave (CW) broadband high-level optical quadrature squeezer is essential for high-speed large-scale fault-tolerant quantum computing on a time-domain-multiplexed continuous-variable optical cluster state. CW THz-bandwidth squeezed light can be obtained with a waveguide optical parametric amplifier (OPA); however, the squeezing level have been insufficient for applications of fault-tolerant quantum computation because of degradation of the squeezing level due to their optical losses caused by the structural perturbation and pump-induced phenomena. Here, by using mechanical polishing processes, we fabricated a low-loss quasi-single-mode periodically-poled LiNbO3 (PPLN) waveguide, which shows 7% optical propagation loss with a waveguide length of 45 mm. Using the waveguide, we assembled a low-loss fiber-pigtailed OPA module with a total insertion loss of 21%. Thanks to its directly bonded core on a LiTaO3 substrate, the waveguide does not show pump-induced optical loss even under a condition of hundreds of milliwatts pumping. Furthermore, the quasi-single-mode structure prohibits excitation of higher-order spatial modes, and enables us to obtain larger squeezing level. Even with including optical coupling loss of the modularization, we observe 6.3-dB squeezed light from the DC component up to a 6.0-THz sideband in a fully fiber-closed optical system. By excluding the losses due to imperfections of the modularization and detection, the squeezing level at the output of the PPLN waveguide is estimated to be over 10 dB. Our waveguide squeezer is a promising quantum light source for high-speed large-scale fault-tolerant quantum computing.


title: Cross-SRN: Structure-Preserving Super-Resolution Network with Cross Convolution

abstract: It is challenging to restore low-resolution (LR) images to super-resolution (SR) images with correct and clear details. Existing deep learning works almost neglect the inherent structural information of images, which acts as an important role for visual perception of SR results. In this paper, we design a hierarchical feature exploitation network to probe and preserve structural information in a multi-scale feature fusion manner. First, we propose a cross convolution upon traditional edge detectors to localize and represent edge features. Then, cross convolution blocks (CCBs) are designed with feature normalization and channel attention to consider the inherent correlations of features. Finally, we leverage multi-scale feature fusion group (MFFG) to embed the cross convolution blocks and develop the relations of structural features in different scales hierarchically, invoking a lightweight structure-preserving network named as Cross-SRN. Experimental results demonstrate the Cross-SRN achieves competitive or superior restoration performances against the state-of-the-art methods with accurate and clear structural details. Moreover, we set a criterion to select images with rich structural textures. The proposed Cross-SRN outperforms the state-of-the-art methods on the selected benchmark, which demonstrates that our network has a significant advantage in preserving edges.


title: ARCLIN: Automated API Mention Resolution for Unformatted Texts

abstract: Online technical forums (e.g., StackOverflow) are popular platforms for developers to discuss technical problems such as how to use specific Application Programming Interface (API), how to solve the programming tasks, or how to fix bugs in their codes. These discussions can often provide auxiliary knowledge of how to use the software that is not covered by the official documents. The automatic extraction of such knowledge will support a set of downstream tasks like API searching or indexing. However, unlike official documentation written by experts, discussions in open forums are made by regular developers who write in short and informal texts, including spelling errors or abbreviations. There are three major challenges for the accurate APIs recognition and linking mentioned APIs from unstructured natural language documents to an entry in the API repository: (1) distinguishing API mentions from common words; (2) identifying API mentions without a fully qualified name; and (3) disambiguating API mentions with similar method names but in a different library. In this paper, to tackle these challenges, we propose an ARCLIN tool, which can effectively distinguish and link APIs without using human annotations. Specifically, we first design an API recognizer to automatically extract API mentions from natural language sentences by a Conditional Random Field (CRF) on the top of a Bi-directional Long Short-Term Memory (Bi-LSTM) module, then we apply a context-aware scoring mechanism to compute the mention-entry similarity for each entry in an API repository. Compared to previous approaches with heuristic rules, our proposed tool without manual inspection outperforms by 8% in a high-quality dataset Py-mention, which contains 558 mentions and 2,830 sentences from five popular Python libraries.


title: Local existence of a solution to a free boundary problem describing migration into rubber with a breaking effect

abstract: We consider a one-dimensional free boundary problem describing the migration of diffusants into rubber. In our setting, the free boundary represents the position of the front delimitating the diffusant region. The growth rate of this region is described by an ordinary differential equation that includes the effect of breaking the growth of the diffusant region. In this specific context, the breaking mechanism is assumed to be the hyperelastic response to a too fast diffusion penetration. In recent works, we considered a similar class of free boundary problems modeling diffusants penetration in rubbers, but without attempting to deal with the possibility of breaking or accelerating the occurring free boundaries. For simplified settings, we were able to show the global existence and uniqueness as well as the large-time behavior of the corresponding solutions to our formulations. Since here the breaking effect is contained in the free boundary condition, our previous results are not anymore applicable. The main mathematical obstacle in ensuring the existence of a solution is the non-monotonic structure of the free boundary. In this paper, we establish the existence and uniqueness of a weak solution to the free boundary problem with breaking effect and give explicitly the maximum value that the free boundary can reach.


title: Towards Maximizing a Perceptual Sweet Spot

abstract: The sweet spot can be interpreted as the region where acoustic sources create a spatial auditory illusion. We study the problem of maximizing this sweet spot when reproducing a desired sound wave using an array of loudspeakers. To achieve this, we introduce a theoretical framework for spatial sound perception that can be used to define a sweet spot, and we develop a method that aims to generate a sound wave that directly maximizes the sweet spot defined by a model within this framework. Our method aims to incorporate perceptual principles from the onset and is flexible: while it imposes little to no constraints on the regions of interest, the arrangement of loudspeakers or their radiation pattern, it allows for audio perception models that include state-of-the-art monaural perceptual models. Proof-of-concept experiments show that our method outperforms state-of-the-art methods when comparing them in terms of their localization and coloration properties.


title: Automatic Muscle Artifacts Identification and Removal from Single-Channel EEG Using Wavelet Transform with Meta-heuristically Optimized Non-local Means Filter

abstract: Electroencephalogram (EEG) signals may get easily contaminated by muscle artifacts, which may lead to wrong interpretation in the brain--computer interface (BCI) system as well as in various medical diagnoses. The main objective of this paper is to remove muscle artifacts without distorting the information contained in the EEG. A novel multi-stage EEG denoising method is proposed for the first time in which wavelet packet decomposition (WPD) is combined with a modified non-local means (NLM) algorithm. At first, the artifact EEG signal is identified through a pre-trained classifier. Next, the identified EEG signal is decomposed into wavelet coefficients and corrected through a modified NLM filter. Finally, the artifact-free EEG is reconstructed from corrected wavelet coefficients through inverse WPD. To optimize the filter parameters, two meta-heuristic algorithms are used in this paper for the first time. The proposed system is first validated on simulated EEG data and then tested on real EEG data. The proposed approach achieved average mutual information (MI) as 2.9684 $\pm$ 0.7045 on real EEG data. The result reveals that the proposed system outperforms recently developed denoising techniques with higher average MI, which indicates that the proposed approach is better in terms of quality of reconstruction and is fully automatic.


title: Multi-Person Passive WiFi Indoor Localization with Intelligent Reflecting Surface

abstract: The past years have witnessed increasing research interest in achieving passive human localization with commodity WiFi devices. However, due to the fundamental limited spatial resolution of WiFi signals, it is still very difficult to achieve accurate localization with existing commodity WiFi devices. To tackle this problem, in this paper, we propose to exploit the degree of freedom provided by the Intelligent Reflecting Surface (IRS), which is composed of a large number of controllable reflective elements, to modulate the spatial distribution of WiFi signals and thus break down the spatial resolution limitation of WiFi signals to achieve accurate localization. Specifically, in the single-person scenario, we derive the closed-form solution to optimally control the phase shift of the IRS elements. In the multi-person scenario, we propose a Side-lobe Cancellation Algorithm to eliminate the near-far effect to achieve accurate localization of multiple persons in an iterative manner. Extensive simulation results demonstrate that without any change to the existing WiFi infrastructure, the proposed framework can locate multiple moving persons passively with sub-centimeter accuracy under multipath interference and random noise.


title: On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

abstract: Let $F$ be a totally real field in which $p$ is unramified and $B$ be a quaternion algebra which splits at at most one infinite place. Let $\overline{r}:\mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $ \mathbb{Q}_p$ and $\overline{r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb{Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand-Kirillov dimension $1$. As an application we prove that the degree two Scholze's functor vanishes on supersingular representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We also prove some finer structure theorem about the image of Scholze's functor in the reducible case.


title: 2D Thin obstacle problem with data at infinity

abstract: In this paper, we consider the thin obstacle problem in $\mathbb{R}^2$ with data at infinity. We first prove the existence and uniqueness of it. Then we show that its symmetric solutions are actually half-space solutions. Our results are needed when classifying the half-space $(2k-\frac{1}{2})$-homogeneous solutions to the thin obstacle problems in $\mathbb{R}^3$. It is a generalization of one part of Savin-Yu's work \cite{savin2021halfspace} on classifying the half-space $\frac{7}{2}$-homogeneous solutions.


title: Challenges of Artificial Intelligence -- From Machine Learning and Computer Vision to Emotional Intelligence

abstract: Artificial intelligence (AI) has become a part of everyday conversation and our lives. It is considered as the new electricity that is revolutionizing the world. AI is heavily invested in both industry and academy. However, there is also a lot of hype in the current AI debate. AI based on so-called deep learning has achieved impressive results in many problems, but its limits are already visible. AI has been under research since the 1940s, and the industry has seen many ups and downs due to over-expectations and related disappointments that have followed. The purpose of this book is to give a realistic picture of AI, its history, its potential and limitations. We believe that AI is a helper, not a ruler of humans. We begin by describing what AI is and how it has evolved over the decades. After fundamentals, we explain the importance of massive data for the current mainstream of artificial intelligence. The most common representations for AI, methods, and machine learning are covered. In addition, the main application areas are introduced. Computer vision has been central to the development of AI. The book provides a general introduction to computer vision, and includes an exposure to the results and applications of our own research. Emotions are central to human intelligence, but little use has been made in AI. We present the basics of emotional intelligence and our own research on the topic. We discuss super-intelligence that transcends human understanding, explaining why such achievement seems impossible on the basis of present knowledge,and how AI could be improved. Finally, a summary is made of the current state of AI and what to do in the future. In the appendix, we look at the development of AI education, especially from the perspective of contents at our own university.


title: Tunable Topology and Berry Curvature Dipole in Transition Metal Dichalcogenide Janus Monolayers

abstract: Janus transition metal dichalcogenides, with intrinsic mirror asymmetry, exhibit a wide array of interesting properties. In this work, we study Janus monolayers derived from WTe$_2$ using first-principles and tight-binding calculations. We discover that WSeTe and WSTe are topologically trivial, in contrast to the parent quantum spin Hall insulator WTe$_2$. Motivated by the growing interest in non-linear Hall effect, which also requires asymmetric structures, we investigate the Berry curvature and its dipole in these Janus systems and find that they exhibit strikingly large values of Berry curvature dipole, despite being in the topologically trivial phase. We track down the origin of this behaviour and put forth a low-energy massive Dirac model to understand the central features of our ab initio computations. Our predictions introduce Janus monolayers as promising new platforms for exploring as well as engineering non-linear Hall effect.


title: Neural Network-Based Feature Extraction for Multi-Class Motor Imagery Classification

abstract: Decoding of motor imagery (MI) from Electroencephalogram (EEG) is an important component of the Brain-Computer Interface (BCI) system that helps motor-disabled people interact with the outside world via external devices. The main issue in developing the EEG based BCI is the informative confusion due to the non-stationary characteristics of EEG data. In this work, an innovative idea of transforming an EEG signal into the weight vector of an unsupervised neural network called the autoencoder is proposed for the first time to solve that problem. Separate autoencoders are trained for the individual EEG data. The weight vectors are then optimized for the individual EEG signals. The EEG signals are thus represented in a new domain that is in the form of weight vectors of the individual autoencoder. The weight vectors are then used to extract features such as autoregressive coefficients (ARs), Shannon entropy (SE), and wavelet leader. A window-based feature extraction technique is implemented to capture the local features of the EEG data. Finally, extracted features are classified using a classifier network. The proposed approach is tested on two publicly accessible EEG datasets (BCI competition-III and Competition-IV) to ensure that it is as successful as and superior to the previously published methods. The proposed technique achieves a mean accuracy of 95.33 % for dataset-IIIa from BCI-III and a mean accuracy of 97% for dataset-IIa from BCI-IV for four-class EEG-based MI classification. The experimental outcomes show that the proposed approach is a promising way to increase BCI performance.


title: Measurement of alpha induced reaction cross-sections on $^{nat}$Mo with detailed covariance analysis

abstract: In the present study we have measured the excitation functions for the nuclear reactions $^{100}$Mo($\alpha$,n)$^{103}$Ru, $^{nat}$Mo($\alpha$,x)$^{97}$Ru, $^{nat}$Mo($\alpha$,x)$^{95}$Ru, $^{nat}$Mo($\alpha$,x)$^{96g}$Tc, $^{nat}$Mo($\alpha$,x)$^{95g}$Tc and $^{nat}$Mo($\alpha$,x)$^{94g}$Tc in the energy range 11-32 MeV. We have used the stacked foil activation technique followed by off-line gamma ray spectroscopy technique to measure the excitation functions. In this study we have also documented detailed uncertainty analysis for these nuclear reactions and their corresponding covariance matrix are also presented. The excitation functions are compared with the available experimental data from EXFOR data library and the theoretical prediction from TALYS nuclear reaction code. The present measurements are found to be consistent with the available experimental data.


title: Complexity and Aesthetics in Generative and Evolutionary Art

abstract: In this paper we examine the concept of complexity as it applies to generative and evolutionary art and design. Complexity has many different, discipline specific definitions, such as complexity in physical systems (entropy), algorithmic measures of information complexity and the field of "complex systems". We apply a series of different complexity measures to three different evolutionary art datasets and look at the correlations between complexity and individual aesthetic judgement by the artist (in the case of two datasets) or the physically measured complexity of generative 3D forms. Our results show that the degree of correlation is different for each set and measure, indicating that there is no overall "better" measure. However, specific measures do perform well on individual datasets, indicating that careful choice can increase the value of using such measures. We then assess the value of complexity measures for the audience by undertaking a large-scale survey on the perception of complexity and aesthetics. We conclude by discussing the value of direct measures in generative and evolutionary art, reinforcing recent findings from neuroimaging and psychology which suggest human aesthetic judgement is informed by many extrinsic factors beyond the measurable properties of the object being judged.


title: Deterministic improvements of quantum measurements with grouping of compatible operators, non-local transformations, and covariance estimates

abstract: Obtaining the expectation value of an observable on a quantum computer is a crucial step in the variational quantum algorithms. For complicated observables such as molecular electronic Hamiltonians, a common strategy is to present the observable as a linear combination of measurable fragments. The main problem of this approach is a large number of measurements required for accurate sampling of the observable's expectation value. We consider several partitioning schemes based on grouping of commuting multi-qubit Pauli products with the goal of minimizing the number of measurements. Three main directions are explored: 1) grouping commuting operators using the greedy approach, 2) involving non-local unitary transformations for measuring, and 3) taking advantage of compatibility of some Pauli products with several measurable groups. The last direction gives rise to a general framework that not only provides improvements over previous methods but also connects measurement grouping approaches with recent advances in techniques of shadow tomography. Following this direction, we develop two new measurement schemes that achieve a severalfold reduction in the number of measurements for a set of model molecules compared to previous state-of-the-art methods.


title: A non-perturbative study of the interplay between electron-phonon interaction and Coulomb interaction in undoped graphene

abstract: In condensed-matter systems, electrons are subjected to two different interactions under certain conditions. Even if both interactions are weak, it is difficult to perform perturbative calculations due to the complexity caused by the interplay of two interactions. When one or two interactions are strong, ordinary perturbation theory may become invalid. Here we consider undoped graphene as an example and provide a non-perturbative quantum-field-theoretic analysis of the interplay of electron-phonon interaction and Coulomb interaction. We treat these two interactions on an equal footing and derive the exact Dyson-Schwinger integral equation of the full Dirac-fermion propagator. This equation depends on several complicated correlation functions and thus is difficult to handle. Fortunately, we find that these correlation functions obey a number of exact identities, which allows us to prove that the Dyson-Schwinger equation of the full fermion propagator is self-closed. After solving this self-closed equation, we obtain the renormalized velocity of Dirac fermions and show that its energy (momentum) dependence is dominantly determined by the electron-phonon (Coulomb) interaction. In particular, the renormalized velocity exhibits a logarithmic momentum dependence and a non-monotonic energy dependence.


title: Starlikeness of a product of starlike functions with non-vanishing polynomials

abstract: For a function $f$ starlike of order $\alpha$, $0\leqslant \alpha <1$, a non-constant polynomial $Q$ of degree $n$ which is non-vanishing in the unit disc $\mathbb{D}$ and $\beta>0$, we consider the function $F:\mathbb{D}\to\mathbb{C}$ defined by $F(z)=f(z) (Q(z))^{\beta /n}$ and find the largest value of $r\in (0,1]$ such that $r^{-1} F(rz)$ lies in various known subclasses of starlike functions such as the class of starlike functions of order $\lambda$, the classes of starlike functions associated with the exponential function, cardioid, a rational function, nephroid domain and modified sigmoid function. Our radii results are sharp. We also discuss the correlation with known radii results as special cases.


title: Hyperon production in quasielastic $\bar{\nu}_{\tau}-$nucleon scattering

abstract: The theoretical results for the total cross sections and polarization components of the $\tau^{+}$ lepton produced in the charged current induced $|\Delta S| = 1$ quasielastic $\bar\nu_\tau - N$ scattering leading to hyperons ($\Lambda, \Sigma$) have been presented assuming T invariance. The theoretical uncertainties arising due to the use of different vector, axial vector and pseudoscalar form factors as well as the effect of SU(3) symmetry breaking have been studied. We have also presented, for the first time, a comparison of the total cross sections for the production of $e,\mu,\tau$ leptons to facilitate the implications of lepton flavor universality~(LFU) in the $|\Delta S| = 1$ quasielastic reactions induced by the antineutrinos of all flavors i.e., $\nu_{l};~l=e,\mu,\tau$.


title: On functions starlike with respect to $n$-ply symmetric, conjugate and symmetric conjugate points

abstract: For given non-negative real numbers $\alpha_k$ with $ \sum_{k=1}^{m}\alpha_k =1$ and normalized analytic functions $f_k$, $k=1,\dotsc,m$, defined on the open unit disc, let the functions $F$ and $F_n$ be defined by $ F(z):=\sum_{k=1}^{m}\alpha_k f_k (z)$, and $F_{n}(z):=n^{-1}\sum_{j=0}^{n-1} e^{-2j\pi i/n} F(e^{2j\pi i/n} z)$. This paper studies the functions $f_k$ satisfying the subordination $zf'_{k} (z)/F_{n} (z) \prec h(z)$ where the function $h$ is a convex univalent function with positive real part. We also consider the analogues of the classes of starlike functions with respect to symmetric, conjugate, and symmetric conjugate points. Inclusion and convolution results are proved for these and related classes. Our classes generalize several well-known classes and connection with the previous works are indicated.


title: RobustCalibration: Robust Calibration of Computer Models in R

abstract: Two fundamental research tasks in science and engineering are forward predictions and data inversion. This article introduces a recent R package RobustCalibration for Bayesian data inversion and model calibration by experiments and field observations. Mathematical models for forward predictions are often written in computer code, and they can be computationally expensive slow to run. To overcome the computational bottleneck from the simulator, we implemented a statistical emulator from the RobustGaSP package for emulating both scalar-valued or vector-valued computer model outputs. Both posterior sampling and maximum likelihood approach are implemented in the RobustCalibration package for parameter estimation. For imperfect computer models, we implement Gaussian stochastic process and the scaled Gaussian stochastic process for modeling the discrepancy function between the reality and mathematical model. This package is applicable to various types of field observations, such as repeated experiments and multiple sources of measurements. We discuss numerical examples of calibrating mathematical models that have closed-form expressions, and differential equations solved by numerical methods.


title: Global-in-time Boundedness of solution for Cauchy problem to the Parabolic-Parabolic Keller-Segel system with logistic growth

abstract: We study global-in-time well-posedness and the behaviour and of the solution to Cauchy problem in the classical Keller-Segel system with logistic term \begin{equation*} \left. \aligned \partial_tn-\Delta n=&-\chi\nabla\cdot(n\nabla c)+\la n-\mu n^2 \tau\partial_tc-\Delta c=&-c+n \endaligned \right\}\quad\text{in}\,\,\,\RR^d\times\RR^+, \end{equation*} where $d\ge 1$, $\tau,\, \chi,\, \mu>0$ and $\lambda\ge 0$. It's inspired by a previous result \cite[M. Winkler, Commun. Part. Diff. Eq., 35 (2010), 1516-1537]{Win10}, where the global-in-time boundedness of the above Keller-Segel system in smooth \emph{bounded }convex domains is established for large $\mu$. However, his approach in bounded domain ceases to directly apply in the entire space $\RR^d$, and then they raised an interesting question whether a similar global-in-time boundedness statement remains true of Cauchy problem. In this paper, we answer this open problem by developing local-in-space estimates. More precisely, we prove that the above Keller-Segel system possesses a uniquely global-in-time bounded solution for any $\tau>0$ under the assumption that $\mu$ is large. The key point of our proof heavily relies on localization in space of solution caused by "local effect" of $L^\infty(\RR^d)$-norm.


title: Dust entrainment in magnetically and thermally driven disk winds

abstract: Magnetically and thermally driven disk winds have gained popularity in the light of the current paradigm of low viscosities in protoplanetary disks that nevertheless present large accretion rates even in the presence of inner cavities. The possibility of dust entrainment in these winds may explain recent scattered light observations and constitutes a way of dust transport towards outer regions of the disk. We aim to study the dust dynamics in these winds and explore the differences between photoevaporation and magnetically driven disk winds in this regard. We quantify maximum entrainable grain sizes, the flow angle, and the general detectability. We used the FARGO3D code to perform global, 2.5D axisymmetric, nonideal MHD simulations including ohmic and ambipolar diffusion. Dust was treated as a pressureless fluid. Synthetic observations were created with the radiative transfer code RADMC-3D. We find a significant difference in the dust entrainment efficiency of warm, ionized winds such as photoevaporation and magnetic winds including X-ray and extreme ultraviolet (XEUV) heating compared to cold magnetic winds. The maximum entrainable grain size varies from $3\,\mu\mathrm{m}$ to $6\,\mu\mathrm{m}$ for ionized winds to $1\,\mu\mathrm{m}$ for cold magnetic winds. Dust grains in cold magnetic winds tend to flow along a shallower angle compared to the warm winds. With increasing distance to the central star, the dust entrainment efficiency decreases. Larger values of the turbulent viscosity increase the maximum grain size radius of possible dust entrainment. Our simulations indicate that diminishing dust content in the outer regions of the wind can be mainly attributed to the dust settling in the disk. In the synthetic images, the dusty wind appears as a faint, conical emission region which is brighter for a cold magnetic wind.


title: Gradient-based Bit Encoding Optimization for Noise-Robust Binary Memristive Crossbar

abstract: Binary memristive crossbars have gained huge attention as an energy-efficient deep learning hardware accelerator. Nonetheless, they suffer from various noises due to the analog nature of the crossbars. To overcome such limitations, most previous works train weight parameters with noise data obtained from a crossbar. These methods are, however, ineffective because it is difficult to collect noise data in large-volume manufacturing environment where each crossbar has a large device/circuit level variation. Moreover, we argue that there is still room for improvement even though these methods somewhat improve accuracy. This paper explores a new perspective on mitigating crossbar noise in a more generalized way by manipulating input binary bit encoding rather than training the weight of networks with respect to noise data. We first mathematically show that the noise decreases as the number of binary bit encoding pulses increases when representing the same amount of information. In addition, we propose Gradient-based Bit Encoding Optimization (GBO) which optimizes a different number of pulses at each layer, based on our in-depth analysis that each layer has a different level of noise sensitivity. The proposed heterogeneous layer-wise bit encoding scheme achieves high noise robustness with low computational cost. Our experimental results on public benchmark datasets show that GBO improves the classification accuracy by ~5-40% in severe noise scenarios.


title: Control of a Soft Robotic Arm Using a Piecewise Universal Joint Model

abstract: The 'infinite' passive degrees of freedom of soft robotic arms render their control especially challenging. In this paper, we leverage a previously developed model, which drawing equivalence of the soft arm to a series of universal joints, to design two closed-loop controllers: a configuration space controller for trajectory tracking and a task space controller for position control of the end effector. Extensive experiments and simulations on a four-segment soft arm attest to substantial improvement in terms of: a) superior tracking accuracy of the configuration space controller and b) reduced settling time and steady-state error of the task space controller. The task space controller is also verified to be effective in the presence of interactions between the soft arm and the environment.


title: Quandles over a hyperboloid of one sheet and the longitudinal mapping knot invariant for $SL(2,\mathbb{R})$

abstract: This paper aims to consider algebraic structures of quandles defined over a hyperboloid of one sheet and compute the related longitudinal mapping for $SL(2,\mathbb{R})$.


title: Fundamental and vortex dissipative quadratic solitons supported by spatially localized gain

abstract: We consider settings providing the existence of stable two-dimensional (2D) dissipative solitons with zero and nonzero vorticity in optical media with the quadratic ($\chi^{(2)}$) nonlinearity. To compensate the spatially uniform loss in both the fundamental-frequency (FF) and second-harmonic (SH) components of the system, a strongly localized amplifying region ("hot spot",HS), carrying the linear gain, is included, acting onto either the FF component or SH one. In both cases, the Gaussian radial gain profile supports stable fundamental dissipative solitons pinned to the HS. The structure of existence and stability domains for the 2D solitons is rather complex. They demonstrate noteworthy features, such as bistability and spontaneous symmetry breaking. A ring-shaped gain profile acting onto the FF component supports stable vortex solitons, with the winding number up to 5, and multipoles. Nontrivial transformation of vortex-soliton profiles upon either growth of the gain value or stretching the gain profile is observed.


title: Risk Bounded Nonlinear Robot Motion Planning With Integrated Perception & Control

abstract: Robust autonomy stacks require tight integration of perception, motion planning, and control layers, but these layers often inadequately incorporate inherent perception and prediction uncertainties, either ignoring them altogether or making questionable assumptions of Gaussianity. Robots with nonlinear dynamics and complex sensing modalities operating in an uncertain environment demand more careful consideration of how uncertainties propagate across stack layers. We propose a framework to integrate perception, motion planning, and control by explicitly incorporating perception and prediction uncertainties into planning so that risks of constraint violation can be mitigated. Specifically, we use a nonlinear model predictive control based steering law coupled with a decorrelation scheme based Unscented Kalman Filter for state and environment estimation to propagate the robot state and environment uncertainties. Subsequently, we use distributionally robust risk constraints to limit the risk in the presence of these uncertainties. Finally, we present a layered autonomy stack consisting of a nonlinear steering-based distributionally robust motion planning module and a reference trajectory tracking module. Our numerical experiments with nonlinear robot models and an urban driving simulator show the effectiveness of our proposed approaches.


title: Shadow of Non-singular Rotating Magnetic Monopole in Perfect Fluid Dark matter

abstract: Bardeen proposed a gravitationally collapsing magnetic monopole black hole solution which is free of singularity. In this article, we have studied the size and shape of the rotating Bardeen blackhole shadow in presence of perfect fluid dark matter. we have discussed how the parameters such a spin, magnetic monopole charge and influence of dark matter affects the shadow of our blackhole. The apparent shape of the blackhole was studied by using two observables, the radius Rs and the distortion parameter R_s. Further the blackhole emission rate is also studied, we found out that for rotating Bardeen in PFDM ,For a constant monopole charge, the emission rate increases with increase in dark matter parameter, the emission rate decreases with increase in magnetic charge and spin.


title: Exploiting Temporal Side Information in Massive IoT Connectivity

abstract: This paper considers the joint device activity detection and channel estimation problem in a massive Internet of Things (IoT) connectivity system, where a large number of IoT devices exist but merely a random subset of them become active for short-packet transmission in each coherence block. In particular, we propose to leverage the temporal correlation in device activity, e.g., a device active in the previous coherence block is more likely to be still active in the current coherence block, to improve the detection and estimation performance. However, it is challenging to utilize this temporal correlation as side information (SI), which relies on the knowledge about the exact statistical relation between the estimated activity pattern for the previous coherence block (which may be imperfect with unknown error) and the true activity pattern in the current coherence block. To tackle this challenge, we establish a novel SI-aided multiple measurement vector approximate message passing (MMV-AMP) framework. Specifically, thanks to the state evolution of the MMV-AMP algorithm, the correlation between the activity pattern estimated by the MMV-AMP algorithm in the previous coherence block and the real activity pattern in the current coherence block is quantified explicitly. Based on the well-defined temporal correlation, we further manage to embed this useful SI into the denoiser design under the MMV-AMP framework. Specifically, the SI-based soft-thresholding denoisers with binary thresholds and the SI-based minimum mean-squared error (MMSE) denoisers are characterized for the cases without and with the knowledge of the channel distribution, respectively. Numerical results are given to show the significant gain in device activity detection and channel estimation performance brought by our proposed SI-aided MMV-AMP framework.


title: Sign Language Recognition System using TensorFlow Object Detection API

abstract: Communication is defined as the act of sharing or exchanging information, ideas or feelings. To establish communication between two people, both of them are required to have knowledge and understanding of a common language. But in the case of deaf and dumb people, the means of communication are different. Deaf is the inability to hear and dumb is the inability to speak. They communicate using sign language among themselves and with normal people but normal people do not take seriously the importance of sign language. Not everyone possesses the knowledge and understanding of sign language which makes communication difficult between a normal person and a deaf and dumb person. To overcome this barrier, one can build a model based on machine learning. A model can be trained to recognize different gestures of sign language and translate them into English. This will help a lot of people in communicating and conversing with deaf and dumb people. The existing Indian Sing Language Recognition systems are designed using machine learning algorithms with single and double-handed gestures but they are not real-time. In this paper, we propose a method to create an Indian Sign Language dataset using a webcam and then using transfer learning, train a TensorFlow model to create a real-time Sign Language Recognition system. The system achieves a good level of accuracy even with a limited size dataset.


title: Harmonics Virtual Lights : fast projection of luminance field on spherical harmonics for efficient rendering

abstract: In this paper, we introduce Harmonics Virtual Lights (HVL), to model indirect light sources for interactive global illumination of dynamic 3D scenes. Virtual Point Lights (VPL) are an efficient approach to define indirect light sources and to evaluate the resulting indirect lighting. Nonetheless, VPL suffer from disturbing artifacts, especially with high frequency materials. Virtual Spherical Lights (VSL) avoid these artifacts by considering spheres instead of points but estimates the lighting integral using Monte Carlo which results to noise in the final image. We define HVL as an extension of VSL in a Spherical Harmonics (SH) framework, defining a closed form of the lighting integral evaluation. We propose an efficient SH projection of spherical lights contribution faster than existing methods. Computing the outgoing luminance requires $\mathcal{O}(n)$ operations when using materials with circular symmetric lobes, and $\mathcal{O}(n^2)$ operations for the general case, where $n$ is the number of SH bands. HVL can be used with either parametric or measured BRDF without extra cost and offers control over rendering time and image quality, by either decreasing or increasing the band limit used for SH projection. Our approach is particularly well designed to render medium-frequency one-bounce global illumination with arbitrary BRDF in interactive time.


title: Exemplar-free Class Incremental Learning via Discriminative and Comparable One-class Classifiers

abstract: The exemplar-free class incremental learning requires classification models to learn new class knowledge incrementally without retaining any old samples. Recently, the framework based on parallel one-class classifiers (POC), which trains a one-class classifier (OCC) independently for each category, has attracted extensive attention, since it can naturally avoid catastrophic forgetting. POC, however, suffers from weak discriminability and comparability due to its independent training strategy for different OOCs. To meet this challenge, we propose a new framework, named Discriminative and Comparable One-class classifiers for Incremental Learning (DisCOIL). DisCOIL follows the basic principle of POC, but it adopts variational auto-encoders (VAE) instead of other well-established one-class classifiers (e.g. deep SVDD), because a trained VAE can not only identify the probability of an input sample belonging to a class but also generate pseudo samples of the class to assist in learning new tasks. With this advantage, DisCOIL trains a new-class VAE in contrast with the old-class VAEs, which forces the new-class VAE to reconstruct better for new-class samples but worse for the old-class pseudo samples, thus enhancing the comparability. Furthermore, DisCOIL introduces a hinge reconstruction loss to ensure the discriminability. We evaluate our method extensively on MNIST, CIFAR10, and Tiny-ImageNet. The experimental results show that DisCOIL achieves state-of-the-art performance.


title: The $\Lambda(1405)$ resonance as a genuine three-quark or molecular state

abstract: The mechanism for the formation of the $\Lambda(1405)$ resonance is studied in a chiral quark model that includes quark-meson as well as contact (four point) interactions. The negative-parity $S$-wave scattering amplitudes for strangeness $-1$ and $1$ are calculated within a unified coupled-channel framework that includes the $KN$, $\bar{K}N$, $\pi\Sigma$, $\eta\Lambda$, $K\Xi$, $\pi\Lambda$, and $\eta\Sigma$ channels and possible genuine three-quark bare singlet and octet states corresponding to $\frac12^-$ resonances. We show that in order to reproduce the scattering amplitudes in the $S_{01}$ partial wave it is important to include the pertinent three-quark octet states as well as the singlet state, while the inclusion of the contact term is not mandatory. The Laurent-Pietarinen expansion is used to determine the $S$-matrix poles. Following their evolution as a function of increasing interaction strength, the mass of the singlet state is strongly reduced due to the attractive self-energy in the $\pi\Sigma$ and $\bar{K}N$ channels; when it drops below the $KN$ threshold, the state acquires a dominant $\bar{K}N$ component which can be identified with a molecular state. The attraction between the kaon and the nucleon is generated through the $\bar{K}N\Lambda^*$ interaction rather than by meson-nucleon forces.


title: Debiased Learning from Naturally Imbalanced Pseudo-Labels

abstract: Pseudo-labels are confident predictions made on unlabeled target data by a classifier trained on labeled source data. They are widely used for adapting a model to unlabeled data, e.g., in a semi-supervised learning setting. Our key insight is that pseudo-labels are naturally imbalanced due to intrinsic data similarity, even when a model is trained on balanced source data and evaluated on balanced target data. If we address this previously unknown imbalanced classification problem arising from pseudo-labels instead of ground-truth training labels, we could remove model biases towards false majorities created by pseudo-labels. We propose a novel and effective debiased learning method with pseudo-labels, based on counterfactual reasoning and adaptive margins: The former removes the classifier response bias, whereas the latter adjusts the margin of each class according to the imbalance of pseudo-labels. Validated by extensive experimentation, our simple debiased learning delivers significant accuracy gains over the state-of-the-art on ImageNet-1K: 26% for semi-supervised learning with 0.2% annotations and 9% for zero-shot learning. Our code is available at: https://github.com/frank-xwang/debiased-pseudo-labeling.


title: A Conjecture of Kozlov from the 1998 Proceedings of the American Mathematical Society: Non-Evasive Order Complexes and Generalizations of Non-Complemented Lattices

abstract: Let $P$ be a finite poset with an element $s$ such that (1) for all $x\in P$, either $s\vee x$ or $s\wedge x$ exists; and (2) for all $x,y\in P$ such that $x<y$, if $s\wedge x$ does not exist but $s\wedge y$ does exist, then $(s\wedge y)\vee x$ exists. Kozlov, the winner of the 2005 European Prize in Combinatorics ("for deep combinatorial results obtained by algebraic topology and particularly for the solution of a conjecture of Lov\'asz"), conjectured in the 1998 Proceedings of the American Mathematical Society that the order complex of $P$ is non-evasive. We prove this conjecture.


title: FAVER: Blind Quality Prediction of Variable Frame Rate Videos

abstract: Video quality assessment (VQA) remains an important and challenging problem that affects many applications at the widest scales. Recent advances in mobile devices and cloud computing techniques have made it possible to capture, process, and share high resolution, high frame rate (HFR) videos across the Internet nearly instantaneously. Being able to monitor and control the quality of these streamed videos can enable the delivery of more enjoyable content and perceptually optimized rate control. Accordingly, there is a pressing need to develop VQA models that can be deployed at enormous scales. While some recent effects have been applied to full-reference (FR) analysis of variable frame rate and HFR video quality, the development of no-reference (NR) VQA algorithms targeting frame rate variations has been little studied. Here, we propose a first-of-a-kind blind VQA model for evaluating HFR videos, which we dub the Framerate-Aware Video Evaluator w/o Reference (FAVER). FAVER uses extended models of spatial natural scene statistics that encompass space-time wavelet-decomposed video signals, to conduct efficient frame rate sensitive quality prediction. Our extensive experiments on several HFR video quality datasets show that FAVER outperforms other blind VQA algorithms at a reasonable computational cost. To facilitate reproducible research and public evaluation, an implementation of FAVER is being made freely available online: \url{https://github.com/uniqzheng/HFR-BVQA}.


title: Decision trees for binary subword-closed languages

abstract: In this paper, we study arbitrary subword-closed languages over the alphabet $\{0,1\}$ (binary subword-closed languages). For the set of words $L(n)$ of the length $n$ belonging to a binary subword-closed language $L$, we investigate the depth of decision trees solving the recognition and the membership problems deterministically and nondeterministically. In the case of recognition problem, for a given word from $L(n)$, we should recognize it using queries each of which, for some $i\in \{1,\ldots ,n\}$, returns the $i$th letter of the word. In the case of membership problem, for a given word over the alphabet $\{0,1\}$ of the length $n$, we should recognize if it belongs to the set $L(n)$ using the same queries. With the growth of $n$, the minimum depth of decision trees solving the problem of recognition deterministically is either bounded from above by a constant, or grows as a logarithm, or linearly. For other types of trees and problems (decision trees solving the problem of recognition nondeterministically, and decision trees solving the membership problem deterministically and nondeterministically), with the growth of $n$, the minimum depth of decision trees is either bounded from above by a constant or grows linearly. We study joint behavior of minimum depths of the considered four types of decision trees and describe five complexity classes of binary subword-closed languages.


title: Improving Object Detection, Multi-object Tracking, and Re-Identification for Disaster Response Drones

abstract: We aim to detect and identify multiple objects using multiple cameras and computer vision for disaster response drones. The major challenges are taming detection errors, resolving ID switching and fragmentation, adapting to multi-scale features and multiple views with global camera motion. Two simple approaches are proposed to solve these issues. One is a fast multi-camera system that added a tracklet association, and the other is incorporating a high-performance detector and tracker to resolve restrictions. (...) The accuracy of our first approach (85.71%) is slightly improved compared to our baseline, FairMOT (85.44%) in the validation dataset. In the final results calculated based on L2-norm error, the baseline was 48.1, while the proposed model combination was 34.9, which is a great reduction of error by a margin of 27.4%. In the second approach, although DeepSORT only processes a quarter of all frames due to hardware and time limitations, our model with DeepSORT (42.9%) outperforms FairMOT (71.4%) in terms of recall. Both of our models ranked second and third place in the `AI Grand Challenge' organized by the Korean Ministry of Science and ICT in 2020 and 2021, respectively. The source codes are publicly available at these URLs (github.com/mlvlab/drone_ai_challenge, github.com/mlvlab/Drone_Task1, github.com/mlvlab/Rony2_task3, github.com/mlvlab/Drone_task4).


title: Search for binary black hole mergers in the third observing run of Advanced LIGO-Virgo using coherent WaveBurst enhanced with machine learning

abstract: In this work, we use the coherent WaveBurst (cWB) pipeline enhanced with machine learning (ML) to search for binary black hole (BBH) mergers in the Advanced LIGO-Virgo strain data from the third observing run (O3). We detect, with equivalent or higher significance, all gravitational-wave (GW) events previously reported by the standard cWB search for BBH mergers in the third GW Transient Catalog (GWTC-3). The ML-enhanced cWB search identifies five additional GW candidate events from the catalog that were previously missed by the standard cWB search. Moreover, we identify three marginal candidate events not listed in GWTC-3. For simulated events distributed uniformly in a fiducial volume, we improve the detection efficiency with respect to the standard cWB search by approximately $20\%$ for both stellar-mass and intermediate mass black hole binary mergers, detected with a false-alarm rate less than $1\,\mathrm{yr}^{-1}$. We show the robustness of the ML-enhanced search for detection of generic BBH signals by reporting increased sensitivity to the spin-precessing and eccentric BBH events as compared to the standard cWB search. Furthermore, we compare the improvement of the ML-enhanced cWB search for different detector networks.


title: An MISOCP-Based Decomposition Approach for the Unit Commitment Problem with AC Power Flows

abstract: Unit Commitment (UC) and Optimal Power Flow (OPF) are two fundamental problems in short-term electric power systems planning that are traditionally solved sequentially. The state-of-the-art mostly uses a direct current flow approximation of the power flow equations in the UC-level and the generator commitments obtained are sent as input to the OPF-level. However, such an approach can yield infeasible or suboptimal generator schedules. In this paper, we aim to simultaneously solve the UC Problem with alternating current (AC) power flow equations, which combines the challenging nature of both UC and OPF problems. Due to the highly nonconvex nature of the AC flow equations, we utilize the mixed-integer second-order cone programming (MISOCP) relaxation of the UC Problem as the basis of our solution approach. For smaller instances, we develop two different algorithms that exploit the recent advances in the OPF literature and obtain high-quality feasible solutions with provably small optimality gaps. For larger instances, we propose a novel Lagrangian decomposition based approach that yields promising results.


title: Self-dual 2-quasi-cyclic Codes and Dihedral Codes

abstract: We characterize the structure of 2-quasi-cyclic codes over a finite field F by the so-called Goursat Lemma. With the characterization, we exhibit a necessary and sufficient condition for a 2-quasi-cyclic code being a dihedral code. And we obtain a necessary and sufficient condition for a self-dual 2-quasi-cyclic code being a dihedral code (if charF = 2), or a consta-dihedral code (if charF odd). As a consequence, any self-dual 2-quasi-cyclic code generated by one element must be (consta-)dihedral. In particular, any self-dual double circulant code must be (consta-)dihedral. Also, we show a necessary and sufficient condition that the three classes (the self-dual double circulant codes, the self-dual 2-quasi-cyclic codes, and the self-dual (consta-)dihedral codes) are coincide each other.


title: Equatorial orbits of spinning test particle in rotating boson star

abstract: In this paper, we study the circular orbit of the spinning test particle in the background of a rotating boson star. Using the pole-dipole approximation and neglecting the back-reaction of the spinning test particle on the spacetime, the equation of motion of the spinning test particle is described by the Mathisson-Papapetrou-Dixon equation. We solve this equation under the Tulczyjew spin-supplementary condition and obtain the four-momentum and four-velocity of the spinning test particle. Quite different from the spinless particle, the effective potential of the spinning particle with zero orbital angular momentum goes to infinite at the center of the rotating boson star. This will lead to the fact that the spinning particle can not pass through the center of the boson star. However, when the spin angular momentum and orbital angular momentum satisfy $2\bar{s}+\bar{l}=0$, the effective potential is not divergent anymore and the spinning particle can pass through the center of the rotating boson star. {We still investigate how the spin affects the structure of the circular orbits and we find that the spin will induce the larger or smaller regions of no circular orbits, unstable circular orbits, and stable circular orbits.} Moreover, the radius and energy of the circular orbit will be decreased or increased by the particle spin. These results will have an important application in testing the gravitational waves in the boson star background.


title: A diagrammatical characterization of Milnor invariants

abstract: The goal of this paper is to give a diagrammatical characterization of the information given by the Milnor invariants of links and string links. More precisely, we describe when two string links have equal Milnor invariants of length $\leq q$ and when a link has trivial Milnor invariants of lenght $\leq q$. This will be done through the use of welded knot theory, involving the notions of arrow calculus and $w_q$--concordance introduced by J-B. Meilhan and A. Yasuhara. These results is to be compared to the classification of links up to $C_q$--concordance obtained by J. Conant, R. Schneiderman and P. Teichner.


title: A Double-Spring Model for Nanoparticle Diffusion in a Polymer Network

abstract: The transport of nanoparticles (NPs) in polymer networks, as a typical simplified model describing various structures in living systems, is profoundly important in biomedical engineering and nanotechnology. Predicting the effective diffusivity of NP confined in an ordered network has been an intriguing focus in this frontier field. In the present study, the diffusion of NPs in an unentangled polymer network for different NP radii and network stiffness is numerically investigated by single particle dissipative particle dynamics (DPD). It is found that, the deformation due to the junction deviation contributes significantly to the the potential barrier $U$ for the NP to overcome during hopping, and it is dominated over the strain energy induced by loop stretching for larger NPs and lower network rigidity. Analyses based on the theory of continuum mechanics reveal that the relation between this deformed energy and the junction deviation can be described by a non-linear spring. Taking into account both effects of the loop stretching and junction deviation, a double-spring model is proposed to characterize the diffusivity of the NPs in the ordered network. The theoretical prediction is in good agreement with our numerical simulations, and qualitatively consistent with the investigations available. This model is helpful to improve our understanding on the dynamic behavior of nanoparticle in complex biological environment, and provide theoretical guidance in designing biomedical applications.


title: Rethinking Depth Estimation for Multi-View Stereo: A Unified Representation

abstract: Depth estimation is solved as a regression or classification problem in existing learning-based multi-view stereo methods. Although these two representations have recently demonstrated their excellent performance, they still have apparent shortcomings, e.g., regression methods tend to overfit due to the indirect learning cost volume, and classification methods cannot directly infer the exact depth due to its discrete prediction. In this paper, we propose a novel representation, termed Unification, to unify the advantages of regression and classification. It can directly constrain the cost volume like classification methods, but also realize the sub-pixel depth prediction like regression methods. To excavate the potential of unification, we design a new loss function named Unified Focal Loss, which is more uniform and reasonable to combat the challenge of sample imbalance. Combining these two unburdened modules, we present a coarse-to-fine framework, that we call UniMVSNet. The results of ranking first on both DTU and Tanks and Temples benchmarks verify that our model not only performs the best but also has the best generalization ability.


title: Magnetic ring chains with vertex coupling of a preferred orientation

abstract: We discuss spectral properties of an periodic quantum graph consisting of an array of rings coupled either tightly or loosely through connecting links, assuming that the vertex coupling is manifestly non-invariant with respect to the time reversal and a homogeneous magnetic field perpendicular to the graph plane is present. It is shown that the vertex parity determines the spectral behavior at high energies and the Band-Berkolaiko universality holds whenever the edges are incommensurate. The magnetic field influences the probability that an energy belongs to the spectrum in the tight-chain case, and also it can turn some spectral bands into infinitely degenerate eigenvalues.


title: Towards Uniform Point Distribution in Feature-preserving Point Cloud Filtering

abstract: As a popular representation of 3D data, point cloud may contain noise and need to be filtered before use. Existing point cloud filtering methods either cannot preserve sharp features or result in uneven point distribution in the filtered output. To address this problem, this paper introduces a point cloud filtering method that considers both point distribution and feature preservation during filtering. The key idea is to incorporate a repulsion term with a data term in energy minimization. The repulsion term is responsible for the point distribution, while the data term is to approximate the noisy surfaces while preserving the geometric features. This method is capable of handling models with fine-scale features and sharp features. Extensive experiments show that our method yields better results with a more uniform point distribution ($5.8\times10^{-5}$ Chamfer Distance on average) in seconds.


title: Novel framework for the three-dimensional NLTE inverse problem

abstract: The inversion of spectropolarimetric observations of the solar upper atmosphere is one of the most challenging goals in solar physics. If we account for all relevant ingredients of the spectral line formation process, such as the three-dimensional (3D) radiative transfer out of local thermodynamic equilibrium (NLTE), the task becomes extremely computationally expensive. Instead of generalizing 1D methods to 3D, we have developed a new approach to the inverse problem. In our meshfree method, we do not consider the requirement of 3D\,NLTE consistency as an obstacle, but as a natural regularization with respect to the traditional pixel-by-pixel methods. This leads to more robust and less ambiguous solutions. We solve the 3D\,NLTE inverse problem as an unconstrained global minimization problem that avoids repetitive evaluations of the $\Lambda$ operator. Apart from the 3D\,NLTE consistency, the method allows us to easily include additional conditions of physical consistency such as the zero divergence of the magnetic field. Stochastic ingredients make the method less prone to ending up within the local minima of the loss function. Our method is capable of solving the inverse problem faster by several orders of magnitude than by using grid-based methods. The method can provide accurate and physically consistent results if sufficient computing time is available, along with approximate solutions in the case of very complex plasma structures or limited computing time.


title: Transmission-Constrained Consensus of Multiagent Networks

abstract: This paper studies the consensus problem for multiagent systems with transmission constraints. A novel model of multiagent systems is proposed where the information transmissions between agents are disturbed by irregular distortions or interferences (named transmission constraint functions), and this model is universal which can be applied in many cases, such as interval consensus and discarded consensus. In the transmission-constrained consensus problem, we obtain the necessary and sufficient condition that agents can converge to state consensus. Furthermore, a more general case is studied in which the system reaches an equilibrium. Based on some techniques of algebraic topology and stability theory, the existence, uniqueness and stability of the system equilibrium point can be proven, which means the system can reach an asymptotically stable equilibrium. Moreover, the state values of the equilibrium are only decided by the network structure and transmission constraint functions, but not the agents' initial states. Finally, numerical simulations are presented to illustrate the proposed theorems and corollaries.


title: A novel approach to radially global gyrokinetic simulation using the flux-tube code $\texttt{stella}$

abstract: A novel approach to global gyrokinetic simulation is implemented in the flux-tube code $\texttt{stella}$. This is done by using a subsidiary expansion of the gyrokinetic equation in the perpendicular scale length of the turbulence, originally derived by Parra and Barnes [Plasma Phys. Controlled Fusion, $\textbf{57}$ 054003, 2015], which allows the use of Fourier basis functions while enabling the effect of radial profile variation to be included in a perturbative way. Radial variation of the magnetic geometry is included by utilizing a global extension of the Grad-Shafranov equation and the Miller equilibrium equations which is obtained through Taylor expansion. Radial boundary conditions that employ multiple flux-tube simulations are also developed, serving as a more physically motivated replacement to the conventional Dirichlet radial boundary conditions that are used in global simulation. It is shown that these new boundary conditions eliminate much of the numerical artefacts generated near the radial boundary when expressing a non-periodic function using a spectral basis. We then benchmark the new approach both linearly and nonlinearly using a number of standard test cases.


title: Notes on regular holonomic $D$-modules for algebraic geometers

abstract: We explain a formalism of regular holonomic $D$-modules for algebraic geometers using the distinguished triangles associated with algebraic local cohomology together with meromorphic Deligne extensions of local systems as well as the dual functor.


title: High-dimensional variable selection with heterogeneous signals: A precise asymptotic perspective

abstract: We study the problem of exact support recovery for high-dimensional sparse linear regression under independent Gaussian design when the signals are weak, rare, and possibly heterogeneous. Under a suitable scaling of the sample size and signal sparsity, we fix the minimum signal magnitude at the information-theoretic optimal rate and investigate the asymptotic selection accuracy of best subset selection (BSS) and marginal screening (MS) procedures. We show that despite the ideal setup, somewhat surprisingly, marginal screening can fail to achieve exact recovery with probability converging to one in the presence of heterogeneous signals, whereas BSS enjoys model consistency whenever the minimum signal strength is above the information-theoretic threshold. To mitigate the computational intractability of BSS, we also propose an efficient two-stage algorithmic framework called ETS (Estimate Then Screen) comprised of an estimation step and gradient coordinate screening step, and under the same scaling assumption on sample size and sparsity, we show that ETS achieves model consistency under the same information-theoretic optimal requirement on the minimum signal strength as BSS. Finally, we present a simulation study comparing ETS with LASSO and marginal screening. The numerical results agree with our asymptotic theory even for realistic values of the sample size, dimension and sparsity.


title: ADRA: Extending Digital Computing-in-Memory with Asymmetric Dual-Row-Activation

abstract: Computing in-memory (CiM) has emerged as an attractive technique to mitigate the von-Neumann bottleneck. Current digital CiM approaches for in-memory operands are based on multi-wordline assertion for computing bit-wise Boolean functions and arithmetic functions such as addition. However, most of these techniques, due to the many-to-one mapping of input vectors to bitline voltages, are limited to CiM of commutative functions, leaving out an important class of computations such as subtraction. In this paper, we propose a CiM approach, which solves the mapping problem through an asymmetric wordline biasing scheme, enabling (a) simultaneous single-cycle memory read and CiM of primitive Boolean functions (b) computation of any Boolean function and (c) CiM of non-commutative functions such as subtraction and comparison. While the proposed technique is technology-agnostic, we show its utility for ferroelectric transistor (FeFET)-based non-volatile memory. Compared to the standard near-memory methods (which require two full memory accesses per operation), we show that our method can achieve a full scale two-operand digital CiM using just one memory access, leading to a 23.2% - 72.6% decrease in energy-delay product (EDP).


title: Bounds for the volume of the solutions to a system on the annulus

abstract: We consider an elliptic system with regular H{\"o}lderian weight and exponential nonlinearity or with weight and boundary singularity, and, Dirichlet condition. We prove the boundedness of the volume of the solutions to those systems on the annulus.


title: The long road to calibrated prediction uncertainty in computational chemistry

abstract: Uncertainty quantification (UQ) in computational chemistry (CC) is still in its infancy. Very few CC methods are designed to provide a confidence level on their predictions, and most users still rely improperly on the mean absolute error as an accuracy metric. The development of reliable uncertainty quantification methods is essential, notably for computational chemistry to be used confidently in industrial processes. A review of the CC-UQ literature shows that there is no common standard procedure to report nor validate prediction uncertainty. I consider here analysis tools using concepts (calibration and sharpness) developed in meteorology and machine learning for the validation of probabilistic forecasters. These tools are adapted to CC-UQ and applied to datasets of prediction uncertainties provided by composite methods, Bayesian Ensembles methods, machine learning and a posteriori statistical methods.


title: Quantifying the threshold phenomena for propagation in nonlocal diffusion equations

abstract: We are interested in the threshold phenomena for propagation in nonlocal diffusion equations with some compactly supported initial data. In the so-called bistable and ignition cases, we provide the first quantitative estimates for such phenomena. The outcomes dramatically depend on the tails of the dispersal kernel and can take a large variety of different forms. The strategy is to combine sharp estimates of the tails of the sum of i.i.d. random variables (coming, in particular, from large deviation theory) and the construction of accurate sub-and super-solutions.


title: The structure of $^{36}$Ca under the Coulomb magnifying glass

abstract: Detailed spectroscopy of the neutron-deficient nucleus $^{36}$Ca was obtained up to 9 MeV using the $^{37}$Ca($p$,$d$)$^{36}$Ca and the $^{38}$Ca($p$,$t$)$^{36}$Ca transfer reactions. The radioactive nuclei, produced by the LISE spectrometer at GANIL, interacted with the protons of the liquid Hydrogen target CRYPTA, to produce light ejectiles (the deuteron $d$ or triton $t$) that were detected in the MUST2 detector array, in coincidence with the heavy residues %identified by a zero degree detection system. %States have been measured up to 9 MeV. Our main findings are: i) a similar shift in energy for the 1$^+_1$ and 2$^+_1$ states by about -250 keV, as compared to the mirror nucleus $^{36}$S, ii) the discovery of an intruder 0$^+_2$ state at 2.83(13) MeV, which appears below the first 2$^+$ state, in contradiction with the situation in $^{36}$S, and iii) a tentative 0$^+_3$ state at 4.83(17) MeV, proposed to exhibit a bubble structure with two neutron vacancies in the 2s$_{1/2}$ orbit. The inversion between the 0$^+_2$ and 2$^+_1$ states is due to the large mirror energy difference (MED) of -516(130) keV for the former. This feature is reproduced by Shell Model (SM) calculations, using the $sd$-$pf$ valence space, predicting an almost pure intruder nature for the 0$^+_2$ state, with two protons (neutrons) being excited across the $Z$=20 magic closure in $^{36}$Ca ($^{36}$S). This mirror system has the largest MEDs ever observed, if one excludes the few cases induced by the effect of the continuum.


title: Local limit theorem for complex valued sequences

abstract: In this article, we study the pointwise asymptotic behavior of iterated convolutions on the one dimensional lattice Z. We generalize the so-called local limit theorem in probability theory to complex valued sequences. A sharp rate of convergence towards an explicitly computable attractor is proved together with a generalized Gaussian bound for the asymptotic expansion up to any order of the iterated convolution.


title: The oscillating random walk on $\mathbb{Z}$

abstract: The paper is concerned with a new approach for the recurrence property of the oscillating process on $\mathbb{Z}$ in Kemperman's sense. In the case when the random walk is ascending on $\mathbb{Z}^-$ and descending on $\mathbb{Z}^+$, we determine the invariant measure of the embedded process of successive crossing times and then prove a necessary and sufficient condition for recurrence. Finally, we make use of this result to show that the general oscillating process is recurrent under some H{\"o}lder-typed moment assumptions.


title: Approximate null-controllability with uniform cost for the hypoelliptic Ornstein-Uhlenbeck equations

abstract: We prove that the approximate null-controllability with uniform cost of the hypoelliptic Ornstein-Uhlenbeck equations posed on $\mathbb R^n$ is characterized by an integral thickness geometric condition on the control supports. We also provide associated quantitative weak observability estimates. This result for the hypoelliptic Ornstein-Uhlenbeck equations is deduced from the same study for a large class of non-autonomous elliptic equations from moving control supports. We generalize in particular results known for parabolic equations posed on $\mathbb R^n$, for which the approximate null-controllability with uniform cost is ensured by the notion of thickness, which is stronger that the integral thickness condition considered in the present work. Examples of those parabolic equations are the fractional heat equations associated with the operator $(-\Delta)^s$, in the regime $s\geq1/2$. Our strategy also allows to characterize the approximate null-controllability with uniform cost from moving control supports for this class of fractional heat equations.