title: Potentialities of Hubble parameter and expansion rate function data to alleviate Hubble tension

abstract: Taking advantage of Gaussian process (GP), we obtain an improved estimate of the Hubble constant, $H_0=70.41\pm1.58$ km s$^{-1}$ Mpc$^{-1}$, using Hubble parameter [$H(z)$] from cosmic chronometers (CCH) and expansion rate function [$E(z)$], extracted from type Ia supernovae, data. We also use CCH data, including the ones with full covariance matrix, and $E(z)$ data to obtain a determination of $H_0=72.34_{-1.92}^{+1.90}$ km s$^{-1}$ Mpc$^{-1}$, which implies that the involvement of full covariance matrix results in higher values and uncertainties of $H_0$. These results are higher than those obtained by directly reconstructing CCH data with GP. In order to estimate the potential of future CCH data, we simulate two sets of $H(z)$ data and use them to constrain $H_0$ by either using GP reconstruction or fitting them with $E(z)$ data. We find that simulated $H(z)$ data alleviate $H_0$ tension by pushing $H_0$ values higher towards $\sim70$ km s$^{-1}$ Mpc$^{-1}$. We also find that joint $H(z)$ + $E(z)$ data favor higher values of $H_0$, which is also confirmed by constraining $H_0$ in the flat concordance model and 2-order Taylor expansion of $H(z)$. In summary, we conclude that more and better-quality CCH data as well as $E(z)$ data can provide a new and useful perspective on resolving $H_0$ tension.


title: A new approach to evaluating Malmsten's integral and related integrals

abstract: This paper discusses generalizations of logarithmic and hyperbolic integrals. A new proof for an integral presented by Vardi and several other integrals in relation to known mathematical constants are discovered. We introduce the signed generalized Stirling polynomials from the generalized Stirling polynomials, and we give new expressions for the signed generalized Stirling polynomials in terms of the Stirling cycle numbers and complete Bell polynomials. We establish the role of the signed generalized Stirling polynomials and complete Bell polynomials in generalizing Malmsten's integral for all natural powers of the hyperbolic secant function, and we derive a reduction formula for the integral sequence. We give expressions for new integral sequences, which possess similar properties with Malmsten's integral, in terms of the signed generalized Stirling polynomials, and we discover identities and a functional equation for the signed generalized Stirling polynomials. Several finite sums involving the signed generalized Stirling polynomials and Hurwitz zeta function are also expressed in terms of known mathematical constants.


title: Implicit-Explicit Error Indicator based on Approximation Order

abstract: With the immense computing power at our disposal, the numerical solution of partial differential equations (PDEs) is becoming a day-to-day task for modern computational scientists. However, the complexity of real-life problems is such that tractable solutions do not exist. This makes it difficult to validate the numerically obtained solution, so good error estimation is crucial in such cases. It allows the user to identify problematic areas in the computational domain that may affect the stability and accuracy of the numerical method. Such areas can then be remedied by either \textit{h}- or \textit{p}-adaptive procedures. In this paper, we propose to estimate the error of the numerical solution by solving the same governing problem implicitly and explicitly, using a different approximation order in each case. We demonstrate the newly proposed error indicator on the solution of a synthetic two-dimensional Poisson problem with tractable solution for easier validation. We show that the proposed error indicator has good potential for locating areas of high error.


title: Sparse Tensor-based Point Cloud Attribute Compression

abstract: Recently, numerous learning-based compression methods have been developed with outstanding performance for the coding of the geometry information of point clouds. On the contrary, limited explorations have been devoted to point cloud attribute compression (PCAC). Thus, this study focuses on the PCAC by applying sparse convolution because of its superior efficiency for representing the geometry of unorganized points. The proposed method simply stacks sparse convolutions to construct the variational autoencoder (VAE) framework to compress the color attributes of a given point cloud. To better encode latent elements at the bottleneck, we apply the adaptive entropy model with the joint utilization of hyper prior and autoregressive neighbors to accurately estimate the bit rate. The qualitative measurement of the proposed method already rivals the latest G-PCC (or TMC13) version 14 at a similar bit rate. And, our method shows clear quantitative improvements to G-PCC version 6, and largely outperforms existing learning-based methods, which promises encouraging potentials for learnt PCAC.


title: Autonomous Highway Merging in Mixed Traffic Using Reinforcement Learning and Motion Predictive Safety Controller

abstract: Deep reinforcement learning (DRL) has a great potential for solving complex decision-making problems in autonomous driving, especially in mixed-traffic scenarios where autonomous vehicles and human-driven vehicles (HDVs) drive together. Safety is a key during both the learning and deploying reinforcement learning (RL) algorithms process. In this paper, we formulate the on-ramp merging as a Markov Decision Process (MDP) problem and solve it with an off-policy RL algorithm, i.e., Soft Actor-Critic for Discrete Action Settings (SAC-Discrete). In addition, a motion predictive safety controller including a motion predictor and an action substitution module, is proposed to ensure driving safety during both training and testing. The motion predictor estimates the trajectories of the ego vehicle and surrounding vehicles from kinematic models, and predicts potential collisions. The action substitution module updates the actions based on safety distance and replaces risky actions, before sending them to the low-level controller. We train, evaluate and test our approach on a gym-like highway simulation with three different levels of traffic modes. The simulation results show that even in harder traffic densities, our proposed method still significantly reduces collision rate while maintaining high efficiency, outperforming several state-of-the-art baselines in the considered on-ramp merging scenarios. The video demo of the evaluation process can be found at: https://www.youtube.com/watch?v=7FvjbAM4oFw


title: Trion-trion annihilation in monolayer WS$_2$

abstract: Strong Coulomb interaction in monolayer transition metal dichalcogenides can facilitate nontrivial many-body effects among excitonic complexes. Many-body effects like exciton-exciton annihilation (EEA) have been widely explored in this material system. However, a similar effect for charged excitons (or trions), that is, trion-trion annihilation (TTA), is expected to be relatively suppressed due to repulsive like-charges, and has not been hitherto observed in such layered semiconductors. By a gate-dependent tuning of the spectral overlap between the trion and the charged biexciton through an "anti-crossing"-like behaviour in monolayer WS$_2$, here we present an experimental observation of an anomalous suppression of the trion emission intensity with an increase in gate voltage. The results strongly correlate with time-resolved measurements, and are inferred as a direct evidence of a nontrivial TTA resulting from non-radiative Auger recombination of a bright trion, and the corresponding energy resonantly promoting a dark trion to a charged biexciton state. The extracted Auger coefficient for the process is found to be tunable ten-fold through a gate-dependent tuning of the spectral overlap.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.optics


title: STCrowd: A Multimodal Dataset for Pedestrian Perception in Crowded Scenes

abstract: Accurately detecting and tracking pedestrians in 3D space is challenging due to large variations in rotations, poses and scales. The situation becomes even worse for dense crowds with severe occlusions. However, existing benchmarks either only provide 2D annotations, or have limited 3D annotations with low-density pedestrian distribution, making it difficult to build a reliable pedestrian perception system especially in crowded scenes. To better evaluate pedestrian perception algorithms in crowded scenarios, we introduce a large-scale multimodal dataset,STCrowd. Specifically, in STCrowd, there are a total of 219 K pedestrian instances and 20 persons per frame on average, with various levels of occlusion. We provide synchronized LiDAR point clouds and camera images as well as their corresponding 3D labels and joint IDs. STCrowd can be used for various tasks, including LiDAR-only, image-only, and sensor-fusion based pedestrian detection and tracking. We provide baselines for most of the tasks. In addition, considering the property of sparse global distribution and density-varying local distribution of pedestrians, we further propose a novel method, Density-aware Hierarchical heatmap Aggregation (DHA), to enhance pedestrian perception in crowded scenes. Extensive experiments show that our new method achieves state-of-the-art performance for pedestrian detection on various datasets.


title: Distortion-Aware Self-Supervised 360{\deg} Depth Estimation from A Single Equirectangular Projection Image

abstract: 360{\deg} images are widely available over the last few years. This paper proposes a new technique for single 360{\deg} image depth prediction under open environments. Depth prediction from a 360{\deg} single image is not easy for two reasons. One is the limitation of supervision datasets - the currently available dataset is limited to indoor scenes. The other is the problems caused by Equirectangular Projection Format (ERP), commonly used for 360{\deg} images, that are coordinate and distortion. There is only one method existing that uses cube map projection to produce six perspective images and apply self-supervised learning using motion pictures for perspective depth prediction to deal with these problems. Different from the existing method, we directly use the ERP format. We propose a framework of direct use of ERP with coordinate conversion of correspondences and distortion-aware upsampling module to deal with the ERP related problems and extend a self-supervised learning method for open environments. For the experiments, we firstly built a dataset for the evaluation, and quantitatively evaluate the depth prediction in outdoor scenes. We show that it outperforms the state-of-the-art technique


title: MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation

abstract: For various reasons, programming languages continue to multiply and evolve. It has become necessary to have a multilingual clone detection tool that can easily expand supported programming languages and detect various code clones is needed. However, research on multilingual code clone detection has not received sufficient attention. In this study, we propose MSCCD (Multilingual Syntactic Code Clone Detector), a grammar pluggable code clone detection tool that uses a parser generator to generate a code block extractor for the target language. The extractor then extracts the semantic code blocks from a parse tree. MSCCD can detect Type-3 clones at various granularities. We evaluated MSCCD's language extensibility by applying MSCCD to 20 modern languages. Sixteen languages were perfectly supported, and the remaining four were provided with the same detection capabilities at the expense of execution time. We evaluated MSCCD's recall by using BigCloneEval and conducted a manual experiment to evaluate precision. MSCCD achieved equivalent detection performance equivalent to state-of-the-art tools.


title: Interacting particles in an activity landscape

abstract: We study interacting active Brownian particles (ABPs) with a space-dependent swim velocity via simulation and theory. We find that, although an equation of state exists, a mechanical equilibrium does not apply to ABPs in activity landscapes. The pressure difference originates in the flux of polar order and the gradient of swim velocity across the interface between regions of different activity. In contrast to motility-induced phase separation of ABPs with a homogeneous swim velocity, a critical point does not exist for an active-passive patch system, which continuously splits into a dense and a dilute phase with increasing activity. However, if the global density is so high that not all particles can be packed onto the inactive patch, then MIPS-like behavior is restored and the pressure is balanced again.


