title: Connecting Seesaw Effective Field Theory to Full Theory via Flavor Invariants

abstract: The canonical seesaw models are one of the simplest and most natural scenarios that can account simultaneously for neutrino masses and matter-antimatter asymmetry in our universe. Below the seesaw scale, one can integrate out the heavy degrees of freedom to construct the seesaw effective field theory (SEFT). In this talk, we investigate the connection between the full seesaw model and the low-energy SEFT from a brand-new perspective: the invariant theory. Using the powerful tool of Hilbert series, we demonstrate the intimate relation between the flavor space of the SEFT and that of its ultraviolet theory. Through the matching of flavor invariants, it is revealed that the precise measurements of dimension-five and dimension-six operators in the SEFT at low energies are powerful enough to probe the full seesaw model, including CP violation necessary for successful leptogenesis.


title: DRL Enabled Coverage and Capacity Optimization in STAR-RIS Assisted Networks

abstract: Simultaneously transmitting and reflecting reconfigurable intelligent surfaces (STAR-RISs) is a promising passive device that contributes to a full-space coverage via transmitting and reflecting the incident signal simultaneously. As a new paradigm in wireless communications, how to analyze the coverage and capacity performance of STAR-RISs becomes essential but challenging. To solve the coverage and capacity optimization (CCO) problem in STAR-RIS assisted networks, a multi-objective proximal policy optimization (MO-PPO) algorithm is proposed to handle long-term benefits than conventional optimization algorithms. To strike a balance between each objective, the MO-PPO algorithm provides a set of optimal solutions to form a Pareto front (PF), where any solution on the PF is regarded as an optimal result. Moreover, in order to improve the performance of the MO-PPO algorithm, two update strategies, i.e., action-value-based update strategy (AVUS) and loss function-based update strategy (LFUS), are investigated. For the AVUS, the improved point is to integrate the action values of both coverage and capacity and then update the loss function. For the LFUS, the improved point is only to assign dynamic weights for both loss functions of coverage and capacity, while the weights are calculated by a min-norm solver at every update. The numerical results demonstrated that the investigated update strategies outperform the fixed weights MO optimization algorithms in different cases, which includes a different number of sample grids, the number of STAR-RISs, the number of elements in the STAR-RISs, and the size of STAR-RISs. Additionally, the STAR-RIS assisted networks achieve better performance than conventional wireless networks without STAR-RISs. Moreover, with the same bandwidth, millimeter wave is able to provide higher capacity than sub-6 GHz, but at a cost of smaller coverage.


title: Mean Hausdorff dimension of some infinite dimensional fractals

abstract: Mean Hausdorff dimension is a dynamical version of Hausdorff dimension. It provides a way to dynamicalize geometric measure theory. We pick up the following three classical results of fractal geometry. (1) The calculation of Hausdorff dimension of homogeneous sets in the circle. (2) The coincidence of Hausdorff and Minkowski dimensions for self-similar sets. (3) The calculation of Hausdorff dimension of Bedford--McMullen carpets. We develop their analogues for mean Hausdorff dimension: (1) The calculation of mean Hausdorff dimension of homogeneous systems in the infinite dimensional torus. (2) The coincidence of mean Hausdorff dimension and metric mean dimension for self-similar systems. (3) The calculation of mean Hausdorff dimension of infinite dimensional carpets.


title: On the gravitization of quantum mechanics and wave function reduction in Bohmian quantum mechanics

abstract: The main topic of this paper is using Einstein's equivalence principle in the description of the gravity-induced wave function reduction in the framework of Bohmian causal quantum theory. However, such concept has been introduced and explored by Penrose for the standard quantum mechanics, but the capabilities of Bohmian quantum mechanics makes it possible to get some of results more clearly. In this regard, the critical mass for transition from the quantum world to the classical world, the reduction time of the wave function and the temperature that corresponds to the Unruh temperature will be obtained by applying Einstein's equivalence principle for the quantum motion of particle.


title: Efficient Chemical Space Exploration Using Active Learning Based on Marginalized Graph Kernel: an Application for Predicting the Thermodynamic Properties of Alkanes with Molecular Simulation

abstract: We introduce an explorative active learning (AL) algorithm based on Gaussian process regression and marginalized graph kernel (GPR-MGK) to explore chemical space with minimum cost. Using high-throughput molecular dynamics simulation to generate data and graph neural network (GNN) to predict, we constructed an active learning molecular simulation framework for thermodynamic property prediction. In specific, targeting 251,728 alkane molecules consisting of 4 to 19 carbon atoms and their liquid physical properties: densities, heat capacities, and vaporization enthalpies, we use the AL algorithm to select the most informative molecules to represent the chemical space. Validation of computational and experimental test sets shows that only 313 (0.124\% of the total) molecules were sufficient to train an accurate GNN model with $\rm R^2 > 0.99$ for computational test sets and $\rm R^2 > 0.94$ for experimental test sets. We highlight two advantages of the presented AL algorithm: compatibility with high-throughput data generation and reliable uncertainty quantification.


title: On Fourier-based inequality indices

abstract: Originally developed for measuring the heterogeneity of wealth measures, inequality indices are quantitative scores that take values in the unit interval, with the zero score characterizing perfect equality. In this paper, we draw attention to a new inequality index, based on the Fourier transform, which exhibits a number of interesting properties that make it very promising in applications. As a by-product, it is shown that other inequality measures, including Gini and Pietra indices can be fruitfully expressed in terms of the Fourier transform, which allows to enlighten properties in a new and simple way.


title: Graphes polaris\'es et ergodicit\'e topologique

abstract: The simplest way to make a dynamical system out of a finite connected graph $G$ is to give it a polarization, that is to say a cyclic ordering of the edges incident to a vertex, for each vertex. The phase space $\mathcal{P}(G)$ then consists of all pairs $(v,e)$ where $v$ is a vertex and $e$ is an edge incident to $v$. Such an initial condition gives a position and a momentum. The data $(v,e)$ is of course equivalent to an edge endowed with an orientation $e_{\mathcal O}$. With the polarization, each initial data leads to a leftward walk defined by turning left at each vertex, or making a rebound if there is no other edge. A leftward walk is called complete if it goes through all edges of $G$, not necessarily in both directions. As usual, we define the valence of a vertex as the number of edges incident to it, and we define the valence of a graph as the average of the valences of its vertices. In this article, we prove that if a graph which is embedded in a closed oriented surface of genus $g$ admits a complete leftward walk, then its valence is at most $1 + \sqrt{6g+1}$. We prove furthermore that this result is sharp for infinitely many genera $g$, and that it is asymptotically optimal as $g \to + \infty$. This leads to obstructions for the embeddability of graphs on a surface in a way which admits a complete leftward walk. Since checking that a polarized graph admits a complete leftward walk or not is done in time $4N$, where $N$ is the cardinality of the edges, this obstruction is particularly efficient in terms of computability. This problem has its origins in interesting consequences for what we will call here the topological ergodicity of conservative systems, especially Hamiltonian systems $H$ in two dimensions where the existence of a complete leftward walk corresponds to a topologically ergodic orbit of the system, i.e. an orbit of $H$ visiting all the topology of the surface.


title: The Neural Process Family: Survey, Applications and Perspectives

abstract: The standard approaches to neural network implementation yield powerful function approximation capabilities but are limited in their abilities to learn meta representations and reason probabilistic uncertainties in their predictions. Gaussian processes, on the other hand, adopt the Bayesian learning scheme to estimate such uncertainties but are constrained by their efficiency and approximation capacity. The Neural Processes Family (NPF) intends to offer the best of both worlds by leveraging neural networks for meta-learning predictive uncertainties. Such potential has brought substantial research activity to the family in recent years. Therefore, a comprehensive survey of NPF models is needed to organize and relate their motivation, methodology, and experiments. This paper intends to address this gap while digging deeper into the formulation, research themes, and applications concerning the family members. We shed light on their potential to bring several recent advances in other deep learning domains under one umbrella. We then provide a rigorous taxonomy of the family and empirically demonstrate their capabilities for modeling data generating functions operating on 1-d, 2-d, and 3-d input domains. We conclude by discussing our perspectives on the promising directions that can fuel the research advances in the field. Code for our experiments will be made available at https://github.com/srvCodes/neural-processes-survey.


title: Why Ultrafast Photo-induced CO Desorption Dominates over Oxidation on Ru(0001)

abstract: CO oxidation on Ru(0001) is a long-standing example of a reaction that, being thermally forbidden in ultra-high vacuum, can be activated by femtosecond laser pulses. In spite of its relevance, the precise dynamics of the photo-induced oxidation process as well as the reasons behind the dominant role of the competing CO photo-desorption remain unclear. Here we use ab initio molecular dynamics with electronic friction that account for the highly excited and non-equilibrated system created by the laser to investigate both reactions. Our simulations successfully reproduce the main experimental findings: the existence of photo-induced oxidation and desorption, the large desorption to oxidation branching ratio, and the changes in the O K-edge X-ray absorption spectra attributed to the initial stage of the oxidation process. Now, we are able to monitor in detail the ultrafast CO desorption and CO oxidation occurring in the highly-excited system and to disentangle what causes the unexpected inertness to the otherwise energetically favored oxidation.


title: A New Knowledge Distillation Network for Incremental Few-Shot Surface Defect Detection

