title: Knowledge Graph Completion with Pre-trained Multimodal Transformer and Twins Negative Sampling

abstract: Knowledge graphs (KGs) that modelings the world knowledge as structural triples are inevitably incomplete. Such problems still exist for multimodal knowledge graphs (MMKGs). Thus, knowledge graph completion (KGC) is of great importance to predict the missing triples in the existing KGs. As for the existing KGC methods, embedding-based methods rely on manual design to leverage multimodal information while finetune-based approaches are not superior to embedding-based methods in link prediction. To address these problems, we propose a VisualBERT-enhanced Knowledge Graph Completion model (VBKGC for short). VBKGC could capture deeply fused multimodal information for entities and integrate them into the KGC model. Besides, we achieve the co-design of the KGC model and negative sampling by designing a new negative sampling strategy called twins negative sampling. Twins negative sampling is suitable for multimodal scenarios and could align different embeddings for entities. We conduct extensive experiments to show the outstanding performance of VBKGC on the link prediction task and make further exploration of VBKGC.


title: Peculiar effect of sample size in layered superconductors

abstract: We discuss an analytical model to calculate the superconducting volume ratio. Apart from this, our model can also predict the shape of embedded superconducting domains. We applied our model to calculate the superconducting volume ratios and shape of domains in (TMTSF)$_2$PF$_6$, (TMTSF)$_2$ClO$_4$, YBa$_2$Cu$_4$O$_8$, $\beta$-(BEDT)TTF$_2$I$_3$ and FeSe. Usually in layered superconductors resistivity drops anisotropically. Our analysis also explains that, this behaviour is due to flat or needle shape of the superconducting samples.


title: Earthquake Phase Association with Graph Neural Networks

abstract: Seismic phase association connects earthquake arrival time measurements to their causative sources. Effective association must determine the number of discrete events, their location and origin times, and it must differentiate real arrivals from measurement artifacts. The advent of deep learning pickers, which provide high rates of picks from closely overlapping small magnitude earthquakes, motivates revisiting the phase association problem and approaching it using the methods of deep learning. We have developed a Graph Neural Network associator that simultaneously predicts both source space-time localization, and discrete source-arrival association likelihoods. The method is applicable to arbitrary geometry, time-varying seismic networks of hundreds of stations, and is robust to high rates of sources and input picks with variable noise and quality. Our Graph Earthquake Neural Interpretation Engine (GENIE) uses one graph to represent the station set and another to represent the spatial source region. GENIE learns relationships from data in this combined representation that enable it to determine robust source and source-arrival associations. We train on synthetic data, and test our method on real data from the Northern California (NC) seismic network using input generated by the PhaseNet deep learning phase picker. We successfully re-detect ~96% of all events M>1 reported by the USGS during 500 random days between 2000$\unicode{x2013}$2022. Over a 100-day continuous interval of processing in 2017$\unicode{x2013}$2018, we detect ~4.2x the number of events reported by the USGS. Our new events have small magnitude estimates below the magnitude of completeness of the USGS catalog, and are located close to the active faults and quarries in the region. Our results demonstrate that GENIE can effectively solve the association problem under complex seismic monitoring conditions.


title: On the Origin of the Strong Optical Variability of Emission-line Galaxies

abstract: Emission-line galaxies (ELGs) are crucial in understanding the formation and evolution of galaxies, while little is known about their variability. Here we report the study on the optical variability of a sample of ELGs selected in the COSMOS field, which has narrow-band observations in two epochs separated by $\gtrsim$ 12 years. This sample was observed with Suprime-Cam (SC) and Hyper Suprime-Cam (HSC) on the $Subaru$ telescope in NB816 and $i'/i$ bands, respectively. After carefully removing the wing effect of a narrow-band filter, we check the optical variability in a sample of 181 spectroscopically confirmed ELGs. We find that 0 (0/68) Ha emitters, 11.9% (5/42) [OIII] emitters, and 0 (0/71) [OII] emitters show significant variability ($|\Delta m_{NB}| \geq 3\,\sigma_{\Delta m_{NB,AGN}} = 0.20\, mag$) in the two-epoch narrow-band observations. We investigate the presence of active galactic nucleus (AGN) in this variable ELG (var-ELG) sample with three methods, including X-ray luminosity, mid-infrared activity, and radio-excess. We find zero bright AGN in this var-ELG sample, but cannot rule out the contribution from faint AGN. We find that SNe could also dominate the variability of the var-ELG sample. The merger morphology shown in the HST/F814W images of all the var-ELG sample is in agreement with the enhancement of star formation, i.e., the SNe activity.


title: Self-distilled Feature Aggregation for Self-supervised Monocular Depth Estimation

abstract: Self-supervised monocular depth estimation has received much attention recently in computer vision. Most of the existing works in literature aggregate multi-scale features for depth prediction via either straightforward concatenation or element-wise addition, however, such feature aggregation operations generally neglect the contextual consistency between multi-scale features. Addressing this problem, we propose the Self-Distilled Feature Aggregation (SDFA) module for simultaneously aggregating a pair of low-scale and high-scale features and maintaining their contextual consistency. The SDFA employs three branches to learn three feature offset maps respectively: one offset map for refining the input low-scale feature and the other two for refining the input high-scale feature under a designed self-distillation manner. Then, we propose an SDFA-based network for self-supervised monocular depth estimation, and design a self-distilled training strategy to train the proposed network with the SDFA module. Experimental results on the KITTI dataset demonstrate that the proposed method outperforms the comparative state-of-the-art methods in most cases. The code is available at https://github.com/ZM-Zhou/SDFA-Net_pytorch.


title: Constrained Update Projection Approach to Safe Policy Optimization

abstract: Safe reinforcement learning (RL) studies problems where an intelligent agent has to not only maximize reward but also avoid exploring unsafe areas. In this study, we propose CUP, a novel policy optimization method based on Constrained Update Projection framework that enjoys rigorous safety guarantee. Central to our CUP development is the newly proposed surrogate functions along with the performance bound. Compared to previous safe RL methods, CUP enjoys the benefits of 1) CUP generalizes the surrogate functions to generalized advantage estimator (GAE), leading to strong empirical performance. 2) CUP unifies performance bounds, providing a better understanding and interpretability for some existing algorithms; 3) CUP provides a non-convex implementation via only first-order optimizers, which does not require any strong approximation on the convexity of the objectives. To validate our CUP method, we compared CUP against a comprehensive list of safe RL baselines on a wide range of tasks. Experiments show the effectiveness of CUP both in terms of reward and safety constraint satisfaction. We have opened the source code of CUP at this link https://github.com/zmsn-2077/ CUP-safe-rl.


title: Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers

abstract: It is well known that attributed tree transducers can be equipped with "regular look-around" in order to obtain a more robust class of translations. We present two characterizations of this class in terms of macro tree transducers (MTTs): the first one is a static restriction on the rules of the MTTs, where the MTTs need to be equipped with regular look-around. The second characterization is a dynamic one, where the MTTs only need regular look-ahead.


title: A new Kernel Regression approach for Robustified $L_2$ Boosting

abstract: We investigate $L_2$ boosting in the context of kernel regression. Kernel smoothers, in general, lack appealing traits like symmetry and positive definiteness, which are critical not only for understanding theoretical aspects but also for achieving good practical performance. We consider a projection-based smoother (Huang and Chen, 2008) that is symmetric, positive definite, and shrinking. Theoretical results based on the orthonormal decomposition of the smoother reveal additional insights into the boosting algorithm. In our asymptotic framework, we may replace the full-rank smoother with a low-rank approximation. We demonstrate that the smoother's low-rank ($d(n)$) is bounded above by $O(h^{-1})$, where $h$ is the bandwidth. Our numerical findings show that, in terms of prediction accuracy, low-rank smoothers may outperform full-rank smoothers. Furthermore, we show that the boosting estimator with low-rank smoother achieves the optimal convergence rate. Finally, to improve the performance of the boosting algorithm in the presence of outliers, we propose a novel robustified boosting algorithm which can be used with any smoother discussed in the study. We investigate the numerical performance of the proposed approaches using simulations and a real-world case.


title: Measuring Tail Risks

abstract: Value at risk (VaR) and expected shortfall (ES) are common high quantile-based risk measures adopted in financial regulations and risk management. In this paper, we propose a tail risk measure based on the most probable maximum size of risk events (MPMR) that can occur over a length of time. MPMR underscores the dependence of the tail risk on the risk management time frame. Unlike VaR and ES, MPMR does not require specifying a confidence level. We derive the risk measure analytically for several well-known distributions. In particular, for the case where the size of the risk event follows a power law or Pareto distribution, we show that MPMR also scales with the number of observations $n$ (or equivalently the length of the time interval) by a power law, $\text{MPMR}(n) \propto n^{\eta}$, where $\eta$ is the scaling exponent. The scale invariance allows for reasonable estimations of long-term risks based on the extrapolation of more reliable estimations of short-term risks. The scaling relationship also gives rise to a robust and low-bias estimator of the tail index (TI) $\xi$ of the size distribution, $\xi = 1/\eta$. We demonstrate the use of this risk measure for describing the tail risks in financial markets as well as the risks associated with natural hazards (earthquakes, tsunamis, and excessive rainfall).


title: Long Horizon Risk-Averse Motion Planning: a Model-Predictive Approach

abstract: Developing safe automated vehicles that can be proactive, safe, and comfortable in mixed traffic requires improved planning methods that are risk-averse and that account for predictions of the motion of other road users. To consider these criteria, in this article, we propose a non-linear model-predictive trajectory generator scheme, which couples the longitudinal and lateral motion of the vehicle to steer the vehicle with minimal risk, while progressing towards the goal state. The proposed method takes into account the infrastructure, surrounding objects, and predictions of the objects' state through artificial potential-based risk fields included in the cost function of the model-predictive control (MPC) problem. This trajectory generator enables anticipatory maneuvers, i.e., mitigating risk far before any safety-critical intervention would be necessary. The method is proven in several case studies representing both highways- and urban situations. The results show the safe and efficient implementation of the MPC trajectory generator while proving its real-time applicability.