title: Leading correction to the local density approximation for exchange in large-$Z$ atoms

abstract: The large-$Z$ asymptotic expansion of atomic energies has been useful in determining exact conditions for corrections to the local density approximation in density functional theory. The correction for exchange is fit well with a leading $Z \ln Z$ term, and we find its coefficient numerically. The gradient expansion approximation also has such a term, but with a smaller coefficient. Analytic results in the limit of vanishing interaction with hydrogenic orbitals (a Bohr atom) lead to the conjecture that the coefficients are precisely 2.7 times larger than their gradient expansion counterparts, yielding an analytic expression for the exchange-energy correction which is accurate to $\sim 5\%$ for all $Z$.


title: Extremals for $\alpha$-Strichartz inequalities

abstract: A necessary and sufficient condition on the precompactness of extremal sequences for one dimensional $\alpha$-Strichartz inequalities, equivalently $\alpha$-Fourier extension estimates, is established based on the profile decomposition arguments. One of our main tools is an operator-convergence dislocation property consequence which comes from the van der Corput Lemma. Our result is valid in asymmetric cases as well. In addition, we obtain the existence of extremals for non-endpoint $\alpha$-Strichartz inequalities.


title: Categories enriched over oplax monoidal categories

abstract: We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$, defining categories enriched over $V$ only requires the lower arity maps $(n \leq 3)$, similarly to the monoidal case. The focal point of the enrichment theory shifts, in the oplax case, from the notion of $V$-category (given by collections of objects and hom-objects together with composition and unit maps) to the one of categories enriched over $V$ (genuine categories equipped with additional structures). One of the merits of the notion of categories enriched over $V$ is that it becomes straightforward to define enriched functors and natural transformations. We show moreover that the resulting 2-category $\mathsf{Cat}_V$ can be put in correspondence (via the theory of distributors) with the 2-category of modules over $V$. We give an example of such an enriched category in the framework of operads: every cocomplete symmetric monoidal category $C$ is enriched over the category of sequences in $C$ endowed with an oplax monoidal structure stemming from the usual operadic composition product, whose monoids are still the operads. As an application of the study of the 2-functor $V\mapsto\mathsf{Cat}_V$, we show that when $V$ is also endowed with a compatible lax monoidal structure - thus forming a lax-oplax duoidal category - the 2-category $\mathsf{Cat}_V$ inherits a lax 2-monoidal structure, thereby generalising the corresponding result when the enrichment base is a braided monoidal category. We illustrate this result by discussing the lax-oplax structure on the category of $(R^\mathrm{e}, R^\mathrm{e})$-bimodules, whose bimonoids are the bialgebroids. We also comment on the relations with other enrichment theories (monoidal, multicategories, skew and lax).


title: Two iterative formulas of largest and smallest singular value of nonsingular matrices

abstract: We obtain an iterative formula that converges incrementally to the smallest singular value. Similarly, we obtain an iterative formula that converges decreasingly to the largest singular value.


title: Finsler metrics and semi-symmetric compatible linear connections

abstract: Finsler metrics are direct generalizations of Riemannian metrics such that the quadratic Riemannian indicatrices in the tangent spaces of a manifold are replaced by more general convex bodies as unit spheres. A linear connection on the base manifold is called compatible with the Finsler metric if the induced parallel transports preserve the Finslerian length of tangent vectors. Finsler manifolds admitting compatible linear connections are called generalized Berwald manifolds. Compatible linear connections are the solutions of the so-called compatibility equations containing the torsion components as unknowns. Although there are some theoretical results for the solvability of the compatibility equations (monochromatic Finsler metrics \cite{BM}, extremal compatible linear connections, algorithmic solutions \cite{V14}), it is very hard to solve in general because compatible linear connections may or may not exist on a Finsler manifold and may or may not be unique. Therefore special cases are of special interest. One of them is the case of the so-called semi-symmetric compatible linear connection with decomposable torsion tensor. It is proved \cite{V10} (see also \cite{V11}) that such a compatible linear connection must be uniquely determined. The original proof is based on averaging in the sense that the 1-form in the decomposition of the torsion tensor can be expressed by integrating differential forms on the tangent manifold over the Finslerian indicatrices. The integral formulas are very difficult to compute in practice. We present a new proof for the unicity result by using linear algebra and some basic facts about convex bodies and an explicit formula for the solution without integration. Necessary conditions of the solvability are also formulated in terms of intrinsic equations without unknown quantities. They are sufficient if and only if the solution depends only on the position.


title: Fevering Interstellar Ices Have More CH3OD

abstract: Mono-deuterated methanol is thought to form during the prestellar core stage of star formation. Observed variations in the CH2DOH/CH3OD ratio suggest that its formation is strongly dependent on the surrounding cloud conditions. Thus, it is a potential tracer of the physical conditions before the onset of star formation. A single-point physical model representative of a typical prestellar core is coupled to chemical models to investigate potential formation pathways towards deuterated methanol at the prestellar stage. Simple addition reactions of H and D are not able to reproduce observed abundances. The implementation of an experimentally verified abstraction scheme leads to the efficient formation of methyl-deuterated methanol, but lacks sufficient formation of hydroxy-deuterated methanol. CH3OD is most likely formed at a later evolutionarymstage, potentially from H-D exchange reactions in warm ices between HDO (and D2O) and CH3OH. The CH2DOH/CH3OD ratio is not an appropriate tracer of the physical conditions during the prestellar stage, but might be better suited as a tracer of ice heating.


title: From asymptotic to closed forms for the Keiper/Li approach to the Riemann Hypothesis

abstract: The Riemann Hypothesis (RH) - that all nonreal zeros of Riemann's zeta function shall have real part 1/2 - remains a major open problem. Its most concrete equivalent is that an infinite sequence of real numbers, the Keiper--Li constants, shall be everywhere positive (Li's criterion). But those numbers are analytically elusive and strenuous to compute, hence we seek simpler variants. The essential sensitivity to RH of that sequence lies in its asymptotic tail; then, retaining this feature, we can modify the Keiper--Li scheme to obtain a new sequence in elementary closed form. This makes for a more explicit analysis, with easier and faster computations. We can moreover show how the new sequence will signal RH-violating zeros if any, by observing its analogs for the Davenport--Heilbronn counterexamples to RH.


title: Chaos from Symmetry: Navier Stokes equations, Beltrami fields and the Universal Classifying Crystallographic Group

abstract: The core of this paper is a novel group-theoretical approach, initiated in 2015 by one of the present authors in collaboration with Alexander Sorin, which allows for a more systematic classification and algorithmic construction of Beltrami flows on torii $\mathbb{R}^3/\Lambda$ where $\Lambda$ is a crystallographic lattice. The new hydro-theory, based on the idea of a Universal Classifying Group $\mathfrak{UG}_\Lambda$, is here revised. We construct the so far missing $\mathfrak{UG}_{\Lambda_{Hex}}$ for the hexagonal lattice. Mastering the cubic and hexagonal instances, we can cover all cases. The classification relation between Beltrami Flows and contact structures is enlightened. The most promising research direction opened by the present work streams from the fact that the Fourier series expansion of a generic Navier-Stokes solution can be regrouped into an infinite sum of contributions $\mathbf{W}_r$, each associated with a spherical layer of quantized radius $r$ in the momentum lattice and consisting of a superposition of a Beltrami and an anti-Beltrami field, with an analogous decomposition into irreps of the group $\mathfrak{UG}_\Lambda$ that are variously repeated on higher layers. This crucial property enables the construction of generic Fourier series with prescribed hidden symmetries as candidate solutions of the NS equations. As a further result of this research programme a complete and versatile system of MATHEMATICA Codes named \textbf{AlmafluidaNSPsystem} has been constructed and is now available through the site of the Wolfram Community. The main message streaming from our constructions is that the more symmetric the Beltrami Flow the highest is the probability of the onset of chaotic trajectories.


title: Multiparticle azimuthal cumulants from transverse momentum conservation and collective flow

abstract: We calculate the $n$th order of $2k$-particle azimuthal cumulants $c_n\{2k\}$ based on transverse momentum conservation (TMC) and collective flow $v_n$(n=2,3). We demonstrate that the TMC effect only leads to a nonzero $c_n\{2k\}$ with the sign of $(-1)^{nk}$ and the magnitude inversely proportional to $(N-2k)^{nk}$. The interplay between TMC and collective flow can change the signs of $c_2\{4\}$, $c_3\{2\}$ and $c_3\{4\}$ at some values of multiplicity $N$, which could provide a good probe to study the onset of collectivity and search for the substructure of proton in small colliding systems.


title: A note on second derivative estimates for Monge-Ampe`re type equations

abstract: In this note we revisit previous Pogorelov type interior and global second derivative estimates of the author, F. Jiang and J. Liu for solutions of Monge-Amp`ere type partial differential equations. Taking account of recent strict convexity regularity results of Guillen, Kitagawa and Rankin, and following our earlier work in the optimal transportation case, we remove the monotonicity assumptions in the more general case of generated Jacobian equations and consequently in the subsequent application to classical solvability and global regularity for second boundary value problems.


title: Distribution of dust ejected from the lunar surface into the Earth-Moon system

abstract: Aims. An asymmetric dust cloud was detected around the Moon by the Lunar Dust Experiment on board the Lunar Atmosphere and Dust Environment Explorer mission. We investigate the dynamics of the grains that escape the Moon and their configuration in the Earth-Moon system. Methods. We use a plausible initial ejecta distribution and mass production rate for the ejected dust. Various forces, including the solar radiation pressure and the gravity of the Moon, Earth, and Sun, are considered in the dynamical model, and direct numerical integrations of trajectories of dust particles are performed. The final states, the average life spans, and the fraction of retrograde grains as functions of particle size are computed. The number density distribution in the Earth-Moon system is obtained through long-term simulations. Results. The average life spans depend on the size of dust particles and show a rapid increase in the size range between $1\, \mathrm{\mu m}$ and $10\, \mathrm{\mu m}$. About ${3.6\times10^{-3}\,\mathrm{kg/s}}$ ($\sim2\%$) particles ejected from the lunar surface escape the gravity of the Moon, and they form an asymmetric torus between the Earth and the Moon in the range $[10\,R_\mathrm{E},50\,R_\mathrm{E}]$, which is offset toward the direction of the Sun. A considerable number of retrograde particles occur in the Earth-Moon system.