abstract: Surface defect detection is one of the most essential processes for industrial quality inspection. Deep learning-based surface defect detection methods have shown great potential. However, the well-performed models usually require large training data and can only detect defects that appeared in the training stage. When facing incremental few-shot data, defect detection models inevitably suffer from catastrophic forgetting and misclassification problem. To solve these problems, this paper proposes a new knowledge distillation network, called Dual Knowledge Align Network (DKAN). The proposed DKAN method follows a pretraining-finetuning transfer learning paradigm and a knowledge distillation framework is designed for fine-tuning. Specifically, an Incremental RCNN is proposed to achieve decoupled stable feature representation of different categories. Under this framework, a Feature Knowledge Align (FKA) loss is designed between class-agnostic feature maps to deal with catastrophic forgetting problems, and a Logit Knowledge Align (LKA) loss is deployed between logit distributions to tackle misclassification problems. Experiments have been conducted on the incremental Few-shot NEU-DET dataset and results show that DKAN outperforms other methods on various few-shot scenes, up to 6.65% on the mean Average Precision metric, which proves the effectiveness of the proposed method.


title: Gorenstein silting modules and Gorenstein projective modules

abstract: (Partial) Gorenstein silting modules are introduced and investigated. It is shown that for finite dimensional algebras of finite CM-type, partial Gorenstein silting modules are in bijection with {\tau}_G-rigid modules; Gorenstein silting modules are the module-theoretic counterpart of 2-term Gorenstein silting complexes; and the relation between 2-term Gorenstein silting complexes, t-structures and torsion pairs in module categories. Furthermore, the corresponding version of the classical Brenner-Butler theorem in this setting are characterised; and the upper bound of the global dimension of endomorphism algebras of 2-term Gorenstein silting complexes over an algebra A are also characterised by terms of the Gorenstein global dimension of A.


title: Momentum maps and the K\"ahler property for base spaces of reductive principal bundles

abstract: We investigate the complex geometry of total spaces of reductive principal bundles over compact base spaces and establish a close relation between the K\"ahler property of the base, momentum maps for the action of a maximal compact subgroup on the total space, and the K\"ahler property of special equivariant compactifications. We provide many examples illustrating that the main result is optimal.


title: Implicit and Efficient Point Cloud Completion for 3D Single Object Tracking

abstract: The point cloud based 3D single object tracking has drawn increasing attention. Although many breakthroughs have been achieved, we also reveal two severe issues. By extensive analysis, we find the prediction manner of current approaches is non-robust, i.e., exposing a misalignment gap between prediction score and actually localization accuracy. Another issue is the sparse point returns will damage the feature matching procedure of the SOT task. Based on these insights, we introduce two novel modules, i.e., Adaptive Refine Prediction (ARP) and Target Knowledge Transfer (TKT), to tackle them, respectively. To this end, we first design a strong pipeline to extract discriminative features and conduct the matching with the attention mechanism. Then, ARP module is proposed to tackle the misalignment issue by aggregating all predicted candidates with valuable clues. Finally, TKT module is designed to effectively overcome incomplete point cloud due to sparse and occlusion issues. We call our overall framework PCET. By conducting extensive experiments on the KITTI and Waymo Open Dataset, our model achieves state-of-the-art performance while maintaining a lower computational cost.


title: Commutators in finite free probability, I

abstract: This paper describes the expected characteristic polynomial of the commutator of randomly rotated matrices, in the context of the finite free probability theory initiated by Marcus, Spielman, and Srivastava. The key technical features are the use of Weingarten calculus to translate the random matrix problem into one of combinatorial representation theory, followed by some applications of the Goulden-Jackson immanant formula and the classical theory of permutation modules.


title: Systems of difference equations, symmetries and integrability conditions

abstract: We consider a class of systems of difference equations defined on an elementary quadrilateral of the ${\mathbb{Z}}^2$ lattice, define their eliminable and dynamical variables, and demonstrate their use. Using the existence of infinite hierarchies of symmetries as integrability criterion, we derive necessary integrability conditions and employ them in the construction of the lowest order symmetries of a given system. These considerations are demonstrated with the help of three systems from the class of systems under consideration.


title: Complexity of Representations in Deep Learning

abstract: Deep neural networks use multiple layers of functions to map an object represented by an input vector progressively to different representations, and with sufficient training, eventually to a single score for each class that is the output of the final decision function. Ideally, in this output space, the objects of different classes achieve maximum separation. Motivated by the need to better understand the inner working of a deep neural network, we analyze the effectiveness of the learned representations in separating the classes from a data complexity perspective. Using a simple complexity measure, a popular benchmarking task, and a well-known architecture design, we show how the data complexity evolves through the network, how it changes during training, and how it is impacted by the network design and the availability of training samples. We discuss the implications of the observations and the potentials for further studies.


title: Reproducibility Companion Paper: Describing Subjective Experiment Consistency by $p$-Value P-P Plot

abstract: In this paper we reproduce experimental results presented in our earlier work titled "Describing Subjective Experiment Consistency by $p$-Value P-P Plot" that was presented in the course of the 28th ACM International Conference on Multimedia. The paper aims at verifying the soundness of our prior results and helping others understand our software framework. We present artifacts that help reproduce tables, figures and all the data derived from raw subjective responses that were included in our earlier work. Using the artifacts we show that our results are reproducible. We invite everyone to use our software framework for subjective responses analyses going beyond reproducibility efforts.


title: Geometric thermodynamics for the Fokker-Planck equation: Stochastic thermodynamic links between information geometry and optimal transport

abstract: We propose a geometric theory of non-equilibrium thermodynamics, namely geometric thermodynamics, using our recent developments of differential-geometric aspects of entropy production rate in non-equilibrium thermodynamics. By revisiting our recent results on geometrical aspects of entropy production rate in stochastic thermodynamics for the Fokker-Planck equation, we introduce a geometric framework of non-equilibrium thermodynamics in terms of information geometry and optimal transport theory. We show that the proposed geometric framework is useful for obtaining several non-equilibrium thermodynamic relations, such as thermodynamic trade-off relations between the thermodynamic cost and the fluctuation of the observable, optimal protocols for the minimum thermodynamic cost and the decomposition of the entropy production rate for the non-equilibrium system. We clarify several stochastic-thermodynamic links between information geometry and optimal transport theory via the excess entropy production rate based on a relation between the gradient flow expression and information geometry in the space of probability densities and a relation between the velocity field in optimal transport and information geometry in the space of path probability densities.


title: Quantum Mixed State Compiling

abstract: The task of learning a quantum circuit to prepare a given mixed state is a fundamental quantum subroutine. We present a variational quantum algorithm (VQA) to learn mixed states which is suitable for near-term hardware. Our algorithm represents a generalization of previous VQAs that aimed at learning preparation circuits for pure states. We consider two different ans\"{a}tze for compiling the target state; the first is based on learning a purification of the state and the second on representing it as a convex combination of pure states. In both cases, the resources required to store and manipulate the compiled state grow with the rank of the approximation. Thus, by learning a lower rank approximation of the target state, our algorithm provides a means of compressing a state for more efficient processing. As a byproduct of our algorithm, one effectively learns the principal components of the target state, and hence our algorithm further provides a new method for principal component analysis. We investigate the efficacy of our algorithm through extensive numerical implementations, showing that typical random states and thermal states of many body systems may be learnt this way. Additionally, we demonstrate on quantum hardware how our algorithm can be used to study hardware noise-induced states.


title: Learning Perturbations for Soft-Output Linear MIMO Demappers

abstract: Tree-based demappers for multiple-input multiple-output (MIMO) detection such as the sphere decoder can achieve near-optimal performance but incur high computational cost due to their sequential nature. In this paper, we propose the perturbed linear demapper (PLM), which is a novel data-driven model for computing soft outputs in parallel. To achieve this, the PLM learns a distribution centered on an initial linear estimate and a log-likelihood ratio clipping parameter using end-to-end Bayesian optimization. Furthermore, we show that lattice-reduction can be naturally incorporated into the PLM pipeline, which allows to trade off computational cost against coded block error rate reduction. We find that the optimized PLM can achieve near maximum-likelihood (ML) performance in Rayleigh channels, making it an efficient alternative to tree-based demappers.


title: Holomorphic Equilibrium Propagation Computes Exact Gradients Through Finite Size Oscillations

abstract: Equilibrium propagation (EP) is an alternative to backpropagation (BP) that allows the training of deep neural networks with local learning rules. It thus provides a compelling framework for training neuromorphic systems and understanding learning in neurobiology. However, EP requires infinitesimal teaching signals, thereby limiting its applicability in noisy physical systems. Moreover, the algorithm requires separate temporal phases and has not been applied to large-scale problems. Here we address these issues by extending EP to holomorphic networks. We show analytically that this extension naturally leads to exact gradients even for finite-amplitude teaching signals. Importantly, the gradient can be computed as the first Fourier coefficient from finite neuronal activity oscillations in continuous time without requiring separate phases. Further, we demonstrate in numerical simulations that our approach permits robust estimation of gradients in the presence of noise and that deeper models benefit from the finite teaching signals. Finally, we establish the first benchmark for EP on the ImageNet 32x32 dataset and show that it matches the performance of an equivalent network trained with BP. Our work provides analytical insights that enable scaling EP to large-scale problems and establishes a formal framework for how oscillations could support learning in biological and neuromorphic systems.


title: (Gorenstein) silting modules in recollements

abstract: In the paper, we focus on the silting properties and the combinatorial properties of silting and Gorenstein, which is called Gorenstein silting, where the main tools used are recollements of module categories and tensor products. For a ring A and its idempotent ideal J, we show that an A/J-module T is a silting A-module if and only if T is a silting A/J-module. For the finite dimensional k-algebras, with k a field, we show that the tensor products of silting modules are still silting. We also show that the (partial) Gorenstein silting properties can be glued by the recollements of module categories of Noetherian rings. As a consequence, we glue the Gorenstein silting modules of an upper triangular matrix Gorenstein ring by those of the involved rings.


title: Actor Prioritized Experience Replay

