title: TROLLMAGNIFIER: Detecting State-Sponsored Troll Accounts on Reddit

abstract: Growing evidence points to recurring influence campaigns on social media, often sponsored by state actors aiming to manipulate public opinion on sensitive political topics. Typically, campaigns are performed through instrumented accounts, known as troll accounts; despite their prominence, however, little work has been done to detect these accounts in the wild. In this paper, we present TROLLMAGNIFIER, a detection system for troll accounts. Our key observation, based on analysis of known Russian-sponsored troll accounts identified by Reddit, is that they show loose coordination, often interacting with each other to further specific narratives. Therefore, troll accounts controlled by the same actor often show similarities that can be leveraged for detection. TROLLMAGNIFIER learns the typical behavior of known troll accounts and identifies more that behave similarly. We train TROLLMAGNIFIER on a set of 335 known troll accounts and run it on a large dataset of Reddit accounts. Our system identifies 1,248 potential troll accounts; we then provide a multi-faceted analysis to corroborate the correctness of our classification. In particular, 66% of the detected accounts show signs of being instrumented by malicious actors (e.g., they were created on the same exact day as a known troll, they have since been suspended by Reddit, etc.). They also discuss similar topics as the known troll accounts and exhibit temporal synchronization in their activity. Overall, we show that using TROLLMAGNIFIER, one can grow the initial knowledge of potential trolls provided by Reddit by over 300%.


title: Squares with three digits

abstract: We consider integers whose squares have just three decimal digits. Examples are e.g. given by $2108436491907081488939581538^2 = 4445504440405440505004450045555054500055550554550445444$ and $10100000000010401000000000101^2 = 102010000000210100200000110221001000002101002000000010201$. The aim of this paper is to summarize the current knowledge on squares with three digits, scattered around webpages and newsgroup postings, and to add a few new insights. While we will mostly focus on the base $B=10$, several results are presented for general values of $B$. The used mathematical tools are completely elementary. However, we give complete proofs of all statements or explicitly state them as conjectures.


title: On the hidden symmetries of $D=11$ supergravity

abstract: We report on recent developments regarding the supersymmetric Free Differential Algebra describing the vacuum structure of $D=11$ supergravity. We focus on the emergence of a hidden superalgebra underlying the theory, explaining the group-theoretical role played by the nilpotent fermionic generator naturally appearing for consistency of the construction. We also discuss the relation between this hidden superalgebra and other superalgebras of particular relevance in the context of supergravity and superstring, involving a fermionic generator with 32 components.


title: Magnetic response of interacting electrons in a spatially non-uniform disordered multi-channel system: Exact and mean-field results

abstract: In this work we explore magnetic response of interacting electrons in a spatially non-uniform disordered system, where impurities are introduced in one sector of the geometry keeping the other one free. The interaction among the electrons are taken in the well known Hubbard form which leads to several anomalous features in energy spectra and flux driven circular current, depending on the concentration of up and down spin electrons. For smaller systems with less number of electrons we present exact results which always give a clear picture to understand the basic mechanisms, while for large systems having higher number of electrons mean-field results are given. The effect of disorder is very interesting. Beyond a critical disorder, completely contrasting signature is obtained compared to uniform disordered systems, and the phenomenon becomes more promising when the Hubbard interaction is included. Along with these features, we find unusual half flux-quantum periodic current at some typical cases and a suitable explanation of it is provided. Our detailed analysis may be utilized to study magnetic response of interacting electrons in other similar kind of non-uniform disordered systems.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.str-el quant-ph


title: An improved bearing fault detection strategy based on artificial bee colony algorithm

abstract: The operating state of bearing directly affects the performance of rotating machinery and how to accurately and decisively extract features from the original vibration signal and recognize the faulty parts as early as possible is very critical. In this study, the one-dimensional ternary model which has been proved to be an effective statistical method in feature selection is introduced and shapelets transformation is proposed to calculate the parameter of it which is also the standard deviation of the transformed shaplets that is usually selected by trial and error. Moreover, XGBoost is used to recognize the faults from the obtained features, and an improved artificial bee colony algorithm(ABC) where the evolution is guided by the importance indices of different search space is proposed to optimize the parameters of XGBoost. Here the value of importance index is related to the probability of optimal solutions in certain space, thus the problem of easily falling into local optimality in traditional ABC could be avoided.The experimental results based on the failure vibration signal samples show that the average accuracy of fault signal recognition can reach 97% which is much higher than the ones corresponding to other extraction strategies, thus the ability of extraction could be improved. And with the improved artificial bee colony algorithm which is used to optimize the parameters of XGBoost, the classification accuracy could be improved from 97.02% to about 98.60% compared with the traditional classification strategy


title: On-Device Spatial Attention based Sequence Learning Approach for Scene Text Script Identification

abstract: Automatic identification of script is an essential component of a multilingual OCR engine. In this paper, we present an efficient, lightweight, real-time and on-device spatial attention based CNN-LSTM network for scene text script identification, feasible for deployment on resource constrained mobile devices. Our network consists of a CNN, equipped with a spatial attention module which helps reduce the spatial distortions present in natural images. This allows the feature extractor to generate rich image representations while ignoring the deformities and thereby, enhancing the performance of this fine grained classification task. The network also employs residue convolutional blocks to build a deep network to focus on the discriminative features of a script. The CNN learns the text feature representation by identifying each character as belonging to a particular script and the long term spatial dependencies within the text are captured using the sequence learning capabilities of the LSTM layers. Combining the spatial attention mechanism with the residue convolutional blocks, we are able to enhance the performance of the baseline CNN to build an end-to-end trainable network for script identification. The experimental results on several standard benchmarks demonstrate the effectiveness of our method. The network achieves competitive accuracy with state-of-the-art methods and is superior in terms of network size, with a total of just 1.1 million parameters and inference time of 2.7 milliseconds.


title: Frequent-Pattern Based Broadcast Scheduling for Conflict Avoidance in Multi-Channel Data Dissemination Systems

abstract: With the popularity of mobile devices, using the traditional client-server model to handle a large number of requests is very challenging. Wireless data broadcasting can be used to provide services to many users at the same time, so reducing the average access time has become a popular research topic. For example, some location-based services (LBS) consider using multiple channels to disseminate information to reduce access time. However, data conflicts may occur when multiple channels are used, where multiple data items associated with the request are broadcast at about the same time. In this article, we consider the channel switching time and identify the data conflict issue in an on-demand multi-channel dissemination system. We model the considered problem as a Data Broadcast with Conflict Avoidance (DBCA) problem and prove it is NP-complete. We hence propose the frequent-pattern based broadcast scheduling (FPBS), which provides a new variant of the frequent pattern tree, FP*-tree, to schedule the requested data. Using FPBS, the system can avoid data conflicts when assigning data items to time slots in the channels. In the simulation, we discussed two modes of FPBS: online and offline. The results show that, compared with the existing heuristic methods, FPBS can shorten the average access time by 30%.


title: Deep inelastic scattering off quark-gluon plasma and its photon emissivity

abstract: The photon emissivity of quark-gluon plasma probes the interactions in the medium and differs qualitatively between a weakly coupled and a strongly coupled plasma in the soft-photon regime. The photon emissivity is given by the product of kinematic factors and a spectral function associated with the two-point correlator of the electromagnetic current at lightlike kinematics. A certain Euclidean correlator at imaginary spatial momentum can be calculated in lattice QCD and is given by an integral over the relevant spectral function at lightlike kinematics. I present a first exploratory lattice calculation of this correlator. Secondly, I show how Euclidean correlators at imaginary spatial momenta can also be used to probe the regime of deep inelastic scattering off quark-gluon plasma, which reveals its parton distribution function.


title: Unconditional well-posedness and IMEX improvement of a family of predictor-corrector methods in micromagnetics

abstract: Recently, Kim & Wilkening (Convergence of a mass-lumped finite element method for the Landau-Lifshitz equation, Quart. Appl. Math., 76, 383-405, 2018) proposed two novel predictor-corrector methods for the Landau-Lifshitz-Gilbert equation (LLG) in micromagnetics, which models the dynamics of the magnetization in ferromagnetic materials. Both integrators are based on the so-called Landau-Lifshitz form of LLG, use mass-lumped variational formulations discretized by first-order finite elements, and only require the solution of linear systems, despite the nonlinearity of LLG. The first(-order in time) method combines a linear update with an explicit projection of an intermediate approximation onto the unit sphere in order to fulfill the LLG-inherent unit-length constraint at the discrete level. In the second(-order in time) integrator, the projection step is replaced by a linear constraint-preserving variational formulation. In this paper, we extend the analysis of the integrators by proving unconditional well-posedness and by establishing a close connection of the methods with other approaches available in the literature. Moreover, the new analysis also provides a well-posed integrator for the Schr\"odinger map equation (which is the limit case of LLG for vanishing damping). Finally, we design an implicit-explicit strategy for the treatment of the lower-order field contributions, which significantly reduces the computational cost of the schemes, while preserving their theoretical properties.


title: Strong Long-Range Spin-Spin Coupling via a Kerr Magnon Interface

abstract: Strong long-range coupling between distant spins is crucial for spin-based quantum information processing. However, achieving such a strong spin-spin coupling remains challenging. Here we propose to realize a strong coupling between two distant spins via the Kerr effect of magnons in a yttrium-iron-garnet nanosphere. By applying a microwave field on this nanosphere, the Kerr effect of magnons can induce the magnon squeezing, so that the coupling between the spin and the squeezed magnons can be exponentially enhanced. This in turn allows the spin-magnon distance to increase from nano- to micrometer scale. By considering the virtual excitation of the squeezed magnons in the dispersive regime, strong spin-spin coupling mediated by the squeezed magnons can be achieved, and a remote quantum-state transfer, as well as the nonlocal two-qubit ISWAP gate with high fidelity becomes implementable. Our approach offers a feasible scheme to perform quantum information processing among distant spins.


title: Subgroup Analysis for Longitudinal data via Semiparametric Additive Mixed Effect Model

