title: ResNet Structure Simplification with the Convolutional Kernel Redundancy Measure

abstract: Deep learning, especially convolutional neural networks, has triggered accelerated advancements in computer vision, bringing changes into our daily practice. Furthermore, the standardized deep learning modules (also known as backbone networks), i.e., ResNet and EfficientNet, have enabled efficient and rapid development of new computer vision solutions. Yet, deep learning methods still suffer from several drawbacks. One of the most concerning problems is the high memory and computational cost, such that dedicated computing units, typically GPUs, have to be used for training and development. Therefore, in this paper, we propose a quantifiable evaluation method, the convolutional kernel redundancy measure, which is based on perceived image differences, for guiding the network structure simplification. When applying our method to the chest X-ray image classification problem with ResNet, our method can maintain the performance of the network and reduce the number of parameters from over $23$ million to approximately $128$ thousand (reducing $99.46\%$ of the parameters).


title: Carica papaya Leaf Extract Inhibits SARS-CoV-2 Main Proteases but not Human TMPRSS2: An In-vitro and In-silico Study

abstract: Carica papaya (CP) leaf is long known for its traditional pharmacological effects against dengue virus and malaria. Therefore, CP could also be a potential solution for the treatment of other infectious diseases, such as coronavirus. In this study, we evaluate the potential effect of the ethanolic CP leaf extract in inhibiting the enzymatic activity of three protein targets in SARS-CoV-2 life cycle, which include the 3-chymotrypsin-like protease (3CLpro), papain-like protease (PLpro) and the human transmembrane protein serine 2 (TMPRSS2). Results demonstrate that CP leaf extract inhibits 3CLpro and PLpro significantly with IC50 of 0.02 microgram/mL and 0.06 microgram/mL, respectively, but it is inactive towards TMPRSS2. Phenol, 2-methyl-5-(1,2,2-trimethylcyclopentyl)-(S)- (17a) and beta-mannofuranoside, farnesyl- (21a) were identified in the extract using GC-MS. These two compounds demonstrated a stronger binding affinity towards the main proteases than TMPRSS2 during the docking simulation, which agrees with the in-vitro study. Further pharmacophore mapping suggests that 17a has a fit score higher than 21a to the SARS-CoV-2 3CLpro pharmacophore model concluding that CP leaf extract has the potential to be developed as a herbal SARS-CoV-2 antiviral agent.


title: Set-theoretical solutions to the Hom-Yang-Baxter equation and Hom-cycle sets

abstract: Set-theoretic solutions to the Yang-Baxter equation have been studied extensively by means of related algebraic systems such as cycle sets and braces, dynamical versions of which have also been developed. No work focuses on set-theoretic solutions to the Hom-Yang-Baxter equation (HYBE for short). This paper investigates set-theoretic solutions to HYBE and associated algebraic system, called Hom-cycle sets. We characterize left non-degenerate involutive set-theoretic solutions to HYBE and Hom-cycle sets, and establish their relations. We discuss connections among Hom-cycle sets, cycle sets, left non-degenerate involutive set-theoretic solutions to HYBE and the Yang-Baxter equation.


title: Unique Solutions to Power-Transformed Affine Systems

abstract: Systems of the form $x = (A x^s)^{1/s} + b$ arise in a range of economic, financial and control problems, where $A$ is a linear operator acting on a space of real-valued functions (or vectors) and $s$ is a nonzero real value. In these applications, attention is focused on positive solutions. We provide a simple and complete characterization of existence and uniqueness of positive solutions under conditions on $A$ and $b$ that imply positivity.


title: Phase Transition for Discrete Non Linear Schr\"odinger Equation in Three and Higher Dimensions

abstract: We analyze the thermodynamics of the focusing discrete nonlinear Schr\"odinger equation in dimensions $d\ge 3$ with general nonlinearity $p>1$ and under a model with two parameters, representing inverse temperature and strength of the nonlinearity, respectively. We prove the existence of limiting free energy and analyze the phase diagram for general $d,p$. We also prove the existence of a continuous phase transition curve that divides the parametric plane into two regions involving the appearance or non-appearance of solitons. Appropriate upper and lower bounds for the curve are constructed. We also look at the typical behavior of a function chosen from the Gibbs measure for certain parts of the phase diagram.


title: Cyclic Superconducting Quantum Refrigerators Using Guided Fluxon Propagation

abstract: We propose cyclic quantum refrigeration in solid-state, employing a gas of magnetic field vortices in a type-II superconductor -- also known as fluxons -- as the cooling agent. Refrigeration cycles are realized by envisioning a racetrack geometry consisting of both adiabatic and isothermal arms, etched into a type-II superconductor. The guided propagation of fluxons in the racetrack is achieved by applying an external electrical current, in a Corbino geometry, through the sample. A gradient of magnetic field is set across the racetrack allowing one to adiabatically cool down and heat up the fluxons, which subsequently exchange heat with the cold, and hot reservoirs, respectively. We characterize the steady state of refrigeration cycles thermodynamically for both $s-$wave and $d-$wave pairing symmetries, and present their figures of merit such as the cooling power delivered, and the coefficient of performance. Our cooling principle can offer significant cooling for on-chip micro-refrigeration purposes, by locally cooling below the base temperatures achievable in a conventional dilution refrigerator. We estimate $10\mathrm{nW}/\mathrm{mm}^2$ of cooling power per unit area under typical operating conditions. Integrating the fluxon fridge to quantum circuits can enhance their coherence time by locally suppressing thermal fluctuations, and improve the efficiency of single photon detectors and charge sensors.


title: Adaptive Conformal Prediction for Motion Planning among Dynamic Agents

abstract: This paper proposes an algorithm for motion planning among dynamic agents using adaptive conformal prediction. We consider a deterministic control system and use trajectory predictors to predict the dynamic agents' future motion, which is assumed to follow an unknown distribution. We then leverage ideas from adaptive conformal prediction to dynamically quantify prediction uncertainty from an online data stream. Particularly, we provide an online algorithm uses delayed agent observations to obtain uncertainty sets for multistep-ahead predictions with probabilistic coverage. These uncertainty sets are used within a model predictive controller to safely navigate among dynamic agents. While most existing data-driven prediction approached quantify prediction uncertainty heuristically, we quantify the true prediction uncertainty in a distribution-free, adaptive manner that even allows to capture changes in prediction quality and the agents' motion. We empirically evaluate of our algorithm on a simulation case studies where a drone avoids a flying frisbee.


title: Relaxation dynamics in reverse Monte Carlo

abstract: The reverse Monte Carlo (RMC) method is widely used in structural modelling and analysis of experimental data. More recently, RMC has been applied to the calculation of equilibrium thermodynamic properties and dynamic problems. These studies point to the importance of properly converging RMC calculations and understanding the relaxation behavior in RMC. From our detailed RMC calculations, we show that the relaxation comprises of both fast and slow aspects. A metric is introduced to assess whether fast equilibration is achieved, i.e., detailed balance condition is satisfied. The metric, essentially an equilibrium constant for RMC, is used as a test for quasi-equilibration. The slow evolution is analogous to glassy materials, i.e., it is characterized empirically in terms of the Kohlrausch-Williams-Watts (KWW) function, i.e., stretched exponentials. This feature can be exploited to estimate the convergence error or to extrapolate statistical quantities from short RMC calculations.


title: GRiT: A Generative Region-to-text Transformer for Object Understanding

abstract: This paper presents a Generative RegIon-to-Text transformer, GRiT, for object understanding. The spirit of GRiT is to formulate object understanding as <region, text> pairs, where region locates objects and text describes objects. For example, the text in object detection denotes class names while that in dense captioning refers to descriptive sentences. Specifically, GRiT consists of a visual encoder to extract image features, a foreground object extractor to localize objects, and a text decoder to generate open-set object descriptions. With the same model architecture, GRiT can understand objects via not only simple nouns, but also rich descriptive sentences including object attributes or actions. Experimentally, we apply GRiT to object detection and dense captioning tasks. GRiT achieves 60.4 AP on COCO 2017 test-dev for object detection and 15.5 mAP on Visual Genome for dense captioning. Code is available at https://github.com/JialianW/GRiT


title: Localization vs. Semantics: Visual Representations in Unimodal and Multimodal Models

abstract: Despite the impressive advancements achieved through vision-and-language pretraining, it remains unclear whether this joint learning paradigm can help understand each individual modality. In this work, we conduct a comparative analysis of the visual representations in existing vision-and-language models and vision-only models by probing a broad range of tasks, aiming to assess the quality of the learned representations in a nuanced manner. Interestingly, our empirical observations suggest that vision-and-language models are better at label prediction tasks like object and attribute prediction, while vision-only models are stronger at dense prediction tasks that require more localized information. We hope our study sheds light on the role of language in visual learning, and serves as an empirical guide for various pretrained models. Code will be released at https://github.com/Lizw14/visual_probing


title: Democratic parameterization and analysis for 331 model as a subgroup of $SU(6)$

abstract: A democratic parameterization is introduced for $SU(3)_C\otimes SU(3)_L\otimes U(1)_X$ extension of the Standard Model, which is inspired by $SU(6)$ symmetry. In the novel scenario all Cabibbo-Kobayashi-Maskawa mixing angles and quark masses, nine observable quantities in total, are predicted within 1$-$3 standard deviations of the experimental values with a minimum number of input parameters. The present work provides the thorough numerical analysis and correlations between input parameters and predicted quantities. $\chi^2\approx 0.67$ with $\forall\sigma<0.61$ corresponds to the best global fit benchmark point. Benefits of the new parameterization and future prospects are discussed as well.


title: Modelling Solar Energetic Neutral Atoms from Solar Flares and CME-driven Shocks

abstract: We examine the production of energetic neutral atoms (ENAs) in solar flares and CME-driven shocks and their subsequent propagation to 1 au. Time profiles and fluence spectra of solar ENAs at 1 au are computed for two scenarios: 1) ENAs are produced downstream at CME-driven shocks, and 2) ENAs are produced at large-scale post-flare loops in solar flares. Both the time profiles and fluence spectra for these two scenarios are vastly different. Our calculations indicate that we can use solar ENAs as a new probe to examine the underlying acceleration process of solar energetic particles (SEPs) and to differentiate the two accelertion sites: large loops in solar flares and downstream of CME-driven shocks, in large SEP events.


