title: Graph Signal Sampling for Inductive One-Bit Matrix Completion: a Closed-form Solution

abstract: Inductive one-bit matrix completion is motivated by modern applications such as recommender systems, where new users would appear at test stage with the ratings consisting of only ones and no zeros. We propose a unified graph signal sampling framework which enjoys the benefits of graph signal analysis and processing. The key idea is to transform each user's ratings on the items to a function (signal) on the vertices of an item-item graph, then learn structural graph properties to recover the function from its values on certain vertices -- the problem of graph signal sampling. We propose a class of regularization functionals that takes into account discrete random label noise in the graph vertex domain, then develop the GS-IMC approach which biases the reconstruction towards functions that vary little between adjacent vertices for noise reduction. Theoretical result shows that accurate reconstructions can be achieved under mild conditions. For the online setting, we develop a Bayesian extension, i.e., BGS-IMC which considers continuous random Gaussian noise in the graph Fourier domain and builds upon a prediction-correction update algorithm to obtain the unbiased and minimum-variance reconstruction. Both GS-IMC and BGS-IMC have closed-form solutions and thus are highly scalable in large data. Experiments show that our methods achieve state-of-the-art performance on public benchmarks.


title: Spatiotemporal Deformation Perception for Fisheye Video Rectification

abstract: Although the distortion correction of fisheye images has been extensively studied, the correction of fisheye videos is still an elusive challenge. For different frames of the fisheye video, the existing image correction methods ignore the correlation of sequences, resulting in temporal jitter in the corrected video. To solve this problem, we propose a temporal weighting scheme to get a plausible global optical flow, which mitigates the jitter effect by progressively reducing the weight of frames. Subsequently, we observe that the inter-frame optical flow of the video is facilitated to perceive the local spatial deformation of the fisheye video. Therefore, we derive the spatial deformation through the flows of fisheye and distorted-free videos, thereby enhancing the local accuracy of the predicted result. However, the independent correction for each frame disrupts the temporal correlation. Due to the property of fisheye video, a distorted moving object may be able to find its distorted-free pattern at another moment. To this end, a temporal deformation aggregator is designed to reconstruct the deformation correlation between frames and provide a reliable global feature. Our method achieves an end-to-end correction and demonstrates superiority in correction quality and stability compared with the SOTA correction methods.


title: On cone partitions for the min-cut and max-cut problems with non-negative edges

abstract: We consider the classical minimum and maximum cut problems: find a partition of vertices of a graph into two disjoint subsets that minimize or maximize the sum of the weights of edges with endpoints in different subsets. It is known that if the edge weights are non-negative, then the min-cut problem is polynomially solvable, while the max-cut problem is NP-hard. We construct a partition of the positive orthant into convex cones corresponding to the characteristic cut vectors, similar to a normal fan of a cut polyhedron. A graph of a cone partition is a graph whose vertices are cones, and two cones are adjacent if and only if they have a common facet. We define adjacency criteria in the graphs of cone partitions for the min-cut and max-cut problems. Based on them, we show that for both problems the vertex degrees are exponential, and the graph diameter equals 2. These results contrast with the clique numbers of graphs of cone partitions, which are linear for the minimum cut problem and exponential for the maximum cut problem.


title: Zero-full law for well approximable sets in generalized Cantor sets

abstract: Let $t \geq 2$ be an integer and $C(b,D)$ be a generalized Cantor set with $b \geq 3$. We study how close can numbers in $C(b,D)$ be approximated by rational numbers with denominators $t^n$. For any function $\psi : \mathbb{N} \to (0,\infty)$, let $W_{t} (\psi)$ be the set of numbers in $[0,1]$ such that $|x - p/t^n| < \psi(n)$ for infinitely many $(p,n) \in \mathbb{N}^2$. We correct an error in a result of Levesley, Salp and Velani (Math. Ann., 338:97-118, 2007) on the Hausdorff measure of $W_{t} (\psi) \cap C(b,D)$ when $b=t$, and also prove a generalization when $b$ and $t$ are multiplicatively dependent. If $b$ and $t$ are multiplicatively independent but have the same prime divisors, we obtain a partial result on the Hausdorff measure and bounds for the Hausdorff dimension, which are close to the multiplicatively dependent case. Based on these results, several conjectures are proposed.


title: Cluster Index Modulation for Reconfigurable Intelligent Surface-Assisted mmWave Massive MIMO

abstract: In this paper, we propose a transmission mechanism for a reconfigurable intelligent surface (RIS)-assisted millimeter wave (mmWave) system based on cluster index modulation (CIM), named best-gain optimized cluster selection CIM (BGCS-CIM). The proposed BGCS-CIM scheme considers effective cluster power gain and spatial diversity gain obtained by the additional paths within the indexed cluster to construct an efficient codebook. We also integrate the proposed scheme into a practical system model to create a virtual path between transmitter and receiver where the direct link has been blocked. Thanks to the designed whitening filter, a closed-form expression for the upper bound on the average bit error rate (ABER) is derived and used to validate the simulation results. It has been shown that the proposed BGCS-CIM scheme outperforms the existing benchmarks thanks to its higher effective cluster gain, spatial diversity of indexed clusters, and lower inter-cluster interference.


title: Observation of a Pinched-Loop in a Current-Excited Inductive Circuit

abstract: In this work, we show that a pinched-loop can be observed in the voltage-current plane when a series R-L circuit is current excited. Specifically, the resistance (R) in this circuit is variable and is voltage-controlled by the voltage developed across the inductor due to the exciting current. In this context, we confirm our previous results that the pinched-loop is not a characteristic of memrsitors or memrsitive systems and that it can be observed in many other nonlinear systems. Numerical simulations, circuit simulations and experimental results validate the theory.


title: Learning Interaction-aware Motion Prediction Model for Decision-making in Autonomous Driving

abstract: Predicting the behaviors of other road users is crucial to safe and intelligent decision-making for autonomous vehicles (AVs). However, most motion prediction models ignore the influence of the AV's actions and the planning module has to treat other agents as unalterable moving obstacles. To address this problem, this paper proposes an interaction-aware motion prediction model that is able to predict other agents' future trajectories according to the ego agent's future plan, i.e., their reactions to the ego's actions. Specifically, we employ Transformers to effectively encode the driving scene and incorporate the AV's plan in decoding the predicted trajectories. To train the model to accurately predict the reactions of other agents, we develop an online learning framework, where the ego agent explores the environment and collects other agents' reactions to itself. We validate the decision-making and learning framework in three highly interactive simulated driving scenarios. The results reveal that our decision-making method significantly outperforms the reinforcement learning methods in terms of data efficiency and performance. We also find that using the interaction-aware model can bring better performance than the non-interaction-aware model and the exploration process helps improve the success rate in testing.


title: Motional ground-state cooling of single atoms in state-dependent optical tweezers

abstract: Laser cooling of single atoms in optical tweezers is a prerequisite for neutral atom quantum computing and simulation. Resolved sideband cooling comprises a well-established method for efficient motional ground-state preparation, but typically requires careful cancellation of light shifts in so-called magic traps. Here, we study a novel laser cooling scheme which overcomes such constraints, and applies when the ground-state of a narrow cooling transition is trapped stronger than the excited state. We demonstrate our scheme, which exploits sequential addressing of red sideband transitions via frequency chirping of the cooling light, at the example of $^{88}$Sr atoms, and report ground-state populations compatible with recent experiments in magic tweezers. The scheme also induces light-assisted collisions, which are key to the assembly of large atom arrays. Our work enriches the toolbox for tweezer-based quantum technology, also enabling applications for tweezer-trapped molecules and ions that are incompatible with resolved sideband cooling conditions.


title: AVeCQ: Anonymous Verifiable Crowdsourcing with Worker Qualities

abstract: In crowdsourcing systems, requesters publish tasks, and interested workers provide answers to get rewards. Worker anonymity motivates participation since it protects their privacy. Anonymity with unlinkability is an enhanced version of anonymity because it makes it impossible to ``link'' workers across the tasks they participate in. Another core feature of crowdsourcing systems is worker quality which expresses a worker's trustworthiness and quantifies their historical performance. Notably, worker quality depends on the participation history, revealing information about it, while unlinkability aims to disassociate the workers' identities from their past activity. In this work, we present AVeCQ, the first crowdsourcing system that reconciles these properties, achieving enhanced anonymity and verifiable worker quality updates. AVeCQ relies on a suite of cryptographic tools, such as zero-knowledge proofs, to (i) guarantee workers' privacy, (ii) prove the correctness of worker quality scores and task answers, and (iii) commensurate payments. AVeCQ is developed modularly, where the requesters and workers communicate over a platform that supports pseudonymity, information logging, and payments. In order to compare AVeCQ with the state-of-the-art, we prototype it over Ethereum. AVeCQ outperforms the state-of-the-art in three popular crowdsourcing tasks (image annotation, average review, and Gallup polls). For instance, for an Average Review task with $5$ choices and $128$ participating workers AVeCQ is 40\% faster (including overhead to compute and verify the necessary proofs and blockchain transaction processing time) with the task's requester consuming 87\% fewer gas units.


title: Challenges in Designing Teacher Robots with Motivation Based Gestures

abstract: Humanoid robots are increasingly being integrated into learning contexts to assist teaching and learning. However, challenges remain how to design and incorporate such robots in an educational context. As an important part of teaching includes monitoring the motivational and emotional state of the learner and adapting the interaction style and learning content accordingly, in this paper, we discuss the role of gestures displayed by a humanoid robot (i.e., Pepper robot) in a learning and teaching context and present our ongoing research on designing and developing a teacher robot.


title: Definition of Static and Dynamic Load Models for Grid Studies of Electric Vehicles Connected to Fast Charging Stations

