title: Show Me the Instruments: Musical Instrument Retrieval from Mixture Audio

abstract: As digital music production has become mainstream, the selection of appropriate virtual instruments plays a crucial role in determining the quality of music. To search the musical instrument samples or virtual instruments that make one's desired sound, music producers use their ears to listen and compare each instrument sample in their collection, which is time-consuming and inefficient. In this paper, we call this task as Musical Instrument Retrieval and propose a method for retrieving desired musical instruments using reference music mixture as a query. The proposed model consists of the Single-Instrument Encoder and the Multi-Instrument Encoder, both based on convolutional neural networks. The Single-Instrument Encoder is trained to classify the instruments used in single-track audio, and we take its penultimate layer's activation as the instrument embedding. The Multi-Instrument Encoder is trained to estimate multiple instrument embeddings using the instrument embeddings computed by the Single-Instrument Encoder as a set of target embeddings. For more generalized training and realistic evaluation, we also propose a new dataset called Nlakh. Experimental results showed that the Single-Instrument Encoder was able to learn the mapping from the audio signal of unseen instruments to the instrument embedding space and the Multi-Instrument Encoder was able to extract multiple embeddings from the mixture of music and retrieve the desired instruments successfully. The code used for the experiment and audio samples are available at: https://github.com/minju0821/musical_instrument_retrieval


title: Complete monogamy of the multipartite quantum mutual information

abstract: Quantum mutual information (QMI) not only displays the mutual information in the system but also demonstrates some quantum correlation beyond entanglement. We explore here the two alternatives of multipartite quantum mutual information (MQMI) based on the von Neumann entropy according to the framework of the complete measure of multi-particle quantum system. We show that these two MQMI are complete, monogamous on pure states, and one of them is not only completely monogamous but also tightly complete monogamous while another one is not. Moreover, we present another two MQMI by replacing the von Neumann entropy with the Tasllis $q$-entropy from the former two ones. It is proved that one of them displays some degree of ``completeness'' as a measure of multi-particle quantum system, but the other one is not even non-negative and thus it can not be a alternative of MQMI. We also discuss the triangle relation for these three alternatives of MQMI. It is shown that the triangle inequalities hold for the former two MQMI as that of entanglement measure but the later one fails. By comparison, we found that the von Neumann entropy is better than other versions of entropy as desired when we characterize the quantum correlation in multi-particle system.


title: A virtual element method on polyhedral meshes for the sixth-order elliptic problem

abstract: In this work we analyze a virtual element method on polyhedral meshes for solving the sixth-order elliptic problem with simply supported boundary conditions. We apply the Ciarlet-Raviart arguments to introduce an auxiliary unknown $\sigma:=-\Delta^2 u$ and to search the main uknown $u$ in the $H^2\cap H_0^1$ Sobolev space. The virtual element discretization is well possed on a $C^1\times C^0$ virtual element spaces. We also provide the convergence and error estimates results. Finally, we report a series of numerical tests to verify the performance of numerical scheme.


title: An Overview on Controllable Text Generation via Variational Auto-Encoders