title: Experimental investigation of a quantum heat engine powered by generalized measurements

abstract: Generalized measurements may allow the control of its back-action on the quantum system by interpolating from a very weak to strong projective action. Such a measurement can fuel a quantum heat engine or extract work depending on the system-meter interaction. Here, we performed a proof-of-concept experiment using nuclear magnetic resonance techniques to investigate a spin quantum heat engine driven by non-selective generalized (weak) measurements without feedback control. Our prototype of a quantum thermal device operates with a measurement protocol and a single heat bath. The protocol is composed of two non-selective measurement channels with variable measurement strengths, one dedicated to fueling the device (analogous to a hot heat source) and the other committed to work extraction. The experimental results highlight that this kind of quantum thermal device can reach unit efficiency with maximum extracted power by fine-tuning of the measurement strengths.


title: Robust PCA for High Dimensional Data based on Characteristic Transformation

abstract: In this paper, we propose a novel robust Principal Component Analysis (PCA) for high-dimensional data in the presence of various heterogeneities, especially the heavy-tailedness and outliers. A transformation motivated by the characteristic function is constructed to improve the robustness of the classical PCA. Besides the typical outliers, the proposed method has the unique advantage of dealing with heavy-tail-distributed data, whose covariances could be nonexistent (positively infinite, for instance). The proposed approach is also a case of kernel principal component analysis (KPCA) method and adopts the robust and non-linear properties via a bounded and non-linear kernel function. The merits of the new method are illustrated by some statistical properties including the upper bound of the excess error and the behaviors of the large eigenvalues under a spiked covariance model. In addition, we show the advantages of our method over the classical PCA by a variety of simulations. At last, we apply the new robust PCA to classify mice with different genotypes in a biological study based on their protein expression data and find that our method is more accurately on identifying abnormal mice comparing to the classical PCA.


title: Normalized solutions of $L^2$-supercritical NLS equations on compact metric graphs

abstract: This paper is devoted to the existence of non-trivial bound states of prescribed mass for the mass-supercritical nonlinear Schr\"odinger equation on compact metric graphs. The investigation is based upon a general variational principle which combines the monotonicity trick and a min-max theorem with second order information, and upon the blow-up analysis of bound states with prescribed mass and bounded Morse index.


title: Rate equations, spatial moments, and concentration profiles for mobile-immobile models with power-law and mixed waiting time distributions

abstract: We present a framework for systems in which diffusion-advection transport of a tracer substance in a mobile zone is interrupted by trapping in an immobile zone. Our model unifies different model approaches based on distributed-order diffusion equations, exciton diffusion rate models, and random walk models for multi-rate mobile-immobile mass transport. We study various forms for the trapping time dynamics and their effects on the tracer mass in the mobile zone. Moreover we find the associated breakthrough curves, the tracer density at a fixed point in space as function of time, as well as the mobile and immobile concentration profiles and the respective moments of the transport. Specifically we derive explicit forms for the anomalous transport dynamics and an asymptotic power-law decay of the mobile mass for a Mittag-Leffler trapping time distribution. In our analysis we point out that even for exponential trapping time densities transient anomalous transport is observed. Our results have direct applications in geophysical contexts but also in biological, soft matter, and solid state systems.


title: When does a hypergeometric function ${}_{p\!}F_q$ belong to the Laguerre--P\'olya class $LP^+$?

abstract: I show that a hypergeometric function ${}_{p}F_q(a_1,\ldots,a_p;b_1,\ldots,b_q;\,\cdot\,)$ with $p \le q$ belongs to the Laguerre--P\'olya class $LP^+$ for arbitrarily large $b_{p+1},\ldots,b_q > 0$ if and only if, after a possible reordering, the differences $a_i - b_i$ are nonnegative integers. This result arises as an easy corollary of the case $p=q$ proven two decades ago by Ki and Kim. I also give explicit examples for the case ${}_{1}F_2$.


title: Style-Based Global Appearance Flow for Virtual Try-On