title: Elastic, piezoelectric coefficients, and internal frictions of a single alpha-quartz crystal determined by partial-electrode electromechanical impedance spectroscopy

abstract: In this work, all the independent elastic coefficients, piezoelectric coefficients, and internal frictions of a single alpha-quartz crystal are determined using our recently proposed partial-electrode electromechanical impedance spectroscopy (PE-EMIS) at 25 centigrade. In PE-EMIS, the rectangular parallelepiped quartz sample with two small partial electrodes fabricated on a corner is self-excited/sensed. The conductance spectrum (equivalent to the resonance spectrum) measured by an impedance analyzer under a true free boundary condition is noiseless, allowing the first 100 eigenmodes ranging from 50 to 310kHz to be accurately fitted. To avoid mode misidentification, the off-plane displacement distributions of the quartz sample under different eigenmodes are determined using a scanned-laser vibrometer. The resonance spectrum measured using a commercial sandwich-like RUS apparatus is also presented for comparison, and the results show that the clamping force in sandwich-like RUS shifts the sample's resonance frequencies, causing 13% and 75% overestimations for the piezoelectric coefficients e11 and e14, respectively. In comparison to the RUS, our proposed PE-EMIS is more effective and convenient, and will be widely used for characterization of piezoelectric crystals.


title: Hybrid Life: Integrating Biological, Artificial, and Cognitive Systems

abstract: Artificial life is a research field studying what processes and properties define life, based on a multidisciplinary approach spanning the physical, natural and computational sciences. Artificial life aims to foster a comprehensive study of life beyond "life as we know it" and towards "life as it could be", with theoretical, synthetic and empirical models of the fundamental properties of living systems. While still a relatively young field, artificial life has flourished as an environment for researchers with different backgrounds, welcoming ideas and contributions from a wide range of subjects. Hybrid Life is an attempt to bring attention to some of the most recent developments within the artificial life community, rooted in more traditional artificial life studies but looking at new challenges emerging from interactions with other fields. In particular, Hybrid Life focuses on three complementary themes: 1) theories of systems and agents, 2) hybrid augmentation, with augmented architectures combining living and artificial systems, and 3) hybrid interactions among artificial and biological systems. After discussing some of the major sources of inspiration for these themes, we will focus on an overview of the works that appeared in Hybrid Life special sessions, hosted by the annual Artificial Life Conference between 2018 and 2022.


title: Photometry of the Four Anti-Galactocentric Old Open Clusters: Czernik 30, Berkeley 34, Berkeley 75, and Berkeley 76

abstract: We present a BVI photometric study of four old open clusters (OCs) in the Milky Way Galaxy, Czernik 30, Berkeley 34, Berkeley 75, and Berkeley 76 using the observation data obtained with the SMARTS 1.0 m telescope at the CTIO, Chile. These four OCs are located at the anti-Galactocentric direction and in the Galactic plane. We determine the fundamental physical parameters for the four OCs, such as age, metallicity, distance modulus, and color excess, using red clump and PARSEC isochrone fitting methods after finding center and size of the four OCs. These four old OCs are 2-3 Gyr old and 6 - 8 kpc away from the Sun. The metallicity ([Fe/H]) values of the four OCs are between -0.6 and 0.0 dex. We combine data for these four OCs with those for old OCs from five literatures resulting in 236 objects to investigate Galactic radial metallicity distribution. The gradient of a single linear fit for this Galactocentric [Fe/H] distribution is -0.052 +/- 0.004 dex/kpc. If we assume the existence of a discontinuity in this radial metallicity distribution, the gradient at Galactocentric radius < 12 kpc is -0.070 +/- 0.006 dex/kpc, while that at the outer part is -0.016 +/- 0.010 which is flatter than that of the inner part. Although there are not many sample clusters at the outer part, the broken linear fit seems to better follow the observation data.


title: Accelerated calculation of configurational free energy using a combination of reverse Monte Carlo and neural network models: Adsorption isotherm for 2D square and triangular lattices

abstract: We demonstrate the application of artificial neural network (ANN) models to reverse Monte Carlo based thermodynamic calculations. Adsorption isotherms are generated for 2D square and triangular lattices. These lattices are considered because of their importance to catalytic applications. In general, configurational free energy terms that arise from adsorbate arrangements are challenging to handle and are typically evaluated using computationally expensive Monte Carlo simulations. We show that a combination of reverse Monte Carlo (RMC) and ANN model can provide an accurate estimate of the configurational free energy. The ANN model is trained/constructed using data generated with the help of RMC simulations. Adsorption isotherms are accurately obtained for a range of adsorbate-adsorbate interactions, coverages and temperatures within few seconds on a desktop computer using this method. The results are validated by comparing to MC calculations. Additionally, H adsorption on Ni(100) surface is studied using the ANN/RMC approach.


title: Locally Adaptive Hierarchical Cluster Termination With Application To Individual Tree Delineation

abstract: A clustering termination procedure which is locally adaptive (with respect to the hierarchical tree of sets representative of the agglomerative merging) is proposed, for agglomerative hierarchical clustering on a set equipped with a distance function. It represents a multi-scale alternative to conventional scale dependent threshold based termination criteria.


title: Dial-a-ride problem with modular platooning and en-route transfers

abstract: Modular vehicles (MV) possess the ability to physically connect/disconnect with each other and travel in platoon with less energy consumption. A fleet of demand-responsive transit vehicles with such technology can serve passengers door to door or have vehicles deviate to platoon with each other to travel at lower cost and allow for en-route passenger transfers before splitting. A mixed integer linear programming (MILP) model is formulated to solve this "modular dial-a-ride problem" (MDARP). A heuristic algorithm based on Steiner-tree-inspired large neighborhood search is developed to solve the MDARP for practical scenarios. A set of small-scale synthetic numerical experiments are tested to evaluate the optimality gap and computation time between exact solutions of the MDARP using commercial software and the proposed heuristic. Large-scale experiments are conducted on the Anaheim network with 378 candidate join/split nodes to further explore the potentials and identify the ideal operation scenarios of MVs. The results show that MV technology can save up to 52.0% in vehicle travel cost, 35.6% in passenger service time, and 29.4% in total cost against existing on-demand mobility services in the scenarios tested. Results suggest that MVs best benefit from platooning by serving "enclave pairs" as a hub-and-spoke service.


title: Component Segmentation of Engineering Drawings Using Graph Convolutional Networks

abstract: We present a data-driven framework to automate the vectorization and machine interpretation of 2D engineering part drawings. In industrial settings, most manufacturing engineers still rely on manual reads to identify the topological and manufacturing requirements from drawings submitted by designers. The interpretation process is laborious and time-consuming, which severely inhibits the efficiency of part quotation and manufacturing tasks. While recent advances in image-based computer vision methods have demonstrated great potential in interpreting natural images through semantic segmentation approaches, the application of such methods in parsing engineering technical drawings into semantically accurate components remains a significant challenge. The severe pixel sparsity in engineering drawings also restricts the effective featurization of image-based data-driven methods. To overcome these challenges, we propose a deep learning based framework that predicts the semantic type of each vectorized component. Taking a raster image as input, we vectorize all components through thinning, stroke tracing, and cubic bezier fitting. Then a graph of such components is generated based on the connectivity between the components. Finally, a graph convolutional neural network is trained on this graph data to identify the semantic type of each component. We test our framework in the context of semantic segmentation of text, dimension and, contour components in engineering drawings. Results show that our method yields the best performance compared to recent image, and graph-based segmentation methods.


title: The Effect of Data Dimensionality on Neural Network Prunability

abstract: Practitioners prune neural networks for efficiency gains and generalization improvements, but few scrutinize the factors determining the prunability of a neural network the maximum fraction of weights that pruning can remove without compromising the model's test accuracy. In this work, we study the properties of input data that may contribute to the prunability of a neural network. For high dimensional input data such as images, text, and audio, the manifold hypothesis suggests that these high dimensional inputs approximately lie on or near a significantly lower dimensional manifold. Prior work demonstrates that the underlying low dimensional structure of the input data may affect the sample efficiency of learning. In this paper, we investigate whether the low dimensional structure of the input data affects the prunability of a neural network.


title: Economics of NFTs: The Value of Creator Royalties

abstract: Non-Fungible Tokens (NFTs) promise to revolutionize how content creators (e.g., artists) price and sell their work. One core feature of NFTs is the option to embed creator royalties which earmark a percentage of future sale proceeds to creators, each time their NFTs change hands. As popular as this feature is in practice, its utility is often questioned because buyers, the argument goes, simply ``price it in at the time of purchase''. As intuitive as this argument sounds, it is incomplete. We find royalties can add value to creators in at least three distinct ways. (i) Risk sharing: when creators and buyers are risk sensitive, royalties can improve trade by splitting the risks associated with future price volatility; (ii) Dynamic pricing: in the presence of information asymmetry, royalties can extract more revenues from better-informed speculators over time, mimicking the benefits of ``dynamic pricing''; (iii) Price discrimination: when creators sell multi-unit NFT collections, royalties can better capture value from heterogeneous buyers. Our results suggest creator royalties play an important and sometimes overlooked role in the economics of NFTs.


title: Scalable and adaptive variational Bayes methods for Hawkes processes

abstract: Hawkes processes are often applied to model dependence and interaction phenomena in multivariate event data sets, such as neuronal spike trains, social interactions, and financial transactions. In the nonparametric setting, learning the temporal dependence structure of Hawkes processes is generally a computationally expensive task, all the more with Bayesian estimation methods. In particular, for generalised nonlinear Hawkes processes, Monte-Carlo Markov Chain methods applied to compute the doubly intractable posterior distribution are not scalable to high-dimensional processes in practice. Recently, efficient algorithms targeting a mean-field variational approximation of the posterior distribution have been proposed. In this work, we first unify existing variational Bayes approaches under a general nonparametric inference framework, and analyse the asymptotic properties of these methods under easily verifiable conditions on the prior, the variational class, and the nonlinear model. Secondly, we propose a novel sparsity-inducing procedure, and derive an adaptive mean-field variational algorithm for the popular sigmoid Hawkes processes. Our algorithm is parallelisable and therefore computationally efficient in high-dimensional setting. Through an extensive set of numerical simulations, we also demonstrate that our procedure is able to adapt to the dimensionality of the parameter of the Hawkes process, and is partially robust to some type of model mis-specification.


