title: Advanced modeling of materials with PAOFLOW 2.0: New features and software design

abstract: Recent research in materials science opens exciting perspectives to design novel quantum materials and devices, but it calls for quantitative predictions of properties which are not accessible in standard first principles packages. PAOFLOW is a software tool that constructs tight-binding Hamiltonians from self-consistent electronic wavefunctions by projecting onto a set of atomic orbitals. The electronic structure provides numerous materials properties that otherwise would have to be calculated via phenomenological models. In this paper, we describe recent re-design of the code as well as the new features and improvements in performance. In particular, we have implemented symmetry operations for unfolding equivalent k-points, which drastically reduces the runtime requirements of first principles calculations, and we have provided internal routines of projections onto atomic orbitals enabling generation of real space atomic orbitals. Moreover, we have included models for non-constant relaxation time in electronic transport calculations, doubling the real space dimensions of the Hamiltonian as well as the construction of Hamiltonians directly from analytical models. Importantly, PAOFLOW has been now converted into a Python package, and is streamlined for use directly within other Python codes. The new object oriented design treats PAOFLOWs computational routines as class methods, providing an API for explicit control of each calculation.


title: Symmetric ideals of the infinite polynomial ring

abstract: Let $R=\mathbf{C}[\xi_1,\xi_2,\ldots]$ be the infinite variable polynomial ring, equipped with the natural action of the infinite symmetric group $\mathfrak{S}$. We classify the $\mathfrak{S}$-primes of $R$, determine the containments among these ideals, and describe the equivariant spectrum of $R$. We emphasize that $\mathfrak{S}$-prime ideals need not be radical, which is a primary source of difficulty. Our results yield a classification of $\mathfrak{S}$-ideals of $R$ up to copotency. Our work is motivated by the interest and applications of $\mathfrak{S}$-ideals seen in recent years.


title: Dynamo instabilities in plasmas with inhomogeneous chiral chemical potential

abstract: We study the dynamics of magnetic fields in chiral magnetohydrodynamics, which takes into account the effects of an additional electric current related to the chiral magnetic effect in high energy plasmas. We perform direct numerical simulations, considering weak seed magnetic fields and inhomogeneities of the chiral chemical potential mu_5 with a zero mean. We demonstrate that a small-scale chiral dynamo can occur in such plasmas if fluctuations of mu_5 are correlated on length scales that are much larger than the scale on which the dynamo growth rate reaches its maximum. Magnetic fluctuations grow by many orders of magnitude due to the small-scale chiral dynamo instability. Once the nonlinear backreaction of the generated magnetic field on fluctuations of mu_5 sets in, the ratio of these scales decreases and the dynamo saturates. When magnetic fluctuations grow sufficiently to drive turbulence via the Lorentz force before reaching maximum field strength, an additional mean-field dynamo phase is identified. The mean magnetic field grows on a scale that is larger than the integral scale of turbulence after the amplification of the fluctuating component saturates. The growth rate of the mean magnetic field is caused by a magnetic alpha effect that is proportional to the current helicity. With the onset of turbulence, the power spectrum of mu_5 develops a universal k^(-1) scaling independently of its initial shape, while the magnetic energy spectrum approaches a k^(-3) scaling.

categories: physics.plasm-ph astro-ph.CO astro-ph.HE physics.flu-dyn


title: A New Split for Evaluating True Zero-Shot Action Recognition

abstract: Zero-shot action recognition is the task of classifying action categories that are not available in the training set. In this setting, the standard evaluation protocol is to use existing action recognition datasets(e.g. UCF101) and randomly split the classes into seen and unseen. However, most recent work builds on representations pre-trained on the Kinetics dataset, where classes largely overlap with classes in the zero-shot evaluation datasets. As a result, classes which are supposed to be unseen, are present during supervised pre-training, invalidating the condition of the zero-shot setting. A similar concern was previously noted several years ago for image based zero-shot recognition but has not been considered by the zero-shot action recognition community. In this paper, we propose a new split for true zero-shot action recognition with no overlap between unseen test classes and training or pre-training classes. We benchmark several recent approaches on the proposed True Zero-Shot(TruZe) Split for UCF101 and HMDB51, with zero-shot and generalized zero-shot evaluation. In our extensive analysis, we find that our TruZesplits are significantly harder than comparable random splits as nothing is leaking from pre-training, i.e. unseen performance is consistently lower,up to 8.9% for zero-shot action recognition. In an additional evaluation we also find that similar issues exist in the splits used in few-shot action recognition, here we see differences of up to 17.1%. We publish oursplits1and hope that our benchmark analysis will change how the field is evaluating zero- and few-shot action recognition moving forward.


title: One level summations for powers of Fibonacci and Lucas polynomials

abstract: Powers of Fibonacci polynomials are expressed as single sums, improving on a double sum recently seen in the literature.


title: Red Dragon AI at TextGraphs 2021 Shared Task: Multi-Hop Inference Explanation Regeneration by Matching Expert Ratings

abstract: Creating explanations for answers to science questions is a challenging task that requires multi-hop inference over a large set of fact sentences. This year, to refocus the Textgraphs Shared Task on the problem of gathering relevant statements (rather than solely finding a single 'correct path'), the WorldTree dataset was augmented with expert ratings of 'relevance' of statements to each overall explanation. Our system, which achieved second place on the Shared Task leaderboard, combines initial statement retrieval; language models trained to predict the relevance scores; and ensembling of a number of the resulting rankings. Our code implementation is made available at https://github.com/mdda/worldtree_corpus/tree/textgraphs_2021


title: Exploring extreme magnetization phenomena in directly-driven imploding cylindrical targets

abstract: This paper uses extended-magnetohydrodynamics (MHD) simulations to explore an extreme magnetized plasma regime realisable by cylindrical implosions on the OMEGA laser facility. This regime is characterized by highly compressed magnetic fields (greater than 10~kT across the fuel), which contain a significant proportion of the implosion energy and induce large electrical currents in the plasma. Parameters governing the different magnetization processes such as Ohmic dissipation and suppression of instabilities by magnetic tension are presented, allowing for optimization of experiments to study specific phenomena. For instance, a dopant added to the target gas-fill can enhance magnetic flux compression while enabling spectroscopic diagnosis of the imploding core. In particular, the use of Ar K-shell spectroscopy is investigated by performing detailed non-LTE atomic kinetics and radiative transfer calculations on the MHD data. Direct measurement of the core electron density and temperature would be possible, allowing for both the impact of magnetization on the final temperature and thermal pressure to be obtained. By assuming the magnetic field is frozen into the plasma motion, which is shown to be a good approximation for highly magnetized implosions, spectroscopic diagnosis could be used to estimate which magnetization processes are ruling the implosion dynamics; for example, a relation is given for inferring whether thermally-driven or current-driven transport is dominating.


title: Perspective on traveling wave microwave parametric amplifiers

abstract: Quantum-limited microwave parametric amplifiers are genuine key pillars for rising quantum technologies and in general for applications that rely on the successful readout of weak microwave signals by adding only the minimum amount of noise allowed by quantum mechanics. In this perspective, after providing a brief overview on the different families of parametric microwave amplifiers, we focus on traveling wave parametric amplifiers (TWPAs), underlining the key achievements of the last years and the present open challenges. We discuss also possible new research directions beyond amplification such as exploring these devices as a platform for multi-mode entanglement generation and for the development of single photon detectors.


title: Dataset Distillation with Infinitely Wide Convolutional Networks

abstract: The effectiveness of machine learning algorithms arises from being able to extract useful features from large amounts of data. As model and dataset sizes increase, dataset distillation methods that compress large datasets into significantly smaller yet highly performant ones will become valuable in terms of training efficiency and useful feature extraction. To that end, we apply a novel distributed kernel based meta-learning framework to achieve state-of-the-art results for dataset distillation using infinitely wide convolutional neural networks. For instance, using only 10 datapoints (0.02% of original dataset), we obtain over 65% test accuracy on CIFAR-10 image classification task, a dramatic improvement over the previous best test accuracy of 40%. Our state-of-the-art results extend across many other settings for MNIST, Fashion-MNIST, CIFAR-10, CIFAR-100, and SVHN. Furthermore, we perform some preliminary analyses of our distilled datasets to shed light on how they differ from naturally occurring data.


title: Hexagonalization of Fishnet integrals I: mirror excitations

abstract: In this paper we consider a conformal invariant chain of $L$ sites in the unitary irreducible representations of the group $SO(1,5)$. The $k$-th site of the chain is defined by a scaling dimension $\Delta_k$ and spin numbers $\frac{\ell_k}{2}$, $\frac{\dot{\ell}_k}{2}$. The model with open and fixed boundaries is shown to be integrable at the quantum level and its spectrum and eigenfunctions are obtained by separation of variables. The transfer matrices of the chain are graph-builder operators for the spinning and inhomogeneous generalization of squared-lattice "fishnet" integrals on the disk. As such, their eigenfunctions are used to diagonalize the mirror channel of the the Feynman diagrams of Fishnet conformal field theories. The separated variables are interpreted as momentum and bound-state index of the $\textit{mirror excitations}$ of the lattice: particles with $SO(4)$ internal symmetry that scatter according to an integrable factorized $\mathcal{S}$-matrix in $(1+1)$ dimensions.


title: Biermann Battery Magnetic Fields in ICF Capsules: Total Magnetic Flux Generation

abstract: This paper focuses on the process of magnetic flux generation in ICF implosions. Hot-spots are shown to be dominated by fields generated during stagnation, when the temperature and density gradients are largest. A scaling of hot-spot magnetic flux is derived and compared with simulations, revealing that perturbations with both larger amplitudes and higher mode numbers generate more magnetic flux. The model allows for greater understanding of which target designs will be susceptible to MHD effects. For example, the model can be used to ascertain the time when most magnetic flux is generated. If generation is weighted more towards early times, then more high-mode magnetic field loops will be present. A hot-spot with no high-mode perturbations at time of peak neutron production can still contain significant magnetic flux on those scales. By assuming that magnetic flux is deposited at the hot-spot edge by Nernst advection, the model can be used to post-process radiation-hydrodynamics data to estimate magnetic field strengths and magnetizations.