abstract: A widely-studied deep reinforcement learning (RL) technique known as Prioritized Experience Replay (PER) allows agents to learn from transitions sampled with non-uniform probability proportional to their temporal-difference (TD) error. Although it has been shown that PER is one of the most crucial components for the overall performance of deep RL methods in discrete action domains, many empirical studies indicate that it considerably underperforms actor-critic algorithms in continuous control. We theoretically show that actor networks cannot be effectively trained with transitions that have large TD errors. As a result, the approximate policy gradient computed under the Q-network diverges from the actual gradient computed under the optimal Q-function. Motivated by this, we introduce a novel experience replay sampling framework for actor-critic methods, which also regards issues with stability and recent findings behind the poor empirical performance of PER. The introduced algorithm suggests a new branch of improvements to PER and schedules effective and efficient training for both actor and critic networks. An extensive set of experiments verifies our theoretical claims and demonstrates that the introduced method significantly outperforms the competing approaches and obtains state-of-the-art results over the standard off-policy actor-critic algorithms.


title: Time-Optimal Handover Trajectory Planning for Aerial Manipulators based on Discrete Mechanics and Complementarity Constraints

abstract: Planning a time-optimal trajectory for aerial robots is critical in many drone applications, such as rescue missions and package delivery, which have been widely researched in recent years. However, it still involves several challenges, particularly when it comes to incorporating special task requirements into the planning as well as the aerial robot's dynamics. In this work, we study a case where an aerial manipulator shall hand over a parcel from a moving mobile robot in a time-optimal manner. Rather than setting up the approach trajectory manually, which makes it difficult to determine the optimal total travel time to accomplish the desired task within dynamic limits, we propose an optimization framework, which combines discrete mechanics and complementarity constraints (DMCC) together. In the proposed framework, the system dynamics is constrained with the discrete variational Lagrangian mechanics that provides reliable estimation results also according to our experiments. The handover opportunities are automatically determined and arranged based on the desired complementarity constraints. Finally, the performance of the proposed framework is verified with numerical simulations and hardware experiments with our self-designed aerial manipulators.


title: Inequality of Opportunity and Income Redistribution

abstract: We examine how redistribution decisions respond to the source of luck when there is uncertainty about its role in determining opportunities and outcomes. We elicit redistribution decisions from a representative U.S. sample who observe worker outcomes and whether luck could determine earnings directly (``lucky outcomes'') or indirectly by providing one of the workers with a relative advantage (``lucky opportunities''). We find that participants redistribute less and are less responsive to changes in the importance of luck in environments with lucky opportunities. We show that individuals rely on a simple heuristic when assessing the impact of unequal opportunities, which leads them to underappreciate the extent to which small differences in opportunities can have a large impact on outcomes. These findings have implications for models of redistribution attitudes and help explain the gap between lab evidence on support for redistribution and inequality trends.


title: Complete readout of two-electron spin states in a double quantum dot

abstract: We propose and demonstrate complete spin state readout of a two-electron system in a double quantum dot probed by an electrometer. The protocol is based on repetitive single shot measurements using Pauli spin blockade and our ability to tune on fast timescales the detuning and the interdot tunnel coupling between the GHz and sub-Hz regime. A sequence of three distinct manipulations and measurements allows establishing if the spins are in S, Tzero, Tplus or Tminus state. This work points at a procedure to reduce the overhead for spin readout, an important challenge for scaling up spin qubit platforms.


title: Explicit non-Gorenstein R=T via rank bounds I: Deformation theory

abstract: Ribet has proven remarkable results about non-optimal levels of residually reducible Galois representations. We focus on a non-optimal level $N$ that is the product of two distinct primes and where the Galois deformation ring is not expected to be Gorenstein. We prove a Galois-theoretic criterion for the deformation ring to be as small as possible -- that is, for there to be a unique newform of level $N$ with reducible residual representation. When this criterion is satisfied, we deduce an $R=\mathbb{T}$ theorem.


title: From Gorenstein derived equivalences to stable functors of Gorenstein projective modules

abstract: In the paper, we mainly connect the Gorenstein derived equivalence and stable functors of Gorenstein projective modules. Specially, we prove that a Gorenstein derived equivalence between CM-finite algebras A and B can induce a stable functor between the factor categories A-mod/A-Gproj and B-mod\B-Gproj. Furthermore, the above stable functor is an equivalence when A and B are Gorenstein.


title: Predictive Semantics for Past-CTL Runtime Monitors

abstract: The distributed monitoring of swarms of devices cooperating to common global goals is becoming increasingly important, as such systems are employed for critical applications, e.g., in search and rescue missions during emergencies. In this paper, we target the distributed run-time verification of global properties of a swarm expressed as logical formulas in a temporal logic. In particular, for the implementation of decentralized monitors, we adopt the Field Calculus (FC) language, and exploit the results of previous works which have shown the possibility of automatically translating temporal logic formulas into FC programs. The main limitation of such works lies in the fact that the formulas are expressed in the past-CTL logic, which only features past modalities, and is therefore ineffective in predicting properties about the future evolution of a system. In this paper, we inject some limited prediction capability into the past-CTL logic by providing an extended semantics on a multi-valued logic, then assessing how this affects the automated translation into field calculus monitors.


title: Unconventional density waves and superconductivities in Fe-based superconductors and other strongly correlated electron systems

abstract: To seek high-$T_c$ pairing mechanism, many scientists have focused on the mysterious spontaneous rotational symmetry breaking above Tc, such as nematic order at $q=0$ and smectic order at $q\ne0$. Such exotic correlation-driven symmetry breaking in metals has become a central issue in condensed matter physics. We demonstrate the emergence of the nematic and smectic orders due to orbital polarization ($n_{xz}\ne n_{yz}$) and the symmetry breaking in the correlated intersite hopping (= bond order $\delta t_{i,j}$) in Fe-based and cuprate superconductors. In addition, we discuss exotic spontaneous loop current orders driven by the pure imaginary $\delta t_{i,j}$. These interesting ``unconventional density-waves'' originate from the quantum interference between different spin fluctuations that is described by the vertex correction (VC) in the field theory. In the next stage, we discuss electron-correlation driven superconductivity due to the fluctuations of unconventional density-waves. For this purpose, we suggest the beyond-Migdal-Eliashberg gap equation by including the VCs into the equation. In Fe-based superconductors, high-$T_c$ $s$-wave superconductivity can be mediated by nematic and smectic fluctuations because the pairing interaction is magnified by the VCs. We also discuss the multipolar fluctuation pairing mechanism in heavy fermion systems, owing to the cooperation between the strong spin-orbit interaction and the strong electron correlation. To summarize, we suggest that the quantum interference mechanism described by the VCs is the key ingredients to explain not only various unconventional density-waves, but also exotic superconducting states in many strongly correlated metals. We finally discuss some interesting future issues with respect to the quantum interference mechanism.


title: The Shifting Attention of Political Leaders: Evidence from Two Centuries of Presidential Speeches

abstract: We use natural-language-processing algorithms on a novel dataset of over 900 presidential speeches from ten Latin American countries spanning two centuries to study the dynamics and determinants of presidential policy priorities. We show that most speech content can be characterized by a compact set of policy issues whose relative composition exhibited slow yet substantial shifts over 1819-2022. Presidential attention initially centered on military interventions and the development of state capacity. Attention gradually evolved towards building physical capital through investments in infrastructure and public services and finally turned towards building human capital through investments in education, health, and social safety nets. We characterize the way in which president-level characteristics, like age and gender, predict the main policy issues. Our findings offer novel insights into the dynamics of presidential attention and the factors that shape it, expanding our understanding of political agenda-setting.


title: Variable selection for varying multi-index coefficients models with applications to synergistic GxE interactions

abstract: Epidemiological evidence suggests that simultaneous exposures to multiple environmental risk factors (Es) can increase disease risk larger than the additive effect of individual exposure acting alone. The interaction between a gene and multiple Es on a disease risk is termed as synergistic gene-environment interactions (synG$\times$E). Varying multi-index coefficients models (VMICM) have been a promising tool to model synergistic G$\times$E effect and to understand how multiple Es jointly influence genetic risks on a disease outcome. In this work, we proposed a 3-step variable selection approach for VMICM to estimate different effects of gene variables: varying, non-zero constant and zero effects which respectively correspond to nonlinear synG$\times$E, no synG$\times$E and no genetic effect. For multiple environmental exposure variables, we also estimated and selected important environmental variables that contribute to the synergistic interaction effect. We theoretically evaluated the oracle property of the proposed variable selection approach. Extensive simulation studies were conducted to evaluate the finite sample performance of the method, considering both continuous and discrete gene variables. Application to a real dataset further demonstrated the utility of the method. Our method has broad applications in areas where the purpose is to identify synergistic interaction effect.


title: Tuning nucleation kinetics via nonequilibrium chemical reactions

abstract: Unlike fluids at thermal equilibrium, biomolecular mixtures in living systems can sustain nonequilibrium steady states, in which active processes modify the conformational states of the constituent molecules. Despite qualitative similarities between liquid--liquid phase separation in these systems, the extent to which the phase-separation kinetics differ remains unclear. Here we show that inhomogeneous chemical reactions can alter the nucleation kinetics of liquid--liquid phase separation in a manner that is consistent with classical nucleation theory, but can only be rationalized by introducing a nonequilibrium interfacial tension. We identify conditions under which nucleation can be accelerated without changing the energetics or supersaturation, thus breaking the correlation between fast nucleation and strong driving forces that is typical of phase separation and self-assembly at thermal equilibrium.


title: Stochastic Mathematical Systems

abstract: We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves {stochastic mathematical systems} (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a ``calibration'' relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an ``oracle'' SMS that can be interpreted as deciding whether the question-answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question-answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: i) the practice of increasing one's degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and ii) abduction, the practice of inferring a claim's probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons.


title: Note on holomorphic Morse inequalities tensoring with a coherent sheaf

