title: Guiding Online Reinforcement Learning with Action-Free Offline Pretraining

abstract: Offline RL methods have been shown to reduce the need for environment interaction by training agents using offline collected episodes. However, these methods typically require action information to be logged during data collection, which can be difficult or even impossible in some practical cases. In this paper, we investigate the potential of using action-free offline datasets to improve online reinforcement learning, name this problem Reinforcement Learning with Action-Free Offline Pretraining (AFP-RL). We introduce Action-Free Guide (AF-Guide), a method that guides online training by extracting knowledge from action-free offline datasets. AF-Guide consists of an Action-Free Decision Transformer (AFDT) implementing a variant of Upside-Down Reinforcement Learning. It learns to plan the next states from the offline dataset, and a Guided Soft Actor-Critic (Guided SAC) that learns online with guidance from AFDT. Experimental results show that AF-Guide can improve sample efficiency and performance in online training thanks to the knowledge from the action-free offline dataset. Code is available at https://github.com/Vision-CAIR/AF-Guide.


title: Local existence of the stochastic Navier-Stokes equations in the whole space

abstract: We address the local well-posedness for the stochastic Navier-Stokes system with multiplicative cylindrical noise in the whole space. More specifically, we prove that there exists a unique local strong solution to the system in $L^p(\mathbb{R}^3)$ for $p>3$.


title: Sidon sets in algebraic geometry

abstract: We report new examples of Sidon sets in abelian groups arising from generalized jacobians of curves, and discuss some of their properties with respect to size and structure.


title: Geometrical characterization of healthy red blood cells using digital holographic microscopy and parametric shape models for biophysical studies and diagnostic applications

abstract: Modeling of the red blood cell (RBC) shape is an integral part of the experimental and computer simulation investigations of light scattering by these cells for fundamental studies as well as diagnostic applications in techniques like cytometry and quantitative phase imaging. In the present work, a comprehensive study of the geometrical characterization of healthy human RBCs using digital holographic microscopy (DHM) and six frequently employed parametric shape models is reported. It is shown that the comparison of the optical phase profiles, and the thickness profiles given by the models with the DHM results gives a better judgment of the appropriateness of the parametric shape models. It is also shown that the RBC parametric models offer a simpler solution to RI-thickness decoupling problem in QPI methods. Results of geometrical characterization of 500 healthy RBCs in terms of volume, surface area (SA), and sphericity index (SI) led to the classification of the parametric models in two categories based on the nature of variation of these quantities with the cell diameter. In light of the variability of the healthy RBC shapes, our findings suggest that the parametric models exhibiting a negative correlation between the SI and the cell diameter would provide more reliable estimates of the RBC parameters in diagnostic applications. Statistical distributions and descriptive statistics of the RBC volume, SA and SI serve as a guide for the assessment of the capability of the studied parametric models to give a reliable account of the variability of the healthy RBC shape and size.


title: Gromov-Wasserstein Transfer Operators

abstract: Gromov-Wasserstein (GW) transport is inherently invariant under isometric transformations of the data. Having this property in mind, we propose to estimate dynamical systems by transfer operators derived from GW transport plans, when merely the initial and final states are known. We focus on entropy regularized GW transport, which allows to utilize the fast Sinkhorn algorithm and a spectral clustering procedure to extract coherent structures. Moreover, the GW framework provides a natural quantitative assessment on the shape-coherence of the extracted structures. We discuss fused and unbalanced variants of GW transport for labelled and noisy data, respectively. Our models are verified by three numerical examples of dynamical systems with governing rotational forces.


title: Jet fragmentation via azimuthal angular correlations of heavy-flavours in $pp$ collisions at $\sqrt{s} = $ 7 TeV

abstract: Measurements in heavy-flavour azimuthal angular correlation provide insight into the production, propagation, and hadronization of heavy-flavour jets in ultra-relativistic hadronic and heavy-ion collisions. These measurements across different particle species help to isolate the possible modification in particle production and fragmentation due to different mass and quark contents. Jet correlation studies give direct access to the initial parton dynamics produced in these collisions. \\ This article studies the azimuthal angular correlations of heavy-flavour hadrons (charm and beauty mesons and charm baryons) in pp collisions at $\sqrt{s} =$ 7 TeV using PYTHIA8. We study the production of heavy-flavour jets with different parton-level processes, including multi-parton interactions and different color reconnection prescriptions. The heavy-flavour hadrons correlations are calculated in the different triggers and associated \pt intervals to characterize the impact of hard and soft scattering. The yields and the widths associated with the near-side (NS) and away-side (AS) correlation peaks are calculated and studied as a function of associated \pt for different trigger \pt ranges.


title: Modular source for near-infrared quantum communication

abstract: We present a source of states for Quantum Key Distribution (QKD) based on a modular design exploiting the iPOGNAC, a stable, low-error, and calibration-free polarization modulation scheme, for both intensity and polarization encoding. This source is immune to the security vulnerabilities of other state sources such as side channels and some quantum hacking attacks. Furthermore, our intensity modulation scheme allows full tunability of the intensity ratio between the decoy and signal states, and mitigates patterning effects. The source was implemented and tested at the near-infrared optical band around 800 nm, of particular interest for satellite-based QKD. Remarkably, the modularity of the source simplifies its development, testing, and qualification, especially for space missions. For these reasons, our work paves the way for the development of the second generation of QKD satellites that can guarantee excellent performances at higher security levels.


title: Update of Muonium 1S-2S transition frequency

abstract: We present an updated value of the Muonium 1S-2S transition frequency, highlighting contributions from different QED corrections as well as the large uncertainty in the Dirac contribution, stemming from the uncertainty of the electron-to-muon mass ratio. Improving the measurement of this spectral line would allow to extract a more accurate determination of fundamental constants, such as the electron-to-muon mass ratio or, combined with the Muonium hyperfine splitting, an independent value of the Rydberg constant. Furthermore we report on the current status of the Mu-MASS experiment, which aims at measuring the Muonium 1S-2S transition frequency at a 10 kHz uncertainty level.


title: Incentives to Offer Algorithmic Recourse

abstract: Due to the importance of artificial intelligence (AI) in a variety of high-stakes decisions, such as loan approval, job hiring, and criminal bail, researchers in Explainable AI (XAI) have developed algorithms to provide users with recourse for an unfavorable outcome. We analyze the incentives for a decision-maker to offer recourse to a set of applicants. Does the decision-maker have the incentive to offer recourse to all rejected applicants? We show that the decision-maker only offers recourse to all applicants in extreme cases, such as when the recourse process is impossible to manipulate. Some applicants may be worse off when the decision-maker can offer recourse.


title: SplitGNN: Splitting GNN for Node Classification with Heterogeneous Attention

abstract: With the frequent happening of privacy leakage and the enactment of privacy laws across different countries, data owners are reluctant to directly share their raw data and labels with any other party. In reality, a lot of these raw data are stored in the graph database, especially for finance. For collaboratively building graph neural networks(GNNs), federated learning(FL) may not be an ideal choice for the vertically partitioned setting where privacy and efficiency are the main concerns. Moreover, almost all the existing federated GNNs are mainly designed for homogeneous graphs, which simplify various types of relations as the same type, thus largely limits their performance. We bridge this gap by proposing a split learning-based GNN(SplitGNN), where this model is divided into two sub-models: the local GNN model includes all the private data related computation to generate local node embeddings, whereas the global model calculates global embeddings by aggregating all the participants' local embeddings. Our SplitGNN allows the isolated heterogeneous neighborhood to be collaboratively utilized. To better capture representations, we propose a novel Heterogeneous Attention(HAT) algorithm and use both node-based and path-based attention mechanisms to learn various types of nodes and edges with multi-hop relation features. We demonstrate the effectiveness of our SplitGNN on node classification tasks for two standard public datasets and the real-world dataset. Extensive experimental results validate that our proposed SplitGNN significantly outperforms the state-of-the-art(SOTA) methods.


title: Carrier separation in type II quantum dots inserted in (Zn,Mg)Te/ZnSe nanowire

abstract: Quantum dots consisting of an axial Zn0.97Mg0.03Te insertion inside a large bandgap Zn0.9Mg0.1Te nanowire cores are fabricated in a molecular beam epitaxy system by employing the vapor-liquid-solid growth mechanism. Additionally, this structure is coated with a thin ZnSe radial shell which forms type II interface with the dot semiconductor. The resulting radial electron-hole separation is evidenced by several distinct effects which occur in the presence of ZnSe shell, including: the optical emission redshift of about 250 meV, a significant decrease of the emission intensity, the increase of the excitonic lifetime by one order of magnitude and the increase of the biexciton binding energy. The type II nanowire quantum dots where electrons and holes are radially separated constitute a promising platform for potential applications in the field of quantum information technology.


title: Modelling the performance of delivery vehicles across urban micro-regions to accelerate the transition to cargo-bike logistics

abstract: Light goods vehicles (LGV) used extensively in the last mile of delivery are one of the leading polluters in cities. Cargo-bike logistics has been put forward as a high impact candidate for replacing LGVs, with experts estimating over half of urban van deliveries being replaceable by cargo bikes, due to their faster speeds, shorter parking times and more efficient routes across cities. By modelling the relative delivery performance of different vehicle types across urban micro-regions, machine learning can help operators evaluate the business and environmental impact of adding cargo-bikes to their fleets. In this paper, we introduce two datasets, and present initial progress in modelling urban delivery service time (e.g. cruising for parking, unloading, walking). Using Uber's H3 index to divide the cities into hexagonal cells, and aggregating OpenStreetMap tags for each cell, we show that urban context is a critical predictor of delivery performance.


title: Dynamic Full-Field Optical Coherence Tomography module adapted to commercial microscopes for longitudinal in vitro cell culture study