title: High-energy resummation in inclusive hadroproduction of Higgs plus jet

abstract: Using the standard Balitsky-Fadin-Kuraev-Lipatov (BFKL) approach, with partial inclusion of next-to-leading order effects, we propose the inclusive hadroproduction of a Higgs boson and of a jet, featuring large transverse momenta and well separated in rapidity, as a new channel to probe the BFKL dynamics. Predictions are presented for cross-sections and azimuthal angle correlations in different kinematics configurations for the final-state transverse momenta. We find that the large energy scales provided by the emission of a Higgs boson stabilize the BFKL series.


title: Evidence for a high-z ISW signal from supervoids in the distribution of eBOSS quasars

abstract: The late-time integrated Sachs-Wolfe (ISW) imprint of $R\gtrsim 100~h^{-1}{\rm Mpc}$ super-structures is sourced by evolving large-scale potentials due to a dominant dark energy component in the $\Lambda$CDM model. The aspect that makes the ISW effect distinctly interesting is the repeated observation of stronger-than-expected imprints from supervoids at $z\lesssim0.9$. Here we analyze the un-probed key redshift range $0.8<z<2.2$ where the ISW signal is expected to fade in $\Lambda$CDM, due to a weakening dark energy component, and eventually become consistent with zero in the matter dominated epoch. On the contrary, alternative cosmological models, proposed to explain the excess low-$z$ ISW signals, predicted a sign-change in the ISW effect at $z\approx1.5$ due to the possible growth of large-scale potentials that is absent in the standard model. To discriminate, we estimated the high-$z$ $\Lambda$CDM ISW signal using the Millennium XXL mock catalogue, and compared it to our measurements from about 800 supervoids identified in the eBOSS DR16 quasar catalogue. At $0.8<z<1.2$, we found an excess ISW signal with $A_\mathrm{ ISW}\approx3.6\pm2.1$ amplitude. The signal is then consistent with the $\Lambda$CDM expectation ($A_\mathrm{ ISW}=1$) at $1.2<z<1.5$ where the standard and alternative models predict similar amplitudes. Most interestingly, we also detected an opposite-sign ISW signal at $1.5<z<2.2$ that is in $2.7\sigma$ tension with the $\Lambda$CDM prediction. Taken at face value, these moderately significant detections of ISW anomalies suggest an alternative growth rate of structure in low-density environments at $\sim100~h^{-1}{\rm Mpc}$ scales.


title: Chaos in Nonlinear Random Walks with Non-Monotonic Transition Probabilities

abstract: Random walks serve as important tools for studying complex network structures, yet their dynamics in cases where transition probabilities are not static remain under explored and poorly understood. Here we study nonlinear random walks that occur when transition probabilities depend on the state of the system. We show that when these transition probabilities are non-monotonic, i.e., are not uniformly biased towards the most densely or sparsely populated nodes, but rather direct random walkers with more nuance, chaotic dynamics emerge. Using multiple transition probability functions and a range of networks with different connectivity properties, we demonstrate that this phenomenon is generic. Thus, when such non-monotonic properties are key ingredients in nonlinear transport applications complicated and unpredictable behaviors may result.


title: Phase coherent excitation of SABRE permits simultaneous hyperpolarization of multiple targets at high magnetic field

abstract: Hyperpolarization methods in magnetic resonance overcome sensitivity limitations, especially for low-{\gamma} nuclei such as 13C and 15N. Signal Amplification By Reversible Exchange (SABRE) and extended SABRE (X-SABRE) are efficient and low-cost methods for generating large polarizations on a variety of nuclei, but they most commonly use low magnetic fields ({\mu}T-mT). High field approaches, where hyperpolarization is generated directly in the spectrometer, are potentially much more convenient but have been limited to selectively hyperpolarize single targets. Here we introduce a new pulse sequence-based approach that affords broadband excitation of SABRE hyperpolarization at high magnetic fields without having to tailor pulse sequence parameters to specific targets. This permits simultaneous hyperpolarization of multiple targets for the first time at high field and offers a direct approach to integration of high-field SABRE hyperpolarization into routine NMR applications, such as NMR-based metabonomics and biomolecular NMR.


title: Energy gain in a two-gap RF cavity

abstract: Velocity of a deeply non-relativistic particle can change during its acceleration inside an RF cavity significantly enough to cause a deviation of the energy gain from a linear model. This paper derives formulae for corrections to the energy gain in a two-gap RF cavity calculated by taking into account this velocity change in the next approximation. Then, the results are compared with direct particle tracking of an HWR cavity used at the PIP2IT test accelerator. The formulae significantly extend the range of parameters where analytical calculations work with a good accuracy. The approach is applied to two aspects of cavity phasing.


title: K-flat complexes and derived categories

abstract: Let $R$ be a ring with identity. Inspired by recent work of Emmanouil, we show that the derived category of $R$ is equivalent to the chain homotopy category of all K-flat complexes with pure-injective components. This is implicitly related to a recollement we exhibit. It expresses $\mathcal{D}_{pur}(R)$, the pure derived category of $R$, as an attachment of the usual derived category $\mathcal{D}(R)$ with Emmanouil's quotient category $\mathcal{D}_{K-flat}(R):=K(R)/K-Flat$, which here we call the K-flat derived category. It follows that this Verdier quotient is a compactly generated triangulated category. We obtain our results by using methods of cotorsion pairs to construct (cofibrantly generated) monoidal abelian model structures on the exact category of chain complexes along with the degreewise pure exact structure. In fact, most of our model structures are obtained as corollaries of a general method which associates an abelian model structure to any class of so-called $\mathcal{C}$-acyclic complexes, where $\mathcal{C}$ is any given class of chain complexes. Finally, we also give a new characterization of K-flat complexes in terms of the pure derived category of $R$.


title: On the topology of the transversal slice of a quasi-homogeneous map germ

abstract: We consider a corank $1$, finitely determined, quasi-homogeneous map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. We describe the embedded topological type of a generic hyperplane section of $f(\mathbb{C}^2)$, denoted by $\gamma_f$, in terms of the weights and degrees of $f$. As a consequence, a necessary condition for a corank $1$ finitely determined map germ $g:(\mathbb{C}^2,0)\rightarrow (\mathbb{C}^3,0)$ to be quasi-homogeneous is that the plane curve $\gamma_g$ has either two or three characteristic exponents. As an application of our main result, we also show that any one-parameter unfolding $F=(f_t,t)$ of $f$ which adds only terms of the same degrees as the degrees of $f$ is Whitney equisingular.


title: Titchmarsh theorems, Hausdorff-Young-Paley inequality and $L^p$-$L^q$ boundedness of Fourier multipliers on harmonic $NA$ groups

abstract: In this paper we extend classical Titchmarsh theorems on the Fourier transform of H$\ddot{\text{o}}$lder-Lipschitz functions to the setting of harmonic $NA$ groups, which relate smoothness properties of functions to the growth and integrability of their Fourier transform. We prove a Fourier multiplier theorem for $L^2$-H$\ddot{\text{o}}$lder-Lipschitz spaces on Harmonic $NA$ groups. We also derive conditions and a characterisation of Dini-Lipschitz classes on Harmonic $NA$ groups in terms of the behaviour of their Fourier transform. Then, we shift our attention to the spherical analysis on Harmonic $NA$ group. Since the spherical analysis on these groups fits well in the setting of Jacobi analysis we prefer to work in the Jacobi setting. We prove $L^p$-$L^q$ boundedness of Fourier multipliers by extending a classical theorem of H$\ddot{\text{o}}$rmander to the Jacobi analysis setting. On the way to accomplish this classical result we prove Paley-type inequality and Hausdorff-Young-Paley inequality. We also establish $L^p$-$L^q$ boundedness of spectral multipliers of the Jacobi Laplacian.


title: A Case Study on Sampling Strategies for Evaluating Neural Sequential Item Recommendation Models

abstract: At the present time, sequential item recommendation models are compared by calculating metrics on a small item subset (target set) to speed up computation. The target set contains the relevant item and a set of negative items that are sampled from the full item set. Two well-known strategies to sample negative items are uniform random sampling and sampling by popularity to better approximate the item frequency distribution in the dataset. Most recently published papers on sequential item recommendation rely on sampling by popularity to compare the evaluated models. However, recent work has already shown that an evaluation with uniform random sampling may not be consistent with the full ranking, that is, the model ranking obtained by evaluating a metric using the full item set as target set, which raises the question whether the ranking obtained by sampling by popularity is equal to the full ranking. In this work, we re-evaluate current state-of-the-art sequential recommender models from the point of view, whether these sampling strategies have an impact on the final ranking of the models. We therefore train four recently proposed sequential recommendation models on five widely known datasets. For each dataset and model, we employ three evaluation strategies. First, we compute the full model ranking. Then we evaluate all models on a target set sampled by the two different sampling strategies, uniform random sampling and sampling by popularity with the commonly used target set size of 100, compute the model ranking for each strategy and compare them with each other. Additionally, we vary the size of the sampled target set. Overall, we find that both sampling strategies can produce inconsistent rankings compared with the full ranking of the models. Furthermore, both sampling by popularity and uniform random sampling do not consistently produce the same ranking ...


title: MixFaceNets: Extremely Efficient Face Recognition Networks

abstract: In this paper, we present a set of extremely efficient and high throughput models for accurate face verification, MixFaceNets which are inspired by Mixed Depthwise Convolutional Kernels. Extensive experiment evaluations on Label Face in the Wild (LFW), Age-DB, MegaFace, and IARPA Janus Benchmarks IJB-B and IJB-C datasets have shown the effectiveness of our MixFaceNets for applications requiring extremely low computational complexity. Under the same level of computation complexity (< 500M FLOPs), our MixFaceNets outperform MobileFaceNets on all the evaluated datasets, achieving 99.60% accuracy on LFW, 97.05% accuracy on AgeDB-30, 93.60 TAR (at FAR1e-6) on MegaFace, 90.94 TAR (at FAR1e-4) on IJB-B and 93.08 TAR (at FAR1e-4) on IJB-C. With computational complexity between 500M and 1G FLOPs, our MixFaceNets achieved results comparable to the top-ranked models, while using significantly fewer FLOPs and less computation overhead, which proves the practical value of our proposed MixFaceNets. All training codes, pre-trained models, and training logs have been made available https://github.com/fdbtrs/mixfacenets.


