title: A joint latent class model of longitudinal and survival data with a time-varying membership probability

abstract: Joint latent class modelling has been developed considerably in the past two decades. In some instances, the models are linked by the latent class k (i.e. the number of subgroups), in others they are joined by shared random effects or a heterogeneous random covariance matrix. We propose an extension to the joint latent class model (JLCM) in which probabilities of subjects being in latent class k can be set to vary with time. This can be a more flexible way to analyse the effect of treatments to patients. For example, a patient may be in period I at the first visit time and may move to period II at the second visit time, implying the treatment the patient had before might be noneffective at the following visit time. For a dataset with these particular features, the joint latent class model which allows jumps among different subgroups can potentially provide more information as well as more accurate estimation and prediction results compared to the basic JLCM. A Bayesian approach is used to do the estimation and a DIC criterion is used to decide the optimal number of classes. Simulation results indicate that the proposed model produces accurate results and the time-varying JLCM outperforms the basic JLCM. We also illustrate the performance of our proposed JLCM on the aids data (Goldman et al., 1996).


title: Metal Lines Associated with the Lyman-alpha Forest from eBOSS Data

abstract: We investigate the metal species associated with the Ly$\alpha$ forest in the eBOSS quasar spectra. Metal absorption lines are revealed in the stacked spectra from cross-correlating the selected Ly$\alpha$ absorbers in the forest and the flux fluctuation field. Up to 13 metal species are identified associated with relatively strong Ly$\alpha$ absorbers (those with flux fluctuation $-1.0<\delta_{\rm Ly\alpha}<-0.6$ and with neutral hydrogen column density of ~ $10^{15-16}$ $\rm cm^{-2}$) over absorber redshift range of $2<z_{\rm abs}<4$. The column densities of these species decrease toward higher redshift and for weaker Ly$\alpha$ absorbers. From modelling the column densities of various species, we find that the column density pattern suggests contributions from multiple gas components both in the circumgalactic medium (CGM) and in the intergalactic medium (IGM). While the low-ionization species (e.g., C II, Si II, and Mg II) can be explained by high-density, cool gas ($T \sim 10^4$ K) from the CGM, the high-ionization species may reside in low-density or high-temperature gas in the IGM. The measurements provide inputs to model metal contamination in the Ly$\alpha$ forest baryon acoustic oscillations measurement. Comparison with metal absorptions in high-resolution quasar spectra and with hydrodynamic galaxy formation simulations can further elucidate the physical conditions of these Ly$\alpha$ absorbers.


title: Bi-stochastically normalized graph Laplacian: convergence to manifold Laplacian and robustness to outlier noise

abstract: Bi-stochastic normalization provides an alternative normalization of graph Laplacians in graph-based data analysis and can be computed efficiently by Sinkhorn-Knopp (SK) iterations. This paper proves the convergence of bi-stochastically normalized graph Laplacian to manifold (weighted-)Laplacian with rates, when $n$ data points are i.i.d. sampled from a general $d$-dimensional manifold embedded in a possibly high-dimensional space. Under certain joint limit of $n \to \infty$ and kernel bandwidth $\epsilon \to 0$, the point-wise convergence rate of the graph Laplacian operator (under 2-norm) is proved to be $ O( n^{-1/(d/2+3)})$ at finite large $n$ up to log factors, achieved at the scaling of $\epsilon \sim n^{-1/(d/2+3)} $. When the manifold data are corrupted by outlier noise, we theoretically prove the graph Laplacian point-wise consistency which matches the rate for clean manifold data plus an additional term proportional to the boundedness of the inner-products of the noise vectors among themselves and with data vectors. Motivated by our analysis, which suggests that not exact bi-stochastic normalization but an approximate one will achieve the same consistency rate, we propose an approximate and constrained matrix scaling problem that can be solved by SK iterations with early termination. Numerical experiments support our theoretical results and show the robustness of bi-stochastically normalized graph Laplacian to high-dimensional outlier noise.


title: Quantum metrology timing limits of the Hong-Ou-Mandel interferometer and of general two-photon measurements

abstract: We examine the precision limits of Hong-Ou-Mandel (HOM) timing measurements, as well as precision limits applying to generalized two-photon measurements. As a special case, we consider the use of two-photon measurements using photons with variable bandwidths and frequency correlations. When the photon bandwidths are not equal, maximizing the measurement precision involves a trade-off between high interference visibility and strong frequency anticorrelations, with the optimal precision occuring when the photons share non-maximal frequency anticorrelations. We show that a generalized measurement has precision limits that are qualitatively similar to those of the HOM measurement whenever the generalized measurement is insensitive to the net delay of both photons. By examining the performance of states with more general frequency distributions, our analysis allows for engineering of the joint spectral amplitude for use in realistic situations, in which both photons may not have ideal spectral properties.


title: On the maximal number of elements pairwise generating the finite alternating group

abstract: Let $G$ be the alternating group of degree $n$. Let $\omega(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $\sigma(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that, when $n$ varies in the family of composite numbers, $\sigma(G)/\omega(G)$ tends to $1$ as $n \to \infty$. Moreover, we explicitly calculate $\sigma(A_n)$ for $n \geq 21$ congruent to $3$ modulo $18$.


title: Algebraic Cycle Loci at the Integral Level

abstract: Let $f : X \to S$ be a smooth projective family defined over $\mathcal{O}_{K}[\mathcal{S}^{-1}]$, where $K \subset \mathbb{C}$ is a number field and $\mathcal{S}$ is a finite set of primes. For each prime $\mathfrak{p} \in \mathcal{O}_{K}[\mathcal{S}^{-1}]$ with residue field $\kappa(\mathfrak{p})$, we consider the algebraic loci in $S_{\overline{\kappa(\mathfrak{p})}}$ above which cohomological cycle conjectures predict the existence of non-trivial families of algebraic cycles, generalizing the Hodge loci of the generic fibre $S_{\overline{K}}$. We develop a technique for studying all such loci, together, at the integral level. As a consequence we give a non-Zariski density criterion for the union of non-trivial ordinary algebraic cycle loci in $S$. The criterion is quite general, depending only on the level of the Hodge flag in a fixed cohomological degree $w$ and the Zariski density of the associated geometric monodromy representation.


title: Surjective polymorphisms of reflexive cycles

abstract: A reflexive cycle is any reflexive digraph whose underlying undirected graph is a cycle. Call a relational structure Slupecki if its surjective polymorphisms are all essentially unary. We prove that all reflexive cycles of girth at least 4 have this property.


title: Gorenstein Duality and Universal Coefficient Theorems

abstract: The paper describes a duality phenomenon for cohomology theories with the character of Gorenstein rings. For a connective cohomology theory with the p-local integers in degree 0, and coefficient ring R_* Gorenstein of shift 0, this states that for X with R_*(X) torsion, we have R^*(X)=\Sigma^a Hom( R_*(X), Z/p^{\infty}). A corresponding statement for modules over a commutative Gorenstein ring spectrum is also proved. [Minor typographical and bibliographic changes to the last version.]


title: SensorStream: An XES Extension for Enriching Event Logs with IoT-Sensor Data

abstract: Process management and process orchestration/execution are currently hot topics; prevalent trends such as automation and Industry 4.0 require solutions which allow domain-experts to easily model and execute processes in various domains, including manufacturing and health-care. These domains, in turn, rely on a tight integration between hardware and software, i.e. via the Internet of Things (IoT). While process execution is about actuation, i.e. actively triggering actions and awaiting their completion, accompanying IoT sensors monitor humans and the environment. These sensors produce large amounts of procedural, discrete, and continuous data streams, that hold the key to understanding the quality of process subjects (e.g. produced parts), outcome (e.g. quantity and quality), and error causes. Processes constantly evolve in conjunction with their IoT environment. This requires joint storage of data generated by processes, with data generated by the IoT sensors is therefore needed. In this paper, we present an extension of the process log standard format XES, namely SensorStream. SensorStream enables to connect IoT data to process events, as well as a set of semantic annotations to describe the scenario and environment during data collection. This allows to preserve the full context required for data-analysis, so that logs can be analyzed even when scenarios or hardware artifacts are rapidly changing. Through additional semantic annotations, we envision the XES extension log format to be a solid based for the creation of a (semi-)automatic analysis pipeline, which can support domain experts by automatically providing data visualization, or even process insights.


title: The Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) II. The Spatially Resolved Recent Star Formation History of M33

abstract: We measure the spatially resolved recent star formation history (SFH) of M33 using optical images taken with the Hubble Space Telescope as part of the Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) survey. The area covered by the observations used in this analysis covers a de-projected area of $\sim$38 kpc$^{2}$ and extends to $\sim$3.5 and $\sim$2 kpc from the center of M33 along the major and semi-major axes, respectively. We divide the PHATTER optical survey into 2005 regions that measure 24 arcsec, $\sim$100 pc, on a side and fit color magnitude diagrams for each region individually to measure the spatially resolved SFH of M33 within the PHATTER footprint. There are significant fluctuations in the SFH on small spatial scales and also galaxy-wide scales that we measure back to about 630 Myr ago. We observe a more flocculent spiral structure in stellar populations younger than about 80 Myr, while the structure of the older stellar populations is dominated by two spiral arms. We also observe a bar in the center of M33, which dominates at ages older than about 80 Myr. Finally, we find that the mean star formation rate (SFR) over the last 100 Myr within the PHATTER footprint is 0.32$\pm$0.02 M$_{\odot}$ yr$^{-1}$. We measure a current SFR (over the last 10 Myr) of 0.20$\pm$0.03 M$_{\odot}$ yr$^{-1}$. This SFR is slightly higher than previous measurements from broadband estimates, when scaled to account for the fraction of the D25 area covered by the PHATTER survey footprint.


title: An Effective Field Theory Treatment of the Production and Annihilation of Magnetic Monopoles and their Relic Abundance