abstract: Dynamic full-field optical coherence tomography (D-FFOCT) has recently emerged as a label-free imaging tool, capable of resolving cell types and organelles within 3D live samples, whilst monitoring their activity at tens of milliseconds resolution. Here, a D-FFOCT module design is presented which can be coupled to a commercial microscope with a stage top incubator, allowing non-invasive label-free longitudinal imaging over periods of minutes to weeks on the same sample. Long term volumetric imaging on human induced pluripotent stem cell-derived retinal organoids is demonstrated, highlighting tissue and cell organisation as well as cell shape, motility and division. Imaging on retinal explants highlights single 3D cone and rod structures. An optimal workflow for data acquisition, postprocessing and saving is demonstrated, resulting in a time gain factor of 10 compared to prior state of the art. Finally, a method to increase D-FFOCT signal-to-noise ratio is demonstrated, allowing rapid organoid screening.


title: The rotational disruption of porous dust aggregates from ab-initio kinematic calculations

abstract: Context: The sizes of dust in the interstellar medium follows a distribution where most of the dust mass is in smaller grains. However, the re-distribution from larger grains towards smaller sizes especially by means of rotational disruption is poorly understood. Aims: We aim to study the dynamics of porous grain aggregates under accelerated ration. Especially, we determine the deformation of the grains and the maximal angular velocity up to the rotational disruption event by caused by centrifugal forces. Methods: We pre-calculate aggregates my means of ballistic aggregation analogous to the interstellar dust as input for subsequent numerical simulations. In detail, we perform three-dimensional N-body simulations mimicking the radiative torque spin-up process up to the point where the grain aggregates become rotationally disrupted. Results: Our simulations results are in agreement with theoretical models predicting a characteristic angular velocity $\omega_{\mathrm{disr}}$ of the order of ${ 10^8 - 10^9\ \mathrm{rad\ s^{-1}} }$, where grains become rotationally disrupted. In contrast to theoretical predictions, we show that for large porous aggregates ($< 300\ \mathrm{nm}$) $\omega_{\mathrm{disr}}$ reaches a lower asymptotic value. Hence, such grains can withstand an accelerated ration more efficiently up to a factor of 10 because the displacement of mass by centrifugal forces and the subsequent mechanical deformation supports the buildup of new connections within the aggregate. Furthermore, we report that the rapid rotation of grains deforms an ensemble with initially 50:50 prolate and oblate shapes, respectively, preferentially into oblate shapes. Finally, we present a best fit formula to predict the average rotational disruption of an ensemble of porous dust aggregates dependent on internal grain structure, total number of monomers, and applied material properties.

categories: astro-ph.GA astro-ph.EP cond-mat.mtrl-sci physics.comp-ph


title: Euclid Preparation. XXVIII. Forecasts for ten different higher-order weak lensing statistics

abstract: Recent cosmic shear studies have shown that higher-order statistics (HOS) developed by independent teams now outperform standard two-point estimators in terms of statistical precision thanks to their sensitivity to the non-Gaussian features of large-scale structure. The aim of the Higher-Order Weak Lensing Statistics (HOWLS) project is to assess, compare, and combine the constraining power of ten different HOS on a common set of $Euclid$-like mocks, derived from N-body simulations. In this first paper of the HOWLS series, we computed the nontomographic ($\Omega_{\rm m}$, $\sigma_8$) Fisher information for the one-point probability distribution function, peak counts, Minkowski functionals, Betti numbers, persistent homology Betti numbers and heatmap, and scattering transform coefficients, and we compare them to the shear and convergence two-point correlation functions in the absence of any systematic bias. We also include forecasts for three implementations of higher-order moments, but these cannot be robustly interpreted as the Gaussian likelihood assumption breaks down for these statistics. Taken individually, we find that each HOS outperforms the two-point statistics by a factor of around two in the precision of the forecasts with some variations across statistics and cosmological parameters. When combining all the HOS, this increases to a $4.5$ times improvement, highlighting the immense potential of HOS for cosmic shear cosmological analyses with $Euclid$. The data used in this analysis are publicly released with the paper.


title: Half of an image is enough for quality assessment

abstract: Deep networks have demonstrated promising results in the field of Image Quality Assessment (IQA). However, there has been limited research on understanding how deep models in IQA work. This study introduces a novel positional masked transformer for IQA and provides insights into the contribution of different regions of an image towards its overall quality. Results indicate that half of an image may play a trivial role in determining image quality, while the other half is critical. This observation is extended to several other CNN-based IQA models, revealing that half of the image regions can significantly impact the overall image quality. To further enhance our understanding, three semantic measures (saliency, frequency, and objectness) were derived and found to have high correlation with the importance of image regions in IQA.


title: Quantifying and maximizing the information flux in recurrent neural networks

abstract: Free-running Recurrent Neural Networks (RNNs), especially probabilistic models, generate an ongoing information flux that can be quantified with the mutual information $I\left[\vec{x}(t),\vec{x}(t\!+\!1)\right]$ between subsequent system states $\vec{x}$. Although, former studies have shown that $I$ depends on the statistics of the network's connection weights, it is unclear (1) how to maximize $I$ systematically and (2) how to quantify the flux in large systems where computing the mutual information becomes intractable. Here, we address these questions using Boltzmann machines as model systems. We find that in networks with moderately strong connections, the mutual information $I$ is approximately a monotonic transformation of the root-mean-square averaged Pearson correlations between neuron-pairs, a quantity that can be efficiently computed even in large systems. Furthermore, evolutionary maximization of $I\left[\vec{x}(t),\vec{x}(t\!+\!1)\right]$ reveals a general design principle for the weight matrices enabling the systematic construction of systems with a high spontaneous information flux. Finally, we simultaneously maximize information flux and the mean period length of cyclic attractors in the state space of these dynamical networks. Our results are potentially useful for the construction of RNNs that serve as short-time memories or pattern generators.


title: Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq

abstract: Verification of neural networks relies on activation functions being piecewise affine (pwa) -- enabling an encoding of the verification problem for theorem provers. In this paper, we present the first formalization of pwa activation functions for an interactive theorem prover tailored to verifying neural networks within Coq using the library Coquelicot for real analysis. As a proof-of-concept, we construct the popular pwa activation function ReLU. We integrate our formalization into a Coq model of neural networks, and devise a verified transformation from a neural network N to a pwa function representing N by composing pwa functions that we construct for each layer. This representation enables encodings for proof automation, e.g. Coq's tactic lra -- a decision procedure for linear real arithmetic. Further, our formalization paves the way for integrating Coq in frameworks of neural network verification as a fallback prover when automated proving fails.


title: F-transforms determined by overlap and grouping maps over a complete lattice

abstract: This paper is about the study of F-transforms based on overlap and grouping maps, residual and co-residual implicator over complete lattice from both constructive and axiomatic approaches. Further, the duality, basic properties, and the inverse of proposed F-transforms have been studied, and axiomatic characterizations of proposed direct F-transforms are investigated.


title: Deep learning numerical methods for high-dimensional fully nonlinear PIDEs and coupled FBSDEs with jumps

abstract: We propose a deep learning algorithm for solving high-dimensional parabolic integro-differential equations (PIDEs) and high-dimensional forward-backward stochastic differential equations with jumps (FBSDEJs), where the jump-diffusion process are derived by a Brownian motion and an independent compensated Poisson random measure. In this novel algorithm, a pair of deep neural networks for the approximations of the gradient and the integral kernel is introduced in a crucial way based on deep FBSDE method. To derive the error estimates for this deep learning algorithm, the convergence of Markovian iteration, the error bound of Euler time discretization, and the simulation error of deep learning algorithm are investigated. Two numerical examples are provided to show the efficiency of this proposed algorithm.


title: Identifying Adversarially Attackable and Robust Samples

abstract: Adversarial attacks insert small, imperceptible perturbations to input samples that cause large, undesired changes to the output of deep learning models. Despite extensive research on generating adversarial attacks and building defense systems, there has been limited research on understanding adversarial attacks from an input-data perspective. This work introduces the notion of sample attackability, where we aim to identify samples that are most susceptible to adversarial attacks (attackable samples) and conversely also identify the least susceptible samples (robust samples). We propose a deep-learning-based detector to identify the adversarially attackable and robust samples in an unseen dataset for an unseen target model. Experiments on standard image classification datasets enables us to assess the portability of the deep attackability detector across a range of architectures. We find that the deep attackability detector performs better than simple model uncertainty-based measures for identifying the attackable/robust samples. This suggests that uncertainty is an inadequate proxy for measuring sample distance to a decision boundary. In addition to better understanding adversarial attack theory, it is found that the ability to identify the adversarially attackable and robust samples has implications for improving the efficiency of sample-selection tasks.


title: Supersingular curves of genus four in characteristic two

abstract: We describe the intersection of the Torelli locus $j(\mathcal{M}_4^{ct}) = \mathcal{J}_4$ with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic two. We show that the locus of supersingular Jacobians $\mathcal{S}_4\cap\mathcal{J}_4$ in characteristic two is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over $\mathbb{F}_2$, and another involves studying the Ekedahl-Oort types and using the indecomposability of some $\mathrm{BT}_1$ group schemes.


title: A Role of Fractional Dimension in Study Physics

abstract: We study physics from a fractional dimensional perspective. It is considered that the whole space is not only integer dimensions but also a superposition of spaces between integer dimensions. Space-filling between integer dimensions makes a fractional dimensional space. This happens through a rotation of the integer dimension by the fractional derivative operator (local part) to sweep all spaces between two integer dimensions. Then, we introduce six axioms which they can help us to build a mathematical framework for study physics from fractional dimension point of view. Afterward, three scenarios such as static, linear and quadratic trajectories are demonstrated. Where moving with linear or quadratic trajectories in fractional dimensional space corresponds to an inertial framework or accelerated system in physics, respectively. Also from this opinion, it is realized that the coupling of space and time (space-time) happens through the dimension platform with an interconnection role where we call it space-dimension-time. Finally, the wave equation is derived from a fractional dimensional point of view with a linear trajectory in fractional dimensional space. And the behavior of electromagnetic wave in lossless and loss mediums, Doppler effect and gravitational red (blue)-shift are also demonstrated from fractional dimensional aspect.


title: Moments in the Chebotarev density theorem: general class functions

