title: Federated Adversarial Learning: A Framework with Convergence Analysis

abstract: Federated learning (FL) is a trending training paradigm to utilize decentralized training data. FL allows clients to update model parameters locally for several epochs, then share them to a global model for aggregation. This training paradigm with multi-local step updating before aggregation exposes unique vulnerabilities to adversarial attacks. Adversarial training is a popular and effective method to improve the robustness of networks against adversaries. In this work, we formulate a general form of federated adversarial learning (FAL) that is adapted from adversarial learning in the centralized setting. On the client side of FL training, FAL has an inner loop to generate adversarial samples for adversarial training and an outer loop to update local model parameters. On the server side, FAL aggregates local model updates and broadcast the aggregated model. We design a global robust training loss and formulate FAL training as a min-max optimization problem. Unlike the convergence analysis in classical centralized training that relies on the gradient direction, it is significantly harder to analyze the convergence in FAL for three reasons: 1) the complexity of min-max optimization, 2) model not updating in the gradient direction due to the multi-local updates on the client-side before aggregation and 3) inter-client heterogeneity. We address these challenges by using appropriate gradient approximation and coupling techniques and present the convergence analysis in the over-parameterized regime. Our main result theoretically shows that the minimum loss under our algorithm can converge to $\epsilon$ small with chosen learning rate and communication rounds. It is noteworthy that our analysis is feasible for non-IID clients.


title: Optimized Dirac Woods-Saxon basis for covariant density functional theory

abstract: The Woods-Saxon basis has achieved great success in both nonrelativistic and covariant density functional theories in recent years. Due to its nonanalytical nature, however, applications of the Woods-Saxon basis are numerically complicated and computationally time consuming. In this paper, based on the deformed relativistic Hartree-Bogoliubov theory in continuum (DRHBc), we check in detail the convergence with respect to the basis space in the Dirac sea. An optimized Dirac Woods-Saxon basis is proposed, whose corresponding potential is close to the nuclear mean field. It is shown that the basis space of the optimized Dirac Woods-Saxon basis required for convergence is substantially reduced compared with the original one. In particular, it does not need to contain the bases from continuum in the Dirac sea. The application of the optimized Woods-Saxon basis would greatly reduce computing resource for large-scale density functional calculations.


title: Algebraic-Dynamical Theory for Quantum Spin-1/2: the Two-spin limit and Implications for Lattice Models

abstract: Recently, an {\it algebraic-dynamical theory} (ADT) for strongly interacting many-body quantum Hamiltonians in W. Ding, arXiv: 2202.12082 (2022). By introducing the complete operator basis set, ADT proposes a generic framework for systematically constructing dynamical theories for interacting quantum Hamiltonians, using quantum entanglement as the organizing principle. In this work, we study exact ADT solutions of interacting two-spin problems which can be used as "free theories" for perturbation study on relevant solvable limits. Then we perform ADT perturbation calculations and obtain the correct ground state under the perturbation, which shows that the ADT framework is capable of constructing correct dynamical perturbation theories for strongly interacting quantum spin models. We also discuss the implication for relevant lattice models.


title: Can chemotactic effects lead to blow-up or not in two-species chemotaxis-competition models?

abstract: This paper deals with the two-species chemotaxis-competition models \begin{align*} \begin{cases} u_t = d_1 \Delta u - \chi_1 \nabla \cdot (u \nabla w) + \mu_1 u (1- u^{\kappa_1-1} - a_1 v^{\lambda_1-1}), &\quad x \in \Omega,\ t>0,\\ % v_t = d_2 \Delta v - \chi_2 \nabla \cdot (v \nabla w) + \mu_2 v (1- a_2 u^{\lambda_2-1} - v^{\kappa_2-1}), &\quad x \in \Omega,\ t>0,\\ % 0 = d_3 \Delta w + \alpha u + \beta v - h(u,v,w), &\quad x \in \Omega,\ t>0, \end{cases} \end{align*} where $\Omega \subset \mathbb{R}^n$ $(n\ge2)$ is a bounded domain with smooth boundary, and $h=\gamma w$ or $h=\frac{1}{|\Omega|}\int_\Omega(\alpha u+ \beta v)\,dx$. In the case that $\kappa_1=\lambda_1=\kappa_2=\lambda_2=2$ and $h=\gamma w$, it is known that smallness conditions for the chemotacic effects lead to boundedness of solutions (Math.\ Methods Appl.\ Sci.; 2018; 41; 234--249). However, the case that the chemotactic effects are large seems not to have been studied yet; therefore it remains to consider the question whether the solution is bounded also in the case that the chemotactic effects are large. The purpose of this paper is to give a negative answer to this question.


title: Intrinsic Nonlinear Planar Hall Effect

abstract: We propose an intrinsic nonlinear planar Hall effect, which is of band geometric origin, independent of scattering, and scales with the second order of electric field and first order of magnetic field. We show that this effect is less symmetry constrained compared to other nonlinear transport effects and is supported in a large class of nonmagnetic polar and chiral crystals. Its characteristic angular dependence provides an effective way to control the nonlinear output. Combined with first-principles calculations, we evaluate this effect in the Janus monolayer MoSSe and report experimentally measurable results. Our work reveals an intrinsic transport effect, which offers a new tool for material characterization and a new mechanism for nonlinear device application.


title: Robust superconductivity near constant temperature in rubidium-doped C$_{60}$

abstract: To establish the doping-dependent phase diagram in alkali-metal doped C$_{60}$, we synthesize Rb-doped C$_{60}$ samples with different stoichiometries by using the improved wet-chemistry technique. The doping levels determined from the Raman scattering spectra often show the appearance of three electrons corresponding to the band filling of three for the synthesized compounds no matter matter what dopants are used. The multiple phase coexistence with the unique Rb$_{3}$C$_{60}$ is identified from the refined x-ray diffraction patterns. The phase fraction of Rb$_{3}$C$_{60}$ is found to behave with the doping in a similar manor as the superconducting shielding fraction. These rigorously established correlations among the superconducting transition temperature along with the structural and phonon vibrational properties allow us to single out Rb$_{3}$C$_{60}$ as the only superconducting phase with the nearly constant transition temperature regardless the doping level. These findings provide an experimental constraint on the theory developments for the superconductivity in fullerides.


title: No More Strided Convolutions or Pooling: A New CNN Building Block for Low-Resolution Images and Small Objects

abstract: Convolutional neural networks (CNNs) have made resounding success in many computer vision tasks such as image classification and object detection. However, their performance degrades rapidly on tougher tasks where images are of low resolution or objects are small. In this paper, we point out that this roots in a defective yet common design in existing CNN architectures, namely the use of strided convolution and/or pooling layers, which results in a loss of fine-grained information and learning of less effective feature representations. To this end, we propose a new CNN building block called SPD-Conv in place of each strided convolution layer and each pooling layer (thus eliminates them altogether). SPD-Conv is comprised of a space-to-depth (SPD) layer followed by a non-strided convolution (Conv) layer, and can be applied in most if not all CNN architectures. We explain this new design under two most representative computer vision tasks: object detection and image classification. We then create new CNN architectures by applying SPD-Conv to YOLOv5 and ResNet, and empirically show that our approach significantly outperforms state-of-the-art deep learning models, especially on tougher tasks with low-resolution images and small objects. We have open-sourced our code at https://github.com/LabSAINT/SPD-Conv.


title: Spherical Integrals of Sublinear Rank

abstract: We consider the asymptotics of $k$-dimensional spherical integrals when $k = o(N)$. We prove that the $o(N)$-dimensional spherical integrals are approximately the products of $1$-dimensional spherical integrals. Our formulas extend the results for $k$-dimensional spherical integrals proved by Guionnet and Ma\"ida in [29] and Husson and Guionnet in [34] which are only valid for $k$ finite and independent of $N$. These approximations will be used to prove a large deviation principle for the joint $2k(N)$ extreme eigenvalues for sharp sub-Gaussian Wigner matrices and for additive deformations of GOE/GUE matrices. Furthermore, our results will be used to compute the free energies of spherical SK vector spin glasses and the mutual information for matrix estimation problems when the dimensions of the spins or signals have sublinear growth.


title: Combinatorial curvature flows for generalized circle packings on surfaces with boundary

abstract: In this paper, we investigate the deformation of generalized circle packings on ideally triangulated surfaces with boundary, which is the $(-1,-1,-1)$ type generalized circle packing metric introduced by Guo-Luo \cite{GL2}. To find hyperbolic metrics on surfaces with totally geodesic boundaries of prescribed lengths, we introduce combinatorial Ricci flow and combinatorial Calabi flow for generalized circle packings on ideally triangulated surfaces with boundary. Then we prove the longtime existence and global convergence for the solutions of these combinatorial curvature flows, which provide effective algorithms for finding hyperbolic metrics on surfaces with totally geodesic boundaries of prescribed lengths.


title: Label-Efficient Domain Generalization via Collaborative Exploration and Generalization

abstract: Considerable progress has been made in domain generalization (DG) which aims to learn a generalizable model from multiple well-annotated source domains to unknown target domains. However, it can be prohibitively expensive to obtain sufficient annotation for source datasets in many real scenarios. To escape from the dilemma between domain generalization and annotation costs, in this paper, we introduce a novel task named label-efficient domain generalization (LEDG) to enable model generalization with label-limited source domains. To address this challenging task, we propose a novel framework called Collaborative Exploration and Generalization (CEG) which jointly optimizes active exploration and semi-supervised generalization. Specifically, in active exploration, to explore class and domain discriminability while avoiding information divergence and redundancy, we query the labels of the samples with the highest overall ranking of class uncertainty, domain representativeness, and information diversity. In semi-supervised generalization, we design MixUp-based intra- and inter-domain knowledge augmentation to expand domain knowledge and generalize domain invariance. We unify active exploration and semi-supervised generalization in a collaborative way and promote mutual enhancement between them, boosting model generalization with limited annotation. Extensive experiments show that CEG yields superior generalization performance. In particular, CEG can even use only 5% data annotation budget to achieve competitive results compared to the previous DG methods with fully labeled data on PACS dataset.