title: A Chebotarev Density Theorem over Local Fields

abstract: We compute the $p$-adic densities of points with a given splitting type along a (generically) finite map, analogous to the classical Chebotarev theorem over number fields and function fields. Under some mild hypotheses, we prove that these densities satisfy a functional equation in the size of the residue field. This functional equation is a direct reflection of Poincar\'e duality in \'etale cohomology. As a consequence, we prove a conjecture of Bhargava, Cremona, Fisher, and Gajovi\'c on factorization densities of p-adic polynomials. The key tool is the notion of admissible pairs associated to a group, which we use as an invariant of the inertia and decomposition action of a local field on the fibers of the finite map. We compute the splitting densities by M\"obius inverting certain p-adic integrals along the poset of admissible pairs. The conjecture on factorization densities follows immediately for tamely ramified primes from our general results. We reduce the complete conjecture (including the wild primes) to the existence of an explicit "Tate-type" resolution of the "resultant locus" over the integers and complete the proof of the conjecture by constructing this resolution.


title: Rethinking Safe Control in the Presence of Self-Seeking Humans

abstract: Safe control methods are often intended to behave safely even in worst-case human uncertainties. However, humans may exploit such safety-first systems, which results in greater risk for everyone. Despite their significance, no prior work has investigated and accounted for such factors in safe control. In this paper, we leverage an interaction-based payoff structure from game theory to model humans' short-sighted, self-seeking behaviors and how humans change their strategies toward machines based on prior experience. We integrate such strategic human behaviors into a safe control architecture. As a result, our approach achieves better safety and performance trade-offs when compared to both deterministic worst-case safe control techniques and equilibrium-based stochastic methods. Our findings suggest an urgent need to fundamentally rethink the safe control framework used in human-technology interaction in pursuit of greater safety for all.


title: Learning Markov Random Fields for Combinatorial Structures via Sampling through Lov\'asz Local Lemma

abstract: Learning to generate complex combinatorial structures satisfying constraints will have transformative impacts in many application domains. However, it is beyond the capabilities of existing approaches due to the highly intractable nature of the embedded probabilistic inference. Prior works spend most of the training time learning to separate valid from invalid structures but do not learn the inductive biases of valid structures. We develop NEural Lov\'asz Sampler (Nelson), which embeds the sampler through Lov\'asz Local Lemma (LLL) as a fully differentiable neural network layer. Our Nelson-CD embeds this sampler into the contrastive divergence learning process of Markov random fields. Nelson allows us to obtain valid samples from the current model distribution. Contrastive divergence is then applied to separate these samples from those in the training set. Nelson is implemented as a fully differentiable neural net, taking advantage of the parallelism of GPUs. Experimental results on several real-world domains reveal that Nelson learns to generate 100\% valid structures, while baselines either time out or cannot ensure validity. Nelson also outperforms other approaches in running time, log-likelihood, and MAP scores.


title: Hit-and-run mixing via localization schemes

abstract: We analyze the hit-and-run algorithm for sampling uniformly from an isotropic convex body $K$ in $n$ dimensions. We show that the algorithm mixes in time $\tilde{O}(n^2/ \psi_n^2)$, where $\psi_n$ is the smallest isoperimetric constant for any isotropic logconcave distribution, also known as the Kannan-Lovasz-Simonovits (KLS) constant. Our bound improves upon previous bounds of the form $\tilde{O}(n^2 R^2/r^2)$, which depend on the ratio $R/r$ of the radii of the circumscribed and inscribed balls of $K$, gaining a factor of $n$ in the case of isotropic convex bodies. Consequently, our result gives a mixing time estimate for the hit-and-run which matches the state-of-the-art bounds for the ball walk. Our main proof technique is based on an annealing of localization schemes introduced in Chen and Eldan (2022), which allows us to reduce the problem to the analysis of the mixing time on truncated Gaussian distributions.


title: A Commonsense-Infused Language-Agnostic Learning Framework for Enhancing Prediction of Political Polarity in Multilingual News Headlines

abstract: Predicting the political polarity of news headlines is a challenging task that becomes even more challenging in a multilingual setting with low-resource languages. To deal with this, we propose to utilise the Inferential Commonsense Knowledge via a Translate-Retrieve-Translate strategy to introduce a learning framework. To begin with, we use the method of translation and retrieval to acquire the inferential knowledge in the target language. We then employ an attention mechanism to emphasise important inferences. We finally integrate the attended inferences into a multilingual pre-trained language model for the task of bias prediction. To evaluate the effectiveness of our framework, we present a dataset of over 62.6K multilingual news headlines in five European languages annotated with their respective political polarities. We evaluate several state-of-the-art multilingual pre-trained language models since their performance tends to vary across languages (low/high resource). Evaluation results demonstrate that our proposed framework is effective regardless of the models employed. Overall, the best performing model trained with only headlines show 0.90 accuracy and F1, and 0.83 jaccard score. With attended knowledge in our framework, the same model show an increase in 2.2% accuracy and F1, and 3.6% jaccard score. Extending our experiments to individual languages reveals that the models we analyze for Slovenian perform significantly worse than other languages in our dataset. To investigate this, we assess the effect of translation quality on prediction performance. It indicates that the disparity in performance is most likely due to poor translation quality. We release our dataset and scripts at: https://github.com/Swati17293/KG-Multi-Bias for future research. Our framework has the potential to benefit journalists, social scientists, news producers, and consumers.


title: The viscous damping of three dimensional spherical gas bubble inside unbounded compressible liquid

abstract: The present paper considers a homogeneous bubble inside an unbounded polytropic compressible liquid with viscosity. The system is governed by the Navier-Stokes equation with free boundary which is determined by the kinematic and dynamic boundary conditions on the bubble-liquid interface. The global existence of solution is proved, and the $\dot{H}^1$ asymptotic stability of the spherical equilibrium in terms of viscous damping together with a explicit decay rate is given in bare energy methods.


title: Investigating the transition form factors of $\Lambda_b\to\Lambda_c(2625)$ and $\Xi_b\to\Xi_c(2815)$ and the corresponding weak decays with support from baryon spectroscopy

abstract: We calculate the form factors of the $\Lambda_b\to\Lambda_c(2625)$ and $\Xi_b\to\Xi_c(2815)$ transitions, and additionally evaluate the corresponding semileptonic decays and the color-allowed two-body nonleptonic decays. In order to obtain the concerned form factors, we use the three-body light-front quark model with the support from baryon spectroscopy. In this work, as important physical inputs, the spatial wave functions of concerned baryons are obtained by the Gaussian expansion method with a semirelativistic potential model. For the semileptonic processes, the branching ratios of the electron and muon channels can reach up to the order of magnitude of $1\%$, where our result $\mathcal{B}(\Lambda_b^0\to\Lambda_c^+(2625)\mu^-\nu_{\mu})=(1.641\pm0.113)\%$ is consistent with the current experimental data. As for the nonleptonic processes, the decays to $\pi^-$, $\rho^-$, and $D_s^{(*)-}$ final states have considerable widths. These discussed decay modes could be accessible at the LHCb experiment.


title: Learning to Select from Multiple Options

abstract: Many NLP tasks can be regarded as a selection problem from a set of options, such as classification tasks, multi-choice question answering, etc. Textual entailment (TE) has been shown as the state-of-the-art (SOTA) approach to dealing with those selection problems. TE treats input texts as premises (P), options as hypotheses (H), then handles the selection problem by modeling (P, H) pairwise. Two limitations: first, the pairwise modeling is unaware of other options, which is less intuitive since humans often determine the best options by comparing competing candidates; second, the inference process of pairwise TE is time-consuming, especially when the option space is large. To deal with the two issues, this work first proposes a contextualized TE model (Context-TE) by appending other k options as the context of the current (P, H) modeling. Context-TE is able to learn more reliable decision for the H since it considers various context. Second, we speed up Context-TE by coming up with Parallel-TE, which learns the decisions of multiple options simultaneously. Parallel-TE significantly improves the inference speed while keeping comparable performance with Context-TE. Our methods are evaluated on three tasks (ultra-fine entity typing, intent detection and multi-choice QA) that are typical selection problems with different sizes of options. Experiments show our models set new SOTA performance; particularly, Parallel-TE is faster than the pairwise TE by k times in inference. Our code is publicly available at https://github.com/jiangshdd/LearningToSelect.


title: An analysis of the Rayleigh-Ritz and refined Rayleigh-Ritz methods for nonlinear eigenvalue problems

abstract: We establish a general convergence theory of the Rayleigh--Ritz method and the refined Rayleigh--Ritz method for computing some simple eigenpair ($\lambda_{*},x_{*}$) of a given analytic nonlinear eigenvalue problem (NEP). In terms of the deviation $\varepsilon$ of $x_{*}$ from a given subspace $\mathcal{W}$, we establish a priori convergence results on the Ritz value, the Ritz vector and the refined Ritz vector, and present sufficient convergence conditions for them. The results show that, as $\varepsilon\rightarrow 0$, there is a Ritz value that unconditionally converges to $\lambda_*$ and the corresponding refined Ritz vector does so too but the Ritz vector may fail to converge and even may not be unique. We also present an error bound for the approximate eigenvector in terms of the computable residual norm of a given approximate eigenpair, and give lower and upper bounds for the error of the refined Ritz vector and the Ritz vector as well as for that of the corresponding residual norms. These results nontrivially extend some convergence results on these two methods for the linear eigenvalue problem to the NEP. Examples are constructed to illustrate some of the results.


title: Twice epi-differentiability of a class of non-amenable composite functions

