title: Membership Inference Attacks Against Text-to-image Generation Models

abstract: Text-to-image generation models have recently attracted unprecedented attention as they unlatch imaginative applications in all areas of life. However, developing such models requires huge amounts of data that might contain privacy-sensitive information, e.g., face identity. While privacy risks have been extensively demonstrated in the image classification and GAN generation domains, privacy risks in the text-to-image generation domain are largely unexplored. In this paper, we perform the first privacy analysis of text-to-image generation models through the lens of membership inference. Specifically, we propose three key intuitions about membership information and design four attack methodologies accordingly. We conduct comprehensive evaluations on two mainstream text-to-image generation models including sequence-to-sequence modeling and diffusion-based modeling. The empirical results show that all of the proposed attacks can achieve significant performance, in some cases even close to an accuracy of 1, and thus the corresponding risk is much more severe than that shown by existing membership inference attacks. We further conduct an extensive ablation study to analyze the factors that may affect the attack performance, which can guide developers and researchers to be alert to vulnerabilities in text-to-image generation models. All these findings indicate that our proposed attacks pose a realistic privacy threat to the text-to-image generation models.


title: Almost Exact Risk Budgeting with Return Forecasts for Portfolio Allocation

abstract: In this paper, we revisit the portfolio allocation problem with designated risk-budget [Qian, 2005]. We generalize the problem of arbitrary risk budgets with unequal correlations to one that includes return forecasts and transaction costs while keeping the no-shorting (long-only positions) constraint. We offer a convex second order cone formulation that scales well with the number of assets and explore solutions to the problem in different settings. In particular, the problem is solved on a few practical cases - on equity and bond asset allocation problems as well as formulating index constituents for the NASDAQ100 index, illustrating the benefits of this approach.


title: Chaos synchronization in a BEC system using fuzzy logic controller

abstract: Since the presence of chaos in Bose-Einstein condensate (BEC) systems plays a destructive role that can undermine the stability of the condensates, controlling the chaos is of great importance for the creation of the BEC. In this paper, a fuzzy logic controller (FLC) to synchronize the chaotic dynamics of two identical master-slave BEC systems has been proposed. Unlike the conventional approaches, where expert knowledge is directly used to construct the fuzzy rules and membership functions, the fuzzy rules have been constructed using Lyapunov stability theorem ensuring the synchronization process. The effectiveness of the proposed controller has been demonstrated numerically.


title: Deep learning-based Fast Volumetric Image Generation for Image-guided Proton FLASH Radiotherapy

abstract: Proton FLASH therapy leverages ultra-high dose-rate radiation to enhance the sparing of organs at risk without compromising tumor control probability. To prepare for the delivery of high doses to targets, we aim to develop a deep learning-based image-guide framework to enable fast volumetric image reconstruction for accurate target localization before FLSAH beam delivery. The proposed framework comprises four modules, including orthogonal kV x-ray projection acquisition, DL-based volumetric image generation, image quality analyses, and water equivalent thickness evaluation. We investigated volumetric image reconstruction using four kV projection pairs with different source angles. Thirty lung patients were identified from the institutional database, and each patient contains a four-dimensional computed tomography dataset with ten respiratory phases. The retrospective patient study indicated that the proposed framework could reconstruct patient volumetric anatomy, including tumors and organs at risk from orthogonal x-ray projections. Considering all evaluation metrics, the kV projections with source angles of 135 and 225 degrees yielded the optimal volumetric images. The proposed framework has been demonstrated to reconstruct volumetric images with accurate lesion locations from two orthogonal x-ray projections. The embedded WET module can be used to detect potential proton beam-specific patient anatomy variations. The framework can deliver fast volumetric image generation and can potentially guide treatment delivery systems for proton FLASH therapy.


title: Predictive density estimators with integrated $L_1$ loss

abstract: This paper addresses the problem of an efficient predictive density estimation for the density $q(\|y-\theta\|^2)$ of $Y$ based on $X \sim p(\|x-\theta\|^2)$ for $y, x, \theta \in \mathbb{R}^d$. The chosen criteria are integrated $L_1$ loss given by $L(\theta, \hat{q}) \, =\, \int_{\mathbb{R}^d} \big|\hat{q}(y)- q(\|y-\theta\|^2) \big| \, dy$, and the associated frequentist risk, for $\theta \in \Theta$. For absolutely continuous and strictly decreasing $q$, we establish the inevitability of scale expansion improvements $\hat{q}_c(y;X)\,=\, \frac{1}{c^d} q\big(\|y-X\|^2/c^2 \big) $ over the plug-in density $\hat{q}_1$, for a subset of values $c \in (1,c_0)$. The finding is universal with respect to $p,q$, and $d \geq 2$, and extended to loss functions $\gamma \big(L(\theta, \hat{q} ) \big)$ with strictly increasing $\gamma$. The finding is also extended to include scale expansion improvements of more general plug-in densities $q(\|y-\hat{\theta}(X)\|^2 \big)$, when the parameter space $\Theta$ is a compact subset of $\mathbb{R}^d$. Numerical analyses illustrative of the dominance findings are presented and commented upon. As a complement, we demonstrate that the unimodal assumption on $q$ is necessary with a detailed analysis of cases where the distribution of $Y|\theta$ is uniformly distributed on a ball centered about $\theta$. In such cases, we provide a univariate ($d=1$) example where the best equivariant estimator is a plug-in estimator, and we obtain cases (for $d=1,3$) where the plug-in density $\hat{q}_1$ is optimal among all $\hat{q}_c$.


title: NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning

abstract: Imposing explicit constraints is relatively new but increasingly pressing in deep learning, stimulated by, e.g., trustworthy AI that performs robust optimization over complicated perturbation sets and scientific applications that need to respect physical laws and constraints. However, it can be hard to reliably solve constrained deep learning problems without optimization expertise. The existing deep learning frameworks do not admit constraints. General-purpose optimization packages can handle constraints but do not perform auto-differentiation and have trouble dealing with nonsmoothness. In this paper, we introduce a new software package called NCVX, whose initial release contains the solver PyGRANSO, a PyTorch-enabled general-purpose optimization package for constrained machine/deep learning problems, the first of its kind. NCVX inherits auto-differentiation, GPU acceleration, and tensor variables from PyTorch, and is built on freely available and widely used open-source frameworks. NCVX is available at https://ncvx.org, with detailed documentation and numerous examples from machine/deep learning and other fields.


title: Dealing with Unknown Variances in Best-Arm Identification

abstract: The problem of identifying the best arm among a collection of items having Gaussian rewards distribution is well understood when the variances are known. Despite its practical relevance for many applications, few works studied it for unknown variances. In this paper we introduce and analyze two approaches to deal with unknown variances, either by plugging in the empirical variance or by adapting the transportation costs. In order to calibrate our two stopping rules, we derive new time-uniform concentration inequalities, which are of independent interest. Then, we illustrate the theoretical and empirical performances of our two sampling rule wrappers on Track-and-Stop and on a Top Two algorithm. Moreover, by quantifying the impact on the sample complexity of not knowing the variances, we reveal that it is rather small.


title: DOTIE - Detecting Objects through Temporal Isolation of Events using a Spiking Architecture

abstract: Vision-based autonomous navigation systems rely on fast and accurate object detection algorithms to avoid obstacles. Algorithms and sensors designed for such systems need to be computationally efficient, due to the limited energy of the hardware used for deployment. Biologically inspired event cameras are a good candidate as a vision sensor for such systems due to their speed, energy efficiency, and robustness to varying lighting conditions. However, traditional computer vision algorithms fail to work on event-based outputs, as they lack photometric features such as light intensity and texture. In this work, we propose a novel technique that utilizes the temporal information inherently present in the events to efficiently detect moving objects. Our technique consists of a lightweight spiking neural architecture that is able to separate events based on the speed of the corresponding objects. These separated events are then further grouped spatially to determine object boundaries. This method of object detection is both asynchronous and robust to camera noise. In addition, it shows good performance in scenarios with events generated by static objects in the background, where existing event-based algorithms fail. We show that by utilizing our architecture, autonomous navigation systems can have minimal latency and energy overheads for performing object detection.


title: Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models

abstract: Soft robots are robotic systems made of deformable materials and exhibit unique flexibility that can be exploited for complex environments and tasks. However, their control problem has been considered a challenging subject because they are of infinite degrees of freedom and highly under-actuated. Existing studies have mainly relied on simplified and approximated finite-dimensional models. In this work, we exploit infinite-dimensional nonlinear control for soft robots. We adopt the Cosserat-rod theory and employ nonlinear partial differential equations (PDEs) to model the kinematics and dynamics of soft manipulators, including their translational motions (for shear and elongation) and rotational motions (for bending and torsion). The objective is to achieve position tracking of the whole manipulator in a planar task space by controlling the moments (generated by actuators). The control design is inspired by the energy decay property of damped wave equations and has an inner-outer loop structure. In the outer loop, we design desired rotational motions that rotate the translational component into a direction that asymptotically dissipates the energy associated with position tracking errors. In the inner loop, we design inputs for the rotational components to track their desired motions, again by dissipating the rotational energy. We prove that the closed-loop system is exponentially stable and evaluate its performance through simulations.


title: Extended commonality of paths and cycles via Schur convexity

