title: Regular covariant representations and their Wold-type decomposition

abstract: Olofsson introduced a growth condition regarding elements of an orbit for an expansive operator and generalized Richter's wandering subspace theorem. Later on, using the Moore-Penrose inverse, Ezzahraoui, Mbekhta, and Zerouali extended the growth condition and obtained a Shimorin-Wold-type decomposition. Shimorin-Wold-type decomposition for completely bounded covariant representations, which are close to isometric representations, is obtained in \cite{HV19}. This paper extends this decomposition for regular, completely bounded covariant representation having reduced minimum modulus $\geq 1$ that satisfies the growth condition. To prove the decomposition, we introduce the terms regular, algebraic core, and reduced minimum modulus in the completely bounded covariant representation setting and work out several fundamental results. Consequently, we shall analyze the weighted unilateral shift introduced by Muhly and Solel and introduce and explore a non-commutative weighted bilateral shift.


title: Normal Bundles of Rational Normal Curves on Hypersurfaces

abstract: Let $C$ be the rational normal curve of degree $e$ in $\mathbb{P}^n$, and let $X\subset \mathbb{P}^n$ be a degree $d\ge 2$ hypersurface containing $C$. In previous work, I. Coskun and E. Riedl showed that the normal bundle $N_{C/X}$ is balanced for a general $X$. H. Larson studied the case of lines ($e=1$) and computed the dimension of the space of hypersurfaces for which $N_{C/X}$ has a given splitting type. In this paper, we work with any $e\ge 2$. We compute explicit examples of hypersurfaces for all possible splitting types, and for $d\ge 3$, we compute the dimension of the space of hypersurfaces for which $N_{C/X}$ has a given splitting type. For $d=2$, we give a lower bound on the maximum rank of quadrics with fixed splitting type.


title: Fixed point results of enriched interpolative Kannan type operators with applications

abstract: The purpose of this paper is to introduce the class of enriched interpolative Kannan type operators on Banach space that contains the classes of enriched Kannan operators, interpolative Kannan type contraction operators and some other classes of nonlinear operators. Some examples are presented to support the concepts introduced herein. A convergence theorem for the Krasnoselskii iteration method to approximate fixed point of the enriched interpolative Kannan type operators is proved. We study well-posedness, Ulam-Hyers stability and periodic point property of operators introduced herein. As an application of the main result, variational inequality problem is solved.


title: Jordan maps and zero Lie product determined algebras

abstract: Let $A$ be an algebra over a field $F$ with {\rm char}$(F)\ne 2$. If $A$ is generated as an algebra by $[[A,A],[A,A]]$, then for every skew-symmetric bilinear map $\Phi:A\times A\to X$, where $X$ is an arbitrary vector space over $F$, the condition that $\Phi(x^2,x)=0 $ for all $x\in A$ implies that $\Phi(xy,z) +\Phi(zx,y) + \Phi(yz,x)=0$ for all $x,y,z\in A$. This is applicable to the question of whether $A$ is zero Lie product determined, and is also used in proving that a Jordan homomorphism from $A$ onto a semiprime algebra $B$ is the sum of a homomorphism and an antihomomorphism.


title: A Novel Dataset for Evaluating and Alleviating Domain Shift for Human Detection in Agricultural Fields

abstract: In this paper we evaluate the impact of domain shift on human detection models trained on well known object detection datasets when deployed on data outside the distribution of the training set, as well as propose methods to alleviate such phenomena based on the available annotations from the target domain. Specifically, we introduce the OpenDR Humans in Field dataset, collected in the context of agricultural robotics applications, using the Robotti platform, allowing for quantitatively measuring the impact of domain shift in such applications. Furthermore, we examine the importance of manual annotation by evaluating three distinct scenarios concerning the training data: a) only negative samples, i.e., no depicted humans, b) only positive samples, i.e., only images which contain humans, and c) both negative and positive samples. Our results indicate that good performance can be achieved even when using only negative samples, if additional consideration is given to the training process. We also find that positive samples increase performance especially in terms of better localization. The dataset is publicly available for download at https://github.com/opendr-eu/datasets.


title: Monte-Carlo Sampling Approach to Model Selection: A Primer

abstract: Any data modeling exercise has two main components: parameter estimation and model selection. The latter will be the topic of this lecture note. More concretely we will introduce several Monte-Carlo sampling-based rules for model selection using the maximum a posteriori (MAP) approach. Model selection problems are omnipresent in signal processing applications: examples include selecting the order of an autoregressive predictor, the length of the impulse response of a communication channel, the number of source signals impinging on an array of sensors, the order of a polynomial trend, the number of components of a NMR signal, and so on.


title: NEURAL MARIONETTE: A Transformer-based Multi-action Human Motion Synthesis System

abstract: We present a neural network-based system for long-term, multi-action human motion synthesis. The system, dubbed as NEURAL MARIONETTE, can produce high-quality and meaningful motions with smooth transitions from simple user input, including a sequence of action tags with expected action duration, and optionally a hand-drawn moving trajectory if the user specifies. The core of our system is a novel Transformer-based motion generation model, namely MARIONET, which can generate diverse motions given action tags. Different from existing motion generation models, MARIONET utilizes contextual information from the past motion clip and future action tag, dedicated to generating actions that can smoothly blend historical and future actions. Specifically, MARIONET first encodes target action tag and contextual information into an action-level latent code. The code is unfolded into frame-level control signals via a time unrolling module, which could be then combined with other frame-level control signals like the target trajectory. Motion frames are then generated in an auto-regressive way. By sequentially applying MARIONET, the system NEURAL MARIONETTE can robustly generate long-term, multi-action motions with the help of two simple schemes, namely "Shadow Start" and "Action Revision". Along with the novel system, we also present a new dataset dedicated to the multi-action motion synthesis task, which contains both action tags and their contextual information. Extensive experiments are conducted to study the action accuracy, naturalism, and transition smoothness of the motions generated by our system.


title: Adaptive approximation of nonlinear eigenproblems by minimal rational interpolation

abstract: We describe a strategy for solving nonlinear eigenproblems numerically. Our approach is based on the approximation of a vector-valued function, defined as solution of a non-homogeneous version of the eigenproblem. This approximation step is carried out via the minimal rational interpolation method. Notably, an adaptive sampling approach is employed: the expensive data needed for the approximation is gathered at locations that are optimally chosen by following a greedy error indicator. This allows the algorithm to employ computational resources only where "most of the information" on not-yet-approximated eigenvalues can be found. Then, through a post-processing of the surrogate, the sought-after eigenvalues and eigenvectors are recovered. Numerical examples are used to showcase the effectiveness of the method.


title: Blind Robust VideoWatermarking Based on Adaptive Region Selection and Channel Reference

abstract: Digital watermarking technology has a wide range of applications in video distribution and copyright protection due to its excellent invisibility and convenient traceability. This paper proposes a robust blind watermarking algorithm using adaptive region selection and channel reference. By designing a combinatorial selection algorithm using texture information and feature points, the method realizes automatically selecting stable blocks which can avoid being destroyed during video encoding and complex attacks. In addition, considering human's insensitivity to some specific color components, a channel-referenced watermark embedding method is designed for less impact on video quality. Moreover, compared with other methods' embedding watermark only at low frequencies, our method tends to modify low-frequency coefficients close to mid frequencies, further ensuring stable retention of the watermark information in the video encoding process. Experimental results show that the proposed method achieves excellent video quality and high robustness against geometric attacks, compression, transcoding and camcorder recordings attacks.


title: Local Laws for Sparse Sample Covariance Matrices without the truncation condition

abstract: We consider sparse sample covariance matrices $\frac1{np_n}\mathbf X\mathbf X^*$, where $\mathbf X$ is a sparse matrix of order $n\times m$ with the sparse probability $p_n$. We prove the local Marchenko--Pastur law in some complex domain assuming that $np_n>\log^{\beta}n$, $\beta>0$ and some $(4+\delta)$-moment condition is fulfilled, $\delta>0$.


title: Rational Contractions of Fiber Type on $\overline{M}_{0,6}$

abstract: We identify a set of initial rational contractions of fiber type on $\overline{M}_{0,6}$. Our proof uses a new algorithm we develop for verifying descriptions of the cone of effective divisors on varieties without elementary rational contractions of fiber type. On Mori dream spaces, our algorithm identifies faces of the cone of nef curves associated to initial rational contractions of fiber type.


title: Tracking the Vector Acceleration with a Hybrid Quantum Accelerometer Triad

abstract: Robust and accurate acceleration tracking remains a challenge in many fields. For geophysics and economic geology, precise gravity mapping requires onboard sensors combined with accurate positioning and navigation systems. Cold-atom-based quantum inertial sensors can potentially provide such high-precision instruments. However, current scalar instruments require precise alignment with vector quantities. Here, we present the first hybrid three-axis accelerometer exploiting the quantum advantage to measure the full acceleration vector by combining three orthogonal atom interferometer measurements with a classical navigation-grade accelerometer triad. Its ultra-low bias permits tracking the acceleration vector over long timescales -- yielding a 50-fold improvement in stability ($6 \times 10^{-8}~g$) over our classical accelerometers. We record the acceleration vector at a high data rate (1 kHz), with absolute magnitude accuracy below 10 $\mu g$, and pointing accuracy of 4 $\mu$rad. This paves the way toward future strapdown applications with quantum sensors and highlights their potential as future inertial navigation units.


title: Neural Frank-Wolfe Policy Optimization for Region-of-Interest Intra-Frame Coding with HEVC/H.265