abstract: In this paper, we propose a general subgroup analysis framework based on semiparametric additive mixed effect models in longitudinal analysis, which can identify subgroups on each covariate and estimate the corresponding regression functions simultaneously. In addition, the proposed procedure is applicable for both balanced and unbalanced longitudinal data. A backfitting combined with k-means algorithm is developed to estimate each semiparametric additive component across subgroups and detect subgroup structure on each covariate respectively. The actual number of groups is estimated by minimizing a Bayesian information criteria. The numerical studies demonstrate the efficacy and accuracy of the proposed procedure in identifying the subgroups and estimating the regression functions. In addition, we illustrate the usefulness of our method with an application to PBC data and provide a meaningful partition of the population.


title: Hyperbolae are the locus of constant angle difference

abstract: Given two points A,B in the plane, the locus of all points P for which the angles at A and B in the triangle A,B,P have a constant sum is a circular arc, by Thales' theorem. We show that the difference of these angles is kept a constant by points P on a hyperbola (albeit with foci different from A and B). Whereas hyperbolae are well-known to maintain a constant difference between the distances to their foci, the above angle property seems not to be widely known. The question was motivated by recent work by Alegr\'ia et al. and De Berg et al. on Voronoi diagrams of turning rays.


title: Einstein-Podolsky-Rosen steering based on semi-supervised machine learning

abstract: Einstein-Podolsky-Rosen(EPR)steering is a kind of powerful nonlocal quantum resource in quantum information processing such as quantum cryptography and quantum communication. Many criteria have been proposed in the past few years to detect the steerability both analytically and numerically. Supervised machine learning such as support vector machines and neural networks have also been trained to detect the EPR steerability. To implement supervised machine learning, one needs a lot of labeled quantum states by using the semidefinite programming, which is very time consuming. We present a semi-supervised support vector machine method which only uses a small portion of labeled quantum states in detecting quantum steering. We show that our approach can significantly improve the accuracies by detailed examples.


title: Lecture notes on complexity of quantifier elimination over the reals

abstract: These are lecture notes for a course I gave in mid-1990s for MSc students at the University of Bath. It presents an algorithm with singly exponential complexity for the existential theory of the reals, in the spirit of J. Renegar. The aim was to convey the main underlying ideas, so many of the proofs and finer details of algorithms are either missing or just sketched. I changed nothing in the original notes except adding references, bibliography, and correcting obvious typos.


title: Broadband beam steering for misaligned multi-mode OAM communication systems

abstract: Orbital angular momentum (OAM) at radio frequency (RF) has attracted more and more attention as a novel approach of multiplexing a set of orthogonal OAM modes on the same frequency channel to achieve high spectral efficiency (SE). However, the precondition for maintaining the orthogonality among different OAM modes is perfect alignment of the transmit and receive uniform circular arrays (UCAs), which is difficult to be satisfied in practical wireless communication scenario. Therefore, to achieve available multi-mode OAM broadband wireless communication, we first investigate the effect of oblique angles on the transmission performance of the multi-mode OAM broadband system in the non-parallel misalignment case. Then, we compare the UCA-based RF analog and baseband digital transceiver structures and corresponding beam steering schemes. Mathematical analysis and numerical simulations validate that the SE of the misaligned multi-mode OAM broadband system is quite low, while analog and digital beam steering both can significantly improve the SE of the system. However, digital beam steering can obtain higher SE than analog beam steering especially when the bandwidth and the number of array elements are large, which validates that baseband digital transceiver with digital beam steering is more suitable for multi-mode OAM broadband wireless communication systems in practice.


title: Asynchronous Locking in Metamaterials of Fluids of Light and Sound

abstract: Phonons, the quanta of vibrations, are very important for the equilibrium and dynamical properties of matter. GHz coherent phonons can also interact with and act as interconnects in a wide range of quantum systems. Harnessing and tailoring their coupling to opto-electronic excitations thus becomes highly relevant for engineered materials for quantum technologies. With this perspective we introduce polaromechanical metamaterials, two-dimensional arrays of $\mu$m-size zero-dimensional traps confining light-matter polariton fluids and GHz phonons. A strong exciton-mediated polariton-phonon interaction determines the inter-site polariton coupling with remarkable consequences for the dynamics. When locally perturbed by optical excitation, polaritons respond by locking the energy detuning between neighbor sites at integer multiples of the phonon energy, evidencing synchronization involving the polariton and phonon fields. These results open the path for the coherent control of quantum light fluids with hypersound in a scalable platform.


title: Information Theoretic Representation Distillation

abstract: Despite the empirical success of knowledge distillation, current state-of-the-art methods are computationally expensive to train, which makes them difficult to adopt in practice. To address this problem, we introduce two distinct complementary losses inspired by a cheap entropy-like estimator. These losses aim to maximise the correlation and mutual information between the student and teacher representations. Our method incurs significantly less training overheads than other approaches and achieves competitive performance to the state-of-the-art on the knowledge distillation and cross-model transfer tasks. We further demonstrate the effectiveness of our method on a binary distillation task, whereby it leads to a new state-of-the-art for binary quantisation and approaches the performance of a full precision model. Code: www.github.com/roymiles/ITRD


title: Machine learning Hadron Spectral Functions in Lattice QCD

abstract: Hadron spectral functions carry all the information of hadrons and are encoded in the Euclidean two-point correlation functions. The extraction of hadron spectral functions from the correlator is a typical ill-posed inverse problem and infinite number of solutions to this problem exists. We propose a novel neural network (sVAE) based on the Variation Auto-Encoder (VAE) and Bayesian theorem. Inspired by the maximum entropy method (MEM) we construct the loss function of the neural work such that it includes a Shannon-Jaynes entropy term and a likelihood term. The sVAE is then trained to provide the most probable spectral functions. For the training samples of spectral function we used general spectral functions produced from the Gaussian Mixture Model. After the training is done we performed the mock data tests with input spectral functions consisting 1) only a free continuum, 2) only a resonance peak, 3) a resonance peak plus a free continuum and 4) a NRQCD motivated spectral function. From the mock data test we find that the sVAE in most cases is comparable to the maximum entropy method in the quality of reconstructing spectral functions and even outperforms the MEM in the case where the spectral function has sharp peaks with insufficient number of data points in the correlator. By applying to temporal correlation functions of charmonium in the pseudoscalar channel obtained in the quenched lattice QCD at 0.75 $T_c$ on $128^3\times96$ lattices and $1.5$ $T_c$ on $128^3\times48$ lattices, we find that the resonance peak of $\eta_c$ extracted from both the sVAE and MEM has a substantial dependence on the number of points in the temporal direction ($N_\tau$) adopted in the lattice simulation and $N_\tau$ larger than 48 is needed to resolve the fate of $\eta_c$ at 1.5 $T_c$.


title: The anti-Fermi-Pasta-Ulam-Tsingou problem in one-dimensional diatomic lattices

abstract: We study the thermalization dynamics of one-dimensional diatomic lattices (which represents the simplest system possessing multi-branch phonons), exemplified by the famous Fermi-Pasta-Ulam-Tsingou (FPUT)-$\beta$ and the Toda models. Here we focus on how the system relaxes to the equilibrium state when part of highest-frequency optical modes are initially excited, which is called the anti-FPUT problem comparing with the original FPUT problem (low frequency excitations of the monatomic lattice). It is shown numerically that the final thermalization time $T_{\rm eq}$ of the diatomic FPUT-$\beta$ chain depends on whether its acoustic modes are thermalized, whereas the $T_{\rm eq}$ of the diatomic Toda chain depends on the optical ones; in addition, the metastable state of both models have different energy distributions and lifetimes. Despite these differences, in the near-integrable region, the $T_{\rm eq}$ of both models still follows the same scaling law, i.e., $T_{\rm eq}$ is inversely proportional to the square of the perturbation strength. Finally, comparisons of the thermalization behavior between different models under various initial conditions are briefly summarized.


title: Internal nonlinear transmission in an Yb mode-locked fiber laser through bifurcations

abstract: Mode-locked fiber lasers are rich dynamical systems that may present several different types of pulsed operating modes, depending on external control parameters such as pump power. A systematic experimental characterization of such regimes is a challenging problem. Here single pulse regimes of ytterbium mode-locked fiber laser are explored and related to the nonlinear amplitude modulation affecting the pulses inside the laser cavity. To understand the full dynamics of this system, average power measurements (slow time scale) have been performed and compared to simultaneous time-resolved measurements (fast time scale). The average nonlinear transmission resulting from the amplitude modulation is measured, allowing to relate the transitions between dynamical regimes to the system's nonlinearity.


title: The Norm Must Go On: Dynamic Unsupervised Domain Adaptation by Normalization

abstract: Domain adaptation is crucial to adapt a learned model to new scenarios, such as domain shifts or changing data distributions. Current approaches usually require a large amount of labeled or unlabeled data from the shifted domain. This can be a hurdle in fields which require continuous dynamic adaptation or suffer from scarcity of data, e.g. autonomous driving in challenging weather conditions. To address this problem of continuous adaptation to distribution shifts, we propose Dynamic Unsupervised Adaptation (DUA). By continuously adapting the statistics of the batch normalization layers we modify the feature representations of the model. We show that by sequentially adapting a model with only a fraction of unlabeled data, a strong performance gain can be achieved. With even less than 1% of unlabeled data from the target domain, DUA already achieves competitive results to strong baselines. In addition, the computational overhead is minimal in contrast to previous approaches. Our approach is simple, yet effective and can be applied to any architecture which uses batch normalization as one of its components. We show the utility of DUA by evaluating it on a variety of domain adaptation datasets and tasks including object recognition, digit recognition and object detection.


title: The onset and dynamics of avalanches in a rotating cylinder: From experimental data to a new geometric model

abstract: Particle image velocimetry has been applied to measure particle velocities on the free surface of a bed of particles within a rotating cylinder during avalanching. The particle velocities were used to examine the validity of existing avalanche models and to propose an alternative model. The movement of particles depends on their location on the surface of the bed: particles located near the center of the bed travel the farthest, while the distance travelled decreases at an increasing rate for particles located farther from the center. The start of an avalanche can be determined to a single initiation point, that can also be located on the bottom half of the bed; the avalanche quickly propagates through the entire free surface, with 90% of the surface in motion within 257 ms. The experimental insight is used to formulate a new geometric model, in which three equal sized sections flow down the bed during an avalanche. The predictions of the model are confirmed by experimental mixing measurements.


