title: A Secure Authentication Framework to Guarantee the Traceability of Avatars in Metaverse

abstract: Metaverse is a vast virtual environment parallel to the physical world in which users enjoy a variety of services acting as an avatar. To build a secure living habitat, it's vital to ensure the virtual-physical traceability that tracking a malicious player in the physical world via his avatars in virtual space. In this paper, we propose a two-factor authentication framework based on chameleon signature and biometric-based authentication. First, aiming at disguise in virtual space, we propose a chameleon collision signature algorithm to achieve the verifiability of the avatar's virtual identity. Second, facing at impersonation in physical world, we construct an avatar's identity model based on the player's biometric template and the chameleon key to realize the verifiability of the avatar's physical identity. Finally, we design two decentralized authentication protocols based on the avatar's identity model to ensure the consistency of the avatar's virtual and physical identities. Security analysis indicates that the proposed authentication framework guarantees the consistency and traceability of avatar's identity. Simulation experiments show that the framework not only completes the decentralized authentication between avatars but also achieves the virtual-physical tracking.


title: Localization Coverage Analysis of THz Communication Systems with a 3D Array

abstract: This paper considers the problem of estimating the position and orientation of a user equipped with a three-dimensional (3D) array receiving downlink far-field THz signals from multiple base stations with known positions and orientations. We derive the Cram\'er-Rao Bound for the localization problem and define the coverage of the considered system. We compare the error lower bound distributions of the conventional planar array and the 3D array configurations at different user equipment (UE) positions and orientations. Our numerical results obtained for array configurations with an equal number of elements show very limited coverage of the planar-array configuration, especially across the UE orientation range. Conversely, a 3D array configuration offers an overall higher coverage with minor performance loss in certain UE positions and orientations.


title: Best Axes Composition Extended: Multiple Gyroscopes and Accelerometers Data Fusion to Reduce Systematic Error

abstract: Multiple rigidly attached Inertial Measurement Unit (IMU) sensors provide a richer flow of data compared to a single IMU. State-of-the-art methods follow a probabilistic model of IMU measurements based on the random nature of errors combined under a Bayesian framework. However, affordable low-grade IMUs, in addition, suffer from systematic errors due to their imperfections not covered by their corresponding probabilistic model. In this paper, we propose a method, the Best Axes Composition (BAC) of combining Multiple IMU (MIMU) sensors data for accurate 3D-pose estimation that takes into account both random and systematic errors by dynamically choosing the best IMU axes from the set of all available axes. We evaluate our approach on our MIMU visual-inertial sensor and compare the performance of the method with a purely probabilistic state-of-the-art approach of MIMU data fusion. We show that BAC outperforms the latter and achieves up to 20% accuracy improvement for both orientation and position estimation in open loop, but needs proper treatment to keep the obtained gain.


title: NeuralMarker: A Framework for Learning General Marker Correspondence

abstract: We tackle the problem of estimating correspondences from a general marker, such as a movie poster, to an image that captures such a marker. Conventionally, this problem is addressed by fitting a homography model based on sparse feature matching. However, they are only able to handle plane-like markers and the sparse features do not sufficiently utilize appearance information. In this paper, we propose a novel framework NeuralMarker, training a neural network estimating dense marker correspondences under various challenging conditions, such as marker deformation, harsh lighting, etc. Besides, we also propose a novel marker correspondence evaluation method circumstancing annotations on real marker-image pairs and create a new benchmark. We show that NeuralMarker significantly outperforms previous methods and enables new interesting applications, including Augmented Reality (AR) and video editing.


title: Purification and scrambling in a chaotic Hamiltonian dynamics with measurements

abstract: Chaotic transverse-field Ising model with measurements exhibits interesting purification dynamics. Ensemble of non-unitary dynamics of a chaotic many-body system with measurements exhibits a purification phase transition. We numerically find that the law of the increase dynamics of the purity changes by projective measurements in the model. In order to study this behavior in detail, we construct the formalism of the tripartite mutual information (TMI) for non-unitary time evolution operator by using the state-channel map. The numerical result of the saturation value of the TMI indicates the existence of a measurement-induced phase transition. This implies the existence of two distinct phases, mixed phase and purified phase. Furthermore, the real-space spread of the TMI is investigated to explore spatial patterns of information spreading. Even in the purified phase, the spatial pattern of the light cone spread of quantum information is not deformed, but its density of information propagation is reduced on average by the projective measurements. We also find that this spatial pattern of the TMI distinguishes the chaotic and integrable regimes of the system.


title: Batch Layer Normalization, A new normalization layer for CNNs and RNN