title: Generating Negative Samples for Sequential Recommendation

abstract: To make Sequential Recommendation (SR) successful, recent works focus on designing effective sequential encoders, fusing side information, and mining extra positive self-supervision signals. The strategy of sampling negative items at each time step is less explored. Due to the dynamics of users' interests and model updates during training, considering randomly sampled items from a user's non-interacted item set as negatives can be uninformative. As a result, the model will inaccurately learn user preferences toward items. Identifying informative negatives is challenging because informative negative items are tied with both dynamically changed interests and model parameters (and sampling process should also be efficient). To this end, we propose to Generate Negative Samples (items) for SR (GenNi). A negative item is sampled at each time step based on the current SR model's learned user preferences toward items. An efficient implementation is proposed to further accelerate the generation process, making it scalable to large-scale recommendation tasks. Extensive experiments on four public datasets verify the importance of providing high-quality negative samples for SR and demonstrate the effectiveness and efficiency of GenNi.


title: A Length Adaptive Algorithm-Hardware Co-design of Transformer on FPGA Through Sparse Attention and Dynamic Pipelining

abstract: Transformers are considered one of the most important deep learning models since 2018, in part because it establishes state-of-the-art (SOTA) records and could potentially replace existing Deep Neural Networks (DNNs). Despite the remarkable triumphs, the prolonged turnaround time of Transformer models is a widely recognized roadblock. The variety of sequence lengths imposes additional computing overhead where inputs need to be zero-padded to the maximum sentence length in the batch to accommodate the parallel computing platforms. This paper targets the field-programmable gate array (FPGA) and proposes a coherent sequence length adaptive algorithm-hardware co-design for Transformer acceleration. Particularly, we develop a hardware-friendly sparse attention operator and a length-aware hardware resource scheduling algorithm. The proposed sparse attention operator brings the complexity of attention-based models down to linear complexity and alleviates the off-chip memory traffic. The proposed length-aware resource hardware scheduling algorithm dynamically allocates the hardware resources to fill up the pipeline slots and eliminates bubbles for NLP tasks. Experiments show that our design has very small accuracy loss and has 80.2 $\times$ and 2.6 $\times$ speedup compared to CPU and GPU implementation, and 4 $\times$ higher energy efficiency than state-of-the-art GPU accelerator optimized via CUBLAS GEMM.


title: BSDGAN: Balancing Sensor Data Generative Adversarial Networks for Human Activity Recognition

abstract: The development of IoT technology enables a variety of sensors can be integrated into mobile devices. Human Activity Recognition (HAR) based on sensor data has become an active research topic in the field of machine learning and ubiquitous computing. However, due to the inconsistent frequency of human activities, the amount of data for each activity in the human activity dataset is imbalanced. Considering the limited sensor resources and the high cost of manually labeled sensor data, human activity recognition is facing the challenge of highly imbalanced activity datasets. In this paper, we propose Balancing Sensor Data Generative Adversarial Networks (BSDGAN) to generate sensor data for minority human activities. The proposed BSDGAN consists of a generator model and a discriminator model. Considering the extreme imbalance of human activity dataset, an autoencoder is employed to initialize the training process of BSDGAN, ensure the data features of each activity can be learned. The generated activity data is combined with the original dataset to balance the amount of activity data across human activity classes. We deployed multiple human activity recognition models on two publicly available imbalanced human activity datasets, WISDM and UNIMIB. Experimental results show that the proposed BSDGAN can effectively capture the data features of real human activity sensor data, and generate realistic synthetic sensor data. Meanwhile, the balanced activity dataset can effectively help the activity recognition model to improve the recognition accuracy.


title: Weakly Supervised Online Action Detection for Infant General Movements

abstract: To make the earlier medical intervention of infants' cerebral palsy (CP), early diagnosis of brain damage is critical. Although general movements assessment(GMA) has shown promising results in early CP detection, it is laborious. Most existing works take videos as input to make fidgety movements(FMs) classification for the GMA automation. Those methods require a complete observation of videos and can not localize video frames containing normal FMs. Therefore we propose a novel approach named WO-GMA to perform FMs localization in the weakly supervised online setting. Infant body keypoints are first extracted as the inputs to WO-GMA. Then WO-GMA performs local spatio-temporal extraction followed by two network branches to generate pseudo clip labels and model online actions. With the clip-level pseudo labels, the action modeling branch learns to detect FMs in an online fashion. Experimental results on a dataset with 757 videos of different infants show that WO-GMA can get state-of-the-art video-level classification and cliplevel detection results. Moreover, only the first 20% duration of the video is needed to get classification results as good as fully observed, implying a significantly shortened FMs diagnosis time. Code is available at: https://github.com/scofiedluo/WO-GMA.


title: Energy Efficiency Analysis of Charging Pads-powered UAV-enabled Wireless Networks

abstract: This paper analyzes the energy efficiency of a novel system model where unmanned aerial vehicles (UAVs) are used to provide coverage for user hotspots (user clusters) and are deployed on charging pads to enhance the flight time. We introduce a new notion of "cluster pairs" to capture the dynamic nature of the users' spatial distribution in order to exploit one of the top advantages of UAVs, which is the mobility and relocation flexibility. Using tools from stochastic geometry, we first derive a new distance distribution that is vital for energy efficiency analysis. Next, we compute the coverage probability under two deployment strategies: (i) one UAV per cluster pair, and (ii) one UAV per cluster. Finally, we compute the energy efficiency for both strategies. Our numerical results reveal which of the two strategies is better for different system parameters. Our work investigates some new aspects of the UAV-enabled communication system such as the dynamic density of users and the advantages or disadvantages of one- or two-UAV deployment strategies per cluster pair. By considering the relationships between the densities of user cluster pairs and the charging pads, it is shown that an optimal cluster pair density exists to maximize energy efficiency.


title: A Game-Theoretic Perspective of Generalization in Reinforcement Learning

abstract: Generalization in reinforcement learning (RL) is of importance for real deployment of RL algorithms. Various schemes are proposed to address the generalization issues, including transfer learning, multi-task learning and meta learning, as well as the robust and adversarial reinforcement learning. However, there is not a unified formulation of the various schemes, as well as the comprehensive comparisons of methods across different schemes. In this work, we propose a game-theoretic framework for the generalization in reinforcement learning, named GiRL, where an RL agent is trained against an adversary over a set of tasks, where the adversary can manipulate the distributions over tasks within a given threshold. With different configurations, GiRL can reduce the various schemes mentioned above. To solve GiRL, we adapt the widely-used method in game theory, policy space response oracle (PSRO) with the following three important modifications: i) we use model-agnostic meta learning (MAML) as the best-response oracle, ii) we propose a modified projected replicated dynamics, i.e., R-PRD, which ensures the computed meta-strategy of the adversary fall in the threshold, and iii) we also propose a protocol for the few-shot learning of the multiple strategies during testing. Extensive experiments on MuJoCo environments demonstrate that our proposed methods can outperform existing baselines, e.g., MAML.


title: Modules for Experiments in Stellar Astrophysics (MESA): Time-Dependent Convection, Energy Conservation, Automatic Differentiation, and Infrastructure

abstract: We update the capabilities of the open-knowledge software instrument Modules for Experiments in Stellar Astrophysics (MESA). The new auto_diff module implements automatic differentiation in MESA, an enabling capability that alleviates the need for hard-coded analytic expressions or finite difference approximations. We significantly enhance the treatment of the growth and decay of convection in MESA with a new model for time-dependent convection, which is particularly important during late-stage nuclear burning in massive stars and electron degenerate ignition events. We strengthen MESA's implementation of the equation of state, and we quantify continued improvements to energy accounting and solver accuracy through a discussion of different energy equation features and enhancements. To improve the modeling of stars in MESA we describe key updates to the treatment of stellar atmospheres, molecular opacities, Compton opacities, conductive opacities, element diffusion coefficients, and nuclear reaction rates. We introduce treatments of starspots, an important consideration for low-mass stars, and modifications for superadiabatic convection in radiation-dominated regions. We describe new approaches for increasing the efficiency of calculating monochromatic opacities and radiative levitation, and for increasing the efficiency of evolving the late stages of massive stars with a new operator split nuclear burning mode. We close by discussing major updates to MESA's software infrastructure that enhance source code development and community engagement.

categories: astro-ph.SR astro-ph.EP astro-ph.HE astro-ph.IM


title: Exact Solution for Elastic Networks on Curved Surfaces

abstract: The problem of characterizing the structure of an elastic network constrained to lie on a frozen curved surface appears in many areas of science and has been addressed by many different approaches, most notably, extending linear elasticity or through effective defect interaction models. In this paper, we show that the problem can be solved by considering non-linear elasticity in an exact form without resorting to any approximation in terms of geometric quantities. In this way, we are able to consider different effects that have been unwieldy or not viable to include in the past, such as a finite line tension, explicit dependence on the Poisson ratio or the determination of the particle positions for the entire lattice. Several geometries with rotational symmetry are solved explicitly. Comparison with linear elasticity reveals an agreement that extends beyond its strict range of applicability. Implications for the problem of the characterization of virus assembly are also discussed.


title: What is the nature of motor adaptation to dynamic perturbations?

abstract: When human participants repeatedly encounter a velocity-dependent force field that distorts their movement trajectories, they adapt their motor behavior to recover straight trajectories. Computational models suggest that adaptation to a force field occurs at the action selection level through changes in the mapping between goals and actions. The quantitative prediction from these models indicates that early perturbed trajectories before adaptation and late unperturbed trajectories after adaptation should have opposite curvature, i.e. one being a mirror image of the other. We tested these predictions in a human adaptation experiment and we found that the expected mirror organization was either absent or much weaker than predicted by the models. These results are incompatible with adaptation occurring at the action selection level but compatible with adaptation occurring at the goal selection level, as if adaptation corresponds to aiming toward spatially remapped targets.