abstract: A graph $H$ is \emph{common} if the number of monochromatic copies of $H$ in a 2-edge-colouring of the complete graph $K_n$ is asymptotically minimised by the random colouring, or equivalently, $t_H(W)+t_H(1-W)\geq 2^{1-e(H)}$ holds for every graphon $W:[0,1]^2\rightarrow [0,1]$, where $t_H(.)$ denotes the homomorphism density of the graph $H$. Paths and cycles being common is one of the earliest cornerstones in extremal graph theory, due to Mulholland and Smith (1959), Goodman (1959), and Sidorenko (1989). We prove a graph homomorphism inequality that extends the commonality of paths and cycles. Namely, $t_H(W)+t_H(1-W)\geq t_{K_2}(W)^{e(H)} +t_{K_2}(1-W)^{e(H)}$ whenever $H$ is a path or a cycle and $W:[0,1]^2\rightarrow\mathbb{R}$ is a bounded symmetric measurable function. This answers a question of Sidorenko from 1989, who proved a slightly weaker result for even-length paths to prove the commonality of odd cycles. Furthermore, it also settles a recent conjecture of Behague, Morrison, and Noel in a strong form, who asked if the inequality holds for graphons $W$ and odd cycles $H$. Our proof uses Schur convexity of complete homogeneous symmetric functions, which may be of independent interest.


title: Uncertainty-Driven Active Vision for Implicit Scene Reconstruction

abstract: Multi-view implicit scene reconstruction methods have become increasingly popular due to their ability to represent complex scene details. Recent efforts have been devoted to improving the representation of input information and to reducing the number of views required to obtain high quality reconstructions. Yet, perhaps surprisingly, the study of which views to select to maximally improve scene understanding remains largely unexplored. We propose an uncertainty-driven active vision approach for implicit scene reconstruction, which leverages occupancy uncertainty accumulated across the scene using volume rendering to select the next view to acquire. To this end, we develop an occupancy-based reconstruction method which accurately represents scenes using either 2D or 3D supervision. We evaluate our proposed approach on the ABC dataset and the in the wild CO3D dataset, and show that: (1) we are able to obtain high quality state-of-the-art occupancy reconstructions; (2) our perspective conditioned uncertainty definition is effective to drive improvements in next best view selection and outperforms strong baseline approaches; and (3) we can further improve shape understanding by performing a gradient-based search on the view selection candidates. Overall, our results highlight the importance of view selection for implicit scene reconstruction, making it a promising avenue to explore further.


title: Dissipative Imitation Learning for Robust Dynamic Output Feedback

abstract: Robust imitation learning seeks to mimic expert controller behavior while ensuring stability, but current methods require accurate plant models. Here, robust imitation learning is addressed for stabilizing poorly modeled plants with linear dynamic output feedback. Open-loop input-output properties are used to characterize an uncertain plant, and the feedback matrix of the dynamic controller is learned while enforcing stability through the controller's open-loop QSR-dissipativity properties. The imitation learning method is applied to two systems with parametric uncertainty.


title: Three-Electrode Cell Calorimeter for Electrical Double Layer Capacitors

abstract: A calorimeter was built to measure the heat from a porous capacitive working electrode connected in a three-electrode configuration. This makes it possible to detect differences between cathodic and anodic heat production. The electrochemical cell contains a large electrolyte solution reservoir, ensuring a constant concentration of the salt solution probed by the reference electrode via a Luggin tube. A heat flux sensor is used to detect the heat, and its calibration as a gauge of the total amount of heat produced by the electrode is done on the basis of the net electrical work performed on the working electrode during a full charging-discharging cycle. In principle, from the measured heat and the electrical work, the change in internal energy of the working electrode can be determined as a function of applied potential. Such measurements inform about the potential energy and average electric potential of ions inside the pores, giving insight into the electrical double layer inside electrode micropores. Example measurements of the heat are shown for porous carbon electrodes in aqueous salt solution.


title: Entanglement generation and relativistic simulation with cQED parametric oscillators

abstract: On this PhD thesis we cover the results contained in arXiv:2001.07050, arXiv:2111.10096 and arXiv:2011.02822, while providing further details about their derivations. In the first two papers, we study the generation and detection of entangled non-Gaussian states of microwave radiation. These states are produced in a new parametric oscillator, built recently within the field of cQED, capable of down-converting a microwave tone into three different tones at once. These three photons share among their magnitudes quantum correlations, in particular genuine entanglement. In this text we refer to it as non-Gaussian because of its manifestation on statistical moments higher than covariances, and we propose a simple and practical criterion for the design of witnesses capable of detecting it: they must be built from higher statistical moments that change through time. Additionally, we speculate on the theoretical implications of the criterion and find suggestive connections to other entanglement classes, such as the paradigmatic nonequivalent GHZ and W three qubit states. In the third paper, we explore one of the possible applications of quantum technologies: analog simulation of quantum systems. The literature prior to this thesis showcases multiple examples of superconducting circuits capable of mimicking systems in which one must consider both quantum and relativistic phenomena, such as the dynamical Casimir and Unruh effects. This work explores the information that can be obtained through analog simulation, proposing a circuit capable of featuring the internal dynamics of a mirror experiencing a relativistic trajectory, that is, a mirror producing the dynamical Casimir effect.


title: Assuring Safety of Vision-Based Swarm Formation Control

abstract: Vision-based formation control systems are attractive because they can use inexpensive sensors and can work in GPS-denied environments. The safety assurance for such systems is challenging: the vision component's accuracy depends on the environment in complicated ways, these errors propagate through the system and lead to incorrect control actions, and there exists no formal specification for end-to-end reasoning. We address this problem and propose a technique for safety assurance of vision-based formation control: First, we propose a scheme for constructing quantizers that are consistent with vision-based perception. Next, we show how the convergence analysis of a standard quantized consensus algorithm can be adapted for the constructed quantizers. We use the recently defined notion of perception contracts to create error bounds on the actual vision-based perception pipeline using sampled data from different ground truth states, environments, and weather conditions. Specifically, we use a quantizer in logarithmic polar coordinates, and we show that this quantizer is suitable for the constructed perception contracts for the vision-based position estimation, where the error worsens with respect to the absolute distance between agents. We build our formation control algorithm with this nonuniform quantizer, and we prove its convergence employing an existing result for quantized consensus.


title: Public Education and Outreach

abstract: This article summarizes recommendations made by the Community Engagement Frontier conveners as part of the 2022 Snowmass process. It suggests that institutions involved in high energy physics (e.g., universities, national laboratories, funding agencies, etc.) add education and outreach as a valuable effort and one that should be considered in hiring and promotion decisions.


title: A Comparative Study of Hierarchical Risk Parity Portfolio and Eigen Portfolio on the NIFTY 50 Stocks

abstract: Portfolio optimization has been an area of research that has attracted a lot of attention from researchers and financial analysts. Designing an optimum portfolio is a complex task since it not only involves accurate forecasting of future stock returns and risks but also needs to optimize them. This paper presents a systematic approach to portfolio optimization using two approaches, the hierarchical risk parity algorithm and the Eigen portfolio on seven sectors of the Indian stock market. The portfolios are built following the two approaches to historical stock prices from Jan 1, 2016, to Dec 31, 2020. The portfolio performances are evaluated on the test data from Jan 1, 2021, to Nov 1, 2021. The backtesting results of the portfolios indicate that the performance of the HRP portfolio is superior to that of its Eigen counterpart on both training and test data for the majority of the sectors studied.


title: Universal dynamics of spatiotemporal entrainment with phase symmetry

abstract: We study the entrainment of a localized pattern by an external signal via its coupling to zero modes associated with broken symmetries. We show that when internal symmetries are broken, entrainment is governed by a multi-degree of freedom locking dynamical system that has a universal structure defined by the internal symmetry group and its breaking. We derive explicitly the universal locking dynamics for entrainment of patterns breaking internal phase symmetry, and calculate the locking domains and the entrainment structure for the example of complex-Ginzburg-Landau solitons.


title: Self-driven photo-polarized water molecule triggered graphene-based photodetector

abstract: Flowing water can be used as an energy source for generators, providing a major part of the energy for daily life. However, water is rarely used for information or electronic devices. Herein, we present the feasibility of a polarized liquid-triggered photodetector in which polarized water is sandwiched between graphene and semiconductor. Due to the polarization and depolarization processes of water molecular under the driven of photogenerated carriers, a photo-sensitive current can be repeatably produced, resulting in a high-performance photodetector. The response wavelength of the photodetector can be finely tuned as a result of the free choice of semiconductors as there is no requirement of lattice match between graphene and the semiconductors. Under zero voltage bias, the responsivity and specific detectivity of Gr/NaCl (0.5 M)/N-GaN reaches values of 130.7 mA/W and 2.8*10^12 Jones under 350 nm illumination. Meanwhile, using a polar liquid photodetector can successfully read the photoplethysmography signals to produce accurate oxygen blood saturation and heart rate. Compared with the commercial pulse oximetry sensor, the average errors of oxygen saturation and heart rate in the designed photoplethysmography sensor are~1.9% and ~2.1%, respectively. This study transfers the message that water can be used as high-performance photodetector in informative industries.


title: Data Budgeting for Machine Learning

abstract: Data is the fuel powering AI and creates tremendous value for many domains. However, collecting datasets for AI is a time-consuming, expensive, and complicated endeavor. For practitioners, data investment remains to be a leap of faith in practice. In this work, we study the data budgeting problem and formulate it as two sub-problems: predicting (1) what is the saturating performance if given enough data, and (2) how many data points are needed to reach near the saturating performance. Different from traditional dataset-independent methods like PowerLaw, we proposed a learning method to solve data budgeting problems. To support and systematically evaluate the learning-based method for data budgeting, we curate a large collection of 383 tabular ML datasets, along with their data vs performance curves. Our empirical evaluation shows that it is possible to perform data budgeting given a small pilot study dataset with as few as $50$ data points.


title: Dynamics of mixed quantum-classical spin systems

abstract: Mixed quantum-classical spin systems have been proposed in spin chain theory and, more recently, in magnon spintronics. However, current models of quantum-classical dynamics beyond mean-field approximations typically suffer from long-standing consistency issues, and, in some cases, invalidate Heisenberg's uncertainty principle. Here, we present a fully Hamiltonian theory of quantum-classical spin dynamics that appears to be the first to ensure an entire series of consistency properties, including positivity of both the classical and the quantum density, so that Heisenberg's principle is satisfied at all times. We show how this theory may connect to recent energy-balance considerations in measurement theory and we present its Poisson bracket structure explicitly. After focusing on the simpler case of a classical Bloch vector interacting with a quantum spin observable, we illustrate the extension of the model to systems with several spins, and restore the presence of orbital degrees of freedom.