abstract: Recent advances in neural-based generative modeling have reignited the hopes of having computer systems capable of conversing with humans and able to understand natural language. The employment of deep neural architectures has been largely explored in a multitude of context and tasks to fulfill various user needs. On one hand, producing textual content that meets specific requirements is of priority for a model to seamlessly conduct conversations with different groups of people. On the other hand, latent variable models (LVM) such as variational auto-encoders (VAEs) as one of the most popular genres of generative models are designed to characterize the distributional pattern of textual data. Thus they are inherently capable of learning the integral textual features that are worth exploring for controllable pursuits. \noindent This overview gives an introduction to existing generation schemes, problems associated with text variational auto-encoders, and a review of several applications about the controllable generation that are instantiations of these general formulations,\footnote{A detailed paper list is available at \url{https://github.com/ImKeTT/CTG-latentAEs}} as well as related datasets, metrics and discussions for future researches. Hopefully, this overview will provide an overview of living questions, popular methodologies and raw thoughts for controllable language generation under the scope of variational auto-encoder.


title: IntegratedPIFu: Integrated Pixel Aligned Implicit Function for Single-view Human Reconstruction

abstract: We propose IntegratedPIFu, a new pixel aligned implicit model that builds on the foundation set by PIFuHD. IntegratedPIFu shows how depth and human parsing information can be predicted and capitalised upon in a pixel-aligned implicit model. In addition, IntegratedPIFu introduces depth oriented sampling, a novel training scheme that improve any pixel aligned implicit model ability to reconstruct important human features without noisy artefacts. Lastly, IntegratedPIFu presents a new architecture that, despite using less model parameters than PIFuHD, is able to improves the structural correctness of reconstructed meshes. Our results show that IntegratedPIFu significantly outperforms existing state of the arts methods on single view human reconstruction. Our code has been made available online.


title: HGV4Risk: Hierarchical Global View-guided Sequence Representation Learning for Risk Prediction

abstract: Risk prediction, as a typical time series modeling problem, is usually achieved by learning trends in markers or historical behavior from sequence data, and has been widely applied in healthcare and finance. In recent years, deep learning models, especially Long Short-Term Memory neural networks (LSTMs), have led to superior performances in such sequence representation learning tasks. Despite that some attention or self-attention based models with time-aware or feature-aware enhanced strategies have achieved better performance compared with other temporal modeling methods, such improvement is limited due to a lack of guidance from global view. To address this issue, we propose a novel end-to-end Hierarchical Global View-guided (HGV) sequence representation learning framework. Specifically, the Global Graph Embedding (GGE) module is proposed to learn sequential clip-aware representations from temporal correlation graph at instance level. Furthermore, following the way of key-query attention, the harmonic $\beta$-attention ($\beta$-Attn) is also developed for making a global trade-off between time-aware decay and observation significance at channel level adaptively. Moreover, the hierarchical representations at both instance level and channel level can be coordinated by the heterogeneous information aggregation under the guidance of global view. Experimental results on a benchmark dataset for healthcare risk prediction, and a real-world industrial scenario for Small and Mid-size Enterprises (SMEs) credit overdue risk prediction in MYBank, Ant Group, have illustrated that the proposed model can achieve competitive prediction performance compared with other known baselines.


title: VaTEST I: Validation of Sub-Saturn Exoplanet TOI-181b in Narrow Orbit from its Host Star

abstract: We present here a validation of sub-Saturn exoplanet TOI-181b orbiting a K spectral type star TOI-181 (Mass: 0.822 $\pm$ 0.04 M$_{\odot}$, Radius: 0.745 $\pm$ 0.02 R$_{\odot}$, Temperature: 4994 $\pm$ 50 K) as a part of Validation of Transiting Exoplanets using Statistical Tools (VaTEST) project. TOI-181b is a planet with radius 6.95 $\pm$ 0.08 R$_{\oplus}$, mass 46.16 $\pm$ 2.71 M$_{\oplus}$, orbiting in a slightly eccentric orbit with eccentricity 0.15 $\pm$ 0.06 and semi-major axis of 0.054 $\pm$ 0.004 AU, with an orbital period of 4.5320 $\pm$ 0.000002 days. The transit photometry data was collected using Transiting Exoplanet Survey Satellite (TESS) and spectroscopic data for radial velocity analysis was collected using The European Southern Observatory's (ESO) High Accuracy Radial Velocity Planet Searcher (HARPS) telescope. Based on the radial velocity best-fit model we measured RV semi-amplitude to be 20.56 $\pm$ 2.37 m s$^{-1}$. Additionally, we used \texttt{VESPA} and \texttt{TRICERATOPS} to compute the False Positive Probability (FPP), and the findings were FPP values of $1.68\times10^{-14}$ and $3.81\times10^{-04}$, respectively, which are significantly lower than the 1% threshold. The finding of TOI-181b is significant in the perspective of future work on the formation and migration history of analogous planetary systems since warm sub-Saturns are uncommon in the known sample of exoplanets.


title: Iterated Priority Arguments in Descriptive Set Theory

abstract: We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf \Delta}^0_\xi$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem.


title: The Lean Data Scientist: Recent Advances towards Overcoming the Data Bottleneck

abstract: Machine learning (ML) is revolutionizing the world, affecting almost every field of science and industry. Recent algorithms (in particular, deep networks) are increasingly data-hungry, requiring large datasets for training. Thus, the dominant paradigm in ML today involves constructing large, task-specific datasets. However, obtaining quality datasets of such magnitude proves to be a difficult challenge. A variety of methods have been proposed to address this data bottleneck problem, but they are scattered across different areas, and it is hard for a practitioner to keep up with the latest developments. In this work, we propose a taxonomy of these methods. Our goal is twofold: (1) We wish to raise the community's awareness of the methods that already exist and encourage more efficient use of resources, and (2) we hope that such a taxonomy will contribute to our understanding of the problem, inspiring novel ideas and strategies to replace current annotation-heavy approaches.


title: Lagrangian displacement field estimators in cosmology

abstract: The late-time nonlinear Lagrangian displacement field is highly correlated with the initial field, so reconstructing it could enable us to extract primordial cosmological information. Our previous work [1] carefully studied the displacement field reconstructed from the late time density field using the iterative method proposed by Ref. [2] and found that it does not fully converge to the true, underlying displacement field (e.g., $\sim 8\%$ offset at $k\sim 0.2 \ihMpc$ at $z=0.6$). We also constructed the Lagrangian perturbation theory model for the reconstructed field, but the model could not explain the discrepancy between the true and the reconstructed fields in the previous work. The main sources of the discrepancy were speculated to be a numerical artifact in the displacement estimator due to the discreteness of the sample. In this paper, we develop two new estimators of the displacement fields to reduce such numerical discreteness effect, the normalized momentum estimator~(NME) and the rescaled resumed estimator~(RRE). We show that the discrepancy Ref. [1] reported is not due to the numerical artifacts. We conclude that the method from Ref. [2] cannot fully reconstruct the shape of the nonlinear displacement field at the redshift we studied, while it is still an efficient BAO reconstruction method. In parallel, by properly accounting for the UV-sensitive term in a reconstruction procedure with an effective field theory approach, we improve the theoretical model for the reconstructed displacement field, by almost five times, from $\sim 15\%$ to the level of a few \% at $k\sim 0.2\ihMpc$ at the redshift $z=0.6$.


title: An Effective Classification of Borel Wadge Classes

abstract: We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalb\'an. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem $\text{ATR}_0+\Pi^1_1$-I of second-order arithmetic.


title: Positron beam loading and acceleration in the blowout regime of plasma wakefield accelerator

abstract: Plasma wakefield acceleration in the nonlinear blowout regime has been shown to provide high acceleration gradients and high energy transfer efficiency while maintaining great beam quality for electron acceleration. In contrast, research on positron acceleration in this regime is still in a preliminary stage. We find that an on-axis electron filament can be self-consistently formed and maintained by loading an intense positron beam at the back of the electron beam driven blowout cavity. Via an analytic model and fully nonlinear simulations, we show this coaxial electron filament not only can focus the positron beam but changes the loaded longitudinal wakefield in a distinctly different way from electron beam loading in the blowout regime. Using simulations, we demonstrate that a high charge positron beam can be accelerated with tens of percent energy transfer from wake to positrons, percent level induced energy spread and several mm$\cdot$mrad normalized emittance, while significantly depleting the energy of the electron drive beam. This concept can be extended to simultaneous acceleration of electron and positron beams and high transformer ratio positron acceleration as well.


title: High-energy betatron source driven by a 4-PW laser with applications to non-destructive imaging

abstract: Petawatt-class lasers can produce multi-GeV electron beams through laser wakefield electron acceleration. As a by-product, the accelerated electron beams can generate broad synchrotron-like radiation known as betatron radiation. In the present work, we measure the properties of the radiation produced from 2 GeV, 215 pC electron beams, which shows a broad radiation spectrum with a critical energy of 515 keV, extending up to MeV photon energies and 10 mrad divergence. Due to its high energy and flux, such radiation is an ideal candidate for gamma-ray radiography of dense objects. We employed a compact betatron radiation setup operated at relatively high-repetition rates (0.1 Hz) and used it to scan cm-sized objects: a DRAM circuit, BNC and SMA connectors, a padlock and a gas jet nozzle. GEANT4 simulations were carried out to reproduce the radiograph of the gas jet. The setup and the radiation source can reveal the interior structure of the objects at the sub-mm level, proving that it can further be applied to diagnose cracks or holes in various components. The radiation source presented here is a valuable tool for non-destructive inspection and for applications in high-energy-density physics such as nuclear fusion.


title: A Simple and Efficient Lagrange Multiplier Based Mixed Finite Element for Gradient Damage

abstract: A novel finite element formulation for gradient-regularized damage models is presented which allows for the robust, efficient, and mesh-independent simulation of damage phenomena in engineering and biological materials. The paper presents a Lagrange multiplier based mixed finite element formulation for finite strains. Thereby, no numerical stabilization or penalty parameters are required. On the other hand, no additional degrees of freedom appear for the Lagrange multiplier which is achieved through a suitable FE-interpolation scheme allowing for static condensation. In contrast to competitive approaches from the literature with similar efficiency, the proposed formulation does not require cross-element information and thus, a straightforward implementation using standard element routine interfaces is enabled. Numerical tests show mesh-independent solutions, robustness of the solution procedure for states of severe damage and under cyclic loading conditions. It is demonstrated that the computing time of the gradient damage calculations exceeds the one of purely elastic computations only by an insignificant amount. Furthermore, an improved convergence behavior compared to alternative approaches is shown.


title: Micropascal-sensitivity ultrasound sensors based on optical microcavities

abstract: Whispering gallery mode (WGM) microcavities have been widely used for high-sensitivity ultrasound detection, due to their optical and mechanical resonances enhanced sensitivity. The ultrasound sensitivity of the cavity optomechanical system is fundamentally limited by the thermal noise. In this work, we theoretically and experimentally investigate the thermal-noise-limited sensitivity of a WGM microdisk ultrasound sensor, and optimize the sensitivity by varying the radius and thickness of the microdisk, as well as using a trench structure around the disk. Using a microdisk with a radius of 300 um and thickness of 2 um, a peak sensitivity of 1.18 uPa Hz^{-1/2} is achieved at 82.6 kHz, which is to our knowledge the record sensitivity among the cavity optomechanical ultrasound sensors. Such high sensitivity can improve the detection range of air-coupled ultrasound sensing technology.


title: Adaptive PromptNet For Auxiliary Glioma Diagnosis without Contrast-Enhanced MRI

abstract: Multi-contrast magnetic resonance imaging (MRI)-based automatic auxiliary glioma diagnosis plays an important role in the clinic. Contrast-enhanced MRI sequences (e.g., contrast-enhanced T1-weighted imaging) were utilized in most of the existing relevant studies, in which remarkable diagnosis results have been reported. Nevertheless, acquiring contrast-enhanced MRI data is sometimes not feasible due to the patients physiological limitations. Furthermore, it is more time-consuming and costly to collect contrast-enhanced MRI data in the clinic. In this paper, we propose an adaptive PromptNet to address these issues. Specifically, a PromptNet for glioma grading utilizing only non-enhanced MRI data has been constructed. PromptNet receives constraints from features of contrast-enhanced MR data during training through a designed prompt loss. To further boost the performance, an adaptive strategy is designed to dynamically weight the prompt loss in a sample-based manner. As a result, PromptNet is capable of dealing with more difficult samples. The effectiveness of our method is evaluated on a widely-used BraTS2020 dataset, and competitive glioma grading performance on NE-MRI data is achieved.


title: Coordination for Connected and Automated Vehicles at Non-signalized Intersections: A Value Decomposition-based Multiagent Deep Reinforcement Learning Approach

abstract: The recent proliferation of the research on multi-agent deep reinforcement learning (MDRL) offers an encouraging way to coordinate multiple connected and automated vehicles (CAVs) to pass the intersection. In this paper, we apply a value decomposition-based MDRL approach (QMIX) to control various CAVs in mixed-autonomy traffic of different densities to efficiently and safely pass the non-signalized intersection with fairish fuel consumption. Implementation tricks including network-level improvements, Q value update by TD ($\lambda$), and reward clipping operation are added to the pure QMIX framework, which is expected to improve the convergence speed and the asymptotic performance of the original version. The efficacy of our approach is demonstrated by several evaluation metrics: average speed, the number of collisions, and average fuel consumption per episode. The experimental results show that our approach's convergence speed and asymptotic performance can exceed that of the original QMIX and the proximal policy optimization (PPO), a state-of-the-art reinforcement learning baseline applied to the non-signalized intersection. Moreover, CAVs under the lower traffic flow controlled by our method can improve their average speed without collisions and consume the least fuel. The training is additionally conducted under the doubled traffic density, where the learning reward converges. Consequently, the model with maximal reward and minimum crashes can still guarantee low fuel consumption, but slightly reduce the efficiency of vehicles and induce more collisions than the lower-traffic counterpart, implying the difficulty of generalizing RL policy to more advanced scenarios.


title: NeRFFaceEditing: Disentangled Face Editing in Neural Radiance Fields

abstract: Recent methods for synthesizing 3D-aware face images have achieved rapid development thanks to neural radiance fields, allowing for high quality and fast inference speed. However, existing solutions for editing facial geometry and appearance independently usually require retraining and are not optimized for the recent work of generation, thus tending to lag behind the generation process. To address these issues, we introduce NeRFFaceEditing, which enables editing and decoupling geometry and appearance in the pretrained tri-plane-based neural radiance field while retaining its high quality and fast inference speed. Our key idea for disentanglement is to use the statistics of the tri-plane to represent the high-level appearance of its corresponding facial volume. Moreover, we leverage a generated 3D-continuous semantic mask as an intermediary for geometry editing. We devise a geometry decoder (whose output is unchanged when the appearance changes) and an appearance decoder. The geometry decoder aligns the original facial volume with the semantic mask volume. We also enhance the disentanglement by explicitly regularizing rendered images with the same appearance but different geometry to be similar in terms of color distribution for each facial component separately. Our method allows users to edit via semantic masks with decoupled control of geometry and appearance. Both qualitative and quantitative evaluations show the superior geometry and appearance control abilities of our method compared to existing and alternative solutions.


title: Foveated Rendering: a State-of-the-Art Survey

abstract: Recently, virtual reality (VR) technology has been widely used in medical, military, manufacturing, entertainment, and other fields. These applications must simulate different complex material surfaces, various dynamic objects, and complex physical phenomena, increasing the complexity of VR scenes. Current computing devices cannot efficiently render these complex scenes in real time, and delayed rendering makes the content observed by the user inconsistent with the user's interaction, causing discomfort. Foveated rendering is a promising technique that can accelerate rendering. It takes advantage of human eyes' inherent features and renders different regions with different qualities without sacrificing perceived visual quality. Foveated rendering research has a history of 31 years and is mainly focused on solving the following three problems. The first is to apply perceptual models of the human visual system into foveated rendering. The second is to render the image with different qualities according to foveation principles. The third is to integrate foveated rendering into existing rendering paradigms to improve rendering performance. In this survey, we review foveated rendering research from 1990 to 2021. We first revisit the visual perceptual models related to foveated rendering. Subsequently, we propose a new foveated rendering taxonomy and then classify and review the research on this basis. Finally, we discuss potential opportunities and open questions in the foveated rendering field. We anticipate that this survey will provide new researchers with a high-level overview of the state of the art in this field, furnish experts with up-to-date information and offer ideas alongside a framework to VR display software and hardware designers and engineers.


title: Adaptive Multi-Neighborhood Attention based Transformer for Graph Representation Learning

abstract: By incorporating the graph structural information into Transformers, graph Transformers have exhibited promising performance for graph representation learning in recent years. Existing graph Transformers leverage specific strategies, such as Laplacian eigenvectors and shortest paths of the node pairs, to preserve the structural features of nodes and feed them into the vanilla Transformer to learn the representations of nodes. It is hard for such predefined rules to extract informative graph structural features for arbitrary graphs whose topology structure varies greatly, limiting the learning capacity of the models. To this end, we propose an adaptive graph Transformer, termed Multi-Neighborhood Attention based Graph Transformer (MNA-GT), which captures the graph structural information for each node from the multi-neighborhood attention mechanism adaptively. By defining the input to perform scaled-dot product as an attention kernel, MNA-GT constructs multiple attention kernels based on different hops of neighborhoods such that each attention kernel can capture specific graph structural information of the corresponding neighborhood for each node pair. In this way, MNA-GT can preserve the graph structural information efficiently by incorporating node representations learned by different attention kernels. MNA-GT further employs an attention layer to learn the importance of different attention kernels to enable the model to adaptively capture the graph structural information for different nodes. Extensive experiments are conducted on a variety of graph benchmarks, and the empirical results show that MNA-GT outperforms many strong baselines.


title: Discourse and conversation impairments in patients with dementia

abstract: Neurodegeneration characterizes individuals with different dementia subtypes (e.g., individuals with Alzheimer's Disease, Primary Progressive Aphasia, and Parkinson's Disease), leading to progressive decline in cognitive, linguistic, and social functioning. Speech and language impairments are early symptoms in individuals with focal forms of neurodegenerative conditions, coupled with deficits in cognitive, social, and behavioral domains. This paper reviews the findings on language and communication deficits and identifies the effects of dementia on the production and perception of discourse. It discusses findings concerning (i) language function, cognitive representation, and impairment, (ii) communicative competence, emotions, empathy, and theory-of-mind, and (iii) speech-in-interaction. It argues that clinical discourse analysis can provide a comprehensive assessment of language and communication skills in individuals, which complements the existing neurolinguistic evaluation for (differential) diagnosis, prognosis, and treatment efficacy evaluation.


title: A Hofmann-Mislove theorem for $c$-well-filtered spaces

abstract: The Hofmann-Mislove theorem states that in a sober space, the nonempty Scott open filters of its open set lattice correspond bijectively to its compacts saturated sets. In this paper, the concept of $c$-well-filtered spaces is introduced. We show that a retract of a $c$-well-filtered space is $c$-well-filtered and a locally Lindel\"{o}f and $c$-well-filtered $P$-space is countably sober. In particular, we obtain a Hofmann-Mislove theorem for $c$-well-filtered spaces.


title: Coulomb Blockade in Angstrom-scale latent ion track channels

abstract: When channels were scaled down to the size of hydrated ions, ionic Coulomb blockade was discovered. However, the experimental CB phenomenon was rarely reported since Feng et.al., discovered in MoS2 nanopore. By using latent-track membranes with diameter of 0.6 nm, we found the channels are nearly non-conductive in small voltage due to the blockade of cations bound at surface, however turns to be conductive as rising of voltage due to releasing of bound ions, which differs from the mechanisms in MoS2 nanopore. By Kramers' escape framework, we rationalized an analytical equation to fit experimental results, uncovering new fundamental insights of ion transport in the smallest channels.


title: A note on the maximal operator on weighted Morrey spaces

abstract: In this paper we consider weighted Morrey spaces ${\mathcal M}_{\lambda, {\mathcal F}}^p(w)$ adapted to a family of cubes ${\mathcal F}$, with norm $$\|f\|_{{\mathcal M}_{\lambda, {\mathcal F}}^p(w)}:=\sup_{Q\in {\mathcal F}}\left(\frac{1}{|Q|^{\lambda}}\int_Q|f|^pw\right)^{1/p},$$ and the question we deal with is whether a Muckenhoupt-type condition characterizes the boundedness of the Hardy--Littlewood maximal operator on ${\mathcal M}_{\lambda, {\mathcal F}}^p(w)$. In the case of the global Morrey spaces (when ${\mathcal F}$ is the family of all cubes in ${\mathbb R}^n$) this question is still open. In the case of the local Morrey spaces (when ${\mathcal F}$ is the family of all cubes centered at the origin) this question was answered positively in a recent work of Duoandikoetxea--Rosenthal \cite{DR21}. We obtain an extension of \cite{DR21} by showing that the answer is positive when ${\mathcal F}$ is the family of all cubes centered at a sequence of points in ${\mathbb R}^n$ satisfying a certain lacunary-type condition.


title: Intrinsic relationships of Quantum Resource Theories and their roles in Quantum Metrology

abstract: Quantum resource theories allow us to quantify a useful quantum phenomenon, to develop new protocols for its detection and determine the exact processes that maximize its use for practical tasks. These theories aim at transforming physical phenomena, such as entanglement and quantum coherence, into useful properties for the execution of concrete tasks related to quantum information. In this thesis, we focus on the resource theories of entanglement, discord-like quantum correlations, and quantum coherence, the most intriguing quantum phenomena exploited so far in quantum information theory. We begin by presenting in detail the theoretical tools of these quantum resources, focusing on the most remarkable techniques and computational problems. In this sense, we discuss several mathematical methods that solve some problems related to their quantifications, and some analytical results for bipartite quantum systems are given. We also examine the intrinsic connections between these quantum resources by extracting the links that unite the corresponding measures. In contrast, the revolution of quantum technology has led to a growing interest in quantum metrology, and quantum entanglement has been employed to overcome the classical limit in several quantum estimation protocols. In this work, we analyze the role of quantum correlations beyond entanglement in improving the accuracy of an unknown parameter. According to our results, correlations can be captured using quantum Fisher information, and quantum discord correlations can be exploited to ensure the accuracy of phase estimation protocols. This thesis includes also the contributions on the dynamics of these quantum resources in various models of open quantum systems. Among our objectives, is to study the effects of the environment on these quantum resources and to obtain techniques to protect them from the effects of intrinsic decoherence.


title: On the coincidence of optimal completions for small pairwise comparison matrices with missing entries

abstract: Incomplete pairwise comparison matrices contain some missing judgements. A natural approach to estimate these values is provided by minimising a reasonable measure of inconsistency after unknown entries are replaced by variables. Two widely used inconsistency indices for this purpose are Saaty's inconsistency index and the geometric inconsistency index, which are closely related to the eigenvector and the logarithmic least squares priority deriving methods, respectively. The two measures are proven to imply the same optimal filling for incomplete pairwise comparison matrices up to order four but not necessarily for order at least five.


title: Deep Instance Segmentation and Visual Servoing to Play Jenga with a Cost-Effective Robotic System

abstract: The game of Jenga represents an inspiring benchmark for developing innovative manipulation solutions for complex tasks. Indeed, it encouraged the study of novel robotics methods to successfully extract blocks from the tower. A Jenga game round undoubtedly embeds many traits of complex industrial or surgical manipulation tasks, requiring a multi-step strategy, the combination of visual and tactile data, and the highly precise motion of the robotic arm to perform a single block extraction. In this work, we propose a novel, cost-effective architecture for playing Jenga with e.Do, a 6-DOF anthropomorphic manipulator manufactured by Comau, a standard depth camera, and an inexpensive monodirectional force sensor. Our solution focuses on a visual-based control strategy to accurately align the end-effector with the desired block, enabling block extraction by pushing. To this aim, we train an instance segmentation deep learning model on a synthetic custom dataset to segment each piece of the Jenga tower, allowing visual tracking of the desired block's pose during the motion of the manipulator. We integrate the visual-based strategy with a 1D force sensor to detect whether the block can be safely removed by identifying a force threshold value. Our experimentation shows that our low-cost solution allows e.DO to precisely reach removable blocks and perform up to 14 consecutive extractions in a row.


title: Shellability is hard even for balls

abstract: The main goal of this paper is to show that shellability is NP-hard for triangulated d-balls (this also gives hardness for triangulated d-manifolds/d-pseudomanifolds with boundary) as soon as d is at least 3. This extends our earlier work with Goaoc, Pat\'akov\'a and Wagner on hardness of shellability of 2-complexes and answers some questions implicitly raised by Danaraj and Klee in 1978 and explicitly mentioned by Santamar\'ia-Galvis and Woodroofe. Together with the main goal, we also prove that collapsibility is NP-hard for 3-complexes embeddable in the 3-space, extending an earlier work of the second author and answering an open question mentioned by Cohen, Fasy, Miller, Nayyeri, Peng and Walkington; and that shellability is NP-hard for 2-complexes embeddable in the 3-space, answering another question of Santamar\'ia-Galvis and Woodroofe (in a slightly stronger form than what is given by the main result).


title: Combined search in dwarf spheroidal galaxies for branon dark matter annihilation signatures with the MAGIC Telescopes

abstract: One of the most pressing questions for modern physics is the nature of dark matter (DM). Several efforts have been made to model this elusive kind of matter. The largest fraction of DM cannot be made of any of the known particles of the Standard Model (SM). We focus on brane world theory as a prospective framework for DM candidates beyond the SM of particle physics. The new degrees of freedom that appear in flexible brane world models, corresponding to brane fluctuations, are called branons. They behave as weakly interacting massive particles (WIMPs), which are one of the most favored candidates for DM. We present a multi-target DM search in dwarf spheroidal galaxies for branon DM annihilation signatures with the ground-based gamma-ray telescope MAGIC leading to the most constraining branon DM limits in the TeV mass range.


title: A Benchmark and Dataset for Post-OCR text correction in Sanskrit

abstract: Sanskrit is a classical language with about 30 million extant manuscripts fit for digitisation, available in written, printed or scannedimage forms. However, it is still considered to be a low-resource language when it comes to available digital resources. In this work, we release a post-OCR text correction dataset containing around 218,000 sentences, with 1.5 million words, from 30 different books. Texts in Sanskrit are known to be diverse in terms of their linguistic and stylistic usage since Sanskrit was the 'lingua franca' for discourse in the Indian subcontinent for about 3 millennia. Keeping this in mind, we release a multi-domain dataset, from areas as diverse as astronomy, medicine and mathematics, with some of them as old as 18 centuries. Further, we release multiple strong baselines as benchmarks for the task, based on pre-trained Seq2Seq language models. We find that our best-performing model, consisting of byte level tokenization in conjunction with phonetic encoding (Byt5+SLP1), yields a 23% point increase over the OCR output in terms of word and character error rates. Moreover, we perform extensive experiments in evaluating these models on their performance and analyse common causes of mispredictions both at the graphemic and lexical levels. Our code and dataset is publicly available at https://github.com/ayushbits/pe-ocr-sanskrit.


title: Archaeoastronomy and the alleged <<Stonehenge calendar>>

abstract: In a recent paper in Antiquity (Darvill 2022), the author has proposed that the project of the <<sarsen>> phase (stage 2) of Stonehenge (c. 2600 BC) was conceived in order to represent a calendar year of 365.25 days, that is, a calendar identical in duration to the Julian calendar. The aim of the present paper is to show that this idea is totally unsubstantiated, being based as it is on a series of forced interpretations and unsupported analogies.


title: Evaluating the Faithfulness of Saliency-based Explanations for Deep Learning Models for Temporal Colour Constancy

abstract: The opacity of deep learning models constrains their debugging and improvement. Augmenting deep models with saliency-based strategies, such as attention, has been claimed to help get a better understanding of the decision-making process of black-box models. However, some recent works challenged saliency's faithfulness in the field of Natural Language Processing (NLP), questioning attention weights' adherence to the true decision-making process of the model. We add to this discussion by evaluating the faithfulness of in-model saliency applied to a video processing task for the first time, namely, temporal colour constancy. We perform the evaluation by adapting to our target task two tests for faithfulness from recent NLP literature, whose methodology we refine as part of our contributions. We show that attention fails to achieve faithfulness, while confidence, a particular type of in-model visual saliency, succeeds.


title: Differentiable matrix product states for simulating variational quantum computational chemistry

abstract: Quantum Computing is believed to be the ultimate solution for quantum chemistry problems. Before the advent of large-scale, fully fault-tolerant quantum computers, the variational quantum eigensolver~(VQE) is a promising heuristic quantum algorithm to solve real world quantum chemistry problems on near-term noisy quantum computers. Here we propose a highly parallelizable classical simulator for VQE based on the matrix product state representation of quantum state, which significantly extend the simulation range of the existing simulators. Our simulator seamlessly integrates the quantum circuit evolution into the classical auto-differentiation framework, thus the gradients could be computed efficiently similar to the classical deep neural network, with a scaling that is independent of the number of variational parameters. As applications, we use our simulator to study commonly used small molecules such as HF, HCl, LiH and H$_2$O, as well as larger molecules CO$_2$, BeH$_2$ and H$_4$ with up to $40$ qubits. The favorable scaling of our simulator against the number of qubits and the number of parameters could make it an ideal testing ground for near-term quantum algorithms and a perfect benchmarking baseline for oncoming large scale VQE experiments on noisy quantum computers.


title: The rotation distance of brooms

abstract: The associahedron $\mathcal{A}(G)$ of a graph $G$ has the property that its vertices can be thought of as the search trees on $G$ and its edges as the rotations between two search trees. If $G$ is a simple path, then $\mathcal{A}(G)$ is the usual associahedron and the search trees on $G$ are binary search trees. Computing distances in the graph of $\mathcal{A}(G)$, or equivalently, the rotation distance between two binary search trees, is a major open problem. Here, we consider the different case when $G$ is a complete split graph. In that case, $\mathcal{A}(G)$ interpolates between the stellohedron and the permutohedron, and all the search trees on $G$ are brooms. We show that the rotation distance between any two such brooms and therefore the distance between any two vertices in the graph of the associahedron of $G$ can be computed in quasi-quadratic time in the number of vertices of $G$.


title: Blind Performance Prediction for Deep Learning Based Ultra-Massive MIMO Channel Estimation

abstract: Reliability is of paramount importance for the physical layer of wireless systems due to its decisive impact on end-to-end performance. However, the uncertainty of prevailing deep learning (DL)-based physical layer algorithms is hard to quantify due to the black-box nature of neural networks. This limitation is a major obstacle that hinders their practical deployment. In this paper, we attempt to quantify the uncertainty of an important category of DL-based channel estimators. An efficient statistical method is proposed to make blind predictions for the mean squared error of the DL-estimated channel solely based on received pilots, without knowledge of the ground-truth channel, the prior distribution of the channel, or the noise statistics. The complexity of the blind performance prediction is low and scales only linearly with the number of antennas. Simulation results for ultra-massive multiple-input multiple-output (UM-MIMO) channel estimation with a mixture of far-field and near-field paths are provided to verify the accuracy and efficiency of the proposed method.


title: Perturbed nuclear matter studied within Density Functional Theory with a finite number of particles

abstract: Nuclear matter is studied within the Density Functional Theory (DFT) framework. Our method employs a finite number of nucleons in a box subject to periodic boundary conditions, in order to simulate infinite matter and study its response to an external static potential. We detail both the theoretical formalism and its computational implementation for pure neutron matter and symmetric nuclear matter with Skyrme-like Energy Density Functionals (EDFs). The implementation of spin-orbit, in particular, is carefully discussed. Our method is applied to the problem of the static response of nuclear matter and the impact of the perturbation on the energies, densities and level structure of the system is investigated. Our work is a crucial step in our program of ab initio-based nuclear EDFs [Phys. Rev. C 104, 024315 (2021)] as it paves the way towards the goal of constraining the EDF surface terms on ab initio calculations.


title: Tidally locked rotation of the dwarf planet (136199) Eris discovered from long-term ground based and space photometry

abstract: The rotational states of the members in the dwarf planet - satellite systems in the transneptunian region are determined by the formation conditions and the tidal interaction between the components, and these rotational characteristics are the prime tracers of their evolution. Previously a number of authors claimed highly diverse values for the rotation period for the dwarf planet Eris, ranging from a few hours to a rotation (nearly) synchronous with the orbital period (15.8 d) of its satellite, Dysnomia. In this letter we present new light curve data of Eris, taken with $\sim$1-2m-class ground based telescopes, and with the TESS and Gaia space telescopes. TESS data could not provide a well-defined light curve period, but could constrain light curve variations to a maximum possible light curve amplitude of $\Delta m$ $\leq$ 0.03 mag (1-$\sigma$) for P $\leq$ 24 h periods. Both the combined ground-based data and the Gaia measurements unambiguously point to a light curve period equal to the orbital period of Dysnomia, P = 15.8 d, with a light curve amplitude of $\Delta m$ $\approx$ 0.03 mag, i.e. the rotation of Eris is tidally locked. Assuming that Dysnomia has a collisional origin, calculations with a simple tidal evolution model show that Dysnomia has to be relatively massive (mass ratio of q = 0.01--0.03) and large (radius of $R_s$ $\geq$ 300 km) to slow down Eris to synchronized rotation. These simulations also indicate that -- assuming tidal parameters usually considered for transneptunian objects -- the density of Dysnomia should be 1.8-2.4 $g cm^{-3}$, an exceptionally high value among similarly sized transneptunian objects, putting important constraints on the formation conditions.


title: On sum-free subsets of abelian groups

abstract: In this paper we discuss some of the key properties of sum-free subsets of abelian groups. Our discussion has been designed with a broader readership in mind, and is hence not overly technical. We consider answers to questions like: how many sum-free subsets are there in a given abelian group $G$? what are its sum-free subsets of maximum cardinality? what is the maximum cardinality of these sum-free subsets? what does a typical sum-free subset of $G$ looks like? among others.


title: Single and pair $J/\psi$ production in the Improved Color Evaporation Model using the Parton Reggeization Approach

abstract: In the article, we study single and pair $J/\psi$ hadroproduction in the Improved Color Evaporation Model via the Parton Reggeization Approach. The last one is based on $k_T$-factorization of hard processes in multi-Regge kinematics, the Kimber-Martin-Ryskin-Watt model for unintegrated parton distribution functions, and the effective field theory of Reggezied gluons and quarks, suggested by L.N. Lipatov. We compare contributions from the single and double parton scattering mechanisms in the pair $J/\psi$ production. The numerical calculations are realized using the Monte-Carlo event generator KaTie.


title: Effects of high-momentum tail of nucleon momentum distribution on initiation of cluster production in heavy-ion collisions at intermediate energies

abstract: Based on the transport model isospin-dependent Boltzmann-Uehling-Uhlenbeck coupled with a phase-space coalescence afterburner, we studied the effects of the high-momentum tail (HMT) of nucleon momentum distribution in initialization in 197Au+197Au reactions at a beam energy of 400 MeV/nucleon with different impact parameters.We found remarkable impact parameter-dependent HMT effects on the fragment multiplicity distribution. The average neutron to proton ratio of produced isotopes is also affected by the HMT. The rapidity distributions of triton and 3He and their elliptic flows are all evidently affected by the HMT. All the effects of the HMT on the cluster production in heavy-ion collisions are centrality dependent.


title: Bulk viscous fluid in extended symmetric teleparallel gravity

abstract: In this paper, we investigate the existence of bulk viscous FLRW cosmological models in a recently proposed extended symmetric teleparallel gravity or $f\left( Q,T\right) $ gravity in which $Q$ is the non-metricity and $T$ is the trace of the energy-momentum tensor. We consider a simple coupling between matter and non-metricity, specifically, $f\left( Q,T\right) =\alpha Q^{m+1}+\lambda T$ and $f\left( Q,T\right) =\alpha Q+\lambda T$ where $\alpha $, $\lambda $ and $m$ are free model parameters. The exact cosmological solutions are found by assuming the scale factor in the form of the hybrid expansion law. This type of relation generates a time-varying deceleration parameter with the transition of the Universe from the early decelerating phase to the present accelerating phase. In the presence of viscous fluid, we analyze some cosmological parameters of our cosmological model such as the energy density, bulk viscous pressure, bulk viscous coefficient, equation of state parameter, and energy conditions. Finally, we conclude our $f\left( Q,T\right) $\ cosmological models agree with the recent astronomical observations.


title: Lossy SU(1,1) interferometers in the single-photon-pair regime

abstract: The success of quantum technologies is intimately connected to the possibility of using them in real-world applications. To this aim, we study the sensing capabilities of quantum SU(1,1) interferometers in the single-photon-pair regime and in the presence of losses, a situation highly relevant to practical realistic measurements of extremely photosensitive materials. We show that coincidence measurement can be exploited to partially mitigate the effect of losses inside the interferometer. Finally, we find that quantum SU(1,1) interferometers are capable of outperforming classical SU(2) systems when analogous real-world conditions are considered.


title: DIGEST: Deeply supervIsed knowledGE tranSfer neTwork learning for brain tumor segmentation with incomplete multi-modal MRI scans

abstract: Brain tumor segmentation based on multi-modal magnetic resonance imaging (MRI) plays a pivotal role in assisting brain cancer diagnosis, treatment, and postoperative evaluations. Despite the achieved inspiring performance by existing automatic segmentation methods, multi-modal MRI data are still unavailable in real-world clinical applications due to quite a few uncontrollable factors (e.g. different imaging protocols, data corruption, and patient condition limitations), which lead to a large performance drop during practical applications. In this work, we propose a Deeply supervIsed knowledGE tranSfer neTwork (DIGEST), which achieves accurate brain tumor segmentation under different modality-missing scenarios. Specifically, a knowledge transfer learning frame is constructed, enabling a student model to learn modality-shared semantic information from a teacher model pretrained with the complete multi-modal MRI data. To simulate all the possible modality-missing conditions under the given multi-modal data, we generate incomplete multi-modal MRI samples based on Bernoulli sampling. Finally, a deeply supervised knowledge transfer loss is designed to ensure the consistency of the teacher-student structure at different decoding stages, which helps the extraction of inherent and effective modality representations. Experiments on the BraTS 2020 dataset demonstrate that our method achieves promising results for the incomplete multi-modal MR image segmentation task.


title: Deep-learning quasi-particle masses from QCD equation of state

abstract: The interactions of quarks and gluons are strong at non-perturbative region. The equation of state (EoS) of a strongly-interacting quantum chromodynamics (QCD) medium can only be studied using the first-principle lattice QCD calculations. However, the complicated QCD EoS can be reproduced using simple statistical formula by treating the medium as a free parton gas whose fundamental degree of freedoms are dressed quarks and gluons called quasi-particles, with temperature-dependent masses. We use deep neural network and auto differentiation to solve this variational problem in which the masses of quasi gluons, up/down and strange quarks are three unknown functions, whose forms are represented by deep neural network. We reproduce the QCD EoS using these machine learned quasi-particle masses, and calculate the shear viscosity over entropy density ($\eta/s$) as a function of temperature of the hot QCD matter.


title: Restricted Chain-Order Polytopes via Combinatorial Mutations

abstract: We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.


title: Cores of partitions in rectangles

abstract: For a positive integer $t \geq 2$, the $t$-core of a partition plays an important role in modular representation theory and combinatorics. We initiate the study of $t$-cores of partitions contained in an $r \times s$ rectangle. Our main results are as follows. We first give a simple formula for the number of partitions in the rectangle that are themselves $t$-cores and compute its asymptotics for large $r,s$. We then prove that the number of partitions inside the rectangle whose $t$-cores are a fixed partition $\rho$ is given by a product of binomial coefficients. Finally, we use this formula to compute the distribution of the $t$-core of a uniformly random partition inside the rectangle extending our previous work on all partitions of a fixed integer $n$ (Ann. Appl. Prob. 2023). In particular, we show that in the limit as $r,s \to \infty$ maintaining a fixed aspect ratio, we again obtain a Gamma distribution with the same shape parameter $\alpha = (t-1)/2$ and rate parameter $\beta$ that depends on the aspect ratio.


title: Security Closure of IC Layouts Against Hardware Trojans

abstract: Due to cost benefits, supply chains of integrated circuits (ICs) are largely outsourced nowadays. However, passing ICs through various third-party providers gives rise to many threats, like piracy of IC intellectual property or insertion of hardware Trojans, i.e., malicious circuit modifications. In this work, we proactively and systematically harden the physical layouts of ICs against post-design insertion of Trojans. Toward that end, we propose a multiplexer-based logic-locking scheme that is (i) devised for layout-level Trojan prevention, (ii) resilient against state-of-the-art, oracle-less machine learning attacks, and (iii) fully integrated into a tailored, yet generic, commercial-grade design flow. Our work provides in-depth security and layout analysis on a challenging benchmark suite. We show that ours can render layouts resilient, with reasonable overheads, against Trojan insertion in general and also against second-order attacks (i.e., adversaries seeking to bypass the locking defense in an oracle-less setting). We release our layout artifacts for independent verification [29] and we will release our methodology's source code.


title: The Classification of Hyperelliptic Groups in Dimension 4

abstract: Hyperelliptic manifolds are natural generalizations of hyperelliptic surfaces in dimensions. We provide a full classification of the groups, which arise as the holonomy group of a 4-dimensional hyperelliptic manifold. The classification is mostly based on group- and representation-theoretic methods.


title: Machine-learning based prediction of small molecule -- surface interaction potentials

abstract: Predicting the adsorption affinity of a small molecule to a target surface is of importance to a range of fields, from catalysis to drug delivery and human safety, but a complex task to perform computationally when taking into account the effects of the surrounding medium. We present a flexible machine-learning approach to predict potentials of mean force (PMFs) and adsorption energies for chemical -- surface pairs from the separate interaction potentials of each partner with a set of probe atoms. We use a pre-existing library of PMFs obtained via atomistic molecular dynamics for a variety of inorganic materials and molecules to train the model. We find good agreement between original and predicted PMFs in both training and validation groups, confirming the predictive power of this approach, and demonstrate the flexibility of the model by producing PMFs for molecules and surfaces outside the training set.


title: Thermal conductance and noise of Majorana modes along interfaced $\nu=5/2$ fractional quantum Hall states

abstract: We study transport along interfaced edge segments of fractional quantum Hall states hosting non-Abelian Majorana modes. With an incoherent model approach, we compute, for edge segments based on Pfaffian, anti-Pfaffian, and particle-hole-Pfaffian topological orders, thermal conductances, voltage biased noise, and delta-$T$ noise. We determine how the thermal equilibration of edge modes impacts these observables and identify the temperature scalings of transitions between regimes of differently quantized thermal conductances. In combination with recent experimental data, we use our results to estimate thermal and charge equilibration lengths in real devices. We also propose an experimental setup which permits measuring several transport observables for interfaced fractional quantum Hall edges in a single device. It can, e.g., be used to rule out edge reconstruction effects. In this context, we further point out some subtleties in two-terminal thermal conductance measurements and how to remedy them. Our findings are consistent with recent experimental results pointing towards a particle-hole-Pfaffian topological order at filling $\nu=5/2$ in GaAs/AlGaAs, and provide further means to pin-point the edge structure at this filling and possibly also other exotic fractional quantum Hall states.


title: Thurston compactifications of spaces of stability conditions on curves

abstract: In this paper, we construct a compactification of the space of Bridgeland stability conditions on a smooth projective curve, as an analogue of Thurston compactifications in Teichm\"uller theory. In the case of elliptic curves, we compare our results with the classical one of the torus via homological mirror symmetry and give the Nielsen-Thurston classification of autoequivalences using the compactification. Furthermore, we observe an interesting phenomenon in the case of the projective line.


title: Some positive thoughts about Negative Absolute Temperature

abstract: It is now widely accepted that the concept of negative absolute temperature is real one and not just theoretical curiosity. In this brief report, by combining the formalism used in the statistical mechanics and thermodynamics, we have explained some aspects of negative temperature ( both mathematically and graphically ) in the two level system. We believe that these simple calculations may give useful and concrete insights about the negative absolute temperature to the undergraduate students.


title: Non-Hermitian Bloch-Zener phase transition

abstract: Bloch-Zener oscillations (BZO), i.e. the interplay between Bloch oscillations and Zener tunneling in two-band lattices under an external dc force, are ubiquitous in different areas of wave physics, including photonics. While in Hermitian systems such oscillations are rather generally aperiodic and only accidentally periodic, in non-Hermitian (NH) lattices BZO can show a transition from aperiodic to periodic as a NH parameter in the system is varied. Remarkably, the phase transition can be either smooth or sharp, contrary to other types of NH phase transitions which are universally sharp. A discrete-time photonic quantum walk on a synthetic lattice is suggested for an experimental observation of smooth BZO phase transitions.


title: Well-posedness and stationary solutions of McKean-Vlasov (S)PDEs

abstract: This paper is composed of two parts. In the first part we consider McKean-Vlasov Partial Differential Equations (PDEs), obtained as thermodynamic limits of interacting particle systems (i.e. in the limit $N\to\infty$, where N is the number of particles). It is well-known that, even when the particle system has a unique invariant measure (stationary solution), the limiting PDE very often displays a phase transition: for certain choices of (coefficients and) parameter values, the PDE has a unique stationary solution, but as the value of the parameter varies multiple stationary states appear. In the first part of this paper, we add to this stream of literature and consider a specific instance of a McKean-Vlasov type equation, namely the Kuramoto model on the torus perturbed by a symmetric double-well potential, and show that this PDE undergoes the type of phase transition just described, as the diffusion coefficient is varied. In the second part of the paper, we consider a rather general class of McKean-Vlasov PDEs on the torus (which includes both the original Kuramoto model and the Kuramoto model in double well potential of part one) perturbed by (strong enough) infinite-dimensional additive noise. To the best of our knowledge, the resulting Stochastic PDE, which we refer to as the Stochastic McKean-Vlasov equation, has not been studied before, so we first study its well-posedness. We then show that the addition of noise to the PDE has the effect of restoring uniqueness of the stationary state in the sense that, irrespective of the choice of coefficients and parameter values in the McKean-Vlasov PDE, the Stochastic McKean-Vlasov PDE always admits at most one invariant measure.


title: Cross-Reality Re-Rendering: Manipulating between Digital and Physical Realities

abstract: The advent of personalized reality has arrived. Rapid development in AR/MR/VR enables users to augment or diminish their perception of the physical world. Robust tooling for digital interface modification enables users to change how their software operates. As digital realities become an increasingly-impactful aspect of human lives, we investigate the design of a system that enables users to manipulate the perception of both their physical realities and digital realities. Users can inspect their view history from either reality, and generate interventions that can be interoperably rendered cross-reality in real-time. Personalized interventions can be generated with mask, text, and model hooks. Collaboration between users scales the availability of interventions. We verify our implementation against our design requirements with cognitive walkthroughs, personas, and scalability tests.


title: Auto-outlier Fusion Technique for Chest X-ray classification with Multi-head Attention Mechanism

abstract: A chest X-ray is one of the most widely available radiological examinations for diagnosing and detecting various lung illnesses. The National Institutes of Health (NIH) provides an extensive database, ChestX-ray8 and ChestXray14, to help establish a deep learning community for analysing and predicting lung diseases. ChestX-ray14 consists of 112,120 frontal-view X-ray images of 30,805 distinct patients with text-mined fourteen disease image labels, where each image has multiple labels and has been utilised in numerous research in the past. To our current knowledge, no previous study has investigated outliers and multi-label impact for a single X-ray image during the preprocessing stage. The effect of outliers is mitigated in this paper by our proposed auto-outlier fusion technique. The image label is regenerated by concentrating on a particular factor in one image. The final cleaned dataset will be used to compare the mechanisms of multi-head self-attention and multi-head attention with generalised max-pooling.


title: Uncertainty-aware Gait Recognition via Learning from Dirichlet Distribution-based Evidence

abstract: Existing gait recognition frameworks retrieve an identity in the gallery based on the distance between a probe sample and the identities in the gallery. However, existing methods often neglect that the gallery may not contain identities corresponding to the probes, leading to recognition errors rather than raising an alarm. In this paper, we introduce a novel uncertainty-aware gait recognition method that models the uncertainty of identification based on learned evidence. Specifically, we treat our recognition model as an evidence collector to gather evidence from input samples and parameterize a Dirichlet distribution over the evidence. The Dirichlet distribution essentially represents the density of the probability assigned to the input samples. We utilize the distribution to evaluate the resultant uncertainty of each probe sample and then determine whether a probe has a counterpart in the gallery or not. To the best of our knowledge, our method is the first attempt to tackle gait recognition with uncertainty modelling. Moreover, our uncertain modeling significantly improves the robustness against out-of-distribution (OOD) queries. Extensive experiments demonstrate that our method achieves state-of-the-art performance on datasets with OOD queries, and can also generalize well to other identity-retrieval tasks. Importantly, our method outperforms the state-of-the-art by a large margin of 51.26% when the OOD query rate is around 50% on OUMVLP.


title: MORA: Improving Ensemble Robustness Evaluation with Model-Reweighing Attack

abstract: Adversarial attacks can deceive neural networks by adding tiny perturbations to their input data. Ensemble defenses, which are trained to minimize attack transferability among sub-models, offer a promising research direction to improve robustness against such attacks while maintaining a high accuracy on natural inputs. We discover, however, that recent state-of-the-art (SOTA) adversarial attack strategies cannot reliably evaluate ensemble defenses, sizeably overestimating their robustness. This paper identifies the two factors that contribute to this behavior. First, these defenses form ensembles that are notably difficult for existing gradient-based method to attack, due to gradient obfuscation. Second, ensemble defenses diversify sub-model gradients, presenting a challenge to defeat all sub-models simultaneously, simply summing their contributions may counteract the overall attack objective; yet, we observe that ensemble may still be fooled despite most sub-models being correct. We therefore introduce MORA, a model-reweighing attack to steer adversarial example synthesis by reweighing the importance of sub-model gradients. MORA finds that recent ensemble defenses all exhibit varying degrees of overestimated robustness. Comparing it against recent SOTA white-box attacks, it can converge orders of magnitude faster while achieving higher attack success rates across all ensemble models examined with three different ensemble modes (i.e., ensembling by either softmax, voting or logits). In particular, most ensemble defenses exhibit near or exactly 0% robustness against MORA with $\ell^\infty$ perturbation within 0.02 on CIFAR-10, and 0.01 on CIFAR-100. We make MORA open source with reproducible results and pre-trained models; and provide a leaderboard of ensemble defenses under various attack strategies.


title: Nonequilibrium Phase Transition To Temporal Oscillations In Mean-Field Spin Models

abstract: We propose a mean-field theory for nonequilibrium phase transitions to a periodically oscillating state in spin models. A nonequilibrium generalization of the Landau free energy is obtained from the join distribution of the magnetization and its smoothed stochastic time derivative. The order parameter of the transition is a Hamiltonian, whose nonzero value signals the onset of oscillations. The Hamiltonian and the nonequilibrium Landau free energy are determined explicitly from the stochastic spin dynamics. The oscillating phase is also characterized by a non-trivial overlap distribution reminiscent of a continuous replica symmetry breaking, in spite of the absence of disorder. An illustration is given on an explicit kinetic mean-field spin model.


title: Bayesian Federated Neural Matching that Completes Full Information

abstract: Federated learning is a contemporary machine learning paradigm where locally trained models are distilled into a global model. Due to the intrinsic permutation invariance of neural networks, Probabilistic Federated Neural Matching (PFNM) employs a Bayesian nonparametric framework in the generation process of local neurons, and then creates a linear sum assignment formulation in each alternative optimization iteration. But according to our theoretical analysis, the optimization iteration in PFNM omits global information from existing. In this study, we propose a novel approach that overcomes this flaw by introducing a Kullback-Leibler divergence penalty at each iteration. The effectiveness of our approach is demonstrated by experiments on both image classification and semantic segmentation tasks.


title: Cluster Expansions: T-walks, Labeled Posets and Matrix Calculations

abstract: We give two new combinatorial methods for computing cluster expansion formulas for arcs coming from possibly punctured surfaces. The first is by using $T$-walks, an extension of the $T$-path model for unpunctured surfaces to general surfaces. We also introduce a new way of generating $T$-paths. The second method is by using order ideals of labeled posets associated to arcs. We also use the theory of oriented posets to give a quick way to calculate the expressions using $2$ by $2$ matrices. The techniques introduced are applicable to different settings in cluster algebras and beyond.


title: Imaging of HH80-81 jet in the NIR shock tracers H$_2$ and [Fe II]

abstract: The HH80-81 system is one of the most powerful jets driven by a massive protostar. We present new near-infrared (NIR) line imaging observations of the HH80-81 jet in the H$_2$ (2.122 $\mu$m) and [Fe II] (1.644 $\mu$m) lines. These lines trace not only the jet close to the exciting source but also the knots located farther away. We have detected nine groups of knot-like structures in the jet including HH80 and HH81 spaced $0.2-0.9$ pc apart. The knots in the northern arm of the jet show only [Fe II] emission closer to the exciting source, a combination of [Fe II] and H$_2$ at intermediate distances, and solely H$_2$ emission farther outwards. Towards the southern arm, all the knots exhibit both H$_2$ and [Fe II] emission. The nature of the shocks is inferred by assimilating the NIR observations with radio and X-ray observations from literature. In the northern arm, we infer the presence of strong dissociative shocks, in the knots located close to the exciting source. The knots in the southern arm that include HH80 and HH81 are explicable as a combination of strong and weak shocks. The mass-loss rates of the knots determined from [Fe II] luminosities are in the range $\sim 3.0\times 10^{-7}-5.2\times 10^{-5}$ M$_{\odot}$ yr$^{-1}$, consistent with those from massive protostars. Towards the central region, close to the driving source of the jet, we have observed various arcs in H$_2$ emission which resemble bow shocks, and strings of H$_2$ knots which reveal traces of multiple outflows.


title: Drone-based Volume Estimation in Indoor Environments

abstract: Volume estimation in large indoor spaces is an important challenge in robotic inspection of industrial warehouses. We propose an approach for volume estimation for autonomous systems using visual features for indoor localization and surface reconstruction from 2D-LiDAR measurements. A Gaussian Process-based model incorporates information collected from measurements given statistical prior information about the terrain, from which the volume estimate is computed. Our algorithm finds feasible trajectories which minimize the uncertainty of the volume estimate. We show results in simulation for the surface reconstruction and volume estimate of topographic data.


title: Data-driven design of new catalytic materials in methane oxidation based on a site isolation concept

abstract: The conversion of natural gas (methane) to ethane and ethylene (OCM: oxidative coupling of methane) facilitates its transportation and provides a way to synthesize higher value chemicals. The search for high-performance catalysts to achieve this conversion is the main scope of most corresponding studies in the field of OCM. Here, we present a general data-driven strategy for the search of novel catalytic materials, focusing particularly on materials useful for the OCM reaction. Our strategy is based on consistent experimental measurements and includes ab initio thermodynamics calculations and active screening. Based on our experiments, which showed unique volcano-type dependence of the performance on the stability of formed carbonates attributed to the site isolation concept, we developed a method for efficient and inexpensive DFT calculations of the formation energies of carbonates with prediction accuracy 0.2 eV. This method was implemented into a high-throughput screening scheme, which includes both general requirements for catalyst candidates and an actively done artificial intelligence part. Experimental validation of some of the candidates obtained during the screening showed successful reproduction of the initial volcano dependence. Moreover, several new materials were found to outperform standard OCM catalysts, specifically at lower temperatures.


title: Charmonium spectrum in an unquenched quark model

abstract: The effects of virtual light quark pairs on the charmonium spectrum are studied. Pair creation is modelled with a ``$^{3}P_{0}$" vertex and intermediate states are summed up to 2S excitations. Quark model parameters are obtained by fitting to 12 well-known charmonium states, allowing for feedback between the decaying particle and the induced mass shifts. Both of these technical steps are new and improve agreement with the experimental spectrum. In general, the masses receive small shifts once model parameters are refit. This is true in almost cases except the $\chi_{cJ}(2P)$ multiplet, which experiences upwards mass shifts of order 150 MeV, has the ordering of the multiplet rearranged, and pushes the erstwhile $c\bar{c}$ ${2}^3P_1$ state well above $D^*\bar{D}$ threshold--observations that clarify the nature of the enigmatic $X(3872)$


title: Contextual Transformer for Offline Meta Reinforcement Learning

abstract: The pretrain-finetuning paradigm in large-scale sequence models has made significant progress in natural language processing and computer vision tasks. However, such a paradigm is still hindered by several challenges in Reinforcement Learning (RL), including the lack of self-supervised pretraining algorithms based on offline data and efficient fine-tuning/prompt-tuning over unseen downstream tasks. In this work, we explore how prompts can improve sequence modeling-based offline reinforcement learning (offline-RL) algorithms. Firstly, we propose prompt tuning for offline RL, where a context vector sequence is concatenated with the input to guide the conditional policy generation. As such, we can pretrain a model on the offline dataset with self-supervised loss and learn a prompt to guide the policy towards desired actions. Secondly, we extend our framework to Meta-RL settings and propose Contextual Meta Transformer (CMT); CMT leverages the context among different tasks as the prompt to improve generalization on unseen tasks. We conduct extensive experiments across three different offline-RL settings: offline single-agent RL on the D4RL dataset, offline Meta-RL on the MuJoCo benchmark, and offline MARL on the SMAC benchmark. Superior results validate the strong performance, and generality of our methods.


title: Stability and asymptotic interactions of chiral magnetic skyrmions in a tilted magnetic field

abstract: Using a general framework, interaction potentials between chiral magnetic solitons in a planar system with a tilted external magnetic field are calculated analytically in the limit of large separation. The results are compared to previous numerical results for solitons with topological charge $\pm 1$. A key feature of the calculation is the interpretation of Dzyaloshinskii-Moriya interaction (DMI) as a background $SO(3)$ gauge field. In a tilted field, this leads to a $U(1)$-gauged version of the usual equation for spin excitations, leading to a distinctive oscillating interaction profile. We also obtain predictions for skyrmion stability in a tilted field which closely match numerical observations.

categories: cond-mat.mes-hall hep-th math-ph math.MP


title: Universal Time-Uniform Trajectory Approximation for Random Dynamical Systems with Recurrent Neural Networks

abstract: The capability of recurrent neural networks to approximate trajectories of a random dynamical system, with random inputs, on non-compact domains, and over an indefinite or infinite time horizon is considered. The main result states that certain random trajectories over an infinite time horizon may be approximated to any desired accuracy, uniformly in time, by a certain class of deep recurrent neural networks, with simple feedback structures. The formulation here contrasts with related literature on this topic, much of which is restricted to compact state spaces and finite time intervals. The model conditions required here are natural, mild, and easy to test, and the proof is very simple.


title: Eigenvalue estimates for the magnetic Hodge Laplacian on differential forms

abstract: In this paper we introduce the magnetic Hodge Laplacian, which is a generalization of the magnetic Laplacian on functions to differential forms. We consider various spectral results, which are known for the magnetic Laplacian on functions or for the Hodge Laplacian on differential forms, and discuss similarities and differences of this new ``magnetic-type'' operator.


title: Detecting Malicious Domains Using Statistical Internationalized Domain Name Features in Top Level Domains

abstract: The Domain Name System (DNS) is a core Internet service that translates domain names into IP addresses. It is a distributed database and protocol with many known weaknesses that subject to countless attacks including spoofing attacks, botnets, and domain name registrations. Still, the debate between security and privacy is continuing, that is DNS over TLS or HTTP, and the lack of adoption of DNS security extensions, put users at risk. Consequently, the security of domain names and characterizing malicious websites is becoming a priority. This paper analyzes the difference between the malicious and the normal domain names and uses Python to extract various malicious DNS identifying characteristics. In addition, the paper contributes two categories of features that suppers Internationalized Domain Names and scans domain system using five tools to give it a rating. The overall accuracy of the Random Forest Classifier was 95.6%.


title: Monte-Carlo simulations on possible collimation effects of outflows to fan-beamed emission of ultraluminous accreting X-ray pulsars

abstract: Pulsating ultraluminous X-ray sources (PULXs) are accreting pulsars with apparent X-ray luminosity exceeding $10^{39}\, \rm erg\ s^{-1}$. We perform Monte-Carlo simulations to investigate whether high collimation effect (or strong beaming effect) is dominant in the presence of accretion outflows, for the fan beam emission of the accretion column of the neutron stars in PULXs. We show that the three nearby PULXs (RX J0209.6$-$7427, Swift J0243.6+6124 and SMC X-3), namely the three musketeers here, have their main pulsed emission not strongly collimated even if strong outflows exist. This conclusion can be extended to the current sample of extragalactic PULXs, if accretion outflows are commonly produced from them. This means that the observed high luminosity of PULXs is indeed intrinsic, which can be used to infer the existence of very strong surface magnetic fields of $\sim10^{13-14}$ G, possibly multipole fields. However, if strong outflows are launched from the accretion disks in PULXs as a consequence of disk spherization by radiation pressure, regular dipole magnetic fields of $\sim10^{12}$ G may be required, comparable to that of the three musketeers, which have experienced large luminosity changes from well below their Eddington limit ($2\times10^{38}\, \rm erg\ s^{-1}$ for a NS) to super-Eddington and their maximum luminosity fills the luminosity gap between Galactic pulsars and extragalactic PULXs.


title: Perturbative approaches to quantum field theory in curved space-time

abstract: Despite the large amount of work done in quantum field theory in curved space-times, there are not great many results available for perturbative calculations of particle processes in these systems. Such processes are expected to be important in the early stages of the universe, as well as near highly relativistic objects like black holes and, recently, in effective field theories of condensed matter systems. The difficulties with carrying out perturbative calculations in curved space-times are related to the practical difficulty of quantizing in curved space-times. This suggests the need for investigating new approximations and comparing the results of different methods of carrying out the calculations. In this paper, we compare different perturbative approaches to particle scattering problems and illustrate them with examples. In particular, we look at a 1+1 dimensional static spacetime. We also examine the spacetime particle generation in a 1+1 Robertson-Walker universe, where we find that the curved space LSZ formula yields new information compared to the in-in formalism.


title: Biconservative surfaces in the $4$-dimensional Euclidean sphere

abstract: In this paper, we study biconservative surfaces with parallel normalized mean curvature vector field ($PNMC$) in the $4$-dimensional unit Euclidean sphere $\mathbb{S}^4$. First, we study the existence and uniqueness of such surfaces. We obtain that there exists a $2$-parameter family of non-isometric abstract surfaces that admit a (unique) $PNMC$ biconservative immersion in $\mathbb{S}^4$. Then, we obtain the local parametrization of these surfaces in the $5$-dimensional Euclidean space $\mathbb{E}^5$.


title: NAR-Former: Neural Architecture Representation Learning towards Holistic Attributes Prediction

abstract: With the wide and deep adoption of deep learning models in real applications, there is an increasing need to model and learn the representations of the neural networks themselves. These models can be used to estimate attributes of different neural network architectures such as the accuracy and latency, without running the actual training or inference tasks. In this paper, we propose a neural architecture representation model that can be used to estimate these attributes holistically. Specifically, we first propose a simple and effective tokenizer to encode both the operation and topology information of a neural network into a single sequence. Then, we design a multi-stage fusion transformer to build a compact vector representation from the converted sequence. For efficient model training, we further propose an information flow consistency augmentation and correspondingly design an architecture consistency loss, which brings more benefits with less augmentation samples compared with previous random augmentation strategies. Experiment results on NAS-Bench-101, NAS-Bench-201, DARTS search space and NNLQP show that our proposed framework can be used to predict the aforementioned latency and accuracy attributes of both cell architectures and whole deep neural networks, and achieves promising performance. Code is available at https://github.com/yuny220/NAR-Former.


title: FedTune: A Deep Dive into Efficient Federated Fine-Tuning with Pre-trained Transformers

abstract: Federated Learning (FL) is an emerging paradigm that enables distributed users to collaboratively and iteratively train machine learning models without sharing their private data. Motivated by the effectiveness and robustness of self-attention-based architectures, researchers are turning to using pre-trained Transformers (i.e., foundation models) instead of traditional convolutional neural networks in FL to leverage their excellent transfer learning capabilities. Despite recent progress, how pre-trained Transformer models play a role in FL remains obscure, that is, how to efficiently fine-tune these pre-trained models in FL and how FL users could benefit from this new paradigm. In this paper, we explore this issue and demonstrate that the fine-tuned Transformers achieve extraordinary performance on FL, and that the lightweight fine-tuning method facilitates a fast convergence rate and low communication costs. Concretely, we conduct a rigorous empirical study of three tuning methods (i.e., modifying the input, adding extra modules, and adjusting the backbone) using two types of pre-trained models (i.e., vision-language models and vision models) for FL. Our experiments show that 1) Fine-tuning the bias term of the backbone performs best when relying on a strong pre-trained model; 2) The vision-language model (e.g., CLIP) outperforms the pure vision model (e.g., ViT) and is more robust to the few-shot settings; 3) Compared to pure local training, FL with pre-trained models has a higher accuracy because it alleviates the problem of over-fitting. We will release our code and encourage further exploration of pre-trained Transformers and FL.