abstract: Image-based virtual try-on aims to fit an in-shop garment into a clothed person image. To achieve this, a key step is garment warping which spatially aligns the target garment with the corresponding body parts in the person image. Prior methods typically adopt a local appearance flow estimation model. They are thus intrinsically susceptible to difficult body poses/occlusions and large mis-alignments between person and garment images (see Fig.~\ref{fig:fig1}). To overcome this limitation, a novel global appearance flow estimation model is proposed in this work. For the first time, a StyleGAN based architecture is adopted for appearance flow estimation. This enables us to take advantage of a global style vector to encode a whole-image context to cope with the aforementioned challenges. To guide the StyleGAN flow generator to pay more attention to local garment deformation, a flow refinement module is introduced to add local context. Experiment results on a popular virtual try-on benchmark show that our method achieves new state-of-the-art performance. It is particularly effective in a `in-the-wild' application scenario where the reference image is full-body resulting in a large mis-alignment with the garment image (Fig.~\ref{fig:fig1} Top). Code is available at: \url{https://github.com/SenHe/Flow-Style-VTON}.


title: An Alternative Framework for E-Model Inflation in Supergravity

abstract: We present novel realizations of E-model inflation within Supergravity which are largely associated with the existence of a pole of order one in the kinetic term of the (gauge-singlet) inflaton superfield. This pole arises due to the selected logarithmic Kahler potentials K1 and ~K1, which parameterize the same hyperbolic manifold with scalar curvature R=-2/N, where N>0 is the coefficient of a logarithmic term. The associated superpotential W exhibits the same R charge with the inflaton-accompanying superfield and includes all the allowed renormalizable terms. For K=K1, inflation can be attained for N=2 at the cost of some tuning regarding the coefficients of the W terms and predicts a tensor-to-scalar ratio r at the level of 0.001. The tuning can be totally eluded for K=~K1, which allows for quadratic- and quartic-like models with N values increasing with r and spectral index ns close or even equal to its present central observational value.


title: Non-Gaussianity in stochastic transport: phenomenology and modelling

abstract: Non-Gaussian shapes, despite a linear form of the mean-squared displacement, have been observed for the displacement distribution in a large range of diffusive systems. Stochastic models for such "Brownian yet non-Gaussian" diffusion will be introduced and discussed. Systems with non-Gaussian, anomalous diffusion will also be addressed.


title: A Differentially Private Framework for Deep Learning with Convexified Loss Functions

abstract: Differential privacy (DP) has been applied in deep learning for preserving privacy of the underlying training sets. Existing DP practice falls into three categories - objective perturbation, gradient perturbation and output perturbation. They suffer from three main problems. First, conditions on objective functions limit objective perturbation in general deep learning tasks. Second, gradient perturbation does not achieve a satisfactory privacy-utility trade-off due to over-injected noise in each epoch. Third, high utility of the output perturbation method is not guaranteed because of the loose upper bound on the global sensitivity of the trained model parameters as the noise scale parameter. To address these problems, we analyse a tighter upper bound on the global sensitivity of the model parameters. Under a black-box setting, based on this global sensitivity, to control the overall noise injection, we propose a novel output perturbation framework by injecting DP noise into a randomly sampled neuron (via the exponential mechanism) at the output layer of a baseline non-private neural network trained with a convexified loss function. We empirically compare the privacy-utility trade-off, measured by accuracy loss to baseline non-private models and the privacy leakage against black-box membership inference (MI) attacks, between our framework and the open-source differentially private stochastic gradient descent (DP-SGD) approaches on six commonly used real-world datasets. The experimental evaluations show that, when the baseline models have observable privacy leakage under MI attacks, our framework achieves a better privacy-utility trade-off than existing DP-SGD implementations, given an overall privacy budget $\epsilon \leq 1$ for a large number of queries.


title: Understanding the unstable convergence of gradient descent

abstract: Most existing analyses of (stochastic) gradient descent rely on the condition that for $L$-smooth costs, the step size is less than $2/L$. However, many works have observed that in machine learning applications step sizes often do not fulfill this condition, yet (stochastic) gradient descent still converges, albeit in an unstable manner. We investigate this unstable convergence phenomenon from first principles, and discuss key causes behind it. We also identify its main characteristics, and how they interrelate based on both theory and experiments, offering a principled view toward understanding the phenomenon.


title: Formulae of $\imath$-divided powers in ${\bf U}_q(\mathfrak{sl}_2)$, III

abstract: The $\imath$-divided powers (depending on a parity) form the $\imath$canonical basis for the split rank 1 $\imath$quantum group and they are a basic ingredient for $\imath$quantum groups of higher rank. We obtain closed formulae for the structure constants for multiplication of the $\imath$-divided powers. Closed formulae for the comultiplication of the $\imath$-divided powers are also obtained. These structure constants are integral and positive.


title: Semi-Data-Aided Channel Estimation for MIMO Systems via Reinforcement Learning

abstract: Data-aided channel estimation is a promising solution to improve channel estimation accuracy by exploiting data symbols as pilot signals for updating an initial channel estimate. In this paper, we propose a semi-data-aided channel estimator for multiple-input multiple-output communication systems. Our strategy is to leverage reinforcement learning (RL) for selecting reliable detected symbols among the symbols in the first part of transmitted data block. This strategy facilitates an update of the channel estimate before the end of data block transmission and therefore achieves a significant reduction in communication latency compared to conventional data-aided channel estimation approaches. Towards this end, we first define a Markov decision process (MDP) which sequentially decides whether to use each detected symbol as an additional pilot signal. We then develop an RL algorithm to efficiently find the best policy of the MDP based on a Monte Carlo tree search approach. In this algorithm, we exploit the a-posteriori probability for approximating both the optimal future actions and the corresponding state transitions of the MDP and derive a closed-form expression for the best policy. Simulation results demonstrate that the proposed channel estimator effectively mitigates both channel estimation error and detection performance loss caused by insufficient pilot signals.


title: Quantum backaction effects in sequential measurements

abstract: Quantum backaction refers to the disturbance of a quantum system caused by measuring it. In sequential measurements, this effect can accumulate and become significant, leading to nontrivial modifications of the system state and the measurement results. This paper explores the ways in which quantum backaction can manifest in sequential measurements, including the role of measurement strength and the nature of the measurement process. The paper highlights the insight quantum foundation and the implications for quantum measurement and information processing.


title: Combinatorial refinement on circulant graphs

abstract: The combinatorial refinement techniques have proven to be an efficient approach to isomorphism testing for particular classes of graphs. If the number of refinement rounds is small, this puts the corresponding isomorphism problem in a low-complexity class. We investigate the round complexity of the 2-dimensional Weisfeiler-Leman algorithm on circulant graphs, i.e. on Cayley graphs of the cyclic group $\mathbb{Z}_n$, and prove that the number of rounds until stabilization is bounded by $\mathcal{O}(d(n)\log n)$, where $d(n)$ is the number of divisors of $n$. As a particular consequence, isomorphism can be tested in NC for connected circulant graphs of order $p^\ell$ with $p$ an odd prime, $\ell>3$ and vertex degree $\Delta$ smaller than $p$. We also show that the color refinement method (also known as the 1-dimensional Weisfeiler-Leman algorithm) computes a canonical labeling for every non-trivial circulant graph with a prime number of vertices after individualization of two appropriately chosen vertices. Thus, the canonical labeling problem for this class of graphs has at most the same complexity as color refinement, which results in a time bound of $\mathcal{O}(\Delta n\log n)$. Moreover, this provides a first example where a sophisticated approach to isomorphism testing put forward by Tinhofer has a real practical meaning.


title: Stochastic approach for quantum metrology with generic Hamiltonians

abstract: Recently, variational quantum metrology was proposed for Hamiltonians with multiplicative parameters, wherein the estimation precision can be optimized via variational circuits. However, systems with generic Hamiltonians still lack these variational schemes. This work introduces a quantum-circuit-based approach for studying quantum metrology with generic Hamiltonians. We present a time-dependent stochastic parameter-shift rule for the derivatives of evolved quantum states, whereby the quantum Fisher information can be obtained. The scheme can be executed in universal quantum computers under the family of parameterized gates. In magnetic field estimations, we demonstrate the consistency between the results obtained from the stochastic parameter-shift rule and the exact results, while the results obtained from a standard parameter-shift rule slightly deviate from the exact ones. Our work sheds light on studying quantum metrology with generic Hamiltonians using quantum circuit algorithms.


title: Exploring terra incognita in the phase diagram of strongly interacting matter -- Experiments at FAIR and NICA

abstract: The fundamental properties of dense nuclear matter, as it exists in the core of massive stellar objects, are still largely unknown. The investigation of the high-density equation of state (EOS), which determines mass and radii of neutron stars and the dynamics of neutron star mergers, is in the focus of astronomical observations and of laboratory experiments with heavy-ion collisions. Moreover, the microscopic degrees-of-freedom of strongly interacting matter at high baryon densities are also unknown. While Quantum-Chromo-Dynamics (QCD) calculations on the lattice find a smooth chiral crossover between hadronic matter and the quark-gluon plasma for high temperatures at zero baryon chemical potential, effective models predict a 1st order chiral transition with a critical endpoint for matter at large baryon chemical potentials. Up to date, experimental data both on the high-density EOS and on a possible phase transition in dense baryonic matter are very scarce. In order to explore this terra incognita, dedicated experimental programs are planned at future heavy-ion research centres: the CBM experiment at FAIR, and the MPD and BM@N experiments at NICA. The research programs and the layout of these experiments will be presented. The future results of these laboratory experiments will complement astronomical observations concerning the EOS, and, in addition, will shed light on the microscopic degrees of freedom of QCD matter at neutron star core densities.


title: A Survey on Machine Learning Solutions for Graph Pattern Extraction

abstract: A subgraph is constructed by using a subset of vertices and edges of a given graph. There exist many graph properties that are hereditary for subgraphs. Hence, researchers from different communities have paid a great deal of attention in studying numerous subgraph problems, on top of the ordinary graph problems. Many algorithms are proposed in studying subgraph problems, where one common approach is by extracting the patterns and structures of a given graph. Due to the complex structures of certain types of graphs and to improve overall performances of the existing frameworks, machine learning techniques have recently been employed in dealing with various subgraph problems. In this article, we present a comprehensive review on five well known subgraph problems that have been tackled by using machine learning methods. They are subgraph isomorphism (both counting and matching), maximum common subgraph, community detection and community search problems. We provide an outline of each proposed method, and examine its designs and performances. We also explore non-learning-based algorithms for each problem and a brief discussion is given. We then suggest some promising research directions in this area, hoping that relevant subgraph problems can be tackled by using a similar strategy. Since there is a huge growth in employing machine learning techniques in recent years, we believe that this survey will serve as a good reference point to relevant research communities.


title: Random Fully Connected Neural Networks as Perturbatively Solvable Hierarchies

abstract: This article considers fully connected neural networks with Gaussian random weights and biases as well as $L$ hidden layers, each of width proportional to a large parameter $n$. For polynomially bounded non-linearities we give sharp estimates in powers of $1/n$ for the joint cumulants of the network output and its derivatives. Moreover, we show that network cumulants form a perturbatively solvable hierarchy in powers of $1/n$ in that $k$-th order cumulants in one layer have recursions that depend to leading order in $1/n$ only on $j$-th order cumulants at the previous layer with $j\leq k$. By solving a variety of such recursions, however, we find that the depth-to-width ratio $L/n$ plays the role of an effective network depth, controlling both the scale of fluctuations at individual neurons and the size of inter-neuron correlations. Thus, while the cumulant recursions we derive form a hierarchy in powers of $1/n$, contributions of order $1/n^k$ often grow like $L^k$ and are hence non-negligible at positive $L/n$. We use this to study a somewhat simplified version of the exploding and vanishing gradient problem, proving that this particular variant occurs if and only if $L/n$ is large. Several key ideas in this article were first developed at a physics level of rigor in a recent monograph of Daniel A. Roberts, Sho Yaida, and the author. This article not only makes these ideas mathematically precise but also significantly extends them, opening the way to obtaining corrections to all orders in $1/n$.


title: Emergence of Autocatalytic Sets in a Simple Model of Technological Evolution

abstract: Two alternative views of an economy are combined and studied. The first view is that of technological evolution as a process of combinatorial innovation. Recently a simple mathematical model (TAP) was introduced to study such a combinatorial process. The second view is that of a network of production functions forming an autocatalytic set. Autocatalytic (RAF) sets have been studied extensively in the context of chemical reaction networks. Here, we combine the two models (TAP and RAF) and show that they are compatible. In particular, it is shown that production function networks resulting from the combinatorial TAP model have a high probability of containing autocatalytic (RAF) sets. We also study the size distribution and robustness of such "economic autocatalytic sets", and compare our results with those from the chemical context. These initial results strongly support earlier claims that the economy can indeed be seen as an autocatalytic set.


title: Non-abelian extensions of Rota-Baxter Lie algebras and inducibility of automorphisms

abstract: A Rota-Baxter Lie algebra $\mathfrak{g}_T$ is a Lie algebra $\mathfrak{g}$ equipped with a Rota-Baxter operator $T : \mathfrak{g} \rightarrow \mathfrak{g}$. In this paper, we consider non-abelian extensions of a Rota-Baxter Lie algebra $\mathfrak{g}_T$ by another Rota-Baxter Lie algebra $\mathfrak{h}_S.$ We define the non-abelian cohomology $H^2_{nab} (\mathfrak{g}_T, \mathfrak{h}_S)$ which classifies {equivalence classes of} such extensions. Given a non-abelian extension $$ 0 \rightarrow \mathfrak{h}_S \xrightarrow{i} \mathfrak{e}_U \xrightarrow{p} \mathfrak{g}_T \rightarrow 0$$ of Rota-Baxter Lie algebras, we also show that the obstruction for a pair of Rota-Baxter automorphisms in $\mathrm{Aut}(\mathfrak{h}_S ) \times \mathrm{Aut}(\mathfrak{g}_T)$ to be induced by an automorphism in $\mathrm{Aut}(\mathfrak{e}_U)$ lies in the cohomology group $H^2_{{nab}} (\mathfrak{g}_T, \mathfrak{h}_S)$. As a byproduct, we obtain the Wells short-exact sequence in the context of Rota-Baxter Lie algebras.


title: Task2Dial: A Novel Task and Dataset for Commonsense enhanced Task-based Dialogue Grounded in Documents

abstract: This paper proposes a novel task on commonsense-enhanced task-based dialogue grounded in documents and describes the Task2Dial dataset, a novel dataset of document-grounded task-based dialogues, where an Information Giver (IG) provides instructions (by consulting a document) to an Information Follower (IF), so that the latter can successfully complete the task. In this unique setting, the IF can ask clarification questions which may not be grounded in the underlying document and require commonsense knowledge to be answered. The Task2Dial dataset poses new challenges: (1) its human reference texts show more lexical richness and variation than other document-grounded dialogue datasets; (2) generating from this set requires paraphrasing as instructional responses might have been modified from the underlying document; (3) requires commonsense knowledge, since questions might not necessarily be grounded in the document; (4) generating requires planning based on context, as task steps need to be provided in order. The Task2Dial dataset contains dialogues with an average $18.15$ number of turns and 19.79 tokens per turn, as compared to 12.94 and 12 respectively in existing datasets. As such, learning from this dataset promises more natural, varied and less template-like system utterances.


title: In Rain or Shine: Understanding and Overcoming Dataset Bias for Improving Robustness Against Weather Corruptions for Autonomous Vehicles

abstract: Several popular computer vision (CV) datasets, specifically employed for Object Detection (OD) in autonomous driving tasks exhibit biases due to a range of factors including weather and lighting conditions. These biases may impair a model's generalizability, rendering it ineffective for OD in novel and unseen datasets. Especially, in autonomous driving, it may prove extremely high risk and unsafe for the vehicle and its surroundings. This work focuses on understanding these datasets better by identifying such "good-weather" bias. Methods to mitigate such bias which allows the OD models to perform better and improve the robustness are also demonstrated. A simple yet effective OD framework for studying bias mitigation is proposed. Using this framework, the performance on popular datasets is analyzed and a significant difference in model performance is observed. Additionally, a knowledge transfer technique and a synthetic image corruption technique are proposed to mitigate the identified bias. Finally, using the DAWN dataset, the findings are validated on the OD task, demonstrating the effectiveness of our techniques in mitigating real-world "good-weather" bias. The experiments show that the proposed techniques outperform baseline methods by averaged fourfold improvement.


title: Numerical analysis of processes for the formation of moonlets confining the arcs of Neptune

abstract: The arcs of Neptune - Fraternit\'e, Egalit\'e, Libert\'e, and Courage - are four incomplete rings immersed in the Adams ring. A recent confinement model for the arcs proposes that the structures are azimuthally confined by four co-orbital moonlets. In this work, we intend to approach some points related to the dynamics of co-orbital moonlets and suggest a model for their formation. We study the equilibrium configurations for 1+N co-orbital satellites under the 42:43 Lindblad resonance with Galatea. We obtained three distinct configurations with 1+3 and 1+4 moonlets able to confine and reproduce the location of the arcs. The moonlets' formation is analysed by the disruption of an ancient body at a Lagrangian point of a moon. The disruption fragments spread out in horseshoe orbits and collide to form moonlets, which reach an equilibrium configuration due to a non-conservative effect. In such a scenario, the arcs likely formed through a mixture of different processes, with impacts between disruption outcomes and meteoroid impacts with the moonlets being possibilities.


title: Learning Linear Representations of Nonlinear Dynamics Using Deep Learning

abstract: The vast majority of systems of practical interest are characterised by nonlinear dynamics. This renders the control and optimization of such systems a complex task due to their nonlinear behaviour. Additionally, standard methods such as linearizing around a fixed point may not be an effective strategy for many systems, thus requiring an alternative approach. For this reason, we propose a new deep learning framework to discover a transformation of a nonlinear dynamical system to an equivalent higher dimensional linear representation. We demonstrate that the resulting learned linear representation accurately captures the dynamics of the original system for a wider range of conditions than standard linearization. As a result of this, we show that the learned linear model can subsequently be used for the successful control of the original system. We demonstrate this by applying the proposed framework to two examples; one from the literature and a more complex example in the form of a Continuous Stirred Tank Reactor (CSTR).


title: Forward and backward mapping of image to 2D vector field using fiber bundle color space

abstract: We introduce the concept of a fiber bundle color space, which acts according to the psychophysiological rules of trichromacy perception of colors by a human. The image resides in the fiber bundle base space and the fiber color space contains color vectors. Further we propose the decomposition of color vectors into spectral and achromatic parts. A homomorphism of a color image and constructed two-dimensional vector field is demonstrated that allows us to apply well-known advanced methods of vector analysis to a color image, i.e. ultimately give new numerical characteristics of the image. Appropriate image to vector field forward mapping is constructed. The proposed backward mapping algorithm converts a two-dimensional vector field to color image. The type of image filter is described using sequential forward and backward mapping algorithms. An example of the color image formation on the base of two-dimensional magnetic vector field scattered by a typical pipe line defect is given.


title: Temperature dependence of the single photon source efficiency based on QD-cQED

abstract: We study a photonic circuit consisting of a quantum dot, QD, coupled to a photon cavity over a wide range of temperature up to room temperature. A key component of such a system is presented here in the form of a Purcell-enhanced single-photon source based on Cavity Quantum Electrodynamics, cQED. We use a real set of pure dephasing data extracted from experimental measurements of InGaAs QD to calculate the effective QD-cavity coupling strength, the Purcell factor, and the single photon efficiency emerged from the QD-cavity system in the cases without and with detuning. In the non-detuned system, the effective coupling strength between the QD and the resonator decreases with increasing temperature, results in a decrease in efficiency. However, when the temperature of the QD-cavity system increases under Purcell effect conditions, the detuned QD-cavity system induces spontaneous emission rate enhancement. As a result, we found that the increase in efficiency can be obtained under a certain condition, when the maximum effective coupling strength and the Purcell factor are related to the spontaneous emission and the pure dephasing rates. Additionally, the influences of the pumping mechanism on the efficiency of the QD-system were examined and showed that the pumping process can be used to further increase in efficiency. Our results can be advantageous for advanced quantum optics applications once temperature is taken into account.


title: A Weak Galerkin Mixed Finite Element Method for second order elliptic equations on 2D Curved Domains

abstract: This article concerns the weak Galerkin mixed finite element method (WG-MFEM) for second order elliptic equations on 2D domains with curved boundary. The Neumann boundary condition is considered since it becomes the essential boundary condition in this case. It is well-known that the discrepancy between the curved physical domain and the polygonal approximation domain leads to a loss of accuracy for discretization with polynomial order $\alpha>1$. The purpose of this paper is two-fold. First, we present a detailed error analysis of the original WG-MFEM for solving problems on curved domains, which exhibits an $O(h^{1/2})$ convergence for all $\alpha\ge 1$. It is a little surprising to see that even the lowest-order WG-MFEM ($\alpha=1$) experiences a loss of accuracy. This is different from known results for the finite element method (FEM) or the mixed FEM, and appears to be a combined effect of the WG-MFEM design and the fact that the outward normal vector on the polygonal approximation domain is different from the one on the curved domain. Second, we propose a remedy to bring the approximation rate back to optimal by employing two techniques. One is a specially designed boundary correction technique. The other is to take full advantage of the nice feature that weak Galerkin discretization can be defined on polygonal meshes, which allows the curved boundary to be better approximated by multiple short edges without increasing the total number of mesh elements. Rigorous analysis shows that a combination of the above two techniques renders optimal convergence for all $\alpha$. Numerical results further confirm this conclusion.


title: Period-doubling Continued Fractions are Algebraic in Characteristic $2$

abstract: Considering an arbitrary pair of distinct and non constant polynomials, $a$ and $b$ in $\mathbb{F}_2[t]$, we build a continued fraction in $\mathbb{F}_2((1/t))$ whose partial quotients are only equal to $a$ or $b$. In a previous work of the first author and Han (to appear in Acta Arithmetica), the authors considered two cases where the sequence of partial quotients represents in each case a famous and basic $2$-automatic sequence, both defined in a similar way by morphisms. They could prove the algebraicity of the corresponding continued fractions for several pairs $(a,b)$ in the first case (the Prouhet-Thue-Morse sequence) and gave the proof for a particular pair for the second case (the period-doubling sequence). Recently Bugeaud and Han (arXiv:2203.02213) proved the algebraicity for an arbitrary pair in the first case. Here we give a short proof for an arbitrary pair in the second case.


title: On the high-energy protons regular acceleration in the Fermi Bubbles

abstract: We propose the model of the global structure of the electromagnetic fields in the Fermi bubbles (FBs), which makes possible the proton regular acceleration up to ultra-high energies. The poloidal and the toroidal magnetic fields, as well as the radial electric field, turn to have a structure similar to fields that exist in jets ejected out from active galactic nuclei (AGN). A powerful source of relativistic particles observed in the centre of the Galaxy and associated with the rotating supermassive black hole (SMBH) Sgr A* can energize the FB and keeps its active for a long time. The absence of accretion onto a BH and thus the absence of a relativistic jet does not mean that there is no loss of rotational energy of BH. In the case of FB, the energy lost by BH can keep the FB activity. The regular FBs structure could be formed by inheritance from a relativistic jet that presumably existed in the active past of the Galaxy $ 10^7 $ years ago, or by processes near the Galaxy centre existing during the entire life cycle of the Galaxy. The acceleration of protons in electromagnetic fields of FB are found up to energies $ E_{max} \simeq 10^{17} $ eV, which explains the observed radiation of FB in the gamma range, as well as the emission of high-energy neutrinos.


title: Large time behavior of solutions to the Cauchy problem for the BBM-Burgers equation

abstract: We consider the large time behavior of the solutions to the Cauchy problem for the BBM-Burgers equation. We prove that the solution to this problem goes to the self-similar solution to the Burgers equation called the nonlinear diffusion wave. Moreover, we construct the appropriate second asymptotic profiles of the solutions depending on the initial data. Based on that discussion, we investigate the effect of the initial data on the large time behavior of the solution, and derive the optimal asymptotic rate to the nonlinear diffusion wave. Especially, the important point of this study is that the second asymptotic profiles of the solutions with slowly decaying data, whose case has not been studied, are obtained.


title: Improved Robust Price Bounds for Multi-Asset Derivatives under Market-Implied Dependence Information

abstract: We show how inter-asset dependence information derived from market prices of options can lead to improved model-free price bounds for multi-asset derivatives. Depending on the type of the traded option, we either extract correlation information or we derive restrictions on the set of admissible copulas that capture the inter-asset dependencies. To compute the resultant price bounds for some multi-asset options of interest, we apply a modified martingale optimal transport approach. Several examples based on simulated and real market data illustrate the improvement of the obtained price bounds and thus provide evidence for the relevance and tractability of our approach.


title: Conductor Properties and Coil Technology for a Bi2212 Dipole Insert for 20 Tesla Hybrid Accelerator Magnets

abstract: Developing HTS dipole inserts producing fields larger than 5 T within 15 T Nb3Sn outserts is necessary to generate 20 T or higher fields for future high energy colliders. Dipole inserts based on the cos-theta coil geometry with various stress management concepts and Bi2212 superconducting strand and cable are being developed at Fermilab both within and beyond the U.S.-MDP effort. The ultimate goal is to develop coil technology and an approach to manage azimuthal and radial strains of high temperature superconductor inserts when integrated within Nb3Sn outserts as a hybrid magnet system. This white paper reviews Bi2212 conductor properties and coil technologies, and proposes new ideas to face the challenges that Bi2212 still presents as an accelerator magnet conductor.


title: Relatively hyperbolic metric bundles and Cannon-Thurston map

abstract: Given a metric (graph) bundle $X$ over $B$ where all the fibres are strongly relatively hyperbolic and nonelementary we show that, under certain conditions, $X$ is strongly hyperbolic relative to a collection of maximal cone-subbundles of horosphere-like spaces. Further, given a coarsely Lipschitz qi embedding $i: A\to B$, we show that the pullback $Y$ is strongly relatively hyperbolic and the map $Y\to X$ admits a Cannon-Thurston (CT) map. As an application, we prove a group-theoretic analogue of this result for a relatively hyperbolic extension of groups.


title: Precoloring extension of Vizing's Theorem for multigraphs

abstract: Let $G$ be a graph with maximum degree $\Delta(G)$ and maximum multiplicity $\mu(G)$. Vizing and Gupta, independently, proved in the 1960s that the chromatic index of $G$ is at most $\Delta(G)+\mu(G)$. The distance between two edges $e$ and $f$ in $G$ is the length of a shortest path connecting an endvertex of $e$ and an endvertex of $f$. A distance-$t$ matching is a set of edges having pairwise distance at least $t$. Edwards et al. proposed the following conjecture: For any graph $G$, using the palette $\{1, \dots, \Delta(G)+\mu(G)\}$, any precoloring on a distance-$2$ matching can be extended to a proper edge coloring of $G$. Gir\~{a}o and Kang verified this conjecture for distance-$9$ matchings. In this paper, we improve the required distance from $9$ to $3$ for multigraphs $G$ with $\mu(G) \ge 2$.


title: Data Cards: Purposeful and Transparent Dataset Documentation for Responsible AI

abstract: As research and industry moves towards large-scale models capable of numerous downstream tasks, the complexity of understanding multi-modal datasets that give nuance to models rapidly increases. A clear and thorough understanding of a dataset's origins, development, intent, ethical considerations and evolution becomes a necessary step for the responsible and informed deployment of models, especially those in people-facing contexts and high-risk domains. However, the burden of this understanding often falls on the intelligibility, conciseness, and comprehensiveness of the documentation. It requires consistency and comparability across the documentation of all datasets involved, and as such documentation must be treated as a user-centric product in and of itself. In this paper, we propose Data Cards for fostering transparent, purposeful and human-centered documentation of datasets within the practical contexts of industry and research. Data Cards are structured summaries of essential facts about various aspects of ML datasets needed by stakeholders across a dataset's lifecycle for responsible AI development. These summaries provide explanations of processes and rationales that shape the data and consequently the models, such as upstream sources, data collection and annotation methods; training and evaluation methods, intended use; or decisions affecting model performance. We also present frameworks that ground Data Cards in real-world utility and human-centricity. Using two case studies, we report on desirable characteristics that support adoption across domains, organizational structures, and audience groups. Finally, we present lessons learned from deploying over 20 Data Cards.


title: On Angles in Higher Order Brillouin Tessellations and Related Tilings in the Plane

abstract: For a locally finite set in $\mathbb{R}^2$, the order-$k$ Brillouin tessellations form an infinite sequence of convex face-to-face tilings of the plane. If the set is coarsely dense and generic, then the corresponding infinite sequences of minimum and maximum angles are both monotonic in $k$. As an example, a stationary Poisson point process in $\mathbb{R}^2$ is locally finite, coarsely dense, and generic with probability one. For such a set, the distribution of angles in the Voronoi tessellations, Delaunay mosaics, and Brillouin tessellations are independent of the order and can be derived from the formula for angles in order-$1$ Delaunay mosaics given by Miles in 1970.


title: Brillouin Zones of Integer Lattices and Their Perturbations

abstract: For a locally finite set, $A \subseteq \mathbb{R}^d$, the $k$-th Brillouin zone of $a \in A$ is the region of points $x \in \mathbb{R}^d$ for which $\|x-a\|$ is the $k$-th smallest among the Euclidean distances between $x$ and the points in $A$. If $A$ is a lattice, the $k$-th Brillouin zones of the points in $A$ are translates of each other, which tile space. Depending on the value of $k$, they express medium- or long-range order in the set. We study fundamental geometric and combinatorial properties of Brillouin zones, focusing on the integer lattice and its perturbations. Our results include the stability of a Brillouin zone under perturbations, a linear upper bound on the number of chambers in a zone for lattices in $\mathbb{R}^2$, and the convergence of the maximum volume of a chamber to zero for the integer lattice.


title: Absence of isolated critical points with nonstandard critical exponents in the four-dimensional regularization of Lovelock gravity

abstract: Hyperbolic vacuum black holes in Lovelock gravity theories of odd order $N$, in which $N$ denotes the order of higher-curvature corrections, are known to have the so-called isolated critical points with nonstandard critical exponents (as $\alpha = 0$, $\beta = 1$, $\gamma = N-1$, and $\delta = N$), different from those of mean-field critical exponents (with $\alpha = 0$, $\beta = 1/2$, $\gamma = 1$, and $\delta = 3$). Motivated by this important observation, here, we explore the consequences of taking the $D \to 4$ limit of Lovelock gravity and the possibility of finding nonstandard critical exponents associated with isolated critical points in four-dimensions by use of the four-dimensional regularization technique, proposed recently by Glavan and Lin \cite{Glavan2020}. To do so, we first present $\text{AdS}_4$ Einstein-Lovelock black holes with fine-tuned Lovelock couplings in the regularized theory, which is needed for our purpose. Next, it is shown that the regularized $4D$ Einstein-Lovelock gravity theories of odd order $N > 3$ do not possess any physical isolated critical point, unlike the conventional Lovelock gravity. In fact, the critical (inflection) points of the equation of state always occur for the branch of black holes with negative entropy. The situation is quite different for the case of the regularized $4D$ Einstein-Lovelock gravity with cubic curvature corrections ($N=3$). In this case ($N=3$), although the entropy is non-negative and the equation of state of hyperbolic vacuum black holes has a nonstandard Taylor expansion about its inflection point, but there is no criticality associated with this special point. At the inflection point, the physical properties of the black hole system change drastically ...


title: Modelling and Control of Production Systems based on Observed Inter-event Times: An Analytical and Empirical Investigation (Ph.D. Thesis)

abstract: Technological advances allow manufacturers to collect and access data from a production system effectively. The objective of data collection is to deploy the collected data in developing decision support systems for performance evaluation, problem identification, and production control. The goal of this dissertation is to investigate how the collected data can be used to evaluate performance and optimize manufacturing systems, analytically and empirically. In the first part of the thesis, I investigate how can the collected data from the shop-floor be used in the efficient control and design of manufacturing systems? To investigate the impact of possible dependency in the inter-event times on the optimal control and performance measures of the system, a manufacturing system that is controlled by using a single-threshold production control policy is analyzed. It is shown that ignoring autocorrelation in inter-arrival or service times leads to overestimation (underestimation) of the optimal threshold level for negatively (positively) correlated processes. Then, it is shown that the optimal control policy of a production/inventory system with correlated inter-arrival and service times modeled as Markovian Arrival Processes is a state-dependent threshold policy. In the second part of the thesis, an exploratory data analysis is conducted by using a large industrial dataset related to the flow of the products at a semiconductor wafer fabrication. Then, the cycle times of the products are predicted using Machine Learning methods, and the performance of different prediction algorithms is assessed. The analytical and empirical results presented in this dissertation show that effective use of collected data from a manufacturing system enables controlling the system effectively and predicting its main performance measures accurately.


title: ES6D: A Computation Efficient and Symmetry-Aware 6D Pose Regression Framework

abstract: In this paper, a computation efficient regression framework is presented for estimating the 6D pose of rigid objects from a single RGB-D image, which is applicable to handling symmetric objects. This framework is designed in a simple architecture that efficiently extracts point-wise features from RGB-D data using a fully convolutional network, called XYZNet, and directly regresses the 6D pose without any post refinement. In the case of symmetric object, one object has multiple ground-truth poses, and this one-to-many relationship may lead to estimation ambiguity. In order to solve this ambiguity problem, we design a symmetry-invariant pose distance metric, called average (maximum) grouped primitives distance or A(M)GPD. The proposed A(M)GPD loss can make the regression network converge to the correct state, i.e., all minima in the A(M)GPD loss surface are mapped to the correct poses. Extensive experiments on YCB-Video and T-LESS datasets demonstrate the proposed framework's substantially superior performance in top accuracy and low computational cost.


title: Faces: AI Blitz XIII Solutions

abstract: AI Blitz XIII Faces challenge hosted on www.aicrowd.com platform consisted of five problems: Sentiment Classification, Age Prediction, Mask Prediction, Face Recognition, and Face De-Blurring. Our team GLaDOS took second place. Here we present our solutions and results. Code implementation: https://github.com/ndrwmlnk/ai-blitz-xiii


title: Stratification and the smashing spectrum

abstract: We develop the theory of stratification for a rigidly-compactly generated tensor-triangulated category using the smashing spectrum and the small smashing support. Within the stratified context, we investigate connections between big prime ideals, objectwise-prime ideals and homological primes, and we show that the Telescope Conjecture holds if and only if the homological spectrum is $T_0$ and the homological support detects vanishing. We also reduce stratification to smashing localizations. Moreover, we study induced maps between smashing spectra and prove a descent theorem for stratification. Outside the stratified context, we prove that the Telescope Conjecture holds if and only if the smashing spectrum is $T_0$ with respect to the small topology.


title: On the discrete equation model for compressible multiphase fluid flows

abstract: The modeling of multi-phase flow is very challenging, given the range of scales as well as the diversity of flow regimes that one encounters in this context. We revisit the discrete equation method (DEM) for two-phase flow in the absence of heat conduction and mass transfer. We analyze the resulting probability coefficients and prove their local convexity, rigorously establishing that our version of DEM can model different flow regimes ranging from the disperse to stratified (or separated) flow. Moreover, we reformulate the underlying mesoscopic model in terms of an one-parameter family of PDEs that interpolates between different flow regimes. We also propose two sets of procedures to enforce relaxation to equilibrium. We perform several numerical tests to show the flexibility of the proposed formulation, as well as to interpret different model components. The one-parameter family of PDEs provides an unified framework for modeling mean quantities for a multiphase flow, while at the same time identifying two key parameters that model the inherent uncertainty in terms of the underlying microstructure.


title: On Polynomially Solvable Constrained Input Selections for Fixed and Switched Linear Structured Systems

abstract: This paper investigates two related optimal input selection problems for fixed (non-switched) and switched structured systems. More precisely, we consider selecting the minimum cost of inputs from a prior set of inputs, and selecting the inputs of the smallest possible cost with a bound on their cardinality, all to ensure system structural controllability. Those problems have attracted much attention recently; unfortunately, they are NP-hard in general. In this paper, it is found that, if the input structure satisfies certain `regularizations', which are characterized by the proposed restricted total unimodulairty notion, those problems can be solvable in polynomial time via linear programming (LP) relaxations. Particularly, the obtained characterizations depend only on the incidence matrix relating the inputs and the source strongly connected components (SCC) of the system structure, irrespective of how the inputs actuate states within the same SCC. They cover all the currently known polynomially solvable cases (such as the dedicated input case), and contain many new cases unexploited in the past, among which the source-SCC separated input (SSSI) constraint is highlighted. Further, for switched systems, the obtained polynomially solvable condition (namely the joint SSSI constraint) does not require each of the subsystems to satisfy the SSSI constraint. We achieve these by first formulating those problems as equivalent integer linear programmings (ILPs), and then proving total unimodularity of the corresponding constraint matrices. This property allows us to solve those ILPs efficiently via LP-relaxation. We also discuss solutions obtained via LP-relaxation and LP-rounding in the general case. Several examples are given to illustrate the obtained theoretical results.