title: RingBFT: Resilient Consensus over Sharded Ring Topology

abstract: The recent surge in federated data management applications has brought forth concerns about the security of underlying data and the consistency of replicas in the presence of malicious attacks. A prominent solution in this direction is to employ a permissioned blockchain framework that is modeled around traditional Byzantine Fault-Tolerant (BFT) consensus protocols. Any federated application expects its data to be globally scattered to achieve faster access. But, prior works have shown that traditional BFT protocols are slow. This has led to the rise of sharded-replicated blockchains. Existing BFT protocols for these sharded blockchains are efficient if client transactions require access to a single-shard, but face performance degradation if there is a cross-shard transaction that requires access to multiple shards. As cross-shard transactions are common, to resolve this dilemma, we present RingBFT, a novel meta-BFT protocol for sharded blockchains. RingBFT requires shards to adhere to the ring order, and follow the principle of process, forward, and re-transmit while ensuring the communication between shards is linear. Our evaluation of RingBFT against state-of-the-art sharding BFT protocols illustrates that RingBFT achieves up to 18x higher throughput, gracefully scales to nearly 500 globally distributed nodes, and achieves a peak throughput of 1.2 million transactions per second.


title: Whole Slide Images are 2D Point Clouds: Context-Aware Survival Prediction using Patch-based Graph Convolutional Networks

abstract: Cancer prognostication is a challenging task in computational pathology that requires context-aware representations of histology features to adequately infer patient survival. Despite the advancements made in weakly-supervised deep learning, many approaches are not context-aware and are unable to model important morphological feature interactions between cell identities and tissue types that are prognostic for patient survival. In this work, we present Patch-GCN, a context-aware, spatially-resolved patch-based graph convolutional network that hierarchically aggregates instance-level histology features to model local- and global-level topological structures in the tumor microenvironment. We validate Patch-GCN with 4,370 gigapixel WSIs across five different cancer types from the Cancer Genome Atlas (TCGA), and demonstrate that Patch-GCN outperforms all prior weakly-supervised approaches by 3.58-9.46%. Our code and corresponding models are publicly available at https://github.com/mahmoodlab/Patch-GCN.


title: Star Cluster Classification in the PHANGS-HST Survey: Comparison between Human and Machine Learning Approaches

abstract: When completed, the PHANGS-HST project will provide a census of roughly 50,000 compact star clusters and associations, as well as human morphological classifications for roughly 20,000 of those objects. These large numbers motivated the development of a more objective and repeatable method to help perform source classifications. In this paper we consider the results for five PHANGS-HST galaxies (NGC 628, NGC 1433, NGC 1566, NGC 3351, NGC 3627) using classifications from two convolutional neural network architectures (RESNET and VGG) trained using deep transfer learning techniques. The results are compared to classifications performed by humans. The primary result is that the neural network classifications are comparable in quality to the human classifications with typical agreement around 70 to 80$\%$ for Class 1 clusters (symmetric, centrally concentrated) and 40 to 70$\%$ for Class 2 clusters (asymmetric, centrally concentrated). If Class 1 and 2 are considered together the agreement is 82 $\pm$ 3$\%$. Dependencies on magnitudes, crowding, and background surface brightness are examined. A detailed description of the criteria and methodology used for the human classifications is included along with an examination of systematic differences between PHANGS-HST and LEGUS. The distribution of data points in a colour-colour diagram is used as a 'figure of merit' to further test the relative performances of the different methods. The effects on science results (e.g., determinations of mass and age functions) of using different cluster classification methods are examined and found to be minimal.


title: Sensitivity estimates for diffuse, point-like and extended neutrino sources with KM3NeT/ARCA

abstract: The identification of cosmic objects emitting high energy neutrinos could provide new insights about the Universe and its active sources. The existence of these cosmic neutrinos has been proven by the IceCube collaboration, but the big question of which sources these neutrinos originate from, remains unanswered. The KM3NeT detector for Astroparticle Research with Cosmics in the Abyss (ARCA), with a cubic kilometer instrumented volume, is currently being built in the Mediterranean Sea. It will excel at identifying cosmic neutrino sources due to its unprecedented angular resolution for muon neutrinos (< 0.2 degree for E > 10 TeV events). KM3NeT has a view of the sky complementary to IceCube, and is sensitive to neutrinos across a wide range of energies. In order to identify the signature of cosmic neutrino sources in the background of atmospheric neutrinos and muons, statistical methods are being developed and tested with Monte-Carlo pseudo experiments. This contribution presents the most recent sensitivity estimates for diffuse, point-like and extended neutrino sources with KM3NeT/ARCA.


title: A combinatorial approach to counting primitive periodic and primitive pseudo orbits on circulant graphs

abstract: For families of 4-regular directed circulant graphs with $n$ vertices, we count the number of primitive periodic orbits of length up to at least $n$. The relevant counting techniques are then extended to count the number of primitive pseudo orbits (sets of distinct primitive periodic orbits) of length up to at least $n$ that lack self-intersections, or that self-intersect only at individual vertices repeated exactly twice (2-encounters of length zero), for two particular families of 4-regular directed circulant graphs. We then regard these two families of graphs as families of quantum graphs and use the counting results to compute the variance of the coefficients of the quantum graph's characteristic polynomial.


title: Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search

abstract: Graph-based algorithms have shown great empirical potential for the approximate nearest neighbor (ANN) search problem. Currently, graph-based ANN search algorithms are designed mainly using heuristics, whereas theoretical analysis of such algorithms is quite lacking. In this paper, we study a fundamental model of proximity graphs used in graph-based ANN search, called Monotonic Relative Neighborhood Graph (MRNG), from a theoretical perspective. We use mathematical proofs to explain why proximity graphs that are built based on MRNG tend to have good searching performance. We also run experiments on MRNG and graphs generalizing MRNG to obtain a deeper understanding of the model. Our experiments give guidance on how to approximate and generalize MRNG to build proximity graphs on a large scale. In addition, we discover and study a hidden structure of MRNG called conflicting nodes, and we give theoretical evidence how conflicting nodes could be used to improve ANN search methods that are based on MRNG.


title: A Highly Linear and Flexible FPGA-Based Time-to-Digital Converter

abstract: Time-to-Digital Converters (TDCs) are major components for the measurements of time intervals. Recent developments in Field-Programmable Gate Array (FPGA) have enabled the opportunity to implement high-performance TDCs, which were only possible using dedicated hardware. In order to eliminate empty histogram bins and achieve a higher level of linearity, FPGA-based TDCs typically apply compensation methods either using multiple delay lines consuming more resources or post-processing, leading to a permanent loss of temporal information. We propose a novel TDC with a single delay line and without compensation to realize a highly linear TDC by encoding the states of the delay lines instead of the thermometer code used in the conventional TDCs. The experimental results show our states-based approach achieves an improved Differential Non-Linearity (DNL) of [-0.998, -1.533] for time resolution of 5.00 ps, [-0.44,0.49] for 10.04 ps, [-0.16, 0.19] for 21.65 ps, [-0.10, 0.11] for 43.87 ps, [-0.06, 0.07] for 64.12 ps, and [-0.07, 0.05] for 87.73 ps, whilst no empty bins have been observed. To our knowledge, the achieved raw linearity together with the zero empty bins and a simple delay line structure exceeds previously reported of the FPGA-based TDCs.


title: Exceeding the Limits of Visual-Linguistic Multi-Task Learning

abstract: By leveraging large amounts of product data collected across hundreds of live e-commerce websites, we construct 1000 unique classification tasks that share similarly-structured input data, comprised of both text and images. These classification tasks focus on learning the product hierarchy of different e-commerce websites, causing many of them to be correlated. Adopting a multi-modal transformer model, we solve these tasks in unison using multi-task learning (MTL). Extensive experiments are presented over an initial 100-task dataset to reveal best practices for "large-scale MTL" (i.e., MTL with more than 100 tasks). From these experiments, a final, unified methodology is derived, which is composed of both best practices and new proposals such as DyPa, a simple heuristic for automatically allocating task-specific parameters to tasks that could benefit from extra capacity. Using our large-scale MTL methodology, we successfully train a single model across all 1000 tasks in our dataset while using minimal task specific parameters, thereby showing that it is possible to extend several orders of magnitude beyond current efforts in MTL.


title: Thrust Direction Control of an Underactuated Oscillating Swimming Robot

abstract: The Modboat is an autonomous surface robot that turns the oscillation of a single motor into a controlled paddling motion through passive flippers. Inertial control methods developed in prior work can successfully drive the Modboat along trajectories and enable docking to neighboring modules, but have a non-constant cycle time and cannot react to dynamic environments. In this work we present a thrust direction control method for the Modboat that significantly improves the time-response of the system and increases the accuracy with which it can be controlled. We experimentally demonstrate that this method can be used to perform more compact maneuvers than prior methods or comparable robots can. We also present an extension to the controller that solves the reaction wheel problem of unbounded actuator velocity, and show that it further improves performance.


title: Practical Treatment of Singlet Oxygen with Density-Functional Theory and the Multiplet-Sum Method