abstract: In this note, we show various versions of holomorphic Morse inequalities tensoring with a coherent sheaf.


title: A Bilevel Optimization Method for Tensor Recovery Under Metric Learning Constraints

abstract: Tensor completion and tensor decomposition are important problems in many domains. In this work, we leverage the connection between these problems to learn a distance metric that improves both decomposition and completion. We show that the optimal Mahalanobis distance metric for the completion task is closely related to the Tucker decomposition of the completed tensor. Then, we formulate a bilevel optimization problem to perform joint tensor completion and decomposition, subject to metric learning constraints. The metric learning constraints also allow us to flexibly incorporate similarity side information and coupled matrices, when available, into the tensor recovery process. We derive an algorithm to solve the bilevel optimization problem and prove its global convergence. When evaluated on real data, our approach performs significantly better compared to previous methods.


title: MSGNN: A Spectral Graph Neural Network Based on a Novel Magnetic Signed Laplacian

abstract: Signed and directed networks are ubiquitous in real-world applications. However, there has been relatively little work proposing spectral graph neural networks (GNNs) for such networks. Here we introduce a signed directed Laplacian matrix, which we call the magnetic signed Laplacian, as a natural generalization of both the signed Laplacian on signed graphs and the magnetic Laplacian on directed graphs. We then use this matrix to construct a novel efficient spectral GNN architecture and conduct extensive experiments on both node clustering and link prediction tasks. In these experiments, we consider tasks related to signed information, tasks related to directional information, and tasks related to both signed and directional information. We demonstrate that our proposed spectral GNN is effective for incorporating both signed and directional information, and attains leading performance on a wide range of data sets. Additionally, we provide a novel synthetic network model, which we refer to as the Signed Directed Stochastic Block Model, and a number of novel real-world data sets based on lead-lag relationships in financial time series.


title: Sign inversion in the lateral van der Waals force between an anisotropic particle and a plane with a hemispherical protuberance: an exact calculation

abstract: We investigate the lateral van der Waals (vdW) force between an anisotropic polarizable particle and a perfectly conducting plane with a hemispherical protuberance with radius $R$. We predict, via an exact calculation, a sign inversion in the lateral vdW force, in the sense that, instead of pointing to the protuberance, in certain situations this force points to the opposite direction. In the literature, predictions of sign inversions in the lateral vdW force were based on perturbative solutions, valid when the height of the protuberance is very small when compared to the distance $z_0$ between the particle and the plane. Here, taking into account exact formulas, we investigate how such nontrivial geometric effect depends on the ratio $R/z_0$, and how the particle orientation and anisotropy affect this sign inversion.


title: Longitudinal momentum fraction of heavy-flavor mesons in jets in high-energy nuclear collisions

abstract: Heavy-flavor jets are powerful tools to gain insight into the in-medium partonic energy-loss mechanisms and the quark-gluon plasma's (QGP) transport properties in high-energy nuclear collisions. In this work we present the first theoretical study of the longitudinal momentum fraction $z_{||}$ carried by heavy-flavor mesons in jets in Pb+Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV. The p+p baseline is provided by POWHEG+PYTHIA8, which matches the next-to-leading-order hard processes with the parton shower. We employ a Monte Carlo transport model, which considers the collisional and radiative partonic energy loss, to simulate the evolution of heavy-flavor jets in the expanding QGP medium. We observe steeper $z_{||}$ distributions of $\rm{B^0}$ jets compared to those of $\rm{D^0}$ jets at the same kinematics region in p+p collisions, which may be a hint of the harder jet fragmentation function of b jets compared to c jets in vacuum. In A+A collisions, it is shown that the jet quenching effect would generally decrease the values of $z_{||}$. We have made a systematical study on how several factors, including jet $p_{\rm{T}}$, jet radius $R$, and collision centrality, would influence the medium modification of $z_{||}$ distributions of a $\rm{D^0}$ jet. In addition, we predict visibly stronger nuclear modifications of $\rm{B^0}$-jet $z_{||}$ distributions compared to a $\rm{D^0}$ jet within the same $p_{\rm T}$ windows as a result of the much steeper initial $z_{||}$ distribution of the $\rm{B^0}$ jet in vacuum.


title: The evolving absolute magnitude of type 1a supernovae and its critical impact on the cosmological parameters

abstract: In this work, a computer optimization model has been developed that allows one to load the initial observation data of supernovae 1a into a table and, simply, by searching for the best fit between observations and theory, obtain the values of the parameters of cosmological models. Naturally, the initial data are redshifts z and apparent magnitudes m at the maximum brightness of supernovae. For better fit between theory and observation, Pearson's Chi2 (Chi-squared) goodness-of-fit test was used. The results are obtained for the LCDM model and, for comparison, the model with a zero cosmological constant. In order to improve the fit between observed data and theory, the optimization is carried out assuming that the absolute magnitude of supernovae is not constant, but evolves with time. It is assumed that the dependence of the absolute magnitude on the redshift is linear: M=M(z=0)+ez, where e is the evolution coefficient of the absolute magnitude of type 1a supernovae.


title: A Predictor-Corrector Strategy for Adaptivity in Dynamical Low-Rank Approximations

abstract: In this paper, we present a predictor-corrector strategy for constructing rank-adaptive dynamical low-rank approximations (DLRAs) of matrix-valued ODE systems. The strategy is a compromise between (i) low-rank step-truncation approaches that alternately evolve and compress solutions and (ii) strict DLRA approaches that augment the low-rank manifold using subspaces generated locally in time by the DLRA integrator. The strategy is based on an analysis of the error between a forward temporal update into the ambient full-rank space, which is typically computed in a step-truncation approach before re-compressing, and the standard DLRA update, which is forced to live in a low-rank manifold. We use this error, without requiring its full-rank representation, to correct the DLRA solution. A key ingredient for maintaining a low-rank representation of the error is a randomized singular value decomposition (SVD), which introduces some degree of stochastic variability into the implementation. The strategy is formulated and implemented in the context of discontinuous Galerkin spatial discretizations of partial differential equations and applied to several versions of DLRA methods found in the literature, as well as a new variant. Numerical experiments comparing the predictor-corrector strategy to other methods demonstrate robustness to overcome short-comings of step truncation or strict DLRA approaches: the former may require more memory than is strictly needed while the latter may miss transients solution features that cannot be recovered. The effect of randomization, tolerances, and other implementation parameters is also explored.


title: Fast Fourier Convolution Based Remote Sensor Image Object Detection for Earth Observation

abstract: Remote sensor image object detection is an important technology for Earth observation, and is used in various tasks such as forest fire monitoring and ocean monitoring. Image object detection technology, despite the significant developments, is struggling to handle remote sensor images and small-scale objects, due to the limited pixels of small objects. Numerous existing studies have demonstrated that an effective way to promote small object detection is to introduce the spatial context. Meanwhile, recent researches for image classification have shown that spectral convolution operations can perceive long-term spatial dependence more efficiently in the frequency domain than spatial domain. Inspired by this observation, we propose a Frequency-aware Feature Pyramid Framework (FFPF) for remote sensing object detection, which consists of a novel Frequency-aware ResNet (F-ResNet) and a Bilateral Spectral-aware Feature Pyramid Network (BS-FPN). Specifically, the F-ResNet is proposed to perceive the spectral context information by plugging the frequency domain convolution into each stage of the backbone, extracting richer features of small objects. To the best of our knowledge, this is the first work to introduce frequency-domain convolution into remote sensing object detection task. In addition, the BSFPN is designed to use a bilateral sampling strategy and skipping connection to better model the association of object features at different scales, towards unleashing the potential of the spectral context information from F-ResNet. Extensive experiments are conducted for object detection in the optical remote sensing image dataset (DIOR and DOTA). The experimental results demonstrate the excellent performance of our method. It achieves an average accuracy (mAP) without any tricks.


title: Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System

abstract: This research considers the problem of identifying safety constraints and developing Run Time Assurance (RTA) for Deep Reinforcement Learning (RL) Tactical Autopilots that use neural network control systems (NNCS). This research studies a specific use case of an NNCS performing autonomous formation flight while an RTA system provides collision avoidance and geofence assurances. First, Systems Theoretic Accident Models and Processes (STAMP) is applied to identify accidents, hazards, and safety constraints as well as define a functional control system block diagram of the ground station, manned flight lead, and surrogate unmanned wingman. Then, Systems Theoretic Process Analysis (STPA) is applied to the interactions of the the ground station, manned flight lead, surrogate unmanned wingman, and internal elements of the wingman aircraft to identify unsafe control actions, scenarios leading to each, and safety requirements to mitigate risks. This research is the first application of STAMP and STPA to an NNCS bounded by RTA.


title: A gap at 1 au in the disk of DI Cha A revealed by infrared interferometry

abstract: DI Cha A is K0-type pre-main sequence star, the brightest component of a quadruple stellar system. Here we report on a detailed study of this star based on archival VLTI/MIDI and VLTI/PIONIER infrared interferometric observations, as well as optical--infrared photometric monitoring from ground-based and space-born instruments. We determined the structure of the circumstellar disk by fitting simultaneously the interferometric visibilities and the spectral energy distribution, using both analytical models and the radiative transfer code RADMC-3D. The modeling revealed that the radial density distribution of the disk appears to have a gap between 0.21 and 3.0 au. The inner ring, whose inner size coincides with the sublimation radius, is devoid of small, submicrometer-sized dust grains. The inner edge of the outer disk features a puffed-up rim, typically seen in intermediate-mass stars. Grain growth, although less progressed, was also detected in the outer disk. The inner ring is variable at mid-infrared wavelengths on both daily and annual timescales, while the star stays remarkably constant in the optical, pointing to geometrical or accretion changes in the disk as possible explanation for the flux variations.