title: On Pappus Configurations in Hall Planes

abstract: As the finite Hall planes are Non-Desarguesian, the Pappus Theorem does not hold in them. In this paper we state and prove some weaker versions of Pappus's Theorem in Hall planes.


title: Non-thermal dark matter production and leptogenesis in a $L_{\mu}-L_{\tau}$ model

abstract: We discuss the possibility of light scalar dark matter generated by right-handed neutrino in a $L_{\mu}-L_{\tau}$ model, in which the dark matter $\phi_{dm}$ carries $U(1)_{L_{\mu}-L_{\tau}}$ charge but it is a singlet in the Standard Model. We discuss the case that dark matter production mainly comes from scattering associated with a pair of right-handed neutrinos non-thermally while other related processes are highly suppressed. A feasible parameter space is considered and we found the correct dark matter relic density can be obtained without influencing the result of leptogenesis result. The heavier right-handed neutrino will induce colder dark matter production and the allowed dark matter mass region is $[\rm 10^{-5}\ GeV,0.1\ GeV]$.


title: Neural modulation enhancement using connectivity-based EEG neurofeedback with simultaneous fMRI for emotion regulation

abstract: Emotion regulation plays a key role in human behavior and overall well-being. Neurofeedback is a non-invasive self-brain training technique used for emotion regulation to enhance brain function and treatment of mental disorders through behavioral changes. Previous neurofeedback research often focused on using activity from a single brain region as measured by fMRI or power from one or two EEG electrodes. In a new study, we employed connectivity-based EEG neurofeedback through recalling positive autobiographical memories and simultaneous fMRI to upregulate positive emotion. In our novel approach, the feedback was determined by the coherence of EEG electrodes rather than the power of one or two electrodes. We compared the efficiency of this connectivity-based neurofeedback to traditional activity-based neurofeedback through multiple experiments. The results showed that connectivity-based neurofeedback effectively improved BOLD signal change and connectivity in key emotion regulation regions such as the amygdala, thalamus, and insula, and increased EEG frontal asymmetry, which is a biomarker for emotion regulation and treatment of mental disorders such as PTSD, anxiety, and depression and coherence among EEG channels. The psychometric evaluations conducted both before and after the neurofeedback experiments revealed that participants demonstrated improvements in enhancing positive emotions and reducing negative emotions when utilizing connectivity-based neurofeedback, as compared to traditional activity-based and sham neurofeedback approaches. These findings suggest that connectivity-based neurofeedback may be a superior method for regulating emotions and could be a useful alternative therapy for mental disorders, providing individuals with greater control over their brain and mental functions.