title: Stability against three-body clustering in one-dimensional spinless p-wave fermions

abstract: We theoretically investigate in-medium two- and three-body correlations in one-dimensional spinless fermions with attractive two-body p-wave interaction. By investigating the variational problem of two- and three-body states above the Fermi sea, we elucidate the fate of the in-medium two- and three-body cluster states. The one-dimensional system with the strong p-wave interaction is found to be stable against the formation of three-body clusters even in the presence of the Fermi sea, in contrast to higher-dimensional systems that suffer the strong three-body loss associated with the trimer formation.

categories: cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con nucl-th


title: Strain Disorder and Gapless Intervalley Coherent Phase in Twisted Bilayer Graphene

abstract: Correlated insulators are frequently observed in magic angle twisted bilayer graphene at even fillings of electrons or holes per moir\'e unit-cell. Whereas theory predicts these insulators to be intervalley coherent excitonic phases, the measured gaps are routinely much smaller than theoretical estimates. We explore the effects of random strain variations on the intervalley coherent phase, which have a pair-breaking effect analogous to magnetic disorder in superconductors. We find that the spectral gap may be strongly suppressed by strain disorder, or vanish altogether, even as intervalley coherence is maintained. We discuss predicted features of the tunneling density of states, show that the activation gap measured in transport experiments corresponds to the diminished gap, and thus offer a solution for the apparent discrepancy between the theoretical and experimental gaps.


title: Constraining Brans-Dicke Parameter Using Gravitational Radiation

abstract: This article presents a theoretical limit on the Brans-Dicke (BD) parameter using a neutron star (NS) revolving around a galactic central engine.The assumption that the orbital radius is large enough allows to ignore strong curvature due to the central supermassive black hole (SMBH) and treat the problem with Newtonian dynamics. First, gravitational radiation polarizations are calculated in the BD theory. The scalar polarization, dominated by the dipole radiation, is then used to put a constraint on the BD parameter.The calculations are relatively simple and this makes it accessible to sophomore students.


title: A new look at Finsler surfaces and the Landsberg's PDE

abstract: In this paper, we introduce a new look at Finsler surfaces. Landsberg surfaces are Finsler surfaces that are solutions of a system of non-linear partial differential equations. Considering the unicorn's Landsberg problem, we reduce this system to a single non-linear PDE which we call the Landsberg's PDE. By making use of the new look of Finsler surfaces, we solve the Landsberg's PDE and get a class of solutions. Moreover, we show that these solutions and their conformal transformations are Berwaldain.


title: A new generalization of the minimal excludant arising from an analogue of Franklin's identity

abstract: Euler's classical identity states that the number of partitions of an integer into odd parts and distinct parts are equinumerous. Franklin gave a generalization by considering partitions with exactly $j$ different multiples of $r$, for a positive integer $r$. We prove an analogue of Franklin's identity by studying the number of partitions with $j$ multiples of $r$ in total and in the process, discover a natural generalization of the minimal excludant (mex) which we call the $r$-chain mex. Further, we derive the generating function for $\sigma_{rc} \textup{mex}(n)$, the sum of $r$-chain mex taken over all partitions of $n$, thereby deducing a combinatorial identity for $\sigma_{rc} \textup{mex}(n)$, which neatly generalizes the result of Andrews and Newman for $\sigma \textup{mex}(n)$, the sum of mex over all partitions of $n$.


title: Fast Online and Relational Tracking

abstract: To overcome challenges in multiple object tracking task, recent algorithms use interaction cues alongside motion and appearance features. These algorithms use graph neural networks or transformers to extract interaction features that lead to high computation costs. In this paper, a novel interaction cue based on geometric features is presented aiming to detect occlusion and re-identify lost targets with low computational cost. Moreover, in most algorithms, camera motion is considered negligible, which is a strong assumption that is not always true and leads to ID Switch or mismatching of targets. In this paper, a method for measuring camera motion and removing its effect is presented that efficiently reduces the camera motion effect on tracking. The proposed algorithm is evaluated on MOT17 and MOT20 datasets and it achieves the state-of-the-art performance of MOT17 and comparable results on MOT20. The code is also publicly available.


title: CVLNet: Cross-View Semantic Correspondence Learning for Video-based Camera Localization

abstract: This paper tackles the problem of Cross-view Video-based camera Localization (CVL). The task is to localize a query camera by leveraging information from its past observations, i.e., a continuous sequence of images observed at previous time stamps, and matching them to a large overhead-view satellite image. The critical challenge of this task is to learn a powerful global feature descriptor for the sequential ground-view images while considering its domain alignment with reference satellite images. For this purpose, we introduce CVLNet, which first projects the sequential ground-view images into an overhead view by exploring the ground-and-overhead geometric correspondences and then leverages the photo consistency among the projected images to form a global representation. In this way, the cross-view domain differences are bridged. Since the reference satellite images are usually pre-cropped and regularly sampled, there is always a misalignment between the query camera location and its matching satellite image center. Motivated by this, we propose estimating the query camera's relative displacement to a satellite image before similarity matching. In this displacement estimation process, we also consider the uncertainty of the camera location. For example, a camera is unlikely to be on top of trees. To evaluate the performance of the proposed method, we collect satellite images from Google Map for the KITTI dataset and construct a new cross-view video-based localization benchmark dataset, KITTI-CVL. Extensive experiments have demonstrated the effectiveness of video-based localization over single image-based localization and the superiority of each proposed module over other alternatives.


title: Quasi-local studies of the particle surfaces and their stability in general spacetimes

abstract: In this paper, enlightened by the definition of the photon surface given by Claudel, Virbhadra and Ellis, we give a quasi-local definition of the particle surface. From this definition, one can study the evolution of the circular orbits in general spacetime. Especially, we pointed out that this definition can be used to get the spherical circular orbits in stationary spacetimes which cannot be got by the definition of Claudel, Virbhadra and Ellis. Further, we give a condition to exclude the particle surface in spacetime without gravity. Simultaneously, we give a quasi-local definition of the stability of the particle surface in general spacetime. From this definition, one can get the evolution equation of the innermost stable circular orbit (ISCO) in general spacetime. To verify the correctness of these definitions, we studied the circular orbits in some special cases and the results are all consistent with the previous results.


title: N2NSkip: Learning Highly Sparse Networks using Neuron-to-Neuron Skip Connections

abstract: The over-parametrized nature of Deep Neural Networks leads to considerable hindrances during deployment on low-end devices with time and space constraints. Network pruning strategies that sparsify DNNs using iterative prune-train schemes are often computationally expensive. As a result, techniques that prune at initialization, prior to training, have become increasingly popular. In this work, we propose neuron-to-neuron skip connections, which act as sparse weighted skip connections, to enhance the overall connectivity of pruned DNNs. Following a preliminary pruning step, N2NSkip connections are randomly added between individual neurons/channels of the pruned network, while maintaining the overall sparsity of the network. We demonstrate that introducing N2NSkip connections in pruned networks enables significantly superior performance, especially at high sparsity levels, as compared to pruned networks without N2NSkip connections. Additionally, we present a heat diffusion-based connectivity analysis to quantitatively determine the connectivity of the pruned network with respect to the reference network. We evaluate the efficacy of our approach on two different preliminary pruning methods which prune at initialization, and consistently obtain superior performance by exploiting the enhanced connectivity resulting from N2NSkip connections.


title: Maximum Correntropy Value Decomposition for Multi-agent Deep Reinforcemen Learning

abstract: We explore value decomposition solutions for multi-agent deep reinforcement learning in the popular paradigm of centralized training with decentralized execution(CTDE). As the recognized best solution to CTDE, Weighted QMIX is cutting-edge on StarCraft Multi-agent Challenge (SMAC), with a weighting scheme implemented on QMIX to place more emphasis on the optimal joint actions. However, the fixed weight requires manual tuning according to the application scenarios, which painfully prevents Weighted QMIX from being used in broader engineering applications. In this paper, we first demonstrate the flaw of Weighted QMIX using an ordinary One-Step Matrix Game (OMG), that no matter how the weight is chosen, Weighted QMIX struggles to deal with non-monotonic value decomposition problems with a large variance of reward distributions. Then we characterize the problem of value decomposition as an Underfitting One-edged Robust Regression problem and make the first attempt to give a solution to the value decomposition problem from the perspective of information-theoretical learning. We introduce the Maximum Correntropy Criterion (MCC) as a cost function to dynamically adapt the weight to eliminate the effects of minimum in reward distributions. We simplify the implementation and propose a new algorithm called MCVD. A preliminary experiment conducted on OMG shows that MCVD could deal with non-monotonic value decomposition problems with a large tolerance of kernel bandwidth selection. Further experiments are carried out on Cooperative-Navigation and multiple SMAC scenarios, where MCVD exhibits unprecedented ease of implementation, broad applicability, and stability.


title: SINR Analysis of an IRS Assisted MU-MISO System

abstract: In this work, we characterize the outage probability (OP) of an intelligent reflecting surface (IRS) assisted multi-user multiple-input-single-output (MU-MISO) communication system. Using a two-step approximation method, we approximate the signal-to-interference-plus-noise ratio (SINR) for any downlink user by a Log-Normal random variable. The impact of various system parameters is studied using the closed-form expression of OP. It is concluded that the position of IRS has a critical role, but an appropriate increase in the number of IRS elements would help to compensate for the loss in performance if the position of IRS is suboptimal.


title: The particle surface of spinning test particles