abstract: This paper presents a reinforcement learning (RL) framework that utilizes Frank-Wolfe policy optimization to solve Coding-Tree-Unit (CTU) bit allocation for Region-of-Interest (ROI) intra-frame coding. Most previous RL-based methods employ the single-critic design, where the rewards for distortion minimization and rate regularization are weighted by an empirically chosen hyper-parameter. Recently, the dual-critic design is proposed to update the actor by alternating the rate and distortion critics. However, its convergence is not guaranteed. To address these issues, we introduce Neural Frank-Wolfe Policy Optimization (NFWPO) in formulating the CTU-level bit allocation as an action-constrained RL problem. In this new framework, we exploit a rate critic to predict a feasible set of actions. With this feasible set, a distortion critic is invoked to update the actor to maximize the ROI-weighted image quality subject to a rate constraint. Experimental results produced with x265 confirm the superiority of the proposed method to the other baselines.


title: Hyperbolic Timbre Embedding for Musical Instrument Sound Synthesis Based on Variational Autoencoders

abstract: In this paper, we propose a musical instrument sound synthesis (MISS) method based on a variational autoencoder (VAE) that has a hierarchy-inducing latent space for timbre. VAE-based MISS methods embed an input signal into a low-dimensional latent representation that captures the characteristics of the input. Adequately manipulating this representation leads to sound morphing and timbre replacement. Although most VAE-based MISS methods seek a disentangled representation of pitch and timbre, how to capture an underlying structure in timbre remains an open problem. To address this problem, we focus on the fact that musical instruments can be hierarchically classified on the basis of their physical mechanisms. Motivated by this hierarchy, we propose a VAE-based MISS method by introducing a hyperbolic space for timbre. The hyperbolic space can represent treelike data more efficiently than the Euclidean space owing to its exponential growth property. Results of experiments show that the proposed method provides an efficient latent representation of timbre compared with the method using the Euclidean space.


title: Nonlinear optical study of hierarchical 3D Al doped ZnO nanosheet arrays deposited by successive ionic adsorption and reaction metod

abstract: Successive ionic layer adsorption and reaction (SILAR) method is based on the adsorption and reaction of the ions in the cationic solution and the ionic solution, respectively. This method is simple, inexpensive, large-scale deposition, effective way for deposition on 3D substrates, low-temperature process and represents an easy way for the preparation of doped, composite and heterojunction materials. To take advantage of this method and the ZnO nanostructures, various parameters have been optimized. Undoped and Aluminum (Al) doped ZnO nanostructures were prepared by the SILAR technique. The characterization of the nanostructures prepared was carried out using X-ray diffraction (XRD), scanning elektron microscopy (SEM), energy dispersive spectroscopy (EDS), X ray photoemission spectroscopy (XPS), UV Vis spectrometry and nonlinear optical analysis (NLO). The structural, compositional and optical properties confirm the introduction of Al3+ ions into the ZnO matrix. As a result, an enhancement of the crystallinity, enhancement of the light absorption and a change in the morphology of the nanostructures were observed. The laser stimulated nonlinear optical effects of the second and third harmonic generation were done using a fundamental laser beam. The laser stimulated NLO values obtained are at least 10% higher than the doped ZnO nanomaterials synthesized by other methods using the same set up.


title: Spectral mapping theorem of an abstract non-unitary quantum walk

abstract: This paper continues the previous work (Quantum Inf. Process (2019)) by two authors of the present paper about a spectral mapping property of chiral symmetric unitary operators. In physics, they treat non-unitary time-evolution operators to consider quantum walks in open systems. In this paper, we generalize the above result to include a chiral symmetric non-unitary operator whose coin operator only has two eigenvalues. As a result, the spectra of such non-unitary operators are included in the (possibly non-unit) circle and the real axis in the complex plane. We also give some examples of our abstract results, such as non-unitary quantum walks defined by Mochizuki et al. Moreover, we present an application to the Ihara zeta functions and correlated random walks on regular graphs, which are not quantum walks.


title: Optoelectronic and nonlinear optical properties of Lu doped AgGaGe3Se8 crystallites

abstract: A complex studies of optoelectronics, non-linear optical and laser stimulated piezoelectric features of chalcogenide powder-like chalcogenide crystals pure and rare earth doped AgGaGe3 Se8 crystallites are presented. It is shown principal role of the morphology for the titled materials. The contribution to nonlinear optical, photoconductivity and laser stimulated piezoelectricity are comparable. The temperature dependences are explored. The possibilityity to operate by the features of the titled crystallites in the optically reflected regime is shown. This may be important for laser operated triggers, modulators, photo detectors etc. The relaxation processes are studied. Among the NLO features main attention is devoted to second harmonic generation efficiencies in the reflected regime where principal role is played by morphology. Additionally the laser stimulated piezoelectric for the near the surface states with different morphology of grains is explored. It is demonstrated that contribution of the near-the surface states for such kind of effects will be commensurable to the bulk-like contribution.


title: Relationship between two-particle topology and fractional Chern insulator

abstract: Lattice generalizations of fractional quantum Hall (FQH) systems, called fractional Chern insulators (FCIs), have been extensively investigated in strongly correlated systems. Despite many efforts, previous studies have not revealed all of the guiding principles for the FCI search. In this paper, we investigate a relationship between the topological band structure in the two-particle problem and the FCI ground states in the many-body problem. We first formulate the two-particle problem of a bosonic on-site interaction projected onto the lowest band of a given tight-binding Hamiltonian. We introduce a reduced Hamiltonian whose eigenvalues correspond to the two-particle bound-state energies. By using the reduced Hamiltonian, we define the two-particle Chern number and numerically check the bulk-boundary correspondence that is predicted by the two-particle Chern number. We then propose that a nontrivial two-particle Chern number of dominant bands roughly indicates the presence of bosonic FCI ground states at filling factor $\nu=1/2$. We numerically investigate this relationship in several tight-binding models with Chern bands and find that it holds well in most of the cases, albeit two-band models being exceptions. Although the two-particle topology is neither a necessary nor a sufficient condition for the FCI state as other indicators in previous studies, our numerical results indicate that the two-particle topology characterizes the degree of similarity to the FQH systems.

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


title: A differential geometric description of thermodynamics in continuum mechanics with application to Fourier-Navier-Stokes fluids

abstract: A description of thermodynamics for continuum mechanical systems is presented in the coordinate-free language of exterior calculus. First, a careful description of the mathematical tools that are needed to formulate the relevant conservation laws is given. Second, following an axiomatic approach, the two thermodynamic principles will be described, leading to a consistent description of entropy creation mechanisms on manifolds. Third, a specialisation to Fourier-Navier-Stokes fluids will be carried through.


title: Improving Primal Heuristics for Mixed Integer Programming Problems based on Problem Reduction: A Learning-based Approach

abstract: In this paper, we propose a Bi-layer Predictionbased Reduction Branch (BP-RB) framework to speed up the process of finding a high-quality feasible solution for Mixed Integer Programming (MIP) problems. A graph convolutional network (GCN) is employed to predict binary variables' values. After that, a subset of binary variables is fixed to the predicted value by a greedy method conditioned on the predicted probabilities. By exploring the logical consequences, a learning-based problem reduction method is proposed, significantly reducing the variable and constraint sizes. With the reductive sub-MIP problem, the second layer GCN framework is employed to update the prediction for the remaining binary variables' values and to determine the selection of variables which are then used for branching to generate the Branch and Bound (B&B) tree. Numerical examples show that our BP-RB framework speeds up the primal heuristic and finds the feasible solution with high quality.


title: Enhancement of Hot Carrier Effects and Signatures of Confinement in Terms of Thermalization Power in Quantum Well Solar Cells

abstract: A theoretical model using electron-phonon scattering rate equations is developed for assessing carrier thermalization under steady-state conditions in two-dimensional systems. The model is applied to investigate the hot carrier effect in III-V hot-carrier solar cells with a quantum well absorber. The question underlying the proposed investigation is: what is the power required to maintain two populations of electron and hole carriers in a quasi-equilibrium state at fixed temperatures and quasi-Fermi level splitting? The obtained answer is that the thermalization power density is reduced in two-dimensional systems compared to their bulk counterpart, which demonstrates a confinement-induced enhancement of the hot carrier effect in quantum wells. This power overall increases with the well thickness, and it is moreover shown that the intra-subband contribution dominates at small thicknesses while the inter-subband contribution increases with thickness and dominates in the bulk limit. Finally, the effects of the thermodynamic state of phonons and screening are clarified. In particular, the two-dimensional thermalization power density exhibits a non-monotonic dependence on the thickness of the quantum well layer, when both out-of-equilibrium longitudinal optical phonons and screening effects are taken into account. Our theoretical and numerical results provide tracks to interpret intriguing experimental observations in quantum well physics. They will also offer guidelines to increase the yield of photovoltaic effect based on the hot carrier effect using quantum well heterostructures, a result critical to the research toward high-efficiency solar cell devices.


title: Im2Oil: Stroke-Based Oil Painting Rendering with Linearly Controllable Fineness Via Adaptive Sampling

abstract: This paper proposes a novel stroke-based rendering (SBR) method that translates images into vivid oil paintings. Previous SBR techniques usually formulate the oil painting problem as pixel-wise approximation. Different from this technique route, we treat oil painting creation as an adaptive sampling problem. Firstly, we compute a probability density map based on the texture complexity of the input image. Then we use the Voronoi algorithm to sample a set of pixels as the stroke anchors. Next, we search and generate an individual oil stroke at each anchor. Finally, we place all the strokes on the canvas to obtain the oil painting. By adjusting the hyper-parameter maximum sampling probability, we can control the oil painting fineness in a linear manner. Comparison with existing state-of-the-art oil painting techniques shows that our results have higher fidelity and more realistic textures. A user opinion test demonstrates that people behave more preference toward our oil paintings than the results of other methods. More interesting results and the code are in https://github.com/TZYSJTU/Im2Oil.


title: Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning

abstract: Automaton based approaches have enabled robots to perform various complex tasks. However, most existing automaton based algorithms highly rely on the manually customized representation of states for the considered task, limiting its applicability in deep reinforcement learning algorithms. To address this issue, by incorporating Transformer into reinforcement learning, we develop a Double-Transformer-guided Temporal Logic framework (T2TL) that exploits the structural feature of Transformer twice, i.e., first encoding the LTL instruction via the Transformer module for efficient understanding of task instructions during the training and then encoding the context variable via the Transformer again for improved task performance. Particularly, the LTL instruction is specified by co-safe LTL. As a semantics-preserving rewriting operation, LTL progression is exploited to decompose the complex task into learnable sub-goals, which not only converts non-Markovian reward decision processes to Markovian ones, but also improves the sampling efficiency by simultaneous learning of multiple sub-tasks. An environment-agnostic LTL pre-training scheme is further incorporated to facilitate the learning of the Transformer module resulting in an improved representation of LTL. The simulation results demonstrate the effectiveness of the T2TL framework.


title: Emission line star catalogues post-Gaia DR3: A validation of Gaia DR3 data using LAMOST OBA emission catalogue

abstract: Gaia DR3 and further releases have the potential to identify and categorise new emission-line stars in the Galaxy. We perform a comprehensive validation of astrophysical parameters from Gaia DR3 with the spectroscopically estimated emission-line star parameters from LAMOST OBA emission catalogue. We compare different astrophysical parameters provided by Gaia DR3 with those estimated using LAMOST spectra. By using a larger sample of emission-line stars, we perform a global polynomial and piece-wise linear fit to update the empirical relation to convert Gaia DR3 pseudo-equivalent width to observed equivalent width, after removing the weak emitters from the analysis. We find that the emission-line source classifications given by DR3 is in reasonable agreement with the classification from LAMOST OBA emission catalogue. The astrophysical parameters estimated by esphs module from Gaia DR3 provides a better estimate when compared to gspphot and gspspec. A second-degree polynomial relation is provided along with piece-wise linear fit parameters for the equivalent width conversion. We notice that the LAMOST stars with weak H{\alpha} emission are not identified to be in emission from BP/RP spectra. This suggests that emission-line sources identified by Gaia DR3 is incomplete. In addition, Gaia DR3 provides valuable information about the binary and variable nature of a sample of emission-line stars.


title: View-aware Salient Object Detection for 360{\deg} Omnidirectional Image

abstract: Image-based salient object detection (ISOD) in 360{\deg} scenarios is significant for understanding and applying panoramic information. However, research on 360{\deg} ISOD has not been widely explored due to the lack of large, complex, high-resolution, and well-labeled datasets. Towards this end, we construct a large scale 360{\deg} ISOD dataset with object-level pixel-wise annotation on equirectangular projection (ERP), which contains rich panoramic scenes with not less than 2K resolution and is the largest dataset for 360{\deg} ISOD by far to our best knowledge. By observing the data, we find current methods face three significant challenges in panoramic scenarios: diverse distortion degrees, discontinuous edge effects and changeable object scales. Inspired by humans' observing process, we propose a view-aware salient object detection method based on a Sample Adaptive View Transformer (SAVT) module with two sub-modules to mitigate these issues. Specifically, the sub-module View Transformer (VT) contains three transform branches based on different kinds of transformations to learn various features under different views and heighten the model's feature toleration of distortion, edge effects and object scales. Moreover, the sub-module Sample Adaptive Fusion (SAF) is to adjust the weights of different transform branches based on various sample features and make transformed enhanced features fuse more appropriately. The benchmark results of 20 state-of-the-art ISOD methods reveal the constructed dataset is very challenging. Moreover, exhaustive experiments verify the proposed approach is practical and outperforms the state-of-the-art methods.


title: Fermion quadrature bases for Wigner functionals

abstract: A Grassmann functional phase space is formulated for the definition of fermionic Wigner functionals by identifying suitable fermionic operators that are analogues to boson quadrature operators. Instead of the Majorana operators, we use operators that are defined with relative spin transformations between the ladder operators. The eigenstates of these operators are shown to provide orthogonal bases, provided that the dual space is defined with the incorporation of a spin transformation. These bases then serve as quadrature bases in terms of which Wigner functionals are defined in a way equivalent to the bosonic case. As an application, we consider a two-level fermion system.


title: Regularized Soft Actor-Critic for Behavior Transfer Learning

abstract: Existing imitation learning methods mainly focus on making an agent effectively mimic a demonstrated behavior, but do not address the potential contradiction between the behavior style and the objective of a task. There is a general lack of efficient methods that allow an agent to partially imitate a demonstrated behavior to varying degrees, while completing the main objective of a task. In this paper we propose a method called Regularized Soft Actor-Critic which formulates the main task and the imitation task under the Constrained Markov Decision Process framework (CMDP). The main task is defined as the maximum entropy objective used in Soft Actor-Critic (SAC) and the imitation task is defined as a constraint. We evaluate our method on continuous control tasks relevant to video games applications.


title: Information entropy and fragmentation functions

abstract: Several groups have recently investigated the flow of information in high-energy collisions, from the entanglement entropy of the proton yielding classical Shannon entropy of its parton distribution functions (pdfs), through jet splitting generating entropy, to the entropy distribution in hadron decays. Lacking in the literature is a discussion of the information entropy of fragmentation functions (FFs) in the instances where they can be considered as probability distributions, and we here provide it. We find that this entropy is a single, convenient number to characterize future progress in the extraction of fragmentation functions. We also deploy the related Kullback-Leibler divergence between two distributions to assess existing relations among FFs and parton distribution functions (pdfs) such as that of Barone, Drago and Ma. From a couple of current parametrizations of FFs, we do not find supporting empirical evidence for the relation, although it is possible that FFs and pdfs have similar power-laws near the $x=1$ endpoint.


title: Optimization of Annealed Importance Sampling Hyperparameters

abstract: Annealed Importance Sampling (AIS) is a popular algorithm used to estimates the intractable marginal likelihood of deep generative models. Although AIS is guaranteed to provide unbiased estimate for any set of hyperparameters, the common implementations rely on simple heuristics such as the geometric average bridging distributions between initial and the target distribution which affect the estimation performance when the computation budget is limited. In order to reduce the number of sampling iterations, we present a parameteric AIS process with flexible intermediary distributions defined by a residual density with respect to the geometric mean path. Our method allows parameter sharing between annealing distributions, the use of fix linear schedule for discretization and amortization of hyperparameter selection in latent variable models. We assess the performance of Optimized-Path AIS for marginal likelihood estimation of deep generative models and compare it to compare it to more computationally intensive AIS.


title: A Modeling of TSRCG and Resource Optimization for Multi-task Delivery Guarantee Algorithm Based on CGR Strategy in LEO Satellite Network

abstract: With the reduction of satellite costs and the enhancement of processing capabilities, low earth orbit (LEO) satellite constellations can independently build inter-satellite networks without relying on traditional ground stations restricted by geographical distribution and can establish inter-satellite links (ISLs) and complete computing and routing on-board. The characteristics of frequent on-off ISLs, the highly dynamic network topology of satellite networks make it face the challenges of routing strategy design as a delay/interruption tolerant network (DTN). As a deterministic dynamic routing algorithm, contact graph routing (CGR) uses a contact plan to calculate the path and forward data, but it still has problems such as high computational overhead, low prediction accuracy caused by ignoring queue delay, and overbooked problem caused by limited cache. Therefore, we first start with the time-space resource contact graph (TSRCG) to accurately characterize the time-varying and predictable characteristics of the satellite network and the network resource parameters under multi-tasks. Then, we optimize the route-list computation and dynamic route computation process to ensure task delivery and reduce the consumption of various resources, such as contact capacity, computing resources, and storage resources. And the resource optimization for the multi-task delivery guarantee algorithm based on CGR (RMDG-CGR) strategy we propose is compared with standard CGR in ION 4.0.1. Finally, the simulation results show that the RMDG-CGR can achieve higher task delivery in advance and successful task delivery rate, save contact volume occupancy rate, computing and storage resource, and the above effects are more prominent, especially in the task scenario with critical bundles.


title: Mirrors-light-atoms entanglement in ring optomechanical cavity

abstract: The present paper illustrates the realization of an atom-optomechanical system where an atomic ensemble is confined in a ring optomechanical cavity consisting of a fixed mirror and two movable ones. An analysis of the dynamics and the linearization of the equations allows to derive the multimode covariance matrix. Under realistic experimental conditions, we numerically simulate the steady-state bipartite and tripartite continuous variable entanglement using the logarithmic negativity, and analyze the shared entanglement in the multimode system. The introduction of the atomic medium allows to obtain a larger plateau for the entanglement and make more resilient to the temperature decohering effects.


title: Realization of a wide steering end-fire facet optical phased array using silicon rich silicon nitride

abstract: The design, fabrication, and characterization of a 16-element optical phased array (OPA) using a high index (n = 3.1) silicon rich silicon nitride (SRN) is demonstrated. We present one-dimensional beam steering with end-fire facet antennas over a wide steering range of >115{\deg} at a fixed wavelength of 1525 nm. A spot size of 0.11{\deg} has been measured at boresight, consistent with theory. We demonstrate SRN as a viable material choice for chip-scale OPA applications due to its high thermo-optic coefficient, high optical power handling capacity due to negligible two-photon absorption (TPA), wide transparency window, low propagation loss, and CMOS compatibility.


title: Study of the transient nature of classical Be stars using multi-epoch optical spectroscopy

