title: Pieri and Murnaghan--Nakayama type Rules for Chern classes of Schubert Cells

abstract: We develop Pieri type as well as Murnaghan--Nakayama type formulas for equivariant Chern--Schwartz--MacPherson classes of Schubert cells in the classical flag variety. These formulas include as special cases many previously known multiplication formulas for Chern--Schwartz--MacPherson classes or Schubert classes. We apply the equivariant Murnaghan--Nakayama formula to the enumeration of rim hook tableaux.


title: Geometric structures in Topology, Geometry, Global Analysis and Dynamics

abstract: Following Thurston's geometrisation picture in dimension three, we study geometric manifolds in a more general setting in arbitrary dimensions, with respect to the following problems: (i) The existence of maps of non-zero degree (domination relation or Gromov's order); (ii) The Gromov-Thurston monotonicity problem for numerical homotopy invariants with respect to the domination relation; (iii) The existence of Anosov diffeomorphisms (Anosov-Smale conjecture).


title: Air-plasma-based all-optical temporal integration of broadband terahertz pulses

abstract: Platforms for all-optical computing possess photonic circuits made of silicon-based channels, metal wires or optical fibers, etc. However, such solid waveguides suffer from the lack of reversibility and reconfigurability if facing the next generation of light-guiding-light (LGL) computing scheme, which envisions circuitry-free and rapidly reconfigurable systems powered by dynamic interactions between light beams. Here, we proposed the ubiquitous air as a restorable LGL signal manipulation medium with transient air-plasma waveguide circuits. Briefly, by focusing femtosecond laser beams in the free space, the created atmospherical plasma filament array via photoionization was able to guide terahertz (THz) pulses along its epsilon-near-zero (ENZ) zone with a 1/f-profile spectral response. Consequently, this achieved a time-domain integration of the THz pulse in broad bandwidth. When the pumping laser was sequentially turned off and on, this multi-filament air-plasma structure was erased and rebuilt within nano- and femto-seconds, respectively, allowing rapid and repeated rearrangements of the all-optical stage. Furthermore, this air-based LGL information processing approach is promising to pave the way towards all-optical calculations during free-space directional transmission of THz waves, by which means the delivered THz signal can be remotely controlled.


title: Computation of partition functions of free fermionic solvable lattice models via permutation graphs

abstract: In this paper, we introduce a novel and general method for computing partition functions of solvable lattice models with free fermionic Boltzmann weights. The method is based on the ``permutation graph'' and the ``$F$-matrix'': the permutation graph is a generalization of the $R$-matrix, and the $F$-matrix is constructed based on the permutation graph. The method allows generalizations to lattice models that are related to Cartan types B and C. Two applications are presented: they involve an ice model related to Tokuyama's formula and another ice model representing a Whittaker function on the metaplectic double cover of $\mathrm{Sp}(2r,F)$ with $F$ being a non-archimedean local field.


title: Compound Super-oscillation Lens for Reflective Confocal Imaging

abstract: The super-oscillation lens (SOL) can achieve super-resolution focusing but have to trade-off with weaker hotspots and higher sidebands. We propose a single compound SOL to achieve reflective confocal imaging in principle without additional lenses. The designed SOL consists of an outer lens and an inner lens which play the role of focusing lens and collective lens respectively. As a result, focusing and collecting functions can be simultaneously realized. The improved system can achieve excellent imaging performance with an ultra-high resolution (<0.34{\lambda}/NA, NA stands for numerical aperture), and almost negligible side lobe ratio and no side bands, which proved superior to conventional laser scanning confocal microscopy and single SOL. This technology can be attractive for a variety of applications in super-resolution imaging and biomedical sciences.


title: Instance-based Learning for Knowledge Base Completion

abstract: In this paper, we propose a new method for knowledge base completion (KBC): instance-based learning (IBL). For example, to answer (Jill Biden, lived city,? ), instead of going directly to Washington D.C., our goal is to find Joe Biden, who has the same lived city as Jill Biden. Through prototype entities, IBL provides interpretability. We develop theories for modeling prototypes and combining IBL with translational models. Experiments on various tasks confirmed the IBL model's effectiveness and interpretability. In addition, IBL shed light on the mechanism of rule-based KBC models. Previous research has generally agreed that rule-based models provide rules with semantically compatible premises and hypotheses. We challenge this view. We begin by demonstrating that some logical rules represent {\it instance-based equivalence} (i.e. prototypes) rather than semantic compatibility. These are denoted as {\it IBL rules}. Surprisingly, despite occupying only a small portion of the rule space, IBL rules outperform non-IBL rules in all four benchmarks. We use a variety of experiments to demonstrate that rule-based models work because they have the ability to represent instance-based equivalence via IBL rules. The findings provide new insights of how rule-based models work and how to interpret their rules.


title: Flexible Basis Representations for Modeling Large Non-Gaussian Spatial Data

abstract: Nonstationary and non-Gaussian spatial data are common in various fields, including ecology (e.g., counts of animal species), epidemiology (e.g., disease incidence counts in susceptible regions), and environmental science (e.g., remotely-sensed satellite imagery). Due to modern data collection methods, the size of these datasets have grown considerably. Spatial generalized linear mixed models (SGLMMs) are a flexible class of models used to model nonstationary and non-Gaussian datasets. Despite their utility, SGLMMs can be computationally prohibitive for even moderately large datasets (e.g., 5,000 to 100,000 observed locations). To circumvent this issue, past studies have embedded nested radial basis functions into the SGLMM. However, two crucial specifications (knot placement and bandwidth parameters), which directly affect model performance, are typically fixed prior to model-fitting. We propose a novel approach to model large nonstationary and non-Gaussian spatial datasets using adaptive radial basis functions. Our approach: (1) partitions the spatial domain into subregions; (2) employs reversible-jump Markov chain Monte Carlo (RJMCMC) to infer the number and location of the knots within each partition; and (3) models the latent spatial surface using partition-varying and adaptive basis functions. Through an extensive simulation study, we show that our approach provides more accurate predictions than competing methods while preserving computational efficiency. We demonstrate our approach on two environmental datasets - incidences of plant species and counts of bird species in the United States.


title: Stochastic optimization: Glauber dynamics versus stochastic cellular automata

abstract: The topic we address in this paper concerns the minimization of a Hamiltonian function for an Ising model through the application of simulated annealing algorithms based on (single-site) Glauber dynamics and stochastic cellular automata (SCA). Some rigorous results are presented in order to justify the application of simulated annealing for a particular kind of SCA. After that, we compare the SCA algorithm and its variation, namely the $\varepsilon$-SCA algorithm, studied in this paper with the Glauber dynamics by analyzing their accuracy in obtaining optimal solutions for the max-cut problem on Erd\H{o}s-R\'enyi random graphs, the traveling salesman problem (TSP), and the minimization of Gaussian and Bernoulli spin glass Hamiltonians. We observed that the SCA performed better than the Glauber dynamics in some special cases, while the $\varepsilon$-SCA showed the highest performance in all scenarios.


title: Polynomiality of the Stretched Littlewood-Richardson Coefficients

abstract: The stretched Littlewood-Richardson coefficient $C^{t\nu}_{t\lambda,t\mu}$ was conjectured by King, Tollu, and Toumazet to be a polynomial function in $t.$ It was shown to be true by Derksen and Weyman using semi-invariants of quivers. Later, Rassart used the Steinberg's formula and the chamber complex of the Kostant partition function to define hyperplane arrangements and show a stronger result that $C^{\nu}_{\lambda,\mu}$ is indeed a polynomial in variables $\nu, \lambda, \mu$ when they lie in certain polyhedral cones. Motivated by Rassart's approach, we give an alternative proof of the polynomiality of $C^{t\nu}_{t\lambda,t\mu}$ using a simple argument about the chamber complex of the Kostant partition function in the Steinberg's formula.


title: Coupling of Magnetic Phases at Nickelate Interfaces

abstract: In this work we present a model system built out of artificially layered materials, allowing us to understand the interrelation of magnetic phases with that of the metallic-insulating phase at long length-scales, and enabling new strategies for the design and control of materials in devices. The artificial model system consists of superlattices made of SmNiO$_3$ and NdNiO$_3$ layers -- two members of the fascinating rare earth nickelate family, having different metal-to-insulator and magnetic transition temperatures. By combining two complementary techniques -- resonant elastic x-ray scattering and muon spin relaxation -- we show how the magnetic order evolves, in this complex multicomponent system, as a function of temperature and superlattice periodicity. We demonstrate that the length scale of the coupling between the antiferromagnetic and paramagnetic phases is longer than that of the electronic metal-insulator phase transition -- despite being subsidiary to it. This can be explained via a Landau theory -- where the bulk magnetic energy plus a gradient cost between magnetic and non magnetic phases are considered. These results provide a clear understanding of the coupling of magnetic transitions in systems sharing identical order parameters.


title: FedRule: Federated Rule Recommendation System with Graph Neural Networks

abstract: Much of the value that IoT (Internet-of-Things) devices bring to ``smart'' homes lies in their ability to automatically trigger other devices' actions: for example, a smart camera triggering a smart lock to unlock a door. Manually setting up these rules for smart devices or applications, however, is time-consuming and inefficient. Rule recommendation systems can automatically suggest rules for users by learning which rules are popular based on those previously deployed (e.g., in others' smart homes). Conventional recommendation formulations require a central server to record the rules used in many users' homes, which compromises their privacy and leaves them vulnerable to attacks on the central server's database of rules. Moreover, these solutions typically leverage generic user-item matrix methods that do not fully exploit the structure of the rule recommendation problem. In this paper, we propose a new rule recommendation system, dubbed as FedRule, to address these challenges. One graph is constructed per user upon the rules s/he is using, and the rule recommendation is formulated as a link prediction task in these graphs. This formulation enables us to design a federated training algorithm that is able to keep users' data private. Extensive experiments corroborate our claims by demonstrating that FedRule has comparable performance as the centralized setting and outperforms conventional solutions.


