title: Lifshitz symmetry: Lie algebras, spacetimes and particles

abstract: We study and classify Lie algebras, homogeneous spacetimes and coadjoint orbits ("particles") of Lie groups generated by spatial rotations, temporal and spatial translations and an additional scalar generator. As a first step we classify Lie algebras of this type in arbitrary dimension. Among them is the prototypical Lifshitz algebra, which motivates this work and the name "Lifshitz Lie algebras". We classify homogeneous spacetimes of Lifshitz Lie groups. Depending on the interpretation of the additional scalar generator, these spacetimes fall into three classes: (1) ($d+2$)-dimensional Lifshitz spacetimes which have one additional holographic direction; (2) ($d+1$)-dimensional Lifshitz--Weyl spacetimes which can be seen as the boundary geometry of the spacetimes in (1) and where the scalar generator is interpreted as an anisotropic dilation; and (3) ($d+1$)-dimensional aristotelian spacetimes with one scalar charge, including exotic fracton-like symmetries that generalise multipole algebras. We also classify the possible central extensions of Lifshitz Lie algebras and we discuss the homogeneous symplectic manifolds of Lifshitz Lie groups in terms of coadjoint orbits.


title: Algorithms for 2-connected network design and flexible Steiner trees with a constant number of terminals

abstract: The $k$-Steiner-2NCS problem is as follows: Given a constant $k$, and an undirected connected graph $G = (V,E)$, non-negative costs $c$ on $E$, and a partition $(T, V-T)$ of $V$ into a set of terminals, $T$, and a set of non-terminals (or, Steiner nodes), where $|T|=k$, find a minimum-cost two-node connected subgraph that contains the terminals. We present a randomized polynomial-time algorithm for the unweighted problem, and a randomized PTAS for the weighted problem. We obtain similar results for the $k$-Steiner-2ECS problem, where the input is the same, and the algorithmic goal is to find a minimum-cost two-edge connected subgraph that contains the terminals. Our methods build on results by Bj\"orklund, Husfeldt, and Taslaman (ACM-SIAM SODA 2012) that give a randomized polynomial-time algorithm for the unweighted $k$-Steiner-cycle problem; this problem has the same inputs as the unweighted $k$-Steiner-2NCS problem, and the algorithmic goal is to find a minimum-size simple cycle $C$ that contains the terminals ($C$ may contain any number of Steiner nodes).


title: Unseen Object 6D Pose Estimation: A Benchmark and Baselines

abstract: Estimating the 6D pose for unseen objects is in great demand for many real-world applications. However, current state-of-the-art pose estimation methods can only handle objects that are previously trained. In this paper, we propose a new task that enables and facilitates algorithms to estimate the 6D pose estimation of novel objects during testing. We collect a dataset with both real and synthetic images and up to 48 unseen objects in the test set. In the mean while, we propose a new metric named Infimum ADD (IADD) which is an invariant measurement for objects with different types of pose ambiguity. A two-stage baseline solution for this task is also provided. By training an end-to-end 3D correspondences network, our method finds corresponding points between an unseen object and a partial view RGBD image accurately and efficiently. It then calculates the 6D pose from the correspondences using an algorithm robust to object symmetry. Extensive experiments show that our method outperforms several intuitive baselines and thus verify its effectiveness. All the data, code and models will be made publicly available. Project page: www.graspnet.net/unseen6d


title: Equality cases in the Anantharam-Jog-Nair inequality

abstract: Anantharam, Jog and Nair recently unified the Shannon-Stam inequality and the entropic form of the Brascamp-Lieb inequalities under a common inequality. They left open the problems of extremizability and characterization of extremizers. Both questions are resolved in the present paper.


title: Inductive Conformal Prediction: A Straightforward Introduction with Examples in Python

abstract: Inductive Conformal Prediction (ICP) is a set of distribution-free and model agnostic algorithms devised to predict with a user-defined confidence with coverage guarantee. Instead of having point predictions, i.e., a real number in the case of regression or a single class in multi class classification, models calibrated using ICP output an interval or a set of classes, respectively. ICP takes special importance in high-risk settings where we want the true output to belong to the prediction set with high probability. As an example, a classification model might output that given a magnetic resonance image a patient has no latent diseases to report. However, this model output was based on the most likely class, the second most likely class might tell that the patient has a 15% chance of brain tumor or other severe disease and therefore further exams should be conducted. Using ICP is therefore way more informative and we believe that should be the standard way of producing forecasts. This paper is a hands-on introduction, this means that we will provide examples as we introduce the theory.


title: Providing a model for the issue of multi-period ambulance location

abstract: In this study, two mathematical models have been developed for assigning emergency vehicles, namely ambulances, to geographical areas. The first model, which is based on the assignment problem, the ambulance transfer (moving ambulances) between locations has not been considered. As ambulance transfer can improve system efficiency by decreasing the response time as well as operational cost, we consider this in the second model, which is based on the transportation problem. Both models assume that the demand of all geographical locations must be met. The major contributions of this study are: ambulance transfer between locations, day split into several time slots, and demand distribution of the geographical zone. To the best of our knowledge the first two have not been studied before. These extensions allow us to have a more realistic model of the real-world operation. Although, in previous studies, maximizing coverage has been the main objective of the goal, here, minimizing operating costs is a function of the main objective, because we have assumed that the demand of all geographical areas must be met.


title: Formalizing the Problem of Side Effect Regularization

abstract: AI objectives are often hard to specify properly. Some approaches tackle this problem by regularizing the AI's side effects: Agents must weigh off "how much of a mess they make" with an imperfectly specified proxy objective. We propose a formal criterion for side effect regularization via the assistance game framework. In these games, the agent solves a partially observable Markov decision process (POMDP) representing its uncertainty about the objective function it should optimize. We consider the setting where the true objective is revealed to the agent at a later time step. We show that this POMDP is solved by trading off the proxy reward with the agent's ability to achieve a range of future tasks. We empirically demonstrate the reasonableness of our problem formalization via ground-truth evaluation in two gridworld environments.


title: Chat, Shift and Perform: Bridging the Gap between Task-oriented and Non-task-oriented Dialog Systems

abstract: We propose CASPER (ChAt, Shift and PERform), a novel dialog system consisting of three types of dialog models: chatter, shifter, and performer. Shifter, which is designed for topic switching, enables a seamless flow of dialog from open-domain chat- to task-oriented dialog. In a user study, CASPER gave a better impression in terms of naturalness of response, lack of forced topic switching, and satisfaction compared with a baseline dialog system trained in an end-to-end manner. In an ablation study, we found that naturalness of response, dialog satisfaction, and task-elicitation rate improved compared with when shifter was removed from CASPER, indicating that topic shift with shifter supports the introduction of natural task-oriented dialog.


title: An investigation of the magnetic activity of HD 134319 based on TESS photometry and ground-based spectroscopy

abstract: We present analysis of the starspot properties and chromospheric activity on HD 134319 using high precision photometry by TESS in sectors 14-16 (T1), 21-23 (T2) and high-resolution spectroscopy by OHP/ELODIE and Keck/HIRES during years 1995-2013. We applied a two-spot model with GLS determined period $P=4.436391\pm0.00137$ day to model chunks sliding over TESS light curve, and measured relative equivalent widths of Ca II H and K, H$\beta$ and H$\alpha$ emissions by subtracting overall spectrum from individual spectrum. It was found that a two-spot configuration, i.e. a primary, slowly evolving and long-lasting spot (P) plus a secondary and rapidly evolving spot (S), was capable of explaining the data, although the actual starspot distribution is unable to derived from collected data. Despite the spot radius-latitude degeneracy revealed in the best-fit solutions, a sudden alternation between P and S radii followed by gradual decrease of S in T1 and the decrease of both P and S from T1 to T2 were significant, corresponding to the evolution of magnetic activity. Besides, S revealed rotation and oscillatory longitude migration synchronized to P in T1, but held much larger migration than P in T2. This might indicate the evolution of internal magnetic configuration. Chromospheric activity indicators were found to tightly correlated with each other and revealed rotational modulation as well as a long-term decrease of emissions, implying the existence and evolution of magnetic acitivity on HD 134319.


title: Always Keep your Target in Mind: Studying Semantics and Improving Performance of Neural Lexical Substitution

abstract: Lexical substitution, i.e. generation of plausible words that can replace a particular target word in a given context, is an extremely powerful technology that can be used as a backbone of various NLP applications, including word sense induction and disambiguation, lexical relation extraction, data augmentation, etc. In this paper, we present a large-scale comparative study of lexical substitution methods employing both rather old and most recent language and masked language models (LMs and MLMs), such as context2vec, ELMo, BERT, RoBERTa, XLNet. We show that already competitive results achieved by SOTA LMs/MLMs can be further substantially improved if information about the target word is injected properly. Several existing and new target word injection methods are compared for each LM/MLM using both intrinsic evaluation on lexical substitution datasets and extrinsic evaluation on word sense induction (WSI) datasets. On two WSI datasets we obtain new SOTA results. Besides, we analyze the types of semantic relations between target words and their substitutes generated by different models or given by annotators.


title: Cohering and decohering power of massive scalar fields under instantaneous interactions

abstract: Employing a non-perturbative approach based on an instantaneous interaction between a two-level Unruh-DeWitt detector and a massive scalar field, we investigate the ability of the field to generate or destroy coherence in the detector by deriving the cohering and decohering power of the induced quantum evolution channel. For a field in a coherent state a previously unnoticed effect is reported whereby the amount of coherence that the field generates displays a revival pattern with respect to the size of the detector. It is demonstrated that by including mass in a thermal field the set of maximally coherent states of the detector decoheres less compared to a zero mass. In both of the examples mentioned, by making a suitable choice of detector radius, field energy and coupling strength it is possible to infer the mass of the field by either measuring the coherence present in the detector in the case of an interaction with a coherent field or the corresponding decoherence of a maximally coherent state in the case of a thermal field. In view of recent advances in the study of Proca metamaterials, these results suggest the possibility of utilising the theory of massive electromagnetism for the construction of novel applications for use in quantum technologies.