abstract: Singlet oxygen (O2) comes in two flavors -- namely the dominant lower-energy a 1 Delta g state and the higher-energy shorter-lived b 1 Sigma + g state -- and plays a key role in many photochemical and photobiological reactions. For this reason, and because of the large size of the systems treated, many papers have appeared with density-functional theory (DFT) treatments of the reactions of 1 O 2 with different chemical species. The present work serves as a reminder that the common assumption that it is enough to fix the spin multipicity as unity is not enough to insure a correct treatment of singlet oxygen. We review the correct group theoretical treatment of the three lowest energy electronic states of O 2 which, in the case of 1 O 2 is often so badly explained in the relevant photochemical literature that the explanation borders on being incorrect and prevents, rather than encourages, a correct treatment of this interesting and important photochemical species. We then show how many electronic structure programs, such as a freely downloadable and personal-computer compatible Linux version of deMon2k, may be used, together with the multiplet sum method (MSM), to obtain a more accurate estimation of the potential energy curves (PECs) of the two 1 O 2 states. Various strengths and weaknesses of different DFAs emerge through our application of the MSM method. In particular, the quality of the a 1 Delta g excitation energy reflects how well functionals are able to describe the spin-flip energy in DFT while the quality of the b 1 Sigma + g excitation energy reflects how well functionals are able to describe the spin-pairing energy in DFT. Finally we note that improvements in DFT-based excited-state methods will be needed to describe the full PECs of 1 O 2 including both the equilibrium bond lengths and dissociation behavior.


title: Neuromorphic scaling advantages for energy-efficient random walk computation

abstract: Computing stands to be radically improved by neuromorphic computing (NMC) approaches inspired by the brain's incredible efficiency and capabilities. Most NMC research, which aims to replicate the brain's computational structure and architecture in man-made hardware, has focused on artificial intelligence; however, less explored is whether this brain-inspired hardware can provide value beyond cognitive tasks. We demonstrate that high-degree parallelism and configurability of spiking neuromorphic architectures makes them well-suited to implement random walks via discrete time Markov chains. Such random walks are useful in Monte Carlo methods, which represent a fundamental computational tool for solving a wide range of numerical computing tasks. Additionally, we show how the mathematical basis for a probabilistic solution involving a class of stochastic differential equations can leverage those simulations to provide solutions for a range of broadly applicable computational tasks. Despite being in an early development stage, we find that NMC platforms, at a sufficient scale, can drastically reduce the energy demands of high-performance computing (HPC) platforms.


title: On-Demand Delivery from Stores: Dynamic Dispatching and Routing with Random Demand

abstract: On-demand delivery has become increasingly popular around the world. Motivated by a large grocery chain store who offers fast on-demand delivery services, we model and solve a stochastic dynamic driver dispatching and routing problem for last-mile delivery systems where on-time performance is the main target. The system operator needs to dispatch a set of drivers and specify their delivery routes facing random demand that arrives over a fixed number of periods. The resulting stochastic dynamic program is challenging to solve due to the curse of dimensionality. We propose a novel structured approximation framework to approximate the value function via a parametrized dispatching and routing policy. We analyze the structural properties of the approximation framework and establish its performance guarantee under large-demand scenarios. We then develop efficient exact algorithms for the approximation problem based on Benders decomposition and column generation, which deliver verifiably optimal solutions within minutes. The evaluation results on a real-world data set show that our framework outperforms the current policy of the company by 36.53% on average in terms of delivery time. We also perform several policy experiments to understand the value of dynamic dispatching and routing with varying fleet sizes and dispatch frequencies.


title: Explicit Pairwise Factorized Graph Neural Network for Semi-Supervised Node Classification

abstract: Node features and structural information of a graph are both crucial for semi-supervised node classification problems. A variety of graph neural network (GNN) based approaches have been proposed to tackle these problems, which typically determine output labels through feature aggregation. This can be problematic, as it implies conditional independence of output nodes given hidden representations, despite their direct connections in the graph. To learn the direct influence among output nodes in a graph, we propose the Explicit Pairwise Factorized Graph Neural Network (EPFGNN), which models the whole graph as a partially observed Markov Random Field. It contains explicit pairwise factors to model output-output relations and uses a GNN backbone to model input-output relations. To balance model complexity and expressivity, the pairwise factors have a shared component and a separate scaling coefficient for each edge. We apply the EM algorithm to train our model, and utilize a star-shaped piecewise likelihood for the tractable surrogate objective. We conduct experiments on various datasets, which shows that our model can effectively improve the performance for semi-supervised node classification on graphs.


title: Comments on Slavnov products, Temperley-Lieb open spin chains, and KP tau functions

abstract: We study Slavnov's inner products for open Temperley-Lieb chains and their relations with the KP hierarchy. We show that when (s=1/2) the quantum group invariant XXZ spin chain has Slavnov products given by the quotient of tau functions. The Schur polynomials expansion and a matrix construction for the Baker-Akhiezer functions are also briefly considered.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: On the entire functions from the Laguerre-P\'olya I class with non-monotonic second quotients of Taylor coefficients

abstract: We study the entire functions $f(z) = \sum_{k=0}^\infty a_k z^k, a_k>0,$ with non-monotonic second quotients of Taylor coefficients, namely, such that $\frac{a_{2m-1}^2}{a_{2m-2}a_{2m}} = a>1$ and $\frac{a_{2m}^2}{a_{2m-1}a_{2m+1}} = b>1$ for all $m \in \mathbb{N}.$ We obtain necessary and sufficient conditions under which such functions belong to the Laguerre-P\'olya I class.


title: A General-Purpose, Inelastic, Rotation-Free Kirchhoff-Love Shell Formulation for Peridynamics

abstract: We present a comprehensive rotation-free Kirchhoff-Love (KL) shell formulation for peridynamics (PD) that is capable of modeling large elasto-plastic deformations and fracture in thin-walled structures. To remove the need for a predefined global parametric domain, Principal Component Analysis is employed in a meshfree setting to develop a local parameterization of the shell midsurface. The KL shell kinematics is utilized to develop a correspondence-based PD formulation. A bond-stabilization technique is employed to naturally achieve stability of the discrete solution. Only the mid-surface velocity degrees of freedom are used in the governing thin-shell equations. 3D rate-form material models are employed to enable simulating a wide range of material behavior. A bond-associative damage correspondence modeling approach is adopted to use classical failure criteria at the bond level, which readily enables the simulation of brittle and ductile fracture. \NAT{Discretizing the model with asymptotically compatible meshfree approximation provides a scheme which converges to the classical KL shell model while providing an accurate and flexible framework for treating fracture.} A wide range of numerical examples, ranging from elastostatics to problems involving plasticity, fracture, and fragmentation, are conducted to validate the accuracy, convergence, and robustness of the developed PD thin-shell formulation. It is also worth noting that the present method naturally enables the discretization of a shell theory requiring higher-order smoothness on a completely unstructured surface mesh.


title: A strawberry harvest-aiding system with crop-transport co-robots: Design, development, and field evaluation

abstract: Mechanizing the manual harvesting of fresh market fruits constitutes one of the biggest challenges to the sustainability of the fruit industry. During manual harvesting of some fresh-market crops like strawberries and table grapes, pickers spend significant amounts of time walking to carry full trays to a collection station at the edge of the field. A step toward increasing harvest automation for such crops is to deploy harvest-aid collaborative robots (co-bots) that transport the empty and full trays, thus increasing harvest efficiency by reducing pickers' non-productive walking times. This work presents the development of a co-robotic harvest-aid system and its evaluation during commercial strawberry harvesting. At the heart of the system lies a predictive stochastic scheduling algorithm that minimizes the expected non-picking time, thus maximizing the harvest efficiency. During the evaluation experiments, the co-robots improved the mean harvesting efficiency by around 10% and reduced the mean non-productive time by 60%, when the robot-to-picker ratio was 1:3. The concepts developed in this work can be applied to robotic harvest-aids for other manually harvested crops that involve walking for crop transportation.


title: Conducting lines -- drawable conductors as a source of active learning activities

abstract: Drawable electronics attract the attention of both educators and innovative circuit engineers due to their affordability and simplicity. This paper focuses on active learning activities related to conducting lines and presents extensible laboratory projects suitable for students of all levels -- from late primary school pupils to early undergraduate students. We build on ideas of Pouillet's law classroom demonstrations with pencil drawings on paper and continue with a line, circle and grid drawings and appropriate resistance measurements. These are used as methodological examples of drawable circuits suitable for learning about resistors in series, parallel and mixed combinations. Particularly, grid drawings, e.g. mixed circuits, offer a variety of exercises that can connect analytical and experimental approaches and instigate discussions about assessments of uncertainty. Along the way, we propose ideas for extracurricular projects students can undertake to further their experimental knowledge and practise the scientific method.


title: The Poissonian Origin of Power Laws in Solar Flare Waiting Time Distributions

abstract: In this study we aim for a deeper understanding of the power law slope, $\alpha$, of waiting time distributions. Statistically independent events with linear behavior can be characterized by binomial, Gaussian, exponential, or Poissonian size distribution functions. In contrast, physical processes with nonlinear behavior exhibit spatio-temporal coherence (or memory) and "fat tails" in their size distributions that fit power law-like functions, as a consequence of the time variability of the mean event rate, as demonstrated by means of Bayesian block decomposition in the work of Wheatland et al.~(1998). In this study we conduct numerical simulations of waiting time distributions $N(\tau)$ in a large parameter space for various (polynomial, sinusoidal, Gaussian) event rate functions $\lambda(t)$, parameterized with an exponent $p$ that expresses the degree of the polynomial function $\lambda(t) \propto t^p$. We derive an analytical exact solution of the waiting time distribution function in terms of the incomplete gamma function, which is similar to a Pareto type-II function and has a power law slope of $\alpha = 2 + 1/p$, in the asymptotic limit of large waiting times. Numerically simulated random distributions reproduce this theoretical prediction accurately. Numerical simulations in the nonlinear regime ($p \ge 2$) predict power law slopes in the range of $2.0 \le \alpha \le 2.5$. The self-organized criticality model yields a prediction of $\alpha=2$. Observations of solar flares and coronal mass ejections (over at least a half solar cycle) are found in the range of $\alpha_{obs} \approx 2.1-2.4$. Deviations from strict power law functions are expected due to the variability of the flare event rate $\lambda(t)$, and deviations from theoretically predicted slope values $\alpha$ occur due to the Poissonian weighting bias of power law fits.