abstract: We revisit the thermal production red and annihilation of magnetic monopoles and their relic abundance in order to gain a deeper physical interpretation on the monopole phenomenology predicted from the Baines et al. effective field theory, recently proposed in the description of monopole pair production via Drell-Yan and photon fusion processes. In this sense, we red use of the vacuum cross sections for the Drell-Yan reactions derived within the mentioned framework to evaluate the cross section averaged over the thermal distribution associated to other particles that constitute the hot medium where the monopoles propagate. In the considered range of monopole mass with spin-zero and spin-half, our findings suggest that the thermally averaged cross sections for the pair production are highly suppressed, while at higher temperatures those for the annihilation of lighter pairs reach larger magnitudes. Besides, we observe that smaller temperature leads to a rate of annihilation for scalar monopoles smaller than the one for fermionic monopoles, which might be interpreted as a theoretical evidence of a more pronounced stability for spin-0 and heavier monopoles.Then we input these thermally averaged cross sections into the kinetic equation that describes the evolution of the monopole abundance via an extension of a freeze-out theory. Our results infer that heavier monopoles achieve the equilibrium at earlier stages of the expansion, and consequently at higher temperatures. In addition, larger monopole masses produce higher values of the relic abundance. Besides, the results indicate that the abundance does not behave differently for spinless and spin-half relic monopoles.


title: Joint Coding of URLLC and eMBB in Wyner's Soft-Handoff Network in the Finite Blocklength Regime

abstract: Wyner's soft-handoff network is considered where transmitters simultaneously send messages of enhanced mobile broadband (eMBB) and ultra-reliable low-latency communication (URLLC) services. Due to the low-latency requirements, the URLLC messages are transmitted over fewer channel uses compared to the eMBB messages. To improve the reliability of the URLLC transmissions, we propose a coding scheme with finite blocklength codewords that exploits dirty-paper coding (DPC) to precancel the interference from eMBB transmissions. Rigorous bounds are derived for the error probabilities of eMBB and URLLC transmissions achieved by our scheme. Numerical results illustrate that they are lower than for standard time-sharing.


title: Multi-Horizon Representations with Hierarchical Forward Models for Reinforcement Learning

abstract: Learning control from pixels is difficult for reinforcement learning (RL) agents because representation learning and policy learning are intertwined. Previous approaches remedy this issue with auxiliary representation learning tasks, but they either do not consider the temporal aspect of the problem or only consider single-step transitions, which may cause learning inefficiencies if important environmental changes take many steps to manifest. We propose Hierarchical $k$-Step Latent (HKSL), an auxiliary task that learns multiple representations via a hierarchy of forward models that learn to communicate and an ensemble of $n$-step critics that all operate at varying magnitudes of step skipping. We evaluate HKSL in a suite of 30 robotic control tasks with and without distractors and a task of our creation. We find that HKSL either converges to higher or optimal episodic returns more quickly than several alternative representation learning approaches. Furthermore, we find that HKSL's representations capture task-relevant details accurately across timescales (even in the presence of distractors) and that communication channels between hierarchy levels organize information based on both sides of the communication process, both of which improve sample efficiency.


title: Online Bipartite Matching with Advice: Tight Robustness-Consistency Tradeoffs for the Two-Stage Model

abstract: We study the two-stage vertex-weighted online bipartite matching problem of Feng, Niazadeh, and Saberi (SODA 2021) in a setting where the algorithm has access to a suggested matching that is recommended in the first stage. We evaluate an algorithm by its robustness $R$, which is its performance relative to that of the optimal offline matching, and its consistency $C$, which is its performance when the advice or the prediction given is correct. We characterize for this problem the Pareto-efficient frontier between robustness and consistency, which is rare in the literature on advice-augmented algorithms, yet necessary for quantifying such an algorithm to be optimal. Specifically, we propose an algorithm that is $R$-robust and $C$-consistent for any $(R,C)$ with $0 \leq R \leq \frac{3}{4}$ and $\sqrt{1-R} + \sqrt{1-C} = 1$, and prove that no other algorithm can achieve a better tradeoff.


title: Fusion of Model-free Reinforcement Learning with Microgrid Control: Review and Vision

abstract: Challenges and opportunities coexist in microgrids as a result of emerging large-scale distributed energy resources (DERs) and advanced control techniques. In this paper, a comprehensive review of microgrid control is presented with its fusion of model-free reinforcement learning (MFRL). A high-level research map of microgrid control is developed from six distinct perspectives, followed by bottom-level modularized control blocks illustrating the configurations of grid-following (GFL) and grid-forming (GFM) inverters. Then, mainstream MFRL algorithms are introduced with an explanation of how MFRL can be integrated into the existing control framework. Next, the application guideline of MFRL is summarized with a discussion of three fusing approaches, i.e., model identification and parameter tuning, supplementary signal generation, and controller substitution, with the existing control framework. Finally, the fundamental challenges associated with adopting MFRL in microgrid control and corresponding insights for addressing these concerns are fully discussed.


title: A social structure description of epidemics propagation with the mean field game paradigm

abstract: We consider the spread of infectious diseases through a Mean Field Game version of a SIR compartmental model with social structure, in which individuals are grouped by their age class and interact together in different settings. In our game theoretical approach, individuals can choose to limit their contacts if the epidemic is too virulent, but this effort comes with a social cost. We further compare the Nash equilibrium obtained in this way with the societal optimum that would be obtained if a benevolent central planner could decide of the strategy of each individual, as well as to the more realistic situation where an approximation of this optimum is reached through social policies such as lockdown.


title: Program Targeting with Machine Learning and Mobile Phone Data: Evidence from an Anti-Poverty Intervention in Afghanistan

abstract: Can mobile phone data improve program targeting? By combining rich survey data from a "big push" anti-poverty program in Afghanistan with detailed mobile phone logs from program beneficiaries, we study the extent to which machine learning methods can accurately differentiate ultra-poor households eligible for program benefits from ineligible households. We show that machine learning methods leveraging mobile phone data can identify ultra-poor households nearly as accurately as survey-based measures of consumption and wealth; and that combining survey-based measures with mobile phone data produces classifications more accurate than those based on a single data source.


title: On Surface Wave Propagation Characteristics of Porosity-Based Reconfigurable Surface

abstract: Reconfigurable surfaces facilitating energy-efficient, intelligent surface wave propagation have recently emerged as a technology that finds applications in many-core systems and 6G wireless communications. In this paper, we consider the porosity-based reconfigurable surface where there are cavities that can be filled on-demand with fluid metal such as Galinstan, in order to create adaptable channels for efficient wave propagation. We aim to investigate the propagation phenomenon of signal fluctuation resulting from the diffraction of discrete porosity and study how different porosity patterns affect this phenomenon. Our results cover the frequency range between 21.7GHz and 31.6GHz when a WR-34 waveguide is used as the transducer.


title: Optimal Local Bayesian Differential Privacy over Markov Chains

abstract: In the literature of data privacy, differential privacy is the most popular model. An algorithm is differentially private if its outputs with and without any individual's data are indistinguishable. In this paper, we focus on data generated from a Markov chain and argue that Bayesian differential privacy (BDP) offers more meaningful guarantees in this context. Our main theoretical contribution is providing a mechanism for achieving BDP when data is drawn from a binary Markov chain. We improve on the state-of-the-art BDP mechanism and show that our mechanism provides the optimal noise-privacy tradeoffs for any local mechanism up to negligible factors. We also briefly discuss a non-local mechanism which adds correlated noise. Lastly, we perform experiments on synthetic data that detail when DP is insufficient, and experiments on real data to show that our privacy guarantees are robust to underlying distributions that are not simple Markov chains.


title: Curious Exploration via Structured World Models Yields Zero-Shot Object Manipulation

abstract: It has been a long-standing dream to design artificial agents that explore their environment efficiently via intrinsic motivation, similar to how children perform curious free play. Despite recent advances in intrinsically motivated reinforcement learning (RL), sample-efficient exploration in object manipulation scenarios remains a significant challenge as most of the relevant information lies in the sparse agent-object and object-object interactions. In this paper, we propose to use structured world models to incorporate relational inductive biases in the control loop to achieve sample-efficient and interaction-rich exploration in compositional multi-object environments. By planning for future novelty inside structured world models, our method generates free-play behavior that starts to interact with objects early on and develops more complex behavior over time. Instead of using models only to compute intrinsic rewards, as commonly done, our method showcases that the self-reinforcing cycle between good models and good exploration also opens up another avenue: zero-shot generalization to downstream tasks via model-based planning. After the entirely intrinsic task-agnostic exploration phase, our method solves challenging downstream tasks such as stacking, flipping, pick & place, and throwing that generalizes to unseen numbers and arrangements of objects without any additional training.


title: The ArtBench Dataset: Benchmarking Generative Models with Artworks

abstract: We introduce ArtBench-10, the first class-balanced, high-quality, cleanly annotated, and standardized dataset for benchmarking artwork generation. It comprises 60,000 images of artwork from 10 distinctive artistic styles, with 5,000 training images and 1,000 testing images per style. ArtBench-10 has several advantages over previous artwork datasets. Firstly, it is class-balanced while most previous artwork datasets suffer from the long tail class distributions. Secondly, the images are of high quality with clean annotations. Thirdly, ArtBench-10 is created with standardized data collection, annotation, filtering, and preprocessing procedures. We provide three versions of the dataset with different resolutions ($32\times32$, $256\times256$, and original image size), formatted in a way that is easy to be incorporated by popular machine learning frameworks. We also conduct extensive benchmarking experiments using representative image synthesis models with ArtBench-10 and present in-depth analysis. The dataset is available at https://github.com/liaopeiyuan/artbench under a Fair Use license.


title: Giant second-harmonic generation enabled by bound-state continuum cavity on lithium niobate membra

