title: Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)

abstract: Milner (1984) defined a process semantics for regular expressions. He formulated a sound proof system for bisimilarity of process interpretations of regular expressions, and asked whether this system is complete. We report conceptually on a proof that shows that Milner's system is complete, by motivating, illustrating, and describing all of its main steps. We substantially refine the completeness proof by Grabmayer and Fokkink (2020) for the restriction of Milner's system to `1-free' regular expressions. As a crucial complication we recognize that process graphs with empty-step transitions that satisfy the layered loop-existence/elimination property LLEE are not closed under bisimulation collapse (unlike process graphs with LLEE that only have proper-step transitions). We circumnavigate this obstacle by defining a LLEE-preserving `crystallization procedure' for such process graphs. By that we obtain `near-collapsed' process graphs with LLEE whose strongly connected components are either collapsed or of `twin-crystal' shape. Such near-collapsed process graphs guarantee provable solutions for bisimulation collapses of process interpretations of regular expressions.


title: Coupling quintessence kinetics to electromagnetism

abstract: We propose a general model where quintessence couples to electromagnetism via its kinetic term. This novelty generalizes the linear dependence of the gauge kinetic function on $\phi$, commonly adopted in the literature. The interaction naturally induces a time variation of the fine-structure constant that can be formulated within a disformally coupled framework, akin to a Gordon metric. Through a suitable parametrization of the scalar field and the coupling function, we test the model against observations sensitive to the variation of $\alpha$. We undertake a Bayesian analysis to infer the free parameters with data from Earth based, astrophysical and early Universe experiments. We find that the evolution of $\alpha$ is specific to each cosmological era and slows down at late times when dark energy accelerates the Universe. While the most stringent bound on the interaction is obtained from atomic clocks measurements, the quasars provide a constraint consistent with weak equivalence principle tests. This promising model is to be further tested with upcoming and more precise astrophysical measurements, such as those of the ESPRESSO spectrograph.


title: Some examples of noncommutative projective Calabi-Yau schemes

abstract: In this article, we construct some examples of noncommutative projective Calabi-Yau schemes by using noncommutative Segre products and quantum weighted hypersurfaces. We also compare them with commutative Calabi-Yau varieties and examples by Kanazawa. In particular, we show that some of our constructions are essentially new examples of noncommutative projective Calabi-Yau schemes.


title: Laser-induced proton decay

abstract: In this research paper, we investigate the decay of the proton into neutron, positron and electron neutrino in the presence of an external electromagnetic field with circular polarization. Different physical quantities related to this decay process, such as proton's decay rate and its lifetime, are calculated based on the S-matrix approach. The proton and positron are treated as Dirac-Volkov states, while the neutron and electron neutrino are free-states. We have found that, though it can not occur in vacuum, the proton's decay process into neutron, positron and electron neutrino becomes possible in the presence of laser field with high intensities near or close to the Schwinger limit. In addition, near this limit and for some frequencies, the proton's lifetime can be comparable to that of the neutron, and the required laser strength, from which this decay becomes possible, depends on the chosen laser source.


title: Generic Solutions of Equations Involving the Modular $j$-function

abstract: Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular $j$ function can be reduced to the problem of finding a Zariski dense set of solutions. By imposing some conditions on the field of definition of the variety, we are also able to obtain unconditional versions of this result.


title: Phonon transition across an isotopic interface

abstract: Natural materials usually consist of isotopic mixtures, for which different isotopic ratios can lead to distinct material properties such as thermal conductivity and nucleation process. However, the knowledge of isotopic interface remains largely unexplored mainly due to the challenges in isotopic identification and property measurement at an atomic scale. Here, by using monochromated electron energy-loss spectroscopy in a scanning transmission electron microscope, we reveal momentum-transfer-dependent lattice vibration behavior at an artificial h-10BN/h-11BN heterostructure with sub-unit-cell resolution. We find the vibrational energy changes across the isotopic interface gradually, featuring a wide transition regime, which suggests strong delocalization of the out-of-plane optical phonons at the interface. In addition, we identify phonons near the Brillouin zone center have a transition regime ~3.34 nm (10 atomic layers), whereas phonons at the Brillouin zone boundary transition in ~1.66 nm (5 atomic layers). We propose that the isotope-induced charge effect at the interface accounts for the distinct delocalization behavior. Moreover, intra-atomic layer variation of vibration energy is also sensitive to the momentum transfer, thus at the interface it depends on both of momentum transfer and mass change. The revealed lattice vibration behavior at an isotopic interface provides new insights to understand the isotopic effects on properties in natural materials.


title: Machine learning technique for morphological classification of galaxies from the SDSS. III. Image-based inference of detailed features

abstract: This paper follows series of our works on the applicability of various machine learning methods to the morphological galaxy classification (Vavilova et al., 2021, 2022). We exploited the sample of 315776 SDSS DR9 galaxies with absolute stellar magnitudes of -24m<Mr<-19.4m at 0.003<z<0.1 as a target data set for the CNN classifier based on the DenseNet-201. Because it is tightly overlapped with the Galaxy Zoo 2 (GZ2) sample, we use these annotated data as the training data set to classify galaxies into 34 detailed features. In the presence of a pronounced difference of visual parameters between galaxies from the GZ2 training data set and galaxies without known morphological parameters, we applied novel procedures, which allowed us for the first time to get rid of this difference for smaller and fainter SDSS galaxies. We describe in detail the adversarial validation technique as well as how we managed the optimal train-test split of galaxies from the training data set. We have also found optimal galaxy image transformations to increase the classifier generalization ability. It can be considered as another way to improve the human bias for those galaxy images that had a poor vote classification in the GZ project. Such an approach, likely auto-immunization, when the CNN classifier trained on very good images is able to retrain bad images from the same homogeneous sample, can be considered co-planar to other methods of combating the human bias. The accuracy of CNN classifier is in the range of 83.3-99.4 percent depending on 32 features. As a result, for the first time, we assigned the detailed morphological classification for more than 140K low-redshift galaxies, especially at the fainter end. We accentuate on the typical problem points of galaxy CNN image classification from the astronomical point of view. The catalogs will be available through the VizieR.


title: Employing Deep Ensemble Learning for Improving the Security of Computer Networks against Adversarial Attacks

abstract: In the past few years, Convolutional Neural Networks (CNN) have demonstrated promising performance in various real-world cybersecurity applications, such as network and multimedia security. However, the underlying fragility of CNN structures poses major security problems, making them inappropriate for use in security-oriented applications including such computer networks. Protecting these architectures from adversarial attacks necessitates using security-wise architectures that are challenging to attack. In this study, we present a novel architecture based on an ensemble classifier that combines the enhanced security of 1-Class classification (known as 1C) with the high performance of conventional 2-Class classification (known as 2C) in the absence of attacks.Our architecture is referred to as the 1.5-Class (SPRITZ-1.5C) classifier and constructed using a final dense classifier, one 2C classifier (i.e., CNNs), and two parallel 1C classifiers (i.e., auto-encoders). In our experiments, we evaluated the robustness of our proposed architecture by considering eight possible adversarial attacks in various scenarios. We performed these attacks on the 2C and SPRITZ-1.5C architectures separately. The experimental results of our study showed that the Attack Success Rate (ASR) of the I-FGSM attack against a 2C classifier trained with the N-BaIoT dataset is 0.9900. In contrast, the ASR is 0.0000 for the SPRITZ-1.5C classifier.


title: Forces for the Navier-Stokes equations and the Koch and Tataru theorem

abstract: We consider the Cauchy problem for the incompressible Navier--Stokes equations on the whole space $\mathbb{R}^3$, with initial value $\vec u_0\in {\rm BMO}^{-1}$ (as in Koch and Tataru's theorem) and with force $\vec f=\Div \mathbb{F}$ where smallness of $\mathbb{F}$ ensures existence of a mild solution in absence of initial value. We study the interaction of the two solutions and discuss the existence of global solution for the complete problem (i.e. in presence of initial value and forcing term) under smallness assumptions. In particular, we discuss the interaction between Koch and Tataru solutions and Lei-Lin's solutions (in $L^2\mathcal{F}^{-1}L^1$) or solutions in the multiplier space $\mathcal{M}(\dot H^{1/2,1}_{t,x}\mapsto L^2_{t,x})$.


title: First-order Conditions for Optimization in the Wasserstein Space

abstract: We study first-order optimality conditions for constrained optimization in the Wasserstein space, whereby one seeks to minimize a real-valued function over the space of probability measures endowed with the Wasserstein distance. Our analysis combines recent insights on the geometry and the differential structure of the Wasserstein space with more classical calculus of variations. We show that simple rationales such as "setting the derivative to zero" and "gradients are aligned at optimality" carry over to the Wasserstein space. We deploy our tools to study and solve optimization problems in the setting of distributionally robust optimization and statistical inference. The generality of our methodology allows us to naturally deal with functionals, such as mean-variance, Kullback-Leibler divergence, and Wasserstein distance, which are traditionally difficult to study in a unified framework.


title: Capacity dependent analysis for functional online learning algorithms

abstract: This article provides convergence analysis of online stochastic gradient descent algorithms for functional linear models. Adopting the characterizations of the slope function regularity, the kernel space capacity, and the capacity of the sampling process covariance operator, significant improvement on the convergence rates is achieved. Both prediction problems and estimation problems are studied, where we show that capacity assumption can alleviate the saturation of the convergence rate as the regularity of the target function increases. We show that with properly selected kernel, capacity assumptions can fully compensate for the regularity assumptions for prediction problems (but not for estimation problems). This demonstrates the significant difference between the prediction problems and the estimation problems in functional data analysis.


title: RC100: Rotation Curves of 100 Massive Star-Forming Galaxies at z=0.6-2.5 Reveal Little Dark Matter on Galactic Scales

abstract: We analyze Ha or CO rotation curves (RCs) extending out to several galaxy effective radii for 100 massive, large, star-forming disk galaxies (SFGs) across the peak of cosmic galaxy star formation (z~0.6-2.5), more than doubling the previous sample presented by Genzel et al. (2020) and Price et al. (2021). The observations were taken with SINFONI and KMOS integral-field spectrographs at ESO-VLT, LUCI at LBT, NOEMA at IRAM, and ALMA. We fit the major axis kinematics with beam-convolved, forward models of turbulent rotating disks with bulges embedded in dark matter (DM) halos, including the effects of pressure support. The fraction of dark to total matter within the disk effective radius ($R_e ~ 5 kpc$), $f_DM (R_e)=V_{DM}^2 (R_e)/V_{circ}^2 (R_e)$, decreases with redshift: At z~1 (z~2) the median DM fraction is $0.38\pm 0.23$ ($0.27\pm 0.18$), and a third (half) of all galaxies are "maximal" disks with $f_{DM} (R_e)<0.28$. Dark matter fractions correlate inversely with the baryonic surface density, and the low DM fractions require a flattened, or cored, inner DM density distribution. At z~2 there is ~40% less dark matter mass on average within $R_e$ compared to expected values based on cosmological stellar-mass halo-mass relations. The DM deficit is more evident at high star formation rate (SFR) surface densities ($\Sigma_{SFR}>2.5 M_{\odot} yr^{-1} kpc^{-2}$) and galaxies with massive bulges ($M_{bulge}>10^{10} M_{\odot}$). A combination of stellar or active galactic nucleus (AGN) feedback, and/or heating due to dynamical friction, either from satellite accretion or clump migration, may drive the DM from cuspy into cored mass distributions. The observations plausibly indicate an efficient build-up of massive bulges and central black holes at z~2 SFGs.


title: Hamiltonian perspective on parquet theory

abstract: Understanding collective phenomena calls for tractable descriptions of correlations in assemblies of strongly interacting constituents. Capturing the essence of their self-consistency is central. The parquet theory admits a maximum level of self-consistency for strictly pairwise many-body correlations. While perturbatively based, the core of parquet and allied models is a set of strongly coupled nonlinear integral equations for all-order scattering; tightly constrained by crossing symmetry, they are nevertheless heuristic. Within a formalism due to Kraichnan, we present a Hamiltonian analysis of fermionic parquet's structure. The shape of its constitutive equations follows naturally from the resulting canonical description. We discuss the affinity between the derived conserving scattering amplitude and that of standard parquet. Whereas the Hamiltonian-derived model amplitude is microscopically conserving, it cannot preserve crossing symmetry. The parquet amplitude and its refinements preserve crossing symmetry, yet cannot safeguard conservation at any stage. Which amplitude should be used depends on physics rather than on theoretically ideal completeness.


title: Bayesian inference of high-purity germanium detector impurities based on capacitance measurements and machine-learning accelerated capacitance calculations

abstract: The impurity density in high-purity germanium detectors is crucial to understand and simulate such detectors. However, the information about the impurities provided by the manufacturer, based on Hall effect measurements, is typically limited to a few locations and comes with a large uncertainty. As the voltage dependence of the capacitance matrix of a detector strongly depends on the impurity density distribution, capacitance measurements can provide a path to improve the knowledge on the impurities. The novel method presented here uses a machine-learned surrogate model, trained on precise GPU-accelerated capacitance calculations, to perform full Bayesian inference of impurity distribution parameters from capacitance measurements. All steps use open-source Julia software packages. Capacitances are calculated with SolidStateDetectors.jl, machine learning is done with Flux.jl and Bayesian inference performed using BAT.jl. The capacitance matrix of a detector and its dependence on the impurity density is explained and a capacitance bias-voltage scan of an n-type true-coaxial test detector is presented. The study indicates that the impurity density of the test detector also has a radial dependence.


title: Multimodal Exponentially Modified Gaussian Oscillators

abstract: Acoustic modeling serves audio processing tasks such as de-noising, data reconstruction, model-based testing and classification. Previous work dealt with signal parameterization of wave envelopes either by multiple Gaussian distributions or a single asymmetric Gaussian curve, which both fall short in representing super-imposed echoes sufficiently well. This study presents a three-stage Multimodal Exponentially Modified Gaussian (MEMG) model with an optional oscillating term that regards captured echoes as a superposition of univariate probability distributions in the temporal domain. With this, synthetic ultrasound signals suffering from artifacts can be fully recovered, which is backed by quantitative assessment. Real data experimentation is carried out to demonstrate the classification capability of the acquired features with object reflections being detected at different points in time. The code is available at https://github.com/hahnec/multimodal_emg.


title: Solar coronal heating from small-scale magnetic braids

abstract: Relaxation of braided coronal magnetic fields through reconnection is thought to be a source of energy to heat plasma in active region coronal loops. However, observations of active region coronal heating associated with an untangling of magnetic braids remain sparse. One reason for this paucity could be the lack of coronal observations with a sufficiently high spatial and temporal resolution to capture this process in action. Using new observations with high spatial resolution (250-270 km on the Sun) and high cadence (3-10 s) from the Extreme Ultraviolet Imager (EUI) on board Solar Orbiter, we observed the untangling of small-scale coronal braids in different active regions. The untangling is associated with impulsive heating of the gas in these braided loops. We assess that coronal magnetic braids overlying cooler chromospheric filamentary structures are perhaps more common. Furthermore, our observations show signatures of spatially coherent and intermittent coronal heating during the relaxation of the magnetic braids. Our study reveals the operation of gentle and impulsive modes of magnetic reconnection in the solar corona.


title: On sequences of sectorial forms converging `from above'