title: A Compendium of Control-Oriented Models of Gas Processing Equipment Components

abstract: This work provides linear control-oriented state space models of gas flow through standard equipment, such as valves, compressors, manifolds and non-trivial pipe geometries. After presenting the catalog of components, we show how to interconnect them: we briefly recall the matrix methodology derived elsewhere, accompanied by a Matlab example for a gas loop; secondly for the same example we provide an alternative approach using Matlab's connect function. All the aforementioned models are suited to model-based MIMO control design tools as they are in state-space form and they can be physically parametrized. Conservation of mass is the source of the algebraic constraints in and is a property subsumed in these new models. This is characterized by model transfer function properties at frequency zero. Each of the component models is shown to posses this property.


title: Pit-Pattern Classification of Colorectal Cancer Polyps Using a Hyper Sensitive Vision-Based Tactile Sensor and Dilated Residual Networks

abstract: In this study, with the goal of reducing the early detection miss rate of colorectal cancer (CRC) polyps, we propose utilizing a novel hyper-sensitive vision-based tactile sensor called HySenSe and a complementary and novel machine learning (ML) architecture that explores the potentials of utilizing dilated convolutions, the beneficial features of the ResNet architecture, and the transfer learning concept applied on a small dataset with the scale of hundreds of images. The proposed tactile sensor provides high-resolution 3D textural images of CRC polyps that will be used for their accurate classification via the proposed dilated residual network. To collect realistic surface patterns of CRC polyps for training the ML models and evaluating their performance, we first designed and additively manufactured 160 unique realistic polyp phantoms consisting of 4 different hardness. Next, the proposed architecture was compared with the state-of-the-art ML models (e.g., AlexNet and DenseNet) and proved to be superior in terms of performance and complexity.


title: Power Dependent Resonant Frequency of a Microwave Cavity due to Magnetic Levitation

abstract: Levitation of a magnet by superconductor has been an active area of research to explore the quantum mechanical phenomenon. One of the techniques used is to measure the levitation of a magnet placed inside the superconducting microwave cavity. The levitation height can be probed by measuring the change in microwave frequency. Here, we report measurements of the change in resonance frequency of the microwave cavity with the Meissner-levitated permanent magnet. The change in resonant frequency and quality factor was measured as a function of input power and temperature. The change in resonate frequency is likely due to the interaction of the magnet with the radio-frequency field inside the microwave cavity.


abstract: Quantization approximates a deep network model with floating-point numbers by the one with low bit width numbers, in order to accelerate inference and reduce computation. Quantizing a model without access to the original data, zero-shot quantization can be accomplished by fitting the real data distribution by data synthesis. However, zero-shot quantization achieves inferior performance compared to the post-training quantization with real data. We find it is because: 1) a normal generator is hard to obtain high diversity of synthetic data, since it lacks long-range information to allocate attention to global features; 2) the synthetic images aim to simulate the statistics of real data, which leads to weak intra-class heterogeneity and limited feature richness. To overcome these problems, we propose a novel deep network quantizer, dubbed Long-Range Zero-Shot Generative Deep Network Quantization (LRQ). Technically, we propose a long-range generator to learn long-range information instead of simple local features. In order for the synthetic data to contain more global features, long-range attention using large kernel convolution is incorporated into the generator. In addition, we also present an Adversarial Margin Add (AMA) module to force intra-class angular enlargement between feature vector and class center. As AMA increases the convergence difficulty of the loss function, which is opposite to the training objective of the original loss function, it forms an adversarial process. Furthermore, in order to transfer knowledge from the full-precision network, we also utilize a decoupled knowledge distillation. Extensive experiments demonstrate that LRQ obtains better performance than other competitors.


title: Microscopic mechanism for intrinsic nonlinear anomalous Hall conductivity in noncollinear antiferromagnetic metals

abstract: We theoretically investigate an intrinsic nonlinear anomalous Hall effect (INAHE) in space-time ($\mathcal{PT}$) symmetric antiferromagnetic metals. The INAHE is characterized by an asymmetric and non-dissipative part of the second-order electric conductivity tensor in the clean limit in contrast to the Drude-type symmetric conductivity tensor with dissipation. By introducing a multipole description, we show that the emergence of the INAHE is due to active odd-parity magnetic quadrupoles or magnetic toroidal dipoles under magnetic orderings. In order to clarify the microscopic origin of the INAHE, we specifically consider a fundamental tight-binding model of a three-dimensional tetragonal system. We demonstrate that the INAHE arises from the effective coupling between magnetic ordering and antisymmetric spin--orbit interaction. We also discuss essential electron hopping paths driving the INAHE.


title: CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams

abstract: This paper presents a new compressed representation of Boolean functions, called CFLOBDDs (for Context-Free-Language Ordered Binary Decision Diagrams). They are essentially a plug-compatible alternative to BDDs (Binary Decision Diagrams), and hence useful for representing certain classes of functions, matrices, graphs, relations, etc. in a highly compressed fashion. CFLOBDDs share many of the good properties of BDDs, but--in the best case--the CFLOBDD for a Boolean function can be exponentially smaller than any BDD for that function. Compared with the size of the decision tree for a function, a CFLOBDD--again, in the best case--can give a double-exponential reduction in size. They have the potential to permit applications to (i) execute much faster, and (ii) handle much larger problem instances than has been possible heretofore. CFLOBDDs are a new kind of decision diagram that go beyond BDDs (and their many relatives). The key insight is a new way to reuse sub-decision-diagrams: components of CFLOBDDs are structured hierarchically, so that sub-decision-diagrams can be treated as standalone ''procedures'' and reused. We applied CFLOBDDs to the problem of simulating quantum circuits, and found that for several standard problems the improvement in scalability--compared to simulation using BDDs--is quite dramatic. In particular, the number of qubits that could be handled using CFLOBDDs was larger, compared to BDDs, by a factor of 128x for GHZ; 1,024x for BV; 8,192x for DJ; and 128x for Grover's algorithm. (With a 15-minute timeout, the number of qubits that CFLOBDDs can handle are 65,536 for GHZ, 524,288 for BV; 4,194,304 for DJ; and 4,096 for Grover's Algorithm.)


title: On the Mod $p$ Cohomology of Pro-$p$ Iwahori Subgroups of $\operatorname{SL}_{n}(\mathbb Q_{p})$

abstract: This paper can be seen as an update to part of the author's dissertation. We study the mod $p$ cohomology of the pro-$p$ Iwahori subgroups $I$ of $\operatorname{SL}_{n}(\mathbb Q_{p})$ (and $\operatorname{GL}_{n}(\mathbb{Q}_{p})$) for $n=2$ and $n=3$. Here we use the spectral sequence $E_{1}^{s,t} = H^{s,t}(\mathfrak{g},\mathbb{F}_{p}) \Longrightarrow H^{s+t}(I,\mathbb{F}_{p})$ due to Sorensen, and we do explicit calculations with an ordered basis of $I$, which gives us a basis of $\mathfrak{g} = \mathbb{F}_{p} \otimes_{\mathbb{F}_{p}[\pi]} \operatorname{gr} I$ that we use to calculate $H^{s,t}(\mathfrak{g},\mathbb{F}_{p})$. We note that the multiplicative spectral sequence $E_{1}^{s,t} = H^{s,t}(\mathfrak{g},\mathbb{F}_{p})$ collapses on the first page by noticing that all maps on each page are necessarily trivial, and this allows us to describe the above group cohomology groups and all cup products. Finally we note some connections to cohomology of central division algebras over $\mathbb{Q}_{p}$ and point out some future research directions.


title: Energy-Based Residual Latent Transport for Unsupervised Point Cloud Completion

abstract: Unsupervised point cloud completion aims to infer the whole geometry of a partial object observation without requiring partial-complete correspondence. Differing from existing deterministic approaches, we advocate generative modeling based unsupervised point cloud completion to explore the missing correspondence. Specifically, we propose a novel framework that performs completion by transforming a partial shape encoding into a complete one using a latent transport module, and it is designed as a latent-space energy-based model (EBM) in an encoder-decoder architecture, aiming to learn a probability distribution conditioned on the partial shape encoding. To train the latent code transport module and the encoder-decoder network jointly, we introduce a residual sampling strategy, where the residual captures the domain gap between partial and complete shape latent spaces. As a generative model-based framework, our method can produce uncertainty maps consistent with human perception, leading to explainable unsupervised point cloud completion. We experimentally show that the proposed method produces high-fidelity completion results, outperforming state-of-the-art models by a significant margin.


title: Factoring using multiplicative relations modulo $n$: a subexponential algorithm inspired by the index calculus

abstract: We demonstrate that a modification of the classical index calculus algorithm can be used to factor integers. More generally, we reduce the factoring problem to finding an overdetermined system of multiplicative relations in any factor base modulo $n$, where $n$ is the integer whose factorization is sought. The algorithm has subexponential runtime $\exp(O(\sqrt{\log n \log \log n}))$ (or $\exp(O( (\log n)^{1/3} (\log \log n)^{2/3} ))$ with the addition of a number field sieve), but requires a rational linear algebra phase, which is more intensive than the linear algebra phase of the classical index calculus algorithm. The algorithm is certainly slower than the best known factoring algorithms, but is perhaps somewhat notable for its simplicity and its similarity to the index calculus.


title: Deep Learning-enabled Virtual Histological Staining of Biological Samples

abstract: Histological staining is the gold standard for tissue examination in clinical pathology and life-science research, which visualizes the tissue and cellular structures using chromatic dyes or fluorescence labels to aid the microscopic assessment of tissue. However, the current histological staining workflow requires tedious sample preparation steps, specialized laboratory infrastructure, and trained histotechnologists, making it expensive, time-consuming, and not accessible in resource-limited settings. Deep learning techniques created new opportunities to revolutionize staining methods by digitally generating histological stains using trained neural networks, providing rapid, cost-effective, and accurate alternatives to standard chemical staining methods. These techniques, broadly referred to as virtual staining, were extensively explored by multiple research groups and demonstrated to be successful in generating various types of histological stains from label-free microscopic images of unstained samples; similar approaches were also used for transforming images of an already stained tissue sample into another type of stain, performing virtual stain-to-stain transformations. In this Review, we provide a comprehensive overview of the recent research advances in deep learning-enabled virtual histological staining techniques. The basic concepts and the typical workflow of virtual staining are introduced, followed by a discussion of representative works and their technical innovations. We also share our perspectives on the future of this emerging field, aiming to inspire readers from diverse scientific fields to further expand the scope of deep learning-enabled virtual histological staining techniques and their applications.