abstract: In this work, inspired by the definition of the photon surface given by Claudel, Virbhadra, and Ellis, we give an alternative quasi-local definition to study the circular orbits of single-pole particles. This definition does not only apply to photons but also to massive point particles. For the case of photons in spherically symmetric spacetime, it will give a photon surface equivalent to the result of Claudel, Virbhadra, and Ellis. Meanwhile, in general static and stationary spacetime, this definition can be regarded as a quasi-local form of the effective potential method. However, unlike the effective potential method which can not define the effective potential in dynamical spacetime, this definition can be applied to dynamical spacetime. Further, we generalize this definition directly to the case of pole-dipole particles. In static spherical symmetry spacetime, we verify the correctness of this generalization by comparing the results obtained by the effective potential method.


title: See What You See: Self-supervised Cross-modal Retrieval of Visual Stimuli from Brain Activity

abstract: Recent studies demonstrate the use of a two-stage supervised framework to generate images that depict human perception to visual stimuli from EEG, referring to EEG-visual reconstruction. They are, however, unable to reproduce the exact visual stimulus, since it is the human-specified annotation of images, not their data, that determines what the synthesized images are. Moreover, synthesized images often suffer from noisy EEG encodings and unstable training of generative models, making them hard to recognize. Instead, we present a single-stage EEG-visual retrieval paradigm where data of two modalities are correlated, as opposed to their annotations, allowing us to recover the exact visual stimulus for an EEG clip. We maximize the mutual information between the EEG encoding and associated visual stimulus through optimization of a contrastive self-supervised objective, leading to two additional benefits. One, it enables EEG encodings to handle visual classes beyond seen ones during training, since learning is not directed at class annotations. In addition, the model is no longer required to generate every detail of the visual stimulus, but rather focuses on cross-modal alignment and retrieves images at the instance level, ensuring distinguishable model output. Empirical studies are conducted on the largest single-subject EEG dataset that measures brain activities evoked by image stimuli. We demonstrate the proposed approach completes an instance-level EEG-visual retrieval task which existing methods cannot. We also examine the implications of a range of EEG and visual encoder structures. Furthermore, for a mostly studied semantic-level EEG-visual classification task, despite not using class annotations, the proposed method outperforms state-of-the-art supervised EEG-visual reconstruction approaches, particularly on the capability of open class recognition.


title: The North/South Asymmetry of the Galaxy: Possible Connection to the Vertical Phase Space Snail

abstract: The Galaxy is found to be in disequilibrium based on recent findings of the North/South (N/S) asymmetry and the phase mixing signatures, such as a phase spiral (snail) structure in the vertical phase space ($z-V_{z}$). We show that the N/S asymmetry in a tracer population of dwarfs may be quantitatively modeled with a simple phase snail model superimposed on a smooth equilibrium background. As the phase snail intersects with the $z$ axis, the number density is enhanced, and the velocity dispersion ($\sigma_{z}$) is decreased relative to the other side of the Galactic plane. Fitting only to the observed asymmetric N/S $\sigma_{z}$ profiles, we obtain reasonable parameters for the phase space snail and the potential utilized in modeling the background, despite the complex dependence of the model on the potential parameters and the significant selection effects of the data. Both the snail shape and the N/S number density difference given by our best-fit model are consistent with previous observations. The equilibrium background implies a local dark matter density of $0.0151^{+0.0050}_{-0.0051}$ ${\rm M}_{\odot}\,{\rm pc}^{-3}$. The vertical bulk motion of our model is similar to the observation, but with a $\sim$1.2 $\rm km\,s^{-1}$ shift. Our work demonstrates the strong correlation between the phase space snail and the N/S asymmetry. Future observational constraints will facilitate more comprehensive snail models to unravel the Milky Way potential and the perturbation history encoded in the snail feature.


title: Interpreting time-integrated polarization data of gamma-ray burst prompt emission

abstract: Aims. With the accumulation of polarization data in the gamma-ray burst (GRB) prompt phase, polarization models can be tested. Methods. We predicted the time-integrated polarizations of 37 GRBs with polarization observation. We used their observed spectral parameters to do this. In the model, the emission mechanism is synchrotron radiation, and the magnetic field configuration in the emission region was assumed to be large-scale ordered. Therefore, the predicted polarization degrees (PDs) are upper limits. Results. For most GRBs detected by the Gamma-ray Burst Polarimeter (GAP), POLAR, and AstroSat, the predicted PD can match the corresponding observed PD. Hence the synchrotron-emission model in a large-scale ordered magnetic field can interpret both the moderately low PDs ($\sim10\%$) detected by POLAR and relatively high PDs ($\sim45\%$) observed by GAP and AstroSat well. Therefore, the magnetic fields in these GRB prompt phases or at least during the peak times are dominated by the ordered component. However, the predicted PDs of GRB 110721A observed by GAP and GRB 180427A observed by AstroSat are both lower than the observed values. Because the synchrotron emission in an ordered magnetic field predicts the upper-limit of the PD for the synchrotron-emission models, PD observations of the two bursts challenge the synchrotron-emission model. Then we predict the PDs of the High-energy Polarimetry Detector (HPD) and Low-energy Polarimetry Detector (LPD) on board the upcoming POLAR-2. In the synchrotron-emission models, the concentrated PD values of the GRBs detected by HPD will be higher than the LPD, which might be different from the predictions of the dissipative photosphere model. Therefore, more accurate multiband polarization observations are highly desired to test models of the GRB prompt phase.


title: Folded ribbonlength of 2-bridge knots

abstract: A ribbon is a two-dimensional object with one-dimensional properties which is related with geometry, robotics and molecular biology. A folded ribbon structure provides a complex structure through a series of folds. We focus on a folded ribbon with knotted core. The folded ribbonlength $Rib(K)$ of a knot $K$ is the infimum of the quotient of length by width among the ribbons representing a knot type of $K$. This quantity tells how efficiently the folded ribbon is realized. Kusner conjectured that folded ribbonlength is bounded by a linear function of the minimal crossing number $c(K)$. In this paper, we confirm that the folded ribbonlength of a 2-bridge knot $K$ is bounded above by $2c(K)+2$.


title: Stability estimates for singular SDEs and applications

abstract: We consider multidimensional SDEs with singular drift $b$ and Sobolev diffusion coefficients $\sigma$, satisfying Krylov--R\"ockner type assumptions. We prove several stability estimates, comparing solutions driven by different $(b^i,\sigma^i)$, both for It\^o and Stratonovich SDEs, possibly depending on negative Sobolev norms of the difference $b^1-b^2$. We then discuss several applications of these results to McKean--Vlasov SDEs, criteria for strong compactness of solutions and Wong--Zakai type theorems.


title: Supersymmetric partition function hierarchies and character expansions

abstract: We construct the supersymmetric $\beta$ and $(q,t)$-deformed Hurwitz-Kontsevich partition functions through $W$-representations and present the corresponding character expansions with respect to the Jack and Macdonald superpolynomials, respectively. Based on the constructed $\beta$ and $(q,t)$-deformed superoperators, we further give the supersymmetric $\beta$ and $(q,t)$-deformed partition function hierarchies through $W$-representations. We also present the generalized super Virasoro constraints, where the constraint operators obey the generalized super Virasoro algebra and null super 3-algebra. Moreover, the superintegrability for these (non-deformed) supersymmetric hierarchies is shown by their character expansions, i.e., $<character>\sim character$.


title: A primal-dual majorization-minimization method for large-scale linear programs

abstract: We present a primal-dual majorization-minimization method for solving large-scale linear programs. A smooth barrier augmented Lagrangian (SBAL) function with strict convexity for the dual linear program is derived. The majorization-minimization approach is naturally introduced to develop the smoothness and convexity of the SBAL function. Our method only depends on a factorization of the constant matrix independent of iterations and does not need any computation on step sizes, thus can be expected to be particularly appropriate for large-scale linear programs. The method shares some similar properties to the first-order methods for linear programs, but its convergence analysis is established on the differentiability and convexity of our SBAL function. The global convergence is analyzed without prior requiring either the primal or dual linear program to be feasible. Under the regular conditions, our method is proved to be globally linearly convergent, and a new iteration complexity result is given.


title: Testbed preparation of a small prototype polarization modulator for LiteBIRD low-frequency telescope

abstract: LiteBIRD is the Cosmic Microwave Background (CMB) radiation polarization satellite mission led by ISAS/JAXA. The main scientific goal is to search for primordial gravitational wave signals generated from the inflation epoch of the Universe. LiteBIRD telescopes employ polarization modulation units (PMU) using continuously rotating half-wave plates (HWP). The PMU is a crucial component to reach unprecedented sensitivity by mitigating systematic effects, including 1/f noise. We have developed a 1/10 scale prototype PMU of the LiteBIRD LFT, which has a 5-layer achromatic HWP and a diameter of 50 mm, spanning the observational frequency range of 34-161 GHz. The HWP is mounted on a superconducting magnetic bearing (SMB) as a rotor and levitated by a high-temperature superconductor as a stator. In this study, the entire PMU system is cooled down to 10 K in the cryostat chamber by a 4-K Gifford-McMahon (GM) cooler. We propagate an incident coherent millimeter-wave polarized signal throughout the rotating HWP and detect the modulated signal. We study the modulated optical signal and any rotational synchronous signals from the rotation mechanism. We describe the testbed system and the preliminary data acquired from this setup. This testbed is built to integrate the broadband HWP PMU and evaluate the potential systematic effects in the optical data. This way, we can plan with a full-scale model, which takes a long time for preparation and testing.


title: Projective Geometry, Duality and Plucker Coordinates for Geometric Computations with Determinants on GPUs

abstract: Many algorithms used are based on geometrical computation. There are several criteria in selecting appropriate algorithm from already known. Recently, the fastest algorithms have been preferred. Nowadays, algorithms with a high stability are preferred. Also technology and computer architecture, like GPU etc., plays a significant role for large data processing. However, some algorithms are ill-conditioned due to numerical representation used; result of the floating point representation. In this paper, relations between projective representation, duality and Plucker coordinates will be explored with demonstration on simple geometric examples. The presented approach is convenient especially for application on GPUs or vector-vector computational architectures


