title: Origin of quantum shape effect

abstract: Size-invariant shape transformation gives rise to the so-called quantum shape effect in strongly confined systems. While quantum size and shape effects are often thought to be difficult to distinguish because of their coexistence, it is actually possible to separate them and focus solely on the shape effect. In fact, quantum shape effect is a quite different phenomenon from quantum size effects, as it can have the opposite influence on the physical properties of nanoscale systems. Here we explore the origin of the quantum shape effect by theoretically investigating the simplest system that can produce the same physics: quantum particles in a box separated by a moving partition. The partition moves quasistatically from one end of the box to the other, allowing the system to remain in equilibrium with a reservoir throughout the process. The partition and the boundaries are impenetrable by particles, forming two effectively interconnected regions. Position of the partition becomes the shape variable. We investigate quantum shape effect on the thermodynamic properties of confined particles. In addition, we applied a new analytical model based on dimensional transitions to accurately predict thermodynamic properties under the quantum shape effect. A fundamental understanding of quantum shape effects could pave the way for employing them to engineer physical properties and design better materials at nanoscale.


title: Chiral Josephson effect in double layers: the role of particle-hole duality

abstract: The Josephson effect of inter-layer s-wave pairing in a double layer of two chiral metals is considered. We employ the duality relation between electron-electron and electron-hole double layers to discuss the zero-energy eigenmodes at a domain wall and their coupling to the superfluid state. This is described in terms of the quasiparticle current and the supercurrent. It turns out that the degeneracy of the zero-energy eigenmodes is resolved by the coupling to the supercurrent. The duality relation between the electron-electron and electron-hole double layers leads to the same current distribution in both systems but to different zero-energy modes.


title: Asymptotic Inference for Multi-Stage Stationary Treatment Policy with High Dimensional Features

abstract: Dynamic treatment rules or policies are a sequence of decision functions over multiple stages that are tailored to individual features. One important class of treatment policies for practice, namely multi-stage stationary treatment policies, prescribe treatment assignment probabilities using the same decision function over stages, where the decision is based on the same set of features consisting of both baseline variables (e.g., demographics) and time-evolving variables (e.g., routinely collected disease biomarkers). Although there has been extensive literature to construct valid inference for the value function associated with the dynamic treatment policies, little work has been done for the policies themselves, especially in the presence of high dimensional feature variables. We aim to fill in the gap in this work. Specifically, we first estimate the multistage stationary treatment policy based on an augmented inverse probability weighted estimator for the value function to increase the asymptotic efficiency, and further apply a penalty to select important feature variables. We then construct one-step improvement of the policy parameter estimators. Theoretically, we show that the improved estimators are asymptotically normal, even if nuisance parameters are estimated at a slow convergence rate and the dimension of the feature variables increases with the sample size. Our numerical studies demonstrate that the proposed method has satisfactory performance in small samples, and that the performance can be improved with a choice of the augmentation term that approximates the rewards or minimizes the variance of the value function.


title: Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing

abstract: While prior research has proposed a plethora of methods that build neural classifiers robust against adversarial robustness, practitioners are still reluctant to adopt them due to their unacceptably severe clean accuracy penalties. This paper significantly alleviates this accuracy-robustness trade-off by mixing the output probabilities of a standard classifier and a robust classifier, where the standard network is optimized for clean accuracy and is not robust in general. We show that the robust base classifier's confidence difference for correct and incorrect examples is the key to this improvement. In addition to providing intuitions and empirical evidence, we theoretically certify the robustness of the mixed classifier under realistic assumptions. Furthermore, we adapt an adversarial input detector into a mixing network that adaptively adjusts the mixture of the two base models, further reducing the accuracy penalty of achieving robustness. The proposed flexible method, termed "adaptive smoothing", can work in conjunction with existing or even future methods that improve clean accuracy, robustness, or adversary detection. Our empirical evaluation considers strong attack methods, including AutoAttack and adaptive attack. On the CIFAR-100 dataset, our method achieves an 85.21% clean accuracy while maintaining a 38.72% $\ell_\infty$-AutoAttacked ($\epsilon = 8/255$) accuracy, becoming the second most robust method on the RobustBench CIFAR-100 benchmark as of submission, while improving the clean accuracy by ten percentage points compared with all listed models. The code that implements our method is available at https://github.com/Bai-YT/AdaptiveSmoothing.


title: Three-wave mixing of anharmonically coupled magnons

abstract: Magnons are quantized collective spin-wave excitations in magnetically ordered systems. Revealing their interactions among these collective modes is crucial for the understanding of fundamental many-body effects in such systems and the development of high-speed information transport and processing devices based on them. Nevertheless, identifying couplings between individual magnon modes remains a long-standing challenge. Here, we observe unambiguous spectroscopic fingerprints of anharmonic coupling between distinct magnon modes in an antiferromagnet, as evidenced by coherent photon emission at the sum and difference frequencies of the two modes. This discovery is enabled by driving two magnon modes coherently with a pair of tailored terahertz fields and then disentangling a mixture of nonlinear responses with different origins, symmetries, and field dependences in a two-dimensional frequency-frequency correlation map. Our approach provides a new platform for generating nonlinear magnon-magnon mixings and establishes a systematic means of unveiling intricate couplings among distinct low-energy collective modes.


title: A Log-Sensitive Encoding of Turing Machines in the $\lambda$-Calculus

abstract: This note modifies the reference encoding of Turing machines in the $\lambda$-calculus by Dal Lago and Accattoli, which is tuned for time efficiency, as to accommodate logarithmic space. There are two main changes: Turing machines now have *two* tapes, an input tape and a work tape, and the input tape is encoded differently, because the reference encoding comes with a linear space overhead for managing tapes, which is excessive for studying logarithmic space.


title: Fast Correlation Function Calculator -- A high-performance pair counting toolkit

abstract: Context. A novel high-performance exact pair counting toolkit called Fast Correlation Function Calculator (FCFC) is presented, which is publicly available at https://github.com/cheng-zhao/FCFC. Aims. As the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simulation catalogues has become a challenge. High-efficiency pair counting codes are thus in great demand. Methods. We introduce different data structures and algorithms that can be used for pair counting problems, and perform comprehensive benchmarks to identify the most efficient ones for real-world cosmological applications. We then describe the three levels of parallelisms used by FCFC -- including SIMD, OpenMP, and MPI -- and run extensive tests to investigate the scalabilities. Finally, we compare the efficiency of FCFC against alternative pair counting codes. Results. The data structures and histogram update algorithms implemented in FCFC are shown to outperform alternative methods. FCFC does not benefit much from SIMD as the bottleneck of our histogram update algorithm is mostly cache latency. Nevertheless, the efficiency of FCFC scales well with the numbers of OpenMP threads and MPI processes, albeit the speedups may be degraded with over a few thousand threads in total. FCFC is found to be faster than most (if not all) other public pair counting codes for modern cosmological pair counting applications.


title: A Deep Reinforcement Learning Framework for Optimizing Congestion Control in Data Centers

abstract: Various congestion control protocols have been designed to achieve high performance in different network environments. Modern online learning solutions that delegate the congestion control actions to a machine cannot properly converge in the stringent time scales of data centers. We leverage multiagent reinforcement learning to design a system for dynamic tuning of congestion control parameters at end-hosts in a data center. The system includes agents at the end-hosts to monitor and report the network and traffic states, and agents to run the reinforcement learning algorithm given the states. Based on the state of the environment, the system generates congestion control parameters that optimize network performance metrics such as throughput and latency. As a case study, we examine BBR, an example of a prominent recently-developed congestion control protocol. Our experiments demonstrate that the proposed system has the potential to mitigate the problems of static parameters.


title: Imbalanced Mixed Linear Regression

abstract: We consider the problem of mixed linear regression (MLR), where each observed sample belongs to one of $K$ unknown linear models. In practical applications, the proportions of the $K$ components are often imbalanced. Unfortunately, most MLR methods do not perform well in such settings. Motivated by this practical challenge, in this work we propose Mix-IRLS, a novel, simple and fast algorithm for MLR with excellent performance on both balanced and imbalanced mixtures. In contrast to popular approaches that recover the $K$ models simultaneously, Mix-IRLS does it sequentially using tools from robust regression. Empirically, Mix-IRLS succeeds in a broad range of settings where other methods fail. These include imbalanced mixtures, small sample sizes, presence of outliers, and an unknown number of models $K$. In addition, Mix-IRLS outperforms competing methods on several real-world datasets, in some cases by a large margin. We complement our empirical results by deriving a recovery guarantee for Mix-IRLS, which highlights its advantage on imbalanced mixtures.


title: Elliptic KZB connections via universal vector extensions