abstract: Variability is a commonly observed property of classical Be stars (CBe) stars. In extreme cases, complete disappearance of the H{\alpha} emission line occurs, indicating a disc-less state in CBe stars. The disc-loss and reappearing phases can be identified by studying the H{\alpha} line profiles of CBe stars on a regular basis. In this paper, we present the study of a set of selected 9 bright CBe stars, in the wavelength range of 6200 - 6700 {\AA}, to better understand their disc transient nature through continuous monitoring of their H{\alpha} line profile variations for 5 consecutive years (2015 -- 2019). Based on our observations, we suggest that 4 of the program stars (HD 4180, HD 142926, HD 164447 and HD 171780) are possibly undergoing disc-loss episodes, whereas one other star (HD 23302) might be passing through disc formation phase. The remaining 4 stars (HD 237056, HD 33357, HD 38708 and HD 60855) have shown signs of hosting a stable disc in recent epochs. Through visual inspection of the overall variation observed in the H{\alpha} EW for these stars, we classified them into groups of growing, stable and dissipating discs, respectively. Moreover, our comparative analysis using the BeSS database points out that the star HD 60855 has passed through a disc-less episode in 2008, with its disc formation happening probably over a timescale of only 2 months, between January and March 2008.


title: Evaporation-driven liquid flow in sessile droplets

abstract: The evaporation of a sessile droplet spontaneously induces an internal capillary liquid flow. The surface-tension driven minimisation of surface area and/or surface-tension differences at the liquid-gas interface caused by evaporation-induced temperature or chemical gradients set the liquid into motion. This flow drags along suspended material and is one of the keys to control the material deposition in the stain that is left behind by a drying droplet. Applications of this principle range from the control of stain formation in the printing and coating industry, to the analysis of DNA, to forensic and medical research on blood stains, and to the use of evaporation-driven self-assembly for nanotechnology. Therefore, the evaporation of sessile droplets attracts an enormous interest from not only the fluid dynamics, but also the soft matter, chemistry, biology, engineering, nanotechnology and mathematics communities. As a consequence of this broad interest, knowledge on evaporation-driven flows in drying droplets has remained scattered among the different fields, leading to various misconceptions and misinterpretations. In this review we aim to unify these views, and reflect on the current understanding of evaporation-driven liquid flows in sessile droplets in the light of the most recent experimental and theoretical advances. In addition, we outline open questions and indicate promising directions for future research.


title: A Survey on Graph Neural Networks and Graph Transformers in Computer Vision: A Task-Oriented Perspective

abstract: Graph Neural Networks (GNNs) have gained momentum in graph representation learning and boosted the state of the art in a variety of areas, such as data mining (\emph{e.g.,} social network analysis and recommender systems), computer vision (\emph{e.g.,} object detection and point cloud learning), and natural language processing (\emph{e.g.,} relation extraction and sequence learning), to name a few. With the emergence of Transformers in natural language processing and computer vision, graph Transformers embed a graph structure into the Transformer architecture to overcome the limitations of local neighborhood aggregation while avoiding strict structural inductive biases. In this paper, we present a comprehensive review of GNNs and graph Transformers in computer vision from a task-oriented perspective. Specifically, we divide their applications in computer vision into five categories according to the modality of input data, \emph{i.e.,} 2D natural images, videos, 3D data, vision + language, and medical images. In each category, we further divide the applications according to a set of vision tasks. Such a task-oriented taxonomy allows us to examine how each task is tackled by different GNN-based approaches and how well these approaches perform. Based on the necessary preliminaries, we provide the definitions and challenges of the tasks, in-depth coverage of the representative approaches, as well as discussions regarding insights, limitations, and future directions.


title: Genetic Programming-Based Evolutionary Deep Learning for Data-Efficient Image Classification

abstract: Data-efficient image classification is a challenging task that aims to solve image classification using small training data. Neural network-based deep learning methods are effective for image classification, but they typically require large-scale training data and have major limitations such as requiring expertise to design network architectures and having poor interpretability. Evolutionary deep learning is a recent hot topic that combines evolutionary computation with deep learning. However, most evolutionary deep learning methods focus on evolving architectures of neural networks, which still suffer from limitations such as poor interpretability. To address this, this paper proposes a new genetic programming-based evolutionary deep learning approach to data-efficient image classification. The new approach can automatically evolve variable-length models using many important operators from both image and classification domains. It can learn different types of image features from colour or gray-scale images, and construct effective and diverse ensembles for image classification. A flexible multi-layer representation enables the new approach to automatically construct shallow or deep models/trees for different tasks and perform effective transformations on the input data via multiple internal nodes. The new approach is applied to solve five image classification tasks with different training set sizes. The results show that it achieves better performance in most cases than deep learning methods for data-efficient image classification. A deep analysis shows that the new approach has good convergence and evolves models with high interpretability, different lengths/sizes/shapes, and good transferability.


title: A Derivation of Feedforward Neural Network Gradients Using Fr\'echet Calculus

abstract: We present a derivation of the gradients of feedforward neural networks using Fr\'echet calculus which is arguably more compact than the ones usually presented in the literature. We first derive the gradients for ordinary neural networks working on vectorial data and show how these derived formulas can be used to derive a simple and efficient algorithm for calculating a neural networks gradients. Subsequently we show how our analysis generalizes to more general neural network architectures including, but not limited to, convolutional networks.


title: Ferromagnetism in an extended coherently-coupled atomic superfluid

abstract: Ferromagnetism is an iconic example of a first-order phase transition taking place in spatially extended systems and is characterized by hysteresis and the formation of domain walls. In this paper we demonstrate that an extended atomic superfluid in the presence of a coherent coupling between two internal states exhibits a quantum phase transition from a para- to a ferromagnetic state. The nature of the transition is experimentally assessed by looking at the phase diagram as a function of the control parameters, at hysteresis phenomena, at the magnetic susceptibility and the magnetization fluctuations around the critical point. We show that the observed features are in good agreement with mean-field calculations. Additionally, we develop experimental protocols to deterministically generate domain walls that separate spatial regions of opposite magnetization in the ferromagnetic state. Thanks to the enhanced coherence properties of our atomic superfluid system compared to standard condensed matter systems, our results open the way towards the study of different aspects of the relaxation dynamics in isolated coherent many-body quantum systems.


title: New examples of constant mean curvature hypersurfaces in the sphere

abstract: In this paper, firstly, we show the existence of a compact embedded constant mean curvature (CMC) hypersurface $\Sigma_1$ in $\mathbb{S}^{2n}$ of the type $S^{n-1} \times S^{n-1} \times S^{1}$. Moreover, the hypersurface $\Sigma_1$ exhibits $O(n)\times O(n)$ symmetry. Secondly, we show that there exists a compact embedded CMC-hypersurface $\Sigma_2 \subset \mathbb{S}^{3n-1}$ of the type $S^{n-1} \times S^{n-1} \times S^{n-1} \times S^{1}$. These results generalize the results of Carlotto and Schulz.


title: Reinforcement Learning for Cognitive Delay/Disruption Tolerant Network Node Management in an LEO-based Satellite Constellation

abstract: In recent years, with the large-scale deployment of space spacecraft entities and the increase of satellite onboard capabilities, delay/disruption tolerant network (DTN) emerged as a more robust communication protocol than TCP/IP in the case of excessive network dynamics. DTN node buffer management is still an active area of research, as the current implementation of the DTN core protocol still relies on the assumption that there is always enough memory available in different network nodes to store and forward bundles. In addition, the classical queuing theory does not apply to the dynamic management of DTN node buffers. Therefore, this paper proposes a centralized approach to automatically manage cognitive DTN nodes in low earth orbit (LEO) satellite constellation scenarios based on the advanced reinforcement learning (RL) strategy advantage actor-critic (A2C). The method aims to explore training a geosynchronous earth orbit intelligent agent to manage all DTN nodes in an LEO satellite constellation scenario. The goal of the A2C agent is to maximize delivery success rate and minimize network resource consumption cost while considering node memory utilization. The intelligent agent can dynamically adjust the radio data rate and perform drop operations based on bundle priority. In order to measure the effectiveness of applying A2C technology to DTN node management issues in LEO satellite constellation scenarios, this paper compares the trained intelligent agent strategy with the other two non-RL policies, including random and standard policies. Experiments show that the A2C strategy balances delivery success rate and cost, and provides the highest reward and the lowest node memory utilization.


title: Regular triangular forms of rank exceeding 3

abstract: A triangular form is defined to be an integer-valued quadratic polynomial of the form $a_1P_3(x_1)+a_2P_3(x_2)+\cdots+a_kP_3(x_k)$ where $a_i's$ are positive integers and $P_3(x)=x(x+1)/2$. A triangular form is called regular if it represents all positive integers which are locally represented. In this article, we find all regular triangular forms of more than three variables.


title: Transition from granular to Brownian suspension : an inclined plane experiment

abstract: We experimentally revisite the flow down an inclined plane of dense granular suspensions, with particles of sizes in the micron range, for which thermal fluctuations cannot be ignored. Using confocal microscopy on a miniaturized set-up, we observe that, in contrast with standard granular rheology, the flow profiles strongly depend on the particles size. Also, suspensions composed of small enough particles flow at infinitesimal inclinations. From the velocity measurements, an effective rheology is extracted in terms of a friction coefficient as a fonction of the dimensionless shear rate (the viscous number), and of the particle pressure normalized by the thermal pressure. Inspired by a previous work [1], a phenomenological model based on the sum of a thermal contribution describing the glass transition and an athermal contribution capturing the jamming transition is developed, which reproduces well the experimental observations. The model predicts the existence of a glassy friction angle lower than the granular athermal friction angle, a signature of the glass transition in the framework of a pressure imposed rheology.


title: Minimal distance between random orbits