title: Deterministic Interrelation Between Elastic Moduli in Critically Elastic Materials

abstract: Critically elastic materials - those that are rigid with a single state of self-stress - can be generated from parent systems with two states of self-stress by the removal of one of many constraints. We show that the elastic moduli of the resulting homogeneous and isotropic daughter systems are interrelated by a universal functional form parametrized by properties of the parent. In simulations of both spring networks and packings of soft spheres, judicious choice of parent systems and bond removal allows for the selection of a wide variety of moduli and Poisson's ratios in the critically elastic systems, providing a framework for versatile deterministic selection of mechanical properties.


title: Synthetic Topological Vacua of Yang-Mills Fields in Bose-Einstein Condensates

abstract: Topological vacua are a family of degenerate ground states of Yang-Mills fields with zero field strength but nontrivial topological structures. They play a fundamental role in particle physics and quantum field theory, but have not yet been experimentally observed. Here we report the first theoretical proposal and experimental realization of synthetic topological vacua with a cloud of atomic Bose-Einstein condensates. Our setup provides a promising platform to demonstrate the fundamental concept that a vacuum, rather than being empty, has rich spatial structures. The Hamiltonian for the vacuum of topological number n = 1 is synthesized and the related Hopf index is measured. The vacuum of topological number n = 2 is also realized, and we find that vacua with different topological numbers have distinctive spin textures and Hopf links. Our work opens up opportunities for exploring topological vacua and related long-sought-after instantons in tabletop experiments.


title: Magnetar wind-driven shock breakout emission after double neutron star mergers: The effect of the anisotropy of the merger ejecta

abstract: A rapidly rotating and highly magnetized remnant neutron star (NS; magnetar) could survive from a merger of double NSs and drive a powerful relativistic wind. The early interaction of this wind with the previous merger ejecta can lead to shock breakout (SBO) emission mainly in ultraviolet and soft X-ray bands, which provides an observational signature for the existence of the remnant magnetar. Here we investigate the effect of an anisotropic structure of the merger ejecta on the SBO emission. It is found that bolometric light curve of the SBO emission can be broadened, since the SBO can occur at different times for different directions. In more detail, the profile of the SBO light curve can be highly dependent on the ejecta structure and, thus, we can in principle use the SBO light curves to probe the structure of the merger ejecta in future.


title: Control-orientation, conservation of mass and model-based control of compressible fluid networks

abstract: We study a gas network flow regulation control problem showing the closed-loop consequences of using interconnected component models, which have been designed to preserve a variant of mass flow conservation without the inclusion of algebraic constraints into the dynamics. These are candidate \textit{control-oriented} models because they are linear state-space systems. This leads to a study of mass conservation in flow models and the inheritance of conservation at the network level when present at each component. Conservation is expressed as a transfer function property at DC. This property then is shown to imply the existence of integrators and other DC structure of the network model, which has important consequences for the subsequent control design. An example based on an industrial system is used to explore the facility of moving from modeling to automated interconnection or components to model reduction to digital controller design and performance evaluation. Throughout, the focus is on the teasing out of control orientation in modeling. The example shows a strong connection between the modeling and the controller design.


title: A note on power allocation for optimal capacity

abstract: The problems of determining the optimal power allocation, within maximum power bounds, to (i) maximize the minimum Shannon capacity, and (ii) minimize the weighted latency are considered. In the first case, the global optima can be achieved in polynomial time by solving a sequence of linear programs (LP). In the second case, the original non-convex problem is replaced by a convex surrogate (a geometric program), using a functional approximation. Since the approximation error is relatively low, the optima of the surrogate is close to the global optimal point of the original problem. In either cases, there is no assumption on the SINR range. The use of LPs and geometric programming make the proposed algorithms numerically efficient. Computations are provided for corroboration.


title: Enhancing Few-shot Image Classification with Cosine Transformer

abstract: This paper addresses the few-shot image classification problem, where the classification task is performed on unlabeled query samples given a small amount of labeled support samples only. One major challenge of the few-shot learning problem is the large variety of object visual appearances that prevents the support samples to represent that object comprehensively. This might result in a significant difference between support and query samples, therefore undermining the performance of few-shot algorithms. In this paper, we tackle the problem by proposing Few-shot Cosine Transformer (FS-CT), where the relational map between supports and queries is effectively obtained for the few-shot tasks. The FS-CT consists of two parts, a learnable prototypical embedding network to obtain categorical representations from support samples with hard cases, and a transformer encoder to effectively achieve the relational map from two different support and query samples. We introduce Cosine Attention, a more robust and stable attention module that enhances the transformer module significantly and therefore improves FS-CT performance from 5% to over 20% in accuracy compared to the default scaled dot-product mechanism. Our method performs competitive results in mini-ImageNet, CUB-200, and CIFAR-FS on 1-shot learning and 5-shot learning tasks across backbones and few-shot configurations. We also developed a custom few-shot dataset for Yoga pose recognition to demonstrate the potential of our algorithm for practical application. Our FS-CT with cosine attention is a lightweight, simple few-shot algorithm that can be applied for a wide range of applications, such as healthcare, medical, and security surveillance. The official implementation code of our Few-shot Cosine Transformer is available at https://github.com/vinuni-vishc/Few-Shot-Cosine-Transformer


title: Methods for Recovering Conditional Independence Graphs: A Survey

abstract: Conditional Independence (CI) graphs are a type of probabilistic graphical models that are primarily used to gain insights about feature relationships. Each edge represents the partial correlation between the connected features which gives information about their direct dependence. In this survey, we list out different methods and study the advances in techniques developed to recover CI graphs. We cover traditional optimization methods as well as recently developed deep learning architectures along with their recommended implementations. To facilitate wider adoption, we include preliminaries that consolidate associated operations, for example techniques to obtain covariance matrix for mixed datatypes.


title: Two-Person Bargaining when the Disagreement Point is Private Information

abstract: We consider two-person bargaining problems in which (only) the disagreement outcome is private (and possibly correlated) information and it is common knowledge that disagreement is inefficient. We show that if the Pareto frontier is linear, the outcome of an ex post efficient mechanism cannot depend on the disagreement payoffs. If the frontier is non-linear, the result continues to hold when the disagreement payoffs are independent or there is a player with at most two types. We discuss implications of these results for axiomatic bargaining theory and for full surplus extraction in mechanism design.


title: Densities and Weights of Quotients of Precompact Abelian Groups

abstract: The topological group version of the celebrated Banach-Mazur problem asks wether every infinite topological group has a non-trivial separable quotient group. It is known that compact groups have infinite separable metrizable quotient groups. However, as dense subgroups of compact groups, precompact groups may admit no non-trivial metrizable quotient groups, so also no non-trivial separable quotient groups. In this paper, we study the least cardinal $\mathfrak{m}$ (resp. $\mathfrak{n}$) such that every infinite precompact abelian group admits a quotient group with density character $\leq \mathfrak{m}$ (resp. with weight $\leq \mathfrak{n}$). It is shown that if $2^{<\mathfrak{c}}=\mathfrak{c}$, then $\mathfrak{m}=\mathfrak{c}$ and $\mathfrak{n}=2^\mathfrak{c}$. A more general problem is to describe the set $QW(G)$ of all possible weights of infinite proper quotient groups of a precompact abelian group $G$. We prove that for every subset $E$ of the interval $[\omega, \mathfrak{c}]$, there exists a precompact abelian group $G$ with $QW(G)=E$. If $\omega\in E$, then $G$ can be chosen to be pseudocompact. In an appendix, we give an example to show that a non-totally disconnected locally compact group may admit no separable quotient groups. This answers an open problem posed in \cite{LMT}.


title: A Statistical Study of IRIS Observational Signatures of Nanoflares and Non-thermal Particles

abstract: Nanoflares are regarded as one of the major mechanisms of magnetic energy release and coronal heating in the solar outer atmosphere. We conduct a statistical study on the response of the chromosphere and transition region to nanoflares, as observed by the Interface Region Imaging Spectrograph (IRIS), by using an algorithm for the automatic detection of these events. The initial atmospheric response to these small heating events is observed, with IRIS, as transient brightening at the footpoints of coronal loops heated to high temperatures (>4 MK). For four active regions, observed over 143 hours, we detected 1082 footpoint brightenings under the IRIS slit, and for those we extracted physical parameters from the IRIS Mg II and Si IV spectra that are formed in the chromosphere and transition region, respectively. We investigate the distribution of the spectral parameters, and the relationship between the parameters, also comparing them with predictions from RADYN numerical simulations of nanoflare-heated loops. We find that these events, and the presence of non-thermal particles, tend to be more frequent in flare productive active regions, and where the hot Atmospheric Imaging Assembly 94 \AA\ emission is higher. We find evidence for highly dynamic motions characterized by strong Si IV non-thermal velocity (not dependent on the heliocentric x coordinate, i.e., on the angle between the magnetic field and the line-of-sight) and asymmetric Mg II spectra. These findings provide tight new constraints on the properties of nanoflares, and non-thermal particles, in active regions, and their effects on the lower atmosphere.


title: Baseband control of superconducting qubits with shared microwave drives