categories: quant-ph cond-mat.mes-hall math-ph math.MP math.SG


title: Uniqueness of logical connectives in a bilateralist setting

abstract: In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of consequence relations, with which we can maintain uniqueness in a bilateralist setting.


title: Visual Prompt Tuning for Generative Transfer Learning

abstract: Transferring knowledge from an image synthesis model trained on a large dataset is a promising direction for learning generative image models from various domains efficiently. While previous works have studied GAN models, we present a recipe for learning vision transformers by generative knowledge transfer. We base our framework on state-of-the-art generative vision transformers that represent an image as a sequence of visual tokens to the autoregressive or non-autoregressive transformers. To adapt to a new domain, we employ prompt tuning, which prepends learnable tokens called prompt to the image token sequence, and introduce a new prompt design for our task. We study on a variety of visual domains, including visual task adaptation benchmark~\cite{zhai2019large}, with varying amount of training images, and show effectiveness of knowledge transfer and a significantly better image generation quality over existing works.


title: Policy Gradient for Reinforcement Learning with General Utilities

abstract: In Reinforcement Learning (RL), the goal of agents is to discover an optimal policy that maximizes the expected cumulative rewards. This objective may also be viewed as finding a policy that optimizes a linear function of its state-action occupancy measure, hereafter referred as Linear RL. However, many supervised and unsupervised RL problems are not covered in the Linear RL framework, such as apprenticeship learning, pure exploration and variational intrinsic control, where the objectives are non-linear functions of the occupancy measures. RL with non-linear utilities looks unwieldy, as methods like Bellman equation, value iteration, policy gradient, dynamic programming that had tremendous success in Linear RL, fail to trivially generalize. In this paper, we derive the policy gradient theorem for RL with general utilities. The policy gradient theorem proves to be a cornerstone in Linear RL due to its elegance and ease of implementability. Our policy gradient theorem for RL with general utilities shares the same elegance and ease of implementability. Based on the policy gradient theorem derived, we also present a simple sample-based algorithm. We believe our results will be of interest to the community and offer inspiration to future works in this generalized setting.


title: Feature Embedding by Template Matching as a ResNet Block

abstract: Convolution blocks serve as local feature extractors and are the key to success of the neural networks. To make local semantic feature embedding rather explicit, we reformulate convolution blocks as feature selection according to the best matching kernel. In this manner, we show that typical ResNet blocks indeed perform local feature embedding via template matching once batch normalization (BN) followed by a rectified linear unit (ReLU) is interpreted as arg-max optimizer. Following this perspective, we tailor a residual block that explicitly forces semantically meaningful local feature embedding through using label information. Specifically, we assign a feature vector to each local region according to the classes that the corresponding region matches. We evaluate our method on three popular benchmark datasets with several architectures for image classification and consistently show that our approach substantially improves the performance of the baseline architectures.


title: Efficient Bayes Inference in Neural Networks through Adaptive Importance Sampling

abstract: Bayesian neural networks (BNNs) have received an increased interest in the last years. In BNNs, a complete posterior distribution of the unknown weight and bias parameters of the network is produced during the training stage. This probabilistic estimation offers several advantages with respect to point-wise estimates, in particular, the ability to provide uncertainty quantification when predicting new data. This feature inherent to the Bayesian paradigm, is useful in countless machine learning applications. It is particularly appealing in areas where decision-making has a crucial impact, such as medical healthcare or autonomous driving. The main challenge of BNNs is the computational cost of the training procedure since Bayesian techniques often face a severe curse of dimensionality. Adaptive importance sampling (AIS) is one of the most prominent Monte Carlo methodologies benefiting from sounded convergence guarantees and ease for adaptation. This work aims to show that AIS constitutes a successful approach for designing BNNs. More precisely, we propose a novel algorithm PMCnet that includes an efficient adaptation mechanism, exploiting geometric information on the complex (often multimodal) posterior distribution. Numerical results illustrate the excellent performance and the improved exploration capabilities of the proposed method for both shallow and deep neural networks.


title: Can One Perturb the Equatorial Zone on a Sphere with Larger Mean Curvature?

abstract: We consider the mean curvature rigidity problem of an equatorial zone on a sphere which is symmetric about the equator with width $2w$. There are two different notions on rigidity, i.e. strong rigidity and local rigidity. We prove that for each kind of these rigidity problems, there exists a critical value such that the rigidity holds true if, and only if, the zone width is smaller than that value. For the rigidity part, we used the tangency principle and a specific lemma (the trap-slice lemma we established before). For the non-rigidity part, we construct the nontrivial perturbations by a gluing procedure called the round-corner lemma using the Delaunay surfaces.


title: Nilpotence and Duality in the Complete Cohomology of a Module

abstract: Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. We consider the complete cohomology ring $\mathcal{E}_M^* = \sum_{n \in \mathbb{Z}} \widehat{Ext}^n_{kG}(M,M)$. We show that the ring has two distinguished ideals $I^* \subseteq J^* \subseteq \mathcal{E}_M^*$ such that $I^*$ is bounded above in degrees, $\mathcal{E}_M^*/J^*$ is bounded below in degree and $J^*/I^*$ is eventually periodic with terms of bounded dimension. We prove that if $M$ is neither projective nor periodic, then the subring of all elements in negative degrees in $\mathcal{E}_M^*$ is a nilpotent algebra.


title: $X(3860)$ production in association with $J/\psi$ via $e^{+}e^{-}$ annihilation at Belle

abstract: In this paper, we study the $X(3860)$ production associated with $J/\psi$ via $e^{+}e^{-}$ annihilation at the next-to-leading-order (NLO) QCD accuracy, within the nonrelativistic QCD (NRQCD) framework. Under the hypothesis of $J^{PC}_{X(3860)}=0^{++}$, the predicted total cross sections agree well with the Belle's measurements at $\sqrt{s}=\Upsilon(4S,5S)$, while the theoretical results given by the $2^{++}$ hypothesis significantly undershoot the data. This is consistent with the Belle's conclusion that the $0^{++}$ hypothesis is favored over the $2^{++}$ hypothesis for $X(3860)$. Despite the agreement of the total cross sections, the NRQCD predictions seem to be incompatible with the Belle-measured $J/\psi$ angular distributions. We also perform the NLO calculations of $\sigma_{e^{+}e^{-} \to J/\psi+X(3940)}$ on the assumption of $J^{PC}_{X(3940)}=0^{-+}$, discovering that the NRQCD predictions that coincide with the light-cone results are in good agreement with the experiment.


title: Online Self-Concordant and Relatively Smooth Minimization, With Applications to Online Portfolio Selection and Learning Quantum States

abstract: Consider an online convex optimization problem where the loss functions are self-concordant barriers, smooth relative to a convex function $h$, and possibly non-Lipschitz. We analyze the regret of online mirror descent with $h$. Then, based on the result, we prove the following in a unified manner. Denote by $T$ the time horizon and $d$ the parameter dimension. 1. For online portfolio selection, the regret of $\widetilde{\text{EG}}$, a variant of exponentiated gradient due to Helmbold et al., is $\tilde{O} ( T^{2/3} d^{1/3} )$ when $T > 4 d / \log d$. This improves on the original $\tilde{O} ( T^{3/4} d^{1/2} )$ regret bound for $\widetilde{\text{EG}}$. 2. For online portfolio selection, the regret of online mirror descent with the logarithmic barrier is $\tilde{O}(\sqrt{T d})$. The regret bound is the same as that of Soft-Bayes due to Orseau et al. up to logarithmic terms. 3. For online learning quantum states with the logarithmic loss, the regret of online mirror descent with the log-determinant function is also $\tilde{O} ( \sqrt{T d} )$. Its per-iteration time is shorter than all existing algorithms we know.


title: Effects of porous media on the phase behaviour of polypeptide solutions

abstract: The generalized van der Waals equation for anisotropic fluids in porous media, proposed by the authors in previous works, is used to describe the effect of porous media on the phase behavior of polypeptide solutions. By introducing the temperature dependence for the depth of the potential well and the geometric parameters of the spherocylinder, the main features of phase behavior of the polypeptide poly ($\gamma$-benzyl-$L$-glutamate) (PBLG) in a solution of dimethylformamide, including the existence of two nematic phases, is reproduced. It is shown that the presence of a porous medium shifts the phase diagram to the region of lower densities and lower temperatures.


title: Latent State Marginalization as a Low-cost Approach for Improving Exploration

abstract: While the maximum entropy (MaxEnt) reinforcement learning (RL) framework -- often touted for its exploration and robustness capabilities -- is usually motivated from a probabilistic perspective, the use of deep probabilistic models has not gained much traction in practice due to their inherent complexity. In this work, we propose the adoption of latent variable policies within the MaxEnt framework, which we show can provably approximate any policy distribution, and additionally, naturally emerges under the use of world models with a latent belief state. We discuss why latent variable policies are difficult to train, how naive approaches can fail, then subsequently introduce a series of improvements centered around low-cost marginalization of the latent state, allowing us to make full use of the latent state at minimal additional cost. We instantiate our method under the actor-critic framework, marginalizing both the actor and critic. The resulting algorithm, referred to as Stochastic Marginal Actor-Critic (SMAC), is simple yet effective. We experimentally validate our method on continuous control tasks, showing that effective marginalization can lead to better exploration and more robust training. Our implementation is open sourced at https://github.com/zdhNarsil/Stochastic-Marginal-Actor-Critic.


title: Mutual Information Learned Classifiers: an Information-theoretic Viewpoint of Training Deep Learning Classification Systems