abstract: The growing deployment of electric mobility calls for power system analyses to investigate to what extent the simultaneous charging of electric vehicles leads to degraded network operation and to validate the efficiency of countermeasures. To reduce complexity and CPU time, a common approach while performing these analyses consists in replacing electric vehicles and their charging stations with constant PQ loads. However, this approach is inaccurate, as the power absorbed by these elements actually depends not only on voltage but also on the state of charge, charging method, cathode chemistry of the battery pack, and converter controls in the electric vehicle and charging station. By considering all these aspects, this article develops a novel static load model and a vector fitting-based dynamic load model for electric vehicles connected to fast charging stations. These computationally efficient representations can replace the standard constant PQ load model of electric vehicles to assess more accurately their impact in static and dynamic grid studies. Simulation results of the IEEE14 system modified by adding fleets of electric vehicles prove the accuracy of the proposed models and highlight the shortcomings of the standard electric vehicle representation as a constant PQ load in some cases.


title: Mo$_{3}$ReRuC: A noncentrosymmetric superconductor formed in the MoReRu-Mo$_{2}$C system

abstract: A quaternary compound with the composition Mo$_{3}$ReRuC is obtained in a previously unexplored MoReRu-Mo$_{2}$C system. According to x-ray structural analysis, Mo$_{3}$ReRuC crystallizes in the noncentrosymmetric space group $P$4$_{1}$32 (cubic $\beta$-Mn type structure, $a$ = 6.8107(1) {\AA}). Below 7.7 K, Mo$_{3}$ReRuC becomes a bulk type-II superconductor with an upper critical field close to the Pauli paramagnetic limit. The specific heat data gives a large normalized jump $\Delta$$C_{\rm p}$/$\gamma$$T_{\rm c}$ = 2.3 at $T_{\rm c}$, which points to a strongly coupled superconducting state. First principles calculations show that its electronic states at the Fermi level are mainly contributed by Mo, Re and Ru atoms and strongly increased by the spin-orbit coupling. Our finding suggests that the intermediate phase between alloys and carbides may be a good place to look for $\beta$-Mn type noncentrosymmetric superconductors.


title: Gibbsian polar slice sampling

abstract: Polar slice sampling (Roberts & Rosenthal, 2002) is a Markov chain approach for approximate sampling of distributions that is difficult, if not impossible, to implement efficiently, but behaves provably well with respect to the dimension. By updating the directional and radial components of chain iterates separately, we obtain a family of samplers that mimic polar slice sampling, and yet can be implemented efficiently. Numerical experiments in a variety of settings indicate that our proposed algorithm outperforms the two most closely related approaches, elliptical slice sampling (Murray et al., 2010) and hit-and-run uniform slice sampling (MacKay, 2003). We prove the well-definedness and convergence of our methods under suitable assumptions on the target distribution.


title: Plant-wide byproduct gas distribution under uncertainty in iron and steel industry via quantile forecasting and robust optimization

abstract: In the modern iron and steel industry, the efficient distribution of byproduct gases faces significant challenges due to quantity- and quality-related uncertainties of gases. This study presents an optimal approach to gas distribution that addresses this issue by incorporating the energy flow network and the uncertain surplus gases from the manufacturing system. The uncertain optimization problem is formulated as a two-stage robust optimization (TSRO) model, including "here-and-now" decisions aimed at minimizing the start-stop cost of energy conversion units, as well as "wait-and-see" decisions aimed at minimizing the operating cost of gasholders and the penalties resulting from energy excess or shortage. To facilitate practical implementation, we propose a "first quantify, then optimize" approach: (1) quantifying the uncertainty of surplus gases via a conditional quantile regression (CDQ)-based T-step time series model, and (2)finding the optimal solution through a column-and-constraint generation algorithm. Furthermore, a case study is conducted on an industrial energy system to validate the proposed methodology. Computational results, using evaluation indicators, such as MAPE, RMSE, PICP, and PINAW, confirm the effectiveness of the data-driven time series model in accurately quantifying uncertainties in each period. Sensitivity analysis demonstrates that the proposed TSRO model achieves a favorable balance between robustness and flexibility by selecting the combination of "budget and quantile" and the parameters of storage and conversion units. Consequently, TSRO can efficiently find a robust gas distribution solution with the desired level of conservativeness for integrated iron and steel plants.


title: Diameter of a direct power of alternating groups

abstract: So far, it has been proven that if $G$ is an abelian group , then the diameter of $G^n$ with respect to any generating set is $O(n)$; and if $G$ is nilpotent, symmetric or dihedral, then there exists a generating set of minimum size, for which the diameter of $G^n$ is $O(n)$ \cite{Karimi:2017}. In \cite{Dona:2022} it has been proven that if $G$ is a non-abelian simple group, then the diameter of $G^n$ with respect to any generating set is $O(n^3)$. In this paper we estimate the diameter of direct power of alternating groups $A_n$ for $n \geq 4$, i.e. a class of non-abelian simple groups. We show that there exist a generating set of minimum size for $A_4^n$, for which the diameter of $A_4^n$ is $O(n)$. For $n \geq 5$, we show that there exists a generating set of minimum size for $A_n^2$, for which the diameter of $A_n^2$ is at most $O(ne^{(c+1) (\log \,n)^4 \log \log n})$ , for an absolute constant $c >0$. Finally for $ 1\leq n \leq 8 $, we provide generating sets of size two for $A_5^n$ and we show that the diameter of $A_5^n$ with respect to those generating sets is $O(n)$. These results are more pieces of evidence for a conjecture which has been presented in \cite{Karimithesis:2015} in 2015.


title: Hilltop Sneutrino Hybrid Inflation

abstract: In this work, we consider a hilltop version of the (supersymmetric) sneutrino hybrid inflation where the right-handed sneutrino field plays the role of the inflaton field. This model is a type III hilltop inflation that can produce a spectral index $n_s=0.96$ which fits perfectly to experimental observations without fine-tuning of parameters. We also briefly consider nonthermal leptogenesis via the decay of the right-handed sneutrino inflaton field after inflation.


title: Genus expansion of matrix models and $\hbar$ expansion of $B$KP hierarchy

abstract: We continue the investigation of the connection between the genus expansion of matrix models and the $\hbar$ expansion of integrable hierarchies started in arXiv:2008.06416. In this paper, we focus on the $B$KP hierarchy, which corresponds to the infinite-dimensional Lie algebra of type $B$. We consider the genus expansion of such important solutions as Br\'{e}zin-Gross-Witten (BGW) model, Kontsevich model, and generating functions for spin Hurwitz numbers with completed cycles. We show that these partition functions with inserted parameter $\hbar$, which controls the genus expansion, are solutions of the $\hbar$-$B$KP hierarchy with good quasi-classical behavior. $\hbar$-$B$KP language implies the algorithmic prescription for $\hbar$-deformation of the mentioned models in terms of hypergeometric $B$KP $\tau$-functions and gives insight into the similarities and differences between the models. Firstly, the insertion of $\hbar$ into the Kontsevich model is similar to the one in the BGW model, though the Kontsevich model seems to be a very specific example of hypergeometric $\tau$-function. Secondly, generating functions for spin Hurwitz numbers appear to possess a different prescription for genus expansion. This property of spin Hurwitz numbers is not the unique feature of $B$KP: already in the KP hierarchy, one can observe that generating functions for ordinary Hurwitz numbers with completed cycles are deformed differently from the standard matrix model examples.


title: Improving (Dis)agreement Detection with Inductive Social Relation Information From Comment-Reply Interactions

abstract: (Dis)agreement detection aims to identify the authors' attitudes or positions (\textit{{agree, disagree, neutral}}) towards a specific text. It is limited for existing methods merely using textual information for identifying (dis)agreements, especially for cross-domain settings. Social relation information can play an assistant role in the (dis)agreement task besides textual information. We propose a novel method to extract such relation information from (dis)agreement data into an inductive social relation graph, merely using the comment-reply pairs without any additional platform-specific information. The inductive social relation globally considers the historical discussion and the relation between authors. Textual information based on a pre-trained language model and social relation information encoded by pre-trained RGCN are jointly considered for (dis)agreement detection. Experimental results show that our model achieves state-of-the-art performance for both the in-domain and cross-domain tasks on the benchmark -- DEBAGREEMENT. We find social relations can boost the performance of the (dis)agreement detection model, especially for the long-token comment-reply pairs, demonstrating the effectiveness of the social relation graph. We also explore the effect of the knowledge graph embedding methods, the information fusing method, and the time interval in constructing the social relation graph, which shows the effectiveness of our model.


title: Revisiting compact star in $F(R)$ gravity: Roles of chameleon potential and energy conditions

abstract: We reexamine the static and spherical symmetric compact star configuration in the $R^2$ model of the $F(R)$ gravity theory. With asymptotic solutions for the additional scalar degrees of freedom, we refine analysis on the external geometry and settle the scalar-hair problem argued in previous works. Performing the numerical integration of the modified Tolman-Oppenheimer-Volkoff equations as a two-boundaries-value problem, we further discuss the scalar-field distribution inside the compact stars and its influence on the mass-radius relation. We show that the chameleon potential plays an essential role in determining the scalar-field profile inside the star. The scalar field often behaves as a quintessential field that effectively decreases the mass of compact stars with lower central energy density.


title: Cut your Losses with Squentropy

abstract: Nearly all practical neural models for classification are trained using cross-entropy loss. Yet this ubiquitous choice is supported by little theoretical or empirical evidence. Recent work (Hui & Belkin, 2020) suggests that training using the (rescaled) square loss is often superior in terms of the classification accuracy. In this paper we propose the "squentropy" loss, which is the sum of two terms: the cross-entropy loss and the average square loss over the incorrect classes. We provide an extensive set of experiments on multi-class classification problems showing that the squentropy loss outperforms both the pure cross entropy and rescaled square losses in terms of the classification accuracy. We also demonstrate that it provides significantly better model calibration than either of these alternative losses and, furthermore, has less variance with respect to the random initialization. Additionally, in contrast to the square loss, squentropy loss can typically be trained using exactly the same optimization parameters, including the learning rate, as the standard cross-entropy loss, making it a true "plug-and-play" replacement. Finally, unlike the rescaled square loss, multiclass squentropy contains no parameters that need to be adjusted.