abstract: In this paper, we proposed and numerically demonstrated a giant enhancement up to 108 in both forward and backward propagation of the Second Harmonic Generation by combining the high-quality factor cavities of the Bound States in the Continuum and the excellent nonlinear optical crystal of lithium niobate. The enhancement factor is defined as the ratio of the second harmonic signal generated by the structure (lithium niobate membrane with Si grating) divided by the signal generated by lithium niobate membrane alone. Furthermore, a minimum interaction time of 350 ps is achieved despite the etching less lithium niobate membrane with a conversion efficiency of 4.77x10-6. The origin of the enhancements is linked to the excitation of a Fano-like shape Symmetry-Protected Mode (SPM) that is revealed by Finite Difference Time Domain (FDTD) simulations. The proposed platform opens the way to a new generation of efficient integrated optical sources compatible with nanophotonic devices for classical and quantum applications.


title: Invariant Theory for the free left-regular band and a q-analogue

abstract: We examine from an invariant theory viewpoint the monoid algebras for two monoids having large symmetry groups. The first monoid is the free left-regular band on $n$ letters, defined on the set of all injective words, that is, the words with at most one occurrence of each letter. This monoid carries the action of the symmetric group. The second monoid is one of its $q$-analogues, considered by K. Brown, carrying an action of the finite general linear group. In both cases, we show that the invariant subalgebras are semisimple commutative algebras, and characterize them using Stirling and $q$-Stirling numbers. We then use results from the theory of random walks and random-to-top shuffling to decompose the entire monoid algebra into irreducibles, simultaneously as a module over the invariant ring and as a group representation. Our irreducible decompositions are described in terms of derangement symmetric functions introduced by D\'esarm\'enien and Wachs.


title: Decentralized and Coordinated Vf Control for Islanded Microgrids Considering DER Inadequacy and Demand Control

abstract: This paper proposes a decentralized and coordinated voltage and frequency (Vf) control framework for islanded microgrids, with full consideration of the limited capacity of distributed energy resources (DERs) and Vf dependent load. First, the concept of DER inadequacy is illustrated with the challenges it poses. Then, a decentralized and coordinated control framework is proposed to regulate the output of inverter based generations and reallocate limited DER capacity for Vf control. The control framework is composed of a power regulator and a Vf regulator, which generates the supplementary signals for the primary controller. The power regulator regulates the output of grid forming inverters according to the real time capacity constraints of DERs, while the Vf regulator improves the Vf deviation by leveraging the load sensitivity to Vf. Next, the static feasibility and small signal stability of the proposed method are rigorously proven through mathematical formulation and eigenvalue analysis. Finally, a MATLAB Simulink simulation demonstrates the functionalities of the control framework. A few goals are fulfilled within the decentralized and coordinated framework, such as making the best use of limited DERs capacity, enhancing the DC side stability of inverter based generations, and reducing involuntary load shedding.


title: FINGER: Fast Inference for Graph-based Approximate Nearest Neighbor Search

abstract: Approximate K-Nearest Neighbor Search (AKNNS) has now become ubiquitous in modern applications, for example, as a fast search procedure with two tower deep learning models. Graph-based methods for AKNNS in particular have received great attention due to their superior performance. These methods rely on greedy graph search to traverse the data points as embedding vectors in a database. Under this greedy search scheme, we make a key observation: many distance computations do not influence search updates so these computations can be approximated without hurting performance. As a result, we propose FINGER, a fast inference method to achieve efficient graph search. FINGER approximates the distance function by estimating angles between neighboring residual vectors with low-rank bases and distribution matching. The approximated distance can be used to bypass unnecessary computations, which leads to faster searches. Empirically, accelerating a popular graph-based method named HNSW by FINGER is shown to outperform existing graph-based methods by 20%-60% across different benchmark datasets.


title: Systematic KMTNet Planetary Anomaly Search. VI. Complete Sample of 2018 Sub-Prime-Field Planets

abstract: We complete the analysis of all 2018 sub-prime-field microlensing planets identified by the KMTNet AnomalyFinder. Among the 9 previously unpublished events with clear planetary solutions, 6 are clearly planetary (KMT-2018-BLG-0030, KMT-2018-BLG-0087, KMT-2018-BLG-0247, OGLE-2018-BLG-0298, KMT-2018-BLG-2602, and OGLE-2018-BLG-1119), while the remaining 3 are ambiguous in nature. In addition, there are 8 previously published sub-prime field planets that were selected by the AnomalyFinder algorithm. Together with a companion paper (Gould et al. 2022) on 2018 prime-field planets, this work lays the basis for the first statistical analysis of the planet mass-ratio function based on planets identified in KMTNet data. As expected (Zhu et al. 2014), half (17/33) of the 2018 planets likely to enter the mass-ratio analysis have non-caustic-crossing anomalies. However, only 1 of the 5 non-caustic anomalies with planet-host mass ratio $q<10^{-3}$ was discovered by eye (compared to 7 of the 12 with $q>10^{-3}$), showing the importance of the semi-automated AnomalyFinder search.


title: Automatic Zig-Zag sampling in practice

abstract: Novel Monte Carlo methods to generate samples from a target distribution, such as a posterior from a Bayesian analysis, have rapidly expanded in the past decade. Algorithms based on Piecewise Deterministic Markov Processes (PDMPs), non-reversible continuous-time processes, are developing into their own research branch, thanks their important properties (e.g., correct invariant distribution, ergodicity, and super-efficiency). Nevertheless, practice has not caught up with the theory in this field, and the use of PDMPs to solve applied problems is not widespread. This might be due, firstly, to several implementational challenges that PDMP-based samplers present with and, secondly, to the lack of papers that showcase the methods and implementations in applied settings. Here, we address both these issues using one of the most promising PDMPs, the Zig-Zag sampler, as an archetypal example. After an explanation of the key elements of the Zig-Zag sampler, its implementation challenges are exposed and addressed. Specifically, the formulation of an algorithm that draws samples from a target distribution of interest is provided. Notably, the only requirement of the algorithm is a closed-form function to evaluate the target density of interest, and, unlike previous implementations, no further information on the target is needed. The performance of the algorithm is evaluated against another gradient-based sampler, and it is proven to be competitive, in simulation and real-data settings. Lastly, we demonstrate that the super-efficiency property, i.e. the ability to draw one independent sample at a lesser cost than evaluating the likelihood of all the data, can be obtained in practice.


title: Linear recurrent cryptography: golden-like cryptography for higher order linear recurrences

abstract: We develop matrix cryptography based on linear recurrent sequences of any order that allows securing encryption against brute force and chosen plaintext attacks. In particular, we solve the problem of generalizing error detection and correction algorithms of golden cryptography previously known only for recurrences of a special form. They are based on proving the checking relations (inequalities satisfied by the ciphertext) under the condition that the analog of the golden $Q$-matrix has the strong Perron-Frobenius property. These algorithms are proved to be especially efficient when the characteristic polynomial of the recurrence is a Pisot polynomial. Finally, we outline algorithms for generating recurrences that satisfy our conditions.


title: What's Decidable about Discrete Linear Dynamical Systems?

abstract: We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to oracles for the Skolem Problem.


title: Reflections in an octagonal mirror maze

abstract: Suppose we are given an environment consisting of axis-parallel and diagonal line segments with integer endpoints, each of which may be reflective or non-reflective, with integer endpoints, and an initial position for a light ray passing through points of the integer grid. Then in time polynomial in the number of segments and in the number of bits needed to specify the coordinates of the input, we can determine the eventual fate of the reflected ray.


title: Flexible Modeling of Multivariate Spatial Extremes

abstract: We develop a novel multi-factor copula model for multivariate spatial extremes, which is designed to capture the different combinations of marginal and cross-extremal dependence structures within and across different spatial random fields. Our proposed model, which can be seen as a multi-factor copula model, can capture all possible distinct combinations of extremal dependence structures within each individual spatial process while allowing flexible cross-process extremal dependence structures for both upper and lower tails. We show how to perform Bayesian inference for the proposed model using a Markov chain Monte Carlo algorithm based on carefully designed block proposals with an adaptive step size. In our real data application, we apply our model to study the upper and lower extremal dependence structures of the daily maximum air temperature (TMAX) and daily minimum air temperature (TMIN) from the state of Alabama in the southeastern United States. The fitted multivariate spatial model is found to provide a good fit in the lower and upper joint tails, both in terms of the spatial dependence structure within each individual process, as well as in terms of the cross-process dependence structure. Our results suggest that the TMAX and TMIN processes are quite strongly spatially dependent over the state of Alabama, and moderately cross-dependent. From a practical perspective, this implies that it may be worthwhile to model them jointly when interest lies in a computing spatial risk measures that involve both quantities.


title: Global Existence for Nonlocal Quasilinear Diffusion Systems in Non-Isotropic Non-Divergence Form