abstract: Deep learning systems have been reported to acheive state-of-the-art performances in many applications, and one of the keys for achieving this is the existence of well trained classifiers on benchmark datasets which can be used as backbone feature extractors in downstream tasks. As a main-stream loss function for training deep neural network (DNN) classifiers, the cross entropy loss can easily lead us to find models which demonstrate severe overfitting behavior when no other techniques are used for alleviating it such as data augmentation. In this paper, we prove that the existing cross entropy loss minimization for training DNN classifiers essentially learns the conditional entropy of the underlying data distribution of the dataset, i.e., the information or uncertainty remained in the labels after revealing the input. In this paper, we propose a mutual information learning framework where we train DNN classifiers via learning the mutual information between the label and input. Theoretically, we give the population error probability lower bound in terms of the mutual information. In addition, we derive the mutual information lower and upper bounds for a concrete binary classification data model in $\mbR^n$, and also the error probability lower bound in this scenario. Besides, we establish the sample complexity for accurately learning the mutual information from empirical data samples drawn from the underlying data distribution. Empirically, we conduct extensive experiments on several benchmark datasets to support our theory. Without whistles and bells, the proposed mutual information learned classifiers (MILCs) acheive far better generalization performances than the state-of-the-art classifiers with an improvement which can exceed more than 10\% in testing accuracy.


title: Urban Economic Fitness and Complexity from Patent Data

abstract: Over the years, the growing availability of extensive datasets about registered patents allowed researchers to better understand technological innovation drivers. In this work, we investigate how the technological contents of patents characterise the development of metropolitan areas and how innovation is related to GDP per capita. Exploiting worldwide data from 1980 to 2014, and through network-based techniques that only use information about patents, we identify coherent distinguished groups of metropolitan areas, either clustered in the same geographical area or similar from an economic point of view. We also extend the concept of coherent diversification to patent production by showing how it represents a decisive factor in the economic growth of metropolitan areas. These results confirm a picture in which technological innovation can lead and steer the economic development of cities, opening, in this way, the possibility of adopting the tools introduced here to investigate the interplay between urban development and technological innovation.


title: ASGNN: Graph Neural Networks with Adaptive Structure

abstract: The graph neural network (GNN) models have presented impressive achievements in numerous machine learning tasks. However, many existing GNN models are shown to be vulnerable to adversarial attacks, which creates a stringent need to build robust GNN architectures. In this work, we propose a novel interpretable message passing scheme with adaptive structure (ASMP) to defend against adversarial attacks on graph structure. Layers in ASMP are derived based on optimization steps that minimize an objective function that learns the node feature and the graph structure simultaneously. ASMP is adaptive in the sense that the message passing process in different layers is able to be carried out over dynamically adjusted graphs. Such property allows more fine-grained handling of the noisy (or perturbed) graph structure and hence improves the robustness. Convergence properties of the ASMP scheme are theoretically established. Integrating ASMP with neural networks can lead to a new family of GNN models with adaptive structure (ASGNN). Extensive experiments on semi-supervised node classification tasks demonstrate that the proposed ASGNN outperforms the state-of-the-art GNN architectures in terms of classification performance under various adversarial attacks.


title: From classical to quantum loss of light coherence

abstract: Light is a precious tool to probe matter, as it captures microscopic and macroscopic information on the system. We here report on the transition from a thermal (classical) to a spontaneous emission (quantum) mechanism for the loss of light coherence from a macroscopic atomic cloud. The coherence is probed by intensity-intensity correlation measurements realized on the light scattered by the atomic sample, and the transition is explored by tuning the balance between thermal coherence loss and spontaneous emission via the pump strength. Our results illustrate the potential of cold atom setups to investigate the classical-to-quantum transition in macroscopic systems.

categories: physics.atom-ph cond-mat.quant-gas physics.optics quant-ph


title: Beyond Bounds on Light Scattering with Complex Frequency Excitations

abstract: Light scattering is one of the most established wave phenomena in optics, lying at the heart of light-matter interactions and of crucial importance for nanophotonic applications. Passivity, causality and energy conservation imply strict bounds on the degree of control over scattering from small particles, with implications on the performance of many optical devices. Here, we demonstrate that these bounds can be surpassed by considering excitations at complex frequencies, yielding extreme scattering responses as tailored nanoparticles reach a quasi-steady-state regime. These mechanisms can be used to engineer light scattering of nanostructures beyond conventional limits for noninvasive sensing, imaging, and nanoscale light manipulation.


title: Quantifying COVID-19 transmission risks based on human mobility data: A personalized PageRank approach for efficient contact-tracing

abstract: Given its wide-ranging and long-lasting impacts, COVID-19, especially its spatial spreading dynamics has received much attention. Knowledge of such dynamics helps public health professionals and city managers devise and deploy efficient contact-tracing and treatment measures. However, most existing studies focus on aggregate mobility flows and have rarely exploited the widely available disaggregate-level human mobility data. In this paper, we propose a Personalized PageRank (PPR) method to estimate COVID-19 transmission risks based on a bipartite network of people and locations. The method incorporates both mobility patterns of individuals and their spatiotemporal interactions. To validate the applicability and relevance of the proposed method, we examine the interplay between the spread of COVID-19 cases and intra-city mobility patterns in a small synthetic network and a real-world mobility network from Hong Kong, China based on transit smart card data. We compare the recall (sensitivity), accuracy, and Spearmans correlation coefficient between the estimated transmission risks and number of actual cases based on various mass tracing and testing strategies, including PPR-based, PageRank (PR)-based, location-based, route-based, and base case (no strategy). The results show that the PPR-based method achieves the highest efficiency, accuracy, and Spearmans correlation coefficient with the actual case number. This demonstrates the value of PPR for transmission risk estimation and the importance of incorporating individual mobility patterns for efficient contact-tracing and testing.


title: Neural network for determining an asteroid mineral composition from reflectance spectra

abstract: Chemical and mineral compositions of asteroids reflect the formation and history of our Solar System. This knowledge is also important for planetary defence and in-space resource utilisation. We aim to develop a fast and robust neural-network-based method for deriving the mineral modal and chemical compositions of silicate materials from their visible and near-infrared spectra. The method should be able to process raw spectra without significant pre-processing. We designed a convolutional neural network with two hidden layers for the analysis of the spectra, and trained it using labelled reflectance spectra. For the training, we used a dataset that consisted of reflectance spectra of real silicate samples stored in the RELAB and C-Tape databases, namely olivine, orthopyroxene, clinopyroxene, their mixtures, and olivine-pyroxene-rich meteorites. We used the model on two datasets. First, we evaluated the model reliability on a test dataset where we compared the model classification with known compositional reference values. The individual classification results are mostly within 10 percentage-point intervals around the correct values. Second, we classified the reflectance spectra of S-complex (Q-type and V-type, also including A-type) asteroids with known Bus-DeMeo taxonomy classes. The predicted mineral chemical composition of S-type and Q-type asteroids agree with the chemical composition of ordinary chondrites. The modal abundances of V-type and A-type asteroids show a dominant contribution of orthopyroxene and olivine, respectively. Additionally, our predictions of the mineral modal composition of S-type and Q-type asteroids show an apparent depletion of olivine related to the attenuation of its diagnostic absorptions with space weathering. This trend is consistent with previous results of the slower pyroxene response to space weathering relative to olivine.


title: Reward Learning with Trees: Methods and Evaluation

abstract: Recent efforts to learn reward functions from human feedback have tended to use deep neural networks, whose lack of transparency hampers our ability to explain agent behaviour or verify alignment. We explore the merits of learning intrinsically interpretable tree models instead. We develop a recently proposed method for learning reward trees from preference labels, and show it to be broadly competitive with neural networks on challenging high-dimensional tasks, with good robustness to limited or corrupted data. Having found that reward tree learning can be done effectively in complex settings, we then consider why it should be used, demonstrating that the interpretable reward structure gives significant scope for traceability, verification and explanation.


title: Is the doped MoS2 basal plane an efficient hydrogen evolution catalyst? Calculations of voltage-dependent activation energy

abstract: Transition metal dichalcogenides are cheap and earth-abundant candidates for the replacement of precious metals as catalyst materials. Experimental measurements of the hydrogen evolution reaction (HER), for example, have demonstrated significant electrocatalytic activity of MoS2 but there is large variation depending on preparation method. In order to gain information about the mechanism and active sites for HER, we have carried out calculations of the reaction and activation energy for HER at the transition metal doped basal plane of MoS2 under electrochemical conditions, i.e. including applied electrode potential and solvent effects. The calculations are based on identifying the relevant saddle points on the energy surface obtained from density functional theory within the generalized gradient approximation, and the information on energetics is used to construct voltage-dependent volcano plots. Doping with 3d-metal atoms as well as Pt is found to enhance hydrogen adsorption onto the basal plane by introducing electronic states within the band gap, and in some cases (Co, Ni, Cu, Pt) significant local symmetry breaking. The Volmer-Heyrovsky mechanism is found to be most likely and the associated energetics show considerable dopant and voltage-dependence. While the binding free energy of hydrogen can be tuned to be seemingly favorable for HER, the calculated activation energy turns out to be significant, at least 0.7 eV at a voltage of -0.5 V vs. SHE, indicating low catalytic activity of the doped basal plane. This suggests that other sites are responsible for the experimental activity, possibly edges or basal plane defects.


title: Scaling limit of a long-range random walk in time-correlated random environment

abstract: This paper concerns a long-range random walk in random environment in dimension $1+1$, where the environmental disorder is independent in space but has long-range correlations in time. We prove that two types of rescaled partition functions converge weakly to the Stratonovich solution and the It\^o-Skorohod solution respectively of a fractional stochastic heat equation with multiplicative Gaussian noise which is white in space and colored in time.


title: A general framework for probabilistic sensitivity analysis with respect to distribution parameters