abstract: There is a strong demand for virtual reality (VR) to bring quality healthcare to underserved populations. This paper addresses this need with the design and prototype of SURVIVRS: Surround Video-Based Virtual Reality for Surgery Guidance. SURVIVRS allows a remote specialist to guide a local surgery team through a virtual reality (VR) telepresence interface. SURVIVRS is motivated by a need for medical expertise in remote and hard-to-reach areas, such as low-to-middle-income countries (LMICs). The remote surgeon interface allows the live observation of a procedure and combines 3D user interface annotation and communication tools on streams of the surgical site and the patient vitals monitor. SURVIVRS also supports debriefing and educational experiences by offering the ability for users to watch recorded surgeries from the point of view of the remote expert. The main contributions of this work are: the feasibility demonstration of the SURVIVRS system through a rigorous 3D user interface design process; the implementation of a prototype application that realizes the proposed design; and a usability evaluation of SURVIVRS showing that the tool was highly favored by users from the general population. The paper discusses the next steps in this line of research aimed at more equitable and diverse access to healthcare.


title: Temporal Video-Language Alignment Network for Reward Shaping in Reinforcement Learning

abstract: Designing appropriate reward functions for Reinforcement Learning (RL) approaches has been a significant problem, especially for complex environments such as Atari games. Utilizing natural language instructions to provide intermediate rewards to RL agents in a process known as reward shaping can help the agent in reaching the goal state faster. In this work, we propose a natural language-based reward shaping approach that maps trajectories from the Montezuma's Revenge game environment to corresponding natural language instructions using an extension of the LanguagE-Action Reward Network (LEARN) framework. These trajectory-language mappings are further used to generate intermediate rewards which are integrated into reward functions that can be utilized to learn an optimal policy for any standard RL algorithms. For a set of 15 tasks from Atari's Montezuma's Revenge game, the Ext-LEARN approach leads to the successful completion of tasks more often on average than the reward shaping approach that uses the LEARN framework and performs even better than the reward shaping framework without natural language-based rewards.


title: Inflationary $\alpha$-Attractor Models with Singular Derivative of Potential

abstract: A generalization of inflationary $\alpha$-attractor models (``polynomial $\alpha$-attractor'') was recently proposed by Kallosh and Linde, in which the potential involves logarithmic functions of the inflaton so that the derivative of the potential but not potential itself has a singularity. We find that the models can lead to viable inflationary observables even without the pole in the kinetic term. Also, the generalization with a pole order other than two does not significantly change the functional form of the potential. This allows a systematic analysis of the predictions of this class of models. Our models predict larger spectral index $n_s$ and tensor-to-scalar ratio $r$ than in the polynomial $\alpha$-attractor: typically, $n_s$ around 0.97--0.98 and $r$ observable by LiteBIRD. Taking advantage of the relatively large $n_s$, we discuss the modification of the potential to produce primordial black holes as the whole dark matter and gravitational waves induced by curvature perturbations detectable by LISA and BBO/DECIGO, while keeping $n_s$ in agreement with the Planck/BICEP/Keck data.


title: Neural Congealing: Aligning Images to a Joint Semantic Atlas

abstract: We present Neural Congealing -- a zero-shot self-supervised framework for detecting and jointly aligning semantically-common content across a given set of images. Our approach harnesses the power of pre-trained DINO-ViT features to learn: (i) a joint semantic atlas -- a 2D grid that captures the mode of DINO-ViT features in the input set, and (ii) dense mappings from the unified atlas to each of the input images. We derive a new robust self-supervised framework that optimizes the atlas representation and mappings per image set, requiring only a few real-world images as input without any additional input information (e.g., segmentation masks). Notably, we design our losses and training paradigm to account only for the shared content under severe variations in appearance, pose, background clutter or other distracting objects. We demonstrate results on a plethora of challenging image sets including sets of mixed domains (e.g., aligning images depicting sculpture and artwork of cats), sets depicting related yet different object categories (e.g., dogs and tigers), or domains for which large-scale training data is scarce (e.g., coffee mugs). We thoroughly evaluate our method and show that our test-time optimization approach performs favorably compared to a state-of-the-art method that requires extensive training on large-scale datasets.


title: A Perceptual Study of Sound Ecology in Peripheral Sonification

abstract: Based on a case study on 3D printing, we have been experimenting on the sonification of multidimensional data for peripheral process monitoring. In a previous paper, we tested the effectiveness of a soundscape which combined intentionally incongruous natural and musical sounds. This was based on the hypothesis that auditory stimuli could better stand out from one another if they were less ecologically coherent, thus allowing for better reaction rates to various notifications. In this paper, we follow up on that hypothesis by testing two new acoustic ecologies, each exclusively consisting of either musical or natural sounds. We then run those ecologies through the same dual-task evaluation process as the previous one in order to compare them. The results seem to favor our hypothesis, as the new ecologies were not detected as accurately as the original. Though, the set of natural sounds seemed to be considered less intrusive by testers, and to allow for a better performance at an external primary task. We hope to see this work become part of a much larger corpus of studies, which may eventually provide a more definite answer on the effect of ecological coherence in peripheral soundscape design.


title: Non-zero-sum Game Control for Multi-vehicle Driving via Reinforcement Learning

abstract: When a vehicle drives on the road, its behaviors will be affected by surrounding vehicles. Prediction and decision should not be considered as two separate stages because all vehicles make decisions interactively. This paper constructs the multi-vehicle driving scenario as a non-zero-sum game and proposes a novel game control framework, which consider prediction, decision and control as a whole. The mutual influence of interactions between vehicles is considered in this framework because decisions are made by Nash equilibrium strategy. To efficiently obtain the strategy, ADP, a model-based reinforcement learning method, is used to solve coupled Hamilton-Jacobi-Bellman equations. Driving performance is evaluated by tracking, efficiency, safety and comfort indices. Experiments show that our algorithm could drive perfectly by directly controlling acceleration and steering angle. Vehicles could learn interactive behaviors such as overtaking and pass. In summary, we propose a non-zero-sum game framework for modeling multi-vehicle driving, provide an effective way to solve the Nash equilibrium driving strategy, and validate at non-signalized intersections.


title: Microlocalisation d'op{\'e}rateurs diff{\'e}rentiels arithm{\'e}tiques sur un sch{\'e}ma formel lisse

abstract: Let $\mathfrak{X}$ be a formal smooth quasi-compact scheme over a complete discrete valuation ring $\mathcal{V}$ of mixed characteristic $(0 , p)$.We consider the sheaves of differential operators $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k , \mathbb{Q}}$ with a congruence level $k \in \mathbb{N}$ and their projective limit $\mathcal{D}_{\mathfrak{X}, \infty} = \varprojlim_k \widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k , \mathbb{Q}}$.In this article, we construct microlocalization sheaves of $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k , \mathbb{Q}}$ for the different congruence levels $k$ admitting transition morphisms.Then we pass to the projective limit over $k$ in order to obtain some microlocalization sheaves of $\mathcal{D}_{\mathfrak{X}, \infty}$.These sheaves will be useful later to define a characteristic variety for coadmissible $\mathcal{D}_{\mathfrak{X}, \infty}$-modules when $\mathfrak{X}$ is a formal curve.


title: Computing aberration coefficients for plane-symmetric reflective systems: A Lie algebraic approach

abstract: We apply the Lie algebraic method to reflecting optical systems with plane-symmetric freeform mirrors. Using analytical ray-tracing equations we construct an optical map. The expansion of this map gives us the aberration coefficients in terms of initial ray coordinates. The Lie algebraic method is applied to treat aberrations up to arbitrary order. The presented method provides a systematic and rigorous approach to the derivation, treatment and composition of aberrations in plane-symmetric systems. We give the results for second- and third-order aberrations and apply them to three single-mirror examples.


title: Smoothing properties of dispersive equations on non-compact symmetric spaces

abstract: We establish the Kato-type smoothing property, i.e., global-in-time smoothing estimates with homogeneous weights, for the Schr\"odinger equation on Riemannian symmetric spaces of non-compact type and general rank. These form a rich class of manifolds with nonpositive sectional curvature and exponential volume growth at infinity, e.g., hyperbolic spaces. We achieve it by proving the Stein-Weiss inequality and the resolvent estimate of the corresponding Fourier multiplier, which are of independent interest. Moreover, we extend the comparison principles to symmetric spaces and deduce different types of smoothing properties for the wave equation, the Klein-Gordon equation, the relativistic and general orders Schr\"odinger equations. In particular, we observe that some smoothing properties, which are known to fail on the Euclidean plane, hold on the hyperbolic plane.


title: First-principles studies of oxygen interstitial dopants in RbPbI$_3$ halide for perovskite solar cells

abstract: Recent research on perovskite solar cells has caught much attention for the application in renewable energy materials. However, the effect of external dopants on the performance of perovskite solar cell is yet to be understood properly. Oxygen atom or molecule is important dopant to influence the stability of structural, electronic and optical properties as well as the performance of perovskite solar cells. RbPbX3-type perovskites have fantastic chemical stability and good power conversion efficiency. Here for the first time, we have studied the effect of interstitial oxygen atom (O1) and molecule (O2) on the structural properties, and hence the electronic structure of RbPbI3 from first principles. A significant reduction of the band gap from ~2.6 eV to ~ 1.0 eV, which is close to the optimal band gap, has been predicted when incorporating oxygen. This could in turn be applied to improve the optical properties for harvesting light if we can control the oxygen level appropriately. In addition, an exotic metallic state has been found in our calculations for interstitial oxygen molecule when there are strong O-O, O-Pb, and O-I bonds, indicating the complex nature of oxygen-doped perovskite solar cells. The comparison between oxygen atom and molecules is consistent with the previous report about oxygen-molecule passivation of perovskite solar cells. This indicated oxygen incorporation can not only improve efficiency and stability but also facilitate the optimal band-gap engineering. Our work has therefore provided an important and timely theoretical insight to the effect of oxygen dopants in perovskite solar cells. Moreover, these results also provide theoretical foundation for further simulations such as molecular dynamics.


title: Learning-based Online Optimization for Autonomous Mobility-on-Demand Fleet Control