abstract: In this paper we find lower bounds on higher moments of the error term in the Chebotarev density theorem. Inspired by the work of Bella\''{\i}che, we consider general class functions and prove bounds which depend on norms associated to these functions. Our bounds also involve the ramification and Galois theoretical information of the underlying extension $L/K$. Under a natural condition on class functions (which appeared in earlier work), we obtain that those moments are at least Gaussian. The key tools in our approach are the application of positivity in the explicit formula followed by combinatorics on zeros of Artin $L$-functions (which generalize previous work), as well as precise bounds on Artin conductors.


title: DepGraph: Towards Any Structural Pruning

abstract: Structural pruning enables model acceleration by removing structurally-grouped parameters from neural networks. However, the parameter-grouping patterns vary widely across different models, making architecture-specific pruners, which rely on manually-designed grouping schemes, non-generalizable to new architectures. In this work, we study a highly-challenging yet barely-explored task, any structural pruning, to tackle general structural pruning of arbitrary architecture like CNNs, RNNs, GNNs and Transformers. The most prominent obstacle towards this goal lies in the structural coupling, which not only forces different layers to be pruned simultaneously, but also expects all removed parameters to be consistently unimportant, thereby avoiding structural issues and significant performance degradation after pruning. To address this problem, we propose a general and {fully automatic} method, \emph{Dependency Graph} (DepGraph), to explicitly model the dependency between layers and comprehensively group coupled parameters for pruning. In this work, we extensively evaluate our method on several architectures and tasks, including ResNe(X)t, DenseNet, MobileNet and Vision transformer for images, GAT for graph, DGCNN for 3D point cloud, alongside LSTM for language, and demonstrate that, even with a simple norm-based criterion, the proposed method consistently yields gratifying performances.


title: Simulating the Integration of Urban Air Mobility into Existing Transportation Systems: A Survey

abstract: Urban air mobility (UAM) has the potential to revolutionize transportation in metropolitan areas, providing a new mode of transportation that could alleviate congestion and improve accessibility. However, the integration of UAM into existing transportation systems is a complex task that requires a thorough understanding of its impact on traffic flow and capacity. In this paper, we conduct a survey to investigate the current state of research on UAM in metropolitan-scale traffic using simulation techniques. We identify key challenges and opportunities for the integration of UAM into urban transportation systems, including impacts on existing traffic patterns and congestion; safety analysis and risk assessment; potential economic and environmental benefits; and the development of shared infrastructure and routes for UAM and ground-based transportation. We also discuss the potential benefits of UAM, such as reduced travel times and improved accessibility for underserved areas. Our survey provides a comprehensive overview of the current state of research on UAM in metropolitan-scale traffic using simulation and highlights key areas for future research and development.


title: Quillen metrics and branched coverings

abstract: We give a formula to compare the Quillen metrics associated to a branched covering from holomorphic line bundles.


title: From young to old: the evolutionary path of Pulsar Wind Nebulae

abstract: Pulsar wind nebulae are fascinating systems, and archetypal sources for high-energy astrophysics in general. Due to their vicinity, brightness, to the fact that they shine at multi-wavelengths, and especially to their long-living emission at gamma-rays, modelling their properties is particularly important for the correct interpretation of the visible Galaxy. A complication in this respect is the variety of properties and morphologies they show at different ages. Here we discuss the differences among the evolutionary phases of pulsar wind nebulae, how they have been modeled in the past and what progresses have been recently made. We approach the discussion from a phenomenological, theoretical (especially numerical) and observational point of view, with particular attention to the most recent results and open questions about the physics of such intriguing sources.


title: Long Short-Term Memory Neural Network for Temperature Prediction in Laser Powder Bed Additive Manufacturing

abstract: In context of laser powder bed fusion (L-PBF), it is known that the properties of the final fabricated product highly depend on the temperature distribution and its gradient over the manufacturing plate. In this paper, we propose a novel means to predict the temperature gradient distributions during the printing process by making use of neural networks. This is realized by employing heat maps produced by an optimized printing protocol simulation and used for training a specifically tailored recurrent neural network in terms of a long short-term memory architecture. The aim of this is to avoid extreme and inhomogeneous temperature distribution that may occur across the plate in the course of the printing process. In order to train the neural network, we adopt a well-engineered simulation and unsupervised learning framework. To maintain a minimized average thermal gradient across the plate, a cost function is introduced as the core criteria, which is inspired and optimized by considering the well-known traveling salesman problem (TSP). As time evolves the unsupervised printing process governed by TSP produces a history of temperature heat maps that maintain minimized average thermal gradient. All in one, we propose an intelligent printing tool that provides control over the substantial printing process components for L-PBF, i.e.\ optimal nozzle trajectory deployment as well as online temperature prediction for controlling printing quality.


title: A bi-level co-design approach for multicopters

abstract: Over the last few decades, multicopters have become significantly popular because of their various applications. However, multicopters suffer from poor endurance performance as compared to other aircraft configurations with lifting surfaces. In this paper, a co-design approach for the multicopter structure and propulsive system is presented with the objective of improving the energetic efficiency of the vehicle, while respecting dynamic performance requirements. For this purpose, the approach uses a bi-level formulation to optimize concurrently the design and the control. The methodology offers the possibility to activate or not a passive fault tolerant strategy in the controller synthesis to be tolerant to single rotor failure. In contrast to conventional design approaches that sequentially design each part, the co-design approach leads to a better optimal solution due to the consideration of the interactions and couplings between design and control. With the proposed co-design approach, the results show the soundness of the proposed design methodology and a significant reduction in the consumed energy compared to a reference non-optimal design, while maintaining the same requirements in terms of dynamic performance.


title: Curvature Filtrations for Graph Generative Model Evaluation

abstract: Graph generative model evaluation necessitates understanding differences between graphs on the distributional level. This entails being able to harness salient attributes of graphs in an efficient manner. Curvature constitutes one such property that has recently proved its utility in characterising graphs. Its expressive properties, stability, and practical utility in model evaluation remain largely unexplored, however. We combine graph curvature descriptors with emerging methods from topological data analysis to obtain robust, expressive descriptors for evaluating graph generative models.


title: Logarithmic stability estimates for initial data in Ornstein-Uhlenbeck equation on $L^2$-space

abstract: In this paper, we continue the investigation on the connection between observability and inverse problems for a class of parabolic equations with unbounded first order coefficients. We prove new logarithmic stability estimates for a class of initial data in the Ornstein-Uhlenbeck equation posed on $L^2\left(\mathbb{R}^N\right)$ with respect to the Lebesgue measure. The proofs combine observability and logarithmic convexity results that include a non-analytic semigroup case. This completes the picture of the recent results obtained for the analytic Ornstein-Uhlenbeck semigroup on $L^2$-space with invariant measure.


title: Spectral form factors and dynamical localization

abstract: Quantum dynamical localization occurs when quantum interference stops the diffusion of wave packets in momentum space. The expectation is that dynamical localization will occur when the typical transport time of the momentum diffusion is greater than the Heisenberg time. The transport time is typically computed from the corresponding classical dynamics. In this paper, we present an alternative approach based purely on the study of spectral fluctuations of the quantum system. The information about the transport times is encoded in the spectral form factor, which is the Fourier transform of the two-point spectral autocorrelation function. We compute large samples of the energy spectra (of the order of $10^6$ levels) and spectral form factors of 22 stadium billiards with parameter values across the transition between the localized and extended eigenstate regimes. The transport time is obtained from the point when the spectral form factor transitions from the non-universal to the universal regime predicted by random matrix theory. We study the dependence of the transport time on the parameter value and show the level repulsion exponents, that are known to be a good measure of dynamical localization, depend linearly on the transport times obtained in this way.


title: Dirichlet-Neumann Waveform Relaxation Algorithm for Time Fractional Diffusion Equation in Heterogeneous Media

abstract: In this article, we have studied the convergence behavior of the Dirichlet-Neumann waveform relaxation algorithms for time-fractional sub-diffusion and diffusion wave equations in 1D \& 2D for regular domains, where the dimensionless diffusion coefficient takes different constant values in different subdomains. From numerical experiments, we first capture the optimal relaxation parameters. Using these optimal relaxation parameters, our analysis estimates the rate of change of the convergence behavior against the fractional order and time. We have performed our analysis in multiple subdomain cases for both in 1D \& 2D.


title: The Curie line in protoplanetary disks and the formation of Mercury-like planets

abstract: In laboratory experiments, we heated chondritic material up to 1400K in a hydrogen atmosphere. Moessbauer spectroscopy and magnetometry reveal that, at high temperatures, metallic iron forms from silicates. The transition temperature is about 1200K after 1 h of tempering, likely decreasing to about 1000K for longer tempering. This implies that in a region of high temperatures within protoplanetary disks, inward drifting solids will generally be a reservoir of metallic iron. Magnetic aggregation of iron-rich matter then occurs within the magnetic field of the disk. However, the Curie temperature of iron, 1041 K, is a rather sharp discriminator that separates the disk into a region of strong magnetic interactions of ferromagnetic particles and a region of weak paramagnetic properties. We call this position in the disk the Curie line. Magnetic aggregation will be turned on and off here. On the outer, ferromagnetic side of the Curie line, large clusters of iron-rich particles grow and might be prone to streaming instabilities. To the inside of the Curie line, these clusters dissolve, but that generates a large number density that might also be beneficial for planetesimal formation by gravitational instability. One way or the other, the Curie line may define a preferred region for the formation of iron-rich bodies.


title: Drift of ablated material after pellet injection in a tokamak

abstract: Pellet injection is used for fuelling and controlling discharges in tokamaks, and it is foreseen in ITER. During pellet injection, a movement of the ablated material towards the low-field side (or outward major radius direction) occurs because of the inhomogeneity of the magnetic field. Due to the complexity of the theoretical models, computer codes developed to simulate the cross-field drift are computationally expensive. Here, we present a one-dimensional semi-analytical model for the radial displacement of ablated material after pellet injection, taking into account both the Alfv\'en and ohmic currents which short-circuit the charge separation creating the drift. The model is suitable for rapid calculation of the radial drift displacement, and can be useful for e.g. modelling of disruption mitigation via pellet injection.