title: Study the Higgs mass with the effective potential and Higgs decays in the $U(1)_X$SSM

abstract: As the U(1) extension of the minimal supersymmetric standard model, the $U(1)_X$SSM has new super fields such as right-handed neutrinos and three Higgs singlets. In the $U(1)_X$SSM, the lightest CP-even Higgs mass $m_{h^0}$ is researched through the Higgs effective potential with one loop corrections. We also calculate the Higgs decays $h^0\rightarrow\gamma\gamma$, $h^0\rightarrow VV~(V=W,~Z)$, $h^0\rightarrow l\bar{l}Z$ and $h^0\rightarrow \nu\bar{\nu}Z$. The obtained results are reasonable, which are in favour of the study of the Higgs characteristic and the phenomenology of the $U(1)_X$SSM.


title: Dipole-dipole scattering amplitude in CGC approach

abstract: In this paper we propose recurrence relations for the dipole densities in QCD, which allows us to find these densities from the solution to the BFKL equation. We resolve these relations in the diffusion approximation for the BFKL kernel. Based on this solution, we found the sum of large Pomeron loops. This sum generates the scattering amplitude that decreases at large values of rapidity $Y$. It turns out that such behaviour of the scattering amplitudes is an artifact of diffusion approximation. This approximation leads to the unitarization without saturation both in deep inelastic scattering and in dipole-dipole interaction at high energies.


title: Multi-Objective Policy Gradients with Topological Constraints

abstract: Multi-objective optimization models that encode ordered sequential constraints provide a solution to model various challenging problems including encoding preferences, modeling a curriculum, and enforcing measures of safety. A recently developed theory of topological Markov decision processes (TMDPs) captures this range of problems for the case of discrete states and actions. In this work, we extend TMDPs towards continuous spaces and unknown transition dynamics by formulating, proving, and implementing the policy gradient theorem for TMDPs. This theoretical result enables the creation of TMDP learning algorithms that use function approximators, and can generalize existing deep reinforcement learning (DRL) approaches. Specifically, we present a new algorithm for a policy gradient in TMDPs by a simple extension of the proximal policy optimization (PPO) algorithm. We demonstrate this on a real-world multiple-objective navigation problem with an arbitrary ordering of objectives both in simulation and on a real robot.


title: Proof of a conjecture by H. Dullin and R. Montgomery

abstract: In the framework of the planar Euler problem in the quasi--periodic regime, the formulae of the periods available in the literature are simple only on one side of their singularity. In this paper, we complement such formulae with others, which result simpler on the other side. The derivation of such new formulae uses the Keplerian limit and complex analysis tools. As an application, we prove a conjecture by H. Dullin and R. Montgomery, which states that such periods, as well as their ratio, the {\it rotation number}, are monotone functions of their non--trivial first integral, at any fixed energy level.


title: Multi-Modal Masked Autoencoders for Medical Vision-and-Language Pre-Training

abstract: Medical vision-and-language pre-training provides a feasible solution to extract effective vision-and-language representations from medical images and texts. However, few studies have been dedicated to this field to facilitate medical vision-and-language understanding. In this paper, we propose a self-supervised learning paradigm with multi-modal masked autoencoders (M$^3$AE), which learn cross-modal domain knowledge by reconstructing missing pixels and tokens from randomly masked images and texts. There are three key designs to make this simple approach work. First, considering the different information densities of vision and language, we adopt different masking ratios for the input image and text, where a considerably larger masking ratio is used for images. Second, we use visual and textual features from different layers to perform the reconstruction to deal with different levels of abstraction in visual and language. Third, we develop different designs for vision and language decoders (i.e., a Transformer for vision and a multi-layer perceptron for language). To perform a comprehensive evaluation and facilitate further research, we construct a medical vision-and-language benchmark including three tasks. Experimental results demonstrate the effectiveness of our approach, where state-of-the-art results are achieved on all downstream tasks. Besides, we conduct further analysis to better verify the effectiveness of different components of our approach and various settings of pre-training. The source code is available at~\url{https://github.com/zhjohnchan/M3AE}.


title: Thermal transport in nanoelectronic devices cooled by on-chip magnetic refrigeration

abstract: On-chip demagnetization refrigeration has recently emerged as a powerful tool for reaching microkelvin electron temperatures in nanoscale structures. The relative importance of cooling on-chip and off-chip components and the thermal subsystem dynamics are yet to be analyzed. We study a Coulomb blockade thermometer with on-chip copper refrigerant both experimentally and numerically, showing that dynamics in this device are captured by a first-principles model. Our work shows how to simulate thermal dynamics in devices down to microkelvin temperatures, and outlines a recipe for a low-investment platform for quantum technologies and fundamental nanoscience in this novel temperature range.


title: Concurrent Size

abstract: The size of a data structure (i.e., the number of elements in it) is a widely used property of a data set. However, for concurrent programs, obtaining a correct size efficiently is non-trivial. In fact, the literature does not offer a mechanism to obtain a correct (linearizable) size of a concurrent data set without resorting to inefficient solutions, such as taking a full snapshot of the data structure to count the elements, or acquiring one global lock in all update and size operations. This paper presents a methodology for adding a concurrent linearizable size operation to sets and dictionaries with a relatively low performance overhead. Theoretically, the proposed size operation is wait-free with asymptotic complexity linear in the number of threads (independently of data-structure size). Practically, we evaluated the performance overhead by adding size to various concurrent data structures in Java$-$a skip list, a hash table and a tree. The proposed linearizable size operation executes faster by orders of magnitude compared to the existing option of taking a snapshot, while incurring a throughput loss of $1\%-20\%$ on the original data structure's operations.


title: Order of uniform approximation by polynomial interpolation in the complex plane and beyond

abstract: For Lagrange polynomial interpolation on open arcs $X=\gamma$ in $\mathbb{C}$, it is well-known that the Lebesgue constant for the family of Chebyshev points ${\bf{x}}_n:=\{x_{n,j}\}^{n}_{j=0}$ on $[-1,1]\subset \mathbb{R}$ has growth order of $O(log(n))$. The same growth order was shown in [45] for the Lebesgue constant of the family ${\bf {z^{**}_n}}:=\{z_{n,j}^{**}\}^{n}_{j=0}$ of some properly adjusted Fej\'er points on a rectifiable smooth open arc $\gamma\subset \mathbb{C}$. On the other hand, in our recent work [15], it was observed that if the smooth open arc $\gamma$ is replaced by an $L$-shape arc $\gamma_0 \subset \mathbb{C}$ consisting of two line segments, numerical experiments suggest that the Marcinkiewicz-Zygmund inequalities are no longer valid for the family of Fej\'er points ${\bf z}_n^{*}:=\{z_{n,j}^{*}\}^{n}_{j=0}$ on $\gamma$, and that the rate of growth for the corresponding Lebesgue constant $L_{{\bf {z}}^{*}_n}$ is as fast as $c\,log^2(n)$ for some constant $c>0$. The main objective of the present paper is 3-fold: firstly, it will be shown that for the special case of the $L$-shape arc $\gamma_0$ consisting of two line segments of the same length that meet at the angle of $\pi/2$, the growth rate of the Lebesgue constant $L_{{\bf {z}}_n^{*}}$ is at least as fast as $O(Log^2(n))$, with $\lim\sup \frac{L_{{\bf {z}}_n^{*}}}{log^2(n)} = \infty$; secondly, the corresponding (modified) Marcinkiewicz-Zygmund inequalities fail to hold; and thirdly, a proper adjustment ${\bf z}_n^{**}:=\{z_{n,j}^{**}\}^{n}_{j=0}$ of the Fej\'er points on $\gamma$ will be described to assure the growth rate of $L_{{\bf z}_n^{**}}$ to be exactly $O(Log^2(n))$.


title: Correlations of the Thue--Morse sequence

abstract: The pair correlations of the Thue--Morse sequence and system are revisited, with focus on asymptotic results on various means. First, it is shown that all higher-order correlations of the Thue--Morse sequence with general real weights are effectively determined by a single value of the balanced $2$-point correlation. As a consequence, we show that all odd-order correlations of the balanced Thue--Morse sequence vanish, and that, for any even $n$, the $n$-point correlations of the balanced Thue--Morse sequence have mean value zero, as do their absolute values, raised to an arbitrary positive power. All these results also apply to the entire Thue--Morse system. We finish by showing how the correlations of the Thue--Morse system with general real weights can be derived from the balanced $2$-point correlations.


title: Many versus one: the disorder operator and entanglement entropy in fermionic quantum matter

abstract: Motivated by recent development of the concept of the disorder operator and its relation with entanglement entropy in bosonic systems, here we show the disorder operator successfully probes many aspects of quantum entanglement in fermionic many-body systems. From both analytical and numerical computations in free and interacting fermion systems in 1D and 2D, we find the disorder operator and the entanglement entropy exhibit similar universal scaling behavior, as a function of the boundary length of the subsystem, but with subtle yet important differences. In 1D they both follow the $\log{L}$ scaling behavior with the coefficient determined by the Luttinger parameter for disorder operator, and the conformal central charge for entanglement entropy. In 2D they both show the universal $L\log L$ scaling behavior in free and interacting Fermi liquid states, with the coefficients depending on the geometry of the Fermi surfaces. However at a 2D quantum critical point with non-Fermi-liquid state, extra symmetry information is needed in the design of the disorder operator, so as to reveal the critical fluctuations as does the entanglement entropy. Our results demonstrate the fermion disorder operator can be used to probe quantum many-body entanglement related to global symmetry, and provides new tools to explore the still largely unknown territory of highly entangled fermion quantum matter in 2 or higher dimensions.

categories: cond-mat.str-el cond-mat.stat-mech hep-th physics.comp-ph


title: Identifiability Analysis of Noise Covariances for LTI Stochastic Systems with Unknown Inputs

abstract: Most existing works on optimal filtering of linear time-invariant (LTI) stochastic systems with arbitrary unknown inputs assume perfect knowledge of the covariances of the noises in the filter design. This is impractical and raises the question of whether and under what conditions one can identify the process and measurement noise covariances (denoted as $Q$ and $R$, respectively) of systems with unknown inputs. This paper considers the identifiability of $Q$/$R$ using the correlation-based measurement difference approach. More specifically, we establish (i) necessary conditions under which $Q$ and $R$ can be uniquely jointly identified; (ii) necessary and sufficient conditions under which $Q$ can be uniquely identified, when $R$ is known; (iii) necessary conditions under which $R$ can be uniquely identified, when $Q$ is known. It will also be shown that for achieving the results mentioned above, the measurement difference approach requires some decoupling conditions for constructing a stationary time series, which are proved to be sufficient for the well-known strong detectability requirements established by Hautus.


title: Bridging Implicit and Explicit Geometric Transformation for Single-Image View Synthesis

abstract: Creating novel views from a single image has achieved tremendous strides with advanced autoregressive models, as unseen regions have to be inferred from the visible scene contents. Although recent methods generate high-quality novel views, synthesizing with only one explicit or implicit 3D geometry has a trade-off between two objectives that we call the "seesaw" problem: 1) preserving reprojected contents and 2) completing realistic out-of-view regions. Also, autoregressive models require a considerable computational cost. In this paper, we propose a single-image view synthesis framework for mitigating the seesaw problem while utilizing an efficient non-autoregressive model. Motivated by the characteristics that explicit methods well preserve reprojected pixels and implicit methods complete realistic out-of-view regions, we introduce a loss function to complement two renderers. Our loss function promotes that explicit features improve the reprojected area of implicit features and implicit features improve the out-of-view area of explicit features. With the proposed architecture and loss function, we can alleviate the seesaw problem, outperforming autoregressive-based state-of-the-art methods and generating an image $\approx$100 times faster. We validate the efficiency and effectiveness of our method with experiments on RealEstate10K and ACID datasets.