abstract: Consider the quasilinear diffusion problem \[\begin{cases}\mathbf{u}'+\Pi(t,x,\mathbf{u},\Sigma \mathbf{u})\mathbb{A}\mathbf{u}=\mathbf{f}(t,x,\mathbf{u},\Sigma \mathbf{u})&\text{ in }]0,T[\times\Omega,\\\mathbf{u}=\mathbf{0}&\text{ in }]0,T[\times\Omega^c,\\\mathbf{u}(0,\cdot)=\mathbf{u}_0(\cdot)&\text{ in }\Omega\end{cases}\] for an open set $\Omega\subset\mathbb{R}^n$, $\mathbf{u}_0\in \mathbf{H}^s_0(\Omega):=[H^s_0(\Omega)]^m$ and any $T\in]0,\infty[$, where $\Sigma \mathbf{u}\in \mathbb{R}^q$ for $0<q\leq m\times n$ represents fractional or nonlocal derivatives with order $\sigma$ with $\sigma<2s$ for all $0<s\leq1$, including the classical gradient and derivatives of order greater than 1. We show global existence results for various quasilinear diffusion systems in non-divergence form, for different linear operators $\mathbb{A}$, including local elliptic systems, anisotropic fractional equations and systems, and anisotropic nonlocal operators, of the following type \[(\mathbb{A}\mathbf{u})^i=-\sum _{\alpha,\beta,j} \partial_\alpha(A^{\alpha\beta}_{ij}\partial_\beta u^j),\quad \mathbb{A}u=- D^s(A(x)D^su),\quad\text{ and }\quad (\mathbb{A}\mathbf{u})^i=\int_{\mathbb{R}^n}A_{ij}(x,y)\frac{u^j(x)-u^j(y)}{|x-y|^{n+2s}}\,dy,\] for coercive, invertible matrices $\Pi$ and suitable vectorial functions $\mathbf{f}$.


title: Optimal allocation in annual plants with density dependent fitness

abstract: We study optimal two-sector (vegetative and reproductive) allocation models of annual plants in temporally variable environments, that incorporate effects of density dependent lifetime variability and juvenile mortality in a fitness function whose expected value is maximized. Only special cases of arithmetic and geometric mean maximizers have previously been considered in the literature, and we also allow a wider range of production functions with diminishing returns. The model predicts that the time of maturity is pushed to an earlier date as the correlation between individual lifetimes increases, and while optimal schedules are bang-bang at the extremes, the transition is mediated by schedules where vegetative growth is mixed with reproduction for a wide intermediate range. The mixed growth lasts longer when the production function is less concave allowing for better leveraging of plant size when generating seeds. Analytic estimates are obtained for the power means that interpolate between arithmetic and geometric mean and correspond to partially correlated lifetime distributions.


title: Self-Supervised Learning of Brain Dynamics from Broad Neuroimaging Data

abstract: Self-supervised learning techniques are celebrating immense success in natural language processing (NLP) by enabling models to learn from broad language data at unprecedented scales. Here, we aim to leverage the success of these techniques for mental state decoding, where researchers aim to identify specific mental states (e.g., the experience of anger or joy) from brain activity. To this end, we devise a set of novel self-supervised learning frameworks for neuroimaging data inspired by prominent learning frameworks in NLP. At their core, these frameworks learn the dynamics of brain activity by modeling sequences of activity akin to how sequences of text are modeled in NLP. We evaluate the frameworks by pre-training models on a broad neuroimaging dataset spanning functional Magnetic Resonance Imaging data from 11,980 experimental runs of 1,726 individuals across 34 datasets, and subsequently adapting the pre-trained models to benchmark mental state decoding datasets. The pre-trained models transfer well, generally outperforming baseline models trained from scratch, while models trained in a learning framework based on causal language modeling clearly outperform the others.


title: LoneSTAR: Analog Beamforming Codebooks for Full-Duplex Millimeter Wave Systems

abstract: This work develops LoneSTAR, a novel enabler of full-duplex millimeter wave (mmWave) communication systems through the design of analog beamforming codebooks. LoneSTAR codebooks deliver high beamforming gain and broad coverage while simultaneously reducing the self-interference coupled by transmit and receive beams at a full-duplex mmWave transceiver. Our design framework accomplishes this by tolerating some variability in transmit and receive beamforming gain to strategically shape beams that reject self-interference spatially while accounting for digitally-controlled analog beamforming networks and self-interference channel estimation error. By leveraging the coherence time of the self-interference channel, a mmWave system can use the same LoneSTAR design over many time slots to serve several downlink-uplink user pairs in a full-duplex fashion without the need for additional self-interference cancellation. Compared to those using conventional codebooks, full-duplex mmWave systems employing LoneSTAR codebooks can mitigate higher levels of self-interference, tolerate more cross-link interference, and demand lower SNRs in order to outperform half-duplex operation -- all while supporting beam alignment. This makes LoneSTAR a potential standalone solution for enabling simultaneous transmission and reception in mmWave systems, from which it derives its name.


title: Misinformation Mitigation under Differential Propagation Rates and Temporal Penalties

abstract: We propose an information propagation model that captures important temporal aspects that have been well observed in the dynamics of fake news diffusion, in contrast with the diffusion of truth. The model accounts for differential propagation rates of truth and misinformation and for user reaction times. We study a time-sensitive variant of the \textit{misinformation mitigation} problem, where $k$ seeds are to be selected to activate a truth campaign so as to minimize the number of users that adopt misinformation propagating through a social network. We show that the resulting objective is non-submodular and employ a sandwiching technique by defining submodular upper and lower bounding functions, providing data-dependent guarantees. In order to enable the use of a reverse sampling framework, we introduce a weighted version of reverse reachability sets that captures the associated differential propagation rates and establish a key equivalence between weighted set coverage probabilities and mitigation with respect to the sandwiching functions. Further, we propose an offline reverse sampling framework that provides $(1 - 1/e - \epsilon)$-approximate solutions to our bounding functions and introduce an importance sampling technique to reduce the sample complexity of our solution. Finally, we show how our framework can provide an anytime solution to the problem. Experiments over five datasets show that our approach outperforms previous approaches and is robust to uncertainty in the model parameters.


title: PAC: Assisted Value Factorisation with Counterfactual Predictions in Multi-Agent Reinforcement Learning

abstract: Multi-agent reinforcement learning (MARL) has witnessed significant progress with the development of value function factorization methods. It allows optimizing a joint action-value function through the maximization of factorized per-agent utilities due to monotonicity. In this paper, we show that in partially observable MARL problems, an agent's ordering over its own actions could impose concurrent constraints (across different states) on the representable function class, causing significant estimation error during training. We tackle this limitation and propose PAC, a new framework leveraging Assistive information generated from Counterfactual Predictions of optimal joint action selection, which enable explicit assistance to value function factorization through a novel counterfactual loss. A variational inference-based information encoding method is developed to collect and encode the counterfactual predictions from an estimated baseline. To enable decentralized execution, we also derive factorized per-agent policies inspired by a maximum-entropy MARL framework. We evaluate the proposed PAC on multi-agent predator-prey and a set of StarCraft II micromanagement tasks. Empirical results demonstrate improved results of PAC over state-of-the-art value-based and policy-based multi-agent reinforcement learning algorithms on all benchmarks.


title: On Specifying for Trustworthiness

abstract: As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered trustworthy. This roadmap paper identifies key challenges for specifying for trustworthiness in AS, as identified during the "Specifying for Trustworthiness" workshop held as part of the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems (TAS) programme. We look across a range of AS domains with consideration of the resilience, trust, functionality, verifiability, security, and governance and regulation of AS and identify some of the key specification challenges in these domains. We then highlight the intellectual challenges that are involved with specifying for trustworthiness in AS that cut across domains and are exacerbated by the inherent uncertainty involved with the environments in which AS need to operate.


title: Experimental Searches For Heavy Neutral Leptons

abstract: The highly successful Standard Model is not complete. It does not explain the baryonic asymmetry in the Universe, the existence of dark matter or the non-zero masses of the neutrinos. Extensions of the Standard Model that propose the existence of additional Heavy Neutral Leptons (HNLs) are well-motivated and can explain several of these phenomena. In addition, light sterile neutrinos of $\mathcal{O}(\text{eV}/c^{2})$ can explain experimentally observed oscillation anomalies. The Neutrino Minimal Standard Model proposes HNLs with masses $\mathcal{O}(\text{keV}/c^{2} - \text{GeV}/c^{2})$, while more exotic models predict very large masses, up to the GUT scale. Due to the multitude of models which hypothesize HNLs, the mass range to be explored by experiments is large. Experimental searches for HNLs can be conducted at existing neutrino, beam dump and collider-based experiments, and, depending on the signature, can constrain mixing between additional neutrinos and any of the three active neutrinos.


title: Input-agnostic Certified Group Fairness via Gaussian Parameter Smoothing

abstract: Only recently, researchers attempt to provide classification algorithms with provable group fairness guarantees. Most of these algorithms suffer from harassment caused by the requirement that the training and deployment data follow the same distribution. This paper proposes an input-agnostic certified group fairness algorithm, FairSmooth, for improving the fairness of classification models while maintaining the remarkable prediction accuracy. A Gaussian parameter smoothing method is developed to transform base classifiers into their smooth versions. An optimal individual smooth classifier is learnt for each group with only the data regarding the group and an overall smooth classifier for all groups is generated by averaging the parameters of all the individual smooth ones. By leveraging the theory of nonlinear functional analysis, the smooth classifiers are reformulated as output functions of a Nemytskii operator. Theoretical analysis is conducted to derive that the Nemytskii operator is smooth and induces a Frechet differentiable smooth manifold. We theoretically demonstrate that the smooth manifold has a global Lipschitz constant that is independent of the domain of the input data, which derives the input-agnostic certified group fairness.


title: Functional Nonlinear Learning

abstract: Using representations of functional data can be more convenient and beneficial in subsequent statistical models than direct observations. These representations, in a lower-dimensional space, extract and compress information from individual curves. The existing representation learning approaches in functional data analysis usually use linear mapping in parallel to those from multivariate analysis, e.g., functional principal component analysis (FPCA). However, functions, as infinite-dimensional objects, sometimes have nonlinear structures that cannot be uncovered by linear mapping. Linear methods will be more overwhelmed given multivariate functional data. For that matter, this paper proposes a functional nonlinear learning (FunNoL) method to sufficiently represent multivariate functional data in a lower-dimensional feature space. Furthermore, we merge a classification model for enriching the ability of representations in predicting curve labels. Hence, representations from FunNoL can be used for both curve reconstruction and classification. Additionally, we have endowed the proposed model with the ability to address the missing observation problem as well as to further denoise observations. The resulting representations are robust to observations that are locally disturbed by uncontrollable random noises. We apply the proposed FunNoL method to several real data sets and show that FunNoL can achieve better classifications than FPCA, especially in the multivariate functional data setting. Simulation studies have shown that FunNoL provides satisfactory curve classification and reconstruction regardless of data sparsity.


title: Solid Accretion onto Neptune-Mass Planets I: In-Situ Accretion and Constraints from the metallicity of Uranus and Neptune

abstract: The currently available, detailed properties (e.g., isotopic ratios) of solar system planets may provide guides for constructing better approaches of exoplanet characterization. With this motivation, we explore how the measured values of the deuterium-to-hydrogen (D/H) ratio of Uranus and Neptune can constrain their formation mechanisms. Under the assumption of in-situ formation, we investigate three solid accretion modes; a dominant accretion mode switches from pebble accretion to drag-enhanced three-body accretion and to canonical planetesimal accretion, as the solid radius increases. We consider a wide radius range of solids that are accreted onto (proto)Neptune-mass planets and compute the resulting accretion rates as a function of both the solid size and the solid surface density. We find that for small-sized solids, the rate becomes high enough to halt concurrent gas accretion, if all the solids have the same size. For large-sized solids, the solid surface density needs to be enhanced to accrete enough amounts of solids within the gas disk lifetime. We apply these accretion modes to the formation of Uranus and Neptune and show that if the minimum-mass solar nebula model is adopted, solids with radius of $\sim 1$ m to $\sim 10$ km should have contributed mainly to their deuterium enrichment; a tighter constraint can be derived if the full solid size distribution is determined. This work therefore demonstrates that the D/H ratio can be used as a tracer of solid accretion onto Neptune-mass planets. Similar efforts can be made for other atomic elements that serve as metallicity indicators.


title: On a class of geodesically convex optimization problems solved via Euclidean MM methods

abstract: We study geodesically convex (g-convex) problems that can be written as a difference of Euclidean convex functions. This structure arises in several optimization problems in statistics and machine learning, e.g., for matrix scaling, M-estimators for covariances, and Brascamp-Lieb inequalities. Our work offers efficient algorithms that on the one hand exploit g-convexity to ensure global optimality along with guarantees on iteration complexity. On the other hand, the split structure permits us to develop Euclidean Majorization-Minorization algorithms that help us bypass the need to compute expensive Riemannian operations such as exponential maps and parallel transport. We illustrate our results by specializing them to a few concrete optimization problems that have been previously studied in the machine learning literature. Ultimately, we hope our work helps motivate the broader search for mixed Euclidean-Riemannian optimization algorithms


title: Neutron Interferometry Using a Single Modulated Phase Grating

abstract: Neutron grating interferometry provides information on phase and small-angle scatter in addition to attenuation. Previously, phase grating moir\'e interferometers (PGMI) with two- or three-phase gratings have been developed. These phase-grating systems use the moir\'e far-field technique to avoid the need for high-aspect absorption gratings used in Talbot-Lau interferometers (TLI) which reduce the neutron flux reaching the detector. We first demonstrate through theory and simulations a novel phase grating interferometer system for cold neutrons that requires a single modulated phase grating (MPG) for phase-contrast imaging, as opposed to the two- or three-phase gratings in previously employed PGMI systems. The MPG theory was compared to the full Sommerfeld-Rayleigh Diffraction integral simulator. Then we compared the MPG system to experiments in the literature that use a two-phase-grating-based PGMI with best-case visibility of around 39%. An MPG with a modulation period of 300 micron, pitch of 2 micron, and grating heights with a phase modulation of (pi,0), illuminated by a monochromatic beam, produces a visibility of 94.2% with comparable source-to-detector distance (SDD) as the two-phase-grating-based PGMI. Phase sensitivity, another important performance metric of the grating interferometer, was compared to values available in the literature, viz. the conventional TLI with phase sensitivity of 4.5 x 10E+3 for an SDD of 3.5 m and a beam wavelength of 0.44 nm. For a range of modulation periods, the MPG system provides comparable or greater theoretical maximum phase sensitivity of 4.1 x 10E+3 to 10.0 x 10E+3 for SDDs of up to 3.5 m. This proposed MPG system can provide high-performance PGMI that obviates the need to align two phase gratings.


title: LidarMultiNet: Unifying LiDAR Semantic Segmentation, 3D Object Detection, and Panoptic Segmentation in a Single Multi-task Network

abstract: This technical report presents the 1st place winning solution for the Waymo Open Dataset 3D semantic segmentation challenge 2022. Our network, termed LidarMultiNet, unifies the major LiDAR perception tasks such as 3D semantic segmentation, object detection, and panoptic segmentation in a single framework. At the core of LidarMultiNet is a strong 3D voxel-based encoder-decoder network with a novel Global Context Pooling (GCP) module extracting global contextual features from a LiDAR frame to complement its local features. An optional second stage is proposed to refine the first-stage segmentation or generate accurate panoptic segmentation results. Our solution achieves a mIoU of 71.13 and is the best for most of the 22 classes on the Waymo 3D semantic segmentation test set, outperforming all the other 3D semantic segmentation methods on the official leaderboard. We demonstrate for the first time that major LiDAR perception tasks can be unified in a single strong network that can be trained end-to-end.


title: Homotopy cartesian squares in extriangulated categories

abstract: Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category. Given a composition of two commutative squares in $\mathcal{C}$, if two commutative squares are homotopy cartesian, then their composition is also a homotopy cartesian. This covers the result by Mac Lane (1998) for abelian categories and the result by Christensen and Frankland (2022) for triangulated categories.


title: Recursive Reinforcement Learning

abstract: Recursion is the fundamental paradigm to finitely describe potentially infinite objects. As state-of-the-art reinforcement learning (RL) algorithms cannot directly reason about recursion, they must rely on the practitioner's ingenuity in designing a suitable "flat" representation of the environment. The resulting manual feature constructions and approximations are cumbersome and error-prone; their lack of transparency hampers scalability. To overcome these challenges, we develop RL algorithms capable of computing optimal policies in environments described as a collection of Markov decision processes (MDPs) that can recursively invoke one another. Each constituent MDP is characterized by several entry and exit points that correspond to input and output values of these invocations. These recursive MDPs (or RMDPs) are expressively equivalent to probabilistic pushdown systems (with call-stack playing the role of the pushdown stack), and can model probabilistic programs with recursive procedural calls. We introduce Recursive Q-learning -- a model-free RL algorithm for RMDPs -- and prove that it converges for finite, single-exit and deterministic multi-exit RMDPs under mild assumptions.


title: Linearity: galaxy formation encounters an unanticipated empirical relation

abstract: Measurements from galaxies spanning a broad range of morphology reveal a linear scaling of enclosed dark to luminous mass that is not anticipated by standard galaxy formation cosmology. The linear scaling is found to extend from the inner galactic region to the outermost data point. Uncertainties in the linear relation are narrow, with rms = 0.31 and {\sigma} = 0.31. It is unclear what would produce this linearity of enclosed dark to luminous mass. Baryonic processes are challenged to account for the linear scaling, and no dark matter candidate possesses a property that would result in a linear relation. The linear scaling may indicate new dark matter candidates, or an astrophysical process beyond the standard galaxy formation theory.


title: Complete experiment problem for photoproduction of two pseudoscalar mesons on a nucleon in a truncated partial-wave analysis

abstract: It is shown that within a truncated partial wave analysis for photoproduction of two pseudoscalar mesons, it is possible to halve the number of independent partial amplitudes by taking into account parity conservation. In addition, within the framework of the proposed formalism, one can rather easily resolve the double discrete ambiguity arising from the symmetry under complex conjugation of the helicity amplitudes. This leads to essential simplifications of the complete experiment problem, at least as far as mathematical aspects are concerned.


title: Shilling Black-box Recommender Systems by Learning to Generate Fake User Profiles

abstract: Due to the pivotal role of Recommender Systems (RS) in guiding customers towards the purchase, there is a natural motivation for unscrupulous parties to spoof RS for profits. In this paper, we study Shilling Attack where an adversarial party injects a number of fake user profiles for improper purposes. Conventional Shilling Attack approaches lack attack transferability (i.e., attacks are not effective on some victim RS models) and/or attack invisibility (i.e., injected profiles can be easily detected). To overcome these issues, we present Leg-UP, a novel attack model based on the Generative Adversarial Network. Leg-UP learns user behavior patterns from real users in the sampled ``templates'' and constructs fake user profiles. To simulate real users, the generator in Leg-UP directly outputs discrete ratings. To enhance attack transferability, the parameters of the generator are optimized by maximizing the attack performance on a surrogate RS model. To improve attack invisibility, Leg-UP adopts a discriminator to guide the generator to generate undetectable fake user profiles. Experiments on benchmarks have shown that Leg-UP exceeds state-of-the-art Shilling Attack methods on a wide range of victim RS models. The source code of our work is available at: https://github.com/XMUDM/ShillingAttack.


title: Vacuum decay and bubble nucleation in the anti-de Sitter black holes

abstract: We study the vacuum decay and the bubble nucleation in the anti-de Sitter black holes. In the bubble nucleation spacetime, the interior and the exterior of the bubble wall are described by two anti-de Sitter black hole spacetimes with different cosmological constants. We calculate the Euclidean action of the bubble nucleation spacetime and give the numerical results of the tunneling rates for different cases. It is shown that the black hole can act as a source of inhomogeneities and catalyze the vacuum decay and the bubble nucleation in the anti-de Sitter spacetime. For the RNAdS black holes, the tunneling rate to the final RNAdS black hole with the minimum critical mass is the highest among all the possible tunneling channels.


title: An Investigation into the Kinetics of $Li^+$ Ion Migration in Garnet-Type Solid State Electrolyte: $Li_7La_3Zr_2O_{12}$

abstract: An all solid-state thin film lithium ion battery has been touted the holy grail for energy storage technology ever since the inception of the first one in 1986 by Keiichi Kanehori. Solid-state batteries provide the distinct advantage of outperforming current technology by having a simpler composition, being easier and cheaper to manufacture, safer and having a higher theoretical gravimetric and volumetric energy density. The commercialization of this technology however, is plagued by its own set of challenges, primarily low ionic conductivity and interfacial stability of the solid-state electrolyte separating the anode and cathode, a small electrochemical window and sub-par mechanical properties. In the last decade considerable progress has been made in remedying these issues with garnet-type electrolytes, especially Li7La3Zr2O12 (LLZO), having emerged the leading contender. This has prompted renewed effects into the field of solid-state ionic's and maximizing the ionic conductivity of LLZO by modifying its properties, primarily by means of doping with a varying degree of success. Carving a clear road ahead requires an in-depth understanding of the origin of the high Li+ ion conductivity, the primary means of investigating which is by first-principle methods. In this term paper we try to gain insight into the origin of mechanisms at play that drive the collective migration of Li+ ions in LLZO using a first-principles approach, to gain a deeper understanding and appreciation for optimizing its properties for use in next-generation energy storage systems.


title: Context matters for fairness -- a case study on the effect of spatial distribution shifts

abstract: With the ever growing involvement of data-driven AI-based decision making technologies in our daily social lives, the fairness of these systems is becoming a crucial phenomenon. However, an important and often challenging aspect in utilizing such systems is to distinguish validity for the range of their application especially under distribution shifts, i.e., when a model is deployed on data with different distribution than the training set. In this paper, we present a case study on the newly released American Census datasets, a reconstruction of the popular Adult dataset, to illustrate the importance of context for fairness and show how remarkably can spatial distribution shifts affect predictive- and fairness-related performance of a model. The problem persists for fairness-aware learning models with the effects of context-specific fairness interventions differing across the states and different population groups. Our study suggests that robustness to distribution shifts is necessary before deploying a model to another context.


title: On finite generalized quadrangles of even order

abstract: In this paper, we establish the following two results: (1) a skew translation generalized quadrangle of even order is a translation generalized quadrangle, (2) a generalized quadrangle of even order does not admit a point regular automorphism group. The first result confirms a conjecture of Payne (1975) based on earlier work of Ott (2021), and the second result confirms a conjecture of Ghinelli (1992).


title: Thermal and nonthermal emission from a peculiar long-duration GRB 211211A

abstract: Long-duration GRB 211211A that lacks a supernova emission even down to very stringent limits at such a low redshift $z=0.076$ and is associated with kilonova emission, suggests that its physical origin is from a binary compact star merger. By reanalyzing its data observed with the Gamma-Ray Burst Monitor on board the Fermi mission, we find that both time-integrated and time-resolved spectra can be fitted well by using a 2SBPL plus blackbody (2SBPL+BB) model in the prompt emission. The bulk Lorentz factors ($\Gamma_{\rm ph}$) of the outflow can be inferred by invoking the observed thermal emission at the photosphere radius within a pure fireball model, and we find out that the temporal evolution of $\Gamma_{\rm ph}$ seems to be tracking with the light curve. The derived values of $\Gamma_{\rm ph}$ are also consistent with the $\Gamma_{\rm ph}$-$L_{\gamma, \rm iso}$/$E_{\gamma, \rm iso}$ correlations that had been found in other bursts. Moreover, we also calculate the magnetization factor $\sigma_{0}$ in the central engine and $\sigma_{\rm ph}$ at the photosphere radius within the framework of a hybrid jet model, and find that the values of both $1+\sigma_{\rm 0}$ and $1+\sigma_{\rm ph}$ are larger than 1 for different time slices. It suggests that at least the Poynting-flux component is indeed existent in the outflow. If this is the case, one possible physical interpretation of thermal and nonthermal emissions in GRB 211211A is from the contributions of both $\nu\bar{\nu}$ annihilation and the Blandford-Znajek mechanisms in the relativistic jet when a stellar mass black hole resides in the central engine.


title: Feasibility Analysis and Proof of Model Predictive Control

abstract: Sequential and terminal constraint feasibility of the model predictive control (MPC) play important roles in ensuring MPC control continuity. This study thus investigates these two properties theoretically using an MPC model for vehicle platooning and eco-driving strategy at signalized intersections. This study is served as a supplement material for our paper coming soon.


abstract: We study M5 branes on $\mathbb{R}^{1,1} \times$Taub-NUT that we view as a singular fibration. Reducing the M5 branes along the fiber gives 5d SYM. Due to the singularity, this 5d theory has a gauge anomaly and it is not supersymmetric. To cure these problems we add a supersymmetric gauged chiral WZW theory on the 2d submanifold where the circle fiber vanishes. In addition we add a mass term for the five scalar fields located on this submanifold. With all this, we obtain a fully supersymmetric and gauge invariant theory.


title: Contextual Isotope Ranking Criteria for Peak Identification in Gamma Spectroscopy Using a Large Database

abstract: Isotope identification is a recurrent problem in gamma spectroscopy with high purity germanium detectors. In this work, new strategies are introduced to facilitate this type of analysis. Five criteria are used to identify the parent isotopes making a query on a large database of gamma-lines from a multitude of isotopes producing an output list whose entries are sorted so that the gamma-lines with the highest chance of being present in a sample are placed at the top. A metric to evaluate the performance of the different criteria is introduced and used to compare them. Two of the criteria are found to be superior than the others: one based on fuzzy logic, and another that makes use of the gamma relative emission probabilities. A program called histoGe implements these criteria using a SQLite database containing the gamma-lines of isotopes which was parsed from WWW Table of Radioactive Isotopes. histoGe is Free Software and is provided along with the database so they can be used to analyze spectra obtained with generic gamma-ray detectors.


title: Charmonium dissociation at high baryon chemical potential

abstract: We study the charmonium dissociation in the hot medium with finite baryon chemical potential $\mu_B$. Charmonium bound states are dissociated in the medium by the color screening effect and the random scatterings with thermal partons, which are included in the real and imaginary parts of the potential respectively. $J/\psi$ fraction in the $c\bar c$ pair defined to be the quantum overlap between the wave package and the wave function of $J/\psi$ eigenstate decreases with time due to the complex potentials. When $\mu_B$ is large compared with the medium temperature, the Deybe mass is increased evidently. We consider $\mu_B$-dependent Deybe mass in both real and imaginary parts of the potential to calculate the $J/\psi$ survival probability in the static medium and the Bjorken medium. $J/\psi$ survival probability is reduced evidently by the $\mu_B$ effect at low temperatures available in the medium produced in Beam Energy Scan experiments, while this effect becomes not apparent at high temperatures.


title: Image-based Stability Quantification

abstract: Quantitative evaluation of human stability using foot pressure/force measurement hardware and motion capture (mocap) technology is expensive, time consuming, and restricted to the laboratory. We propose a novel image-based method to estimate three key components for stability computation: Center of Mass (CoM), Base of Support (BoS), and Center of Pressure (CoP). Furthermore, we quantitatively validate our image-based methods for computing two classic stability measures, CoMtoCoP and CoMtoBoS distances, against values generated directly from laboratory-based sensor output (ground truth) using a publicly available, multi-modality (mocap, foot pressure, two-view videos), ten-subject human motion dataset. Using Leave One Subject Out (LOSO) cross-validation, experimental results show: 1) our image-based CoM estimation method (CoMNet) consistently outperforms state-of-the-art inertial sensor-based CoM estimation techniques; 2) stability computed by our image-based method combined with insole foot pressure sensor data produces consistent, strong, and statistically significant correlation with ground truth stability measures (CoMtoCoP r = 0.79 p < 0.001, CoMtoBoS r = 0.75 p < 0.001); 3) our fully image-based estimation of stability produces consistent, positive, and statistically significant correlation on the two stability metrics (CoMtoCoP r = 0.31 p < 0.001, CoMtoBoS r = 0.22 p < 0.043). Our study provides promising quantitative evidence for the feasibility of image-based stability evaluation in natural environments.