title: Kernel Biclustering algorithm in Hilbert Spaces

abstract: Biclustering algorithms partition data and covariates simultaneously, providing new insights in several domains, such as analyzing gene expression to discover new biological functions. This paper develops a new model-free biclustering algorithm in abstract spaces using the notions of energy distance (ED) and the maximum mean discrepancy (MMD) -- two distances between probability distributions capable of handling complex data such as curves or graphs. The proposed method can learn more general and complex cluster shapes than most existing literature approaches, which usually focus on detecting mean and variance differences. Although the biclustering configurations of our approach are constrained to create disjoint structures at the datum and covariate levels, the results are competitive. Our results are similar to state-of-the-art methods in their optimal scenarios, assuming a proper kernel choice, outperforming them when cluster differences are concentrated in higher-order moments. The model's performance has been tested in several situations that involve simulated and real-world datasets. Finally, new theoretical consistency results are established using some tools of the theory of optimal transport.


title: Ribbonlength of twisted torus knots

abstract: The ribbonlength Rib$(K)$ of a knot $K$ is the infimum of the ratio of the length of any flat knotted ribbon with core $K$ to its width. A twisted torus knot $T_{p,q;r,s}$ is obtained from the torus knot $T_{p,q}$ by twisting $r$ adjacent strands $s$ full twists. In this paper, we show that the ribbonlength of $T_{p,q;r,s}$ is less then or equal to $2(\max \{ p, q, r \} +|s|r)$ where $p$ and $q$ are positive. Furthermore, if $r \leq p-q$, then the ribbonlength of $T_{p,q;r,s}$ is less then or equal to $2(p+(|s|-1)r)$.


title: A New Robust Algorithm for Computation of a Triangle Circumscribed Sphere in E3 and a Hypersphere Simplex

abstract: There are many applications in which a bounding sphere containing the given triangle E3 is needed, e.g. fast collision detection, ray-triangle intersecting in raytracing etc. This is a typical geometrical problem in E3 and it has also applications in computational problems in general. In this paper a new fast and robust algorithm of circumscribed sphere computation in the -dimensional space is presented and specification for the E3 space is given, too. The presented method is convenient for use on GPU or with SSE or Intel AVX instructions on a standard CPU


title: Strain tunability of perpendicular magnetic anisotropy in van der Waals ferromagnets VI3

abstract: Layered ferromagnets with high coercivity have special applications in nanoscale memory elements in electronic circuits, such as data storage. Therefore, searching for new hard ferromagnets and effectively tuning or enhancing the coercivity are the hottest topics in layered magnets today. Here, we report a strain tunability of perpendicular magnetic anisotropy in van der Waals (vdW) ferromagnets VI3 using magnetic circular dichroism measurements. For an unstrained flake, the M-H curve shows a rectangular-shaped hysteresis loop with perpendicular magnetic anisotropy and a large coercivity (up to 1.775 T at 10 K). Furthermore, the coercivity can be enhanced to a maximum of 2.6 T at 10 K under a 2.9% in-plane tensile strain. Our DFT calculations show that the magnetic anisotropy energy (MAE) can be dramatically increased after applying an in-plain tensile strain, which contributes to the enhancement of coercivity in the VI3 flake. Meanwhile, the strain tunability on the coercivity of CrI3, with a similar crystal structure, is limited. The main reason is the strong spin-orbital coupling in V3+ in VI6 octahedra in comparison with that in Cr3+. The strain tunability of coercivity in VI3 flakes highlights its potential for integration into vdW heterostructures, paving the way toward nanoscale spintronic devices and applications in the future.


title: Transformation models for ROC analysis

abstract: Receiver operating characteristic (ROC) analysis is one of the most popular approaches for evaluating and comparing the accuracy of medical diagnostic tests. Although various methodologies have been developed for estimating ROC curves and its associated summary indices, there is no consensus on a single framework that can provide consistent statistical inference whilst handling the complexities associated with medical data. Such complexities might include covariates that influence the diagnostic potential of a test, ordinal test data, censored data due to instrument detection limits or correlated biomarkers. We propose a regression model for the transformed test results which exploits the invariance of ROC curves to monotonic transformations and naturally accommodates these features. Our use of maximum likelihood inference guarantees asymptotic efficiency of the resulting estimators and associated confidence intervals. Simulation studies show that the estimates based on transformation models are unbiased and yield coverage at nominal levels. The methodology is applied to a cross-sectional study of metabolic syndrome where we investigate the covariate-specific performance of weight-to-height ratio as a non-invasive diagnostic test. Software implementations for all the methods described in the article are provided in the "tram" R package.


title: On Fast Simulation of Dynamical System with Neural Vector Enhanced Numerical Solver

abstract: The large-scale simulation of dynamical systems is critical in numerous scientific and engineering disciplines. However, traditional numerical solvers are limited by the choice of step sizes when estimating integration, resulting in a trade-off between accuracy and computational efficiency. To address this challenge, we introduce a deep learning-based corrector called Neural Vector (NeurVec), which can compensate for integration errors and enable larger time step sizes in simulations. Our extensive experiments on a variety of complex dynamical system benchmarks demonstrate that NeurVec exhibits remarkable generalization capability on a continuous phase space, even when trained using limited and discrete data. NeurVec significantly accelerates traditional solvers, achieving speeds tens to hundreds of times faster while maintaining high levels of accuracy and stability. Moreover, NeurVec's simple-yet-effective design, combined with its ease of implementation, has the potential to establish a new paradigm for fast-solving differential equations based on deep learning.


title: Impact of Nuclear effects in Energy Reconstruction Methods on Sensitivity of Neutrino Oscillation Parameters at NO$\nu$A experiment

abstract: Long baseline (LBL) neutrino experiments aim to measure the neutrino oscillation parameters to high precision. These experiments use nuclear targets for neutrino scattering and hence are inflicted with complexities of nuclear effects. Nuclear effects and their percolation into sensitivity measurement of neutrino oscillations parameters are not yet fully understood and therefore need to be dealt with carefully. In a recent work [1], we reported some results on this for NO$\nu$A experiment using the kinematic method of neutrino energy reconstruction, where it was observed that the nuclear effects are important in sensitivity analysis, and inclusion of realistic detector setup specifications increases uncertainty in this analysis as compared to ideal detector case. With this motivation, in this work, we use two methods of neutrino energy reconstruction - kinematic and calorimetric, including the nuclear effects, and study their impact on sensitivity analysis. We consider nuclear interactions such as RPA and 2p2h and compare two energy reconstruction methods with reference to events generation, measurement of neutrino oscillation parameters $\Delta m_{32}^2$ and $\theta_{23}$ for disappearance channel, mass hierarchy sensitivity, and CP-violation sensitivity for appearance channel of the NO$\nu$A experiment. It is observed that with an ideal detector setup, the kinematic method shows significant dependence on nuclear effects compared to the calorimetric method. We also investigate the impact of realistic detector setup for NO$\nu$A in these two methods (with nuclear effects) and find that the calorimetric method shows more bias (uncertainty increases) in sensitivity contours, as compared to the kinematic method. This is found to be true for both the mass hierarchies and for both neutrino and antineutrino incoming beams.


title: Point-in-Convex Polygon and Point-in-Convex Polyhedron Algorithms with O(1) Complexity using Space Subdivision

abstract: There are many space subdivision and space partitioning techniques used in many algorithms to speed up computations. They mostly rely on orthogonal space subdivision, resp. using hierarchical data structures, e.g. BSP trees, quadtrees, octrees, kd-trees, bounding volume hierarchies, etc. However in some applications a non-orthogonal space subdivision can offer new ways for actual speed up. In the case of convex polygon in E3 a simple Point-in-Polygon test is of the O(N) complexity and the optimal algorithm is of O(lg N) computational complexity. In the E3 case, the complexity is O(N) even for the convex polyhedron as no ordering is defined. New Point-in-Convex Polygon and Point-in-Convex Polyhedron algorithms are presented based on space subdivision in the preprocessing stage resulting to O(1) run-time complexity. The presented approach is simple to implement. Due to the principle of duality, dual problems, e.g. line-convex polygon, line clipping, can be solved in a similarly.


title: Terahertz-Band Channel and Beam Split Estimation via Array Perturbation Model

abstract: For the demonstration of ultra-wideband bandwidth and pencil-beamforming, the terahertz (THz)-band has been envisioned as one of the key enabling technologies for the sixth generation networks. However, the acquisition of the THz channel entails several unique challenges such as severe path loss and beam-split. Prior works usually employ ultra-massive arrays and additional hardware components comprised of time-delayers to compensate for these loses. In order to provide a cost-effective solution, this paper introduces a sparse-Bayesian-learning (SBL) technique for joint channel and beam-split estimation. Specifically, we first model the beam-split as an array perturbation inspired from array signal processing. Next, a low-complexity approach is developed by exploiting the line-of-sight-dominant feature of THz channel to reduce the computational complexity involved in the proposed SBL technique for channel estimation (SBCE). Additionally, based on federated-learning, we implement a model-free technique to the proposed model-based SBCE solution. Further to that, we examine the near-field considerations of THz channel, and introduce the range-dependent near-field beam-split. The theoretical performance bounds, i.e., Cram\'er-Rao lower bounds, are derived both for near- and far-field parameters, e.g., user directions, beam-split and ranges. Numerical simulations demonstrate that SBCE outperforms the existing approaches and exhibits lower hardware cost.


title: Preserving Fine-Grain Feature Information in Classification via Entropic Regularization

abstract: Labeling a classification dataset implies to define classes and associated coarse labels, that may approximate a smoother and more complicated ground truth. For example, natural images may contain multiple objects, only one of which is labeled in many vision datasets, or classes may result from the discretization of a regression problem. Using cross-entropy to train classification models on such coarse labels is likely to roughly cut through the feature space, potentially disregarding the most meaningful such features, in particular losing information on the underlying fine-grain task. In this paper we are interested in the problem of solving fine-grain classification or regression, using a model trained on coarse-grain labels only. We show that standard cross-entropy can lead to overfitting to coarse-related features. We introduce an entropy-based regularization to promote more diversity in the feature space of trained models, and empirically demonstrate the efficacy of this methodology to reach better performance on the fine-grain problems. Our results are supported through theoretical developments and empirical validation.