title: Removing Operational Friction Using Process Mining: Challenges Provided by the Internet of Production (IoP)

abstract: Operational processes in production, logistics, material handling, maintenance, etc., are supported by cyber-physical systems combining hardware and software components. As a result, the digital and the physical world are closely aligned, and it is possible to track operational processes in detail (e.g., using sensors). The abundance of event data generated by today's operational processes provides opportunities and challenges for process mining techniques supporting process discovery, performance analysis, and conformance checking. Using existing process mining tools, it is already possible to automatically discover process models and uncover performance and compliance problems. In the DFG-funded Cluster of Excellence "Internet of Production" (IoP), process mining is used to create "digital shadows" to improve a wide variety of operational processes. However, operational processes are dynamic, distributed, and complex. Driven by the challenges identified in the IoP cluster, we work on novel techniques for comparative process mining (comparing process variants for different products at different locations at different times), object-centric process mining (to handle processes involving different types of objects that interact), and forward-looking process mining (to explore "What if?" questions). By addressing these challenges, we aim to develop valuable "digital shadows" that can be used to remove operational friction.


title: A Deep Learning Algorithm for Piecewise Linear Interface Construction (PLIC)

abstract: Piecewise Linear Interface Construction (PLIC) is frequently used to geometrically reconstruct fluid interfaces in Computational Fluid Dynamics (CFD) modeling of two-phase flows. PLIC reconstructs interfaces from a scalar field that represents the volume fraction of each phase in each computational cell. Given the volume fraction and interface normal, the location of a linear interface is uniquely defined. For a cubic computational cell (3D), the position of the planar interface is determined by intersecting the cube with a plane, such that the volume of the resulting truncated polyhedron cell is equal to the volume fraction. Yet it is geometrically complex to find the exact position of the plane, and it involves calculations that can be a computational bottleneck of many CFD models. However, while the forward problem of 3D PLIC is challenging, the inverse problem, of finding the volume of the truncated polyhedron cell given a defined plane, is simple. In this work, we propose a deep learning model for the solution to the forward problem of PLIC by only making use of its inverse problem. The proposed model is up to several orders of magnitude faster than traditional schemes, which significantly reduces the computational bottleneck of PLIC in CFD simulations.


title: End-to-End Balancing for Causal Continuous Treatment-Effect Estimation

abstract: We study the problem of observational causal inference with continuous treatments in the framework of inverse propensity-score weighting. To obtain stable weights, we design a new algorithm based on entropy balancing that learns weights to directly maximize causal inference accuracy using end-to-end optimization. In the process of optimization, these weights are automatically tuned to the specific dataset and causal inference algorithm being used. We provide a theoretical analysis demonstrating consistency of our approach. Using synthetic and real-world data, we show that our algorithm estimates causal effect more accurately than baseline entropy balancing.


title: Tensor diagrams and cluster combinatorics at punctures

abstract: Fock and Goncharov introduced a family of cluster algebras associated with the moduli of SL(k)-local systems on a marked surface with extra decorations at marked points. We study this family from an algebraic and combinatorial perspective, emphasizing the structures which arise when the surface has punctures. When k is 2, these structures are the tagged arcs and tagged triangulations of Fomin, Shapiro, and Thurston. For higher k, the tagging of arcs is replaced by a Weyl group action at punctures discovered by Goncharov and Shen. We pursue a higher analogue of a tagged triangulation in the language of tensor diagrams, extending work of Fomin and the second author, and we formulate skein-algebraic tools for calculating in these cluster algebras. We analyze the finite mutation type examples in detail.


title: An Aggregation Scheme for Increased Power

abstract: We present an aggregation scheme that increases power in randomized controlled trials and quasi-experiments when the intervention possesses a robust and well-articulated theory of change. Longitudinal data analyzing interventions often include multiple observations on individuals, some of which may be more likely to manifest a treatment effect than others. An intervention's theory of change provides guidance as to which of those observations are best situated to exhibit that treatment effect. Our power-maximizing weighting for repeated-measurements with delayed-effects scheme, PWRD aggregation, converts the theory of change into a test statistic with improved asymptotic relative efficiency, delivering tests with greater statistical power. We illustrate this method on an IES-funded cluster randomized trial testing the efficacy of a reading intervention designed to assist early elementary students at risk of falling behind their peers. The salient theory of change holds program benefits to be delayed and non-uniform, experienced after a student's performance stalls. In this instance, the PWRD technique's effect on power is found to be comparable to that of doubling the number of clusters in the experiment.


title: Semi-Streaming Algorithms for Submodular Function Maximization Under b-Matching, Matroid, and Matchoid Constraints

abstract: We consider the problem of maximizing a non-negative submodular function under the $b$-matching constraint, in the semi-streaming model. When the function is linear, monotone, and non-monotone, we obtain the approximation ratios of $2+\varepsilon$, $3 + 2 \sqrt{2} \approx 5.828$, and $4 + 2 \sqrt{3} \approx 7.464$, respectively. We also consider a generalized problem, where a $k$-uniform hypergraph is given, along with an extra matroid or a $k'$-matchoid constraint imposed on the edges, with the same goal of finding a $b$-matching that maximizes a submodular function. When the extra constraint is a matroid, we obtain the approximation ratios of $k + 1 + \varepsilon$, $k + 2\sqrt{k+1} + 2$, and $k + 2\sqrt{k + 2} + 3$ for linear, monotone and non-monotone submodular functions, respectively. When the extra constraint is a $k'$-matchoid, we attain the approximation ratio $\frac{8}{3}k+ \frac{64}{9}k' + O(1)$ for general submodular functions.


title: The Probabilistic Termination Tool Amber

abstract: We describe the Amber tool for proving and refuting the termination of a class of probabilistic while-programs with polynomial arithmetic, in a fully automated manner. Amber combines martingale theory with properties of asymptotic bounding functions and implements relaxed versions of existing probabilistic termination proof rules to prove/disprove (positive) almost sure termination of probabilistic loops. Amber supports programs parameterized by symbolic constants and drawing from common probability distributions. Our experimental comparisons give practical evidence of Amber outperforming existing state-of-the-art tools.


title: Loss of New Ideas: Potentially Long-lasting Effects of the Pandemic on Scientists

abstract: Extensive research has documented the immediate impacts of the COVID-19 pandemic on scientists, yet it remains unclear if and how such impacts have shifted over time. Here we compare results from two surveys of principal investigators, conducted between April 2020 and January 2021, along with analyses of large-scale publication data. We find that there has been a clear sign of recovery in some regards, as scientists' time spent on their work has almost returned to pre-pandemic levels. However, the latest data also reveals a new dimension in which the pandemic is affecting the scientific workforce: the rate of initiating new research projects. Except for the small fraction of scientists who directly engaged in COVID-related research, most scientists started significantly fewer new research projects in 2020. This decline is most pronounced amongst the same demographic groups of scientists who reported the largest initial disruptions: female scientists and those with young children. Yet in sharp contrast to the earlier phase of the pandemic, when there were large disparities across scientific fields, this loss of new projects appears remarkably homogeneous across fields. Analyses of large-scale publication data reveal a global decline in the rate of new collaborations, especially in non-COVID-related preprints, which is consistent with the reported decline in new projects. Overall, these findings highlight that, while the end of the pandemic may appear in sight in some countries, its large and unequal impact on the scientific workforce may be enduring, which may have broad implications for inequality and the long-term vitality of science.


title: Toward AI Assistants That Let Designers Design

abstract: AI for supporting designers needs to be rethought. It should aim to cooperate, not automate, by supporting and leveraging the creativity and problem-solving of designers. The challenge for such AI is how to infer designers' goals and then help them without being needlessly disruptive. We present AI-assisted design: a framework for creating such AI, built around generative user models which enable reasoning about designers' goals, reasoning, and capabilities.


title: Modeling the systematic behavior at the micro and nano length scale

abstract: The brisk progression of the industrial digital innovation, leading to high degree of automation and big data transfer in manufacturing technologies, demands continuous development of appropriate off-line metrology methods to support processes' quality with a tolerable assessment of the measurement uncertainty. On the one hand specific-area references propose methods that are not yet well optimized to the changed background, and on the other, international general recommendations guide to effective uncertainty evaluation, but suggesting procedures that are not necessarily proven efficient at the micro- and nano-dimensional scale. The well-known GUM approach (i.e. frequentist statistics) was analyzed with the aim to test consistently its applicability to micro/nano dimensional and surface topography measurements. The investigation assessed three different clarifying situations, giving rise to consistent model equations, and to the achievement of the traceability. The choice of the cases provided a number of influence factors, which are typical liabilities at the micro and nano-length scale, and that have been related to the correction of the systematic behavior, viz. the amount of repeated measurements, the time sequence of the acquired micrographs and the instruments used. Such approach allowed the successful implementation of the GUM approach to micro/nano dimensional and topographic measurements, and also the appraisal of the level of efficacy of the method, its application limits and hints on possible future developments.


title: Interactive Storytelling for Children: A Case-study of Design and Development Considerations for Ethical Conversational AI

abstract: Conversational Artificial Intelligence (CAI) systems and Intelligent Personal Assistants (IPA), such as Alexa, Cortana, Google Home and Siri are becoming ubiquitous in our lives, including those of children, the implications of which is receiving increased attention, specifically with respect to the effects of these systems on children's cognitive, social and linguistic development. Recent advances address the implications of CAI with respect to privacy, safety, security, and access. However, there is a need to connect and embed the ethical and technical aspects in the design. Using a case-study of a research and development project focused on the use of CAI in storytelling for children, this paper reflects on the social context within a specific case of technology development, as substantiated and supported by argumentation from within the literature. It describes the decision making process behind the recommendations made on this case for their adoption in the creative industries. Further research that engages with developers and stakeholders in the ethics of storytelling through CAI is highlighted as a matter of urgency.


title: Neural Rule-Execution Tracking Machine For Transformer-Based Text Generation