abstract: We present a form convergence theorem for sequences of sectorial forms and their associated semigroups in a complex Hilbert space. Roughly speaking, the approximating forms $a_n$ are all `bounded below' by the limiting form $a$, but in contrast to the previous literature there is no monotonicity hypothesis on the sequence. Moreover, the forms are not supposed to be closed or densely defined. For a sectorial form one obtains an associated linear relation, whose negative generates a degenerate strongly continuous semigroup of linear operators. Our hypotheses on the sequence of forms imply strong resolvent convergence of the associated linear relations, which in turn implies convergence of the corresponding semigroups. The result is illustrated by two examples, one of them closely related to the Galerkin method of numerical analysis.


title: The Impact of Phase Equilibrium Cloud Models on GCM Simulations of GJ~1214b

abstract: We investigate the impact of clouds on the atmosphere of GJ~1214b using the radiatively-coupled, phase-equilibrium cloud model {\sc EddySed} coupled to the {\sc Unified Model} general circulation model. We find that, consistent with previous investigations, high metallicity ($100\times$ solar) and clouds with large vertical extents (a sedimentation factor of $f_\mathrm{sed} = 0.1$) are required to best match the observations, although metallicities even higher than those investigated here may be required to improve agreement further. We additionally find that in our case which best matches the observations ($f_\mathrm{sed}=0.1$), the velocity structures change relative to the clear sky case with the formation of a superrotating jet being suppressed, although further investigation is required to understand the cause of the suppression. The increase in cloud extent with $f_\mathrm{sed}$ results in a cooler planet due to a higher albedo, causing the atmosphere to contract. This also results in a reduced day-night contrast seen in the phase curves, although the introduction of cloud still results in a reduction of the phase offset. We additionally investigate the impact the the {\sc Unified Model}'s pseudo-spherical irradiation scheme on the calculation of heating rates, finding that the introduction of nightside shortwave heating results in slower mid-latitude jets compared to the plane parallel irradiation scheme used in previous works. We also consider the impact of a gamma distribution, as opposed to a log-normal distribution, for the distribution of cloud particle radii and find the impact to be relatively minor.


title: Investigations on the charmless decays of $X(3872)$ in intermediate meson loops model

abstract: The charmless decay processes of $X(3872)$ provide us a good platform to study the nature and the decay mechanism of $X(3872)$. Based on a molecular nature of $X(3872)$ as a $\bar{D}D^*$ bound state, we have investigated the charmless decays $X(3872) \to VV$ and $VP$ via intermediate $D^*{\bar D} +c.c.$ meson loops, where $V$ and $P$ stand for light vector and pseudoscalar mesons, respectively. We discuss three cases, i.e., pure neutral components ($\theta=0$), isospin singlet ($\theta=\pi/4$) and neutral components dominant ($\theta = \pi/6$), where $\theta$ is a phase angle describing the proportion of neutral and charged constituents. The proportion of neutral and charged constituent have an influence on the decay widths of $X(3872) \to VV$ and $VP$. With the coupling constant of $X(3872)$ to the $\bar{D}D^*$ channel obtained under the molecule ansatz of $X(3872)$ resonance, the predicted decay widths of $X(3872)\rightarrow VV$ are about tens of keVs, while the decay width can reach a few hundreds of keVs for $X(3872)\to VP$. The dependence of these ratios between different decay modes of $X(3872)\to VV$ and $X(3872)\to VP$ to the mixing angle $\theta$ is also investigated. It is expected that the theoretical calculations here can be tested by future experiments.


title: HD 60431, the CP2 star with the shortest rotational period -- Physical parameters and period analysis

abstract: CP2 stars show periodic photometric, spectroscopic, and magnetic variations with the rotational period. They are generally slow rotators, with rotational periods exceeding half a day, except for the late B-type star HD 60431, which has an unusually short rotational period of 0.4755 days. As slow rotation is deemed a necessary criterion for the establishment of chemical peculiarities, this characteristic renders HD 60431 a special object that might offer valuable insight into, and constraints on, the formation and evolution of CP2 stars. Our study aims at analysing the light variability, deriving atmospheric abundances, and determining detailed physical parameters of HD 60431 to confirm its status as the CP2 star with the shortest known rotational period, with special emphasis on the rotational period evolution. Photometric indices and high-resolution spectroscopy were employed to derive physical parameters, evolutionary status, and atmospheric abundances of our target star. A light variability study was carried out using combined sets of photometric data from ground- and space-based facilities. A circularly polarised spectrum was employed to check the presence of a longitudinal magnetic field in the star. With an age of only 10 Myr, HD 60431 is situated close to the zero-age main sequence and a member of the open cluster NGC 2547 in the Vela OB2 complex. We confirm its status as a classical late B-type CP2 star showing strong overabundances of Mg (1.8 dex), Si (1.9 dex), Ca (1.6 dex), Ti (2.2 dex), and Fe (1.8 dex). No conclusive evidence for the presence of a strong magnetic field was found in the available spectroscopic data. The available photometric time series data confirm the short rotational period and indicate a slight secular increase of the rotational period of P' = 7.5(6) ms/yr. HD 60431 is indeed the CP2 star with the shortest known rotational period.


title: A Uniform Representation Learning Method for OCT-based Fingerprint Presentation Attack Detection and Reconstruction

abstract: The technology of optical coherence tomography (OCT) to fingerprint imaging opens up a new research potential for fingerprint recognition owing to its ability to capture depth information of the skin layers. Developing robust and high security Automated Fingerprint Recognition Systems (AFRSs) are possible if the depth information can be fully utilized. However, in existing studies, Presentation Attack Detection (PAD) and subsurface fingerprint reconstruction based on depth information are treated as two independent branches, resulting in high computation and complexity of AFRS building.Thus, this paper proposes a uniform representation model for OCT-based fingerprint PAD and subsurface fingerprint reconstruction. Firstly, we design a novel semantic segmentation network which only trained by real finger slices of OCT-based fingerprints to extract multiple subsurface structures from those slices (also known as B-scans). The latent codes derived from the network are directly used to effectively detect the PA since they contain abundant subsurface biological information, which is independent with PA materials and has strong robustness for unknown PAs. Meanwhile, the segmented subsurface structures are adopted to reconstruct multiple subsurface 2D fingerprints. Recognition can be easily achieved by using existing mature technologies based on traditional 2D fingerprints. Extensive experiments are carried on our own established database, which is the largest public OCT-based fingerprint database with 2449 volumes. In PAD task, our method can improve 0.33% Acc from the state-of-the-art method. For reconstruction performance, our method achieves the best performance with 0.834 mIOU and 0.937 PA. By comparing with the recognition performance on surface 2D fingerprints, the effectiveness of our proposed method on high quality subsurface fingerprint reconstruction is further proved.


title: A simple proof of second-order sufficient optimality conditions in nonlinear semidefinite optimization

abstract: In this note, we present an elementary proof for a well-known second-order sufficient optimality condition in nonlinear semidefinite optimization which does not rely on the enhanced theory of second-order tangents. Our approach builds on an explicit elementary computation of the so-called second subderivative of the indicator function associated with the semidefinite cone which recovers the best curvature term known in the literature.


title: Transfer learning for self-supervised, blind-spot seismic denoising

abstract: Noise in seismic data arises from numerous sources and is continually evolving. The use of supervised deep learning procedures for denoising of seismic datasets often results in poor performance: this is due to the lack of noise-free field data to act as training targets and the large difference in characteristics between synthetic and field datasets. Self-supervised, blind-spot networks typically overcome these limitation by training directly on the raw, noisy data. However, such networks often rely on a random noise assumption, and their denoising capabilities quickly decrease in the presence of even minimally-correlated noise. Extending from blind-spots to blind-masks can efficiently suppress coherent noise along a specific direction, but it cannot adapt to the ever-changing properties of noise. To preempt the network's ability to predict the signal and reduce its opportunity to learn the noise properties, we propose an initial, supervised training of the network on a frugally-generated synthetic dataset prior to fine-tuning in a self-supervised manner on the field dataset of interest. Considering the change in peak signal-to-noise ratio, as well as the volume of noise reduced and signal leakage observed, we illustrate the clear benefit in initialising the self-supervised network with the weights from a supervised base-training. This is further supported by a test on a field dataset where the fine-tuned network strikes the best balance between signal preservation and noise reduction. Finally, the use of the unrealistic, frugally-generated synthetic dataset for the supervised base-training includes a number of benefits: minimal prior geological knowledge is required, substantially reduced computational cost for the dataset generation, and a reduced requirement of re-training the network should recording conditions change, to name a few.


title: Sharp Gaussian upper bounds for Schr\"odinger semigroups on the half-line

abstract: In 1998, V. Liskevich and Y. Semenov showed sharp Gaussian upper bounds for Schr\"odinger semigroups on $\mathbb R^3$ with potentials satisfying a global Kato class condition. Using similar basic ideas we show sharp Gaussian upper bounds for Schr\"odinger semigroups on the half-line, also assuming a suitable global Kato class condition. Our proof strategy includes a new technique of weighted ultracontractivity estimates.


title: Efficient Long Sequential User Data Modeling for Click-Through Rate Prediction

abstract: Recent studies on Click-Through Rate (CTR) prediction has reached new levels by modeling longer user behavior sequences. Among others, the two-stage methods stand out as the state-of-the-art (SOTA) solution for industrial applications. The two-stage methods first train a retrieval model to truncate the long behavior sequence beforehand and then use the truncated sequences to train a CTR model. However, the retrieval model and the CTR model are trained separately. So the retrieved subsequences in the CTR model is inaccurate, which degrades the final performance. In this paper, we propose an end-to-end paradigm to model long behavior sequences, which is able to achieve superior performance along with remarkable cost-efficiency compared to existing models. Our contribution is three-fold: First, we propose a hashing-based efficient target attention (TA) network named ETA-Net to enable end-to-end user behavior retrieval based on low-cost bit-wise operations. The proposed ETA-Net can reduce the complexity of standard TA by orders of magnitude for sequential data modeling. Second, we propose a general system architecture as one viable solution to deploy ETA-Net on industrial systems. Particularly, ETA-Net has been deployed on the recommender system of Taobao, and brought 1.8% lift on CTR and 3.1% lift on Gross Merchandise Value (GMV) compared to the SOTA two-stage methods. Third, we conduct extensive experiments on both offline datasets and online A/B test. The results verify that the proposed model outperforms existing CTR models considerably, in terms of both CTR prediction performance and online cost-efficiency. ETA-Net now serves the main traffic of Taobao, delivering services to hundreds of millions of users towards billions of items every day.


title: ECO-TR: Efficient Correspondences Finding Via Coarse-to-Fine Refinement

abstract: Modeling sparse and dense image matching within a unified functional correspondence model has recently attracted increasing research interest. However, existing efforts mainly focus on improving matching accuracy while ignoring its efficiency, which is crucial for realworld applications. In this paper, we propose an efficient structure named Efficient Correspondence Transformer (ECO-TR) by finding correspondences in a coarse-to-fine manner, which significantly improves the efficiency of functional correspondence model. To achieve this, multiple transformer blocks are stage-wisely connected to gradually refine the predicted coordinates upon a shared multi-scale feature extraction network. Given a pair of images and for arbitrary query coordinates, all the correspondences are predicted within a single feed-forward pass. We further propose an adaptive query-clustering strategy and an uncertainty-based outlier detection module to cooperate with the proposed framework for faster and better predictions. Experiments on various sparse and dense matching tasks demonstrate the superiority of our method in both efficiency and effectiveness against existing state-of-the-arts.


title: Existence and concentration of nontrivial solitary waves for a generalized Kadomtsev--Petviashvili equation in $\mathbb{R}^2$

abstract: In this paper, we study the existence and concentration of solitary waves for a class of generalized Kadomtsev-Petviashvili equations with the potential in $\mathbb{R}^2$ via the variational methods.


title: GPatch: Patching Graph Neural Networks for Cold-Start Recommendations

abstract: Cold start is an essential and persistent problem in recommender systems. State-of-the-art solutions rely on training hybrid models for both cold-start and existing users/items, based on the auxiliary information. Such a hybrid model would compromise the performance of existing users/items, which might make these solutions not applicable in real-worlds recommender systems where the experience of existing users/items must be guaranteed. Meanwhile, graph neural networks (GNNs) have been demonstrated to perform effectively warm (non-cold-start) recommendations. However, they have never been applied to handle the cold-start problem in a user-item bipartite graph. This is a challenging but rewarding task since cold-start users/items do not have links. Besides, it is nontrivial to design an appropriate GNN to conduct cold-start recommendations while maintaining the performance for existing users/items. To bridge the gap, we propose a tailored GNN-based framework (GPatch) that contains two separate but correlated components. First, an efficient GNN architecture -- GWarmer, is designed to model the warm users/items. Second, we construct correlated Patching Networks to simulate and patch GWarmer by conducting cold-start recommendations. Experiments on benchmark and large-scale commercial datasets demonstrate that GPatch is significantly superior in providing recommendations for both existing and cold-start users/items.


title: Partial annotations for the segmentation of large structures with low annotation cost

abstract: Deep learning methods have been shown to be effective for the automatic segmentation of structures and pathologies in medical imaging. However, they require large annotated datasets, whose manual segmentation is a tedious and time-consuming task, especially for large structures. We present a new method of partial annotations that uses a small set of consecutive annotated slices from each scan with an annotation effort that is equal to that of only few annotated cases. The training with partial annotations is performed by using only annotated blocks, incorporating information about slices outside the structure of interest and modifying a batch loss function to consider only the annotated slices. To facilitate training in a low data regime, we use a two-step optimization process. We tested the method with the popular soft Dice loss for the fetal body segmentation task in two MRI sequences, TRUFI and FIESTA, and compared full annotation regime to partial annotations with a similar annotation effort. For TRUFI data, the use of partial annotations yielded slightly better performance on average compared to full annotations with an increase in Dice score from 0.936 to 0.942, and a substantial decrease in Standard Deviations (STD) of Dice score by 22% and Average Symmetric Surface Distance (ASSD) by 15%. For the FIESTA sequence, partial annotations also yielded a decrease in STD of the Dice score and ASSD metrics by 27.5% and 33% respectively for in-distribution data, and a substantial improvement also in average performance on out-of-distribution data, increasing Dice score from 0.84 to 0.9 and decreasing ASSD from 7.46 to 4.01 mm. The two-step optimization process was helpful for partial annotations for both in-distribution and out-of-distribution data. The partial annotations method with the two-step optimizer is therefore recommended to improve segmentation performance under low data regime.


title: Unstable manifolds for rough evolution equations

abstract: In this paper, we consider a class of evolution equations driven by finite-dimensional $\gamma$-H\"{o}lder rough paths, where $\gamma\in(1/3,1/2]$. We prove the global-in-time solutions of rough evolution equations(REEs) in a sutiable space, also obtain that the solutions generate random dynamical systems. Meanwhile, we derive the existence of local unstable manifolds for such equations by a properly discretized Lyapunov-Perron method.


title: Inhomogeneous Khitchine-Groshev type theorems on manifolds over function fields

abstract: The goal of this paper is to establish a complete Khintchine-Groshev type theorem in both homogeneous and inhomogeneous setting, on analytic nondegenerate manifolds over a local field of positive characteristic. The dual form of Diophantine approximation has been considered here. Our treatise provides the function field analogues of the various earlier results of this type, studied in the euclidean and S-adic framework, by Bernik, Kleinbock and Margulis, Beresnevich, Bernik, Kleinbock and Margulis, Badziahin, Beresnevich and Velani, Mohammadi and Golsefidy, and Datta and Ghosh.


title: The length of switching intervals of a stable linear system

abstract: The linear switching system is a system of ODE with the time-dependent matrix taking values from a given control matrix set. The system is (asymptotically) stable if all its trajectories tend to zero for every control function. We consider possible mode-dependent restrictions on the lengths of switching intervals which keeps the stability of the system. When the stability of trajectories with short switching intervals implies the stability of all trajectories? To answer this question we introduce the concept of "cut tail points" of linear operators and study them by the convex analysis tools. We reduce the problem to the construction of Chebyshev-type exponential polynomials, for which we derive an algorithm and present the corresponding numerical results.


title: Asymptotic expansion of the spectrum for periodic Schr\"{o}dinger operators

abstract: We prove an asymptotic expansion for the eigenvalues and eigenfunctions of Schr\"{o}dinger-type operator with a confining potential and with principle part a periodic elliptic operator in divergence form. We compare the spectrum to the homogenized operator and characterize the corrections up to arbitrarily high order.


title: Hand Hygiene Assessment via Joint Step Segmentation and Key Action Scorer

abstract: Hand hygiene is a standard six-step hand-washing action proposed by the World Health Organization (WHO). However, there is no good way to supervise medical staff to do hand hygiene, which brings the potential risk of disease spread. Existing action assessment works usually make an overall quality prediction on an entire video. However, the internal structures of hand hygiene action are important in hand hygiene assessment. Therefore, we propose a novel fine-grained learning framework to perform step segmentation and key action scorer in a joint manner for accurate hand hygiene assessment. Existing temporal segmentation methods usually employ multi-stage convolutional network to improve the segmentation robustness, but easily lead to over-segmentation due to the lack of the long-range dependence. To address this issue, we design a multi-stage convolution-transformer network for step segmentation. Based on the observation that each hand-washing step involves several key actions which determine the hand-washing quality, we design a set of key action scorers to evaluate the quality of key actions in each step. In addition, there lacks a unified dataset in hand hygiene assessment. Therefore, under the supervision of medical staff, we contribute a video dataset that contains 300 video sequences with fine-grained annotations. Extensive experiments on the dataset suggest that our method well assesses hand hygiene videos and achieves outstanding performance.


title: Efficient Wrong-Way Risk Modelling for Funding Valuation Adjustments

abstract: Wrong-Way Risk (WWR) is an important component in Funding Valuation Adjustment (FVA) modelling. Yet, the standard assumption is independence between market risks and the counterparty defaults and funding costs. This typical industrial setting is our point of departure, where we aim to assess the impact of WWR without running a full Monte Carlo simulation with all credit and funding processes. We propose to split the exposure profile into two parts: an independent and a WWR-driven part. For the former, exposures can be re-used from the standard xVA calculation. We express the second part of the exposure profile in terms of the stochastic drivers and approximate these by a common Gaussian stochastic factor. Within the affine setting, the proposed approximation is generic, is an add-on to the existing xVA calculations and provides an efficient and robust way to include WWR in FVA modelling. Case studies for an interest rate swap and a representative multi-currency portfolio of swaps illustrate that the approximation method is applicable in a practical setting. We analyze the approximation error and use the approximation to compute WWR sensitivities, which are needed for risk management. The approach is equally applicable to other metrics such as Credit Valuation Adjustment.


title: A uniform semi-local limit theorem along sets of multiples for sums of i.i.d. random variables

abstract: Let $X $ be a square integrable random variable with basic probability space $(\O, \A, \P)$, taking values in a lattice $\mathcal L(v_0,1)=\big\{v_k=v_0+ k,k\in \Z\big\}$ and such that $\t_X =\sum_{k\in \Z}\P\{X=v_k\}\wedge \P\{X=v_{k+1}\}>0$. Let $ X_i$, $i\ge 1 $ be independent, identically distributed random variables having same law than $X$, and let $S_n=\sum_{j=1}^nX_j$, for each $n$. Let $\m_k\ge 0$ be such that $ \m= \sum_{k\in \Z}\m_k $ verifies $1- \t_X<\m<1$, noting that $\t_X< 1$ always. Further let $\t=1-\m$, $s(t) =\sum_{k\in \Z} \m_k\, e^{ 2i \pi v_kt}$ and $\rho$ be such that $1-\t<\rho<1$. We prove the following uniform semi-local theorems for the class $\mathcal F=\{F_{d}, d\ge 2\}$, where $F_{d}= d\N$. \noi(i) There exists $\theta=\theta(\rho,\t)$ with $ 0< \theta <\t$, $C$ and $N$ such that for $ n \ge N$, \begin{align*} \sup_{u\ge 0}\,\sup_{d\ge 2} \Big| \P \{ S_n+u\in F_{d} \} - {1\over d}- {1\over d}\sum_{ 0< |\ell|<d }& \Big( e^{ (i\pi {\ell\over d }-{ \pi^2\ell^2\over 2 d^2}) } \t\, \E \,e^{2i \pi {\ell\over d }\widetilde X } +s\big( {\ell\over d }\big)\Big)^n \Big| \cr &\le \frac{C }{ \theta ^{3/2}}\ \frac{(\log n)^{5/2}}{ n^{3/2}}+2\rho^n. \end{align*} \vskip 1 pt \noi(ii) Let $\mathcal D$ be a test set of divisors $\ge 2$, $\mathcal D_\p$ be the section of $\mathcal D$ at height $\p$ and $|\mathcal D_\p|$ denote its cardinality. Then, \begin{eqnarray*} \sum_{n=N}^\infty \ \sup_{u\ge 0} \, \sup_{\p\ge 2}\, {1\over |\mathcal D_\p |} \sum_{d\in \mathcal D_\p } \,\Big| \P \{d|S_n+u \} - {1\over d}\Big| & \le & \frac{C_1}{\t} \, + \frac{C_2 }{ \theta ^{3/2}} +\frac{2\rho^2}{1-\rho}. \end{eqnarray*}


title: Chemo-Dynamically Tagged Groups of CEMP Stars in the Halo of the Milky Way. I. Untangling the Origins of CEMP-$s$ and CEMP-no Stars

abstract: We construct a sample of 644 carbon-enhanced metal-poor (CEMP) stars with abundance analyses based on moderate- to high-resolution spectroscopic studies. Dynamical parameters for these stars are estimated, based on radial velocities, Bayesian parallax-based distance estimates, and proper motions from $Gaia$ EDR3 and DR3, supplemented by additional available information where needed. After separating our sample into the different CEMP morphological groups in the Yoon-Beers Diagram of absolute carbon abundance vs. metallicity, we used the derived specific energies and actions (E, J$_{r}$, J$_{\phi}$, J$_{z}$) to cluster them into Chemo-Dynamically Tagged Groups (CDTGs). We then analyzed the elemental-abundance dispersions within these clusters by comparing them to the dispersion of clusters that were generated at random. We find that, for the Group I (primarily CEMP-$s$ and CEMP-$r/s$) clustered stars, there exist statistically insignificant intra-cluster dispersions in [Fe/H], $[\text{C}/\text{Fe}]_{c}$ (evolution corrected carbon), and [Mg/Fe] when compared to the intra-cluster dispersions of randomly clustered Group I CEMP stars. In contrast, the Group II (primarily CEMP-no) stars exhibit clear similarities in their intra-cluster abundances, with very low, statistically significant, dispersions in $[\text{C}/\text{Fe}]_{c}$. and marginally significant results in [Mg/Fe]. These results strongly indicate that Group I CEMP stars received their carbon enhancements from local phenomena, such as mass transfer from a evolved binary companion in regions with extended star-formation histories, while the CDTGs of Group II CEMP stars formed in low-metallicity environments that had already been enriched in carbon, likely from massive rapidly rotating ultra and hyper metal-poor stars and/or supernovae associated with high-mass early generation stars.


title: Adaptive Dynamic Programming and Data-Driven Cooperative Optimal Output Regulation with Adaptive Observers

abstract: In this paper, a novel adaptive optimal control strategy is proposed to achieve the cooperative optimal output regulation of continuous-time linear multi-agent systems based on adaptive dynamic programming (ADP). The proposed method is different from those in the existing literature of ADP and cooperative output regulation in the sense that the knowledge of the exosystem dynamics is not required in the design of the exostate observers for those agents with no direct access to the exosystem. Moreover, an optimal control policy is obtained without the prior knowledge of the modeling information of any agent while achieving the cooperative output regulation. Instead, we use the state/input information along the trajectories of the underlying dynamical systems and the estimated exostates to learn the optimal control policy. Simulation results show the efficacy of the proposed algorithm, where both estimation errors of exosystem matrix and exostates, and the tracking errors converge to zero in an optimal sense, which solves the cooperative optimal output regulation problem.


title: Re-contextualizing Fairness in NLP: The Case of India

abstract: Recent research has revealed undesirable biases in NLP data and models. However, these efforts focus on social disparities in West, and are not directly portable to other geo-cultural contexts. In this paper, we focus on NLP fair-ness in the context of India. We start with a brief account of the prominent axes of social disparities in India. We build resources for fairness evaluation in the Indian context and use them to demonstrate prediction biases along some of the axes. We then delve deeper into social stereotypes for Region andReligion, demonstrating its prevalence in corpora and models. Finally, we outline a holistic research agenda to re-contextualize NLP fairness research for the Indian context, ac-counting for Indian societal context, bridging technological gaps in NLP capabilities and re-sources, and adapting to Indian cultural values. While we focus on India, this framework can be generalized to other geo-cultural contexts.


title: Accurate and efficient structure factors in ultrasoft pseudopotential and projector augmented wave DFT

abstract: Structure factors obtained from diffraction experiments are one of the most important quantities for characterizing the electronic and structural properties of materials. Methods for calculating this quantity from plane-wave density functional theory (DFT) codes are typically prohibitively expensive to perform, requiring the electron density to be constructed and evaluated on dense real-space grids. Making use of the projector functions found in both the Vanderbilt ultrasoft pseudopotential and projector augmented wave methods, we implement an approach to calculate structure factors which avoids the use of a dense grid by separating the rapidly changing contributions to the electron density and treating them on logarithmic radial grids. This approach is successfully validated against structure factors obtained from all-electron DFT and experiments for three prototype systems, allowing structure factors to be obtained at all-electron accuracy at a fraction of the cost of previous approaches for plane-wave DFT.


title: On Rozanov's Theorem and strenghtened asymptotic uniform distribution

abstract: For sums $S_n=\sum_{k=1}^n X_k$, $n\ge 1$ of independent random variables $ X_k $ taking values in $\Z$ we prove, as a consequence of a more general result, that if (i) For some function $1\le \phi(t)\uparrow \infty $ as $t\to \infty$, and some constant $C$, we have for all $n$ and $\nu\in \Z$, \begin{equation*}\label{abstract1} \big|B_n\P\big\{ S_n=\nu\big\}- {1\over \sqrt{ 2\pi } }\ e^{- {(\nu-M_n)^2\over 2 B_n^2} }\big|\,\le \, {C\over \,\phi(B_n)}, \end{equation*} then (ii) There exists a numerical constant $C_1$, such that for all $n $ such that $B_n\ge 6$, all $h\ge 2$, and $\m=0,1,\ldots, h-1$, \begin{align*}\label{abstract1} \Big|{\mathbb P}\big\{ S_n\equiv\, \m\ \hbox{\rm{ (mod $h$)}}\big\}- \frac{1}{h}\Big| \le {1\over \sqrt{2\pi}\, B_n }+\frac{1+ 2 {C}/{h} }{ \phi(B_n)^{2/3} } + C_1 \,e^{-(1/ 16 )\phi(B_n)^{2/3}}. \end{align*} Assumption (i) holds if a local limit theorem in the usual form is applicable, and (ii) yields a strenghtening of Rozanov's necessary condition. Assume in place of (i) that $\t_j =\sum_{k\in \Z}{\mathbb P}\{X_j= k\}\wedge{\mathbb P}\{X_j= k+1 \} >0$, for each $j$ and that $\nu_n =\sum_{j=1}^n \t_j\uparrow \infty$. We prove also strenghtened forms of the asymptotic uniform distribution property.


title: Simultaneous Estimation and Group Identification for Network Vector Autoregressive Model with Heterogeneous Nodes

abstract: Individuals or companies in a large social or financial network often display rather heterogeneous behaviors for various reasons. In this work, we propose a network vector autoregressive model with a latent group structure to model heterogeneous dynamic patterns observed from network nodes, for which group-wise network effects and timeinvariant fixed-effects can be naturally incorporated. In our framework, the model parameters and network node memberships can be simultaneously estimated by minimizing a least-squares type objective function. In particular, our theoretical investigation allows the number of latent groups G to be over-specified when achieving the estimation consistency of the model parameters and group memberships, which significantly improves the robustness of the proposed approach. When G is correctly specified, valid statistical inference can be made for model parameters based on the asymptotic normality of the estimators. A data-driven criterion is developed to consistently identify the true group number for practical use. Extensive simulation studies and two real data examples are used to demonstrate the effectiveness of the proposed methodology.


title: High temperature AdS black holes are low temperature quantum phonon gases

abstract: We report a precise match between the high temperature $(D+2)$-dimensional Tangherlini-AdS black hole and the low temperature quantum phonon gas in $D$-dimensional nonmetallic crystals residing in $(D+1)$-dimensional flat spacetime. The match is realized by use of the recently proposed restricted phase space formalism for black hole thermodynamics, and the result can be viewed as a novel contribution to the AdS/CMT correspondence on a quantitative level.


title: Asymptotic Theory for Regularized System Identification Part I: Empirical Bayes Hyper-parameter Estimator

abstract: Regularized system identification is the major advance in system identification in the last decade. Although many promising results have been achieved, it is far from complete and there are still many key problems to be solved. One of them is the asymptotic theory, which is about convergence properties of the model estimators as the sample size goes to infinity. The existing related results for regularized system identification are about the almost sure convergence of various hyper-parameter estimators. A common problem of those results is that they do not contain information on the factors that affect the convergence properties of those hyper-parameter estimators, e.g., the regression matrix. In this paper, we tackle problems of this kind for the regularized finite impulse response model estimation with the empirical Bayes (EB) hyper-parameter estimator and filtered white noise input. In order to expose and find those factors, we study the convergence in distribution of the EB hyper-parameter estimator, and the asymptotic distribution of its corresponding model estimator. For illustration, we run Monte Carlo simulations to show the efficacy of our obtained theoretical results.


title: Contour Dice loss for structures with Fuzzy and Complex Boundaries in Fetal MRI

abstract: Volumetric measurements of fetal structures in MRI are time consuming and error prone and therefore require automatic segmentation. Placenta segmentation and accurate fetal brain segmentation for gyrification assessment are particularly challenging because of the placenta fuzzy boundaries and the fetal brain cortex complex foldings. In this paper, we study the use of the Contour Dice loss for both problems and compare it to other boundary losses and to the combined Dice and Cross-Entropy loss. The loss is computed efficiently for each slice via erosion, dilation and XOR operators. We describe a new formulation of the loss akin to the Contour Dice metric. The combination of the Dice loss and the Contour Dice yielded the best performance for placenta segmentation. For fetal brain segmentation, the best performing loss was the combined Dice with Cross-Entropy loss followed by the Dice with Contour Dice loss, which performed better than other boundary losses.


title: Mixing and diffusion in protoplanetary disc chemistry

abstract: We develop a simple iterative scheme to include vertical turbulent mixing and diffusion in ProDiMo thermo-chemical models for protoplanetary discs. The models are carefully checked for convergence toward the time-independent solution of the reaction-diffusion equations, as e.g. used in exoplanet atmosphere models. A series of five T Tauri disc models is presented where we vary the mixing parameter {\alpha} mix from 0 to 0.01 and take into account (a) the radiative transfer feedback of the opacities of icy grains that are mixed upward and (b) the feedback of the changing molecular abundances on the gas temperature structure caused by exothermic reactions and increased line heating/cooling. We see considerable changes of the molecular and ice concentrations in the disc. The most abundant species (H2, CH4, CO, the neutral atoms in higher layers, and the ices in the midplane) are transported both up and down, and at the locations where these abundant chemicals finally decompose, for example by photo processes, the release of reaction products has important consequences for all other molecules. This generally creates a more active chemistry, with a richer mixture of ionised, atomic, molecular and ice species and new chemical pathways that are not relevant in the unmixed case. We discuss the impact on three spectral observations caused by mixing and find that (i) icy grains can reach the observable disc surface where they cause ice absorption and emission features at IR to far-IR wavelengths, (ii) mixing increases the concentrations of certain neutral molecules observable by mid-IR spectroscopy, in particular OH, HCN and C2H2, and (iii) mixing can change the optical appearance of CO in ALMA line images and channel maps, where strong mixing would cause the CO molecules to populate the distant midplane.


title: Diachronic Data Analysis Supports and Refines Conceptual Metaphor Theory

abstract: As a contribution to metaphor analysis, we introduce a statistical, data-based investigation with empirical analysis of long-standing conjectures and a first-ever empirical exploration of the systematic features of metaphors. Conversely, this also makes metaphor theory available as a basis of meaning emergence that can be quantitatively explored and integrated into the framework of NLP.


title: A Comparative Study of Iterative Riemann Solvers for the Shallow Water and Euler Equations

abstract: The Riemann problem for first-order hyperbolic systems of partial differential equations is of fundamental importance for both theoretical and numerical purposes. Many approximate solvers have been developed for such systems; exact solution algorithms have received less attention because computation of the exact solution typically requires iterative solution of algebraic equations. Iterative algorithms may be less computationally efficient or might fail to converge in some cases. We investigate the achievable efficiency of robust iterative Riemann solvers for relatively simple systems, focusing on the shallow water and Euler equations. We consider a range of initial guesses and iterative schemes applied to an ensemble of test Riemann problems. For the shallow water equations, we find that Newton's method with a simple modification converges quickly and reliably. For the Euler equations we obtain similar results; however, when the required precision is high, a combination of Ostrowski and Newton iterations converges faster. These solvers are slower than standard approximate solvers like Roe and HLLE, but come within a factor of two in speed. We also provide a preliminary comparison of the accuracy of a finite volume discretization using an exact solver versus standard approximate solvers.


title: Suppressing the decoherence of alkali-metal spins at low magnetic fields

abstract: Interactions of electron spins with rotational degrees of freedom during collisions or with external fields are fundamental processes that limit the coherence time of spin gases. We experimentally study the decoherence of warm cesium spins dominated by spin rotation-interaction during binary collisions with N$_2$ molecules or by absorption of near-resonant light. We report an order of magnitude suppression of the spin decoherence rate by either of those processes at low magnetic fields. We find that the excess decoherence at higher magnetic fields originates from an asynchronous Larmor precession, which is a mechanism that universally affects all alkali atoms, and can yet be suppressed at low magnetic-fields. This work extends the widely-used regime of Spin-Exchange Relaxation Free (SERF), which provides protection from decoherence by random spin-conservative processes, now for random processes which do not conserve but rather destruct electron spins.


title: Structure of Green's function of elliptic equations and helical vortex patches for 3D incompressible Euler equations

abstract: We develop a new structure of the Green's function of a second-order elliptic operator in divergence form in a 2D bounded domain. Based on this structure and the theory of rearrangement of functions, we construct concentrated traveling-rotating helical vortex patches to 3D incompressible Euler equations in an infinite pipe. By solving an equation for vorticity \begin{equation*} w=\frac{1}{\varepsilon^2}f_\varepsilon\left(\mathcal{G}_{K_H}w-\frac{\alpha}{2}|x|^2|\ln\varepsilon|\right) \ \ \text{in}\ \Omega \end{equation*} for small $ \varepsilon>0 $ and considering a certain maximization problem for the vorticity, where $ \mathcal{G}_{K_H} $ is the inverse of an elliptic operator $ \mathcal{L}_{K_H} $ in divergence form, we get the existence of a family of concentrated helical vortex patches, which tend asymptotically to a singular helical vortex filament evolved by the binormal curvature flow. We also get nonlinear orbital stability of the maximizers in the variational problem under $ L^p $ perturbation when $ p\geq 2. $


title: High-Resolution Satellite Imagery for Modeling the Impact of Aridification on Crop Production

abstract: The availability of well-curated datasets has driven the success of Machine Learning (ML) models. Despite the increased access to earth observation data for agriculture, there is a scarcity of curated, labelled datasets, which limits the potential of its use in training ML models for remote sensing (RS) in agriculture. To this end, we introduce a first-of-its-kind dataset, SICKLE, having time-series images at different spatial resolutions from 3 different satellites, annotated with multiple key cropping parameters for paddy cultivation for the Cauvery Delta region in Tamil Nadu, India. The dataset comprises of 2,398 season-wise samples from 388 unique plots distributed across 4 districts of the Delta. The dataset covers multi-spectral, thermal and microwave data between the time period January 2018-March 2021. The paddy samples are annotated with 4 key cropping parameters, i.e. sowing date, transplanting date, harvesting date and crop yield. This is one of the first studies to consider the growing season (using sowing and harvesting dates) as part of a dataset. We also propose a yield prediction strategy that uses time-series data generated based on the observed growing season and the standard seasonal information obtained from Tamil Nadu Agricultural University for the region. The consequent performance improvement highlights the impact of ML techniques that leverage domain knowledge that are consistent with standard practices followed by farmers in a specific region. We benchmark the dataset on 3 separate tasks, namely crop type, phenology date (sowing, transplanting, harvesting) and yield prediction, and develop an end-to-end framework for predicting key crop parameters in a real-world setting.


title: Unimodality of ranks and a proof of Stanton's conjecture

abstract: Recently, much attention has been given to various inequalities among partition functions. For example, Nicolas, {and later DeSavlvo--Pak,} proved that $p(n)$ is eventually log-concave, and Ji--Zang showed that the cranks are eventually unimodal. This has led to a flurry of recent activity generalizing such results in different directions. At the same time, Stanton recently made deep conjectures on the positivity of certain polynomials associated to ranks and cranks of partitions, with the ultimate goal of pointing the way to ``deeper'' structure refining ranks and cranks. These have been shown to be robust in recent works, which have identified further infinite families of such conjectures in the case of colored partitions. In this paper, we employ the Circle Method to prove unimodality for ranks. As a corollary, we prove Stanton's original conjecture. This points to future study of the positive, integral coefficients Stanton conjectured to exist, hinting at new combinatorial structure yet to be uncovered.


title: Reduction Methods in Climate Dynamics -- A Brief Review

abstract: We review a range of reduction methods that have been, or may be useful for connecting models of the Earth's climate system of differing complexity. We particularly focus on methods where rigorous reduction is possible. We aim to highlight the main mathematical ideas of each reduction method and also provide several benchmark examples from climate modelling.

categories: math.DS math.AP math.CA nlin.PS physics.ao-ph


title: Exploring Example Influence in Continual Learning

abstract: Continual Learning (CL) sequentially learns new tasks like human beings, with the goal to achieve better Stability (S, remembering past tasks) and Plasticity (P, adapting to new tasks). Due to the fact that past training data is not available, it is valuable to explore the influence difference on S and P among training examples, which may improve the learning pattern towards better SP. Inspired by Influence Function (IF), we first study example influence via adding perturbation to example weight and computing the influence derivation. To avoid the storage and calculation burden of Hessian inverse in neural networks, we propose a simple yet effective MetaSP algorithm to simulate the two key steps in the computation of IF and obtain the S- and P-aware example influence. Moreover, we propose to fuse two kinds of example influence by solving a dual-objective optimization problem, and obtain a fused influence towards SP Pareto optimality. The fused influence can be used to control the update of model and optimize the storage of rehearsal. Empirical results show that our algorithm significantly outperforms state-of-the-art methods on both task- and class-incremental benchmark CL datasets.


title: Cohomology and deformation quantization of Poisson conformal algebras

abstract: In this paper, we first recall the notion of (noncommutative) Poisson conformal algebras and describe some constructions of them. Then we study the formal distribution (noncommutative) Poisson algebras and coefficient (noncommutative) Poisson algebras. Next, we introduce the notion of conformal formal deformations of commutative associative conformal algebras and show that Poisson conformal algebras are the corresponding semi-classical limits. At last, we develop the cohomology theory of noncommutative Poisson conformal algebras and use this cohomology to study their deformations.


title: Safety-compliant Generative Adversarial Networks for Human Trajectory Forecasting

abstract: Human trajectory forecasting in crowds presents the challenges of modelling social interactions and outputting collision-free multimodal distribution. Following the success of Social Generative Adversarial Networks (SGAN), recent works propose various GAN-based designs to better model human motion in crowds. Despite superior performance in reducing distance-based metrics, current networks fail to output socially acceptable trajectories, as evidenced by high collisions in model predictions. To counter this, we introduce SGANv2: an improved safety-compliant SGAN architecture equipped with spatio-temporal interaction modelling and a transformer-based discriminator. The spatio-temporal modelling ability helps to learn the human social interactions better while the transformer-based discriminator design improves temporal sequence modelling. Additionally, SGANv2 utilizes the learned discriminator even at test-time via a collaborative sampling strategy that not only refines the colliding trajectories but also prevents mode collapse, a common phenomenon in GAN training. Through extensive experimentation on multiple real-world and synthetic datasets, we demonstrate the efficacy of SGANv2 to provide socially-compliant multimodal trajectories.


title: Multimodal Channel-Mixing: Channel and Spatial Masked AutoEncoder on Facial Action Unit Detection

abstract: Recent studies have focused on utilizing multi-modal data to develop robust models for facial Action Unit (AU) detection. However, the heterogeneity of multi-modal data poses challenges in learning effective representations. One such challenge is extracting relevant features from multiple modalities using a single feature extractor. Moreover, previous studies have not fully explored the potential of multi-modal fusion strategies. In contrast to the extensive work on late fusion, there are limited investigations on early fusion for channel information exploration. This paper presents a novel multi-modal reconstruction network, named Multimodal Channel-Mixing (MCM), as a pre-trained model to learn robust representation for facilitating multi-modal fusion. The approach follows an early fusion setup, integrating a Channel-Mixing module, where two out of five channels are randomly dropped. The dropped channels then are reconstructed from the remaining channels using masked autoencoder. This module not only reduces channel redundancy, but also facilitates multi-modal learning and reconstruction capabilities, resulting in robust feature learning. The encoder is fine-tuned on a downstream task of automatic facial action unit detection. Pre-training experiments were conducted on BP4D+, followed by fine-tuning on BP4D and DISFA to assess the effectiveness and robustness of the proposed framework. The results demonstrate that our method meets and surpasses the performance of state-of-the-art baseline methods.


title: Decentralised possibilistic inference with applications to target tracking

abstract: Fusing and sharing information from multiple sensors over a network is a challenging task. Part of this challenge arises from the absence of a foundational rule for fusing probability distributions, with various approaches stemming from different principles. Yet, when expressing tracking algorithms within the framework of possibility theory, one specific fusion rule can be proved to be exact in the sense that it is equivalent to the non-distributed possibilistic approach. In this article, this fusion rule is applied to decentralised fusion, based on the possibilistic analogue of the Bernoulli filter. We then show that the proposed approach outperforms its probabilistic counterpart on simulated data.


title: A remark on weak tracial approximation

abstract: In this paper, we point out that the definition of weak tracial approximation can be improved and strengthened. An example of weak tracial approximation is also provided.


title: The good-bad-ugly system near spatial infinity on flat spacetime

abstract: A system of equations that serves as a model for the Einstein field equation in generalised harmonic gauge called the good-bad-ugly system is studied in the region close to null and spatial infinity in Minkowski spacetime. This analysis is performed using H. Friedrich's cylinder construction at spatial infinity and defining suitable conformally rescaled fields. The results are translated to the physical set up to investigate the relation between the polyhomogeneous expansions arising from the analysis of linear fields using the $i^0$-cylinder framework and those obtained through a heuristic method based on H\"ormander's asymptotic system.


title: D$^{\bf{3}}$: Duplicate Detection Decontaminator for Multi-Athlete Tracking in Sports Videos

abstract: Tracking multiple athletes in sports videos is a very challenging Multi-Object Tracking (MOT) task, since athletes often have the same appearance and are intimately covered with each other, making a common occlusion problem becomes an abhorrent duplicate detection. In this paper, the duplicate detection is newly and precisely defined as occlusion misreporting on the same athlete by multiple detection boxes in one frame. To address this problem, we meticulously design a novel transformer-based Duplicate Detection Decontaminator (D$^3$) for training, and a specific algorithm Rally-Hungarian (RH) for matching. Once duplicate detection occurs, D$^3$ immediately modifies the procedure by generating enhanced boxes losses. RH, triggered by the team sports substitution rules, is exceedingly suitable for sports videos. Moreover, to complement the tracking dataset that without shot changes, we release a new dataset based on sports video named RallyTrack. Extensive experiments on RallyTrack show that combining D$^3$ and RH can dramatically improve the tracking performance with 9.2 in MOTA and 4.5 in HOTA. Meanwhile, experiments on MOT-series and DanceTrack discover that D$^3$ can accelerate convergence during training, especially save up to 80 percent of the original training time on MOT17. Finally, our model, which is trained only with volleyball videos, can be applied directly to basketball and soccer videos for MAT, which shows priority of our method. Our dataset is available at https://github.com/heruihr/rallytrack.


title: A Tightly Coupled LiDAR-IMU Odometry through Iterated Point-Level Undistortion

abstract: Scan undistortion is a key module for LiDAR odometry in high dynamic environment with high rotation and translation speed. The existing line of studies mostly focuses on one pass undistortion, which means undistortion for each point is conducted only once in the whole LiDAR-IMU odometry pipeline. In this paper, we propose an optimization based tightly coupled LiDAR-IMU odometry addressing iterated point-level undistortion. By jointly minimizing the cost derived from LiDAR and IMU measurements, our LiDAR-IMU odometry method performs more accurate and robust in high dynamic environment. Besides, the method characters good computation efficiency by limiting the quantity of parameters.


title: Generalized Markov-Bernstein inequalities and stability of dynamical systems

abstract: The Markov-Bernstein type inequalities between the norms of functions and of their derivatives are analysed for complex exponential polynomials. We establish a relation between the sharp constants in those inequalities and the stability problem for linear switching systems. In particular, the maximal discretization step is estimated. We prove the monotonicity of the sharp constants with respect to the exponents, provided those exponents are real. This gives asymptotically tight uniform bounds and the general form of the extremal polynomial. The case of complex exponent is left as an open problem.


title: Sun CubE OnE: A Multi-wavelength Synoptic Solar Micro Satellite

abstract: The Sun cubE onE (SEE) is a 12U CubeSat mission proposed for a phase A/B study to the Italian Space Agency that will investigate Gamma and X-ray fluxes and ultraviolet (UV) solar emission to support studies in Sun-Earth interaction and Space Weather from LEO. More in detail, SEE's primary goals are to measure the flares emission from soft-X to Gamma ray energy range and to monitor the solar activity in the Fraunhofer Mg II doublet at 280 nm, taking advantage of a full disk imager payload. The Gamma and X-ray fluxes will be studied with unprecedented temporal resolution and with a multi-wavelength approach thanks to the combined use of silicon photodiode and silicon photomultiplier (SiPM) -based detectors. The flare spectrum will be explored from the keV to the MeV range of energies by the same payload, and with a cadence up to 10 kHz and with single-photon detection capabilities to unveil the sources of the solar flares. The energy range covers the same bands used by GOES satellites, which are the standard bands for flare magnitude definition. At the same time SiPM detectors combined with scintillators allow to cover the non-thermal bremsstrahlung emission in the gamma energy range. Given its UV imaging capabilities, SEE will be a key space asset to support detailed studies on solar activity, especially in relation to ultraviolet radiation which strongly interacts with the upper layers of the Earth's atmosphere, and in relation to space safety, included in the field of human space exploration. The main goal for the UV payload is to study the evolution of the solar UV emission in the Mg II band at two different time scales: yearly variations along the solar cycle and transient variations during flare events.

categories: astro-ph.SR astro-ph.HE astro-ph.IM physics.space-ph


title: Probing the quadrupole transition strength of 15C via deuteron inelastic scattering

abstract: Deuteron elastic scattering from 15C and inelastic scattering reactions to the first excited state of 15C were studied using a radioactive beam of 15C in inverse kinematics. The scattered deuterons were measured using HELIOS. The elastic scattering differential cross sections were analyzed using the optical model. A matter deformation length {\delta}d = 1.04(11) fm has been extracted from the differential cross sections of inelastic scattering to the first excited state. The ratio of neutron and proton matrix elements Mn/Mp = 3.6(4) has been determined from this quadrupole transition. Neutron effective charges and core-polarization parameters of 15C were determined and discussed. Results from ab-initio no-core configuration interaction calculations were also compared with the experimental observations. This result supports a moderate core decoupling effect of the valence neutron in 15C similarly to its isotone 17O, in line with the interpretation of other neutron-rich carbon isotopes.


title: Joint Robust Beamforming Design for WPT-assisted D2D Communications in MISO-NOMA: Fractional Programming and Deep Reinforcement Learning

abstract: This paper proposes a scheme for the envisioned sixth-generation (6G) ultra-massive Machine Type Communications(umMTC). In particular, wireless power transfer (WPT) assisted communication is deployed in non-orthogonal multiple access (NOMA) downlink networks to realize spectrum and energy cooperation. This paper focuses on joint robust beamforming design to maximize the energy efficiency of WPT-assisted D2D communications in multiple-input single-output (MISO)-NOMA downlink networks. To efficiently address the formulated non-concave energy efficiency maximization problem, a pure fractional programming (PFP) algorithm is proposed, where the time switching coefficient of the WPT device and the beamforming vectors of the base station are alternatively optimized by applying the Dinkelbach method and quadratic transform respectively. To prove the optimality of the proposed algorithm, the partial exhaustive search algorithm is proposed as a benchmark. A deep reinforcement learning (DRL)-based method is also applied to directly solve the non-concave problem. The proposed PFP algorithm and the DDPG-based algorithm are compared in the presence of different channel estimation errors. Simulation results show that the proposed PFP algorithm outperforms the DDPG-based algorithm if perfect channel state information (CSI) can be obtained or just have minor errors, while the DDPG-based algorithm is more robust when the channel estimation accuracy is unsatisfactory. On the other hand, one can conclude that the NOMA scheme can provide a higher gain than OMA on the energy efficiency of the WPT-assisted D2D communication in legacy multi-user downlink networks.


title: From One to Many: Dynamic Cross Attention Networks for LiDAR and Camera Fusion

abstract: LiDAR and cameras are two complementary sensors for 3D perception in autonomous driving. LiDAR point clouds have accurate spatial and geometry information, while RGB images provide textural and color data for context reasoning. To exploit LiDAR and cameras jointly, existing fusion methods tend to align each 3D point to only one projected image pixel based on calibration, namely one-to-one mapping. However, the performance of these approaches highly relies on the calibration quality, which is sensitive to the temporal and spatial synchronization of sensors. Therefore, we propose a Dynamic Cross Attention (DCA) module with a novel one-to-many cross-modality mapping that learns multiple offsets from the initial projection towards the neighborhood and thus develops tolerance to calibration error. Moreover, a \textit{dynamic query enhancement} is proposed to perceive the model-independent calibration, which further strengthens DCA's tolerance to the initial misalignment. The whole fusion architecture named Dynamic Cross Attention Network (DCAN) exploits multi-level image features and adapts to multiple representations of point clouds, which allows DCA to serve as a plug-in fusion module. Extensive experiments on nuScenes and KITTI prove DCA's effectiveness. The proposed DCAN outperforms state-of-the-art methods on the nuScenes detection challenge.


title: Collaboration of Pre-trained Models Makes Better Few-shot Learner

abstract: Few-shot classification requires deep neural networks to learn generalized representations only from limited training images, which is challenging but significant in low-data regimes. Recently, CLIP-based methods have shown promising few-shot performance benefited from the contrastive language-image pre-training. Based on this point, we question if the large-scale pre-training can alleviate the few-shot data deficiency and also assist the representation learning by the pre-learned knowledge. In this paper, we propose CoMo, a Collaboration of pre-trained Models that incorporates diverse prior knowledge from various pre-training paradigms for better few-shot learning. Our CoMo includes: CLIP's language-contrastive knowledge, DINO's vision-contrastive knowledge, and DALL-E's language-generative knowledge. Specifically, CoMo works in two aspects: few-shot data expansion and diverse knowledge ensemble. For one, we generate synthetic images via zero-shot DALL-E to enrich the few-shot training data without any manpower. For the other, we introduce a learnable Multi-Knowledge Adapter (MK-Adapter) to adaptively blend the predictions from CLIP and DINO. By such collaboration, CoMo can fully unleash the potential of different pre-training methods and unify them to perform state-of-the-art for few-shot classification. We conduct extensive experiments on 11 datasets to demonstrate the superiority and generalization ability of our approach.


title: On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom

abstract: In this paper we count set closure systems (also known as Moore families) for the case when all single element sets are closed. In particular, we give the numbers of such strict (empty set included) and non-strict families for the base set of size $n=6$. We also provide the number of such inequivalent Moore families with respect to all permutations of the base set up to $n=6$. The search in OEIS and existing literature revealed the coincidence of the found numbers with the entry for D.\ M.~Davis' set union lattice (\seqnum{A235604}, up to $n=5$) and $|\mathcal L_n|$, the number of atomic lattices on $n$ atoms, obtained by S.\ Mapes (up to $n=6$), respectively. Thus we study all those cases, establish one-to-one correspondences between them via Galois adjunctions and Formal Concept Analysis, and provide the reader with two of our enumerative algorithms as well as with the results of these algorithms used for additional tests. Other results include the largest size of intersection free families for $n=6$ plus our conjecture for $n=7$, an upper bound for the number of atomic lattices $\mathcal L_n$, and some structural properties of $\mathcal L_n$ based on the theory of extremal lattices.


title: Time periodic solutions to Hibler's sea ice model

abstract: It is shown that the viscous-plastic Hibler sea ice model admits a unique, strong $T$-time periodic solution provided the given $T$-periodic forcing functions are small in suitable norms. This is in particular true for time periodic wind forces and time periodic ice growth rates.


title: Unthreadability with Small Conditions

abstract: We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both $\square(\aleph_2,<\!\aleph_0)$ and $\square_{\aleph_1,\aleph_0}$ fail in the forcing extension.


title: Analog Image Denoising with an Adaptive Memristive Crossbar Network

abstract: Noise in image sensors led to the development of a whole range of denoising filters. A noisy image can become hard to recognize and often require several types of post-processing compensation circuits. This paper proposes an adaptive denoising system implemented using an analog in-memory neural computing network. The proposed method can learn new noises and can be integrated into or alone with CMOS image sensors. Three denoising network configurations are implemented namely, (1) single layer network, (2) convolution network, and (3) fusion network. The single layer network shows the processing time, energy consumption, and on-chip area of 3.2us, 21nJ per image, and 0.3mm^2 respectively, meanwhile, the convolution denoising network correspondingly shows 72ms, 236uJ, and 0.48mm^2. Among all the implemented networks, it is observed that performance metrics SSIM, MSE, and PSNR show a maximum improvement of 3.61, 21.7, and 7.7 times respectively.


title: Towards Efficient RRAM-based Quantized Neural Networks Hardware: State-of-the-art and Open Issues

abstract: The increasing amount of data processed on edge and the demand for reducing the energy consumption for large neural network architectures have initiated the transition from traditional von Neumann architectures towards in-memory computing paradigms. Quantization is one of the methods to reduce power and computation requirements for neural networks by limiting bit precision. Resistive Random Access Memory (RRAM) devices are great candidates for Quantized Neural Networks (QNN) implementations. As the number of possible conductive states in RRAMs is limited, a certain level of quantization is always considered when designing RRAM-based neural networks. In this work, we provide a comprehensive analysis of state-of-the-art RRAM-based QNN implementations, showing where RRAMs stand in terms of satisfying the criteria of efficient QNN hardware. We cover hardware and device challenges related to QNNs and show the main unsolved issues and possible future research directions.


title: No-Masking Theorem for Observables and No-Bit Commitment

abstract: The no-masking theorem for quantum information proves that it is impossible to encode an input state into a larger bipartite entangled state such that full information is stored in the correlation, but the individual subsystems have no information about the input state. Here, we ask the question: Is it possible to mask an observable such that the information about the observable is available in the joint system, but individual subsystems reveal nothing about the imprints of observable? This generalises the notion of no-masking theorem to quantum observables. We prove that for qubit systems, an arbitrary observable cannot be masked. Subsequently, we generalise the no-masking theorem for observables in higher dimensions. We also prove a no-hiding theorem for observables which goes beyond the conservation laws under symmetry operations. Furthermore, we prove that the famous unconditional no bit-commitment result follows from the no-masking theorem for observbles. Our results can have important applications in quantum information and quantum communication where we encode information not in states but in observables.


title: Multiphoton excitation and high harmonic generation in rectangular graphene quantum dot

abstract: The multiphoton excitation and high harmonic generation (HHG) processes are considered using the microscopic quantum theory of nonlinear interaction of strong coherent electromagnetic (EM) radiation with rectangular graphene quantum dot (RGQD). The dynamic Hartree-Fock approximation is developed for the consideration of the quantum dot-laser field nonlinear interaction at the nonadiabatic multiphoton excitation regime. The many-body Coulomb interaction is described in the extended Hubbard approximation. By numerical results, we show the significance of the RGQD lateral size, shape, and EM wavefield orientation in RGQD of the zigzag edge compear to the armchair edge in the HHG process allowing for increasing the cutoff photon energy and the quantum yield of higher harmonics.


title: Spectral triples, Coulhon-Varopoulos dimension and heat kernel estimates

abstract: We investigate the relations between the (completely bounded) local Coulhon-Varopoulos dimension and the spectral dimension of spectral triples associated to sub-Markovian semigroups (or Dirichlet forms) acting on classical (or noncommutative) $\mathrm{L}^p$-spaces associated to finite measure spaces. More precisely, we prove that the completely bounded local Coulhon-Varopoulos dimension $d$ exceeds the spectral dimension and even implies that the associated Hodge-Dirac operator is $d^+$-summable. We explore different settings to compare these two values: compact Riemannian manifolds, compact Lie groups, sublaplacians, metric measure spaces, noncommutative tori and quantum groups. Specifically, we prove that, while very often equal in smooth compact settings, these dimensions can diverge. Finally, we show that the existence of a symmetric sub-Markovian semigroup on a von Neumann algebra with finite completely bounded local Coulhon-Varopoulos dimension implies that the von Neumann algebra is necessarily injective.


title: Moderate Correlation between the Accretion Disk and Jet Power in a Large Sample of Fermi Blazars

abstract: We present the results of studying the accretion disk vs jet power for a large fraction of all the blazars detected by the Fermi Gamma-Ray Space Telescope. The disk power is inferred from the emission line luminosities obtained from published results. As indicators of jet power, we use low frequency radio luminosity from the extended jet, maximum speed of radio knots observed in the VLBA monitoring of the pc-scale jets, kinetic energy of electrons in the jet deduced from the best-fit theoretical models of their spectral energy distribution, and gamma-ray luminosity with and without beaming correction. We obtain a significant correlation in most of those cases. However, we find that the correlations are often driven by the common redshift dependence of the compared quantities. In order to remove the redshift bias and probe the intrinsic correlation between the disk and jet power, we compute the partial correlation coefficient as well as the correlation in small redshift bins, and find that the intrinsic disk-jet correlation is still present but weaker. In the cases, in which the common redshift dependence does not affect the result, we find that blazars do not exhibit high jet power for low disk luminosities while there are both high and low jet power for high disk luminosities. This result indicates that a powerful disk is a necessary but not sufficient condition to produce a powerful jet.


title: Cooperative Sensing and Heterogeneous Information Fusion in VCPS: A Multi-agent Deep Reinforcement Learning Approach

abstract: Cooperative sensing and heterogeneous information fusion are critical to realize vehicular cyber-physical systems (VCPSs). This paper makes the first attempt to quantitatively measure the quality of VCPS by designing a new metric called Age of View (AoV). Specifically, we first present the system architecture where heterogeneous information can be cooperatively sensed and uploaded via vehicle-to-infrastructure (V2I) communications in vehicular edge computing (VEC). Logical views are constructed by fusing the heterogeneous information at edge nodes. Further, we formulate the problem by deriving a cooperative sensing model based on the multi-class M/G/1 priority queue, and defining the AoV by modeling the timeliness, completeness and consistency of the logical views. On this basis, a multi-agent deep reinforcement learning solution is proposed. In particular, the system state includes vehicle sensed information, edge cached information and view requirements. The vehicle action space consists of the sensing frequencies and uploading priorities of information. A difference-reward-based credit assignment is designed to divide the system reward, which is defined as the VCPS quality, into the difference reward for vehicles. Edge node allocates V2I bandwidth to vehicles based on predicted vehicle trajectories and view requirements. Finally, we build the simulation model and give a comprehensive performance evaluation, which conclusively demonstrates the superiority of the proposed solution.


title: Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields

abstract: To navigate complex environments, robots must increasingly use high-dimensional visual feedback (e.g. images) for control. However, relying on high-dimensional image data to make control decisions raises important questions; particularly, how might we prove the safety of a visual-feedback controller? Control barrier functions (CBFs) are powerful tools for certifying the safety of feedback controllers in the state-feedback setting, but CBFs have traditionally been poorly-suited to visual feedback control due to the need to predict future observations in order to evaluate the barrier function. In this work, we solve this issue by leveraging recent advances in neural radiance fields (NeRFs), which learn implicit representations of 3D scenes and can render images from previously-unseen camera perspectives, to provide single-step visual foresight for a CBF-based controller. This novel combination is able to filter out unsafe actions and intervene to preserve safety. We demonstrate the effect of our controller in real-time simulation experiments where it successfully prevents the robot from taking dangerous actions.


title: Probabilistic Planning with Partially Ordered Preferences over Temporal Goals

abstract: In this paper, we study planning in stochastic systems, modeled as Markov decision processes (MDPs), with preferences over temporally extended goals. Prior work on temporal planning with preferences assumes that the user preferences form a total order, meaning that every pair of outcomes are comparable with each other. In this work, we consider the case where the preferences over possible outcomes are a partial order rather than a total order. We first introduce a variant of deterministic finite automaton, referred to as a preference DFA, for specifying the user's preferences over temporally extended goals. Based on the order theory, we translate the preference DFA to a preference relation over policies for probabilistic planning in a labeled MDP. In this treatment, a most preferred policy induces a weak-stochastic nondominated probability distribution over the finite paths in the MDP. The proposed planning algorithm hinges on the construction of a multi-objective MDP. We prove that a weak-stochastic nondominated policy given the preference specification is Pareto-optimal in the constructed multi-objective MDP, and vice versa. Throughout the paper, we employ a running example to demonstrate the proposed preference specification and solution approaches. We show the efficacy of our algorithm using the example with detailed analysis, and then discuss possible future directions.


title: Finite-sample Rousseeuw-Croux scale estimators

abstract: The Rousseeuw-Croux $S_n$, $Q_n$ scale estimators and the median absolute deviation $\operatorname{MAD}_n$ can be used as consistent estimators for the standard deviation under normality. All of them are highly robust: the breakdown point of all three estimators is $50\%$. However, $S_n$ and $Q_n$ are much more efficient than\ $\operatorname{MAD}_n$: their asymptotic Gaussian efficiency values are $58\%$ and $82\%$ respectively compared to $37\%$ for\ $\operatorname{MAD}_n$. Although these values look impressive, they are only asymptotic values. The actual Gaussian efficiency of $S_n$ and $Q_n$ for small sample sizes is noticeable lower than in the asymptotic case. The original work by Rousseeuw and Croux (1993) provides only rough approximations of the finite-sample bias-correction factors for $S_n$, $Q_n$ and brief notes on their finite-sample efficiency values. In this paper, we perform extensive Monte-Carlo simulations in order to obtain refined values of the finite-sample properties of the Rousseeuw-Croux scale estimators. We present accurate values of the bias-correction factors and Gaussian efficiency for small samples ($n \leq 100$) and prediction equations for samples of larger sizes.


title: Algorithms that Approximate Data Removal: New Results and Limitations

abstract: We study the problem of deleting user data from machine learning models trained using empirical risk minimization. Our focus is on learning algorithms which return the empirical risk minimizer and approximate unlearning algorithms that comply with deletion requests that come streaming minibatches. Leveraging the infintesimal jacknife, we develop an online unlearning algorithm that is both computationally and memory efficient. Unlike prior memory efficient unlearning algorithms, we target models that minimize objectives with non-smooth regularizers, such as the commonly used $\ell_1$, elastic net, or nuclear norm penalties. We also provide generalization, deletion capacity, and unlearning guarantees that are consistent with state of the art methods. Across a variety of benchmark datasets, our algorithm empirically improves upon the runtime of prior methods while maintaining the same memory requirements and test accuracy. Finally, we open a new direction of inquiry by proving that all approximate unlearning algorithms introduced so far fail to unlearn in problem settings where common hyperparameter tuning methods, such as cross-validation, have been used to select models.


title: Barrier functions enable safety-conscious force-feedback control

abstract: In order to be effective partners for humans, robots must become increasingly comfortable with making contact with their environment. Unfortunately, it is hard for robots to distinguish between ``just enough'' and ``too much'' force: some force is required to accomplish the task but too much might damage equipment or injure humans. Traditional approaches to designing compliant force-feedback controllers, such as stiffness control, require difficult hand-tuning of control parameters and make it difficult to build safe, effective robot collaborators. In this paper, we propose a novel yet easy-to-implement force feedback controller that uses control barrier functions (CBFs) to derive a compliant controller directly from users' specifications of the maximum allowable forces and torques. We compare our approach to traditional stiffness control to demonstrate potential advantages of our control architecture, and we demonstrate the effectiveness of our controller on an example human-robot collaboration task: cooperative manipulation of a bulky object.