title: Operational Interpretation of the Sandwiched R\'enyi Divergence of Order 1/2 to 1 as Strong Converse Exponents

abstract: We provide the sandwiched R\'enyi divergence of order $\alpha\in(\frac{1}{2},1)$, as well as its induced quantum information quantities, with an operational interpretation in the characterization of the exact strong converse exponents of quantum tasks. Specifically, we consider (a) smoothing of the max-relative entropy, (b) quantum privacy amplification, and (c) quantum information decoupling. We solve the problem of determining the exact strong converse exponents for these three tasks, with the performance being measured by the fidelity or purified distance. The results are given in terms of the sandwiched R\'enyi divergence of order $\alpha\in(\frac{1}{2},1)$, and its induced quantum R\'enyi conditional entropy and quantum R\'enyi mutual information. This is the first time to find the precise operational meaning for the sandwiched R\'enyi divergence with R\'enyi parameter in the interval $\alpha\in(\frac{1}{2},1)$.


title: Strong Converse Exponent for Entanglement-Assisted Communication

abstract: We determine the exact strong converse exponent for entanglement-assisted classical communication of a quantum channel. Our main contribution is the derivation of an upper bound for the strong converse exponent which is characterized by the sandwiched R\'enyi divergence. It turns out that this upper bound coincides with the lower bound of Gupta and Wilde (Commun. Math. Phys. 334:867-887, 2015). Thus, the strong converse exponent follows from the combination of these two bounds. Our result has two implications. Firstly, it implies that the exponential bound for the strong converse property of quantum-feedback-assisted classical communication, derived by Cooney, Mosonyi and Wilde (Commun. Math. Phys. 344:797-829, 2016), is optimal. This answers their open question in the affirmative. Hence, we have determined the exact strong converse exponent for this problem as well. Secondly, due to an observation of Leung and Matthews, it can be easily extended to deal with the transmission of quantum information under the assistance of entanglement or quantum feedback, yielding similar results. The above findings provide, for the first time, a complete operational interpretation to the channel's sandwiched R\'enyi information of order $\alpha > 1$.


title: Explicit non-Gorenstein R=T via rank bounds II: Computational aspects

abstract: This is the second in a pair of papers about residually reducible Galois deformation rings with non-optimal level. In the first paper, we proved a Galois-theoretic criterion for the deformation ring to be as small as possible. This paper focuses on the computations needed to verify this criterion. We adapt a technique developed by Sharifi to compute number fields with twisted-Heisenberg Galois group and prescribed ramification, and compute the splitting behavior of primes in these extensions.


title: Unsupervised Simplification of Legal Texts

abstract: The processing of legal texts has been developing as an emerging field in natural language processing (NLP). Legal texts contain unique jargon and complex linguistic attributes in vocabulary, semantics, syntax, and morphology. Therefore, the development of text simplification (TS) methods specific to the legal domain is of paramount importance for facilitating comprehension of legal text by ordinary people and providing inputs to high-level models for mainstream legal NLP applications. While a recent study proposed a rule-based TS method for legal text, learning-based TS in the legal domain has not been considered previously. Here we introduce an unsupervised simplification method for legal texts (USLT). USLT performs domain-specific TS by replacing complex words and splitting long sentences. To this end, USLT detects complex words in a sentence, generates candidates via a masked-transformer model, and selects a candidate for substitution based on a rank score. Afterward, USLT recursively decomposes long sentences into a hierarchy of shorter core and context sentences while preserving semantic meaning. We demonstrate that USLT outperforms state-of-the-art domain-general TS methods in text simplicity while keeping the semantics intact.


title: Growth parameters of Bi0.1Y2.9Fe5O12 thin films for high frequency applications

abstract: The growth and characterization of Bismuth (Bi) substituted YIG (Bi-YIG, Bi0.1Y2.9Fe5O12) thin films are reported. Pulsed laser deposited (PLD) films with thicknesses ranging from 20 to 150 nm were grown on Gadolinium Gallium Garnet substrates. Two substrate orientations of (100) and (111) were considered. The enhanced distribution of Bi3+ ions at dodecahedral site along (111) is observed to lead to an increment in lattice constant from 12.379 angstrom in (100) to 12.415 angstrom in (111) oriented films. Atomic force microscopy images showed decreasing roughness with increasing film thickness. Compared to (100) grown films, (111) oriented films showed an increase in ferromagnetic resonance linewidth and consequent increase in Gilbert damping. The lowest Gilbert damping values are found to be (1.06) * 10E-4 for (100) and (2.30) * 10E-4 for (111) oriented films with thickness of 150 nm. The observed values of extrinsic linewidth, effective magnetization, and anisotropic field are related to thickness of the films and substrate orientation. In addition, the in-plane angular variation established four-fold symmetry for the (100) deposited films unlike the case of (111) deposited films. This study prescribes growth conditions for PLD grown single-crystalline Bi-YIG films towards desired high frequency and magneto-optical device applications.


title: Being at Home in the Metaverse? Prospectus for a Social Imaginary

abstract: The metaverse has seen growing corporate and popular interest over the past few years. While visions vary, the metaverse is generally seen as an extension of the internet that may be developed through advances in a number of digital technologies, such as augmented and virtual reality, as well as new technical infrastructure and standards. The metaverse constitutes an emerging social imaginary, a way of both understanding and directing our shared existence. This paper examines this emerging social imaginary through the phenomenological concept of dwelling, or being at home in the world, as developed by Martin Heidegger. To examine in depth one influential articulation of this social imaginary, this paper focuses on the metaverse as envisioned by Mark Zuckerberg, CEO of Meta (formerly Facebook). The paper presents a thematic analysis of Zuckerberg's public statements regarding the metaverse to provide a close reading of this particular vision. Then, through the lens of Heidegger's philosophy of dwelling, this paper identifies numerous threats to dwelling posed by the metaverse social imaginary. This paper explains these threats and their prognoses, and it closes with some considerations for how the metaverse could be designed to better facilitate human dwelling.


title: Trivial Massey Product in Bounded Cohomology

abstract: We show that in the bounded cohomology of non-abelian free groups the Massey triple product is always trivial when the second factor is represented by the coboundary of a decomposable quasi-morphism. We also show that in the bounded cohomology of a negatively curved compact Riemannian manifold the Massey triple product is always trivial when the second factor is represented by an exact differential form.


title: Comment on "Damping of neutrino oscillations, decoherence and the lengths of neutrino wave packets''

abstract: We point out three apparent inconsistencies in the treatment of oscillation coherence from reactor neutrino and source neutrino experiments in recent paper "Damping of neutrino oscillations, decoherence and the lengths of neutrino wave packets''. First, that the dependence of the oscillation probability upon the subsequent interactions of entangled recoil particles implies causality violations and in some situations superluminal signaling; second, that integrating over a non-orthogonal basis for the entangled recoil leads to unphysical effects; and third, that the question of what interactions serve to measure the position of the initial state particle remains ambiguous. These points taken together appear to undermine the claim made therein that the effects of wave packet separation must be strictly unobservable in reactor and radioactive source based neutrino experiments.


title: Model Transparency and Interpretability : Survey and Application to the Insurance Industry

abstract: The use of models, even if efficient, must be accompanied by an understanding at all levels of the process that transforms data (upstream and downstream). Thus, needs increase to define the relationships between individual data and the choice that an algorithm could make based on its analysis (e.g. the recommendation of one product or one promotional offer, or an insurance rate representative of the risk). Model users must ensure that models do not discriminate and that it is also possible to explain their results. This paper introduces the importance of model interpretation and tackles the notion of model transparency. Within an insurance context, it specifically illustrates how some tools can be used to enforce the control of actuarial models that can nowadays leverage on machine learning. On a simple example of loss frequency estimation in car insurance, we show the interest of some interpretability methods to adapt explanation to the target audience.


title: Gauge Invariant Derivation of Zeroth and First Laws of Black Hole Thermodynamics

abstract: In gauge invariant theories, like Einstein-Maxwell theory, physical observables should be gauge invariant. In particular, mass, entropy, angular momentum, electric charge and their respective chemical potentials, temperature, horizon angular velocity and electric potential which appear in the laws of black hole thermodynamics should be gauge invariant. In the usual construction of the laws of black hole thermodynamics, gauge invariance of the intensive quantities is subtle; here we remedy this and provide a gauge invariant derivation and the proof of the zeroth and first laws of black hole thermodynamics.


title: Federated Quantum Natural Gradient Descent for Quantum Federated Learning

abstract: The heart of Quantum Federated Learning (QFL) is associated with a distributed learning architecture across several local quantum devices and a more efficient training algorithm for the QFL is expected to minimize the communication overhead among different quantum participants. In this work, we put forth an efficient learning algorithm, namely federated quantum natural gradient descent (FQNGD), applied in a QFL framework which consists of the variational quantum circuit (VQC)-based quantum neural networks (QNN). The FQNGD algorithm admits much fewer training iterations for the QFL model to get converged and it can significantly reduce the total communication cost among local quantum devices. Compared with other federated learning algorithms, our experiments on a handwritten digit classification dataset corroborate the effectiveness of the FQNGD algorithm for the QFL in terms of a faster convergence rate on the training dataset and higher accuracy on the test one.


title: Online Load Balancing on Uniform Machines with Limited Migration

abstract: In the problem of online load balancing on uniformly related machines with bounded migration, jobs arrive online one after another and have to be immediately placed on one of a given set of machines without knowledge about jobs that may arrive later on. Each job has a size and each machine has a speed, and the load due to a job assigned to a machine is obtained by dividing the first value by the second. The goal is to minimize the maximum overall load any machine receives. However, unlike in the pure online case, each time a new job arrives it contributes a migration potential equal to the product of its size and a certain migration factor. This potential can be spend to reassign jobs either right away (non-amortized case) or at any later time (amortized case). Semi-online models of this flavor have been studied intensively for several fundamental problems, e.g., load balancing on identical machines and bin packing, but uniformly related machines have not been considered up to now. In the present paper, the classical doubling strategy on uniformly related machines is combined with migration to achieve an $(8/3+\varepsilon)$-competitive algorithm and a $(4+\varepsilon)$-competitive algorithm with $O(1/\varepsilon)$ amortized and non-amortized migration, respectively, while the best known competitive ratio in the pure online setting is roughly $5.828$.