abstract: Autonomous mobility-on-demand systems are a viable alternative to mitigate many transportation-related externalities in cities, such as rising vehicle volumes in urban areas and transportation-related pollution. However, the success of these systems heavily depends on efficient and effective fleet control strategies. In this context, we study online control algorithms for autonomous mobility-on-demand systems and develop a novel hybrid combinatorial optimization enriched machine learning pipeline which learns online dispatching and rebalancing policies from optimal full-information solutions. We test our hybrid pipeline on large-scale real-world scenarios with different vehicle fleet sizes and various request densities. We show that our approach outperforms state-of-the-art greedy, and model-predictive control approaches with respect to various KPIs, e.g., by up to 17.1% and on average by 6.3% in terms of realized profit.


title: Distribution of recursive matrix pseudorandom number generator modulo prime powers

abstract: Given a matrix $A\in \mathrm{GL}_d(\mathbb{Z})$. We study the pseudorandomness of vectors $\mathbf{u}_n$ generated by a linear recurrent relation of the form $$ \mathbf{u}_{n+1} \equiv A \mathbf{u}_n \pmod {p^t}, \qquad n = 0, 1, \ldots, $$ modulo $p^t$ with a fixed prime $p$ and sufficiently large integer $t \geq 1$. We study such sequences over very short segments of length which is not accessible via previously used methods. Our technique is based on the method of N. M. Korobov (1972) of estimating double Weyl sums and a fully explicit form of the Vinogradov mean value theorem due to K. Ford (2002). This is combined with some ideas from the work of I. E. Shparlinski (1978) which allows to construct polynomial representations of the coordinates of $\mathbf{u}_n$ and control the $p$-adic orders of their coefficients in polynomial representation.


abstract: Accurate user interest modeling is vital for recommendation scenarios. One of the effective solutions is the sequential recommendation that relies on click behaviors, but this is not elegant in the video feed recommendation where users are passive in receiving the streaming contents and return skip or no-skip behaviors. Here skip and no-skip behaviors can be treated as negative and positive feedback, respectively. With the mixture of positive and negative feedback, it is challenging to capture the transition pattern of behavioral sequence. To do so, FeedRec has exploited a shared vanilla Transformer, which may be inelegant because head interaction of multi-heads attention does not consider different types of feedback. In this paper, we propose Dual-interest Factorization-heads Attention for Sequential Recommendation (short for DFAR) consisting of feedback-aware encoding layer, dual-interest disentangling layer and prediction layer. In the feedback-aware encoding layer, we first suppose each head of multi-heads attention can capture specific feedback relations. Then we further propose factorization-heads attention which can mask specific head interaction and inject feedback information so as to factorize the relation between different types of feedback. Additionally, we propose a dual-interest disentangling layer to decouple positive and negative interests before performing disentanglement on their representations. Finally, we evolve the positive and negative interests by corresponding towers whose outputs are contrastive by BPR loss. Experiments on two real-world datasets show the superiority of our proposed method against state-of-the-art baselines. Further ablation study and visualization also sustain its effectiveness. We release the source code here: https://github.com/tsinghua-fib-lab/WWW2023-DFAR.


title: Spanning trees in graphs without large bipartite holes

abstract: We show that for any $\varepsilon>0$ and $\Delta\in\mathbb{N}$, there exists $\alpha>0$ such that for sufficiently large $n$, every $n$-vertex graph $G$ satisfying that $\delta(G)\geq\varepsilon n$ and $e(X, Y)>0$ for every pair of disjoint vertex sets $X, Y\subseteq V(G)$ of size $\alpha n$ contains all spanning trees with maximum degree at most $\Delta$. This strengthens a result of B\"ottcher et al.


title: Measurements of the suppression and correlations of dijets in Xe+Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV

abstract: Measurements of the suppression and correlations of dijets is performed using 3 $\mu$b$^{-1}$ of Xe+Xe data at $\sqrt{s_{\mathrm{NN}}} = 5.44$ TeV collected with the ATLAS detector at the LHC. Dijets with jets reconstructed using the $R=0.4$ anti-$k_t$ algorithm are measured differentially in jet $p_{\text{T}}$ over the range of 32 GeV to 398 GeV and the centrality of the collisions. Significant dijet momentum imbalance is found in the most central Xe+Xe collisions, which decreases in more peripheral collisions. Results from the measurement of per-pair normalized and absolutely normalized dijet $p_{\text{T}}$ balance are compared with previous Pb+Pb measurements at $\sqrt{s_{\mathrm{NN}}} =5.02$ TeV. The differences between the dijet suppression in Xe+Xe and Pb+Pb are further quantified by the ratio of pair nuclear-modification factors. The results are found to be consistent with those measured in Pb+Pb data when compared in classes of the same event activity and when taking into account the difference between the center-of-mass energies of the initial parton scattering process in Xe+Xe and Pb+Pb collisions. These results should provide input for a better understanding of the role of energy density, system size, path length, and fluctuations in the parton energy loss.


title: Study of $X(6900)$ with unitarized coupled channel scattering amplitudes

abstract: In this paper, we study the resonant state $X(6900)$. The scattering amplitudes of coupled channels, $J/\psi J/\psi$-$J/\psi \psi(2S)$-$J/\psi \psi(3770)$, are constructed with the interaction of four vector mesons described by effective Lagrangians. The amplitudes are calculated up to one loop, decomposed by partial wave projection, and unitarized by Pad$\acute{e}$ approximation. These amplitudes are fitted to the latest experimental data sets of di-$J/\psi$ and $J/\psi \psi(2S)$ invariant mass spectra of LHCb, CMS, and ATLAS. High-quality solutions are obtained. With these partial wave amplitudes, we extract the pole parameters of the $X(6900)$. Its quantum number is likely to be $0^{++}$. According to the pole counting rule as well as analysis of the phase shifts of the partial waves, it supports our previous conclusion that the $X(6900)$ prefers to be a compact tetra-quark.


title: Alamouti-Like Transmission Schemes in Distributed MIMO Networks

abstract: The purpose of the study is to investigate potential benefits of using Alamouti-like orthogonal space-time-frequency block codes (STFBC) in distributed multiple-input multiple-output (D-MIMO) systems to increase the diversity at the UE side when instantaneous channel state information (CSI) is not available at radio units (RUs). Most of the existing transmission techniques require instantaneous CSI to form precoders which can only be realized together with accurate and up-to-date channel knowledge. STFBC can increase the diversity at UE side without estimating the downlink channel. Under challenging channel conditions, the network can switch to a robust mode where a certain data rate is maintained for users even without knowing the channel coefficients by means of STFBC. In this study, it will be mainly focused on clustering of RUs and user equipment, where each cluster adopts a possibly different orthogonal code, so that overall spectral efficiency is optimized. Potential performance gains over known techniques that can be used when the channel is not known will be shown and performance gaps to sophisticated precoders making use of channel estimates will be identified.


title: Schur covers of skew braces

abstract: We develop the theory of Schur covers of finite skew braces. We prove the existence of at least one Schur cover. We also compute several examples. We prove that different Schur covers are isoclinic. Finally, we prove that Schur covers have the lifting property concerning projective representations of skew braces.


title: Communicative Robot Signals: Presenting a New Typology for Human-Robot Interaction

abstract: We present a new typology for classifying signals from robots when they communicate with humans. For inspiration, we use ethology, the study of animal behaviour and previous efforts from literature as guides in defining the typology. The typology is based on communicative signals that consist of five properties: the origin where the signal comes from, the deliberateness of the signal, the signal's reference, the genuineness of the signal, and its clarity (i.e., how implicit or explicit it is). Using the accompanying worksheet, the typology is straightforward to use to examine communicative signals from previous human-robot interactions and provides guidance for designers to use the typology when designing new robot behaviours.


title: A FPGA-based architecture for real-time cluster finding in the LHCb silicon pixel detector

abstract: This article describes a custom VHDL firmware implementation of a two-dimensional cluster-finder architecture for reconstructing hit positions in the new vertex pixel detector (VELO) that is part of the LHCb Upgrade. This firmware has been deployed to the existing FPGA cards that perform the readout of the VELO, as a further enhancement of the DAQ system, and will run in real time during physics data taking, reconstructing VELO hits coordinates on-the-fly at the LHC collision rate. This pre-processing allows the first level of the software trigger to accept a 11% higher rate of events, as the ready-made hits coordinates accelerate the track reconstruction and consumes significantly less electrical power. It additionally allows the raw pixel data to be dropped at the readout level, thus saving approximately 14% of the DAQ bandwidth. Detailed simulation studies have shown that the use of this real-time cluster finding does not introduce any appreciable degradation in the tracking performance in comparison to a full-fledged software implementation. This work is part of a wider effort aimed at boosting the real-time processing capability of HEP experiments by delegating intensive tasks to dedicated computing accelerators deployed at the earliest stages of the data acquisition chain.


title: Improved Langevin Monte Carlo for stochastic optimization via landscape modification

abstract: Given a target function $H$ to minimize or a target Gibbs distribution $\pi_{\beta}^0 \propto e^{-\beta H}$ to sample from in the low temperature, in this paper we propose and analyze Langevin Monte Carlo (LMC) algorithms that run on an alternative landscape as specified by $H^f_{\beta,c,1}$ and target a modified Gibbs distribution $\pi^f_{\beta,c,1} \propto e^{-\beta H^f_{\beta,c,1}}$, where the landscape of $H^f_{\beta,c,1}$ is a transformed version of that of $H$ which depends on the parameters $f,\beta$ and $c$. While the original Log-Sobolev constant affiliated with $\pi^0_{\beta}$ exhibits exponential dependence on both $\beta$ and the energy barrier $M$ in the low temperature regime, with appropriate tuning of these parameters and subject to assumptions on $H$, we prove that the energy barrier of the transformed landscape is reduced which consequently leads to polynomial dependence on both $\beta$ and $M$ in the modified Log-Sobolev constant associated with $\pi^f_{\beta,c,1}$. This yield improved total variation mixing time bounds and improved convergence toward a global minimum of $H$. We stress that the technique developed in this paper is not only limited to LMC and is broadly applicable to other gradient-based optimization or sampling algorithms.