title: Floer cohomology of Dehn twists along real Lagrangian spheres

abstract: We study the Floer cohomology of the Dehn twist along a real Lagrangian sphere in a symplectic manifold endowed with an anti-symplectic involution. We prove that there exists a distinguished element in the Floer group that is a fixed point of the automorphism induced by the involution. Our methods of proof are based on Mak-Wu's cobordism and Floer-theoretic considerations.


title: Coordinate singularities of self-interacting vector field theories

abstract: Self-interacting vectors are seeing a burst of interest where various groups demonstrated that the field evolution ends in finite time. Two nonequivalent criteria have been offered to identify this breakdown: (i) the vector constraint equation cannot be satisfied beyond a point where the breakdown occurs, (ii) the dynamics is governed by an effective metric that becomes singular at the breakdown. We show that (i) identifies a coordinate singularity, and can be removed by a change of coordinates. Hence, it does not signify a physical problem, and cannot determine the validity of a theory.


title: Search for supersymmetry in final states with missing transverse momentum and three or more $b$-jets in 139 fb$^{-1}$ of proton$-$proton collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for supersymmetry involving the pair production of gluinos decaying via off-shell third-generation squarks into the lightest neutralino ($\tilde\chi^0_1$) is reported. It exploits LHC proton$-$proton collision data at a centre-of-mass energy $\sqrt{s} = 13$ TeV with an integrated luminosity of 139 fb$^{-1}$ collected with the ATLAS detector from 2015 to 2018. The search uses events containing large missing transverse momentum, up to one electron or muon, and several energetic jets, at least three of which must be identified as containing $b$-hadrons. Both a simple kinematic event selection and an event selection based upon a deep neural-network are used. No significant excess above the predicted background is found. In simplified models involving the pair production of gluinos that decay via off-shell top (bottom) squarks, gluino masses less than 2.44 TeV (2.35 TeV) are excluded at 95% CL for a massless $\tilde\chi^0_1$. Limits are also set on the gluino mass in models with variable branching ratios for gluino decays to $b\bar{b}\tilde\chi^0_1$, $t\bar{t}\tilde\chi^0_1$ and $t\bar{b}\tilde\chi^-_1$ / $\bar{t}b\tilde\chi^+_1$.