title: Heavy-Meson Masses in the Framework of Trigonometric Rosen-Morse Potential Using the Generalized Fractional Derivative

abstract: Trigonometric Rosen-Morse Potential is employed as a mesonic potential interaction. The extended Nikiforov-Uvarov method is used to solve the N-radial Fractional Schrodinger equation analytically. Using the generalized fractional derivative, the energy eigenvalues are obtained in the fractional form. The current findings are used to calculate the masses of mesons such as charmonium, bottomonium, and heavy-light mesons. The current findings are superior to those of other recent studies and show good agreement with experimental data as a result, the fractional parameter is crucial in optimizing meson masses.


title: Analysis of Indistinguishable Trajectories of a Nonholonomic Vehicle Subject to Range Measurements

abstract: We propose a global constructibility analysis for a vehicle moving on a planar surface. Assuming that the vehicle follows a trajectory that can be uniquely identified by the sequence of control inputs and by some intermittent ranging measurements from known points in the environment, we can model the trajectory as a rigid body subject to rotation and translation in the plane. This way, the localisation problem can be reduced to finding the conditions for the existence of a unique roto-translation of the trajectory from a known reference frame to the world reference frame, given the collected measurements. As discussed in this paper, such conditions can be expressed in terms of the shape of the trajectory, of the layout of the ranging sensors, and of the numbers of measurements collected from each of them. The approach applies to a large class of kinematic models. Focusing on the special case of unicycle kinematics, we provide additional local constructibility results.


title: Multi-Scale Contrastive Knowledge Co-Distillation for Event Temporal Relation Extraction

abstract: Event Temporal Relation Extraction (ETRE) is a crucial yet challenging problem. Event pairs are situated within a discourse at different distances, which we refer to as proximity bands. The temporal ordering communicated about event pairs situated at more remote (i.e., ``long'') or less remote (i.e., ``short'') proximity bands is encoded differently. SOTA ETRE models have tended to perform well on events situated at either short or long proximity bands, but not both. Yet, real-world, natural texts contain all types of temporal event-pairs. In this paper, we present MulCo: Multi-Scale Contrastive Knowledge Co-Distillation, a fusion approach that shares knowledge across multiple event pair proximity bands in order to improve performance on all types of temporal datasets. Our experimental results show that MulCo successfully integrates linguistic cues pertaining to temporal reasoning across both short and long proximity bands and achieves new state-of-the-art results on several ETRE benchmark datasets.


title: Can the violent merger of white dwarfs explain the slowest declining Type Ia supernova SN 2011aa?

abstract: We present optical observations and Monte Carlo radiative transfer modeling of the Type Ia supernova SN 2011aa. With a $\Delta m_{15} (B)$ of $0.59 \pm 0.07$ mag and a peak magnitude $M_{\rm B}$ of $-19.30 \pm 0.27$ mag, SN 2011aa has the slowest decline rate among SNe Ia. The secondary maximum in the $I$-band is absent or equally bright as the primary maximum. The velocity of C II is lower than the velocity of Si II. This indicates either presence of C at lower velocities than Si or a line of sight effect. Application of Arnett's radiation diffusion model to the bolometric light curve indicates a massive ejecta $M_{\rm{ej}} ~ 1.8 - 2.6~M_{\odot}$. The slow decline rate and large ejecta mass, with a normal peak magnitude, are well explained by double degenerate, violent merger explosion model. The synthetic spectra and light curves generated with SEDONA considering a violent merger density profile match the observations.


title: Go-Explore Complex 3D Game Environments for Automated Reachability Testing

abstract: Modern AAA video games feature huge game levels and maps which are increasingly hard for level testers to cover exhaustively. As a result, games often ship with catastrophic bugs such as the player falling through the floor or being stuck in walls. We propose an approach specifically targeted at reachability bugs in simulated 3D environments based on the powerful exploration algorithm, Go-Explore, which saves unique checkpoints across the map and then identifies promising ones to explore from. We show that when coupled with simple heuristics derived from the game's navigation mesh, Go-Explore finds challenging bugs and comprehensively explores complex environments without the need for human demonstration or knowledge of the game dynamics. Go-Explore vastly outperforms more complicated baselines including reinforcement learning with intrinsic curiosity in both covering the navigation mesh and number of unique positions across the map discovered. Finally, due to our use of parallel agents, our algorithm can fully cover a vast 1.5km x 1.5km game world within 10 hours on a single machine making it extremely promising for continuous testing suites.


title: Model-theoretic dividing lines via posets

abstract: We show that for each property $\mathsf{P}\in \{\mathsf{OP}, \mathsf{IP}, \mathsf{TP}_1, \mathsf{TP}_2, \mathsf{ATP}, \mathsf{SOP}_3\}$ there is a poset $\Sigma_{\mathsf{P}}$ such that a theory has property $\mathsf{P}$ if and only if some model interprets a poset in which $\Sigma_{\mathsf{P}}$ can be embedded. We also introduce a new property $\mathsf{SUP}$, consistent with $\mathsf{NIP}_2$ and implying $\mathsf{ATP}$ and $\mathsf{SOP}$.


title: Dissipation indicates memory formation in driven disordered systems

abstract: Disordered and amorphous materials often retain memories of perturbations they have experienced since preparation. Studying such memories is a gateway to understanding this challenging class of systems, yet it often requires the ability to measure local structural changes in response to external drives. Here we show that dissipation is a generic macroscopic indicator for the memory of the largest perturbation. Through experiments in crumpled sheets under cyclic drive, we show that dissipation transiently increases when first surpassing the largest perturbation due to irreversible structural changes with unique statistics. This is used to devise novel memory readout protocols based on global observables only. The general applicability of this approach is demonstrated by revealing a similar memory effect in a three-dimensional amorphous solid.


title: On Almost-Sure Intention Deception Planning that Exploits Imperfect Observers

abstract: Intention deception involves computing a strategy which deceives the opponent into a wrong belief about the agent's intention or objective. This paper studies a class of probabilistic planning problems with intention deception and investigates how a defender's limited sensing modality can be exploited by an attacker to achieve its attack objective almost surely (with probability one) while hiding its intention. In particular, we model the attack planning in a stochastic system modeled as a Markov decision process (MDP). The attacker is to reach some target states while avoiding unsafe states in the system and knows that his behavior is monitored by a defender with partial observations. Given partial state observations for the defender, we develop qualitative intention deception planning algorithms that construct attack strategies to play against an action-visible defender and an action-invisible defender, respectively. The synthesized attack strategy not only ensures the attack objective is satisfied almost surely but also deceives the defender into believing that the observed behavior is generated by a normal/legitimate user and thus failing to detect the presence of an attack. We show the proposed algorithms are correct and complete and illustrate the deceptive planning methods with examples.


title: Harish-Chandra Induction and Jordan Decomposition of Characters

abstract: We show that for any finite connected reductive group, a Jordan decomposition can always be chosen such that it commutes with Harish-Chandra induction. En route, we show that the endomorphism algebra of the Harish-Chandra induction of a cuspidal representation of a Levi subgroup is isomorphic to a unipotent counterpart. These results generalize the well known results for groups with connected center.


title: D-dimensional three-body bound-state problem with zero range interactions

abstract: We solved analytically the three-body mass-imbalanced problem embedded in D dimensions for zero-range resonantly interacting particles. We derived the negative energy eigenstates of the three-body Schrodinger equation by imposing the Bethe-Peierls boundary conditions in D-dimensions for zero-energy two-body bound states. The solution retrieves the Efimov-like discrete scaling factor dependence with dimension. The analytical form of the mass-imbalanced three-body bound state wave function can be used to probe the effective dimension of asymmetric cold atomic traps for Feshbach resonances tuned close to the Efimov limit.


title: Visibility Representations of Toroidal and Klein-bottle Graphs

abstract: In this paper, we study visibility representations of graphs that are embedded on a torus or a Klein bottle. Mohar and Rosenstiehl showed that any toroidal graph has a visibility representation on a flat torus bounded by a parallelogram, but left open the question whether one can assume a rectangular flat torus, i.e., a flat torus bounded by a rectangle. Independently the same question was asked by Tamassia and Tollis. We answer this question in the positive. With the same technique, we can also show that any graph embedded on a Klein bottle has a visibility representation on the rectangular flat Klein bottle.


title: Hadamard states on spherically symmetric characteristic surfaces, the semi-classical Einstein equations and the Hawking effect

abstract: We investigate quasi-free Hadamard states defined via characteristic initial data on null cones centred at the axis of symmetry in spherically symmetric space-times. We characterize the necessary singular behaviour of null boundary two-point functions such that one can define non-linear observables at this null boundary and give formulas for the calculation of these observables. These results extend earlier characterizations of null boundary states defining Hadamard states in the bulk of the null cone. As an application of our derived formulas, we consider their implications for the semi-classical Einstein equations and calculate the vacuum polarization associated with Hawking radiation near a collapsing body.


title: Two-heavy impurities immersed in squeezed light-boson systems