title: Hypersimple Rings and Modules

abstract: In this paper a simple right R-module S over a ring R is called hypersimple if its injective hull E(S) is cyclic, and a ring R is called right hypersimple if every simple right R-module is hypersimple. We initiate a study of these new notions, and revisit Osofsky's work on hypercyclic rings, i.e. rings whose cyclic right modules have cyclic injective hulls.


title: Learning from pseudo-labels: deep networks improve consistency in longitudinal brain volume estimation

abstract: Brain atrophy is an important biomarker for monitoring neurodegeneration and disease progression in conditions such as multiple sclerosis (MS). An accurate and robust quantitative measurement of brain volume change is paramount for translational research and clinical applications. This paper presents a deep learning based method, DeepBVC, for longitudinal brain volume change measurement using 3D T1-weighted MRI scans. Trained with the intermediate outputs from SIENA, DeepBVC is designed to take into account the variance caused by different scanners and acquisition protocols. Compared with SIENA, DeepBVC demonstrates higher consistency in terms of volume change estimation across multiple time points in MS subjects; and greater stability and superior performance in scan-rescan experiments. Moreover, the results also show that DeepBVC is insensitive to acquisition variance in terms of imaging contrast, voxel resolution, random bias field and signal-to-noise ratio. Measurement robustness, automation and processing speed suggest a broad potential of DeepBVC in both research and clinical quantitative neuroimaging applications.


title: Parma: Confidential Containers via Attested Execution Policies

abstract: Container-based technologies empower cloud tenants to develop highly portable software and deploy services in the cloud at a rapid pace. Cloud privacy, meanwhile, is important as a large number of container deployments operate on privacy-sensitive data, but challenging due to the increasing frequency and sophistication of attacks. State-of-the-art confidential container-based designs leverage process-based trusted execution environments (TEEs), but face security and compatibility issues that limits their practical deployment. We propose Parma, an architecture that provides lift-and-shift deployment of unmodified containers while providing strong security protection against a powerful attacker who controls the untrusted host and hypervisor. Parma leverages VM-level isolation to execute a container group within a unique VM-based TEE. Besides container integrity and user data confidentiality and integrity, Parma also offers container attestation and execution integrity based on an attested execution policy. Parma execution policies provide an inductive proof over all future states of the container group. This proof, which is established during initialization, forms a root of trust that can be used for secure operations within the container group without requiring any modifications of the containerized workflow itself (aside from the inclusion of the execution policy.) We evaluate Parma on AMD SEV-SNP processors by running a diverse set of workloads demonstrating that workflows exhibit 0-26% additional overhead in performance over running outside the enclave, with a mean 13% overhead on SPEC2017, while requiring no modifications to their program code. Adding execution policies introduces less than 1% additional overhead. Furthermore, we have deployed Parma as the underlying technology driving Confidential Containers on Azure Container Instances.


title: On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

abstract: Circuit diameters of polyhedra are a fundamental tool for studying the complexity of circuit augmentation schemes for linear programming and for finding lower bounds on combinatorial diameters. The main open problem in this area is the circuit diameter conjecture, the analogue of the Hirsch conjecture in the circuit setting. A natural question is whether the well-known counterexamples to the Hirsch conjecture carry over. Previously, Stephen and Yusun showed that the Klee-Walkup counterexample to the unbounded Hirsch conjecture does not transfer to the circuit setting. Our main contribution is to show that the original counterexamples for the other variants, for bounded polytopes and using monotone walks, also do not transfer. Our results rely on new observations on structural properties of these counterexamples. To resolve the bounded case, we exploit the geometry of certain $2$-faces of the polytopes underlying all known bounded Hirsch counterexamples in Santos' work. For Todd's monotone Hirsch counterexample, we provide two alternative approaches. The first one uses sign-compatible circuit walks, and the second one uses the observation that Todd's polytope is anti-blocking. Along the way, we enumerate all linear programs over the polytope and find four new orientations that contradict the monotone Hirsch conjecture, while the remaining $7107$ satisfy the bound.


title: Structural hierarchical learning for energy networks

abstract: Many sectors nowadays require accurate and coherent predictions across their organization to effectively operate. Otherwise, decision-makers would be planning using disparate views of the future, resulting in inconsistent decisions across their sectors. To secure coherency across hierarchies, recent research has put forward hierarchical learning, a coherency-informed hierarchical regressor leveraging the power of machine learning thanks to a custom loss function founded on optimal reconciliation methods. While promising potentials were outlined, results exhibited discordant performances in which coherency information only improved hierarchical forecasts in one setting. This work proposes to tackle these obstacles by investigating custom neural network designs inspired by the topological structures of hierarchies. Results unveil that, in a data-limited setting, structural models with fewer connections perform overall best and demonstrate the coherency information value for both accuracy and coherency forecasting performances, provided individual forecasts were generated within reasonable accuracy limits. Overall, this work expands and improves hierarchical learning methods thanks to a structurally-scaled learning mechanism extension coupled with tailored network designs, producing a resourceful, data-efficient, and information-rich learning process.


title: Chemical characterisation of the X-shooter Spectral Library (XSL): [Mg/Fe] and [Ca/Fe] abundances

abstract: The X-shooter Spectral Library (XSL) is a large empirical stellar library used as a benchmark for the development of stellar population models. The inclusion of $\alpha$-elements abundances is crucial to disentangling the chemical evolution of any stellar system. The aim of this paper is to provide a catalogue of high-precision and accurate magnesium and calcium abundances from a wide variety of stars well distributed in the Hertzsprung-Russell (HR) diagram. We originally performed an analysis of the derived Mg and Ca abundances for medium-resolution spectra of 611 stars from the XSL Data Release 2. For this purpose, we used the GAUGUIN automated abundance estimation code to fit the ultraviolet-blue (UVB) and visible (VIS) spectra. We tested the consistency of the atmospheric parameters and chemical abundances with the Gaia DR3 and the AMBRE Project datasets. We have finally obtained precise [Mg/Fe] and [Ca/Fe] abundances for 192 and 217 stars respectively, from which 174 stars have measurements in both elements. The stars cover a broad range of effective temperature 4000 < T$_{\rm eff}$ < 6500K, surface gravity 0.3 < log(g) < 4.8 cm s$^{\rm -2}$, and metallicity -2.5 < [Fe/H] < +0.4 dex. We find an excellent agreement with the abundance estimates from the AMBRE:HARPS and the Gaia/RVS (Radial Velocity Spectrometer) analysis. Moreover, the resulting abundances reproduce a plateau in the metal-poor regime followed by a decreasing trend even at supersolar metallicities, as predicted by Galactic chemical evolution models. This catalogue is suitable for improving the modelling of evolutionary stellar population models with empirical $\alpha$-enhancements, which could significantly contribute to the analysis of external galaxies abundances in the near future.


title: On Thermal Stability of Hairy Black Holes

abstract: We discuss thermodynamical stability for hairy black hole spacetimes, viewed as defects in the thermodynamical parameter space, taking into account the backreaction of a secondary hair onto the spacetime geometry, which is modified non trivially. We derive, in a model independent way, the conditions for the hairy black hole with the secondary hair to reach a stable thermal equilibrium with the heat bath. Specifically, if the scalar hair, induced by interactions of the matter fields with quadratic-curvature corrections, produces an inner horizon in the deformed geometry, a thermodynamically stable configuration will be reached with the black hole becoming extremal in its final stage. We also attempt to make some conjectures concerning the implications of this thermal stability for the existence of a minimum length in a quantum space time.


title: Large time behaviour of a conservation law regularised by a Riesz-Feller operator: the sub-critical case

abstract: We study the large time behaviour of the solutions of a non-local regularisation of a scalar conservation law. This regularisation is given by a fractional derivative of order $1+\alpha$, with $\alpha\in(0,1)$, which is a Riesz-Feller operator. The non-linear flux is given by the locally Lipschitz function $|u|^{q-1}u/q$ for $q>1$. We show that in the sub-critical case, $1<q < 1 +\alpha$, the large time behaviour is governed by the unique entropy solution of the scalar conservation law. Our proof adapts the proofs of the analogous results for the local case (where the regularisation is the Laplacian) and, more closely, the ones for the regularisation given by the fractional Laplacian with order larger than one, see Ignat and Stan (2018). The main difference is that our operator is not symmetric and its Fourier symbol is not real. We can also adapt the proof and obtain similar results for general Riesz-Feller operators.


title: Generalized Langevin equation with shear flow and its fluctuation-dissipation theorems derived from a Caldeira-Leggett Hamiltonian