abstract: Probabilistic sensitivity analysis identifies the influential uncertain input to guide decision-making. We propose a general sensitivity framework with respect to the input distribution parameters that unifies a wide range of sensitivity measures, including information theoretical metrics such as the Fisher information. The framework is derived analytically via a constrained maximization and the sensitivity analysis is reformulated into an eigenvalue problem. There are only two main steps to implement the sensitivity framework utilising the likelihood ratio/score function method, a Monte Carlo type sampling followed by solving an eigenvalue equation. The resulting eigenvectors then provide the directions for simultaneous variations of the input parameters and guide the focus to perturb uncertainty the most. Not only is it conceptually simple, but numerical examples demonstrate that the proposed framework also provides new sensitivity insights, such as the combined sensitivity of multiple correlated uncertainty metrics, robust sensitivity analysis with an entropic constraint, and approximation of deterministic sensitivities. Three different examples, ranging from a simple cantilever beam to an offshore marine riser, are used to demonstrate the potential applications of the proposed sensitivity framework to applied mechanics problems.


title: The MRChem multiresolution analysis code for molecular electronic structure calculations: performance and scaling properties

abstract: MRChem is a code for molecular electronic structure calculations, based on a multiwavelet adaptive basis representation. We provide a description of our implementation strategy and several benchmark calculations. Systems comprising more than a thousand orbitals are investigated at the HF level of theory, with an emphasis on scaling properties. With our design, terms which formally scale quadratically with the system size, in effect have a better scaling because of the implicit screening introduced by the inherent adaptivity of the method: all operations are performed to the requested precision, which serves the dual purpose of minimizing the computational cost and controlling the final error precisely. Comparisons with traditional Gaussian-type orbitals based software, show that MRChem can be competitive with respect to performance.


title: Floquet Weyl semimetal phases in light-irradiated higher-order topological Dirac semimetals

abstract: Floquet engineering, the concept of tailoring a system by a periodic drive, is increasingly exploited to design and manipulate topological phases of matter. In this work, we study periodically driven higher-order topological Dirac semimetals associated with a $k$-dependent quantized quadrupole moment by applying circularly polarized light. The undriven Dirac semimetals feature gapless higher-order hinge Fermi arc states which are the consequence of the higher-order topology of the Dirac nodes. Floquet Weyl semimetal phases with hybrid-order topology, characterized by both a $k$-dependent quantized quadrupole moment and a $k$-dependent Chern number, emerge when illumining circularly polarized light. Such Floquet Weyl semimetals support both hinge Fermi arc states and topological surface Fermi arc states. In addition, Floquet Weyl semimetals with tilted Weyl cones in higher-order topological Dirac semimetals are also discussed. Considering numerous higher-order topological Dirac semimetal materials were recently proposed, our findings can be testable soon.


title: Rank 2 Amalgams and Fusion Systems

abstract: We classify fusion systems $\mathcal{F}$ in which $O_p(\mathcal{F})=\{1\}$, and there are two $\mathrm{Aut}_{\mathcal{F}}(S)$-invariant essential subgroups whose normalizer systems generate $\mathcal{F}$. We employ the amalgam method and, as a bonus, obtain $p$-local characterizations of certain rank $2$ group amalgams whose parabolic subgroups involve strongly $p$-embedded subgroups.


title: Failure of neuron network coherence induced by SARS-CoV-2-infected astrocytes

abstract: Coherent activations of brain neuron networks underlay many physiological functions associated with various behavioral states. These synchronous fluctuations in the electrical activity of the brain are also referred to as brain rhythms. At the cellular level, the rhythmicity can be induced by various mechanisms of intrinsic oscillations in neurons or network circulation of excitation between synaptically coupled neurons. One of the specific mechanisms concerns the activity of brain astrocytes that accompany neurons and can coherently modulate synaptic contacts of neighboring neurons, synchronizing their activity. Recent studies have shown that coronavirus infection (Covid-19), entering the central nervous system and infecting astrocytes, causes various metabolic disorders. Specifically, Covid-19 can depress the synthesis of astrocytic glutamate and GABA. It is also known that in the postcovid state, patients may suffer from symptoms of anxiety and impaired cognitive functions, which may be a consequence of disturbed brain rhythms. We propose a mathematical model of a spiking neural network accompanied by astrocytes capable to generate quasi-synchronous rhythmic bursting discharges. The model predicts that if the astrocytes are infected, and the release of glutamate is depressed, then normal burst rhythmicity suffers dramatically. Interestingly, in some cases, the failure of network coherence may be intermittent with intervals of normal rhythmicity, or the synchronization can completely disappears.


title: Robust Set Stability of Logic Dynamical Systems with respect to Uncertain Switching

abstract: This paper proposes several definitions of robust stability for logic dynamical systems (LDSs) with uncertain switching, including robust/uniform robust set stability and asymptotical (or infinitely convergent)/finite-time set stability with ratio one. It is proved herein that an LDS is robustly set stable if and only if the destination set contains all loops (i.e., the paths from each state to itself); an LDS is uniformly robustly set stable, or finite-time set stable with ratio one, if and only if all states outside the destination set are unreachable from any self-reachable state; and an LDS is asymptotically set stable with ratio one if and only if the largest robustly invariant subset (LRIS) in the destination set is reachable from any state. In addition, it is proved that uniform robust set stability implies robust set stability, and robust set stability implies asymptotical set stability with ratio one. However, the inverse claims are not generally true. The relations between robust stability and stability under random switching are revealed, that is, the asymptotical/finite-time set stability with ratio one under uncertain switching is equivalent to asymptotical/finite-time set stability of the LDS under random switching. Furthermore, it is proved that, for uniform set stability and asymptotical/finite-time set stability with ratio one, the set stability is equivalent to the stability with respect to the LRIS in the destination set. However, robust set stability does not imply robust stability with respect to the LRIS in the destination set. This finding corrects a result in a previous study.


title: Smoothness of the Value Function for Optimal Consumption Model with Consumption-Wealth Utility and Borrowing Constraint

abstract: This paper studies an optimal consumption-investment problem for an investor whose instantaneous utility depends on both consumption and wealth, and the investor faces a general borrowing constraint that the investment amount in the risky asset does not exceed an exogenous function of the wealth. We show that the value function is second-order smooth and present the optimal consumption-investment policy in a feedback form. Moreover, when the risky investment amount is bounded above by a fixed constant, we show that under certain conditions, the constraint is binding if and only if an endogenous threshold bounds the portfolio wealth, and we determine the endogenous wealth threshold with the smooth fit condition. Our results encompass several well-developed portfolio choice models and imply new applications.


title: Bilinear $\theta$-type Calder\'on-Zygmund operators and its commutator on generalized weighted Morrey spaces over RD-spaces

abstract: An RD-space $\mathcal{X}$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds in $\mathcal{X}$. In this setting, the authors establish the boundedness of bilinear $\theta$-type Calder\'on-Zygmund operator $T_{\theta}$ and its commutator $[b_1,b_2,T_{\theta}]$ generated by the function $b_1,b_2\in BMO(\mu)$ and $T_{\theta}$ on generalized weighted Morrey space $\mathcal{M}^{p,\phi}(\omega)$ and generalized weighted weak Morrey space $W\mathcal{M}^{p,\phi}(\omega)$ over RD-spaces.


title: On duality and model theory for polyadic spaces

abstract: This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open polyadic Priestley spaces, which we subsequently apply to prove completeness, omitting types, and Craig interpolation theorems for coherent or intuitionistic logic. Our approach emphasizes the role of interpolation and openness properties, and allows for a modular, syntax-free treatment of these model-theoretic results. As further applications of the same method, we prove completeness theorems for constant domain and G\"odel-Dummett intuitionistic predicate logics.


title: Plateau in Monotonic Linear Interpolation -- A "Biased" View of Loss Landscape for Deep Networks

abstract: Monotonic linear interpolation (MLI) - on the line connecting a random initialization with the minimizer it converges to, the loss and accuracy are monotonic - is a phenomenon that is commonly observed in the training of neural networks. Such a phenomenon may seem to suggest that optimization of neural networks is easy. In this paper, we show that the MLI property is not necessarily related to the hardness of optimization problems, and empirical observations on MLI for deep neural networks depend heavily on biases. In particular, we show that interpolating both weights and biases linearly leads to very different influences on the final output, and when different classes have different last-layer biases on a deep network, there will be a long plateau in both the loss and accuracy interpolation (which existing theory of MLI cannot explain). We also show how the last-layer biases for different classes can be different even on a perfectly balanced dataset using a simple model. Empirically we demonstrate that similar intuitions hold on practical networks and realistic datasets.


title: The current state of single-cell proteomics data analysis

abstract: Sound data analysis is essential to retrieve meaningful biological information from single-cell proteomics experiments. This analysis is carried out by computational methods that are assembled into workflows, and their implementations influence the conclusions that can be drawn from the data. In this work, we explore and compare the computational workflows that have been used over the last four years and identify a profound lack of consensus on how to analyze single-cell proteomics data. We highlight the need for benchmarking of computational workflows, standardization of computational tools and data, as well as carefully designed experiments. Finally, we cover the current standardization efforts that aim to fill the gap and list the remaining missing pieces, and conclude with lessons learned from the replication of published single-cell proteomics analyses.


title: Sequential Brick Assembly with Efficient Constraint Satisfaction

abstract: We address the problem of generating a sequence of LEGO brick assembly with high-fidelity structures, satisfying physical constraints between bricks. The assembly problem is challenging since the number of possible structures increases exponentially with the number of available bricks, complicating the physical constraints to satisfy across bricks. To tackle this problem, our method performs a brick structure assessment to predict the next brick position and its confidence by employing a U-shaped sparse 3D convolutional network. The convolution filter efficiently validates physical constraints in a parallelizable and scalable manner, allowing to process of different brick types. To generate a novel structure, we devise a sampling strategy to determine the next brick position by considering attachable positions under physical constraints. Instead of using handcrafted brick assembly datasets, our model is trained with a large number of 3D objects that allow to create a new high-fidelity structure. We demonstrate that our method successfully generates diverse brick structures while handling two different brick types and outperforms existing methods based on Bayesian optimization, graph generative model, and reinforcement learning, all of which are limited to a single brick type.