abstract: This paper focuses on the twice epi-differentiability of a class of non-amenable functions, which are the composition of a piecewise twice differentiable (PWTD) function and a parabolically semidifferentiable mapping. Such composite functions frequently appear those optimization problems covering major classes of constrained and composite optimization problems, as well as encompassing disjunctive programs and low-rank or/and sparsity optimization problems. To achieve the goal, we first justify the proper twice epi-differentiability, parabolic epi-differentiability and regularity of PWTD functions, and derive an upper and lower estimate for the second subderivatives of this class of composite functions in terms of a chain rule of their parabolic subderivatives. Then, we employ the obtained upper and lower estimates to characterize the parabolic regularity and second subderivatives and then achieve the proper twice epi-differentiability for several classes of popular functions, which include the compositions of PWTD outer functions and twice differentiable inner mappings, the regularized functions inducing group sparsity, and the indicator functions of the $q(q>1)$-order cone.


title: Elliptic ruled surfaces over arbitrary characteristic fields

abstract: Atiyah classifies vector bundles on elliptic curves $E$ over an algebraically closed field of any characteristic. On the other hand, a rank $2$ vector bundle on $E$ defines a surface $S$ with a $\mathbb{P}^1$-bundle structure on $E$. We study when $S$ has an elliptic fibration according to the Atiyah's classification, and what kinds of singular fibers appear.


title: Multilingual Communication System with Deaf Individuals Utilizing Natural and Visual Languages

abstract: According to the World Federation of the Deaf, more than two hundred sign languages exist. Therefore, it is challenging to understand deaf individuals, even proficient sign language users, resulting in a barrier between the deaf community and the rest of society. To bridge this language barrier, we propose a novel multilingual communication system, namely MUGCAT, to improve the communication efficiency of sign language users. By converting recognized specific hand gestures into expressive pictures, which is universal usage and language independence, our MUGCAT system significantly helps deaf people convey their thoughts. To overcome the limitation of sign language usage, which is mostly impossible to translate into complete sentences for ordinary people, we propose to reconstruct meaningful sentences from the incomplete translation of sign language. We also measure the semantic similarity of generated sentences with fragmented recognized hand gestures to keep the original meaning. Experimental results show that the proposed system can work in a real-time manner and synthesize exquisite stunning illustrations and meaningful sentences from a few hand gestures of sign language. This proves that our MUGCAT has promising potential in assisting deaf communication.


title: Decentralized Matrix Factorization with Heterogeneous Differential Privacy

abstract: Conventional matrix factorization relies on centralized collection of users' data for recommendation, which might introduce an increased risk of privacy leakage especially when the recommender is untrusted. Existing differentially private matrix factorization methods either assume the recommender is trusted, or can only provide a uniform level of privacy protection for all users and items with untrusted recommender. In this paper, we propose a novel Heterogeneous Differentially Private Matrix Factorization algorithm (denoted as HDPMF) for untrusted recommender. To the best of our knowledge, we are the first to achieve heterogeneous differential privacy for decentralized matrix factorization in untrusted recommender scenario. Specifically, our framework uses modified stretching mechanism with an innovative rescaling scheme to achieve better trade off between privacy and accuracy. Meanwhile, by allocating privacy budget properly, we can capture homogeneous privacy preference within a user/item but heterogeneous privacy preference across different users/items. Theoretical analysis confirms that HDPMF renders rigorous privacy guarantee, and exhaustive experiments demonstrate its superiority especially in strong privacy guarantee, high dimension model and sparse dataset scenario.


title: Non-Hermitian Photonic Lattices: tutorial

abstract: Non-Hermitian photonic lattices combine the peculiar consequences of energy non-conservation with the physics of bandstructures, giving rise to a variety of exotic properties not found in conventional materials or photonic metamaterials. In this tutorial, we introduce the key concepts in the design and implementation of non-Hermitian photonic lattices, including the general features of non-Hermitian lattice Hamiltonians and their bandstructures, the role of non-Hermitian lattice symmetries, and the topological chracterization of non-Hermitian bandstructures. We survey several important non-Hermitian lattice designs, as well as the photonic platforms on which they can be realized. Finally, we discuss the possibilities for future developments in the field.


title: Wavefront Curvature in Optical Atomic Beam Clocks

abstract: Atomic clocks provide a reproducible basis for our understanding of time and frequency. Recent demonstrations of compact optical clocks, employing thermal atomic beams, have achieved short-term fractional frequency instabilities in the $10^{-16}$, competitive with the best international frequency standards available. However, a serious challenge inherent in compact clocks is the necessarily smaller optical beams, which results in rapid variation in interrogating wavefronts. This can cause inhomogeneous excitation of the thermal beam leading to long term drifts in the output frequency. Here we develop a model for Ramsey-Bord\'e interferometery using optical fields with curved wavefronts and simulate the $^{40}$Ca beam clock experiment described in [Olson et al., Phys. Rev. Lett. 123, 073202 (2019)]. Olson et al.'s results had shown surprising and unexplained behaviour in the response of the atoms in the interrogation. Our model predicts signals consistent with experimental data and can account for the significant sensitivity to laser geometry that was reported. We find the signal-to-noise ratio is maximised when the laser is uncollimated at the interrogation zones to minimise inhomogeneity, and also identify an optimal waist size determined by both laser inhomogeneity and the velocity distribution of the atomic beam. We investigate the shifts and stability of the clock frequency, showing that the Gouy phase is the primary source of frequency variations arising from laser geometry.


title: Differentially Private Adaptive Optimization with Delayed Preconditioners

abstract: Privacy noise may negate the benefits of using adaptive optimizers in differentially private model training. Prior works typically address this issue by using auxiliary information (e.g., public data) to boost the effectiveness of adaptive optimization. In this work, we explore techniques to estimate and efficiently adapt to gradient geometry in private adaptive optimization without auxiliary data. Motivated by the observation that adaptive methods can tolerate stale preconditioners, we propose differentially private adaptive training with delayed preconditioners (DP^2), a simple method that constructs delayed but less noisy preconditioners to better realize the benefits of adaptivity. Theoretically, we provide convergence guarantees for our method for both convex and non-convex problems, and analyze trade-offs between delay and privacy noise reduction. Empirically, we explore DP^2 across several real-world datasets, demonstrating that it can improve convergence speed by as much as 4x relative to non-adaptive baselines and match the performance of state-of-the-art optimization methods that require auxiliary data.


title: Oscillation, suboscillation and nonoscillation criteria for linear systems of ordinary differential equations

abstract: The Riccati equation method and an approach of the use of unknown factors is used to establish oscillation, suboscillation and nonoscillation criteria for linear systems of ordinary differential equations. A necessary condition for Lyapunov (asymptotic) stability for these systems is obtained.


title: Generalizing and Improving Jacobian and Hessian Regularization

abstract: Jacobian and Hessian regularization aim to reduce the magnitude of the first and second-order partial derivatives with respect to neural network inputs, and they are predominantly used to ensure the adversarial robustness of image classifiers. In this work, we generalize previous efforts by extending the target matrix from zero to any matrix that admits efficient matrix-vector products. The proposed paradigm allows us to construct novel regularization terms that enforce symmetry or diagonality on square Jacobian and Hessian matrices. On the other hand, the major challenge for Jacobian and Hessian regularization has been high computational complexity. We introduce Lanczos-based spectral norm minimization to tackle this difficulty. This technique uses a parallelized implementation of the Lanczos algorithm and is capable of effective and stable regularization of large Jacobian and Hessian matrices. Theoretical justifications and empirical evidence are provided for the proposed paradigm and technique. We carry out exploratory experiments to validate the effectiveness of our novel regularization terms. We also conduct comparative experiments to evaluate Lanczos-based spectral norm minimization against prior methods. Results show that the proposed methodologies are advantageous for a wide range of tasks.


title: Constraining Generalized Chaplygin Gas in Non-Minimally Coupled $f(Q)$ Cosmology using Quasars and $H(z)$ Data

abstract: In the current framework of Einstein's equations in general relativity (GR), gravity is described by the spacetime curvature. However, there are other descriptions where the origin of gravity can be understood through torsion and non-metricity $Q$. In this work, we discuss a modified theory of gravity namely $f(Q)$ gravity, which considers a non-linear extension of $Q$. In particular, we study the case where it is non-minimally coupled to matter. Motivated by the recent success of Chaplygin gas models in the explanation of dark energy, we assume a pressureless baryonic matter and a generalized Chaplygin gas as the background fluid. We constrain the proposed model using two different datasets: one for Hubble measurements and the other for quasars (which we calibrated) with Markov-Chain Monte Carlo (MCMC) methods. We employ kinematic tools such as deceleration and jerk parameters to determine deviations of the proposed model from $\Lambda$CDM. We establish that the transition redshift $z_T$ in the deceleration parameter $q$ is $0.607$ and $0.204$ with the two datasets respectively, therefore describing the universe's acceleration.


title: Concealed Object Detection for Passive Millimeter-Wave Security Imaging Based on Task-Aligned Detection Transformer

abstract: Passive millimeter-wave (PMMW) is a significant potential technique for human security screening. Several popular object detection networks have been used for PMMW images. However, restricted by the low resolution and high noise of PMMW images, PMMW hidden object detection based on deep learning usually suffers from low accuracy and low classification confidence. To tackle the above problems, this paper proposes a Task-Aligned Detection Transformer network, named PMMW-DETR. In the first stage, a Denoising Coarse-to-Fine Transformer (DCFT) backbone is designed to extract long- and short-range features in the different scales. In the second stage, we propose the Query Selection module to introduce learned spatial features into the network as prior knowledge, which enhances the semantic perception capability of the network. In the third stage, aiming to improve the classification performance, we perform a Task-Aligned Dual-Head block to decouple the classification and regression tasks. Based on our self-developed PMMW security screening dataset, experimental results including comparison with State-Of-The-Art (SOTA) methods and ablation study demonstrate that the PMMW-DETR obtains higher accuracy and classification confidence than previous works, and exhibits robustness to the PMMW images of low quality.


title: Comparing two Proj-like constructions on toric varieties

abstract: The paper explores the relation between Perling's toric Proj of a multigraded ring A associated with a toric variety (tProj A), and Brenner and Schroer's homogeneous spectrum ProjMH A of the same ring. We show that there is always a canonical open embedding and study a criterion for them to be isomorphic.


title: Decay of Operator Semigroups, Infinite-time Admissibility, and Related Resolvent Estimates