title: A Parallel Technique for Multi-objective Bayesian Global Optimization: Using a Batch Selection of Probability of Improvement

abstract: Bayesian global optimization (BGO) is an efficient surrogate-assisted technique for problems involving expensive evaluations. A parallel technique can be used to parallelly evaluate the true-expensive objective functions in one iteration to boost the execution time. An effective and straightforward approach is to design an acquisition function that can evaluate the performance of a bath of multiple solutions, instead of a single point/solution, in one iteration. This paper proposes five alternatives of \emph{Probability of Improvement} (PoI) with multiple points in a batch (q-PoI) for multi-objective Bayesian global optimization (MOBGO), taking the covariance among multiple points into account. Both exact computational formulas and the Monte Carlo approximation algorithms for all proposed q-PoIs are provided. Based on the distribution of the multiple points relevant to the Pareto-front, the position-dependent behavior of the five q-PoIs is investigated. Moreover, the five q-PoIs are compared with the other nine state-of-the-art and recently proposed batch MOBGO algorithms on twenty bio-objective benchmarks. The empirical experiments on different variety of benchmarks are conducted to demonstrate the effectiveness of two greedy q-PoIs ($\kpoi_{\mbox{best}}$ and $\kpoi_{\mbox{all}}$) on low-dimensional problems and the effectiveness of two explorative q-PoIs ($\kpoi_{\mbox{one}}$ and $\kpoi_{\mbox{worst}}$) on high-dimensional problems with difficult-to-approximate Pareto front boundaries.


title: Spacelike Curves of Constant-Ratio in Pseudo-Galilean Space

abstract: In the theory of differential geometry curves, a curve is said to be of constant-ratio if the ratio of the length of the tangential and normal components of its position vector function is constant. In this paper, we study and characterize a spacelike admissible curve of constant-ratio in terms of its curvature functions in pseudo-Galilean space. Some special curves of constant-ratio such as T and N constant types are investigated. As an application of our main results, some examples are given.


title: G\^ateaux semiderivative approach applied to shape optimization for contact problems

abstract: Shape optimization problems constrained by variational inequalities (VI) are non-smooth and non-convex optimization problems. The non-smoothness arises due to the variational inequality constraint, which makes it challenging to derive optimality conditions. Besides the non-smoothness there are complementary aspects due to the VIs as well as distributed, non-linear, non-convex and infinite-dimensional aspects due to the shapes which complicate to set up an optimality system and, thus, to develop efficient solution algorithms. In this paper, we consider G\^ateaux semiderivatives in order to formulate optimality conditions. In the application, we concentrate on a shape optimization problem constrained by the contact problem.


title: Image denoising in acoustic field microscopy

abstract: Scanning acoustic microscopy (SAM) has been employed since microscopic images are widely used for biomedical or materials research. Acoustic imaging is an important and well-established method used in nondestructive testing (NDT), bio-medical imaging, and structural health monitoring.The imaging is frequently carried out with signals of low amplitude, which might result in leading that are noisy and lacking in details of image information. In this work, we attempted to analyze SAM images acquired from low amplitude signals and employed a block matching filter over time domain signals to obtain a denoised image. We have compared the images with conventional filters applied over time domain signals, such as the gaussian filter, median filter, wiener filter, and total variation filter. The noted outcomes are shown in this article.


title: The emergence of molecular complexity in star forming regions as seen with ASAI

abstract: The Large Program "Astrochemical Surveys At IRAM" (ASAI) investigates the emergence of molecular complexity along the different stages of the solar-type star formation process, by carrying out unbiased line surveys of a sample of ten template sources in the range 80-272 GHz with the IRAM 30m telescope. We present here an overview of the main results of the Large Program ASAI.


title: On the singularities of the Szeg\H{o} kernels on CR orbifolds

abstract: In this paper we study the microlocal properties of the Szeg\H{o} kernel of a given compact connected orientable CR orbifold whose Kohn Laplacian has closed range. This last assumption is satisfied if certain geometric conditions hold true, as in the smooth case. As applications, we give a pure analytic proof of Kodaira-Bailey theorem and explain how to generalize a CR version of quantization commutes with reduction to orbifolds.


title: An effective and efficient algorithm for the Wigner rotation matrix at high angular momenta

abstract: The Wigner rotation matrix ($d$-function), which appears as a part of the angular-momentum-projection operator, plays a crucial role in modern nuclear-structure models. However, it is a long-standing problem that its numerical evaluation suffers from serious errors and instability, which hinders precise calculations for nuclear high-spin states. Recently, Tajima [Phys. Rev. C 91, 014320 (2015)] has made a significant step toward solving the problem by suggesting the high-precision Fourier method, which however relies on formula-manipulation softwares. In this paper we propose an effective and efficient algorithm for the Wigner $d$ function based on the Jacobi polynomials. We compare our method with the conventional Wigner method and the Tajima Fourier method through some testing calculations, and demonstrate that our algorithm can always give stable results with similar high-precision as the Fourier method, and in some cases (for special sets of $j, m, k$ and $\theta$) ours are even more accurate. Moreover, our method is self-contained and less memory consuming. A related testing code and subroutines are provided as Supplemental Material in the present paper.

categories: nucl-th cond-mat.str-el math-ph math.MP physics.chem-ph quant-ph


title: Multi-Stage NMPC for a MAV based Collision Free Navigation under Varying Communication Delays

abstract: Time delays in communication networks are one of the main concerns in deploying robots with computation boards on the edge. This article proposes a multi-stage Nonlinear Model Predictive Control (NMPC) that is capable of handling varying network-induced time delays for establishing a control framework being able to guarantee collision-free Micro Aerial Vehicles (MAVs) navigation. This study introduces a novel approach that considers different sampling times by a tree of discretization scenarios contrary to the existing typical multi-stage NMPC where system uncertainties are modeled by a tree of scenarios. Additionally, the proposed method considers adaptive weights for the multi-stage NMPC scenarios based on the probability of time delays in the communication link. As a result of the multi-stage NMPC, the obtained optimal control action is valid for multiple sampling times. Finally, the overall effectiveness of the proposed novel control framework is demonstrated in various tests and different simulation environments.


title: Quantum reflection of single photons in a cold Rydberg atomic gas

abstract: We propose and analyze a scheme for realizing the quantum reflection of single photons in a cold Rydberg atomic gas via electromagnetically induced transparency, by which a deep and tunable attractive potential well can be prepared by using stored gate photons. Such a scheme is promising for designing dispersion-type single-photon switches, and may be taken as a quantum device for observing the wave and particle natures of photons simultaneously.


title: Low-Latency Cooperative Spectrum Sensing via Truncated Vertical Federated Learning

abstract: In recent years, the exponential increase in the demand of wireless data transmission rises the urgency for accurate spectrum sensing approaches to improve spectrum efficiency. The unreliability of conventional spectrum sensing methods by using measurements from a single secondary user (SU) has motivated research on cooperative spectrum sensing (CSS). In this work, we propose a vertical federated learning (VFL) framework to exploit the distributed features across multiple SUs without compromising data privacy. However, the repetitive training process in VFL faces the issue of high communication latency. To accelerate the training process, we propose a truncated vertical federated learning (T-VFL) algorithm, where the training latency is highly reduced by integrating the standard VFL algorithm with a channel-aware user scheduling policy. The convergence performance of T-VFL is provided via mathematical analysis and justified by simulation results. Moreover, to guarantee the convergence performance of the T-VFL algorithm, we conclude three design rules on the neural architectures used under the VFL framework, whose effectiveness is proved through simulations.


title: Physical description and modelling of paper strip flights

abstract: Paper strips, e.g. confetti, descending to the floor begin to rotate around the horizontal axis after a short time. This slows down the vertical velocity compared to free fall and adds a horizontal velocity component. The frequency of rotation, the angle of fall and the speed of fall seem to depend on the dimensions and mass of the paper strips. The physics of this flight can be described, i.e. the movement, the translation of the centroid (energy analysis, force analysis, formula for fall speed v(b,h,m), formula for angle of fall {\alpha}(b,h,m)), the rotation around centroid (formula for frequency f(b,h,m), rotation speed), the flight path with the results from translation and rotation, the visualization of air turbulence and the loss of energy.


title: Quantum Field Theory based Quantum Information: Measurements and Correlations

abstract: This is the first in a series of papers aiming to develop a relativistic quantum information theory in terms of unequal-time correlation functions in quantum field theory. In this work, we highlight two formalisms which together can provide a useful theoretical platform suitable for further developments: 1) Quantum field measurements using the Quantum Temporal Probabilities (QTP) method; 2) Closed-Time-Path (CTP) formalism for causal time evolutions. QTP incorporates the detector into the quantum description, while emphasising that the records of measurement are macroscopic, and they can be expressed in terms of classical spacetime coordinates. We first present a new, elementary derivation of the QTP formulas for the probabilities of n measurement events. We then demonstrate the relation of QTP with the Closed-Time-Path formalism, by writing an explicit formula that relates the associated generating functionals. We exploit the path integral representation of the CTP formalism, in order to express the measured probabilities in terms of path integrals. After this, we provide some simple applications of the QTP formalism. In particular, we show how Unruh-DeWitt detector models and Glauber's photodetection theory appear as limiting cases . Finally, with quantum correlation being the pivotal notion in relativistic quantum information and measurements, we highlight the role played by the CTP two-particle irreducible effective action which enables one to tap into the resources of non-equilibrium quantum field theory for our stated purpose.


title: Graphical tools for selecting conditional instrumental sets