abstract: We study the minimal distance between two orbit segments of length n, in a random dynamical system with sufficiently good mixing properties. This problem has already been solved in non-random dynamical system, and on average in random dynamical systems (the so-called annealed version of the problem): it is known that the asymptotic behavior for this question is given by a dimension-like quantity associated to the invariant measure, called its correlation dimension (or R{\'e}nyi entropy). We study the analogous quenched question, and show that the asymptotic behavior is more involved: two correlation dimensions show up, giving rise to a non-smooth behavior of the associated asymptotic exponent.


title: Regularized Contrastive Learning of Semantic Search

abstract: Semantic search is an important task which objective is to find the relevant index from a database for query. It requires a retrieval model that can properly learn the semantics of sentences. Transformer-based models are widely used as retrieval models due to their excellent ability to learn semantic representations. in the meantime, many regularization methods suitable for them have also been proposed. In this paper, we propose a new regularization method: Regularized Contrastive Learning, which can help transformer-based models to learn a better representation of sentences. It firstly augments several different semantic representations for every sentence, then take them into the contrastive objective as regulators. These contrastive regulators can overcome overfitting issues and alleviate the anisotropic problem. We firstly evaluate our approach on 7 semantic search benchmarks with the outperforming pre-trained model SRoBERTA. The results show that our method is more effective for learning a superior sentence representation. Then we evaluate our approach on 2 challenging FAQ datasets, Cough and Faqir, which have long query and index. The results of our experiments demonstrate that our method outperforms baseline methods.


title: Timespot1: A 28nm CMOS Pixel Read-Out ASIC for 4D Tracking at High Rates

abstract: We present the first characterization results of Timespot1, an ASIC designed in CMOS 28 nm technology, featuring a $32 \times 32$ pixel matrix with a pitch of $55 ~ \mu m$. Timespot1 is the first small-size prototype, conceived to readout fine-pitch pixels with single-hit time resolution below $50 ~ ps_\text{rms}$ and input rates of several hundreds of kilohertz per pixel. Such experimental conditions will be typical of the next generation of high-luminosity collider experiments, from the LHC run5 and beyond. Each pixel of the ASIC includes a charge amplifier, a discriminator, and a Time-to-Digital Converter with time resolution indicatively of $22.6 ~ ps_\text{rms}$ and maximum readout rates (per pixel) of $3 ~ MHz$. To respect system-level constraints, the timing performance has been obtained keeping the power budget per pixel below $40 ~ \mu W$. The ASIC has been tested and characterised in the laboratory concerning its performance in terms of time resolution, power budget and sustainable rates. The ASIC will be hybridized on a matched $32 \times 32$ pixel sensor matrix and will be tested under laser beam and Minimum Ionizing Particles in the laboratory and at test beams. In this paper we present a description of the ASIC operation and the first results obtained from characterization tests concerning its performance.


title: IdeaReader: A Machine Reading System for Understanding the Idea Flow of Scientific Publications

abstract: Understanding the origin and influence of the publication's idea is critical to conducting scientific research. However, the proliferation of scientific publications makes it difficult for researchers to sort out the evolution of all relevant literature. To this end, we present IdeaReader, a machine reading system that finds out which papers are most likely to inspire or be influenced by the target publication and summarizes the ideas of these papers in natural language. Specifically, IdeaReader first clusters the references and citations (first-order or higher-order) of the target publication, and the obtained clusters are regarded as the topics that inspire or are influenced by the target publication. It then picks out the important papers from each cluster to extract the skeleton of the idea flow. Finally, IdeaReader automatically generates a literature review of the important papers in each topic. Our system can help researchers gain insight into how scientific ideas flow from the target publication's references to citations by the automatically generated survey and the visualization of idea flow.


title: Finite temperature quantum condensations in the space of states: General Proof

abstract: We formalize and prove the extension to finite temperature of a class of quantum phase transitions, acting as condensations in the space of states, recently introduced and discussed at zero temperature~(Ostilli and Presilla 2021 \textit{J. Phys. A: Math. Theor.} \textbf{54} 055005). In details, we find that if, for a quantum system at canonical thermal equilibrium, one can find a partition of its Hilbert space $\mathcal{H}$ into two subspaces, $\mathcal{H}_\mathrm{cond}$ and $\mathcal{H}_\mathrm{norm}$, such that, in the thermodynamic limit, $\dim \mathcal{H}_\mathrm{cond}/ \dim \mathcal{H} \to 0$ and the free energies of the system restricted to these subspaces cross each other for some value of the Hamiltonian parameters, then, the system undergoes a first-order quantum phase transition driven by those parameters. The proof is based on an exact probabilistic representation of quantum dynamics at an imaginary time identified with the inverse temperature of the system. We also show that the critical surface has universal features at high and low temperatures.

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


title: A mechanism for ejecting a horseshoe from a partially hyperbolic chain recurrence class

abstract: We give a $C^1$-perturbation technique for ejecting an a priori given finite set of periodic points preserving a given finite set of homo/hetero-clinic intersections from a chain recurrence class of a periodic point. The technique is first stated under a simpler setting called Markov iterated function system, a two dimensional iterated function system in which the compositions are chosen in Markovian way. Then we apply the result to the setting of three dimensional partially hyperbolic diffeomorphisms.


title: Absolute colors and phase coefficients of asteroids

abstract: Context: We use phase curves of small bodies to measure absolute magnitudes and, together with complementary theoretical and laboratory results, to understand their surfaces' micro and macroscopic properties. Although we can observe asteroids up to phase angles of about 30 deg, the range of phase angles covered by outer solar system objects usually does not go further than 7 to 10 deg for centaurs and 2 deg for trans-Neptunian objects, and a linear relation between magnitude and phase angle may be assumed. Aims: We aim at directly comparing data taken for objects in the inner solar system (inside the orbit of Jupiter) with data of centaurs and trans-Neptunian objects. Methods: We use the SLOAN Moving Objects Catalog data to construct phase curves restricted to phase angles less than or equal to 7.5 deg, compatible with the angles observed for the trans-Neptunian/Centaur population. We assume a linear model for the photometric behavior to obtain absolute magnitudes and phase coefficients in the ugirz, V, and R filters. Results: We obtained absolute magnitudes in seven filters for $>4000$ objects. Our comparison with outer solar system objects points to a common property of the surfaces: intrinsically redder objects become blue with increasing phase angle, while the opposite happens for intrinsically bluer objects.


title: Euclidean Gallai-Ramsey Theory

abstract: In this paper, we introduce Euclidean Gallai-Ramsey theory, by combining Euclidean Ramsey theory and Gallai-Ramsey theory on graphs. More precisely, we consider the following problem: For an integer $r$ and configurations $K$ and $K'$, does there exist an integer $n_0$ such that for any $r$-coloring of the points of $n$-dimensional Euclidean space with $n \geq n_0$, there is a monochromatic configuration congruent to $K$ or a rainbow configuration congruent to $K'$? In particular, we give a bound on $n_0$ for some configurations $K$ and $K'$, such as triangles and rectangles. Those are extensions of ordinary Euclidean Ramsey theory where the purpose is to find a monochromatic configuration.


title: Using LSST late-time photometry to constrain Type Ibc supernovae and their progenitors

abstract: Over its lifespan, the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) will monitor millions of supernovae (SNe) from explosion to oblivion, yielding an unprecedented ugrizy photometric dataset on their late-time evolution. Here, we show that the photometric evolution of Type Ibc SNe can be used to constrain numerous properties of their ejecta, without the need for expensive spectroscopic observations. Using radiative-transfer simulations for explosions of He-star progenitors of different initial masses, we show that the g-band filter follows primarily the strength of the FeII emission, the r-band [OI]6300-6364A and [NII]6548-6583A, the i-band [CaII]7291,7323A, and the z-band the CaII NIR triplet, and hence provides information on nucleosynthetic yields. Information on weaker lines, which may be used, for example, to constrain clumping, is absent. However, this deficiency may eventually be cured by improving the physical realism of radiative-transfer simulations through a closer connection to physically consistent 3D explosion models, and by the judicial selection of a much smaller set of spectral observations. Degeneracies inherent to the SN radiation will affect the interpretation of photometric measures, but line fluxes from nebular-phase spectra are similarly compromised. Importantly, our ``family'' of Type Ibc SN models follows a distinct trajectory in color-color magnitude diagrams as the ejecta evolve from 100 to 450d, allowing one to disentangle different progenitors or explosions. This photometric procedure provides a promising approach to study statistical samples of SNe Ibc and to confront them to ever improving progenitor and explosion models, to capture the onset of late-time interaction with circumstellar material, or to identify events currently unknown.


title: Aperiodic chain recurrence classes of $C^1$-generic diffeomorphisms

abstract: We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences classes, while only countably many of them may contain periodic orbits. The classes without periodic orbits, called aperiodic classes, are the main subject of this paper. The aim of the paper is to show that aperiodic classes of $C^1$-generic diffeomorphisms can exhibit a variety of topological properties. More specifically, there are $C^1$-generic diffeomorphisms with (1) minimal expansive aperiodic classes, (2) minimal but non-uniquely ergodic aperiodic classes, (3) transitive but non-minimal aperiodic classes, (4) non-transitive, uniquely ergodic aperiodic classes.


title: Lagrangian densities of some $3$-uniform hypergraphs

abstract: The Lagrangian density of an $r$-uniform hypergraph $H$ is $r!$ multiplying the supremum of the Lagrangians of all $H$-free $r$-uniform hypergraphs. For an $r$-uniform graph $H$ with $t$ vertices, it is clear that $\pi_{\lambda}(H)\ge r!\lambda{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ with $t$ vertices is $\lambda$-perfect if $\pi_{\lambda}(H)= r!\lambda{(K_{t-1}^r)}$. A theorem of Motzkin and Straus implies that all $2$-uniform graphs are $\lambda$-perfect. It is interesting to understand what kind of hypergraphs are $\lambda$-perfect. The property `$\lambda$-perfect' is monotone in the sense that an $r$-graph obtained by removing an edge from a $\lambda$-perfect $r$-graph (keep the same vertex set) is $\lambda$-perfect. It's interesting to understand the relation between the number of edges in a hypergraph and the `$\lambda$-perfect' property. We propose that the number of edges in a hypergraph no more than the number of edges in a linear hyperpath would guarantee the `$\lambda$-perfect' property. We show some partial result to support this conjecture. We also give some partial result to support the conjecture that the disjoint union of two $\lambda$-perfect $r$-uniform hypergraph is $\lambda$-perfect. We show that the disjoint union of a $\lambda$-perfect $3$-graph and $S_{2,t}=\{123,124,125,126,...,12(t+2)\}$ is perfect. This result implies the earlier result of Heftz and Keevash, Jiang, Peng and Wu, and several other earlier results.


title: It's a Wrap! Visualisations that Wrap Around Cylindrical, Toroidal, or Spherical Topologies

abstract: Traditional visualisations are designed to be shown on a flat surface (screen or page) but most data is not "flat". For example, the surface of the earth exists on a sphere, however, when that surface is presented on a flat map, key information is hidden, such as geographic paths on the spherical surface being wrapped across the boundaries of the flat map. Similarly, cyclical time-series data has no beginning or end. When such cyclical data is presented on a traditional linear chart, the viewer needs to perceive continuity of the visualisation across the chart's boundaries. Mentally reconnecting the chart across such a boundary may induce additional cognitive load. More complex data such as a network diagram with hundreds or thousands of links between data points leads to a densely connected structure that is even less "flat" and needs to wrap around in multiple dimensions. To improve the usability of these visualisations, this thesis explores a novel class of interactive wrapped data visualisations, i.e., visualisations that wrap around continuously when interactively panned on a two-dimensional projection of surfaces of 3D shapes, specifically, cylinder, torus, or sphere. We start with a systematic exploration of the design space of interactive wrapped visualisations, characterising the visualisations that help people understand the relationship within the data. Subsequently, we investigate a series of wrappable visualisations for cyclical time series, network, and geographic data. We show that these interactive visualisations better preserve the spatial relations in the case of geospatial data, and better reveal the data's underlying structure in the case of abstract data such as networks and cyclical time series. Furthermore, to assist future research and development, we contribute layout algorithms and toolkits to help create pannable wrapped visualisations.


title: RIGA: Rotation-Invariant and Globally-Aware Descriptors for Point Cloud Registration

abstract: Successful point cloud registration relies on accurate correspondences established upon powerful descriptors. However, existing neural descriptors either leverage a rotation-variant backbone whose performance declines under large rotations, or encode local geometry that is less distinctive. To address this issue, we introduce RIGA to learn descriptors that are Rotation-Invariant by design and Globally-Aware. From the Point Pair Features (PPFs) of sparse local regions, rotation-invariant local geometry is encoded into geometric descriptors. Global awareness of 3D structures and geometric context is subsequently incorporated, both in a rotation-invariant fashion. More specifically, 3D structures of the whole frame are first represented by our global PPF signatures, from which structural descriptors are learned to help geometric descriptors sense the 3D world beyond local regions. Geometric context from the whole scene is then globally aggregated into descriptors. Finally, the description of sparse regions is interpolated to dense point descriptors, from which correspondences are extracted for registration. To validate our approach, we conduct extensive experiments on both object- and scene-level data. With large rotations, RIGA surpasses the state-of-the-art methods by a margin of 8\degree in terms of the Relative Rotation Error on ModelNet40 and improves the Feature Matching Recall by at least 5 percentage points on 3DLoMatch.


title: $\mathcal{S}_X$-convergence and locally hypercompact spaces

abstract: In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely approximated spaces. Monotone determined spaces are natural topological extensions of dcpos. The main results are: (1) A monotone determined space $X$ is a locally hypercompact space iff $\mathcal{S}^*_X$-convergence is topological. (2) For a $T_0$ space $X$, $\mathcal{S}^*_X$-convergence is topological iff $X$ is a finitely approximating space. (3) If the Lawson topology on a monotone determined space $X$ is compact, then $X$ is a dcpo endowed with the Scott topology.


title: Identifying and Extracting Football Features from Real-World Media Sources using Only Synthetic Training Data

abstract: Real-world images used for training machine learning algorithms are often unstructured and inconsistent. The process of analysing and tagging these images can be costly and error prone (also availability, gaps and legal conundrums). However, as we demonstrate in this article, the potential to generate accurate graphical images that are indistinguishable from real-world sources has a multitude of benefits in machine learning paradigms. One such example of this is football data from broadcast services (television and other streaming media sources). The football games are usually recorded from multiple sources (cameras and phones) and resolutions, not to mention, occlusion of visual details and other artefacts (like blurring, weathering and lighting conditions) which make it difficult to accurately identify features. We demonstrate an approach which is able to overcome these limitations using generated tagged and structured images. The generated images are able to simulate a variety views and conditions (including noise and blurring) which may only occur sporadically in real-world data and make it difficult for machine learning algorithm to 'cope' with these unforeseen problems in real-data. This approach enables us to rapidly train and prepare a robust solution that accurately extracts features (e.g., spacial locations, markers on the pitch, player positions, ball location and camera FOV) from real-world football match sources for analytical purposes.


title: Recovery of singularities from fixed angle scattering data for biharmonic operator in dimensions two and three

abstract: The inverse fixed angle problem for operator $\Delta^2 u + V(x,|u|) u$ is considered in dimensions $n=2,3$. We prove that the difference between an inverse fixed angle Born approximation and the function $V(\cdot,1)$ is smoother than the function $V$ itself in some Sobolev scale. This allows us to conclude that the main singularities of the perturbation $V$ can be reconstructed from the knowledge of the scattering amplitude with some fixed incident angle.


title: Behaviour in time of solutions to fourth-order parabolic systems with time dependent coefficients

abstract: This paper deals with a class of initial-boundary value problems for nonlinear fourth order parabolic systems with time dependent coefficients in a bounded domain $\Omega \subset \mathbb{R}^N, N\geq 2$. Introducing suitable conditions on the source terms, we obtain a time interval $[0,T],$ where the solution remains bounded by deriving a lower bound $T$ of $t^*$. Moreover, we establish conditions on the shape of the spatial domain and on data sufficient to guarantee that the solution blows up in finite time $t^*$, deriving an upper bound for $t^*$.


title: Zeta distributions generated by Dirichlet series and their (quasi) infinite divisibility

abstract: Let $a(1) >0$, $a(n) \ge 0$ for $n \ge 2$ and $a(n) = O(n^\varepsilon)$ for any $\varepsilon >0$, and put $Z(\sigma + it):= \sum_{n=1}^\infty a(n) n^{-\sigma - it}$ where $\sigma , t \in {\mathbb{R}}$. In the present paper, we show that any zeta distribution whose characteristic function is defined by ${\mathcal{Z}}_\sigma (t) :=Z(\sigma + it)/Z(\sigma)$ is pretended infinitely divisible if $\sigma >1$ is sufficiently large. Moreover, we prove that if ${\mathcal{Z}}_\sigma (t)$ is an infinitely divisible characteristic function for some $\sigma_{id} >1$, then ${\mathcal{Z}}_\sigma (t)$ is infinitely divisible for all $\sigma >1$. Note that the corresponding L\'evy or quasi-L\'evy measure can be given explicitly. A key of the proof is a corrected version of Theorem 11.14 in Apostol's famous textbook.


title: OSDP: Optimal Sharded Data Parallel for Distributed Deep Learning

abstract: Large-scale deep learning models contribute to significant performance improvements on varieties of downstream tasks. Current data and model parallelism approaches utilize model replication and partition techniques to support the distributed training of ultra-large models. However, directly deploying these systems often leads to sub-optimal training efficiency due to the complex model architectures and the strict device memory constraints. In this paper, we propose Optimal Sharded Data Parallel (OSDP), an automated parallel training system that combines the advantages from both data and model parallelism. Given the model description and the device information, OSDP makes trade-offs between the memory consumption and the hardware utilization, thus automatically generates the distributed computation graph and maximizes the overall system throughput. In addition, OSDP introduces operator splitting to further alleviate peak memory footprints during training with negligible overheads, which enables the trainability of larger models as well as the higher throughput. Extensive experimental results of OSDP on multiple different kinds of large-scale models demonstrate that the proposed strategy outperforms the state-of-the-art in multiple regards. Our code is available at https://github.com/Youhe-Jiang/OptimalShardedDataParallel.


title: Timeliness of Information for Computation-intensive Status Updates in Task-oriented Communications

abstract: Moving beyond just interconnected devices, the increasing interplay between communication and computation has fed the vision of real-time networked control systems. To obtain timely situational awareness, IoT devices continuously sample computation-intensive status updates, generate perception tasks and offload them to edge servers for processing. In this sense, the timeliness of information is considered as one major contextual attribute of status updates. In this paper, we derive the closed-form expressions of timeliness of information for computation offloading at both edge tier and fog tier, where two stage tandem queues are exploited to abstract the transmission and computation process. Moreover, we exploit the statistical structure of Gauss-Markov process, which is widely adopted to model temporal dynamics of system states, and derive the closed-form expression for process-related timeliness of information. The obtained analytical formulas explicitly characterize the dependency among task generation, transmission and execution, which can serve as objective functions for system optimization. Based on the theoretical results, we formulate a computation offloading optimization problem at edge tier, where the timeliness of status updates is minimized among multiple devices by joint optimization of task generation, bandwidth allocation, and computation resource allocation. An iterative solution procedure is proposed to solve the formulated problem. Numerical results reveal the intertwined relationship among transmission and computation stages, and verify the necessity of factoring in the task generation process for computation offloading strategy design.


title: Multilingual analysis of intelligibility classification using English, Korean, and Tamil dysarthric speech datasets

abstract: This paper analyzes dysarthric speech datasets from three languages with different prosodic systems: English, Korean, and Tamil. We inspect 39 acoustic measurements which reflect three speech dimensions including voice quality, pronunciation, and prosody. As multilingual analysis, examination on the mean values of acoustic measurements by intelligibility levels is conducted. Further, automatic intelligibility classification is performed to scrutinize the optimal feature set by languages. Analyses suggest pronunciation features, such as Percentage of Correct Consonants, Percentage of Correct Vowels, and Percentage of Correct Phonemes to be language-independent measurements. Voice quality and prosody features, however, generally present different aspects by languages. Experimental results additionally show that different speech dimension play a greater role for different languages: prosody for English, pronunciation for Korean, both prosody and pronunciation for Tamil. This paper contributes to speech pathology in that it differentiates between language-independent and language-dependent measurements in intelligibility classification for English, Korean, and Tamil dysarthric speech.


title: SmartFPS: Neural Network based Wireless-inertial fusion positioning system

abstract: The current fusion positioning systems are mainly based on filtering algorithms, such as Kalman filtering or particle filtering. However, the system complexity of practical application scenarios is often very high, such as noise modeling in pedestrian inertial navigation systems, or environmental noise modeling in fingerprint matching and localization algorithms. To solve this problem, this paper proposes a fusion positioning system based on deep learning and proposes a transfer learning strategy for improving the performance of neural network models for samples with different distributions. The results show that in the whole floor scenario, the average positioning accuracy of the fusion network is 0.506m. The experiment results of transfer learning show that the estimation accuracy of the inertial navigation positioning step size and rotation angle of different pedestrians can be improved by 53.3% on average, the Bluetooth positioning accuracy of different devices can be improved by 33.4%, and the fusion can be improved by 31.6%.


title: Exploring the Algorithm-Dependent Generalization of AUPRC Optimization with List Stability

abstract: Stochastic optimization of the Area Under the Precision-Recall Curve (AUPRC) is a crucial problem for machine learning. Although various algorithms have been extensively studied for AUPRC optimization, the generalization is only guaranteed in the multi-query case. In this work, we present the first trial in the single-query generalization of stochastic AUPRC optimization. For sharper generalization bounds, we focus on algorithm-dependent generalization. There are both algorithmic and theoretical obstacles to our destination. From an algorithmic perspective, we notice that the majority of existing stochastic estimators are biased only when the sampling strategy is biased, and is leave-one-out unstable due to the non-decomposability. To address these issues, we propose a sampling-rate-invariant unbiased stochastic estimator with superior stability. On top of this, the AUPRC optimization is formulated as a composition optimization problem, and a stochastic algorithm is proposed to solve this problem. From a theoretical perspective, standard techniques of the algorithm-dependent generalization analysis cannot be directly applied to such a listwise compositional optimization problem. To fill this gap, we extend the model stability from instancewise losses to listwise losses and bridge the corresponding generalization and stability. Additionally, we construct state transition matrices to describe the recurrence of the stability, and simplify calculations by matrix spectrum. Practically, experimental results on three image retrieval datasets on speak to the effectiveness and soundness of our framework.


title: Error Rate and Ergodic Capacity of RF-FSO System with Partial Relay Selection in the Presence of Pointing Errors

abstract: This paper presents an analysis of a multiple dual-hop relaying system, which is composed of km-class radio frequency (RF)-free-space optical (FSO) links. Partial relay selection based on outdated channel state information (CSI) is employed in order to select active relay for further transmission. Amplify-and-forward relaying protocol is utilized. The RF links are assumed to be subject to Rayleigh fading, and the FSO links are influenced by both Gamma-Gamma atmospheric turbulence and pointing errors. On the basis of our previously derived expression for cumulative distribution function of the equivalent signal-to-noise ratio of the whole system, we derive novel analytical expressions for the average bit-error rate (BER) and ergodic capacity that are presented in terms of the Meijer's G-function and extended generalized bivariate Meijer's G-function, respectively. The numerical results are confirmed by Monte Carlo simulations. Considering the effect of time-correlation between outdated CSI and actual CSI related to the RF channel at the time of transmission, the average BER and the ergodic capacity dependence on various system and channel parameters are observed and discussed. The results illustrate that the temporal correlation between outdated and actual CSI has strong effect on system performance, particularly on BER values, when FSO hop is influenced by favorable conditions. Keywords: Bit error rate, ergodic capacity, free-space optical systems, partial relay selection, radio frequency systems.


title: Deep Unfolding of the DBFB Algorithm with Application to ROI CT Imaging with Limited Angular Density

abstract: This paper presents a new method for reconstructing regions of interest (ROI) from a limited number of computed tomography (CT) measurements. Classical model-based iterative reconstruction methods lead to images with predictable features. Still, they often suffer from tedious parameterization and slow convergence. On the contrary, deep learning methods are fast, and they can reach high reconstruction quality by leveraging information from large datasets, but they lack interpretability. At the crossroads of both methods, deep unfolding networks have been recently proposed. Their design includes the physics of the imaging system and the steps of an iterative optimization algorithm. Motivated by the success of these networks for various applications, we introduce an unfolding neural network called U-RDBFB designed for ROI CT reconstruction from limited data. Few-view truncated data are effectively handled thanks to a robust non-convex data fidelity term combined with a sparsity-inducing regularization function. We unfold the Dual Block coordinate Forward-Backward (DBFB) algorithm, embedded in an iterative reweighted scheme, allowing the learning of key parameters in a supervised manner. Our experiments show an improvement over several state-of-the-art methods, including a model-based iterative scheme, a multi-scale deep learning architecture, and other deep unfolding methods.


title: Efficient Asynchronous RPC Calls for Microservices: DeathStarBench Study

abstract: Crucial in the performance of microservice applications is the efficient handling of RPC calls. We found that the asynchronous call implementation in a popular microservice benchmark suite, DeathStarBench, causes a bottleneck in thread management, reducing the peak throughput and increasing latency at high request rates. Replacing the threaded implementation with a fiber implementation increases peak throughput by up to 6x, meaning that the service can operate at a higher request rate without significantly increasing response latency.


title: Global fits of simplified models for dark matter with GAMBIT I. Scalar and fermionic models with s-channel vector mediators

abstract: Simplified models provide a useful way to study the impacts of a small number of new particles on experimental observables and the interplay of those observables, without the need to construct an underlying theory. In this study, we perform global fits of simplified dark matter models with GAMBIT using an up-to-date set of likelihoods for indirect detection, direct detection and collider searches. We investigate models in which a scalar or fermionic dark matter candidate couples to quarks via an s-channel vector mediator. Large parts of parameter space survive for each model. In the case of Dirac or Majorana fermion dark matter, excesses in LHC monojet searches and relic density limits tend to prefer the resonance region, where the dark matter has approximately half the mass of the mediator. A combination of vector and axial-vector couplings to the Dirac candidate also leads to competing constraints from direct detection and unitarity violation.


title: Investigating the Electronic Structure of Prospective Water-splitting Oxide BaCe$_{0.25}$Mn$_{0.75}$O$_{3-\delta}$ Before and After Thermal Reduction

abstract: BaCe$_{0.25}$Mn$_{0.75}$O$_{3-\delta}$ (BCM), a non-stoichiometric oxide closely resembling a perovskite crystal structure, has recently emerged as a prospective contender for application in renewable energy harvesting by solar thermochemical hydrogen generation. Using solar energy, oxygen-vacancies can be created in BCM and the reduced crystal so obtained can, in turn, produce H2 by stripping oxygen from H2O. Therefore, a first step toward understanding the working mechanism and optimizing the performance of BCM, is a thorough and comparative analysis of the electronic structure of the pristine and the reduced material. In this paper, we probe the electronic structure of BCM using the combined effort of first-principles calculations and experimental O K-edge x-ray absorption spectroscopy (XAS). The computed projected density-of-states (PDOS) and orbital-plots are used to propose a simplified model for orbital-mixing between the oxygen and the ligand atoms. With the help of state-of-the-art simulations, we are able to find the origins of the XAS peaks and to categorize them on the basis of contribution from Ce and Mn. For the reduced crystal, the calculations show that, as a consequence of dielectric screening, the change in electron-density resulting from the reduction is strongly localized around the oxygen vacancy. Our experimental studies reveal a marked lowering of the first O K-edge peak in the reduced crystal which is shown to result from a diminished O-2p contribution to the frontier unoccupied orbitals, in accordance with the tight-binding scheme. Our study paves the way for investigation of the working-mechanism of BCM and for computational and experimental efforts aimed at design and discovery of efficient water-splitting oxides.


title: Approximate Secular Equations for the Cubic Regularization Subproblem

abstract: The cubic regularization method (CR) is a popular algorithm for unconstrained non-convex optimization. At each iteration, CR solves a cubically regularized quadratic problem, called the cubic regularization subproblem (CRS). One way to solve the CRS relies on solving the secular equation, whose computational bottleneck lies in the computation of all eigenvalues of the Hessian matrix. In this paper, we propose and analyze a novel CRS solver based on an approximate secular equation, which requires only some of the Hessian eigenvalues and is therefore much more efficient. Two approximate secular equations (ASEs) are developed. For both ASEs, we first study the existence and uniqueness of their roots and then establish an upper bound on the gap between the root and that of the standard secular equation. Such an upper bound can in turn be used to bound the distance from the approximate CRS solution based ASEs to the true CRS solution, thus offering a theoretical guarantee for our CRS solver. A desirable feature of our CRS solver is that it requires only matrix-vector multiplication but not matrix inversion, which makes it particularly suitable for high-dimensional applications of unconstrained non-convex optimization, such as low-rank recovery and deep learning. Numerical experiments with synthetic and real data-sets are conducted to investigate the practical performance of the proposed CRS solver. Experimental results show that the proposed solver outperforms two state-of-the-art methods.


title: Evolution TANN and the identification of internal variables and evolution equations in solid mechanics

abstract: Data-driven and deep learning approaches have demonstrated to have the potential of replacing classical constitutive models for complex materials. Yet, the necessity of structuring constitutive models with an incremental formulation has given rise to data-driven approaches where physical quantities, e.g. deformation, blend with artificial, non-physical ones, such as the increments in deformation and time. Neural networks and the consequent constitutive models depend, thus, on the particular incremental formulation, fail in identifying material representations locally in time, and suffer from poor generalization. Herein, we propose a new approach which allows, for the first time, to decouple the material representation from the incremental formulation. Inspired by the Thermodynamics-based Artificial Neural Networks (TANN) and the theory of the internal variables, the evolution TANN (eTANN) are continuous-time and, therefore, independent of the aforementioned artificial quantities. Key feature of the proposed approach is the identification of the evolution equations of the internal variables in the form of ordinary differential equations, rather than in an incremental discrete-time form. In this work, we focus attention to juxtapose and show how the various general notions of solid mechanics are implemented in eTANN. The capabilities as well as the scalability of the proposed approach are demonstrated through several applications involving a broad spectrum of complex material behaviors, from plasticity to damage and viscosity (and combination of them). Finally, we show that the proposed approach can be used to speed-up multiscale analyses, by virtue of asymptotic homogenization. eTANN provide excellent results compared to detailed fine-scale simulations and offer the possibility not only to describe the average macroscopic material behavior, but also micromechanical, complex mechanisms.


title: Reducing safe UAV separation distances with U2U communication and new Remote ID formats

abstract: As the number of Unmanned Aerial Vehicles (UAVs) in the airspace grows, ensuring that the aircraft do not collide becomes vital for further technology development. In this work, we propose a new UAV Near Mid-Air collision (uNMAC) safety volume taking into account i) Airframe size, ii) Localization precision, iii) UAV speed/velocity, and iv) wireless technology capabilities. Based on uNMAC, we demonstrate that inter-UAV separation distances can be reduced by using UAV-to-UAV (U2U) communication while the safety levels remain unchanged. Moreover, this work shows that next-generation Remote ID messages should contain additional information (i.e., estimated localization error and, for some applications, movement direction). As frequent broadcasting of Remote ID can further reduce the separation distances, we identified 5G NR Sidelink, Wi-Fi, and Bluetooth as suitable candidates for U2U communication.