title: Contact angle of water on a model heterogeneous surface. A density functional approach

abstract: We use a density functional approach to calculate the contact angle of the water model on a heterogeneous, graphite-like surface. The surface heterogeneity results from the pre-adsorption of a layer of spherical species. The pre-adsorbed molecules can also be a mixture of molecules of different sizes. The presence of pre-adsorbed layer causes geometrical and energetical heterogeneity of the surfaces. Two cases are considered. The pre-adsorbed molecules can either behave like hard-sphere obstacles, or they can also attract the molecules of water. In the first case, an increase of the amount of pre-adsorbed species leads to an increase of the wetting temperature, but this increase does not depend linearly on the amount of obstacles. In the case of obstacles exerting attractive forces on water molecules, the curves describing the dependence between the amount of pre-adsorbed species and the contact angle can exhibit a maximum. In addition, we have also studied how the pre-adsorbed species influence the local densities of gaseous and liquid phases in contact with a modified solid surface.


title: The Long Tail of Context: Does it Exist and Matter?

abstract: Context has been an important topic in recommender systems over the past two decades. A standard representational approach to context assumes that contextual variables and their structures are known in an application. Most of the prior CARS papers following representational approach manually selected and considered only a few crucial contextual variables in an application, such as time, location, and company of a person. This prior work demonstrated significant recommendation performance improvements when various CARS-based methods have been deployed in numerous applications. However, some recommender systems applications deal with a much bigger and broader types of contexts, and manually identifying and capturing a few contextual variables is not sufficient in such cases. In this paper, we study such ``context-rich'' applications dealing with a large variety of different types of contexts. We demonstrate that supporting only a few most important contextual variables, although useful, is not sufficient. In our study, we focus on the application that recommends various banking products to commercial customers within the context of dialogues initiated by customer service representatives. In this application, we managed to identify over two hundred types of contextual variables. Sorting those variables by their importance forms the Long Tail of Context (LTC). In this paper, we empirically demonstrate that LTC matters and using all these contextual variables from the Long Tail leads to significant improvements in recommendation performance.


title: Emergence of highly coherent quantum subsystems of a noisy and dense spin system

abstract: Quantum sensors and qubits are usually two-level systems (TLS), the quantum analogs of classical bits which assume binary values '0' or '1'. They are useful to the extent to which they can persist in quantum superpositions of '0' and '1' in real environments. However, such TLS are never alone in real materials and devices, and couplings to other degrees of freedom limit the lifetimes - called decoherence times - of the superposition states. Decoherence occurs via two major routes - excitation hopping and fluctuating electromagnetic fields. Common mitigation strategies are based on material improvements, exploitation of clock states which couple only to second rather than first order to external perturbations, and reduction of interactions via extreme dilution of pure materials made from isotopes selected to minimize noise from nuclear spins. We demonstrate that for a dense TLS network in a noisy nuclear spin bath, we can take advantage of interactions to pass from hopping to fluctuation dominance, increasing decoherence times by almost three orders of magnitude. In the dilute rare-earth insulator LiY1-xTbxF4, Tb ions realize TLS characterized by a 30GHz splitting and readily implemented clock states. Dipolar interactions lead to coherent, localized pairs of Tb ions, that decohere due to fluctuating quantum mechanical ring-exchange interaction, sensing the slow dynamics of the surrounding, nearly localized Tb spins. The hopping and fluctuation regimes are sharply distinguished by their Rabi oscillations and the invisible vs. strong effect of classic 'error correcting' microwave pulse sequences. Laying open the decoherence mechanisms at play in a dense, disordered and noisy network of interacting TLS, our work expands the search space for quantum sensors and qubits to include clusters in dense, disordered materials, that can be explored for localization effects.


title: Energetics, electronic states, and magnetism of iron phthalocyanine on pristine and defected graphene layers

abstract: Transition metal phthalocyanines (TMPc's) are under intense scrutiny in the field of spintronics, as they may be promising storage devices. The simplicity and cheapness of such molecules increase their commercial potential. There is an active study of how the magnetic moment of the metal centre of such molecules can be changed. Here, we particularly consider the iron phthalocyanine molecule (FePc) on a graphene layer as a substrate. We study how graphene defects (the Stone-Wales defect, B-doping, N-doping, S-doping, and combined B (N, S)-doped Stone-Wales defects) change the FePc electronic structure. We present ab initio study of the systems, which is done using several approaches: based on periodic plane wave density functional theory (DFT), a linear combination of atomic orbitals (LCAO) DFT with a cluster representation of graphene, and multiconfigurational methods with the pyrene molecule presented as a miniaturised graphene cluster. The treatment of the FePc/Graphene hybrid system using multiconfigurational methods was done for the first time. It was found that the hybrid systems with B- and N- dopings have quasi-degenerate ground states and it is necessary to go beyond the approximation of one Slater determinant.


title: Lithography-free directional control of thermal emission

abstract: Blackbody thermal emission is spatially diffuse. Achieving highly directional thermal emission typically requires nanostructuring the surface of the thermally emissive medium. The most common configuration is a subwavelength grating that scatters surface polaritonic modes from the near-field to the far-field and produces antenna-like lobes of thermal emission. This concept, however, is typically limited to a particular linear polarization, and requires sophisticated lithography. Here, we revisit the simple motif of a planar Salisbury screen. We show analytically how the interplay between the real and imaginary part of the dielectric permittivity of the emitter layer defines the directional characteristics of emission, which can range from diffuse to highly directional. We propose a realistic configuration and show that hexagonal Boron Nitride thin films can enable grating-like thermal emission lobes in a lithography-free platform.


title: NGTS-21b: An Inflated Super-Jupiter Orbiting a Metal-poor K dwarf

abstract: We report the discovery of NGTS-21b, a massive hot Jupiter orbiting a low-mass star as part of the Next Generation Transit Survey (NGTS). The planet has a mass and radius of $2.36 \pm 0.21$ M$_{\rm J}$, and $1.33 \pm 0.03$ R$_{\rm J}$, and an orbital period of 1.543 days. The host is a K3V ($T_{\rm eff}=4660 \pm 41$, K) metal-poor (${\rm [Fe/H]}=-0.26 \pm 0.07$, dex) dwarf star with a mass and radius of $0.72 \pm 0.04$, M$_{\odot}$,and $0.86 \pm 0.04$, R$_{\odot}$. Its age and rotation period of $10.02^{+3.29}_{-7.30}$, Gyr and $17.88 \pm 0.08$, d respectively, are in accordance with the observed moderately low stellar activity level. When comparing NGTS-21b with currently known transiting hot Jupiters with similar equilibrium temperatures, it is found to have one of the largest measured radii despite its large mass. Inflation-free planetary structure models suggest the planet's atmosphere is inflated by $\sim21\%$, while inflationary models predict a radius consistent with observations, thus pointing to stellar irradiation as the probable origin of NGTS-21b's radius inflation. Additionally, NGTS-21b's bulk density ($1.25 \pm 0.15$, g/cm$^3$) is also amongst the largest within the population of metal-poor giant hosts ([Fe/H] < 0.0), helping to reveal a falling upper boundary in metallicity-planet density parameter space that is in concordance with core accretion formation models. The discovery of rare planetary systems such as NGTS-21 greatly contributes towards better constraints being placed on the formation and evolution mechanisms of massive planets orbiting low-mass stars.


title: Bernstein-Sato polynomials of semi-weighted-homogeneous polynomials of nearly Brieskorn-Pham type

abstract: Let $f$ be a semi-weighted-homogeneous polynomial having an isolated singularity at 0. Let $\alpha_{f,k}$ be the spectral numbers of $f$ at 0. By Malgrange and Varchenko there are non-negative integers $r_k$ such that the $\alpha_{f,k}-r_k$ are the roots up to sign of the local Bernstein-Sato polynomial $b_f(s)$ divided by $s+1$. However, it is quite difficult to determine these shifts $r_k$ explicitly on the parameter space of $\mu$-constant deformation of a weighted homogeneous polynomial. Assuming the latter is nearly Brieskorn-Pham type, we can obtain a very simple algorithm to determine these shifts, which can be realized by using Singular (or even C) without employing Gr\"obner bases. This implies a refinement of classical work of M. Kato and P. Cassou-Nogu\`es in two variable cases, showing that the stratification of the parameter space can be controlled by using the (partial) additive semigroup structure of the weights of parameters. As a corollary we get for instance a sufficient condition for all the shiftable roots of $b_f(s)$ to be shifted. We can also produce examples where the minimal root of $b_f(s)$ is quite distant from the others as well as examples of semi-homogeneous polynomials with roots of $b_f(s)$ nonconsecutive.


title: WaveFit: An Iterative and Non-autoregressive Neural Vocoder based on Fixed-Point Iteration

abstract: Denoising diffusion probabilistic models (DDPMs) and generative adversarial networks (GANs) are popular generative models for neural vocoders. The DDPMs and GANs can be characterized by the iterative denoising framework and adversarial training, respectively. This study proposes a fast and high-quality neural vocoder called \textit{WaveFit}, which integrates the essence of GANs into a DDPM-like iterative framework based on fixed-point iteration. WaveFit iteratively denoises an input signal, and trains a deep neural network (DNN) for minimizing an adversarial loss calculated from intermediate outputs at all iterations. Subjective (side-by-side) listening tests showed no statistically significant differences in naturalness between human natural speech and those synthesized by WaveFit with five iterations. Furthermore, the inference speed of WaveFit was more than 240 times faster than WaveRNN. Audio demos are available at \url{google.github.io/df-conformer/wavefit/}.


title: The Answer to Baggett's Problem is Affirmative

abstract: Let $\psi$ be a Parceval wavelet in $L^2 (\R)$ with the space of negative dilates $V(\psi)$. The intersection of the dilates $V(\psi)$ is the zero space. In other words, we have \begin{align*} \bigcap_{n\in\Z} D^n \overline{\textrm{span}}\{D^{\textrm{-}m} T^\ell \psi \mid m\geq 0, m,\ell\in\Z\}=\{0\}. \end{align*}


title: Interwoven atypical quantum states in CeLiBi$_2$

abstract: We report the discovery of CeLiBi$_2$, the first example of a material in the tetragonal Ce$TX_2$ ($T$ = transition metal; $X$ = pnictogen) family wherein an alkali cation replaces the typical transition metal. Magnetic susceptibility and neutron powder diffraction measurements are consistent with a crystal-field $\Gamma_6$ ground state Kramers doublet that orders antiferromagnetically below $T_N = 3.4$ K with an incommensurate propagation wave vector ${\bf{k}} = (0, 0.0724(4), 0.5)$ that generates a nanometric modulation of the magnetic structure. The best model of the ordered state is an elliptical cycloid with Ce moments primarily residing in the $ab$ plane. This is highly unusual, as all other $\Gamma_6$ Ce$TX_2$ members order ferromagnetically. Further, we observe an atypical hard-axis metamagnetic transition at $2$ T in magnetostriction, magnetization, and resistivity measurements. CeLiBi$_2$ is a rare example of a highly conductive material with dominant skew scattering leading to a large anomalous Hall effect. Quantum oscillations with five frequencies arise in magnetostriction and magnetic susceptibility data to $T = 30$ K and $\mu_0H = 55$ T, which indicate small Fermi pockets of light carriers with effective masses as low as 0.07$m_e$. Density functional theory calculations indicate that square-net Dirac-like Bi$-p$ bands are responsible for these ultralight carriers. Together, our results show that CeLiBi$_2$ enables multiple atypical magnetic and electronic properties in a single clean material.


title: A New Hip Fracture Risk Index Derived from FEA-Computed Proximal Femur Fracture Loads and Energies-to-Failure

abstract: Hip fracture risk assessment is an important but challenging task. Quantitative CT-based patient specific finite element analysis (FEA) computes the force (fracture load) to break the proximal femur in a particular loading condition. It provides different structural information about the proximal femur that can influence a subject overall fracture risk. To obtain a more robust measure of fracture risk, we used principal component analysis (PCA) to develop a global FEA computed fracture risk index that incorporates the FEA-computed yield and ultimate failure loads and energies to failure in four loading conditions (single-limb stance and impact from a fall onto the posterior, posterolateral, and lateral aspects of the greater trochanter) of 110 hip fracture subjects and 235 age and sex matched control subjects from the AGES-Reykjavik study. We found that the first PC (PC1) of the FE parameters was the only significant predictor of hip fracture. Using a logistic regression model, we determined if prediction performance for hip fracture using PC1 differed from that using FE parameters combined by stratified random resampling with respect to hip fracture status. The results showed that the average of the area under the receive operating characteristic curve (AUC) using PC1 was always higher than that using all FE parameters combined in the male subjects. The AUC of PC1 and AUC of the FE parameters combined were not significantly different than that in the female subjects or in all subjects


title: LPT: Long-tailed Prompt Tuning for Image Classification

abstract: For long-tailed classification, most works often pretrain a big model on a large-scale dataset, and then fine-tune the whole model for adapting to long-tailed data. Though promising, fine-tuning the whole pretrained model tends to suffer from high cost in computation and deployment of different models for different tasks, as well as weakened generalization ability for overfitting to certain features of long-tailed data. To alleviate these issues, we propose an effective Long-tailed Prompt Tuning method for long-tailed classification. LPT introduces several trainable prompts into a frozen pretrained model to adapt it to long-tailed data. For better effectiveness, we divide prompts into two groups: 1) a shared prompt for the whole long-tailed dataset to learn general features and to adapt a pretrained model into target domain; and 2) group-specific prompts to gather group-specific features for the samples which have similar features and also to empower the pretrained model with discrimination ability. Then we design a two-phase training paradigm to learn these prompts. In phase 1, we train the shared prompt via supervised prompt tuning to adapt a pretrained model to the desired long-tailed domain. In phase 2, we use the learnt shared prompt as query to select a small best matched set for a group of similar samples from the group-specific prompt set to dig the common features of these similar samples, then optimize these prompts with dual sampling strategy and asymmetric GCL loss. By only fine-tuning a few prompts while fixing the pretrained model, LPT can reduce training and deployment cost by storing a few prompts, and enjoys a strong generalization ability of the pretrained model. Experiments show that on various long-tailed benchmarks, with only ~1.1% extra parameters, LPT achieves comparable performance than previous whole model fine-tuning methods, and is more robust to domain-shift.


