title: Neuro-Symbolic Recommendation Model based on Logic Query

abstract: A recommendation system assists users in finding items that are relevant to them. Existing recommendation models are primarily based on predicting relationships between users and items and use complex matching models or incorporate extensive external information to capture association patterns in data. However, recommendation is not only a problem of inductive statistics using data; it is also a cognitive task of reasoning decisions based on knowledge extracted from information. Hence, a logic system could naturally be incorporated for the reasoning in a recommendation task. However, although hard-rule approaches based on logic systems can provide powerful reasoning ability, they struggle to cope with inconsistent and incomplete knowledge in real-world tasks, especially for complex tasks such as recommendation. Therefore, in this paper, we propose a neuro-symbolic recommendation model, which transforms the user history interactions into a logic expression and then transforms the recommendation prediction into a query task based on this logic expression. The logic expressions are then computed based on the modular logic operations of the neural network. We also construct an implicit logic encoder to reasonably reduce the complexity of the logic computation. Finally, a user's interest items can be queried in the vector space based on the computation results. Experiments on three well-known datasets verified that our method performs better compared to state of the art shallow, deep, session, and reasoning models.


title: Stable nanofacets in [111] tilt grain boundaries of face-centered cubic metals

abstract: Grain boundaries can dissociate into facets if that reduces their excess energy. This, however, introduces line defects at the facet junctions, which present a driving force to grow the facets in order to reduce the total number of junctions and thus the system's energy. Often, micrometer-sized facet lengths are observed and facet growth only arrests for kinetic reasons. So far, energetically stable, finite-sized facets have not been observed, even though theoretical stability conditions have already been proposed. Here, we show a case where nanometer-sized facets are indeed stable compared to longer facets in [111] tilt grain boundaries in Cu by atomistic simulation and transmission electron microscopy. The facet junctions lack a Burgers vector component, which is unusual, but which removes the main energy cost of facet junctions. Only attractive interactions via line forces remain, which result from a discontinuity of grain boundary excess stress at the junction. Atomistic simulations predict that the same phenomenon also occurs in at least Al and Ag.


title: Quantum toroidal algebras and solvable structures in gauge/string theory

abstract: This is a review article on the quantum toroidal algebras, focusing on their roles in various solvable structures of 2d conformal field theory, supersymmetric gauge theory, and string theory. Using $\mathcal{W}$-algebras as our starting point, we elucidate the interconnection of affine Yangians, quantum toroidal algebras, and double affine Hecke algebras. Our exploration delves into the representation theory of the quantum toroidal algebra of $\mathfrak{gl}_1$ in full detail, highlighting its connections to partitions, $\mathcal{W}$-algebras, Macdonald functions, and the notion of intertwiners. Further, we also discuss integrable models constructed on Fock spaces and associated $\mathcal{R}$-matrices, both for the affine Yangian and the quantum toroidal algebra of $\mathfrak{gl}_1$. The article then demonstrates how quantum toroidal algebras serve as a unifying algebraic framework that bridges different areas in physics. Notably, we cover topological string theory and supersymmetric gauge theories with eight supercharges, incorporating the AGT duality. Drawing upon the representation theory of the quantum toroidal algebra of $\mathfrak{gl}_1$, we provide a rather detailed review of its role in the algebraic formulations of topological vertex and $qq$-characters. Additionally, we briefly touch upon the corner vertex operator algebras and quiver quantum toroidal algebras.


title: C-Pack: Packaged Resources To Advance General Chinese Embedding

abstract: We introduce C-Pack, a package of resources that significantly advance the field of general Chinese embeddings. C-Pack includes three critical resources. 1) C-MTEB is a comprehensive benchmark for Chinese text embeddings covering 6 tasks and 35 datasets. 2) C-MTP is a massive text embedding dataset curated from labeled and unlabeled Chinese corpora for training embedding models. 3) C-TEM is a family of embedding models covering multiple sizes. Our models outperform all prior Chinese text embeddings on C-MTEB by up to +10% upon the time of the release. We also integrate and optimize the entire suite of training methods for C-TEM. Along with our resources on general Chinese embedding, we release our data and models for English text embeddings. The English models achieve state-of-the-art performance on MTEB benchmark; meanwhile, our released English data is 2 times larger than the Chinese data. All these resources are made publicly available at https://github.com/FlagOpen/FlagEmbedding.


title: AAS-VC: On the Generalization Ability of Automatic Alignment Search based Non-autoregressive Sequence-to-sequence Voice Conversion

abstract: Non-autoregressive (non-AR) sequence-to-seqeunce (seq2seq) models for voice conversion (VC) is attractive in its ability to effectively model the temporal structure while enjoying boosted intelligibility and fast inference thanks to non-AR modeling. However, the dependency of current non-AR seq2seq VC models on ground truth durations extracted from an external AR model greatly limits its generalization ability to smaller training datasets. In this paper, we first demonstrate the above-mentioned problem by varying the training data size. Then, we present AAS-VC, a non-AR seq2seq VC model based on automatic alignment search (AAS), which removes the dependency on external durations and serves as a proper inductive bias to provide the required generalization ability for small datasets. Experimental results show that AAS-VC can generalize better to a training dataset of only 5 minutes. We also conducted ablation studies to justify several model design choices. The audio samples and implementation are available online.


title: Reply to "Comment on `Weak values and the past of a quantum particle' ''