title: The Curse of Unrolling: Rate of Differentiating Through Optimization

abstract: Computing the Jacobian of the solution of an optimization problem is a central problem in machine learning, with applications in hyperparameter optimization, meta-learning, optimization as a layer, and dataset distillation, to name a few. Unrolled differentiation is a popular heuristic that approximates the solution using an iterative solver and differentiates it through the computational path. This work provides a non-asymptotic convergence-rate analysis of this approach on quadratic objectives for gradient descent and the Chebyshev method. We show that to ensure convergence of the Jacobian, we can either 1) choose a large learning rate leading to a fast asymptotic convergence but accept that the algorithm may have an arbitrarily long burn-in phase or 2) choose a smaller learning rate leading to an immediate but slower convergence. We refer to this phenomenon as the curse of unrolling. Finally, we discuss open problems relative to this approach, such as deriving a practical update rule for the optimal unrolling strategy and making novel connections with the field of Sobolev orthogonal polynomials.


title: Tangential Tensor Fields on Deformable Surfaces -- How to Derive Consistent $L^2$-Gradient Flows

abstract: We consider gradient flows of surface energies which depend on the surface by a parameterization and on a tangential tensor field. The flow allows for dissipation by evolving the parameterization and the tensor field simultaneously. This requires the choice of a notation for independence. We introduce different gauges of surface independence and show their consequences for the evolution. In order to guarantee a decrease in energy, the gauge of surface independence and the time derivative have to be chosen consistently. We demonstrate the results for a surface Frank-Oseen-Hilfrich energy.