abstract: We study decay rates for bounded $C_0$-semigroups from the perspective of $L^p$-infinite-time admissibility and related resolvent estimates. In the Hilbert space setting, polynomial decay of semigroup orbits is characterized by the resolvent behavior in the open right half-plane. A similar characterization based on $L^p$-infinite-time admissibility is provided for multiplication semigroups on $L^q$-spaces with $1 \leq q \leq p < \infty$. For polynomially stable $C_0$-semigroups on Hilbert spaces, we also give a sufficient condition for $L^2$-infinite-time admissibility.


title: Inverse soft limit construction of QCD amplitude

abstract: QCD amplitudes are one of the most important ingredients for the understanding of the early universe. In this work we present how the knowledge of the asymptotic states can be used to calculate the scattering amplitude of the underline QCD events at high energy. To do so, we show how the understanding of the soft factorization and the soft structure of amplitudes can provide us all the necessary information to fix the kinematics of amplitudes using inverse soft limit techniques.


title: The Structure of the 2-factor Transfer Digraph Common for Rectangular, Thick Cylinder and Moebius Strip Grid Graphs

abstract: In this paper, we prove that all but one of the components of the transfer digraph ${\cal D}^*_m$ needed for the enumeration of 2-factors in the rectangular, thick cylinder and Moebius strip grid graphs of the fixed width $m$ $(m \in N)$ are bipartite digraphs and that their orders could be expressed in term of binomial coefficients. In addition, we prove that the set of vertices of each component consists of all the binary $m$-words for which the difference of numbers of zeros in odd and even positions is constant.


title: ASTROPHYSICAL S(0)-FACTORS FOR THE $^{3}{\rm He}(\alpha, \gamma)^{7}{\rm Be}$, $^{3}{\rm H}(\alpha, \gamma)^{7}{\rm Li}$ and $^{7}{\rm Be}(p, \gamma)^{8}{\rm B}$ DIRECT CAPTURE PROCESSES IN A POTENTIAL MODEL

abstract: Astrophysical S-factors at zero energy for the direct nuclear capture reactions $^{3}{\rm He}(\alpha, \gamma)^{7}{\rm Be}$, $^{3}{\rm H}(\alpha, \gamma)^{7}{\rm Li}$ and $^{7}{\rm Be}(p, \gamma)^{8}{\rm B}$ are estimated within the framework of two-body potential cluster model on the basis of extranuclear capture approximation of D. Baye and E. Brainis. The values of S(0)-factors have been calculated using two different potential models for each process, which were adjusted to the binding energies and empirical values of the asymptotical normalization coefficients from the literature. New values of S(0)-factors have been obtained.


title: An interlacing result for Hermitian matrices in Minkowski space

abstract: In this paper we will look at the well known interlacing problem, but here we consider the result for Hermitian matrices in the Minkowski space, an indefinite inner product space with one negative square. More specific, we consider the $n\times n$ matrix $A=\begin{bmatrix} J & u\\ -u^* & a\end{bmatrix}$ with $a\in\mathbb{R}$, $J=J^*$ and $u\in\mathbb{C}^{n-1}$. Then $A$ is $H$-selfadjoint with respect to the matrix $H=I_{n-1}\oplus(-1)$. The canonical form for the pair $(A,H)$ plays an important role and the sign characteristic coupled to the pair is also discussed.


title: A universal formula for the $x-y$ swap in topological recursion

abstract: We prove a recent conjecture of Borot et al. that a particular universal closed algebraic formula recovers the correlation differentials of topological recursion after the swap of $x$ and $y$ in the input data. We also show that this universal formula can be drastically simplified (as it was already done by Hock). As an application of this general $x-y$ swap result, we prove an explicit closed formula for the topological recursion differentials for the case of any spectral curve with unramified $y$ and arbitrary rational $x$.


title: Security and Privacy-Preservation of IoT Data in Cloud-Fog Computing Environment

abstract: IoT is the fastest-growing technology with a wide range of applications in various domains. IoT devices generate data from a real-world environment every second and transfer it to the cloud due to the less storage at the edge site. An outsourced cloud is a solution for handling the storage problem. Users' privacy can be exposed by storing the data on the cloud. Therefore, we propose a Private Data Storage model that stores IoT data on the outsourced cloud with privacy preservation. Fog nodes are used at the edge side for data partition and encryption. Partitioned and encrypted data is aggregated with the help of homomorphic encryption on the outsourced cloud. For secure query processing and accessing the data from the outsourced cloud, the introduced model can be used on the outsourced cloud.


title: Hijack Vertical Federated Learning Models As One Party

abstract: Vertical federated learning (VFL) is an emerging paradigm that enables collaborators to build machine learning models together in a distributed fashion. In general, these parties have a group of users in common but own different features. Existing VFL frameworks use cryptographic techniques to provide data privacy and security guarantees, leading to a line of works studying computing efficiency and fast implementation. However, the security of VFL's model remains underexplored.


title: Flexoelectricity and surface ferroelectricity in water ice

abstract: The phase diagram of ice is complex and contains many phases, but the most common (frozen water at ambient pressure, also known as Ih ice) is a non-polar material despite individual water molecules being polar. Consequently, ice is not piezoelectric and cannot generate electricity under pressure. On the other hand, it can in theory be flexoelectric because the coupling between polarization and strain gradient is universal. Therefore, ice may polarize under bending or any inhomogeneous deformation. Here we report the flexoelectricity of ice, and show that it can account for important ice-electrification processes occurring in nature, such as the genesis of lightning in storm clouds. In addition, the sensitivity of flexoelectricity to surface boundary conditions has revealed the presence of a ferroelectric phase that appears around 163 K confined within the surface skin layer of bulk ice.


title: A note on Dedekind zeta values at 1/2

abstract: For a number field $K$, let $\zeta_{K}(s)$ be the Dedekind zeta function associated to $K$. In this note, we study non-vanishing and transcendence of $\zeta_{K}$ as well as its derivative $\zeta_{K}'$ at $s= 1/2$. En route, we strengthen a result proved by Ram Murty and Tanabe [On the nature of $e^{\gamma}$ and non-vanishing of $L$-series at $s= 1/2$, J. Number Theory 161 (2016) 444-456].


title: HashVFL: Defending Against Data Reconstruction Attacks in Vertical Federated Learning

abstract: Vertical Federated Learning (VFL) is a trending collaborative machine learning model training solution. Existing industrial frameworks employ secure multi-party computation techniques such as homomorphic encryption to ensure data security and privacy. Despite these efforts, studies have revealed that data leakage remains a risk in VFL due to the correlations between intermediate representations and raw data. Neural networks can accurately capture these correlations, allowing an adversary to reconstruct the data. This emphasizes the need for continued research into securing VFL systems. Our work shows that hashing is a promising solution to counter data reconstruction attacks. The one-way nature of hashing makes it difficult for an adversary to recover data from hash codes. However, implementing hashing in VFL presents new challenges, including vanishing gradients and information loss. To address these issues, we propose HashVFL, which integrates hashing and simultaneously achieves learnability, bit balance, and consistency. Experimental results indicate that HashVFL effectively maintains task performance while defending against data reconstruction attacks. It also brings additional benefits in reducing the degree of label leakage, mitigating adversarial attacks, and detecting abnormal inputs. We hope our work will inspire further research into the potential applications of HashVFL.


title: Shift current response in elemental two-dimensional ferroelectrics

abstract: A bulk material without inversion symmetry can generate a direct current under illumination. This interface-free current generation mechanism, referred to as the bulk photovoltaic effect (BPVE), does not rely on $p$-$n$ junctions. Here, we explore the shift current generation, a major mechanism responsible for the BPVE, in single-element two-dimensional (2D) ferroelectrics represented by phosphorene-like monolayers of As, Sb, and Bi. The strong covalency, small band gap, and large joint density of states afforded by these elemental 2D materials give rise to large shift currents, outperforming many state-of-the-art materials. We find that the shift current, due to its topological nature, depends sensitively on the details of the Bloch wave functions. It is crucial to consider the electronic exchange-correlation potential beyond the generalized gradient approximation as well as the spin-orbit interaction in density functional theory calculations to obtain reliable frequency-dependent shift current responses.


title: Isoscalar giant monopole strength in $^{58}$Ni, $^{90}$Zr, $^{120}$Sn and $^{208}$Pb

abstract: Inelastic $\alpha$-particle scattering at energies of a few hundred MeV and very-forward scattering angles including $0^\circ$ has been established as a tool for the study of the isoscalar giant monopole (IS0) strength distributions in nuclei. An independent investigation of the IS0 strength in nuclei across a wide mass range was performed using the $0^\circ$ facility at iThemba Laboratory for Accelerator Based Sciences (iThemba LABS), South Africa, to understand differences observed between IS0 strength distributions in previous experiments performed at the Texas A\&M University (TAMU) Cyclotron Institute, USA and the Research Center for Nuclear Physics (RCNP), Japan. The isoscalar giant monopole resonance (ISGMR) was excited in $^{58}$Ni, $^{90}$Zr, $^{120}$Sn and $^{208}$Pb using $\alpha$-particle inelastic scattering with $196$ MeV $\alpha$ beam and scattering angles $\theta_{\text{Lab}} = 0^\circ$ and $4^\circ$. The K$600$ magnetic spectrometer at iThemba LABS was used to detect and momentum analyze the inelastically scattered $\alpha$ particles. The IS0 strength distributions in the nuclei studied were deduced with the difference-of-spectra (DoS) technique including a correction factor for the $4^\circ$ data based on the decomposition of $L > 0$ cross sections in previous experiments. IS0 strength distributions for $^{58}$Ni, $^{90}$Zr, $^{120}$Sn and $^{208}$Pb are extracted in the excitation-energy region $E_{\rm x} = 9 - 25$ MeV.Using correction factors extracted from the RCNP experiments, there is a fair agreement with their published IS0 results. Good agreement for IS0 strength in $^{58}$Ni is also obtained with correction factors deduced from the TAMU results, while marked differences are found for $^{90}$Zr and $^{208}$Pb.


title: Differentially Private Learning with Per-Sample Adaptive Clipping

