title: Dimensions of paramodular forms and compact twist modular forms with involutions

abstract: We give an explicit dimension formula for paramodular forms of degree two of prime level with plus or minus sign of the Atkin--Lehner involution of weight $\det^k\operatorname{Sym}(j)$ with $k\geq 3$, as well as a dimension formula for algebraic modular forms of any weight associated with the binary quaternion hermitian maximal lattices in non-principal genus of prime discriminant with fixed sign of the involution. These two formulas are essentially equivalent by a recent result of N. Dummigan, A. Pacetti. G. Rama and G. Tornar\'ia on correspondence between algebraic modular forms and paramodular forms with signs. So we give the formula by calculating the latter. When $p$ is odd, our formula for the latter is based on a class number formula of some quinary lattices by T. Asai and its interpretation to the type number of quaternion hermitian forms given in our previous works. On paramodular forms, we also give a dimensional bias between plus and minus eigenspaces, some list of palindromic Hilbert series, numerical examples for small $p$ and $k$, and the complete list of primes $p$ such that there is no paramodular cusp form of level $p$ of weight 3 with plus sign. This last result has geometric meaning on moduli of Kummer surface with $(1,p)$ polarization.


title: Shaken, and Stirred: Long-Range Dependencies Enable Robust Outlier Detection with PixelCNN++

abstract: Reliable outlier detection is critical for real-world deployment of deep learning models. Although extensively studied, likelihoods produced by deep generative models have been largely dismissed as being impractical for outlier detection. First, deep generative model likelihoods are readily biased by low-level input statistics. Second, many recent solutions for correcting these biases are computationally expensive, or do not generalize well to complex, natural datasets. Here, we explore outlier detection with a state-of-the-art deep autoregressive model: PixelCNN++. We show that biases in PixelCNN++ likelihoods arise primarily from predictions based on local dependencies. We propose two families of bijective transformations -- ``stirring'' and ``shaking'' -- which ameliorate low-level biases and isolate the contribution of long-range dependencies to PixelCNN++ likelihoods. These transformations are inexpensive and readily computed at evaluation time. We test our approaches extensively with five grayscale and six natural image datasets and show that they achieve or exceed state-of-the-art outlier detection, particularly on datasets with complex, natural images. We also show that our solutions work well with other types of generative models (generative flows and variational autoencoders) and that their efficacy is governed by each model's reliance on local dependencies. In sum, lightweight remedies suffice to achieve robust outlier detection on image data with deep generative models.


title: Non-intersecting path constructions for TASEP with inhomogeneous rates and the KPZ fixed point

abstract: We consider a discrete-time TASEP, where each particle jumps according to Bernoulli random variables with particle-dependent and time-inhomogeneous parameters. We use the combinatorics of the Robinson-Schensted-Knuth correspondence and certain intertwining relations to express the transition kernel of this interacting particle system in terms of ensembles of weighted, non-intersecting lattice paths and, consequently, as a marginal of a determinantal point process. We next express the joint distribution of the particle positions as a Fredholm determinant, whose correlation kernel is given in terms of a boundary-value problem for a discrete heat equation. The solution to such a problem finally leads us to a representation of the correlation kernel in terms of random walk hitting probabilities, generalising the formulation of Matetski, Quastel and Remenik (Acta Math., 2021) to the case of both particle- and time-inhomogeneous rates. The solution to the boundary value problem in the fully inhomogeneous case appears with a finer structure than in the homogeneous case.


title: Multiquark-Oriented QCD Sum Rules

abstract: We propose to increase the factual reliability of descriptions of exotic multiquark hadrons utilizing the approach to bound states of strongly interacting constituents known as QCD sum rules, by allowing exclusively all contributions that potentially bear some relevance for multiquark states to enter the correlation functions that form the main ingredient of this framework. The route to this goal is illustrated for the (presumably least involved) special case of tetraquark states.


title: Morphologies of Galaxies at $z \gtrsim 9$ Uncovered by JWST/NIRCam Imaging: Cosmic Size Evolution and an Identification of an Extremely Compact Bright Galaxy at $z\sim 12$

abstract: We present morphologies of galaxies at $z \gtrsim 9$ resolved by JWST/NIRCam $2$-$5\mu$m imaging. Our sample consists of $22$ galaxy candidates identified by stringent dropout and photo-$z$ criteria in GLASS, CEERS, SMACS J0723, and Stephan's Quintet flanking fields, one of which has been spectroscopically identified at $z=11.44$. We perform surface brightness (SB) profile fitting with GALFIT for $6$ bright galaxies with S/N $=10$-$40$ on an individual basis and for stacked faint galaxies with secure point-spread functions (PSFs) of the NIRCam real data, carefully evaluating systematics by Monte-Carlo simulations. We compare our results with those of previous JWST studies, and confirm that effective radii $r_{\rm e}$ of our measurements are consistent with those of previous measurements at $z\sim 9$. We obtain $r_{\rm e}\simeq 200$-$300$ pc with the exponential-like profiles, S\'ersic indexes of $n\simeq 1$-$1.5$, for galaxies at $z\sim 12$-$16$, indicating that the relation of $r_{\rm e}\propto (1+z)^s$ for $s=-1.22^{+0.17}_{-0.16}$ explains cosmic evolution over $z\sim 0$-$16$ for $\sim L^*_{z=3}$ galaxies. One bright ($M_{\rm UV}=-21$ mag) galaxy at $z\sim 12$, GL-z12-1, has an extremely compact profile with $r_{\rm e}=39 \pm 11$ pc that is surely extended over the PSF. Even in the case that the GL-z12-1 SB is fit by AGN$+$galaxy composite profiles, the best-fit galaxy component is again compact, $r_{\rm e}=48^{+38}_{-15}$ pc that is significantly ($>5\sigma$) smaller than the typical $r_{\rm e}$ value at $z\sim 12$. Comparing with numerical simulations, we find that such a compact galaxy naturally forms at $z\gtrsim 10$, and that frequent mergers at the early epoch produce more extended galaxies following the $r_{\rm e}\propto (1+z)^s$ relation.


title: MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

abstract: Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm -- and attackers can exploit buffer overflows and use-after-frees in Wasm almost as easily as they can on native platforms. Memory-Safe WebAssembly (MSWasm) proposes to extend Wasm with language-level memory-safety abstractions to precisely address this problem. In this paper, we build on the original MSWasm position paper to realize this vision. We give a precise and formal semantics of MSWasm, and prove that well-typed MSWasm programs are, by construction, robustly memory safe. To this end, we develop a novel, language-independent memory-safety property based on colored memory locations and pointers. This property also lets us reason about the security guarantees of a formal C-to-MSWasm compiler -- and prove that it always produces memory-safe programs (and preserves the semantics of safe programs). We use these formal results to then guide several implementations: Two compilers of MSWasm to native code, and a C-to-MSWasm compiler (that extends Clang). Our MSWasm compilers support different enforcement mechanisms, allowing developers to make security-performance trade-offs according to their needs. Our evaluation shows that the overhead of enforcing memory safety in software ranges from 22% (enforcing spatial safety alone) to 198% (enforcing full memory safety) on the PolyBenchC suite. More importantly, MSWasm's design makes it easy to swap between enforcement mechanisms; as fast (especially hardware-based) enforcement techniques become available, MSWasm will be able to take advantage of these advances almost for free.


title: Polarization compensation methods for quantum communication networks

abstract: The information-theoretic unconditional security offered by quantum key distribution has spurred the development of larger quantum communication networks. However, as these networks grow so does the strong need to reduce complexity and overheads. Polarization based entanglement distribution networks are a promising approach due to their scalability and lack of trusted nodes. Nevertheless, they are only viable if the birefringence of all optical distribution fibres in the network is compensated to preserve the polarization based quantum state. The brute force approach would require a few hundred fibre polarization controllers for even a moderately sized network. Instead, we propose and investigate four different methods of polarization compensation. We compare them based on complexity, effort, level of disruption to network operations and performance.


title: Spatio-Temporal Wind Speed Forecasting using Graph Networks and Novel Transformer Architectures

abstract: This study focuses on multi-step spatio-temporal wind speed forecasting for the Norwegian continental shelf. The study aims to leverage spatial dependencies through the relative physical location of different measurement stations to improve local wind forecasts. Our multi-step forecasting models produce either 10-minute, 1- or 4-hour forecasts, with 10-minute resolution, meaning that the models produce more informative time series for predicted future trends. A graph neural network (GNN) architecture was used to extract spatial dependencies, with different update functions to learn temporal correlations. These update functions were implemented using different neural network architectures. One such architecture, the Transformer, has become increasingly popular for sequence modelling in recent years. Various alterations have been proposed to better facilitate time series forecasting, of which this study focused on the Informer, LogSparse Transformer and Autoformer. This is the first time the LogSparse Transformer and Autoformer have been applied to wind forecasting and the first time any of these or the Informer have been formulated in a spatio-temporal setting for wind forecasting. By comparing against spatio-temporal Long Short-Term Memory (LSTM) and Multi-Layer Perceptron (MLP) models, the study showed that the models using the altered Transformer architectures as update functions in GNNs were able to outperform these. Furthermore, we propose the Fast Fourier Transformer (FFTransformer), which is a novel Transformer architecture based on signal decomposition and consists of two separate streams that analyse the trend and periodic components separately. The FFTransformer and Autoformer were found to achieve superior results for the 10-minute and 1-hour ahead forecasts, with the FFTransformer significantly outperforming all other models for the 4-hour ahead forecasts.


title: Microwave fluorescence detection of spin echoes