abstract: We here reply to a recent comment by Vaidman [\href{https://journals.aps.org/prresearch/abstract/10.1103/PhysRevResearch.5.048001}{Phys. Rev. Res. 5, 048001 (2023)}] on our paper [\href{https://journals.aps.org/prresearch/abstract/10.1103/PhysRevResearch.5.023048}{Phys. Rev. Res. 5, 023048 (2023)}]. In his Comment, Vaidman first admits that he is just defining (assuming) the weak trace gives the presence of a particle -- however, in this case, he should use a term other than presence, as this already has a separate, intuitive meaning other than ``where a weak trace is''. Despite this admission, Vaidman then goes on to argue for this definition by appeal to ideas around an objectively-existing idea of presence. We show these appeals rely on their own conclusion -- that there is always a matter of fact about the location of a quantum particle.


title: Simplifying (super-)BMS algebras

abstract: We show that the non-linear BMS$_5$ symmetry algebra of asymptotically flat Einstein gravity in five dimensions, as well as the super-BMS$_4$ superalgebra of asymptotically flat supergravity, can be redefined so as to take a direct sum structure. In the new presentation of the (super-)algebra, angle-dependent translations and angle-dependent supersymmetry transformations commute with the (super-)Poincar\'e generators. We also explain in detail the structure and charge-integrability of asymptotic symmetries with symmetry parameters depending on the fields (through the charges themselves), a topic relevant for nonlinear asymptotic symmetry algebras.


title: Detecting Misinformation with LLM-Predicted Credibility Signals and Weak Supervision

abstract: Credibility signals represent a wide range of heuristics that are typically used by journalists and fact-checkers to assess the veracity of online content. Automating the task of credibility signal extraction, however, is very challenging as it requires high-accuracy signal-specific extractors to be trained, while there are currently no sufficiently large datasets annotated with all credibility signals. This paper investigates whether large language models (LLMs) can be prompted effectively with a set of 18 credibility signals to produce weak labels for each signal. We then aggregate these potentially noisy labels using weak supervision in order to predict content veracity. We demonstrate that our approach, which combines zero-shot LLM credibility signal labeling and weak supervision, outperforms state-of-the-art classifiers on two misinformation datasets without using any ground-truth labels for training. We also analyse the contribution of the individual credibility signals towards predicting content veracity, which provides new valuable insights into their role in misinformation detection.


title: Turning Dross Into Gold Loss: is BERT4Rec really better than SASRec?

abstract: Recently sequential recommendations and next-item prediction task has become increasingly popular in the field of recommender systems. Currently, two state-of-the-art baselines are Transformer-based models SASRec and BERT4Rec. Over the past few years, there have been quite a few publications comparing these two algorithms and proposing new state-of-the-art models. In most of the publications, BERT4Rec achieves better performance than SASRec. But BERT4Rec uses cross-entropy over softmax for all items, while SASRec uses negative sampling and calculates binary cross-entropy loss for one positive and one negative item. In our work, we show that if both models are trained with the same loss, which is used by BERT4Rec, then SASRec will significantly outperform BERT4Rec both in terms of quality and training speed. In addition, we show that SASRec could be effectively trained with negative sampling and still outperform BERT4Rec, but the number of negative examples should be much larger than one.


title: Warped product Quasi Bi-slant Submanifolds of Kaehler Manifolds

abstract: In this paper, we introduce the notion of warped product quasi bi-slant submanifolds in Kaehler manifolds. We have shown that every warped product quasi bi-slant submanifold in a Kaehler manifold is either a Riemannian product or a warped product quasi hemi slant submanifold. Furthermore, we provide examples for both cases.


title: Fluid Antenna-Assisted Dirty Multiple Access Channels over Composite Fading

abstract: This letter investigates the application of the emerging fluid antenna (FA) technology in multiuser communication systems when side information (SI) is available at the transmitters. In particular, we consider a K-user dirty multiple access channel (DMAC) with non-causally known SI at the transmitters, where K users send independent messages to a common receiver with a FA capable of changing its location depending on the channel condition. By connecting Jakes' model to copula theory through Spearman's {\rho} rank correlation coefficient, we accurately describe the spatial correlation between the FA channels, and derive a closed-form expression for the outage probability (OP) under Fisher-Snedecor F fading. Numerical results illustrate how considering FA can improve the performance of multiuser communication systems in terms of the OP and also support a large number of users using only one FA at the common receiver in a few wavelengths of space.


title: On the Passi and the Mal'cev functors

abstract: The author has shown that the category of analytic contravariant functors on $\mathbf{gr}$, the category of finitely-generated free groups, is equivalent to the category of left modules over the PROP associated to the Lie operad, working over $\mathbb{Q}$. This exploited properties of the polynomial filtration of the category of contravariant functors on $\mathbf{gr}$. The first purpose of this paper is to strengthen the corresponding result for covariant functors on $\mathbf{gr}$. This involves introducing the appropriate analogue of the category of analytic contravariant functors, namely a certain category of towers of polynomial functors on $\mathbf{gr}$. This category is abelian and has a natural symmetric monoidal structure induced by the usual tensor product of functors. Moreover, the projective generators of this category are described in terms of the Mal'cev functors that are introduced here. It follows that this category is equivalent to the category of right modules over the PROP associated to the Lie operad. As a fundamental example, the Passi functors arising from the group ring functors are described explicitly. The theory is applied to consider bifunctors on $\mathbf{gr}$. This allows the $\mathbb{Q}$-linearization of the category of free groups to be described, up to polynomial filtration. As a stronger application of the theory, this is generalized to the Casimir PROP associated to the Lie operad, as studied by Hinich and Vaintrob. Up to polynomial filtration, this recovers the category $\mathbf{A}$ introduced by Habiro and Massuyeau in their study of bottom tangles in handlebodies.


title: Zero-shot Audio Topic Reranking using Large Language Models

abstract: The Multimodal Video Search by Examples (MVSE) project investigates using video clips as the query term for information retrieval, rather than the more traditional text query. This enables far richer search modalities such as images, speaker, content, topic, and emotion. A key element for this process is highly rapid, flexible, search to support large archives, which in MVSE is facilitated by representing video attributes by embeddings. This work aims to mitigate any performance loss from this rapid archive search by examining reranking approaches. In particular, zero-shot reranking methods using large language models are investigated as these are applicable to any video archive audio content. Performance is evaluated for topic-based retrieval on a publicly available video archive, the BBC Rewind corpus. Results demonstrate that reranking can achieve improved retrieval ranking without the need for any task-specific training data.


title: On fundamental structure underlying Lie algebra homology with coefficients tensor products of the adjoint representation

abstract: This paper exhibits fundamental structure underlying Lie algebra homology with coefficients in tensor products of the adjoint representation, mostly focusing upon the case of free Lie algebras. The main result yields a DG category that is constructed from the PROP associated to the Lie operad. Underlying this is a two-term complex of bimodules over this PROP; it is a quotient of the universal Chevalley-Eilenberg complex. The homology of this DG category is intimately related to outer functors over free groups (introduced in earlier joint work with Vespa). This uses the author's previous results relating functors on free groups to representations of the PROP associated to the Lie operad. This gives a direct algebraic explanation as to why the degree one homology should correspond to an outer functor. Hitherto, the only known argument relied upon the relationship with the higher Hochschild homology functors that arise from the work of Turchin and Willwacher.


title: Identifying and analysing toxic actors and communities on Facebook by employing network analysis

abstract: There has been an increasingly widespread agreement among both academic circles and the general public that the Social Media Platforms (SMPs) play a central role in the dissemination of harmful and negative sentiment content in a coordinated manner. A substantial body of recent scholarly research has demonstrated the ways in which hateful content, political propaganda, and targeted messaging on SMPs have contributed to serious real-world consequences. Adopting inspirations from graph theory, in this paper we apply novel network and community finding algorithms over a representative Facebook dataset (n=608,417) which we have scrapped through 630 pages. By applying Girvan-Newman algorithm over the historical dataset our analysis finds five communities of coordinated networks of actors, within the contexts of Indian far-right Hindutva discourse. This work further paves the path for future potentials of applying such novel network analysis algorithms to SMPs, in order to automatically identify toxic coordinated communities and sub-communities, and to possibly resist real-world threats emerging from information dissemination in the SMPs.


title: Learning Quasi-Static 3D Models of Markerless Deformable Linear Objects for Bimanual Robotic Manipulation

abstract: The robotic manipulation of Deformable Linear Objects (DLOs) is a vital and challenging task that is important in many practical applications. Classical model-based approaches to this problem require an accurate model to capture how robot motions affect the deformation of the DLO. Nowadays, data-driven models offer the best tradeoff between quality and computation time. This paper analyzes several learning-based 3D models of the DLO and proposes a new one based on the Transformer architecture that achieves superior accuracy, even on the DLOs of different lengths, thanks to the proposed scaling method. Moreover, we introduce a data augmentation technique, which improves the prediction performance of almost all considered DLO data-driven models. Thanks to this technique, even a simple Multilayer Perceptron (MLP) achieves close to state-of-the-art performance while being significantly faster to evaluate. In the experiments, we compare the performance of the learning-based 3D models of the DLO on several challenging datasets quantitatively and demonstrate their applicability in the task of shaping a DLO.


title: Feature Engineering in Learning-to-Rank for Community Question Answering Task

abstract: Community question answering (CQA) forums are Internet-based platforms where users ask questions about a topic and other expert users try to provide solutions. Many CQA forums such as Quora, Stackoverflow, Yahoo!Answer, StackExchange exist with a lot of user-generated data. These data are leveraged in automated CQA ranking systems where similar questions (and answers) are presented in response to the query of the user. In this work, we empirically investigate a few aspects of this domain. Firstly, in addition to traditional features like TF-IDF, BM25 etc., we introduce a BERT-based feature that captures the semantic similarity between the question and answer. Secondly, most of the existing research works have focused on features extracted only from the question part; features extracted from answers have not been explored extensively. We combine both types of features in a linear fashion. Thirdly, using our proposed concepts, we conduct an empirical investigation with different rank-learning algorithms, some of which have not been used so far in CQA domain. On three standard CQA datasets, our proposed framework achieves state-of-the-art performance. We also analyze importance of the features we use in our investigation. This work is expected to guide the practitioners to select a better set of features for the CQA retrieval task.


title: On geometric-type approximations with applications to risk and related processes

abstract: We explore two aspects of geometric approximation via a coupling approach to Stein's method. Firstly, we refine precision and increase scope for applications by convoluting the approximating geometric distribution with a simple translation selected based on the problem at hand. Secondly, we apply our geometric and geometric-type approximations to risk processes and related areas, including the approximation of Poisson processes with a random time horizon and Markov chain hitting times. Particular attention is given to geometric approximation of random sums, for which explicit bounds are established. These are applied to give simple approximations, including error bounds, for the infinite-horizon ruin probability in the compound binomial risk process.


title: On Annihilators of Explicit Polynomial Maps

abstract: We study the algebraic complexity of annihilators of polynomials maps. In particular, when a polynomial map is `encoded by' a small algebraic circuit, we show that the coefficients of an annihilator of the map can be computed in PSPACE. Even when the underlying field is that of reals or complex numbers, an analogous statement is true. We achieve this by using the class VPSPACE that coincides with computability of coefficients in PSPACE, over integers. As a consequence, we derive the following two conditional results. First, we show that a VP-explicit hitting set generator for all of VP would separate either VP from VNP, or non-uniform P from PSPACE. Second, in relation to algebraic natural proofs, we show that proving an algebraic natural proofs barrier would imply either VP $\neq$ VNP or DSPACE($\log^{\log^{\ast}n} n$) $\not\subset$ P.


title: The dusty heart of Circinus II. Scrutinizing the LM-band dust morphology using MATISSE

abstract: In this paper we present the first-ever $L$- and $M$-band interferometric observations of Circinus, building upon a recent $N$-band analysis. We used these observations to reconstruct images and fit Gaussian models to the $L$ and $M$ bands. Our findings reveal a thin edge-on disk whose width is marginally resolved and is the spectral continuation of the disk imaged in the $N$ band to shorter wavelengths. Additionally, we find a point-like source in the $L$ and $M$ bands that, based on the $LMN$-band spectral energy distribution fit, corresponds to the $N$-band point source. We also demonstrate that there is no trace of direct sightlines to hot dust surfaces in the circumnuclear dust structure of Circinus. By assuming the dust is present, we find that obscuration of A$_{\rm V} \gtrsim 250$ mag is necessary to reproduce the measured fluxes. Hence, the imaged disk could play the role of the obscuring "torus" in the unified scheme of active galactic nuclei. Furthermore, we explored the parameter space of the disk + hyperbolic cone radiative transfer models and identify a simple modification at the base of the cone. Adding a cluster of clumps just above the disk and inside the base of the hyperbolic cone provides a much better match to the observed temperature distribution in the central aperture. This aligns well with the radiation-driven fountain models that have recently emerged. Only the unique combination of sensitivity and spatial resolution of the VLTI allows such models to be scrutinized and constrained in detail. We plan to test the applicability of this detailed dust structure to other MATISSE-observed active galactic nuclei in the future.


title: Large $N$ Universality of 4d $\mathcal{N}=1$ Superconformal Index and AdS Black Holes

abstract: We study the large $N$ limit of the matrix models associated with the superconformal indices of four-dimensional $\mathcal{N}=1$ superconformal field theories. We find that for a large class of $\mathcal{N}=1$ superconformal gauge theories, the superconformal indices in the large $N$ limit of such theories are dominated by the 'parallelogram' saddle, providing $O(N^2)$ free energy for the generic value of chemical potentials. This saddle corresponds to BPS black holes in AdS$_5$ whenever a holographic dual description is available. Our saddle applies to a large class of gauge theories, including ADE quiver gauge theories, and the theories with rank-2 tensor matters. Our analysis works for most $\mathcal{N}=1$ superconformal gauge theories that admit a suitable large $N$ limit while keeping the flavor symmetry fixed. We also find 'multi-cut' saddle points, which correspond to the orbifolded Euclidean black holes in AdS$_5$.


title: Multilingual Audio Captioning using machine translated data

abstract: Automated Audio Captioning (AAC) systems attempt to generate a natural language sentence, a caption, that describes the content of an audio recording, in terms of sound events. Existing datasets provide audio-caption pairs, with captions written in English only. In this work, we explore multilingual AAC, using machine translated captions. We translated automatically two prominent AAC datasets, AudioCaps and Clotho, from English to French, German and Spanish. We trained and evaluated monolingual systems in the four languages, on AudioCaps and Clotho. In all cases, the models achieved similar performance, about 75% CIDEr on AudioCaps and 43% on Clotho. In French, we acquired manual captions of the AudioCaps eval subset. The French system, trained on the machine translated version of AudioCaps, achieved significantly better results on the manual eval subset, compared to the English system for which we automatically translated the outputs to French. This advocates in favor of building systems in a target language instead of simply translating to a target language the English captions from the English system. Finally, we built a multilingual model, which achieved results in each language comparable to each monolingual system, while using much less parameters than using a collection of monolingual systems.


title: Road Disease Detection based on Latent Domain Background Feature Separation and Suppression

abstract: Road disease detection is challenging due to the the small proportion of road damage in target region and the diverse background,which introduce lots of domain information.Besides, disease categories have high similarity,makes the detection more difficult. In this paper, we propose a new LDBFSS(Latent Domain Background Feature Separation and Suppression) network which could perform background information separation and suppression without domain supervision and contrastive enhancement of object features.We combine our LDBFSS network with YOLOv5 model to enhance disease features for better road disease detection. As the components of LDBFSS network, we first design a latent domain discovery module and a domain adversarial learning module to obtain pseudo domain labels through unsupervised method, guiding domain discriminator and model to train adversarially to suppress background information. In addition, we introduce a contrastive learning module and design k-instance contrastive loss, optimize the disease feature representation by increasing the inter-class distance and reducing the intra-class distance for object features. We conducted experiments on two road disease detection datasets, GRDDC and CNRDD, and compared with other models,which show an increase of nearly 4% on GRDDC dataset compared with optimal model, and an increase of 4.6% on CNRDD dataset. Experimental results prove the effectiveness and superiority of our model.


title: Influence Robustness of Nodes in Multiplex Networks against Attacks

abstract: Recent advances have focused mainly on the resilience of the monoplex network in attacks targeting random nodes or links, as well as the robustness of the network against cascading attacks. However, very little research has been done to investigate the robustness of nodes in multiplex networks against targeted attacks. In this paper, we first propose a new measure, MultiCoreRank, to calculate the global influence of nodes in a multiplex network. The measure models the influence propagation on the core lattice of a multiplex network after the core decomposition. Then, to study how the structural features can affect the influence robustness of nodes, we compare the dynamics of node influence on three types of multiplex networks: assortative, neutral, and disassortative, where the assortativity is measured by the correlation coefficient of the degrees of nodes across different layers. We found that assortative networks have higher resilience against attack than neutral and disassortative networks. The structure of disassortative networks tends to break down quicker under attack.


title: Estimating mutual information for spike trains: a bird song example

abstract: Zebra finch are a model animal used in the study of audition. They are adept at recognizing zebra finch songs and the neural pathway involved in song recognition is well studied. Here, this example is used to illustrate the estimation of mutual information between stimulus and response using a Kozachenko-Leonenko estimator. The challenge in calculating mutual information for spike trains is that there are no obvious coordinates for the data. The Kozachenko-Leonenko estimator does not require coordinates, it relies only on the distance between data points. In the case of bird song, estimating the mutual information demonstrates that the information content of spiking does not diminish as the song progresses.


title: A revised age greater than 50 Myr for the young cluster IC 4665

abstract: IC 4665 is one of only a dozen young open clusters with a ``lithium depletion boundary" (LDB) age. Using an astrometrically and spectroscopically filtered sample of cluster members, we show that both the positions of its low mass stars in Gaia absolute colour-magnitude diagrams and the lithium depletion seen among its K- and early M-stars are discordant with the reported LDB age of (32 +4/-5) Myr. Re-analysis of archival spectra suggests that the LDB of IC 4665 has not been detected and that the published LDB age should be interpreted as a lower limit. Empirical comparisons with similar datasets from other young clusters with better-established LDB ages indicate that IC 4665 is bracketed in age by the clusters IC 2602 and IC 2391 at (55 +/- 3) Myr.


title: Neural Field Representations of Articulated Objects for Robotic Manipulation Planning

abstract: Traditional approaches for manipulation planning rely on an explicit geometric model of the environment to formulate a given task as an optimization problem. However, inferring an accurate model from raw sensor input is a hard problem in itself, in particular for articulated objects (e.g., closets, drawers). In this paper, we propose a Neural Field Representation (NFR) of articulated objects that enables manipulation planning directly from images. Specifically, after taking a few pictures of a new articulated object, we can forward simulate its possible movements, and, therefore, use this neural model directly for planning with trajectory optimization. Additionally, this representation can be used for shape reconstruction, semantic segmentation and image rendering, which provides a strong supervision signal during training and generalization. We show that our model, which was trained only on synthetic images, is able to extract a meaningful representation for unseen objects of the same class, both in simulation and with real images. Furthermore, we demonstrate that the representation enables robotic manipulation of an articulated object in the real world directly from images.


title: Exact solution of the full RMSA problem in elastic optical networks

abstract: Exact solutions of the Routing, Modulation, and Spectrum Allocation (RMSA) problem in Elastic Optical Networks (EONs), so that the number of admitted demands is maximized while those of regenerators and frequency slots used are minimized, require a complex ILP formulation taking into account frequency-slot continuity and contiguity. We introduce the first such formulation, ending a hiatus of some years since the last ILP formulation for a much simpler RMSA variation was introduced. By exploiting a number of problem and solver specificities, we use the NSFNET topology to illustrate the practicality and importance of obtaining exact solutions.


title: The very compact dust disk in the Red Rectangle

abstract: We aim to study the dust distribution in the central regions of the Keplerian disk of the Red Rectangle, the prototype of binary post-AGB stars with rotating circumbinary disks, and to compare it with the distribution of relevant molecular gas tracers We present new high-resolution (20 milliarcseconds, mas) ALMA observations of continuum and line emissions at 0.9 mm. The maps have been analyzed by means of a simple model of dust and free-free emissionn that is able to reproduce the continuum data. Resuts: i) We find that most of the dust emission in the Red Rectangle is concentrated in the inner disk regions, with a typical size of 250 AU in diameter and 50 AU in width. ii) The settlement of dust grains onto inner equatorial regions is remarkable when compared with the relatively widespread gas distribution. iii) This region is basically coincident with the warm PDR (photo-dominated region) where CI, CII, and certain molecules such as HCN are presumably formed, as well as probably PAHs (polycyclic aromatic hydrocarbons, whose emission is very strong in this source). iv) We confirm the large size of the grains, with a typical radius ~ 150 mu The opacity of dust at 0.9 mm is deduced to be relatively large, ~0.5. v) We also confirm the existence of a very compact HII region in the center, for which we measure an extent of 10 - 15 mas (~ 10 AU) and a total flux of 7 - 8 mJy at 0.9 mm.


title: SwitchGPT: Adapting Large Language Models for Non-Text Outputs

abstract: Large Language Models (LLMs), primarily trained on text-based datasets, exhibit exceptional proficiencies in understanding and executing complex linguistic instructions via text outputs. However, they falter when requests to generate non-text ones. Concurrently, modality conversion models, such as text-to-image, despite generating high-quality images, suffer from a lack of extensive textual pretraining. As a result, these models are only capable of accommodating specific image descriptions rather than comprehending more complex instructions. To bridge this gap, we propose a novel approach, \methodname, from a modality conversion perspective that evolves a text-based LLM into a multi-modal one. We specifically employ a minimal dataset to instruct LLMs to recognize the intended output modality as directed by the instructions. Consequently, the adapted LLM can effectively summon various off-the-shelf modality conversion models from the model zoos to generate non-text responses. This circumvents the necessity for complicated pretraining that typically requires immense quantities of paired multi-modal data, while simultaneously inheriting the extensive knowledge of LLMs and the ability of high-quality generative models. To evaluate and compare the adapted multi-modal LLM with its traditional counterparts, we have constructed a multi-modal instruction benchmark that solicits diverse modality outputs. The experiment results reveal that, with minimal training, LLMs can be conveniently adapted to comprehend requests for non-text responses, thus achieving higher flexibility in multi-modal scenarios. Code and data will be made available at https://github.com/xinke-wang/SwitchGPT.


title: Dynamic MOdularized Reasoning for Compositional Structured Explanation Generation

abstract: Despite the success of neural models in solving reasoning tasks, their compositional generalization capabilities remain unclear. In this work, we propose a new setting of the structured explanation generation task to facilitate compositional reasoning research. Previous works found that symbolic methods achieve superior compositionality by using pre-defined inference rules for iterative reasoning. But these approaches rely on brittle symbolic transfers and are restricted to well-defined tasks. Hence, we propose a dynamic modularized reasoning model, MORSE, to improve the compositional generalization of neural models. MORSE factorizes the inference process into a combination of modules, where each module represents a functional unit. Specifically, we adopt modularized self-attention to dynamically select and route inputs to dedicated heads, which specializes them to specific functions. We conduct experiments for increasing lengths and shapes of reasoning trees on two benchmarks to test MORSE's compositional generalization abilities, and find it outperforms competitive baselines. Model ablation and deeper analyses show the effectiveness of dynamic reasoning modules and their generalization abilities.


title: Asynchronous Integration of Real-Time Simulators for HIL-based Validation of Smart Grids

abstract: As the landscape of devices that interact with the electrical grid expands, also the complexity of the scenarios that arise from these interactions increases. Validation methods and tools are typically domain specific and are designed to approach mainly component level testing. For this kind of applications, software and hardware-in-the-loop based simulations as well as lab experiments are all tools that allow testing with different degrees of accuracy at various stages in the development life-cycle. However, things are vastly different when analysing the tools and the methodology available for performing system-level validation. Until now there are no available well-defined approaches for testing complex use cases involving components from different domains. Smart grid applications would typically include a relatively large number of physical devices, software components, as well as communication technology, all working hand in hand. This paper explores the possibilities that are opened in terms of testing by the integration of a real-time simulator into co-simulation environments. Three practical implementations of such systems together with performance metrics are discussed. Two control-related examples are selected in order to show the capabilities of the proposed approach.


title: Asymptotic growth of translation-dilation orbits

abstract: By studying some Clausen-like multiple Dirichlet series, we complete the proof of Manin's conjecture for sufficiently split smooth equivariant compactifications of the translation-dilation group over the rationals. Secondary terms remain elusive in general.


title: Adaptive Reduced Basis Trust Region Methods for Parameter Identification Problems

abstract: In this contribution, we are concerned with model order reduction in the context of iterative regularization methods for the solution of inverse problems arising from parameter identification in elliptic partial differential equations. Such methods typically require a large number of forward solutions, which makes the use of the reduced basis method attractive to reduce computational complexity. However, the considered inverse problems are typically ill-posed due to their infinite-dimensional parameter space. Moreover, the infinite-dimensional parameter space makes it impossible to build and certify classical reduced-order models efficiently in a so-called "offline phase". We thus propose a new algorithm that adaptively builds a reduced parameter space in the online phase. The enrichment of the reduced parameter space is naturally inherited from the Tikhonov regularization within an iteratively regularized Gau{\ss}-Newton method. Finally, the adaptive parameter space reduction is combined with a certified reduced basis state space reduction within an adaptive error-aware trust region framework. Numerical experiments are presented to show the efficiency of the combined parameter and state space reduction for inverse parameter identification problems with distributed reaction or diffusion coefficients.


title: Impact of Excitation and Weighting Errors on Performance of Compact OTA Testing Systems

abstract: This paper investigates the impact of complex excitation errors of the chamber array antenna on the accuracy of the test zone of a random line-of-sight over-the-air testing setup. First, several combinations of compact chamber arrays of lengths L and short distances D between the test zone and the chamber array, which emulate a plane wave impinging at the test zone are obtained. The chamber array is linear and uniform with 100 antenna elements, and a linear taper was applied to some of the elements to emulate a plane wave impinging at the test zone with more compact setups. A subset of L and D was chosen, providing compact over-the-air test setups that fulfilled the defined figures of merit, which assess the similarity of the obtained field distribution to that of a plane wave. The tolerance of the chosen setups to complex excitation errors of the chamber array was then investigated, concluding that these errors must be considered when defining appropriate L and D combinations. Moreover, the performance of the matched filter and zero-forcing algorithms is evaluated for errors of the device under test array weighting coefficients. A random line-of-sight over-the-air testing setup with two arrays was simulated, where one of the arrays emulated the desired signal and the other emulated the interference, observing that the errors were more significant at higher signal-to-noise ratios. Additionally, the zero-forcing algorithm was more sensitive to errors than the matched filter, which was expected since the accuracy of the former for interference suppression is critical.


title: Towards a Systematic Approach for Smart Grid Hazard Analysis and Experiment Specification

abstract: The transition to the smart grid introduces complexity to the design and operation of electric power systems. This complexity has the potential to result in safety-related losses that are caused, for example, by unforeseen interactions between systems and cyber-attacks. Consequently, it is important to identify potential losses and their root causes, ideally during system design. This is non-trivial and requires a systematic approach. Furthermore, due to complexity, it may not possible to reason about the circumstances that could lead to a loss; in this case, experiments are required. In this work, we present how two complementary deductive approaches can be usefully integrated to address these concerns: Systems Theoretic Process Analysis (STPA) is a systems approach to identifying safety-related hazard scenarios; and the ERIGrid Holistic Test Description (HTD) provides a structured approach to refine and document experiments. The intention of combining these approaches is to enable a systematic approach to hazard analysis whose findings can be experimentally tested. We demonstrate the use of this approach with a reactive power voltage control case study for a low voltage distribution network.


title: Online Mixed Discrete and Continuous Optimization: Algorithms, Regret Analysis and Applications

abstract: We study an online mixed discrete and continuous optimization problem where a decision maker interacts with an unknown environment for a number of $T$ rounds. At each round, the decision maker needs to first jointly choose a discrete and a continuous actions and then receives a reward associated with the chosen actions. The goal for the decision maker is to maximize the accumulative reward after $T$ rounds. We propose algorithms to solve the online mixed discrete and continuous optimization problem and prove that the algorithms yield sublinear regret in $T$. We show that a wide range of applications in practice fit into the framework of the online mixed discrete and continuous optimization problem, and apply the proposed algorithms to solve these applications with regret guarantees. We validate our theoretical results with numerical experiments.


title: Unified Linearization-based Nonlinear Filtering

abstract: This letter shows that the following three classes of recursive state estimation filters: standard filters, such as the extended Kalman filter; iterated filters, such as the iterated unscented Kalman filter; and dynamically iterated filters, such as the dynamically iterated posterior linearization filters; can be unified in terms of a general algorithm. The general algorithm highlights the strong similarities between specific filtering algorithms in the three filter classes and facilitates an in-depth understanding of the pros and cons of the different filter classes and algorithms. We end with a numerical example showing the estimation accuracy differences between the three classes of filters when applied to a nonlinear localization problem.


title: Stability Studies for Photovoltaic Integration using Power Hardware-in-the-Loop Experiments

abstract: The electrical power network is gradually migrating from a centralized generation approach to a decentralized generation with high shares of renewable energy sources (RES). However, power systems with low shares of synchronous generation and consequently low total system inertia, are vulnerable to power imbalances. Such systems can experience frequency stability problems, such as high frequency excursions and higher rates of change of frequency even under small disturbances. This phenomenon is intensified when the grid under investigation has low or no interconnections (islanded) and thus the challenge for stable operation becomes more significant for the operators. This work focuses on how the frequency stability is affected when a photovoltaic (PV) inverter is integrated into a real non-interconnected distribution grid in Cyprus. In order to capture the realistic interactions of this integration, stability experiments in a hardware-in-the-loop (HIL) environment are performed with the aim to provide insightful results for the grid operator.


title: Evolutionary-Based Online Motion Planning Framework for Quadruped Robot Jumping

abstract: Offline evolutionary-based methodologies have supplied a successful motion planning framework for the quadrupedal jump. However, the time-consuming computation caused by massive population evolution in offline evolutionary-based jumping framework significantly limits the popularity in the quadrupedal field. This paper presents a time-friendly online motion planning framework based on meta-heuristic Differential evolution (DE), Latin hypercube sampling, and Configuration space (DLC). The DLC framework establishes a multidimensional optimization problem leveraging centroidal dynamics to determine the ideal trajectory of the center of mass (CoM) and ground reaction forces (GRFs). The configuration space is introduced to the evolutionary optimization in order to condense the searching region. Latin hypercube sampling offers more uniform initial populations of DE under limited sampling points, accelerating away from a local minimum. This research also constructs a collection of pre-motion trajectories as a warm start when the objective state is in the neighborhood of the pre-motion state to drastically reduce the solving time. The proposed methodology is successfully validated via real robot experiments for online jumping trajectory optimization with different jumping motions (e.g., ordinary jumping, flipping, and spinning).


title: Coupling Constants as Conserved Charges in Black Hole Thermodynamics

abstract: In a generic theory of gravity coupled to matter fields, the Smarr formula for black holes does not work properly if the contributions of the coupling constants defining the theory are not incorporated. However, these couplings, such as the cosmological constant or the dimensionful parameters that appear in the Lagrangian, are fixed parameters defining the theory, and they cannot be varied. Here, we present a robust method, applicable to any covariant Lagrangian, that upgrades the role of the couplings from being constants in the theory to being free parameters of the solutions. To this end, for each one of the couplings in a theory, a pair of auxiliary scalar and gauge fields is introduced. The couplings are shown to be conserved charges of the global part of the implemented gauge symmetry. Besides, their conjugate chemical potentials are defined as the electric potential of the corresponding gauge fields on the black hole horizon. Using this method, we systematically extend the first law and the Smarr formula by coupling conserved charges and their conjugate potentials. The thermodynamics of a black hole solution in a quadratic gravity theory is given as an example.


title: Decay estimates for one Aharonov-Bohm solenoid in a uniform magnetic field I: Schr\"odinger equation

abstract: This is the first of a series of papers in which we investigate the decay estimates for dispersive equations with Aharonov-Bohm solenoids in a uniform magnetic field. In this first starting paper, we prove the local-in-time dispersive estimates and Strichartz estimates for Schr\"odinger equation with one Aharonov-Bohm solenoid in a uniform magnetic field. The key ingredient is the construction of Schr\"odinger propagator, we provide two methods to construct the propagator. The first one is combined the strategies of \cite{FFFP1} and \cite{GYZZ22, FZZ22}, and the second one is based on the Schulman-Sunada formula in sprit of \cite{stov, stov1} in which the heat kernel has been studied. In future papers, we will continue investigating this quantum model for wave with one or multiple Aharonov-Bohm solenoids in a uniform magnetic field.


title: On the Relationship Between Iterated Statistical Linearization and Quasi-Newton Methods

abstract: This letter investigates relationships between iterated filtering algorithms based on statistical linearization, such as the iterated unscented Kalman filter (IUKF), and filtering algorithms based on quasi-Newton (QN) methods, such as the QN iterated extended Kalman filter (QN-IEKF). Firstly, it is shown that the IUKF and the iterated posterior linearization filter (IPLF) can be viewed as QN algorithms, by finding a Hessian correction in the QN-IEKF such that the IPLF iterate updates are identical to that of the QN-IEKF. Secondly, it is shown that the IPLF/IUKF update can be rewritten such that it is approximately identical to the QN-IEKF, albeit for an additional correction term. This enables a richer understanding of the properties of iterated filtering algorithms based on statistical linearization.


title: All Gauged Curvature Squared Supergravities in Five Dimensions

abstract: We present a complete basis to study gauged curvature-squared supergravity in five dimensions. We replace the conventional ungauged Riemann-squared action with a new Log-invariant, offering a comprehensive framework for all gauged curvature-squared supergravities. Our findings address long-standing challenges and have implications for precision tests in the AdS/CFT correspondence.


title: WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly

abstract: WebAssembly is the fourth officially endorsed Web language. It is recognized because of its efficiency and design, focused on security. Yet, its swiftly expanding ecosystem lacks robust software diversification systems. We introduce WASM-MUTATE, a diversification engine specifically designed for WebAssembly. Our engine meets several essential criteria: 1) To quickly generate functionally identical, yet behaviorally diverse, WebAssembly variants, 2) To be universally applicable to any WebAssembly program, irrespective of the source programming language, and 3) Generated variants should counter side-channels. By leveraging an e-graph data structure, WASM-MUTATE is implemented to meet both speed and efficacy. We evaluate WASM-MUTATE by conducting experiments on 404 programs, which include real-world applications. Our results highlight that WASM-MUTATE can produce tens of thousands of unique and efficient WebAssembly variants within minutes. Significantly, WASM-MUTATE can safeguard WebAssembly binaries against timing side-channel attacks,especially those of the Spectre type.


title: Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials

abstract: Neural Code Completion Tools (NCCTs) have reshaped the field of software engineering, which are built upon the language modeling technique and can accurately suggest contextually relevant code snippets. However, language models may emit the training data verbatim during inference with appropriate prompts. This memorization property raises privacy concerns of NCCTs about hard-coded credential leakage, leading to unauthorized access to applications, systems, or networks. Therefore, to answer whether NCCTs will emit the hard-coded credential, we propose an evaluation tool called Hard-coded Credential Revealer (HCR). HCR constructs test prompts based on GitHub code files with credentials to reveal the memorization phenomenon of NCCTs. Then, HCR designs four filters to filter out ill-formatted credentials. Finally, HCR directly checks the validity of a set of non-sensitive credentials. We apply HCR to evaluate three representative types of NCCTs: Commercial NCCTs, open-source models, and chatbots with code completion capability. Our experimental results show that NCCTs can not only return the precise piece of their training data but also inadvertently leak additional secret strings. Notably, two valid credentials were identified during our experiments. Therefore, HCR raises a severe privacy concern about the potential leakage of hard-coded credentials in the training data of commercial NCCTs. All artifacts and data are released for future research purposes in https://github.com/HCR-Repo/HCR.


title: Indoor Scene Reconstruction with Fine-Grained Details Using Hybrid Representation and Normal Prior Enhancement

abstract: The reconstruction of indoor scenes from multi-view RGB images is challenging due to the coexistence of flat and texture-less regions alongside delicate and fine-grained regions. Recent methods leverage neural radiance fields aided by predicted surface normal priors to recover the scene geometry. These methods excel in producing complete and smooth results for floor and wall areas. However, they struggle to capture complex surfaces with high-frequency structures due to the inadequate neural representation and the inaccurately predicted normal priors. This work aims to reconstruct high-fidelity surfaces with fine-grained details by addressing the above limitations. To improve the capacity of the implicit representation, we propose a hybrid architecture to represent low-frequency and high-frequency regions separately. To enhance the normal priors, we introduce a simple yet effective image sharpening and denoising technique, coupled with a network that estimates the pixel-wise uncertainty of the predicted surface normal vectors. Identifying such uncertainty can prevent our model from being misled by unreliable surface normal supervisions that hinder the accurate reconstruction of intricate geometries. Experiments on the benchmark datasets show that our method outperforms existing methods in terms of reconstruction quality. Furthermore, the proposed method also generalizes well to real-world indoor scenarios captured by our hand-held mobile phones. Our code is publicly available at: https://github.com/yec22/Fine-Grained-Indoor-Recon.


title: Reconfigurable neural spiking in bias field-free spin Hall nano oscillator

abstract: In this study, we theoretically investigate neuron-like spiking dynamics in an elliptic ferromagnet/heavy metal bilayer-based spin Hall nano oscillator (SHNO) in bias field-free condition, much suitable for practical realization of brain inspired computing schemes. We demonstrate regular periodic spiking with tunable frequency as well as the leaky-integrate-and-fire (LIF) behavior in a single SHNO by manipulating the pulse features of input current. The frequency of regular periodic spiking is tunable in a range of 0.5 GHz to 0.96 GHz (460 MHz bandwidth) through adjusting the magnitude of constant input dc current density. We further demonstrate the reconfigurability of spiking dynamics in response to a time varying input accomplished by continuously increasing the input current density as a linear function of time. Macrospin theory and micromagnetic simulation provide insights into the origin of bias field-free auto-oscillation and the spiking phenomena in our SHNO. In addition, we discuss how the shape anisotropy of the elliptic ferromagnet influence the bias field-free auto oscillation characteristics, including threshold current, frequency and transition from in-plane to out-of-plane precession. The SHNO operates below $10^{12} A/m^2$ input current density and exhibits a large auto-oscillation amplitude, ensuring high output power. We show that the threshold current density can be reduced by decreasing the ellipticity of the ferromagnet layer as well as enhancing the perpendicular magnetic anisotropy. These findings highlight the potential of bias field-free elliptic SHNO in designing power-efficient spiking neuron-based neuromorphic hardware.


title: Uniqueness of blowup at singular points for superconductivity problem

abstract: In this paper, we prove that the uniqueness of blowup at the maximum point of coincidence set of the superconductivity problem, mainly based on the Weiss-type and Monneau-type monotonicity formulas, and the proof of the main results in this paper is inspired the recent paper \cite{CFL22} by Chen-Feng-Li.


title: A trio of month long flares in the nova-like variable V704 And

abstract: We present the discovery of an unusual set of flares in the nova-like variable V704 And. Using data from AAVSO, ASAS-SN, and ZTF, of the nova-like variable V704 And, we have discovered a trio of brightening events that occurred during the high state. These events elevate the optical brightness of the source from $\sim13.5$ magnitude to $\sim12.5$ magnitude. The events last for roughly a month, and exhibit the unusual shape of a slow rise and faster decay. Just after the third event we obtained data from regular monitoring with Swift, although by this time the flares had ceased and the source returned to its pre-flare level of activity in the high-state. The Swift observations confirm that during the high-state the source is detectable in the X-rays, and provide simultaneous UV and optical fluxes. As the source is already in the high-state prior to the flares, and thus the disc is expected to already be in the high-viscosity state, we conclude that the driver of the variations must be changes in the mass transfer rate from the companion star and we discuss possible mechanisms for such short-timescale mass transfer variations to occur.


title: Haar measure for non-Hausdorff locally compact groups

abstract: The paper describes two possible ways of extending the definition of Haar measure to non-Hausdorff locally compact groups. The first one forces compact sets to be measurable: with this construction, a counterexample to the existence of the Haar measure is provided. The second one makes use of closed compact sets instead of compact sets in the definition of Radon measure: this way, the classical theorems of existence and uniqueness of the Haar measure can be generalised to locally compact groups, not necessarily Hausdorff.


title: Holographic three-point correlators at finite density and temperature

abstract: We calculate holographically three-point functions of scalar operators with large dimensions at finite density and finite temperature. To achieve this, we construct new solutions that involve two isometries of the deformed internal space. The novel feature of these solutions is that the corresponding two-point function depends not only on the conformal dimension but also on the difference between the two angular momenta. After identifying the dual operators, we systematically calculate three-point correlators as an expansion in powers of the temperature and the chemical potential. Our analytic perturbative results are in agreement with the exact numerical computation. The three point correlator (when the background contains either temperature or density but not both) is always a monotonic function of the temperature or the chemical potential. However, when both parameters are present the three point correlator is no longer a monotonic function. For fixed finite temperature and small values of the chemical potential a minimum of the three-point function appears. Surprisingly, contributions from the internal space do not depend on the chemical potential or the temperature, as long as those are treated as perturbations.


title: Paramagnon Heat Capacity and Anomalous Thermopower in Anisotropic Magnetic Systems: Understanding Inter-Layer Spin Correlations in a Magnetically Disordered Phase

abstract: The interplay between entropy transport and charge carriers-paramagnon interaction in the Onsager linear system has been a subject of debate due to the limited theoretical and experimental understanding of paramagnon heat capacity. In this study, we investigate this interplay in an anisotropic layered magnetic system using cluster mean-field theory with spin quantum correlations. By examining spin correlation functions between different spins with various types of clustering, we derive the spin correlation function as a function of distance and temperature for the inter-layer clusters both below and above the magnetic order phase transition. Our analysis reveals that paramagnons characterized by pronounced spin correlations among inter-layer nearest-neighbor spins exhibit a non-zero heat capacity, providing valuable insights into the dynamics of entropy transport. The findings align with experimental observations, lending strong support to the validity of the paramagnon drag thermopower concept. This study sheds light on the intricate dynamics and thermodynamic properties of paramagnons, advancing our understanding of entropy transport in complex systems.

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


title: Mathematical Musings of a Urologist

abstract: The derivatives with respect to the variable $r$ of $\pi r^2$ and $\frac{4}{3}\pi r^3$ are $2\pi r$ and $4\pi r^2$, respectively. This relates, through the derivative, the area enclosed in a circle to the length of that circle and, likewise, the volume of a sphere to the surface area of that sphere. The reasons why this works are basic to a first course in calculus. In this brief article, we expand on these ideas to shapes other than circles and spheres. Our approach is with the first year calculus student in mind.


title: Incorporating Class-based Language Model for Named Entity Recognition in Factorized Neural Transducer

abstract: Despite advancements of end-to-end (E2E) models in speech recognition, named entity recognition (NER) is still challenging but critical for semantic understanding. Previous studies mainly focus on various rule-based or attention-based contextual biasing algorithms. However, their performance might be sensitive to the biasing weight or degraded by excessive attention to the named entity list, along with a risk of false triggering. Inspired by the success of the class-based language model (LM) in NER in conventional hybrid systems and the effective decoupling of acoustic and linguistic information in the factorized neural Transducer (FNT), we propose C-FNT, a novel E2E model that incorporates class-based LMs into FNT. In C-FNT, the LM score of named entities can be associated with the name class instead of its surface form. The experimental results show that our proposed C-FNT significantly reduces error in named entities without hurting performance in general word recognition.


title: Decay estimates for one Aharonov-Bohm solenoid in a uniform magnetic field II: wave equation

abstract: This is the second of a series of papers in which we investigate the decay estimates for dispersive equations with Aharonov-Bohm solenoids in a uniform magnetic field. In our first starting paper \cite{WZZ}, we have studied the Strichartz estimates for Schr\"odinger equation with one Aharonov-Bohm solenoid in a uniform magnetic field. The wave equation in this setting becomes more delicate since a difficulty is raised from the square root of the eigenvalue of the Schr\"odinger operator $H_{\alpha, B_0}$ so that we cannot directly construct the half-wave propagator. An independent interesting result concerning the Gaussian upper bounds of the heat kernel is proved by using two different methods. The first one is based on establishing Davies-Gaffney inequality in this setting and the second one is straightforward to construct the heat kernel (which efficiently captures the magnetic effects) based on the Schulman-Sunada formula. As byproducts, we prove optimal bounds for the heat kernel and show the Bernstein inequality and the square function inequality for Schr\"odinger operator with one Aharonov-Bohm solenoid in a uniform magnetic field.


title: Automatic Data Visualization Generation from Chinese Natural Language Questions

abstract: Data visualization has emerged as an effective tool for getting insights from massive datasets. Due to the hardness of manipulating the programming languages of data visualization, automatic data visualization generation from natural languages (Text-to-Vis) is becoming increasingly popular. Despite the plethora of research effort on the English Text-to-Vis, studies have yet to be conducted on data visualization generation from questions in Chinese. Motivated by this, we propose a Chinese Text-to-Vis dataset in the paper and demonstrate our first attempt to tackle this problem. Our model integrates multilingual BERT as the encoder, boosts the cross-lingual ability, and infuses the $n$-gram information into our word representation learning. Our experimental results show that our dataset is challenging and deserves further research.


title: Methodologies for Selection of Optimal Sites for Renewable Energy Under a Diverse Set of Constraints and Objectives

abstract: In this paper, we present methodologies for optimal selection for renewable energy sites under a different set of constraints and objectives. We consider two different models for the site-selection problem - coarse-grained and fine-grained, and analyze them to find solutions. We consider multiple different ways to measure the benefits of setting up a site. We provide approximation algorithms with a guaranteed performance bound for two different benefit metrics with the coarse-grained model. For the fine-grained model, we provide a technique utilizing Integer Linear Program to find the optimal solution. We present the results of our extensive experimentation with synthetic data generated from sparsely available real data from solar farms in Arizona.


title: Photochemical reaction enabling the engineering of photonic spin-orbit coupling in organic-crystal optical microcavities

abstract: The control and active manipulation of spin-orbit coupling (SOC) in photonic systems is fundamental in the development of modern spin optics and topological photonic devices. Here, we demonstrate the control of an artificial Rashba-Dresselhaus (RD) SOC mediated by photochemical reactions in a microcavity filled with an organic single-crystal of photochromic phase-change character. Splitting of the circular polarization components of the optical modes induced by photonic RD SOC is observed experimentally in momentum space. By applying an ultraviolet light beam, we control the spatial molecular orientation through a photochemical reaction and with that we control the energies of the photonic modes. This way we realize a reversible conversion of spin-splitting of the optical modes with different energies, leading to an optically controlled switching between circularly and linearly polarized emission from our device. Our strategy of in situ and reversible engineering of SOC induced by a light field provides a promising approach to actively design and manipulate synthetic gauge fields towards future on-chip integration in photonics and topological photonic devices.


title: Discerning Parallax Amplitude in Astrometric Microlensing

abstract: Gravitational microlensing is a powerful method for discovering Isolated Stellar-Mass Black Holes(ISMBHs). These objects make long-duration microlensing events. To characterize these lensing objects by fully resolving the microlensing degeneracy, measurements of parallax and astrometric deflections are necessary. Microlensing events due to ISMBHs have considerable astrometric deflections, but small parallax amplitudes as $\pi_{\rm E} \propto 1/\sqrt{M_{\rm l}}$, where $M_{\rm l}$ is the lens mass. We numerically investigate the possibility of inferring parallax amplitude from astrometric deflection in microlensing events due to ISMBHs. The parallax amplitude in astrometric deflections is proportional to the relative parallax $\pi_{\rm{rel}}$, which means (i) does not strongly depend on $M_{\rm l}$, and (ii) increases in microlensing observations toward the Magellanic Clouds(MCs). We assume these events are potentially detected in upcoming microlensing surveys-(1): the \wfirst\ observations of the Galactic bulge (GB), and (2): the LSST observations of the Large MC(LMC)-, and the Extremely Large Telescope (ELT) follows up them with one data point every ten days. We evaluate the probability of inferring parallax amplitude from these observations by calculating the Fisher/Covariance matrices. For GB, the efficiencies for discerning parallax amplitudes with a relative error $<4\%$ through astrometric, and photometric observations are $3.8\%$, and $29.1\%$, respectively. For observations toward the LMC, these efficiencies are $41.1\%$, and $23.0\%$, respectively. Measuring parallax amplitude through astrometric deflections is plausible in the GB events with the lens distance $\lesssim 2.7$kpc, and in the LMC halo-lensing. The ELT telescope by monitoring long-duration microlensing events can detect astrometric deflections, and their parallax-induced deviations.


title: Towards Robust and Unconstrained Full Range of Rotation Head Pose Estimation

abstract: Estimating the head pose of a person is a crucial problem for numerous applications that is yet mainly addressed as a subtask of frontal pose prediction. We present a novel method for unconstrained end-to-end head pose estimation to tackle the challenging task of full range of orientation head pose prediction. We address the issue of ambiguous rotation labels by introducing the rotation matrix formalism for our ground truth data and propose a continuous 6D rotation matrix representation for efficient and robust direct regression. This allows to efficiently learn full rotation appearance and to overcome the limitations of the current state-of-the-art. Together with new accumulated training data that provides full head pose rotation data and a geodesic loss approach for stable learning, we design an advanced model that is able to predict an extended range of head orientations. An extensive evaluation on public datasets demonstrates that our method significantly outperforms other state-of-the-art methods in an efficient and robust manner, while its advanced prediction range allows the expansion of the application area. We open-source our training and testing code along with our trained models: https://github.com/thohemp/6DRepNet360.


title: Phase shift rule with the optimal parameter selection

abstract: The phase shift rules enable the estimation of the derivative of a quantum state with respect to phase parameters, providing valuable insights into the behavior and dynamics of quantum systems. This capability is essential in quantum simulation tasks where understanding the behavior of complex quantum systems is of interest, such as simulating chemical reactions or condensed matter systems. However, parameter shift rules are typically designed for Hamiltonian systems with equidistant eigenvalues. For systems with closely spaced eigenvalues, effective rules have not been established. We provide insights about the optimal design of a parameter shift rule, tailored to various sorts of spectral information that may be available. The proposed method lets derivatives be calculated for any system, regardless of how close the eigenvalues are to each other. It also optimizes the number of phase shifts, which reduces the amount of gate resources needed.


title: First determination of the Jarlskog invariant of CP violation from the moduli of the CKM matrix elements

abstract: We find that the precision and accuracy of current experimental data on the moduli of nine Cabibbo-Kobayashi-Maskawa (CKM) quark flavor mixing matrix elements allow us to numerically determine the it correct size of the Jarlskog invariant of CP violation from four of them in eight different ways for the first time without making any special assumptions. This observation implies a remarkable self-consistency of the correlation between CP-conserving and CP-violating quantities of the CKM matrix as guaranteed by its unitarity.


title: Sync+Sync: A Covert Channel Built on fsync with Storage

abstract: Scientists have built a variety of covert channels for secretive information transmission with CPU cache and main memory. In this paper, we turn to a lower level in the memory hierarchy, i.e., persistent storage. Most programs store intermediate or eventual results in the form of files and some of them call fsync to synchronously persist a file with storage device for orderly persistence. Our quantitative study shows that one program would undergo significantly longer response time for fsync call if the other program is concurrently calling fsync, although they do not share any data. We further find that, concurrent fsync calls contend at multiple levels of storage stack due to sharing software structures (e.g., Ext4's journal) and hardware resources (e.g., disk's I/O dispatch queue). We accordingly build a covert channel named Sync+Sync. Sync+Sync delivers a transmission bandwidth of 20,000 bits per second at an error rate of about 0.40% with an ordinary solid-state drive. Sync+Sync can be conducted in cross-disk partition, cross-file system, cross-container, cross-virtual machine, and even cross-disk drive fashions, without sharing data between programs. Next, we launch side-channel attacks with Sync+Sync and manage to precisely detect operations of a victim database (e.g., insert/update and B-Tree node split). We also leverage Sync+Sync to distinguish applications and websites with high accuracy by detecting and analyzing their fsync frequencies and flushed data volumes. These attacks are useful to support further fine-grained information leakage.


title: DDSP-based Neural Waveform Synthesis of Polyphonic Guitar Performance from String-wise MIDI Input

abstract: We explore the use of neural synthesis for acoustic guitar from string-wise MIDI input. We propose four different systems and compare them with both objective metrics and subjective evaluation against natural audio and a sample-based baseline. We iteratively develop these four systems by making various considerations on the architecture and intermediate tasks, such as predicting pitch and loudness control features. We find that formulating the control feature prediction task as a classification task rather than a regression task yields better results. Furthermore, we find that our simplest proposed system, which directly predicts synthesis parameters from MIDI input performs the best out of the four proposed systems. Audio examples are available at https://erl-j.github.io/neural-guitar-web-supplement.


title: Mitigating controller noise in quantum gates using optimal control theory

abstract: All quantum systems are subject to noise from the environment or external controls. This noise is a major obstacle to the realization of quantum technology. For example, noise limits the fidelity of quantum gates. Employing optimal control theory, we study the generation of quantum single and two-qubit gates. Specifically, we explore a Markovian model of phase and amplitude noise, leading to the degradation of the gate fidelity. We show that optimal control with such noise models generates control solutions to mitigate the loss of gate fidelity. The problem is formulated in Liouville space employing an extremely accurate numerical solver and the Krotov algorithm for solving the optimal control equations.


title: Weighted mixed endpoint estimates of Fefferman-Stein type for commutators of singular integral operators

abstract: We deal with mixed weak estimates of Fefferman-Stein type for higher order commutators of Calder\'on-Zygmund operators with BMO symbol. The results obtained are Fefferman-Stein inequalities that include the estimates proved in \cite{BCP22(JMS)} for the case of singular integral operators, as well as the classical weak endpoint estimate for commutators given in \cite{PP01}. We also consider commutators of operators involving less regular kernels satisfying an $L^{\Phi}$--H\"ormander condition. Particularly, the obtained results contain some previous estimates proved in \cite{BCP22(JMS)} and \cite{Lorente-Martell-Perez-Riveros}.


title: Entanglement transitions in a periodically driven non-Hermitian Ising chain

abstract: We study entanglement transitions in a periodically driven Ising chain in the presence of an imaginary transverse field $\gamma$ as a function of drive frequency $\omega_D$. In the high drive amplitude and frequency regime, we find a critical value $\gamma=\gamma_c$ below which the steady state half-chain entanglement entropy, $S_{L/2}$, scales with chain length $L$ as $S_{L/2} \sim \ln L$; in contrast, for $\gamma>\gamma_c$, it becomes independent of $L$. In the small $\gamma$ limit, we compute the coefficient, $\alpha$, of the $\ln L$ term analytically using a Floquet perturbation theory and trace its origin to the presence of Fisher-Hartwig jump singularities in the correlation function of the driven chain. We also study the frequency dependence of $\gamma_c$ and show that $\gamma_c \to 0$ at special drive frequencies; at these frequencies, which we analytically compute, $S_{L/2}$ remain independent of $L$ for all $\gamma$. This behavior can be traced to an approximate emergent symmetry of the Floquet Hamiltonian at these drive frequencies which we identify. Finally, we discus the behavior of the driven system at low and intermediate drive frequencies. Our analysis shows the presence of volume law behavior of the entanglement in this regime $S_{\ell} \sim \ell$ for small subsystem length $\ell \le \ell^{\ast}(\omega_D)$. We identify $\ell^{\ast}(\omega_D)$ and tie its existence to the effective long-range nature of the Floquet Hamiltonian of the driven chain for small subsystem size. We discuss the applicability of our results to other integrable non-hermitian models.


title: Guaranteed approximations of arbitrarily quantified reachability problems

abstract: We propose an approach to compute inner and outer-approximations of the sets of values satisfying constraints expressed as arbitrarily quantified formulas. Such formulas arise for instance when specifying important problems in control such as robustness, motion planning or controllers comparison. We propose an interval-based method which allows for tractable but tight approximations. We demonstrate its applicability through a series of examples and benchmarks using a prototype implementation.


title: Dataset Size Dependence of Rate-Distortion Curve and Threshold of Posterior Collapse in Linear VAE

abstract: In the Variational Autoencoder (VAE), the variational posterior often aligns closely with the prior, which is known as posterior collapse and hinders the quality of representation learning. To mitigate this problem, an adjustable hyperparameter beta has been introduced in the VAE. This paper presents a closed-form expression to assess the relationship between the beta in VAE, the dataset size, the posterior collapse, and the rate-distortion curve by analyzing a minimal VAE in a high-dimensional limit. These results clarify that a long plateau in the generalization error emerges with a relatively larger beta. As the beta increases, the length of the plateau extends and then becomes infinite beyond a certain beta threshold. This implies that the choice of beta, unlike the usual regularization parameters, can induce posterior collapse regardless of the dataset size. Thus, beta is a risky parameter that requires careful tuning. Furthermore, considering the dataset-size dependence on the rate-distortion curve, a relatively large dataset is required to obtain a rate-distortion curve with high rates. Extensive numerical experiments support our analysis.


title: Computer says 'no': Exploring systemic bias in ChatGPT using an audit approach

abstract: Large language models offer significant potential for increasing labour productivity, such as streamlining personnel selection, but raise concerns about perpetuating systemic biases embedded into their pre-training data. This study explores the potential ethnic and gender bias of ChatGPT, a chatbot producing human-like responses to language tasks, in assessing job applicants. Using the correspondence audit approach from the social sciences, I simulated a CV screening task with 34,560 vacancy-CV combinations where the chatbot had to rate fictitious applicant profiles. Comparing ChatGPT's ratings of Arab, Asian, Black American, Central African, Dutch, Eastern European, Hispanic, Turkish, and White American male and female applicants, I show that ethnic and gender identity influence the chatbot's evaluations. Ethnic discrimination is more pronounced than gender discrimination and mainly occurs in jobs with favourable labour conditions or requiring greater language proficiency. In contrast, gender discrimination emerges in gender-atypical roles. These findings suggest that ChatGPT's discriminatory output reflects a statistical mechanism echoing societal stereotypes. Policymakers and developers should address systemic bias in language model-driven applications to ensure equitable treatment across demographic groups. Practitioners should practice caution, given the adverse impact these tools can (re)produce, especially in selection decisions involving humans.


title: Fluctuating Entropy Production on the Coarse-Grained Level: Inference and Localization of Irreversibility

abstract: Stochastic thermodynamics provides the framework to analyze thermodynamic laws and quantities along individual trajectories of small but fully observable systems. If the observable level fails to capture all relevant degrees of freedom, some form of effective, coarse-grained dynamics naturally emerges for which the principles of stochastic thermodynamics generally cease to be applicable straightforwardly. Our work unifies the notion of entropy production along an individual trajectory with that of a coarse-grained dynamics by establishing a framework based on snippets and Markovian events as fundamental building blocks. A key asset of a trajectory-based fluctuating entropy production is the ability to localize individual contributions to the total entropy production in time and space. As an illustration and potential application for inference we introduce a method for the detection of hidden driving. The framework applies equally to even and odd variables and, therefore, includes the peculiar case of entropy production in underdamped Langevin dynamics.


title: Multi-Source Domain Adaptation meets Dataset Distillation through Dataset Dictionary Learning

abstract: In this paper, we consider the intersection of two problems in machine learning: Multi-Source Domain Adaptation (MSDA) and Dataset Distillation (DD). On the one hand, the first considers adapting multiple heterogeneous labeled source domains to an unlabeled target domain. On the other hand, the second attacks the problem of synthesizing a small summary containing all the information about the datasets. We thus consider a new problem called MSDA-DD. To solve it, we adapt previous works in the MSDA literature, such as Wasserstein Barycenter Transport and Dataset Dictionary Learning, as well as DD method Distribution Matching. We thoroughly experiment with this novel problem on four benchmarks (Caltech-Office 10, Tennessee-Eastman Process, Continuous Stirred Tank Reactor, and Case Western Reserve University), where we show that, even with as little as 1 sample per class, one achieves state-of-the-art adaptation performance.


title: Profit and loss attribution: An empirical study

abstract: The profit and loss (p&l) attrition for each business year into different risk or risk factors (e.g., interest rates, credit spreads, foreign exchange rate etc.) is a regulatory requirement, e.g., under Solvency 2. Three different decomposition principles are prevalent: one-at-a-time (OAT), sequential updating (SU) and average sequential updating (ASU) decompositions. In this research, using financial market data from 2003 to 2022, we demonstrate that the OAT decomposition can generate significant unexplained p&l and that the SU decompositions depends significantly on the order or labeling of the risk factors. On the basis of an investment in a foreign stock, we further explain that the SU decomposition is not able to identify all relevant risk factors. This potentially effects the hedging strategy of the portfolio manager. In conclusion, we suggest to use the ASU decomposition in practice.


title: CoRF : Colorizing Radiance Fields using Knowledge Distillation

abstract: Neural radiance field (NeRF) based methods enable high-quality novel-view synthesis for multi-view images. This work presents a method for synthesizing colorized novel views from input grey-scale multi-view images. When we apply image or video-based colorization methods on the generated grey-scale novel views, we observe artifacts due to inconsistency across views. Training a radiance field network on the colorized grey-scale image sequence also does not solve the 3D consistency issue. We propose a distillation based method to transfer color knowledge from the colorization networks trained on natural images to the radiance field network. Specifically, our method uses the radiance field network as a 3D representation and transfers knowledge from existing 2D colorization methods. The experimental results demonstrate that the proposed method produces superior colorized novel views for indoor and outdoor scenes while maintaining cross-view consistency than baselines. Further, we show the efficacy of our method on applications like colorization of radiance field network trained from 1.) Infra-Red (IR) multi-view images and 2.) Old grey-scale multi-view image sequences.


title: Frequency-adaptive control of a three-phase single-stage grid-connected photovoltaic system under grid voltage sags

abstract: The low-voltage ride-through service is carried out in this paper according to the voltage profile described by the IEC 61400-21 European normative when short-duration voltage sags happen, and some instantaneous reactive power is delivered to the grid in accordance with the Spanish grid code; the mandatory limitation of the amplitude of the three-phase inverter currents to its nominal value is carried out with a novel control strategy, in which a certain amount of instantaneous constant active power can also be delivered to the grid when small or moderate voltage sags happen. A Multiple second order generalized integrator frequency-locked loop synchronization algorithm is employed in order to estimate the system frequency without harmonic distortions, as well as to output the positive- and the negative- sequence of the {\alpha}\b{eta} quantities of the three-phase grid voltages when balanced and unbalanced voltage sags happen in a frequency-adaptive scheme. The current control is carried out in the stationary reference frame, which guarantees the cancellation of the harmonic distortions in the utility grid currents using a Harmonic compensation structure, and the implementation of a constant active power control in order to protect the DC link capacitor from thermal stresses avoiding the appearance of large harmonic distortions at twice the fundamental frequency in the DC link voltage. A case study of a three-phase single-stage grid-connected PV system with a maximum apparent power about 500 kVA is tested with several simulations using MATLAB/SIMULINK firstly, and secondly, with some experiments using the Controller hardware-in-the-loop (CHIL) simulation technique for several types of voltage sags in order to do the final validation of the control algorithms.


title: Federated Dataset Dictionary Learning for Multi-Source Domain Adaptation

abstract: In this article, we propose an approach for federated domain adaptation, a setting where distributional shift exists among clients and some have unlabeled data. The proposed framework, FedDaDiL, tackles the resulting challenge through dictionary learning of empirical distributions. In our setting, clients' distributions represent particular domains, and FedDaDiL collectively trains a federated dictionary of empirical distributions. In particular, we build upon the Dataset Dictionary Learning framework by designing collaborative communication protocols and aggregation operations. The chosen protocols keep clients' data private, thus enhancing overall privacy compared to its centralized counterpart. We empirically demonstrate that our approach successfully generates labeled data on the target domain with extensive experiments on (i) Caltech-Office, (ii) TEP, and (iii) CWRU benchmarks. Furthermore, we compare our method to its centralized counterpart and other benchmarks in federated domain adaptation.


title: A standardised open science framework for sharing and re-analysing neural data acquired to continuous stimuli

abstract: Neurophysiology research has demonstrated that it is possible and valuable to investigate sensory processing in scenarios involving continuous sensory streams, such as speech and music. Over the past 10 years or so, novel analytic frameworks combined with the growing participation in data sharing has led to a surge of publicly available datasets involving continuous sensory experiments. However, open science efforts in this domain of research remain scattered, lacking a cohesive set of guidelines. This paper presents an end-to-end open science framework for the storage, analysis, sharing, and re-analysis of neural data recorded during continuous sensory experiments. The framework has been designed to interface easily with existing toolboxes, such as EelBrain, NapLib, MNE, and the mTRF-Toolbox. We present guidelines by taking both the user view (how to rapidly re-analyse existing data) and the experimenter view (how to store, analyse, and share), making the process as straightforward and accessible as possible for all users. Additionally, we introduce a web-based data browser that enables the effortless replication of published results and data re-analysis.


title: Physics-constrained robust learning of open-form partial differential equations from limited and noisy data

abstract: Unveiling the underlying governing equations of nonlinear dynamic systems remains a significant challenge. Insufficient prior knowledge hinders the determination of an accurate candidate library, while noisy observations lead to imprecise evaluations, which in turn result in redundant function terms or erroneous equations. This study proposes a framework to robustly uncover open-form partial differential equations (PDEs) from limited and noisy data. The framework operates through two alternating update processes: discovering and embedding. The discovering phase employs symbolic representation and a novel reinforcement learning (RL)-guided hybrid PDE generator to efficiently produce diverse open-form PDEs with tree structures. A neural network-based predictive model fits the system response and serves as the reward evaluator for the generated PDEs. PDEs with higher rewards are utilized to iteratively optimize the generator via the RL strategy and the best-performing PDE is selected by a parameter-free stability metric. The embedding phase integrates the initially identified PDE from the discovering process as a physical constraint into the predictive model for robust training. The traversal of PDE trees automates the construction of the computational graph and the embedding process without human intervention. Numerical experiments demonstrate our framework's capability to uncover governing equations from nonlinear dynamic systems with limited and highly noisy data and outperform other physics-informed neural network-based discovery methods. This work opens new potential for exploring real-world systems with limited understanding.


title: Fully Passive Measurement-Device-Independent Quantum Key Distribution

abstract: A recently proposed fully passive QKD removes all source modulator side channels. In this work, we combine the fully passive sources with MDI-QKD to remove simultaneously side channels from source modulators and detectors. We show a numerical simulation of the passive MDI-QKD, and we obtain an acceptable key rate while getting much better implementation security, as well as ease of implementation, compared with a recently proposed fully passive TF-QKD, paving the way towards more secure and practical QKD systems. We have proved that a fully passive protocol is compatible with MDI-QKD and we also proposed a novel idea that could potentially improve the sifting efficiency.


title: Detectability of Local Water Reservoirs in Europa's Surface Layer under Consideration of Coupled Induction

abstract: The icy moon Europa is a primary target for the study of ocean worlds. Its subsurface ocean is expected to be subject to asymmetries on global scales (tidal deformation) and local scales (chaos regions, fractures). Here, we investigate the possibility to magnetic sound local asymmetries by calculating the induced magnetic fields generated by a radially symmetric ocean and a small, spherical water reservoir between the ocean and Europa's surface. The consideration of two conductive bodies introduces non-linear magnetic field coupling between them. We construct an analytical model to describe the coupling between two conductive bodies and calculate the induced fields within the parameter space of possible conductivity values and icy crust thicknesses. Given the plasma magnetic field perturbations, we find that a reservoir cannot be detected during a flyby at 25 km altitude using electromagnetic induction. Potential detection of liquid water reservoirs can be achieved by deploying magnetometers on Europa's surface, where one magnetometer is placed directly on the target region of interest and a second one in the nearby vicinity as reference to distinguish from global asymmetries. With this method, the smallest reservoir that can be detected has a radius of 8 km and a conductivity of 30 S/m. Larger reservoirs are resolvable at lower conductivities, with a 20 km reservoir requiring a conductivity of approximately 5 S/m.


title: Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis

abstract: Open-ended learning benefits immensely from the use of symbolic methods for goal representation as they offer ways to structure knowledge for efficient and transferable learning. However, the existing Hierarchical Reinforcement Learning (HRL) approaches relying on symbolic reasoning are often limited as they require a manual goal representation. The challenge in autonomously discovering a symbolic goal representation is that it must preserve critical information, such as the environment dynamics. In this paper, we propose a developmental mechanism for goal discovery via an emergent representation that abstracts (i.e., groups together) sets of environment states that have similar roles in the task. We introduce a Feudal HRL algorithm that concurrently learns both the goal representation and a hierarchical policy. The algorithm uses symbolic reachability analysis for neural networks to approximate the transition relation among sets of states and to refine the goal representation. We evaluate our approach on complex navigation tasks, showing the learned representation is interpretable, transferrable and results in data efficient learning.


title: Topics in Boolean Representable Simplicial Complexes

abstract: We study a number of topics in the theory of Boolean Representable Simplicial Complexes (BRSC). These include various operators on BRSC. We look at shellability in higher dimensions and propose a number of new conjectures.


title: Aligning Speakers: Evaluating and Visualizing Text-based Diarization Using Efficient Multiple Sequence Alignment (Extended Version)

abstract: This paper presents a novel evaluation approach to text-based speaker diarization (SD), tackling the limitations of traditional metrics that do not account for any contextual information in text. Two new metrics are proposed, Text-based Diarization Error Rate and Diarization F1, which perform utterance- and word-level evaluations by aligning tokens in reference and hypothesis transcripts. Our metrics encompass more types of errors compared to existing ones, allowing us to make a more comprehensive analysis in SD. To align tokens, a multiple sequence alignment algorithm is introduced that supports multiple sequences in the reference while handling high-dimensional alignment to the hypothesis using dynamic programming. Our work is packaged into two tools, align4d providing an API for our alignment algorithm and TranscribeView for visualizing and evaluating SD errors, which can greatly aid in the creation of high-quality data, fostering the advancement of dialogue systems.


title: Rosay-Rudin-Spaces, Tame Sets and Danielewski Surfaces

abstract: We introduce the notion of an ``RR-space''. (RR stands for Rosay and Rudin.) These spaces essentially share the properties of tame subsets known for ${\bf C}^n$. The class of RR-spaces contains character-free complex linear algebraic groups as well as Danielewski surfaces.


title: Benchmarking machine learning models for quantum state classification

abstract: Quantum computing is a growing field where the information is processed by two-levels quantum states known as qubits. Current physical realizations of qubits require a careful calibration, composed by different experiments, due to noise and decoherence phenomena. Among the different characterization experiments, a crucial step is to develop a model to classify the measured state by discriminating the ground state from the excited state. In this proceedings we benchmark multiple classification techniques applied to real quantum devices.