abstract: We investigate the spectrum and structure of two-heavy bosonic impurities immersed in a light-boson system in D dimensions by means of the Born-Oppenheimer approximation. The fractional dimension dependence are associated with squeezed traps. The binding energies follows an Efimov type geometrical scaling law when the heavy-light system has a s-wave resonant interaction and the effective dimension or trap deformation is within a given range. The discrete scaling parameter $s$ relates two consecutive many-body bound states depending on mass asymmetry, number of light-bosons and effective dimension D. Furthermore, the spectrum and wave-function for finite heavy-light binding energies are computed. To exemplify our results, we consider mixtures of two-heavy caesium atoms interacting with up to two-lithium ones, which are systems of current experimental interest.


title: Neural Approaches to Co-Optimization in Robotics

abstract: Robots and intelligent systems that sense or interact with the world are increasingly being used to automate a wide array of tasks. The ability of these systems to complete these tasks depends on a large range of technologies such as the mechanical and electrical parts that make up the physical body of the robot and its sensors, perception algorithms to perceive the environment, and planning and control algorithms to produce meaningful actions. Therefore, it is often necessary to consider the interactions between these components when designing an embodied system. This thesis explores work on the task-driven co-optimization of robotics systems in an end-to-end manner, simultaneously optimizing the physical components of the system with inference or control algorithms directly for task performance. We start by considering the problem of optimizing a beacon-based localization system directly for localization accuracy. Designing such a system involves placing beacons throughout the environment and inferring location from sensor readings. In our work, we develop a deep learning approach to optimize both beacon placement and location inference directly for localization accuracy. We then turn our attention to the related problem of task-driven optimization of robots and their controllers. In our work, we start by proposing a data-efficient algorithm based on multi-task reinforcement learning. Our approach efficiently optimizes both physical design and control parameters directly for task performance by leveraging a design-conditioned controller capable of generalizing over the space of physical designs. We then follow this up with an extension to allow for the optimization over discrete morphological parameters such as the number and configuration of limbs. Finally, we conclude by exploring the fabrication and deployment of optimized soft robots.


title: Soficity, Amenability, and LEF-ness for topological full groups

abstract: In this paper, we study several finite approximation properties of topological full groups of group actions on the Cantor set such that free points are dense. Firstly, we establish that for such a distal action $\alpha$ of a countable discrete group $G$ on the Cantor set, the topological full group $[[\alpha]]$ is amenable if and only if $G$ is amenable. This result is obtained through a novel method that detects hyperfiniteness in certain sofic approximation graph sequences of finitely generated subgroups of $[[\alpha]]$. We also provide estimates for related F{\o}lner functions. Next, we obtain negative results on the amenability of topological full groups for actions with zero topological entropy by calculating the topological entropy of certain examples provided by Elek and Monod. Furthermore, we demonstrate that the topological full group $[[\alpha]]$ of a minimal topologically free residually finite action $\alpha$ on the Cantor set is locally embeddable in the class of finite groups (LEF). This generalizes a result previously obtained by Grigorchuk and Medynets in the case of minimal $\mathbb{Z}$-actions. As an application, we show that topological full groups of certain Toeplitz subshifts on free groups are LEF and therefore sofic.


title: On the Energy-Efficiency Maximization for IRS-Assisted MIMOME Wiretap Channels

abstract: Security and energy efficiency have become crucial features in the modern-era wireless communication. In this paper, we consider an energy-efficient design for intelligent reflecting surface (IRS)-assisted multiple-input multiple-output multiple-eavesdropper (MIMOME) wiretap channels (WTC). Our objective is to jointly optimize the transmit covariance matrix and the IRS phase-shifts to maximize the secrecy energy efficiency (SEE) of the considered system subject to a secrecy rate constraint at the legitimate receiver. To tackle this challenging non-convex problem in which the design variables are coupled in the objective and the constraint, we propose a penalty dual decomposition based alternating gradient projection (PDDAPG) method to obtain an efficient solution. We also show that the computational complexity of the proposed algorithm grows only linearly with the number of reflecting elements at the IRS, as well as with the number of antennas at transmitter/receivers' nodes. Our results confirm that using an IRS is helpful to improve the SEE of MIMOME WTC compared to its no-IRS counterpart only when the power consumption at IRS is small. In particular, and a large-sized IRS is not always beneficial for the SEE of a MIMOME WTC.


title: GJMS-like operators on symmetric 2-tensors and their gravitational duals

abstract: We study a family of higher-derivative conformal operators $P_{2k}^{(2)}$ acting on transverse-traceless symmetric 2-tensors on generic Einstein spaces. They are a natural generalization of the well-known construction for scalars. We first provide the alternative description in terms of a bulk Poincar\'e-Einstein metric by making use of the AdS/CFT dictionary and argue that their holographic dual generically consists of bulk massive gravitons. At one-loop quantum level, we put forward a holographic formula for the functional determinant of the higher-derivative conformal operators $P_{2k}^{(2)}$ in terms of the functional determinant for massive gravitons with standard and alternate boundary conditions. The analogous construction for vectors $P_{2k}^{(1)}$ is worked out as well and we also rewrite the holographic formula for unconstrained vector and traceless symmetric 2-tensor by decoupling the longitudinal part. Finally, we show that the holographic formula provides the necessary building blocks to address the massless and partially massless bulk gravitons. This is confirmed in four and six dimensions, verifying full agreement with results available in the literature.


title: Measurement of the top-quark mass using a leptonic invariant mass in $pp$ collisions at $\sqrt{s}=13~\textrm{TeV}$ with the ATLAS detector

abstract: A measurement of the top-quark mass ($m_t$) in the $t\bar{t}\rightarrow~\textrm{lepton}+\textrm{jets}$ channel is presented, with an experimental technique which exploits semileptonic decays of $b$-hadrons produced in the top-quark decay chain. The distribution of the invariant mass $m_{\ell\mu}$ of the lepton, $\ell$ (with $\ell=e,\mu$), from the $W$-boson decay and the muon, $\mu$, originating from the $b$-hadron decay is reconstructed, and a binned-template profile likelihood fit is performed to extract $m_t$. The measurement is based on data corresponding to an integrated luminosity of 36.1 fb$^{-1}$ of $\sqrt{s} = 13~\textrm{TeV}$ $pp$ collisions provided by the Large Hadron Collider and recorded by the ATLAS detector. The measured value of the top-quark mass is $m_{t} = 174.41\pm0.39~(\textrm{stat.})\pm0.66~(\textrm{syst.})\pm0.25~(\textrm{recoil})~\textrm{GeV}$, where the third uncertainty arises from changing the PYTHIA8 parton shower gluon-recoil scheme, used in top-quark decays, to a recently developed setup.


title: Spatial organisation plasticity reduces disease infection risk in rock-paper-scissors models

abstract: We study a three-species cyclic game system where organisms face a contagious disease whose virulence may change by a pathogen mutation. As a responsive defence strategy, organisms' mobility is restricted to reduce disease dissemination in the system. The impact of the collective self-preservation strategy on the disease infection risk is investigated by performing stochastic simulations of the spatial version of the rock-paper-scissors game. Our outcomes show that the mobility control strategy induces plasticity in the spatial patterns with groups of organisms of the same species inhabiting spatial domains whose characteristic length scales depend on the level of dispersal restrictions. The spatial organisation plasticity allows the ecosystems to adapt to minimise the individuals' disease contamination risk if an eventual pathogen alters the disease virulence. We discover that if a pathogen mutation makes the disease more transmissible or less lethal, the organisms benefit more if the mobility is not strongly restricted, thus forming large spatial domains. Conversely, the benefits of protecting against a pathogen causing a less contagious or deadlier disease are maximised if the average size of groups of individuals of the same species is significantly limited, reducing the dimensions of groups of organisms significantly. Our findings may help biologists understand the effects of dispersal control as a conservation strategy in ecosystems affected by epidemic outbreaks.

categories: q-bio.PE nlin.AO nlin.PS physics.bio-ph q-bio.QM


title: Adversarial Stain Transfer to Study the Effect of Color Variation on Cell Instance Segmentation

abstract: Stain color variation in histological images, caused by a variety of factors, is a challenge not only for the visual diagnosis of pathologists but also for cell segmentation algorithms. To eliminate the color variation, many stain normalization approaches have been proposed. However, most were designed for hematoxylin and eosin staining images and performed poorly on immunohistochemical staining images. Current cell segmentation methods systematically apply stain normalization as a preprocessing step, but the impact brought by color variation has not been quantitatively investigated yet. In this paper, we produced five groups of NeuN staining images with different colors. We applied a deep learning image-recoloring method to perform color transfer between histological image groups. Finally, we altered the color of a segmentation set and quantified the impact of color variation on cell segmentation. The results demonstrated the necessity of color normalization prior to subsequent analysis.


title: Authentication, Authorization, and Selective Disclosure for IoT data sharing using Verifiable Credentials and Zero-Knowledge Proofs

abstract: As IoT becomes omnipresent vast amounts of data are generated, which can be used for building innovative applications. However,interoperability issues and security concerns, prevent harvesting the full potentials of these data. In this paper we consider the use case of data generated by smart buildings. Buildings are becoming ever "smarter" by integrating IoT devices that improve comfort through sensing and automation. However, these devices and their data are usually siloed in specific applications or manufacturers, even though they can be valuable for various interested stakeholders who provide different types of "over the top" services, e.g., energy management. Most data sharing techniques follow an "all or nothing" approach, creating significant security and privacy threats, when even partially revealed, privacy-preserving, data subsets can fuel innovative applications. With these in mind we develop a platform that enables controlled, privacy-preserving sharing of data items. Our system innovates in two directions: Firstly, it provides a framework for allowing discovery and selective disclosure of IoT data without violating their integrity. Secondly, it provides a user-friendly, intuitive mechanisms allowing efficient, fine-grained access control over the shared data. Our solution leverages recent advances in the areas of Self-Sovereign Identities, Verifiable Credentials, and Zero-Knowledge Proofs, and it integrates them in a platform that combines the industry-standard authorization framework OAuth 2.0 and the Web of Things specifications.