abstract: Counting the microwave photons emitted by an ensemble of electron spins when they relax radiatively has recently been proposed as a sensitive method for electron paramagnetic resonance (EPR) spectroscopy, enabled by the development of operational Single Microwave Photon Detectors (SMPD) at millikelvin temperature. Here, we report the detection of spin echoes in the spin fluorescence signal. The echo manifests itself as a coherent modulation of the number of photons spontaneously emitted after a $\pi/2_X - \tau - \pi_Y - \tau - \pi/2_\Phi $ sequence, dependent on the relative phase $\Phi$. We demonstrate experimentally this detection method using an ensemble of $\mathrm{Er}^{3+}$ ion spins in a scheelite crystal of $\mathrm{CaWO}_4$. We use fluorescence-detected echoes to measure the erbium spin coherence time, as well as the echo envelope modulation due to the coupling to the $^{183}\mathrm{W}$ nuclear spins surrounding each ion. We finally compare the signal-to-noise ratio of inductively-detected and fluorescence-detected echoes, and show that it is larger with the fluorescence method.


title: Cortical-inspired placement and routing: minimizing the memory resources in multi-core neuromorphic processors

abstract: Brain-inspired event-based neuromorphic processing systems have emerged as a promising technology in particular for bio-medical circuits and systems. However, both neuromorphic and biological implementations of neural networks have critical energy and memory constraints. To minimize the use of memory resources in multi-core neuromorphic processors, we propose a network design approach inspired by biological neural networks. We use this approach to design a new routing scheme optimized for small-world networks and, at the same time, to present a hardware-aware placement algorithm that optimizes the allocation of resources for small-world network models. We validate the algorithm with a canonical small-world network and present preliminary results for other networks derived from it


title: Naimark dilations of qubit POVMs and joint measurements

abstract: Measurement incompatibility is one of the cornerstones of quantum theory. This phenomenon appears in many forms, of which the concept of non-joint measurability has received considerable attention in the recent years. In order to characterise this non-classical phenomenon, various analytical and numerical methods have been developed. The analytical approaches have mostly concentrated on the qubit case, as well as to scenarios involving sets of measurements with symmetries, such as position and momentum or sets of mutually unbiased bases. The numerical methods can, in principle, decide any finite-dimensional and discrete joint measurability problem, but they naturally have practical limitations in terms of computational power. These methods exclusively start from a given set of measurements and ask whether the set possesses incompatibility. Here, we take a complementary approach by asking which measurements are compatible with a given measurement. It turns out, that this question can be answered in full generality through a minimal Naimark dilation of the given measurement: the set of interest is exactly those measurements that have a block-diagonal representation in such dilation. We demonstrate the use of the technique through various qubit examples, leading to an alternative characterisation of all compatible pairs of binary qubit measurements, which retrieves the celebrated Busch criterion. We further apply the technique to special examples of trinary and continuous qubit measurements.


title: Evolving the MCTS Upper Confidence Bounds for Trees Using a Semantic-inspired Evolutionary Algorithm in the Game of Carcassonne

abstract: Monte Carlo Tree Search (MCTS) is a sampling best-first method to search for optimal decisions. The success of MCTS depends heavily on how the tree is built and the selection process plays a fundamental role in this. One particular selection mechanism that has proved to be reliable is based on the Upper Confidence Bounds for Trees (UCT). The UCT attempts to balance exploration and exploitation by considering the values stored in the statistical tree of the MCTS. However, some tuning of the MCTS UCT is necessary for this to work well. In this work, we use Evolutionary Algorithms (EAs) to evolve mathematical expressions with the goal to substitute the UCT formula and use the evolved expressions in MCTS. More specifically, we evolve expressions by means of our proposed Semantic-inspired Evolutionary Algorithm in MCTS approach (SIEA-MCTS). This is inspired by semantics in Genetic Programming (GP), where the use of fitness cases is seen as a requirement to be adopted in GP. Fitness cases are normally used to determine the fitness of individuals and can be used to compute the semantic similarity (or dissimilarity) of individuals. However, fitness cases are not available in MCTS. We extend this notion by using multiple reward values from MCTS that allow us to determine both the fitness of an individual and its semantics. By doing so, we show how SIEA-MCTS is able to successfully evolve mathematical expressions that yield better or competitive results compared to UCT without the need of tuning these evolved expressions. We compare the performance of the proposed SIEA-MCTS against MCTS algorithms, MCTS Rapid Action Value Estimation algorithms, three variants of the *-minimax family of algorithms, a random controller and two more EA approaches. We consistently show how SIEA-MCTS outperforms most of these intelligent controllers in the challenging game of Carcassonne.


title: Bayesian inference of real-time dynamics from lattice QCD

abstract: The computation of dynamical properties of nuclear matter, ranging from parton distribution functions of nucleons and nuclei to transport properties in the quark-gluon plasma, constitutes a central goal of modern theoretical physics. This real-time physics often defies a perturbative treatment and the most successful strategy so far is to deploy lattice QCD simulations. These numerical computations are based on Monte-Carlo sampling and formulated in an artificial Euclidean time. Real-time physics is most conveniently formulated in terms of spectral functions, which are hidden in lattice QCD behind an ill-posed inverse problem. I will discuss the current methods state-of-the art in the extraction of spectral functions from lattice QCD simulations, based on Bayesian inference and emphasize the importance of prior domain knowledge, vital to regularizing the otherwise ill-posed extraction task. With Bayesian inference allowing us to make explicit the uncertainty in both observations and in our prior knowledge, a systematic estimation of the total uncertainties in the extracted spectral functions is nowadays possible. Two implementations of the Bayesian Reconstruction (BR) method for spectral function extraction, one for MAP point estimates and one based on an open access Monte-Carlo sampler are provided.I will briefly touch on the use of machine learning for spectral function reconstruction and discuss some new insight it has brought to the Bayesian community.


title: Chosen methods of improving small object recognition with weak recognizable features

abstract: Many object detection models struggle with several problematic aspects of small object detection including the low number of samples, lack of diversity and low features representation. Taking into account that GANs belong to generative models class, their initial objective is to learn to mimic any data distribution. Using the proper GAN model would enable augmenting low precision data increasing their amount and diversity. This solution could potentially result in improved object detection results. Additionally, incorporating GAN-based architecture inside deep learning model can increase accuracy of small objects recognition. In this work the GAN-based method with augmentation is presented to improve small object detection on VOC Pascal dataset. The method is compared with different popular augmentation strategies like object rotations, shifts etc. The experiments are based on FasterRCNN model.


title: Smooth Monotone Stochastic Variational Inequalities and Saddle Point Problems: A Survey

abstract: This paper is a survey of methods for solving smooth (strongly) monotone stochastic variational inequalities. To begin with, we give the deterministic foundation from which the stochastic methods eventually evolved. Then we review methods for the general stochastic formulation, and look at the finite sum setup. The last parts of the paper are devoted to various recent (not necessarily stochastic) advances in algorithms for variational inequalities.


title: Sensitivity of jet observables to the presence of quasi-particles in QGP