title: A Hybrid Adjacency and Time-Based Data Structure for Analysis of Temporal Networks

abstract: Dynamic or temporal networks enable representation of time-varying edges between nodes. Conventional adjacency-based data structures used for storing networks such as adjacency lists were designed without incorporating time and can thus quickly retrieve all edges between two sets of nodes (a node-based slice) but cannot quickly retrieve all edges that occur within a given time interval (a time-based slice). We propose a hybrid data structure for storing temporal networks that stores edges in both an adjacency dictionary, enabling rapid node-based slices, and an interval tree, enabling rapid time-based slices. Our hybrid structure also enables compound slices, where one needs to slice both over nodes and time, either by slicing first over nodes or slicing first over time. We further propose an approach for predictive compound slicing, which attempts to predict whether a node-based or time-based compound slice is more efficient. We evaluate our hybrid data structure on many real temporal network data sets and find that they achieve much faster slice times than existing data structures with only a modest increase in creation time and memory usage.


title: Angular analysis of the low $K^{+}K^{-}$ invariant mass enhancement in $B^{+}\to K^{+}K^{-}\pi^{+}$ decays

abstract: We study the decay $B^{+} \to K^+ K^- \pi^+$ and investigate the angular distribution of $K^{+}K^{-}$ pairs with invariant mass below $1.1$ GeV/$c^2$. This region exhibits both a strong enhancement in signal and very large direct $CP$ violation. We construct a coherent sum model for the angular distribution of $S$- and $P$-wave, and report the ratio of their amplitudes, the relative phase and the forward-backward asymmetry. We also report absolute differential branching fractions and direct $CP$ asymmetry for the decay in bins of $M_{K^+K^-}$ and the differential branching fractions in bins of $M_{K^+\pi^-}$. The results are based on a data sample that contains $772\times10^6$ $B \bar{B}$ pairs collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider. The measured overall branching fraction and the direct $CP$ asymmetry are $(5.38\pm0.40\pm0.35)\times 10^{-6}$ and $-0.170\pm0.073\pm0.017$, respectively, where the first uncertainties are statistical and the second are systematic.