abstract: Using the formalism of bar complexes and their relative versions, we give a new, purely algebraic, construction of the so-called universal elliptic KZB connection in arbitrary level. We compute explicit analytic formulae, and we compare our results with previous approaches to elliptic KZB equations and multiple elliptic polylogarithms in the literature. Our approach is based on a number of results concerning logarithmic differential forms on universal vector extensions of elliptic curves. Let $S$ be a scheme of characteristic zero, $E \to S$ be an elliptic curve, $f:E^{\natural} \to S$ be its universal vector extension, and $\pi:E^{\natural} \to E$ be the natural projection. Given a finite subset of torsion sections $Z\subset E(S)$, we study the dg-algebra over $\mathcal{O}_S$ of relative logarithmic differentials $\mathcal{A} = f_*\Omega^{\bullet}_{E^{\natural}/S}(\log \pi^{-1}Z)$. In particular, we prove that the residue exact sequence in degree one splits canonically, and we derive the formality of $\mathcal{A}$. When $S$ is smooth over a field $k$ of characteristic zero, we also prove that sections of $\mathcal{A}^1$ admit canonical lifts to absolute logarithmic differentials in $f_*\Omega^1_{E^{\natural}/k}(\log \pi^{-1}Z)$, which extends a well known property for regular differentials given by the `crystalline nature' of universal vector extensions.


title: Benchmarking Specialized Databases for High-frequency Data

abstract: This paper presents a benchmarking suite designed for the evaluation and comparison of time series databases for high-frequency data, with a focus on financial applications. The proposed suite comprises of four specialized databases: ClickHouse, InfluxDB, kdb+ and TimescaleDB. The results from the suite demonstrate that kdb+ has the highest performance amongst the tested databases, while also highlighting the strengths and weaknesses of each of the databases. The benchmarking suite was designed to provide an objective measure of the performance of these databases as well as to compare their capabilities for different types of data. This provides valuable insights into the suitability of different time series databases for different use cases and provides benchmarks that can be used to inform system design decisions.


title: Simplifying Subgraph Representation Learning for Scalable Link Prediction

abstract: Link prediction on graphs is a fundamental problem. Subgraph representation learning approaches (SGRLs), by transforming link prediction to graph classification on the subgraphs around the links, have achieved state-of-the-art performance in link prediction. However, SGRLs are computationally expensive, and not scalable to large-scale graphs due to expensive subgraph-level operations. To unlock the scalability of SGRLs, we propose a new class of SGRLs, that we call Scalable Simplified SGRL (S3GRL). Aimed at faster training and inference, S3GRL simplifies the message passing and aggregation operations in each link's subgraph. S3GRL, as a scalability framework, accommodates various subgraph sampling strategies and diffusion operators to emulate computationally-expensive SGRLs. We propose multiple instances of S3GRL and empirically study them on small to large-scale graphs. Our extensive experiments demonstrate that the proposed S3GRL models scale up SGRLs without significant performance compromise (even with considerable gains in some cases), while offering substantially lower computational footprints (e.g., multi-fold inference and training speedup).


title: Multi-Priority Graph Sparsification

abstract: A \emph{sparsification} of a given graph $G$ is a sparser graph (typically a subgraph) which aims to approximate or preserve some property of $G$. Examples of sparsifications include but are not limited to spanning trees, Steiner trees, spanners, emulators, and distance preservers. Each vertex has the same priority in all of these problems. However, real-world graphs typically assign different ``priorities'' or ``levels'' to different vertices, in which higher-priority vertices require higher-quality connectivity between them. Multi-priority variants of the Steiner tree problem have been studied in prior literature but this generalization is much less studied for other sparsification problems. In this paper, we define a generalized multi-priority problem and present a rounding-up approach that can be used for a variety of graph sparsifications. Our analysis provides a systematic way to compute approximate solutions to multi-priority variants of a wide range of graph sparsification problems given access to a single-priority subroutine.


title: A Discerning Several Thousand Judgments: GPT-3 Rates the Article + Adjective + Numeral + Noun Construction

abstract: Knowledge of syntax includes knowledge of rare, idiosyncratic constructions. LLMs must overcome frequency biases in order to master such constructions. In this study, I prompt GPT-3 to give acceptability judgments on the English-language Article + Adjective + Numeral + Noun construction (e.g., "a lovely five days"). I validate the prompt using the CoLA corpus of acceptability judgments and then zero in on the AANN construction. I compare GPT- 3's judgments to crowdsourced human judgments on a subset of sentences. GPT-3's judgments are broadly similar to human judgments and generally align with proposed constraints in the literature but, in some cases, GPT-3's judgments and human judgments diverge from the literature and from each other.


title: Isolated vertices and diameter of the $BJ$-orthograph in $C^*$-algebras

abstract: We give necessary and sufficient condition that an element of an arbitrary $C^{*}$-algebra is an isolated vertex of the orthograph related to the mutual strong Birkhoff-James orthogonality. Also, we prove that for all $C^{*}$-algebras except $\mathbb{C},\mathbb{C}\oplus\mathbb{C}$ and $M_2(\mathbb{C})$ all non isolated points make a single connected component of the orthograph which diameter is less than or equal to $4$, i.e. any two non isolated points can be connected by a path with at most $4$ edges. Some related results are given.


title: Improving Cross-lingual Information Retrieval on Low-Resource Languages via Optimal Transport Distillation

abstract: Benefiting from transformer-based pre-trained language models, neural ranking models have made significant progress. More recently, the advent of multilingual pre-trained language models provides great support for designing neural cross-lingual retrieval models. However, due to unbalanced pre-training data in different languages, multilingual language models have already shown a performance gap between high and low-resource languages in many downstream tasks. And cross-lingual retrieval models built on such pre-trained models can inherit language bias, leading to suboptimal result for low-resource languages. Moreover, unlike the English-to-English retrieval task, where large-scale training collections for document ranking such as MS MARCO are available, the lack of cross-lingual retrieval data for low-resource language makes it more challenging for training cross-lingual retrieval models. In this work, we propose OPTICAL: Optimal Transport distillation for low-resource Cross-lingual information retrieval. To transfer a model from high to low resource languages, OPTICAL forms the cross-lingual token alignment task as an optimal transport problem to learn from a well-trained monolingual retrieval model. By separating the cross-lingual knowledge from knowledge of query document matching, OPTICAL only needs bitext data for distillation training, which is more feasible for low-resource languages. Experimental results show that, with minimal training data, OPTICAL significantly outperforms strong baselines on low-resource languages, including neural machine translation.


title: A quantitative Birkhoff Normal Form for the hinged-hinged beam equation with geometric nonlinearity

abstract: We consider an undamped nonlinear hinged-hinged beam with stretching nonlinearity as an infinite dimensional hamiltonian system. We obtain analytically a quantitative Birkhoff Normal Form, via a nonlinear coordinate transformation that allows us to integrate the system up to a small reminder, providing a very precise description of small amplitude solutions over large time scales. The optimization of the involved estimates yields results obtained for realistic values of the physical quantities and of the perturbation parameter.


title: Schema-Guided Semantic Accuracy: Faithfulness in Task-Oriented Dialogue Response Generation

abstract: Ensuring that generated utterances are faithful to dialogue actions is crucial for Task-Oriented Dialogue Response Generation. Slot Error Rate (SER) only partially measures generation quality in that it solely assesses utterances generated from non-categorical slots whose values are expected to be reproduced exactly. Utterances generated from categorical slots, which are more variable, are not assessed by SER. We propose Schema-Guided Semantic Accuracy (SGSAcc) to evaluate utterances generated from both categorical and non-categorical slots by recognizing textual entailment. We show that SGSAcc can be applied to evaluate utterances generated from a wide range of dialogue actions in the Schema Guided Dialogue (SGD) dataset with good agreement with human judgment. We also identify a previously overlooked weakness in generating faithful utterances from categorical slots in unseen domains. We show that prefix tuning applied to T5 generation can address this problem. We further build an ensemble of prefix-tuning and fine-tuning models that achieves the lowest SER reported and high SGSAcc on the SGD dataset.


title: A Mental Model Based Theory of Trust

abstract: Handling trust is one of the core requirements for facilitating effective interaction between the human and the AI agent. Thus, any decision-making framework designed to work with humans must possess the ability to estimate and leverage human trust. In this paper, we propose a mental model based theory of trust that not only can be used to infer trust, thus providing an alternative to psychological or behavioral trust inference methods, but also can be used as a foundation for any trust-aware decision-making frameworks. First, we introduce what trust means according to our theory and then use the theory to define trust evolution, human reliance and decision making, and a formalization of the appropriate level of trust in the agent. Using human subject studies, we compare our theory against one of the most common trust scales (Muir scale) to evaluate 1) whether the observations from the human studies match our proposed theory and 2) what aspects of trust are more aligned with our proposed theory.


title: Van der Waals Epitaxy of Pulsed Laser Deposited Antimony Thin Films on Lattice-matched and Amorphous Substrates

abstract: Monatomic antimony thin films have recently attracted attention for applications in phase change memory, nanophotonics, and 2D materials. Although some promising results have been reported, the true potential of Sb thin films is still hindered by the scalability issue and the lack of reliable bottom-up production. Here we demonstrate the growth of Sb thin films on a lattice-matching and amorphous substrates using pulsed laser deposition (PLD). C-axis out-of-plane textured Sb thin films were successfully deposited on Sb$_2$Te$_3$ and SiO$_2$\Si$_3$N$_4$ substrates. In the case of growth on Sb$_2$Te$_3$, we show that an intermediate phase is formed at the Sb$_2$Te$_3$-Sb interface playing a crucial role in forming a solid coupling and thus maintaining epitaxy leading to the production of high-quality Sb thin films. A 3 - 4 nm amorphous Sb seed layer was used to induce texture and suitable surface termination for the growth of Sb thin films on amorphous substrates. The deposition parameters were fine-tuned, and the growth was monitored in situ by a Reflective High Energy Electron Diffraction (RHEED). Scanning/Transmission Electron Microscopy (S/TEM) unveiled the local structure of produced films showing the formation of $\beta$-phase Sb thin films. Our results demonstrate the feasibility to produce very smooth high-quality antimony thin films with uniform coverage, from few layers to large thicknesses, using pulsed laser deposition. We believe the results of our work on scalable and controllable Sb growth have the potential to open up research on phase-change materials and optoelectronics research.


title: Bounded (O(1)) Regret Recommendation Learning via Synthetic Controls Oracle

abstract: In online exploration systems where users with fixed preferences repeatedly arrive, it has recently been shown that O(1), i.e., bounded regret, can be achieved when the system is modeled as a linear contextual bandit. This result may be of interest for recommender systems, where the popularity of their items is often short-lived, as the exploration itself may be completed quickly before potential long-run non-stationarities come into play. However, in practice, exact knowledge of the linear model is difficult to justify. Furthermore, potential existence of unobservable covariates, uneven user arrival rates, interpretation of the necessary rank condition, and users opting out of private data tracking all need to be addressed for practical recommender system applications. In this work, we conduct a theoretical study to address all these issues while still achieving bounded regret. Aside from proof techniques, the key differentiating assumption we make here is the presence of effective Synthetic Control Methods (SCM), which are shown to be a practical relaxation of the exact linear model knowledge assumption. We verify our theoretical bounded regret result using a minimal simulation experiment.


title: On varieties of Lie algebras with infinite basis property

abstract: Over an arbitrary field of positive characteristic we construct an example of a locally finite variety of Lie algebras which does not have a finite basis of its polynomial identities. As a consequence we construct varieties of Lie algebras with prescribed properties.


title: Implications of MicroBooNE's low sensitivity to electron antineutrino interactions in the search for the MiniBooNE excess

abstract: The MicroBooNE experiment searched for an excess of electron-neutrinos in the Booster Neutrino Beam (BNB), providing direct constraints on $\nu_e$-interpretations of the MiniBooNE low-energy excess (LEE). In this article, we show that if the MiniBooNE LEE is caused instead by an excess of $\overline{\nu}_e$, then liquid argon detectors, such as MicroBooNE, SBND and ICARUS, would have poor sensitivity to it. This is due to a strong suppression of $\overline{\nu}_e -{}^{40}$Ar cross sections in the low-energy region of the excess. The MicroBooNE results are consistent at the $2\sigma$~C.L with a scenario in which the MiniBooNE excess is sourced entirely by $\overline{\nu}_e$ interactions. The opportune location of ANNIE, a Gd-loaded water Cherenkov detector, allows for a direct search for a $\overline{\nu}_e$ flux excess in the BNB using inverse-beta-decay events.


title: Spectrum maximizing products are not generically unique

abstract: It is widely believed that typical finite families of $d \times d$ matrices admit finite products that attain the joint spectral radius. This conjecture is supported by computational experiments and it naturally leads to the following question: are these spectrum maximizing products typically unique, up to cyclic permutations and powers? We answer this question negatively. As discovered by Horowitz around fifty years ago, there are products of matrices that always have the same spectral radius despite not being cyclic permutations of one another. We show that the simplest Horowitz products can be spectrum maximizing in a robust way; more precisely, we exhibit a small but nonempty open subset of pairs of $2 \times 2$ matrices $(A,B)$ for which the products $A^2 B A B^2$ and $B^2 A B A^2$ are both spectrum maximizing.


title: Rarefied gas flow in functionalized microchannels

abstract: The interaction of rarefied gases with functionalized surfaces is of great importance in technical applications such as gas separation membranes and catalysis. To investigate the influence of functionalization and rarefaction on gas flow rate in a defined geometry, pressure-driven gas flow experiments with helium and carbon dioxide through plain and alkyl-functionalized microchannels are performed. The experiments cover Knudsen numbers from 0.01 to 200 and therefore the slip flow regime up to free molecular flow. To minimize the experimental uncertainty which is prevalent in micro flow experiments, a methodology is developed to make optimal use of the measurement data. The results are compared to an analytical model predicting rarefied gas flow in straight channels and to numerical simulations of the S-model and BGK equations. The experimental data shows no significant difference between plain and functionalized channels. This stands in contrast to previous measurements in smaller geometries and demonstrates that the surface-to-volume ratio seems to be too small for the functionalization to have an influence and highlights the importance of geometric scale for surface effects. These results also shed light on the molecular reflection characteristics described by the TMAC.


title: Uncovering Adversarial Risks of Test-Time Adaptation

abstract: Recently, test-time adaptation (TTA) has been proposed as a promising solution for addressing distribution shifts. It allows a base model to adapt to an unforeseen distribution during inference by leveraging the information from the batch of (unlabeled) test data. However, we uncover a novel security vulnerability of TTA based on the insight that predictions on benign samples can be impacted by malicious samples in the same batch. To exploit this vulnerability, we propose Distribution Invading Attack (DIA), which injects a small fraction of malicious data into the test batch. DIA causes models using TTA to misclassify benign and unperturbed test data, providing an entirely new capability for adversaries that is infeasible in canonical machine learning pipelines. Through comprehensive evaluations, we demonstrate the high effectiveness of our attack on multiple benchmarks across six TTA methods. In response, we investigate two countermeasures to robustify the existing insecure TTA implementations, following the principle of "security by design". Together, we hope our findings can make the community aware of the utility-security tradeoffs in deploying TTA and provide valuable insights for developing robust TTA approaches.


title: hp-version analysis for arbitrarily shaped elements on the boundary discontinuous Galerkin method for Stokes systems

abstract: In the present work, we examine and analyze an hp-version interior penalty discontinuous Galerkin finite element method for the numerical approximation of a steady fluid system on computational meshes consisting of polytopic elements on the boundary. This approach is based on the discontinuous Galerkin method, enriched by arbitrarily shaped elements techniques as has been introduced in [13]. In this framework, and employing extensions of trace, Markov-type, and H1/L2-type inverse estimates to arbitrary element shapes, we examine a stationary Stokes fluid system enabling the proof of the inf/sup condition and the hp- a priori error estimates, while we investigate the optimal convergence rates numerically. This approach recovers and integrates the flexibility and superiority of the discontinuous Galerkin methods for fluids whenever geometrical deformations are taking place by degenerating the edges, facets, of the polytopic elements only on the boundary, combined with the efficiency of the hp-version techniques based on arbitrarily shaped elements without requiring any mapping from a given reference frame.


title: Structural colors and enhanced resolution at the nanoscale: Local structuring of phase-change materials using focused ion beam

abstract: In the past few years, phase-change materials have become increasingly important in nano-photonics and optoelectronics. The advantages of sizeable optical contrast between phases and the additional degree of freedom from phase switching have been the driving force. From multilevel reflectance to dynamic nanoprinting and structural colors, phase-change materials have achieved outstanding results with prospects for real-world applications. The local crystallization/amorphization of phase-change materials and the corresponding reflectance tunning by the crystallized/amorphized region size have potential applications for future dynamic display devices. Although the resolution is much higher than current display devices, the pixel sizes in those devices are limited by the locally switchable structure size. Here, we reduce the spot sizes further by using ion beams instead of laser beams and dramatically increase the pixel density, demonstrating the capability of having superior resolution. In addition, the power to sputter away materials can be utilized in creating nanostructures with relative height differences and local contrast. Our experiment focuses on one archetypal phase-change material, Sb$_2$Se$_3$, prepared by pulsed-laser deposition on a reflective gold substrate. We demonstrate that we can produce structural colors and achieve reflectance tunning by focused ion beam milling/sputtering of phase change materials at the nanoscale. Furthermore, we show that the local structuring of phase-change materials by focused ion beam can be used to produce high pixel density display devices with superior resolutions.


title: Sample Efficient Deep Reinforcement Learning via Local Planning

abstract: The focus of this work is sample-efficient deep reinforcement learning (RL) with a simulator. One useful property of simulators is that it is typically easy to reset the environment to a previously observed state. We propose an algorithmic framework, named uncertainty-first local planning (UFLP), that takes advantage of this property. Concretely, in each data collection iteration, with some probability, our meta-algorithm resets the environment to an observed state which has high uncertainty, instead of sampling according to the initial-state distribution. The agent-environment interaction then proceeds as in the standard online RL setting. We demonstrate that this simple procedure can dramatically improve the sample cost of several baseline RL algorithms on difficult exploration tasks. Notably, with our framework, we can achieve super-human performance on the notoriously hard Atari game, Montezuma's Revenge, with a simple (distributional) double DQN. Our work can be seen as an efficient approximate implementation of an existing algorithm with theoretical guarantees, which offers an interpretation of the positive empirical results.


title: An optimized online filter stack spectrometer

abstract: The spectrum of laser-plasma-generated X-rays is very important as it can characterize electron dynamics and also be useful for applications, and nowadays with the forthcoming high-repetition-rate laser-plasma experiments, there is a raising demand for online diagnosis for the X-ray spectrum. In this paper, scintillators and silicon PIN diodes are used to build a wideband online filter stack spectrometer. The genetic algorithm is used to optimize the arrangements of the X-ray sensors and filters by minimizing the condition number of the response matrix, thus the unfolding error can be significantly decreased according to the numerical experiments. The detector responses are quantitatively calibrated by irradiating the scintillator and PIN diode using different nuclides and comparing the measured gamma-ray peaks. Finally, a 15-channel spectrometer prototype has been implemented. The X-ray detector, front-end electronics, and back-end electronics are integrated into the prototype, and the prototype can determine the spectrum with 1 kHz repetition rates.


title: Intrinsic Bayesian Optimisation on Complex Constrained Domain

abstract: Motivated by the success of Bayesian optimisation algorithms in the Euclidean space, we propose a novel approach to construct Intrinsic Bayesian optimisation (In-BO) on manifolds with a primary focus on complex constrained domains or irregular-shaped spaces arising as submanifolds of R2, R3 and beyond. Data may be collected in a spatial domain but restricted to a complex or intricately structured region corresponding to a geographic feature, such as lakes. Traditional Bayesian Optimisation (Tra-BO) defined with a Radial basis function (RBF) kernel cannot accommodate these complex constrained conditions. The In-BO uses the Sparse Intrinsic Gaussian Processes (SIn-GP) surrogate model to take into account the geometric structure of the manifold. SInGPs are constructed using the heat kernel of the manifold which is estimated as the transition density of the Brownian Motion on manifolds. The efficiency of In-BO is demonstrated through simulation studies on a U-shaped domain, a Bitten torus, and a real dataset from the Aral sea. Its performance is compared to that of traditional BO, which is defined in Euclidean space.


title: On the Endomorphism Algebra of Specht Modules in Even Characteristic

abstract: Over fields of characteristic $2$, Specht modules may decompose and there is no upper bound for the dimension of their endomorphism algebra. A classification of the (in)decomposable Specht modules and a closed formula for the dimension of their endomorphism algebra remain two important open problems in the area. In this paper, we introduce a novel description of the endomorphism algebra of the Specht modules and provide infinite families of Specht modules with one-dimensional endomorphism algebra.


title: Data accounting and error counting

abstract: Can we infer sources of errors from outputs of the complex data analytics software? Bidirectional programming promises that we can reverse flow of software, and translate corrections of output into corrections of either input or data analysis. This allows us to achieve holy grail of automated approaches to debugging, risk reporting and large scale distributed error tracking. Since processing of risk reports and data analysis pipelines can be frequently expressed using a sequence relational algebra operations, we propose a replacement of this traditional approach with a data summarization algebra that helps to determine an impact of errors. It works by defining data analysis of a necessarily complete summarization of a dataset, possibly in multiple ways along multiple dimensions. We also present a description to better communicate how the complete summarizations of the input data may facilitates easier debugging and more efficient development of analysis pipelines. This approach can also be described as an generalization of axiomatic theories of accounting into data analytics, thus dubbed data accounting. We also propose formal properties that allow for transparent assertions about impact of individual records on the aggregated data and ease debugging by allowing to find minimal changes that change behaviour of data analysis on per-record basis.


title: Fast Exact Leverage Score Sampling from Khatri-Rao Products with Applications to Tensor Decomposition

abstract: We present a data structure to randomly sample rows from the Khatri-Rao product of several matrices according to the exact distribution of its leverage scores. Our proposed sampler draws each row in time logarithmic in the height of the Khatri-Rao product and quadratic in its column count, with persistent space overhead at most the size of the input matrices. As a result, it tractably draws samples even when the matrices forming the Khatri-Rao product have tens of millions of rows each. When used to sketch the linear least squares problems arising in CANDECOMP / PARAFAC tensor decomposition, our method achieves lower asymptotic complexity per solve than recent state-of-the-art methods. Experiments on billion-scale sparse tensors validate our claims, with our algorithm achieving higher accuracy than competing methods as the decomposition rank grows.


title: Representing positive integers as a sum of a squarefree number and a small prime

abstract: We prove that every positive integer $n$ which is not equal to $1$, $2$, $3$, $6$, $11$, $30$, $155$, or $247$ can be represented as a sum of a squarefree number and a prime not exceeding $\sqrt{n}$.


title: Unifying Molecular and Textual Representations via Multi-task Language Modelling

abstract: The recent advances in neural language models have also been successfully applied to the field of chemistry, offering generative solutions for classical problems in molecular design and synthesis planning. These new methods have the potential to fuel a new era of data-driven automation in scientific discovery. However, specialized models are still typically required for each task, leading to the need for problem-specific fine-tuning and neglecting task interrelations. The main obstacle in this field is the lack of a unified representation between natural language and chemical representations, complicating and limiting human-machine interaction. Here, we propose the first multi-domain, multi-task language model that can solve a wide range of tasks in both the chemical and natural language domains. Our model can handle chemical and natural language concurrently, without requiring expensive pre-training on single domains or task-specific models. Interestingly, sharing weights across domains remarkably improves our model when benchmarked against state-of-the-art baselines on single-domain and cross-domain tasks. In particular, sharing information across domains and tasks gives rise to large improvements in cross-domain tasks, the magnitude of which increase with scale, as measured by more than a dozen of relevant metrics. Our work suggests that such models can robustly and efficiently accelerate discovery in physical sciences by superseding problem-specific fine-tuning and enhancing human-model interactions.


title: Zero-Shot Transfer of Haptics-Based Object Insertion Policies

abstract: Humans naturally exploit haptic feedback during contact-rich tasks like loading a dishwasher or stocking a bookshelf. Current robotic systems focus on avoiding unexpected contact, often relying on strategically placed environment sensors. Recently, contact-exploiting manipulation policies have been trained in simulation and deployed on real robots. However, they require some form of real-world adaptation to bridge the sim-to-real gap, which might not be feasible in all scenarios. In this paper we train a contact-exploiting manipulation policy in simulation for the contact-rich household task of loading plates into a slotted holder, which transfers without any fine-tuning to the real robot. We investigate various factors necessary for this zero-shot transfer, like time delay modeling, memory representation, and domain randomization. Our policy transfers with minimal sim-to-real gap and significantly outperforms heuristic and learnt baselines. It also generalizes to plates of different sizes and weights. Demonstration videos and code are available at https://sites.google.com/view/compliant-object-insertion.


title: Development of Machine learning algorithms to identify the Cobb angle in adolescents with idiopathic scoliosis based on lumbosacral joint efforts during gait (Case study)

abstract: Objectives: To quantify the magnitude of spinal deformity in adolescent idiopathic scoliosis (AIS), the Cobb angle is measured on X-ray images of the spine. Continuous exposure to X-ray radiation to follow-up the progression of scoliosis may lead to negative side effects on patients. Furthermore, manual measurement of the Cobb angle could lead to up to 10{\deg} or more of a difference due to intra/inter observer variation. Therefore, the objective of this study is to identify the Cobb angle by developing an automated radiation-free model, using Machine learning algorithms. Methods: Thirty participants with lumbar/thoracolumbar AIS (15{\deg} < Cobb angle < 66{\deg}) performed gait cycles. The lumbosacral (L5-S1) joint efforts during six gait cycles of participants were used as features to feed training algorithms. Various regression algorithms were implemented and run. Results: The decision tree regression algorithm achieved the best result with the mean absolute error equal to 4.6{\deg} of averaged 10-fold cross-validation. Conclusions: This study shows that the lumbosacral joint efforts during gait as radiation-free data are capable to identify the Cobb angle by using Machine learning algorithms. The proposed model can be considered as an alternative, radiation-free method to X-ray radiography to assist clinicians in following-up the progression of AIS.


title: Confidence-Aware Calibration and Scoring Functions for Curriculum Learning

abstract: Despite the great success of state-of-the-art deep neural networks, several studies have reported models to be over-confident in predictions, indicating miscalibration. Label Smoothing has been proposed as a solution to the over-confidence problem and works by softening hard targets during training, typically by distributing part of the probability mass from a `one-hot' label uniformly to all other labels. However, neither model nor human confidence in a label are likely to be uniformly distributed in this manner, with some labels more likely to be confused than others. In this paper we integrate notions of model confidence and human confidence with label smoothing, respectively \textit{Model Confidence LS} and \textit{Human Confidence LS}, to achieve better model calibration and generalization. To enhance model generalization, we show how our model and human confidence scores can be successfully applied to curriculum learning, a training strategy inspired by learning of `easier to harder' tasks. A higher model or human confidence score indicates a more recognisable and therefore easier sample, and can therefore be used as a scoring function to rank samples in curriculum learning. We evaluate our proposed methods with four state-of-the-art architectures for image and text classification task, using datasets with multi-rater label annotations by humans. We report that integrating model or human confidence information in label smoothing and curriculum learning improves both model performance and model calibration. The code are available at \url{https://github.com/AoShuang92/Confidence_Calibration_CL}.


title: Low-frequency gravitational wave memory from gamma-ray burst afterglows with energy injection

abstract: Ultrarelativistic gamma-ray burst (GRB) jets are strong gravitational wave (GW) sources with memory-type signals. The plateau (or shallow decay) phases driven by the energy injection might appear in the early X-ray afterglows of GRBs. In this paper, we investigate the GW signal as well as X-ray afterglow emission in the framework of GRB jets with energy injection, and both short- and long-duration GRBs are considered. We find that, regardless of the case, because of the antibeaming and time delay effects, a rising slope emerging in the waveform of GW signal due to the energy injection lags far behind the energy ejection, and the typical frequency of the characteristic amplitudes falls within a low-frequency region of $\sim10^{-4}-10^{-6} \,{\rm Hz}$; and we consider that the GW memory triggered by GRB jets with energy injection are previously unaware and the nearby GRBs with strong energy injection might disturb the measurement of the stochastic GW background. Such GW memory detection would provide a direct test for models of energy injection in the scenario of GRB jets.


title: Cybersickness in Virtual Reality Questionnaire (CSQ-VR): A Validation and Comparison against SSQ and VRSQ

abstract: Cybersickness is a drawback of virtual reality (VR), which also affects the cognitive and motor skills of the users. The Simulator Sickness Questionnaire (SSQ), and its variant, the Virtual Reality Sickness Questionnaire (VRSQ) are two tools that measure cybersickness. However, both tools suffer from important limitations, which raises concerns about their suitability. Two versions of the Cybersickness in VR Questionnaire (CSQ-VR), a paper-and-pencil and a 3D-VR version, were developed. Validation and comparison of CSQ-VR against SSQ and VRSQ were performed. Thirty-nine participants were exposed to three rides with linear and angular accelerations in VR. Assessments of cognitive and psychomotor skills were performed at baseline and after each ride. The validity of both versions of CSQ-VR was confirmed. Notably, CSQ-VR demonstrated substantially better internal consistency than both SSQ and VRSQ. Also, CSQ-VR scores had significantly better psychometric properties in detecting a temporary decline in performance due to cybersickness. Pupil size was a significant predictor of cybersickness intensity. In conclusion, the CSQ-VR is a valid assessment of cybersickness, with superior psychometric properties to SSQ and VRSQ. The CSQ-VR enables the assessment of cybersickness during VR exposure, and it benefits from examining pupil size, a biomarker of cybersickness.


title: Ensemble Learning for Fusion of Multiview Vision with Occlusion and Missing Information: Framework and Evaluations with Real-World Data and Applications in Driver Hand Activity Recognition

abstract: Multi-sensor frameworks provide opportunities for ensemble learning and sensor fusion to make use of redundancy and supplemental information, helpful in real-world safety applications such as continuous driver state monitoring which necessitate predictions even in cases where information may be intermittently missing. We define this problem of intermittent instances of missing information (by occlusion, noise, or sensor failure) and design a learning framework around these data gaps, proposing and analyzing an imputation scheme to handle missing information. We apply these ideas to tasks in camera-based hand activity classification for robust safety during autonomous driving. We show that a late-fusion approach between parallel convolutional neural networks can outperform even the best-placed single camera model in estimating the hands' held objects and positions when validated on within-group subjects, and that our multi-camera framework performs best on average in cross-group validation, and that the fusion approach outperforms ensemble weighted majority and model combination schemes.


title: Risk-Averse Model Uncertainty for Distributionally Robust Safe Reinforcement Learning

abstract: Many real-world domains require safe decision making in uncertain environments. In this work, we introduce a deep reinforcement learning framework for approaching this important problem. We consider a distribution over transition models, and apply a risk-averse perspective towards model uncertainty through the use of coherent distortion risk measures. We provide robustness guarantees for this framework by showing it is equivalent to a specific class of distributionally robust safe reinforcement learning problems. Unlike existing approaches to robustness in deep reinforcement learning, however, our formulation does not involve minimax optimization. This leads to an efficient, model-free implementation of our approach that only requires standard data collection from a single training environment. In experiments on continuous control tasks with safety constraints, we demonstrate that our framework produces robust performance and safety at deployment time across a range of perturbed test environments.


title: A theory of continuous generative flow networks

abstract: Generative flow networks (GFlowNets) are amortized variational inference algorithms that are trained to sample from unnormalized target distributions over compositional objects. A key limitation of GFlowNets until this time has been that they are restricted to discrete spaces. We present a theory for generalized GFlowNets, which encompasses both existing discrete GFlowNets and ones with continuous or hybrid state spaces, and perform experiments with two goals in mind. First, we illustrate critical points of the theory and the importance of various assumptions. Second, we empirically demonstrate how observations about discrete GFlowNets transfer to the continuous case and show strong results compared to non-GFlowNet baselines on several previously studied tasks. This work greatly widens the perspectives for the application of GFlowNets in probabilistic inference and various modeling settings.


title: Adversarial Attacks on Adversarial Bandits

abstract: We study a security threat to adversarial multi-armed bandits, in which an attacker perturbs the loss or reward signal to control the behavior of the victim bandit player. We show that the attacker is able to mislead any no-regret adversarial bandit algorithm into selecting a suboptimal target arm in every but sublinear (T-o(T)) number of rounds, while incurring only sublinear (o(T)) cumulative attack cost. This result implies critical security concern in real-world bandit-based systems, e.g., in online recommendation, an attacker might be able to hijack the recommender system and promote a desired product. Our proposed attack algorithms require knowledge of only the regret rate, thus are agnostic to the concrete bandit algorithm employed by the victim player. We also derived a theoretical lower bound on the cumulative attack cost that any victim-agnostic attack algorithm must incur. The lower bound matches the upper bound achieved by our attack, which shows that our attack is asymptotically optimal.


title: Learning to Speak from Text: Zero-Shot Multilingual Text-to-Speech with Unsupervised Text Pretraining

abstract: While neural text-to-speech (TTS) has achieved human-like natural synthetic speech, multilingual TTS systems are limited to resource-rich languages due to the need for paired text and studio-quality audio data. This paper proposes a method for zero-shot multilingual TTS using text-only data for the target language. The use of text-only data allows the development of TTS systems for low-resource languages for which only textual resources are available, making TTS accessible to thousands of languages. Inspired by the strong cross-lingual transferability of multilingual language models, our framework first performs masked language model pretraining with multilingual text-only data. Then we train this model with a paired data in a supervised manner, while freezing a language-aware embedding layer. This allows inference even for languages not included in the paired data but present in the text-only data. Evaluation results demonstrate highly intelligible zero-shot TTS with a character error rate of less than 12% for an unseen language.


title: BLIP-2: Bootstrapping Language-Image Pre-training with Frozen Image Encoders and Large Language Models

abstract: The cost of vision-and-language pre-training has become increasingly prohibitive due to end-to-end training of large-scale models. This paper proposes BLIP-2, a generic and efficient pre-training strategy that bootstraps vision-language pre-training from off-the-shelf frozen pre-trained image encoders and frozen large language models. BLIP-2 bridges the modality gap with a lightweight Querying Transformer, which is pre-trained in two stages. The first stage bootstraps vision-language representation learning from a frozen image encoder. The second stage bootstraps vision-to-language generative learning from a frozen language model. BLIP-2 achieves state-of-the-art performance on various vision-language tasks, despite having significantly fewer trainable parameters than existing methods. For example, our model outperforms Flamingo80B by 8.7% on zero-shot VQAv2 with 54x fewer trainable parameters. We also demonstrate the model's emerging capabilities of zero-shot image-to-text generation that can follow natural language instructions.


title: Time Encoding Sampling of Bandpass Signals

abstract: This paper investigates the problem of sampling and reconstructing bandpass signals using time encoding machine(TEM). It is shown that the sampling in principle is equivalent to periodic non-uniform sampling (PNS). Then the TEM parameters can be set according to the signal bandwidth and amplitude instead of upper-edge frequency and amplitude as in the case of bandlimited/lowpass signals. For a bandpass signal of a single information band, it can be perfectly reconstructed if the TEM parameters are such that the difference between any consecutive values of the time sequence in each channel is bounded by the inverse of the signal bandwidth. A reconstruction method incorporating the interpolation functions of PNS is proposed. Numerical experiments validate the feasibility and effectiveness of the proposed TEM scheme.


title: Effects of Floquet Engineering on the Coherent Exciton Dynamics in Monolayer WS$_2$

abstract: Coherent optical manipulation of electronic bandstructures via Floquet Engineering is a promising means to control quantum systems on an ultrafast timescale. However, the ultrafast switching on/off of the driving field comes with questions regarding the limits of validity of the Floquet formalism, which is defined for an infinite periodic drive, and to what extent the transient changes can be driven adibatically. Experimentally addressing these questions has been difficult, in large part due to the absence of an established technique to measure coherent dynamics through the duration of the pulse. Here, using multidimensional coherent spectroscopy we explicitly excite, control, and probe a coherent superposition of excitons in the $K$ and $K^\prime$ valleys in monolayer WS$_2$. With a circularly polarized, red-detuned, pump pulse, the degeneracy of the $K$ and $K^\prime$ excitons can be lifted and the phase of the coherence rotated. We demonstrate phase rotations during the 100 fs driving pulse that exceed $\pi$, and show that this can be described by a combination of the AC-Stark shift of excitons in one valley and Bloch-Siegert shift of excitons in the opposite valley. Despite showing a smooth evolution of the phase that directly follows the intensity envelope of the pump pulse, the process is not perfectly adiabatic. By measuring the magnitude of the macroscopic coherence as it evolves before, during, and after the pump pulse we show that there is additional decoherence caused by power broadening in the presence of the pump. This non-adiabaticity may be a problem for many applications, such as manipulating q-bits in quantum information processing, however these measurements also suggest ways such effects can be minimised or eliminated.


title: Bagging Provides Assumption-free Stability

abstract: Bagging is an important technique for stabilizing machine learning models. In this paper, we derive a finite-sample guarantee on the stability of bagging for any model. Our result places no assumptions on the distribution of the data, on the properties of the base algorithm, or on the dimensionality of the covariates. Our guarantee applies to many variants of bagging and is optimal up to a constant. Empirical results validate our findings, showing that bagging successfully stabilizes even highly unstable base algorithms.


title: Regret Bounds for Markov Decision Processes with Recursive Optimized Certainty Equivalents

abstract: The optimized certainty equivalent (OCE) is a family of risk measures that cover important examples such as entropic risk, conditional value-at-risk and mean-variance models. In this paper, we propose a new episodic risk-sensitive reinforcement learning formulation based on tabular Markov decision processes with recursive OCEs. We design an efficient learning algorithm for this problem based on value iteration and upper confidence bound. We derive an upper bound on the regret of the proposed algorithm, and also establish a minimax lower bound. Our bounds show that the regret rate achieved by our proposed algorithm has optimal dependence on the number of episodes and the number of actions.


title: Vorticity dynamics in transcritical liquid jet breakup

abstract: Contrary to common assumptions, a transcritical domain exists during the early times of liquid hydrocarbon fuel injection at supercritical pressure. A sharp two-phase interface is sustained before substantial heating of the liquid. Thus, two-phase dynamics has been shown to drive the early three-dimensional deformation and atomisation. A recent study of a transcritical liquid jet shows distinct deformation features caused by interface thermodynamics, low surface tension, and intraphase diffusive mixing. In the present work, the vortex identification method ${\lambda}_{\rho}$, which considers the fluid compressibility, is used to study the vortex dynamics in a cool liquid n-decane transcritical jet surrounded by a hotter oxygen gaseous stream at supercritical pressures. The relationship between vortical structures and the liquid surface evolution is detailed, along with the vorticity generation mechanisms, including variable-density effects. The roles of hairpin and roller vortices in the early deformation of lobes, the layering and tearing of liquid sheets, and the formation of fuel-rich gaseous blobs are analysed. At these high pressures, enhanced intraphase mixing and ambient gas dissolution affect the local liquid structures (i.e., lobes). Thus, liquid breakup differs from classical sub-critical atomisation. Near the interface, liquid density and viscosity drop by up to 10% and 70%, respectively, and the liquid is more easily affected by the vortical motion (e.g., liquid sheets wrap around vortices). Despite the variable density, compressible vorticity generation terms are smaller than the vortex stretching and tilting. Layering traps and aligns the vortices along the streamwise direction while mitigating the generation of new rollers.


title: Do We Really Need Graph Neural Networks for Traffic Forecasting?

abstract: Spatio-temporal graph neural networks (STGNN) have become the most popular solution to traffic forecasting. While successful, they rely on the message passing scheme of GNNs to establish spatial dependencies between nodes, and thus inevitably inherit GNNs' notorious inefficiency. Given these facts, in this paper, we propose an embarrassingly simple yet remarkably effective spatio-temporal learning approach, entitled SimST. Specifically, SimST approximates the efficacies of GNNs by two spatial learning techniques, which respectively model local and global spatial correlations. Moreover, SimST can be used alongside various temporal models and involves a tailored training strategy. We conduct experiments on five traffic benchmarks to assess the capability of SimST in terms of efficiency and effectiveness. Empirical results show that SimST improves the prediction throughput by up to 39 times compared to more sophisticated STGNNs while attaining comparable performance, which indicates that GNNs are not the only option for spatial modeling in traffic forecasting.


title: Using cluster analysis on municipal statistical data to configure public policies about Water, Sanitation and Hygiene in Venezuela

abstract: Objective: The aim of this research is to demonstrate how the use of hierarchical cluster analysis on 366 municipalities and other minor entities (parishes) of Venezuela, could be useful to consider regional differences and similarities between territorial entities when designing national public policies of Water, Sanitation and Hygiene (WASH) based on evidence. Methods and results: Consider data from various sources to characterize the population of Venezuela through their territorial entities. Select variables at the level of the territorial entities to cover demographic characteristics, mortality and nutrition, coverage of reliable water and sanitation services, access to education, and access to information and communication technologies. Classify the territorial entities into a limited number of mutually exclusive groups using hierarchical clustering techniques and based on proximity in the multi-dimensional space. Adjust of assignments, reallocating some entities into a different group based on the specialists' opinion about its hierarchy in the cities regional system and its geographic location. Define an indicator to verify the consistency of the groups built. Conduct a statistical analysis to confirm separation of the groups. Demonstrate the utility of the results with some examples of common analysis when building a sanitary public policy, using seven distinct groups of recommendations depending on each cluster. Conclusions: Cluster analysis can be a useful method to analyse relevant differences between territorial entities when designing national public policies based on evidence.


title: Traffic Prediction in Cellular Networks using Graph Neural Networks

abstract: Cellular networks are ubiquitous entities that provide major means of communication all over the world. One major challenge in cellular networks is a dynamic change in the number of users and their usage of telecommunication service which results in overloading at certain base stations. One class of solution to deal with this overloading issue is the deployment of drones that can act as temporary base stations and offload the traffic from the overloaded base station. There are two main challenges in the development of this solution. Firstly, the drone is expected to be present around the base station where an overload would occur in the future thus requiring a prediction of traffic overload. Secondly, drones are highly constrained in their resources and can only fly for a few minutes. If the affected base station is really far, drones can never reach there. This requires the initial placement of drones in sectors where overloading can occur thus again requiring a traffic forecast but at a different spatial scale. It must be noted that the spatial extent of the region that the problem poses and the extremely limited power resources available to the drone pose a great challenge that is hard to overcome without deploying the drones in strategic positions to reduce the time to fly to the required high-demand zone. Moreover, since drone fly at a finite speed, it is important that a predictive solution that can forecast traffic surges is adopted so that drones are available to offload the overload before it actually happens. Both these goals require analysis and forecast of cellular network traffic which is the main goal of this project


title: On the classification of reflective modular forms

abstract: A modular form on an even lattice $M$ of signature $(l,2)$ is called reflective if it vanishes only on quadratic divisors orthogonal to roots of $M$. In this paper we show that every reflective modular form on a lattice of type $2U\oplus L$ induces a root system satisfying certain constrains. As applications, (1) we prove that there is no lattice of signature $(21,2)$ with a reflective modular form and that $2U\oplus D_{20}$ is the unique lattice of signature $(22,2)$ and type $U\oplus K$ which has a reflective Borcherds product; (2) we give an automorphic proof of Shvartsman and Vinberg's theorem, asserting that the algebra of modular forms for an arithmetic subgroup of $\mathrm{O}(l,2)$ is never freely generated when $l\geq 11$. We also prove several results on the finiteness of lattices with reflective modular forms.


title: Observing a Phase Transition in a Coherent Ising Machine

abstract: A coherent Ising machine (CIM) is known to deliver the low-energy states of the Ising model. Here, we investigate how well the CIM simulates the thermodynamic properties of a two-dimensional square-lattice Ising model. Assuming that the spin sets sampled by the CIM can be regarded as a canonical ensemble, we estimate the effective temperature of the spins represented by degenerate optical parametric oscillator pulses by using maximum likelihood estimation. With the obtained temperature, we confirmed that the thermodynamic quantities obtained with the CIM exhibited a phase-transition-like behavior that better matches the analytical and numerical results than the mean field one.


title: Evaluating Neuron Interpretation Methods of NLP Models

abstract: Neuron Interpretation has gained traction in the field of interpretability, and have provided fine-grained insights into what a model learns and how language knowledge is distributed amongst its different components. However, the lack of evaluation benchmark and metrics have led to siloed progress within these various methods, with very little work comparing them and highlighting their strengths and weaknesses. The reason for this discrepancy is the difficulty of creating ground truth datasets, for example, many neurons within a given model may learn the same phenomena, and hence there may not be one correct answer. Moreover, a learned phenomenon may spread across several neurons that work together -- surfacing these to create a gold standard challenging. In this work, we propose an evaluation framework that measures the compatibility of a neuron analysis method with other methods. We hypothesize that the more compatible a method is with the majority of the methods, the more confident one can be about its performance. We systematically evaluate our proposed framework and present a comparative analysis of a large set of neuron interpretation methods. We make the evaluation framework available to the community. It enables the evaluation of any new method using 20 concepts and across three pre-trained models.The code is released at https://github.com/fdalvi/neuron-comparative-analysis


title: Knowledge Distillation $\approx$ Label Smoothing: Fact or Fallacy?

abstract: Originally proposed as a method for knowledge transfer from one model to another, some recent studies have suggested that knowledge distillation (KD) is in fact a form of regularization. Perhaps the strongest argument of all for this new perspective comes from its apparent similarities with label smoothing (LS). Here we re-examine this stated equivalence between the two methods by comparing the predictive confidences of the models they train. Experiments on four text classification tasks involving models of different sizes show that: (a) In most settings, KD and LS drive model confidence in completely opposite directions, and (b) In KD, the student inherits not only its knowledge but also its confidence from the teacher, reinforcing the classical knowledge transfer view.


title: To Define the Core Entropy for All Polynomials Having a Connected Julia Set

abstract: The classical core entropy for a post critically finite (PCF) polynomial f with deg(f)>1 is defined to be the topological entropy of f restricted to its Hubbard tree. We fully generalize this notion by a new quantity, called the (general) core entropy, which is well defined whenever f has a connected Julia set. If f is PCF, the core entropy equals the classical version. If two polynomials are J-equivalent they share the same core entropy. If f is renormalizable there is a direct connection between the core entropy of f and that corresponding to the small Julia set. We also analyze the map that sends every parameter c in the Mandelbrot set to the core entropy of the polynomial z^2+c. In particular, the level set of this entropy map at log2 is of full harmonic measure and the Mandelbrot set is locally connected at each point in this level set.


title: Perturbative Quantum Gravity Induced Scalar Coupling to Electromagnetism

abstract: Physicists working on atom interferometers are interested in scalar couplings to electromagnetism of dimensions 5 and 6 which might be induced by quantum gravity. There is a widespread belief that such couplings can only be induced by conjectured non-perturbative effects, resulting in unknown coupling strengths. In this letter we exhibit a completely perturbative mechanism through which quantum gravity induces dimension six couplings with precisely calculable coefficients.


title: SSR-TA: Sequence to Sequence based expert recurrent recommendation for ticket automation

abstract: The ticket automation provides crucial support for the normal operation of IT software systems. An essential task of ticket automation is to assign experts to solve upcoming tickets. However, facing thousands of tickets, inappropriate assignments will make tickets transfer frequently among experts, which causes time delays and wasted resources. Effectively and efficiently finding an appropriate expert in fewer steps is vital to ticket automation. In this paper, we proposed a sequence to sequence based translation model combined with a recurrent recommendation network to recommend appropriate experts for tickets. The sequence to sequence model transforms the ticket description into the corresponding resolution for capturing the potential and useful features of representing tickets. The recurrent recommendation network recommends the appropriate expert based on the assumption that the previous expert in the recommendation sequence cannot solve the expert. To evaluate the performance, we conducted experiments to compare several baselines with SSR-TA on two real-world datasets, and the experimental results show that our proposed model outperforms the baselines. The comparative experiment results also show that SSR-TA has a better performance of expert recommendations for user-generated tickets.


title: AudioEar: Single-View Ear Reconstruction for Personalized Spatial Audio

abstract: Spatial audio, which focuses on immersive 3D sound rendering, is widely applied in the acoustic industry. One of the key problems of current spatial audio rendering methods is the lack of personalization based on different anatomies of individuals, which is essential to produce accurate sound source positions. In this work, we address this problem from an interdisciplinary perspective. The rendering of spatial audio is strongly correlated with the 3D shape of human bodies, particularly ears. To this end, we propose to achieve personalized spatial audio by reconstructing 3D human ears with single-view images. First, to benchmark the ear reconstruction task, we introduce AudioEar3D, a high-quality 3D ear dataset consisting of 112 point cloud ear scans with RGB images. To self-supervisedly train a reconstruction model, we further collect a 2D ear dataset composed of 2,000 images, each one with manual annotation of occlusion and 55 landmarks, named AudioEar2D. To our knowledge, both datasets have the largest scale and best quality of their kinds for public use. Further, we propose AudioEarM, a reconstruction method guided by a depth estimation network that is trained on synthetic data, with two loss functions tailored for ear data. Lastly, to fill the gap between the vision and acoustics community, we develop a pipeline to integrate the reconstructed ear mesh with an off-the-shelf 3D human body and simulate a personalized Head-Related Transfer Function (HRTF), which is the core of spatial audio rendering. Code and data are publicly available at https://github.com/seanywang0408/AudioEar.


title: RREx-BoT: Remote Referring Expressions with a Bag of Tricks

abstract: Household robots operate in the same space for years. Such robots incrementally build dynamic maps that can be used for tasks requiring remote object localization. However, benchmarks in robot learning often test generalization through inference on tasks in unobserved environments. In an observed environment, locating an object is reduced to choosing from among all object proposals in the environment, which may number in the 100,000s. Armed with this intuition, using only a generic vision-language scoring model with minor modifications for 3d encoding and operating in an embodied environment, we demonstrate an absolute performance gain of 9.84% on remote object grounding above state of the art models for REVERIE and of 5.04% on FAO. When allowed to pre-explore an environment, we also exceed the previous state of the art pre-exploration method on REVERIE. Additionally, we demonstrate our model on a real-world TurtleBot platform, highlighting the simplicity and usefulness of the approach. Our analysis outlines a "bag of tricks" essential for accomplishing this task, from utilizing 3d coordinates and context, to generalizing vision-language models to large 3d search spaces.


title: Twisted first moment of quadratic and quadratic twist $L$-functions

abstract: We evaluate the twisted first moment of central values of the product of a quadratic Dirichlet $L$-function and a quadratic twist of a modular $L$-function.


title: Active Sequential Two-Sample Testing

abstract: Two-sample testing tests whether the distributions generating two samples are identical. We pose the two-sample testing problem in a new scenario where the sample measurements (or sample features) are inexpensive to access, but their group memberships (or labels) are costly. We devise the first \emph{active sequential two-sample testing framework} that not only sequentially but also \emph{actively queries} sample labels to address the problem. Our test statistic is a likelihood ratio where one likelihood is found by maximization over all class priors, and the other is given by a classification model. The classification model is adaptively updated and then used to guide an active query scheme called bimodal query to label sample features in the regions with high dependency between the feature variables and the label variables. The theoretical contributions in the paper include proof that our framework produces an \emph{anytime-valid} $p$-value; and, under reachable conditions and a mild assumption, the framework asymptotically generates a minimum normalized log-likelihood ratio statistic that a passive query scheme can only achieve when the feature variable and the label variable have the highest dependence. Lastly, we provide a \emph{query-switching (QS)} algorithm to decide when to switch from passive query to active query and adapt bimodal query to increase the testing power of our test. Extensive experiments justify our theoretical contributions and the effectiveness of QS.


title: Regularized Weight Aggregation in Networked Federated Learning for Glioblastoma Segmentation

abstract: In federated learning (FL), the global model at the server requires an efficient mechanism for weight aggregation and a systematic strategy for collaboration selection to manage and optimize communication payload. We introduce a practical and cost-efficient method for regularized weight aggregation and propose a laborsaving technique to select collaborators per round. We illustrate the performance of our method, regularized similarity weight aggregation (RegSimAgg), on the Federated Tumor Segmentation (FeTS) 2022 challenge's federated training (weight aggregation) problem. Our scalable approach is principled, frugal, and suitable for heterogeneous non-IID collaborators. Using FeTS2021 evaluation criterion, our proposed algorithm RegSimAgg stands at 3rd position in the final rankings of FeTS2022 challenge in the weight aggregation task. Our solution is open sourced at: \url{https://github.com/dskhanirfan/FeTS2022}


title: ForkMerge: Mitigating Negative Transfer in Auxiliary-Task Learning

abstract: Auxiliary-Task Learning (ATL) aims to improve the performance of the target task by leveraging the knowledge obtained from related tasks. Occasionally, learning multiple tasks simultaneously results in lower accuracy than learning only the target task, which is known as negative transfer. This problem is often attributed to the gradient conflicts among tasks, and is frequently tackled by coordinating the task gradients in previous works. However, these optimization-based methods largely overlook the auxiliary-target generalization capability. To better understand the root cause of negative transfer, we experimentally investigate it from both optimization and generalization perspectives. Based on our findings, we introduce ForkMerge, a novel approach that periodically forks the model into multiple branches, automatically searches the varying task weights by minimizing target validation errors, and dynamically merges all branches to filter out detrimental task-parameter updates. On a series of auxiliary-task learning benchmarks, ForkMerge outperforms existing methods and effectively mitigates negative transfer.


title: On Minkowski and Blaschke symmetrizations of functions and related applications

abstract: The Minkowski symmetral of an $\alpha$-concave function is defined, and some of its fundamental properties are deduced. It is shown that almost all sequences of random Minkowski symmetrizations of a quasiconcave function converge in the $L^p$ metric ($p\geq 1$) to a spherical decreasing mean width rearrangement. A sharp extended Urysohn's type inequality for quasiconcave functions is then derived. Using inner linearizations from convex optimization, an analogue of polytopes inscribed in a convex body is studied for log concave functions: Given a log concave function, we consider log-affine minorants defined in terms of the inner linearizations of the corresponding convex base function. As an application of the functional Minkowski symmetrizations, it is shown that any functional defined on the class of log concave functions which satisfies certain conditions is maximized by the reflectional hypo-symmetrization. As a corollary, it is shown that among all log concave functions of a given mean width, the reflectional hypo-symmetrization is hardest to approximate by ``log-affine" minorants with a fixed number of break points. This result generalizes the classical fact which states that among all convex bodies of a given mean width, a Euclidean ball is hardest to approximate by inscribed polytopes with a fixed number of vertices. Finally, the Blaschke symmetral of a function is defined in a natural way, and some of its basic properties are proved. It is shown that under suitable assumptions, every quasiconcave function can be transformed into its symmetric decreasing surface area rearrangement by a sequence of Blaschke symmetrizations. Some applications of this result are also presented.


title: Dynamics of a buffer-gas-loaded, deep optical trap for molecules

abstract: We describe an approach to optically trapping small, chemically stable molecules at cryogenic temperatures by buffer-gas loading a deep optical dipole trap. The ~10 K trap depth will be produced by a tightly-focused, 1064-nm cavity capable of reaching intensities of hundreds of GW/cm$^2$. Molecules will be directly buffer-gas loaded into the trap using a helium buffer gas at 1.5 K. The very far-off-resonant, quasielectrostatic trapping mechanism is insensitive to a molecule's internal state, energy level structure, and its electric and magnetic dipole moment. Here, we theoretically investigate the trapping and loading dynamics, as well as the heating and loss rates, and conclude that $10^4$-$10^6$ molecules are likely to be trapped. Our trap would open new possibilities in molecular spectroscopy, studies of cold chemical reactions, and precision measurement, amongst other fields of physics.


title: Phase transition patterns for coupled complex scalar fields at finite temperature and density

abstract: The phase transition patterns displayed by a model of two coupled complex scalar fields are studied at finite temperature and chemical potential. Possible phenomena like symmetry persistence and inverse symmetry breaking at high temperatures are analyzed. The effect of finite density is also considered and studied in combination with the thermal effects. The nonperturbative optimized perturbation theory method is considered and the results contrasted with perturbation theory. Applications of the results obtained are considered in the context of an effective model for condensation of kaons at high densities, which is of importance in the understanding of the color-flavor locked phase of quantum chromodynamics.


title: Lines on holomorphic contact manifolds and a generalization of $(2,3,5)$-distributions to higher dimensions

abstract: Since the celebrated work by Cartan, distributions with \nobreak{small} growth vector $(2,3,5)$ have been studied extensively. In the holomorphic setting, there is a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension 5. We generalize this correspondence to higher dimensions by studying nondegenerate lines on holomorphic contact manifolds and the corresponding class of distributions of small growth vector $(2m, 3m, 3m+2)$ for any positive integer $m$.


title: FedPass: Privacy-Preserving Vertical Federated Deep Learning with Adaptive Obfuscation

abstract: Vertical federated learning (VFL) allows an active party with labeled feature to leverage auxiliary features from the passive parties to improve model performance. Concerns about the private feature and label leakage in both the training and inference phases of VFL have drawn wide research attention. In this paper, we propose a general privacy-preserving vertical federated deep learning framework called FedPass, which leverages adaptive obfuscation to protect the feature and label simultaneously. Strong privacy-preserving capabilities about private features and labels are theoretically proved (in Theorems 1 and 2). Extensive experimental result s with different datasets and network architectures also justify the superiority of FedPass against existing methods in light of its near-optimal trade-off between privacy and model performance.


title: Learning the Kalman Filter with Fine-Grained Sample Complexity

abstract: We develop the first end-to-end sample complexity of model-free policy gradient (PG) methods in discrete-time infinite-horizon Kalman filtering. Specifically, we introduce the receding-horizon policy gradient (RHPG-KF) framework and demonstrate $\tilde{\mathcal{O}}(\epsilon^{-2})$ sample complexity for RHPG-KF in learning a stabilizing filter that is $\epsilon$-close to the optimal Kalman filter. Notably, the proposed RHPG-KF framework does not require the system to be open-loop stable nor assume any prior knowledge of a stabilizing filter. Our results shed light on applying model-free PG methods to control a linear dynamical system where the state measurements could be corrupted by statistical noises and other (possibly adversarial) disturbances.


title: A characterization of heaviness in terms of relative symplectic cohomology

abstract: For a compact subset $K$ of a closed symplectic manifold $(M, \omega)$, we prove that $K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is non-zero. As an application we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results are also included.


title: Ideal Weak Topological Insulator and Protected Helical Saddle Points

abstract: The paradigm of classifying three-dimensional (3D) topological insulators into strong and weak ones (STI and WTI) opens the door for the discovery of various topological phases of matter protected by different symmetries and defined in different dimensions. However, in contrast to the vast realization of STIs, very few materials have been experimentally identified as being close to WTI. Even amongst those identified, none exists with topological surface states (TSS) exposed in a global bulk band gap that is stable at all temperatures. Here we report the design and observation of an ideal WTI in a quasi-one-dimensional (quasi-1D) bismuth halide, Bi$_{4}$I$_{1.2}$Br$_{2.8}$ (BIB). Via angle-resolved photoemission spectroscopy (ARPES), we identify that BIB hosts TSS on the (100)$\prime$ side surface in the form of two anisotropic $\pi$-offset Dirac cones (DCs) separated in momentum while topologically dark on the (001) top surface. The ARPES data fully determine a unique side-surface Hamiltonian and thereby identify two pairs of non-degenerate helical saddle points and a series of four Lifshitz transitions. The fact that both the surface Dirac and saddle points are in the global bulk band gap of 195 meV, combined with the small Dirac velocities, nontrivial spin texture, and the near-gap chemical potential, qualifies BIB to be not only an ideal WTI but also a fertile ground for topological many-body physics.


title: Coupling photogeneration with thermodynamic modeling of light-induced alloy segregation enables the discovery of stabilizing dopants

abstract: We developed a generalized model that considers light as energy contributed through the thermalization of excited carriers to generate excitation-intensity- and temperature-dependent phase diagrams. We find that the model replicates the light-induced phase segregation behavior of the MAPb(I,Br)3 system. From there, we sought to study how best to design new, stable, mixed-halide alloys. The resultant first-principles predictions show that the pseudo halide anion BF4- suppresses phase segregation in FA0.83Cs0.17Pb(I0.6Br0.4)3, resulting in enhanced operating stability. The findings reveal that photostability is linked with the structure and electronic properties of materials and may be overcome using informed alloying strategies.


title: Equilibria and their stability in an asymmetric duopoly model of Kopel

abstract: In this paper, we investigate the equilibria and their stability in an asymmetric duopoly model of Kopel by using several tools based on symbolic computations. We explore the possible positions of the equilibria in Kopel's model. We discuss the possibility of the existence of multiple positive equilibria and establish a necessary and sufficient condition for a given number of equilibria to exist. Furthermore, if the two duopolists adopt the best response reactions or homogeneous adaptive expectations, we establish rigorous conditions for the existence of distinct numbers of positive equilibria for the first time.


title: Anisotropic spin model and multiple-$Q$ states in cubic systems

abstract: Multiple-$Q$ states manifest themselves in a variety of noncollinear and noncoplanar magnetic structures depending on the magnetic interactions and lattice structures. In particular, cubic-lattice systems can host a plethora of multiple-$Q$ states, such as magnetic skyrmion and hedgehog lattices. We here classify momentum-dependent anisotropic exchange interactions in the cubic-lattice systems based on the magnetic representation analysis. We construct an effective spin model for centrosymmetric cubic space groups, $Pm\bar{3}m$ and $Pm\bar{3}$, and noncentrosymmetric ones, $P\bar{4}3m$, $P432$, and $P23$: The former include the symmetric anisotropic exchange interaction, while the latter additionally include the Dzyaloshinskii-Moriya interaction. We demonstrate that the anisotropic exchange interaction becomes the origin of the multiple-$Q$ states by applying the anisotropic spin model to the case under $Pm\bar{3}$. We show several multiple-$Q$ instabilities in the ground state by performing simulated annealing. Our results will be a reference for not only exploring unknown multiple-$Q$ states but also understanding the origin of the multiple-$Q$ states observed in both noncentrosymmetric and centrosymmetric magnets like EuPtSi and SrFeO$_3$.


title: Maximal co-occurrence nonoverlapping sequential rule mining

abstract: The aim of sequential pattern mining (SPM) is to discover potentially useful information from a given se-quence. Although various SPM methods have been investigated, most of these focus on mining all of the patterns. However, users sometimes want to mine patterns with the same specific prefix pattern, called co-occurrence pattern. Since sequential rule mining can make better use of the results of SPM, and obtain better recommendation performance, this paper addresses the issue of maximal co-occurrence nonoverlapping sequential rule (MCoR) mining and proposes the MCoR-Miner algo-rithm. To improve the efficiency of support calculation, MCoR-Miner employs depth-first search and backtracking strategies equipped with an indexing mechanism to avoid the use of sequential searching. To obviate useless support calculations for some sequences, MCoR-Miner adopts a filtering strategy to prune the sequences without the prefix pattern. To reduce the number of candidate patterns, MCoR-Miner applies the frequent item and binomial enumeration tree strategies. To avoid searching for the maximal rules through brute force, MCoR-Miner uses a screening strategy. To validate the per-formance of MCoR-Miner, eleven competitive algorithms were conducted on eight sequences. Our experimental results showed that MCoR-Miner outperformed other competitive algorithms, and yielded better recommendation performance than frequent co-occurrence pattern mining. All algorithms and datasets can be downloaded from https://github.com/wuc567/Pattern-Mining/tree/master/MCoR-Miner.


title: Coarse classification of binary minimal clones

abstract: We classify binary minimal clones into seven categories: affine algebras, rectangular bands, $p$-cyclic groupoids, spirals, non-Taylor partial semilattices, melds, and dispersive algebras. Each category has nice enough properties to guarantee that any clone of one of these types contains a minimal clone of the same type.


title: Top and bottom quark forward-backward asymmetries at next-to-next-to-leading order QCD in (un)polarized electron positron collisions

abstract: We consider, at order $\alpha_s^2$ in the QCD coupling, top-quark pair production in the continuum at various center-of-mass energies and $b$-quark pair production at the $Z$ resonance by (un)polarized electron and positron beams. For top quarks we compute the forward-backward asymmetry with respect to the top-quark direction of flight, the associated polar angle distribution, and we analyze the effect of beam polarization on the QCD corrections to the leading-order asymmetry. We calculate also the polarized forward-backward asymmetry. For $b$-quark production at the $Z$ peak we explore different definitions of $A_{\rm FB}$. In particular, we analyze $b$ jets defined by the Durham and the flavor-$k_T$ clustering algorithms. We compute the inclusive $b$-jet and two-jet asymmetry with respect to the $b$-jet direction. For the latter asymmetry the QCD corrections to order $\alpha_s^2$ are small. That predestines it to act as a precision observable.


title: Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence

abstract: The usage of Python idioms is popular among Python developers in a formative study of 101 performance-related questions of Python idioms on Stack Overflow, we find that developers often get confused about the performance impact of Python idioms and use anecdotal toy code or rely on personal project experience which is often contradictory in performance outcomes. There has been no large-scale, systematic empirical evidence to reconcile these performance debates. In the paper, we create a large synthetic dataset with 24,126 pairs of non-idiomatic and functionally-equivalent idiomatic code for the nine unique Python idioms identified in Zhang et al., and reuse a large real-project dataset of 54,879 such code pairs provided by Zhang et al. We develop a reliable performance measurement method to compare the speedup or slowdown by idiomatic code against non-idiomatic counterpart, and analyze the performance discrepancies between the synthetic and real-project code, the relationships between code features and performance changes, and the root causes of performance changes at the bytecode level. We summarize our findings as some actionable suggestions for using Python idioms.


title: 3D printed architected lattice structures by material jetting

abstract: High-precision 3D printing technology opens to almost endless opportunities to design complex shapes present in tailored architected materials. The scope of this work is to review the latest studies regarding 3D printed lattice structures that involve the use of photopolymers fabricated by Material Jetting (MJ), with a focus on the widely used Polyjet and MultiJet techniques. The main aspects governing this printing process are introduced to determine their influence during the fabrication of 3D printed lattices. Performed experimental studies, considered assumptions, and constitutive models for the respective numerical simulations are analyzed. Furthermore, an overview of the latest extensively studied 3D printed architected lattice materials is exposed by emphasizing their achieved mechanical performances through the use of Ashby plots. Then, we highlight the advantages, limitations, and challenges of the material jetting technology to manufacture tunable architected materials for innovative devices, oriented to several engineering applications. Finally, possible approaches for future works and gaps to be covered by further research are indicated, including cost and environmental-related issues.


title: Semimetal-Monolayer Transition Metal Dichalcogenides Photodetectors for Wafer-Scale Ultraviolet Photonics

abstract: Atomically thin two-dimensional (2D) transition metal dichalcogenides (TMDs), such as MoS$_2$, are promising candidates for nanoscale photonics because of strong-light matter interactions. However, Fermi level pinning due to metal-induced gap (MIGS) states at the metals-monolayer MoS$_2$ interface limits the application of optoelectronic devices based on conventional metals because of the high contact resistance of the Schottky contacts. On the other hand, a semimetal-TMD-semimetal device can overcome this limitation, where the MIGS are sufficiently suppressed and can result in ohmic contacts. Here we demonstrate the optoelectronic performance of a bismuth-monolayer (1L) MoS$_2$-bismuth device with ohmic electrical contacts and extraordinary optoelectronic properties. To address the wafer-scale production, we grew full coverage 1L MoS$_2$ by using chemical vapor deposition method. We measured high photoresponsivity of 300 A/W in the UV regime at 77 K, which translates into an external quantum efficiency (EQE) ~ 1000 or $10^5$%. We found that the 90% rise time of our devices at 77 K is 0.1 ms, which suggests that the current devices can operate at the speed of ~ 10 kHz. The combination of large-array device fabrication, high sensitivity, and high-speed response offers great potential for applications in photonics that includes integrated optoelectronic circuits.