abstract: QGP, a strongly coupled liquid when viewed at length scales of ${\cal O}(1/T)$, must reveal quark- and gluon-like quasi-particles when probed with sufficiently high momentum transfer, since QCD is asymptotically free. High energy jet partons traversing the droplet of QGP produced in a heavy ion collision can trigger these high-momentum exchanges with medium constituents and so have the potential to reveal the presence of such quasi-particles, a key step toward the experimental study of the microscopic structure of QGP. We implement this physics within the hybrid strong/weak coupling model which, prior to this work, only accounted for nonperturbative aspects of parton energy loss. Elastic Moli\`ere scatterings between partons from a jet shower and medium quasi-particles result in deflection of the propagating jet partons and struck thermal medium partons recoiling at large angles. We discuss the effect of Moli\`ere scatterings on some of the most widely used groomed and ungroomed jet substructure observables. Given the large impact on jet observables of the wakes generated by the hydrodynamic response of the QGP fluid as the shower and scattered partons lose energy and momentum to it, as well as the presence of selection biases, finding distinctive signatures of Moli\`ere scattering, and hence the presence of quasi-particles in QGP, is a challenge. Toward this end, we emphasize the discovery potential of subjet (jets within jets) distributions.


title: Weinberg's 3HDM potential with spontaneous CP violation

abstract: We study the potential of Weinberg's $\mathbb{Z}_2\times\mathbb{Z}_2$-symmetric three-Higgs-doublet model (3HDM). The potential is designed to accommodate CP violation in the scalar sector within a gauge theory, while at the same time allowing for natural flavour conservation. This framework allows for both explicit and spontaneous CP violation. CP can be explicitly violated when the coefficients of the potential are taken to be complex. With coefficients chosen to be real, CP can be spontaneously violated via complex vacuum expectation values (vevs). In the absence of the terms leading to the possibility of CP violation, either explicit or induced by complex vevs, the potential has two global U(1) symmetries. In this case, spontaneous symmetry breaking would in general give rise to massless states. In a realistic implementation, those terms must be included, thus preventing the existence of Goldstone bosons. A scan over parameters, imposing the existence of a neutral state at 125 GeV that is nearly CP-even shows that, in the absence of fine-tuning, the scalar spectrum contains one or two states with masses below 125 GeV that have a significant CP-odd component. These light states would have a low production rate via the Bjorken process and could thus have escaped detection at LEP. At the LHC the situation is less clear. While we do not here aim for a full phenomenological study of the light states, we point out that the $\gamma\gamma$ decay channel would be challenging to measure because of suppressed couplings to $WW$.


title: Combating high variance in Data-Scarce Implicit Hate Speech Classification

abstract: Hate speech classification has been a long-standing problem in natural language processing. However, even though there are numerous hate speech detection methods, they usually overlook a lot of hateful statements due to them being implicit in nature. Developing datasets to aid in the task of implicit hate speech classification comes with its own challenges; difficulties are nuances in language, varying definitions of what constitutes hate speech, and the labor-intensive process of annotating such data. This had led to a scarcity of data available to train and test such systems, which gives rise to high variance problems when parameter-heavy transformer-based models are used to address the problem. In this paper, we explore various optimization and regularization techniques and develop a novel RoBERTa-based model that achieves state-of-the-art performance.


title: Enhanced coupling between ballistic exciton-polariton condensates through tailored pumping

abstract: We propose a method to enhance the spatial coupling between ballistic exciton-polariton condensates in a semiconductor microcavity based on available spatial light modulator technologies. Our method, verified by numerically solving a generalized Gross-Pitaevskii model, exploits the strong nonequilibrium nature of exciton-polariton condensation driven by localized nonresonant optical excitation. Tailoring the excitation beam profile from a Gaussian into a polygonal shape results in refracted and focused radial streams of outflowing polaritons from the excited condensate which can be directed towards nearest neighbors. Our method can be used to lower the threshold power needed to achieve polariton condensation and increase spatial coherence in extended systems, paving the way towards creating extremely large-scale quantum fluids of light.


title: On the reconstruction of functions from values at subsampled quadrature points

abstract: This paper is concerned with function reconstruction from samples. The sampling points used in several approaches are (1) structured points connected with fast algorithms or (2) unstructured points coming from, e.g., an initial random draw to achieve an improved information complexity. We connect both approaches and propose a subsampling of structured points in an offline step. In particular, we start with structured quadrature points (QMC), which provide stable $L_2$ reconstruction properties. The subsampling procedure consists of a computationally inexpensive random step followed by a deterministic procedure to further reduce the number of points while keeping its information. In these points functions (belonging to a RKHS of bounded functions) will be sampled and reconstructed from whilst achieving state of the art error decay. Our method is dimension-independent and is applicable as soon as we know some initial quadrature points. We apply our general findings on the $d$-dimensional torus to subsample rank-1 lattices, where it is known that full rank-1 lattices lose half the optimal order of convergence (expressed in terms of the size of the lattice). In contrast to that, our subsampled version regains the optimal rate since many of the lattice points are not needed. Moreover, we utilize fast and memory efficient Fourier algorithms in order to compute the approximation. Numerical experiments in several dimensions support our findings.


title: A Random Number Generator for the Kolmogorov Distribution

abstract: We discuss an acceptance-rejection algorithm for the random number generation from the Kolmogorov distribution. Since the cumulative distribution function (CDF) is expressed as a series, in order to obtain the density function we need to prove that the series of the derivatives converges uniformly. We also provide a similar proof in order to show that the ratio between the target Kolmogorov density and the auxiliary density implemented is bounded. Finally we discuss a way of truncating the series expression of the density in an optimal way.


title: Isotope Shifts in Cadmium as a Sensitive Probe for Physics Beyond the Standard Model

abstract: Isotope shifts (ISs) in atomic energy levels are sensitive probes of nuclear structure and new physics beyond the Standard Model. We present an analysis of the ISs of the cadmium atom (Cd I) and singly charged cadmium ion (Cd II). ISs of the 229 nm, 326 nm, 361 nm and 480 nm lines of Cd I are measured with a variety of techniques; buffer-gas-cooled beam spectroscopy, capturing atoms in a magneto-optic-trap, and optical pumping. IS constants for the D1 and D2 lines of Cd II are calculated with high accuracy by employing analytical response relativistic coupled-cluster theory in the singles, doubles and triples approximations. Combining the calculations for Cd II with experiments, we infer IS constants for all low-lying transitions in Cd I. We benchmark these constants as calculated via different many-body methods. Our calculations for Cd II enable nuclear charge radii of Cd isotopes to be extracted with unprecedented accuracy. The combination of our precise calculations and measurements shows that King Plots for Cd I can improve the state-of-theart sensitivity to a new heavy boson by up to two orders of magnitude.


title: Towards Robust Face Recognition with Comprehensive Search

abstract: Data cleaning, architecture, and loss function design are important factors contributing to high-performance face recognition. Previously, the research community tries to improve the performance of each single aspect but failed to present a unified solution on the joint search of the optimal designs for all three aspects. In this paper, we for the first time identify that these aspects are tightly coupled to each other. Optimizing the design of each aspect actually greatly limits the performance and biases the algorithmic design. Specifically, we find that the optimal model architecture or loss function is closely coupled with the data cleaning. To eliminate the bias of single-aspect research and provide an overall understanding of the face recognition model design, we first carefully design the search space for each aspect, then a comprehensive search method is introduced to jointly search optimal data cleaning, architecture, and loss function design. In our framework, we make the proposed comprehensive search as flexible as possible, by using an innovative reinforcement learning based approach. Extensive experiments on million-level face recognition benchmarks demonstrate the effectiveness of our newly-designed search space for each aspect and the comprehensive search. We outperform expert algorithms developed for each single research track by large margins. More importantly, we analyze the difference between our searched optimal design and the independent design of the single factors. We point out that strong models tend to optimize with more difficult training datasets and loss functions. Our empirical study can provide guidance in future research towards more robust face recognition systems.


title: Pure semisimple and K\"{o}the group rings

abstract: In this article we provide a complete characterization of abelian group rings which are K\"{o}the rings. We also provide characterizations of (possibly non-abelian) group rings over division rings which are K\"{o}the rings, both in characteristic zero and in prime characteristic, and prove a Maschke type result for pure semisimplicity of group rings. Furthermore, we illustrate our results by several examples.


title: Mathematical Models to Analyze Lua Hybrid Tables and Why They Need a Fix

abstract: Lua (Ierusalimschy et al., 1996) is a well-known scripting language, popular among many programmers, most notably in the gaming industry. Remarkably, the only data-structuring mechanism in Lua are associative arrays, called tables. With Lua 5.0, the reference implementation of Lua introduced hybrid tables to implement tables using both a hashmap and a dynamically growing array combined together: the values associated with integer keys are stored in the array part, when suitable, everything else is stored in the hashmap. All this is transparent to the user, who gets a unique simple interface to handle tables. In this paper we carry out a theoretical analysis of the performance of Lua's tables, by considering various worst-case and probabilistic scenarios. In particular, we uncover some problematic situations for the simple probabilistic model where we add a new key with some fixed probability $p>\frac12$ and delete a key with probability $1-p$: the cost of performing T such operations is proved to be $\Omega(T\log T)$ with high probability, where linear complexity is expected instead.


title: Magneto-optical Kerr effect in Weyl semimetals with broken inversion and time-reversal symmetries

abstract: The topological nature of the band structure of a Weyl semimetal leads to a number of unique transport and optical properties. For example, the description of the propagation of an electromagnetic wave in a Weyl semimetal with broken time-reversal and inversion symmetry, for example, requires a modification of the Maxwell equations by the axion field $\theta \left( \mathbf{r},t\right) =2\mathbf{b}\cdot \mathbf{r}-2b_{0}t,$ where $2% \mathbf{b}$ is the separation in wave vector space between two Weyl nodes of opposite chiralities and $2\hslash b_{0}$ is their separation in energy. In this paper, we study theoretically how the axion terms $b_{0}$ and $\bf{b}$ modify the frequency behavior of the Kerr rotation and ellipticity angles $\theta_{K}\left( \omega \right) $ and $\psi_{K}\left( \omega \right) $ in a Weyl semimetal. Both the Faraday and Voigt configurations are considered since they provide different information on the electronic transitions and plasmon excitation. We derive the Kerr angles firstly without an external magnetic field where the rotation of the polarization is only due to the axion terms and secondly in a strong magnetic field where these terms compete with the gyration effect of the magnetic field. In this latter case, we concentrate on the ultra-quantum limit where the Fermi level lies in the chiral Landau level and the Kerr and ellipticity angles have more complex frequency and magnetic field behaviors.


title: Categorical Torelli theorem for hypersurfaces

abstract: Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that this subcategory, together with a certain autoequivalence called the rotation functor, determines $X$ uniquely if $d > 3$ or if $d = 3$ and $n > 3$. This generalizes a result by D. Huybrechts and J. Rennemo, who proved the same statement under the additional assumption that $d$ divides $n+2$.


title: Approach of variable clustering and compression for learning large Bayesian networks

abstract: This paper describes a new approach for learning structures of large Bayesian networks based on blocks resulting from feature space clustering. This clustering is obtained using normalized mutual information. And the subsequent aggregation of blocks is done using classical learning methods except that they are input with compressed information about combinations of feature values for each block. Validation of this approach is done for Hill-Climbing as a graph enumeration algorithm for two score functions: BIC and MI. In this way, potentially parallelizable block learning can be implemented even for those score functions that are considered unsuitable for parallelizable learning. The advantage of the approach is evaluated in terms of speed of work as well as the accuracy of the found structures.


title: Confirmation of the outflow in L1451-mm: SiO line and CH$_3$OH maser detections

abstract: The observational counterparts of theoretically predicted first hydrostatic cores (FHSC) have been searched for in the interstellar medium for nearly two decades now. Distinguishing them from other types of more evolved but still embedded objects remains a challenge because these objects have a short lifetime, are small, and embedded in a dense cocoon. One possible lead to finding them is the characterization of the outflows that are launched by these objects. We observed the L1451-mm FHSC candidate with the NOEMA interferometer in order to study the emission of several molecules. A nonlocal thermodynamic equilibrium analysis of the CH$_3$OH detected lines was performed to retrieve the physical conditions of the emitting region around the central source, together with the CH$_3$OH, SiO, CS, and H$_2$CO column densities. Of the targeted molecules, we detected lines of c-C$_3$H$_2$, CH$_3$OH, CS, C$^{34}$S, SO, DCN, DCO$^+$, H$_2$CO, HC$_3$N, HDCO, and SiO. One of the methanol lines appears to be a maser line. The detection of this class I maser and the SiO line in L1451-mm support the presence of a low-velocity and compact outflow. The excitation conditions of the thermal lines of methanol are also compatible with shocks (H$_2$ density of $\sim 3\times 10^6$~cm$^{-3}$ and a temperature higher than 40~K). Although these low-velocity outflows are theoretically predicted by some models of FHSC, these models also predict the shock temperature to be below 20~K, that is, not evaporating methanol. In addition, the predicted velocities would not erode the grains and release silicon in the gas phase. We therefore conclude that these new observations favor the hypothesis that L1451-mm would be at a very early protostellar stage, launching an outflow nearly on the plane of the sky with a higher velocity than is observed.


title: Explicit holography for vector models at finite $N$, volume and temperature

abstract: In previous work we constructed an explicit mapping between large $N$ vector models (free or critical) in $d$ dimensions and a non-local high-spin gravity theory on $AdS_{d+1}$, such that the gravitational theory reproduces the field theory correlation functions order by order in $1/N$. In this paper we discuss three aspects of this mapping. First, our original mapping was not valid non-perturbatively in $1/N$, since it did not include non-local correlations between the gravity fields which appear at finite $N$. We show that by using a bi-local $G-\Sigma$ type formalism similar to the one used in the SYK model, we can construct an exact mapping to the bulk that is valid also at finite $N$. The theory in the bulk contains additional auxiliary fields which implement the finite $N$ constraints. Second, we discuss the generalization of our mapping to the field theory on $S^d$, and in particular how the sphere free energy matches exactly between the two sides, and how the mapping can be consistently regularized. Finally, we discuss the field theory at finite temperature, and show that the low-temperature phase of the vector models can be mapped to a high-spin gravity theory on thermal AdS space.


title: Secluded Dark Sector and Muon $(g-2)$ in the Light of Fast Expanding Universe

abstract: The lack of information before Big Bang Neucleosynthesis (BBN) allow us to assume the presence of a new species $\phi$ whose energy density redshifts as $a^{-(4+n)}$ where $n>0$ and $a$ is the scale factor. This non-standard cosmological setup facilitates a larger portal coupling $(\epsilon)$ between the dark and the visible sectors even when the two sectors are not in thermal equilibrium. Here, we have considered $U(1)_{L_\mu-L_\tau}\otimes U(1)_X$ gauge extension of the Standard Model (SM) and studied different phases of the cosmological evolution of a thermally decoupled dark sector such as leak-in, freeze-in, reannihilation, and late-time annihilation in the presence of fast expansion. Due to the tree level kinetic mixing between $U(1)_X$ and $U(1)_{L_\mu-L_\tau}$ gauge bosons, the dark sector couples with the $\mu$ and $\tau$ flavored leptons of the SM. We show that in our scenario it is possible to reconcile the dark matter relic density and muon $(g-2)$ anomaly. In particular, we show that for $2\times 10^{-4} \lesssim \epsilon \lesssim 10^{-3}$, $5.5{\rm MeV} \lesssim m_{Z^\prime} \lesssim 200{\rm MeV}$, $n=4$, and $1{\rm TeV} \lesssim m_\chi \lesssim 10{\rm TeV}$ relic density constraint of dark matter, constraint from muon $(g-2)$ anomaly, and other cosmological, astrophysical constraints are satisfied.


title: Maximization of User Association Deploying IRS in 6G Networks

abstract: Prospective mobile networks will be heterogeneous multi-tier networks, with different classes of base stations (BS) installed dependent on user demand. Multi-tier networks enable operators to enhance system capacity and coverage through flexible implementations. Intelligent reflecting surfaces (IRS) or reconfigurable intelligent surfaces (RIS) is a novel and disruptive technology that comprises a vast number of cost-efficient passive components, each of which can intelligently reflect the incident wave or signal with a reconfigurable phase shift. The objective of this work is to maximize the probability of user association for millimeter-wave (mmWave) carriers in a two-tier 6G network consisting of micro and macro cell tiers. Therefore, the work analyzed and compared the probability of user association for conventional and IRS-assisted micro base stations. The research derived that, the deployment of IRS in a micro cell significantly enhances or maximizes the probability of user association of the entire coverage region including the cell edge. Moreover, the deployment of IRS reduces the transmit power consumption of the micro base station which assures a notable energy efficiency.


title: A note on the CBC-DBD construction of lattice rules with general positive weights

abstract: Lattice rules are among the most prominently studied quasi-Monte Carlo methods to approximate multivariate integrals. A rank-$1$ lattice rule to approximate an $s$-dimensional integral is fully specified by its \emph{generating vector} $\boldsymbol{z} \in \mathbb{Z}^s$ and its number of points~$N$. While there are many results on the existence of ``good'' rank-$1$ lattice rules, there are no explicit constructions of good generating vectors for dimensions $s \ge 3$. This is why one usually resorts to computer search algorithms. In a recent paper by Ebert et al. in the Journal of Complexity, we showed a component-by-component digit-by-digit (CBC-DBD) construction for good generating vectors of rank-1 lattice rules for integration of functions in weighted Korobov classes. However, the result in that paper was limited to product weights. In the present paper, we shall generalize this result to arbitrary positive weights, thereby answering an open question posed in the paper of Ebert et al. We also include a short section on how the algorithm can be implemented in the case of POD weights, by which we see that the CBC-DBD construction is competitive with the classical CBC construction.


title: Characterizing Hitchin representations over real closed fields

abstract: The goal of this article is to show that Hitchin representations over real closed field extensions $\mathbb{F}$ of $\mathbb{R}$ are exactly those representations from the fundamental group of a closed surface into $\textrm{PSL}(n,\mathbb{F})$ that are conjugate to $\mathbb{F}$-positive representations, i.e. representations that admit an equivariant limit map from the set of fixed points in the boundary of the universal cover of the surface into the set of full flags in $\mathbb{F}^n$ satisfying specific positivity properties. They form semi-algebraically connected components of the space of all representations that consist entirely of injective representations with discrete image.


title: Rasmussen invariants of Whitehead doubles and other satellites

abstract: We prove formulae for the $\mathbb{F}_2$-Rasmussen invariant of satellite knots of patterns with wrapping number 2, using the multicurve technology for Khovanov and Bar-Natan homology developed by Kotelskiy, Watson, and the second author. A new concordance homomorphism, which is independent of the Rasmussen invariant, plays a central role in these formulae. We also explore whether similar formulae hold for the Ozsv\'ath-Szab\'o invariant $\tau$.


title: Two-dimensional ferromagnetic semiconductors of rare-earth Janus 2H-GdIBr monolayer with large valley polarization

abstract: Based on a rare-earth Gd atom with 4$f$ electrons, through first-principles calculations, we demonstrate that the Janus 2H-GdIBr monolayer exhibits an intrinsic ferromagnetic (FM) semiconductor character with an indirect band gap of 0.75 eV, high Curie temperature T$_{c}$ of 260 K, significant magnetic moment of 8 $\mu_{B}$/f.u. (f.u.=formula unit), in-plane magnetic anisotropy (IMA) and large spontaneous valley polarization of 118 meV. The MAE, inter-atomic distance or angle, and T$_{c}$ can be efficiently modulated by in-plane strains and charge carrier doping. Under the strain range from $-$5% to 5% and charge carrier doping from $-$0.3e to 0.3e/f.u., the system still remains FM ordering and the corresponding T$_{c}$ can be modulated by strains from 233 K to 281 K and by charge carrier doping from 140 K to 245 K. Interestingly, under various strains, the matrix elements differences ($d_{z^{2}}$, $d_{yz}$), ($d_{x^{2}-y^{2}}$, $d_{xy}$) and ($p_{x}$, $p_{y}$) of Gd atoms dominate the MAE behaviors, which originates from the competition between the contributions of Gd-$d$, Gd-$p$ orbitals, and $p$ orbitals of halogen atoms based on the second-order perturbation theory. Inequivalent Dirac valleys are not energetic degenerate due to the time-reversal symmetry breaking in the Janus 2H-GdIBr monolayer. A considerable valley gap between the Berry curvature at the K and K$^{\prime}$ points provides an opportunity to selectively control the valley freedom and to manipulate the anomalous Hall effect. External tensile (compressive) strain further increases (decreases) the valley gap up to a maximum (minimum) value of 158 (37) meV, indicating that the valley polarization in the Janus 2H-GdIBr monolayer is robust to the external strains.


title: Neural Tangent Kernel: A Survey

abstract: A seminal work [Jacot et al., 2018] demonstrated that training a neural network under specific parameterization is equivalent to performing a particular kernel method as width goes to infinity. This equivalence opened a promising direction for applying the results of the rich literature on kernel methods to neural nets which were much harder to tackle. The present survey covers key results on kernel convergence as width goes to infinity, finite-width corrections, applications, and a discussion of the limitations of the corresponding method.


title: Recognizing DAGs with Page-Number 2 is NP-complete

abstract: The page-number of a directed acyclic graph (a DAG, for short) is the minimum $k$ for which the DAG has a topological order and a $k$-coloring of its edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological order. In 1999, Heath and Pemmaraju conjectured that the recognition of DAGs with page-number $2$ is NP-complete and proved that recognizing DAGs with page-number $6$ is NP-complete [SIAM J. Computing, 1999]. Binucci et al. recently strengthened this result by proving that recognizing DAGs with page-number $k$ is NP-complete, for every $k\geq 3$ [SoCG 2019]. In this paper, we finally resolve Heath and Pemmaraju's conjecture in the affirmative. In particular, our NP-completeness result holds even for $st$-planar graphs and planar posets.


title: Computational protein design with evolutionary-based and physics-inspired modeling: current and future synergies

abstract: Computational protein design facilitates discovery of novel proteins with prescribed structure and functionality. Exciting designs were recently reported using novel data-driven methodologies that can be roughly divided into two categories: evolutionary-based and physics-inspired approaches. The former infer characteristic sequence features shared by sets of evolutionary-related proteins, such as conserved or coevolving positions, and recombine them to generate candidates with similar structure and function. The latter estimate key biochemical properties such as structure free energy, conformational entropy or binding affinities using machine learning surrogates, and optimize them to yield improved designs. Here, we review recent progress along both tracks, discuss their strengths and weaknesses, and highlight opportunities for synergistic approaches.


title: Simple Rigs Hold Fast

abstract: An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally include maintaining a unique identity across updates. The system maintaining these invariants is responsible for not equivocating, or presenting conflicting versions of an object. We call this absence of equivocation integrity. Today the system providing integrity to an object also manages its state. Indeed, it has long been assumed that this must be the case, and that only the system managing an object's state can provide it with integrity. We show that this assumption is wrong. Objects can maintain the integrity of one system while having their state fully managed by another.


title: Scalable Multilevel and Memetic Signed Graph Clustering

abstract: In this study, we address the complex issue of graph clustering in signed graphs, which are characterized by positive and negative weighted edges representing attraction and repulsion among nodes, respectively. The primary objective is to efficiently partition the graph into clusters, ensuring that nodes within a cluster are closely linked by positive edges while minimizing negative edge connections between them. To tackle this challenge, we first develop a scalable multilevel algorithm based on label propagation and FM local search. Then we develop a memetic algorithm that incorporates a multilevel strategy. This approach meticulously combines elements of evolutionary algorithms with local refinement techniques, aiming to explore the search space more effectively than repeated executions. Our experimental analysis reveals that this our new algorithms significantly outperforms existing state-of-the-art algorithms. For example, our memetic algorithm can reach solution quality of the previous state-of-the-art algorithm up to four orders of magnitude faster.


title: OH mid-infrared emission as a diagnostic of H$_2$O UV photodissociation. II. Application to interstellar PDRs

abstract: Water photodissociation in the 114 - 144 nm UV range forms excited OH which emits at mid-infrared wavelengths via highly excited rotational lines. These lines have only been detected with Spitzer in several proto-planetary disks and shocks. Previous studies have shown they are a unique diagnostic for water photodissociation. Thanks to its high sensitivity and angular resolution, the James Webb Space Telescope (JWST) could be able to detect them in other environments such as interstellar Photo-Dissociation Regions (PDRs). In order to predict the emerging spectrum of OH, we use the Meudon PDR Code to compute the thermal and chemical structure of PDRs. The influence of thermal pressure ($P_{\rm th}/k$ = $n_{\rm H} T_{\rm K}$) and UV field strength on the integrated intensities, as well as their detectability with the JWST are studied in details. OH mid-IR emission is predicted to originate very close to the H$^0$/H$_2$ transition and is directly proportional to the column density of water photodissociated in that layer. Because neutral gas-phase formation of water requires relatively high temperatures ($T_{\rm K} \gtrsim 300~$K), the resulting OH mid-IR lines are primarily correlated with the temperature at this position, and are therefore brighter in regions with high pressure. This implies that these lines are predicted to be only detectable in strongly irradiated PDRs ($G_0^{\rm incident}$ $>$ 10$^3$) with high thermal pressure ($P_{\rm th}/k$ $\gtrsim$ 5$\times$10$^7$ K cm$^{-3}$). In the latter case, OH mid-IR lines are less dependent on the strength of the incident UV field. The detection in PDRs like the Orion bar, which should be possible, is also investigated. To conclude, OH mid-IR lines observable by JWST are a promising diagnostics for dense and strongly irradiated PDRs.


title: Modeling an urban highway: a statistical physics point of view for a nonphysical system

abstract: Nowadays, methodologies coming from studying physical systems are being applied to the description of a wide variety of complex systems. In particular, one can study thermodynamical methods to describe the overall behavior of many systems, independent of the precise microscopic construction. In this paper, a real Mexican highway is studied as a cellular automata system using available official data released by the Mexican Government. The system studied is the Cuernavaca bypass which was modified in 2016. Official data allows to compare the highway before and after the modifications. As more complex thermodynamic variables such as entropy is difficult to define and measure in discrete traffic models, it is shown how other more simple variables such as the standard deviation can be enough to have a complete analysis of the system. More specifically, it is shown how standard deviation can be seen as a measure of order. Results from the study of the highway show how, taking a minimal measure such as ordering the transit of heavy trucks can reduce up to 32\% the travel time from one end to another. Otherwise, travel times stays practically constant with respect to the original system.


title: Decentralized Coordination in Partially Observable Queueing Networks

abstract: We consider communication in a fully cooperative multi-agent system, where the agents have partial observation of the environment and must act jointly to maximize the overall reward. We have a discrete-time queueing network where agents route packets to queues based only on the partial information of the current queue lengths. The queues have limited buffer capacity, so packet drops happen when they are sent to a full queue. In this work, we implemented a communication channel for the agents to share their information in order to reduce the packet drop rate. For efficient information sharing we use an attention-based communication model, called ATVC, to select informative messages from other agents. The agents then infer the state of queues using a combination of the variational auto-encoder, VAE, and product-of-experts, PoE, model. Ultimately, the agents learn what they need to communicate and with whom, instead of communicating all the time with everyone. We also show empirically that ATVC is able to infer the true state of the queues and leads to a policy which outperforms existing baselines.


title: RSE production amplitude and possible evidence of a (pseudo)scalar boson at about 57 GeV

abstract: Threshold enhancements predicted by the Resonance-Spectrum-Expansion (RSE) production amplitude and observed by the BaBaR Collaboration in open-bottom production above the $B\bar{B}$ threshold, as well as by several collaborations in open-charm production above the $D\bar{D}$ threshold, can also be seen in diphoton amplitudes at energies above 100 GeV. One such threshold effect is visible in tau-tau and muon-muon data of the L3 Collaboration at LEP, and in the diphoton and four-lepton data of the ATLAS and CMS Collaborations at LHC, as it is enhanced by the nearby presence of the Higgs resonance. This supports the assumption of pair production at about 115 GeV. An accumulation of single-photon and dimuon data around 28 GeV observed by the L3 and the CMS Collaborations, respectively, lend further credit to the hypothesis of the existence of a (pseudo)scalar boson with a mass of about 57 GeV.


title: Regular bi-interpretability of Chevalley groups over local rings

abstract: In this paper we prove that if $G(R)=G_\pi (\Phi,R)$ $(E(R)=E_{\pi}(\Phi, R))$ is an (elementary) Chevalley group of rank $> 1$, $R$ is a local ring (with $\frac{1}{2}$ for the root systems ${\mathbf A}_2, {\mathbf B}_l, {\mathbf C}_l, {\mathbf F}_4, {\mathbf G}_2$ and with $\frac{1}{3}$ for ${\mathbf G}_{2})$, then the group $G(R)$ (or $(E(R)$) is regularly bi-interpretable with the ring~$R$. As a consequence of this theorem, we show that the class of all Chevalley groups over local rings (with the listed restrictions) is elementary definable, i.\,e., if for an arbitrary group~$H$ we have $H\equiv G_\pi(\Phi, R)$, than there exists a ring $R'\equiv R$ such that $H\cong G_\pi(\Phi,R')$.


title: Towards Reliable Simulation-Based Inference with Balanced Neural Ratio Estimation

abstract: Modern approaches for simulation-based inference rely upon deep learning surrogates to enable approximate inference with computer simulators. In practice, the estimated posteriors' computational faithfulness is, however, rarely guaranteed. For example, Hermans et al. (2021) show that current simulation-based inference algorithms can produce posteriors that are overconfident, hence risking false inferences. In this work, we introduce Balanced Neural Ratio Estimation (BNRE), a variation of the NRE algorithm designed to produce posterior approximations that tend to be more conservative, hence improving their reliability, while sharing the same Bayes optimal solution. We achieve this by enforcing a balancing condition that increases the quantified uncertainty in small simulation budget regimes while still converging to the exact posterior as the budget increases. We provide theoretical arguments showing that BNRE tends to produce posterior surrogates that are more conservative than NRE's. We evaluate BNRE on a wide variety of tasks and show that it produces conservative posterior surrogates on all tested benchmarks and simulation budgets. Finally, we emphasize that BNRE is straightforward to implement over NRE and does not introduce any computational overhead.


title: A new approach to the study of spacelike submanifolds in a spherical Robertson-Walker spacetime: characterization of the stationary spacelike submanifolds as an application

abstract: A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spacelike submanifold of such an RW spacetime can be contemplated as a spacelike submanifold of $\mathbb{L}^{n+2}$. Then, we use that situation to study $k$-dimensional stationary (i.e., of zero mean curvature vector field) spacelike submanifolds of the RW spacetime. In particular, we prove a wide extension of the Lorentzian version of the classical Takahashi theorem, giving a characterization of stationary spacelike submanifolds of $I\times_f \mathbb{S}^n$ when contemplating them as spacelike submanifolds of $\mathbb{L}^{n+2}$.


title: CH-MARL: A Multimodal Benchmark for Cooperative, Heterogeneous Multi-Agent Reinforcement Learning

abstract: We propose a multimodal (vision-and-language) benchmark for cooperative and heterogeneous multi-agent learning. We introduce a benchmark multimodal dataset with tasks involving collaboration between multiple simulated heterogeneous robots in a rich multi-room home environment. We provide an integrated learning framework, multimodal implementations of state-of-the-art multi-agent reinforcement learning techniques, and a consistent evaluation protocol. Our experiments investigate the impact of different modalities on multi-agent learning performance. We also introduce a simple message passing method between agents. The results suggest that multimodality introduces unique challenges for cooperative multi-agent learning and there is significant room for advancing multi-agent reinforcement learning methods in such settings.


title: On Planar Shadowing Curves to Closed Escaping Curves

abstract: We introduce a new dynamical system model called the shadowing problem, where a shadower chases after an escaper by always staring at and keeping the distance from him. When the escaper runs along a planar closed curve, we associate to the reduced shadowing equations the rotation number, and show that it depends only on the geometry of the escaping curve. Two notions called the critical shadowing distance and turning shadowing distance are introduced to characterize different dynamical behaviors. We show that a planar closed escaping curve could have shadowing curves of different types including periodic, subharmonic and ergodic ones, depending on the shadowing distance. Singularities of cusp type are found when the shadowing distance is large. Shadowing curves to an escaping circle are examined in details analytically and numerically. Finally, we conjecture that the critical shadowing distance and turning shadowing distance are coincident for typical escaping curves.


title: Efficient Vision-Language Pretraining with Visual Concepts and Hierarchical Alignment

abstract: Vision and Language Pretraining has become the prevalent approach for tackling multimodal downstream tasks. The current trend is to move towards ever larger models and pretraining datasets. This computational headlong rush does not seem reasonable in the long term to move toward sustainable solutions, and de facto excludes academic laboratories with limited resources. In this work, we propose a new framework, dubbed ViCHA, that efficiently exploits the input data to boost the learning by: (a) a new hierarchical cross-modal alignment loss, (b) new self-supervised scheme based on masked image modeling, (c) leveraging image-level annotations, called Visual Concepts, obtained with existing foundation models such as CLIP to boost the performance of the image encoder. Although pretrained on four times less data, our ViCHA strategy outperforms other approaches on several downstream tasks such as Image-Text Retrieval, VQA, Visual Reasoning, Visual Entailment and Visual Grounding. The code will be made publicly available here: https://github.com/mshukor/ViCHA


title: A Survey on Text-to-SQL Parsing: Concepts, Methods, and Future Directions

abstract: Text-to-SQL parsing is an essential and challenging task. The goal of text-to-SQL parsing is to convert a natural language (NL) question to its corresponding structured query language (SQL) based on the evidences provided by relational databases. Early text-to-SQL parsing systems from the database community achieved a noticeable progress with the cost of heavy human engineering and user interactions with the systems. In recent years, deep neural networks have significantly advanced this task by neural generation models, which automatically learn a mapping function from an input NL question to an output SQL query. Subsequently, the large pre-trained language models have taken the state-of-the-art of the text-to-SQL parsing task to a new level. In this survey, we present a comprehensive review on deep learning approaches for text-to-SQL parsing. First, we introduce the text-to-SQL parsing corpora which can be categorized as single-turn and multi-turn. Second, we provide a systematical overview of pre-trained language models and existing methods for text-to-SQL parsing. Third, we present readers with the challenges faced by text-to-SQL parsing and explore some potential future directions in this field.


title: A systematic review of research on the use and impact of technology for learning Chinese

abstract: In light of technological development enforced by the pandemic, learning Chinese has become more digitalised. Confucius institutes went online and now follow 2021 to 2025 Action Plans for the Construction of Teaching Resources for International Chinese Education and International Chinese Online Education. New ways of learning Chinese emerged, such as educational games and intelligent tutoring systems ITS, some of them based on artificial intelligence. The aim of this systematic review is to examine recent research published in ScienceDirect and Scopus databases on the use and impact of educational games and ITS in Chinese language learning. A total of 29 selected studies were analysed.


title: Theoretical Search for Gravitational Bound States of Tachyons

abstract: The mission here is to see if we can find bound states for tachyons in some gravitational environment. That could provide an explanation for the phenomena called Dark Matter. Starting with the standard Schwarzschild metric in General Relativity, which is for a static and spherically symmetric source, it appears unlikely that such localized orbits exist. In this work the usual assumption of isotropic pressure is replaced by a model that has different pressures in the radial and angular directions. This should be relevant to the study of neutrinos, especially if they are tachyons, in cosmological models. We do find an arrangement that allows bound orbits for tachyons in a galaxy. This is a qualitative breakthrough. Then we go on to estimate the numbers involved and find that we do have a fair quantitative fit to the experimental data on the Galaxy Rotation Curve. Additionally we are led to look in the neighborhood of a Black Hole and there we find novel orbits for tachyons.


title: Neuroevolution-Based Generation of Tests and Oracles for Games

abstract: Game-like programs have become increasingly popular in many software engineering domains such as mobile apps, web applications, or programming education. However, creating tests for programs that have the purpose of challenging human players is a daunting task for automatic test generators. Even if test generation succeeds in finding a relevant sequence of events to exercise a program, the randomized nature of games means that it may neither be possible to reproduce the exact program behavior underlying this sequence, nor to create test assertions checking if observed randomized game behavior is correct. To overcome these problems, we propose Neatest, a novel test generator based on the NeuroEvolution of Augmenting Topologies (NEAT) algorithm. Neatest systematically explores a program's statements, and creates neural networks that operate the program in order to reliably reach each statement -- that is, Neatest learns to play the game in a way to reliably cover different parts of the code. As the networks learn the actual game behavior, they can also serve as test oracles by evaluating how surprising the observed behavior of a program under test is compared to a supposedly correct version of the program. We evaluate this approach in the context of Scratch, an educational programming environment. Our empirical study on 25 non-trivial Scratch games demonstrates that our approach can successfully train neural networks that are not only far more resilient to random influences than traditional test suites consisting of static input sequences, but are also highly effective with an average mutation score of more than 65%.


title: Liquid-liquid transition in water from first principles

abstract: A longstanding question in water research is the possibility that supercooled liquid water can undergo a liquid-liquid phase transition (LLT) into high- and low-density liquids. We used several complementary molecular simulation techniques to evaluate the possibility of an LLT in an ab initio neural network model of water trained on density functional theory calculations with the SCAN exchange correlation functional. We conclusively show the existence of a first-order LLT and an associated critical point in the SCAN description of water, representing the first definitive computational evidence for an LLT in water from first principles.


title: Trade-off relations between measurement dependence and hiddenness for separable hidden variable models

abstract: The Bell theorem is investigated as a trade-off relation between assumptions for the underlying hidden variable model. Considering the introduction of a set of hidden variables itself to be one of the essential assumptions, we introduce a measure of hiddenness, a quantity that expresses the degree to which hidden variables are needed. We derive novel relaxed Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequalities for separable models, which are hidden variable models that only satisfy the locality but not the measurement independence condition, in terms of their measurement dependence and hiddenness. The derived relations can be interpreted as trade-off relations between the measurement dependence and hiddenness for separable models in the CHSH scenario. It is also revealed that the relation gives a necessary and sufficient condition for the measures to be realized by a separable model.


title: The Fermi Large Area Telescope

abstract: The Large Area Telescope, the primary instrument on the Fermi Gamma-ray Space Telescope, is an imaging, wide field-of-view gamma-ray telescope. After many improvements to the data acquisition and event analysis procedures, it now covers the broad energy range from $\sim 20$ MeV to $\sim 2$ TeV. After more than 13 years of operation since its launch in June 11, 2008, it has provided the best-resolved and deepest portrait of the gamma-ray sky. In this chapter we review the design of the instrument, the data acquisition system, calibration, and performance.


title: Reply to "Comment on `Energy Conditions in $f(Q)$ gravity'"