title: Persian Emotion Detection using ParsBERT and Imbalanced Data Handling Approaches

abstract: Emotion recognition is one of the machine learning applications which can be done using text, speech, or image data gathered from social media spaces. Detecting emotion can help us in different fields, including opinion mining. With the spread of social media, different platforms like Twitter have become data sources, and the language used in these platforms is informal, making the emotion detection task difficult. EmoPars and ArmanEmo are two new human-labeled emotion datasets for the Persian language. These datasets, especially EmoPars, are suffering from inequality between several samples between two classes. In this paper, we evaluate EmoPars and compare them with ArmanEmo. Throughout this analysis, we use data augmentation techniques, data re-sampling, and class-weights with Transformer-based Pretrained Language Models(PLMs) to handle the imbalance problem of these datasets. Moreover, feature selection is used to enhance the models' performance by emphasizing the text's specific features. In addition, we provide a new policy for selecting data from EmoPars, which selects the high-confidence samples; as a result, the model does not see samples that do not have specific emotion during training. Our model reaches a Macro-averaged F1-score of 0.81 and 0.76 on ArmanEmo and EmoPars, respectively, which are new state-of-the-art results in these benchmarks.


title: State of the Art of Quality Assessment of Facial Images

abstract: The goal of the project "Facial Metrics for EES" is to develop, implement and publish an open source algorithm for the quality assessment of facial images (OFIQ) for face recognition, in particular for border control scenarios.1 In order to stimulate the harmonization of the requirements and practices applied for QA for facial images, the insights gained and algorithms developed in the project will be contributed to the current (2022) revision of the ISO/IEC 29794-5 standard. Furthermore, the implemented quality metrics and algorithms will consider the recommendations and requirements from other relevant standards, in particular ISO/IEC 19794-5:2011, ISO/IEC 29794-5:2010, ISO/IEC 39794-5:2019 and Version 5.2 of the BSI Technical Guideline TR-03121 Part 3 Volume 1. In order to establish an informed basis for the selection of quality metrics and the development of corresponding quality assessment algorithms, the state of the art of methods and algorithms (defining a metric), implementations and datasets for quality assessment for facial images is surveyed. For all relevant quality aspects, this document summarizes the requirements of the aforementioned standards, known results on their impact on face recognition performance, publicly available datasets, proposed methods and algorithms and open source software implementations.