title: Correlated Dirac Eigenvalues and Axial Anomaly in Chiral Symmetric QCD

abstract: We investigate the Dirac eigenvalue spectrum ($\rho(\lambda,m_l)$) to study the microscopic origin of axial anomaly in high temperature phase of QCD. We propose novel relations between the derivatives ($\partial^n \rho(\lambda,m_l)/\partial m_l^n$) of the Dirac eigenvalue spectrum with respect to the quark mass ($m_l$) and the $(n+1)$-point correlations among the eigenvalues ($\lambda$) of the massless Dirac operator. Based on these relations, we present lattice QCD results for $\partial^n \rho(\lambda,m_l)/\partial m_l^n$ ($n=1, 2, 3$) with $m_l$ corresponding to pion masses $m_\pi=160-55$ MeV, and at a temperature of about 1.6 times the chiral phase transition temperature. Calculations were carried out using (2+1)-flavors of highly improved staggered quarks and the tree-level Symanzik gauge action with the physical strange quark mass, three lattice spacings $a=0.12, 0.08, 0.06$ fm, and lattices having aspect ratios $4-9$. We find that $\rho(\lambda\to0,m_l)$ develops a peaked structure. This peaked structure, which arises due to non-Poisson correlations within the infrared part of the Dirac eigenvalue spectrum, becomes sharper as $a\to0$, and its amplitude is proportional to $m_l^2$. After continuum and chiral extrapolations, we find that the axial anomaly remains manifested in two-point correlation functions of scalar and pseudo-scalar mesons in the chiral limit. We demonstrate that the behavior of $\rho(\lambda\to0,m_l)$ is responsible for it.


title: Block-transitive, point-primitive Steiner 3-designs

abstract: This paper studies the long-standing open problem of the reduction of Steiner 3-designs admitting a block-transitive automorphism group. We prove that if G acts as a point-primitive, block-transitive automorphism group of a nontrivial Steiner 3-design, then G is of affine or almost simple type.


title: A unified framework to improve the interoperability between HPC and Big Data languages and programming models

abstract: One of the most important issues in the path to the convergence of HPC and Big Data is caused by the differences in their software stacks. Despite some research efforts, the interoperability between their programming models and languages is still limited. To deal with this problem we introduce a new computing framework called IgnisHPC, whose main objective is to unify the execution of Big Data and HPC workloads in the same framework. IgnisHPC has native support for multi-language applications using JVM and non-JVM-based languages. Since MPI was used as its backbone technology, IgnisHPC takes advantage of many communication models and network architectures. Moreover, MPI applications can be directly executed in a efficient way in the framework. The main consequence is that users could combine in the same multi-language code HPC tasks (using MPI) with Big Data tasks (using MapReduce operations). The experimental evaluation demonstrates the benefits of our proposal in terms of performance and productivity with respect to other frameworks such as Apache Spark. IgnisHPC is publicly available for the Big Data and HPC research community.


title: Seeking Sinhala Sentiment: Predicting Facebook Reactions of Sinhala Posts

abstract: The Facebook network allows its users to record their reactions to text via a typology of emotions. This network, taken at scale, is therefore a prime data set of annotated sentiment data. This paper uses millions of such reactions, derived from a decade worth of Facebook post data centred around a Sri Lankan context, to model an eye of the beholder approach to sentiment detection for online Sinhala textual content. Three different sentiment analysis models are built, taking into account a limited subset of reactions, all reactions, and another that derives a positive/negative star rating value. The efficacy of these models in capturing the reactions of the observers are then computed and discussed. The analysis reveals that binary classification of reactions, for Sinhala content, is significantly more accurate than the other approaches. Furthermore, the inclusion of the like reaction hinders the capability of accurately predicting other reactions.


title: A global isochronous center is linear

abstract: Let $X$ be a polynomial vector field in $\mathbb{R}^2$ which, after one-point compactification of the plane, has a punctured neighbourhood $\dot U$ of the point at infinity which is foliated by closed orbits of $X$. If the period function of $X$ in $\dot U$ is bounded from below by a positive constant, $X$ is necessarily linear, hence conjugated, up to a nonzero constant factor, to $-y \frac{\partial}{\partial x} + x \frac{\partial}{\partial y}$. This result answers to a question posed by J. Llibre , proving e.g. that a global isochronous center is linear.


title: The semi-direct product of Poisson $G$-spaces

abstract: The notion of semi-direct product of Poisson $G$-spaces is applied to illuminate examples arising in spin-extensions of Ruijsenaars models.


title: Triangle Counting Accelerations: From Algorithm to In-Memory Computing Architecture

abstract: Triangles are the basic substructure of networks and triangle counting (TC) has been a fundamental graph computing problem in numerous fields such as social network analysis. Nevertheless, like other graph computing problems, due to the high memory-computation ratio and random memory access pattern, TC involves a large amount of data transfers thus suffers from the bandwidth bottleneck in the traditional Von-Neumann architecture. To overcome this challenge, in this paper, we propose to accelerate TC with the emerging processing-in-memory (PIM) architecture through an algorithm-architecture co-optimization manner. To enable the efficient in-memory implementations, we come up to reformulate TC with bitwise logic operations (such as AND), and develop customized graph compression and mapping techniques for efficient data flow management. With the emerging computational Spin-Transfer Torque Magnetic RAM (STT-MRAM) array, which is one of the most promising PIM enabling techniques, the device-to-architecture co-simulation results demonstrate that the proposed TC in-memory accelerator outperforms the state-of-the-art GPU and FPGA accelerations by 12.2x and 31.8x, respectively, and achieves a 34x energy efficiency improvement over the FPGA accelerator.


title: On the $p$-ranks of the ideal class groups of imaginary quadratic fields

abstract: For a prime number $p \geq 5$, we explicitly construct a family of imaginary quadratic fields $K$ with ideal class groups $Cl_{K}$ having $p$-rank ${{\rm{rk}}_{p}(Cl_{K})}$ at least $2$. We also quantitatively prove, under the assumption of the $abc$-conjecture, that for sufficiently large positive real numbers $X$ and any real number $\varepsilon$ with $0 < \varepsilon < \frac{1}{p - 1}$, the number of imaginary quadratic fields $K$ with the absolute value of the discriminant $d_{K}$ $\leq X$ and ${{\rm{rk}}_{p}(Cl_{K})} \geq 2$ is $\gg X^{\frac{1}{p - 1} - \varepsilon}$. This improves the previously known lower bound of $X^{\frac{1}{p} - \varepsilon}$ due to Byeon and the recent bound $X^{\frac{1}{p}}/(\log X)^{2}$ due to Kulkarni and Levin.


title: An analytic study of the independent coherent errors in the surface code

abstract: The realistic coherent errors could induce very different behaviors compared with their stochastic counterparts in the quantum error correction (QEC) and fault tolerant quantum computation. Their impacts are believed to be very subtle, more detrimental and hard to analyze compared to those ideal stochastic errors. In this paper, we study the independent coherent error due to the imperfect unitary rotation on each physical qubit of the toric code. We find that the surface code under coherent error satisfies generalized Knill-Laflamme (K-L) criterion and falls into the category of approximate QEC. The extra term in the generalized K-L criterion corresponds to the coherent part of the error channel at logical level, and then show that the generalized K-L criterion approaches the normal K-L criterion when the code distance becomes large. In addition, we also find that if the code with a fixed distance d is $\epsilon$-correctable, the value of $\epsilon$ describing the accuracy of the approximate QEC cannot be smaller than a lower bound. We then study the success probability of QEC under such coherent errors, and confirm that the exact success probability under coherent error is smaller than the results using Pauli twirling approximation at physical level.


title: Analysis of the nonlinear dynamics of a chirping-frequency Alfv\'en mode in a Tokamak equilibrium

abstract: Chirping Alfv\'{e}n modes are considered as potentially harmful in burning Tokamak plasmas. In this paper, the nonlinear evolution of a single-toroidal-number chirping mode is analysed by numerical particle simulation. This analysis can be simplified if the different resonant phase-space structures can be investigated as isolated ones. This can be done adopting a coordinate system that includes two constants of motion. In our simulations, we adopt as constants of motion, the magnetic momentum and the initial particle coordinates. For each resonant structure, a density-flattening region is formed around the respective resonance radius, with radial width that increases as the mode amplitude grows. It is delimited by two large negative density gradients, drifting inward and outward. With constant mode frequency, this density flattening would be responsible for the exhausting of the drive when large negative density gradients leave the resonance region. The frequency chirping, however, causes the resonance radius and the resonance region to drift inward. This drift delays the moment in which the inner density gradient reaches the inner boundary of the resonance region. On the other side, the island reconstitutes around the new resonance radius; as a consequence, the large negative density gradient further moves inward. This process continues as long as it allows to keep the large gradient within the resonance region. When this is no longer possible, the resonant structure ceases to be effective in driving the mode. To further grow, the mode has to tap a different resonant structure, possibly making use of additional frequency variations.


title: Weakly-Supervised Video Object Grounding via Causal Intervention

abstract: We target at the task of weakly-supervised video object grounding (WSVOG), where only video-sentence annotations are available during model learning. It aims to localize objects described in the sentence to visual regions in the video, which is a fundamental capability needed in pattern analysis and machine learning. Despite the recent progress, existing methods all suffer from the severe problem of spurious association, which will harm the grounding performance. In this paper, we start from the definition of WSVOG and pinpoint the spurious association from two aspects: (1) the association itself is not object-relevant but extremely ambiguous due to weak supervision, and (2) the association is unavoidably confounded by the observational bias when taking the statistics-based matching strategy in existing methods. With this in mind, we design a unified causal framework to learn the deconfounded object-relevant association for more accurate and robust video object grounding. Specifically, we learn the object-relevant association by causal intervention from the perspective of video data generation process. To overcome the problems of lacking fine-grained supervision in terms of intervention, we propose a novel spatial-temporal adversarial contrastive learning paradigm. To further remove the accompanying confounding effect within the object-relevant association, we pursue the true causality by conducting causal intervention via backdoor adjustment. Finally, the deconfounded object-relevant association is learned and optimized under a unified causal framework in an end-to-end manner. Extensive experiments on both IID and OOD testing sets of three benchmarks demonstrate its accurate and robust grounding performance against state-of-the-arts.