abstract: Accurate control of qubits is the central requirement for building functional quantum processors. For the current superconducting quantum processor, high-fidelity control of qubits is mainly based on independently calibrated microwave pulses, which could differ from each other in frequencies, amplitudes, and phases. With this control strategy, the needed physical source could be challenging, especially when scaling up to large-scale quantum processors is considered. Inspired by Kane's proposal for spin-based quantum computing, here, we explore theoretically the possibility of baseband flux control of superconducting qubits with only shared and always-on microwave drives. In our strategy, qubits are by default far detuned from the drive during system idle periods, qubit readout and baseband flux-controlled two-qubit gates can thus be realized with minimal impacts from the always-on drive. By contrast, during working periods, qubits are tuned on resonance with the drive and single-qubit gates can be realized. Therefore, universal qubit control can be achieved with only baseband flux pulses and always-on shared microwave drives. We apply this strategy to the qubit architecture where tunable qubits are coupled via a tunable coupler, and the analysis shows that high-fidelity qubit control is possible. Besides, the baseband control strategy needs fewer physical resources, such as control electronics and cooling power in cryogenic systems, than that of microwave control. More importantly, the flexibility of baseband flux control could be employed for addressing the non-uniformity issue of superconducting qubits, potentially allowing the realization of multiplexing and cross-bar technologies and thus controlling large numbers of qubits with fewer control lines. We thus expect that baseband control with shared microwave drives can help build large-scale superconducting quantum processors.


title: M31N 2017-01e: Discovery of a Previous Eruption in this Enigmatic Recurrent Nova

abstract: We report the discovery of a previously unknown eruption of the recurrent nova M31N 2017-01e that took place on 11 January 2012. The earlier eruption was detected by Pan-STARRS and occurred 1847 days (5.06 yr) prior to the eruption on 31 January 2017 (M31N 2017-01e). The nova has now been seen to have had a total of four recorded eruptions (M31N 2012-01c, 2017-01e, 2019-09d, and 2022-03d) with a mean time between outbursts of just $929.5\pm6.8$ days ($2.545\pm0.019$ yr), the second shortest recurrence time known for any nova. We also show that there is a blue variable source ($\langle V \rangle = 20.56\pm0.17$, $B-V\simeq0.045$), apparently coincident with the position of the nova, that exhibits a 14.3 d periodicity. Possible models of the system are proposed, but none are entirely satisfactory.


title: Scale-Aware Crowd Counting Using a Joint Likelihood Density Map and Synthetic Fusion Pyramid Network

abstract: We develop a Synthetic Fusion Pyramid Network (SPF-Net) with a scale-aware loss function design for accurate crowd counting. Existing crowd-counting methods assume that the training annotation points were accurate and thus ignore the fact that noisy annotations can lead to large model-learning bias and counting error, especially for counting highly dense crowds that appear far away. To the best of our knowledge, this work is the first to properly handle such noise at multiple scales in end-to-end loss design and thus push the crowd counting state-of-the-art. We model the noise of crowd annotation points as a Gaussian and derive the crowd probability density map from the input image. We then approximate the joint distribution of crowd density maps with the full covariance of multiple scales and derive a low-rank approximation for tractability and efficient implementation. The derived scale-aware loss function is used to train the SPF-Net. We show that it outperforms various loss functions on four public datasets: UCF-QNRF, UCF CC 50, NWPU and ShanghaiTech A-B datasets. The proposed SPF-Net can accurately predict the locations of people in the crowd, despite training on noisy training annotations.


title: Symmetry of hypersurfaces with symmetric boundary

abstract: Let $G$ be a compact connected subgroup of $SO(n+1)$. In $\mathbb{R}^{n+1}$, we gain interior $G$-symmetry for minimal hypersurfaces and hypersurfaces of constant mean curvature (CMC) which have $G$-invariant boundaries and $G$-invariant contact angles along boundaries. The main ingredients of the proof are to build an associated Cauchy problem based on infinitesimal Lie group actions, and to apply Morrey's regularity theory and the Cauchy-Kovalevskaya Theorem. Moreover, we also investigate the same kind of symmetry inheritance from boundaries for hypersurfaces of constant higher order mean curvature and Helfrich-type hypersurfaces in $\mathbb{R}^{n+1}$.


title: Prediction of spatial distribution of debris-flow hit probability considering the source-location uncertainty

abstract: Prediction of the extent and probability of debris flow under rainfall conditions can contribute to precautionary activities through risk quantification. To this end, quantifying the debris-flow risk against rainfall involves three components: predicting the debris-flow initiation locations under rainfall conditions, setting appropriate physical parameters related to debris-flow transportation, and evaluating the affected area using numerical simulation. In this study, we developed a logistic regression method that includes rainfall and topographic parameters as explanatory variables to quantify the probability of debris-flow initiation in an actual area with disaster record. Moreover, an objective parameter-set selection was introduced by evaluating the agreement between the simulation results with multiple parameters and the erosion/deposition area determined using the aerial light detection and ranging difference data after debris flow. Finally, by combining these results, we conducted a predictive debris-flow transport simulation using the initiation datasets generated by the logistic model. Therefore, the spatial distribution using the probability of the effects of debris-flow, which can be applied for risk quantification and evacuation optimization, was successfully obtained at 1-m resolution. Furthermore, a real-time hazard probability prediction system could be developed based on the presented simulation cost.


title: EPViSA: Efficient Auction Design for Real-time Physical-Virtual Synchronization in the Metaverse

abstract: Metaverse can obscure the boundary between the physical and virtual worlds. Specifically, for the Metaverse in vehicular networks, i.e., the vehicular Metaverse, vehicles are no longer isolated physical spaces but interfaces that extend the virtual worlds to the physical world. Accessing the Metaverse via autonomous vehicles (AVs), drivers and passengers can immerse in and interact with 3D virtual objects overlaying views of streets on head-up displays (HUD) via augmented reality (AR). The seamless, immersive, and interactive experience rather relies on real-time multi-dimensional data synchronization between physical entities, i.e., AVs, and virtual entities, i.e., Metaverse billboard providers (MBPs). However, mechanisms to allocate and match synchronizing AV and MBP pairs to roadside units (RSUs) in a synchronization service market, which consists of the physical and virtual submarkets, are vulnerable to adverse selection. In this paper, we propose an enhanced second-score auction-based mechanism, named EPViSA, to allocate physical and virtual entities in the synchronization service market of the vehicular Metaverse. The EPViSA mechanism can determine synchronizing AV and MBP pairs simultaneously while protecting participants from adverse selection and thus achieving high total social welfare. We propose a synchronization scoring rule to eliminate the external effects from the virtual submarkets. Then, a price scaling factor is introduced to enhance the allocation of synchronizing virtual entities in the virtual submarkets. Finally, rigorous analysis and extensive experimental results demonstrate that EPViSA can achieve at least 96\% of the social welfare compared to the omniscient benchmark while ensuring strategy-proof and adverse selection free through a simulation testbed.


title: Out-of-Dynamics Imitation Learning from Multimodal Demonstrations

abstract: Existing imitation learning works mainly assume that the demonstrator who collects demonstrations shares the same dynamics as the imitator. However, the assumption limits the usage of imitation learning, especially when collecting demonstrations for the imitator is difficult. In this paper, we study out-of-dynamics imitation learning (OOD-IL), which relaxes the assumption to that the demonstrator and the imitator have the same state spaces but could have different action spaces and dynamics. OOD-IL enables imitation learning to utilize demonstrations from a wide range of demonstrators but introduces a new challenge: some demonstrations cannot be achieved by the imitator due to the different dynamics. Prior works try to filter out such demonstrations by feasibility measurements, but ignore the fact that the demonstrations exhibit a multimodal distribution since the different demonstrators may take different policies in different dynamics. We develop a better transferability measurement to tackle this newly-emerged challenge. We firstly design a novel sequence-based contrastive clustering algorithm to cluster demonstrations from the same mode to avoid the mutual interference of demonstrations from different modes, and then learn the transferability of each demonstration with an adversarial-learning based algorithm in each cluster. Experiment results on several MuJoCo environments, a driving environment, and a simulated robot environment show that the proposed transferability measurement more accurately finds and down-weights non-transferable demonstrations and outperforms prior works on the final imitation learning performance. We show the videos of our experiment results on our website.


title: FPT: Improving Prompt Tuning Efficiency via Progressive Training

abstract: Recently, prompt tuning (PT) has gained increasing attention as a parameter-efficient way of tuning pre-trained language models (PLMs). Despite extensively reducing the number of tunable parameters and achieving satisfying performance, PT is training-inefficient due to its slow convergence. To improve PT's training efficiency, we first make some novel observations about the prompt transferability of "partial PLMs", which are defined by compressing a PLM in depth or width. We observe that the soft prompts learned by different partial PLMs of various sizes are similar in the parameter space, implying that these soft prompts could potentially be transferred among partial PLMs. Inspired by these observations, we propose Fast Prompt Tuning (FPT), which starts by conducting PT using a small-scale partial PLM, and then progressively expands its depth and width until the full-model size. After each expansion, we recycle the previously learned soft prompts as initialization for the enlarged partial PLM and then proceed PT. We demonstrate the feasibility of FPT on 5 tasks and show that FPT could save over 30% training computations while achieving comparable performance.


title: Point-DAE: Denoising Autoencoders for Self-supervised Point Cloud Learning