title: A PBPO+ Graph Rewriting Tutorial

abstract: We provide a tutorial introduction to the algebraic graph rewriting formalism PBPO+. We show how PBPO+ can be obtained by composing a few simple building blocks, and model the reduction rules for binary decision diagrams as an example. Along the way, we comment on how alternative design decisions lead to related formalisms in the literature, such as DPO. We close with a detailed comparison with Bauderon's double pullback approach.


title: Rational verification and checking for Nash and subgame-perfect equilibria in graph games

abstract: We study two natural problems about rational behaviors in multiplayer non-zero-sum sequential infinite duration games played on graphs: checking problems, that consist in deciding whether a strategy profile, defined by a Mealy machine, is rational; and rational verification, that consists in deciding whether all the rational answers to a given strategy satisfy some specification. We give the complexities of those problems for two major concepts of rationality: Nash equilibria and subgame-perfect equilibria, and for five major classes of payoff functions: parity, mean-payoff, quantitative reachability, energy, and discounted-sum.


title: PromptMix: Text-to-image diffusion models enhance the performance of lightweight networks

abstract: Many deep learning tasks require annotations that are too time consuming for human operators, resulting in small dataset sizes. This is especially true for dense regression problems such as crowd counting which requires the location of every person in the image to be annotated. Techniques such as data augmentation and synthetic data generation based on simulations can help in such cases. In this paper, we introduce PromptMix, a method for artificially boosting the size of existing datasets, that can be used to improve the performance of lightweight networks. First, synthetic images are generated in an end-to-end data-driven manner, where text prompts are extracted from existing datasets via an image captioning deep network, and subsequently introduced to text-to-image diffusion models. The generated images are then annotated using one or more high-performing deep networks, and mixed with the real dataset for training the lightweight network. By extensive experiments on five datasets and two tasks, we show that PromptMix can significantly increase the performance of lightweight networks by up to 26%.


title: Direct numerical simulation of a zero-pressure-gradient thermal turbulent boundary layer up to $\textrm{Pr = 6}$

abstract: The objective of the present study is to provide a numerical database of thermal boundary layers and to contribute to the understanding of the dynamics of passive scalars at different Prandtl numbers. In this regard, a direct numerical simulation (DNS) of an incompressible zero-pressure-gradient turbulent boundary layer is performed with the Reynolds number based on momentum thickness $Re_{\theta}$ up to $1080$. Four passive scalars, characterized by the Prandtl numbers $Pr = 1,2,4,6$ are simulated with constant Dirichlet boundary conditions, using the pseudo-spectral code SIMSON (Chevalier et al. 2007). To the best of our knowledge, the present direct numerical simulation provides the thermal boundary layer with the highest Prandtl number available in the literature. It corresponds to that of water at $\sim$24$^{o}C$, when the fluid temperature is considered as a passive scalar. Turbulence statistics for the flow and thermal fields are computed and compared with available numerical simulations at similar Reynolds numbers. The mean flow and temperature profiles, root-mean squared (RMS) velocity and temperature fluctuations, turbulent heat flux, turbulent Prandtl number and higher-order statistics agree well with the numerical data reported in the literature. Furthermore, the pre-multiplied two-dimensional spectra of the velocity and of the passive scalars are computed, providing a quantitative description of the energy distribution at the different lengthscales for various wall-normal locations. The energy distribution of the heat flux fields at the wall is concentrated on longer temporal structures and exhibits different footprint at the wall, with increasing Prandtl number.


title: Transition-Aware Multi-Activity Knowledge Tracing

abstract: Accurate modeling of student knowledge is essential for large-scale online learning systems that are increasingly used for student training. Knowledge tracing aims to model student knowledge state given the student's sequence of learning activities. Modern Knowledge tracing (KT) is usually formulated as a supervised sequence learning problem to predict students' future practice performance according to their past observed practice scores by summarizing student knowledge state as a set of evolving hidden variables. Because of this formulation, many current KT solutions are not fit for modeling student learning from non-assessed learning activities with no explicit feedback or score observation (e.g., watching video lectures that are not graded). Additionally, these models cannot explicitly represent the dynamics of knowledge transfer among different learning activities, particularly between the assessed (e.g., quizzes) and non-assessed (e.g., video lectures) learning activities. In this paper, we propose Transition-Aware Multi-activity Knowledge Tracing (TAMKOT), which models knowledge transfer between learning materials, in addition to student knowledge, when students transition between and within assessed and non-assessed learning materials. TAMKOT is formulated as a deep recurrent multi-activity learning model that explicitly learns knowledge transfer by activating and learning a set of knowledge transfer matrices, one for each transition type between student activities. Accordingly, our model allows for representing each material type in a different yet transferrable latent space while maintaining student knowledge in a shared space. We evaluate our model on three real-world publicly available datasets and demonstrate TAMKOT's capability in predicting student performance and modeling knowledge transfer.


title: Design and Simulation of Capacitive Pressure Sensor for Blood Pressure Sensing Application

abstract: This paper presents the mathematical modeling-based design and simulation of normal mode MEMS capacitive pressure sensor for blood pressure sensing application. The normal blood pressure of human being is 120/80 mmHg. But this range varies in case of any stress, hypertension and some other health issues. Analytical simulation is implemented using MATLAB. Basically, normal mode capacitive pressure sensors have a fixed plate and a moveable diaphragm which deflects on application of pressure with the condition that it must not touch the fixed plate. Deflection depends on material as well as thickness, shape and size of diaphragm which can be of circular, elliptical, square or rectangular shape. In this paper, circular shape is chosen due to higher sensitivity compared to other diaphragm shapes. Deflection, base capacitance, change in capacitance after applying pressure and sensitivity are reported for systolic and diastolic blood pressure monitoring application, and study involves determining the optimized design for the sensor. Diaphragm deflection shows linear variation with applied pressure, which follows Hooks law. The variation in capacitance is logarithmic function of applied pressure, which is utilized for analytical simulation.


title: [OIII] 5007A Emission Line Width as a Surrogate for stellar dispersion in Type 1 AGNs?

abstract: We present a study of the relation between the [OIII] 5007A emission line width (sigma_{[OIII]}) and stellar velocity dispersion (sigma_{*}), utilizing a sample of 740 type 1 active galactic nuclei (AGNs) with high-quality spectra at redshift z < 1.0. We find the broad correlation between the core component of [OIII] emission line width (sigma_{[OIII,core]}) and sigma_{*} with a scatter of 0.11~dex for the low redshift (z < 0.1) sample; for redshift (0.3 < z < 1.0) AGNs, the scatter is larger, being 0.16~dex. We also find that the Eddington ratio (L_{bol}/L_{Edd}) may play an important role in the discrepancies between sigma_{[OIII,core]} and sigma_{*}. As the L_{bol}/L_{Edd} increases, sigma_{[OIII,core]} tends to be larger than sigma_{*}. By classifying our local sample with different minor-to-major axis ratios, we find that sigma_{*} is larger than sigma_{[OIII,core]} for those edge-on spiral galaxies. In addition, we also find that the effects of outflow strength properties such as maximum outflow velocity (V_{max}) and the broader component of [OIII] emission line width and line shift (sigma_{[OIII,out]} and V_{[OIII,out]}) may play a major role in the discrepancies between sigma_{[OIII,core]} and sigma_{*}. The discrepancies between sigma_{[OIII,core]} and sigma_{*} are larger when V_{max}, V_{[OIII,out]}, and sigma_{[OIII,out]} increase. Our results show that the outflow strengths may have significant effects on the differences between narrow-line region gas and stellar kinematics in AGNs. We suggest that caution should be taken when using sigma_{[OIII,core]} as a surrogate for sigma_{*}. In addition, the substitute of sigma_{[OIII,core]} for sigma_{*} could be used only for low luminosity AGNs.


title: A strong X-ray polarization signal from the magnetar 1RXS J170849.0-400910

abstract: Magnetars are the most strongly magnetized neutron stars, and one of the most promising targets for X-ray polarimetric measurements. We present here the first Imaging X-ray Polarimetry Explorer (IXPE) observation of the magnetar 1RXS J170849.0-400910, jointly analysed with a new Swift observation and archival NICER data. The total (energy and phase integrated) emission in the 2-8 keV energy range is linerarly polarized, at a ~35% level. The phase-averaged polarization signal shows a marked increase with energy, ranging from ~20% at 2-3 keV up to ~80% at 6-8 keV, while the polarization angle remain constant. This indicates that radiation is mostly polarized in a single direction. The spectrum is well reproduced by a combination of either two thermal (blackbody) components or a blackbody and a power law. Both the polarization degree and angle also show a variation with the spin phase, and the former is almost anti-correlated with the source counts in the 2-8 keV and 2-4 keV bands. We discuss the possible implications and interpretations, based on a joint analysis of the spectral, polarization and pulsation properties of the source. A scenario in which the surface temperature is not homogeneous, with a hotter cap covered by a gaseous atmosphere and a warmer region in a condensed state, provides a satisfactory description of both the phase- and energy-dependent spectro-polarimetric data. The (comparatively) small size of the two emitting regions, required to explain the observed pulsations, does not allow to reach a robust conclusion about the presence of vacuum birefringence effects.


title: Active Learning for Multilingual Semantic Parser

abstract: Current multilingual semantic parsing (MSP) datasets are almost all collected by translating the utterances in the existing datasets from the resource-rich language to the target language. However, manual translation is costly. To reduce the translation effort, this paper proposes the first active learning procedure for MSP (AL-MSP). AL-MSP selects only a subset from the existing datasets to be translated. We also propose a novel selection method that prioritizes the examples diversifying the logical form structures with more lexical choices, and a novel hyperparameter tuning method that needs no extra annotation cost. Our experiments show that AL-MSP significantly reduces translation costs with ideal selection methods. Our selection method with proper hyperparameters yields better parsing performance than the other baselines on two multilingual datasets.


title: A stochastic control approach for constrained stochastic differential games with jumps and regimes