title: On Unique Ergodicity Of Coupled AIMD Flows

abstract: The AIMD algorithm, which underpins the Transmission Control Protocol (TCP) for transporting data packets in communication networks, is perhaps the most successful control algorithm ever deployed. Recently, its use has been extended beyond communication networks, and successful applications of the AIMD algorithm have been reported in transportation, energy, and mathematical biology. A very recent development in the use of AIMD is its application in solving large-scale optimization and distributed control problems without the need for inter-agent communication. In this context, an interesting problem arises when multiple AIMD networks that are coupled in some sense (usually through a nonlinearity). The purpose of this note is to prove that such systems in certain settings inherit the ergodic properties of individual AIMD networks. This result has important consequences for the convergence of the aforementioned optimization algorithms. The arguments in the paper also correct conceptual and technical errors in [1].


title: Orbeez-SLAM: A Real-time Monocular Visual SLAM with ORB Features and NeRF-realized Mapping

abstract: A spatial AI that can perform complex tasks through visual signals and cooperate with humans is highly anticipated. To achieve this, we need a visual SLAM that easily adapts to new scenes without pre-training and generates dense maps for downstream tasks in real-time. None of the previous learning-based and non-learning-based visual SLAMs satisfy all needs due to the intrinsic limitations of their components. In this work, we develop a visual SLAM named Orbeez-SLAM, which successfully collaborates with implicit neural representation and visual odometry to achieve our goals. Moreover, Orbeez-SLAM can work with the monocular camera since it only needs RGB inputs, making it widely applicable to the real world. Results show that our SLAM is up to 800x faster than the strong baseline with superior rendering outcomes. Code link: https://github.com/MarvinChung/Orbeez-SLAM.