title: Null Model-Based Data Augmentation for Graph Classification

abstract: In network science, the null model is typically used to generate a series of graphs based on randomization as a term of comparison to verify whether a network in question displays some non-trivial features such as community structure. Since such non-trivial features play a significant role in graph classification, the null model could be useful for network data augmentation to enhance classification performance. In this paper, we propose a novel technique that combines the null model with data augmentation for graph classification. Moreover, we propose four standard null model-based augmentation methods and four approximate null model-based augmentation methods to verify and improve the performance of our graph classification technique. Our experiments demonstrate that the proposed augmentation technique has significantly achieved general improvement on the tested datasets. In addition, we find that the standard null model-based augmentation methods always outperform the approximate ones, depending on the design mechanisms of the null models. Our results indicate that the choice of non-trivial features is significant for increasing the performance of augmentation models for different network structures, which also provides a new perspective of data augmentation for studying various graph classification methods.


title: Quasi-analytic $L^p$-functions on Riemannian symmetric spaces of noncompact type, a theorem of Chernoff

abstract: A result of Chernoff gives sufficient condition for an $L^2$-function on $\R^n$ to be quasi-analytic. This is a generalization of the classical Denjoy-Carleman theorem on $\R$ and of the subsequent work on $\R^n$ by Bochner and Taylor. In this note we endeavour to obtain an exact analogue of the result of Chernoff for $L^p, p\in [1,2]$ functions on the Riemannian symmetric spaces of noncompact type. No restriction on the rank of the symmetric spaces and no condition on the symmetry of the functions is assumed.


title: On the Practical Consistency of Meta-Reinforcement Learning Algorithms

abstract: Consistency is the theoretical property of a meta learning algorithm that ensures that, under certain assumptions, it can adapt to any task at test time. An open question is whether and how theoretical consistency translates into practice, in comparison to inconsistent algorithms. In this paper, we empirically investigate this question on a set of representative meta-RL algorithms. We find that theoretically consistent algorithms can indeed usually adapt to out-of-distribution (OOD) tasks, while inconsistent ones cannot, although they can still fail in practice for reasons like poor exploration. We further find that theoretically inconsistent algorithms can be made consistent by continuing to update all agent components on the OOD tasks, and adapt as well or better than originally consistent ones. We conclude that theoretical consistency is indeed a desirable property, and inconsistent meta-RL algorithms can easily be made consistent to enjoy the same benefits.


title: Set partitions, tableaux, and subspace profiles under regular split semisimple matrices

abstract: We introduce a family of univariate polynomials indexed by integer partitions. At prime powers, they count the number of subspaces in a finite vector space that transform under a regular diagonal matrix in a specified manner. At 1, they count set partitions with specified block sizes. At 0, they count standard tableaux of specified shape. At -1, they count standard shifted tableaux of a specified shape. These polynomials are generated by a new statistic on set partitions (called the interlacing number) as well as a polynomial statistic on standard tableaux. They allow us to express q-Stirling numbers of the second kind as sums over standard tableaux and as sums over set partitions. For partitions whose parts are at most two, these polynomials are the non-zero entries of the Catalan triangle associated to the q-Hermite orthogonal polynomial sequence. In particular, when all parts are equal to two, they coincide with the polynomials defined by Touchard that enumerate chord diagrams by number of crossings.


title: MUSE spectroscopy of planetary nebulae with high abundance discrepancies

abstract: We present MUSE deep integral-field unit spectroscopy of three planetary nebulae(PNe) with high abundance discrepancy factors (ADF > 20): NGC 6778, M 1-42 and Hf 2-2. We have constructed flux maps for more than 40 emission lines, and use them to build extinction, electron temperature (T$_e$), electron density (n$_e$), and ionic abundances maps of a number of ionic species. The effects of the contribution of recombination to the auroral [N II] and [O II] lines on T$_e$ and the abundance maps of low-ionization species are evaluated using recombination diagnostics. As a result, low T$_e$ values and a downward gradient of T$_e$ are found toward the inner zones of each PN. Spatially, this nearly coincides with the increase of abundances of heavy elements measured using recombination lines in the inner regions of PNe, and strongly supports the presence of two distinct gas phases: a cold and metal-rich and a warm one with "normal" metal content. We have simultaneously constructed, for the first time, the ADF maps of O$^+$ and O$^{2+}$ and found that they centrally peak for all three PNe under study. We show that the main issue when trying to compute realistic abundances from either ORLs or CELs is to estimate the relative contribution of each gas component to the H I emission, and we present a method to evaluate it. It is also found that, for the studied high-ADF PNe, the amount of oxygen in the cold and warm regions is of the same order.


title: Nonlinear Forward-Backward Splitting with Momentum Correction