abstract: This study introduces a new normalization layer termed Batch Layer Normalization (BLN) to reduce the problem of internal covariate shift in deep neural network layers. As a combined version of batch and layer normalization, BLN adaptively puts appropriate weight on mini-batch and feature normalization based on the inverse size of mini-batches to normalize the input to a layer during the learning process. It also performs the exact computation with a minor change at inference times, using either mini-batch statistics or population statistics. The decision process to either use statistics of mini-batch or population gives BLN the ability to play a comprehensive role in the hyper-parameter optimization process of models. The key advantage of BLN is the support of the theoretical analysis of being independent of the input data, and its statistical configuration heavily depends on the task performed, the amount of training data, and the size of batches. Test results indicate the application potential of BLN and its faster convergence than batch normalization and layer normalization in both Convolutional and Recurrent Neural Networks. The code of the experiments is publicly available online (https://github.com/A2Amir/Batch-Layer-Normalization).


title: Mobility Aware Optimization in the Metaverse

abstract: Metaverse applications that incorporate Mobile Augmented Reality (MAR) provide mixed and immersive experiences by amalgamating the virtual with the physical world. Notably, due to their multi-modality such applications are demanding in terms of energy consumption, computing and caching resources to efficiently support foreground interactions of participating users and rich background content. In this paper, the metaverse service is decomposed and anchored at suitable edge caching/computing nodes in 5G and beyond networks to enable efficient processing of background metaverse region models embedded with target AROs. To achieve that, a joint optimization problem is proposed, which explicitly considers the user physical mobility, service decomposition, and the balance between service delay, user perception quality and power consumption. A wide set of numerical investigations reveal that, the proposed scheme could provide optimal decision making and outperform other nominal baseline schemes which are oblivious of user mobility as well as do not consider service decomposition.


title: Transverse momentum broadening from NLL BFKL to all orders in pQCD

abstract: We study, to all orders in perturbative QCD, the universal behavior of the saturation momentum $Q_s(L)$ controlling the transverse momentum distribution of a fast parton propagating through a dense QCD medium with large size $L$. Due to the double logarithmic nature of the quantum evolution of the saturation momentum, its large $L$ asymptotics is obtained by slightly departing from the double logarithmic limit of either next-to-leading log (NLL) BFKL or leading order DGLAP evolution equations. At fixed coupling, or in conformal $\mathcal{N}=4$ SYM theory, we derive the large $L$ expansion of $Q_s(L)$ up to order $\alpha_s^{3/2}$. In QCD with massless quarks, where conformal symmetry is broken by the running of the strong coupling constant, the one-loop QCD $\beta$-function fully accounts for the universal terms in the $Q_s(L)$ expansion. Therefore, the universal coefficients of this series are known exactly to all orders in $\alpha_s$.


title: Global Optimization for Cardinality-constrained Minimum Sum-of-Squares Clustering via Semidefinite Programming

abstract: The minimum sum-of-squares clustering (MSSC), or k-means type clustering, has been recently extended to exploit prior knowledge on the cardinality of each cluster. Such knowledge is used to increase performance as well as solution quality. In this paper, we propose a global optimization approach based on the branch-and-cut technique to solve the cardinality-constrained MSSC. For the lower bound routine, we use the semidefinite programming (SDP) relaxation recently proposed by Rujeerapaiboon et al. [SIAM J. Optim. 29(2), 1211-1239, (2019)]. However, this relaxation can be used in a branch-and-cut method only for small-size instances. Therefore, we derive a new SDP relaxation that scales better with the instance size and the number of clusters. In both cases, we strengthen the bound by adding polyhedral cuts. Benefiting from a tailored branching strategy which enforces pairwise constraints, we reduce the complexity of the problems arising in the children nodes. For the upper bound, instead, we present a local search procedure that exploits the solution of the SDP relaxation solved at each node. Computational results show that the proposed algorithm globally solves, for the first time, real-world instances of size 10 times larger than those solved by state-of-the-art exact methods.


title: Improving Fake News Detection of Influential Domain via Domain- and Instance-Level Transfer

abstract: Both real and fake news in various domains, such as politics, health, and entertainment are spread via online social media every day, necessitating fake news detection for multiple domains. Among them, fake news in specific domains like politics and health has more serious potential negative impacts on the real world (e.g., the infodemic led by COVID-19 misinformation). Previous studies focus on multi-domain fake news detection, by equally mining and modeling the correlation between domains. However, these multi-domain methods suffer from a seesaw problem: the performance of some domains is often improved at the cost of hurting the performance of other domains, which could lead to an unsatisfying performance in specific domains. To address this issue, we propose a Domain- and Instance-level Transfer Framework for Fake News Detection (DITFEND), which could improve the performance of specific target domains. To transfer coarse-grained domain-level knowledge, we train a general model with data of all domains from the meta-learning perspective. To transfer fine-grained instance-level knowledge and adapt the general model to a target domain, we train a language model on the target domain to evaluate the transferability of each data instance in source domains and re-weigh each instance's contribution. Offline experiments on two datasets demonstrate the effectiveness of DITFEND. Online experiments show that DITFEND brings additional improvements over the base models in a real-world scenario.


title: Towards advanced robotic manipulation

abstract: Robotic manipulation and control has increased in importance in recent years. However, state of the art techniques still have limitations when required to operate in real world applications. This paper explores Hindsight Experience Replay both in simulated and real environments, highlighting its weaknesses and proposing reinforcement-learning based alternatives based on reward and goal shaping. Additionally, several research questions are identified along with potential research directions that could be explored to tackle those questions.


title: Gap-ETH-Tight Approximation Schemes for Red-Green-Blue Separation and Bicolored Noncrossing Euclidean Travelling Salesman Tours

abstract: In this paper, we study problems of connecting classes of points via noncrossing structures. Given a set of colored terminal points, we want to find a graph for each color that connects all terminals of its color with the restriction that no two graphs cross each other. We consider these problems both on the Euclidean plane and in planar graphs. On the algorithmic side, we give a Gap-ETH-tight EPTAS for the two-colored traveling salesman problem as well as for the red-blue-green separation problem (in which we want to separate terminals of three colors with two noncrossing polygons of minimum length), both on the Euclidean plane. This improves the work of Arora and Chang (ICALP 2003) who gave a slower PTAS for the simpler red-blue separation problem. For the case of unweighted plane graphs, we also show a PTAS for the two-colored traveling salesman problem. All these results are based on our new patching procedure that might be of independent interest. On the negative side, we show that the problem of connecting terminal pairs with noncrossing paths is NP-hard on the Euclidean plane, and that the problem of finding two noncrossing spanning trees is NP-hard in plane graphs.


title: Shape evolution in the rapidly rotating $^{140}$Gd nucleus

abstract: Ground state band of $^{140}$Gd has been investigated following their population in the $^{112}$Sn($^{35}$Cl,~$\alpha$p2n)$^{140}$Gd reaction at 195 MeV of beam energy using a large array of Compton suppressed HPGe clovers as the detection setup. Apart from other spectroscopic measurements, level lifetimes of the states have been extracted using the Doppler Shift Attenuation Method. Extracted quadrupole moment along with the pairing independent cranked Nilsson-Strutinsky model calculations for the quadrupole band reveal that the nucleus preferably attains triaxiality with $\gamma$ = -30$^\circ$. The calculation though shows a slight possibility of rotation around the longest possible principal axis at high spin $\sim$ 30$\hbar$ which is beyond the scope of the present experiment.


title: A model-agnostic approach for generating Saliency Maps to explain inferred decisions of Deep Learning Models

abstract: The widespread use of black-box AI models has raised the need for algorithms and methods that explain the decisions made by these models. In recent years, the AI research community is increasingly interested in models' explainability since black-box models take over more and more complicated and challenging tasks. Explainability becomes critical considering the dominance of deep learning techniques for a wide range of applications, including but not limited to computer vision. In the direction of understanding the inference process of deep learning models, many methods that provide human comprehensible evidence for the decisions of AI models have been developed, with the vast majority relying their operation on having access to the internal architecture and parameters of these models (e.g., the weights of neural networks). We propose a model-agnostic method for generating saliency maps that has access only to the output of the model and does not require additional information such as gradients. We use Differential Evolution (DE) to identify which image pixels are the most influential in a model's decision-making process and produce class activation maps (CAMs) whose quality is comparable to the quality of CAMs created with model-specific algorithms. DE-CAM achieves good performance without requiring access to the internal details of the model's architecture at the cost of more computational complexity.


title: Learning Symbolic Model-Agnostic Loss Functions via Meta-Learning

abstract: In this paper, we develop upon the emerging topic of loss function learning, which aims to learn loss functions that significantly improve the performance of the models trained under them. Specifically, we propose a new meta-learning framework for learning model-agnostic loss functions via a hybrid neuro-symbolic search approach. The framework first uses evolution-based methods to search the space of primitive mathematical operations to find a set of symbolic loss functions. Second, the set of learned loss functions are subsequently parameterized and optimized via an end-to-end gradient-based training procedure. The versatility of the proposed framework is empirically validated on a diverse set of supervised learning tasks. Results show that the meta-learned loss functions discovered by the newly proposed method outperform both the cross-entropy loss and state-of-the-art loss function learning methods on a diverse range of neural network architectures and datasets.


title: Adaptive Output Feedback Model Predictive Control

abstract: Model predictive control (MPC) for uncertain systems in the presence of hard constraints on state and input is a non-trivial problem, and the challenge is increased manyfold in the absence of state measurements. In this paper, we propose an adaptive output feedback MPC technique, based on a novel combination of an adaptive observer and robust MPC, for single-input single-output discrete-time linear time-invariant systems. At each time instant, the adaptive observer provides estimates of the states and the system parameters that are then leveraged in the MPC optimization routine while robustly accounting for the estimation errors. The solution to the optimization problem results in a homothetic tube where the state estimate trajectory lies. The true state evolves inside a larger outer tube obtained by augmenting a set, invariant to the state estimation error, around the homothetic tube sections. The proof for recursive feasibility for the proposed `homothetic and invariant' two-tube approach is provided, along with simulation results on an academic system.


title: The Merger Rate of Primordial Black Hole-Neutron Star Binaries in Ellipsoidal-Collapse Dark Matter Halo Models

abstract: Primordial black holes (PBHs), as a potential macroscopic candidate for dark matter, can encounter other compact objects in dark matter halos because of their random distribution. Besides, the detection of gravitational waves (GWs) related to the stellar-mass black hole-neutron star (BH-NS) mergers raises the possibility that the BHs involved in such events may have a primordial origin. In this work, we calculate the merger rate of PBH-NS binaries within the framework of ellipsoidal-collapse dark matter halo models and compare it with the corresponding results derived from spherical-collapse dark matter halo models. Our results exhibit that ellipsoidal-collapse dark matter halo models can potentially amplify the merger rate of PBH-NS binaries in such a way that it is very close to the range estimated by the LIGO-Virgo observations. While spherical-collapse dark matter halo models cannot justify PBH-NS merger events as consistent results with the latest GW data reported by the LIGO-Virgo collaboration. In addition, we calculate the merger rate of PBH-NS binaries as a function of PBH mass and fraction within the context of ellipsoidal-collapse dark matter halo models. The results indicate that PBH-NS merger events with the mass of $(M_{PBH}\le 5 M_{\odot}, M_{NS}\simeq 1.4 M_{\odot})$ will be consistent with the LIGO-Virgo observations if $f_{PBH}\simeq 1$. We also show that to have at least on $(M_{PBH}\simeq 5 M_{\odot}, M_{NS}\simeq 1.4 M_{\odot})$ event in the comoving volume $1 Gpc^{3}$ annually, ellipsoidal-collapse dark matter halo models constrain the abundance of PBHs as $f_{PBH} \geq 0.1$.


title: Combining experiments on luminescent centres in hexagonal boron nitride with the polaron model and ab initio methods towards the identification of their microscopic origin

abstract: The two-dimensional material hexagonal boron nitride (hBN) hosts luminescent centres with emission energies of 2 eV which exhibit pronounced phonon sidebands. We investigate the microscopic origin of these luminescent centres by combining ab initio calculations with non-perturbative open quantum system theory to study the emission and absorption properties of 26 defect transitions. Comparing the calculated line shapes with experiments we narrow down the microscopic origin to three carbon-based defects: $\mathrm{C_2C_B}$, $\mathrm{C_2C_N}$, and $\mathrm{V_NC_B}$. The theoretical method developed enables us to calculate so-called photoluminescence excitation (PLE) maps, which show excellent agreement with our experiments. The latter resolves higher-order phonon transitions, thereby confirming both the vibronic structure of the optical transition and the phonon-assisted excitation mechanism with a phonon energy 170 meV. We believe that the presented experiments and polaron-based method accurately describe luminescent centres in hBN and will help to identify their microscopic origin.


title: Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics

abstract: In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Calling these calculi \emph{constructive}, we show that any strong enough constructive sequent calculus, satisfying a mild technical condition, feasibly admits all Visser's rules, i.e., there is a polynomial time algorithm that reads a proof of the premise of a Visser's rule and provides a proof for its conclusion. As a positive application, we show the feasible admissibility of Visser's rules in several sequent calculi for intuitionistic modal logics, including $\mathsf{CK}$, $\mathsf{IK}$ and their extensions by the modal axioms $T$, $B$, $4$, $5$, the modal axioms of bounded width and depth and the propositional lax logic. On the negative side, we show that if a strong enough intuitionistic modal logic (satisfying a mild technical condition) does not admit at least one of Visser's rules, then it cannot have a constructive sequent calculus. Consequently, no intermediate logic other than $\mathsf{IPC}$ has a constructive sequent calculus.


title: Probing the valence quark region of nucleons with Z bosons at LHCb

abstract: In this high-$x$ region, both the flavour content and structure of the nucleon parton distribution functions remains relatively poorly known. New LHCb measurements of Z and charm jet associated production could indicate a valence-like intrinsic-charm component in the proton wave function, and measurements of Z production in pPb collisions provide new constraints on the partonic structure of nucleons bound inside nuclei. Here we will discuss these new LHCb measurements and comparisons with state-of-the-art parton distribution function calculations.


title: Triple product integrals and Rankin-Selberg L-functions

abstract: We show that a certain spectral sum of the product of two triple product integrals of automorphic forms (where the first factor involves the classical theta-function, a fixed Maass cusp form $u_1$ of weight 0 and a varying Maass cusp form of weight 1/2 , and the second factor is similar, but contains another fixed Maass cusp form $u_2$ of weight 0 in place of $u_1$) can be expressed as an integral involving the Rankin-Selberg L-function of $u_1$ and $u_2$. In the special case $u_1$ = $u_2$ our formula reduces to a spectral reciprocity identity which (in slightly different form) was proved recently by Humphries-Khan ([H-K]) and Kwan ([Kw]).


title: Quantum jet clustering with LHC simulated data

abstract: We study the case where quantum computing could improve jet clustering by considering two new quantum algorithms that might speed up classical jet clustering algorithms. The first one is a quantum subroutine to compute a Minkowski-based distance between two data points, while the second one consists of a quantum circuit to track the rough maximum into a list of unsorted data. When one or both algorithms are implemented in classical versions of well-known clustering algorithms (K-means, Affinity Propagation and $k_T$-jet) we obtain efficiencies comparable to those of their classical counterparts. Furthermore, in the first two algorithms, an exponential speed up in dimensionality and data length can be achieved when applying the distance or the maximum search algorithm. In the $k_T$ algorithm, a quantum version of the same order as FastJet is achieved.


title: Bi-spatial random attractors, a stochastic Liouville type theorem and ergodicity for stochastic Navier-Stokes equations on the whole space

abstract: This article concerns the random dynamics and asymptotic analysis of the well known mathematical model, the Navier-Stokes equations. We consider the two-dimensional stochastic Navier-Stokes equations (SNSE) driven by a \textsl{linear multiplicative white noise of It\^o type} on the whole space $\mathbb{R}^2$. Firstly, we prove that the non-autonomous 2D SNSE generates a bi-spatial $(\mathbb{L}^2(\mathbb{R}^2),\mathbb{H}^1(\mathbb{R}^2))$-continuous random cocycle. Due to the bi-spatial continuity property of the random cocycle associated with SNSE, we show that if the initial data is in $\mathbb{L}^2(\mathbb{R}^2)$, then there exists a unique bi-spatial $(\mathbb{L}^2(\mathbb{R}^2),\mathbb{H}^1(\mathbb{R}^2))$-pullback random attractor for non-autonomous SNSE which is compact and attracting not only in $\mathbb{L}^2$-norm but also in $\mathbb{H}^1$-norm. Next, as a consequence of the existence of pullback random attractors, we prove the existence of a family of invariant sample measures for non-autonomous random dynamical system generated by 2D non-autonomous SNSE. Moreover, we show that the family of invariant sample measures satisfies a stochastic Liouville type theorem. Finally, we discuss the existence of an invariant measure for the random cocycle associated with 2D autonomous SNSE. We prove the uniqueness of invariant measures for $\boldsymbol{f}=\mathbf{0}$ and for any $\nu>0$ by using the linear multiplicative structure of the noise coefficient and exponential stability of solutions. The above results for SNSE defined on $\mathbb{R}^2$ are totally new, especially the results on bi-spatial random attractors and stochastic Liouville type theorem for 2D SNSE with linear multiplicative noise are obtained in any kind of domains for the first time.


title: Pressure robust mixed methods for nearly incompressible elasticity

abstract: Within the last years pressure robust methods for the discretization of incompressible fluids have been developed. These methods allow the use of standard finite elements for the solution of the problem while simultaneously removing a spurious pressure influence in the approximation error of the velocity of the fluid, or the displacement of an incompressible solid. To this end, reconstruction operators are utilized mapping discretely divergence free functions to divergence free functions. This work shows that the modifications proposed for Stokes equation by Linke (2014) also yield gradient robust methods for nearly incompressible elastic materials without the need to resort to discontinuous finite elements methods as proposed in Fu, Lehrenfeld, Linke, Streckenbach (2021).


title: Regularity theory for non-autonomous problems with a priori assumptions

abstract: We study weak solutions and minimizers $u$ of the non-autonomous problems $\operatorname{div} A(x, Du)=0$ and $\min_v \int_\Omega F(x,Dv)\,dx$ with quasi-isotropic $(p, q)$-growth. We consider the case that $u$ is bounded, H\"older continuous or lies in a Lebesgue space and establish a sharp connection between assumptions on $A$ or $F$ and the corresponding norm of $u$. We prove a Sobolev--Poincar\'e inequality, higher integrability and the H\"older continuity of $u$ and $Du$. Our proofs are optimized and streamlined versions of earlier research that can more readily be further extended to other settings. Connections between assumptions on $A$ or $F$ and assumptions on $u$ are known for the double phase energy $F(x, \xi)=|\xi|^p + a(x)|\xi|^q$. We obtain slightly better results even in this special case. Furthermore, we also cover perturbed variable exponent, Orlicz variable exponent, degenerate double phase, Orlicz double phase, triple phase, double variable exponent as well as variable exponent double phase energies and the results are new in most of these special cases.


title: Multicontact formulation for non-conservative field theories

abstract: A new geometric framework is developed to describe non-conservative classical field theories, which is based on multisymplectic and contact geometries. Assuming certain additional conditions and using the forms that define this multicontact structure, as well as other geometric elements that are derived from them, we can introduce variational field equations in the multicontact manifolds. These equations are stated using different geometric tools; namely, sections, multivector fields and Ehresmann connections in fiber bundles. Then, this framework can be adapted to the jet bundle description of classical field theories and the field equations are stated both in the Lagrangian and the Hamiltonian formalisms, which are discussed in the regular and the singular cases.


title: Compact Polyhedra of Cubic Symmetry: Geometrical Analysis and Classification

abstract: Compact polyhedra of cubic point symmetry Oh, exhibit surfaces of planar sections (facets) characterized by normal vector families {abc} with up to 48 members each, compatible with Oh symmetry. We focus first on polyhedra confined by facets with normal vectors of one family, {100}, {110}, and {111}, separately. This yields generic polyhedra which serve for the definition of general compact polyhedra as intersections of the three generic species. Their structural properties, such as shape, size, volume, and surface facets, are found to be described by only three polyhedral structure parameters A, B, C. In addition, we examine compact polyhedra exhibiting facets defined by normal vectors of only one general {abc} family resulting in up to 48 facets. These polyhedra can be described by four polyhedral structure parameters Q, a, b, c. Geometrical properties of all polyhedra are discussed in analytical detail and substantiated by visualization of characteristic examples. Corresponding relationships can also be used to classify shapes and estimate sizes of real compact metal nanoparticles observed e.g. in electron microscopy experiments.


title: Mapping STI ecosystems via Open Data: overcoming the limitations of conflicting taxonomies. A case study for Climate Change Research in Denmark

abstract: Science, Technology and Innovation (STI) decision-makers often need to have a clear vision of what is researched and by whom to design effective policies. Such a vision is provided by effective and comprehensive mappings of the research activities carried out within their institutional boundaries. A major challenge to be faced in this context is the difficulty in accessing the relevant data and in combining information coming from different sources: indeed, traditionally, STI data has been confined within closed data sources and, when available, it is categorised with different taxonomies. Here, we present a proof-of-concept study of the use of Open Resources to map the research landscape on the Sustainable Development Goal (SDG) 13-Climate Action, for an entire country, Denmark, and we map it on the 25 ERC panels.


title: Towards Standardized Mobility Reports with User-Level Privacy

abstract: The importance of human mobility analyses is growing in both research and practice, especially as applications for urban planning and mobility rely on them. Aggregate statistics and visualizations play an essential role as building blocks of data explorations and summary reports, the latter being increasingly released to third parties such as municipal administrations or in the context of citizen participation. However, such explorations already pose a threat to privacy as they reveal potentially sensitive location information, and thus should not be shared without further privacy measures. There is a substantial gap between state-of-the-art research on privacy methods and their utilization in practice. We thus conceptualize a standardized mobility report with differential privacy guarantees and implement it as open-source software to enable a privacy-preserving exploration of key aspects of mobility data in an easily accessible way. Moreover, we evaluate the benefits of limiting user contributions using three data sets relevant to research and practice. Our results show that even a strong limit on user contribution alters the original geospatial distribution only within a comparatively small range, while significantly reducing the error introduced by adding noise to achieve privacy guarantees.


title: Safe reinforcement learning control for continuous-time nonlinear systems without a backup controller

abstract: This paper proposes an on-policy reinforcement learning (RL) control algorithm that solves the optimal regulation problem for a class of uncertain continuous-time nonlinear systems under user-defined state constraints. We formulate the safe RL problem as the minimization of the Hamiltonian subject to a constraint on the time-derivative of a barrier Lyapunov function (BLF). We subsequently use the analytical solution of the optimization problem to modify the Actor-Critic-Identifier architecture to learn the optimal control policy safely. The proposed method does not require the presence of external backup controllers, and the RL policy ensures safety for the entire duration. The efficacy of the proposed controller is demonstrated on a class of Euler-Lagrange systems.


title: Sub-second photon dose prediction via transformer neural networks

abstract: Fast dose calculation is critical for online and real time adaptive therapy workflows. While modern physics-based dose algorithms must compromise accuracy to achieve low computation times, deep learning models can potentially perform dose prediction tasks with both high fidelity and speed. We present a deep learning algorithm that, exploiting synergies between Transformer and convolutional layers, accurately predicts broad photon beam dose distributions in few milliseconds. The proposed improved Dose Transformer Algorithm (iDoTA) maps arbitrary patient geometries and beam information (in the form of a 3D projected shape resulting from a simple ray tracing calculation) to their corresponding 3D dose distribution. Treating the 3D CT input and dose output volumes as a sequence of 2D slices along the direction of the photon beam, iDoTA solves the dose prediction task as sequence modeling. The proposed model combines a Transformer backbone routing long-range information between all elements in the sequence, with a series of 3D convolutions extracting local features of the data. We train iDoTA on a dataset of 1700 beam dose distributions, using 11 clinical volumetric modulated arc therapy (VMAT) plans (from prostate, lung and head and neck cancer patients with 194-354 beams per plan) to assess its accuracy and speed. iDoTA predicts individual photon beams in ~50 milliseconds with a high gamma pass rate of 97.72% (2 mm, 2%). Furthermore, estimating full VMAT dose distributions in 6-12 seconds, iDoTA achieves state-of-the-art performance with a 99.51% (2 mm, 2%) pass rate. Offering the sub-second speed needed in online and real-time adaptive treatments, iDoTA represents a new state of the art in data-driven photon dose calculation. The proposed model can massively speed-up current photon workflows, reducing calculation times from few minutes to just a few seconds.


title: HVC-Net: Unifying Homography, Visibility, and Confidence Learning for Planar Object Tracking

abstract: Robust and accurate planar tracking over a whole video sequence is vitally important for many vision applications. The key to planar object tracking is to find object correspondences, modeled by homography, between the reference image and the tracked image. Existing methods tend to obtain wrong correspondences with changing appearance variations, camera-object relative motions and occlusions. To alleviate this problem, we present a unified convolutional neural network (CNN) model that jointly considers homography, visibility, and confidence. First, we introduce correlation blocks that explicitly account for the local appearance changes and camera-object relative motions as the base of our model. Second, we jointly learn the homography and visibility that links camera-object relative motions with occlusions. Third, we propose a confidence module that actively monitors the estimation quality from the pixel correlation distributions obtained in correlation blocks. All these modules are plugged into a Lucas-Kanade (LK) tracking pipeline to obtain both accurate and robust planar object tracking. Our approach outperforms the state-of-the-art methods on public POT and TMT datasets. Its superior performance is also verified on a real-world application, synthesizing high-quality in-video advertisements.


title: On the solution stability of parabolic optimal control problems

abstract: The paper investigates stability properties of solutions of optimal control problems for semilinear parabolic partial differential equations. H\"older or Lipschitz dependence of the optimal solution on perturbations are obtained for problems in which the equation and the objective functional are affine with respect to the control. The perturbations may appear in both the equation and in the objective functional and may non-linearly depend on the state and control variables. The main results are based on an extension of recently introduced assumptions on the joint growth of the first and second variation of the objective functional. The stability of the optimal solution is obtained as a consequence of a more general result obtained in the paper -- the proved metric subregularity of the mapping associated with the system of first-order necessary optimality conditions. This property also enables error estimates for approximation methods. Lipschitz estimate for the dependence of the optimal control on the Tikhonov regularization parameter is obtained as a by-product.


title: Convergence of the number of period sets in strings

abstract: Consider words of length $n$. The set of all periods of a word of length $n$ is a subset of $\{0,1,2,\ldots,n-1\}$. However, any subset of $\{0,1,2,\ldots,n-1\}$ is not necessarily a valid set of periods. In a seminal paper in 1981, Guibas and Odlyzko have proposed to encode the set of periods of a word into an $n$ long binary string, called an autocorrelation, where a one at position $i$ denotes the period $i$. They considered the question of recognizing a valid period set, and also studied the number of valid period sets for length $n$, denoted $\kappa_n$. They conjectured that $\ln(\kappa_n)$ asymptotically converges to a constant times $\ln^2(n)$. If improved lower bounds for $\ln(\kappa_n)/\ln^2(n)$ were proposed in 2001, the question of a tight upper bound has remained opened since Guibas and Odlyzko's paper. Here, we exhibit an upper bound for this fraction, which implies its convergence and closes this long standing conjecture. Moreover, we extend our result to find similar bounds for the number of correlations: a generalization of autocorrelations which encodes the overlaps between two strings.


title: Telecom-wavelength spectra of a Rydberg state in a hot vapor

abstract: We study telecom-wavelength spectra of a Rydberg state in an atomic vapor with a three-photon excitation scheme. Two lasers of 780 nm and 776 nm are used to pump Rubidium-85 atoms in a vapor cell to the $5D_{\mathrm{5/2}}$ state, from which a probe beam of 1292 nm in the O-band telecommunication wavelength drives a transition to the $21F_{\mathrm{7/2}}$ Rydberg state. We investigate the probe spectra over the power of pump lasers. The simulation based on a 4-level theoretical model captures the main features of the experimental results. This spectroscopic study paves the way for future experiments of making a direct link between fiber optics and radio transmission via Rydberg atoms.


title: UMIX: Improving Importance Weighting for Subpopulation Shift via Uncertainty-Aware Mixup

abstract: Subpopulation shift widely exists in many real-world machine learning applications, referring to the training and test distributions containing the same subpopulation groups but varying in subpopulation frequencies. Importance reweighting is a normal way to handle the subpopulation shift issue by imposing constant or adaptive sampling weights on each sample in the training dataset. However, some recent studies have recognized that most of these approaches fail to improve the performance over empirical risk minimization especially when applied to over-parameterized neural networks. In this work, we propose a simple yet practical framework, called uncertainty-aware mixup (UMIX), to mitigate the overfitting issue in over-parameterized models by reweighting the ''mixed'' samples according to the sample uncertainty. The training-trajectories-based uncertainty estimation is equipped in the proposed UMIX for each sample to flexibly characterize the subpopulation distribution. We also provide insightful theoretical analysis to verify that UMIX achieves better generalization bounds over prior works. Further, we conduct extensive empirical studies across a wide range of tasks to validate the effectiveness of our method both qualitatively and quantitatively. Code is available at https://github.com/TencentAILabHealthcare/UMIX.


title: The largest Lyapunov exponent as a tool for detecting relative changes in the particle positions

abstract: Dynamics of the driven Frenkel-Kontorova model with asymmetric deformable substrate potential is examined by analyzing response function, the largest Lyapunov exponent and Poincar\'{e} sections for two neighboring particles. The obtained results show that the largest Lyapunov exponent, besides being used for investigating integral quantities, can be used for detecting microchanges in chain configuration of both damped Frenkel-Kontorova model with inertial term and its strictly overdamped limit. Slight changes in relative positions of the particles are registered through jumps of the largest Lyapunov exponent in the pinning regime. The occurrence of such jumps is highly dependent on type of commensurate structure and deformation of substrate potential. The obtained results also show that the minimal force required to initiate collective motion of the chain is not dependent on the number of Lyapunov exponent jumps in the pinning regime. These jumps are also registered in the sliding regime, where they are a consequence of a more complex structure of largest Lyapunov exponent on the step.


title: HiMFR: A Hybrid Masked Face Recognition Through Face Inpainting

abstract: To recognize the masked face, one of the possible solutions could be to restore the occluded part of the face first and then apply the face recognition method. Inspired by the recent image inpainting methods, we propose an end-to-end hybrid masked face recognition system, namely HiMFR, consisting of three significant parts: masked face detector, face inpainting, and face recognition. The masked face detector module applies a pretrained Vision Transformer (ViT\_b32) to detect whether faces are covered with masked or not. The inpainting module uses a fine-tune image inpainting model based on a Generative Adversarial Network (GAN) to restore faces. Finally, the hybrid face recognition module based on ViT with an EfficientNetB3 backbone recognizes the faces. We have implemented and evaluated our proposed method on four different publicly available datasets: CelebA, SSDMNV2, MAFA, {Pubfig83} with our locally collected small dataset, namely Face5. Comprehensive experimental results show the efficacy of the proposed HiMFR method with competitive performance. Code is available at https://github.com/mdhosen/HiMFR


title: High-performance, adiabatically nanotapered fibre-chip couplers in silicon at 2 microns wavelength

abstract: Fibre optic technology connects the world through the Internet, enables remote sensing, and connects disparate functional optical devices. Highly confined silicon photonics promises extreme scale and functional integration. However, the optical modes of silicon nanowire waveguides and optical fibres are very different, making efficient fibre-chip coupling a challenge. Vertical grating couplers, the dominant coupling method today, have limited optical bandwidth and are naturally out-of-plane. Here we demonstrate a new method that is low-loss, broadband, easily manufacturable, and naturally planar. We adiabatically couple a tapering silicon nanowire waveguide to a conic nanotapered optical fibre, measuring transmission between 2.0 and 2.2 micron wavelength. The silicon chip is fabricated at a commercial foundry and then post-processed to release the tapering nanowires. We estimate an optimal per-coupler transmission of -0.48 dB (maximum; 95% confidence interval [+0.46, -1.68] dB) and a 1-dB bandwidth of 295 nm . With automated measurements, we quantify the device tolerance to lateral misalignment, measuring a flat response within +/- 0.968 micron. This design can enable low-loss modular systems of integrated photonics irrespective of material and waveband.


title: OPR-Miner: Order-preserving rule mining for time series

abstract: Discovering frequent trends in time series is a critical task in data mining. Recently, order-preserving matching was proposed to find all occurrences of a pattern in a time series, where the pattern is a relative order (regarded as a trend) and an occurrence is a sub-time series whose relative order coincides with the pattern. Inspired by the order-preserving matching, the existing order-preserving pattern (OPP) mining algorithm employs order-preserving matching to calculate the support, which leads to low efficiency. To address this deficiency, this paper proposes an algorithm called efficient frequent OPP miner (EFO-Miner) to find all frequent OPPs. EFO-Miner is composed of four parts: a pattern fusion strategy to generate candidate patterns, a matching process for the results of sub-patterns to calculate the support of super-patterns, a screening strategy to dynamically reduce the size of prefix and suffix arrays, and a pruning strategy to further dynamically prune candidate patterns. Moreover, this paper explores the order-preserving rule (OPR) mining and proposes an algorithm called OPR-Miner to discover strong rules from all frequent OPPs using EFO-Miner. Experimental results verify that OPR-Miner gives better performance than other competitive algorithms. More importantly, clustering and classification experiments further validate that OPR-Miner achieves good performance.


title: Estimating Brain Age with Global and Local Dependencies

abstract: The brain age has been proven to be a phenotype of relevance to cognitive performance and brain disease. Achieving accurate brain age prediction is an essential prerequisite for optimizing the predicted brain-age difference as a biomarker. As a comprehensive biological characteristic, the brain age is hard to be exploited accurately with models using feature engineering and local processing such as local convolution and recurrent operations that process one local neighborhood at a time. Instead, Vision Transformers learn global attentive interaction of patch tokens, introducing less inductive bias and modeling long-range dependencies. In terms of this, we proposed a novel network for learning brain age interpreting with global and local dependencies, where the corresponding representations are captured by Successive Permuted Transformer (SPT) and convolution blocks. The SPT brings computation efficiency and locates the 3D spatial information indirectly via continuously encoding 2D slices from different views. Finally, we collect a large cohort of 22645 subjects with ages ranging from 14 to 97 and our network performed the best among a series of deep learning methods, yielding a mean absolute error (MAE) of 2.855 in validation set, and 2.911 in an independent test set.


title: Relationship between incidence of breathing obstruction and degree of muzzle shortness in pedigree dogs

abstract: There has been much concern about health issues associated with the breeding of short-muzzled pedigree dogs. The Dutch government commissioned a scientific report \emph{Fokken met Kortsnuitige Honden} (Breeding of short muzzled dogs), van Hagen (2019), and based on it rather stringent legislation, restricting breeding primarily on the basis of a single simple measurement of brachycephaly, the CFR: cranial-facial ratio. Van Hagen's work is a literature study and it draws heavily on statistical results obtained in three publications: Njikam (2009), Packer et al.~(2015), and Liu et al.~(2017). In this paper I discuss some serious shortcomings of those three studies and in particular show that Packer et al.\ have drawn unwarranted conclusions from their study. In fact, new analyses using their data leads to an entirely different conclusion.


title: Affine phase retrieval for sparse signals via $\ell_1$ minimization

abstract: Affine phase retrieval is the problem of recovering signals from the magnitude-only measurements with a priori information. In this paper, we use the $\ell_1$ minimization to exploit the sparsity of signals for affine phase retrieval, showing that $O(k\log(en/k))$ Gaussian random measurements are sufficient to recover all $k$-sparse signals by solving a natural $\ell_1$ minimization program, where $n$ is the dimension of signals. For the case where measurements are corrupted by noises, the reconstruction error bounds are given for both real-valued and complex-valued signals. Our results demonstrate that the natural $\ell_1$ minimization program for affine phase retrieval is stable.


title: Automated Implementation of Windows-related Security-Configuration Guides

abstract: Hardening is the process of configuring IT systems to ensure the security of the systems' components and data they process or store. The complexity of contemporary IT infrastructures, however, renders manual security hardening and maintenance a daunting task. In many organizations, security-configuration guides expressed in the SCAP (Security Content Automation Protocol) are used as a basis for hardening, but these guides by themselves provide no means for automatically implementing the required configurations. In this paper, we propose an approach to automatically extract the relevant information from publicly available security-configuration guides for Windows operating systems using natural language processing. In a second step, the extracted information is verified using the information of available settings stored in the Windows Administrative Template files, in which the majority of Windows configuration settings is defined. We show that our implementation of this approach can extract and implement 83% of the rules without any manual effort and 96% with minimal manual effort. Furthermore, we conduct a study with 12 state-of-the-art guides consisting of 2014 rules with automatic checks and show that our tooling can implement at least 97% of them correctly. We have thus significantly reduced the effort of securing systems based on existing security-configuration guides.


title: Limit theorems for mixed-norm sequence spaces with applications to volume distribution

abstract: Let $p, q \in (0, \infty]$ and $\ell_p^m(\ell_q^n)$ be the mixed-norm sequence space of real matrices $x = (x_{i, j})_{i \leq m, j \leq n}$ endowed with the (quasi-)norm $\Vert x \Vert_{p, q} := \big\Vert \big( \Vert (x_{i, j})_{j \leq n} \Vert_q \big)_{i \leq m} \Vert_p$. We shall prove a Poincar\'e-Maxwell-Borel lemma for suitably scaled matrices chosen uniformly at random in the $\ell_p^m(\ell_q^n)$ unit balls $\mathbb{B}_{p, q}^{m, n}$, and obtain both central and non-central limit theorems for their $\ell_p(\ell_q)$-norms. We use those limit theorems to study the asymptotic volume distribution in the intersection of two mixed-norm sequence balls. Our approach is based on a new probabilistic representation of the uniform distribution on $\mathbb{B}_{p, q}^{m, n}$.


title: Accelerating Neural Network Inference with Processing-in-DRAM: From the Edge to the Cloud

abstract: Neural networks (NNs) are growing in importance and complexity. A neural network's performance (and energy efficiency) can be bound either by computation or memory resources. The processing-in-memory (PIM) paradigm, where computation is placed near or within memory arrays, is a viable solution to accelerate memory-bound NNs. However, PIM architectures vary in form, where different PIM approaches lead to different trade-offs. Our goal is to analyze, discuss, and contrast DRAM-based PIM architectures for NN performance and energy efficiency. To do so, we analyze three state-of-the-art PIM architectures: (1) UPMEM, which integrates processors and DRAM arrays into a single 2D chip; (2) Mensa, a 3D-stack-based PIM architecture tailored for edge devices; and (3) SIMDRAM, which uses the analog principles of DRAM to execute bit-serial operations. Our analysis reveals that PIM greatly benefits memory-bound NNs: (1) UPMEM provides 23x the performance of a high-end GPU when the GPU requires memory oversubscription for a general matrix-vector multiplication kernel; (2) Mensa improves energy efficiency and throughput by 3.0x and 3.1x over the Google Edge TPU for 24 Google edge NN models; and (3) SIMDRAM outperforms a CPU/GPU by 16.7x/1.4x for three binary NNs. We conclude that the ideal PIM architecture for NN models depends on a model's distinct attributes, due to the inherent architectural design choices.


title: 3D Cross-Pseudo Supervision (3D-CPS): A semi-supervised nnU-Net architecture for abdominal organ segmentation

abstract: Large curated datasets are necessary, but annotating medical images is a time-consuming, laborious, and expensive process. Therefore, recent supervised methods are focusing on utilizing a large amount of unlabeled data. However, to do so, is a challenging task. To address this problem, we propose a new 3D Cross-Pseudo Supervision (3D-CPS) method, a semi-supervised network architecture based on nnU-Net with the Cross-Pseudo Supervision method. We design a new nnU-Net based preprocessing. In addition, we set the semi-supervised loss weights to expand linearity with each epoch to prevent the model from low-quality pseudo-labels in the early training process. Our proposed method achieves an average dice similarity coefficient (DSC) of 0.881 and an average normalized surface distance (NSD) of 0.913 on the MICCAI FLARE2022 validation set (20 cases).


title: Gaussian Process regression for astronomical time-series

abstract: The last two decades have seen a major expansion in the availability, size, and precision of time-domain datasets in astronomy. Owing to their unique combination of flexibility, mathematical simplicity and comparative robustness, Gaussian Processes (GPs) have emerged recently as the solution of choice to model stochastic signals in such datasets. In this review we provide a brief introduction to the emergence of GPs in astronomy, present the underlying mathematical theory, and give practical advice considering the key modelling choices involved in GP regression. We then review applications of GPs to time-domain datasets in the astrophysical literature so far, from exoplanets to active galactic nuclei, showcasing the power and flexibility of the method. We provide worked examples using simulated data, with links to the source code, discuss the problem of computational cost and scalability, and give a snapshot of the current ecosystem of open source GP software packages. Driven by further algorithmic and conceptual advances, we expect that GPs will continue to be an important tool for robust and interpretable time domain astronomy for many years to come.


title: Global regularity of Skew mean curvature flow for small data in $d\geq 4$ dimensions

abstract: The skew mean curvature flow is an evolution equation for a $d$ dimensional manifold immersed into $\mathbb{R}^{d+2}$, and which moves along the binormal direction with a speed proportional to its mean curvature. In this article, we prove small data global regularity in low-regularity Sobolev spaces for the skew mean curvature flow in dimensions $d\geq 4$. This extends the local well-posedness result in \cite{HT}.


title: The imprint of star formation on stellar pulsations

abstract: In the earliest phases of their evolution, stars gain mass through the acquisition of matter from their birth clouds. The widely accepted classical concept of early stellar evolution neglects the details of this accretion phase and assumes the formation of stars with large initial radii that contract gravitationally. In this picture, the common idea is that once the stars begin their fusion processes, they have forgotten their past. By analysing stellar oscillations in recently born stars, we show that the accretion history leaves a potentially detectable imprint on the stars' interior structures. Currently available data from space would allow discriminating between these more realistic accretion scenarios and the classical early stellar evolution models. This opens a window to investigate the interior structures of young pulsating stars that will also be of relevance for related fields, such as stellar oscillations in general and exoplanet studies.


title: Asymptotic expansions for a class of singular integrals emerging in non-linear wave systems

abstract: We find asymptotical expansions as $\nu \to 0$ for integrals of the form $\int_{\mathbb{R}^d} F(x) / \big(\omega(x)^2 + \nu^2\big)\, dx$, where sufficiently smooth functions $F$ and $\omega$ satisfy natural assumptions for their behaviour at infinity and all critical points of the function $\omega$ from the set $\{\omega(x) = 0\}$ are non-degenerate. These asymptotics play a crucial role when analysing stochastic models for non-linear waves systems. Our result generalizes that of [S. Kuksin, Russ. J. Math. Phys.'2017] where a similar asymptotics was found in a particular case when $\omega$ is a non-degenerate quadratic form of the signature $(d/2,d/2)$ with even $d$.


title: Counting paths in directed graphs

abstract: We consider the class of directed graphs with $N$ edges and without loops shorter than k. Using the concept of a labelled graph, we determine graphs from this class that maximize the number of all paths of length k.Then we show an R-labelled version of this result for semirings R contained in the semiring of non-negative real numbers and containing the semiring of non-negative rational numbers.


title: A novel approach for wafer defect pattern classification based on topological data analysis

abstract: In semiconductor manufacturing, wafer map defect pattern provides critical information for facility maintenance and yield management, so the classification of defect patterns is one of the most important tasks in the manufacturing process. In this paper, we propose a novel way to represent the shape of the defect pattern as a finite-dimensional vector, which will be used as an input for a neural network algorithm for classification. The main idea is to extract the topological features of each pattern by using the theory of persistent homology from topological data analysis (TDA). Through some experiments with a simulated dataset, we show that the proposed method is faster and much more efficient in training with higher accuracy, compared with the method using convolutional neural networks (CNN) which is the most common approach for wafer map defect pattern classification. Moreover, our method outperforms the CNN-based method when the number of training data is not enough and is imbalanced.


title: On the Wiener Index of Orientations of Graphs

abstract: The Wiener index of a strong digraph $D$ is defined as the sum of the distances between all ordered pairs of vertices. This definition has been extended to digraphs that are not necessarily strong by defining the distance from a vertex $a$ to a vertex $b$ as $0$ if there is no path from $a$ to $b$ in $D$. Knor, \u{S}krekovski and Tepeh [Some remarks on Wiener index of oriented graphs. Appl.\ Math.\ Comput.\ {\bf 273}] considered orientations of graphs with maximum Wiener index. The authors conjectured that for a given tree $T$, an orientation $D$ of $T$ of maximum Wiener index always contains a vertex $v$ such that for every vertex $u$, there is either a $(u,v)$-path or a $(v,u)$-path in $D$. In this paper we disprove the conjecture. We also show that the problem of finding an orientation of maximum Wiener index of a given graph is NP-complete, thus answering a question by Knor, \u{S}krekovski and Tepeh [Orientations of graphs with maximum Wiener index. Discrete Appl.\ Math.\ 211]. We briefly discuss the corresponding problem of finding an orientation of minimum Wiener index of a given graph, and show that the special case of deciding if a given graph on $m$ edges has an orientation of Wiener index $m$ can be solved in time quadratic in $n$.


title: Age of Semantics in Cooperative Communications: To Expedite Simulation Towards Real via Offline Reinforcement Learning

abstract: The age of information metric fails to correctly describe the intrinsic semantics of a status update. In an intelligent reflecting surface-aided cooperative relay communication system, we propose the age of semantics (AoS) for measuring semantics freshness of the status updates. Specifically, we focus on the status updating from a source node (SN) to the destination, which is formulated as a Markov decision process (MDP). The objective of the SN is to maximize the expected satisfaction of AoS and energy consumption under the maximum transmit power constraint. To seek the optimal control policy, we first derive an online deep actor-critic (DAC) learning scheme under the on-policy temporal difference learning framework. However, implementing the online DAC in practice poses the key challenge in infinitely repeated interactions between the SN and the system, which can be dangerous particularly during the exploration. We then put forward a novel offline DAC scheme, which estimates the optimal control policy from a previously collected dataset without any further interactions with the system. Numerical experiments verify the theoretical results and show that our offline DAC scheme significantly outperforms the online DAC scheme and the most representative baselines in terms of mean utility, demonstrating strong robustness to dataset quality.


title: Effect of alloying on the microstructure, phase stability, hardness and partitioning behavior of a new dual-superlattice nickel-based superalloy

abstract: A novel y-y'-y" dual-superlattice superalloy, with promising mechanical properties up to elevated temperatures was recently reported. The present work employs state of the art chemical and spatial characterization techniques to study the effect systematic additions of Mo, W and Fe and variations in Nb and Al contents have on the phase fraction, thermal stability, elemental partitioning and mechanical properties. Alloys were produced through arc melting followed by heat treatment. Multi-scale characterization techniques and hardness testing were employed to characterize their microstructure, thermal stability and mechanical properties. Alterations in such properties or in elemental partitioning behaviour were then explained through thermodynamic modelling. A modest addition of 1.8 at.% Mo had a strong effect on the microstructure and thermal stability: it minimized microstructural coarsening during heat treatments while not significantly decreasing the y' solvus temperature. A reduction of Nb by 0.6 at.%, strongly reduced the y" volume fraction, without affecting the y' volume fraction. The reduced precipitate fraction led to a significant reduction in alloy hardness. Fe, added to achieve better processability and reduced material cost, decreased the y' solvus temperature and caused rapid microstructural coarsening during heat treatments, without affecting alloy hardness. A reduction of Al by 0.4 at.%, reduced the y' volume fraction and the y' solvus temperature, also without affecting alloy hardness. The addition of 0.9 at.% W decreased the y' solvus temperature but increased both precipitate volume fractions. These data will be invaluable to optimize current alloy design and to inform future alloy design efforts.


title: Polynomials represented by norm forms via the beta sieve

abstract: A central question in Arithmetic geometry is to determine for which polynomials $f \in \mathbb{Z}[t]$ and which number fields $K$ the Hasse principle holds for the affine equation $f(t) = N_{K/\mathbb{Q}}(\boldsymbol{x}) \neq 0$. Whilst extensively studied in the literature, current results are largely limited to polynomials and number fields of low degree. In this paper, we establish the Hasse principle for a wide family of polynomials and number fields, including polynomials that are products of arbitrarily many linear, quadratic or cubic factors. The proof generalises an argument of Irving, which makes use of the beta sieve of Rosser and Iwaniec. As a further application of our sieve results, we prove new cases of a conjecture of Harpaz and Wittenberg on locally split values of polynomials over number fields, and discuss consequences for rational points in fibrations.


title: Using fluorescent beads to emulate single flurophores

abstract: In this work, we study the conditions under which fluorescent beads can be used to emulate single fluorescent molecules in the calibration of optical microscopes. Although beads are widely used due to their brightness and easy manipulation, there can be notable differences between the point spread functions (PSFs) they produce and those for single-molecule fluorophores, caused by their different emission pattern and their size. We study theoretically these differences for various scenarios, e.g. with or without polarization channel splitting, to determine the conditions under which the use of beads as a model for single molecules is valid. We also propose methods to model the blurring due to the size difference and compensate for it to produce PSFs that are more similar to those for single molecules.


title: Generalization Bounds for Stochastic Gradient Descent via Localized $\varepsilon$-Covers

abstract: In this paper, we propose a new covering technique localized for the trajectories of SGD. This localization provides an algorithm-specific complexity measured by the covering number, which can have dimension-independent cardinality in contrast to standard uniform covering arguments that result in exponential dimension dependency. Based on this localized construction, we show that if the objective function is a finite perturbation of a piecewise strongly convex and smooth function with $P$ pieces, i.e. non-convex and non-smooth in general, the generalization error can be upper bounded by $O(\sqrt{(\log n\log(nP))/n})$, where $n$ is the number of data samples. In particular, this rate is independent of dimension and does not require early stopping and decaying step size. Finally, we employ these results in various contexts and derive generalization bounds for multi-index linear models, multi-class support vector machines, and $K$-means clustering for both hard and soft label setups, improving the known state-of-the-art rates.


title: Ding stability and K\"ahler-Einstein metrics on manifolds with big anticanonical class

abstract: We introduce a notion of uniform Ding stability for a projective manifold with big anticanonical class, and prove that the existence of a unique K\"ahler-Einstein metric on such a manifold implies uniform Ding stability. The main new techniques are to develop a general theory of Deligne functionals-and corresponding slope formulas-for singular metrics, and to prove a slope formula for the Ding functional in the big setting. This extends work of Berman in the Fano situation, when the anticanonical class is actually ample, and proves one direction of the analogue of the Yau-Tian-Donaldson conjecture in this setting. We also speculate about the relevance of uniform Ding stability and K-stability to moduli in the big setting.


title: Effective Adaptation in Multi-Task Co-Training for Unified Autonomous Driving

abstract: Aiming towards a holistic understanding of multiple downstream tasks simultaneously, there is a need for extracting features with better transferability. Though many latest self-supervised pre-training methods have achieved impressive performance on various vision tasks under the prevailing pretrain-finetune paradigm, their generalization capacity to multi-task learning scenarios is yet to be explored. In this paper, we extensively investigate the transfer performance of various types of self-supervised methods, e.g., MoCo and SimCLR, on three downstream tasks, including semantic segmentation, drivable area segmentation, and traffic object detection, on the large-scale driving dataset BDD100K. We surprisingly find that their performances are sub-optimal or even lag far behind the single-task baseline, which may be due to the distinctions of training objectives and architectural design lied in the pretrain-finetune paradigm. To overcome this dilemma as well as avoid redesigning the resource-intensive pre-training stage, we propose a simple yet effective pretrain-adapt-finetune paradigm for general multi-task training, where the off-the-shelf pretrained models can be effectively adapted without increasing the training overhead. During the adapt stage, we utilize learnable multi-scale adapters to dynamically adjust the pretrained model weights supervised by multi-task objectives while leaving the pretrained knowledge untouched. Furthermore, we regard the vision-language pre-training model CLIP as a strong complement to the pretrain-adapt-finetune paradigm and propose a novel adapter named LV-Adapter, which incorporates language priors in the multi-task model via task-specific prompting and alignment between visual and textual features.


title: Engineering holography with stabilizer graph codes

abstract: The discovery of holographic codes established a surprising connection between quantum error correction and the anti-de Sitter-conformal field theory correspondence. Recent technological progress in artificial quantum systems renders the experimental realization of such holographic codes now within reach. Formulating the hyperbolic pentagon code in terms of a stabilizer graph code, we give gate sequences that are tailored to systems with long-range interactions. We show how to obtain encoding and decoding circuits for the hyperbolic pentagon code, before focusing on a small instance of the holographic code on twelve qubits. Our approach allows to verify holographic properties by partial decoding operations, recovering bulk degrees of freedom from their nearby boundary.


title: Adopting Automated Bug Assignment in Practice: A Longitudinal Case Study at Ericsson

abstract: The continuous inflow of bug reports is a considerable challenge in large development projects. Inspired by contemporary work on mining software repositories, we designed a prototype bug assignment solution based on machine learning in 2011-2016. The prototype evolved into an internal Ericsson product, TRR, in 2017-2018. TRR's first bug assignment without human intervention happened in April 2019. Our study evaluates the adoption of TRR within its industrial context at Ericsson. Moreover, we investigate 1) how TRR performs in the field, 2) what value TRR provides to Ericsson, and 3) how TRR has influenced the ways of working. We conduct an industrial case study combining interviews with TRR stakeholders, minutes from sprint planning meetings, and bug tracking data. The data analysis includes thematic analysis, descriptive statistics, and Bayesian causal analysis. TRR is now an incorporated part of the bug assignment process. Considering the abstraction levels of the telecommunications stack, high-level modules are more positive while low-level modules experienced some drawbacks. On average, TRR automatically assigns 30% of the incoming bug reports with an accuracy of 75%. Auto-routed TRs are resolved around 21% faster within Ericsson, and TRR has saved highly seasoned engineers many hours of work. Indirect effects of adopting TRR include process improvements, process awareness, increased communication, and higher job satisfaction. TRR has saved time at Ericsson, but the adoption of automated bug assignment was more intricate compared to similar endeavors reported from other companies. We primarily attribute the difference to the very large size of the organization and the complex products. Key facilitators in the successful adoption include a gradual introduction, product champions, and careful stakeholder analysis.


title: Panoramic Vision Transformer for Saliency Detection in 360{\deg} Videos

abstract: 360$^\circ$ video saliency detection is one of the challenging benchmarks for 360$^\circ$ video understanding since non-negligible distortion and discontinuity occur in the projection of any format of 360$^\circ$ videos, and capture-worthy viewpoint in the omnidirectional sphere is ambiguous by nature. We present a new framework named Panoramic Vision Transformer (PAVER). We design the encoder using Vision Transformer with deformable convolution, which enables us not only to plug pretrained models from normal videos into our architecture without additional modules or finetuning but also to perform geometric approximation only once, unlike previous deep CNN-based approaches. Thanks to its powerful encoder, PAVER can learn the saliency from three simple relative relations among local patch features, outperforming state-of-the-art models for the Wild360 benchmark by large margins without supervision or auxiliary information like class activation. We demonstrate the utility of our saliency prediction model with the omnidirectional video quality assessment task in VQA-ODV, where we consistently improve performance without any form of supervision, including head movement.


title: Stability of queueing-inventory systems with different priorities

abstract: We study a production-inventory system with two customer classes with different priorities which are admitted to the system following a flexible admission control scheme. The inventory management is according to a base stock policy and arriving demand which finds the inventory depleted is lost (lost sales). We analyse the global balance equations of the associated Markov process and derive structural properties of the steady state distribution which provide insights into the equilibrium behaviour of the system. We derive a sufficient condition for ergodicity using the Foster-Lyapunov stability criterion. For a special case we show that the condition is necessary as well.


title: Unraveling-paired dynamical maps can recover the input of quantum channels

abstract: We explore algebraic and dynamical consequences of unraveling general time-local master equations. We show that the "influence martingale", the paramount ingredient of a recently discovered unraveling framework, pairs any time-local master equation with a one parameter family of Lindblad-Gorini-Kossakowski-Sudarshan master equations. At any instant of time, the variance of the influence martingale provides an upper bound on the Hilbert-Schmidt distance between solutions of paired master equations. Finding the lowest upper bound on the variance of the influence martingale yields an explicit criterion of "optimal pairing". The criterion independently retrieves the measure of isotropic noise necessary for the structural physical approximation of the flow the time-local master equation with a completely positive flow. The optimal pairing also allows us to invoke a general result on linear maps on operators (the "commutant representation") to embed the flow of a general master equation in the off-diagonal corner of a completely positive map which in turn solves a time-local master equation that we explicitly determine. We use the embedding to reverse a completely positive evolution, a quantum channel, to its initial condition thereby providing a protocol to preserve quantum memory against decoherence. We thus arrive at a model of continuous time error correction by a quantum channel.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Latent Plans for Task-Agnostic Offline Reinforcement Learning

abstract: Everyday tasks of long-horizon and comprising a sequence of multiple implicit subtasks still impose a major challenge in offline robot control. While a number of prior methods aimed to address this setting with variants of imitation and offline reinforcement learning, the learned behavior is typically narrow and often struggles to reach configurable long-horizon goals. As both paradigms have complementary strengths and weaknesses, we propose a novel hierarchical approach that combines the strengths of both methods to learn task-agnostic long-horizon policies from high-dimensional camera observations. Concretely, we combine a low-level policy that learns latent skills via imitation learning and a high-level policy learned from offline reinforcement learning for skill-chaining the latent behavior priors. Experiments in various simulated and real robot control tasks show that our formulation enables producing previously unseen combinations of skills to reach temporally extended goals by "stitching" together latent skills through goal chaining with an order-of-magnitude improvement in performance upon state-of-the-art baselines. We even learn one multi-task visuomotor policy for 25 distinct manipulation tasks in the real world which outperforms both imitation learning and offline reinforcement learning techniques.


title: How to Create Universes with Internal Flux

abstract: String compactifications typically require fluxes, for example in order to stabilise moduli. Such fluxes, when they thread internal dimensions, are topological in nature and take on quantised values. This poses the puzzle as to how they could arise in the early universe, as they cannot be turned on incrementally. Working with string inspired models in $6$ and $8$ dimensions, we show that there exist no-boundary solutions in which internal fluxes are present from the creation of the universe onwards. The no-boundary proposal can thus explain the origin of fluxes in a Kaluza-Klein context. In fact, it acts as a selection principle since no-boundary solutions are only found to exist when the fluxes have the right magnitude to lead to an effective potential that is positive and flat enough for accelerated expansion. Within the range of selected fluxes, the no-boundary wave function assigns higher probability to smaller values of flux. Our models illustrate how cosmology can act as a filter on a landscape of possible higher-dimensional solutions.


title: Introducing the step Monte Carlo method for simulating dynamic properties

abstract: In this work, we introduce a simple modification of the Monte Carlo algorithm, which we call step Monte Carlo (sMC). The sMC approach allows to simulate processes far from equilibrium and obtain information about the dynamic properties of the system under investigation. In the approach proposed here the probability of accepting the final (trial) state depends on the activation energy, not on the relative energy between the final and initial state. This barrier height is probed on an ongoing basis, by generating intermediate states along the path connecting the initial and trial positions. Importantly, to calculate the activation energy, our model only requires knowledge of the Hamiltonian without having to introduce additional input parameters such as transition rates etc. The details of sMC are explained for the case of a simple spin model. The comparison of its results with the ones obtained within the frame of stochastic Landau-Lifshitz-Gilbert indicates the correctness of sMC. In our opinion, the proposed here method can be applied to simulate other processes, for example dynamics of classical atoms and complex fluids, diffusion, nucleation, surface adsorption and crystal growth processes.


title: Anti-dendriform algebras, new splitting of operations and Novikov type algebras

abstract: We introduce the notion of anti-dendriform algebras as a new approach of splitting the associativity. They are characterized as the algebras with two operations whose sum is associative and the negative left and right multiplication operators compose the bimodules of the sum associative algebras, justifying the notion due to the comparison with the corresponding characterization of dendriform algebras. The notions of anti-$\mathcal O$-operators and anti-Rota-Baxter operators on associative algebras are introduced to interpret anti-dendriform algebras. In particular, there are compatible anti-dendriform algebra structures on associative algebras with nondegenerate commutative Connes cocycles. There is an important observation that there are correspondences between certain subclasses of dendriform and anti-dendriform algebras in terms of $q$-algebras. As a direct consequence, we give the notion of Novikov-type dendriform algebras as an analogue of Novikov algebras for dendriform algebras, whose relationship with Novikov algebras is consistent with the one between dendriform and pre-Lie algebras. Finally we extend to provide a general framework of introducing the notions of analogues of anti-dendriform algebras, which interprets a new splitting of operations.


title: On the FI-homology of the injective cogenerators

abstract: The purpose of this paper is to give information on the FI-homology of the standard injective cogenerators of the category of FI-modules, where FI is the category of finite sets and injections. Working over a field k of characteristic zero, a full calculation is given in homological degree zero and a conjectural description in higher homological degree. The proof of the main theorem reduces to a calculation in representation theory of the symmetric groups, exploiting the Young orthonormal basis.


title: Coexistence of UAVs and Terrestrial Users in Millimeter-Wave Urban Networks

abstract: 5G millimeter-wave (mmWave) cellular networks are in the early phase of commercial deployments and present a unique opportunity for robust, high-data-rate communication to unmanned aerial vehicles (UAVs). A fundamental question is whether and how mmWave networks designed for terrestrial users should be modified to serve UAVs. The paper invokes realistic cell layouts, antenna patterns, and channel models trained from extensive ray tracing data to assess the performance of various network alternatives. Importantly, the study considers the addition of dedicated uptilted rooftop-mounted cells for aerial coverage, as well as novel spectrum sharing modes between terrestrial and aerial network operators. The effect of power control and of multiuser multiple-input multiple-output are also studied.


title: Dispersive estimates for the Schr\"{o}dinger equation with finite rank perturbations

abstract: In this paper, we investigate dispersive estimates for the time evolution of Hamiltonians $$ H=-\Delta+\sum_{j=1}^N\langle\cdot\,, \varphi_j\rangle \varphi_j\quad\,\,\,\text{in}\,\,\,\mathbb{R}^d,\,\, d\ge 1, $$ where each $\varphi_j$ satisfies certain smoothness and decay conditions. We show that, under a spectral assumption, there exists a constant $C=C(N, d, \varphi_1,\ldots, \varphi_N)>0$ such that $$ \|e^{-itH}\|_{L^1-L^{\infty}}\leq C t^{-\frac{d}{2}}, \,\,\,\text{for}\,\,\, t>0. $$ As far as we are aware, this seems to provide the first study of $L^1-L^{\infty}$ estimates for finite rank perturbations of the Laplacian in any dimension. We first deal with rank one perturbations ($N=1$). Then we turn to the general case. The new idea in our approach is to establish the Aronszajn-Krein type formula for finite rank perturbations. This allows us to reduce the analysis to the rank one case and solve the problem in a unified manner. Moreover, we show that in some specific situations, the constant $C(N, d, \varphi_1,\ldots, \varphi_N)$ grows polynomially in $N$. Finally, as an application, we are able to extend the results to $N=\infty$ and deal with some trace class perturbations.


title: Will It Blend? Mixing Training Paradigms & Prompting for Argument Quality Prediction

abstract: This paper describes our contributions to the Shared Task of the 9th Workshop on Argument Mining (2022). Our approach uses Large Language Models for the task of Argument Quality Prediction. We perform prompt engineering using GPT-3, and also investigate the training paradigms multi-task learning, contrastive learning, and intermediate-task training. We find that a mixed prediction setup outperforms single models. Prompting GPT-3 works best for predicting argument validity, and argument novelty is best estimated by a model trained using all three training paradigms.


title: Asymptotic Normality for the Fourier spot volatility estimator in the presence of microstructure noise

abstract: The main contribution of the paper is proving that the Fourier spot volatility estimator introduced in [Malliavin and Mancino, 2002] is consistent and asymptotically efficient if the price process is contaminated by microstructure noise. Specifically, in the presence of additive microstructure noise we prove a Central Limit Theorem with the optimal rate of convergence $n^{1/8}$. The result is obtained without the need for any manipulation of the original data or bias correction. Moreover, we complete the asymptotic theory for the Fourier spot volatility estimator in the absence of noise, originally presented in [Mancino and Recchioni, 2015], by deriving a Central Limit Theorem with the optimal convergence rate $n^{1/4}$. Finally, we propose a novel feasible adaptive method for the optimal selection of the parameters involved in the implementation of the Fourier spot volatility estimator with noisy high-frequency data and provide support to its accuracy both numerically and empirically.


title: Quantum theory can consistently describe the use of itself in Frauchiger-Renner's Gedankenexperiment

abstract: Theoretical physics has faced many challenges since the advent of quantum mechanics. Recently, Frauchiger and Renner have presented a no-go theorem, which makes quantum mechanics more controversial. However, from our perspective, the process of proving appears questionable. Therefore, we discuss the validity of their proof approach in this letter. Here, we propose a simple thought experiment that clarifies how correctly the attributed quantum state can be written in problems similar to Frauchiger and Renner's Gedankenexperiment. In the next step, with the help of the correct form of the quantum state, it is demonstrated that a fallacy occurred in the proof of the no-go theorem, which means it cannot be valid because of the wrong proof. Ultimately, getting help from Hardy's paradox, we investigate whether there is an approach to modify their proof in order to lend the no-go theorem validity.


title: Correlated variability of the reflection fraction with the X-ray flux and spectral index for Mkn 478

abstract: The X-ray spectrum of Mkn 478 is known to be dominated by a strong soft excess which can be described using relativistic blurred reflection. Using observations from {\it XMM-Newton}, {\it AstroSat} and {\it Swift}, we show that for the long-term ($\sim$ years) and intermediate-term (days to months) variability, the reflection fraction is anti-correlated with the flux and spectral index, which implies that the variability is due to the hard X-ray producing corona moving closer to and further from the black hole. Using flux-resolved spectroscopy of the {\it XMM-Newton} data, we show that the reflection fraction has the same behaviour with flux and index on short time-scales of hours. The results indicate that both the long-term and short-term variability of the source is determined by the same physical mechanism of strong gravitational light bending causing enhanced reflection and low flux as the corona moves closer to the black hole.


title: Baby bead representations

abstract: This paper is motivated by the study of Turchin and Willwacher's bead representations. The problem is reformulated here in terms of the Lie algebra homology of a free Lie algebra with coefficients in tensor products of the adjoint representation. The main idea is to exploit the truncation of the coefficients given by killing Lie brackets of length greater than two. Although this truncation is brutal, it retains significant and highly non-trivial information, as exhibited by explicit results. A d\'evissage is used that splits the problem into two steps, separating out a `homology' calculation from `antisymmetrization'. This involves some auxiliary categories, including a generalization of the upper walled Brauer category. This approach passes through the `baby bead representations' of the title, for which complete results are obtained. As an application, the composition factors of Turchin and Willwacher's bead representations are calculated for a new infinite family.


title: Volume-limited sample of low-mass red giant stars, the progenitors of hot subdwarf stars I. Sample selection and binary classification method

abstract: The current theory predicts that hot subdwarf binaries are produced from evolved low-mass binaries that have undergone mass transfer and drastic mass loss during either a common envelope phase or a stable Roche lobe overflow while on the red giant branch (RGB). We perform a spectroscopic survey to find binary systems that include low-mass red giants near the tip of the RGB, which are predicted to be the direct progenitors of subdwarf B (sdB) stars. We aim to obtain a homogeneous sample to search for the observational evidence of correlations between the key parameters governing the formation of sdB stars and constrain the physics of stable mass transfer. In this work, we concentrated on the southern hemisphere targets and conducted a spectroscopic survey of 88 red giant stars to search for the long-period RGB + MS binary systems within 200\,pc. Combining radial velocity (RV) measurements from ground-based observations with CORALIE and RV measurements from $Gaia$ DR2 and early data release 3 (eDR3) as well as the astrometric excess noise and RUWE measurements from $Gaia$ DR3, we defined a robust binary classification method. In addition, we searched for known binary systems in the literature and in the $Gaia$ DR3. We select a total of 211 RGB candidates in the southern hemisphere within 200\,pc based on the $Gaia$ DR2 color-magnitude diagram. Among them, a total of 33 red giants were reported as binary systems with orbital periods between 100 and 900 days, some of which are expected to be the direct progenitors of wide binary sdB stars. In addition, we classified 37 new MS\,+\,RGB binary candidates, whose orbital parameters will be measured with future spectroscopic follow-up.


title: Collective Excitation of Spatio-Spectrally Distinct Quantum Dots Enabled by Chirped Pulses

abstract: For a scalable photonic device producing entangled photons, it is desirable to have multiple quantum emitters in an ensemble that can be collectively excited, despite their spectral variability. For quantum dots, Rabi rotation, the most popular method for resonant excitation, cannot assure a universal, highly efficient excited state preparation, because of its sensitivity to the excitation parameters. In contrast, Adiabatic Rapid Passage (ARP), relying on chirped optical pulses, is immune to quantum dot spectral inhomogeneity. Here, we advocate the robustness of ARP for simultaneous excitation of the biexciton states of multiple quantum dots. For positive chirps, we find that there is also regime of phonon advantage that widens the tolerance range of spectral detunings. Using the same laser pulse we demonstrate the simultaneous excitation of energetically and spatially distinct quantum dots. Being able to generate spatially multiplexed entangled photon pairs is a big step towards the scalability of photonic devices.


title: Emergent isotropy of a wave-turbulent cascade in the Gross-Pitaevskii model

abstract: The restoration of symmetries is one of the most fascinating properties of turbulence. We report a study of the emergence of isotropy in the Gross-Pitaevskii model with anisotropic forcing. Inspired by recent experiments, we study the dynamics of a Bose-Einstein condensate in a cylindrical box driven along the symmetry axis of the trap by a spatially uniform force. We introduce a measure of anisotropy $A(k,t)$ defined on the momentum distributions $n(\boldsymbol{k},t)$, and study the evolution of $A(k,t)$ and $n(\boldsymbol{k},t)$ as turbulence proceeds. As the system reaches a steady state, the anisotropy, large at low momenta because of the large-scale forcing, is greatly reduced at high momenta. While $n(\boldsymbol{k},t)$ exhibits a self-similar cascade front propagation, $A(k,t)$ decreases without such self-similar dynamics. Finally, our numerical calculations show that the isotropy of the steady state is robust with respect to the amplitude of the drive.


title: Zigzag persistence for coral reef resilience using a stochastic spatial model

abstract: A complex interplay between species governs the evolution of spatial patterns in ecology. An open problem in the biological sciences is characterising spatio-temporal data and understanding how changes at the local scale affect global dynamics/behaviour. Here, we extend a well-studied temporal mathematical model of coral reef dynamics to include stochastic and spatial interactions and generate data to study different ecological scenarios. We present descriptors to characterise patterns in heterogeneous spatio-temporal data surpassing spatially averaged measures. We apply these descriptors to simulated coral data and demonstrate the utility of two topological data analysis techniques--persistent homology and zigzag persistence--for characterising mechanisms of reef resilience. We show that the introduction of local competition between species leads to the appearance of coral clusters in the reef. We use our analyses to distinguish temporal dynamics stemming from different initial configurations of coral, showing that the neighbourhood composition of coral sites determines their long-term survival. Using zigzag persistence, we determine which spatial configurations protect coral from extinction in different environments. Finally, we apply this toolkit of multi-scale methods to empirical coral reef data, which distinguish spatio-temporal reef dynamics in different locations, and demonstrate the applicability to a range of datasets.


title: Molecular origin of the two-step mechanism of gellan aggregation

abstract: Among hydrocolloids, gellan is one of the most used anionic polysaccharides, because of its capability of forming mechanically stable gels at relatively low concentrations. Despite its long-standing use and importance, the gellan aggregation mechanism is still not presently understood at the microscopic level due to the lack of atomistic information. Here we will fill this gap by reporting molecular dynamics simulations of gellan chains at different polymer and salt contents, being able to unveil the occurrence of the two steps in the process, in agreement with existing hypotheses. At first, the formation of double helices takes place, followed by the aggregation into super-structures. For both steps, the role of bivalent cations appears to be crucial, as also shown by rheology and atomic force microscopy measurements: they not only facilitate the junction of the chains into double helices, but also promote through bridging their arrangement into larger aggregates. On the other hand, monovalent cations have a much more reduced role, making it possible to form double helices only at very high salt content and not actively participating in the formation of gels. Our simulations thus offer the first complete microscopic overview of gellan aggregation and will be important for future use of gellan-based systems for a wide variety of applications, ranging from food science to art restoration.


title: Proof Theory for Lax Logic

abstract: In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a separate, simple proof of interpolation is provided that also uses the sequent calculus. From the literature it is known that Lax Logic has interpolation, but all known proofs use models rather than proof systems.


title: Research status and prospect of graphene materials in aviation

abstract: Among various 2D materials, graphene has received extensive research attention in the past 2-30 years due to its fascinating properties. The discovery of graphene has provided a huge boost and a new dimension to materials research and nanotechnology. Many lightweight materials with good performance have been widely used in the aviation field, which has greatly promoted the development of military and civilian industries and promoted technological innovation. Based on the introduction of the structure and properties of graphene, this paper summarizes the application value of graphene in the aerospace field in three aspects: energy equipment, sensors, and composite materials used outside aircraft.