title: Does quantum mechanics require "conspiracy"?

abstract: Quantum states containing records of incompatible outcomes of quantum measurements are valid states in the tensor-product Hilbert space. Since they contain false records, they conflict with the Born rule and with our observations. I show that excluding them requires a fine-tuning to an extremely restricted subspace of the Hilbert space that seems "conspiratorial", in the sense that (1) it seems to depend on future events that involve records (including measurement settings) and on the dynamical law (normally thought to be independent of the initial conditions), and (2) it violates Statistical Independence, even when it is valid in the context of Bell's theorem. To solve the puzzle, I build a model in which, by changing the dynamical law, the same initial conditions can lead to different histories in which the validity of records is relative to the new dynamical law. This relative validity of the records may restore causality, but the initial conditions still must depend, at least partially, on the dynamical law. While violations of Statistical Independence are often seen as non-scientific, they turn out to be needed to ensure the validity of records and our own memories and, by this, of science itself. A Past Hypothesis is needed to ensure the existence of records and turns out to require violations of Statistical Independence. It is not excluded that its explanation, still unknown, ensures such violations in the way needed by local interpretations of quantum mechanics. I suggest that an as-yet unknown law or superselection rule may restrict the full tensor-product Hilbert space to the very special subspace required by the validity of records and the Past Hypothesis.


title: Inertio-capillary rebound of a droplet impacting a fluid bath

abstract: The rebound of droplets impacting a deep fluid bath is studied both experimentally and theoretically. Millimetric drops are generated using a piezoelectric droplet-on-demand generator and normally impact a bath of the same fluid. Measurements of the droplet trajectory and other rebound metrics are compared directly to the predictions of a linear quasi-potential model, as well as fully resolved direct numerical simulations (DNS) of the unsteady Navier-Stokes equations. Both models resolve the time-dependent bath and droplet shapes in addition to the droplet trajectory. In the quasi-potential model, the droplet and bath shape are decomposed using orthogonal function decompositions leading to two sets of coupled damped linear harmonic oscillator equations solved using an implicit numerical method. The underdamped dynamics of the drop are directly coupled to the response of the bath through a single-point kinematic match condition which we demonstrate to be an effective and efficient model in our parameter regime of interest. Starting from the inertio-capillary limit in which both gravitational and viscous effects are negligible, increases in gravity or viscosity lead to a decrease in the coefficient of restitution and an increase in the contact time. The inertio-capillary limit defines an upper bound on the possible coefficient of restitution for droplet-bath impact, depending only on the Weber number. The quasi-potential model is able to rationalize historical experimental measurements for the coefficient of restitution, first presented by Jayaratne and Mason (1964).


title: Prospects for LISA to detect a gravitational-wave background from first order phase transitions

abstract: First order phase transitions in the early universe could produce a gravitational-wave background that might be detectable by the Laser Interferometer Space Antenna (LISA). Such an observation would provide evidence for physics beyond the Standard Model. We study the ability of LISA to observe a gravitational-wave background from phase transitions in the presence of an extragalactic foreground from binary black hole mergers throughout the universe, a galactic foreground from white dwarf binaries, and LISA noise. Modelling the phase transition gravitational wave background as a double broken power law, we use the deviance information criterion as a detection statistic, and Fisher matrix and Markov Chain Monte Carlo methods to assess the measurement accuracy of the parameters of the power spectrum. While estimating all the parameters associated with the gravitational-wave backgrounds, foregrounds, and LISA noise, we find that LISA could detect a gravitational-wave background from phase transitions with a peak frequency of 1 mHz and normalized energy density amplitude of $\Omega_{\text p} \simeq 3 \times 10^{-11}$. With $\Omega_{\text p} \simeq 10^{-10}$, the signal is detectable if the peak frequency is in the range $4 \times 10^{-4}$ to $9 \times 10^{-3}$ Hz, and the peak amplitude and frequency can be estimated to an accuracy of 10\% to 1\%.


title: Understanding Braess' Paradox in power grids

abstract: The ongoing energy transition requires power grid extensions to connect renewable generators to consumers and to transfer power among distant areas. The process of grid extension requires a large investment of resources and is supposed to make grid operation more robust. Yet, counter-intuitively, increasing the capacity of existing lines or adding new lines may also reduce the overall system performance and even promote blackouts due to Braess' paradox. Braess' paradox was theoretically modeled but not yet proven in realistically scaled power grids. Here, we present an experimental setup demonstrating Braess' paradox in an AC power grid and show how it constrains ongoing large-scale grid extension projects. We present a topological theory that reveals the key mechanism and predicts Braessian grid extensions from the network structure. These results offer a theoretical method to understand and practical guidelines in support of preventing unsuitable infrastructures and the systemic planning of grid extensions.