abstract: We provide a first-principles derivation of the Langevin equation with shear flow and its corresponding fluctuation-dissipation theorems. Shear flow of simple fluids has been widely investigated by numerical simulations. Most studies postulate a Markovian Langevin equation with a simple shear drag term \`a la Stokes. However, this choice has never been justified from first principles. We start from a particle-bath system described by a classical Caldeira-Leggett Hamiltonian modified by adding a term proportional to the strain-rate tensor according to Hoover's DOLLS method, and we derive a generalized Langevin equation for the sheared system. We then compute, analytically, the noise time-correlation functions in different regimes. Based on the intensity of the shear-rate, we can distinguish between close-to-equilibrium and far-from-equilibrium states. According to the results presented here, the standard, simple and Markovian form of the Langevin equation with shear flow postulated in the literature is valid only in the limit of extremely weak shear rates compared to the effective vibrational temperature of the bath. For even marginally higher shear rates, the (generalized) Langevin equation is strongly non-Markovian and non-trivial fluctuation-dissipation theorems are derived.

categories: cond-mat.soft cond-mat.stat-mech math-ph math.MP physics.chem-ph physics.flu-dyn


title: X-Mesh: A new approach for the simulation of two-phase flow with sharp interface

abstract: Accurate modeling of moving boundaries and interfaces is a difficulty present in many situations of computational mechanics. We use the eXtreme Mesh deformation approach (X-Mesh) to simulate the interaction between two immiscible flows using the finite element method, while maintaining an accurate and sharp description of the interface without remeshing. In this new approach, the mesh is locally deformed to conform to the interface at all times, which can result in degenerated elements. The surface tension between the two fluids is added by imposing the pressure jump condition at the interface, which, when combined with the X-Mesh framework, allows us to have an exactly sharp interface. If a numerical scheme fails to properly balance surface tension and pressure gradients, it leads to numerical artefacts called spurious or parasitic currents. The method presented here is well balanced and reduces such currents down to the level of machine precision.


title: Kombucha electronics

abstract: A kombucha is a tea and sugar fermented by over sixty kinds of yeasts and bacteria. This symbiotic community produces kombucha mats, which are cellulose-based hydrogels. The kombucha mats can be used as an alternative to animal leather in industry and fashion once they have been dried and cured. Prior to this study, we demonstrated that living kombucha mats display dynamic electrical activity and distinct stimulating responses. For use in organic textiles, cured mats of kombucha are inert. To make kombucha wearables functional, it is necessary to incorporate electrical circuits. We demonstrate that creating electrical conductors on kombucha mats is possible. After repeated bending and stretching, the circuits maintain their functionality. In addition, the abilities and electronic properties of the proposed kombucha, such as being lighter, less expensive, and more flexible than conventional electronic systems, pave the way for their use in a diverse range of applications.


title: Cross-Layer Retrospective Retrieving via Layer Attention

abstract: More and more evidence has shown that strengthening layer interactions can enhance the representation power of a deep neural network, while self-attention excels at learning interdependencies by retrieving query-activated information. Motivated by this, we devise a cross-layer attention mechanism, called multi-head recurrent layer attention (MRLA), that sends a query representation of the current layer to all previous layers to retrieve query-related information from different levels of receptive fields. A light-weighted version of MRLA is also proposed to reduce the quadratic computation cost. The proposed layer attention mechanism can enrich the representation power of many state-of-the-art vision networks, including CNNs and vision transformers. Its effectiveness has been extensively evaluated in image classification, object detection and instance segmentation tasks, where improvements can be consistently observed. For example, our MRLA can improve 1.6% Top-1 accuracy on ResNet-50, while only introducing 0.16M parameters and 0.07B FLOPs. Surprisingly, it can boost the performances by a large margin of 3-4% box AP and mask AP in dense prediction tasks. Our code is available at https://github.com/joyfang1106/MRLA.


title: Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

abstract: In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of $#C(\mathbb{Q})$ by following Chabauty's approach which considers the special case when the Jacobian variety of $C$ has Mordell-Weil rank $< g$. In 2006, Stoll improved the Coleman's bound. Balakrishnan with her co-authors in [1] implemented the Chabauty-Coleman method to compute the rational points of genus $3$ hyperelliptic curves. Then, Hashimoto and Morrison [8] did the same work for Picard curves. But it happens that this work has not yet been done for all genus 3 curves. In this paper, we describe an algorithm to compute the complete set of rational points $C(\mathbb{Q})$ for any genus $3$ curve $C/\mathbb{Q}$ that is a degree-$2$ cover of a genus $1$ curve whose Jacobian has rank $0$. We implemented this algorithm in Magma, and we ran it on approximately $40, 000$ curves selected from databases of plane quartics and genus $3$ hyperellitic curves. We discuss some interesting examples, and we exhibit curves for which the number of rational points meets the Stoll's bound


title: Multiview Representation Learning from Crowdsourced Triplet Comparisons

abstract: Crowdsourcing has been used to collect data at scale in numerous fields. Triplet similarity comparison is a type of crowdsourcing task, in which crowd workers are asked the question ``among three given objects, which two are more similar?'', which is relatively easy for humans to answer. However, the comparison can be sometimes based on multiple views, i.e., different independent attributes such as color and shape. Each view may lead to different results for the same three objects. Although an algorithm was proposed in prior work to produce multiview embeddings, it involves at least two problems: (1) the existing algorithm cannot independently predict multiview embeddings for a new sample, and (2) different people may prefer different views. In this study, we propose an end-to-end inductive deep learning framework to solve the multiview representation learning problem. The results show that our proposed method can obtain multiview embeddings of any object, in which each view corresponds to an independent attribute of the object. We collected two datasets from a crowdsourcing platform to experimentally investigate the performance of our proposed approach compared to conventional baseline methods.


title: On Cosmological Low Entropy After the Big Bang: Universal Expansion and Nucleosynthesis

abstract: We investigate the sensitivity of a universe's nuclear entropy after Big Bang nucleosynthesis (BBN) to variations in both the baryon-to-photon ratio and the temporal evolution of cosmological expansion. Specifically, we construct counterfactual cosmologies to quantify the degree by which these two parameters must vary from those in our Universe before we observe a substantial change in the degree of fusion, and thus nuclear entropy, during BBN. We find that, while the post-BBN nuclear entropy is indeed linked to baryogenesis and the Universe's expansion history, the requirement of leftover light elements does not place strong constraints on the properties of these two cosmological processes.


title: KK-duality for self-similar groupoid actions on graphs

abstract: We extend Nekrashevych's $KK$-duality for $C^*$-algebras of regular, recurrent, contracting self-similar group actions to regular, contracting self-similar groupoid actions on a graph, removing the recurrence condition entirely and generalising from a finite alphabet to a finite graph. More precisely, given a regular and contracting self-similar groupoid $(G,E)$ acting faithfully on a finite directed graph $E$, we associate two $C^*$-algebras, $\mathcal{O}(G,E)$ and $\widehat{\mathcal{O}}(G,E)$, to it and prove that they are strongly Morita equivalent to the stable and unstable Ruelle C*-algebras of a Smale space arising from a Wieler solenoid of the self-similar limit space. That these algebras are Spanier-Whitehead dual in $KK$-theory follows from the general result for Ruelle algebras of irreducible Smale spaces proved by Kaminker, Putnam, and the last author.


title: A Compendium on Distributed Systems

abstract: Computer systems have evolved over the years starting from sizable, single-user, slow, and expensive machines to multi-user, fast, cheaper, and small-sized machines. The use of multi-user computer networks has given rise to a new paradigm of computing known as Distributed Systems. A distributed system is regarded as software consisting of a collection of dependent network communication and computational nodes. This paradigm yields high performance while also maintaining high efficiency due to the decentralization of various computer related tasks to several computer nodes that are interconnected. Even if distributed systems have proven to be beneficial over the years it also has some design flaws, security concerns and challenges. In this paper, the main objective is to define these issues, challenges and security concerns while also examining the various solutions developed over the years to resolve them. This paper also briefly covers the components as well as the working of Distributed Systems.


title: Prediction approaches for partly missing multi-omics covariate data: A literature review and an empirical comparison study

abstract: As the availability of omics data has increased in the last few years, more multi-omics data have been generated, that is, high-dimensional molecular data consisting of several types such as genomic, transcriptomic, or proteomic data, all obtained from the same patients. Such data lend themselves to being used as covariates in automatic outcome prediction because each omics type may contribute unique information, possibly improving predictions compared to using only one omics data type. Frequently, however, in the training data and the data to which automatic prediction rules should be applied, the test data, the different omics data types are not available for all patients. We refer to this type of data as block-wise missing multi-omics data. First, we provide a literature review on existing prediction methods applicable to such data. Subsequently, using a collection of 13 publicly available multi-omics data sets, we compare the predictive performances of several of these approaches for different block-wise missingness patterns. Finally, we discuss the results of this empirical comparison study and draw some tentative conclusions.


title: Convolutional Neural Networks Trained to Identify Words Provide a Surprisingly Good Account of Visual Form Priming Effects

abstract: A wide variety of orthographic coding schemes and models of visual word identification have been developed to account for masked priming data that provide a measure of orthographic similarity between letter strings. These models tend to include hand-coded orthographic representations with single unit coding for specific forms of knowledge (e.g., units coding for a letter in a given position). Here we assess how well a range of these coding schemes and models account for the pattern of form priming effects taken from the Form Priming Project and compare these findings to results observed with 11 standard deep neural network models (DNNs) developed in computer science. We find that deep convolutional networks (CNNs) perform as well or better than the coding schemes and word recognition models, whereas transformer networks did less well. The success of CNNs is remarkable as their architectures were not developed to support word recognition (they were designed to perform well on object recognition), they classify pixel images of words (rather than artificial encodings of letter strings), and their training was highly simplified (not respecting many key aspects of human experience). In addition to these form priming effects, we find that the DNNs can account for visual similarity effects on priming that are beyond all current psychological models of priming. The findings add to the recent work of (Hannagan et al., 2021) and suggest that CNNs should be given more attention in psychology as models of human visual word recognition.


title: Tunable correlation effects of magnetic impurities by the cubic Rashba spin-orbit couplings

abstract: We theoretically study the influence of the $k$-cubic Rashba spin-orbit coupling (SOC) on the correlation effects of magnetic impurities by combining the variational method and the Hirsch-Fye quantum Monte Carlo (HFQMC) simulations. Markedly different from the normal $k$-linear Rashba SOC, even a small cubic Rashba term can greatly alter the band structure and induce a Van Hove singularity in a wide range of energy, thus the single impurity local moment becomes largely tunable. The cubic Rashba SOC adopted in this work breaks the rotational symmetry, but the host material is still invariant under the operations $\mathcal{R}^z(\pi)$, $\mathcal{IR}^z(\pi/2)$, $\mathcal{M}_{xz}$, $\mathcal{M}_{yz}$, where $\mathcal{R}^z(\theta)$ is the rotation of angle $\theta$ about the $z$-axis, $\mathcal{I}$ is the inversion operator and $\mathcal{M}_{xz}$ ($\mathcal{M}_{yz}$) is the mirror reflection about the $x$-$z$ ($y$-$z$) principal plane. Saliently, various components of spin-spin correlation between the single magnetic impurity and the conduction electrons show three- or six-fold rotational symmetry. This unique feature is due to the triple winding of the spins with a $2\pi$ rotation of $\mathbf{k}$, which is a hallmark of the cubic Rashba effect and can possibly be an identifier to distinguish the cubic Rashba SOC from the normal $k$-linear Rashba term in experiments. Although the cubic Rashba term drastically alters the electronic properties of the host, we find that the spatial decay rate of the spin-spin correlation function remains essentially unchanged. Moreover, the carrier-mediated Ruderman-Kittel-Kasuya-Yosida interactions between two magnetic impurities show twisted features, the ferromagnetic diagonal terms dominate when two magnetic impurities are very close, but the off-diagonal terms become important at long distances.


title: Fully-Dynamic Approximate Decision Trees With Worst-Case Update Time Guarantees

abstract: We give the first algorithm that maintains an approximate decision tree over an arbitrary sequence of insertions and deletions of labeled examples, with strong guarantees on the worst-case running time per update request. For instance, we show how to maintain a decision tree where every vertex has Gini gain within an additive $\alpha$ of the optimum by performing $O\Big(\frac{d\,(\log n)^4}{\alpha^3}\Big)$ elementary operations per update, where $d$ is the number of features and $n$ the maximum size of the active set (the net result of the update requests). We give similar bounds for the information gain and the variance gain. In fact, all these bounds are corollaries of a more general result, stated in terms of decision rules -- functions that, given a set $S$ of labeled examples, decide whether to split $S$ or predict a label. Decision rules give a unified view of greedy decision tree algorithms regardless of the example and label domains, and lead to a general notion of $\epsilon$-approximate decision trees that, for natural decision rules such as those used by ID3 or C4.5, implies the gain approximation guarantees above. The heart of our work provides a deterministic algorithm that, given any decision rule and any $\epsilon > 0$, maintains an $\epsilon$-approximate tree using $O\!\left(\frac{d\, f(n)}{n} \operatorname{poly}\frac{h}{\epsilon}\right)$ operations per update, where $f(n)$ is the complexity of evaluating the rule over a set of $n$ examples and $h$ is the maximum height of the maintained tree.


title: Regularity and numerical approximation of fractional elliptic differential equations on compact metric graphs

abstract: The fractional differential equation $L^\beta u = f$ posed on a compact metric graph is considered, where $\beta>0$ and $L = \kappa^2 - \nabla(a\nabla)$ is a second-order elliptic operator equipped with certain vertex conditions and sufficiently smooth and positive coefficients $\kappa, a$. We demonstrate the existence of a unique solution for a general class of vertex conditions and derive the regularity of the solution in the specific case of Kirchhoff vertex conditions. These results are extended to the stochastic setting when $f$ is replaced by Gaussian white noise. For the deterministic and stochastic settings under generalized Kirchhoff vertex conditions, we propose a numerical solution based on a finite element approximation combined with a rational approximation of the fractional power $L^{-\beta}$. For the resulting approximation, the strong error is analyzed in the deterministic case, and the strong mean squared error as well as the $L_2(\Gamma\times \Gamma)$-error of the covariance function of the solution are analyzed in the stochastic setting. Explicit rates of convergences are derived for all cases. Numerical experiments for ${L = \kappa^2 - \Delta, \kappa>0}$ are performed to illustrate the results.


title: High-Dimensional Granger Causality for Climatic Attribution

abstract: In this paper we test for Granger causality in high-dimensional vector autoregressive models (VARs) to disentangle and interpret the complex causal chains linking radiative forcings and global temperatures. By allowing for high dimensionality in the model, we can enrich the information set with relevant natural and anthropogenic forcing variables to obtain reliable causal relations. This provides a step forward from existing climatology literature, which has mostly treated these variables in isolation in small models. Additionally, our framework allows to disregard the order of integration of the variables by directly estimating the VAR in levels, thus avoiding accumulating biases coming from unit-root and cointegration tests. This is of particular appeal for climate time series which are well known to contain stochastic trends and long memory. We are thus able to establish causal networks linking radiative forcings to global temperatures and to connect radiative forcings among themselves, thereby allowing for tracing the path of dynamic causal effects through the system.


title: SimCGNN: Simple Contrastive Graph Neural Network for Session-based Recommendation

abstract: Session-based recommendation (SBR) problem, which focuses on next-item prediction for anonymous users, has received increasingly more attention from researchers. Existing graph-based SBR methods all lack the ability to differentiate between sessions with the same last item, and suffer from severe popularity bias. Inspired by nowadays emerging contrastive learning methods, this paper presents a Simple Contrastive Graph Neural Network for Session-based Recommendation (SimCGNN). In SimCGNN, we first obtain normalized session embeddings on constructed session graphs. We next construct positive and negative samples of the sessions by two forward propagation and a novel negative sample selection strategy, and then calculate the constructive loss. Finally, session embeddings are used to give prediction. Extensive experiments conducted on two real-word datasets show our SimCGNN achieves a significant improvement over state-of-the-art methods.


title: Quantum properties of $U(1)$-like gauge theory on $\kappa$-Minkowski

abstract: In the 5-dimensional twisted $U(1)$-like gauge theory on $\kappa$-Minkowski, the one-loop one-point (tadpole) function was computed in arXiv:2107.14462. This article summarizes the construction of such a gauge theory and discusses the non-vanishing of the tadpole.


title: Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

abstract: We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then generalize to polynomials $t_{n,k}(y,z)$ that count improper and proper edges, and further to polynomials $t_{n,k}(y,\mathbf{\phi})$ in infinitely many indeterminates that give a weight $y$ to each improper edge and a weight $m! \, \phi_m$ for each vertex with $m$ proper children. We show that if the weight sequence $\mathbf{\phi}$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.


title: Quantum Electronics for Fundamental Physics

abstract: The emerging field of quantum sensors and electronics for fundamental physics is introduced, emphasising the role of thin-film superconducting devices. Although the next generation of ground-based and space-based experiments requires the development of advanced technology across the whole of the electromagnetic spectrum, this article focuses on ultra-low-noise techniques for radio to far-infrared wavelengths, where existing devices fall short of theoretical limits. Passive circuits, detectors and amplifiers are described from classical and quantum perspectives, and the sensitivities of detector-based and amplifier-based instruments discussed. Advances will be achieved through refinements in existing technology, but innovation is essential. The needed developments go beyond engineering and relate to theoretical studies that bring together concepts from quantum information theory, quantum field theory, classical circuit theory, and device physics. This article has been written to introduce graduate-level scientists to quantum sensor physics, rather than as a formal review.


title: Leveraging Summary Guidance on Medical Report Summarization

abstract: This study presents three deidentified large medical text datasets, named DISCHARGE, ECHO and RADIOLOGY, which contain 50K, 16K and 378K pairs of report and summary that are derived from MIMIC-III, respectively. We implement convincing baselines of automated abstractive summarization on the proposed datasets with pre-trained encoder-decoder language models, including BERT2BERT, T5-large and BART. Further, based on the BART model, we leverage the sampled summaries from the train set as prior knowledge guidance, for encoding additional contextual representations of the guidance with the encoder and enhancing the decoding representations in the decoder. The experimental results confirm the improvement of ROUGE scores and BERTScore made by the proposed method, outperforming the larger model T5-large.


title: The Devil is in the Wrongly-classified Samples: Towards Unified Open-set Recognition

abstract: Open-set Recognition (OSR) aims to identify test samples whose classes are not seen during the training process. Recently, Unified Open-set Recognition (UOSR) has been proposed to reject not only unknown samples but also known but wrongly classified samples, which tends to be more practical in real-world applications. The UOSR draws little attention since it is proposed, but we find sometimes it is even more practical than OSR in the real world applications, as evaluation results of known but wrongly classified samples are also wrong like unknown samples. In this paper, we deeply analyze the UOSR task under different training and evaluation settings to shed light on this promising research direction. For this purpose, we first evaluate the UOSR performance of several OSR methods and show a significant finding that the UOSR performance consistently surpasses the OSR performance by a large margin for the same method. We show that the reason lies in the known but wrongly classified samples, as their uncertainty distribution is extremely close to unknown samples rather than known and correctly classified samples. Second, we analyze how the two training settings of OSR (i.e., pre-training and outlier exposure) influence the UOSR. We find although they are both beneficial for distinguishing known and correctly classified samples from unknown samples, pre-training is also helpful for identifying known but wrongly classified samples while outlier exposure is not. In addition to different training settings, we also formulate a new evaluation setting for UOSR which is called few-shot UOSR, where only one or five samples per unknown class are available during evaluation to help identify unknown samples. We propose FS-KNNS for the few-shot UOSR to achieve state-of-the-art performance under all settings.


title: Dynamics of Molecular Gas in the Central Region of the Quasar I$\,$Zwicky$\,$1

abstract: We present a study of the molecular gas distribution and kinematics in the cicumnuclear region (radii $\lesssim 2\,$kpc) of the $z\approx0.061$ quasar I$\,$Zwicky$\,$1 using a collection of available Atacama Large Millimeter/submillimeter Array (ALMA) observations of the carbon monoxide (CO) emission. With an angular resolution of $\sim0.36''$ (corresponding to $\sim\,400\,\rm pc$), the host galaxy sub-structures including the nuclear molecular gas disk, spiral arms, and a compact bar-like component are resolved. We analyzed the gas kinematics based on the CO image cube and obtained the rotation curve and radial distribution of velocity dispersion. The velocity dispersion is about $30\,\rm km\,s^{-1}$ in the outer CO disk region and rises up to $\gtrsim 100\,\rm km\,s^{-1}$ at radius $\lesssim 1\,$kpc, suggesting that the central region of disk is dynamically hot. We constrain the CO-to-$\rm H_2$ conversion factor, $\alpha_{\rm CO}$, by modeling the cold gas disk dynamics. We find that, with prior knowledge about the stellar and dark matter components, the $\alpha_{\rm CO}$ value in the circumnuclear region of this quasar host galaxy is $1.55_{-0.49}^{+0.47}\,M_\odot\,\left(\rm K\,km\,s^{-1}\,pc^2\right)^{-1}$, which is between the value reported in ultra-luminous infrared galaxies and in the Milky-Way. The central 1$\,$kpc region of this quasar host galaxy has significant star formation activity, which can be identified as a nuclear starburst. We further investigate the high velocity dispersion in the central region. We find that the ISM turbulent pressure derived from the gas velocity dispersion is in equilibrium with the weight of the ISM. This argues against extra power from AGN feedback that significantly affects the kinematics of the cold molecular gas.


title: On the non-linear stability of the Cosmological region of the Schwarzschild-de Sitter spacetime

abstract: The non-linear stability of the sub-extremal Schwarzschild-de Sitter spacetime in the stationary region near the conformal boundary is analysed using a technique based on the extended conformal Einstein field equations and a conformal Gaussian gauge. This strategy relies on the observation that the Cosmological stationary region of this exact solution can be covered by a non-intersecting congruence of conformal geodesics. Thus, the future domain of dependence of suitable spacelike hypersurfaces in the Cosmological region of the spacetime can be expressed in terms of a conformal Gaussian gauge. A perturbative argument then allows us to prove existence and stability results close to the conformal boundary and away from the asymptotic points where the Cosmological horizon intersects the conformal boundary. In particular, we show that small enough perturbations of initial data for the sub-extremal Schwarzschild-de Sitter spacetime give rise to a solution to the Einstein field equations which is regular at the conformal boundary. The analysis in this article can be regarded as a first step towards a stability argument for perturbation data on the Cosmological horizons.


title: One-loop matrix element emulation with factorisation awareness

abstract: In this article we present an emulation strategy for one-loop matrix elements. This strategy is based on the factorisation properties of matrix elements and is an extension of the work presented in arXiv:2107.06625. We show that a percent-level accuracy can be achieved even for large multiplicity processes. The point accuracy obtained is such that it dwarfs the statistical accuracy of the training sample which allows us to use our model to augment the size of the training set by orders of magnitude without additional evaluations of expensive one-loop matrix elements.


title: Digital quantum simulation of quantum gravitational entanglement with IBM quantum computers

abstract: We report the digital quantum simulation of a hamiltonian involved in the generation of quantum entanglement by gravitational means. In particular, we focus on a pair of quantum harmonic oscillators, whose interaction via a quantum gravitational field generates single-mode squeezing in both modes at the same time, a non-standard process in quantum optics. We perform a boson-qubit mapping and a digital gate decomposition specific for IBM quantum devices. We use error mitigation and post-selection to achieve high-fidelity, accessing a parameter regime out of direct experimental reach.


title: A NICER look at the jet-like corona of MAXI J1535-571 through type-B quasi-periodic oscillations

abstract: MAXI J1535-571 is a black-hole X-ray binary that in 2017 exhibited a very bright outburst which reached a peak flux of up to 5 Crab in the 2-20 keV band. Given the high flux, several X-ray space observatories obtained unprecedented high signal-to-noise data of key parts of the outburst. In our previous paper we studied the corona of MAXI J1535-571 in the hard-intermediate state (HIMS) with Insight-HXMT. In this paper we focus on the study of the corona in the soft-intermediate state (SIMS) through the spectral-timing analysis of 26 NICER detections of the type-B quasi-periodic oscillations (QPOs). From simultaneous fits of the energy, rms and lag spectra of these QPOs with our time-dependent Comptonization model, we find that in the SIMS the corona size is ~ 6500 km and vertically extended. We detect a narrow iron line in the energy spectra, which we interpret to be due to the illumination of the outer part of the accretion disk by this large corona. We follow the evolution of the corona and the radio jet during the HIMS-SIMS transition, and find that the jet flux peaks after the time when the corona extends to its maximum vertical size. The jet flux starts to decay after the corona contracts vertically towards the black hole. This behavior points to a connection between the X-ray corona and the radio jet similar to that seen in other sources.


title: The Arches cluster revisited: IV. Observational constraints on the binary properties of very massive stars

abstract: Serving as the progenitors of electromagnetic and gravitational wave transients, massive stars have received renewed interest in recent years. However, many aspects of their birth and evolution remain opaque, particularly in the context of binary interactions. The centre of our galaxy hosts a rich cohort of very massive stars, which appear to play a prominent role in the ecology of the region. In this paper we investigate the binary properties of the Arches cluster, which is thought to host a large number of very massive stars. A combination of multi-epoch near-IR spectroscopy and photometry was utilised to identify binaries. 13 from 36 cluster members meet our criteria to be classed as RV variable. Combining the spectroscopic data with archival radio and X-ray observations - to detect colliding wind systems - provides a lower limit to the binary fraction of ~43%; increasing to >50% for the O-type hypergiants and WNLha. Dynamical and evolutionary masses reveal the primaries to be uniformly massive (>50M$_{\odot}$). Where available, orbital analysis reveals a number of short period, highly eccentric binaries, which appear to be pre-interaction systems. Such systems are X-ray luminous, with 80% above an empirical bound of $(L_{\rm x}/L_{\rm bol})\sim10^{-7}$ and their orbital configurations suggest formation and evolution via a single star channel; however, we cannot exclude a binary formation channel for a subset. Qualitative comparison to surveys of lower mass OB-type stars confirms that the trend to an extreme binary fraction (>60%) extends to the most massive stars currently forming in the local Universe.


title: Investigating the role of model-based learning in exploration and transfer

abstract: State of the art reinforcement learning has enabled training agents on tasks of ever increasing complexity. However, the current paradigm tends to favor training agents from scratch on every new task or on collections of tasks with a view towards generalizing to novel task configurations. The former suffers from poor data efficiency while the latter is difficult when test tasks are out-of-distribution. Agents that can effectively transfer their knowledge about the world pose a potential solution to these issues. In this paper, we investigate transfer learning in the context of model-based agents. Specifically, we aim to understand when exactly environment models have an advantage and why. We find that a model-based approach outperforms controlled model-free baselines for transfer learning. Through ablations, we show that both the policy and dynamics model learnt through exploration matter for successful transfer. We demonstrate our results across three domains which vary in their requirements for transfer: in-distribution procedural (Crafter), in-distribution identical (RoboDesk), and out-of-distribution (Meta-World). Our results show that intrinsic exploration combined with environment models present a viable direction towards agents that are self-supervised and able to generalize to novel reward functions.


title: Transport properties of a 1000-nm HgTe film: the interplay of surface and bulk carriers

abstract: We report on systematic study of transport properties of a 1000-nm HgTe film. Unlike to thinner and strained HgTe films, which are known as high-quality three-dimensional (3D) topological insulators, the film under study is much thicker than the limit of pseudomorphic growth of HgTe on a CdTe substrate. Therefore, it is expected to be fully relaxed and has the band structure of bulk HgTe, i.e., a zero gap semiconductor. Nevertheless, since the bands inversion the two-dimensional (2D) topological surface states are still expected to exist. To check this claim we studied classical and quantum transport response of the system. We demonstrate that by tuning the top-gate voltage one can change the electron-dominating transport to the hole one. The highest electron mobility is found to be more than $300 \times 10^3$ cm$^2$/Vs. The system exhibits Shubnikov-de Haas (SdH) oscillations with a complicated pattern and shows up to 5 independent frequencies in corresponding Fourier spectra. They are attributed to the topological surface states, Volkov-Pankratov states and spin-degenerate bulk states in the accumulation layer near the gate. The observed peculiarities of the quantum transport are the strong SdH oscillations of the Hall resistance, and the suppressed oscillatory response of the topological surface states.


title: Systematic errors in the maximum likelihood regression of Poisson count data: introducing the overdispersed chi-square distribution

abstract: This paper presents a new method to estimate systematic errors in the maximum-likelihood regression of count data. The method is applicable in particular to X-ray spectra in situations where the Poisson log-likelihood, or the Cash goodness-of-fit statistic, indicate a poor fit that is attributable to overdispersion of the data. Overdispersion in Poisson data is treated as an intrinsic model variance that can be estimated from the best-fit model, using the maximum-likelihood Cmin statistic. The paper also studies the effects of such systematic errors on the Delta C likelihood-ratio statistic, which can be used to test for the presence of a nested model component in the regression of Poisson count data. The paper introduces an overdispersed chi-square distribution that results from the convolution of a chi-square distribution that models the usual Delta C statistic, and a zero-mean Gaussian that models the overdispersion in the data. This is proposed as the distribution of choice for the Delta C statistic in the presence of systematic errors. The methods presented in this paper are applied to XMM-Newton data of the quasar 1ES 1553+113 that were used to detect absorption lines from an intervening warm-hot intergalactic medium (WHIM). This case study illustrates how systematic errors can be estimated from the data, and their effect on the detection of a nested component, such as an absorption line, with the Delta C statistic.


title: CodeLMSec Benchmark: Systematically Evaluating and Finding Security Vulnerabilities in Black-Box Code Language Models

abstract: Large language models (LLMs) for automatic code generation have achieved breakthroughs in several programming tasks. Their advances in competition-level programming problems have made them an essential pillar of AI-assisted pair programming, and tools such as GitHub Copilot have emerged as part of the daily programming workflow used by millions of developers. The training data for these models is usually collected from the Internet (e.g., from open-source repositories) and is likely to contain faults and security vulnerabilities. This unsanitized training data can cause the language models to learn these vulnerabilities and propagate them during the code generation procedure. While these models have been extensively assessed for their ability to produce functionally correct programs, there remains a lack of comprehensive investigations and benchmarks addressing the security aspects of these models. In this work, we propose a method to systematically study the security issues of code language models to assess their susceptibility to generating vulnerable code. To this end, we introduce the first approach to automatically find generated code that contains vulnerabilities in black-box code generation models. To achieve this, we present an approach to approximate inversion of the black-box code generation models based on few-shot prompting. We evaluate the effectiveness of our approach by examining code language models in generating high-risk security weaknesses. Furthermore, we establish a collection of diverse non-secure prompts for various vulnerability scenarios using our method. This dataset forms a benchmark for evaluating and comparing the security weaknesses in code language models.