abstract: Masked autoencoder has demonstrated its effectiveness in self-supervised point cloud learning. Considering that masking is a kind of corruption, in this work we explore a more general denoising autoencoder for point cloud learning (Point-DAE) by investigating more types of corruptions beyond masking. Specifically, we degrade the point cloud with certain corruptions as input, and learn an encoder-decoder model to reconstruct the original point cloud from its corrupted version. Three corruption families (\ie, density/masking, noise, and affine transformation) and a total of fourteen corruption types are investigated with traditional non-Transformer encoders. Besides the popular masking corruption, we identify another effective corruption family, \ie, affine transformation. The affine transformation disturbs all points globally, which is complementary to the masking corruption where some local regions are dropped. We also validate the effectiveness of affine transformation corruption with the Transformer backbones, where we decompose the reconstruction of the complete point cloud into the reconstructions of detailed local patches and rough global shape, alleviating the position leakage problem in the reconstruction. Extensive experiments on tasks of object classification, few-shot learning, robustness testing, part segmentation, and 3D object detection validate the effectiveness of the proposed method. The codes are available at \url{https://github.com/YBZh/Point-DAE}.


title: On generalized Gauss maps of minimal surfaces sharing hypersurfaces in a projective variety

abstract: In this article, we study the uniqueness problem for the generalized gauss maps of minimal surfaces (with the same base) immersed in $\mathbb R^{n+1}$ which have the same inverse image of some hypersurfaces in a projective subvariety $V\subset\mathbb P^n(\mathbb C)$. As we know, this is the first time the unicity of generalized gauss maps on minimal surfaces sharing hypersurfaces in a projective varieties is studied. Our results generalize and improve the previous results in this field.


title: Generalization Beyond Feature Alignment: Concept Activation-Guided Contrastive Learning

abstract: Learning invariant representations via contrastive learning has seen state-of-the-art performance in domain generalization (DG). Despite such success, in this paper, we find that its core learning strategy -- feature alignment -- could heavily hinder model generalization. Drawing insights in neuron interpretability, we characterize this problem from a neuron activation view. Specifically, by treating feature elements as neuron activation states, we show that conventional alignment methods tend to deteriorate the diversity of learned invariant features, as they indiscriminately minimize all neuron activation differences. This instead ignores rich relations among neurons -- many of them often identify the same visual concepts despite differing activation patterns. With this finding, we present a simple yet effective approach, Concept Contrast (CoCo), which relaxes element-wise feature alignments by contrasting high-level concepts encoded in neurons. Our CoCo performs in a plug-and-play fashion, thus it can be integrated into any contrastive method in DG. We evaluate CoCo over four canonical contrastive methods, showing that CoCo promotes the diversity of feature representations and consistently improves model generalization capability. By decoupling this success through neuron coverage analysis, we further find that CoCo potentially invokes more meaningful neurons during training, thereby improving model learning.


title: Deformation Conjecture: Deforming Lower Dimensional Integrable Systems to Higher Dimensional Ones by Using Conservation Laws

abstract: Utilizing some conservation laws of (1+1)-dimensional integrable local evolution systems, it is conjectured that higher dimensional integrable equations may be regularly constructed by a deformation algorithm. The algorithm can be applied to Lax pairs and higher order flows. In other words, if the original lower dimensional model is Lax integrable (possesses Lax pairs) and symmetry integrable (possesses infinitely many higher order symmetries), then the deformed higher order systems are also Lax integrable and symmetry integrable. For concreteness, the deformation algorithm is applied to the usual (1+1)-dimensional KdV equation and the (1+1)-dimensional AKNS system (including nonlinear NLS equation as a special example). It is interesting that the deformed (3+1)-dimensional KdV equation is also an extension of the (1+1)-dimensional Harry-Dym (HD) type equations which are reciprocal links of the (1+1)-dimensional KdV equation. The Lax pairs of the (3+1)-dimensional KdV-HD system and the (2+1)-dimensional AKNS system are explicitly given. The higher order symmetries, i.e., the whole (3+1)-dimensional KdV-HD hierarchy, are also explicitly obtained via the deformation algorithm. The single soliton solution of the (3+1)-dimensional KdV-HD equation is implicitly given. Because of the effects of the deformation, the symmetric soliton shape of the usual KdV equation is no longer conserved and deformed to be asymmetric and/or multi-valued. The deformation conjecture is correct for almost all the known (1+1)-dimensional integrable local evolution systems and we have not yet found any counter-example so far. The introduction of a large number of (D+1)-dimensional integrable systems of this paper explores a serious challenge to all mathematicians and theoretical physicists because the traditional methods are no longer directly valid to solve these integrable equations.


title: The Canonical Component of the nilfibre for Parabolic adjoint action in type $A$

abstract: This work is a continuation of [Fittouhi and Joseph, Parabolic adjoint action, Weierstrass Sections and components of the nilfibre in type $A$]. Let $P$ be a parabolic subgroup of an irreducible simple algebraic group $G$, $P'$ its derived group and $\mathfrak m$ be the nilradical to its Lie algebra. A theorem of Richardson implies that the subalgebra $\mathbb C[\mathfrak m]^{P'}$, spanned by the $P$ semi-invariants in $\mathbb C[\mathfrak m]$, is polynomial. A linear subvariety $e+V$ of $\mathfrak m$ is is called a Weierstrass section for the action of $P'$ on $\mathfrak m$, if the restriction map induces an isomorphism of $\mathbb C[\mathfrak m]^{P'}$ onto $\mathbb C[e+V]$. Thus a Weierstrass section can exist only if the latter is polynomial, but even when this holds its existence is far from assured. The existence of a Weierstrass section $e+V$ in $\mathfrak m$ was established by a general combinatorial construction. Notably $e \in \mathscr N$ and is a sum of root vectors with linearly independent roots. The Weierstraass section $e+V$ looks very different for different choices of parabolics but nevertheless has a uniform construction and exists in all cases. It is called the "canonical Weierstrass section". It was announced in [Fittouhi and Joseph, loc. cit.] that one may augment $e$ to an element $e_{VS}$ by adjoining root vectors. Then the linear span $E_{VS}$ of these root vectors lies in $\mathscr N^e$ and its closure is just $\mathscr N^e$. Yet this result shows that $\mathscr N^e$ need not admit a dense $P$ orbit. However this theorem was only verified in the special case needed to obtain the example showing that $\mathscr N^e$ may fail to admit a dense $P$ orbit. Here a general proof is given. Finally a map from compositions to the set of distinct non-negative integers is defined. Its image is shown to determine the canonical Weierstrass section.


title: Conversational Pattern Mining using Motif Detection

abstract: The subject of conversational mining has become of great interest recently due to the explosion of social and other online media. Supplementing this explosion of text is the advancement in pre-trained language models which have helped us to leverage these sources of information. An interesting domain to analyse is conversations in terms of complexity and value. Complexity arises due to the fact that a conversation can be asynchronous and can involve multiple parties. It is also computationally intensive to process. We use unsupervised methods in our work in order to develop a conversational pattern mining technique which does not require time consuming, knowledge demanding and resource intensive labelling exercises. The task of identifying repeating patterns in sequences is well researched in the Bioinformatics field. In our work, we adapt this to the field of Natural Language Processing and make several extensions to a motif detection algorithm. In order to demonstrate the application of the algorithm on a dynamic, real world data set; we extract motifs from an open-source film script data source. We run an exploratory investigation into the types of motifs we are able to mine.


title: Solutions to axion electromagnetodynamics and new search strategies of sub-$\mu$eV axion

abstract: The Witten effect implies the electromagnetic interactions between axions and magnetic monopoles. Based on the quantum electromagnetodynamics, a generic low-energy axion-photon effective field theory was built by introducing two four-potentials ($A^\mu$ and $B^\mu$) to describe a photon. More anomalous axion-photon interactions and couplings ($g_{aAA}$, $g_{aBB}$ and $g_{aAB}$) arise in contrary to the ordinary axion coupling $g_{a\gamma\gamma}aF^{\mu\nu}\tilde{F}_{\mu\nu}$. As a consequence, the conventional axion Maxwell equations are further modified. We properly solve the new axion-modified Maxwell equations and obtain the axion-induced electromagnetic fields given a static electric or magnetic field. It turns out that the dominant couplings $g_{aAB}$ and $g_{aBB}$ can be probed in the presence of external magnetic field and electric field, respectively. The induced oscillating magnetic fields are always suppressed compared with the electric fields for the axions with large Compton wavelengths. This is contrary to the situation in conventional experiments searching for the oscillating magnetic fields induced by sub-$\mu$eV axions. Thus, we propose new strategies to measure the new couplings for sub-$\mu$eV axion in haloscope experiments.


title: Multiple transitivity except for a system of imprimitivity

abstract: Let $\Omega$ be a set equipped with an equivalence relation $\sim$; we refer to the equivalence classes as blocks of $\Omega$. A permutation group $G \le \mathrm{Sym}(\Omega)$ is $k$-by-block-transitive if $\sim$ is $G$-invariant, with at least $k$ blocks, and $G$ is transitive on the set of $k$-tuples of points such that no two entries lie in the same block. The action is block-faithful if the action on the set of blocks is faithful. In this article we classify the finite block-faithful $2$-by-block-transitive actions. We also show that for $k \ge 3$, there are no finite block-faithful $k$-by-block-transitive actions with nontrivial blocks.


title: Stability of domain wall network with initial inflationary fluctuations, and its implications for cosmic birefringence

abstract: We study the formation and evolution of domain walls with initial inflationary fluctuations by numerical lattice calculations that, for the first time, correctly take into account correlations on superhorizon scales. We find that, contrary to the widely-held claim {over the past few tens of years}, the domain wall network exhibits remarkable stability even when the initial distribution is largely biased toward one of the minima. This is due to the fact that the domain wall network retains information about initial conditions on superhorizon scales, and that the scaling solution is not a local attractor in this sense. Our finding immediately implies that such domain walls will have a significant impact on cosmology, including the production of gravitational waves, baryogenesis, and dark matter from domain walls. Applying this result to the axion-like particle domain wall, we show that it not only explains the isotropic cosmic birefringence suggested by the recent analysis, but also predicts anisotropic cosmic birefringence that is nearly scale-invariant on large scales and can be probed by future CMB observations.


title: Bayesian Analysis of Linear Contracts

abstract: We provide a justification for the prevalence of linear (commission-based) contracts in practice under the Bayesian framework. We consider a hidden-action principal-agent model, in which actions require different amounts of effort, and the agent's cost per-unit-of-effort is private. We show that linear contracts are near-optimal whenever there is sufficient uncertainty in the principal-agent setting.


title: The Composition Tableau and Reconstruction of the Canonical Weierstrass Section for Parabolic Adjoint Action in type $A$