abstract: Sequence-to-Sequence (S2S) neural text generation models, especially the pre-trained ones (e.g., BART and T5), have exhibited compelling performance on various natural language generation tasks. However, the black-box nature of these models limits their application in tasks where specific rules (e.g., controllable constraints, prior knowledge) need to be executed. Previous works either design specific model structure (e.g., Copy Mechanism corresponding to the rule "the generated output should include certain words in the source input") or implement specialized inference algorithm (e.g., Constrained Beam Search) to execute particular rules through the text generation. These methods require careful design case-by-case and are difficult to support multiple rules concurrently. In this paper, we propose a novel module named Neural Rule-Execution Tracking Machine that can be equipped into various transformer-based generators to leverage multiple rules simultaneously to guide the neural generation model for superior generation performance in a unified and scalable way. Extensive experimental results on several benchmarks verify the effectiveness of our proposed model in both controllable and general text generation.


title: A Payload Optimization Method for Federated Recommender Systems

abstract: We introduce the payload optimization method for federated recommender systems (FRS). In federated learning (FL), the global model payload that is moved between the server and users depends on the number of items to recommend. The model payload grows when there is an increasing number of items. This becomes challenging for an FRS if it is running in production mode. To tackle the payload challenge, we formulated a multi-arm bandit solution that selected part of the global model and transmitted it to all users. The selection process was guided by a novel reward function suitable for FL systems. So far as we are aware, this is the first optimization method that seeks to address item dependent payloads. The method was evaluated using three benchmark recommendation datasets. The empirical validation confirmed that the proposed method outperforms the simpler methods that do not benefit from the bandits for the purpose of item selection. In addition, we have demonstrated the usefulness of our proposed method by rigorously evaluating the effects of a payload reduction on the recommendation performance degradation. Our method achieved up to a 90\% reduction in model payload, yielding only a $\sim$4\% - 8\% loss in the recommendation performance for highly sparse datasets


title: Operator NC functions

abstract: We establish a theory of NC functions on a class of von Neumann algebras with a particular direct sum property, e.g. $B(\mathcal{H})$. In contrast to the theory's origins, we do not rely on appealing to results from the matricial case. We prove that the $k^{\text{th}}$ directional derivative of any NC function at a scalar point is a $k$-linear homogeneous polynomial in its directions. Consequences include the fact that NC functions defined on domains containing scalar points can be uniformly approximated by free polynomials as well as realization formulas for NC functions bounded on particular sets, e.g. the non-commutative polydisk and non-commutative row ball.


title: Periodically driven perturbed CFTs: the sine-Gordon model

abstract: We analyze a version of the sine-Gordon model in which the strength of the cosine potential has a periodic dependence on time. This model can be considered as the continuum limit of the many body generalization of the Kapitza pendulum. Based on the perturbed CFT point of view, we develop a truncated conformal space approach (TCSA) to investigate the Floquet quasienergy spectrum. We focus on the effective behaviour for large driving frequencies, which we also derive exactly. Depending on the driving protocol, we can recover the original sine-Gordon model or its two-frequency version. The rich structure of the two-frequency model implies that the time-periodic drive can break integrability, can lead to new states in the spectrum or can result in a phase transition. Our method is applicable for any periodically driven perturbed conformal field theories.


title: Deloopings of Hurwitz spaces

abstract: For a partially multiplicative quandle (PMQ) $\mathcal{Q}$ we consider the topological monoid $\mathring{\mathrm{HM}}(\mathcal{Q})$ of Hurwitz spaces of configurations in the plane with local monodromies in $\mathcal{Q}$. We compute the group completion of $\mathring{\mathrm{HM}}(\mathcal{Q})$: it is the product of the (discrete) enveloping group $\mathcal{G}(\mathcal{Q})$ with a component of the double loop space of the relative Hurwitz space $\mathrm{Hur}_+([0,1]^2,\partial[0,1]^2;\mathcal{Q},G)_{1\!\!\,1}$; here $G$ is any group giving rise, together with $\mathcal{Q}$, to a PMQ-group pair. Assuming further that $\mathcal{Q}$ is finite and rationally Poincare and that $G$ is finite, we compute the rational cohomology ring of $\mathrm{Hur}_+([0,1]^2,\partial[0,1]^2;\mathcal{Q},G)_{1\!\!\,1}$.


title: Normal Approximate Likelihoods to Gravitational Wave Events

abstract: Gravitational wave observations of quasicircular compact binary mergers in principle provide an arbitrarily complex likelihood over eight independent intrinsic parameters: the masses and spins of the two merging objects. In this work, we demonstrate by example that a simple normal approximation over fewer (usually, three) effective dimensions provides a very accurate representation of the likelihood, and allows us to replicate the eight-dimensional posterior over the mass and spin degrees of freedom. Alongside this paper, we provide the parameters for multivariate normal fits for each event published in GWTC-1 and GWTC-2, using the posterior samples from the catalog for each associated release. These normal approximations provide a highly efficient way to characterize gravitational wave observations when combining large numbers of events.


title: Is Object Detection Necessary for Human-Object Interaction Recognition?

abstract: This paper revisits human-object interaction (HOI) recognition at image level without using supervisions of object location and human pose. We name it detection-free HOI recognition, in contrast to the existing detection-supervised approaches which rely on object and keypoint detections to achieve state of the art. With our method, not only the detection supervision is evitable, but superior performance can be achieved by properly using image-text pre-training (such as CLIP) and the proposed Log-Sum-Exp Sign (LSE-Sign) loss function. Specifically, using text embeddings of class labels to initialize the linear classifier is essential for leveraging the CLIP pre-trained image encoder. In addition, LSE-Sign loss facilitates learning from multiple labels on an imbalanced dataset by normalizing gradients over all classes in a softmax format. Surprisingly, our detection-free solution achieves 60.5 mAP on the HICO dataset, outperforming the detection-supervised state of the art by 13.4 mAP


title: Charm-baryon semileptonic decays and the strange $\Lambda^*$ resonances: New insights from lattice QCD

abstract: Understanding the properties of the strange $\Lambda^*$ baryon resonances is a long-standing and fascinating problem. $\Lambda_c$ charm-baryon semileptonic weak decays to these resonances are highly sensitive to their internal structure and can be used to test theoretical models. We have performed the first lattice-QCD computation of the form factors governing $\Lambda_c$ semileptonic decays to a $\Lambda^*$ resonance: the $\Lambda^*(1520)$, which has negative parity and spin $3/2$. Here we present the resulting Standard-Model predictions of the $\Lambda_c\to\Lambda^*(1520)\ell^+\nu_\ell$ differential and integrated decay rates as well as angular observables. Furthermore, by combining the recent BESIII measurement of the $\Lambda_c \to X e^+ \nu_e$ inclusive semipositronic branching fraction [Phys. Rev. Lett. 121, 251801 (2018)] with lattice-QCD predictions of the $\Lambda_c \to \Lambda e^+ \nu_e$, $\Lambda_c \to n e^+ \nu_e$, and $\Lambda_c \to \Lambda^*(1520) e^+ \nu_e$ decay rates, we obtain an upper limit on the sum of the branching fractions to all other semipositronic final states. In particular, this upper limit constrains the $\Lambda_c\to\Lambda^*(1405)e^+ \nu_e$ branching fraction to be very small, which may be another hint for a molecular structure of the $\Lambda^*(1405)$.


title: On Improving the Backjump Level in PB Solvers

abstract: Current PB solvers implement many techniques inspired by the CDCL architecture of modern SAT solvers, so as to benefit from its practical efficiency. However, they also need to deal with the fact that many of the properties leveraged by this architecture are no longer true when considering PB constraints. In this paper, we focus on one of these properties, namely the optimality of the so-called first unique implication point (1-UIP). While it is well known that learning the first assertive clause produced during conflict analysis ensures to perform the highest possible backjump in a SAT solver, we show that there is no such guarantee in the presence of PB constraints. We also introduce and evaluate different approaches designed to improve the backjump level identified during conflict analysis by allowing to continue the analysis after reaching the 1-UIP. Our experiments show that sub-optimal backjumps are fairly common in PB solvers, even though their impact on the solver is not clear.


title: A sharp estimate of the discrepancy of a certain numerical sequence

abstract: We consider a certain equidistributed sequence of rational numbers constructed from the primes. In particular, we determine the sharp convergence rate for the star discrepancy of said sequence. Our arguments are based on well-known discrepancy estimates for inversive congruential pseudorandom numbers together with asymptotic formulae involving prime numbers.


title: DCL: Differential Contrastive Learning for Geometry-Aware Depth Synthesis

abstract: We describe a method for unpaired realistic depth synthesis that learns diverse variations from the real-world depth scans and ensures geometric consistency between the synthetic and synthesized depth. The synthesized realistic depth can then be used to train task-specific networks facilitating label transfer from the synthetic domain. Unlike existing image synthesis pipelines, where geometries are mostly ignored, we treat geometries carried by the depth scans based on their own existence. We propose differential contrastive learning that explicitly enforces the underlying geometric properties to be invariant regarding the real variations been learned. The resulting depth synthesis method is task-agnostic, and we demonstrate the effectiveness of the proposed synthesis method by extensive evaluations on real-world geometric reasoning tasks. The networks trained with the depth synthesized by our method consistently achieve better performance across a wide range of tasks than state of the art, and can even surpass the networks supervised with full real-world annotations when slightly fine-tuned, showing good transferability.


title: Intrinsic synaptic plasticity of ferroelectric field effect transistors for online learning

abstract: Nanoelectronic devices emulating neuro-synaptic functionalities through their intrinsic physics at low operating energies is imperative toward the realization of brain-like neuromorphic computers. In this work, we leverage the non-linear voltage dependent partial polarization switching of a ferroelectric field effect transistor to mimic plasticity characteristics of biological synapses. We provide experimental measurements of the synaptic characteristics for a $28nm$ high-k metal gate technology based device and develop an experimentally calibrated device model for large-scale system performance prediction. Decoupled read-write paths, ultra-low programming energies and the possibility of arranging such devices in a cross-point architecture demonstrate the synaptic efficacy of the device. Our hardware-algorithm co-design analysis reveals that the intrinsic plasticity of the ferroelectric devices has potential to enable unsupervised local learning in edge devices with limited training data.