abstract: Recently, Avik De and L.T. How claim that we have not followed an effective theory approach for $f(Q)$ gravity, missing relevant terms to compute the energy conditions [Phys. Rev. D 102, 024057 (2020)]. They also state that we did not present how the pressure and energy density follow a set of energy condition criteria. In this reply we show how the effective density and effective pressure found in the comment yield to the same Fridmann Equations presented in our article. Therefore, we claim that the comment only introduces an equivalent path to derive the Friedmann Equations and that the extra terms found by Avik De and L.T. How are consequence of their specific definition for their effective density and effective pressure. However, such terms do not change the equations for $\rho$ and $p$. Consequently, these extra terms are not going to change the energy constraints presented by us in Phys. Rev. D 102, 024057 (2020).


title: Planarity of generalized ladder graphs

abstract: The Cartesian product of P_2 and P_n is called an n-ladder graph for a positive integer n. We call two paths P_m and P_n together with some edges each of which joins a vertex on P_m and a vertex on P_n a generalized (m,n)-ladder graph. In this paper, we completely characterize the planar generalized ladder graphs and the outerplanar generalized ladder graphs. A functigraph C(P_n ,f) is a generalized (n,n)-ladder graph. Consequently, our result solves the problem posed by A. Chen et al. (2011) to characterize planar functigraphs C(P_n ,f).