title: Covariance Representations, $L^p$-Poincar\'e Inequalities, Stein's Kernels and High Dimensional CLTs

abstract: We explore connections between covariance representations, Bismut-type formulas and Stein's method. First, using the theory of closed symmetric forms, we derive covariance representations for several well-known probability measures on $\mathbb{R}^d$, $d \geq 1$. When strong gradient bounds are available, these covariance representations immediately lead to $L^p$-$L^q$ covariance estimates, for all $p \in (1, +\infty)$ and $q = p/(p-1)$. Then, we revisit the well-known $L^p$-Poincar\'e inequalities ($p \geq 2$) for the standard Gaussian probability measure on $\mathbb{R}^d$ based on a covariance representation. Moreover, for the nondegenerate symmetric $\alpha$-stable case, $\alpha \in (1,2)$, we obtain $L^p$-Poincar\'e and pseudo-Poincar\'e inequalities, for $p \in (1, \alpha)$, via a detailed analysis of the various Bismut-type formulas at our disposal. Finally, using the construction of Stein's kernels by closed forms techniques, we obtain quantitative high-dimensional CLTs in $1$-Wasserstein distance when the limiting Gaussian probability measure is anisotropic. The dependence on the parameters is completely explicit and the rates of convergence are sharp.


title: VRKG4Rec: Virtual Relational Knowledge Graphs for Recommendation