abstract: Privacy in AI remains a topic that draws attention from researchers and the general public in recent years. As one way to implement privacy-preserving AI, differentially private learning is a framework that enables AI models to use differential privacy (DP). To achieve DP in the learning process, existing algorithms typically limit the magnitude of gradients with a constant clipping, which requires carefully tuned due to its significant impact on model performance. As a solution to this issue, latest works NSGD and Auto-S innovatively propose to use normalization instead of clipping to avoid hyperparameter tuning. However, normalization-based approaches like NSGD and Auto-S rely on a monotonic weight function, which imposes excessive weight on small gradient samples and introduces extra deviation to the update. In this paper, we propose a Differentially Private Per-Sample Adaptive Clipping (DP-PSAC) algorithm based on a non-monotonic adaptive weight function, which guarantees privacy without the typical hyperparameter tuning process of using a constant clipping while significantly reducing the deviation between the update and true batch-averaged gradient. We provide a rigorous theoretical convergence analysis and show that with convergence rate at the same order, the proposed algorithm achieves a lower non-vanishing bound, which is maintained over training iterations, compared with NSGD/Auto-S. In addition, through extensive experimental evaluation, we show that DP-PSAC outperforms or matches the state-of-the-art methods on multiple main-stream vision and language tasks.


title: A Novel Speech Feature Fusion Algorithm for Text-Independent Speaker Recognition

abstract: A novel speech feature fusion algorithm with independent vector analysis (IVA) and parallel convolutional neural network (PCNN) is proposed for text-independent speaker recognition. Firstly, some different feature types, such as the time domain (TD) features and the frequency domain (FD) features, can be extracted from a speaker's speech, and the TD and the FD features can be considered as the linear mixtures of independent feature components (IFCs) with an unknown mixing system. To estimate the IFCs, the TD and the FD features of the speaker's speech are concatenated to build the TD and the FD feature matrix, respectively. Then, a feature tensor of the speaker's speech is obtained by paralleling the TD and the FD feature matrix. To enhance the dependence on different feature types and remove the redundancies of the same feature type, the independent vector analysis (IVA) can be used to estimate the IFC matrices of TD and FD features with the feature tensor. The IFC matrices are utilized as the input of the PCNN to extract the deep features of the TD and FD features, respectively. The deep features can be integrated to obtain the fusion feature of the speaker's speech. Finally, the fusion feature of the speaker's speech is employed as the input of a deep convolutional neural network (DCNN) classifier for speaker recognition. The experimental results show the effectiveness and performances of the proposed speaker recognition system.


title: Reliable Joint Segmentation of Retinal Edema Lesions in OCT Images

abstract: Focusing on the complicated pathological features, such as blurred boundaries, severe scale differences between symptoms, background noise interference, etc., in the task of retinal edema lesions joint segmentation from OCT images and enabling the segmentation results more reliable. In this paper, we propose a novel reliable multi-scale wavelet-enhanced transformer network, which can provide accurate segmentation results with reliability assessment. Specifically, aiming at improving the model's ability to learn the complex pathological features of retinal edema lesions in OCT images, we develop a novel segmentation backbone that integrates a wavelet-enhanced feature extractor network and a multi-scale transformer module of our newly designed. Meanwhile, to make the segmentation results more reliable, a novel uncertainty segmentation head based on the subjective logical evidential theory is introduced to generate the final segmentation results with a corresponding overall uncertainty evaluation score map. We conduct comprehensive experiments on the public database of AI-Challenge 2018 for retinal edema lesions segmentation, and the results show that our proposed method achieves better segmentation accuracy with a high degree of reliability as compared to other state-of-the-art segmentation approaches. The code will be released on: https://github.com/LooKing9218/ReliableRESeg.


title: AI Empowered Net-RCA for 6G

abstract: 6G is envisioned to offer higher data rate, improved reliability, ubiquitous AI services, and support massive scale of connected devices. As a consequence, 6G will be much more complex than its predecessors. The growth of the system scale and complexity as well as the coexistence with the legacy networks and the diversified service requirements will inevitably incur huge maintenance cost and efforts for future 6G networks. Network Root Cause Analysis (Net-RCA) plays a critical role in identifying root causes of network faults. In this article, we first give an introduction about the envisioned 6G networks. Next, we discuss the challenges and potential solutions of 6G network operation and management, and comprehensively survey existing RCA methods. Then we propose an artificial intelligence (AI)-empowered Net-RCA framework for 6G. Performance comparisons on both synthetic and real-world network data are carried out to demonstrate that the proposed method outperforms the existing method considerably.


title: Invariant Data-Driven Subgrid Stress Modeling on Anisotropic Grids for Large Eddy Simulation

abstract: We present a new approach for constructing data-driven subgrid stress models for large eddy simulation of turbulent flows using anisotropic grids. The key to our approach is a Galilean, rotationally, reflectionally and unit invariant model form that also embeds filter anisotropy in such a way that an important subgrid stress identity is satisfied. We use this model form to train a data-driven subgrid stress model using only a small amount of anisotropically filtered DNS data and a simple and inexpensive neural network architecture. A priori and a posteriori tests indicate that the trained data-driven model generalizes well to filter anisotropy ratios, Reynolds numbers and flow physics outside the training dataset.


title: AC-Band: A Combinatorial Bandit-Based Approach to Algorithm Configuration

abstract: We study the algorithm configuration (AC) problem, in which one seeks to find an optimal parameter configuration of a given target algorithm in an automated way. Recently, there has been significant progress in designing AC approaches that satisfy strong theoretical guarantees. However, a significant gap still remains between the practical performance of these approaches and state-of-the-art heuristic methods. To this end, we introduce AC-Band, a general approach for the AC problem based on multi-armed bandits that provides theoretical guarantees while exhibiting strong practical performance. We show that AC-Band requires significantly less computation time than other AC approaches providing theoretical guarantees while still yielding high-quality configurations.


title: Parametric Information Maximization for Generalized Category Discovery

abstract: We introduce a Parametric Information Maximization (PIM) model for the Generalized Category Discovery (GCD) problem. Specifically, we propose a bi-level optimization formulation, which explores a parameterized family of objective functions, each evaluating a weighted mutual information between the features and the latent labels, subject to supervision constraints from the labeled samples. Our formulation mitigates the class-balance bias encoded in standard information maximization approaches, thereby handling effectively both short-tailed and long-tailed data sets. We report extensive experiments and comparisons demonstrating that our PIM model consistently sets new state-of-the-art performances in GCD across six different datasets, more so when dealing with challenging fine-grained problems.


title: Aerodynamic characterization of two tandem wind turbines under yaw misalignment control using actuator line model

abstract: Yaw control has proven to be promising in alleviating the wake effects that plague the efficiency of wind farms. In this work, the actuator line modeling (ALM) method is adopted to simulate the flows over two tandem turbines distanced by $3 - 7$ rotor diameters, with the yaw angle of the upstream rotor varying from $\gamma_1=0^{\circ}$ to $50^{\circ}$. The aim is to provide a comprehensive aerodynamic characterization of a simple wind farm under yaw misalignment. With increasing yaw angle, the power generated by the downstream rotor increases, compensating the power loss in the upstream rotor, and resulting in higher total power of the two turbines than that without yaw control. The maximum power output is achieved as the upstream wake of the yawed rotor is redirected away from the downstream rotor plane. Behind the downstream rotor, the secondary steering phenomenon is observed, where the wake is also redirected from the centerline. The use of the actuator line model also reveal unsteady aerodynamic characteristics that can not be captured by lower-fidelity models. For the upstream rotor, the yaw misalignment results in time-varying change in the local angle of attack on the blade, giving rise to unsteady loading. The downstream rotor is partially submerged in the deflected wake incurred by the yawed upstream rotor. As the blade revolves into and out of the wake deficit, the blade experiences cyclic loading, leading to even stronger fluctuations in the aerodynamic loads than the upstream rotor. These analysis provides a comprehensive understanding of the yaw control effects on the two tandem rotors from the perspectives of aerodynamic performance, wake profiles, and unsteady characteristics. The insights gained from the study can aid the design of collective yaw control strategies of wind farms, and lay the foundation for assessing the fatigue damage associated with yaw misalignment.


title: Automated Market Makers: Mean-Variance Analysis of LPs Payoffs and Design of Pricing Functions

abstract: With the emergence of decentralized finance, new trading mechanisms called Automated Market Makers have appeared. The most popular Automated Market Makers are Constant Function Market Makers. They have been studied both theoretically and empirically. In particular, the concept of impermanent loss has emerged and explains part of the profit and loss of liquidity providers in Constant Function Market Makers. In this paper, we propose another mechanism in which price discovery does not solely rely on liquidity takers but also on an external exchange rate or price oracle. We also propose to compare the different mechanisms from the point of view of liquidity providers by using a mean / variance analysis of their profit and loss compared to that of agents holding assets outside of Automated Market Makers. In particular, inspired by Markowitz' modern portfolio theory, we manage to obtain an efficient frontier for the performance of liquidity providers in the idealized case of a perfect oracle. Beyond that idealized case, we show that even when the oracle is lagged and in the presence of adverse selection by liquidity takers and systematic arbitrageurs, optimized oracle-based mechanisms perform better than popular Constant Function Market Makers.


title: Fault Models in Superconducting quantum circuits

abstract: Fault models are indispensable for many EDA tasks, so as for design and implementation of quantum hardware. In this article, we propose a fault model for superconducting quantum systems. Our fault model reflects the real fault behavior in control signals and structure of quantum systems. Based on it, we conduct fault simulation on controlled-Z gate and quantum circuits by QuTiP. We provide fidelity benchmarks for incoherent faults and test patterns of minimal test repetitions for coherent faults. Results show that with 34 test repetitions a 10% control noise can be detected, which help to save test time and memory.


title: 3D-Aware Object Goal Navigation via Simultaneous Exploration and Identification

abstract: Object goal navigation (ObjectNav) in unseen environments is a fundamental task for Embodied AI. Agents in existing works learn ObjectNav policies based on 2D maps, scene graphs, or image sequences. Considering this task happens in 3D space, a 3D-aware agent can advance its ObjectNav capability via learning from fine-grained spatial information. However, leveraging 3D scene representation can be prohibitively unpractical for policy learning in this floor-level task, due to low sample efficiency and expensive computational cost. In this work, we propose a framework for the challenging 3D-aware ObjectNav based on two straightforward sub-policies. The two sub-polices, namely corner-guided exploration policy and category-aware identification policy, simultaneously perform by utilizing online fused 3D points as observation. Through extensive experiments, we show that this framework can dramatically improve the performance in ObjectNav through learning from 3D scene representation. Our framework achieves the best performance among all modular-based methods on the Matterport3D and Gibson datasets, while requiring (up to 30x) less computational cost for training.