title: Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

abstract: In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Recent works show that MPC has the great potential in handling logical tasks in reactive environments. However, existing approaches suffer from the heavy computational burden, especially for tasks with large horizons. In this work, we propose a computationally more efficient MPC framework for STL tasks based on time interval decomposition. Specifically, we still use the standard shrink horizon MPC framework with Mixed Integer Linear Programming (MILP) techniques for open-loop optimization problems. However, instead of applying MPC directly for the entire task horizon, we decompose the STL formula into several sub-formulae with disjoint time horizons, and shrinking horizon MPC is applied for each short-horizon sub-formula iteratively. To guarantee the satisfaction of the entire STL formula and to ensure the recursive feasibility of the iterative process, we introduce new terminal constraints to connect each sub-formula. We show how these terminal constraints can be computed by an effective inner-approximation approach. The computational efficiency of our approach is illustrated by a case study.


title: Anisotropic constant-roll k-inflation model

abstract: In this paper, we would like to figure out whether a k-inflation model admits the Bianchi type I metric as its inflationary solution under a constant-roll condition in the presence of the supergravity motivated coupling between scalar and vector fields, $f^2(\phi)F_{\mu\nu}F^{\mu\nu}$. As a result, some novel anisotropic inflationary solutions are shown to appear along with a power-law one in this scenario. Furthermore, these solutions are numerically confirmed to be attractive, in contrast to the prediction of the Hawking's cosmic no-hair conjecture.