abstract: Incorporating knowledge graph as side information has become a new trend in recommendation systems. Recent studies regard items as entities of a knowledge graph and leverage graph neural networks to assist item encoding, yet by considering each relation type individually. However, relation types are often too many and sometimes one relation type involves too few entities. We argue that it is not efficient nor effective to use every relation type for item encoding. In this paper, we propose a VRKG4Rec model (Virtual Relational Knowledge Graphs for Recommendation), which explicitly distinguish the influence of different relations for item representation learning. We first construct virtual relational graphs (VRKGs) by an unsupervised learning scheme. We also design a local weighted smoothing (LWS) mechanism for encoding nodes, which iteratively updates a node embedding only depending on the embedding of its own and its neighbors, but involve no additional training parameters. We also employ the LWS mechanism on a user-item bipartite graph for user representation learning, which utilizes encodings of items with relational knowledge to help training representations of users. Experiment results on two public datasets validate that our VRKG4Rec model outperforms the state-of-the-art methods. The implementations are available at https://github.com/lulu0913/VRKG4Rec.


title: Breaking the De-Pois Poisoning Defense

abstract: Attacks on machine learning models have been, since their conception, a very persistent and evasive issue resembling an endless cat-and-mouse game. One major variant of such attacks is poisoning attacks which can indirectly manipulate an ML model. It has been observed over the years that the majority of proposed effective defense models are only effective when an attacker is not aware of them being employed. In this paper, we show that the attack-agnostic De-Pois defense is hardly an exception to that rule. In fact, we demonstrate its vulnerability to the simplest White-Box and Black-Box attacks by an attacker that knows the structure of the De-Pois defense model. In essence, the De-Pois defense relies on a critic model that can be used to detect poisoned data before passing it to the target model. In our work, we break this poison-protection layer by replicating the critic model and then performing a composed gradient-sign attack on both the critic and target models simultaneously -- allowing us to bypass the critic firewall to poison the target model.


title: Final bound-state formation effect on dark matter annihilation

abstract: If the annihilation products of dark matter (DM) are non-relativistic and couples directly to a light force mediator, the non-perturbation effect like final state bound state (FBS) formation and final state Sommerfeld (FSS) effect must be considered. Non-relativistic region of final particles will appear when there is small mass split between DM and products, so we study those effects in the degenerate region of mass (including kinematics forbidden case) using two specific models. We demonstrate that FBS effect will significantly modify the DM relic abundance comparing to the standard perturbation calculation in some mass split region. We emphasize that FBS effect is comparable to the FSS effect in those mass split. The conservation angular momentum are subtle considering FBS formation, in some cases there may be not $s$-wave, so we use two models exhibit the different partial wave FBS effect contribution. We also show that the FBS formation with vector boson emission process also contributes in DM relic abundance, and first calculate the $p$-wave FSS effect in the specific model.


title: Study of $B_{(s)}^0 \to \phi\phi \to (K^+K^-)(K^+K^-)$ decays in the perturbative QCD approach

abstract: In this work, we make a detailed analysis on the penguin-dominant processes $B_{(s)}^0 \to \phi\phi \to (K^+K^-)(K^+K^-)$ in the perturbative QCD (PQCD) approach. In addition to the dominant $P$-wave resonance, the scalar background $f_0(980) \to K^+K^-$ is also accounted for. We improve the Gegenbauer moments in $KK$ two-meson distribution amplitudes by fitting the PQCD factorization formulas to measured branching ratios of three-body and four-body $B$ decays. We extract the branching ratios of two-body $B_{(s)}^0 \to \phi\phi$ decays from the corresponding four-body decay modes and calculate the relevant polarization fractions together with two relative phases $\phi_{\parallel,\perp}$, which are consistent with the previous theoretical predictions. The PQCD predictions for the "true" triple product asymmetries (TPAs) are zero which are expected in the standard model due to the vanishing weak phase difference, and support the current data reported by the CDF and LHCb Collaborations. A large "fake" TPA $\mathcal{A}_\text{T-fake}^1=30.4\%$ of the decay $B^0_s \to \phi\phi \to (K^+K^-)(K^+K^-)$ is predicted for the first time, which indicates the presence of the significant final-state interactions. The TPAs of the rare decay channel $B^0 \to \phi\phi\to (K^+K^-)(K^+K^-)$ are also predicted and can be tested in the near future.


title: Hierarchical Frequency Control of Hybrid Power Plants Using Frequency Response Observer