title: Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability

abstract: We study the computational complexity of model checking and satisfiability problems of polyadic modal logics extended with permutations and Boolean operators on accessibility relations. First, we show that the combined complexity of the model checking problem for the resulting logic is PTime-complete. Secondly, we show that the satisfiability problem of polyadic modal logic extended with negation on accessibility relations is ExpTime-complete. Finally, we show that the satisfiability problem of polyadic modal logic with permutations and Boolean operators on accessibility relations is ExpTime-complete, under the necessary assumption that the number of accessibility relations that can be used is bounded by a constant.


title: Expediting Large-Scale Vision Transformer for Dense Prediction without Fine-tuning

abstract: Vision transformers have recently achieved competitive results across various vision tasks but still suffer from heavy computation costs when processing a large number of tokens. Many advanced approaches have been developed to reduce the total number of tokens in large-scale vision transformers, especially for image classification tasks. Typically, they select a small group of essential tokens according to their relevance with the class token, then fine-tune the weights of the vision transformer. Such fine-tuning is less practical for dense prediction due to the much heavier computation and GPU memory cost than image classification. In this paper, we focus on a more challenging problem, i.e., accelerating large-scale vision transformers for dense prediction without any additional re-training or fine-tuning. In response to the fact that high-resolution representations are necessary for dense prediction, we present two non-parametric operators, a token clustering layer to decrease the number of tokens and a token reconstruction layer to increase the number of tokens. The following steps are performed to achieve this: (i) we use the token clustering layer to cluster the neighboring tokens together, resulting in low-resolution representations that maintain the spatial structures; (ii) we apply the following transformer layers only to these low-resolution representations or clustered tokens; and (iii) we use the token reconstruction layer to re-create the high-resolution representations from the refined low-resolution representations. The results obtained by our method are promising on five dense prediction tasks, including object detection, semantic segmentation, panoptic segmentation, instance segmentation, and depth estimation.


title: Physical Modeling of Dust Polarization from Magnetically Enhanced Radiative Torque (MRAT) Alignment in Protostellar Cores with POLARIS

abstract: Magnetic fields ($\textbf{B}$) are an important factor that controls the star formation process. The leading method to observe $\textbf{B}$ is using polarized thermal emission from dust grains aligned with $\textbf{B}$. However, in dense environments such as protostellar cores, dust grains may have inefficient alignment due to strong gas randomizations, so that using dust polarization to trace $\textbf{B}$ is uncertain. Hoang $\&$ Lazarian (2016) demonstrated that the grain alignment by RAdiative Torques is enhanced if dust grains contain embedded iron inclusions. Here we extend POLARIS code to study the effect of iron inclusions on grain alignment and thermal dust polarization toward a protostellar core, assuming uniform magnetic fields. We found that paramagnetic grains produce a low polarization degree of $p \sim 1\%$ in the envelope and negligible $p \ll 1\%$ in the central region due to the loss of grain alignment. In contrast, grains with a high level of iron inclusions can have perfect alignment and produce high $p \sim 40\%$ in the envelope and low $p \leq 10\%$ in the central region. Grains with a moderate level of iron inclusions induce the polarization flipping from $\textbf{P}$ $\parallel$ $\textbf{B}$ at millimeter to $\textbf{P}$ $\perp$ $\textbf{B}$ at submillimeter due to the change in the internal alignment caused by slow internal relaxation. The weak alignment of very large grains of $a \geq 10\mu m$ reduces the polarization by dichroic extinction at submillimeter wavelengths. We found a positive correlation between p and the level of iron inclusions, which opens a new window to constrain the abundance of irons locked in dust through dust polarimetry.


title: Anomalous Josephson effect in planar noncentrosymmetric superconducting devices

abstract: In two-dimensional electron systems with broken inversion and time-reversal symmetries, a Josephson junction reveals an anomalous response: the supercurrent is nonzero even at zero phase difference between two superconductors. We consider details of this peculiar phenomenon in the planar double-barrier configurations of hybrid circuits, where the noncentrosymmetric normal region is described in terms of the paradigmatic Rashba model of spin-orbit coupling. We analyze this anomalous Josephson effect by means of both the Ginzburg-Landau formalism and the microscopic Green's functions approach in the clean limit. The magnitude of the critical current is calculated for an arbitrary in-plane magnetic field orientation, and anomalous phase shifts in the Josephson current-phase relation are determined in terms of the parameters of the model in several limiting cases.


title: First-principles Fermi acceleration in magnetized turbulence

abstract: This work provides a concrete implementation of E. Fermi's model of particle acceleration in magnetohydrodynamic (MHD) turbulence, connecting the rate of energization to the gradients of the velocity of magnetic field lines, which it characterizes within a multifractal picture of turbulence intermittency. It then derives a transport equation in momentum space for the distribution function. This description is shown to be substantiated by a large-scale numerical simulation of strong MHD turbulence. The present, general framework can be used to model particle acceleration in a variety of environments.


title: The effect of vanadium substitution on the structural and magnetic properties of (Fe$_{1-x}$V$_{x}$)$_{3}$Ga$_{4}$