title: Kaon and pion maximal emission times extraction from the femtoscopy analysis of $5.02 A$ TeV LHC collisions within the integrated hydrokinetic model

abstract: A simple method for the extraction of the times of maximal emission for kaons and pions using the combined fitting of their transverse momentum spectra and the longitudinal interferometry radii dependencies on the pair transverse mass $m_T$ is applied to Pb+Pb collisions at the LHC energy $\sqrt{s_{NN}}=5.02$ TeV. The method is based on the analytical formulas, that were earlier successfully utilized in the studies of Pb+Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV. To test the method, the spectra, radii and particle radiation picture are calculated within the integrated hydrokinetic model (iHKM), that includes all the stages of the matter evolution in high-energy A+A collisions: the system's formation, its thermalization, viscous hydrodynamics evolution, particlization and subsequent hadronic cascade. The model describes and predicts well already published LHC data in "soft physics? kinematic region. Thus, the fitting results for maximal emission times of kaons and pions are compared to the approximate maximal emission time values, estimated based on the emission function plots, obtained in iHKM. The developed simple method is intended for use in experimental analysis of femtoscopy data in relativistic A+A collisions.


title: Policy Gradient Methods Find the Nash Equilibrium in N-player General-sum Linear-quadratic Games

abstract: We consider a general-sum N-player linear-quadratic game with stochastic dynamics over a finite horizon and prove the global convergence of the natural policy gradient method to the Nash equilibrium. In order to prove the convergence of the method, we require a certain amount of noise in the system. We give a condition, essentially a lower bound on the covariance of the noise in terms of the model parameters, in order to guarantee convergence. We illustrate our results with numerical experiments to show that even in situations where the policy gradient method may not converge in the deterministic setting, the addition of noise leads to convergence.


title: Higher central charges and topological boundaries in 2+1-dimensional TQFTs

abstract: A 2+1-dimensional topological quantum field theory (TQFT) may or may not admit topological (gapped) boundary conditions. A famous necessary, but not sufficient, condition for the existence of a topological boundary condition is that the chiral central charge $c_-$ has to vanish. In this paper, we consider conditions associated with "higher" central charges, which have been introduced recently in the math literature. In terms of these new obstructions, we identify necessary and sufficient conditions for the existence of a topological boundary in the case of bosonic, Abelian TQFTs, providing an alternative to the identification of a Lagrangian subgroup. Our proof relies on general aspects of gauging generalized global symmetries. For non-Abelian TQFTs, we give a geometric way of studying topological boundary conditions, and explain certain necessary conditions given again in terms of the higher central charges. Along the way, we find a curious duality in the partition functions of Abelian TQFTs, which begs for an explanation via the 3d-3d correspondence.


title: On Invariance Properties of Entries of Matrix Powers

abstract: A few years ago, Peter Larcombe discovered an amazing property regarding two by two matrices. For any such 2 by 2 matrix A, the ratios of the two anti-diagonal entries is the same for all powers of A. We discuss extensions to higher dimensions, and give a short bijective proof of Larcombe and Eric Fennessey's elegant extension to tri-diagonal matrices of arbitrary dimension. This article is accompanied by a Maple package.


title: Automated Human Cell Classification in Sparse Datasets using Few-Shot Learning

abstract: Classifying and analyzing human cells is a lengthy procedure, often involving a trained professional. In an attempt to expedite this process, an active area of research involves automating cell classification through use of deep learning-based techniques. In practice, a large amount of data is required to accurately train these deep learning models. However, due to the sparse human cell datasets currently available, the performance of these models is typically low. This study investigates the feasibility of using few-shot learning-based techniques to mitigate the data requirements for accurate training. The study is comprised of three parts: First, current state-of-the-art few-shot learning techniques are evaluated on human cell classification. The selected techniques are trained on a non-medical dataset and then tested on two out-of-domain, human cell datasets. The results indicate that, overall, the test accuracy of state-of-the-art techniques decreased by at least 30% when transitioning from a non-medical dataset to a medical dataset. Second, this study evaluates the potential benefits, if any, to varying the backbone architecture and training schemes in current state-of-the-art few-shot learning techniques when used in human cell classification. Even with these variations, the overall test accuracy decreased from 88.66% on non-medical datasets to 44.13% at best on the medical datasets. Third, this study presents future directions for using few-shot learning in human cell classification. In general, few-shot learning in its current state performs poorly on human cell classification. The study proves that attempts to modify existing network architectures are not effective and concludes that future research effort should be focused on improving robustness towards out-of-domain testing using optimization-based or self-supervised few-shot learning techniques.


title: Discrete Lehmann representation of imaginary time Green's functions

abstract: We present an efficient basis for imaginary time Green's functions based on a low rank decomposition of the spectral Lehmann representation. The basis functions are simply a set of well-chosen exponentials, so the corresponding expansion may be thought of as a discrete form of the Lehmann representation using an effective spectral density which is a sum of $\delta$ functions. The basis is determined only by an upper bound on the product $\beta \omega_{\max}$, with $\beta$ the inverse temperature and $\omega_{\max}$ an energy cutoff, and a user-defined error tolerance $\epsilon$. The number $r$ of basis functions scales as $\mathcal{O}\left(\log(\beta \omega_{\max}) \log (1/\epsilon)\right)$. The discrete Lehmann representation of a particular imaginary time Green's function can be recovered by interpolation at a set of $r$ imaginary time nodes. Both the basis functions and the interpolation nodes can be obtained rapidly using standard numerical linear algebra routines. Due to the simple form of the basis, the discrete Lehmann representation of a Green's function can be explicitly transformed to the Matsubara frequency domain, or obtained directly by interpolation on a Matsubara frequency grid. We benchmark the efficiency of the representation on simple cases, and with a high precision solution of the Sachdev-Ye-Kitaev equation at low temperature. We compare our approach with the related intermediate representation method, and introduce an improved algorithm to build the intermediate representation basis and a corresponding sampling grid.


title: Ray-tracing with quantum correlated photons to image a 3D scene

abstract: To capture the 3D information of a scene, conventional techniques often require multiple 2D images of the scene to be captured from different perspectives. In this work we demonstrate the reconstruction of a scene's 3D information through ray-tracing using quantum correlated photon pairs. By capturing the two photons in different image planes using time-tagging cameras and taking advantage of the position, momentum and time correlation of the photons, the photons' propagation trajectory can be reconstructed. With this information on every photon pair, we were able to demonstrate refocusing, depth of field adjustment and parallax visualization of a 3D scene. With future camera advancements, this technique could achieve a much higher momentum resolution than conventional techniques thus giving larger depth of field and more viewing angles. The high photon correlation and low photon flux from a quantum source also makes the technique well suited for 3D imaging of light sensitive samples.


title: Trapping Interlayer Excitons in van der Waals Heterostructures by Potential Arrays

abstract: Transition metal dichalcogenide heterostructures can host interlayer excitons (IXs), which consist of electrons and holes spatially separated in different layers. IXs possess permanent dipoles and have proven to offer a wealth of novel physics. We develop a discrete, random-walk model which includes annihilation and repulsion interactions among IXs. Using this model, we simulate the trapping of IXs in traps of different depths, densities, and shapes. Our results show that dipole-dipole interactions play an important role in regulating IX trapping. The effects of dipole interactions can be mitigated with small, deep traps which are realizable with atomic defects and moire potentials.


title: Detectable Abundance of Cyanoacetylene (HC$_3$N) Predicted on Reduced Nitrogen-Rich Super-Earth Atmospheres

abstract: We predict that cyanoacetylene (HC$_3$N) is produced photochemically in the atmosphere of GJ 1132 b in abundances detectable by the James Webb Space Telescope (JWST), assuming that the atmosphere is hydrogen dominated and rich in molecular nitrogen (N$_2$), methane (CH$_4$) and hydrogen cyanide (HCN), as described by Swain et al. (2021). First, we construct line list and cross-sections for HC$_3$N. Then we apply these cross-sections and the model atmosphere of Swain et al. (2021) to a radiative transfer model in order to simulate the transmission spectrum of GJ 1132 b as it would be seen by JWST, accounting for the uncertainty in the retrieved abundances. We predict that cyanoacetylene features at various wavelengths, with a clear lone feature at 4.5 $\mu$m, observable by JWST after one transit. This feature persists within the $1-\sigma$ uncertainty of the retrieved abundances of HCN and CH$_4$. The signal is detectable for stratospheric temperatures $\lesssim 600$ K and moderate stratospheric mixing ($10^6 \, {\rm cm^2 \, s^{-1}} \lesssim K_{zz} \lesssim 10^8 \, {\rm cm^2 \, s^{-1}}$). Our results also indicate that HC$_3$N is an important source of opacity that future retrieval models should consider.


title: A Tale Of Two Long Tails

abstract: As machine learning models are increasingly employed to assist human decision-makers, it becomes critical to communicate the uncertainty associated with these model predictions. However, the majority of work on uncertainty has focused on traditional probabilistic or ranking approaches - where the model assigns low probabilities or scores to uncertain examples. While this captures what examples are challenging for the model, it does not capture the underlying source of the uncertainty. In this work, we seek to identify examples the model is uncertain about and characterize the source of said uncertainty. We explore the benefits of designing a targeted intervention - targeted data augmentation of the examples where the model is uncertain over the course of training. We investigate whether the rate of learning in the presence of additional information differs between atypical and noisy examples? Our results show that this is indeed the case, suggesting that well-designed interventions over the course of training can be an effective way to characterize and distinguish between different sources of uncertainty.


title: Inference on the structure of gene regulatory networks