title: Network-Controlled Repeaters vs. Reconfigurable Intelligent Surfaces for 6G mmW Coverage Extension

abstract: Network-controlled repeaters (NCR) and reconfigurable intelligent surfaces (RIS) are being considered by the third generation partnership project (3GPP) as valid candidates for range extension in millimeter-wave (mmW, 30-300 GHz frequency) 5G and 6G networks, to counteract large path and penetration losses. Nowadays, there is no definite answer on which of the two technologies is better for coverage extension, since existing comparative studies focused either on communication-related metrics only or on very large-scale analysis, without physical layer details or environmental considerations. This paper aims at comparing NCR and RIS solutions in terms of coverage in an urban scenario. Numerical results suggest a possible usage of both technologies, showing that preferring RIS or NCR depends not only on their physical capabilities and cost (e.g., the number of antenna elements, the angular separation between panels for NCR, etc.) but also on environment geometry.


title: Reconfigurable chirality with achiral excitonic materials in the strong-coupling regime

abstract: We introduce and theoretically analyze the concept of manipulating optical chirality via strong coupling of the optical modes of chiral nanostructures with excitonic transitions in molecular layers or semiconductors. With chirality being omnipresent in chemistry and biomedicine, and highly desirable for technological applications related to efficient light manipulation, the design of nanophotonic architectures that sense the handedness of molecules or generate the desired light polarization in an externally controllable manner is of major interdisciplinary importance. Here we propose that such capabilities can be provided by the mode splitting resulting from polaritonic hybridization. Starting with an object with well-known chiroptical response -- here, for a proof of concept, a chiral sphere -- we show that strong coupling with a nearby excitonic material generates two distinct frequency regions that retain the object's chirality density and handedness, which manifest most clearly through anticrossings in circular-dichroism or differential-scattering dispersion diagrams. These windows can be controlled by the intrinsic properties of the excitonic layer and the strength of the interaction, enabling thus the post-fabrication manipulation of optical chirality. Our findings are further verified via simulations of the circular dichroism of a realistic chiral architecture, namely a helical assembly of plasmonic nanospheres embedded in a resonant matrix.