abstract: We consider the efficient estimation of total causal effects in the presence of unmeasured confounding using conditional instrumental sets. Specifically, we consider the two-stage least squares estimator in the setting of a linear structural equation model with correlated errors that is compatible with a known acyclic directed mixed graph. To set the stage for our results, we characterize the class of linearly valid conditional instrumental sets that yield consistent two-stage least squares estimators for the target total effect and derive a new asymptotic variance formula for these estimators. Equipped with these results, we provide three graphical tools for selecting more efficient linearly valid conditional instrumental sets. First, a graphical criterion that for certain pairs of linearly valid conditional instrumental sets identifies which of the two corresponding estimators has the smaller asymptotic variance. Second, an algorithm that greedily adds covariates that reduce the asymptotic variance to a given linearly valid conditional instrumental set. Third, a linearly valid conditional instrumental set for which the corresponding estimator has the smallest asymptotic variance that can be ensured with a graphical criterion.


title: Molecular states of $ D^* D^* \bar{K}^*$ nature

abstract: We study the interaction of two $ D^* $ and a $\bar{K}^{*}$ by using the Fixed Center Approximation to the Faddeev equations to search for bound states of the three body system. Since the $ D^* D^* $ interaction is attractive and gives a bound state, and so is the case of the $D^* \bar{K}^{*}$ interaction, where the $J^{P}=0^{+}$ bound state is identified with the $X_0 (2900)$, the $ D^* D^* \bar{K}^{*}$ system leads to manifestly exotic bound states with $ccs$ open quarks. We obtain bound states of isospin $I=1/2$, negative parity and total spin $J=0,1,2$. For $J=0$ we obtain one state, and for $J=1,2$ we obtain two states in each case. The binding energies range from $56$ MeV to $151$ MeV and the widths from $80$ MeV to $100$ MeV.


title: UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

abstract: UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have multiple, varied specifications, or systems that require hybrid modes of modeling. A novel aspect of \uclid is an emphasis on the use of syntax-guided and inductive synthesis to automate steps in modeling and verification. This tool paper presents new developments in the \uclid tool including new language features, integration with new techniques for syntax-guided synthesis and satisfiability solving, support for hyperproperties and combinations of axiomatic and operational modeling, demonstrations on new problem classes, and a robust implementation.


title: A Survey of ADMM Variants for Distributed Optimization: Problems, Algorithms and Features

abstract: By coordinating terminal smart devices or microprocessors to engage in cooperative computation to achieve systemlevel targets, distributed optimization is incrementally favored by both engineering and computer science. The well-known alternating direction method of multipliers (ADMM) has turned out to be one of the most popular tools for distributed optimization due to many advantages, such as modular structure, superior convergence, easy implementation and high flexibility. In the past decade, ADMM has experienced widespread developments. The developments manifest in both handling more general problems and enabling more effective implementation. Specifically, the method has been generalized to broad classes of problems (i.e.,multi-block, coupled objective, nonconvex, etc.). Besides, it has been extensively reinforced for more effective implementation, such as improved convergence rate, easier subproblems, higher computation efficiency, flexible communication, compatible with inaccurate information, robust to communication delays, etc. These developments lead to a plentiful of ADMM variants to be celebrated by broad areas ranging from smart grids, smart buildings, wireless communications, machine learning and beyond. However, there lacks a survey to document those developments and discern the results. To achieve such a goal, this paper provides a comprehensive survey on ADMM variants. Particularly, we discern the five major classes of problems that have been mostly concerned and discuss the related ADMM variants in terms of main ideas, main assumptions, convergence behaviors and main features. In addition, we figure out several important future research directions to be addressed. This survey is expected to work as a tutorial for both developing distributed optimization in broad areas and identifying existing theoretical research gaps.


title: Zero-sum continuous-time Markov games with one-side stopping

abstract: The paper is concerned with a variant of the continuous-time finite state Markov game of control and stopping where both players can affect transition rates, while only one player can choose a stopping time. We use the dynamic programming principle and reduce this problem to a system of ODEs with unilateral constraints. This system plays the role of the Bellman equation. We show that its solution provides the optimal strategies of the players. Additionally, we prove the existence and uniqueness theorem for the deduced system of ODEs with unilateral constraints.


title: Transport properties of vertical heterostructures under light irradiation

abstract: Electronic and transport properties of bilayer heterostructure under light irradiation are of fundamental interest to improve functionality of optoelectronic devices. We theoretically study the modification of transport properties of bilayer graphene and bilayer heterostructures under a time-periodic external light field. The bulk electronic and transport properties are studied in a Landauer-type configuration by using the nonequilibrium Green's function formalism. To illustrate the behavior of the differential conductance of a bilayer contact under light illumination, we consider tight-binding models of bilayer graphene and graphene/hexagonal boron-nitride heterostructures. The non-adiabatic driving induces sidebands of the original band structure and opening of gaps in the quasienergy spectrum. In transport properties, the gap openings are manifested in a suppression of the differential conductance. In addition to suppression, an external light field induces an enhancement of the differential conductance if photoexcited electrons tunnel into or out of a Van~Hove singularity.


title: Granger Causality using Neural Networks

abstract: The Granger Causality (GC) test is a famous statistical hypothesis test for investigating if the past of one time series affects the future of the other. It helps in answering the question whether one time series is helpful in forecasting. Standard traditional approaches to Granger causality detection commonly assume linear dynamics, but such simplification does not hold in many real-world applications, e.g., neuroscience or genomics that are inherently non-linear. In such cases, imposing linear models such as Vector Autoregressive (VAR) models can lead to inconsistent estimation of true Granger Causal interactions. Machine Learning (ML) can learn the hidden patterns in the datasets specifically Deep Learning (DL) has shown tremendous promise in learning the non-linear dynamics of complex systems. Recent work of Tank et al propose to overcome the issue of linear simplification in VAR models by using neural networks combined with sparsity-inducing penalties on the learn-able weights. In this work, we build upon ideas introduced by Tank et al. We propose several new classes of models that can handle underlying non-linearity. Firstly, we present the Learned Kernal VAR(LeKVAR) model-an extension of VAR models that also learns kernel parametrized by a neural net. Secondly, we show one can directly decouple lags and individual time series importance via decoupled penalties. This decoupling provides better scaling and allows us to embed lag selection into RNNs. Lastly, we propose a new training algorithm that supports mini-batching, and it is compatible with commonly used adaptive optimizers such as Adam.he proposed techniques are evaluated on several simulated datasets inspired by real-world applications.We also apply these methods to the Electro-Encephalogram (EEG) data for an epilepsy patient to study the evolution of GC before , during and after seizure across the 19 EEG channels.


title: Jointformer: Single-Frame Lifting Transformer with Error Prediction and Refinement for 3D Human Pose Estimation

abstract: Monocular 3D human pose estimation technologies have the potential to greatly increase the availability of human movement data. The best-performing models for single-image 2D-3D lifting use graph convolutional networks (GCNs) that typically require some manual input to define the relationships between different body joints. We propose a novel transformer-based approach that uses the more generalised self-attention mechanism to learn these relationships within a sequence of tokens representing joints. We find that the use of intermediate supervision, as well as residual connections between the stacked encoders benefits performance. We also suggest that using error prediction as part of a multi-task learning framework improves performance by allowing the network to compensate for its confidence level. We perform extensive ablation studies to show that each of our contributions increases performance. Furthermore, we show that our approach outperforms the recent state of the art for single-frame 3D human pose estimation by a large margin. Our code and trained models are made publicly available on Github.


title: Rate Splitting Multiple Access for Next Generation Cognitive Radio Enabled LEO Satellite Networks

abstract: This paper proposes a cognitive radio enabled LEO SatCom using RSMA radio access technique with the coexistence of GEO SatCom network. In particular, this work aims to maximize the sum rate of LEO SatCom by simultaneously optimizing the power budget over different beams, RSMA power allocation for users over each beam, and subcarrier user assignment while restricting the interference temperature to GEO SatCom. The problem of sum rate maximization is formulated as non-convex, where the global optimal solution is challenging to obtain. Thus, an efficient solution can be obtained in three steps: first we employ a successive convex approximation technique to reduce the complexity and make the problem more tractable. Second, for any given resource block user assignment, we adopt KKT conditions to calculate the transmit power over different beams and RSMA power allocation of users over each beam. Third, using the allocated power, we design an efficient algorithm based on the greedy approach for resource block user assignment. Numerical results demonstrate the benefits of the proposed optimization scheme compared to the benchmark schemes.


title: A Carleson type measure and a family of M\"obius invariant function spaces

abstract: For $0<s<1$, let $\{z_n\}$ be a sequence in the open unit disk such that $\sum_n (1-|z_n|^2)^s \delta_{z_n}$ is an $s$-Carleson measure. In this paper, we consider the connections between this $s$-Carleson measure and the theory of M\"obius invariant $F(p, p-2, s)$ spaces by the Volterra type operator, the reciprocal of a Blaschke product, and second order complex differential equations having a prescribed zero sequence.


title: Asynchronous scalable version of the Global-Local non-invasive coupling

abstract: The Global-Local non-invasive coupling is an improvement of the submodeling technique, which permits to locally enhance structure computations by introducing patches with refined models and to take into accounts all the interactions. In order to circumvent its inherently limited computational performance, we propose and implement an asynchronous version of the method. The asynchronous coupling reduces the dependency on communications, failures, and load imbalance. We present the theory and the implementation of the method in the linear case and illustrate its performance on academic cases inspired by actual industrial problems.


title: Optimal Tracking in Prediction with Expert Advice