abstract: Fe$_{3}$Ga$_{4}$ displays a complex magnetic phase diagram that is sensitive and tunable with both electronic and crystallographic structure changes. In order to explore this tunability, vanadium-doped (Fe$_{1-x}$V$_{x}$)$_{3}$Ga$_{4}$ has been synthesized and characterized. High-resolution synchrotron X-ray diffraction and Rietveld refinement show that samples up to 20\% V-doping remain isostructural to Fe$_{3}$Ga$_{4}$ and display a linear increase in unit cell volume as doping is increased. Magnetic measurements reveal a suppression of the antiferromagnetic helical spin-density wave (SDW) with V-doping, revealed by changes in both the low-temperature ferromagnetic-antiferromagentic (FM-AFM) transition (T$_{1}$) and high-temperature AFM-FM transition (T$_{2}$). At 7.5\% V-doping, the metamagnetic behavior of the helical AFM SDW phase is no longer observed. These results offer an avenue to effective tuning of the magnetic order in Fe$_{3}$Ga$_{4}$ for devices, as well as increased understanding of the magnetism in this system.


title: Achromatic design of a photonic tricoupler and phase shifter for broadband nulling interferometry

abstract: Nulling interferometry is one of the most promising technologies for imaging exoplanets within stellar habitable zones. The use of photonics for carrying out nulling interferometry enables the contrast and separation required for exoplanet detection. So far, two key issues limiting current-generation photonic nullers have been identified: phase variations and chromaticity within the beam combiner. The use of tricouplers addresses both limitations, delivering a broadband, achromatic null together with phase measurements for fringe tracking. Here, we present a derivation of the transfer matrix of the tricoupler, including its chromatic behaviour, and our 3D design of a fully symmetric tricoupler, built upon a previous design proposed for the GLINT instrument. It enables a broadband null with symmetric, baseline-phase-dependent splitting into a pair of bright channels when inputs are in anti-phase. Within some design trade space, either the science signal or the fringe tracking ability can be prioritised. We also present a tapered-waveguide $180^\circ$-phase shifter with a phase variation of $0.6^\circ$ in the $1.4-1.7~\mu$m band, producing a near-achromatic differential phase between beams{ for optimal operation of the tricoupler nulling stage}. Both devices can be integrated to deliver a deep, broadband null together with a real-time fringe phase metrology signal.


title: Probabilistic Safeguard for Reinforcement Learning Using Safety Index Guided Gaussian Process Models

abstract: Safety is one of the biggest concerns to applying reinforcement learning (RL) to the physical world. In its core part, it is challenging to ensure RL agents persistently satisfy a hard state constraint without white-box or black-box dynamics models. This paper presents an integrated model learning and safe control framework to safeguard any agent, where its dynamics are learned as Gaussian processes. The proposed theory provides (i) a novel method to construct an offline dataset for model learning that best achieves safety requirements; (ii) a parameterization rule for safety index to ensure the existence of safe control; (iii) a safety guarantee in terms of probabilistic forward invariance when the model is learned using the aforementioned dataset. Simulation results show that our framework guarantees almost zero safety violation on various continuous control tasks.


title: Voltage control of frequency, effective damping and threshold current in nano-constriction-based spin Hall nano-oscillators

abstract: Using micromagnetic simulations, we study the interplay between strongly voltage-controlled magnetic anisotropy (VCMA), $\Delta K = \pm$200 kJ/m$^3$, and gate width, $w=$ 10--400 nm, in voltage-gated W/CoFeB/MgO based nano-constriction spin Hall nano-oscillators. The VCMA modifies the local magnetic properties such that the magnetodynamics transitions between regimes of \emph{i}) confinement, \emph{ii}) tuning, and \emph{iii}) separation, with qualitatively different behavior. We find that the strongest tuning is achieved for gate widths of the same size as the the constriction width, for which the effective damping can be increased an order of magnitude compared to its intrinsic value. As a consequence, voltage control remains efficient over a very large frequency range, and subsequent manufacturing advances could allow SHNOs to be easily integrated into next-generation electronics for further fundamental studies and industrial applications.


title: A polymer-tethered particle confined in a slit

abstract: Shape transformations of hairy nanoparticles under confinement are studied using molecular dynamic simulations. We discuss the behavior of these particles in slits with inert or attractive walls. We assume that only chain-wall interactions are attractive. The impact of the strength of interactions with the walls and the width of the slits on the particle configuration is shown. In the case of attractive surfaces, we found new structures in which the chains are connected with both walls and form bridges between them: pillars, symmetrical and asymmetrical spools, and hourglasses. In wide pores with strongly attractive walls, hairy particles adsorb on one of the surfaces and form "mounds" or starfish-like strucures.


title: SPARC: Sparse Render-and-Compare for CAD model alignment in a single RGB image

abstract: Estimating 3D shapes and poses of static objects from a single image has important applications for robotics, augmented reality and digital content creation. Often this is done through direct mesh predictions which produces unrealistic, overly tessellated shapes or by formulating shape prediction as a retrieval task followed by CAD model alignment. Directly predicting CAD model poses from 2D image features is difficult and inaccurate. Some works, such as ROCA, regress normalised object coordinates and use those for computing poses. While this can produce more accurate pose estimates, predicting normalised object coordinates is susceptible to systematic failure. Leveraging efficient transformer architectures we demonstrate that a sparse, iterative, render-and-compare approach is more accurate and robust than relying on normalised object coordinates. For this we combine 2D image information including sparse depth and surface normal values which we estimate directly from the image with 3D CAD model information in early fusion. In particular, we reproject points sampled from the CAD model in an initial, random pose and compute their depth and surface normal values. This combined information is the input to a pose prediction network, SPARC-Net which we train to predict a 9 DoF CAD model pose update. The CAD model is reprojected again and the next pose update is predicted. Our alignment procedure converges after just 3 iterations, improving the state-of-the-art performance on the challenging real-world dataset ScanNet from 25.0% to 31.8% instance alignment accuracy. Code will be released at https://github.com/florianlanger/SPARC .


title: Properties of shock waves in the quiet Sun chromosphere

abstract: Short-lived (100s or less), sub-arcsec to a couple of arcsec size features of enhanced brightenings in the narrowband images at the $\mathrm{H_{2V}}$ and $\mathrm{K_{2V}}$ positions of the Ca II H and K lines in the quiet Sun are known as bright grains. With simultaneous observations of a quiet Sun internetwork region in the Fe I 6173 {\AA}, Ca II 8542 {AA}, and Ca II K lines acquired by the CRisp Imaging Spectro-Polarimeter and the CHROMospheric Imaging Spectrometer instruments on the Swedish 1-m Solar Telescope, we performed multi-line non-local thermodynamic equilibrium inversions using the STockholm inversion Code to infer the time-varying stratified atmosphere's physical properties such as the temperature, line-of-sight (LOS) velocity, and microturbulence. The Ca II K profiles of bright grains show enhancement in the $\mathrm{K_{2V}}$ peak intensities with absence of the $\mathrm{K_{2R}}$ features. At the time of maximum enhancement in the $\mathrm{K_{2V}}$ peak intensities, we found average enhancements in temperature at lower chromospheric layers (at $\log\tau_{500}$ $\simeq$ $-$4.2) of about 1.1 kK with maximum enhancement of about 4.5 kK. These temperature enhancements are colocated with upflows, as strong as $-$6 $\mathrm{km\;s^{-1}}$, in the direction of the LOS. The LOS velocities at upper chromospheric layers at $\log\tau_{500}$ < $-$4.2 show consistent downflows greater than $+$8 $\mathrm{km\;s^{-1}}$. The retrieved value of microturbulence in the atmosphere of bright grains is negligible at chromospheric layers. The study provides observational evidence to support the interpretation that the bright grains observed in narrowband images at the $\mathrm{H_{2V}}$ and $\mathrm{K_{2V}}$ positions of the Ca II H and K lines are manifestations of upward propagating acoustic shocks against a background of downflowing atmospheres.


title: What lies beyond the horizon of a holographic p-wave superconductor

abstract: We study the planar anti-de Sitter black hole in the p-wave holographic superconductor model. We identify a critical coupling value which determines the type of phase transition. Beyond the horizon, at specific temperatures flat spacetime emerges. Numerical analysis close to these temperatures demonstrates the appearance of a large number of alternating Kasner epochs.


title: Testing by Dualization

abstract: Software engineering requires rigorous testing to guarantee the product's quality. Semantic testing of functional correctness is challenged by nondeterminism in behavior, which makes testers difficult to write and reason about. This thesis presents a language-based technique for testing interactive systems. I propose a theory for specifying and validating nondeterministic behaviors, with guaranteed soundness and correctness. I then apply the theory to testing practices, and show how to derive specifications into interactive tester programs. I also introduce a language design for producing test inputs that can effectively detect and reproduce invalid behaviors. I evaluate the methodology by specifying and testing real-world systems such as web servers and file synchronizers, demonstrating the derived testers' ability to find disagreements between the specification and the implementation.


title: Extrinsic calibration for highly accurate trajectories reconstruction

abstract: In the context of robotics, accurate ground-truth positioning is the cornerstone for the development of mapping and localization algorithms. In outdoor environments and over long distances, total stations provide accurate and precise measurements, that are unaffected by the usual factors that deteriorate the accuracy of Global Navigation Satellite System (GNSS). While a single robotic total station can track the position of a target in three Degrees Of Freedom (DOF), three robotic total stations and three targets are necessary to yield the full six DOF pose reference. Since it is crucial to express the position of targets in a common coordinate frame, we present a novel extrinsic calibration method of multiple robotic total stations with field deployment in mind. The proposed method does not require the manual collection of ground control points during the system setup, nor does it require tedious synchronous measurement on each robotic total station. Based on extensive experimental work, we compare our approach to the classical extrinsic calibration methods used in geomatics for surveying and demonstrate that our approach brings substantial time savings during the deployment. Tested on more than 30 km of trajectories, our new method increases the precision of the extrinsic calibration by 25 % compared to the best state-of-the-art method, which is the one taking manually static ground control points.