abstract: The nonlinear, or warped, resolvent recently explored by Giselsson and B\`ui-Combettes has been used to model a large set of existing and new monotone inclusion algorithms. To establish convergent algorithms based on these resolvents, corrective projection steps are utilized in both works. We present a different way of ensuring convergence by means of a nonlinear momentum term, which in many cases leads to cheaper per-iteration cost. The expressiveness of our method is demonstrated by deriving a wide range of special cases. These cases cover and expand on the forward-reflected-backward method of Malitsky-Tam, the primal-dual methods of V\~u-Condat and Chambolle-Pock, and the forward-reflected-Douglas-Rachford method of Ryu-V\~u. A new primal-dual method that uses an extra resolvent step is also presented as well as a general approach for adding momentum to any special case of our nonlinear forward-backward method, in particular all the algorithms listed above.


title: Energy Redistribution following CO$_2$ Formation on Cold Amorphous Solid Water

abstract: The formation of molecules in and on amorphous solid water (ASW) as it occurs in interstellar space releases appreciable amounts of energy that need to be dissipated to the environment. Here, energy transfer between CO$_2$ formed within and on the surface of amorphous solid water (ASW) and the surrounding water is studied. Following CO($^1 \Sigma^+$) + O($^1$D) recombination the average translational and internal energy of the water molecules increases on the $\sim 10$ ps time scale by 15 % to 20 % depending on whether the reaction takes place on the surface or in an internal cavity of ASW. Due to tight coupling between CO$_2$ and the surrounding water molecules the internal energy exhibits a peak at early times which is present for recombination on the surface but absent for the process inside ASW. Energy transfer to the water molecules is characterized by a rapid $\sim 10$ ps and a considerably slower $\sim 1$ ns component. Within 50 ps a mostly uniform temperature increase of the ASW across the entire surface is found. The results suggest that energy transfer between a molecule formed on and within ASW is efficient and helps to stabilize the products generated.


title: Microlocal Projector for Complete Flow

abstract: In this note we generalize the construction of microlocal projector to the sublevel set of autonomous function with complete Hamiltonian flow under some mild conditions. Furthermore, we mention that the condition of being complete is optimal, by providing a non-example that violates the projector property.


title: Both Style and Fog Matter: Cumulative Domain Adaptation for Semantic Foggy Scene Understanding

abstract: Although considerable progress has been made in semantic scene understanding under clear weather, it is still a tough problem under adverse weather conditions, such as dense fog, due to the uncertainty caused by imperfect observations. Besides, difficulties in collecting and labeling foggy images hinder the progress of this field. Considering the success in semantic scene understanding under clear weather, we think it is reasonable to transfer knowledge learned from clear images to the foggy domain. As such, the problem becomes to bridge the domain gap between clear images and foggy images. Unlike previous methods that mainly focus on closing the domain gap caused by fog -- defogging the foggy images or fogging the clear images, we propose to alleviate the domain gap by considering fog influence and style variation simultaneously. The motivation is based on our finding that the style-related gap and the fog-related gap can be divided and closed respectively, by adding an intermediate domain. Thus, we propose a new pipeline to cumulatively adapt style, fog and the dual-factor (style and fog). Specifically, we devise a unified framework to disentangle the style factor and the fog factor separately, and then the dual-factor from images in different domains. Furthermore, we collaborate the disentanglement of three factors with a novel cumulative loss to thoroughly disentangle these three factors. Our method achieves the state-of-the-art performance on three benchmarks and shows generalization ability in rainy and snowy scenes.


title: Learning Transformer Features for Image Quality Assessment

abstract: Objective image quality evaluation is a challenging task, which aims to measure the quality of a given image automatically. According to the availability of the reference images, there are Full-Reference and No-Reference IQA tasks, respectively. Most deep learning approaches use regression from deep features extracted by Convolutional Neural Networks. For the FR task, another option is conducting a statistical comparison on deep features. For all these methods, non-local information is usually neglected. In addition, the relationship between FR and NR tasks is less explored. Motivated by the recent success of transformers in modeling contextual information, we propose a unified IQA framework that utilizes CNN backbone and transformer encoder to extract features. The proposed framework is compatible with both FR and NR modes and allows for a joint training scheme. Evaluation experiments on three standard IQA datasets, i.e., LIVE, CSIQ and TID2013, and KONIQ-10K, show that our proposed model can achieve state-of-the-art FR performance. In addition, comparable NR performance is achieved in extensive experiments, and the results show that the NR performance can be leveraged by the joint training scheme.


title: The first-order logic of CZF is intuitionistic first-order logic

abstract: We prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics. On the way, we also show that the propositional admissible rules of CZF are exactly those of intuitionistic propositional logic.


title: Doping phase diagram of a Hubbard model for twisted bilayer cuprates

abstract: We study the twisted Hubbard model of a cuprate bilayer at a fixed twist angle $\theta=53.13^{\circ}$ using the variational cluster approximation, a method that treats short-range dynamical correlations exactly. At intermediate interlayer tunneling, the phase difference $\phi$ between the $d$-wave order parameters of two layers is $\pi$ in the overdoped regime, while it is zero in the underdoped regime, close to the Mott phase. At strong interlayer tunneling, we observe a clear time-reversal symmetry breaking phase near optimal doping, in which the phase difference $\phi$ changes continuously from 0 to $\pi$. However, this phase has trivial topology. We also apply a cluster extension of dynamical mean field theory to the same problem, but fail to detect a time-reversal breaking phase with that method.


title: Mean curvature negativity and HN-negativity of holomorphic vector bundles

abstract: In this paper, we study mean curvature negativity and HN-negativity of holomorphic vector bundles over compact Gauduchon manifolds. Using the continuity method, we prove the existence of $L^{p}$-approximate critical Hermitian structure. As its application, we show that HN-negativity is equivalent to mean curvature negativity. Furthermore, we study the limiting behavior of the Hermitian-Yang-Mills flow. We prove the minimum of the smallest eigenvalue of the mean curvature is increasing along the Hermitian-Yang-Mills flow, while the maximum of the biggest eigenvalue is decreasing; we show that they converge to certain geometric invariants. Finally, we give some applications. We prove that there must exist Hermitian metrics with positive mean curvature on ample bundles, and establish the correspondence between rational connectedness in algebraic geometry and mean curvature positivity in differential geometry.


title: Machine learning of pair-contact process with diffusion

abstract: The pair-contact process with diffusion (PCPD), a generalized model of the ordinary pair-contact process (PCP) without diffusion, exhibits a continuous absorbing phase transition. Unlike the PCP, whose nature of phase transition is clearly classified into the directed percolation (DP) universality class, the model of PCPD has been controversially discussed since its infancy. To our best knowledge, there is so far no consensus on whether the phase transition of the PCPD falls into the unknown university classes or else conveys a new kind of non-equilibrium phase transition. In this paper, both unsupervised and supervised learning are employed to study the PCPD with scrutiny. Firstly, two unsupervised learning methods, principal component analysis (PCA) and autoencoder, are taken. Our results show that both methods can cluster the original configurations of the model and provide reasonable estimates of thresholds. Therefore, no matter whether the non-equilibrium lattice model is a random process of unitary (for instance the DP) or binary (for instance the PCP), or whether it contains the diffusion motion of particles, unsupervised leaning can capture the essential, hidden information. Beyond that, supervised learning is also applied to learning the PCPD at different diffusion rates. We proposed a more accurate numerical method to determine the spatial correlation exponent $\nu_{\perp}$, which, to a large degree, avoids the uncertainty of data collapses through naked eyes. Our extensive calculations reveal that $\nu_{\perp}$ of PCPD depends continuously on the diffusion rate $D$, which supports the viewpoint that the PCPD may lead to a new type of absorbing phase transition.


title: Univariate Rational Sums of Squares

abstract: Given rational univariate polynomials f and g such that gcd(f, g) and f / gcd(f, g) are relatively prime, we show that g is non-negative on all the real roots of f if and only if g is a sum of squares of rational polynomials modulo f. We complete our study by exhibiting an algorithm that produces a certificate that a polynomial g is non-negative on the real roots of a non-zero polynomial f , when the above assumption is satisfied.


title: An Age of Information Characterization of Frameless ALOHA

abstract: We provide a characterization of the peak age of information (AoI) achievable in a random-access system operating according to the frameless ALOHA protocol. Differently from previous studies, our analysis accounts for the fact that the number of terminals contending the channel may vary over time, as a function of the duration of the previous contention period. The exact characterization of the AoI provided in this paper, which is based on a Markovian analysis, reveals the impact of some key protocol parameters such as the maximum length of the contention period, on the average peak AoI. Specifically, we show that setting this parameter so as to maximize the throughput may result in an AoI degradation.


title: Human-Object Interaction Detection via Weak Supervision

abstract: The goal of this paper is Human-object Interaction (HO-I) detection. HO-I detection aims to find interacting human-objects regions and classify their interaction from an image. Researchers obtain significant improvement in recent years by relying on strong HO-I alignment supervision from [5]. HO-I alignment supervision pairs humans with their interacted objects, and then aligns human-object pair(s) with their interaction categories. Since collecting such annotation is expensive, in this paper, we propose to detect HO-I without alignment supervision. We instead rely on image-level supervision that only enumerates existing interactions within the image without pointing where they happen. Our paper makes three contributions: i) We propose Align-Former, a visual-transformer based CNN that can detect HO-I with only image-level supervision. ii) Align-Former is equipped with HO-I align layer, that can learn to select appropriate targets to allow detector supervision. iii) We evaluate Align-Former on HICO-DET [5] and V-COCO [13], and show that Align-Former outperforms existing image-level supervised HO-I detectors by a large margin (4.71% mAP improvement from 16.14% to 20.85% on HICO-DET [5]).


title: Modular symmetry in the SMEFT

abstract: We study the modular symmetric standard-model effective field theory. We employ the stringy Ansatz on coupling structure that 4-point couplings $y^{(4)}$ of matter fields are written by a product of 3-point couplings $y^{(3)}$ of matter fields, i.e., $y^{(4)} = y^{(3)}y^{(3)}$. In this framework, we discuss the flavor structure of bilinear fermion operators and 4-fermion operators, where the holomorphic and anti-holomorphic modular forms appear. From the Ansatz, the $A_4$ modular-invariant semileptonic four-fermion operator $[\,\bar E_R \Gamma E_R][\,\bar D_R \Gamma D_R\,]$ does not lead to the flavor changing (FC) processes since this operator would be constructed in terms of gauge couplings $g$ as $y^{(3)} \sim g$. The chirality flipped bilinear operator $[\,\bar D_R \Gamma D_L\,]$ also does not lead FC if the mediated mode corresponds to the Higgs boson $H_d$. In this case, the flavor structure of this operator is the exactly same as the mass matrix. On the other hand, if the flavor structure of the operator is not the exactly same as the mass matrix, the situation would change drastically. Then, we obtain the non-trivial relations of FC transitions at nearby fixed points $\tau=i,\,\omega\,, i\infty$, which are testable in the future. As an application, we discuss the relations of the lepton flavor violation processes $ \mu\to e\gamma,\, \tau\to \mu\gamma$ and $\tau\to e\gamma$ at nearby $\tau_e=i$, where the successful lepton mass matrix was obtained. We also study the flavor changing 4-quark operators in the $A_4$ modular symmetry of quarks. As a result, the minimal flavor violation could be realized by taking relevant specific parameter sets of order one.


title: Closeness Centrality via the Condorcet Principle

abstract: We uncover a new relation between Closeness centrality and the Condorcet principle. We define a Condorcet winner in a graph as a node that compared to any other node is closer to more nodes. In other words, if we assume that nodes vote on a closer candidate, a Condorcet winner would win a two-candidate election against any other node in a plurality vote. We show that Closeness centrality and its random-walk version, Random-Walk Closeness centrality, are the only classic centrality measures that are Condorcet consistent on trees, i.e., if a Condorcet winner exists, they rank it first. While they are not Condorcet consistent in general graphs, we show that Closeness centrality satisfies the Condorcet Comparison property that states that out of two adjacent nodes, the one preferred by more nodes has higher centrality. We show that Closeness centrality is the only regular distance-based centrality with such a property.


title: In-plane resonant excitation of quantum dots in a dual-mode photonic-crystal waveguide with high $\beta$-factor

abstract: A high-quality quantum dot (QD) single-photon source is a key resource for quantum information processing. Exciting a QD emitter resonantly can greatly suppress decoherence processes and lead to highly indistinguishable single-photon generation. It has, however, remained a challenge to implement strict resonant excitation in a stable and scalable way, without compromising any of the key specs of the source (efficiency, purity, and indistinguishability). In this work, we propose a novel dual-mode photonic-crystal waveguide that realizes direct in-plane resonant excitation of the embedded QDs. The device relies on a two-mode waveguide design, which allows exploiting one mode for excitation of the QD and the other mode for collecting the emitted single photons with high efficiency. By proper engineering of the photonic bandstructure, we propose a design with single-photon collection efficiency of $\beta > 0.95$ together with a single-photon impurity of $\epsilon< 5 \times 10^{-3}$ over a broad spectral and spatial range. The device has a compact footprint of $\sim 50$ $\mu$m$^2$ and would enable stable and scalable excitation of multiple emitters for multi-photon quantum applications.


title: Revisiting the Transferability of Supervised Pretraining: an MLP Perspective

abstract: The pretrain-finetune paradigm is a classical pipeline in visual learning. Recent progress on unsupervised pretraining methods shows superior transfer performance to their supervised counterparts. This paper revisits this phenomenon and sheds new light on understanding the transferability gap between unsupervised and supervised pretraining from a multilayer perceptron (MLP) perspective. While previous works focus on the effectiveness of MLP on unsupervised image classification where pretraining and evaluation are conducted on the same dataset, we reveal that the MLP projector is also the key factor to better transferability of unsupervised pretraining methods than supervised pretraining methods. Based on this observation, we attempt to close the transferability gap between supervised and unsupervised pretraining by adding an MLP projector before the classifier in supervised pretraining. Our analysis indicates that the MLP projector can help retain intra-class variation of visual features, decrease the feature distribution distance between pretraining and evaluation datasets, and reduce feature redundancy. Extensive experiments on public benchmarks demonstrate that the added MLP projector significantly boosts the transferability of supervised pretraining, e.g. +7.2% top-1 accuracy on the concept generalization task, +5.8% top-1 accuracy for linear evaluation on 12-domain classification tasks, and +0.8% AP on COCO object detection task, making supervised pretraining comparable or even better than unsupervised pretraining.


title: Dynamical analysis and cosmological evolution in Weyl integrable gravity

abstract: We investigate the cosmological evolution for the physical parameters in Weyl integrable gravity in a Friedmann--Lema\^{\i}tre--Robertson--Walker universe with zero spatially curvature. For the matter component, we assume that it is an ideal gas, and of the Chaplygin gas. From the Weyl integrable gravity a scalar field is introduced by a geometric approach which provides an interaction with the matter component. We calculate the stationary points for the field equations and we study their stability properties. Furthermore, we solve the inverse problem for the case of an ideal gas and prove that the gravitational field equations can follow from the variation of a Lagrangian function. Finally, variational symmetries are applied for the construction of analytic and exact solutions.


title: Hidden symmetries and Large N factorisation for permutation invariant matrix observables

abstract: Permutation invariant polynomial functions of matrices have previously been studied as the observables in matrix models invariant under $S_N$, the symmetric group of all permutations of $N$ objects. In this paper, the permutation invariant matrix observables (PIMOs) of degree $k$ are shown to be in one-to-one correspondence with equivalence classes of elements in the diagrammatic partition algebra $P_k(N)$. On a 4-dimensional subspace of the 13-parameter space of $S_N$ invariant Gaussian models, there is an enhanced $O(N)$ symmetry. At a special point in this subspace, is the simplest $O(N)$ invariant action. This is used to define an inner product on the PIMOs which is expressible as a trace of a product of elements in the partition algebra. The diagram algebra $P_k(N)$ is used to prove the large $N$ factorisation property of this inner product, which generalizes a familiar large $N$ factorisation for inner products of matrix traces invariant under continuous symmetries.


title: Structure-Aware Label Smoothing for Graph Neural Networks

abstract: Representing a label distribution as a one-hot vector is a common practice in training node classification models. However, the one-hot representation may not adequately reflect the semantic characteristics of a node in different classes, as some nodes may be semantically close to their neighbors in other classes. It would cause over-confidence since the models are encouraged to assign full probabilities when classifying every node. While training models with label smoothing can ease this problem to some degree, it still fails to capture the nodes' semantic characteristics implied by the graph structures. In this work, we propose a novel SALS (\textit{Structure-Aware Label Smoothing}) method as an enhancement component to popular node classification models. SALS leverages the graph structures to capture the semantic correlations between the connected nodes and generate the structure-aware label distribution to replace the original one-hot label vectors, thus improving the node classification performance without inference costs. Extensive experiments on seven node classification benchmark datasets reveal the effectiveness of our SALS on improving both transductive and inductive node classification. Empirical results show that SALS is superior to the label smoothing method and enhances the node classification models to outperform the baseline methods.


title: Macroscopic rotation of active colloids in a colloid-polymer mixture confined inside a spherical cavity

abstract: From studies via Molecular Dynamics simulations, we report results on structure and dynamics in mixtures of active colloids and passive polymers that are confined inside a spherical container with a repulsive boundary. Such systems mimic the presence of bacteria in the background of bio-polymers. All interactions in the fully passive case are chosen in such a way that in equilibrium coexistence between colloid-rich and polymer-rich phases occurs. For most part of the studies the chosen compositions give rise to Janus structure; one side of the sphere is occupied by the colloids and the rest by the polymers. This partially wet situation mimics nearly a neutral wall in the fully passive scenario. Following the introduction of a velocity-aligning activity to the colloids, the shape of the polymer-rich domain changes to that of an ellipsoid, around the long axis of which the colloid-rich domain attains a macroscopic angular momentum. In the steady state, the orientation of this axis evolves via diffusion, implying that the passive domain is set into motion as well by the active particles.


title: Multigrid Solver on Fugaku

abstract: We report an implementation of a multigrid solver for the Clover fermion on supercomputer Fugaku, which uses A64FX CPU with Arm architecture. On Fugaku, a highly optimized implementation of BiCGStab solver with domain decomposed preconditioner for the Clover fermion, called QCD Wide SIMD library (QWS), is available. We use the preconditioner in QWS as a smoother of the multigrid solver. Our implementation shows reasonably good scaling and performance. The code is developed by using Bridge++ code framework and its extension.


title: Temperature-dependent EXAFS measurements of the Pb L3-edge allow quantification of the anharmonicity of the lead-halide bond of chlorine-substituted methylammonium (MA) lead triiodide

abstract: This article reports on studies of chlorine-substituted MAPbI3 using combined temperature-dependent XRD synchrotron and Pb-L3 edge EXAFS to analyze the anharmonicity of the lead halide bond. The EXAFS parameters were described in the orthorhombic phase by an Einstein or T2 type behavior, which was then compared with the experimental EXAFS parameters of the tetragonal/cubic phase. In the orthorhombic phase, it was observed that the asymmetry of the pair distribution function (cumulant C3) in MAPbCl3 is much lower than in MAPbI3. Compared with the behavior in the orthorhombic phase, the anharmonicity changed after the phase transition to the room temperature phase, with MAPbCl3 showing an increased anharmonicity and MAPbI3 a decrease. The differences between MAPbI3 and 2% chlorine substitution were small, both in the orthorhombic and tetragonal phases. By determining the structural parameters required to convert the effective force constants k0 and k3 resulting from the EXAFS analysis into the Morse potential parameters {\alpha} and D, we could establish that our results agree with other experimental findings. Moreover, by using XRD we found that the [PbX6] octahedra shrink slightly in the tetragonal phase of MAPbI3 and MAPbI2.94Cl0.06, towards increasing temperatures. This behavior in the tetragonal phase is related to the dominant negative tension effects observed by EXAFS.


title: Zero-Shot Cross-Lingual Machine Reading Comprehension via Inter-sentence Dependency Graph

abstract: We target the task of cross-lingual Machine Reading Comprehension (MRC) in the direct zero-shot setting, by incorporating syntactic features from Universal Dependencies (UD), and the key features we use are the syntactic relations within each sentence. While previous work has demonstrated effective syntax-guided MRC models, we propose to adopt the inter-sentence syntactic relations, in addition to the rudimentary intra-sentence relations, to further utilize the syntactic dependencies in the multi-sentence input of the MRC task. In our approach, we build the Inter-Sentence Dependency Graph (ISDG) connecting dependency trees to form global syntactic relations across sentences. We then propose the ISDG encoder that encodes the global dependency graph, addressing the inter-sentence relations via both one-hop and multi-hop dependency paths explicitly. Experiments on three multilingual MRC datasets (XQuAD, MLQA, TyDiQA-GoldP) show that our encoder that is only trained on English is able to improve the zero-shot performance on all 14 test sets covering 8 languages, with up to 3.8 F1 / 5.2 EM improvement on-average, and 5.2 F1 / 11.2 EM on certain languages. Further analysis shows the improvement can be attributed to the attention on the cross-linguistically consistent syntactic path.


title: Learning Oriented Remote Sensing Object Detection via Naive Geometric Computing

abstract: Detecting oriented objects along with estimating their rotation information is one crucial step for analyzing remote sensing images. Despite that many methods proposed recently have achieved remarkable performance, most of them directly learn to predict object directions under the supervision of only one (e.g. the rotation angle) or a few (e.g. several coordinates) groundtruth values individually. Oriented object detection would be more accurate and robust if extra constraints, with respect to proposal and rotation information regression, are adopted for joint supervision during training. To this end, we innovatively propose a mechanism that simultaneously learns the regression of horizontal proposals, oriented proposals, and rotation angles of objects in a consistent manner, via naive geometric computing, as one additional steady constraint (see Figure 1). An oriented center prior guided label assignment strategy is proposed for further enhancing the quality of proposals, yielding better performance. Extensive experiments demonstrate the model equipped with our idea significantly outperforms the baseline by a large margin to achieve a new state-of-the-art result without any extra computational burden during inference. Our proposed idea is simple and intuitive that can be readily implemented. Source codes and trained models are involved in supplementary files.


title: Simulating X-ray Photoelectron Spectra With Strong Electron Correlation Using Multireference Algebraic Diagrammatic Construction Theory

abstract: We present a new theoretical approach for the simulations of X-ray photoelectron spectra of strongly correlated molecular systems that combines multireference algebraic diagrammatic construction theory (MR-ADC) [J. Chem. Phys., 2018, 149, 204113] with core-valence separation (CVS) technique. The resulting CVS-MR-ADC approach has a low computational cost while overcoming many challenges of the conventional multireference theories associated with the calculations of excitations from inner-shell and core molecular orbitals. Our results demonstrate that the CVS-MR-ADC methods are as accurate as single-reference ADC approximations for predicting core ionization energies of weakly-correlated molecules, but are more accurate and reliable for systems with multireference character, such as stretched nitrogen molecule, ozone, and isomers of benzyne diradical. We also highlight the importance of multireference effects for the description of core-hole screening that determines the relative spacing and order of peaks in the XPS spectra of strongly correlated systems.


title: Vector DC magnetic-field sensing with reference microwave field using perfectly aligned nitrogen-vacancy centers in diamond

abstract: The measurement of vector magnetic fields with high sensitivity and spatial resolution is important for both fundamental science and engineering applications. In particular, magnetic-field sensing with nitrogen-vacancy (NV) centers in diamond is a promising approach that can outperform existing methods. Recent studies have demonstrated vector DC magnetic-field sensing with perfectly aligned NV centers, which showed a higher readout contrast than NV centers having four equally distributed orientations. However, to estimate the azimuthal angle of the target magnetic field with respect to the NV axis in these previous approaches, it is necessary to apply a strong reference DC magnetic field, which can perturb the system to be measured. This is a crucial problem, especially when attempting to measure vector magnetic fields from materials that are sensitive to applied DC magnetic fields. Here, we propose a method to measure vector DC magnetic fields using perfectly aligned NV centers without reference DC magnetic fields. More specifically, we used the direction of linearly polarized microwave fields to induce Rabi oscillation as a reference and estimated the azimuthal angle of the target fields from the Rabi frequency. We further demonstrate the potential of our method to improve sensitivity by using entangled states to overcome the standard quantum limit. Our method of using a reference microwave field is a novel technique for sensitive vector DC magnetic-field sensing.


title: Free energy analyses of cell-penetrating peptides using the weighted ensemble method

abstract: Cell-penetrating peptides (CPPs) have been widely used for drug-delivery agents; however, it has not been fully understood how they translocate across cell membranes. The Weighted Ensemble (WE) method, one of powerful and flexible path sampling techniques, can be helpful to reveal translocation paths and free energy barriers along those paths. Within the WE approach we show how Arg9 (nona-arginine) and Tat interact with a DOPC/DOPG (4:1) model membrane, and we present free energy (or potential mean of forces, PMFs) profiles of penetration, although a translocation across the membrane has not been observed in the current simulations. Two different compositions of lipid molecules were also tried and compared. Our approach can be applied to any CPPs interacting with various model membranes, and it will provide useful information regarding the transport mechanisms of CPPs.


title: A symmetrized parametric finite element method for anisotropic surface diffusion of closed curves

abstract: We deal with a long-standing problem about how to design an energy-stable numerical scheme for solving the motion of a closed curve under {\sl anisotropic surface diffusion} with a general anisotropic surface energy $\gamma(\boldsymbol{n})$ in two dimensions, where $\boldsymbol{n}$ is the outward unit normal vector. By introducing a novel symmetric positive definite surface energy matrix $Z_k(\boldsymbol{n})$ depending on the Cahn-Hoffman $\boldsymbol{\xi}$-vector and a stabilizing function $k(\boldsymbol{n})$, we first reformulate the anisotropic surface diffusion into a conservative form and then derive a new symmetrized variational formulation for the anisotropic surface diffusion with weakly or strongly anisotropic surface energies. A semi-discretization in space for the symmetrized variational formulation is proposed and its area (or mass) conservation and energy dissipation are proved. The semi-discretization is then discretized in time by either an implicit structural-preserving scheme (SP-PFEM) which preserves the area in the discretized level or a semi-implicit energy-stable method (ES-PFEM) which needs only solve a linear system at each time step. Under a relatively simple and mild condition on $\gamma(\boldsymbol{n})$, we show that both SP-PFEM and ES-PFEM are unconditionally energy-stable for almost all anisotropic surface energies $\gamma(\boldsymbol{n})$ arising in practical applications. Specifically, for several commonly-used anisotropic surface energies, we construct $Z_k(\boldsymbol{n})$ explicitly. Finally, extensive numerical results are reported to demonstrate the high performance of the proposed numerical schemes.


title: Algorithm for monochromatic vertex-disconnection of graphs

abstract: Let G be a vertex-colored graph. We call a vertex cut S of G a monochromatic vertex cut if the vertices of S are colored with the same color. The graph G is monochromatically vertex-disconnected if any two nonadjacent vertices of G has a monochromatic vertex cut separating them. The monochromatic vertex-disconnection number of G, denoted by mvd(G), is the maximum number of colors that are used to make G monochromatically vertex-disconnected. In this paper, we propose an algorithm to compute mvd(G) and give an mvd-coloring of the graph G. We run this algorithm with an example written in Java. The main part of the code is shown in Appendix B and the complete code is given on Github: https://github.com/fumiaoT/mvd-coloring.git. Secondly, inspired by the previous localization principle, we obtain a upper bound of mvd(G) for some special classes of graphs. In addition, when mvd(G) is large and all blocks of G are minimally 2-connected triangle-free graphs, we characterize G. On these bases, we show that any graph whose blocks are all minimally 2-connected graphs of small order, can be computed mvd(G) and given an mvd-coloring in polynomial time.


title: Trimap-guided Feature Mining and Fusion Network for Natural Image Matting

abstract: Utilizing trimap guidance and fusing multi-level features are two important issues for trimap-based matting with pixel-level prediction. To utilize trimap guidance, most existing approaches simply concatenate trimaps and images together to feed a deep network or apply an extra network to extract more trimap guidance, which meets the conflict between efficiency and effectiveness. For emerging content-based feature fusion, most existing matting methods only focus on local features which lack the guidance of a global feature with strong semantic information related to the interesting object. In this paper, we propose a trimap-guided feature mining and fusion network consisting of our trimap-guided non-background multi-scale pooling (TMP) module and global-local context-aware fusion (GLF) modules. Considering that trimap provides strong semantic guidance, our TMP module focuses effective feature mining on interesting objects under the guidance of trimap without extra parameters. Furthermore, our GLF modules use global semantic information of interesting objects mined by our TMP module to guide an effective global-local context-aware multi-level feature fusion. In addition, we build a common interesting object matting (CIOM) dataset to advance high-quality image matting. Particularly, results on the Composition-1k and our CIOM show that our TMFNet achieves 13% and 25% relative improvement on SAD, respectively, against a strong baseline with fewer parameters and 14% fewer FLOPs. Experimental results on the Composition-1k test set, Alphamatting benchmark, and our CIOM test set demonstrate that our method outperforms state-of-the-art approaches. Our code and models are available at https://github.com/Serge-weihao/TMF-Matting.


title: Proof of some conjectural congruences involving Domb numbers

abstract: In this paper, we mainly prove the following conjectures of Z.-H. Sun \cite{SH2}: Let $p>3$ be a prime. If $p\equiv1\pmod3$ and $p=x^2+3y^2$, then we have $$ \sum_{k=0}^{p-1}\frac{D_k}{4^k}\equiv\sum_{k=0}^{p-1}\frac{D_k}{16^k}\equiv4x^2-2p-\frac{p^2}{4x^2}\pmod{p^3}, $$ and if $p\equiv2\pmod3$, then $$ \sum_{k=0}^{p-1}\frac{D_k}{4^k}\equiv-2\sum_{k=0}^{p-1}\frac{D_k}{16^k}\equiv\frac{p^2}2\binom{\frac{p-1}2}{\frac{p-5}6}^{-2} \pmod{p^3}, $$ where $D_n=\sum_{k=0}^n\binom{n}k^2\binom{2k}k\binom{2n-2k}{n-k}$ stands for the $n$th Domb number.


title: Oxygen and Aluminum-Magnesium Isotopic Systematics of Presolar Nanospinel Grains from CI Chondrite Orgueil

abstract: Presolar oxide grains have been previously divided into several groups (Group 1 to 4) based on their isotopic compositions, which can be tied to several stellar sources. Much of available data was acquired on large grains, which may not be fully representative of the presolar grain population present in meteorites. We present here new O isotopic data for 74 small presolar oxide grains (~200 nm in diameter on average) from Orgueil and Al-Mg isotopic systematics for 25 of the grains. Based on data-model comparisons, we show that (i) Group 1 and Group 2 grains more likely originated in low-mass first-ascent (red giant branch; RGB) and/or second-ascent (asymptotic giant branch; AGB) red giant stars and (ii) Group 1 grains with (26Al/27Al)0 >= 5x10^-3 and Group 2 grains with (26Al/27Al)0 <= 1x10^-2 all likely experienced extra circulation processes in their parent low-mass stars but under different conditions, resulting in proton-capture reactions occurring at enhanced temperatures. We do not find any large 25Mg excess in Group 1 oxide grains with large 17O enrichments, which provides evidence that 25Mg is not abundantly produced in low-mass stars. We also find that our samples contain a larger proportion of Group 4 grains than so far suggested in the literature for larger presolar oxide grains (~400 nm). We also discuss our observations in the light of stellar dust production mechanisms.


title: Actions on positively curved manifolds and boundary in the orbit space

abstract: We study isometric actions of compact Lie groups on complete orientable positively curved $n$-manifolds whose orbit spaces have non-empty boundary in the sense of Alexandrov geometry. In particular, we classify quotients of the unit sphere by actions of compact simple Lie groups with non-empty boundary. We deduce from this the list of representations of compact simple Lie groups that admit non-trivial reductions. As a tool of special interest, we introduce a new geometric invariant of a compact symmetric space, namely, the minimal number of points in a "spanning set" of the space.


title: Quiver representations arising from degenerations of linear series, II

abstract: We describe all the schematic limits of families of divisors associated to a given family of rank-$r$ linear series on a one-dimensional family of projective varieties degenerating to a connected reduced projective scheme $X$ defined over any field, under the assumption that the total space of the family is regular along $X$. More precisely, the degenerating family gives rise to a special quiver $Q$, called a \emph{$\mathbb{Z}^n$-quiver}, a special representation $\mathfrak L$ of $Q$ in the category of line bundles over $X$, called a \emph{maximal exact linked net}, and a special subrepresentation $\mathfrak V$ of the representation $H^0(X,\mathfrak L)$ induced from $\mathfrak L$ by taking global sections, called a \emph{pure exact finitely generated linked net} of dimension $r+1$. Given $\mathfrak g=(Q,\mathfrak L,\mathfrak V)$ satisfying these properties, we prove that the quiver Grassmanian $\mathbb{LP}(\mathfrak{V})$ of subrepresentations of $\mathfrak{V}$ of pure dimension 1, called a \emph{linked projective space}, is local complete intersection, reduced and of pure dimension $r$. Furthermore, we prove that there is a morphism $\mathbb{LP}(\mathfrak{V})\to\text{Hilb}_X$, and that its image parameterizes all the schematic limits of divisors along the degenerating family of linear series if $\mathfrak g$ arises from one.


title: TXOP sharing with Coordinated Spatial Reuse in Multi-AP Cooperative IEEE 802.11be WLANs

abstract: IEEE 802.11be networks (aka Wi-Fi 7) will have to cope with new bandwidth-hungry and low-latency services such as eXtended Reality and multi-party cloud gaming. With this goal in mind, transmit opportunity (TXOP) sharing between coordinated access points (APs) may contribute to alleviating inter-AP contention, hence increasing the overall network throughput. This paper evaluates two coordinated TXOP sharing strategies: coordinated time division multiple access (c-TDMA) and coordinated-TDMA with spatial reuse (c-TDMA/SR). We show that, while c-TDMA alone does not result in any significant improvement in terms of the WLAN throughput, it lays the groundwork to implement coordinated SR (c-SR) techniques. To evaluate the performance of c-TDMA/SR, we propose a fair scheduler able to select the best subset of parallel transmissions in WLAN deployments, as well as the appropriate power levels to be used by APs and stations (STAs), leading to maximum performance. The results obtained for c-TDMA/SR show significant throughput gains compared with c-TDMA, with values higher than 140% in 90% of the considered scenarios.


title: Simultaneous Controller and Lyapunov Function Design for Constrained Nonlinear Systems

abstract: This paper presents a method to stabilize state and input constrained nonlinear systems using an offline optimization on variable triangulations of the set of admissible states. For control-affine systems, by choosing a continuous piecewise affine (CPA) controller structure, the non-convex optimization is formulated as iterative semi-definite programming (SDP), which can be solved efficiently using available software. The method has very general assumptions on the system's dynamics and constraints. Unlike similar existing methods, it avoids finding terminal invariant sets, solving non-convex optimizations, and does not rely on knowing a control Lyapunov function (CLF), as it finds a CPA Lyapunov function explicitly. The method enforces a desired upper-bound on the decay rate of the state norm and finds the exact region of attraction. Thus, it can be also viewed as a systematic approach for finding Lipschitz CLFs in state and input constrained control-affine systems. Using the CLF, a minimum norm controller is also formulated by quadratic programming for online application.


title: Chiral response of spin spiral-states as the origin of chiral transport fingerprints of spin textures

abstract: The transport properties of non-trivial spin textures are coming under closer scrutiny as the amount of experimental data and theoretical simulations is increasing. To extend the commonly accepted yet simplifying and approximate picture of transport effects taking place in systems with spatially varying magnetization, it is important to understand the transport properties of building blocks for spin textures $-$ the homochiral spin-spiral states. In this work, by referring to phenomenological symmetry arguments based on the gradient expansion, and explicit calculations within the Kubo framework, we study the transport properties of various types of spin-spirals in a two-dimensional model with strong spin-orbit interaction. In particular, we focus on the contributions to the magnetoconductivity, the planar Hall effect and the anomalous Hall effect, which are sensitive to the sense of chirality of the spiral states. We analyze the emergence, symmetry, and microscopic properties of the resulting chiral magnetoconductivity, chiral planar Hall effect, and chiral Hall effect in terms of spin-spiral propagation direction, cone angle, spiral pitch, and disorder strength. Our findings suggest that the presence of spin-spiral states in magnets can be readily detected in various types of magnetotransport setups. Moreover, the sizable magnitude of chiral contributions to the conductivity of skyrmions estimated from homochiral spirals implies that chiral, as opposed to topological, magnetotransport can play a prominent role for the detection of non-trivial spin textures.


title: Rank Polynomials of Fence Posets are Unimodal

abstract: We prove a conjecture of Morier-Genoud and Ovsienko that says that rank polynomials of the distributive lattices of lower ideals of fence posets are unimodal. We do this by introducing a related class of circular fence posets and proving a stronger version of the conjecture due to McConville, Sagan and Smyth. We show that the rank polynomials of circular fence posets are symmetric and conjecture that unimodality holds except in some particular cases. We also apply the recent work of Elizalde, Plante, Roby and Sagan on rowmotion on fences and show many of their homomesy results hold for the circular case as well.


title: On the Complexity of the Geometric Median Problem with Outliers

abstract: In the Geometric Median problem with outliers, we are given a finite set of points in d-dimensional real space and an integer m, the goal is to locate a new point in space (center) and choose m of the input points to minimize the sum of the Euclidean distances from the center to the chosen points. This problem can be solved "almost exactly" in polynomial time if d is fixed and admits an approximation scheme PTAS in high dimensions. However, the complexity of the problem was an open question. We prove that, if the dimension of space is not fixed, Geometric Median with outliers is strongly NP-hard, does not admit approximation schemes FPTAS unless P=NP, and is W[1]-hard with respect to the parameter m. The proof is done by a reduction from the Independent Set problem. Based on a similar reduction, we also get the NP-hardness of closely related geometric 2-clustering problems in which it is required to partition a given set of points into two balanced clusters minimizing the cost of median clustering. Finally, we study Geometric Median with outliers in $\ell_\infty$ space and prove the same complexity results as for the Euclidean problem.


title: Experiments with Ceresa classes of cyclic Fermat quotients

abstract: We give two new examples of non-hyperelliptic curves whose Ceresa cycles have torsion images in the intermediate Jacobian. For one of them, the central value of the $L$-function of the relevant motive is non-vanishing and the Ceresa cycle is torsion in the Griffiths group, consistent with the conjectures of Beilinson and Bloch. We speculate on a possible explanation for the existence of these torsion Ceresa classes, based on some computations with cyclic Fermat quotients.


title: A scatter correction method for Multi-MeV Flash Radiography

abstract: Multi-MeV flash radiography is often used as the primary diagnostic technique for high energy and density (HED) physics experiments. Primary X-ray which is attenuated by the object offers density information of the object. For a thick metal object with area density as high as 150 g/cm2, the rest part of primary X-ray which passes through the object may drowned in scattered X-ray fog. It seriously limits accuracy of density quantification. In this research, an online scatter estimation method is newly designed which can be easily arranged by putting an additional slit collimator downstream of the general X-ray radiography layout. The basic ideal of this method is that the proportion of scatter and primary x-ray will be changed a lot when x-ray passes through a slit like collimation, then scatter component is solvable with known the collimation performance of the silt on scatter and primary x-ray. Monte Carlo simulation shows that, with this method, evaluation error of average scatter is less than 2% when object area density is as high as 200 g/cm2. In addition to the average scatter, an accelerated Monte Carlo method is developed to obtain scatter distribution in iterative reconstruction. By employing the Genetic algorithm as an optimizer, reconstruction can be done by searching a density which projection with scatter best matches experimental result. This reconstruction method requires neither a priori-knowledge such as mass restriction nor regularization. Simulations show that for France Test Object (FTO), the error of reconstructed density is less than 2%, and uncertainty basically covers the real density.


title: Growth of Replacements

abstract: The following game in a similar formulation to Petri nets and chip-firing games is studied: Given a finite collection of baskets, each has an infinite number of balls of the same value. Initially, a ball from some basket is chosen to put on the table. Subsequently, in each step a ball from the table is chosen to be replaced by some $2$ balls from some baskets. Which baskets to take depend only on the ball to be replaced and they are decided in advance. Given some $n$, the object of the game is to find the maximum possible sum of values $g(n)$ for a table of $n$ balls. In this article, the sequence $g(n)/n$ for $n=1,2,\dots$ will be shown to converge to a growth rate $\lambda$. Furthermore, this value $\lambda$ is also the rate of a structure called pseudo-loop and the solution of a rather simple linear program. The structure and the linear program are closely related, e.g. a solution of the linear program gives a pseudo-loop with the rate $\lambda$ in linear time of the number of baskets, and vice versa with the pseudo-loop giving a solution to the dual linear program. A method to test in quadratic time whether a given $\lambda_0$ is smaller than $\lambda$ is provided to approximate $\lambda$. When the values of the balls are all rational, we can compute the precise value of $\lambda$ in cubic time, using the quadratic time rate test algorithm and the binary search with a special condition to stop. Four proofs of the limit $\lambda$ are given: one just uses the relation between the baskets, one uses pseudo-loops, one uses the linear program and one uses Fekete's lemma (the latest proof assumes a condition on the rule of replacements).


title: Raman spectroscopy of group-IV Ge$_{1-x}$Sn$_{x}$ alloys: theory and experiment

abstract: Ge$_{1-x}$Sn$_{x}$ alloys are a promising candidate material to realise direct-gap group-IV semiconductors for applications in Si-compatible electronic and photonic devices. Here, we present a combined theoretical and experimental analysis of Raman spectroscopy in Ge$_{1-x}$Sn$_{x}$ alloys. We describe liquid-vapour-solid growth and structural characterisation of Ge$_{1-x}$Sn$_{x}$ ($x \leq 8$%) nanowires displaying high crystalline quality, and investigate the structural and vibrational properties of the nanowires using Raman spectroscopy. Our theoretical analysis is based on a fully analytic anharmonic valence force field (VFF) potential, which describes exactly - i.e. without recourse to numerical fitting - the second-order elastic constants, third-order bulk modulus, selected second- and third-order inner elastic constants and, as a consequence, the zone-centre transverse optical phonon mode frequency and its hydrostatic and axial strain dependence. We compute bulk elastic properties via density functional theory to parametrise the VFF potential for Ge$_{1-x}$Sn$_{x}$ alloys, and apply the VFF potential to explicitly compute the Raman spectra of realistic, disordered Ge$_{1-x}$Sn$_{x}$ alloy supercells. Our atomistic theoretical calculations quantitatively capture: (i) the evolution of the measured Raman spectra with Sn composition $x$, (ii) demonstrate explicitly that the presence of short-range alloy disorder can significantly impact the shift coefficients $a$ and $b$ that respectively describe the dependence of the Raman shift on Sn composition and pseudomorphic strain, (iii) elucidate the origin of the so-called "disorder activated" mode identified in previous experimental investigations, and (iv) allow for detailed atomic-scale interpretation of measured Raman spectra. Overall, our analysis provides insight relevant to the characterisation of this emerging material system.


title: Crystal invariant theory I: Geometric RSK

abstract: Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of ${\rm SL}_m \times {\rm SL}_n$ on $m \times n$ matrices. We prove that the field of rational invariants (and ring of polynomial invariants) of each family of geometric crystal operators is generated by a set of algebraically independent polynomials, which are generalizations of the elementary symmetric polynomials in $m$ (or $n$) variables. We also give a set of algebraically independent generators for the intersection of these fields, and we explain how these fields are situated inside the larger fields of geometric $R$-matrix invariants, which were studied by Lam and the third-named author under the name loop symmetric functions. The key tool in our proof is the geometric RSK correspondence of Noumi and Yamada, which we show to be an isomorphism of geometric crystals. In an appendix jointly written with Thomas Lam, we prove the fundamental theorem of loop symmetric functions, which says that the polynomial invariants of the geometric $R$-matrix are generated by the loop elementary symmetric functions.


title: Sterile neutrino dark matter in a U(1) extension of the standard model

abstract: We explore the possibilities of dark matter production in a U(1) extension of the standard model, also called the super-weak model. The freeze-in and freeze-out mechanisms are described in detail, assuming the lightest sterile neutrino in the model as the dark matter candidate. In both scenarios we present the favoured parameter space on the plane of super-weak coupling versus the new gauge boson mass. We discuss the experimental constraints limiting each case and outline possibilities of detection.