abstract: We study the prediction with expert advice setting, where the aim is to produce a decision by combining the decisions generated by a set of experts, e.g., independently running algorithms. We achieve the min-max optimal dynamic regret under the prediction with expert advice setting, i.e., we can compete against time-varying (not necessarily fixed) combinations of expert decisions in an optimal manner. Our end-algorithm is truly online with no prior information, such as the time horizon or loss ranges, which are commonly used by different algorithms in the literature. Both our regret guarantees and the min-max lower bounds are derived with the general consideration that the expert losses can have time-varying properties and are possibly unbounded. Our algorithm can be adapted for restrictive scenarios regarding both loss feedback and decision making. Our guarantees are universal, i.e., our end-algorithm can provide regret guarantee against any competitor sequence in a min-max optimal manner with logarithmic complexity. Note that, to our knowledge, for the prediction with expert advice problem, our algorithms are the first to produce such universally optimal, adaptive and truly online guarantees with no prior knowledge.


title: Understanding resistance oscillation in CsV$_3$Sb$_5$ superconductor

abstract: A recent demonstration of the periodic oscillation of resistance in the thin film of CsV$_3$Sb$_5$ superconductor with a hole in the film suggests that charge-$4e$ and charge-$6e$ Cooper pairs may have condensed in this compound. While exciting, such interpretation calls for a precise determination of the effective area for the passage of Cooper pairs from one end of the lead to the other. Unlike the traditional Little-Parks effect where the rim around the hole is thin, the effective hole area is not obviously defined for the "thick-rim geometry" adopted in [arxiv:2201.10352]. Here, we note that the experiment was conducted in a regime where the superconctivity is strongly fluctuating, which motivates an analysis based on the spacetime formulation of the time-dependent Ginzburg-Landau theory. We argue that under appropriate conditions, the optimal semi-classical path is not the geometrically shortest one, but the one that moves along the edge of the hole and takes advantage of the reduced fluctuations at the boundary of the hole. The condition for the cross-over from the geometrically shortest path to the path that sticks to the wall is clarified. In such a scenario, the geometric area of the hole indeed emerges as the effective area for the flux, providing a theoretical justification to the interpretation given in [arxiv:2201.10352]. The conclusion of our analysis may have implication for similar experiments in other superconductors where the geometry of the device is not obviously that of the Little-Parks experiment employing the thin wall, but of the thick-rim type such as used in [arxiv:2201.10352].


title: Adaptive incomplete multi-view learning via tensor graph completion

abstract: With the advancement of the data acquisition techniques, multi-view learning has become a hot topic. Some multi-view learning methods assume that the multi-view data is complete, which means that all instances are present, but this too ideal. Certain tensor-based methods for handing incomplete multi-view data have emerged and have achieved better result. However, there are still some problems, such as use of traditional tensor norm which makes the computation high and is not able to handle out-of-sample. To solve these two problems, we proposed a new incomplete multi view learning method. A new tensor norm is defined to implement graph tensor data recover. The recovered graphs are then regularized to a consistent low-dimensional representation of the samples. In addition, adaptive weights are equipped to each view to adjust the importance of different views. Compared with the existing methods, our method nor only explores the consistency among views, but also obtains the low-dimensional representation of the new samples by using the learned projection matrix. An efficient algorithm based on inexact augmented Lagrange multiplier (ALM) method are designed to solve the model and convergence is proved. Experimental results on four datasets show the effectiveness of our method.


title: Vernacular Search Query Translation with Unsupervised Domain Adaptation

abstract: With the democratization of e-commerce platforms, an increasingly diversified user base is opting to shop online. To provide a comfortable and reliable shopping experience, it's important to enable users to interact with the platform in the language of their choice. An accurate query translation is essential for Cross-Lingual Information Retrieval (CLIR) with vernacular queries. Due to internet-scale operations, e-commerce platforms get millions of search queries every day. However, creating a parallel training set to train an in-domain translation model is cumbersome. This paper proposes an unsupervised domain adaptation approach to translate search queries without using any parallel corpus. We use an open-domain translation model (trained on public corpus) and adapt it to the query data using only the monolingual queries from two languages. In addition, fine-tuning with a small labeled set further improves the result. For demonstration, we show results for Hindi to English query translation and use mBART-large-50 model as the baseline to improve upon. Experimental results show that, without using any parallel corpus, we obtain more than 20 BLEU points improvement over the baseline while fine-tuning with a small 50k labeled set provides more than 27 BLEU points improvement over the baseline.


title: TPM: Transition Probability Matrix -- Graph Structural Feature based Embedding

abstract: In this work, Transition Probability Matrix (TPM) is proposed as a new method for extracting the features of nodes in the graph. The proposed method uses random walks to capture the connectivity structure of a node's close neighborhood. The information obtained from random walks is converted to anonymous walks to extract the topological features of nodes. In the embedding process of nodes, anonymous walks are used since they capture the topological similarities of connectivities better than random walks. Therefore the obtained embedding vectors have richer information about the underlying connectivity structure. The method is applied to node classification and link prediction tasks. The performance of the proposed algorithm is superior to the state-of-the-art algorithms in the recent literature. Moreover, the extracted information about the connectivity structure of similar networks is used to link prediction and node classification tasks for a completely new graph.


title: Study of Encoder-Decoder Architectures for Code-Mix Search Query Translation

abstract: With the broad reach of the internet and smartphones, e-commerce platforms have an increasingly diversified user base. Since native language users are not conversant in English, their preferred browsing mode is their regional language or a combination of their regional language and English. From our recent study on the query data, we noticed that many of the queries we receive are code-mix, specifically Hinglish i.e. queries with one or more Hindi words written in English (Latin) script. We propose a transformer-based approach for code-mix query translation to enable users to search with these queries. We demonstrate the effectiveness of pre-trained encoder-decoder models trained on a large corpus of the unlabeled English text for this task. Using generic domain translation models, we created a pseudo-labelled dataset for training the model on the search queries and verified the effectiveness of various data augmentation techniques. Further, to reduce the latency of the model, we use knowledge distillation and weight quantization. Effectiveness of the proposed method has been validated through experimental evaluations and A/B testing. The model is currently live on Flipkart app and website, serving millions of queries.


title: Field-Induced Boson Insulating States in a 2D Superconducting Electron Gas with Strong Spin-Orbit Scatterings

abstract: The phenomenon of field-induced superconductor-to-insulator transitions observed experimentally in electron-doped SrTiO$_{3}$/LaAlO$_{3}$ interfaces, analyzed recently by means of 2D superconducting fluctuations theory (Phys. Rev. B \textbf{104}, 054503 (2021)), is revisited with new insights associating it with the appearance at low temperatures of field-induced boson insulating states. Within the framework of the time-dependent Ginzburg-Landau functional approach, we pinpoint the origin of these states in field-induced extreme softening of fluctuation modes over a large region in momentum space, upon diminishing temperature, which drives Cooper-pair fluctuations to condense into mesoscopic puddles in real space. Dynamical quantum tunneling of Cooper-pair fluctuations out of these puddles, introduced within a phenomenological approach, which break into mobile single-electron states, contains the high-field resistance onset predicted by the exclusive boson theory.


title: On the uniqueness result for the BSDE with continuous coefficient

abstract: In this paper, we study one-dimensional backward stochastic differential equation (BSDE, for short), whose coefficient $f$ is Lipschitz in $y$ but only continuous in $z$. In addition, if the terminal condition $\xi$ has bounded Malliavin derivative, we prove some uniqueness results for the BSDE with quadratic and linear growth in $z$, respectively.


title: On Control Networks Over Finite Lattices

abstract: The modeling and control of networks over finite lattices are investigated via the algebraic state space approach. Using the semi-tensor product of matrices, one can obtain the algebraic state space representation of the dynamics of a (control) network over a finite lattice. Then some properties involving networks over sublattices and product lattices are investigated, which shows the advantages of networks over finite lattices in analysis and control design. Finally, algorithms are developed to recover the lattice structure from the structural matrix of a network over a lattice, and construct comparability graphs over a finite set to verify whether a multiple-valued logical network is defined over a lattice. Numerical examples are also demonstrated.


title: Mean-field theory for the structure of strongly interacting active liquids

abstract: Active systems, which are driven out of equilibrium by local non-conservative forces, exhibit unique behaviors and structures with potential utility for the design of novel materials. An important and difficult challenge along the path towards this goal is to precisely predict how the structure of active systems is modified as their driving forces push them out of equilibrium. Here, we use tools from liquid-state theories to approach this challenge for a classic minimal active matter model. First, we construct a nonequilibrium mean-field framework which can predict the structure of systems of weakly interacting particles. Second, motivated by equilibrium solvation theories, we modify this theory to extend it with surprisingly high accuracy to systems of strongly interacting particles, distinguishing it from most existing similarly tractable approaches. Our results provide insight into spatial organization in strongly interacting out-of-equilibrium systems.


title: Optimal Parking Planning for Shared Autonomous Vehicles

abstract: Parking is a crucial element of the driving experience in urban transportation systems. Especially in the coming era of Shared Autonomous Vehicles (SAVs), parking operations in urban transportation networks will inevitably change. Parking stations will serve as storage places for unused vehicles and depots that control the level-of-service of SAVs. This study presents an Analytical Parking Planning Model (APPM) for the SAV environment to provide broader insights into parking planning decisions. Two specific planning scenarios are considered for the APPM: (i) Single-zone APPM (S-APPM), which considers the target area as a single homogeneous zone, and (ii) Two-zone APPM (T-APPM), which considers the target area as two different zones, such as city center and suburban area. S-APPM offers a closed-form solution to find the optimal density of parking stations and parking spaces and the optimal number of SAV fleets, which is beneficial for understanding the explicit relationship between planning decisions and the given environments, including demand density and cost factors. In addition, to incorporate different macroscopic characteristics across two zones, T-APPM accounts for inter- and intra-zonal passenger trips and the relocation of vehicles. We conduct a case study to demonstrate the proposed method with the actual data collected in Seoul Metropolitan Area, South Korea. Sensitivity analyses with respect to cost factors are performed to provide decision-makers with further insights. Also, we find that the optimal densities of parking stations and spaces in the target area are much lower than the current situations.