abstract: In this paper, we conduct theoretical analyses on inferring the structure of gene regulatory networks. Depending on the experimental method and data type, the inference problem is classified into 20 different scenarios. For each scenario, we discuss the problem that with enough data, under what assumptions, what can be inferred about the structure. For scenarios that have been covered in the literature, we provide a brief review. For scenarios that have not been covered in literature, if the structure can be inferred, we propose new mathematical inference methods and evaluate them on simulated data. Otherwise, we prove that the structure cannot be inferred.


title: Non-steady state model of global temperature change: Can we keep temperature from rising more than on two degrees?

abstract: We propose a non-steady state model of the global temperature change. The model describes Earth's surface temperature dynamics under main climate forcing. The equations were derived from basic physical relationships and detailed assessment of the numeric parameters used in the model. It shows an accurate fit with observed changes in the surface mean annual temperature (MAT) for the past 116 years. Using our model, we analyze the future global temperature change under scenarios of drastic reductions of CO\textsubscript{2}. The presence of non-linear feed-backs in the model indicates on the possibility of exceeding two degrees threshold even under the carbon dioxide drastic reduction scenario. We discuss the risks associated with such warming and evaluate possible benefits of developing CO\textsubscript{2}-absorbing deciduous tree plantations in the boreal zone of Northern Hemisphere.


title: Papaya: Global Typestate Analysis of Aliased Objects Extended Version

abstract: Typestates are state machines used in object-oriented programming to specify and verify correct order of method calls on an object. To avoid inconsistent object states, typestates enforce linear typing, which eliminates - or at best limits - aliasing. However, aliasing is an important feature in programming, and the state-of-the-art on typestates is too restrictive if we want typestates to be adopted in real-world software systems. In this paper, we present a type system for an object-oriented language with typestate annotations, which allows for unrestricted aliasing, and as opposed to previous approaches it does not require linearity constraints. The typestate analysis is global and tracks objects throughout the entire program graph, which ensures that well-typed programs conform and complete the declared protocols. We implement our framework in the Scala programming language and illustrate our approach using a running example that shows the interplay between typestates and aliases.


title: Support theory for Drinfeld doubles of some infinitesimal group schemes

abstract: Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the representation category of the Drinfeld double of kG. We show that thick ideals in the corresponding stable category are classified by cohomological support, and calculate the Balmer spectrum of the stable category of Z(rep(G)). We also construct a $\pi$-point style rank variety for the Drinfeld double, identify $\pi$-point support with cohomological support, and show that both support theories satisfy the tensor product property. Our results hold, more generally, for Drinfeld doubles of Frobenius kernels in any smooth algebraic group which admits a quasi-logarithm, such as a Borel subgroup in a split semisimple group in very good characteristic.


title: A-star path planning simulation for UAS Traffic Management (UTM) application

abstract: This paper presents a Robot Operating System and Gazebo application to calculate and simulate an optimal route for a drone in an urban environment by developing new ROS packages and executing them along with open-source tools. Firstly, the current regulations about UAS are presented to guide the building of the simulated environment, and multiple path planning algorithms are reviewed to guide the search method selection. After selecting the A-star algorithm, both the 2D and 3D versions of them were implemented in this paper, with both Manhattan and Euclidean distances heuristics. The performance of these algorithms was evaluated considering the distance to be covered by the drone and the execution time of the route planning method, aiming to support algorithm's choice based on the environment in which it will be applied. The algorithm execution time was 3.2 and 17.2 higher when using the Euclidean distance for the 2D and 3D A-star algorithm, respectively. Along with the performance analysis of the algorithm, this paper is also the first step for building a complete UAS Traffic Management (UTM) system simulation using ROS and Gazebo.


title: A Design Study on Adaptive Primaries for 1-2 Meter Class Telescopes

abstract: Adaptive optics (AO) offers an opportunity to stabilize an image and maximize the spatial resolution achievable by ground based telescopes by removing the distortions due to the atmosphere. Typically, the deformable mirror in an AO system is integrated into the optical path between the secondary mirror and science instrument; in some cases, the deformable mirror is integrated into the telescope itself as an adaptive secondary mirror.However including the deformable mirror as the primary mirror of the telescope has been left largely unexplored due to the previous cost and complexity of large-format deformable mirror technology. In recent years this technology has improved, leaving deformable primary mirrors as a viable avenue towards higher actuator density and a simplification in testing and deploying adaptive optics systems. We present a case study to explore the benefits and trade-offs of integrating an adaptive optics system using the primary mirror of the telescope in small-to-mid-sized telescopes.


title: The Bright Pyramid Wavefront Sensor

abstract: Extreme adaptive optics (AO) is crucial for enabling the contrasts needed for ground-based high contrast imaging instruments to detect exoplanets. Pushing exoplanet imaging detection sensitivities towards lower mass, closer separations, and older planets will require upgrading AO wavefront sensors (WFSs) to be more efficient. In particular, future WFS designs will aim to improve a WFS's measurement error (i.e., the wavefront level at which photon noise, detector noise, and/or sky background limits a WFS measurement) and linearity (i.e., the wavefront level, in the absence of photon noise, aliasing, and servo lag, at which an AO loop can close and the corresponding closed-loop residual level). We present one such design here called the bright pyramid WFS (bPWFS), which improves both the linearity and measurement errors as compared to the non-modulated pyramid WFS (PWFS). The bPWFS is a unique design that, unlike other WFSs, doesn't sacrifice measurement error for linearity, potentially enabling this WFS to (a) close the AO loop on open loop turbulence utilising a tip/tilt modulation mirror (i.e., a modulated bPWFS; analogous to the procedure used for the regular modulated PWFS), and (b) reach deeper closed-loop residual wavefront levels (i.e., improving both linearity and measurement error) compared to the regular non-modulated PWFS. The latter approach could be particularly beneficial to enable improved AO performance using the bWFS as a second stage AO WFS. In this paper we will present an AO error budget analysis of the non-modulated bPWFS as well as supporting AO testbed results from the Marseille Astrophysics Laboratory.


title: Heuristic and Metaheuristic Methods for the Unrelated Machines Scheduling Problem: A Survey

abstract: Today scheduling problems have an immense effect on various areas of human lives, be it from their application in manufacturing and production industry, transportation, or workforce allocation. The unrelated parallel machines scheduling problem (UPMSP), which is only one of the many different problem types that exist, found its application in many areas like production industries or distributed computing. Due to the complexity of the problem, heuristic and metaheuristic methods are gaining more attention for solving it. Although this problem variant did not receive much attention as other models, recent years saw the increase of research dealing with this problem. During that time, many different problem variants, solution methods, or other interesting research directions were considered. However, no study has until now tried to systematise the research in which heuristic methods are applied for the UPMSP. The goal of this study is to provide an extensive literature review on the application of heuristic and metaheuristic methods for solving the UPMSP. The research was systematised and classified into several categories to enable an easy overview of the different problem and solution variants. Additionally, current trends and possible future research directions are also shortly outlined.


title: Efficient randomized tensor-based algorithms for function approximation and low-rank kernel interactions

abstract: In this paper, we introduce a method for multivariate function approximation using function evaluations, Chebyshev polynomials, and tensor-based compression techniques via the Tucker format. We develop novel randomized techniques to accomplish the tensor compression, provide a detailed analysis of the computational costs, provide insight into the error of the resulting approximations, and discuss the benefits of the proposed approaches. We also apply the tensor-based function approximation to develop low-rank matrix approximations to kernel matrices that describe pairwise interactions between two sets of points; the resulting low-rank approximations are efficient to compute and store (the complexity is linear in the number of points). We have detailed numerical experiments on example problems involving multivariate function approximation, low-rank matrix approximations of kernel matrices involving well-separated clusters of sources and target points, and a global low-rank approximation of kernel matrices with an application to Gaussian processes.


title: PlaneTR: Structure-Guided Transformers for 3D Plane Recovery

abstract: This paper presents a neural network built upon Transformers, namely PlaneTR, to simultaneously detect and reconstruct planes from a single image. Different from previous methods, PlaneTR jointly leverages the context information and the geometric structures in a sequence-to-sequence way to holistically detect plane instances in one forward pass. Specifically, we represent the geometric structures as line segments and conduct the network with three main components: (i) context and line segments encoders, (ii) a structure-guided plane decoder, (iii) a pixel-wise plane embedding decoder. Given an image and its detected line segments, PlaneTR generates the context and line segment sequences via two specially designed encoders and then feeds them into a Transformers-based decoder to directly predict a sequence of plane instances by simultaneously considering the context and global structure cues. Finally, the pixel-wise embeddings are computed to assign each pixel to one predicted plane instance which is nearest to it in embedding space. Comprehensive experiments demonstrate that PlaneTR achieves a state-of-the-art performance on the ScanNet and NYUv2 datasets.


title: Pixyz: a Python library for developing deep generative models

abstract: With the recent rapid progress in the study of deep generative models (DGMs), there is a need for a framework that can implement them in a simple and generic way. In this research, we focus on two features of DGMs: (1) deep neural networks are encapsulated by probability distributions, and (2) models are designed and learned based on an objective function. Taking these features into account, we propose a new Python library to implement DGMs called Pixyz. This library adopts a step-by-step implementation method with three APIs, which allows us to implement various DGMs more concisely and intuitively. In addition, the library introduces memoization to reduce the cost of duplicate computations in DGMs to speed up the computation. We demonstrate experimentally that this library is faster than existing probabilistic programming languages in training DGMs.


title: Measurement of spin Chern numbers in quantum simulated topological insulators

abstract: The topology of quantum systems has become a topic of great interest since the discovery of topological insulators. However, as a hallmark of the topological insulators, the spin Chern number has not yet been experimentally detected. The challenge to directly measure this topological invariant lies in the fact that this spin Chern number is defined based on artificially constructed wavefunctions. Here we experimentally mimic the celebrated Bernevig-Hughes-Zhang model with cold atoms, and then measure the spin Chern number with the linear response theory. We observe that, although the Chern number for each spin component is ill defined, the spin Chern number measured by their difference is still well defined when both energy and spin gaps are non-vanished.