title: Noiseless Linear Amplification and Loss-Tolerant Quantum Relay using Coherent State Superpositions

abstract: Noiseless linear amplification (NLA) is useful for a wide variety of quantum protocols. Here we propose a fully scalable amplifier which, for asymptotically large sizes, can perform perfect fidelity NLA on any quantum state. Given finite resources however, it is designed to perform perfect fidelity NLA on coherent states and their arbitrary superpositions. Our scheme is a generalisation of the multi-photon quantum scissor teleamplifier, which we implement using a coherent state superposition resource state. Furthermore, we prove our NLA is also a loss-tolerant relay for multi-ary phase-shift keyed coherent states. Finally, we demonstrate that our NLA is also useful for continuous-variable entanglement distillation, even with realistic experimental imperfections.


title: Provably Reliable Large-Scale Sampling from Gaussian Processes

abstract: When comparing approximate Gaussian process (GP) models, it can be helpful to be able to generate data from any GP. If we are interested in how approximate methods perform at scale, we may wish to generate very large synthetic datasets to evaluate them. Na\"{i}vely doing so would cost \(\mathcal{O}(n^3)\) flops and \(\mathcal{O}(n^2)\) memory to generate a size \(n\) sample. We demonstrate how to scale such data generation to large \(n\) whilst still providing guarantees that, with high probability, the sample is indistinguishable from a sample from the desired GP.


title: Mirror-reflective algebras and Tachikawa's second conjecture

abstract: Given an algebra with an idempotent, we introduce two procedures to construct families of new algebras, termed mirror-reflective algebras and reduced mirror-reflective algebras. We then establish connections among these algebras by recollements of derived module categories. In case of given algebras being gendo-symmetric, we show that the (reduced) mirror-reflective algebras are symmetric and provide new methods to construct systematically both higher dimensional (minimal) Auslander-Gorenstein algebras and gendo-symmetric algebras of higher dominant dimensions. This leads to a new formulation of Tachikawa's second conjecture for symmetric algebras in terms of idempotent stratifications.