title: Tunable liquid-solid hybrid thermal metamaterials with a topology transition

abstract: Thermal metamaterials provide rich control of heat transport which is becoming the foundations of cutting-edge applications ranging from chip cooling to biomedical. However, due to the fundamental laws of physics, the manipulation of heat is much constrained in conventional thermal metamaterials where effective heat conduction with Onsager reciprocity dominates. Here, through the inclusion of thermal convection and breaking the Onsager reciprocity, we unveil a regime in thermal metamaterials and transformation thermotics that goes beyond effective heat conduction. By designing a liquid-solid hybrid thermal metamaterial, we demonstrate a continuous switch from thermal cloaking to thermal concentration in one device with external tuning. Underlying such a switch is a topology transition in the virtual space of the thermotic transformation which is achieved by tuning the liquid flow via external control. These discoveries illustrate the extraordinary heat transport in complex multi-component thermal metamaterials and pave the way toward an unprecedented regime of heat manipulation.


title: The surface tangent paradox and the difference vector quotient of a secant plane

abstract: If a one-variable function is sufficiently smooth, then the limit position of secant lines its graph is a tangent line. By analogy, one would expect that the limit position of secant planes of a two-variable smooth function is a plane tangent to its graph. Amazingly, this is not necessarily true, even when the function is a simple polynomial. Despite this paradox, we show that some analogies with the one-variable case still hold in the multi-variable context, provided we use a particular vector product: the Clifford's geometric one.