title: Anger Breeds Controversy: Analyzing Controversy and Emotions on Reddit

abstract: Emotions play an important role in interpersonal interactions and social conflict, yet their function in the development of controversy and disagreement in online conversations has not been explored. To address this gap, we study controversy on Reddit, a popular network of online discussion forums. We collect discussions from a wide variety of topical forums and use emotion detection to recognize a range of emotions from text, including anger, fear, joy, admiration, etc. Our study has three main findings. First, controversial comments express more anger and less admiration, joy and optimism than non-controversial comments. Second, controversial comments affect emotions of downstream comments in a discussion, usually resulting in long-term increase in anger and a decrease in positive emotions, although the magnitude and direction of emotional change depends on the forum. Finally, we show that emotions help better predict which comments will become controversial. Understanding emotional dynamics of online discussions can help communities to better manage conversations.


title: Spectrality of a class of infinite convolutions on $\mathbb{R}$

abstract: Given an integer $m\geq1$. Let $\Sigma^{(m)}=\{1,2, \cdots, m\}^{\mathbb{N}}$ be a symbolic space, and let $\{(b_{k},D_{k})\}_{k=1}^{m}:=\{(b_{k}, \{0,1,\cdots, p_{k}-1\}t_{k}) \}_{k=1}^{m}$ be a finite sequence pairs, where integers $| b_{k}| $, $p_{k}\geq2$, $|t_{k}|\geq 1$ and $ p_{k},t_{1},t_{2}, \cdots, t_{m}$ are pairwise coprime integers for all $1\leq k\leq m$. In this paper, we show that for any infinite word $\sigma=\left(\sigma_{n}\right)_{n=1}^{\infty}\in\Sigma^{(m)}$, the infinite convolution $$ \mu_{\sigma}=\delta_{b_{\sigma_{1}}^{-1} D_{\sigma_{1}}} * \delta_{\left(b_{\sigma_{1}} b_{\sigma_{2}}\right)^{-1} D_{\sigma_{2}}} * \delta_{\left(b_{\sigma_{1}} b_{\sigma_{2}} b_{\sigma_{3}}\right)^{-1}D_{\sigma_{3}}} * \cdots $$ is a spectral measure if and only if $p_{\sigma_n}\mid b_{\sigma_n}$ for all $n\geq2$ and $\sigma\notin \bigcup_{l=1}^\infty\prod_{l}$, where $\prod_{l}=\{i_{1}i_{2}\cdots i_{l}j^{\infty}\in\Sigma^{(m)}: i_{l}\neq j, |b_{j}|=p_{j}, |t_{j}|\neq1\}$.


title: A Highly Robust Sparse Fractal Array

abstract: The term fractal refers to the fractional dimensions that have recursive nature and exhibit better array factor properties. In this article, we present a new class of sparse array where the recursive nature of a fractal can be used in designing an antenna array called a sparse fractal array by combining sparsity properties of the various sparse array and the recursive nature of fractal array. The most important property of the proposed array is the hole-free difference coarray which makes it a good choice for DOA estimation as various algorithms like coarray MUSIC etc demand hole-free difference coarray. But the performance of any array depends on the presence of essential and nonessential sensors in it which governs whether the difference coarray will get affected upon sensor failure or not. Hence, in this paper, a rigorous analysis is done for various combinations of sparse fractal arrays to test their robustness in presence of a faulty sensor environment.


title: xEM: Explainable Entity Matching in Customer 360

abstract: Entity matching in Customer 360 is the task of determining if multiple records represent the same real world entity. Entities are typically people, organizations, locations, and events represented as attributed nodes in a graph, though they can also be represented as records in relational data. While probabilistic matching engines and artificial neural network models exist for this task, explaining entity matching has received less attention. In this demo, we present our Explainable Entity Matching (xEM) system and discuss the different AI/ML considerations that went into its implementation.


title: Quantized relativistic time-of-arrival operators for spin-0 particles and the quantum tunneling time problem

abstract: We provide a full account of our recent report (EPL, 141 (2023) 10001}) which constructed a quantized relativistic time-of-arrival operator for spin-0 particles using a modified Weyl-ordering rule to calculate the traversal time across a square barrier. It was shown that the tunneling time of a relativistic spin-0 particle is instantaneous under the condition that the barrier height $V_o$ is less than the rest mass energy. This implies that instantaneous tunneling is an inherent quantum effect in the context of arrival times.


title: Bayesian Heuristics for Robust Spatial Perception

abstract: Spatial perception is a key task in several machine intelligence applications such as robotics and computer vision. In general, it involves the nonlinear estimation of hidden variables that represent the system's state. However, in the presence of measurement outliers, the standard nonlinear least squared formulation results in poor estimates. Several methods have been considered in the literature to improve the reliability of the estimation process. Most methods are based on heuristics since guaranteed global robust estimation is not generally practical due to high computational costs. Recently general purpose robust estimation heuristics have been proposed that leverage existing non-minimal solvers available for the outlier-free formulations without the need for an initial guess. In this work, we propose three Bayesian heuristics that have similar structures. We evaluate these heuristics in practical scenarios to demonstrate their merits in different applications including 3D point cloud registration, mesh registration and pose graph optimization. The general computational advantages our proposals offer make them attractive candidates for spatial perception tasks.


title: Semiconductor Defect Pattern Classification by Self-Proliferation-and-Attention Neural Network

abstract: Semiconductor manufacturing is on the cusp of a revolution: the Internet of Things (IoT). With IoT we can connect all the equipment and feed information back to the factory so that quality issues can be detected. In this situation, more and more edge devices are used in wafer inspection equipment. This edge device must have the ability to quickly detect defects. Therefore, how to develop a high-efficiency architecture for automatic defect classification to be suitable for edge devices is the primary task. In this paper, we present a novel architecture that can perform defect classification in a more efficient way. The first function is self-proliferation, using a series of linear transformations to generate more feature maps at a cheaper cost. The second function is self-attention, capturing the long-range dependencies of feature map by the channel-wise and spatial-wise attention mechanism. We named this method as self-proliferation-and-attention neural network. This method has been successfully applied to various defect pattern classification tasks. Compared with other latest methods, SP&A-Net has higher accuracy and lower computation cost in many defect inspection tasks.


title: Anisotropic differential conductance of a mixed parity superconductor/ferromagnet structure

abstract: We study the electronic transport properties of a superconductor (S) with a mixed s+p-wave pairing attached to a ferromagnetic metal (F) and a normal electrode (N) in an SFN configuration. Using the quasiclassical Green's function method, we compute the differential conductance $\sigma$ of the junction and demonstrate its dependence on the direction of the exchange field relative to the direction of the d-vector of the pair potential. If the p-wave triplet dominates the pairing, the zero bias conductance depends on the relative direction between the triplet d-vector and the exchange field. In contrast, if the s-wave singlet dominates the pairing, the zero bias conductance is isotropic with respect to the field direction. Furthermore, at zero temperature, the zero bias conductance height can only take two values as a function of $r$, the parameter quantifying the relative amount of s- and p-wave pairing, with an abrupt change at $r=1$ when the superconductor goes from a singlet to triplet dominated ground state. Moreover, we show that the relative amount of s- and p-wave pairing, can be estimated from the dependence of the finite bias conductance on the exchange field direction. Our results provide a way to characterize parity-mixed superconductors performing electrical measurements.


title: Joint Secure Transmit Beamforming Designs for Integrated Sensing and Communication Systems

abstract: Integrated sensing and communication (ISAC), which allows individual radar and communication systems to share the same spectrum bands, is an emerging and promising technique for alleviating spectrum congestion problems. In this paper, we investigate how to exploit the inherent interference from strong radar signals to ensure the physical layer security (PLS) for the considered multi-user multi-input single-output (MU-MISO) communication and colocated multi-input multi-output (MIMO) radar coexistence system. In particular, with known eavesdroppers' channel state information (CSI), we propose to jointly design the transmit beamformers of communication and radar systems to minimize the maximum eavesdropping signal-to-interference-plus-noise ratio (SINR) on multiple legitimate users, while guaranteeing the communication quality-of-service (QoS) of legitimate transmissions, the requirement of radar detection performance, and the transmit power constraints of both radar and communication systems. When eavesdroppers' CSI is unavailable, we develop a joint artificial noise (AN)-aided transmit beamforming design scheme, which utilizes residual available power to generate AN for disrupting malicious receptions as well as satisfying the requirements of both legitimate transmissions and radar target detection. Extensive simulations verify the advantages of the proposed joint beamforming designs for ISAC systems on secure transmissions and the effectiveness of the developed algorithms.


title: Group actions on orbits of an amenable equivalence relation and topological versions of Kesten's theorem

abstract: We establish results connecting the uniform Liouville property of group actions on the classes of a countable Borel equivalence relation with amenability of this equivalence relation. We also study extensions of Kesten's theorem to certain classes of topological groups and prove a version of this theorem for amenable SIN groups. Furthermore, we discuss relationship between generalizations of Kesten's theorem and anticoncentration inequalities for the inverted orbits of random walks on the classes of an amenable equivalence relation. This allows us to construct an amenable Polish group that does not satisfy the limit conditions in combinatorial extensions of Kesten's theorem.


title: Detecting complex sources in large surveys using an apparent complexity measure

abstract: Large area astronomical surveys will almost certainly contain new objects of a type that have never been seen before. The detection of 'unknown unknowns' by an algorithm is a difficult problem to solve, as unusual things are often easier for a human to spot than a machine. We use the concept of apparent complexity, previously applied to detect multi-component radio sources, to scan the radio continuum Evolutionary Map of the Universe (EMU) Pilot Survey data for complex and interesting objects in a fully automated and blind manner. Here we describe how the complexity is defined and measured, how we applied it to the Pilot Survey data, and how we calibrated the completeness and purity of these interesting objects using a crowd-sourced 'zoo'. The results are also compared to unexpected and unusual sources already detected in the EMU Pilot Survey, including Odd Radio Circles, that were found by human inspection.