title: Preentangling Quantum Algorithms -- the Density Matrix Renormalization Group-assisted Quantum Canonical Transformation

abstract: We propose the use of parameter-free preentanglers as initial states for quantum algorithms. We apply this idea to the electronic structure problem, combining a quantized version of the Canonical Transformation by Yanai and Chan [J. Chem. Phys. 124, 194106 (2006)] with the Complete Active Space Density Matrix Renormalization Group. This new ansatz allows to shift the computational burden between the quantum and the classical processor. In the vicinity of multi-reference points in the potential energy surfaces of H$_2$O, N$_2$, BeH$_2$ and the P4 system, we find this strategy to require significantly less parameters than corresponding generalized unitary coupled cluster circuits. We propose a new algorithm to prepare Matrix Product States based on the Linear Combination of Unitaries and compare it to the Sequential Unitary Algorithm proposed by Ran in [Phys. Rev. A 101, 032310 (2020)].


title: Azumaya Algebras and Obstructions to Quadratic Pairs over a Scheme

abstract: We investigate quadratic pairs for Azumaya algebras with involutions over a base scheme S as defined by Calm{\`e}s and Fasel, generalizing the case of quadratic pairs on central simple algebras over a field (Knus, Merkurjev, Rost, Tignol). We describe a cohomological obstruction for an Azumaya algebra over S with orthogonal involution to admit a quadratic pair. When S is affine this obstruction vanishes, however it is non-trivial in general. In particular, we construct explicit examples with non-trivial obstructions.


title: Asymptotically preserving particle methods for strongly magnetizedplasmas in a torus

abstract: We propose and analyze a class of particle methods for the Vlasov equation with a strong external magnetic field in a torus configuration. In this regime, the time step can be subject to stability constraints related to the smallness of Larmor radius. To avoid this limitation, our approach is based on higher-order semi-implicit numerical schemes already validated on dissipative systems [3] and for magnetic fields pointing in a fixed direction [9, 10, 12]. It hinges on asymptotic insights gained in [11] at the continuous level. Thus, when the magnitude of the external magnetic field is large, this scheme provides a consistent approximation of the guiding-center system taking into account curvature and variation of the magnetic field. Finally, we carry out a theoretical proof of consistency and perform several numerical experiments that establish a solid validation of the method and its underlying concepts.


title: Confinement potential in Soft Wall holographic approach to QCD

abstract: We present the results for the confinement potential of the Cornell type within the framework of the generalized Soft Wall holographic model (with quadratic dilaton background in the metric) which contains an additional parameter responsible for the value of intercept of the linear Regge spectrum. Next, we note that the Cornell potential arises also in some Soft Wall models which do not lead to Regge-like spectrum. As an example, we demonstrate this property in a model with linear dilaton background in the metric. This example is at odds with intuition based on the hadron string picture that the linearly rising potential and Regge-like spectrum are directly related.


title: Detecting Tripartite Steering via Quantum Entanglement

abstract: Einstein-Podolsky-Rosen steering is a kind of powerful nonlocal quantum resource in quantum information processing such as quantum cryptography and quantum communication. Many criteria have been proposed in the past few years to detect steerability, both analytically and numerically, for bipartite quantum systems. We propose effective criteria for tripartite steerability and genuine tripartite steerability of three-qubit quantum states by establishing connections between the tripartite steerability (resp. genuine tripartite steerability) and the tripartite entanglement (resp. genuine tripartite entanglement) of certain corresponding quantum states. From these connections, tripartite steerability and genuine tripartite steerability can be detected without using any steering inequalities. The ``complex cost'' of determining tripartite steering and genuine tripartite steering can be reduced by detecting the entanglement of the newly constructed states in the experiment. Detailed examples are given to illustrate the power of our criteria in detecting the (genuine) tripartite steerability of tripartite states.


title: $\rho$-GNF : A Novel Sensitivity Analysis Approach Under Unobserved Confounders

abstract: We propose a new sensitivity analysis model that combines copulas and normalizing flows for causal inference under unobserved confounding. We refer to the new model as $\rho$-GNF ($\rho$-Graphical Normalizing Flow), where $\rho{\in}[-1,+1]$ is a bounded sensitivity parameter representing the backdoor non-causal association due to unobserved confounding modeled using the most well studied and widely popular Gaussian copula. Specifically, $\rho$-GNF enables us to estimate and analyse the frontdoor causal effect or average causal effect (ACE) as a function of $\rho$. We call this the $\rho_{curve}$. The $\rho_{curve}$ enables us to specify the confounding strength required to nullify the ACE. We call this the $\rho_{value}$. Further, the $\rho_{curve}$ also enables us to provide bounds for the ACE given an interval of $\rho$ values. We illustrate the benefits of $\rho$-GNF with experiments on simulated and real-world data in terms of our empirical ACE bounds being narrower than other popular ACE bounds.


title: Algebras of reduced $E$-Fountain semigroups and the generalized ample identity II

abstract: We study the generalized right ample identity, introduced by the author in a previous paper. Let $S$ be a reduced $E$-Fountain semigroup which satisfies the congruence condition. We can associate with $S$ a small category $\mathcal{C}(S)$ whose set of objects is identified with the set $E$ of idempotents and its morphisms correspond to elements of $S$. We prove that $S$ satisfies the generalized right ample identity if and only if every element of $S$ induces a homomorphism of left $S$-actions between certain classes of generalized Green's relations. In this case, we interpret the associated category $\mathcal{C}(S)$ as a discrete form of a Peirce decomposition of the semigroup algebra. We also give some natural examples of semigroups satisfying this identity.


title: Self-referencing 3D characterization of ultrafast optical-vortex beams using tilted interference TERMITES technique

abstract: Femtosecond light pulses carrying optical angular momentums (OAMs), possessing intriguing properties of helical phase fronts and ultrafast temporal profiles, enable many applications in nonlinear optics, strong-field physics and laser micro-machining. While generation of OAM-carrying ultrafast pulses and their interactions with matters have been intensively studied in experiments, three-dimensional characterization of ultrafast OAM-carrying light beams in spatio-temporal domain has, however, proved difficult to achieve. Conventional measurement schemes rely on the use of a reference pulsed light beam which needs to be well-characterized in its phase front and to have sufficient overlap and coherence with the beam under test, largely limiting practical applications of these schemes. Here we demonstrate a self-referencing set-up based on a tilted interferometer that can be used to measure complete spatio-temporal information of OAM-carrying femtosecond pulses with different topological charges. Through scanning one interferometer arm, the spectral phase over the pulse spatial profile can be obtained using the tilted interference signal, and the temporal envelope of the light field at one particular position around its phase singularity can be retrieved simultaneously, enabling three-dimensional beam reconstruction. This self-referencing technique, capable of measuring spatio-temporal ultrafast optical-vortex beams, may find many applications in fields of nonlinear optics and light-matter interactions.


title: On adjacency and (signless) Laplacian spectra of centralizer and co-centralizer graphs of some finite non-abelian groups

abstract: Let $G$ be a finite non abelian group. The centralizer graph of $G$ is a simple undirected graph $\Gamma_{cent}(G)$, whose vertices are the proper centralizers of $G$ and two vertices are adjacent if and only if their cardinalities are identical {\rm\cite{omer}}. The complement of the centralizer graph is called the co-centralizer graph. In this paper, we investigate the adjacency and (signless) Laplacian spectra of centralizer and co-centralizer graphs of some classes of finite non-abelian groups and obtain some conditions on a group so that the centralizer and co-centralizer graphs are adjacency, (signless) Laplacian integral.


title: LAVOLUTION: Measurement of Non-target Structural Displacement Calibrated by Structured Light

abstract: Displacement is an important measurement for the assessment of structural conditions, but its field measurement is often hindered by difficulties associated with sensor installation and measurement accuracy. To overcome the disadvantages of conventional displacement measurement, computer vision (CV)-based methods have been implemented due to their remote sensing capabilities and accuracy. This paper presents a strategy for non-target structural displacement measurement that makes use of CV to avoid the need to install a target on the structure while calibrating the displacement using structured light. The proposed system called as LAVOLUTION calculates the relative position of the camera with regard to the structure using four equally spaced beams of structured light and obtains a scale factor to convert pixel movement into structural displacement. A jig for the four beams of structured light is designed and a corresponding alignment process is proposed. A method for calculating the scale factor using the designed jig for tunable structured-light is proposed and validated via numerical simulations and lab-scale experiments. To confirm the feasibility of the proposed displacement measurement process, experiments on a shaking table and a full-scale bridge are conducted and the accuracy of the proposed method is compared with that of a reference laser doppler vibrometer.


title: On Generalization of Decentralized Learning with Separable Data

abstract: Decentralized learning offers privacy and communication efficiency when data are naturally distributed among agents communicating over an underlying graph. Motivated by overparameterized learning settings, in which models are trained to zero training loss, we study algorithmic and generalization properties of decentralized learning with gradient descent on separable data. Specifically, for decentralized gradient descent (DGD) and a variety of loss functions that asymptote to zero at infinity (including exponential and logistic losses), we derive novel finite-time generalization bounds. This complements a long line of recent work that studies the generalization performance and the implicit bias of gradient descent over separable data, but has thus far been limited to centralized learning scenarios. Notably, our generalization bounds approximately match in order their centralized counterparts. Critical behind this, and of independent interest, is establishing novel bounds on the training loss and the rate-of-consensus of DGD for a class of self-bounded losses. Finally, on the algorithmic front, we design improved gradient-based routines for decentralized learning with separable data and empirically demonstrate orders-of-magnitude of speed-up in terms of both training and generalization performance.


title: Lax Operator and superspin chains from 4D CS gauge theory

abstract: We study the properties of interacting line defects in the four-dimensional Chern Simons (CS) gauge theory with invariance given by the $SL\left( m|n\right) $ super-group family. From this theory, we derive the oscillator realisation of the Lax operator for superspin chains with $SL(m|n)$ symmetry. To this end, we investigate the holomorphic property of the bosonic Lax operator $\mathcal{L}$ and build a differential equation $% \mathfrak{D}\mathcal{L}=0$ solved by the Costello-Gaioto-Yagi realisation of $\mathcal{L}$ in the framework of\ the CS theory. We generalize this construction to the case of gauge super-groups, and develop a Dynkin super-diagram algorithm to\ deal with the decomposition of the Lie superalgebras. We obtain the generalisation of the Lax operator describing the interaction between the electric Wilson super-lines and the magnetic 't Hooft super-defects. This coupling is given in terms of a mixture of bosonic and fermionic oscillator degrees of freedom in the phase space of magnetically charged 't Hooft super-lines. The purely fermionic realisation of the superspin chain Lax operator is also investigated and it is found to coincide exactly with the $\mathbb{Z}_{2}$- gradation of Lie superalgebras.\ \newline Keywords: 4D Chern-Simons theory, Super-gauge symmetry, Lie superalgebras and Dynkin super-diagrams, Superspin chains and integrability, Super- Lax operator.


title: Align, Reason and Learn: Enhancing Medical Vision-and-Language Pre-training with Knowledge

abstract: Medical vision-and-language pre-training (Med-VLP) has received considerable attention owing to its applicability to extracting generic vision-and-language representations from medical images and texts. Most existing methods mainly contain three elements: uni-modal encoders (i.e., a vision encoder and a language encoder), a multi-modal fusion module, and pretext tasks, with few studies considering the importance of medical domain expert knowledge and explicitly exploiting such knowledge to facilitate Med-VLP. Although there exist knowledge-enhanced vision-and-language pre-training (VLP) methods in the general domain, most require off-the-shelf toolkits (e.g., object detectors and scene graph parsers), which are unavailable in the medical domain. In this paper, we propose a systematic and effective approach to enhance Med-VLP by structured medical knowledge from three perspectives. First, considering knowledge can be regarded as the intermediate medium between vision and language, we align the representations of the vision encoder and the language encoder through knowledge. Second, we inject knowledge into the multi-modal fusion model to enable the model to perform reasoning using knowledge as the supplementation of the input image and text. Third, we guide the model to put emphasis on the most critical information in images and texts by designing knowledge-induced pretext tasks. To perform a comprehensive evaluation and facilitate further research, we construct a medical vision-and-language benchmark including three tasks. Experimental results illustrate the effectiveness of our approach, where state-of-the-art performance is achieved on all downstream tasks. Further analyses explore the effects of different components of our approach and various settings of pre-training.


title: Yttrium incorporation in Cr2AlC: On the metastable phase formation and decomposition of (Cr,Y)2AlC MAX phase thin films

abstract: Herein we report on the synthesis of a metastable (Cr,Y)2AlC MAX phase solid solution by co-sputtering from a composite Cr-Al-C and elemental Y target, at room temperature, followed by annealing. While direct high-temperature synthesis resulted in multiphase films, as evidenced by X-ray diffraction analyses, room temperature depositions, followed by annealing to 760 {\deg}C led to the formation of phase pure (Cr,Y)2AlC by diffusion. Higher annealing temperatures caused decomposition of the metastable phase into Cr2AlC, Y5Al3 , and Cr-carbides. In contrast to pure Cr2AlC, the Y-containing phase crystallizes directly in the MAX phase structure instead of first forming a disordered solid solution. Furthermore, the crystallization temperature was shown to be Y-content dependent and was increased by ~200 {\deg}C for 5 at.% Y compared to Cr2AlC. Calculations predicting the metastable phase formation of (Cr,Y)2AlC and its decomposition are in excellent agreement with the experimental findings.


title: Delocalization and re-entrant localization of flat-band states in non-Hermitian disordered lattice models with flat bands

abstract: We present a numerical study of Anderson localization in disordered non-Hermitian lattice models with flat bands. Specifically we consider one-dimensional stub and two-dimensional kagome lattices that have a random scalar potential and a uniform imaginary vector potential and calculate the spectra of the complex energy, the participation ratio, and the winding number as a function of the strength of the imaginary vector potential, $h$. The flat-band states are found to show a double transition from localized to delocalized and back to localized states with $h$, in contrast to the dispersive-band states going through a single delocalization transition. When $h$ is sufficiently small, all flat-band states are localized. As $h$ increases above a certain critical value $h_1$, some pair of flat-band states become delocalized. The participation ratio associated with them increases substantially and their winding numbers become nonzero. As $h$ increases further, more and more flat-band states get delocalized until the fraction of the delocalized states reaches a maximum. For larger $h$ values, a re-entrant localization takes place and, at another critical value $h_2$, all flat-band states return to compact localized states with very small participation ratios and zero winding numbers. This re-entrant localization transition, which is due to the interplay among disorder, non-Hermiticity, and flat band, is a phenomenon occurring in many models having an imaginary vector potential and a flat band simultaneously. We explore the spatial characteristics of the flat-band states by calculating the local density distribution.


title: 4DenoiseNet: Adverse Weather Denoising from Adjacent Point Clouds

abstract: Reliable point cloud data is essential for perception tasks \textit{e.g.} in robotics and autonomous driving applications. Adverse weather causes a specific type of noise to light detection and ranging (LiDAR) sensor data, which degrades the quality of the point clouds significantly. To address this issue, this letter presents a novel point cloud adverse weather denoising deep learning algorithm (4DenoiseNet). Our algorithm takes advantage of the time dimension unlike deep learning adverse weather denoising methods in the literature. It performs about 10\% better in terms of intersection over union metric compared to the previous work and is more computationally efficient. These results are achieved on our novel SnowyKITTI dataset, which has over 40000 adverse weather annotated point clouds. Moreover, strong qualitative results on the Canadian Adverse Driving Conditions dataset indicate good generalizability to domain shifts and to different sensor intrinsics.


title: On Godel's "Much Weaker" Assumption

abstract: Godelian sentences of a sufficiently strong and recursively enumerable theory, constructed in Godel's 1931 groundbreaking paper on the incompleteness theorems, are unprovable if the theory is consistent; however, they could be refutable. These sentences are independent when the theory is so-called omega-consistent; a notion introduced by Godel, which is stronger than (simple) consistency, but ``much weaker'' than soundness. Godel goes to great lengths to show in detail that omega-consistency is stronger than consistency, but never shows, or seems to forget to say, why it is much weaker than soundness. In this paper, we study this proof-theoretic notion and compare some of its properties with those of consistency and (variants of) soundness.


title: A quantum logic gate for free electrons

abstract: The topological charge $m$ of vortex electrons spans an infinite-dimensional Hilbert space. Selecting a two-dimensional subspace spanned by $m=\pm 1$, a beam electron in a transmission electron microscope (TEM) can be considered as a quantum bit (qubit) freely propagating in the column. A combination of electron optical quadrupole lenses can serve as a universal device to manipulate such qubits at the experimenter's discretion. We set up a TEM probe forming lens system as a quantum gate and demonstrate its action numerically and experimentally. High-end TEMs with aberration correctors are a promising platform for such experiments, opening the way to study quantum logic gates in the electron microscope.


title: The Cost of Training Machine Learning Models over Distributed Data Sources

abstract: Federated learning is one of the most appealing alternatives to the standard centralized learning paradigm, allowing a heterogeneous set of devices to train a machine learning model without sharing their raw data. However, it requires a central server to coordinate the learning process, thus introducing potential scalability and security issues. In the literature, server-less federated learning approaches like gossip federated learning and blockchain-enabled federated learning have been proposed to mitigate these issues. In this work, we propose a complete overview of these three techniques proposing a comparison according to an integral set of performance indicators, including model accuracy, time complexity, communication overhead, convergence time, and energy consumption. An extensive simulation campaign permits to draw a quantitative analysis considering both feedforward and convolutional neural network models. Results show that gossip federated learning and standard federated solution are able to reach a similar level of accuracy, and their energy consumption is influenced by the machine learning model adopted, the software library, and the hardware used. Differently, blockchain-enabled federated learning represents a viable solution for implementing decentralized learning with a higher level of security, at the cost of an extra energy usage and data sharing. Finally, we identify open issues on the two decentralized federated learning implementations and provide insights on potential extensions and possible research directions in this new research field.


title: BadRes: Reveal the Backdoors through Residual Connection

abstract: Generally, residual connections are indispensable network components in building CNNs and Transformers for various downstream tasks in CV and VL, which encourages skip shortcuts between network blocks. However, the layer-by-layer loopback residual connections may also hurt the model's robustness by allowing unsuspecting input. In this paper, we proposed a simple yet strong backdoor attack method - BadRes, where the residual connections play as a turnstile to be deterministic on clean inputs while unpredictable on poisoned ones. We have performed empirical evaluations on four datasets with ViT and BEiT models, and the BadRes achieves 97% attack success rate while receiving zero performance degradation on clean data. Moreover, we analyze BadRes with state-of-the-art defense methods and reveal the fundamental weakness lying in residual connections.


title: Forgetting to Remember: A Scalable Incremental Learning Framework for Cross-Task Blind Image Quality Assessment

abstract: Recent years have witnessed the great success of blind image quality assessment (BIQA) in various task-specific scenarios, which present invariable distortion types and evaluation criteria. However, due to the rigid structure and learning framework, they cannot apply to the cross-task BIQA scenario, where the distortion types and evaluation criteria keep changing in practical applications. This paper proposes a scalable incremental learning framework (SILF) that could sequentially conduct BIQA across multiple evaluation tasks with limited memory capacity. More specifically, we develop a dynamic parameter isolation strategy to sequentially update the task-specific parameter subsets, which are non-overlapped with each other. Each parameter subset is temporarily settled to Remember one evaluation preference toward its corresponding task, and the previously settled parameter subsets can be adaptively reused in the following BIQA to achieve better performance based on the task relevance. To suppress the unrestrained expansion of memory capacity in sequential tasks learning, we develop a scalable memory unit by gradually and selectively pruning unimportant neurons from previously settled parameter subsets, which enable us to Forget part of previous experiences and free the limited memory capacity for adapting to the emerging new tasks. Extensive experiments on eleven IQA datasets demonstrate that our proposed method significantly outperforms the other state-of-the-art methods in cross-task BIQA. The source code of the proposed method is available at https://github.com/maruiperfect/SILF.


title: Universal end-compactifications of locally finite graphs

abstract: We construct a locally finite connected graph whose Freudenthal compactification is universal for the class of completely regular continua, a class also known in the literature under the name thin or graph-like continua.


title: Differential and Difference Equations for Recurrence Coefficients of Orthogonal Polynomials with a Singularly Perturbed Laguerre-type Weight

abstract: We are concerned with the monic orthogonal polynomials with respect to a singularly perturbed Laguerre-type weight. By using the ladder operator approach, we derive a complicated system of nonlinear second-order difference equations satisfied by the recurrence coefficients. This allows us to derive the large $n$ asymptotic expansions of the recurrence coefficients. In addition, we also obtain a system of differential-difference equations for the recurrence coefficients.


title: Tracking quantum coherence in polariton condensates with time-resolved tomography

abstract: Long-term quantum coherence constitutes one of the main challenges when engineering quantum devices. However, easily accessible means to quantify complex decoherence mechanisms are not readily available, nor are sufficiently stable systems. We harness novel phase-space methods - expressed through non-Gaussian convolutions of highly singular Glauber-Sudarshan quasiprobabilities - to dynamically monitor quantum coherence in polariton condensates with significantly enhanced coherence times. Via intensity- and time-resolved reconstructions of such phase-space functions from homodyne detection data, we probe the systems's resourcefulness for quantum information processing up to the nanosecond regime. Our experimental findings are confirmed through numerical simulations for which we develop an approach that renders established algorithms compatible with our methodology. In contrast to commonly applied phase-space functions, our distributions can be directly sampled from measured data, including uncertainties, and yield a simple operational measure of quantum coherence via the distribution's variance in phase. Therefore, we present a broadly applicable framework and a platform to explore time-dependent quantum phenomena and resources.


title: Study of net-baryon higher moments in PNJL model and their expectation for net-proton using the Subensemble Acceptance Method for the search of QCD critical point

abstract: One of the most important parts of the QCD phase diagram of strongly interacting matter is the Critical End Point. The non-monotonic behavior of the conserved quantities like net-baryon ($\Delta B$), net-charge ($\Delta Q$), and net-strangeness ($\Delta S$) are believed to be the signatures of the QCD Critical End Point (CEP) as a function of the energy. We study the effect of the QCD critical point on moments of net-baryon in the Polyakov loop enhanced Nambu-Jona-Lasinio (PNJL) model of QCD with six quark and eight quark interactions. The study is performed at energies similar to RHIC beam energy scan (BES). Experimentally measuring conserved quantities is difficult due to systematic limitations, therefore net-proton, net-pion, and net-kaon are measured as the proxy of $\Delta B$, $\Delta Q$, and $\Delta S$. Thus the need for different models becomes predominant to estimate the value of different observables. Higher-order moments like skewness ($S$), kurtosis ($\kappa$), and their system volume independent products ($ M/\sigma^{2}, s\sigma$, $\kappa\sigma^{2}$) which are calculated in the PNJL model, are sensitive to the produced correlation length of the hot and dense medium, making them more prone to search for the critical point. Recent studies in the subensemble acceptance method (SAM) on the HRG model shows the dependency of the measure higher order moment on the experimental acceptance. We used SAM to analyze the behavior of $\kappa\sigma^{2}$ of net baryon distribution within the subvolume system for various acceptance fractions. These results can be directly mapped to the percentage of the subvolume (particle) of the total volume (conserved quantities). The results are compared to the STAR net-proton and proton data with different energies to understand the existence of critical point. For reference, results are also compared with the theoretical UrQMD and HRG models.


title: Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems

abstract: The aim of this technical report is to investigate the effect of input parameters on the falsification of cyber-physical systems (CPSs).


title: Dissociation of heavy quarkonia at finite \mu

abstract: We studied the properties of the heavy quarkonia in the presence of finite quark-chemical potential for different number of flavors by using the quasi particle approach. The effect of the finite quark-chemical potential has been incorporated through the quasi-particle Debye mass to examine the binding energies of the quarkonium states. From the imaginary part of the potential we have calculated the thermal width of the ground state of the quarkonia and found that the thermal width increases with finite quark-chemical potential. The dissociation temperature (T_D) of the J/psi and Upsilon have been calculated in the presence of finite quark-chemical potential for different flavors (i.e., N_f = 1, 2 and 3). The effect of the finite quark-chemical potential on the mass spectra of the quarkonium states has been also studied.


title: COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

abstract: This paper presents COOL-MC, a tool that integrates state-of-the-art reinforcement learning (RL) and model checking. Specifically, the tool builds upon the OpenAI gym and the probabilistic model checker Storm. COOL-MC provides the following features: (1) a simulator to train RL policies in the OpenAI gym for Markov decision processes (MDPs) that are defined as input for Storm, (2) a new model builder for Storm, which uses callback functions to verify (neural network) RL policies, (3) formal abstractions that relate models and policies specified in OpenAI gym or Storm, and (4) algorithms to obtain bounds on the performance of so-called permissive policies. We describe the components and architecture of COOL-MC and demonstrate its features on multiple benchmark environments.


title: Asymptotic Symmetries in Electrodynamics and Kalb-Ramond Theory

abstract: In this thesis, we aim to find the asymptotic symmetries of the Kalb-Ramond field in four dimensions at future null infinity. We start by reviewing the asymptotic symmetries of electrodynamics in four-dimensional Minkowski spacetime at future null infinity. We continue by investigating the asymptotic symmetries of the Kalb-Ramond field at future null infinity. We motivate the fall-off conditions by demanding the finiteness of energy, momentum, angular momentum and charge flux through future null infinity. We expand the gauge fields in ``radial" and Lorenz gauge and compute the generating charges. Using the duality between the Kalb-Ramond theory and the scalar field in two dimensions, we again derive the fields' fall-off conditions and compare them to the ones obtained above. Our findings can be summarized as follows: The different gauges yield two similar generating charges, however, the charge obtained in the ``radial" gauge vanishes at infinity. This result might indicate that the fall-off conditions are too strict in this gauge. We observe consistency in the asymptotic behaviours of Kalb-Ramond and scalar field theories. Even after we expanded both fields asymptotically, the fall-off conditions for the Kalb-Ramond field obtained by duality considerations are compatible with those derived from the finiteness conditions above. This might also allow us to address the question asked in \cite{Campiglia2018} about which are the missing asymptotic symmetries generated by the soft charges of scalar fields.


title: Intermittency of charged particles in the hybrid UrQMD+CMC model at energies available at the BNL Relativistic Heavy Ion Collider

abstract: Within the framework of intermittency analysis, a search for critical fluctuations is ongoing to locate the possible critical point in the quantum chromodynamics phase diagram. In this study, self-similar critical fluctuations from a critical Monte Carlo (CMC) model have been incorporated into the cascade ultrarelativistic quantum molecular dynamics (UrQMD) model. This hybrid UrQMD+CMC model exhibits a clear power-law behavior of scaled factorial moment for charged particles in Au+Au collisions at $\sqrt{s_\mathrm{NN}}$ = 7.7-200 GeV. By comparing the UrQMD+CMC model results with those from the STAR experiment, it is found that the value of a calculated scaling exponent falls in the range of the experimental measurement when 1-2 \% signal of intermittency fluctuations is added into the UrQMD sample.


title: Locally recoverable codes from towers of function fields

abstract: In this work we construct sequences of locally recoverable AG codes arising from a tower of function fields and give bound for the parameters of the obtained codes. In a particular case of a tower over $\mathbb{F}_{q^2}$ for any odd $q$, defined by Garcia and Stichtenoth in [GS2007], we show that the bound is sharp for the first code in the sequence, and we include a detailed analysis for the following codes in the sequence based on the distribution of rational places that split completely in the considered function field extension.


title: Crossed Luttinger Liquid Hidden in a Quasi-two-dimensional Material {\eta}-Mo4O11

abstract: Although the concept of Luttinger liquid (LL) that describes a one-dimensional (1D) interacting fermion system collapses in higher dimensions, it has been proposed to be closely related to many mysteries including the normal state of cuprate superconductor, unconventional metal, and quantum criticality. Therefore, the generalization of LL model to higher dimensions has attracted substantial research attention. Here we systematically investigate the electronic structure of a quasi-2D compound {\eta}-Mo4O11 using high-resolution angle-resolved photoemission spectroscopy and ab-initio calculation. Remarkably, we reveal a prototypical LL behavior originating from the crossing quasi-1D chain arrays hidden in the quasi-2D crystal structure. Our results suggest that {\eta}-Mo4O11 materializes the long sought-after crossed LL phase, where the orthogonal orbital components significantly reduce the coupling between intersecting quasi-1D chains and therefore maintain the essential properties of LL. Our finding not only presents a realization of 2D LL, but also provides a new angle to understand non-Fermi liquid behaviors in other 2D and 3D quantum materials.


title: Self-Healing Secure Blockchain Framework in Microgrids

abstract: Blockchain has recently been depicted as a secure protocol for information exchange in cyber-physical microgrids. However, it is still found vulnerable to consensus manipulation attacks. These stealth attacks are often difficult to detect as they use kernel-level access to mask their actions. In this paper, we firstly build a trusted and secured peer-to-peer network mechanism for physical DC microgrids' validation of transactions over Distributed Ledger. Secondly, we leverage from a physics-informed approach for detecting malware-infected nodes and then recovering from stealth attacks using a self-healing recovery scheme augmented into the microgrid Blockchain network. This scheme allows compromised nodes to adapt to a reconstructed trustworthy signal in a multi-hop manner using corresponding measurements from the reliable nodes in the network. Additionally, recognizing the possible threat of denial-of-service attacks and random time delays (where information sharing via communication channels is blocked), we also integrate a model-free predictive controller with the proposed system that can locally reconstruct an expected version of the attacked/delayed signals. This supplements the capabilities of Blockchain, enabling it to detect and mitigate consensus manipulation attempts, and network latencies.


title: The Impact of Edge Displacement Vaserstein Distance on UD Parsing Performance

abstract: We contribute to the discussion on parsing performance in NLP by introducing a measurement that evaluates the differences between the distributions of edge displacement (the directed distance of edges) seen in training and test data. We hypothesize that this measurement will be related to differences observed in parsing performance across treebanks. We motivate this by building upon previous work and then attempt to falsify this hypothesis by using a number of statistical methods. We establish that there is a statistical correlation between this measurement and parsing performance even when controlling for potential covariants. We then use this to establish a sampling technique that gives us an adversarial and complementary split. This gives an idea of the lower and upper bounds of parsing systems for a given treebank in lieu of freshly sampled data. In a broader sense, the methodology presented here can act as a reference for future correlation-based exploratory work in NLP.


title: Beat Transformer: Demixed Beat and Downbeat Tracking with Dilated Self-Attention

abstract: We propose Beat Transformer, a novel Transformer encoder architecture for joint beat and downbeat tracking. Different from previous models that track beats solely based on the spectrogram of an audio mixture, our model deals with demixed spectrograms with multiple instrument channels. This is inspired by the fact that humans perceive metrical structures from richer musical contexts, such as chord progression and instrumentation. To this end, we develop a Transformer model with both time-wise attention and instrument-wise attention to capture deep-buried metrical cues. Moreover, our model adopts a novel dilated self-attention mechanism, which achieves powerful hierarchical modelling with only linear complexity. Experiments demonstrate a significant improvement in demixed beat tracking over the non-demixed version. Also, Beat Transformer achieves up to 4% point improvement in downbeat tracking accuracy over the TCN architectures. We further discover an interpretable attention pattern that mirrors our understanding of hierarchical metrical structures.


title: A hyper-parameterization method for comprehensive ocean models: Advection of the image point

abstract: Idealized and comprehensive ocean models at low resolutions cannot reproduce nominally-resolved flow structures similar to those presented in the high-resolution solution. Although there are various underlying physical reasons for this, from the dynamical system point of view all these reasons manifest themselves as a low-resolution trajectory avoiding the phase space occupied by the reference solution (the high-resolution solution projected onto the coarse grid). In order to solve this problem, a set of hyper-parameterization methods has recently been proposed and successfully tested on idealized ocean models. In this work, for the first time we apply one of hyper-parameterization methods (Advection of the image point) to a comprehensive, rather than idealized, general circulation model of the North Atlantic. The results show that the hyper-parameterization method significantly improves a non-eddy-resolving solution towards the reference eddy-resolving solution by reproducing both the large- and small-scale features of the Gulf Stream flow. The proposed method is much faster than even a single run of the coarse-grid ocean model, requires no modification of the model, and is easy to implement. Moreover, the method can take not only the reference solution as input data but also real measurements from different sources (drifters, weather stations, etc.), or combination of both. All this offers a great flexibility to ocean modellers working with mathematical models and/or measurements.


title: Explicit structure of the vanishing viscosity limits with initial data consisting of $\delta$-distributions starting from two point sources

abstract: In this article, we consider the one-dimensional zero-pressure gas dynamics system \[ u_t + \left( {u^2}/{2} \right)_x = 0,\ \rho_t + (\rho u)_x = 0 \] in the upper-half plane with a linear combination of two $\delta$-distributions \[ u|_{t=0} = u_a\ \delta_{x=a} + u_b\ \delta_{x=b},\ \rho|_{t=0} = \rho_c\ \delta_{x=c} + \rho_d\ \delta_{x=d} \] as initial data. Here $a$, $b$, $c$, $d$ are distinct points on the real line ordered as $a < c < b < d$. Our objective is to provide a detailed analysis of the structure of the vanishing viscosity limits of this system utilizing the corresponding modified adhesion model \[ u^\epsilon_t + \left({(u^\epsilon)^2}/{2} \right)_x =\frac{\epsilon}{2} u^\epsilon_{xx},\ \rho^\epsilon_t + (\rho^\epsilon u^\epsilon)_x = \frac{\epsilon}{2} \rho^\epsilon_{xx}. \] For this purpose, we extensively use the various asymptotic properties of the function erfc$: z \longmapsto \int_{z}^{\infty} e^{-s^2}\ ds$ along with suitable Hopf-Cole transformations.


title: HARP: Autoregressive Latent Video Prediction with High-Fidelity Image Generator

abstract: Video prediction is an important yet challenging problem; burdened with the tasks of generating future frames and learning environment dynamics. Recently, autoregressive latent video models have proved to be a powerful video prediction tool, by separating the video prediction into two sub-problems: pre-training an image generator model, followed by learning an autoregressive prediction model in the latent space of the image generator. However, successfully generating high-fidelity and high-resolution videos has yet to be seen. In this work, we investigate how to train an autoregressive latent video prediction model capable of predicting high-fidelity future frames with minimal modification to existing models, and produce high-resolution (256x256) videos. Specifically, we scale up prior models by employing a high-fidelity image generator (VQ-GAN) with a causal transformer model, and introduce additional techniques of top-k sampling and data augmentation to further improve video prediction quality. Despite the simplicity, the proposed method achieves competitive performance to state-of-the-art approaches on standard video prediction benchmarks with fewer parameters, and enables high-resolution video prediction on complex and large-scale datasets. Videos are available at https://sites.google.com/view/harp-videos/home.


title: Domain Adversarial Training on Conditional Variational Auto-Encoder for Controllable Music Generation

abstract: The variational auto-encoder has become a leading framework for symbolic music generation, and a popular research direction is to study how to effectively control the generation process. A straightforward way is to control a model using different conditions during inference. However, in music practice, conditions are usually sequential (rather than simple categorical labels), involving rich information that overlaps with the learned representation. Consequently, the decoder gets confused about whether to "listen to" the latent representation or the condition, and sometimes just ignores the condition. To solve this problem, we leverage domain adversarial training to disentangle the representation from condition cues for better control. Specifically, we propose a condition corruption objective that uses the representation to denoise a corrupted condition. Minimized by a discriminator and maximized by the VAE encoder, this objective adversarially induces a condition-invariant representation. In this paper, we focus on the task of melody harmonization to illustrate our idea, while our methodology can be generalized to other controllable generative tasks. Demos and experiments show that our methodology facilitates not only condition-invariant representation learning but also higher-quality controllability compared to baselines.


title: Machine learning based modeling of disordered elemental semiconductors: understanding the atomic structure of a-Si and a-C

abstract: Disordered elemental semiconductors, most notably a-C and a-Si, are ubiquitous in a myriad of different applications. These exploit their unique mechanical and electronic properties. In the past couple of decades, density functional theory (DFT) and other quantum mechanics-based computational simulation techniques have been successful at delivering a detailed understanding of the atomic and electronic structure of crystalline semiconductors. Unfortunately, the complex structure of disordered semiconductors sets the time and length scales required for DFT simulation of these materials out of reach. In recent years, machine learning (ML) approaches to atomistic modeling have been developed that provide an accurate approximation of the DFT potential energy surface for a small fraction of the computational time. These ML approaches have now reached maturity and are starting to deliver the first conclusive insights into some of the missing details surrounding the intricate atomic structure of disordered semiconductors. In this Topical Review we give a brief introduction to ML atomistic modeling and its application to amorphous semiconductors. We then take a look at how ML simulations have been used to improve our current understanding of the atomic structure of a-C and a-Si.


title: Enhancements in cross-temporal forecast reconciliation, with an application to solar irradiance forecasts

abstract: In recent works by Yang et al. (2017a,b), and Yagli et al. (2019), geographical, temporal, and sequential deterministic reconciliation of hierarchical photovoltaic (PV) power generation have been considered for a simulated PV dataset in California. In the first two cases, the reconciliations are carried out in spatial and temporal domains separately. To further improve forecasting accuracy, in the third case these two reconciliation approaches are sequentially applied. During the replication of the forecasting experiment, some issues emerged about non-negativity and coherence (in space and/or in time) of the sequentially reconciled forecasts. Furthermore, while the accuracy improvement of the considered approaches over the benchmark persistence forecasts is clearly visible at any data granularity, we argue that an even better performance may be obtained by a thorough exploitation of cross-temporal hierarchies. In this paper the cross-temporal point forecast reconciliation approach is applied to generate non-negative, fully coherent (both in space and time) forecasts. In particular, some relationships between two-step, iterative and simultaneous cross-temporal reconciliation procedures are for the first time established, non-negativity issues of the final reconciled forecasts are correctly dealt with in a simple way, and the most recent cross-temporal reconciliation approaches are adopted. The normalised Root Mean Square Error is used to measure forecasting accuracy, and a statistical multiple comparison procedure is performed to rank the approaches. Besides assuring full coherence, and non-negativity of the reconciled forecasts, the results show that for the considered dataset, cross-temporal forecast reconciliation significantly improves on the sequential procedures proposed by Yagli et al. (2019), at any cross-sectional level of the hierarchy and for any temporal granularity.


title: One-Shot Transfer of Affordance Regions? AffCorrs!

abstract: In this work, we tackle one-shot visual search of object parts. Given a single reference image of an object with annotated affordance regions, we segment semantically corresponding parts within a target scene. We propose AffCorrs, an unsupervised model that combines the properties of pre-trained DINO-ViT's image descriptors and cyclic correspondences. We use AffCorrs to find corresponding affordances both for intra- and inter-class one-shot part segmentation. This task is more difficult than supervised alternatives, but enables future work such as learning affordances via imitation and assisted teleoperation.


title: Semi-supervised Batch Learning From Logged Data

abstract: Off-policy learning methods are intended to learn a policy from logged data, which includes context, action, and feedback (cost or reward) for each sample point. In this work, we build on the counterfactual risk minimization framework, which also assumes access to propensity scores. We propose learning methods for problems where feedback is missing for some samples, so there are samples with feedback and samples missing-feedback in the logged data. We refer to this type of learning as semi-supervised batch learning from logged data, which arises in a wide range of application domains. We derive a novel upper bound for the true risk under the inverse propensity score estimator to address this kind of learning problem. Using this bound, we propose a regularized semi-supervised batch learning method with logged data where the regularization term is feedback-independent and, as a result, can be evaluated using the logged missing-feedback data. Consequently, even though feedback is only present for some samples, a learning policy can be learned by leveraging the missing-feedback samples. The results of experiments derived from benchmark datasets indicate that these algorithms achieve policies with better performance in comparison with logging policies.


title: Explicit structure of the vanishing viscosity limits for the zero-pressure gas dynamics system initiated by the linear combination of a characteristic function and a $\delta$-distribution

abstract: In this article, we consider the one-dimensional zero-pressure gas dynamics system \[ u_t + \left( {u^2}/{2} \right)_x = 0,\ \rho_t + (\rho u)_x = 0 \] in the upper-half plane with a linear combination of a characteristic function and a $\delta$-measure \[ u|_{t=0} = u_a\ \chi_{ {}_{ \left( -\infty , a \right) } } + u_b\ \delta_{x=b},\ \rho|_{t=0} = \rho_c\ \chi_{ {}_{ \left( -\infty , c \right) } } + \rho_d\ \delta_{x=d} \] as initial data, where $a$, $b$, $c$, $d$ are distinct points on the real line ordered as $a < c < b < d$, and provide a detailed analysis of the vanishing viscosity limits for the above system utilizing the corresponding modified adhesion model \[ u^\epsilon_t + \left({(u^\epsilon)^2}/{2} \right)_x =\frac{\epsilon}{2} u^\epsilon_{xx},\ \rho^\epsilon_t + (\rho^\epsilon u^\epsilon)_x = \frac{\epsilon}{2} \rho^\epsilon_{xx}. \] For this purpose, we use suitable Hopf-Cole transformations and various asymptotic properties of the function erfc$: z \longmapsto \int_{z}^{\infty} e^{-s^2}\ ds$.


title: Degeneration of Hodge structures on I-surfaces

abstract: Work of Green, Griffiths, Laza, and Robles suggests that the moduli space of (smoothable) stable surfaces should admit a natural stratification defined via Hodge theoretic data. In the case of stable surfaces with $K_X^2 = 1$ and $\chi(X) = 3$ we compute the Hodge type of all examples known to us and show that all predicted degenerations are geometrically realised.


title: Feedback Loops in Opinion Dynamics of Agent-Based Models with Multiplicative Noise

abstract: We introduce an agent-based model for co-evolving opinion and social dynamics, under the influence of multiplicative noise. In this model, every agent is characterized by a position in a social space and a continuous opinion state variable. Agents' movements are governed by positions and opinions of other agents and similarly, the opinion dynamics is influenced by agents' spatial proximity and their opinion similarity. Using numerical simulations and formal analysis, we study this feedback loop between opinion dynamics and mobility of agents in a social space. We investigate the behavior of this ABM in different regimes and explore the influence of various factors on appearance of emerging phenomena such as group formation and opinion consensus. We study the empirical distribution and in the limit of infinite number of agents we derive a corresponding reduced model given by a partial differential equation (PDE). Finally, using numerical examples we show that a resulting PDE model is a good approximation of the original ABM.


title: GEMS embeddings of Hayward regular black holes in massless and massive gravities

abstract: After finding a solution for the Hayward regular black hole (HRBH) in massive gravity, we embed the (3+1)-dimensional HRBHs both in massless and in massive gravities into (5+2)- and (6+3)-dimensional Minkowski spacetimes, respectively. Here, massive gravity denotes that a graviton acquires a mass holographically by broken momentum conservation in the HRBH. The original HRBH has no holographically added gravitons, which we call massless. Making use of newly found embedding coordinates, we obtain desired Unruh temperatures and compare them with the Hawking and local fiducial temperatures, showing that the Unruh effect for a uniformly accelerated observer in a higher dimensional flat spacetime is equal to the Hawking effect for a fiducial observer in a black hole spacetime. We also obtain freely falling temperatures of the HRBHs in massless and massive gravities seen by freely falling observers, which remain finite even at the event horizons while becoming the Hawking temperatures in asymptotic infinity.


title: Locally weighted minimum contrast estimation for spatio-temporal log-Gaussian Cox processes

abstract: We propose a local version of spatio-temporal log-Gaussian Cox processes using Local Indicators of Spatio-Temporal Association (LISTA) functions into the minimum contrast procedure to obtain space as well as time-varying parameters. We resort to the joint minimum contrast fitting method to estimate the set of second-order parameters. This approach has the advantage of being suitable in both separable and non-separable parametric specifications of the correlation function of the underlying Gaussian Random Field. We present simulation studies to assess the performance of the proposed fitting procedure, and show an application to seismic spatio-temporal point pattern data.


title: Risk-aware linear bandits with convex loss

abstract: In decision-making problems such as the multi-armed bandit, an agent learns sequentially by optimizing a certain feedback. While the mean reward criterion has been extensively studied, other measures that reflect an aversion to adverse outcomes, such as mean-variance or conditional value-at-risk (CVaR), can be of interest for critical applications (healthcare, agriculture). Algorithms have been proposed for such risk-aware measures under bandit feedback without contextual information. In this work, we study contextual bandits where such risk measures can be elicited as linear functions of the contexts through the minimization of a convex loss. A typical example that fits within this framework is the expectile measure, which is obtained as the solution of an asymmetric least-square problem. Using the method of mixtures for supermartingales, we derive confidence sequences for the estimation of such risk measures. We then propose an optimistic UCB algorithm to learn optimal risk-aware actions, with regret guarantees similar to those of generalized linear bandits. This approach requires solving a convex problem at each round of the algorithm, which we can relax by allowing only approximated solution obtained by online gradient descent, at the cost of slightly higher regret. We conclude by evaluating the resulting algorithms on numerical experiments.


title: Laboratory test of the VIS detector system of SOXS for the ESO-NTT telescope

abstract: SOXS is the new spectrograph for the ESO NTT telescope able to cover the optical and NIR bands thanks to two different arms: the UV-VIS (350-850 nm), and the NIR (800-2000 nm). In this article, we describe the final design of the visible camera cryostats, the test facilities for the CCD characterization, and the first results with the scientific detector. The UV-VIS detector system is based on a e2v CCD 44-82, a custom detector head coupled with the ESO Continuous Flowing Cryostat (CFC) cooling system and the New General Detector Controller (NGC) developed by ESO. The laboratory facility is based on an optical bench equipped with a Xenon lamp, filter wheels to select the wavelength, an integrating sphere, and a calibrated diode to measure the flux. This paper outlines the visible camera cryostat, the test facilities for the CCD characterization and the first results with the scientific detector in the laboratory and after the integration to the instrument.


title: Weak Decays of Strange and Light Quarks

abstract: The present report of the RF2 Topical Group to Snowmass 2021 describes the physics case for the studies of weak decays of strange and light quarks. Ongoing and proposed precision measurements of kaon, hyperon, pion and $\eta^{(\prime)}$ meson decays allow for unique tests of the Standard Model (SM). This includes precision measurements of the elements of the CKM quark-mixing matrix leading to stringent unitarity tests; precision symmetry tests including lepton flavor and lepton number conservation; and precision lepton flavor universality tests. In the context of models beyond the SM description, strange and light quark decay experiments provide sensitivity to new physics up to the PeV mass scale, as well as leading sensitivities to scenarios involving feebly interacting hidden sectors below the GeV mass scale.


title: On the detrimental effect of invariances in the likelihood for variational inference

abstract: Variational Bayesian posterior inference often requires simplifying approximations such as mean-field parametrisation to ensure tractability. However, prior work has associated the variational mean-field approximation for Bayesian neural networks with underfitting in the case of small datasets or large model sizes. In this work, we show that invariances in the likelihood function of over-parametrised models contribute to this phenomenon because these invariances complicate the structure of the posterior by introducing discrete and/or continuous modes which cannot be well approximated by Gaussian mean-field distributions. In particular, we show that the mean-field approximation has an additional gap in the evidence lower bound compared to a purpose-built posterior that takes into account the known invariances. Importantly, this invariance gap is not constant; it vanishes as the approximation reverts to the prior. We proceed by first considering translation invariances in a linear model with a single data point in detail. We show that, while the true posterior can be constructed from a mean-field parametrisation, this is achieved only if the objective function takes into account the invariance gap. Then, we transfer our analysis of the linear model to neural networks. Our analysis provides a framework for future work to explore solutions to the invariance problem.


title: An Efficient 3D Indoor Positioning System Based on Visible Light Communication

abstract: In this communication revolution era, visible light communication (VLC) is the optimum efficacious answer to the increased request for high-speed data transmission with reduced cost, besides the illumination. This technology is considered the best promising candidate for indoor positioning due to its ability to attain higher positioning accuracy than other technologies, alongside its distinct advantages. However, the existing techniques that had been applied in an indoor positioning system (IPS) based on VLC focused on the aspect of accuracy but neglected the aspects of cost and complexity. This paper proposes a new technique for positioning, namely complementary and supplementary angles based on received signal strength (CSA-RSS). The positioning error performance of the system is examined based on the single light-emitting diode (LED) and different positions of the photodiode (PD). The results demonstrate the improved accuracy and prove the effectiveness of the newly proposed technique where the average error is 3.2 cm in 80% of the examined positions and the maximum average positioning error is 4.2 cm. Moreover, the proposed approach has been proven to increase system efficiency which acts as a suitable VLC design for indoor positioning performance, avoiding weak signals


title: Micro-mechanical response and power-law exponents from the longitudinal fluctuations of F-actin solutions

abstract: We investigate the local fluctuations of filamentous actin (F-actin), with focus on the skeletal thin filament, using single-particle optical trapping interferometry. This experimental technique allows us to detect the Brownian motion of a tracer bead immersed in a complex fluid with nanometric resolution at the microsecond time-scale. The mean square displacement, loss modulus, and velocity autocorrelation function (VAF) of the trapped microprobes in the fluid follow power-law behaviors, whose exponents can be determined in the short-time/high-frequency regime along several decades. We obtain 7/8 subdiffusive power-law exponents for polystyrene depleted microtracers at low optical trapping forces. Microrheologically, the elastic modulus of these suspensions is observed to be constant up to the limit of high frequencies, confirming the origin of this subdiffusive exponent on the local longitudinal fluctuations of the polymers. Deviations from this value are measured and discussed in relation to the characteristic lengths scales of these F-actin networks and probes' properties, and also in connection with the different power-law exponents detected in the VAFs. Finally, we observe that the thin filament, composed by tropomyosin (Tm) and troponin (Tn) coupled to F-actin in the presence of Ca$^{2+}$, returns exponent values less dispersed than F-actin alone, which we interpret as a micro-measurement of the filament stabilization.


title: Energy transduction reconfigures the micro-viscoelasticity of striated muscle myosin solutions

abstract: We study the high-frequency micro-mechanical response of suspensions composed by cardiac and skeletal muscle myosin by optical trapping interferometry. We observe that in low ionic strength solutions upon the addition of magnesium adenosine triphosphate (MgATP$^{2-}$), myosin suspensions radically change their micro-mechanics properties, generating a viscoelastic fluid characterized by a complex modulus analogous to a suspension of worm-like micelles. This transduction of energy, from chemical to mechanical, may be related to the relaxed states of myosin, which regulate muscle contractility and can be involved in the etiology of many myopathies. Within a similar generic mechanical response, cardiac and skeletal myosin suspensions provide different stress relaxation times, elastic modulus values, and characteristic lengths. These discrepancies probably rely on the dissimilar physiological functions of cardiac and skeletal muscle, on the different MgATPase hydrolysis rates of cardiac and skeletal myosins, and on the observed distinct cooperative behavior of their myosin heads in the super-relaxed state. \textit{In vitro} studies like these allow to understand the foundations of muscle cells mechanics on the micro-scale, and may contribute to the engineering of biological materials whose micro-mechanics can be activated by energy regulators.


title: Non-solvable groups whose character degree graph has a cut-vertex. III

abstract: Let $G$ be a finite group. Denoting by ${\rm{cd}}(G)$ the set of the degrees of the irreducible complex characters of $G$, we consider the {\it character degree graph} of $G$: this is the (simple, undirected) graph whose vertices are the prime divisors of the numbers in ${\rm{cd}}(G)$, and two distinct vertices $p$, $q$ are adjacent if and only if $pq$ divides some number in ${\rm{cd}}(G)$. This paper completes the classification, started in [5] and [6], of the finite non-solvable groups whose character degree graph has a {\it cut-vertex}, i.e. a vertex whose removal increases the number of connected components of the graph. More specifically, it was proved in [6] that these groups have a unique non-solvable composition factor $S$, and that $S$ is isomorphic to a group belonging to a restricted list of non-abelian simple groups. In [5] and [6] all isomorphism types for $S$ were treated, except the case \(S\cong{\rm{PSL}}_2(2^a)\) for some integer $a\geq 2$; the remaining case is addressed in the present paper.


title: Brain Imaging Generation with Latent Diffusion Models

abstract: Deep neural networks have brought remarkable breakthroughs in medical image analysis. However, due to their data-hungry nature, the modest dataset sizes in medical imaging projects might be hindering their full potential. Generating synthetic data provides a promising alternative, allowing to complement training datasets and conducting medical image research at a larger scale. Diffusion models recently have caught the attention of the computer vision community by producing photorealistic synthetic images. In this study, we explore using Latent Diffusion Models to generate synthetic images from high-resolution 3D brain images. We used T1w MRI images from the UK Biobank dataset (N=31,740) to train our models to learn about the probabilistic distribution of brain images, conditioned on covariables, such as age, sex, and brain structure volumes. We found that our models created realistic data, and we could use the conditioning variables to control the data generation effectively. Besides that, we created a synthetic dataset with 100,000 brain images and made it openly available to the scientific community.


title: Morphology-Aware Interactive Keypoint Estimation

abstract: Diagnosis based on medical images, such as X-ray images, often involves manual annotation of anatomical keypoints. However, this process involves significant human efforts and can thus be a bottleneck in the diagnostic process. To fully automate this procedure, deep-learning-based methods have been widely proposed and have achieved high performance in detecting keypoints in medical images. However, these methods still have clinical limitations: accuracy cannot be guaranteed for all cases, and it is necessary for doctors to double-check all predictions of models. In response, we propose a novel deep neural network that, given an X-ray image, automatically detects and refines the anatomical keypoints through a user-interactive system in which doctors can fix mispredicted keypoints with fewer clicks than needed during manual revision. Using our own collected data and the publicly available AASCE dataset, we demonstrate the effectiveness of the proposed method in reducing the annotation costs via extensive quantitative and qualitative results. A demo video of our approach is available on our project webpage.


title: Challenges and Opportunities of Machine Learning for Monitoring and Operational Data Analytics in Quantitative Codesign of Supercomputers

abstract: This work examines the challenges and opportunities of Machine Learning (ML) for Monitoring and Operational Data Analytics (MODA) in the context of Quantitative Codesign of Supercomputers (QCS). MODA is employed to gain insights into the behavior of current High Performance Computing (HPC) systems to improve system efficiency, performance, and reliability (e.g. through optimizing cooling infrastructure, job scheduling, and application parameter tuning). In this work, we take the position that QCS in general, and MODA in particular, require close exchange with the ML community to realize the full potential of data-driven analysis for the benefit of existing and future HPC systems. This exchange will facilitate identifying the appropriate ML methods to gain insights into current HPC systems and to go beyond expert-based knowledge and rules of thumb.


title: Steady-state solutions for a reaction-diffusion equation with Robin boundary conditions: Application to the control of dengue vectors

abstract: In this paper, we investigate an initial-boundary-value problem of a reaction-diffusion equation in a bounded domain with a Robin boundary condition and introduce some particular parameters to consider the non-zero flux on the boundary. This problem arises in the study of mosquito populations under the intervention of the population replacement method, where the boundary condition takes into account the inflow and outflow of individuals through the boundary. Using phase-plane analysis, the present paper studies the existence and properties of non-constant steady-state solutions depending on several parameters. Then, we use the principle of linearized stability to prove some sufficient conditions for their stability. We show that the long-time efficiency of this control method depends strongly on the size of the treated zone and the migration rate. To illustrate these theoretical results, we provide some numerical simulations in the framework of mosquito population control.


title: Study of the q diagram in GX 339-4

abstract: Black hole X-ray binary (BHXB) GX 339-4 produces the most frequent X-ray outbursts (every 2-4 years) among known X-ray binary sources in our galaxy. Here we present the study of the evolution of GX 339-4 over the years of observations using the Hardness Intensity Diagram (HID), i.e., the q diagram. We present an analysis of two outbursts of the source observed by the Monitor of All-sky X-ray Image (MAXI) telescope aboard the International Space Station (ISS).


title: Forecast Analysis on Interacting Dark Energy Models from Future Generation PICO and DESI Missions

abstract: The next-generation CMB satellite missions are expected to provide robust constraints on a wide range of cosmological parameters with unprecedented precision. But these constraints on the parameters could weaken if we do not attribute dark energy to a cosmological constant. The cosmological models involving interaction between dark energy and dark matter can give rise to comparable energy densities at the present epoch, thereby alleviating the so-called cosmic coincidence problem. In the present paper, we perform a forecast analysis to test the ability of the future generation high-sensitive Cosmic Microwave Background (CMB), and Baryon Acoustic Oscillation (BAO) experiments to constrain phenomenological interacting dark energy models. We consider cosmic variance limited future CMB polarization experiment PICO along with BAO information from the DESI experiment to constrain the parameters of the interacting dark sector. Based on the stability of the cosmological perturbations, we consider two possibilities for the interaction scenario. We investigate the impact of both the coupling constant and the equation of state parameter of dark energy on the CMB temperature power spectrum, matter power spectrum, and $f\sigma_8$. We have used simulated temperature and polarization data from PICO within the multipole ranges ($\ell = 2 - 4000$), and as expected, we do see PICO alone produces better constraints than Planck on the $\Lambda$CDM parameters. With the integration of the PICO and DESI missions, we observe a significant improvement in the constraints on several cosmological parameters, especially the equation of state parameter of dark energy. However, we note that additional data is required to constrain a small positive coupling constant.