title: Nanosecond compressive fluorescence lifetime microscopy imaging via the RATS method with a direct reconstruction of lifetime maps

abstract: RAndom Temporal Signals (RATS) method has proven to be a useful and versatile method for measuring photoluminescence (PL) dynamics and fluorescence lifetime imaging (FLIM). Here, we present two fundamental development steps in the method. First, we demonstrate that by using random digital laser modulation in RATS, it is possible to implement the measurement of PL dynamics with temporal resolution in units of nanoseconds. Secondly, we propose an alternative approach to evaluating the FLIM measurements based on a single-pixel camera experiment. In contrast to the standard evaluation, which requires a lengthy iterative reconstruction of PL maps for each timepoint, here we use a limited set of predetermined PL lifetimes and calculate the amplitude maps corresponding to each lifetime. The alternative approach significantly saves post-processing time and, in addition, in a system with noise present, it shows better stability in terms of the accuracy of the FLIM spectrogram. Besides simulations that confirmed the functionality of the extension, we implemented the new advancements into a microscope optical setup for mapping PL dynamics on the micrometer scale. The presented principles were also verified experimentally by mapping a LuAG:Ce crystal surface.


title: Snowmass2021 Topical Group Report from AF07: Targets and Sources

abstract: For the next multi-megawatt accelerator generation, targets and other beam-intercepting components will face even more severe challenges due to the higher power densities, higher energy, and higher radiation. A comprehensive research and development program must be implemented to address the challenges. International collaborations such as RaDIATE or High Power Targetry Workshop should be leveraged and expanded to accelerate knowledge gain and avoid duplicated efforts. The next generation of high power targets will need novel designs allowing better high heat flux cooling methods, novel materials, advanced simulations, and better instrumentation. Four main R&D tracks were identified and discussed for targets. For electron sources, current state of art and challenges we are facing for key components such as cathodes, guns and injector design for sources R&D are presented for highly polarized electrons and unpolarized high current high brightness beams. For ion sources such as electron cyclotron resonance ion source (ECRIS), laser ion source (LIS), charge breeders, status of development are reviewed, and areas require investment for future R&D are discussed separately. Facilities critical for various source development are recommended.