title: AstroSLAM: Autonomous Monocular Navigation in the Vicinity of a Celestial Small Body -- Theory and Experiments

abstract: We propose AstroSLAM, a standalone vision-based solution for autonomous online navigation around an unknown target small celestial body. AstroSLAM is predicated on the formulation of the SLAM problem as an incrementally growing factor graph, facilitated by the use of the GTSAM library and the iSAM2 engine. By combining sensor fusion with orbital motion priors, we achieve improved performance over a baseline SLAM solution. We incorporate orbital motion constraints into the factor graph by devising a novel relative dynamics factor, which links the relative pose of the spacecraft to the problem of predicting trajectories stemming from the motion of the spacecraft in the vicinity of the small body. We demonstrate the excellent performance of AstroSLAM using both real legacy mission imagery and trajectory data courtesy of NASA's Planetary Data System, as well as real in-lab imagery data generated on a 3 degree-of-freedom spacecraft simulator test-bed.


title: LQG for Constrained Linear Systems: Indirect Feedback Stochastic MPC with Kalman Filtering

abstract: We present an output feedback stochastic model predictive control (SMPC) approach for linear systems subject to Gaussian disturbances and measurement noise and probabilistic constraints on system states and inputs. The presented approach combines a linear Kalman filter for state estimation with an indirect feedback SMPC, which is initialized with a predicted nominal state, while feedback of the current state estimate enters through the objective of the SMPC problem. For this combination, we establish recursive feasibility of the SMPC problem due to the chosen initialization, and closed-loop chance constraint satisfaction thanks to an appropriate tightening of the constraints in the SMPC problem also considering the state estimation uncertainty. Additionally, we show that for specific design choices in the SMPC problem, the unconstrained linear-quadratic-Gaussian (LQG) solution is recovered if it is feasible for a given initial condition and the considered constraints. We demonstrate this fact for a numerical example, and show that the resulting output feedback controller can provide non-conservative constraint satisfaction.


title: A Dataset with Multibeam Forward-Looking Sonar for Underwater Object Detection

abstract: Multibeam forward-looking sonar (MFLS) plays an important role in underwater detection. There are several challenges to the research on underwater object detection with MFLS. Firstly, the research is lack of available dataset. Secondly, the sonar image, generally processed at pixel level and transformed to sector representation for the visual habits of human beings, is disadvantageous to the research in artificial intelligence (AI) areas. Towards these challenges, we present a novel dataset, the underwater acoustic target detection (UATD) dataset, consisting of over 9000 MFLS images captured using Tritech Gemini 1200ik sonar. Our dataset provides raw data of sonar images with annotation of 10 categories of target objects (cube, cylinder, tyres, etc). The data was collected from lake and shallow water. To verify the practicality of UATD, we apply the dataset to the state-of-the-art detectors and provide corresponding benchmarks for its accuracy and efficiency.


title: Adaptive FEM with quasi-optimal overall cost for nonsymmetric linear elliptic PDEs

abstract: We consider a general nonsymmetric second-order linear elliptic PDE in the framework of the Lax-Milgram lemma. We formulate and analyze an adaptive finite element algorithm with arbitrary polynomial degree that steers the adaptive mesh-refinement and the inexact iterative solution of the arising linear systems. More precisely, the iterative solver employs, as an outer loop, the so-called Zarantonello iteration to symmetrize the system and, as an inner loop, a uniformly contractive algebraic solver, e.g., an optimally preconditioned conjugate gradient method or an optimal geometric multigrid algorithm. We prove that the proposed inexact adaptive iteratively symmetrized finite element method (AISFEM) leads to full linear convergence and, for sufficiently small adaptivity parameters, to optimal convergence rates with respect to the overall computational cost, i.e., the total computational time. Numerical experiments underline the theory.


title: The Double Regularization Method for Capacity Constrained Optimal Transport

abstract: Capacity constrained optimal transport is a variant of optimal transport, which adds extra constraints on the set of feasible couplings in the original optimal transport problem to limit the mass transported between each pair of source and sink. Based on this setting, constrained optimal transport has numerous applications, e.g., finance, network flow. However, due to the large number of constraints in this problem, existing algorithms are both time-consuming and space-consuming. In this paper, inspired by entropic regularization for the classical optimal transport problem, we introduce a novel regularization term for capacity constrained optimal transport. The regularized problem naturally satisfies the capacity constraints and consequently makes it possible to analyze the duality. Unlike the matrix-vector multiplication in the alternate iteration scheme for solving classical optimal transport, in our algorithm, each alternate iteration step is to solve several single-variable equations. Fortunately, we find that each of these equations corresponds to a single-variable monotonic function, and we convert solving these equations into finding the unique zero point of each single-variable monotonic function with Newton's method. Extensive numerical experiments demonstrate that our proposed method has a significant advantage in terms of accuracy, efficiency, and memory consumption compared with existing methods.


title: Towards Wireless Ranging and Synchronization using CubeSat Software-Defined Radio Subsystems

abstract: An approach towards wireless ranging and synchronization using commercial of-the-shelf software-defined radio payloads for small satellites, esp. CubeSats is studied. The approach only relies on the programmable logic configuration and processing system software. No hardware modifications or additions to the payloads are necessary. Experimental evaluation of the initial implementation shows a standard deviation of time-of-flight-based ranging measurements in the order of 1 cm, which renders the concept of interest for distributed satellite system missions.


title: Controlled-source electromagnetic modelling using high order finite-difference time-domain method on a nonuniform grid

abstract: Simulation of 3D low-frequency electromagnetic fields propagating in the Earth is computationally expensive. We present a fictitious wave domain high-order finite-difference time-domain (FDTD) modelling method on nonuniform grids to compute frequency-domain 3D controlled-source electromagnetic (CSEM) data. The method overcomes the inconsistency issue widely present in the conventional 2nd order staggered grid finite difference scheme over nonuniform grid, achieving high accuracy with arbitrarily high order scheme. The finite-difference coefficients adaptive to the node spacings, can be accurately computed by inverting a Vandermonde matrix system using efficient algorithm. A generic stability condition applicable to nonuniform grids is established, revealing the dependence of the time step and these finite-difference coefficients. A recursion scheme using fixed point iterations is designed to determine the stretching factor to generate the optimal nonuniform grid. The grid stretching in our method reduces the number of grid points required in the discretization, making it more efficient than the standard high-order FDTD with a densely sampled uniform grid. Instead of stretching in both vertical and horizontal directions, better accuracy of our method is observed when the grid is stretched along the depth without horizontal stretching. The efficiency and accuracy of our method are demonstrated by numerical examples.


title: FADEC: FPGA-based Acceleration of Video Depth Estimation by HW/SW Co-design

abstract: 3D reconstruction from videos has become increasingly popular for various applications, including navigation for autonomous driving of robots and drones, augmented reality (AR), and 3D modeling. This task often combines traditional image/video processing algorithms and deep neural networks (DNNs). Although recent developments in deep learning have improved the accuracy of the task, the large number of calculations involved results in low computation speed and high power consumption. Although there are various domain-specific hardware accelerators for DNNs, it is not easy to accelerate the entire process of applications that alternate between traditional image/video processing algorithms and DNNs. Thus, FPGA-based end-to-end acceleration is required for such complicated applications in low-power embedded environments. This paper proposes a novel FPGA-based accelerator for DeepVideoMVS, a DNN-based depth estimation method for 3D reconstruction. We employ HW/SW co-design to appropriately utilize heterogeneous components in modern SoC FPGAs, such as programmable logic (PL) and CPU, according to the inherent characteristics of the method. As some operations are unsuitable for hardware implementation, we determine the operations to be implemented in software through analyzing the number of times each operation is performed and its memory access pattern, and then considering comprehensive aspects: the ease of hardware implementation and degree of expected acceleration by hardware. The hardware and software implementations are executed in parallel on the PL and CPU to hide their execution latencies. The proposed accelerator was developed on a Xilinx ZCU104 board by using NNgen, an open-source high-level synthesis (HLS) tool. Experiments showed that the proposed accelerator operates 60.2 times faster than the software-only implementation on the same FPGA board with minimal accuracy degradation.


title: Around a question of Baker

abstract: For any positive integer $q$, it is a question of Baker whether the numbers $L(1, \chi)$, where $\chi$ runs over the non-trivial characters mod $q$, are linearly independent over $\mathbb{Q}$. The question is answered in affirmative for primes but is unknown for an arbitrary modulus. In this expository note, we give an overview of the origin and history of this question as well as the state-of-the-art. We also give an account of the mathematical ideas that enter into this theme as well as elucidate the obstructions that preclude us from answering the question for arbitrary modulus. We also describe a number of generalizations and extensions of this question.


title: Tight Conditional Lower Bounds for Vertex Connectivity Problems

abstract: We study the fine-grained complexity of graph connectivity problems in unweighted undirected graphs. Recent development shows that all variants of edge connectivity problems, including single-source-single-sink, global, Steiner, single-source, and all-pairs connectivity, are solvable in $m^{1+o(1)}$ time, collapsing the complexity of these problems into the almost-linear-time regime. While, historically, vertex connectivity has been much harder, the recent results showed that both single-source-single-sink and global vertex connectivity can be solved in $m^{1+o(1)}$ time, raising the hope of putting all variants of vertex connectivity problems into the almost-linear-time regime too. We show that this hope is impossible, assuming conjectures on finding 4-cliques. Moreover, we essentially settle the complexity landscape by giving tight bounds for combinatorial algorithms in dense graphs. There are three separate regimes: (1) all-pairs and Steiner vertex connectivity have complexity $\hat{\Theta}(n^{4})$, (2) single-source vertex connectivity has complexity $\hat{\Theta}(n^{3})$, and (3) single-source-single-sink and global vertex connectivity have complexity $\hat{\Theta}(n^{2})$. For graphs with general density, we obtain tight bounds of $\hat{\Theta}(m^{2})$, $\hat{\Theta}(m^{1.5})$, $\hat{\Theta}(m)$, respectively, assuming Gomory-Hu trees for element connectivity can be computed in almost-linear time.