abstract: We develop an approach for two player constraint zero-sum and nonzero-sum stochastic differential games, which are modeled by Markov regime-switching jump-diffusion processes. We provide the relations between a usual stochastic optimal control setting and a Lagrangian method. In this context, we prove corresponding theorems for two different type of constraints, which lead us to find real valued and stochastic Lagrange multipliers, respectively. Then, we illustrate our results for a nonzero-sum game problem with stochastic maximum principle technique. Our application is an example of cooperation between a bank and an insurance company, which is a popular, well-known business agreement type, called Bancassurance.


title: Helicity amplitude analysis of $\chi_{cJ} \rightarrow \phi\phi$

abstract: Using (447.9 $\pm$ 2.3) million $\psi$(3686) events collected with the BESIII detector, the decays of $\chi_{cJ} \rightarrow \phi\phi$ ($J$=0, 1, 2) have been studied via the decay $\psi(3686)\rightarrow\gamma\chi_{cJ}$. The branching fractions of the decays $\chi_{cJ} \rightarrow \phi\phi$ ($J$=0, 1, 2) are determined to be $(8.48\pm0.26\pm0.27)\times10^{-4}$, $(4.36\pm0.13\pm0.18)\times10^{-4}$, and $(13.36\pm0.29\pm0.49)\times10^{-4}$, respectively, which are the most precise measurements to date. From a helicity amplitude analysis of the process $\psi(3686) \rightarrow \gamma \chi_{cJ}, \chi_{cJ}\rightarrow \phi\phi, \phi\rightarrow K^{+}K^{-}$, the polarization parameters of the $\chi_{cJ} \rightarrow \phi\phi$ decays are determined for the first time.


title: On student-teacher deviations in distillation: does it pay to disobey?

abstract: Knowledge distillation (KD) has been widely used to improve the test accuracy of a "student" network, by training it to mimic the soft probabilities of a trained "teacher" network. Yet, it has been shown in recent work that, despite being trained to fit the teacher's probabilities, the student may not only significantly deviate from the teacher probabilities, but may also outdo than the teacher in performance. Our work aims to reconcile this seemingly paradoxical observation. Specifically, we characterize the precise nature of the student-teacher deviations, and argue how they can co-occur with better generalization. First, through experiments on image and language data, we identify that these probability deviations correspond to the student systematically exaggerating the confidence levels of the teacher. Next, we theoretically and empirically establish another form of exaggeration in some simple settings: KD exaggerates the implicit bias of gradient descent in converging faster along the top eigendirections of the data. Finally, we tie these two observations together: we demonstrate that the exaggerated bias of KD can simultaneously result in both (a) the exaggeration of confidence and (b) the improved generalization of the student, thus offering a resolution to the apparent paradox. Our analysis brings existing theory and practice closer by considering the role of gradient descent in KD and by demonstrating the exaggerated bias effect in both theoretical and empirical settings.


title: Strong edge-coloring of 2-degenerate graphs

abstract: A strong edge-coloring of a graph $G$ is an edge-coloring in which every color class is an induced matching, and the strong chromatic index $\chi_s'(G)$ is the minimum number of colors needed in strong edge-colorings of $G$. A graph is $2$-degenerate if every subgraph has minimum degree at most $2$. Choi, Kim, Kostochka, and Raspaud (2016) showed $\chi_s'(G) \leq 5\Delta +1$ if $G$ is a $2$-degenerate graph with maximum degree $\Delta$. In this article, we improve it to $\chi_s'(G)\le 5\Delta-\Delta^{1/2-\epsilon}+2$ when $\Delta>4^{1/(2\epsilon)}$ for any $0<\epsilon<1/2$.


title: Sample-Optimal Quantum Process Tomography with Non-Adaptive Incoherent Measurements

abstract: How many copies of a quantum process are necessary and sufficient to construct an approximate classical description of it? We extend the result of Surawy-Stepney, Kahn, Kueng, and Guta (2022) to show that $\tilde{\mathcal{O}}(d_{\text{in}}^3d_{\text{out}}^3/\varepsilon^2)$ copies are sufficient to learn any quantum channel $C^{d_{\text{in}}\times d_{\text{in}}} \rightarrow C^{d_{\text{out}}\times d_{\text{out}}}$ to within $\varepsilon$ in diamond norm. Moreover, we show that $\Omega(d_{\text{in}}^3 d_{\text{out}}^3/\varepsilon^2)$ copies are necessary for any strategy using incoherent non-adaptive measurements. This lower bound applies even for ancilla-assisted strategies.


title: Asymmetry and condition number of an elliptic-parabolic system for biological network formation

abstract: We present results of numerical simulations of the tensor-valued elliptic-parabolic PDE model for biological network formation. The numerical method is based on a non-linear finite difference scheme on a uniform Cartesian grid in a 2D domain. The focus is on the impact of different discretization methods and choices of regularization parameters on the symmetry of the numerical solution. In particular, we show that using the symmetric alternating-direction implicit (ADI) method for time discretization helps preserve the symmetry of the solution, compared to the (non symmetric) ADI method. Moreover, we study the effect of regularization by isotropic background permeability $r>0$, showing that increased condition number of the elliptic problem due to decreasing value of $r$ leads to loss of symmetry. We show that in this case, neither the use of the symmetric ADI method preserves the symmetry of the solution. Finally, we perform numerical error analysis of our method making use of Wasserstein distance.


title: Univalent Functions with Non-Negative Coefficients involving Clausen's Hypergeometric Function

abstract: In this work, we derived the necessary and sufficient conditions on parameters for $_3F_2(^{a,b,c}_{b+1,c+1};z)$ Hypergeometric Function to be in the classes $\mathcal{M}^{\ast}(\lambda,\alpha)$ and $\mathcal{N}^{\ast}(\lambda,\alpha)$ and information regarding the image of function $_3F_2(^{a,b,c}_{b+1,c+1};z)$ belonging to $\mathcal{R}^{\tau}(A,B)$ by applying the convolution operator in open unit disc $\mathbb{D} =\{z:\, |z|<1\}$.


title: Mock-Lie bialgebras and mock-Lie analogue of the classical Yang-Baxter equation

abstract: The aim of this paper is to introduce the notion of a mock-Lie bialgebra which is equivalent to a Manin triple of mock-Lie algebras. The study of a special case called coboundary mock-Lie bialgebra leads to the introduction the mock-Lie Yang-Baxter equation on a mock-Lie algebra which is an analogue of the classical Yang-Baxter equation on a Lie algebra. Note that a skew-symmetric solution of mock-Lie Yang-Baxter equation gives a mock-Lie bialgebra. Finally, the notation of $\mathcal O$-operators are studied to construct skew-symmetric solution of mock-Lie Yang-Baxter equation.


title: Can Persistent Homology provide an efficient alternative for Evaluation of Knowledge Graph Completion Methods?

abstract: In this paper we present a novel method, $\textit{Knowledge Persistence}$ ($\mathcal{KP}$), for faster evaluation of Knowledge Graph (KG) completion approaches. Current ranking-based evaluation is quadratic in the size of the KG, leading to long evaluation times and consequently a high carbon footprint. $\mathcal{KP}$ addresses this by representing the topology of the KG completion methods through the lens of topological data analysis, concretely using persistent homology. The characteristics of persistent homology allow $\mathcal{KP}$ to evaluate the quality of the KG completion looking only at a fraction of the data. Experimental results on standard datasets show that the proposed metric is highly correlated with ranking metrics (Hits@N, MR, MRR). Performance evaluation shows that $\mathcal{KP}$ is computationally efficient: In some cases, the evaluation time (validation+test) of a KG completion method has been reduced from 18 hours (using Hits@10) to 27 seconds (using $\mathcal{KP}$), and on average (across methods & data) reduces the evaluation time (validation+test) by $\approx$ $\textbf{99.96}\%$.


title: Cause-Effect Inference in Location-Scale Noise Models: Maximum Likelihood vs. Independence Testing

abstract: A fundamental problem of causal discovery is cause-effect inference, learning the correct causal direction between two random variables. Significant progress has been made through modelling the effect as a function of its cause and a noise term, which allows us to leverage assumptions about the generating function class. The recently introduced heteroscedastic location-scale noise functional models (LSNMs) combine expressive power with identifiability guarantees. LSNM model selection based on maximizing likelihood achieves state-of-the-art accuracy, when the noise distributions are correctly specified. However, through an extensive empirical evaluation, we demonstrate that the accuracy deteriorates sharply when the form of the noise distribution is misspecified by the user. Our analysis shows that the failure occurs mainly when the conditional variance in the anti-causal direction is smaller than that in the causal direction. As an alternative, we find that causal model selection through residual independence testing is much more robust to noise misspecification and misleading conditional variance.


title: Human Cognition Surpasses the Nonlocality Tsirelson Bound: Is Mind Outside of Spacetime?

abstract: Recent experimental studies on human cognition, particularly where non-separable or entangled cognitive states have been found, show that in many such cases Bell or CHSH inequalities have been violated. The implications are that greater non-local correlations than allowed in quantum mechanics (often known as the Tsirelson bound), are found in human cognition. However, it is also evident that surpassing of Tsirelson limit within relativistic physical Spacetime seems impossible. Tsirelson limit is not guaranteed by no-signaling condition, but some deeper feature like indistinguishability of identical quantum particles might be related to such an upper bound in quantum physics, within relativistic Spacetime. We propose in the current paper that a non-local theory of mind is needed in order to account for the empirical findings. This requires a foundationally different approach than the extant 'quantum-like' approach to human mind. To account for the surpassing of the Tsirelson bound we propose abandoning the constraint of no-signaling that depends upon spacetime. Thus, we ask: 'Is mind outside spacetime?' We discuss a candidate theory of quantum gravity based on nonlocality as fundamental that may accord with our proposal. We are led to suggest a new 6 - part ontological framework linking Mind, Matter, and Cosmos.


title: Some double series for $\pi$ and their $q$-analogues

abstract: By applying the partial derivative operator to several summation formulas for hypergeometric series, we prove several double series for $\pi$ in this paper. Similarly, we also establish several $q$-analogues of them.


title: Constructing edge-disjoint Steiner trees in Cartesian product networks