abstract: A "Composition map" is constructed, leaning heavily on earlier work [Y. Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass sections and components of the nilfibre in type $A$, Indag Math. and Y. Fittouhi and A. Joseph, The canonical component of the nilfibre for parabolic adjoint action, Weierstrass sections in type $A$, preprint, Weizmann, 2021]. It defines a composition tableau which recovers the "canonical" Weierstrass section $e+V$ described in the first paper above. Moreover \textit{without reference to this earlier work}, it is then shown that $e+V$ is indeed a Weierstrass section. This results in a huge simplification. Moreover one may read off from the composition tableau the "VS quadruplets'' of the second of the above papers, thereby describing the "canonical component" of the nil-fibre in which $e$ lies but does not of itself determine.


title: Long-range spin-orbital order in the spin-orbital SU(2)$\times$SU(2)$\times$U(1) model

abstract: By using the tensor-network state algorithm, we study a spin-orbital model with SU(2)$\times$SU(2)$\times$U(1) symmetry on the triangular lattice. This model was proposed to describe some triangular $d^1$ materials and was argued to host a spin-orbital liquid ground state. In our work the trial wavefunction of its ground state is approximated by an infinite projected entangled simplex state and optimized by the imaginary-time evolution. Contrary to the previous conjecture, we find that the two SU(2) symmetries are broken, resulting in a stripe spin-orbital order with the same magnitude $m=0.085(10)$. This value is about half of that in the spin-1/2 triangular Heisenberg antiferromagnet. Our result demonstrates that although the long-sought spin-orbital liquid is absent in this model the spin-orbital order is significantly reduced due to the enhanced quantum fluctuation. This suggests that high-symmetry spin-orbital models are promising in searching for exotic states of matter in condensed-matter physics.

categories: cond-mat.str-el cond-mat.stat-mech physics.comp-ph quant-ph


title: Bound-state soliton gas as a limit of adiabatically growing integrable turbulence

abstract: We study numerically the integrable turbulence in the framework of the one-dimensional nonlinear Schrodinger equation (1D-NLSE) of the focusing type using a new approach called the "growing of turbulence". In this approach, we add a small linear pumping term to the equation and start evolution from statistically homogeneous Gaussian noise. After reaching a certain level of average intensity, we switch off the pumping and examine the resulting integrable turbulence. For sufficiently small initial noise and pumping coefficient, and also for not very wide simulation box (basin length), we observe that the turbulence grows in a universal adiabatic regime, moving successively through the statistically stationary states of the integrable 1D-NLSE, which do not depend on the pumping coefficient, amplitude of the initial noise or basing length. Waiting longer in the growth stage, we transit from weakly nonlinear states to strongly nonlinear ones, characterized by a high frequency of rogue waves. Using the inverse scattering transform (IST) method to monitor the evolution, we observe that the solitonic part of the wavefield becomes dominant even when the (linear) dispersion effects are still leading in the dynamics and with increasing average intensity the wavefield approaches a dense bound-state soliton gas, whose properties are defined by the Fourier spectrum of initial noise. Regimes deviating from the universal adiabatic growth also lead to solitonic states, but solitons in these states have noticeably different velocities and a significantly wider distribution by amplitude, while the statistics of wavefield indicates a much more frequent appearance of very large waves.


title: Accurate simulation of THz generation with Finite-Element Time Domain methods

abstract: We investigate the accurate full broadband simulation of complex nonlinear optical processes. A mathematical model and numerical simulation techniques in the time domain are developed to simulate complex nonlinear optical processes without the usual used slowly varying envelope approximation. We illustrate the accuracy by numerical simulations. Furthermore, they are used to elucidate THz generation in periodically poled Lithium Niobate (PPLN) including optical harmonic generation.

categories: physics.optics cs.NA math.NA physics.comp-ph


title: Multivariate strong invariance principles in Markov chain Monte Carlo

abstract: Strong invariance principles in Markov chain Monte Carlo are crucial to theoretically grounded output analysis. Using the wide-sense regenerative nature of the process, we obtain explicit bounds in the strong invariance converging rates for partial sums of multivariate ergodic Markov chains. Consequently, we present results on the existence of strong invariance principles for both polynomially and geometrically ergodic Markov chains without requiring a 1-step minorization condition. Our tight and explicit rates have a direct impact on output analysis, as it allows the verification of important conditions in the strong consistency of certain variance estimators.


title: Generalized multiple change-point detection in the structure of multivariate, possibly high-dimensional, data sequences

abstract: The extensive emergence of big data techniques has led to an increasing interest in the development of change-point detection algorithms that can perform well in a multivariate, possibly high-dimensional setting. In the current paper, we propose a new method for the consistent estimation of the number and location of multiple generalized change-points in multivariate, possibly high-dimensional, noisy data sequences. The number of change-points is allowed to increase with the sample size and the dimensionality of the given data sequence. Having a number of univariate signals, which constitute the unknown multivariate signal, our algorithm can deal with general structural changes; we focus on changes in the mean vector of a multivariate piecewise-constant signal, as well as changes in the linear trend of any of the univariate component signals. Our proposed algorithm, labeled Multivariate Isolate-Detect (MID), allows for consistent change-point detection in the presence of frequent changes of possibly small magnitudes in a computationally fast way.


title: Reconciling cosmic dipolar tensions with a gigaparsec void

abstract: Recent observations indicate a $4.9\sigma$ tension between the CMB and quasar dipoles. This tension challenges the cosmological principle. We propose that if we live in a gigaparsec scale void, the CMB and quasar dipolar tension can be reconciled. This is because we are unlikely to live at the center of the void. And a 19% offset from the center will impact the quasars and CMB differently in their dipolar anisotropies. As we consider a large and thick void, our setup can also ease the Hubble tension.


title: Improved Dynamic Colouring of Sparse Graphs

abstract: Given a dynamic graph subject to edge insertions and deletions, we show how to update an implicit representation of a proper vertex colouring, such that colours of vertices are computable upon query time. We give a deterministic algorithm that uses $O(\alpha^2)$ colours for a dynamic graph of arboricity $\alpha$, and a randomised algorithm that uses $O(\min\{\alpha \log \alpha, \alpha \log \log \log n\})$ colours in the oblivious adversary model. Our deterministic algorithm has update- and query times polynomial in $\alpha$ and $\log n$, and our randomised algorithm has amortised update- and query time that with high probability is polynomial in $\log n$ with no dependency on the arboricity. Thus, we improve the number of colours exponentially compared to the state-of-the art for implicit colouring, namely from $O(2^\alpha)$ colours, and we approach the theoretical lower bound of $\Omega(\alpha)$ for this arboricity-parameterised approach. Simultaneously, our randomised algorithm improves the update- and query time to run in time solely polynomial in $\log n$ with no dependency on $\alpha$. Our algorithms are fully adaptive to the current value of the dynamic arboricity at query or update time.


title: Numerical assessment of PML transmission conditions in a domain decomposition method for the Helmholtz equation

abstract: The convergence rate of domain decomposition methods (DDMs) strongly depends on the transmission condition at the interfaces between subdomains. Thus, an important aspect in improving the efficiency of such solvers is careful design of appropriate transmission conditions. In this work, we will develop an efficient solver for Helmholtz equations based on perfectly matched layers (PMLs) as transmission conditions at the interfaces within an optimised restricted additive Schwarz (ORAS) domain decomposition preconditioner, in both two and three dimensional domains. We perform a series of numerical simulations on a model problem and will assess the convergence rate and accuracy of our solutions compared to the situation where impedance boundary conditions are used.


title: Layerwise Sparsifying Training and Sequential Learning Strategy for Neural Architecture Adaptation

abstract: This work presents a two-stage framework for progressively developing neural architectures to adapt/ generalize well on a given training data set. In the first stage, a manifold-regularized layerwise sparsifying training approach is adopted where a new layer is added each time and trained independently by freezing parameters in the previous layers. In order to constrain the functions that should be learned by each layer, we employ a sparsity regularization term, manifold regularization term and a physics-informed term. We derive the necessary conditions for trainability of a newly added layer and analyze the role of manifold regularization. In the second stage of the Algorithm, a sequential learning process is adopted where a sequence of small networks is employed to extract information from the residual produced in stage I and thereby making robust and more accurate predictions. Numerical investigations with fully connected network on prototype regression problem, and classification problem demonstrate that the proposed approach can outperform adhoc baseline networks. Further, application to physics-informed neural network problems suggests that the method could be employed for creating interpretable hidden layers in a deep network while outperforming equivalent baseline networks.


title: Social Welfare Maximization for Collaborative Edge Computing: A Deep Reinforcement Learning-Based Approach

abstract: Collaborative Edge Computing (CEC) is an effective method that improves the performance of Mobile Edge Computing (MEC) systems by offloading computation tasks from busy edge servers (ESs) to idle ones. However, ESs usually belong to different MEC service providers so they have no incentive to help others. To motivate cooperation among them, this paper proposes a cooperative mechanism where idle ESs can earn extra profits by sharing their spare computational resources. To achieve the optimal resource allocation, we formulate the social welfare maximization problem as a Markov Decision Process (MDP) and decompose it into two stages involving the allocation and execution of offloaded tasks. The first stage is solved by extending the well-known Deep Deterministic Policy Gradient (DDPG) algorithm. For the second stage, we first show that we only need to decide the processing order of tasks and the utilized computational resources. After that, we propose a dynamic programming and a Deep Reinforcement Learning (DRL)-based algorithm to solve the two types of decisions, respectively. Numerical results indicate that our algorithm significantly improves social welfare under various situations.


title: WR-ONE2SET: Towards Well-Calibrated Keyphrase Generation