title: Formation of large chunk of nuclear matter in heavy-ion collisions

abstract: In terrestrial laboratory with existing accelerators, the maximum multinucleon system produced so far is limited to that with total nucleon number being less than the sum of two colliding nuclei. Such situation may hinder our studies on the properties of nuclear many-body system. Here a way of producing large multinucleon system via multi-nucleus collision device Collider Plus in terrestrial laboratory is proposed. It is shown that large chunk of nucleonic matter can be produced through nuclear ternary fusion reactions at lower beam energies and also large block of dense matter can be formed via ternary collisions of heavy nuclei at intermediate energies. These investigations may shed lights on the studies of the synthesis of superheavy elements and the properties of bulk superdense nuclear matter.


title: Putting Flat $\Lambda$CDM In The (Redshift) Bin

abstract: Flat $\Lambda$CDM cosmology is specified by two constant fitting parameters at the background level in the late Universe, the Hubble constant $H_0$ and matter density (today) $\Omega_m$. Mathematically, $H_0$ and $\Omega_m$ are either integration constants arising from solving ordinary differential equations or are directly related to integration constants. Seen in this context, if fits of the $\Lambda$CDM model to cosmological probes at different redshifts lead to different $(H_0, \Omega_m)$ parameters, this is a mismatch between mathematics and observation. Here, in mock observational Hubble data (OHD) (geometric probes of expansion history) we demonstrate evolution in distributions of best fit parameters with effective redshift. As a result, considerably different $(H_0, \Omega_m)$ best fits from Planck-$\Lambda$CDM cannot be precluded in high redshift bins. We explore if OHD, Type Ia supernovae and standardisable quasar samples exhibit redshift evolution of best fit $\Lambda$CDM parameters. In all samples, we confirm a decreasing $H_0$ and increasing $\Omega_m$ trend with increasing bin redshift. Through comparison with mocks, we confirm that similar behaviour can arise randomly within the flat $\Lambda$CDM model with probabilities as low as $p = 0.0021$ ($3.1 \, \sigma$). We present complementary profile distribution analysis confirming the shifts in cosmological parameters in high redshift bins. In particular, we identify a redshift range where Planck $(H_0, \Omega_m)$ values are disfavoured at $99.6 \%$ ($2.9 \sigma$) confidence level in a combination of OHD and supernovae data.