abstract: Cartesian product networks are always regarded as a tool for ``combining'' two given networks with established properties to obtain a new one that inherits properties from both. For a graph $F=(V,E)$ and a set $S\subseteq V(F)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a subgraph $T=(V',E')$ of $F$ that is a tree with $S\subseteq V'$. For $S\subseteq V(F)$ and $|S|\geq 2$, the {\it generalized local edge-connectivity} $\lambda(S)$ is the maximum number of edge-disjoint Steiner trees connecting $S$ in $F$. For an integer $k$ with $2\leq k\leq n$, the {\it generalized $k$-edge-connectivity} $\lambda_k(F)$ of a graph $F$ is defined as $\lambda_k(F)=\min\{\lambda(S)\,|\,S\subseteq V(F) \ and \ |S|=k\}$.In this paper, we give sharp upper and lower bounds for $\lambda_k(G\Box H)$, where $\Box$ is the Cartesian product operation, and $G,H$ are two graphs.


title: Coarse-to-fine Hybrid 3D Mapping System with Co-calibrated Omnidirectional Camera and Non-repetitive LiDAR

abstract: This paper presents a novel 3D mapping robot with an omnidirectional field-of-view (FoV) sensor suite composed of a non-repetitive LiDAR and an omnidirectional camera. Thanks to the non-repetitive scanning nature of the LiDAR, an automatic targetless co-calibration method is proposed to simultaneously calibrate the intrinsic parameters for the omnidirectional camera and the extrinsic parameters for the camera and LiDAR, which is crucial for the required step in bringing color and texture information to the point clouds in surveying and mapping tasks. Comparisons and analyses are made to target-based intrinsic calibration and mutual information (MI)-based extrinsic calibration, respectively. With this co-calibrated sensor suite, the hybrid mapping robot integrates both the odometry-based mapping mode and stationary mapping mode. Meanwhile, we proposed a new workflow to achieve coarse-to-fine mapping, including efficient and coarse mapping in a global environment with odometry-based mapping mode; planning for viewpoints in the region-of-interest (ROI) based on the coarse map (relies on the previous work); navigating to each viewpoint and performing finer and more precise stationary scanning and mapping of the ROI. The fine map is stitched with the global coarse map, which provides a more efficient and precise result than the conventional stationary approaches and the emerging odometry-based approaches, respectively.


title: ERA-Solver: Error-Robust Adams Solver for Fast Sampling of Diffusion Probabilistic Models

abstract: Though denoising diffusion probabilistic models (DDPMs) have achieved remarkable generation results, the low sampling efficiency of DDPMs still limits further applications. Since DDPMs can be formulated as diffusion ordinary differential equations (ODEs), various fast sampling methods can be derived from solving diffusion ODEs. However, we notice that previous sampling methods with fixed analytical form are not robust with the error in the noise estimated from pretrained diffusion models. In this work, we construct an error-robust Adams solver (ERA-Solver), which utilizes the implicit Adams numerical method that consists of a predictor and a corrector. Different from the traditional predictor based on explicit Adams methods, we leverage a Lagrange interpolation function as the predictor, which is further enhanced with an error-robust strategy to adaptively select the Lagrange bases with lower error in the estimated noise. Experiments on Cifar10, LSUN-Church, and LSUN-Bedroom datasets demonstrate that our proposed ERA-Solver achieves 5.14, 9.42, and 9.69 Fenchel Inception Distance (FID) for image generation, with only 10 network evaluations.


title: Clausius Implies That Nearly Anything Can Be A Thermometer

abstract: There are three types of thermometries. One is a proxy, such as the purely phenomenological resistivity. More fundamental are those based on thermodynamics, as in the Carnot cycle, and those based on statistical mechanics, such as the ideal gas law. With heat flow $Q$ and temperature $T$, a temperature scale in principle (but not in practice) can be based on the simple Carnot cycle relation $Q/T+Q'/T'=0$, with a temperature $T_{0}(p_{0},V_{0})$ specified. More generally, a thermodynamics based temperature scale may be determined by the Clausius condition $\oint dQ/T=0$ for every closed path in a given region $\Omega$ of $p$-$V$ space. Taking a discretized grid $i$ (from which such closed paths can be composed), for some parametrized model temperature function $T_{n}$ a root-mean-square minimization of $\sum_{i}(\oint_{i}dQ/T_{n})^{2}$ yields the best set of model $T_{n}$'s parameters. Thus any stable material -- even one not described by a known statistical mechanical model -- can be used as a thermometer. If, because of inaccuracy of $dQ$ measurement, the Clausius condition method gives a temperature scale of lower accuracy than the best proxy temperature scale, then that proxy temperature scale can be employed with the rms Clausius condition method to improve the accuracy of (i.e., raise the standards for) the $dQ$ measurements to the accuracy of the proxy-based temperature scale.


title: Incorporating prior information into distributed lag nonlinear models with zero-inflated monotone regression trees

abstract: In environmental health research there is often interest in the effect of an exposure on a health outcome assessed on the same day and several subsequent days or lags. Distributed lag nonlinear models (DLNM) are a well-established statistical framework for estimating an exposure-lag-response function. We propose methods to allow for prior information to be incorporated into DLNMs. First, we impose a monotonicity constraint in the exposure-response at lagged time periods which matches with knowledge on how biological mechanisms respond to increased levels of exposures. Second, we introduce variable selection into the DLNM to identify lagged periods of susceptibility with respect to the outcome of interest. The variable selection approach allows for direct application of informative priors on which lags have nonzero association with the outcome. We propose a tree-of-trees model that uses two layers of trees: one for splitting the exposure time frame and one for fitting exposure-response functions over different time periods. We introduce a zero-inflated alternative to the tree splitting prior in Bayesian additive regression trees to allow for lag selection and the addition of informative priors. We develop a computational approach for efficient posterior sampling and perform a comprehensive simulation study to compare our method to existing DLNM approaches. We apply our method to estimate time-lagged extreme temperature relationships with mortality during summer or winter in Chicago, IL.


title: Approach to the arbitrariness problem of boundary conditions in $S^1/Z_2$ brane-world models

abstract: We study the arbitrariness of boundary conditions (BCs) on $S^1/Z_2$ brane-world models with the gauge group $U(N)$. The BCs are chosen independently on the branes and the bulk in this model. There are numerous choices for BCs in general, but some of the BCs are connected through gauge transformations. We show that the equivalent relations are obtained on the UV-brane without relying on specific transformation parameters. There is no other equivalent relation on the UV-brane. On the other hand, we find that a gauge transformation with a kink connects all the BCs on the bulk and IR-brane. It means that the arbitrariness of BCs is completely solved on the bulk and the IR-brane except for the UV-brane.


title: Data-driven soiling detection in PV modules

abstract: Soiling is the accumulation of dirt in solar panels which leads to a decreasing trend in solar energy yield and may be the cause of vast revenue losses. The effect of soiling can be reduced by washing the panels, which is, however, a procedure of non-negligible cost. Moreover, soiling monitoring systems are often unreliable or very costly. We study the problem of estimating the soiling ratio in photo-voltaic (PV) modules, i.e., the ratio of the real power output to the power output that would be produced if solar panels were clean. A key advantage of our algorithms is that they estimate soiling, without needing to train on labelled data, i.e., periods of explicitly monitoring the soiling in each park, and without relying on generic analytical formulas which do not take into account the peculiarities of each installation. We consider as input a time series comprising a minimum set of measurements, that are available to most PV park operators. Our experimental evaluation shows that we significantly outperform current state-of-the-art methods for estimating soiling ratio.


title: Krylov methods for large-scale dynamical systems: Application in fluid dynamics

abstract: In fluid dynamics, predicting and characterizing bifurcations, from the onset of unsteadiness to the transition to turbulence, is of critical importance for both academic and industrial applications. Different tools from dynamical systems theory can be used for this purpose. In this review, we present a concise theoretical and numerical framework focusing on practical aspects of the computation and stability analyses of steady and time-periodic solutions, with emphasis on high-dimensional systems such as those arising from the spatial discretization of the Navier-Stokes equations. Using a matrix-free approach based on Krylov methods, we extend the capabilities of the open-source high-performance spectral element-based time-stepper Nek5000. The numerical methods discussed are implemented in nekStab, an open-source and user-friendly add-on toolbox dedicated to the study of stability properties of flows in complex three-dimensional geometries. The performance and accuracy of the methods are illustrated and examined using standard benchmarks from the fluid mechanics literature. Thanks to its flexibility and domain-agnostic nature, the methodology presented in this work can be applied to develop similar toolboxes for other solvers, most importantly outside the field of fluid mechanics.


title: First Order Methods for Geometric Optimization of Crystal Structures

abstract: The geometric optimization of crystal structures is a procedure widely used in Chemistry that changes the geometrical placement of the particles inside a structure. It is called structural relaxation and constitutes a local minimization problem with a non-convex objective function whose domain complexity increases according to the number of particles involved. In this work we study the performance of the two most popular first order optimization methods in structural relaxation. Although frequently employed, there is a lack of their study in this context from an algorithmic point of view. We run each algorithm in combination with a constant step size, which provides a benchmark for the methods' analysis and direct comparison. We also design dynamic step size rules and study how these improve the two algorithms' performance. Our results show that there is a trade-off between convergence rate and the possibility of an experiment to succeed, hence we construct a function to assign utility to each method based on our respective preference. The function is built according to a recently introduced model of preference indication concerning algorithms with deadline and their run time. Finally, building on all our insights from the experimental results, we provide algorithmic recipes that best correspond to each of the presented preferences and select one recipe as the optimal for equally weighted preferences. Alongside our results we present our open source Python software veltiCRYS, which was used to perform the geometric optimization experiments. Our implementation, can be easily edited to accommodate other energy functions and is especially targeted for testing different methods in structural relaxation.


title: Refined Regret for Adversarial MDPs with Linear Function Approximation