abstract: Keyphrase generation aims to automatically generate short phrases summarizing an input document. The recently emerged ONE2SET paradigm (Ye et al., 2021) generates keyphrases as a set and has achieved competitive performance. Nevertheless, we observe serious calibration errors outputted by ONE2SET, especially in the over-estimation of $\varnothing$ token (means "no corresponding keyphrase"). In this paper, we deeply analyze this limitation and identify two main reasons behind: 1) the parallel generation has to introduce excessive $\varnothing$ as padding tokens into training instances; and 2) the training mechanism assigning target to each slot is unstable and further aggravates the $\varnothing$ token over-estimation. To make the model well-calibrated, we propose WR-ONE2SET which extends ONE2SET with an adaptive instance-level cost Weighting strategy and a target Re-assignment mechanism. The former dynamically penalizes the over-estimated slots for different instances thus smoothing the uneven training distribution. The latter refines the original inappropriate assignment and reduces the supervisory signals of over-estimated slots. Experimental results on commonly-used datasets demonstrate the effectiveness and generality of our proposed paradigm.


title: Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

abstract: This paper introduces Choice Trees (ctrees), a monad for modeling nondeterministic, recursive, and impure programs in Coq. Inspired by Xia et al.'s itrees, this novel data structure embeds computations into coinductive trees with three kind of nodes: external events, and two variants of nondeterministic branching. This apparent redundancy allows us to provide shallow embedding of denotational models with internal choice in the style of ccs, while recovering an inductive LTS view of the computation. CTrees inherit a vast collection of bisimulation and refinement tools, with respect to which we establish a rich equational theory. We connect ctrees to the itrees infrastructure by showing how a monad morphism embedding the former into the latter permits to use ctrees to implement nondeterministic effects. We demonstrate the utility of ctrees by using them to model concurrency semantics in two case studies: ccs and cooperative multithreading.


title: The Duel of Magnetic Interactions & Structural Instabilities: Itinerant Frustration in the Triangular Lattice Compound LiCrSe$_2$

abstract: The recent synthesis of the chromium selenide compound LiCrSe$_2$ constitutes a valuable addition to the ensemble of two-dimensional triangular lattice antiferromagnets (2D-TLA). In this work we present the very first comprehensive study of the combined low temperature nuclear and magnetic structure established in this material. Details on the connection between Li-ion dynamics and structural changes are also presented along with a direct link between atomic structure and spin order via a strong magnetoelastic coupling. LiCrSe$_2$ was found to undergo a first order structural transition from a trigonal crystal system with space group $P\bar{3}m1$ to a monoclinic one with space group $C2/m$ at $T_{\rm s}=30$~K. Such restructuring of the lattice is accompanied by a magnetic transition at $T_{\rm N}=30$~K, with the formation of a complex spin arrangement for the Cr$^{3+}$ moments. Refinement of the magnetic structure with neutron diffraction data and complementary muon spin rotation analysis reveal the presence of two incommensurate magnetic domains with a up-up-down-down arrangement of the spins with ferromagnetic (FM) double chains coupled antiferromagnetically (AFM). In addition to this unusual arrangement, the spin axial vector is modulated both in direction and modulus, resulting in a spin density wave-like order with periodic suppression of the Cr moment along the chains. This behavior is believed to appear as a result of strong competition between direct exchange AFM and superexchange FM couplings established between both nearest neighbor and next nearest neighbor Cr$^{3+}$ ions. We finally conjecture that the resulting magnetic order is stabilized via subtle vacancy/charge order within the Li layers, potentially causing a mix of two different magnetic phases within the sample.


title: Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I -- Method and Justification

abstract: In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculating concrete multi-order asymptotic expansions of blow-up solutions are finally collected.


title: Mining Unseen Classes via Regional Objectness: A Simple Baseline for Incremental Segmentation

abstract: Incremental or continual learning has been extensively studied for image classification tasks to alleviate catastrophic forgetting, a phenomenon that earlier learned knowledge is forgotten when learning new concepts. For class incremental semantic segmentation, such a phenomenon often becomes much worse due to the background shift, i.e., some concepts learned at previous stages are assigned to the background class at the current training stage, therefore, significantly reducing the performance of these old concepts. To address this issue, we propose a simple yet effective method in this paper, named Mining unseen Classes via Regional Objectness for Segmentation (MicroSeg). Our MicroSeg is based on the assumption that background regions with strong objectness possibly belong to those concepts in the historical or future stages. Therefore, to avoid forgetting old knowledge at the current training stage, our MicroSeg first splits the given image into hundreds of segment proposals with a proposal generator. Those segment proposals with strong objectness from the background are then clustered and assigned newly-defined labels during the optimization. In this way, the distribution characterizes of old concepts in the feature space could be better perceived, relieving the catastrophic forgetting caused by the background shift accordingly. Extensive experiments on Pascal VOC and ADE20K datasets show competitive results with state-of-the-art, well validating the effectiveness of the proposed MicroSeg.


title: Coherence-Assisted Superradiant Laser with Hz Linewidth and $10^{-10}$W Power

abstract: The superradiant laser, based on the clock transition between the electric ground state $^1$S$_0$ and the metastable state $^3$P$_0$ of fermionic alkaline-earth(-like) atoms, has been proposed to be a new promising light source with linewidth being the order of millihertz. However, due to the small $^1$S$_0$-to-$^3$P$_0$ transition strength, the steady-state power in that system is relatively low ($\sim 10^{-12}$W). In this work, we propose an alternative superradiant laser scheme based on a Raman-transition-induced coupling between the $^3$P$_0$ and $^3$P$_1$ states in bosonic alkaline-earth(-like) atoms, and achieve a laser with linewidth $\lesssim 2\pi\times1$Hz and power $\gtrsim 10^{-10}$W ($\sim 10^{3}$ photons in steady state) at a small pumping cost. The Raman beams play two significant roles in our scheme. First, the coherence between the dark and bright states induced by the Raman beams produce a new local minimum in the pumping-linewidth curve with pumping rate lower than $2\pi \times 10$kHz, which is beneficial for continuous output. Second, the Raman beams mix the long-lived $^3$P$_0$ state into the lasing state and thus reduce the linewidth. Our work greatly improves the output performance of the superradiant laser system with coherence induced by Raman transitions and may offer a firm foundation for its practical use in future.


title: Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence

abstract: In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an intrinsic gap structure of stability information among two systems. Examples provided in Part I are revisited to show the above correspondence.


title: Large Language Models Meet Harry Potter: A Bilingual Dataset for Aligning Dialogue Agents with Characters

abstract: In recent years, Dialogue-style Large Language Models (LLMs) such as ChatGPT and GPT4 have demonstrated immense potential in constructing open-domain dialogue agents. However, aligning these agents with specific characters or individuals remains a considerable challenge due to the complexities of character representation and the lack of comprehensive annotations. In this paper, we introduce the Harry Potter Dialogue (HPD) dataset, designed to advance the study of dialogue agents and character alignment. The dataset encompasses all dialogue sessions (in both English and Chinese) from the Harry Potter series and is annotated with vital background information, including dialogue scenes, speakers, character relationships, and attributes. These extensive annotations may empower LLMs to unlock character-driven dialogue capabilities. Furthermore, it can serve as a universal benchmark for evaluating how well can a LLM aligning with a specific character. We benchmark LLMs on HPD using both fine-tuning and in-context learning settings. Evaluation results reveal that although there is substantial room for improvement in generating high-quality, character-aligned responses, the proposed dataset is valuable in guiding models toward responses that better align with the character of Harry Potter.


title: Detecting Disengagement in Virtual Learning as an Anomaly using Temporal Convolutional Network Autoencoder

abstract: Student engagement is an important factor in meeting the goals of virtual learning programs. Automatic measurement of student engagement provides helpful information for instructors to meet learning program objectives and individualize program delivery. Many existing approaches solve video-based engagement measurement using the traditional frameworks of binary classification (classifying video snippets into engaged or disengaged classes), multi-class classification (classifying video snippets into multiple classes corresponding to different levels of engagement), or regression (estimating a continuous value corresponding to the level of engagement). However, we observe that while the engagement behaviour is mostly well-defined (e.g., focused, not distracted), disengagement can be expressed in various ways. In addition, in some cases, the data for disengaged classes may not be sufficient to train generalizable binary or multi-class classifiers. To handle this situation, in this paper, for the first time, we formulate detecting disengagement in virtual learning as an anomaly detection problem. We design various autoencoders, including temporal convolutional network autoencoder, long-short-term memory autoencoder, and feedforward autoencoder using different behavioral and affect features for video-based student disengagement detection. The result of our experiments on two publicly available student engagement datasets, DAiSEE and EmotiW, shows the superiority of the proposed approach for disengagement detection as an anomaly compared to binary classifiers for classifying videos into engaged versus disengaged classes (with an average improvement of 9% on the area under the curve of the receiver operating characteristic curve and 22% on the area under the curve of the precision-recall curve).


title: A bijection for length-$5$ patterns in permutations

abstract: A bijection between $(31245,32145,31254,32154)$-avoiding permutations and $(31425,32415,31524,32514)$-avoiding permutations is constructed, which preserves five classical set-valued statistics. Combining with two codings of permutations due respectively to Baril--Vajnovszki and Martinez--Savage proves an enumerative conjecture posed by Gao and Kitaev. Moreover, the generating function for the common counting sequence is proved to be algebraic.


title: Negative differential thermal resistance of fluids induced by heat baths

abstract: It has recently been shown that in one-dimensional hard-point gases, there is a mechanism that induces negative differential thermal resistance (NDTR) between heat baths. We examine this mechanism in more general higher dimensional fluids described by multiparticle collision dynamics. We consider fluids in a finite cuboid region of three-dimensional space with each end in contact with a heat bath. Based on analytical results and numerical models, we find that the mechanism underlying NDTR also works for high-dimensional fluidic systems with weak interactions and is very robust to mixed fluids. Our results significantly advance knowledge of NDTR induced by heat bath and illuminate new directions to explore in fabricating fluid thermal transistors in micro- and nanosystems.


title: The gravitational path integral for $ N=4$ BPS black holes from black hole microstate counting