title: Efficient Adaptive Federated Optimization of Federated Learning for IoT

abstract: The proliferation of the Internet of Things (IoT) and widespread use of devices with sensing, computing, and communication capabilities have motivated intelligent applications empowered by artificial intelligence. The classical artificial intelligence algorithms require centralized data collection and processing which are challenging in realistic intelligent IoT applications due to growing data privacy concerns and distributed datasets. Federated Learning (FL) has emerged as a distributed privacy-preserving learning framework that enables IoT devices to train global model through sharing model parameters. However, inefficiency due to frequent parameters transmissions significantly reduce FL performance. Existing acceleration algorithms consist of two main type including local update considering trade-offs between communication and computation and parameter compression considering trade-offs between communication and precision. Jointly considering these two trade-offs and adaptively balancing their impacts on convergence have remained unresolved. To solve the problem, this paper proposes a novel efficient adaptive federated optimization (EAFO) algorithm to improve efficiency of FL, which minimizes the learning error via jointly considering two variables including local update and parameter compression and enables FL to adaptively adjust the two variables and balance trade-offs among computation, communication and precision. The experiment results illustrate that comparing with state-of-the-art algorithms, the proposed EAFO can achieve higher accuracies faster.


title: Linearly Free Graphs

abstract: In this paper we are interested in an intrinsic property of graphs which is derived from their embeddings into the Euclidean 3-space $\mathbb{R}^3$. An embedding of a graph into $\mathbb{R}^3$ is said to be linear, if it sends every edge to be a line segment. And we say that an embedding $f$ of a graph $G$ into $\mathbb{R}^3$ is free, if $\pi_1(\mathbb{R}^3-f(G))$ is a free group. Lastly a simple connected graph is said to be linearly free if every its linear embedding is free. In 1980s it was proved that every complete graph is linearly free, by Nicholson. In this paper, we develop Nicholson's arguments into a general notion, and establish a sufficient condition for a linear embedding to be free. As an application of the condition we give a partial answer for a question: how much can the complete graph $K_n$ be enlarged so that the linear freeness is preserved and the clique number does not increase? And an example supporting our answer is provided. As the second application it is shown that a simple connected graph of minimal valency at least $3$ is linearly free, if it has less than 8 vertices. The conditional inequality is strict, because we found a graph with $8$ vertices which is not linearly free. It is also proved that for $n, m \leq 6$ the complete bipartite graph $K_{n,m}$ is linearly free.


title: Yamada Polynomial and associated link of $\theta$-curves

abstract: The discovery of polynomial invariants of knots and links, ignited by V. F. R. Jones, leads to the formulation of polynomial invariants of spatial graphs. The Yamada polynomial, one of such invariants, is frequently utilized for practical distinguishment of spatial graphs. Especially for $\theta$-curves, the polynomial is an ambient isotopy invariant after a normalization. On the other hand, to each $\theta$-curve, a 3-component link can be associated as an ambient isotopy invariant. The benefit of associated links is that invariants of links can be utilized as invariants of $\theta$-curves. In this paper we investigate the relation between the normalized Yamada polynomial of $\theta$-curves and the Jones polynomial of their associated links, and show that the two polynomials are equivalent for brunnian $\theta$-curves as a corollary. For our purpose the Jaeger polynomial of spatial graphs is observed, a specialization of which is equivalent to the Yamada polynomial.


title: RACS2: A Framework of Remote Autonomous Control System for Telescope Observation and its application

abstract: As the demand of astronomical observation rising, the telescope systems are becoming more and more complex. Thus, the observatory control software needs to be more intelligent, they have to control each instrument inside the observatory, finish the observation tasks autonomously, and report the information to users if needed. We developed a distributed autonomous observatory control framework named Remote Autonomous Control System 2nd, RACS2 to meet these requirements. The RACS2 framework uses decentralized distributed architecture, instrument control software and system service such as observation control service are implemented as different components. The communication between components is implemented based on a high-performance serialization library and a light-weighted messaging library.The interfaces towards python and Experimental Physics and Industrial Control System (EPICS) are implemented, so the RACS2 framework can communicate with EPICS based device control software and python-based software. Several system components including log, executor, scheduler and other modules are developed to help observation. Observation tasks can be programmed with python language, and the plans are scheduled by the scheduler component to achieve autonomous observation.A set of web service is implemented based on the FastAPI framework, with which user can control and manage the framework remotely.Based on the RACS2 framework, we have implemented the DATs telescope's observation system and the space object observation system.We performed remote autonomous observation and received many data with these systems.


title: Surface resistance and amplitude mode under uniform and static external field in conventional superconductors

abstract: We calculate the surface resistance of s-wave superconductors under a static external field on the basis of the quasiclassical approximation. The numerical calculations are performed both for the dirty and relatively clean cases, and the difference in the absorption spectrum between them is investigated. The amplitude mode in the dirty case, which has been previously studied in the local response function, appears also in the nonlocal response. In the clean case, there is a large discrepancy between the excitation energy of the amplitude mode and the energy of the gap edge where the coupling between the electrons and the external field is effective. Therefore, the amplitude mode exists even when the superconductor is relatively clean, but its contribution to the response function is small. These behaviors, which are qualitatively consistent with the experimental results, are obtained by taking into account the static field nonperturbatively.


title: Optimal linear cyclic quantum heat engines cannot benefit from strong coupling

abstract: Uncovering whether strong system-bath coupling can be an advantageous operation resource for energy conversion can facilitate the development of efficient quantum heat engines (QHEs). Yet, a consensus on this ongoing debate is still lacking owing to challenges arising from treating strong couplings. Here we conclude the debate for optimal linear cyclic QHEs operated under a small temperature difference by revealing the detrimental role of strong system-bath coupling in their optimal operations. We analytically demonstrate that both the efficiency at maximum power and maximum efficiency of strong-coupling linear cyclic QHEs are upper bounded by their weak-coupling counterparts and, particularly, experience a quadratic suppression relative to the Carnot limit under strong time-reversal symmetry breaking.


title: Azimuthal asymmetry in cosmic-ray boosted dark matter flux

abstract: Light halo dark matter (DM) particles up-scattered by high-energy cosmic rays (referred to as CRDM) can be energetic and become detectable at conventional DM and neutrino experiments. We show that the CRDM flux has a novel and detectable morphological feature. Unlike most of the recently proposed boosted DM (BDM) models which predict azimuthally symmetric DM fluxes around the Galactic Center, the CRDM flux breaks the azimuthal symmetry significantly. Using cosmic-ray electron distribution in the whole Galaxy and optimized search region in the sky according to the morphology of the CRDM flux, we derive so far the most stringent constraints on the DM-electron scattering cross section from the Super-Kamiokande (SK) IV data, which improves the previous constraints from the SK-IV full-sky data by more than an order of magnitude. Based on the improved constraints, we predict that the azimuthal symmetry-breaking effect can be observed in the future Hyper-Kamiokande experiment at $\sim 3\sigma$ level.


title: Atomic ordering and phase separation in lateral heterostructures and multijunctions of ternary two-dimensional hexagonal materials

abstract: The growth and microstructural properties of ternary monolayers of two-dimensional hexagonal materials are examined, including both individual two-dimensional crystalline grains and in-plane heterostructures, multijunctions, or superlattices. The study is conducted through the development of a ternary phase field crystal model incorporating sublattice ordering and the coupling among the three atomic components. The results demonstrate that a transition of compositional pattern or modulation in this type of two-dimensional ternary crystals, from phase separation to geometrically frustrated lattice atomic ordering, can be controlled via the varying degree of energetic preference of heteroelemental neighboring over the homoelemental ones. Effects of growth and system conditions are quantitatively identified through numerical calculations and analyses of interspecies spatial correlations and the degree of alloy intermixing or disordering. These findings are applied to simulating the growth of monolayer lateral heterostructures with atomically sharp heterointerface, and via the sequential process of edge-epitaxy, the formation of the corresponding superlattices or structures with multiple heterojunctions, with outcomes consistent with recent experiments of in-plane multi-heterostructures of transition metal dichalcogenides. Also explored is a distinct type of alloy-based lateral heterostructures and multijunctions which integrate ternary ordered alloy domains with the adjoining blocks of binary compounds, providing a more extensive variety of two-dimensional heterostructural materials.


title: Metric Optimization in Penner Coordinates

abstract: Many parametrization and mapping-related problems in geometry processing can be viewed as metric optimization problems, i.e., computing a metric minimizing a functional and satisfying a set of constraints, such as flatness. Penner coordinates are global coordinates on the space of metrics on meshes with a fixed vertex set and topology, but varying connectivity, making it homeomorphic to the Euclidean space of dimension equal to the number of edges in the mesh, without any additional constraints imposed. These coordinates play an important role in the theory of discrete conformal maps, enabling recent development of highly robust algorithms with convergence and solution existence guarantees for computing such maps. We demonstrate how Penner coordinates can be used to solve a general class of optimization problems involving metrics, including optimization and interpolation, while retaining the key solution existence guarantees available for discrete conformal maps.