abstract: We consider learning in an adversarial Markov Decision Process (MDP) where the loss functions can change arbitrarily over $K$ episodes and the state space can be arbitrarily large. We assume that the Q-function of any policy is linear in some known features, that is, a linear function approximation exists. The best existing regret upper bound for this setting (Luo et al., 2021) is of order $\tilde{\mathcal O}(K^{2/3})$ (omitting all other dependencies), given access to a simulator. This paper provides two algorithms that improve the regret to $\tilde{\mathcal O}(\sqrt K)$ in the same setting. Our first algorithm makes use of a refined analysis of the Follow-the-Regularized-Leader (FTRL) algorithm with the log-barrier regularizer. This analysis allows the loss estimators to be arbitrarily negative and might be of independent interest. Our second algorithm develops a magnitude-reduced loss estimator, further removing the polynomial dependency on the number of actions in the first algorithm and leading to the optimal regret bound (up to logarithmic terms and dependency on the horizon). Moreover, we also extend the first algorithm to simulator-free linear MDPs, which achieves $\tilde{\mathcal O}(K^{8/9})$ regret and greatly improves over the best existing bound $\tilde{\mathcal O}(K^{14/15})$. This algorithm relies on a better alternative to the Matrix Geometric Resampling procedure by Neu & Olkhovskaya (2020), which could again be of independent interest.


title: Factors that affect Camera based Self-Monitoring of Vitals in the Wild

abstract: The reliability of the results of self monitoring of the vitals in the wild using medical devices or wearables or camera based smart phone solutions is subject to variabilities such as position of placement, hardware of the device and environmental factors. In this first of its kind study, we demonstrate that this variability in self monitoring of Blood Pressure (BP), Blood oxygen saturation level (SpO2) and Heart rate (HR) is statistically significant (p<0.05) on 203 healthy subjects by quantifying positional and hardware variability. We also establish the existence of this variability in camera based solutions for self-monitoring of vitals in smart phones and thus prove that the use of camera based smart phone solutions is similar to the use of medical devices or wearables for self-monitoring in the wild.


title: Generalized Standard Model with higher-order derivatives under Rotor Mechanism and its Quantization

abstract: The Standard Model is the paradigm of particle physics which gives an accurate theory for fundamental particle interactions. However, the extension of Standard Model with higher-order derivatives is not a well-studied subject. This paper is a follow-up work of the previous study of the generalized Abelian gauge field theory and Yang-Mills theory under rotor mechanism of order $n$ of higher order derivatives, and we apply it to the Standard Model of particle physics. Rotor mechanism on scalar field and Dirac field is also studied. We will study the quantization of the rotored Standard Model using path integral approach. We also inherit the previous result from the path integral quantization of generalized Abelian gauge field and apply it to our non-Abelian case. Then we carry out the generalized BRST quantization and prove the existence of the Slavnov-Taylor Identities of the rotor model. Finally, we discuss the possibility of rotor model on taming the infinities arise from the self-energy correction of the Higgs boson in high spacetime dimension, thus this provides a partial solution and new insights to the Hierarchy problem.


title: Continued Fractions for partition generating functions

abstract: We derive continued fractions for partition generating functions, utilizing both Euler's techniques and Ramanujan's techniques. Although our results are for integer partitions there is scope to extend this work to vector partitions, including for binary and n-ary partitions.


title: Efficient learning of ground & thermal states within phases of matter

abstract: We consider two related tasks: (a) estimating a parameterisation of a given Gibbs state and expectation values of Lipschitz observables on this state; and (b) learning the expectation values of local observables within a thermal or quantum phase of matter. In both cases, we wish to minimise the number of samples we use to learn these properties to a given precision. For the first task, we develop new techniques to learn parameterisations of classes of systems, including quantum Gibbs states of non-commuting Hamiltonians with exponential decay of correlations and the approximate Markov property. We show it is possible to infer the expectation values of all extensive properties of the state from a number of copies that not only scales polylogarithmically with the system size, but polynomially in the observable's locality -- an exponential improvement. This set of properties includes expected values of quasi-local observables and entropies. For the second task, we develop efficient algorithms for learning observables in a phase of matter of a quantum system. By exploiting the locality of the Hamiltonian, we show that $M$ local observables can be learned with probability $1-\delta$ to precision $\epsilon$ with using only $N=O\big(\log\big(\frac{M}{\delta}\big)e^{polylog(\epsilon^{-1})}\big)$ samples -- an exponential improvement on the precision over previous bounds. Our results apply to both families of ground states of Hamiltonians displaying local topological quantum order, and thermal phases of matter with exponential decay of correlations. In addition, our sample complexity applies to the worse case setting whereas previous results only applied on average. Furthermore, we develop tools of independent interest, such as robust shadow tomography algorithms, Gibbs approximations to ground states, and generalisations of transportation cost inequalities for Gibbs states.


title: Fighting the sign problem in a chiral random matrix model with contour deformations

abstract: We studied integration contour deformations in the chiral random matrix theory of Stephanov with the goal of alleviating the finite-density sign problem. We considered simple ans\"atze for the deformed integration contours, and optimized their parameters. We find that optimization of a single parameter manages to considerably improve on the severity of the sign problem. We show numerical evidence that the improvement achieved is exponential in the degrees of freedom of the system, i.e., the size of the random matrix. We also compare the optimization method with contour deformations coming from the holomorphic flow equations.


title: Measurement of the cosmic ray flux by an ArduSiPM-based muon telescope in the framework of the Lab2Go project

abstract: Whitin Istituto Nazionale di Fisica Nucleare (INFN) outreach activities, the Lab2Go project is of great significance. Its goal is involving high school teachers and students in several laboratory activities, aiming at increasing the weight of experimental contents in teaching and learning. In this article we present the measurement, carried out in the framework of the Lab2Go project, of the cosmic muon flux made by an ArduSiPM-based muon telescope.


title: Moment problem for algebras generated by a nuclear space

abstract: We establish a criterion for the existence of a representing Radon measure for linear functionals defined on a unital commutative real algebra $A$, which we assume to be generated by a vector space $V$ endowed with a Hilbertian seminorm $q$. Such a general criterion provides representing measures with support contained in the space of characters of $A$ whose restrictions to $V$ are $q-$continuous. This allows us in turn to prove existence results for the case when $V$ is endowed with a nuclear topology. In particular, we apply our findings to the symmetric tensor algebra of a nuclear space.


title: Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs

abstract: Aiming to produce reinforcement learning (RL) policies that are human-interpretable and can generalize better to novel scenarios, Trivedi et al. (2021) present a method (LEAPS) that first learns a program embedding space to continuously parameterize diverse programs from a pre-generated program dataset, and then searches for a task-solving program in the learned program embedding space when given a task. Despite the encouraging results, the program policies that LEAPS can produce are limited by the distribution of the program dataset. Furthermore, during searching, LEAPS evaluates each candidate program solely based on its return, failing to precisely reward correct parts of programs and penalize incorrect parts. To address these issues, we propose to learn a meta-policy that composes a series of programs sampled from the learned program embedding space. By learning to compose programs, our proposed hierarchical programmatic reinforcement learning (HPRL) framework can produce program policies that describe out-of-distributionally complex behaviors and directly assign credits to programs that induce desired behaviors. The experimental results in the Karel domain show that our proposed framework outperforms baselines. The ablation studies confirm the limitations of LEAPS and justify our design choices.


title: Unraveling Privacy Risks of Individual Fairness in Graph Neural Networks

abstract: Graph neural networks (GNNs) have gained significant attraction due to their expansive real-world applications. To build trustworthy GNNs, two aspects - fairness and privacy - have emerged as critical considerations. Previous studies have separately examined the fairness and privacy aspects of GNNs, revealing their trade-off with GNN performance. Yet, the interplay between these two aspects remains unexplored. In this paper, we pioneer the exploration of the interaction between the privacy risks of edge leakage and the individual fairness of a GNN. Our theoretical analysis unravels that edge privacy risks unfortunately escalate when the nodes' individual fairness improves. Such an issue hinders the accomplishment of privacy and fairness of GNNs at the same time. To balance fairness and privacy, we carefully introduce fairness-aware loss reweighting based on influence function and privacy-aware graph structure perturbation modules within a fine-tuning mechanism. Experimental results underscore the effectiveness of our approach in achieving GNN fairness with limited performance compromise and controlled privacy risks. This work contributes to the comprehensively developing trustworthy GNNs by simultaneously addressing both fairness and privacy aspects.


title: Dirac equation in curved spacetime: the role of local Fermi velocity

abstract: We study the motion of charge carriers in curved Dirac materials, in the presence of a local Fermi velocity. An explicit parameterization of the latter emerging quantity for a nanoscroll cylindrical geometry is also provided, together with a discussion of related physical effects and observable properties.

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


title: The $\omega$-Lie algebra defined by the commutator of an $\omega$-left-symmetric algebra is not perfect

abstract: In this paper, we study admissible $\omega$-left-symmetric algebraic structures on $\omega$-Lie algebras over the complex numbers field $\mathbb C$. Based on the classification of $\omega$-Lie algebras, we prove that any perfect $\omega$-Lie algebra can't be the $\omega$-Lie algebra defined by the commutator of an $\omega$-left-symmetric algebra.


title: The Double-Edged Sword of Diversity: How Diversity, Conflict, and Psychological Safety Impact Software Teams

abstract: Team diversity can be seen as a double-edged sword. It brings additional cognitive resources to teams at the risk of increased conflict. Few studies have investigated how different types of diversity impact software teams. This study views diversity through the lens of the categorization-elaboration model (CEM). We investigated how diversity in gender, age, role, and cultural background impacts team effectiveness and conflict, and how these associations are moderated by psychological safety. Our sample consisted of 1,118 participants from 161 teams and was analyzed with Covariance-Based Structural Equation Modeling (CB-SEM). We found a positive effect of age diversity on team effectiveness and gender diversity on relational conflict. Psychological safety contributed directly to effective teamwork and less conflict but did not moderate the diversity-effectiveness link. While our results are consistent with the CEM theory for age and gender diversity, other types of diversity did not yield similar results. We discuss several reasons for this, including curvilinear effects, moderators such as task interdependence, or the presence of a diversity mindset. With this paper, we argue that a dichotomous nature of diversity is oversimplified. Indeed, it is a complex relationship where context plays a pivotal role. A more nuanced understanding of diversity through the lens of theories, such as the CEM, may lead to more effective teamwork.