title: Deep ALMA redshift search of a z~12 GLASS-JWST galaxy candidate

abstract: The James Webb Space Telescope (JWST) has discovered a surprising abundance of bright galaxy candidates in the very early Universe ($< 500$ Myrs after the Big Bang), calling into question current galaxy formation models. Spectroscopy is needed to confirm the primeval nature of these candidates, as well as to understand how the first galaxies form stars and grow. Here we present deep spectroscopic and continuum ALMA observations towards GHZ2/GLASS-z12, one of the brightest and most robust candidates at $z > 10$ identified in the GLASS-JWST Early Release Science Program. We detect a $5.8 \sigma$ line, offset 0.5" from the JWST position of GHZ2/GLASS-z12 that, associating it with the [OIII] 88 micron transition, implies a spectroscopic redshift of $z = 12.117 \pm 0.001$. We verify the detection using extensive statistical tests. The oxygen line luminosity places GHZ2/GLASS-z12 above the [OIII]-SFR relation for metal-poor galaxies, implying an enhancement of [OIII] emission in this system while the JWST-observed emission is likely a lower-metallicity region. The lack of dust emission seen by these observations is consistent with the blue UV slope observed by JWST, which suggest little dust attenuation in galaxies at this early epoch. Further observations will unambiguously confirm the redshift and shed light on the origins of the wide and offset line and physical properties of this early galaxy. This work illustrates the synergy between JWST and ALMA and paves the way for future spectroscopic surveys of $z > 10$ galaxy candidates.


title: A Variance-Reduced Stochastic Gradient Tracking Algorithm for Decentralized Optimization with Orthogonality Constraints

abstract: Decentralized optimization with orthogonality constraints is found widely in scientific computing and data science. Since the orthogonality constraints are nonconvex, it is quite challenging to design efficient algorithms. Existing approaches leverage the geometric tools from Riemannian optimization to solve this problem at the cost of high sample and communication complexities. To relieve this difficulty, based on two novel techniques that can waive the orthogonality constraints, we propose a variance-reduced stochastic gradient tracking (VRSGT) algorithm with the convergence rate of $O(1 / k)$ to a stationary point. To the best of our knowledge, VRSGT is the first algorithm for decentralized optimization with orthogonality constraints that reduces both sampling and communication complexities simultaneously. In the numerical experiments, VRSGT has a promising performance in a real-world autonomous driving application.


title: Penrose dodecahedron, Witting configuration and quantum entanglement

abstract: A model with two entangled spin-3/2 particles based on geometry of dodecahedron was suggested by Roger Penrose for formulation of analogue of Bell theorem "without probabilities." The model was later reformulated using so-called Witting configuration with 40 rays in 4D Hilbert space. However, such reformulation needs for some subtleties related with entanglement of two such configurations essential for consideration of non-locality and some other questions. Two entangled systems with quantum states described by Witting configurations are discussed in presented work. Duplication of points with respect to vertices of dodecahedron produces rather significant increase with number of symmetries in 25920/60=432 times. Quantum circuits model is a natural language for description of operations with different states and measurements of such systems.


title: Finding Near-Optimal Weight Independent Sets at Scale

abstract: Computing maximum weight independent sets in graphs is an important NP-hard optimization problem. The problem is particularly difficult to solve in large graphs for which data reduction techniques do not work well. To be more precise, state-of-the-art branch-and-reduce algorithms can solve many large-scale graphs if reductions are applicable. Otherwise, their performance quickly degrades due to branching requiring exponential time. In this paper, we develop an advanced memetic algorithm to tackle the problem, which incorporates recent data reduction techniques to compute near-optimal weighted independent sets in huge sparse networks. More precisely, we use a memetic approach to recursively choose vertices that are likely to be in a large-weight independent set. We include these vertices into the solution, and further reduce the graph. We show that identifying and removing vertices likely to be in large-weight independent sets opens up the reduction space and speeds up the computation of large-weight independent sets remarkably. Our experimental evaluation indicates that we are able to outperform state-of-the-art algorithms. For example, our two algorithm configurations compute the best results among all competing algorithms for 205 out of 207 instances. Thus can be seen as a useful tool when large-weight independent sets need to be computed in~practice.


title: Discrete spectrum of the magnetic Laplacian on perturbed half-planes

abstract: The existence of bound states for the magnetic Laplacian in unbounded domains can be quite challenging in the case of a homogeneous magnetic field. We provide an affirmative answer for almost flat corners and slightly curved half-planes when the total curvature of the boundary is positive.


title: Terrestrial planet and asteroid belt formation by Jupiter-Saturn chaotic excitation

abstract: The terrestrial planets formed by accretion of asteroid-like objects within the inner solar system's protoplanetary disk. Previous works have found that forming a small-mass Mars requires the disk to contain little mass beyond ~1.5 au (i.e., the disk mass was concentrated within this boundary). The asteroid belt also holds crucial information about the origin of such a narrow disk. Several scenarios may produce a narrow disk. However, simultaneously replicating the four terrestrial planets and the inner solar system properties remains elusive. Here, we found that chaotic excitation of disk objects generated by a near-resonant configuration of Jupiter-Saturn can create a narrow disk, allowing the formation of the terrestrial planets and the asteroid belt. Our simulations showed that this mechanism could typically deplete a massive disk beyond ~1.5 au on a 5-10 Myr timescale. The resulting terrestrial systems reproduced the current orbits and masses of Venus, Earth and Mars. Adding an inner region disk component within ~0.8-0.9 au allowed several terrestrial systems to simultaneously form analogues of the four terrestrial planets. Our terrestrial systems also frequently satisfied additional constraints: Moon-forming giant impacts occurring after a median ~30-55 Myr, late impactors represented by disk objects formed within 2 au, and effective water delivery during the first 10-20 Myr of Earth's formation. Finally, our model asteroid belt explained the asteroid belt's orbital structure, small mass and taxonomy (S-, C- and D/P-types).


title: Dynamic Data-Free Knowledge Distillation by Easy-to-Hard Learning Strategy

abstract: Data-free knowledge distillation (DFKD) is a widely-used strategy for Knowledge Distillation (KD) whose training data is not available. It trains a lightweight student model with the aid of a large pretrained teacher model without any access to training data. However, existing DFKD methods suffer from inadequate and unstable training process, as they do not adjust the generation target dynamically based on the status of the student model during learning. To address this limitation, we propose a novel DFKD method called CuDFKD. It teaches students by a dynamic strategy that gradually generates easy-to-hard pseudo samples, mirroring how humans learn. Besides, CuDFKD adapts the generation target dynamically according to the status of student model. Moreover, We provide a theoretical analysis of the majorization minimization (MM) algorithm and explain the convergence of CuDFKD. To measure the robustness and fidelity of DFKD methods, we propose two more metrics, and experiments shows CuDFKD has comparable performance to state-of-the-art (SOTA) DFKD methods on all datasets. Experiments also present that our CuDFKD has the fastest convergence and best robustness over other SOTA DFKD methods.


title: Large-scale photonic natural language processing

abstract: Modern machine learning applications require huge artificial networks demanding in computational power and memory. Light-based platforms promise ultra-fast and energy-efficient hardware, which may help in realizing next-generation data processing devices. However, current photonic networks are limited by the number of input-output nodes that can be processed in a single shot. This restricted network capacity prevents their application to relevant large-scale problems such as natural language processing. Here, we realize a photonic processor with a capacity exceeding $1.5 \times 10^{10}$ optical nodes, more than one order of magnitude larger than any previous implementation, which enables photonic large-scale text encoding and classification. By exploiting the full three-dimensional structure of the optical field propagating in free space, we overcome the interpolation threshold and reach the over-parametrized region of machine learning, a condition that allows high-performance natural language processing with a minimal fraction of training points. Our results provide a novel solution to scale-up light-driven computing and open the route to photonic language processing.


title: Constraining Europa's subsolar atmosphere with a joint analysis of HST spectral images and Galileo magnetic field data

abstract: We constrain Europa's tenuous atmosphere on the subsolar hemisphere by combining two sets of observations: oxygen emissions at 1304 {\AA} and 1356 {\AA} from Hubble Space Telescope (HST) spectral images, and Galileo magnetic field measurements from its closest encounter, the E12 flyby. We describe Europa's atmosphere with three neutral gas species: global molecular ($\mathrm{O_2}$) and atomic oxygen (O), and localized water ($\mathrm{H_2O}$) present as a near-equatorial plume and as a stable distribution concentrated around the subsolar point on the moon's trailing hemisphere. Our combined modelling based on the ratio of OI 1356 {\AA} to OI 1304 {\AA} emissions from Roth (2021) and on magnetic field data allows us to derive constraints on the density and location of $\mathrm{O_2}$ and $\mathrm{H_2O}$ in Europa's atmosphere. We demonstrate that $50\%$ of the $\mathrm{O_2}$ and between $50\%$ and $75\%$ of the $\mathrm{H_2O}$ abundances from Roth (2021) are required to jointly explain the HST and Galileo measurements. These values are conditioned on a column density of $\mathrm{O}$ close to the upper limit of $6 \times10^{16}~\mathrm{m}^{-2}$ derived by Roth (2021), and on a strongly confined stable $\mathrm{H_2O}$ atmosphere around the subsolar point. Our analysis yields column densities of $1.2 \times10^{18}~\mathrm{m}^{-2}$ for $\mathrm{O_2}$, and $1.5 \times10^{19}~\mathrm{m}^{-2}$ to $2.2 \times10^{19}~\mathrm{m}^{-2}$ at the subsolar point for $\mathrm{H_2O}$. Both column densities however still lie within the uncertainties of Roth (2021). Our results provide additional evidence for the existence of a stable $\mathrm{H_2O}$ atmosphere at Europa.