title: Generalized transport inequalities and concentration bounds for Riesz-type gases

abstract: This paper explores the connection between a generalized Riesz electric energy and norms on the set of probability measures defined in terms of duality. We derive functional inequalities linking these two notions, recovering and generalizing existing Coulomb transport inequalities. We then use them to prove concentration of measure around the equilibrium and thermal equilibrium measures. Finally, we leverage these concentration inequalities to obtain Moser-Trudinger-type inequalities, which may also be interpreted as bounds on the Laplace transform of fluctuations.


title: Transformers are Sample-Efficient World Models

abstract: Deep reinforcement learning agents are notoriously sample inefficient, which considerably limits their application to real-world problems. Recently, many model-based methods have been designed to address this issue, with learning in the imagination of a world model being one of the most prominent approaches. However, while virtually unlimited interaction with a simulated environment sounds appealing, the world model has to be accurate over extended periods of time. Motivated by the success of Transformers in sequence modeling tasks, we introduce IRIS, a data-efficient agent that learns in a world model composed of a discrete autoencoder and an autoregressive Transformer. With the equivalent of only two hours of gameplay in the Atari 100k benchmark, IRIS achieves a mean human normalized score of 1.046, and outperforms humans on 10 out of 26 games, setting a new state of the art for methods without lookahead search. To foster future research on Transformers and world models for sample-efficient reinforcement learning, we release our code and models at https://github.com/eloialonso/iris.


title: Kasner cosmology in bumblebee gravity

abstract: Kasner cosmology is a vacuum and anisotropically expanding spacetime in the general relativity context. In this work, such a cosmological model is studied in another context, the bumblebee model, where the Lorentz symmetry is spontaneously broken. By using the bumblebee context it is possible to justify the anisotropic feature of the Kasner cosmology. Thus, the origin of the anisotropy in this cosmological model could be in the Lorentz symmetry breaking. Lastly, an application in the pre-inflationary cosmology is suggested.


title: Radio Detection

abstract: Detection techniques at radio wavelengths play an important role in the future of astrophysics experiments. The radio detection of cosmic rays, neutrinos, and photons has emerged as the technology of choice at the highest energies. Cosmological surveys require the detection of radiation at mm wavelengths at thresholds down to the fundamental noise limit. High energy astroparticle and neutrino detectors use large volumes of a naturally occurring suitable dielectric: the Earth's atmosphere and large volumes of cold ice as available in polar regions. The detection technology for radio detection of cosmic particles has matured in the past decade and is ready to move beyond prototyping or midscale applications. Instrumentation for radio detection has reached a maturity for science scale detectors. Radio detection provides competitive results in terms of the measurement of energy and direction and in particle identification when to compared to currently applied technologies for high-energy neutrinos when deployed in ice and for ultra-high-energy cosmic rays, neutrinos, and photons when deployed in the atmosphere. It has significant advantages in terms of cost per detection station and ease of deployment.


title: Incremental Online Learning Algorithms Comparison for Gesture and Visual Smart Sensors

abstract: Tiny machine learning (TinyML) in IoT systems exploits MCUs as edge devices for data processing. However, traditional TinyML methods can only perform inference, limited to static environments or classes. Real case scenarios usually work in dynamic environments, thus drifting the context where the original neural model is no more suitable. For this reason, pre-trained models reduce accuracy and reliability during their lifetime because the data recorded slowly becomes obsolete or new patterns appear. Continual learning strategies maintain the model up to date, with runtime fine-tuning of the parameters. This paper compares four state-of-the-art algorithms in two real applications: i) gesture recognition based on accelerometer data and ii) image classification. Our results confirm these systems' reliability and the feasibility of deploying them in tiny-memory MCUs, with a drop in the accuracy of a few percentage points with respect to the original models for unconstrained computing platforms.


title: Approximate treatment of noncommutative curvature in quartic matrix model

abstract: We study a Hermitian matrix model with the standard quartic potential amended by a $\mathrm{tr}(R\Phi^2)$ term for fixed external matrix $R$. This is motivated by a curvature term in the truncated Heisenberg algebra formulation of the Grosse-Wulkenhaar model -- a renormalizable noncommutative field theory. The extra term breaks the unitary symmetry of the action and leads, after perturbative calculation of the unitary integral, to an effective multitrace matrix model. Accompanying the analytical treatment of this multitrace approximation, we also study the model numerically by Monte Carlo simulations. The phase structure of the model is investigated, and a modified phase diagram is identified. We observe a shift of the transition line between the 1-cut and 2-cut phases of the theory that is consistent with the previous numerical simulations and also with the removal of the noncommutative phase in the Grosse-Wulkenhaar model.


title: Monodromy representations of $p$-adic differential equations in families

abstract: We derive a relative version of the local monodromy theorem for ordinary differential equations on an annulus over a mixed-characteristic nonarchimedean field, and give several applications in $p$-adic cohomology and $p$-adic Hodge theory. These include a simplified proof of the semistable reduction theorem for overconvergent $F$-isocrystals, a relative version of Berger's theorem that de Rham representations are potentially semistable, and a multivariate version of the local monodromy theorem in the style of Drinfeld's lemma on fundamental groups.


title: Strengthening Hadwiger's conjecture for $4$- and $5$-chromatic graphs

abstract: Hadwiger's famous coloring conjecture states that every $t$-chromatic graph contains a $K_t$-minor. Holroyd [Bull. London Math. Soc. 29, (1997), pp. 139--144] conjectured the following strengthening of Hadwiger's conjecture: If $G$ is a $t$-chromatic graph and $S \subseteq V(G)$ takes all colors in every $t$-coloring of $G$, then $G$ contains a $K_t$-minor rooted at $S$. We prove this conjecture in the first open case of $t=4$. Notably, our result also directly implies a stronger version of Hadwiger's conjecture for $5$-chromatic graphs as follows: Every $5$-chromatic graph contains a $K_5$-minor with a singleton branch-set. In fact, in a $5$-vertex-critical graph we may specify the singleton branch-set to be any vertex of the graph.


title: Decomposition of Matrix Product States into Shallow Quantum Circuits

abstract: The rapid pace of recent advancements in numerical computation, notably the rise of GPU and TPU hardware accelerators, have allowed tensor network (TN) algorithms to scale to even larger quantum simulation problems, and to be employed more broadly for solving machine learning tasks. The "quantum-inspired" nature of TNs permits them to be mapped to parametrized quantum circuits (PQCs), a fact which has inspired recent proposals for enhancing the performance of TN algorithms using near-term quantum devices, as well as enabling joint quantum-classical training frameworks which benefit from the distinct strengths of TN and PQC models. However, the success of any such methods depends on efficient and accurate methods for approximating TN states using realistic quantum circuits, something which remains an unresolved question. In this work, we compare a range of novel and previously-developed algorithmic protocols for decomposing matrix product states (MPS) of arbitrary bond dimensions into low-depth quantum circuits consisting of stacked linear layers of two-qubit unitaries. These protocols are formed from different combinations of a preexisting analytical decomposition scheme with constrained optimization of circuit unitaries, and all possess efficient classical runtimes. Our experimental results reveal one particular protocol, involving sequential growth and optimization of the quantum circuit, to outperform all other methods, with even greater benefits seen in the setting of limited computational resources. Given these promising results, we expect our proposed decomposition protocol to form a useful ingredient within any joint application of TNs and PQCs, in turn further unlocking the rich and complementary benefits of classical and quantum computation.


title: Reproducible Cross-border High Performance Computing for Scientific Portals

abstract: To reproduce eScience, several challenges need to be solved: scientific workflows need to be automated; the involved software versions need to be provided in an unambiguous way; input data needs to be easily accessible; High-Performance Computing (HPC) clusters are often involved and to achieve bit-to-bit reproducibility, it might be even necessary to execute the code on a particular cluster to avoid differences caused by different HPC platforms (and unless this is a scientist's local cluster, it needs to be accessed across (administrative) borders). Preferably, to allow even inexperienced users to (re-)produce results, all should be user-friendly. While some easy-to-use web-based scientific portals support already to access HPC resources, this typically only refers to computing and data resources that are local. By the example of two community-specific portals in the fields of biodiversity and climate research, we present a solution for accessing remote HPC (and cloud) compute and data resources from scientific portals across borders, involving rigorous container-based packaging of the software version and setup automation, thus enhancing reproducibility.


title: Hot Exoplanet Atmospheres Resolved with Transit Spectroscopy (HEARTS) VII. Detection of sodium on the long-transiting inflated sub-Saturn KELT-11 b

abstract: KELT-11b is an inflated sub-Saturn with a hot atmosphere and that orbits a bright evolved subgiant star, making it a prime choice for atmospheric characterization, but that transits its host star for more than seven hours. We observed this system in series of three consecutive nights with the HARPS spectrograph and report on the analysis of the transmission spectrum obtained from this dataset. Our results highlight the potential for independent observations of a long-transiting planet over consecutive nights. Our study reveals a sodium excess absorption of $0.28 \pm 0.05 \%$ and $0.50 \pm 0.06 \%$ in the Na D1 and D2 lines, respectively. This corresponds to 1.44 and 1.69 times the white-light planet radius in the line cores. Wind pattern modeling tends to prefer day-to-night side winds with no vertical winds, which is surprising considering the planet bloatedness. The modeling of the Rossiter-Mclaughlin effect yields a significantly misaligned orbit, with a projected spin-orbit angle of ${\lambda} = -77.86^{+2.36}_{-2.26}{}^\circ$. The characteristics of KELT-11 b, notably its extreme scale height and long transit, make it an ideal and unique target for next-generation telescopes. Our results as well as recent findings from HST, TESS, and CHEOPS observations could make KELT-11 b a benchmark exoplanet in atmospheric characterization.