title: Invertible bases and root vectors for analytic matrix-valued functions

abstract: We revisit the concept of a minimal basis through the lens of the theory of modules over a commutative ring $R$. We first review the conditions for the existence of a basis for submodules of $R^n$ where $R$ is a B\'{e}zout domain. Then, we define the concept of invertible basis of a submodule of $R^n$ and, when $R$ is an elementary divisor domain, we link it to the Main Theorem of [G. D. Forney Jr., SIAM J. Control 13, 493--520, 1975]. Over an elementary divisor domain, the submodules admitting an invertible basis are precisely the free pure submodules of $R^n$. As an application, we let $\Omega \subseteq \mathbb{C}$ be either a connected compact set or a connected open set, and we specialize to $R=\mathcal{A}$, the ring of functions that are analytic on $\Omega$. We show that, for any matrix $A(z) \in \mathcal{A}^{m \times n}$, $\mathrm{ker} \ A(z) \cap \mathcal{A}^n$ is a free $\mathcal{A}$-module and admits an invertible basis, or equivalently a basis that is full rank upon evaluation at any $\lambda \in \Omega$. Finally, given $\lambda \in \Omega$, we use invertible bases to define and study maximal sets of root vectors at $\lambda$ for $A(z)$. This in particular allows us to define eigenvectors also for analytic matrices that do not have full column rank.


title: Low-Carbon Economic Dispatch of Bulk Power Systems Using Nash Bargaining Game

abstract: Decarbonization of power systems plays a crucial role in achieving carbon neutral goals across the globe, but there exists a sharp contradiction between the emission reduction and levelized generation cost. Therefore, it is of great importance for power system operators to take economic as well as low-carbon factors into account. This paper establishes a low-carbon economic dispatch model of bulk power systems based on Nash bargaining game, which derives a Nash bargaining solution making a reasonable trade-off between economic and low-carbon objectives. Because the Nash bargaining solution satisfies Pareto effectiveness, we analyze the computational complexity of Pareto frontiers with parametric linear programming and interpret the inefficiency of the method. Instead, we assign a group of dynamic weights in the objective function of the proposed low-carbon economic dispatch model so as to improve the computational efficiency by decoupling time periods and avoiding the complete computation of Pareto frontiers. In the end, we validate the proposed model and the algorithm by a realistic nationwide simulation in mainland China.


title: High-field 1/f noise in hBN-encapsulated graphene transistors

abstract: Low-frequency 1/f noise in electronics is a conductance fluctuation, that has been expressed in terms of a mobility "$\alpha$-noise" by Hooge and Kleinpenning. Understanding this noise in graphene is a key towards high-performance electronics. Early investigations in diffusive graphene have pointed out a deviation from the standard Hooge formula, with a modified expression where the free-carrier density is substituted by a constant density $n_\Delta\sim10^{12}\;\mathrm{cm^{-2}}$. We investigate hBN-encapsulated graphene transistors where high mobility gives rise to the non-linear velocity-saturation regime. In this regime, the $\alpha$-noise is accounted for by substituting conductance by differential conductance $G$, ressulting in a bell-shape dependence of flicker noise with bias voltage $V$. The same analysis holds at larger bias in the Zener regime, with two main differences: the first one is a strong enhancement of the Hooge parameter reflecting the hundred-times larger coupling of interband excitations to the hyperbolic phonon-polariton (HPhP) modes of the mid-infrared Reststrahlen (RS) bands of hBN. The second is an exponential suppression of this coupling at large fields, which we attribute to decoherence effects. We also show that the HPhP bands control the amplitude of flicker noise according to the graphene-hBN thermal coupling estimated with microwave noise thermometry. The phenomenology of $\alpha$-noise in graphene supports a quantum-coherent bremsstrahlung interpretation of flicker noise.


title: Programmable phase behavior in fluids with designable interactions

abstract: We introduce a method for solving the "inverse" phase equilibria problem: How should the interactions among a collection of molecular species be designed in order to achieve a target phase diagram? Using techniques from convex optimization theory, we show how to solve this problem for phase diagrams containing a large number of components and many coexisting phases with prescribed compositions. We apply our approach to commonly used mean-field models of multicomponent fluids and then use molecular simulations to verify that the designed interactions result in the target phase diagrams. Our approach enables the rational design of "programmable" fluids, such as biopolymer and colloidal mixtures, with complex phase behavior.


title: GALIP: Generative Adversarial CLIPs for Text-to-Image Synthesis

abstract: Synthesizing high-fidelity complex images from text is challenging. Based on large pretraining, the autoregressive and diffusion models can synthesize photo-realistic images. Although these large models have shown notable progress, there remain three flaws. 1) These models require tremendous training data and parameters to achieve good performance. 2) The multi-step generation design slows the image synthesis process heavily. 3) The synthesized visual features are difficult to control and require delicately designed prompts. To enable high-quality, efficient, fast, and controllable text-to-image synthesis, we propose Generative Adversarial CLIPs, namely GALIP. GALIP leverages the powerful pretrained CLIP model both in the discriminator and generator. Specifically, we propose a CLIP-based discriminator. The complex scene understanding ability of CLIP enables the discriminator to accurately assess the image quality. Furthermore, we propose a CLIP-empowered generator that induces the visual concepts from CLIP through bridge features and prompts. The CLIP-integrated generator and discriminator boost training efficiency, and as a result, our model only requires about 3% training data and 6% learnable parameters, achieving comparable results to large pretrained autoregressive and diffusion models. Moreover, our model achieves 120 times faster synthesis speed and inherits the smooth latent space from GAN. The extensive experimental results demonstrate the excellent performance of our GALIP. Code is available at https://github.com/tobran/GALIP.


title: Theoretical Aspect of Nonunitarity in Neutrino Oscillation

abstract: Nonunitarity can arise in neutrino oscillation when the matrix with elements $\mathbf{U}_{\alpha i}$ which relate the neutrino flavor $\alpha$ and mass $i$ eigenstates is not unitary when sum over the kinematically accessible mass eigenstates or over the three Standard Model flavors. We review how high scale nonunitarity arises after integrating out new physics which is not accessible in neutrino oscillation experiments. In particular, we stress that high scale unitarity violation is only apparent and what happens is that the neutrino flavor states become nonorthogonal due to new physics. Since the flavor space is complete, unitarity has to be preserved in time evolution and that the probabilities of a flavor state oscillates to all possible flavor states always sum up to unity. We highlight the need to modify the expression of probability to preserve unitarity when the flavor states are nonorthogonal. We will continue to call this high scale unitarity violation in reference to a nonunitary $\mathbf{U}$. We contrast this to the low scale nonunitarity scenario in which there are new states accessible in neutrino oscillation experiments but the oscillations involving these states are fast enough such that they are averaged out. We further derive analytical formula for the neutrino oscillation amplitude involving $N$ neutrino flavors without assuming a unitarity $\mathbf{U}$ which allows us to prove a theorem that if $\left(\mathbf{U}\mathbf{U}^{\dagger}\right)_{\alpha\beta}=0$ for all $\alpha\neq\beta$, then the neutrino oscillation probability in an arbitrary matter potential is indistinguishable from the unitarity scenario. Independently of matter potential, while nonunitarity effects for high scale nonunitarity scenario disappear as $\left(\mathbf{U}\mathbf{U}^{\dagger}\right)_{\alpha\beta}\to 0$ for all $\alpha\neq\beta$, low scale nonunitarity effects can remain.


title: A Framework for Operational Volume Generation for Urban Air Mobility Strategic Deconfliction

abstract: Strategic pre-flight functions focus on the planning and deconfliction of routes for aircraft systems. The urban air mobility concept calls for higher levels of autonomy with onboard and en route functions but also strategic and pre-flight systems. Existing endeavours into strategic pre-flight functions focus on improving the route generation and strategic deconfliction of these routes. Introduced with the urban air mobility concept is the premise of operational volumes. These 4D regions of airspace, describe the intended operational region for an aircraft for finite time. Chaining these together forms a contract of finite operational volumes over a given route. It is no longer enough to only deconflict routes within the airspace, but to now consider these 4D operational volumes. To provide an effective all-in-one approach, we propose a novel framework for generating routes and accompanying contracts of operational volumes, along with deconfliction focused around 4D operational volumes. Experimental results show efficiency of operational volume generation utilising reachability analysis and demonstrate sufficient success in deconfliction of operational volumes.


title: Hierarchical Imitation Learning with Vector Quantized Models

abstract: The ability to plan actions on multiple levels of abstraction enables intelligent agents to solve complex tasks effectively. However, learning the models for both low and high-level planning from demonstrations has proven challenging, especially with higher-dimensional inputs. To address this issue, we propose to use reinforcement learning to identify subgoals in expert trajectories by associating the magnitude of the rewards with the predictability of low-level actions given the state and the chosen subgoal. We build a vector-quantized generative model for the identified subgoals to perform subgoal-level planning. In experiments, the algorithm excels at solving complex, long-horizon decision-making problems outperforming state-of-the-art. Because of its ability to plan, our algorithm can find better trajectories than the ones in the training set


title: On Sharp Bounds for the Dynamic Asymptotic Dimension

abstract: We prove the dynamic asymptotic dimension of a free isometric action on a space of finite doubling dimension is either infinite or equal to the asymptotic dimension of the acting group; and give a full description of the dynamic asymptotic dimension of translation actions on compact Lie groups in terms of the amenability and asymptotic dimension of the acting group.


title: Some extensions of Delete Nim

abstract: Nim is a well-known combinatorial game with several variants, e.g., Delete Nim and Variant Delete Nim. In Variant Delete Nim, the player deletes one of the two heaps of stones and splits the other heap on his/her turn. In this paper, we discuss generalized Variant Delete Nim, which generalizes the number of stone heaps to three or more, All-but-one-delete Nim, Half-delete Nim, No-more-than-half-delete Nim, and Single-delete Nim. We study the win-loss conditions for each of these games.