abstract: Frequency control (FC) enables utility-scale grid-connected hybrid power plants (HPPs) to operate in compliance with grid code requirements while to capture value streams from provision of frequency control services (FCSs). In this paper, a novel hierarchical FC approach is proposed to allow HPPs to provide three types of FCSs, namely fast frequency response (FFR), frequency containment response (FCR) and frequency restoration response (FRR). To accommodate state-of-the-art fast FC, controllers for fast FCSs, such as FFR and FCR, are implemented at asset controllers, while controllers for slow FCSs like FRR are implemented at plant controllers or the HPP controller (HPPC). Control counteraction issue, which arises across control hierarchy, is then discussed. To solve this issue, an innovative frequency response observer (FROB) is proposed. Inspired by the concept of disturbance observer (DOB), FROB at plant controllers and the HPPC accurately estimates frequency response initiated at asset controllers, and the obtained estimation is used for control compensation at plant controllers and the HPPC to avoid control counteraction. This scheme achieves robust performance even when there are system uncertainties existing in HPPs, such as parameter uncertainty, unknown control malfunction, and time-varying communication delays. The proposed approach is implemented in a power system dynamic model in MATLAB/Simulink to highlight its effectiveness and robustness.


title: Wick rotation of linearized gravity in Gaussian time and Calder\'on projectors

abstract: Motivated by the quantization of linearized gravity, we consider gauge-fixed linearized Einstein equations and their Wick rotation near a Cauchy surface. We show that Calder\'on projectors for the Wick-rotated equations induce Hadamard bi-solutions on the Lorentzian level. On the other hand, we find smoothing obstructions to gauge-invariance and positivity conditions needed in quantization. These obstructions are primarily due to boundary terms arising in the Wick-rotated theory and depend on the boundary conditions.


title: pmuBAGE: The Benchmarking Assortment of Generated PMU Data for Power System Events -- Part I: Overview and Results

abstract: We present pmuGE (phasor measurement unit Generator of Events), one of the first data-driven generative model for power system event data. We have trained this model on thousands of actual events and created a dataset denoted pmuBAGE (the Benchmarking Assortment of Generated PMU Events). The dataset consists of almost 1000 instances of labeled event data to encourage benchmark evaluations on phasor measurement unit (PMU) data analytics. The dataset is available online for use by any researcher or practitioner in the field. PMU data are challenging to obtain, especially those covering event periods. Nevertheless, power system problems have recently seen phenomenal advancements via data-driven machine learning solutions - solutions created by researchers who were fortunate enough to obtain such PMU data. A highly accessible standard benchmarking dataset would enable a drastic acceleration of the development of successful machine learning techniques in this field. We propose a novel learning method based on the Event Participation Decomposition of Power System Events, which makes it possible to learn a generative model of PMU data during system anomalies. The model can create highly realistic event data without compromising the differential privacy of the PMUs used to train it. The dataset is available online for any researcher to use at the pmuBAGE Github Repository - https://github.com/NanpengYu/pmuBAGE. Part I - This is part I of a two part paper. In part I, we describe a high level overview of pmuBAGE, its creation, and the experiments used to test it. Part II will discuss the exact models used in its generation in far more detail.


title: Closed 1/2-Elasticae in the 2-Sphere

abstract: We study critical trajectories in the sphere for the $1/2$-Bernoulli's bending functional with length constraint. For every Lagrange multiplier encoding the conservation of the length during the variation, we show the existence of infinitely many closed trajectories which depend on a pair of relatively prime natural numbers. A geometric description of these numbers and the relation with the shape of the corresponding critical trajectories is also given.


title: Localizing the Vehicle's Antenna: an Open Problem in 6G Network Sensing

abstract: Millimeter Waves (mmW) and sub-THz frequencies are the candidate bands for the upcoming Sixth Generation (6G) of communication systems. The use of collimated beams at mmW/sub-THz to compensate for the increased path and penetration loss arises the need for a seamless Beam Management (BM), especially for high mobility scenarios such as the Vehicle-to-Infrastructure (V2I) one. Recent research advances in Integrated Sensing and Communication (ISAC) indicate that equipping the network infrastructure, e.g., the Base Station (BS), with either a stand-alone radar or sensing capabilities using optimized waveforms, represents the killer technology to facilitate the BM. However, radio sensing should accurately localize the Vehicular Equipment (VE)'s antenna, which is not guaranteed in general. Differently, employing side information from VE's onboard positioning sensors might overcome this limitation at the price of an increased control signaling between VE and BS. This paper provides a pragmatic comparison between radar-assisted and position-assisted BM for mmW V2I systems in a typical urban scenario in terms of BM training time and beamforming gain loss due to a wrong BM decision. Simulation results, supported by experimental evidence, show that the point target approximation of a traveling VE does not hold in practical V2I scenarios with radar-equipped BS. Therefore, the true antenna position has a residual uncertainty that is independent of radar's resolution and implies 50\,\% more BM training time on average. Moreover, there is not a winning technology for BM between BS-mounted radar and VE's onboard positioning systems. They provide complementary performance, depending on position, although outperforming blind BM techniques compared to conventional blind methods. Thus, we propose to optimally combine radar and positioning information in a multi-technology integrated BM solution.


title: A sequence-to-sequence approach for document-level relation extraction

abstract: Motivated by the fact that many relations cross the sentence boundary, there has been increasing interest in document-level relation extraction (DocRE). DocRE requires integrating information within and across sentences, capturing complex interactions between mentions of entities. Most existing methods are pipeline-based, requiring entities as input. However, jointly learning to extract entities and relations can improve performance and be more efficient due to shared parameters and training steps. In this paper, we develop a sequence-to-sequence approach, seq2rel, that can learn the subtasks of DocRE (entity extraction, coreference resolution and relation extraction) end-to-end, replacing a pipeline of task-specific components. Using a simple strategy we call entity hinting, we compare our approach to existing pipeline-based methods on several popular biomedical datasets, in some cases exceeding their performance. We also report the first end-to-end results on these datasets for future comparison. Finally, we demonstrate that, under our model, an end-to-end approach outperforms a pipeline-based approach. Our code, data and trained models are available at {\url{https://github.com/johngiorgi/seq2rel}}. An online demo is available at {\url{https://share.streamlit.io/johngiorgi/seq2rel/main/demo.py}}.


title: Adversarially robust segmentation models learn perceptually-aligned gradients

abstract: The effects of adversarial training on semantic segmentation networks has not been thoroughly explored. While previous work has shown that adversarially-trained image classifiers can be used to perform image synthesis, we have yet to understand how best to leverage an adversarially-trained segmentation network to do the same. Using a simple optimizer, we demonstrate that adversarially-trained semantic segmentation networks can be used to perform image inpainting and generation. Our experiments demonstrate that adversarially-trained segmentation networks are more robust and indeed exhibit perceptually-aligned gradients which help in producing plausible image inpaintings. We seek to place additional weight behind the hypothesis that adversarially robust models exhibit gradients that are more perceptually-aligned with human vision. Through image synthesis, we argue that perceptually-aligned gradients promote a better understanding of a neural network's learned representations and aid in making neural networks more interpretable.


title: Strong convergence rates of an explicit scheme for stochastic Cahn--Hilliard equation with additive noise

abstract: In this paper, we propose and analyze an explicit time-stepping scheme for a spatial discretization of stochastic Cahn--Hilliard equation with additive noise. The fully discrete approximation combines a spectral Galerkin method in space with a tamed exponential Euler method in time. In contrast to implicit schemes in the literature, the explicit scheme here is easily implementable and produces significant improvement in the computational efficiency. It is shown that the fully discrete approximation converges strongly to the exact solution, with strong convergence rates identified. Different from the tamed time-stepping schemes for stochastic Allen--Cahn equations, essential difficulties arise in the analysis due to the presence of the unbounded linear operator in front of the nonlinearity. To overcome them, new and non-trivial arguments are developed in the present work. To the best of our knowledge, it is the first result concerning an explicit scheme for the stochastic Cahn--Hilliard equation. Numerical experiments are finally performed to confirm the theoretical results.


title: Learning-Based Safe Motion Control of Vehicle Ski-Stunt Maneuvers

abstract: This paper presents a safety guaranteed control method for an autonomous vehicle ski-stunt maneuver, that is, a vehicle moving with two one-side wheels. To capture the vehicle dynamics precisely, a Gaussian process model is used as additional correction to the nominal model that is obtained from physical principles. We construct a probabilistic control barrier function (CBF) to guarantee the planar motion safety. The CBF and the balance equilibrium manifold are enforced as the constraints into a safety critical control form. Under the proposed control method, the vehicle avoids the obstacle collision and safely maintain the balance for autonomous ski-stunt maneuvers. We conduct numerical simulation validation to demonstrate the control design. Preliminary experiment results are also presented to confirm the learning-based motion control using a scaled RC truck for autonomous ski-stunt maneuvers.


title: Formal Privacy for Partially Private Data

abstract: Differential privacy (DP) quantifies privacy loss by analyzing noise injected into output statistics. For non-trivial statistics, this noise is necessary to ensure finite privacy loss. However, data curators frequently release collections of statistics where some use DP mechanisms and others are released as-is, i.e., without additional randomized noise. Consequently, DP alone cannot characterize the privacy loss attributable to the entire collection of releases. In this paper, we present a privacy formalism, $(\epsilon, \{ \Theta_z\}_{z \in \mathcal{Z}})$-Pufferfish ($\epsilon$-TP for short when $\{ \Theta_z\}_{z \in \mathcal{Z}}$ is implied), a collection of Pufferfish mechanisms indexed by realizations of a random variable $Z$ representing public information not protected with DP noise. First, we prove that this definition has similar properties to DP. Next, we introduce mechanisms for releasing partially private data (PPD) satisfying $\epsilon$-TP and prove their desirable properties. We provide algorithms for sampling from the posterior of a parameter given PPD. We then compare this inference approach to the alternative where noisy statistics are deterministically combined with Z. We derive mild conditions under which using our algorithms offers both theoretical and computational improvements over this more common approach. Finally, we demonstrate all the effects above on a case study on COVID-19 data.