abstract: We use the exact degeneracy formula of single-centred $\frac14$ BPS dyonic black holes with unit torsion in 4D $N=4$ toroidally compactified heterotic string theory to improve on the existing formulation of the corresponding quantum entropy function obtained using supersymmetric localization. The result takes the form of a sum over Euclidean backgrounds including orbifolds of the Euclidean $AdS_2 \times S^2$ attractor geometry. Using an $N=2$ formalism, we determine the explicit form of the Abelian gauge potentials supporting these backgrounds. We further show how a rewriting of the degeneracy formula is amenable, at a semi-classical level, to a gravitational interpretation involving 2D Euclidean wormholes. This alternative picture is useful to elucidate different aspects of the gravitational path integral capturing the microstate degeneracies. We also comment on the relation between the associated 1D holographic models.


title: Xu at SemEval-2022 Task 4: Pre-BERT Neural Network Methods vs Post-BERT RoBERTa Approach for Patronizing and Condescending Language Detection

abstract: This paper describes my participation in the SemEval-2022 Task 4: Patronizing and Condescending Language Detection. I participate in both subtasks: Patronizing and Condescending Language (PCL) Identification and Patronizing and Condescending Language Categorization, with the main focus put on subtask 1. The experiments compare pre-BERT neural network (NN) based systems against post-BERT pretrained language model RoBERTa. This research finds NN-based systems in the experiments perform worse on the task compared to the pretrained language models. The top-performing RoBERTa system is ranked 26 out of 78 teams (F1-score: 54.64) in subtask 1, and 23 out of 49 teams (F1-score: 30.03) in subtask 2.


title: Hyperbolic $p$-sum and Horospherical $p$-Brunn-Minkowski theory in hyperbolic space

abstract: The classical Brunn-Minkowski theory studies the geometry of convex bodies in Euclidean space by use of the Minkowski sum. It originated from H. Brunn's thesis in 1887 and H. Minkowski's paper in 1903. Because there is no universally acknowledged definition of the sum of two sets in hyperbolic space, there has been no Brunn-Minkowski theory in hyperbolic space since 1903. In this paper, for any $p>0$ we introduce a sum of two sets in hyperbolic space, and we call it the hyperbolic $p$-sum. Then we develop a Brunn-Minkowski theory in the hyperbolic space by use of our hyperbolic $p$-sum, and we call it the horospherical $p$-Brunn-Minkowski theory. Let $K$ be any smooth horospherically convex bounded domain in the hyperbolic space $\mathbb{H}^{n+1}$. Through calculating the variation of the $k$-th modified quermassintegral of $K$ by use of our hyperbolic $p$-sum, we introduce the horospherical $k$-th $p$-surface area measure associated with $K$ on the unit sphere $\mathbb{S}^n$. For $k=0$, we introduce the horospherical $p$-Minkowski problem, which is the prescribed horospherical $p$-surface area measure problem. Through designing and studying a new volume preserving flow, we solve the existence of solutions to the horospherical $p$-Minkowski problem for all $p \in (-\infty,+\infty)$ when the given measure is even. For $1 \leq k \leq n-1$, we introduce the horospherical $p$-Christoffel-Minkowski problem, which is the prescribed horospherical $k$-th $p$-surface area measure problem. We solve the existence of solutions to the horospherical $p$-Christoffel-Minkowski problem for $p\in(-n, +\infty)$ under appropriate assumption on the given measure. We also study the Brunn-Minkowski inequalities and the Minkowski inequalities for domains in the hyperbolic space.


title: Real circles tangent to 3 conics

abstract: In this paper we study circles tangent to conics. We show there are generically $184$ complex circles tangent to three conics in the plane and we characterize the real discriminant of the corresponding polynomial system. We give an explicit example of $3$ conics with $136$ real circles tangent to them. We conjecture that 136 is the maximal number of real circles. Furthermore, we implement a hill-climbing algorithm to find instances of conics with many real circles, and we introduce a machine learning model that, given three real conics, predicts the number of circles tangent to these three conics.


title: In-situ sputtering from the micromanipulator to enable cryogenic preparation of specimens for atom probe tomography by focused-ion beam

abstract: Workflows have been developed in the past decade to enable atom probe tomography analysis at cryogenic temperatures. The inability to control the local deposition of the metallic precursor from the gas-injection system (GIS) at cryogenic temperature makes the preparation of site-specific specimens by using lift-out extremely challenging in the focused-ion beam. Schreiber et al. exploited redeposition to weld the lifted-out sample to a support. Here we build on their approach to attach the region-of-interest and additionally strengthen the interface with locally sputtered metal from the micromanipulator. Following standard focused-ion beam annular milling, we demonstrate atom probe analysis of Si in both laser pulsing and voltage mode, with comparable analytical performance as a pre-sharpened microtip coupon. Our welding approach is versatile, as various metals could be used for sputtering, and allows similar flexibility as the GIS in principle.


title: Evaluating CNN with Oscillatory Activation Function

abstract: The reason behind CNNs capability to learn high-dimensional complex features from the images is the non-linearity introduced by the activation function. Several advanced activation functions have been discovered to improve the training process of neural networks, as choosing an activation function is a crucial step in the modeling. Recent research has proposed using an oscillating activation function to solve classification problems inspired by the human brain cortex. This paper explores the performance of one of the CNN architecture ALexNet on MNIST and CIFAR10 datasets using oscillatory activation function (GCU) and some other commonly used activation functions like ReLu, PReLu, and Mish.


title: On composition and Right Distributive Law for formal power series of multiple variables

abstract: In the first part of the paper we prove a necessary and sufficient condition for the existence of the composition of formal power series in the case when the outer series is a series of one variable while the inner one is a series of multiple variables. The aim of the second part is to remove ambiguities connected with the Right Distributive Law for formal power series of one variable as well as to provide analogues of that law in the multivariable case.


title: Chaotic light scattering around extremal black holes

abstract: We show that the scattering of light in the field of $N\geq 3$ static extremal black holes is chaotic in the planar case. The relativistic dynamics of such extremal objects reduce to that of a classical Hamiltonian system. Certain values of the dilaton coupling then allow one to apply techniques from symbolic dynamics and classical potential scattering. This results in a lower bound on the topological entropy of order $\log(N-1)$, thus proving the emergence of chaotic scattering for $N \geq 3$ black holes.


title: Automatic Eye-in-Hand Calibration using EKF

abstract: In this paper, a self-calibration approach for eye-in-hand robots using SLAM is considered. The goal is to calibrate the positioning of a robotic arm, with a camera mounted on the end-effector automatically using a SLAM-based method like Extended Kalman Filter (EKF). Given the camera intrinsic parameters and a set of feature markers in a work-space, the camera extrinsic parameters are approximated. An EKF based measurement model is deployed to effectively localize the camera and compute the camera to end-effector transformation. The proposed approach is tested on a UR5 manipulator with a depth-camera mounted on the end-effector to validate our results.


title: The linearized second law for any higher curvature gravity with the scalar and the electromagnetic fields

abstract: The first law of black hole thermodynamics is suitable for any diffeomorphism invariant gravity, and the entropy in the first law is the Wald entropy which is highly dependent on the non-minimal coupling interactions in the theory of gravity. However, whether the Wald entropy still satisfies the second law needs to be investigated. The entropy of black holes obeying the linearized second law in arbitrary high-order curvature gravity is given, which can be written as the Wald entropy with correction terms. It indicates that the Wald entropy is not commonly obeying the linearized second law for any high-order curvature gravity. When the interactions of gravity with matter fields are included in the theory of gravity, the entropy of black holes obeying the linearized second law has not been obtained in this case. Considering any high-order curvature gravity with the scalar and the electromagnetic fields, from the Raychaudhuri equation, the entropy obeying the linearized second law is generally obtained, which can be expressed as the Wald entropy with correction terms as well. The entropy does not include the contribution from the electromagnetic fields, and the correction terms contain the contribution from the minimal coupling interaction between gravity and the scalar fields. Since the entropy satisfying the linearized second law depends only on the non-minimal coupling interaction of gravity in previous research, this result upends our understanding of the entropy of black holes obeying the linearized second law in any gravitational theory with matter fields.


title: Generalizing distribution of partial rewards for multi-armed bandits with temporally-partitioned rewards

abstract: We investigate the Multi-Armed Bandit problem with Temporally-Partitioned Rewards (TP-MAB) setting in this paper. In the TP-MAB setting, an agent will receive subsets of the reward over multiple rounds rather than the entire reward for the arm all at once. In this paper, we introduce a general formulation of how an arm's cumulative reward is distributed across several rounds, called Beta-spread property. Such a generalization is needed to be able to handle partitioned rewards in which the maximum reward per round is not distributed uniformly across rounds. We derive a lower bound on the TP-MAB problem under the assumption that Beta-spread holds. Moreover, we provide an algorithm TP-UCB-FR-G, which uses the Beta-spread property to improve the regret upper bound in some scenarios. By generalizing how the cumulative reward is distributed, this setting is applicable in a broader range of applications.


title: Parallel and I/O-Efficient Algorithms for Non-Linear Preferential Attachment

abstract: Preferential attachment lies at the heart of many network models aiming to replicate features of real world networks. To simulate the attachment process, conduct statistical tests, or obtain input data for benchmarks, efficient algorithms are required that are capable of generating large graphs according to these models. Existing graph generators are optimized for the most simple model, where new nodes that arrive in the network are connected to earlier nodes with a probability $P(h) \propto d$ that depends linearly on the degree $d$ of the earlier node $h$. Yet, some networks are better explained by a more general attachment probability $P(h) \propto f(d)$ for some function $f \colon \mathbb N~\to~\mathbb R$. Here, the polynomial case $f(d) = d^\alpha$ where $\alpha \in \mathbb R_{>0}$ is of particular interest. In this paper, we present efficient algorithms that generate graphs according to the more general models. We first design a simple yet optimal sequential algorithm for the polynomial model. We then parallelize the algorithm by identifying batches of independent samples and obtain a near-optimal speedup when adding many nodes. In addition, we present an I/O-efficient algorithm that can even be used for the fully general model. To showcase the efficiency and scalability of our algorithms, we conduct an experimental study and compare their performance to existing solutions.