title: A Metric Lower Bound Estimate for Geodesics in the Space of K\"ahler Potentials

abstract: In this paper we establish a positive lower bound estimate for the second smallest eigenvalue of the complex Hessian of solutions to a degenerate complex Monge-Amp\`ere equation. As a consequence, we find that in the space of K\"ahler potentials any two points close to each other in $C^2$ norm can be connected by a geodesic along which the associated metrics do not degenerate.


title: Matrix periods and competition periods of Boolean Toeplitz matrices

abstract: In this paper, we study the matrix period and the competition period of Toeplitz matrices over a binary Boolean ring $\mathbb{B} = \{0,1\}$. Given subsets $S$ and $T$ of $\{1,\ldots,n-1\}$, an $n\times n$ Toeplitz matrix $A=T_n\langle S ; T \rangle$ is defined to have $1$ as the $(i,j)$-entry if and only if $j-i \in S$ or $i-j \in T$. We show that if $\max S+\min T \le n$ and $\min S+\max T \le n$, then $A$ has the matrix period $d/d'$ and the competition period $1$ where $d = \gcd (s+t \mid s \in S, t \in T)$ and $d' = \gcd(d, \min S)$. Moreover, it is shown that the limit of the matrix sequence $\{A^m(A^T)^m\}_{m=1}^\infty$ is a directed sum of matrices of all ones except zero diagonal. In many literatures we see that graph theoretic method can be used to prove strong structural properties about matrices. Likewise, we develop our work from a graph theoretic point of view.


title: Learning Binary and Sparse Permutation-Invariant Representations for Fast and Memory Efficient Whole Slide Image Search

abstract: Learning suitable Whole slide images (WSIs) representations for efficient retrieval systems is a non-trivial task. The WSI embeddings obtained from current methods are in Euclidean space not ideal for efficient WSI retrieval. Furthermore, most of the current methods require high GPU memory due to the simultaneous processing of multiple sets of patches. To address these challenges, we propose a novel framework for learning binary and sparse WSI representations utilizing a deep generative modelling and the Fisher Vector. We introduce new loss functions for learning sparse and binary permutation-invariant WSI representations that employ instance-based training achieving better memory efficiency. The learned WSI representations are validated on The Cancer Genomic Atlas (TCGA) and Liver-Kidney-Stomach (LKS) datasets. The proposed method outperforms Yottixel (a recent search engine for histopathology images) both in terms of retrieval accuracy and speed. Further, we achieve competitive performance against SOTA on the public benchmark LKS dataset for WSI classification.


title: High-frequency financial market simulation and flash crash scenarios analysis: an agent-based modelling approach

abstract: This paper describes simulations and analysis of flash crash scenarios in an agent-based modelling framework. We design, implement, and assess a novel high-frequency agent-based financial market simulator that generates realistic millisecond-level financial price time series for the E-Mini S&P 500 futures market. Specifically, a microstructure model of a single security traded on a central limit order book is provided, where different types of traders follow different behavioural rules. The model is calibrated using the machine learning surrogate modelling approach. Statistical test and moment coverage ratio results show that the model has excellent capability of reproducing realistic stylised facts in financial markets. By introducing an institutional trader that mimics the real-world Sell Algorithm on May 6th, 2010, the proposed high-frequency agent-based financial market simulator is used to simulate the Flash Crash that took place that day. We scrutinise the market dynamics during the simulated flash crash and show that the simulated dynamics are consistent with what happened in historical flash crash scenarios. With the help of Monte Carlo simulations, we discover functional relationships between the amplitude of the simulated 2010 Flash Crash and three conditions: the percentage of volume of the Sell Algorithm, the market maker inventory limit, and the trading frequency of fundamental traders. Similar analyses are carried out for mini flash crash events. An innovative "Spiking Trader" is introduced to the model, aiming at precipitating mini flash crash events. We analyse the market dynamics during the course of a typical simulated mini flash crash event and study the conditions affecting its characteristics. The proposed model can be used for testing resiliency and robustness of trading algorithms and providing advice for policymakers.


title: $n$-bridge braids and the braid index

abstract: In this work, we find a closed form formula for the braid index of an $n$-bridge braid, a class of positive braid knots which simultaneously generalizes torus knots, 1-bridge braids, and twisted torus knots. Our proof is elementary, effective, and self-contained, and partially recovers work of Birman--Kofman. Along the way, we show that the disparate definitions of twisted torus knots in the literature agree.


title: High-dimensional Imputation for the Social Sciences: a Comparison of State-of-the-art Methods

abstract: Including a large number of predictors in the imputation model underlying a multiple imputation (MI) procedure is one of the most challenging tasks imputers face. A variety of high-dimensional MI techniques can help, but there has been limited research on their relative performance. In this study, we investigated a wide range of extant high-dimensional MI techniques that can handle a large number of predictors in the imputation models and general missing data patterns. We assessed the relative performance of seven high-dimensional MI methods with a Monte Carlo simulation study and a resampling study based on real survey data. The performance of the methods was defined by the degree to which they facilitate unbiased and confidencevalid estimates of the parameters of complete data analysis models. We found that using lasso penalty or forward selection to select the predictors used in the MI model and using principal component analysis to reduce the dimensionality of auxiliary data produce the best results.


title: Optimization Methods for One Dimensional Elastodynamics

abstract: We propose a new approach for solving systems of conservation laws that admit a variational formulation of the time-discretized form, and encompasses the p-system or the system of elastodynamics. The approach consists of using constrained gradient descent for solving an implicit scheme with variational formulation, while discontinuous Galerkin finite element methods is used for the spatial discretization. The resulting optimization scheme performs well, it has an advantage on how it handles oscillations near shocks, and a disadvantage in computational cost, which can be partly alleviated by using techniques on step selection from optimization methods.


title: Breaking Down the Parallel Performance of GROMACS, a High-Performance Molecular Dynamics Software

abstract: GROMACS is one of the most widely used HPC software packages using the Molecular Dynamics (MD) simulation technique. In this work, we quantify GROMACS parallel performance using different configurations, HPC systems, and FFT libraries (FFTW, Intel MKL FFT, and FFT PACK). We break down the cost of each GROMACS computational phase and identify non-scalable stages, such as MPI communication during the 3D FFT computation when using a large number of processes. We show that the Particle-Mesh Ewald phase and the 3D FFT calculation significantly impact the GROMACS performance. Finally, we discuss performance opportunities with a particular interest in developing GROMACS for the FFT calculations.


title: Multi-Factor Pruning for Recursive Projection-Aggregation Decoding of RM Codes

abstract: The recently introduced recursive projection aggregation (RPA) decoding method for Reed-Muller (RM) codes can achieve near-maximum likelihood (ML) decoding performance. However, its high computational complexity makes its implementation challenging for time- and resource-critical applications. In this work, we present a complexity reduction technique called multi-factor pruning that reduces the computational complexity of RPA significantly. Our simulation results show that the proposed pruning approach with appropriately selected factors can reduce the complexity of RPA by up to $92\%$ for $\text{RM}(8,3)$ while keeping the comparable error-correcting performance.


title: Jacobian Methods for Dynamic Polarization Control in Optical Applications

abstract: Dynamic polarization control (DPC) is beneficial for many optical applications. It uses adjustable waveplates to perform automatic polarization tracking and manipulation. Efficient algorithms are essential to realizing an endless polarization control process at high speed. However, the standard gradientbased algorithm is not well analyzed. Here we model the DPC with a Jacobian-based control theory framework that finds a lot in common with robot kinematics. We then give a detailed analysis of the condition of the Stokes vector gradient as a Jacobian matrix. We identify the multi-stage DPC as a redundant system enabling control algorithms with null-space operations. An efficient, reset-free algorithm can be found. We anticipate more customized DPC algorithms to follow the same framework in various optical systems.


title: LED: Lexicon-Enlightened Dense Retriever for Large-Scale Retrieval

abstract: Retrieval models based on dense representations in semantic space have become an indispensable branch for first-stage retrieval. These retrievers benefit from surging advances in representation learning towards compressive global sequence-level embeddings. However, they are prone to overlook local salient phrases and entity mentions in texts, which usually play pivot roles in first-stage retrieval. To mitigate this weakness, we propose to make a dense retriever align a well-performing lexicon-aware representation model. The alignment is achieved by weakened knowledge distillations to enlighten the retriever via two aspects -- 1) a lexicon-augmented contrastive objective to challenge the dense encoder and 2) a pair-wise rank-consistent regularization to make dense model's behavior incline to the other. We evaluate our model on three public benchmarks, which shows that with a comparable lexicon-aware retriever as the teacher, our proposed dense one can bring consistent and significant improvements, and even outdo its teacher. In addition, we found our improvement on the dense retriever is complementary to the standard ranker distillation, which can further lift state-of-the-art performance.


title: Nonlinearly charged AdS black holes, extended phase space thermodynamics and Joule-Thomson expansion

abstract: We study thermodynamics and phase transitions of magnetically charged by nonlinear electrodynamics (NED) Anti-de Sitter (AdS) black holes in an extended phase space. The cosmological constant is treated as a thermodynamic pressure whereas the black hole mass is considered such as the chemical enthalpy. The horizon thermodynamics of black holes shows an analogy with the Van der Waals liquid-gas system. We define a quantities which are conjugated to the parameter of NED and a magnetic charge. It is shown that the first law of thermodynamics and the generalized Smarr relation hold. The critical exponents are the same as in the Van der Waals system. The Joule--Thomson adiabatic expansion of NED-AdS black holes is investigated because of thermodynamic behavior of black holes. The Joule--Thomson coefficient, the inversion and isenthalpic curves are discussed. The minimum of inversion temperature and the corresponding event horizon radius are obtained.