title: Exploring Physics of Ferroelectric Domain Walls in Real Time: Deep Learning Enabled Scanning Probe Microscopy

abstract: The functionality of ferroelastic domain walls in ferroelectric materials is explored in real-time via the in-situ implementation of computer vision algorithms in scanning probe microscopy (SPM) experiment. The robust deep convolutional neural network (DCNN) is implemented based on a deep residual learning framework (Res) and holistically-nested edge detection (Hed), and ensembled to minimize the out-of-distribution drift effects. The DCNN is implemented for real-time operations on SPM, converting the data stream into the semantically segmented image of domain walls and the corresponding uncertainty. We further demonstrate the pre-selected experimental workflows on thus discovered domain walls, and report alternating high- and low- polarization dynamic (out-of-plane) ferroelastic domain walls in a (PbTiO3) PTO thin film and high polarization dynamic (out-of-plane) at short ferroelastic walls (compared with long ferroelastic walls) in a lead zirconate titanate (PZT) thin film. This work establishes the framework for real-time DCNN analysis of data streams in scanning probe and other microscopies and highlights the role of out-of-distribution effects and strategies to ameliorate them in real time analytics.


title: Weighted Concordance Index Loss-based Multimodal Survival Modeling for Radiation Encephalopathy Assessment in Nasopharyngeal Carcinoma Radiotherapy

abstract: Radiation encephalopathy (REP) is the most common complication for nasopharyngeal carcinoma (NPC) radiotherapy. It is highly desirable to assist clinicians in optimizing the NPC radiotherapy regimen to reduce radiotherapy-induced temporal lobe injury (RTLI) according to the probability of REP onset. To the best of our knowledge, it is the first exploration of predicting radiotherapy-induced REP by jointly exploiting image and non-image data in NPC radiotherapy regimen. We cast REP prediction as a survival analysis task and evaluate the predictive accuracy in terms of the concordance index (CI). We design a deep multimodal survival network (MSN) with two feature extractors to learn discriminative features from multimodal data. One feature extractor imposes feature selection on non-image data, and the other learns visual features from images. Because the priorly balanced CI (BCI) loss function directly maximizing the CI is sensitive to uneven sampling per batch. Hence, we propose a novel weighted CI (WCI) loss function to leverage all REP samples effectively by assigning their different weights with a dual average operation. We further introduce a temperature hyper-parameter for our WCI to sharpen the risk difference of sample pairs to help model convergence. We extensively evaluate our WCI on a private dataset to demonstrate its favourability against its counterparts. The experimental results also show multimodal data of NPC radiotherapy can bring more gains for REP risk prediction.


title: Explore Spatio-temporal Aggregation for Insubstantial Object Detection: Benchmark Dataset and Baseline

abstract: We endeavor on a rarely explored task named Insubstantial Object Detection (IOD), which aims to localize the object with following characteristics: (1) amorphous shape with indistinct boundary; (2) similarity to surroundings; (3) absence in color. Accordingly, it is far more challenging to distinguish insubstantial objects in a single static frame and the collaborative representation of spatial and temporal information is crucial. Thus, we construct an IOD-Video dataset comprised of 600 videos (141,017 frames) covering various distances, sizes, visibility, and scenes captured by different spectral ranges. In addition, we develop a spatio-temporal aggregation framework for IOD, in which different backbones are deployed and a spatio-temporal aggregation loss (STAloss) is elaborately designed to leverage the consistency along the time axis. Experiments conducted on IOD-Video dataset demonstrate that spatio-temporal aggregation can significantly improve the performance of IOD. We hope our work will attract further researches into this valuable yet challenging task. The code will be available at: \url{https://github.com/CalayZhou/IOD-Video}.


title: pyKT: A Python Library to Benchmark Deep Learning based Knowledge Tracing Models

abstract: Knowledge tracing (KT) is the task of using students' historical learning interaction data to model their knowledge mastery over time so as to make predictions on their future interaction performance. Recently, remarkable progress has been made of using various deep learning techniques to solve the KT problem. However, the success behind deep learning based knowledge tracing (DLKT) approaches is still left somewhat unknown and proper measurement and analysis of these DLKT approaches remain a challenge. First, data preprocessing procedures in existing works are often private and custom, which limits experimental standardization. Furthermore, existing DLKT studies often differ in terms of the evaluation protocol and are far away real-world educational contexts. To address these problems, we introduce a comprehensive python based benchmark platform, \textsc{pyKT}, to guarantee valid comparisons across DLKT methods via thorough evaluations. The \textsc{pyKT} library consists of a standardized set of integrated data preprocessing procedures on 7 popular datasets across different domains, and 10 frequently compared DLKT model implementations for transparent experiments. Results from our fine-grained and rigorous empirical KT studies yield a set of observations and suggestions for effective DLKT, e.g., wrong evaluation setting may cause label leakage that generally leads to performance inflation; and the improvement of many DLKT approaches is minimal compared to the very first DLKT model proposed by Piech et al. \cite{piech2015deep}. We have open sourced \textsc{pyKT} and our experimental results at https://pykt.org/. We welcome contributions from other research groups and practitioners.


title: Towards Better User Studies in Computer Graphics and Vision

abstract: Online crowdsourcing platforms have made it increasingly easy to perform evaluations of algorithm outputs with survey questions like "which image is better, A or B?", leading to their proliferation in vision and graphics research papers. Results of these studies are often used as quantitative evidence in support of a paper's contributions. On the one hand we argue that, when conducted hastily as an afterthought, such studies lead to an increase of uninformative, and, potentially, misleading conclusions. On the other hand, in these same communities, user research is underutilized in driving project direction and forecasting user needs and reception. We call for increased attention to both the design and reporting of user studies in computer vision and graphics papers towards (1) improved replicability and (2) improved project direction. Together with this call, we offer an overview of methodologies from user experience research (UXR), human-computer interaction (HCI), and applied perception to increase exposure to the available methodologies and best practices. We discuss foundational user research methods (e.g., needfinding) that are presently underutilized in computer vision and graphics research, but can provide valuable project direction. We provide further pointers to the literature for readers interested in exploring other UXR methodologies. Finally, we describe broader open issues and recommendations for the research community.


title: ICME 2022 Few-shot LOGO detection top 9 solution

abstract: ICME-2022 few-shot logo detection competition is held in May, 2022. Participants are required to develop a single model to detect logos by handling tiny logo instances, similar brands, and adversarial images at the same time, with limited annotations. Our team achieved rank 16 and 11 in the first and second round of the competition respectively, with a final rank of 9th. This technical report summarized our major techniques used in this competitions, and potential improvement.


title: Bridging quantum many-body scar and quantum integrability in Ising chains with transverse and longitudinal fields

abstract: Quantum many-body scar (QMBS) and quantum integrability(QI) have been recognized as two distinct mechanisms for the breakdown of eigenstate thermalization hypothesis(ETH) in an isolated system. In this work, we reveal a smooth route to connect these two ETH-breaking mechanisms in the Ising chain with transverse and longitudinal fields. Specifically, starting from an initial Ising anti-ferromagnetic state, we find that the dynamical system undergoes a smooth non-thermal crossover from QMBS to QI by changing the Ising coupling($J$) and longitudinal field($h$) simultaneously while keeping their ratio fixed, which corresponds to the Rydberg Hamiltonian with an arbitrary nearest-neighbor repulsion. Deviating from this ratio, we further identify a continuous thermalization trajectory in ($h,J$) plane that is exactly given by the Ising transition line, signifying an intimate relation between thermalization and quantum critical point. Finally, we map out a completely different dynamical phase diagram starting from an initial ferromagnetic state, where the thermalization is shown to be equally facilitated by the resonant spin-flip at special ratios of $J$ and $h$. By bridging QMBS and QI in Ising chains, our results demonstrate the breakdown of ETH in much broader physical settings, which also suggest an alternative way to characterize quantum phase transition via thermalization in non-equilibrium dynamics.


title: Use statistical analysis to approximate integrated order batching problem

abstract: Order picking and order packing entail retrieving items from storage and packaging them according to customer requests. These activities have always been the main concerns of the companies in reducing warehouse management costs. This paper proposes and investigates the Order Batching and Order Packing Problem, which considers these activities jointly. The authors propose a novel statistic-based framework, namely, the Max Correlation Reformulation problem, to find an approximation mixed-integer programming model. An approximation model is found within this framework in two phases. A lower dimension model is firstly proposed. Efforts are then made to increase its correlation coefficient with the original formulation. Finally, a powerful pairs swapping heuristics is combined with the approximation model. Numerical experiments show that this newly found approach outperforms the mainstream methods from the literature. It is demonstrated that this proposed method could significantly reduce the cost of picking and packing operations in a warehouse.


title: Quantifying Distances Between Clusters with Elliptical or Non-Elliptical Shapes

abstract: Finite mixture models that allow for a broad range of potentially non-elliptical cluster distributions is an emerging methodological field. Such methods allow for the shape of the clusters to match the natural heterogeneity of the data, rather than forcing a series of elliptical clusters. These methods are highly relevant for clustering continuous non-normal data - a common occurrence with objective data that are now routinely captured in health research. However, interpreting and comparing such models - especially with regards to whether they produce meaningful clusters that are reasonably well separated - is non-trivial. We summarize several measures that can succinctly quantify the multivariate distance between two clusters, regardless of the cluster distribution, and suggest practical computational tools. Through a simulation study, we evaluate these measures across three scenarios that allow for clusters to differ in mean, scale, and rotation. We then demonstrate our approaches using physiological responses to emotional imagery captured as part of the Transdiagnostic Anxiety Study, a large-scale study of anxiety disorder spectrum patients and control participants. Finally, we synthesize findings to provide guidance on how to use distance measures in clustering applications.