title: High order asymptotic inequalities for some dissipative systems

abstract: We obtain some important fundamental inequalities concerning the long time behavior of high order derivatives for solutions of some dissipative systems in terms of their $L^2$ algebraic decay. Some of these inequalities have not been observed in the literature even for the fundamental Navier-Stokes equations.To illustrate this new approach, we derive bounds for the asymmetric incompressible fluids equations, where an improved inequalities established for the micro-rotational field. Finally, we show how this technique can be applied for other dissipative systems.


title: On the real-time evolution of pseudo-entropy in 2d CFTs

abstract: In this work, we study the real-time evolution of pseudo-(R\'enyi) entropy, a generalization of entanglement entropy, in two-dimensional conformal field theories (CFTs). We focus on states obtained by acting primary operators located at different space points or their linear combinations on the vacuum. We show the similarities and differences between the pseudo-(R\'enyi) entropy and entanglement entropy. For excitation by a single primary operator, we analyze the behaviors of the 2nd pseudo-R\'enyi entropy in various limits and find some symmetries associated with the subsystem and the positions of the insertion operators. For excitation by linear combinations, the late time limit of the $n$th pseudo-R\'enyi entropy shows a simple form related to the coefficients of the combinations and R\'enyi entropy of the operators, which can be derived by using the Schmidt decomposition. Further, we find two kinds of particular spatial configurations of insertion operators in one of which the pseudo-(R\'enyi) entropy remains real throughout the time evolution.


title: Chiral Magnetic Effect out of equilibrium

abstract: We consider relativistic fermionic systems in lattice regularization out of equilibrium. The chiral magnetic conductivity $\sigma_{CME}$ is calculated in spatially infinite system for the case when the chiral chemical potential depends on time while the system initially was in thermal equilibrium at small but nonzero temperature. We find that the frequency dependent $\sigma_{CME}(\omega)$ for any nonzero $\omega$ both in the limits $\omega \ll T$ and $\omega \gg T$ is equal to its conventional value $1$ when the lattice model approaches continuum limit. Notice that $\sigma_{CME} = 0$ for the case when the chiral chemical potential does not depend on time at all. We therefore confirm that the limit of vanishing $\omega$ is not regular for the spatially infinite systems of massless fermions.


title: Scalable Multiple Network Inference with the Joint Graphical Horseshoe

abstract: Network models are useful tools for modelling complex associations. If a Gaussian graphical model is assumed, conditional independence is determined by the non-zero entries of the inverse covariance (precision) matrix of the data. The Bayesian graphical horseshoe estimator provides a robust and flexible framework for precision matrix inference, as it introduces local, edge-specific parameters which prevent over-shrinkage of non-zero off-diagonal elements. However, for many applications such as statistical omics, the current implementation based on Gibbs sampling becomes computationally inefficient or even unfeasible in high dimensions. Moreover, the graphical horseshoe has only been formulated for a single network, whereas interest has grown in the network analysis of multiple data sets that might share common structures. We propose (i) a scalable expectation conditional maximisation (ECM) algorithm for obtaining the posterior mode of the precision matrix in the graphical horseshoe, and (ii) a novel joint graphical horseshoe estimator, which borrows information across multiple related networks to improve estimation. We show, on both simulated and real omics data, that our single-network ECM approach is more scalable than the existing graphical horseshoe Gibbs implementation, while achieving the same level of accuracy. We also show that our joint-network proposal successfully leverages shared edge-specific information between networks while still retaining differences, outperforming state-of-the-art methods at any level of network similarity.


title: A Survey of DeFi Security: Challenges and Opportunities

abstract: DeFi, or Decentralized Finance, is based on a distributed ledger called blockchain technology. Using blockchain, DeFi may customize the execution of predetermined operations between parties. The DeFi system use blockchain technology to execute user transactions, such as lending and exchanging. The total value locked in DeFi decreased from \$200 billion in April 2022 to \$80 billion in July 2022, indicating that security in this area remained problematic. In this paper, we address the deficiency in DeFi security studies. To our best knowledge, our paper is the first to make a systematic analysis of DeFi security. First, we summarize the DeFi-related vulnerabilities in each blockchain layer. Additionally, application-level vulnerabilities are also analyzed. Then we classify and analyze real-world DeFi attacks based on the principles that correlate to the vulnerabilities. In addition, we collect optimization strategies from the data, network, consensus, smart contract, and application layers. And then, we describe the weaknesses and technical approaches they address. On the basis of this comprehensive analysis, we summarize several challenges and possible future directions in DeFi to offer ideas for further research.


title: DeepSafety:Multi-level Audio-Text Feature Extraction and Fusion Approach for Violence Detection in Conversations

abstract: Natural Language Processing has recently made understanding human interaction easier, leading to improved sentimental analysis and behaviour prediction. However, the choice of words and vocal cues in conversations presents an underexplored rich source of natural language data for personal safety and crime prevention. When accompanied by audio analysis, it makes it possible to understand the context of a conversation, including the level of tension or rift between people. Building on existing work, we introduce a new information fusion approach that extracts and fuses multi-level features including verbal, vocal, and text as heterogeneous sources of information to detect the extent of violent behaviours in conversations. Our multilevel multimodel fusion framework integrates four types of information from raw audio signals including embeddings generated from both BERT and Bi-long short-term memory (LSTM) models along with the output of 2D CNN applied to Mel-frequency Cepstrum (MFCC) as well as the output of audio Time-Domain dense layer. The embeddings are then passed to three-layer FC networks, which serve as a concatenated step. Our experimental setup revealed that the combination of the multi-level features from different modalities achieves better performance than using a single one with F1 Score=0.85. We expect that the findings derived from our method provides new approaches for violence detection in conversations.


title: Classifying linear division sequences

abstract: We classify all linear division sequences in the integers, a problem going back to at least the 1930s. As a corollary we also classify those linear recurrence sequences in the integers for which $(x_m,x_n)=\pm x_{(m,n)}$. We also show that if two linear division sequences have a large common factor infinitely often then they are each divisible by a common linear division sequence on some arithmetic progression. Moreover our proofs also work for polynomials. The key to our proofs are Ritt's irreducibility theorem and the subspace theorem (of Schmidt and Schlickewei), in a direction developed by Bugeaud, Corvaja and Zannier.


title: A Fast Algorithm for Robust Action Selection in Multi-Agent Systems

abstract: In this paper, we consider a robust action selection problem in multi-agent systems where performance must be guaranteed when the system suffers a worst-case attack on its agents. Specifically, agents are tasked with selecting actions from a common ground set according to individualized objective functions, and we aim to protect the system against attacks. In our problem formulation, attackers attempt to disrupt the system by removing an agent's contribution after knowing the system solution and thus can attack perfectly. To protect the multi-agent system against such attacks, we aim to maximize the minimum performance of all agents' individual objective functions under attacks. Thus, we propose a fast algorithm with tunable parameters for balancing complexity and performance, yielding substantially improved time complexity and performance compared to recent methods. Finally, we provide Monte Carlo simulations to demonstrate the performance of the proposed algorithm.


title: YOLOSA: Object detection based on 2D local feature superimposed self-attention

abstract: We analyzed the network structure of real-time object detection models and found that the features in the feature concatenation stage are very rich. Applying an attention module here can effectively improve the detection accuracy of the model. However, the commonly used attention module or self-attention module shows poor performance in detection accuracy and inference efficiency. Therefore, we propose a novel self-attention module, called 2D local feature superimposed self-attention, for the feature concatenation stage of the neck network. This self-attention module reflects global features through local features and local receptive fields. We also propose and optimize an efficient decoupled head and AB-OTA, and achieve SOTA results. Average precisions of 49.0% (71FPS, 14ms), 46.1% (85FPS, 11.7ms), and 39.1% (107FPS, 9.3ms) were obtained for large, medium, and small-scale models built using our proposed improvements. Our models exceeded YOLOv5 by 0.8% -- 3.1% in average precision.


title: Toward Clinically Assisted Colorectal Polyp Recognition via Structured Cross-modal Representation Consistency

abstract: The colorectal polyps classification is a critical clinical examination. To improve the classification accuracy, most computer-aided diagnosis algorithms recognize colorectal polyps by adopting Narrow-Band Imaging (NBI). However, the NBI usually suffers from missing utilization in real clinic scenarios since the acquisition of this specific image requires manual switching of the light mode when polyps have been detected by using White-Light (WL) images. To avoid the above situation, we propose a novel method to directly achieve accurate white-light colonoscopy image classification by conducting structured cross-modal representation consistency. In practice, a pair of multi-modal images, i.e. NBI and WL, are fed into a shared Transformer to extract hierarchical feature representations. Then a novel designed Spatial Attention Module (SAM) is adopted to calculate the similarities between the class token and patch tokens %from multi-levels for a specific modality image. By aligning the class tokens and spatial attention maps of paired NBI and WL images at different levels, the Transformer achieves the ability to keep both global and local representation consistency for the above two modalities. Extensive experimental results illustrate the proposed method outperforms the recent studies with a margin, realizing multi-modal prediction with a single Transformer while greatly improving the classification accuracy when only with WL images.


title: Quantum criticality in interacting bosonic Kitaev-Hubbard models

abstract: Motivated by recent work on the non-Hermitian skin effect in the bosonic Kitaev-Majorana model, we study the quantum criticality of interacting bosonic Kitaev-Hubbard models on a chain and a two-leg ladder. In the hard-core limit, we show exactly that the non-Hermitian skin effect disappears via a transformation from hard-core bosonic models to spin-1/2 models. We also show that hard-core bosons can engineer the Kitaev interaction, the Dzyaloshinskii-Moriya interaction and the compass interaction in the presence of the complex hopping and pairing terms. Importantly, quantum criticalities of the chain with a three-body constraint and unconstrained soft-core bosons are investigated by the density matrix renormalization group method. This work reveals the effect of many-body interactions on the non-Hermitian skin effect and highlights the power of bosons with pairing terms as a probe for the engineering of interesting models and quantum phase transitions.


title: On the Complexity of Problems on Tree-structured Graphs

abstract: In this paper, we introduce a new class of parameterized problems, which we call XALP: the class of all parameterized problems that can be solved in $f(k)n^{O(1)}$ time and $f(k)\log n$ space on a non-deterministic Turing Machine with access to an auxiliary stack (with only top element lookup allowed). Various natural problems on `tree-structured graphs' are complete for this class: we show that List Colouring and All-or-Nothing Flow parameterized by treewidth are XALP-complete. Moreover, Independent Set and Dominating Set parameterized by treewidth divided by $\log n$, and Max Cut parameterized by cliquewidth are also XALP-complete. Besides finding a `natural home' for these problems, we also pave the road for future reductions. We give a number of equivalent characterisations of the class XALP, e.g., XALP is the class of problems solvable by an Alternating Turing Machine whose runs have tree size at most $f(k)n^{O(1)}$ and use $f(k)\log n$ space. Moreover, we introduce `tree-shaped' variants of Weighted CNF-Satisfiability and Multicolour Clique that are XALP-complete.


title: Sensitivity of Rydberg-atom receiver to frequency and amplitude modulation of microwaves

abstract: Electromagnetically induced transparency (EIT) in atomic systems involving Rydberg states is known to be a sensitive probe of incident microwave (MW) fields, in particular those resonant with Rydberg-to-Rydberg transitions. Here we propose an intelligible analytical model of Rydberg atomic receiver's response to amplitude- (AM) and frequency-modulated (FM) signals, and compare it with experimental results: we present a setup that allows sending signals with either AM or FM and evaluating their efficiency with demodulation. Additionally, the setup reveals a new detection configuration, using all circular polarizations for optical fields and allowing detection of circularly polarized MW field, propagating colinearly with optical beams. In our measurements we systematically present that several parameters exhibit local optimum characteristics and then estimate these optimal parameters and working ranges, addressing the need to devise a robust Rydberg MW sensor and its operational protocol.


title: Generalized Gleason theorem and finite amount of information for the context

abstract: Quantum processes cannot be reduced, in a nontrivial way, to classical processes without specifying the context in the description of a measurement procedure. This requirement is implied by the Kochen-Specker theorem in the outcome-deterministic case and, more generally, by the Gleason theorem. The latter establishes that there is only one non-contextual classical model compatible with quantum theory, the one that trivially identifies the quantum state with the classical state. However, this model requires a breaking of the unitary evolution to account for macroscopic realism. Thus, a causal classical model compatible with the unitary evolution of the quantum state is necessarily contextual at some extent. Inspired by well-known results in quantum communication complexity, we consider a particular class of hidden variable theories by assuming that the amount of information about the measurement context is finite. Aiming at establishing some general features of these theories, we first present a generalized version of the Gleason theorem and provide a simple proof of it. Assuming that Gleason's hypotheses hold only locally for `small' changes of the measurement procedure, we obtain almost the same conclusion of the original theorem about the functional form of the probability measure. An additional constant and a relaxed property of the `density operator' are the only two differences from the original result. By this generalization of the Gleason theorem and the assumption of finite information for the context, we prove that the probabilities over three or more outcomes of a projective measurement must be linear functions of the projectors associated with the outcomes, given the information on the context.


title: On Avoiding Power-Seeking by Artificial Intelligence

abstract: We do not know how to align a very intelligent AI agent's behavior with human interests. I investigate whether -- absent a full solution to this AI alignment problem -- we can build smart AI agents which have limited impact on the world, and which do not autonomously seek power. In this thesis, I introduce the attainable utility preservation (AUP) method. I demonstrate that AUP produces conservative, option-preserving behavior within toy gridworlds and within complex environments based off of Conway's Game of Life. I formalize the problem of side effect avoidance, which provides a way to quantify the side effects an agent had on the world. I also give a formal definition of power-seeking in the context of AI agents and show that optimal policies tend to seek power. In particular, most reward functions have optimal policies which avoid deactivation. This is a problem if we want to deactivate or correct an intelligent agent after we have deployed it. My theorems suggest that since most agent goals conflict with ours, the agent would very probably resist correction. I extend these theorems to show that power-seeking incentives occur not just for optimal decision-makers, but under a wide range of decision-making procedures.


title: On the parameterized complexity of computing tree-partitions

abstract: We study the parameterized complexity of computing the tree-partition-width, a graph parameter equivalent to treewidth on graphs of bounded maximum degree. On one hand, we can obtain approximations of the tree-partition-width efficiently: we show that there is an algorithm that, given an $n$-vertex graph $G$ and an integer $k$, constructs a tree-partition of width $O(k^7)$ for $G$ or reports that $G$ has tree-partition-width more than $k$, in time $k^{O(1)}n^2$. We can improve slightly on the approximation factor by sacrificing the dependence on $k$, or on $n$. On the other hand, we show the problem of computing tree-partition-width exactly is XALP-complete, which implies that it is $W[t]$-hard for all $t$. We deduce XALP-completeness of the problem of computing the domino treewidth. Next, we adapt some known results on the parameter tree-partition-width and the topological minor relation, and use them to compare tree-partition-width to tree-cut width. Finally, for the related parameter weighted tree-partition-width, we give a similar approximation algorithm (with ratio now $O(k^{15})$) and show XALP-completeness for the special case where vertices and edges have weight 1.


title: Multiscale nanoindentation modeling of concentrated solid solutions: A continuum plasticity model

abstract: Recently developed single-phase concentrated solid-solution alloys (CSAs) contain multiple elemental species in high concentrations with different elements randomly arranged on a crystalline lattice. These chemically disordered materials present excellent physical properties, including high-temperature thermal stability and hardness, with promising applications to industries at extreme operating environments. The aim of this paper is to present a continuum plasticity model accounting for the first time for the behaviour of a equiatomic five-element CSA, that forms a face-centered cubic lattice. The inherent disorder associated with the lattice distortions caused by an almost equiatomic distribution of atoms, is captured by a single parameter {\alpha} that quantifies the relative importance of an isotropic plastic contribution to the model. This results in multiple plasticity mechanisms that go beyond crystallographic symmetry-based ones, common in the case of conventional single element metals. We perform molecular dynamics simulations of equiatomic CSAs: NiFe, NiFeCr, NiFeCrCo, and Cantor alloys to validate the proposed continuum model which is implemented in the finite element method and applied to model nanoindentation tests for three different crystallographic orientations. We obtain the representative volume element model by tracking the combined model yield surface.


title: Non-Determinism and the Lawlessness of Machine Learning Code

abstract: Legal literature on machine learning (ML) tends to focus on harms, and thus tends to reason about individual model outcomes and summary error rates. This focus has masked important aspects of ML that are rooted in its reliance on randomness -- namely, stochasticity and non-determinism. While some recent work has begun to reason about the relationship between stochasticity and arbitrariness in legal contexts, the role of non-determinism more broadly remains unexamined. In this paper, we clarify the overlap and differences between these two concepts, and show that the effects of non-determinism, and consequently its implications for the law, become clearer from the perspective of reasoning about ML outputs as distributions over possible outcomes. This distributional viewpoint accounts for randomness by emphasizing the possible outcomes of ML. Importantly, this type of reasoning is not exclusive with current legal reasoning; it complements (and in fact can strengthen) analyses concerning individual, concrete outcomes for specific automated decisions. By illuminating the important role of non-determinism, we demonstrate that ML code falls outside of the cyberlaw frame of treating ``code as law,'' as this frame assumes that code is deterministic. We conclude with a brief discussion of what work ML can do to constrain the potentially harm-inducing effects of non-determinism, and we indicate where the law must do work to bridge the gap between its current individual-outcome focus and the distributional approach that we recommend.


title: Pluriharmonic maps into buildings and symmetric differentials

abstract: Given a complex quasi-projective manifold $X$, a semisimple algebraic group $G$ defined over some non-archimedean local field $K$ and a Zariski dense representation $\varrho:\pi_1(X)\to G(K)$, we construct a $\varrho$-equivariant (pluri-)harmonic map from the universal covering of $X$ into the Bruhat-Tits building $\Delta(G)$ of $G$, with some suitable asymptotic behavior. This theorem generalizes the previous work by Gromov-Schoen to the quasi-projective setting. We also construct logarithmic symmetric differential forms over $X$ when the image of $\varrho$ is unbounded. As applications, we prove that any reductive representation $\sigma: \pi_1(X)\to {\rm GL}_N(\mathbb{C})$ is rigid and integral provided that $X$ does not admit logarithmic symmetric differentials; we also prove that $X$ has nonzero global logarithmic symmetric differential forms if there exists a linear representation $\pi_1(X)\to {\rm GL}_N(\mathbb{K})$ with infinite image, where $\mathbb{K}$ is any field.


title: Long time NLS approximation for the quasilinear Klein-Gordon equation on large domains under periodic boundary conditions

abstract: We provide the rigorous justification of the NLS approximation, in Sobolev regularity, for a class of quasilinear Hamiltonian Klein Gordon equations with quadratic nonlinearities on large one-dimensional tori $\T_L:=\mathbb{R}/(2\pi L \mathbb{Z})$, $L\gg 1$. We prove the validity of this approximation over a \emph{long-time} scale, meaning that it holds beyond the cubic nonlinear time scale. To achieve this result we need to perform a second-order analysis and deal with higher order resonant wave-interactions. The main difficulties are provided by the quasi-linear nature of the problem and the presence of small divisors arising from quasi-resonances. The proof is based on para-differential calculus, energy methods, normal form procedures and a high-low frequencies analysis.


title: Scalable 3D printing for topological mechanical metamaterials

abstract: Mechanical metamaterials are structures designed to exhibit an exotic response, such as topological soft modes at a surface. Here we explore single-material 3D prints of these topological structures by translating a ball-and-spring model into a physical prototype. By uniaxially compressing the 3D-printed solid having marginal rigidity, we observe that the surfaces are consistently softer than the bulk. However, we also find that either of two opposite surfaces can be the softest, in contrast to the topologically robust predictions of the linear model. Finite-element simulations allow us to bridge this gap. We explore how the printing geometry and deformation amplitude could affect surface softness. For small strains, we find qualitative agreement with the ball-and-spring model but, surprisingly, nonlinear deformations can select which side is softest. Our work contextualizes the predictions of topological mechanics for real 3D materials and their potential for cushioning applications.


title: Quality Control of Image Sensors using Gaseous Tritium Light Sources

abstract: We propose a practical method for radiometrically calibrating cameras using widely available gaseous tritium light sources (betalights). Along with the gain(conversion factor) and read noise level, the predictable photon flux of the source allows us to gauge the quantum effciency. The design is easily reproducible with a 3D printer and three inexpensive parts. Suitable for common image sensors, we believe that the method has the potential to be a useful tool in microscopy facilities and optical labs alike.


title: Annealing Optimisation of Mixed ZX Phase Circuits

abstract: We present a topology-aware optimisation technique for circuits of mixed ZX phase gadgets, based on conjugation by CX gates and simulated annealing.


title: Design Exploration and Security Assessment of PUF-on-PUF Implementations

abstract: We design, implement, and assess the security of several variations of the PUF-on-PUF (POP) architecture. We perform extensive experiments with deep neural networks (DNNs), showing results that endorse its resilience to learning attacks when using APUFs with 6, or more, stages in the first layer. Compositions using APUFs with 2, and 4 stages are shown vulnerable to DNN attacks. We reflect on such results, extending previous techniques of influential bits to assess stage bias in APUF instances. Our data shows that compositions not always preserve security properties of PUFs, the size of PUFs used plays a crucial role. We implemented a testchip in 65 nm CMOS to obtain accurate measurements of uniformity, uniqueness, and response stability for our POP implementations. Measurement results show that minimum bit error rate is obtained when using APUFs with 8 stages in the first layer, while fewer APUF stages lead to a large spread of bit error rate across different chips.


title: Best Approximation-Preserving Operators over Hardy Space

abstract: Let $T_n$ be the linear Hadamard convolution operator acting over Hardy space $H^q$, $1\le q\le\infty$. We call $T_n$ a best approximation-preserving operator (BAP operator) if $T_n(e_n)=e_n$, where $e_n(z):=z^n,$ and if $\|T_n(f)\|_q\le E_n(f)_q$ for all $f\in H^q$, where $E_n(f)_q$ is the best approximation by algebraic polynomials of degree a most $n-1$ in $H^q$ space. We give necessary and sufficient conditions for $T_n$ to be a BAP operator over $H^\infty$. We apply this result to establish an exact lower bound for the best approximation of bounded holomorphic functions. In particular, we show that the Landau-type inequality $\left|\widehat f_n\right|+c\left|\widehat f_N\right|\le E_n(f)_\infty$, where $c>0$ and $n<N$, holds for every $f\in H^\infty$ iff $c\le\frac{1}{2}$ and $N\ge 2n+1$.


title: Constraints on Gaussian Error Channels and Measurements for Quantum Communication

abstract: Joint Gaussian measurements of two quantum systems can be used for quantum communication between remote parties, as in teleportation or entanglement swapping protocols. Many types of physical error sources throughout a protocol can be modeled by independent Gaussian error channels acting prior to measurement. In this work we study joint Gaussian measurements on two modes $\mathsf{A}$ and $\mathsf{B}$ that take place after independent single-mode Gaussian error channels, for example loss with parameters $l_\mathsf{A}$ and $l_\mathsf{B}$ followed by added noise with parameters $n_\mathsf{A}$ and $n_\mathsf{B}$. We show that, for any Gaussian measurement, if $l_\mathsf{A} + l_\mathsf{B} + n_\mathsf{A} + n_\mathsf{B} \geq 1$ then the effective total measurement is separable and unsuitable for teleportation or entanglement swapping of arbitrary input states. If this inequality is not satisfied then there exists a Gaussian measurement that remains inseparable. We extend the results and determine the set of pairs of single-mode Gaussian error channels that render all Gaussian measurements separable.


title: More Than a Wife and a Mom: A Study of Mom Vlogging Practices in China

abstract: Mom vloggers are stay-at-home moms who record and share their daily life through short videos. In this exploratory study, we aspire to understand mom vloggers' motivations, practices, and challenges. Our mixed-methods inspection contained interviews with 4 mom vloggers in China and a content analysis of mom vlogs of 5 other mom vloggers. Mom vloggers' primary motivations are to make money, record daily life, and seek their individual identities and values, well meeting their financial and social needs after leaving their paid employment. When creating vlog content, mom bloggers encounter various challenges, such as a lack of video visibility, being stretched by both intensive motherhood and heavy digital work, privacy and self-presentation concerns, and so on. Based on the findings, we propose design implications toward resolving these challenges and benefiting mom vloggers' experiences.


title: Quant-BnB: A Scalable Branch-and-Bound Method for Optimal Decision Trees with Continuous Features

abstract: Decision trees are one of the most useful and popular methods in the machine learning toolbox. In this paper, we consider the problem of learning optimal decision trees, a combinatorial optimization problem that is challenging to solve at scale. A common approach in the literature is to use greedy heuristics, which may not be optimal. Recently there has been significant interest in learning optimal decision trees using various approaches (e.g., based on integer programming, dynamic programming) -- to achieve computational scalability, most of these approaches focus on classification tasks with binary features. In this paper, we present a new discrete optimization method based on branch-and-bound (BnB) to obtain optimal decision trees. Different from existing customized approaches, we consider both regression and classification tasks with continuous features. The basic idea underlying our approach is to split the search space based on the quantiles of the feature distribution -- leading to upper and lower bounds for the underlying optimization problem along the BnB iterations. Our proposed algorithm Quant-BnB shows significant speedups compared to existing approaches for shallow optimal trees on various real datasets.


title: Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers

abstract: Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is mostly caused by the use of consensus algorithms to guarantee the total order of the chain of blocks (and of the operations within each block). However, total order is often overkilling, since important advanced applications of smart-contracts do not require a total order of all the operations. Hence, if a more relaxed partial order (instead of a total order) is allowed under certain safety conditions, a much higher scalability can be achieved. In this paper, we propose a distributed concurrent data type, called Setchain, that allows implementing this partial order and increases significantly blockchain scalability. A Setchain implements a grow-only set object whose elements are not totally ordered, unlike conventional blockchain operations. When convenient, the Setchain allows forcing a synchronization barrier that assigns permanently an epoch number to a subset of the latest elements added. With the Setchain, operations in the same epoch are not ordered, while operations in different epochs are. We present different Byzantine-tolerant implementations of Setchain, prove their correctness and report on an empirical evaluation of a direct implementation. Our results show that Setchain is orders of magnitude faster than consensus-based ledgers to implement grow-only sets with epoch synchronization. Since the Setchain barriers can be synchronized with block consolidation, Setchain objects can be used as a sidechain to implement many smart contract solutions with much faster operations than on basic blockchains.


title: Analysis of account behaviors in Ethereum during an economic impact event

abstract: One of the main events that involve the world economy in 2022 is the conflict between Russia and Ukraine. This event offers a rare opportunity to analyze how events of this magnitude can reflect the use of cryptocurrencies. This work aims to investigate the behavior of accounts and their transactions on the Ethereum cryptocurrency during this event. To this end, we collected all transactions that occurred two weeks before and two weeks after the beginning of the conflict, organized into two groups: the collection of the accounts involved in these transactions and the subset of these ones that interacted with a service in Ethereum, called Flashbots Auction. We modeled temporal graphs where each node represents an account, and each edge represents a transaction between two accounts. Then, we analyzed the behavior of these accounts with graph metrics for both groups during each observed week. The results showed changes in the behavior and activity of users and their accounts, as well as variations in the daily volume of transactions.


title: Proposing Dynamic Model of Functional Interactions of IoT Technological Innovation System by Using System Dynamics and Fuzzy DEMATEL

abstract: One of the emerging technologies, which is expected to have tremendous effects on community development, is the Internet of Things technology. Given the prospects for this technology and the country's efforts to its development, policymaking for this technology is very crucial. The technological innovation system is one of the most important dynamic approaches in the field of modern technology policy. In this approach, by analyzing various functions which are influencing the development of a technology, the proper path to technological advancement is explained. For this reason, 10 major factors influencing the development of emerging technologies have been identified based on previous studies in this area and the effect of ten factors on each other was identified by using the system dynamics and the fuzzy DEMATEL method and the interactions between these functions were modeled. Market formation, resource mobilization, exploitation of the regime and policymaking and coordination functions have the most direct effect on the other functions. Also, policymaking and coordination, market formation, entrepreneurial activities, creating structure and resource mobilization have the most total impact on the other functions. Regard to resource constraint in the system, the policy makers should focus on those factors which have the most direct and total impact on the others that in this research are market formation, entrepreneurial activities, resource mobilization and policymaking and coordination. Given the dynamic nature of technology development, this model can help policymakers in the decision making process for the development of the Internet of Things.


title: Obj2Sub: Unsupervised Conversion of Objective to Subjective Questions

abstract: Exams are conducted to test the learner's understanding of the subject. To prevent the learners from guessing or exchanging solutions, the mode of tests administered must have sufficient subjective questions that can gauge whether the learner has understood the concept by mandating a detailed answer. Hence, in this paper, we propose a novel hybrid unsupervised approach leveraging rule-based methods and pre-trained dense retrievers for the novel task of automatically converting the objective questions to subjective questions. We observe that our approach outperforms the existing data-driven approaches by 36.45% as measured by Recall@k and Precision@k.


title: Sample Condensation in Online Continual Learning

abstract: Online Continual learning is a challenging learning scenario where the model must learn from a non-stationary stream of data where each sample is seen only once. The main challenge is to incrementally learn while avoiding catastrophic forgetting, namely the problem of forgetting previously acquired knowledge while learning from new data. A popular solution in these scenario is to use a small memory to retain old data and rehearse them over time. Unfortunately, due to the limited memory size, the quality of the memory will deteriorate over time. In this paper we propose OLCGM, a novel replay-based continual learning strategy that uses knowledge condensation techniques to continuously compress the memory and achieve a better use of its limited size. The sample condensation step compresses old samples, instead of removing them like other replay strategies. As a result, the experiments show that, whenever the memory budget is limited compared to the complexity of the data, OLCGM improves the final accuracy compared to state-of-the-art replay strategies.


title: Neural network based human reliability analysis method in production systems

abstract: Purpose: In addition to playing an important role in creating economic security and investment development, insurance companies also invest. The country's insurance industry as one of the country's financial institutions has a special place in the investment process and special attention to appropriate investment policies in the field of insurance industry is essential. So that the efficiency of this industry in allocating the existing budget stimulates other economic sectors. This study seeks to model investment in the performance of dynamic networks of insurance companies. Methodology: In this paper, a new investment model is designed to examine the dynamic network performance of insurance companies in Iran. The designed model is implemented using GAMS software and the outputs of the model are analyzed based on regression method. The required information has been collected based on the statistics of insurance companies in Iran between 1393 and 1398. Findings: After evaluating these units, out of 15 companies evaluated, 6 companies had unit performance and were introduced as efficient companies. The average efficiency of insurance companies is 0.78 and the standard deviation is 0.2. The results show that the increase in the value of investments is due to the large reduction in costs and in terms of capital and net profit of companies is a large number that has a clear and strong potential for insurance companies. Originality/Value: In this paper, investment modeling is performed to examine the performance of dynamic networks of insurance companies in Iran.


title: Context-based Virtual Adversarial Training for Text Classification with Noisy Labels

abstract: Deep neural networks (DNNs) have a high capacity to completely memorize noisy labels given sufficient training time, and its memorization, unfortunately, leads to performance degradation. Recently, virtual adversarial training (VAT) attracts attention as it could further improve the generalization of DNNs in semi-supervised learning. The driving force behind VAT is to prevent the models from overfitting data points by enforcing consistency between the inputs and the perturbed inputs. This strategy could be helpful in learning from noisy labels if it prevents neural models from learning noisy samples while encouraging the models to generalize clean samples. In this paper, we propose context-based virtual adversarial training (ConVAT) to prevent a text classifier from overfitting to noisy labels. Unlike the previous works, the proposed method performs the adversarial training at the context level rather than the inputs. It makes the classifier not only learn its label but also its contextual neighbors, which alleviates the learning from noisy labels by preserving contextual semantics on each data point. We conduct extensive experiments on four text classification datasets with two types of label noises. Comprehensive experimental results clearly show that the proposed method works quite well even with extremely noisy settings.


title: Resource characterisation of quantum entanglement and nonlocality in multipartite settings

abstract: Quantum technologies are enjoying an unprecedented popularity, and some applications are already in the market. This thesis studies two phenomena that are behind a lot of quantum technologies: entanglement and nonlocality. We focus on multipartite systems, and ask what configurations of those systems are more useful than others. 'Usefulness' takes on different meanings depending on the context, but, roughly speaking, we aim for more entanglement or more nonlocality. Chapter 2 develops a resource theory of entanglement with a unique multipartite maximally entangled state. Chapter 3 shows that any connected network of bipartite pure entangled states is genuine multipartite nonlocal (GMNL). Chapter 4 shows that, unlike in the case of pure states, topology is crucial to determine whether networks of bipartite mixed entangled states are genuine multipartite entangled. We also obtain, to our knowledge, the first example of superactivation of GMNL. In a departure from the main ideas explored in previous chapters, Chapter 5 is devoted to developing a physical principle inspired by a seminal result in epistemics. We contend that the principle must hold for any theory of Nature and intend for it to rule out post-quantum theories which are consistent with experimentally observed results.


title: Application of accelerated life testing in human reliability analysis

abstract: As manufacturers and technologies become more complicated, manufacturing errors such as machine failure and human error have also been considered more over the past. Since machines and humans are not error-proof, managing the machines and human errors is a significant challenge in manufacturing systems. There are numerous methods for investigating human errors, fatigue, and reliability that categorized under Human Reliability Analysis (HRA) methods. HRA methods use some qualitative factors named Performance Shaping Factors (PSFs) to estimate Human Error Probability (HEP). Since the PSFs can be considered as the acceleration factors in Accelerated Life Test (ALT). We developed a method for Accelerated Human Fatigue Test (AHFT) to calculate human fatigue, according to fatigue rate and other effective factors. The proposed method reduces the time and cost of human fatigue calculation. AHFT first extracts the important factors affecting human fatigue using Principal Component Analysis (PCA) and then uses the accelerated test to calculate the effect of PSFs on human fatigue. The proposed method has been applied to a real case, and the provided results show that human fatigue can be calculated more effectively using the proposed method.


title: HYU at SemEval-2022 Task 2: Effective Idiomaticity Detection with Consideration at Different Levels of Contextualization

abstract: We propose a unified framework that enables us to consider various aspects of contextualization at different levels to better identify the idiomaticity of multi-word expressions. Through extensive experiments, we demonstrate that our approach based on the inter- and inner-sentence context of a target MWE is effective in improving the performance of related models. We also share our experience in detail on the task of SemEval-2022 Tasks 2 such that future work on the same task can be benefited from this.


title: Dimensionality reduction of discrete-time dynamical systems

abstract: One of the outstanding problems in complexity science and dynamical system theory is understanding the dynamic behavior of high-dimensional networked systems and their susceptibility to transitions to undesired states. Because of varied interactions, large number of parameters and different initial conditions, the study is extremely difficult and existing methods can be applied only to continuous-time systems. Here we propose an analytical framework for collapsing N-dimensional discrete-time systems into a S+1-dimensional manifold as a function of S effective parameters with S << N. Specifically, we provide a quantitative prediction of the quality of the low-dimensional collapse. We test our framework on a variety of real-world complex systems showing its good performance and correctly identify the regions in the parameter space corresponding to the system's transitions. Our work offers an analytical tool to reduce dimensionality of discrete-time networked systems that can be applied to a broader set of systems and dynamics.


title: Quadrupole Topological Insulator in Non-Hermitian Thermal Diffusion

abstract: Quantized bulk quadrupole moment has unveiled a nontrivial boundary state, exhibiting lower-dimensional topological edge states and simultaneously hosting the in-gap corner modes of zero dimension. All state-of-the-art strategies for topological thermal metamaterials have so far failed to observe such higher-order hierarchical features, since the absence of quantized bulk quadrupole moments in thermal diffusion fundamentally forbids the possible expansions of band topology, unlike its photonic counterpart. Here, we report a recipe of creating quantized bulk quadrupole moments in diffusion, and observe the quadrupole topological phases in non-Hermitian thermal systems. The experiments demonstrate that both the real- and imaginary-valued bands showcase the hierarchical hallmarks of bulk, gapped edge, and in-gap corner states, in stark contrast to the higher-order states only observed on real-valued bands in classic wave fields. Our findings open up unique possibilities for diffusive manipulations and establish an unexplored playground for multipolar topological physics.


title: Change of Optimal Values: A Pre-calculated Metric

abstract: A variety of optimization problems takes the form of a minimum norm optimization. In this paper, we study the change of optimal values between two incrementally constructed least norm optimization problems, with new measurements included in the second one. We prove an exact equation to calculate the change of optimal values in the linear least norm optimization problem. With the result in this paper, the change of the optimal values can be pre-calculated as a metric to guide online decision makings, without solving the second optimization problem as long the solution and covariance of the first optimization problem are available. The result can be extended to linear least distance optimization problems, and nonlinear least distance optimization with (nonlinear) equality constraints through linearizations. This derivation in this paper provides a theoretically sound explanation to the empirical observations shown in RA-L 2018 bai et al. As an additional contribution, we propose another optimization problem, i.e. aligning two trajectories at given poses, to further demonstrate how to use the metric. The accuracy of the metric is validated with numerical examples, which is quite satisfactory in general (see the experiments in RA-L 2018 bai et al.} as well), unless in some extremely adverse scenarios. Last but not least, calculating the optimal value by the proposed metric is at least one magnitude faster than solving the corresponding optimization problems directly.


title: Predict the water level of the Lake Mead for the next 30 years based on ARIMA

abstract: In this study, a mathematical model is developed for the drought problem of Lake Mead. First, a polynomial fitting of the elevation of Lake Mead to the area of the lake is done by the least-squares method, and the volume of Lake Mead is approximated by the numerical integration of the product of the height and the area solved by the trapezoidal rule. The accuracy of the fitting reached more than 96%at all four different locations. Second, the minimum and maximum water levels were transformed into volume numbers by the above method, and the historical data of Lake Mead were classified into three classes of water resources by sequential clustering. According to these data, the optimal cut point of the most recent drought period was 2008 and has continued until now. Finally, two prediction models were constructed using ARIMA(2,2,2) and ARIMA(3,2,2) to study the water level data from 2008 to 2020 and 2005 to 2020, respectively, to predict the water level data of Lake Mead from 2022 to 2050, and to compare and analyze them.


title: Extremely broken generalized $\mathcal{PT}$ symmetry

abstract: We discuss some simple H\"uckel-like matrix representations of non-Hermitian operators with antiunitary symmetries that include generalized $\mathcal{PT}$ (parity transformation followed by time-reversal) symmetry. One of them exhibits extremely broken antiunitary symmetry (complex eigenvalues for all nontrivial values of the model parameter) because of the degeneracy of the operator in the Hermitian limit. These examples illustrate the effect of point-group symmetry on the spectrum of the non-Hermitian operators. We construct the necessary unitary matrices by means of simple graphical representations of the non-Hermitian operators.


title: Exploiting Transliterated Words for Finding Similarity in Inter-Language News Articles using Machine Learning

abstract: Finding similarities between two inter-language news articles is a challenging problem of Natural Language Processing (NLP). It is difficult to find similar news articles in a different language other than the native language of user, there is a need for a Machine Learning based automatic system to find the similarity between two inter-language news articles. In this article, we propose a Machine Learning model with the combination of English Urdu word transliteration which will show whether the English news article is similar to the Urdu news article or not. The existing approaches to find similarities has a major drawback when the archives contain articles of low-resourced languages like Urdu along with English news article. The existing approaches to find similarities has drawback when the archives contain low-resourced languages like Urdu along with English news articles. We used lexicon to link Urdu and English news articles. As Urdu language processing applications like machine translation, text to speech, etc are unable to handle English text at the same time so this research proposed technique to find similarities in English and Urdu news articles based on transliteration.


title: Automatic Generation of Programming Exercises and Code Explanations using Large Language Models

abstract: This article explores the natural language generation capabilities of large language models with application to the production of two types of learning resources common in programming courses. Using OpenAI Codex as the large language model, we create programming exercises (including sample solutions and test cases) and code explanations, assessing these qualitatively and quantitatively. Our results suggest that the majority of the automatically generated content is both novel and sensible, and in some cases ready to use as is. When creating exercises we find that it is remarkably easy to influence both the programming concepts and the contextual themes they contain, simply by supplying keywords as input to the model. Our analysis suggests that there is significant value in massive generative machine learning models as a tool for instructors, although there remains a need for some oversight to ensure the quality of the generated content before it is delivered to students. We further discuss the implications of OpenAI Codex and similar tools for introductory programming education and highlight future research streams that have the potential to improve the quality of the educational experience for both teachers and students alike.


title: Urdu News Article Recommendation Model using Natural Language Processing Techniques

abstract: There are several online newspapers in urdu but for the users it is difficult to find the content they are looking for because these most of them contain irrelevant data and most users did not get what they want to retrieve. Our proposed framework will help to predict Urdu news in the interests of users and reduce the users searching time for news. For this purpose, NLP techniques are used for pre-processing, and then TF-IDF with cosine similarity is used for gaining the highest similarity and recommended news on user preferences. Moreover, the BERT language model is also used for similarity, and by using the BERT model similarity increases as compared to TF-IDF so the approach works better with the BERT language model and recommends news to the user on their interest. The news is recommended when the similarity of the articles is above 60 percent.


title: CHEF: A Pilot Chinese Dataset for Evidence-Based Fact-Checking

abstract: The explosion of misinformation spreading in the media ecosystem urges for automated fact-checking. While misinformation spans both geographic and linguistic boundaries, most work in the field has focused on English. Datasets and tools available in other languages, such as Chinese, are limited. In order to bridge this gap, we construct CHEF, the first CHinese Evidence-based Fact-checking dataset of 10K real-world claims. The dataset covers multiple domains, ranging from politics to public health, and provides annotated evidence retrieved from the Internet. Further, we develop established baselines and a novel approach that is able to model the evidence retrieval as a latent variable, allowing jointly training with the veracity prediction model in an end-to-end fashion. Extensive experiments show that CHEF will provide a challenging testbed for the development of fact-checking systems designed to retrieve and reason over non-English claims.


title: Romantic-Computing

abstract: In this paper we compare various text generation models' ability to write poetry in the style of early English Romanticism. These models include: Character-Level Recurrent Neural Networks with Long Short-Term Memory, Hugging Face's GPT-2, OpenAI's GPT-3, and EleutherAI's GPT-NEO. Quality was measured based syllable count and coherence with the automatic evaluation metric GRUEN. Character-Level Recurrent Neural Networks performed far worse compared to transformer models. And, as parameter-size increased, the quality of transformer models' poems improved. These models are typically not compared in a creative context, and we are happy to contribute.


title: BOS at LSCDiscovery: Lexical Substitution for Interpretable Lexical Semantic Change Detection

abstract: We propose a solution for the LSCDiscovery shared task on Lexical Semantic Change Detection in Spanish. Our approach is based on generating lexical substitutes that describe old and new senses of a given word. This approach achieves the second best result in sense loss and sense gain detection subtasks. By observing those substitutes that are specific for only one time period, one can understand which senses were obtained or lost. This allows providing more detailed information about semantic change to the user and makes our method interpretable.


title: A Multi-Policy Framework for Deep Learning-Based Fake News Detection

abstract: Connectivity plays an ever-increasing role in modern society, with people all around the world having easy access to rapidly disseminated information. However, a more interconnected society enables the spread of intentionally false information. To mitigate the negative impacts of fake news, it is essential to improve detection methodologies. This work introduces Multi-Policy Statement Checker (MPSC), a framework that automates fake news detection by using deep learning techniques to analyze a statement itself and its related news articles, predicting whether it is seemingly credible or suspicious. The proposed framework was evaluated using four merged datasets containing real and fake news. Long-Short Term Memory (LSTM), Gated Recurrent Unit (GRU) and Bidirectional Encoder Representations from Transformers (BERT) models were trained to utilize both lexical and syntactic features, and their performance was evaluated. The obtained results demonstrate that a multi-policy analysis reliably identifies suspicious statements, which can be advantageous for fake news detection.


title: Lifelong Learning Natural Language Processing Approach for Multilingual Data Classification

abstract: The abundance of information in digital media, which in today's world is the main source of knowledge about current events for the masses, makes it possible to spread disinformation on a larger scale than ever before. Consequently, there is a need to develop novel fake news detection approaches capable of adapting to changing factual contexts and generalizing previously or concurrently acquired knowledge. To deal with this problem, we propose a lifelong learning-inspired approach, which allows for fake news detection in multiple languages and the mutual transfer of knowledge acquired in each of them. Both classical feature extractors, such as Term frequency-inverse document frequency or Latent Dirichlet Allocation, and integrated deep NLP (Natural Language Processing) BERT (Bidirectional Encoder Representations from Transformers) models paired with MLP (Multilayer Perceptron) classifier, were employed. The results of experiments conducted on two datasets dedicated to the fake news classification task (in English and Spanish, respectively), supported by statistical analysis, confirmed that utilization of additional languages could improve performance for traditional methods. Also, in some cases supplementing the deep learning method with classical ones can positively impact obtained results. The ability of models to generalize the knowledge acquired between the analyzed languages was also observed.


title: Inference on the Best Policies with Many Covariates

abstract: Understanding the impact of the most effective policies or treatments on a response variable of interest is desirable in many empirical works in economics, statistics and other disciplines. Due to the widespread winner's curse phenomenon, conventional statistical inference assuming that the top policies are chosen independent of the random sample may lead to overly optimistic evaluations of the best policies. In recent years, given the increased availability of large datasets, such an issue can be further complicated when researchers include many covariates to estimate the policy or treatment effects in an attempt to control for potential confounders. In this manuscript, to simultaneously address the above-mentioned issues, we propose a resampling-based procedure that not only lifts the winner's curse in evaluating the best policies observed in a random sample, but also is robust to the presence of many covariates. The proposed inference procedure yields accurate point estimates and valid frequentist confidence intervals that achieve the exact nominal level as the sample size goes to infinity for multiple best policy effect sizes. We illustrate the finite-sample performance of our approach through Monte Carlo experiments and two empirical studies, evaluating the most effective policies in charitable giving and the most beneficial group of workers in the National Supported Work program.


title: Case Study: The Impact of Location on Bias in Search Results

abstract: In this work, we aim to investigate the impact of location (different countries) on bias in search results. For this, we use the search results of Google and Bing in the UK and US locations. The query set is composed of controversial queries obtained from ProCon.org that have specific ideological leanings as conservative or liberal. In a previous work, researchers analyse search results in terms of stance and ideological bias with rank and relevance based measures. Yet, in the scope of this work, by using the query subset of controversial queries we examine the effect of location on the existence of bias as well as the magnitude of bias difference between Bing and Google. Note that this study follows a similar evaluation procedure. Our preliminary results show that location might affect the retrieval performance of search engines as well as the bias in the search results returned by Bing and Google towards the controversial queries.


title: The double doors of the horizon

abstract: In statistical mechanics entropy is a measure of disorder obeying Boltzmann's formula $S=\log{\cal N}$, where ${\cal N}$ is the accessible phase space volume. In black hole thermodynamics one associates to a black hole an entropy Bekenstein-Hawking $S_{BH}$. It is well known that $S_{BH}$ is very large for astrophysical black holes, much larger than any collection of material objects that could have given rise to the black hole. If $S_{BH}$ is an entropy the question is thus what is the corresponding ${\cal N}$, and how come this very large phase space volume is only opened up to the universe by a gravitational collapse, which from another perspective looks like a massive loss of possibilities. I advance a hypothesis that the very large increase in entropy can perhaps be understood as an effect of classical gravity, which eventually bottoms out when quantum gravity comes into play. I compare and discuss a selection of the very rich literature around these questions.


title: Offline RL for Natural Language Generation with Implicit Language Q Learning

abstract: Large language models distill broad knowledge from text corpora. However, they can be inconsistent when it comes to completing user specified tasks. This issue can be addressed by finetuning such models via supervised learning on curated datasets, or via reinforcement learning. In this work, we propose a novel offline RL method, implicit language Q-learning (ILQL), designed for use on language models, that combines both the flexible utility maximization framework of RL algorithms with the ability of supervised learning to leverage previously collected data, as well as its simplicity and stability. Our method employs a combination of value conservatism alongside an implicit dataset support constraint in learning value functions, which are then used to guide language model generations towards maximizing user-specified utility functions. In addition to empirically validating ILQL, we present a detailed empirical analysis of situations where offline RL can be useful in natural language generation settings, demonstrating how it can be a more effective utility optimizer than prior approaches for end-to-end dialogue, and how it can effectively optimize high variance reward functions based on subjective judgement, such as whether to label a comment as toxic or not.


title: Provable Acceleration of Heavy Ball beyond Quadratics for a Class of Polyak-\L{}ojasiewicz Functions when the Non-Convexity is Averaged-Out

abstract: Heavy Ball (HB) nowadays is one of the most popular momentum methods in non-convex optimization. It has been widely observed that incorporating the Heavy Ball dynamic in gradient-based methods accelerates the training process of modern machine learning models. However, the progress on establishing its theoretical foundation of acceleration is apparently far behind its empirical success. Existing provable acceleration results are of the quadratic or close-to-quadratic functions, as the current techniques of showing HB's acceleration are limited to the case when the Hessian is fixed. In this work, we develop some new techniques that help show acceleration beyond quadratics, which is achieved by analyzing how the change of the Hessian at two consecutive time points affects the convergence speed. Based on our technical results, a class of Polyak-\L{}ojasiewicz (PL) optimization problems for which provable acceleration can be achieved via HB is identified. Moreover, our analysis demonstrates a benefit of adaptively setting the momentum parameter. (Update: 08/29/2023) Erratum is added in Appendix J. This is an updated version that fixes an issue in the previous version. An additional condition needs to be satisfied for the acceleration result of HB beyond quadratics in this work, which naturally holds when the dimension is one or, more broadly, when the Hessian is diagonal. We elaborate on the issue in Appendix J.


title: A Bourgain-Brezis-Mironescu formula for anisotropic fractional Sobolev spaces and applications to anisotropic fractional differential equations

abstract: In this paper we prove Bourgain-Brezis-Mironescu's type results (cf. \cite{BBM2001}) (BBM for short) for an energy functional which is strongly related to the fractional anisotropic p-Laplacian. We also provide with the analogous of Maz'ya-Shaposhnikova (see \cite{MS}) type results for these energies and finally we apply these results to analyze the stability of solutions to anisotropic fractional $p-$laplacian equations.


title: A saddle-point finder and its application to the spin foam model

abstract: We introduce a saddle-point finder that can find the complex saddle points for any analytically continued action. We showcase our saddle-point finder by two examples in the EPRL spin foam model: the single vertex case and the case of triangulation $\Delta_3$. In both cases, the complex saddle points are found, and each saddle point's contribution to the partition function is estimated. We also discuss the geometrical interpretation of each saddle point.


title: Possible fluid interpretation and tidal force equation on a generic null hypersurface in Einstein-Cartan theory

abstract: The dynamical evolution of the Hajicek $1$-form is derived in Einstein-Cartan (EC) theory. We find that like Einstein theory of gravity, the evolution equation is related to a projected part of the Einstein tensor $(\hat{G}_{ab})$ on a generic null surface $\mathcal{H}$, particularly $\hat{G}_{ab}l^a q^b_{~c}$, where $l^a$ and $q^a_{~c}$ are the outgoing null generators of $\mathcal{H}$ and the induced metric to a transverse spatial cross-section of $\mathcal{H}$ respectively. Under the {\it geodesic constraint} a possible fluid interpretation of this evolution equation is then proposed. We find that it has the structure which is reminiscent to the {\it Cosserat generalization} of the Navier-Stokes fluid provided we express the dynamical evolution equation of the Hajicek $1$-form in a set of coordinates adapted to $\mathcal{H}$ and in a local inertial frame. An analogous viewpoint can also be built under the motive that the usual material derivative for fluids should be replaced by the Lie derivative. Finally, the tidal force equation in EC theory on the null surface is also derived.


title: A Topological characterisation of Weisfeiler-Leman equivalence classes

abstract: Graph Neural Networks (GNNs) are learning models aimed at processing graphs and signals on graphs. The most popular and successful GNNs are based on message passing schemes. Such schemes inherently have limited expressive power when it comes to distinguishing two non-isomorphic graphs. In this article, we rely on the theory of covering spaces to fully characterize the classes of graphs that GNNs cannot distinguish. We then generate arbitrarily many non-isomorphic graphs that cannot be distinguished by GNNs, leading to the GraphCovers dataset. We also show that the number of indistinguishable graphs in our dataset grows super-exponentially with the number of nodes. Finally, we test the GraphCovers dataset on several GNN architectures, showing that none of them can distinguish any two graphs it contains.


title: Direct determination of the fully differential cross section of the ionization by the wave function in the coordinate representation

abstract: This paper is focused on showing that the fully differential cross section of ionization during a collision of a proton and an antiproton with a hydrogen atom is directly expressed by the wave function in the coordinate representation. Wave function is converted from impact parameter representation to momentum transfer representation. In this case, the calculated wave function corresponds at a certain projectile angle of scattering. The square representation of this wave function module shows how the angular distribution of ionized electrons varies over time. The ionized electron's flow is directly visible from the image. In addition, the direct differentiation of the fully differential ionization cross section by the wave function is shown to be consistent with the effective time determined by the ionization amplitude, which is the traditional method.


title: Predicting the meal macronutrient composition from continuous glucose monitors

abstract: Sustained high levels of blood glucose in type 2 diabetes (T2DM) can have disastrous long-term health consequences. An essential component of clinical interventions for T2DM is monitoring dietary intake to keep plasma glucose levels within an acceptable range. Yet, current techniques to monitor food intake are time intensive and error prone. To address this issue, we are developing techniques to automatically monitor food intake and the composition of those foods using continuous glucose monitors (CGMs). This article presents the results of a clinical study in which participants consumed nine standardized meals with known macronutrients amounts (carbohydrate, protein, and fat) while wearing a CGM. We built a multitask neural network to estimate the macronutrient composition from the CGM signal, and compared it against a baseline linear regression. The best prediction result comes from our proposed neural network, trained with subject-dependent data, as measured by root mean squared relative error and correlation coefficient. These findings suggest that it is possible to estimate macronutrient composition from CGM signals, opening the possibility to develop automatic techniques to track food intake.


title: Topological directed amplification

abstract: A phenomenon of topological directed amplification of certain initial perturbations is revealed theoretically to emerge in a class of asymptotically stable skin-effect lattices described by nonnormal Toeplitz operators $H_g$ with positive ``numerical ordinate" $\omega(H_g)>0$. Nonnormal temporal evolution, even in the presence of global dissipation, is shown to manifest a counterintuitive transient phase of edge-state amplification -- a behavior, drastically different from the asymptote, that spectral analysis of $H_g$ fails to directly reveal. A consistent description of the effect is provided by the general tool of ``pseudospectrum", and a quantitative estimation of the maximum power amplification is provided by the {\it Kreiss constant}. A recipe to determine an optimal initial condition that will attain maximum amplification power is given by singular value decomposition of the propagator $e^{-i H_g t}$. It is further predicted that the interplay between nonnormality and nonlinearity in a skin-effect laser array can facilitate narrow-emission spectra with scalable stable-output power.

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


title: The Effective Sample Size in Bayesian Information Criterion for Level-Specific Fixed and Random Effects Selection in a Two-Level Nested Model

abstract: Popular statistical software provides Bayesian information criterion (BIC) for multilevel models or linear mixed models. However, it has been observed that the combination of statistical literature and software documentation has led to discrepancies in the formulas of the BIC and uncertainties of the proper use of the BIC in selecting a multilevel model with respect to level-specific fixed and random effects. These discrepancies and uncertainties result from different specifications of sample size in the BIC's penalty term for multilevel models. In this study, we derive the BIC's penalty term for level-specific fixed and random effect selection in a two-level nested design. In this new version of BIC, called BIC_E, this penalty term is decomposed into two parts if the random effect variance-covariance matrix has full rank: (a) a term with the log of average sample size per cluster whose multiplier involves the overlapping number of dimensions between the column spaces of the random and fixed effect design matrices and (b) the total number of parameters times the log of the total number of clusters. Furthermore, we study the behavior of BIC_E in the presence of redundant random effects. The use of BIC_E is illustrated with a textbook example data set and a numerical demonstration shows that the derived formulae adheres to empirical values.


title: The hMSSM with a Light Gaugino/Higgsino Sector: Implications for Collider and Astroparticle Physics

abstract: The hMSSM is a special parameterization of the minimal supersymmetric extension of the Standard Model (MSSM) in which the mass of the lightest Higgs boson is automatically set to the LHC measured value, $M_h\!\!=\!\! 125$\,GeV, by adjusting the supersymmetric particle spectrum such that it provides the required amount of radiative corrections to the Higgs boson masses.\ The latter spectrum was in general assumed to be very heavy, as indicated by the present exclusion limits of the LHC, not to affect the phenomenology of the Higgs sector.\ In this work, we investigate the impact on the hMSSM by a light gaugino and higgsino sector, that is allowed by the present LHC data.\ In particular, we discuss the radiative corrections due to charginos and neutralinos to the Higgs boson masses and couplings and show that an hMSSM can still be realized in this context.\ We first describe how this scenario is implemented in the package SuSpect that generates the MSSM Higgs and supersymmetric spectra.\ We then analyze the possible impact of Higgs boson decays into these new states, as well as the reverse cascade channels with Higgs bosons in the final states, for the constraints on the MSSM Higgs sector at the LHC.\ We further explore the cosmological constraints on the hMSSM with a light gaugino--higgsino spectrum.\ We analyze the relic abundance of the lightest neutralino as a candidate of the dark matter in the Universe and the constraints on its mass and couplings by the present and future astroparticle physics experiments.


title: Insights on the Ces\`aro operator: shift semigroups and invariant subspaces

abstract: A closed subspace is invariant under the Ces\`aro operator $\mathcal{C}$ on the classical Hardy space $H^2(\mathbb D)$ if and only if its orthogonal complement is invariant under the $C_0$-semigroup of composition operators induced by the affine maps $\varphi_t(z)= e^{-t}z + 1 - e^{-t}$ for $t\geq 0$ and $z\in \mathbb D$. The corresponding result also holds in the Hardy spaces $H^p(\mathbb D)$ for $1<p<\infty$. Moreover, in the Hilbert space setting, by linking the invariant subspaces of $\mathcal{C}$ to the lattice of the closed invariant subspaces of the standard right-shift semigroup acting on a particular weighted $L^2$-space on the line, we exhibit a large class of non-trivial closed invariant subspaces and provide a complete characterization of the finite codimensional ones, establishing, in particular, the limits of such an approach towards describing the lattice of all invariant subspaces of $\mathcal{C}$. Finally, we present a functional calculus argument which allows us to extend a recent result by Mashreghi, Ptak and Ross regarding the square root of $\mathcal{C}$, and discuss its invariant subspaces.


title: Asymptotic Geometry of the Moduli Space of Rank Two Irregular Higgs Bundles over the Projective Line

abstract: We study the asymptotic behavior of Hitchin's hyperk\"ahler metric on the moduli space of rank two irregular Higgs bundles over $\mathbb{C}P^1$. Along a generic curve, we prove that the Hitchin metric is asymptotic to the semiflat metric at an arbitrary polynomial order. When there are no weakly parabolic singularities, the rate is exponential. In the case of four-dimensional moduli spaces, we prove that the semiflat metric is asymptotic to an ALG/ALG$^\ast$ model metric.


title: Augmenting differentiable physics with randomized smoothing

abstract: In the past few years, following the differentiable programming paradigm, there has been a growing interest in computing the gradient information of physical processes (e.g., physical simulation, image rendering). However, such processes may be non-differentiable or yield uninformative gradients (i.d., null almost everywhere). When faced with the former pitfalls, gradients estimated via analytical expression or numerical techniques such as automatic differentiation and finite differences, make classical optimization schemes converge towards poor quality solutions. Thus, relying only on the local information provided by these gradients is often not sufficient to solve advanced optimization problems involving such physical processes, notably when they are subject to non-smoothness and non-convexity issues.In this work, inspired by the field of zero-th order optimization, we leverage randomized smoothing to augment differentiable physics by estimating gradients in a neighborhood. Our experiments suggest that integrating this approach inside optimization algorithms may be fruitful for tasks as varied as mesh reconstruction from images or optimal control of robotic systems subject to contact and friction issues.


title: A presentation of relative unitary Steinberg groups

abstract: We find an explicit presentation of relative odd unitary Steinberg groups constructed by odd form rings and of relative doubly laced Steinberg groups over commutative rings, i.e. the Steinberg groups associated with the Chevalley group schemes of the types $\mathsf B_\ell$, $\mathsf C_\ell$, $\mathsf F_4$ for $\ell \geq 3$. For simply laced root systems such result is already known.


title: On the Generalizability and Predictability of Recommender Systems

abstract: While other areas of machine learning have seen more and more automation, designing a high-performing recommender system still requires a high level of human effort. Furthermore, recent work has shown that modern recommender system algorithms do not always improve over well-tuned baselines. A natural follow-up question is, "how do we choose the right algorithm for a new dataset and performance metric?" In this work, we start by giving the first large-scale study of recommender system approaches by comparing 18 algorithms and 100 sets of hyperparameters across 85 datasets and 315 metrics. We find that the best algorithms and hyperparameters are highly dependent on the dataset and performance metric, however, there are also strong correlations between the performance of each algorithm and various meta-features of the datasets. Motivated by these findings, we create RecZilla, a meta-learning approach to recommender systems that uses a model to predict the best algorithm and hyperparameters for new, unseen datasets. By using far more meta-training data than prior work, RecZilla is able to substantially reduce the level of human involvement when faced with a new recommender system application. We not only release our code and pretrained RecZilla models, but also all of our raw experimental results, so that practitioners can train a RecZilla model for their desired performance metric: https://github.com/naszilla/reczilla.


title: VRKitchen2.0-IndoorKit: A Tutorial for Augmented Indoor Scene Building in Omniverse

abstract: With the recent progress of simulations by 3D modeling software and game engines, many researchers have focused on Embodied AI tasks in the virtual environment. However, the research community lacks a platform that can easily serve both indoor scene synthesis and model benchmarking with various algorithms. Meanwhile, computer graphics-related tasks need a toolkit for implementing advanced synthesizing techniques. To facilitate the study of indoor scene building methods and their potential robotics applications, we introduce INDOORKIT: a built-in toolkit for NVIDIA OMNIVERSE that provides flexible pipelines for indoor scene building, scene randomizing, and animation controls. Besides, combining Python coding in the animation software INDOORKIT assists researchers in creating real-time training and controlling avatars and robotics. The source code for this toolkit is available at https://github.com/realvcla/VRKitchen2.0-Tutorial, and the tutorial along with the toolkit is available at https://vrkitchen20-tutorial.readthedocs.io/en/


title: Transport of multispecies ion crystals through a junction in an RF Paul trap

abstract: We report on the first demonstration of transport of a multispecies ion crystal through a junction in an RF Paul trap. The trap is a two-dimensional surface-electrode trap with an X junction and segmented control electrodes to which time-varying voltages are applied to control the shape and position of potential wells above the trap surface. We transport either a single $^{171}$Yb$^+$ ion or a crystal composed of a $^{138}$Ba$^+$ ion cotrapped with the $^{171}$Yb$^+$ ion to any port of the junction. We characterize the motional excitation by performing multiple round-trips through the junction and back to the initial well position without cooling. The final excitation is then measured using sideband asymmetry. For a single $^{171}$Yb$^+$ ion, transport with a $4\;\mathrm{m/s}$ average speed induces between $0.013\pm0.001$ and $0.014\pm0.001$ quanta of excitation per round trip, depending on the exit port. For a Ba-Yb crystal, transport at the same speed induces between $0.013\pm0.001$ and $0.030\pm0.002$ quanta per round trip of excitation to the axial center of mass mode. Excitation in the axial stretch mode ranges from $0.005\pm0.001$ to $0.021\pm0.001$ quanta per round trip.


title: Provably Efficient Model-Free Constrained RL with Linear Function Approximation

abstract: We study the constrained reinforcement learning problem, in which an agent aims to maximize the expected cumulative reward subject to a constraint on the expected total value of a utility function. In contrast to existing model-based approaches or model-free methods accompanied with a `simulator', we aim to develop the first model-free, simulator-free algorithm that achieves a sublinear regret and a sublinear constraint violation even in large-scale systems. To this end, we consider the episodic constrained Markov decision processes with linear function approximation, where the transition dynamics and the reward function can be represented as a linear function of some known feature mapping. We show that $\tilde{\mathcal{O}}(\sqrt{d^3H^3T})$ regret and $\tilde{\mathcal{O}}(\sqrt{d^3H^3T})$ constraint violation bounds can be achieved, where $d$ is the dimension of the feature mapping, $H$ is the length of the episode, and $T$ is the total number of steps. Our bounds are attained without explicitly estimating the unknown transition model or requiring a simulator, and they depend on the state space only through the dimension of the feature mapping. Hence our bounds hold even when the number of states goes to infinity. Our main results are achieved via novel adaptations of the standard LSVI-UCB algorithms. In particular, we first introduce primal-dual optimization into the LSVI-UCB algorithm to balance between regret and constraint violation. More importantly, we replace the standard greedy selection with respect to the state-action function in LSVI-UCB with a soft-max policy. This turns out to be key in establishing uniform concentration for the constrained case via its approximation-smoothness trade-off. We also show that one can achieve an even zero constraint violation while still maintaining the same order with respect to $T$.

categories: cs.LG cs.AI cs.SY eess.SY math.OC stat.ML


title: Tensor Polarization and Spectral Properties of Vector Meson in QCD Medium

abstract: We calculate the tensor polarization and the resulted spin alignment of a generic vector meson in local equilibrium up to the first order in hydrodynamic gradients using thermal field theory with dissipative effects incorporated. Several new contributions, including a novel shear-induced tensor polarization (SITP), are discovered and turn out sensitive to the in-medium spectral properties of the vector mesons. The phenomenological study reveals that these contributions, especially SITP, could generate substantial spin alignment in heavy-ion collisions, and potentially helps us to understand the large spin alignment observed in experiments.