title: Safe Deep Reinforcement Learning by Verifying Task-Level Properties

abstract: Cost functions are commonly employed in Safe Deep Reinforcement Learning (DRL). However, the cost is typically encoded as an indicator function due to the difficulty of quantifying the risk of policy decisions in the state space. Such an encoding requires the agent to visit numerous unsafe states to learn a cost-value function to drive the learning process toward safety. Hence, increasing the number of unsafe interactions and decreasing sample efficiency. In this paper, we investigate an alternative approach that uses domain knowledge to quantify the risk in the proximity of such states by defining a violation metric. This metric is computed by verifying task-level properties, shaped as input-output conditions, and it is used as a penalty to bias the policy away from unsafe states without learning an additional value function. We investigate the benefits of using the violation metric in standard Safe DRL benchmarks and robotic mapless navigation tasks. The navigation experiments bridge the gap between Safe DRL and robotics, introducing a framework that allows rapid testing on real robots. Our experiments show that policies trained with the violation penalty achieve higher performance over Safe DRL baselines and significantly reduce the number of visited unsafe states.


title: Dimensional crossover and symmetry transformation of the charge density waves in VSe2

abstract: Collective phenomena in solids can be sensitive to the dimensionality of the system; a case of special interest is VSe2, which shows a (r7 x r3) charge density wave (CDW) in the single layer with the three-fold symmetry in the normal phase spontaneously broken, in contrast to the (4 x 4) in-plane CDW in the bulk. Angle-resolved photoemission spectroscopy (ARPES) from VSe2 ranging from a single layer to the bulk reveals the evolution of the electronic structure including the Fermi surface contours and the CDW gap. At a thickness of two layers, the ARPES maps are already nearly bulklike, but the transition temperature TC for the (4 x 4) CDW is much higher than the bulk value of 110 K. These results can be understood as a result of dimensional crossover of phonon instability driven by a competition of nesting vectors. Our study provides key insights into the CDW mechanisms and offers a perspective in the search and control of emergent phases in quantum materials.


title: Reversible Ionic Liquid Intercalation for Electrically Controlled Thermal Radiation from Graphene Devices

abstract: Using graphene as a tuneable optical material enables a series of optical devices such as switchable radar absorbers, variable infrared emissivity surfaces, or visible electrochromic devices. These devices rely on controlling the charge density on graphene with electrostatic gating or intercalation. In this paper, we studied the effect of ionic liquid intercalation on the long-term performance of optoelectronic devices operating within a broad infrared wavelength range. Our spectroscopic and thermal characterization results reveal the key limiting factors for the intercalation process and the performance of the infrared devices, such as the electrolyte ion-size asymmetry and charge distribution scheme and the effects of oxygen. Our results provide insight for the limiting mechanism for graphene applications in infrared thermal management and tunable heat signature control.


title: Generalization of the Dehornoy-Lafont order complex to categories. Application to exceptional braid groups

abstract: The homology of a Garside monoid, thus of a Garside group, can be computed efficiently through the use of the order complex defined by Dehornoy and Lafont. We construct a categorical generalization of this complex and we give some computational techniques which are useful for reducing computing time. We then use this construction to complete results of Salvetti, Callegaro and Marin regarding the homology of exceptional complex braid groups. We most notably study the case of the Borchardt braid group $B(G_{31})$ through its associated Garside category.


title: Over-Parameterization Exponentially Slows Down Gradient Descent for Learning a Single Neuron

abstract: We revisit the problem of learning a single neuron with ReLU activation under Gaussian input with square loss. We particularly focus on the over-parameterization setting where the student network has $n\ge 2$ neurons. We prove the global convergence of randomly initialized gradient descent with a $O\left(T^{-3}\right)$ rate. This is the first global convergence result for this problem beyond the exact-parameterization setting ($n=1$) in which the gradient descent enjoys an $\exp(-\Omega(T))$ rate. Perhaps surprisingly, we further present an $\Omega\left(T^{-3}\right)$ lower bound for randomly initialized gradient flow in the over-parameterization setting. These two bounds jointly give an exact characterization of the convergence rate and imply, for the first time, that over-parameterization can exponentially slow down the convergence rate. To prove the global convergence, we need to tackle the interactions among student neurons in the gradient descent dynamics, which are not present in the exact-parameterization case. We use a three-phase structure to analyze GD's dynamics. Along the way, we prove gradient descent automatically balances student neurons, and use this property to deal with the non-smoothness of the objective function. To prove the convergence rate lower bound, we construct a novel potential function that characterizes the pairwise distances between the student neurons (which cannot be done in the exact-parameterization case). We show this potential function converges slowly, which implies the slow convergence rate of the loss function.


title: Large-scale Multi-Modal Pre-trained Models: A Comprehensive Survey

abstract: With the urgent demand for generalized deep models, many pre-trained big models are proposed, such as BERT, ViT, GPT, etc. Inspired by the success of these models in single domains (like computer vision and natural language processing), the multi-modal pre-trained big models have also drawn more and more attention in recent years. In this work, we give a comprehensive survey of these models and hope this paper could provide new insights and helps fresh researchers to track the most cutting-edge works. Specifically, we firstly introduce the background of multi-modal pre-training by reviewing the conventional deep learning, pre-training works in natural language process, computer vision, and speech. Then, we introduce the task definition, key challenges, and advantages of multi-modal pre-training models (MM-PTMs), and discuss the MM-PTMs with a focus on data, objectives, network architectures, and knowledge enhanced pre-training. After that, we introduce the downstream tasks used for the validation of large-scale MM-PTMs, including generative, classification, and regression tasks. We also give visualization and analysis of the model parameters and results on representative downstream tasks. Finally, we point out possible research directions for this topic that may benefit future works. In addition, we maintain a continuously updated paper list for large-scale pre-trained multi-modal big models: https://github.com/wangxiao5791509/MultiModal_BigModels_Survey. This paper has been published by the journal Machine Intelligence Research (MIR), https://link.springer.com/article/10.1007/s11633-022-1410-8, DOI: 10.1007/s11633-022-1410-8, vol. 20, no. 4, pp. 447-482, 2023.


title: Fundamental Limits of Topology-Aware Shared-Cache Networks

abstract: This work studies a well-known shared-cache coded caching scenario where each cache can serve an arbitrary number of users, analyzing the case where there is some knowledge about such number of users (i.e., the topology) during the content placement phase. Under the assumption of regular placement and a cumulative cache size that can be optimized across the different caches, we derive the fundamental limits of performance by introducing a novel cache-size optimization and placement scheme and a novel information-theoretic converse. The converse employs new index coding techniques to bypass traditional uniformity requirements, thus finely capturing the heterogeneity of the problem, and it provides a new approach to handle asymmetric settings. The new fundamental limits reveal that heterogeneous topologies can in fact outperform their homogeneous counterparts where each cache is associated to an equal number of users. These results are extended to capture the scenario of topological uncertainty where the perceived/estimated topology does not match the true network topology. This scenario is further elevated to the stochastic setting where the user-to-cache association is random and unknown, and it is shown that the proposed scheme is robust to such noisy or inexact knowledge on the topology.


title: A computationally efficient Benders decomposition for energy systems planning problems with detailed operations and time-coupling constraints

abstract: Energy systems planning models identify least-cost strategies for expansion and operation of energy systems and provide decision support for investment, planning, regulation, and policy. Most are formulated as linear programming (LP) or mixed integer linear programming (MILP) problems. Despite the relative efficiency and maturity of LP and MILP solvers, large scale problems are often intractable without abstractions that impact quality of results and generalizability of findings. We consider a macro-energy systems planning problem with detailed operations and policy constraints and formulate a computationally efficient Benders decomposition separating investments from operations and decoupling operational timesteps using budgeting variables in the master model. This novel approach enables parallelization of operational subproblems and permits modeling of relevant constraints coupling decisions across time periods (e.g. policy constraints) within a decomposed framework. Runtime scales linearly with temporal resolution; tests demonstrate substantial runtime improvement for all MILP formulations and for some LP formulations depending on problem size relative to analagous monolithic models solved with state-of-the-art commercial solvers. Our algorithm is applicable to planning problems in other domains (e.g. water, transportation networks, production processes) and can solve large-scale problems otherwise intractable. We show that the increased resolution enabled by this algorithm mitigates structural uncertainty, improving recommendation accuracy.


title: The G-index, G-coindex and G-weight of a real moment-angle complex

abstract: A real moment-angle complex is a CW complex defined by the combinatoric information of a simplicial complex, and has a standard action of $2$-torus. For each subtorus $G$ of $2$-torus, we describe invariants corcerning this action, the $G$-index, $G$-coindex and $G$-weight, combinatorially.


title: Active nematics on flat surfaces: from droplet motility and scission to active wetting

abstract: We consider the dynamics of active nematics droplets on flat surfaces, based on the continuum hydrodynamic theory. We investigate a wide range of dynamical regimes as a function of the activity and droplet size on surfaces characterized by strong anchoring and a range of equilibrium contact angles. The activity was found to control a variety of dynamical regimes, including the self-propulsion of droplets on surfaces, scission, active wetting and droplet evaporation. Furthermore, we found that on a given surface (characterized by the anchoring and the equilibrium contact angle) the dynamical regimes may be controlled by the active capillary number of suspended droplets. We also found that the active nematics concentration of the droplets varies with the activity, affecting the wetting behaviour weakly but ultimately driving droplet evaporation. Our analysis provides a global description of a wide range of dynamical regimes reported for active nematics droplets and suggests a unified description of droplets on surfaces. We discuss the key role of the finite size of the droplet and comment on the suppression of these regimes in the infinite size limit, where the active nematics is turbulent at any degree of activity.


title: Ontology-aware Network for Zero-shot Sketch-based Image Retrieval

abstract: Zero-Shot Sketch-Based Image Retrieval (ZSSBIR) is an emerging task. The pioneering work focused on the modal gap but ignored inter-class information. Although recent work has begun to consider the triplet-based or contrast-based loss to mine inter-class information, positive and negative samples need to be carefully selected, or the model is prone to lose modality-specific information. To respond to these issues, an Ontology-Aware Network (OAN) is proposed. Specifically, the smooth inter-class independence learning mechanism is put forward to maintain inter-class peculiarity. Meanwhile, distillation-based consistency preservation is utilized to keep modality-specific information. Extensive experiments have demonstrated the superior performance of our algorithm on two challenging Sketchy and Tu-Berlin datasets.


title: On the local time of anisotropic random walk on Z^2

abstract: We study the local time of the anisotropic random walk on the two-dimensional lattice Z^2, by establishing the exact asymptotic behavior of the N-step return probability to the origin.


title: Bubble expansion at strong coupling

abstract: The cosmological first-order phase transition (FOPT) can be of strong dynamics but with its bubble wall velocity difficult to be determined due to lack of detailed collision terms. Recent holographic numerical simulations of strongly coupled theories with a FOPT prefer a relatively small wall velocity linearly correlated with the phase pressure difference between false and true vacua for a planar wall. In this Letter, we have analytically revealed the non-relativistic limit of a planar/cylindrical/spherical wall expansion of a bubble strongly interacting with the thermal plasma. The planar-wall result reproduces the linear relation found previously in the holographic numerical simulations. The results for cylindrical and spherical walls can be directly tested in future numerical simulations. Once confirmed, the bubble wall velocity for a strongly coupled FOPT can be expressed purely in terms of the hydrodynamics without invoking the underlying microphysics.


title: Friend Ranking in Online Games via Pre-training Edge Transformers

abstract: Friend recall is an important way to improve Daily Active Users (DAU) in online games. The problem is to generate a proper lost friend ranking list essentially. Traditional friend recall methods focus on rules like friend intimacy or training a classifier for predicting lost players' return probability, but ignore feature information of (active) players and historical friend recall events. In this work, we treat friend recall as a link prediction problem and explore several link prediction methods which can use features of both active and lost players, as well as historical events. Furthermore, we propose a novel Edge Transformer model and pre-train the model via masked auto-encoders. Our method achieves state-of-the-art results in the offline experiments and online A/B Tests of three Tencent games.


title: Numerical Evidence for a refinement of Deligne's Period Conjecture for Jacobians of Curves

abstract: Let $A/\mathbb{Q}$ be a Jacobian variety and let $F$ be a totally real, tamely ramified, abelian number field. Given a character $\psi$ of $F/\mathbb{Q}$, Deligne's Period Conjecture asserts the algebraicity of the suitably normalised value $\mathcal{L}(A,\psi,1)$ at $z=1$ of the Hasse-Weil-Artin $L$-function of the $\psi$-twist of $A$. We formulate a conjecture regarding the integrality properties of the family of normalised $L$-values $(\mathcal{L}(A,\psi,1))_{\psi}$, and its relation to the Tate-Shafarevich group of $A$ over $F$. We numerically investigate our conjecture through $p$-adic congruence relations between these values.


title: A note on bifurcation theorems of Rabinowitz type

abstract: In this note we refine the alternativity in some bifurcation theorems of Rabinowitz type, and then improve a few of results in Lu (2022) [17].


title: Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

abstract: The task of finding an extension to a given partial drawing of a graph while adhering to constraints on the representation has been extensively studied in the literature, with well-known results providing efficient algorithms for fundamental representations such as planar and beyond-planar topological drawings. In this paper, we consider the extension problem for bend-minimal orthogonal drawings of planar connected graphs, which is among the most fundamental geometric graph drawing representations. While the problem was known to be \NP-hard, it is natural to consider the case where only a small part of the graph is still to be drawn. Here, we establish the fixed-parameter tractability of the problem when parameterized by the size of the missing subgraph. Our algorithm is based on multiple novel ingredients which intertwine geometric and combinatorial arguments. These include the identification of a new graph representation of bend-equivalent regions for vertex placement in the plane, establishing a bound on the treewidth of this auxiliary graph, and a global point-grid that allows us to discretize the possible placement of bends and vertices into locally bounded subgrids for each of the above regions.


title: The peak-flux of GRB 221009A measured with GRBAlpha

abstract: The brightest gamma-ray burst ever observed, long-duration GRB 221009A, was detected by GRBAlpha nano-satellite without saturation. We present light curves of the prompt emission in 13 energy bands, from 80 keV to 950 keV, and perform a spectral analysis to calculate the peak flux and peak isotropic-equivalent luminosity. Since the satellite's attitude information is not available for the time of this GRB, more than 200 incident directions were probed in order to find the median luminosity and its systematic uncertainty. We found that the peak flux in the $80-800$ keV range (observer frame) was $F_{\rm{ph}}^{\rm{p}}=1300_{-200}^{+1200}$ ph cm$^{-2}$s$^{-1}$ or $F_{\rm{erg}}^{\rm{p}}=5.7_{-0.7}^{+3.7}\times10^{-4}$ erg cm$^{-2}$s$^{-1}$ and the fluence in the same energy range of the first GRB episode lasting 300 s, which was observable by GRBAlpha, was $S=2.2_{-0.3}^{+1.4}\times10^{-2}$ erg cm$^{-2}$ or $S^{\rm{bol}}=4.9_{-0.5}^{+0.8}\times10^{-2}$ erg cm$^{-2}$ for the extrapolated range of $0.9-8,690$ keV. We infer the isotropic-equivalent released energy of the first GRB episode to be $E_{\rm{iso}}^{\rm{bol}}=2.8_{-0.5}^{+0.8}\times10^{54}$ erg in the $1-10,000$ keV band (rest frame at $z=0.15$). The peak isotropic-equivalent luminosity in the $92-920$ keV range (rest frame) was $L_{\rm{iso}}^{\rm{p}}=3.7_{-0.5}^{+2.5}\times10^{52}$ erg s$^{-1}$ and the bolometric peak isotropic-equivalent luminosity was $L_{\rm{iso}}^{\rm{p,bol}}=8.4_{-1.5}^{+2.5}\times10^{52}$ erg s$^{-1}$ (4 s scale) in the $1-10,000$ keV range (rest frame). The peak emitted energy is $E_p^\ast=E_p(1+z)=1120\pm470$ keV. Our measurement of $L_{\rm{iso}}^{\rm{p,bol}}$ is consistent with the Yonetoku relation. It is possible that, due to the spectral evolution of this GRB and orientation of GRBAlpha at the peak time, the true values of peak flux, fluence, $L_{\rm{iso}}$, and $E_{\rm{iso}}$ are even higher. [abridged]


title: GRBAlpha: the smallest astrophysical space observatory -- Part 1: Detector design, system description and satellite operations

abstract: Aims. Since launched on 2021 March 22, the 1U-sized CubeSat GRBAlpha operates and collects scientific data on high-energy transients, making it the smallest astrophysical space observatory to date. GRBAlpha is an in-obit demonstration of a gamma-ray burst (GRB) detector concept suitably small to fit into a standard 1U volume. As it was demonstrated in a companion paper, GRBAlpha adds significant value to the scientific community with accurate characterization of bright GRBs, including the recent outstanding event of GRB 221009A. Methods. The GRB detector is a 75x75x5 mm CsI(Tl) scintillator wrapped in a reflective foil (ESR) read out by an array of SiPM detectors, multi-pixel photon counters by Hamamatsu, driven by two separate, redundant units. To further protect the scintillator block from sunlight and protect the SiPM detectors from particle radiation, we apply a multi-layer structure of Tedlar wrapping, anodized aluminium casing and a lead-alloy shielding on one edge of the assembly. The setup allows observations of gamma radiation within the energy range of 70-890 keV with an energy resolution of ~30%. Results. Here, we summarize the system design of the GRBAlpha mission, including the electronics and software components of the detector, some aspects of the platform as well as the current way of semi-autonomous operations. In addition, details are given about the raw data products and telemetry in order to encourage the community for expansion of the receiver network for our initiatives with GRBAlpha and related experiments.


title: Tail recursion transformation for invertible functions

abstract: Tail recursive functions allow for a wider range of optimisations than general recursive functions. For this reason, much research has gone into the transformation and optimisation of this family of functions, in particular those written in continuation passing style (CPS). Though the CPS transformation, capable of transforming any recursive function to an equivalent tail recursive one, is deeply problematic in the context of reversible programming (as it relies on troublesome features such as higher-order functions), we argue that relaxing (local) reversibility to (global) invertibility drastically improves the situation. On this basis, we present an algorithm for tail recursion conversion specifically for invertible functions. The key insight is that functions introduced by program transformations that preserve invertibility, need only be invertible in the context in which the functions subject of transformation calls them. We show how a bespoke data type, corresponding to such a context, can be used to transform invertible recursive functions into a pair of tail recursive function acting on this context, in a way where calls are highlighted, and from which a tail recursive inverse can be straightforwardly extracted.


title: Pionic transitions from $Z_c(4020)$ to $D$ wave charmonia

abstract: In the present work, we investigate the charmed meson loops contributions to the pionic transitions from $Z_c(4020)^+$ to the $D$ wave triplets charmonia by using an effective Lagrangian approach. Our estimations indicate that the predicted branching fraction of $Z_c(4020)^+ \to \pi^+ \psi(1^3D_J) , \ J=(1,2,3)$ are much smaller than the one of $Z_c(4020)^+ \to \pi^+ h_c $. Thus, searching $Z_c(4020)^\pm$ in the $\pi^\pm \psi(1^3D_J) $ invariant mass distributions is impossible. Thus, the observed peak structures at 4.04 and 4.13 GeV in the $\pi^\pm \psi(3770)$ invariant mass distributions should not come from the contributions of $Z_c(4020)^\pm$, and further precise experimental measurements of the $e^+ e^- \to \pi^+ \pi^- \psi(3770)$ process are needed to decode the nature of these two peak structures.


title: Normative framework for deriving neural networks with multi-compartmental neurons and non-Hebbian plasticity

abstract: An established normative approach for understanding the algorithmic basis of neural computation is to derive online algorithms from principled computational objectives and evaluate their compatibility with anatomical and physiological observations. Similarity matching objectives have served as successful starting points for deriving online algorithms that map onto neural networks (NNs) with point neurons and Hebbian/anti-Hebbian plasticity. These NN models account for many anatomical and physiological observations; however, the objectives have limited computational power and the derived NNs do not explain multi-compartmental neuronal structures and non-Hebbian forms of plasticity that are prevalent throughout the brain. In this article, we unify and generalize recent extensions of the similarity matching approach to address more complex objectives, including a large class of unsupervised and self-supervised learning tasks that can be formulated as symmetric generalized eigenvalue problems or nonnegative matrix factorization problems. Interestingly, the online algorithms derived from these objectives naturally map onto NNs with multi-compartmental neurons and local, non-Hebbian learning rules. Therefore, this unified extension of the similarity matching approach provides a normative framework that facilitates understanding multi-compartmental neuronal structures and non-Hebbian plasticity found throughout the brain.


title: Commutative and Noncommutative Invariant Theory

abstract: The purpose of this survey paper is to bring to a large mathematical audience (containing also non-algebraists) some topics of invariant theory both in the classical commutative and the recent noncommutative case. We have included only several topics from the classical invariant theory -- the finite generating (the Endlichkeitssatz) and the finite presenting (the Basissatz) of the algebra of invariants, the Molien formula for its Hilbert series and the Shephard-Todd-Chevalley theorem for the invariants of a finite group generated by pseudo-reflections. Then we give analogues of these results for free and relatively free associative and Lie algebras. Finally we deal with the algebra of generic matrices and the invariant theory related with it.


title: Energy translation symmetries and dynamics of separable autonomous two-dimensional ODEs

abstract: We study symmetries in the phase plane for separable, autonomous two-state systems of ordinary differential equations (ODEs). We prove two main theoretical results concerning the existence and non-triviality of two orthogonal symmetries for such systems. In particular, we show that these symmetries correspond to translations in the internal energy of the system, and describe their action on solution trajectories in the phase plane. In addition, we apply recent results establishing how phase plane symmetries can be extended to incorporate temporal dynamics to these energy translation symmetries. Subsequently, we apply our theoretical results to the analysis of three models from the field of mathematical biology: a canonical biological oscillator model, the Lotka--Volterra (LV) model describing predator-prey dynamics, and the SIR model describing the spread of a disease in a population. We describe the energy translation symmetries in detail, including their action on biological observables of the models, derive analytic expressions for the extensions to the time domain, and discuss their action on solution trajectories.


title: On some solvability theorems for pseudo-differential equations

abstract: We study a model elliptic pseudo-differential equation and simplest boundary value problems for a half-space and a special cone in Sobolev--Slobodetskii spaces which have different smoothness with respect to separate variables. Sufficient conditions for a unique solvability for such boundary value problems are described.


title: Symmetry control of strong chiral light matter interactions in photonic nanocavities for efficient circularly polarised emission

abstract: Chiral excited electronic states of molecules have an intrinsic sense of handedness, or twist, and are the active component in energy efficient display technologies and in new photosynthetic routes to produce pharmaceuticals. Creating chiral states is achieved by manipulating the twistiness of the geometric molecular structure. This is a demanding problem adding complexity due to the need to precisely control molecular geometry. Here we demonstrate a novel concept for creating chiral excited states which does not rely on molecular structure. Instead, it depends on hybridising a non chiral molecule with a chiral electromagnetic field, producing a hybrid light matter chiral polariton state. This is achieved by a symmetry controlled strong chiral-light matter interaction between an electromagnetic mode of a chiral nanocavity and an achiral molecule, a concept referred to as the electromagnetic enantiomer. This electromagnetic mechanism simplifies the creation of chiral electronic states since it is far less demanding in terms of materials design. We have illustrated the concept using an exemplar system relevant to organic optoelectronic technology, producing efficient circularly polarised emission from a non-chiral emitter molecule.


title: Bilevel learning of regularization models and their discretization for image deblurring and super-resolution

abstract: Bilevel learning is a powerful optimization technique that has extensively been employed in recent years to bridge the world of model-driven variational approaches with data-driven methods. Upon suitable parametrization of the desired quantities of interest (e.g., regularization terms or discretization filters), such approach computes optimal parameter values by solving a nested optimization problem where the variational model acts as a constraint. In this work, we consider two different use cases of bilevel learning for the problem of image restoration. First, we focus on learning scalar weights and convolutional filters defining a Field of Experts regularizer to restore natural images degraded by blur and noise. For improving the practical performance, the lower-level problem is solved by means of a gradient descent scheme combined with a line-search strategy based on the Barzilai-Borwein rule. As a second application, the bilevel setup is employed for learning a discretization of the popular total variation regularizer for solving image restoration problems (in particular, deblurring and super-resolution). Numerical results show the effectiveness of the approach and their generalization to multiple tasks.


title: An Accurate Model to Estimate 5G Propagation Path Loss for the Indoor Environment

abstract: This paper presents a new large-scale propagation path loss model to design a fifth-generation (5G) wireless communication system for indoor environments. Simulations for the indoor environment, for all polarization at non-line-of-sight (NLOS) and line-of-sight (LOS), which are performed per meter over a distance of 47 m between each of the separated transmitter antenna (TX) and the receiver antenna (RX) positions to compare better the proposed extensive flexible path loss model with previous models. All the simulations are conducted at the Abu-rayhan buildings at the Amirkabir University of Technology. The results demonstrated that the simple presented model with a single parameter denoted ZMS can predict the expansive path loss over distance more accurately. The values of the path loss exponent (PLE) for the LOS scenario are simulated and achieved at 3.63, 1.81, and 3.42 for the V-H, V-V, and V-Omni antenna polarizations, and for NLOS is 6.11, 4.21, and 5.23 at the 28 GHz frequency for all the polarization antenna type V-H, V-V, and V-Omni, appropriately.


title: Differentiable Arbitrating in Zero-sum Markov Games

abstract: We initiate the study of how to perturb the reward in a zero-sum Markov game with two players to induce a desirable Nash equilibrium, namely arbitrating. Such a problem admits a bi-level optimization formulation. The lower level requires solving the Nash equilibrium under a given reward function, which makes the overall problem challenging to optimize in an end-to-end way. We propose a backpropagation scheme that differentiates through the Nash equilibrium, which provides the gradient feedback for the upper level. In particular, our method only requires a black-box solver for the (regularized) Nash equilibrium (NE). We develop the convergence analysis for the proposed framework with proper black-box NE solvers and demonstrate the empirical successes in two multi-agent reinforcement learning (MARL) environments.


title: The ASTRI Mini-Array: in the search for hidden Pevatrons

abstract: Despite the enormous efforts done in very recent years, both theoretically and experimentally, the basic three questions about the cosmic rays origin remain without clear answers: what are their sources, how are they accelerated, how do they propagate? Gamma-ray astronomy plays a fundamental role in this field. Both relativistic protons and electrons can emit in the gamma-ray band through different processes, but only the detection of hadronic gamma-ray emission can probe the acceleration of cosmic rays. In particular, due to the Klein-Nishina suppression of inverse Compton emission at the highest energies, the detection of gamma-ray emission above 100 TeV was expected to provide firm proof of the acceleration of PeV hadrons. However, the recent results published by the LHAASO collaboration revealed the existence of several PeV sources likely related to PWNe, well known leptonic factories (e.g. the Crab Nebula for all). As a consequence, a gamma-ray detection at PeV energies may no longer be the final proof of hadronic acceleration. However, the limited angular resolution of LHAASO makes associations uncertain and more detailed and deeper studies are needed. In this context, the ASTRI Mini-Array, with its unprecedented sensitivity and angular resolution at E>10 TeV, not only can extend the gamma-ray spectra of candidate Cosmic Ray factories but could help to distinguish emission regions from PWNe and other LHAASO sources, shedding light on the nature of the highest energy emission.


title: The $p$-colorable subgroup of Thompson's group

abstract: Recently, Jones introduced a method of constructing knots and links from elements of Thompson's group $F$ by using its unitary representations. He also defined several subgroups of $F$ as the stabilizer subgroups and some researchers studied them algebraically. One of the subgroups is called the 3-colorable subgroup $\mathcal{F}$, and the authors proved that all knots and links obtained from non-trivial elements of $\mathcal{F}$ are 3-colorable. In this paper, for any odd integer $p$ greater than two, we define the $p$-colorable subgroup of $F$ whose non-trivial elements yield $p$-colorable knots and links and show it is isomorphic to the certain Brown--Thompson group.


title: On the Jensen convexity of quasideviation and Bajraktarevi\'c means

abstract: Motivated by the characterization theorem about the Jensen convexity of quasiarithmetic means obtained by the authors in 2021, our main goal is to establish a characterization of the Jensen convexity of quasideviation as well as of Bajraktarevi\'c means without any additional and unnatural regularity assumptions.


title: An evaluation of deep learning models for predicting water depth evolution in urban floods

abstract: In this technical report we compare different deep learning models for prediction of water depth rasters at high spatial resolution. Efficient, accurate, and fast methods for water depth prediction are nowadays important as urban floods are increasing due to higher rainfall intensity caused by climate change, expansion of cities and changes in land use. While hydrodynamic models models can provide reliable forecasts by simulating water depth at every location of a catchment, they also have a high computational burden which jeopardizes their application to real-time prediction in large urban areas at high spatial resolution. Here, we propose to address this issue by using data-driven techniques. Specifically, we evaluate deep learning models which are trained to reproduce the data simulated by the CADDIES cellular-automata flood model, providing flood forecasts that can occur at different future time horizons. The advantage of using such models is that they can learn the underlying physical phenomena a priori, preventing manual parameter setting and computational burden. We perform experiments on a dataset consisting of two catchments areas within Switzerland with 18 simpler, short rainfall patterns and 4 long, more complex ones. Our results show that the deep learning models present in general lower errors compared to the other methods, especially for water depths $>0.5m$. However, when testing on more complex rainfall events or unseen catchment areas, the deep models do not show benefits over the simpler ones.


title: Super band gaps and periodic approximants of generalised Fibonacci tilings

abstract: We present mathematical theory for understanding the transmission spectra of heterogeneous materials formed by generalised Fibonacci tilings. Our results, firstly, characterise super band gaps, which are spectral gaps that exist for any periodic approximant of the quasicrystalline material. This theory, secondly, establishes the veracity of these periodic approximants, in the sense that they faithfully reproduce the main spectral gaps. We characterise super band gaps in terms of a growth condition on the traces of the associated transfer matrices. Our theory includes a large family of generalised Fibonacci tilings, including both precious mean and metal mean patterns. We demonstrate our fundamental results through the analysis of three different one-dimensional wave phenomena: compressional waves in a discrete mass-spring system, axial waves in structured rods and flexural waves in multi-supported beams. In all three cases, the theory is shown to give accurate predictions of the super band gaps, with negligible computational cost and with significantly greater precision than previous estimates.


title: On minimal easily computable dimension group algebras, and group codes

abstract: Finite semisimple group algebras for which all the minimal ideals are easily computable dimension (ECD) are characterized and some lower bounds for the minimum Hamming distance of group codes in these algebras are offered. Examples illustrating the main results are provided.


title: Yet another fast variant of Newton's method for nonconvex optimization

abstract: A class of second-order algorithms is proposed for minimizing smooth nonconvex functions that alternates between regularized Newton and negative curvature steps in an iteration-dependent subspace. In most cases, the Hessian matrix is regularized with the square root of the current gradient and an additional term taking moderate negative curvature into account, a negative curvature step being taken only exceptionally. Practical variants have been detailed where the subspaces are chosen to be the full space, or Krylov subspaces. In the first case, the proposed method only requires the solution of a single linear system at nearly all iterations. We establish that at most $\mathcal{O}\left(|\log\epsilon|\,\epsilon^{-3/2}\right)$ evaluations of the problem's objective function and derivatives are needed for algorithms in the new class to obtain an $\epsilon$-approximate first-order minimizer, and at most $\mathcal{O}\left(|\log\epsilon|\,\epsilon^{-3}\right)$ to obtain a second-order one. Encouraging initial numerical experiments with two full-space and two Krylov-subspaces variants are finally presented.


title: Sharp analysis of EM for learning mixtures of pairwise differences

abstract: We consider a symmetric mixture of linear regressions with random samples from the pairwise comparison design, which can be seen as a noisy version of a type of Euclidean distance geometry problem. We analyze the expectation-maximization (EM) algorithm locally around the ground truth and establish that the sequence converges linearly, providing an $\ell_\infty$-norm guarantee on the estimation error of the iterates. Furthermore, we show that the limit of the EM sequence achieves the sharp rate of estimation in the $\ell_2$-norm, matching the information-theoretically optimal constant. We also argue through simulation that convergence from a random initialization is much more delicate in this setting, and does not appear to occur in general. Our results show that the EM algorithm can exhibit several unique behaviors when the covariate distribution is suitably structured.


title: Influence of self-disassembly of bridges on collective flow characteristics of swarm robots in a single-lane and periodic system with a gap

abstract: Inspired by the living bridges formed by ants, swarm robots have been developed to self-assemble bridges to span gaps and self-disassemble them. Self-disassembly of bridges (SDB) may increase the transport efficiency of swarm robots by increasing the number of moving robots, and also may decrease the efficiency by causing gaps to reappear. Our aim is to elucidate the influence of SDB on the collective flow characteristics of swarm robots in a single-lane and periodic system with a gap. In the system, robots span and cross the gap by self-assembling a single-layer bridge. We consider two scenarios in which SDB is prevented (prevent-scenario) or allowed (allow-scenario). We represent the horizontal movement of robots with a typical car-following model, and simply model the actions of robots for self-assembling and self-disassembling bridges. Numerical simulations have revealed the following results. Flow-density diagrams in both the scenarios shift to the higher-density region as the gap length increases. When density is low, allow-scenario exhibits the steady state of repeated self-assembly and self-disassembly of bridges. If density is extremely low, flow in this state is greater than flow in prevent-scenario owing to the increase in the number of robots moving horizontally. Otherwise, flow in this state is smaller than flow in prevent-scenario. Besides, flow in this state increases monotonically with respect to the velocity of robots in joining and leaving bridges. Thus, SDB is recommended for only extremely low-density conditions in periodic systems. Moreover, we have found hysteresis under the absence of periodic boundary conditions (in an open system). This study contributes to the development of the collective dynamics of self-driven particles that self-assemble structures, and stirs the dynamics with other self-assembled structures, such as ramps, chains, and towers.


title: On posets, monomial ideals, Gorenstein ideals and their combinatorics

abstract: In this article we first compare the set of elements in the socle of an ideal of a polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ that are not in the ideal itself and Macaulay's inverse systems of such polynomial algebras in a purely combinatorial way for monomial ideals, and then develop some closure operational properties for the related poset ${{\nats}_0^d}$. We then derive some algebraic propositions of $\Gamma$-graded rings that then have some combinatorial consequences. Interestingly, some of the results from this part that uniformly hold for polynomial rings are always false when the ring is local. We finally delve into some direct computations, w.r.t.~a given term order of the monomials, for general zero-dimensional Gorenstein ideals and deduce a few explicit observations and results for the inverse systems from some recent results about socles.


title: A Study on V2G impact on the Reliability of Modern Distribution Networks

abstract: The increased penetration of electrical vehicles (EVs) in the distribution system creates a power system with many small moving batteries. With better charging technologies and market structures, the opportunity of using EVs for reliability purposes increases. By utilizing EVs for Vehicle-to-Grid (V2G), they can support the distribution network during outages or other issues. In this paper, we aim to investigate the impact V2G has on the reliability of modern distribution networks. We propose three new EV-oriented reliability indices to provide an overview of the impact experienced by the EVs in the system. For the reliability study, we use our developed reliability assessment tool for distribution networks. The tool is an open available software where the example network and datasets are embedded. We have extended this reliability tool to include a method for evaluating and calculating the reliability of distribution networks containing EVs with V2G possibilities. The paper also includes a thorough sensitivity analysis to further investigate the V2G impact of different parameters.


title: Metrization of powers of the Jensen-Shannon divergence

abstract: Metrization of statistical divergences is useful in both theoretical and practical aspects. Considering the fractional powers of statistical divergences is one way to obtain metrics associated with divergences. With this motivation, Os\'an, Bussandri, and Lamberti (2018) considered metrizations for the fractional powers of the Jensen-Shannon divergences between multinomial distributions and gave an open problem. In this short note, we give an affirmative answer to their conjecture. This method is also applicable to powers of f-divergences between the Cauchy distribution.


title: Some Polynomial Conditions of Cyclic Quadrilaterals, Tilted Kites and Other Quadrilaterals

abstract: In this paper, we investigate some polynomial conditions that arise from Euclidean geometry. First we study polynomials related to quadrilaterals with supplementary angles, this includes convex cyclic quadrilaterals, as well as certain concave quadrilaterals. Then we consider polynomials associated with quadrilaterals with some equal angles, which include convex and concave tilted kites. Some of the results are proved using Groebner bases computations.


title: Consistent Constraints on the Equivalence Principle from localised Fast Radio Bursts

abstract: Fast Radio Bursts (FRBs) are short astrophysical transients of extragalactic origin. Their burst signal is dispersed by the free electrons in the large-scale-structure (LSS), leading to delayed arrival times at different frequencies. Another potential source of time delay is the well known Shapiro delay, which measures the space-space and time-time metric perturbations along the line-of-sight. If photons of different frequencies follow different trajectories, i.e. if the universality of free fall guaranteed by the weak equivalence principle (WEP) is violated, they would experience an additional relative delay. This quantity, however, is not an observable on the background level as it is not gauge independent, which has led to confusion in previous papers. Instead, an imprint can be seen in the correlation between the time delays of different pulses. In this paper, we derive robust and consistent constraints from twelve localised FRBs on the violation of the WEP in the energy range between 4.6 and 6 meV. In contrast to a number of previous studies, we consider our signal to be not in the model, but in the covariance matrix of the likelihood. To do so, we calculate the covariance of the time delays induced by the free electrons in the LSS, the WEP breaking terms, the Milky Way and host galaxy. By marginalising over both host galaxy contribution and the contribution from the free electrons, we find that the parametrised post-Newtonian parameter $\gamma$ characterising the WEP violation must be constant in this energy range to 1 in $10^{13}$ at 68$\;\%$ confidence. These are the tightest constraints to-date on $\Delta\gamma$ in this low energy range.


title: Implementation of DNN Based Data Detector for QPSK Systems

abstract: In this project, the Quadrature Phase Shift Keying (QPSK) digital modulation scheme was implemented using Software Defined Radios (SDRs). For this system, a deep learning based detector was proposed and implemented alongside the conventional method. The implementation was successfully achieved for both the conventional and deep learning based data detection techniques, despite the challenges faced. The results show that the proposed deep learning method is able to outperform the conventional detector. The code of this project is made publicly accessible at https://github.com/ABadi13/QPSK_SDR_DNN_Detector.


title: Quantum routing in planar graph using perfect state transfer

abstract: In this article, we consider a spin-spin interaction network governed by $XX + YY$ Hamiltonian. The vertices and edges of the network represent the spin objects and their interactions, respectively. We take a privilege to switch on or off any interaction, that assists us to perform multiple perfect state transfers in a graph simultaneously. We also build up a salable network allowing quantum communication between two arbitrary vertices. Later we utilize the combinatorial characteristics of hypercube graphs to propose a static routing schema to communicate simultaneously between a set of senders and a set of receivers in a planar network. Our construction is new and significantly powerful. We elaborate multiple examples of planar graphs supporting quantum routing where classical routing is not possible.


title: Fayet-Iliopoulos D-Term in Non-Supersymmetric Heterotic String Orbifolds

abstract: The Fayet-Iliopoulos $D$-term is a common feature in $\mathcal{N}=1$ string vacua that contain an anomalous $U(1)$ gauge symmetry, and arises from a one--loop diagram in string perturbation theory. The same diagram is generated in string vacua in which supersymmetry is broken directly at the string scale, either via spontaneous Scherk-Schwarz breaking, in which case the gravitino mass is determined by the radius of the circle used in the Scherk-Schwarz mechanism, or via explicit supersymmetry breaking by the GSO projections. We analyse the resulting would-be Fayet-Illiopoulos $D$-term in the non-supersymmetric string vacua and its contribution to the vacuum energy. A numerical estimate in an explicit tachyon-free string-derived model suggests that the would-be $D$-term contribution may uplift the vacuum energy to a positive value.


title: Symphony: Expressive Secure Multiparty Computation with Coordination

abstract: Context: Secure Multiparty Computation (MPC) refers to a family of cryptographic techniques where mutually untrusting parties may compute functions of their private inputs while revealing only the function output. Inquiry: It can be hard to program MPCs correctly and efficiently using existing languages and frameworks, especially when they require coordinating disparate computational roles. How can we make this easier? Approach: We present Symphony, a new functional programming language for MPCs among two or more parties. Symphony starts from the single-instruction, multiple-data (SIMD) semantics of prior MPC languages, in which each party carries out symmetric responsibilities, and generalizes it using constructs that can coordinate many parties. Symphony introduces **first-class shares** and **first-class party sets** to provide unmatched language-level expressive power with high efficiency. Knowledge: Developing a core formal language called $\lambda$-Symphony, we prove that the intuitive, generalized SIMD view of a program coincides with its actual distributed semantics. Thus the programmer can reason about her programs by reading them from top to bottom, even though in reality the program runs in a coordinated fashion, distributed across many machines. We implemented a prototype interpreter for Symphony leveraging multiple cryptographic backends. With it we wrote a variety of MPC programs, finding that Symphony can express optimized protocols that other languages cannot, and that in general Symphony programs operate efficiently. [ full abstract at https://doi.org/10.22152/programming-journal.org/2023/7/14 ]


title: Smooth projective surfaces with pseudo-effective tangent bundles

abstract: Let $S$ be a non-uniruled (i.e., non-birationally ruled) smooth projective surface. We show that the tangent bundle $T_S$ is pseudo-effective if and only if the canonical divisor $K_S$ is nef and the second Chern class vanishes, i.e., $c_2(S)=0$. Moreover, we study the blow-up of a non-rational ruled surface with pseudo-effective tangent bundle.


title: Transmission and conductance across junctions of isotropic and anisotropic three-dimensional semimetals

abstract: We compute the transmission coefficients and zero-temperature conductance for chiral quasiparticles propagating through various geometries, which consist of junctions of three-dimensional nodal-point semimetals. In the first scenario, we consider a potential step with two Rarita-Schwinger-Weyl or two birefringent semimetals, which are tilted with respect to the other on the two sides of the junction. The second set-up consists of a junction between a doped Dirac semimetal and a ferromagnetic Weyl semimetal, where an intrinsic magnetization present in the latter splits the doubly-degenerate Dirac node into a pair of Weyl nodes. A scalar potential is also applied in the region where the Weyl semimetal phase exists. Finally, we study sandwiches of Weyl/multi-Weyl semimetals, with the middle region being subjected to both scalar and vector potentials. Our results show that a nonzero transmission spectrum exists where the areas, enclosed by the Fermi surface projections (in the plane perpendicular to the propagation axis) of the incidence and transmission regions, overlap. Such features can help engineer unidirectional carrier propagation, topologically protected against impurity backscattering, because of the chiral nature of the charge carriers.


title: Restrictions on manifolds admitting certain explicit special-generic-like maps and construction of maps with the manifolds

abstract: Special-generic-like maps or SGL maps are introduced by the author motivated by observing and investigating algebraic topological or differential topological properties of manifolds via nice smooth maps whose codimensions are negative. The present paper says that manifolds admitting certain very explicit SGL maps are topologically restricted strongly and this also constructs these maps with the manifolds explicitly. Morse functions with exactly two singular points on spheres or functions in Reeb's theorem and canonical projections of naturally embedded spheres in Euclidean spaces are generali5zed as special generic maps. Their nice global structures motivate us to study such maps and the manifolds. Manifolds represented as connected sums of the product of spheres and similar ones admit such maps in considerable cases. The topologies and the differentiable structures of the manifolds of the domains of such maps are also strongly restricted: due to Saeki and Sakuma, followed by Nishioka, Wrazidlo and the author. Respecting their nice global structures, these maps are generalized and this yields SGL maps.


title: The spectra of IceCube Neutrino (SIN) candidate sources -- III. Optical spectroscopy and source characterization of the full sample

abstract: A correlation between astrophysical high-energy neutrinos and blazars has been suggested by various authors. In particular, a likely association between IceCube events and intermediate and high-energy peaked BL Lac objects has led to a sample of 47 objects having a high probability of being neutrino sources. In the first paper of this series we reported optical spectroscopy of 17 objects, which together with data taken from the literature covered 80 per cent of the sample. Here we present spectroscopy obtained at large aperture telescopes of a further 17 objects (plus four additional targets), which completes the sample coverage. For twelve objects we are able to determine the redshift (0.07 < z <1.6), while for the others we set a lower limit on it, based on either the robust detection of intervening absorption systems or on an estimation derived from the absence of spectral signatures of the host galaxy. With these new data we expand and reinforce the main results of our previous papers, namely the fact that in terms of their broad-band properties our sources appear to be indistinguishable from the rest of the blazar population and the relatively large (>34 per cent and possibly as high as 80 per cent) fraction of masquerading BL Lac objects, for which the low equivalent width of the emission lines is due to the brightness of the boosted continuum, rather than being an intrinsic property, in our sample.


title: Improved dimension dependence of a proximal algorithm for sampling

abstract: We propose a sampling algorithm that achieves superior complexity bounds in all the classical settings (strongly log-concave, log-concave, Logarithmic-Sobolev inequality (LSI), Poincar\'e inequality) as well as more general settings with semi-smooth or composite potentials. Our algorithm is based on the proximal sampler introduced in~\citet{lee2021structured}. The performance of this proximal sampler is determined by that of the restricted Gaussian oracle (RGO), a key step in the proximal sampler. The main contribution of this work is an inexact realization of RGO based on approximate rejection sampling. To bound the inexactness of RGO, we establish a new concentration inequality for semi-smooth functions over Gaussian distributions, extending the well-known concentration inequality for Lipschitz functions. Applying our RGO implementation to the proximal sampler, we achieve state-of-the-art complexity bounds in almost all settings. For instance, for strongly log-concave distributions, our method has complexity bound $\tilde\mathcal{O}(\kappa d^{1/2})$ without warm start, better than the minimax bound for MALA. For distributions satisfying the LSI, our bound is $\tilde \mathcal{O}(\hat \kappa d^{1/2})$ where $\hat \kappa$ is the ratio between smoothness and the LSI constant, better than all existing bounds.


title: UAVStereo: A Multiple Resolution Dataset for Stereo Matching in UAV Scenarios

abstract: Stereo matching is a fundamental task for 3D scene reconstruction. Recently, deep learning based methods have proven effective on some benchmark datasets, such as KITTI and Scene Flow. UAVs (Unmanned Aerial Vehicles) are commonly utilized for surface observation, and their captured images are frequently used for detailed 3D reconstruction due to high resolution and low-altitude acquisition. At present, the mainstream supervised learning network requires a significant amount of training data with ground-truth labels to learn model parameters. However, due to the scarcity of UAV stereo matching datasets, the learning-based network cannot be applied to UAV images. To facilitate further research, this paper proposes a novel pipeline to generate accurate and dense disparity maps using detailed meshes reconstructed by UAV images and LiDAR point clouds. Through the proposed pipeline, this paper constructs a multi-resolution UAV scenario dataset, called UAVStereo, with over 34k stereo image pairs covering 3 typical scenes. As far as we know, UAVStereo is the first stereo matching dataset of UAV low-altitude scenarios. The dataset includes synthetic and real stereo pairs to enable generalization from the synthetic domain to the real domain. Furthermore, our UAVStereo dataset provides multi-resolution and multi-scene images pairs to accommodate a variety of sensors and environments. In this paper, we evaluate traditional and state-of-the-art deep learning methods, highlighting their limitations in addressing challenges in UAV scenarios and offering suggestions for future research. The dataset is available at https://github.com/rebecca0011/UAVStereo.git


title: DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm

abstract: This note describes a new efficient bit-slice implementation DenseQMC of the Quine-McCluskey algorithm for finding all prime implicants of a Boolean function in the dense case. It is practically feasible for n <= 23 when run on a common laptop or for n <= 27 when run on a server with 1 TiB RAM. This note also outlines a very common mistake in the implementations of the Quine-McCluskey algorithm, leading to a quadratic slowdown. An optimized corrected implementation of the classic approach is also given (called SparseQMC). The implementation is freely available at https://github.com/hellman/Quine-McCluskey .


title: OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols

abstract: Recent secure aggregation protocols enable privacy-preserving federated learning for high-dimensional models among thousands or even millions of participants. Due to the scale of these use cases, however, end-to-end empirical evaluation of these protocols is impossible. We present OLYMPIA, a framework for empirical evaluation of secure protocols via simulation. OLYMPIA. provides an embedded domain-specific language for defining protocols, and a simulation framework for evaluating their performance. We implement several recent secure aggregation protocols using OLYMPIA, and perform the first empirical comparison of their end-to-end running times. We release OLYMPIA as open source.


title: Hiding Dust Around $\epsilon$ Eridani

abstract: With a Jupiter-like exoplanet and a debris disk with both asteroid and Kuiper belt analogs, $\epsilon$ Eridani has a fascinating resemblance to our expectations for a young Solar System. We present a deep HST/STIS coronographic dataset using eight orbit visits and the PSF calibrator $\delta$ Eridani. While we were unable to detect the debris disk, we place stringent constraints on the scattered light surface brightness of $\sim 4 \, \mu Jy/arcsec^{2}$. We combine this scattered light detection limit with a reanalysis of archival near and mid-infrared observations and a dynamical model of the full planetary system to refine our model of the $\epsilon$ Eridani debris disk components. Radiative transfer modeling suggests an asteroid belt analog inside of 3 au, an intermediate disk component in the 6 - 37 au region and a Kuiper belt analog co-located with the narrow belt observed in the millimeter (69 au). Modeling also suggests a large minimum grain size requiring either very porous grains or a suppression of small grain production, and a radially stratified particle size distribution. The inner disk regions require a steep power law slope ($s^{-3.8}$ where $s$ is the grain size) weighted towards smaller grains and the outer disk prefers a shallower slope ($s^{-3.4}$) with a minimum particle size of $> 2 \, \mu m$. These conclusions will be enhanced by upcoming coronographic observations of the system with the James Webb Space Telescope, which will pinpoint the radial location of the dust belts and further diagnose the dust particle properties.


title: A Two-Sided Discussion of Preregistration of NLP Research

abstract: Van Miltenburg et al. (2021) suggest NLP research should adopt preregistration to prevent fishing expeditions and to promote publication of negative results. At face value, this is a very reasonable suggestion, seemingly solving many methodological problems with NLP research. We discuss pros and cons -- some old, some new: a) Preregistration is challenged by the practice of retrieving hypotheses after the results are known; b) preregistration may bias NLP toward confirmatory research; c) preregistration must allow for reclassification of research as exploratory; d) preregistration may increase publication bias; e) preregistration may increase flag-planting; f) preregistration may increase p-hacking; and finally, g) preregistration may make us less risk tolerant. We cast our discussion as a dialogue, presenting both sides of the debate.


title: Specifying Autonomous System Behaviour

abstract: Specifying the intended behaviour of autonomous systems is becoming increasingly important but is fraught with many challenges. This technical report provides an overview of existing work on specifications of autonomous systems and places a particular emphasis on formal specification, i.e. mathematically rigorous approaches to specification that require an appropriate formalism. Given the breadth of this domain, our coverage is necessarily incomplete but serves to provide a brief introduction to some of the difficulties that specifying autonomous systems entails, as well as existing approaches to addressing these difficulties currently pursued in academia and industry.


title: Registered Report : Perception of Other's Musical Preferences Based on Their Personal Values

abstract: The present work is part of a research line seeking to uncover the mysteries of what lies behind people's musical preferences in order to provide better music recommendations. More specifically, it takes the angle of personal values. Personal values are what we as people strive for, and are a popular tool in marketing research to understand customer preferences for certain types of product. Therefore, it makes sense to explore their usefulness in the music domain. Based on a previous qualitative work using the Means-End theory, we designed a survey in an attempt to more quantitatively approach the relationship between personal values and musical preferences. We support our approach with a simulation study as a tool to improve the experimental procedure and decisions.


title: On the Uniqueness of Co-circular Four Body Central Configurations

abstract: We study central configurations lying on a common circle in the Newtonian four-body problem. Using a topological argument we prove that there is at most one co-circular central configuration for each cyclic ordering of the masses on the circle.


title: Existence Conditions for Dilation Families

abstract: This article describes a structure that metric spaces can be equipped with so that they resemble normed vector spaces and examines necessary and sufficient conditions for the existence of such a structure on a general metric space.


title: Isoperimetric problem and structure at infinity on Alexandrov spaces with nonnegative curvature

abstract: In this paper we consider nonnegatively curved finite dimensional Alexandrov spaces such that unit balls have volumes uniformly bounded from below away from zero. We study the relation between the isoperimetric profile, the existence of isoperimetric sets, and the asymptotic structure at infinity of such spaces. In the previous setting, we prove that the following conditions are equivalent: the space has linear volume growth; it is Gromov--Hausdorff asymptotic to one cylinder at infinity; it has uniformly bounded isoperimetric profile; the entire space is a tubular neighborhood of either a line or a ray. Moreover, on a space satisfying any of the previous conditions, we prove existence of isoperimetric sets for sufficiently large volumes, and, in such generality, we characterize the geometric rigidity at the level of the isoperimetric profile. Specializing our study to the $2$-dimensional case, we prove that unit balls have always volumes uniformly bounded from below away from zero, and we prove existence of isoperimetric sets for every volume, characterizing also their topology when the space has no boundary. The proofs exploit an approach by direct method and the results in particular apply to Riemannian manifolds with nonnegative sectional curvature and to Euclidean convex bodies. Up to the authors' knowledge, most of the results are new even in these smooth cases.


title: Statistical QoS Provisioning Analysis and Performance Optimization in xURLLC-enabled Massive MU-MIMO Networks: A Stochastic Network Calculus Perspective

abstract: In this paper, fundamentals and performance tradeoffs of the neXt-generation ultra-reliable and low-latency communication (xURLLC) are investigated from the perspective of stochastic network calculus (SNC). An xURLLC-enabled massive MU-MIMO system model has been developed to accommodate xURLLC features. By leveraging and promoting SNC, we provide a quantitative statistical quality of service (QoS) provisioning analysis and derive the closed-form expression of upper-bounded statistical delay violation probability (UB-SDVP). Based on the proposed theoretical framework, we formulate the UB-SDVP minimization problem that is first degenerated into a one-dimensional integer-search problem by deriving the minimum error probability (EP) detector, and then efficiently solved by the integer-form Golden-Section search algorithm. Moreover, two novel concepts, EP-based effective capacity (EP-EC) and EP-based energy efficiency (EP-EE) have been defined to characterize the tail distributions and performance tradeoffs for xURLLC. Subsequently, we formulate the EP-EC and EP-EE maximization problems and prove that the EP-EC maximization problem is equivalent to the UB-SDVP minimization problem, while the EP-EE maximization problem is solved with a low-complexity outer-descent inner-search collaborative algorithm. Extensive simulations demonstrate that the proposed framework in reducing computational complexity compared to reference schemes, and in providing various tradeoffs and optimization performance of xURLLC concerning UB-SDVP, EP, EP-EC, and EP-EE.


title: Progressive Ensemble Distillation: Building Ensembles for Efficient Inference

abstract: We study the problem of progressive ensemble distillation: Given a large, pretrained teacher model $g$, we seek to decompose the model into smaller, low-inference cost student models $f_i$, such that progressively evaluating additional models in this ensemble leads to improved predictions. The resulting ensemble allows for flexibly tuning accuracy vs. inference cost at runtime, which is useful for a number of applications in on-device inference. The method we propose, B-DISTIL , relies on an algorithmic procedure that uses function composition over intermediate activations to construct expressive ensembles with similar performance as $g$ , but with smaller student models. We demonstrate the effectiveness of B-DISTIL by decomposing pretrained models across standard image, speech, and sensor datasets. We also provide theoretical guarantees in terms of convergence and generalization.


title: Properties of the eigenmodes and quantum-chaotic scattering in a superconducting microwave Dirac billiard with threefold rotational symmetry

abstract: We report on experimental studies that were performed with a microwave Dirac billiard (DB), that is, a flat resonator containing metallic cylinders arranged on a triangular grid, whose shape has a threefold rotational C3 symmetry. Its band structure exhibits two Dirac points (DPs) that are separated by a nearly flat band. We present a procedure which we employed to identify eigenfrequencies and to separate the eigenstates according to their transformation properties under rotation by 60 degree into the three C3 subspaces. This allows us to verify previous numerical results of Ref. [W.Zhang and B. Dietz, Phys. Rev. B 104, 064310 (2021)], thus confirming that the properties of the eigenmodes coincide with those of artificial graphene around the lower DP, and are well described by a tight-binding model (TBM) for a honeycomb-kagome lattice of corresponding shape. Above all, we investigate properties of the wave-function components in terms of the fluctuation properties of the measured scattering matrix, which are numerically not accessible. They are compared to random-matrix theory predictions for quantum-chaotic scattering systems exhibiting extended or localized states in the interaction region, that is, the DB. Even in regions, where the wave functions are localized, the spectral properties coincide with those of typical quantum systems with chaotic classical counterpart.


title: Conformal Prediction for Network-Assisted Regression

abstract: An important problem in network analysis is predicting a node attribute using both network covariates, such as graph embedding coordinates or local subgraph counts, and conventional node covariates, such as demographic characteristics. While standard regression methods that make use of both types of covariates may be used for prediction, statistical inference is complicated by the fact that the nodal summary statistics are often dependent in complex ways. We show that under a mild joint exchangeability assumption, a network analog of conformal prediction achieves finite sample validity for a wide range of network covariates. We also show that a form of asymptotic conditional validity is achievable. The methods are illustrated on both simulated networks and a citation network dataset.


title: Similarity

abstract: Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative justification-based notion of similarity based on the observation that sets of generalizations encode important properties of elements. We show that similarity defined in this way has appealing mathematical properties. As we construct our notion of similarity from first principles using only elementary concepts of universal algebra, to convince the reader of its plausibility, we show that it can be naturally embedded into first-order logic via model-theoretic types.


title: Infrared ellipsometry study of the charge dynamics in K3p-terphenyl

abstract: We report an infrared ellipsometry study of the charge carrier dynamics in polycrystalline Kxp-terphenyl samples with nominal $x=3$, for which signatures of high-temperature superconductivity were previously reported. The infrared spectra are dominated by two Lorentzian bands with maxima around 4 000 cm$^{-1}$ and 12 000 cm$^{-1}$ which, from a comparison with calculations based on a H\"uckel model are assigned to intra-molecular excitations of $\pi$ electrons of the anionic p-terphenyl molecules. The inter-molecular electronic excitations are much weaker and give rise to a Drude peak and a similarly weak Lorentzian band around 220 cm$^{-1}$. A dc resistivity of about 0.3 $\Omega$ cm at 300 K is deduced from the IR data, comparable to values measured by electrical resistivity on a twin sample. The analysis of the temperature dependence of the low-frequency response reveals a gradual decrease of the plasma frequency and the scattering rate of the Drude peak below 300 K that gets anomalously enhanced below 90 K. The corresponding missing spectral weight of the Drude peak appears blue-shifted towards the Lorentz-band at 220 cm$^{-1}$. This characteristic blue-shift signifies an enhanced localization of the charge carriers at low temperatures and contrasts the behavior expected for a bulk superconducting state for which the missing spectral weight would be redshifted to a delta-function at zero frequency that accounts for the loss-free response of the superconducting condensate. Our data might still be compatible with a filamentary superconducting state with a volume fraction well below the percolation limit for which the spatial confinement of the condensate can result in a plasmonic resonance at finite frequency.


title: Control Flow Duplication for Columnar Arrays in a Dynamic Compiler

abstract: Columnar databases are an established way to speed up online analytical processing (OLAP) queries. Nowadays, data processing (e.g., storage, visualization, and analytics) is often performed at the programming language level, hence it is desirable to also adopt columnar data structures for common language runtimes. While there are frameworks, libraries, and APIs to enable columnar data stores in programming languages, their integration into applications typically requires developer interference. In prior work, researchers implemented an approach for *automated* transformation of arrays into columnar arrays in the GraalVM JavaScript runtime. However, this approach suffers from performance issues on smaller workloads as well as on more complex nested data structures. We find that the key to optimizing accesses to columnar arrays is to identify queries and apply specific optimizations to them. In this paper, we describe novel compiler optimizations in the GraalVM Compiler that optimize queries on columnar arrays. At JIT compile time, we identify loops that access potentially columnar arrays and duplicate them in order to specifically optimize accesses to columnar arrays. Additionally, we describe a new approach for creating columnar arrays from arrays consisting of complex objects by performing **multi-level storage transformation**. We demonstrate our approach via an implementation for JavaScript `Date` objects. [ full abstract at https://doi.org/10.22152/programming-journal.org/2023/7/9 ]


title: On photonic tunnelling and the possibility of superluminal transport of electromagnetic energy

abstract: Motivated by increased interest in experiments in which light appears to propagate by tunnelling at superluminal velocity, the Lorentz invariant theory proposed by Partha Ghose to explain these surprising effects is revisited. This theory is based on the Harish-Chandra formalism, which describes the relativistic dynamics of a massless spin-1 boson, like a photon. Via this formalism, the Bohmian average transport velocity of the electromagnetic energy is formulated. It is proved that, if the dielectric making the waveguide is nonabsorptive and nondispersive, this velocity can be superluminal. This result is validated in the framework of quantum electrodynamics, demonstrating that the average velocity of the photon inside the waveguide is given by the contribution of instantaneous superluminal velocities. This theory, therefore, suggests the optimal conditions for designing optical devices capable of locally transporting electromagnetic energy at superluminal velocities mitigating the signal attenuation.


title: Electromagnetic instability of compact axion stars

abstract: If the dark matter is composed of axions, then axion stars are expected to be abundant in the Universe. We demonstrate in fully non-linear (3+1) numerical relativity the instability of compact axion stars due to the electromagnetic Chern-Simons term. We show that above the critical coupling constant $g_{a\gamma}^\mathrm{crit} \propto M_s^{-1.35}$, compact axion stars of mass $M_s$ are unstable. The instability is caused by parametric resonance between the axion and the electromagnetic field. The existence of stable compact axion stars requires approximately Planck-suppressed couplings to photons. If the coupling exceeds the critical value, then all stable axion stars are necessarily non-compact. Unstable axion stars decay leaving behind a less massive, less compact, remnant. The emitted radiation peaks at frequency $\omega \sim 1/R_s$, where $R_s$ is the axion star radius.


title: Quantum computations with topological edge states

abstract: Topological quantum computations can be implemented with local Majorana zero modes. To simplify manipulations, one can use Majorana edge states in gapped two-dimensional systems. Here we demonstrate how this approach can be used for a Kitaev hexagonal model and discuss implementation of quantum-state transfer along the edge and two-qubit gates mediated by the edge modes.


title: Revisiting the Gamow Factor of Reactions on Light Nuclei

abstract: This study provides an improved understanding of the penetration probabilities (PPs) in nuclear reactions of light nuclei by correcting the assumptions used in the conventional Gamow factor. The Gamow factor effectively describes the PP in nuclear reactions based on two assumptions: low particle energy than the Coulomb barrier and neglecting the dependence of nuclear interaction potential. However, we find that the assumptions are not valid for light nuclei. As a result of a calculation that excludes the assumptions, we obtain the PP that depends on the nuclear interaction potential depth for the light nuclei. For the potential depth fitted by the experimental fusion cross-section, we present that PPs of light nuclei (D+D, D+T, D+$^3$He, p+D, p+$^6$Li, and p+$^7$Li) become higher than the conventional one near the Coulomb barrier. We also discuss the implications of the modified PP, such as changes in the Gamow peak energy, which determine the measurement of the energy range of the nuclear cross-section in experiments, and the electron screening effect.


title: The Cosmic Timeline Implied by the JWST High-redshift Galaxies

abstract: The so-called `impossibly early galaxy' problem, first identified via the Hubble Space Telescope's observation of galaxies at redshifts z > 10, appears to have been exacerbated by the more recent James Webb Space Telescope (JWST) discovery of galaxy candidates at even higher redshifts (z ~ 17) which, however, are yet to be confirmed spectroscopically. These candidates would have emerged only ~ 230 million years after the big bang in the context of LCDM, requiring a more rapid star formation in the earliest galaxies than appears to be permitted by simulations adopting the concordance model parameters. This time-compression problem would therefore be inconsistent with the age-redshift relation predicted by LCDM. Instead, the sequence of star formation and galaxy assembly would confirm the timeline predicted by the R_h=ct universe, a theoretically advanced version of LCDM that incorporates the `zero active mass' condition from general relativity. This model has accounted for many cosmological data better than LCDM, and eliminates all of its inconsistencies, including the horizon and initial entropy problems. The latest JWST discoveries at z > 14, if confirmed, would add further support to the idea that the R_h=ct universe is favored by the observations over the current standard model.


title: Comprehensive Framework for Controlling Nonlinear Multi-Species Water Quality Dynamics

abstract: Tracing disinfectant (e.g., chlorine) and contaminants evolution in water networks requires the solution of 1- D advection-reaction (AR) partial differential equations (PDEs). With the absence of analytical solutions in many scenarios, numerical solutions require high-resolution time- and spacediscretizations resulting in large model dimensions. This adds complexity to the water quality control problem. In addition, considering multi-species water quality dynamics rather than the single-species dynamics produces a more accurate description of the reaction dynamics under abnormal hazardous conditions (e.g., contamination events). Yet, these dynamics introduces nonlinear reaction formulation to the model. To that end, solving nonlinear 1-D AR PDEs in real time is critical in achieving monitoring and control goals for various scaled networks with a high computational burden. In this work, we propose a novel comprehensive framework to overcome the large-dimensionality issue by introducing different approaches for applying model order reduction (MOR) algorithms to the nonlinear system followed by applying real-time water quality regulation algorithm that is based on an advanced model to maintain desirable disinfectant levels in water networks under multi-species dynamics. The performance of this framework is validated using rigorous numerical case studies under a wide range of scenarios demonstrating the challenges associated with regulating water quality under such conditions.


title: Asymptotic approximations for semilinear parabolic convection-dominated transport problems in thin graph-like networks

abstract: We consider time-dependent convection-diffusion problems with high P\'eclet number of order $\mathcal{O}(\varepsilon^{-1})$ in thin three-dimensional graph-like networks consisting of cylinders that are interconnected by small domains (nodes) with diameters of order $\mathcal{O}(\varepsilon).$ On the lateral surfaces of the thin cylinders and the boundaries of the nodes we account for solution-dependent inhomogeneous Robin boundary conditions which can render the associated initial-boundary problem to be nonlinear. The strength of the inhomogeneity is controlled by an intensity factor of order ${\mathcal{O}} (\varepsilon^\alpha)$, $\alpha >0$. The asymptotic behaviour of the solution is studied as $\varepsilon \to 0,$ i.e., when the diffusion coefficients are eliminated and the thin three-diemnsional network is shrunk into a graph. There are three qualitatively different cases in the asymptotic behaviour of the solution depending on the value of the intensity parameter $\alpha:$ $\alpha =1,$ $\alpha > 1,$ and $\alpha \in (0, 1).$ We construct the asymptotic approximation of the solution, which provides us with the hyperbolic limit model for $\varepsilon \to 0$ for the first two cases, and prove the corresponding uniform pointwise estimates and energy estimates. As the main result, we derive uniform pointwise estimates for the difference between the solutions of the convection-diffusion problem and the zero-order approximation that includes the solution of the corresponding hyperbolic limit problem.


title: Towards Understanding the Survival of Patients with High-Grade Gastroenteropancreatic Neuroendocrine Neoplasms: An Investigation of Ensemble Feature Selection in the Prediction of Overall Survival

abstract: Determining the most informative features for predicting the overall survival of patients diagnosed with high-grade gastroenteropancreatic neuroendocrine neoplasms is crucial to improve individual treatment plans for patients, as well as the biological understanding of the disease. Recently developed ensemble feature selectors like the Repeated Elastic Net Technique for Feature Selection (RENT) and the User-Guided Bayesian Framework for Feature Selection (UBayFS) allow the user to identify such features in datasets with low sample sizes. While RENT is purely data-driven, UBayFS is capable of integrating expert knowledge a priori in the feature selection process. In this work we compare both feature selectors on a dataset comprising of 63 patients and 134 features from multiple sources, including basic patient characteristics, baseline blood values, tumor histology, imaging, and treatment information. Our experiments involve data-driven and expert-driven setups, as well as combinations of both. We use findings from clinical literature as a source of expert knowledge. Our results demonstrate that both feature selectors allow accurate predictions, and that expert knowledge has a stabilizing effect on the feature set, while the impact on predictive performance is limited. The features WHO Performance Status, Albumin, Platelets, Ki-67, Tumor Morphology, Total MTV, Total TLG, and SUVmax are the most stable and predictive features in our study.


title: A sample of Fast Radio Bursts discovered and localised with MeerTRAP at the MeerKAT telescope

abstract: We present a sample of well-localised Fast Radio Bursts (FRBs) discovered by the MeerTRAP project at the MeerKAT telescope in South Africa. We discovered the three FRBs in single coherent tied-array beams and localised them to an area of ~1 arcmin$^2$. We investigate their burst properties, scattering, repetition rates, and localisations in a multi-wavelength context. FRB 20201211A shows hints of scatter broadening but is otherwise consistent with instrumental dispersion smearing. For FRB 20210202D, we discovered a faint post-cursor burst separated by ~200 ms, suggesting a distinct burst component or a repeat pulse. We attempt to associate the FRBs with host galaxy candidates. For FRB 20210408H, we tentatively (0.35 - 0.53 probability) identify a compatible host at a redshift ~0.5. Additionally, we analyse the MeerTRAP survey properties, such as the survey coverage, fluence completeness, and their implications for the FRB population. Based on the entire sample of 11 MeerTRAP FRBs discovered by the end of 2021, we estimate the FRB all-sky rates and their scaling with the fluence threshold. The inferred FRB all-sky rates at 1.28 GHz are $8.2_{-4.6}^{+8.0}$ and $2.1_{-1.1}^{+1.8} \times 10^3$ sky$^{-1}$ d$^{-1}$ above 0.66 and 3.44 Jy ms for the coherent and incoherent surveys, respectively. The scaling between the MeerTRAP rates is flatter than at higher fluences at the 1.4-$\sigma$ level. There seems to be a deficit of low-fluence FRBs, suggesting a break or turn-over in the rate versus fluence relation below 2 Jy ms. We speculate on cosmological or progenitor-intrinsic origins. The cumulative source counts within our surveys appear consistent with the Euclidean scaling.


title: Anytime-Valid Confidence Sequences in an Enterprise A/B Testing Platform

abstract: A/B tests are the gold standard for evaluating digital experiences on the web. However, traditional "fixed-horizon" statistical methods are often incompatible with the needs of modern industry practitioners as they do not permit continuous monitoring of experiments. Frequent evaluation of fixed-horizon tests ("peeking") leads to inflated type-I error and can result in erroneous conclusions. We have released an experimentation service on the Adobe Experience Platform based on anytime-valid confidence sequences, allowing for continuous monitoring of the A/B test and data-dependent stopping. We demonstrate how we adapted and deployed asymptotic confidence sequences in a full featured A/B testing platform, describe how sample size calculations can be performed, and how alternate test statistics like "lift" can be analyzed. On both simulated data and thousands of real experiments, we show the desirable properties of using anytime-valid methods instead of traditional approaches.


title: NerfDiff: Single-image View Synthesis with NeRF-guided Distillation from 3D-aware Diffusion

abstract: Novel view synthesis from a single image requires inferring occluded regions of objects and scenes whilst simultaneously maintaining semantic and physical consistency with the input. Existing approaches condition neural radiance fields (NeRF) on local image features, projecting points to the input image plane, and aggregating 2D features to perform volume rendering. However, under severe occlusion, this projection fails to resolve uncertainty, resulting in blurry renderings that lack details. In this work, we propose NerfDiff, which addresses this issue by distilling the knowledge of a 3D-aware conditional diffusion model (CDM) into NeRF through synthesizing and refining a set of virtual views at test time. We further propose a novel NeRF-guided distillation algorithm that simultaneously generates 3D consistent virtual views from the CDM samples, and finetunes the NeRF based on the improved virtual views. Our approach significantly outperforms existing NeRF-based and geometry-free approaches on challenging datasets, including ShapeNet, ABO, and Clevr3D.


title: Kernelizing Temporal Exploration Problems

abstract: We study the kernelization of exploration problems on temporal graphs. A temporal graph consists of a finite sequence of snapshot graphs $\mathcal{G}=(G_1, G_2, \dots, G_L)$ that share a common vertex set but might have different edge sets. The non-strict temporal exploration problem (NS-TEXP for short) introduced by Erlebach and Spooner, asks if a single agent can visit all vertices of a given temporal graph where the edges traversed by the agent are present in non-strict monotonous time steps, i.e., the agent can move along the edges of a snapshot graph with infinite speed. The exploration must at the latest be completed in the last snapshot graph. The optimization variant of this problem is the $k$-arb NS-TEXP problem, where the agent's task is to visit at least $k$ vertices of the temporal graph. We show that under standard computational complexity assumptions, neither of the problems NS-TEXP nor $k$-arb NS-TEXP allow for polynomial kernels in the standard parameters: number of vertices $n$, lifetime $L$, number of vertices to visit $k$, and maximal number of connected components per time step $\gamma$; as well as in the combined parameters $L+k$, $L + \gamma$, and $k+\gamma$. On the way to establishing these lower bounds, we answer a couple of questions left open by Erlebach and Spooner. We also initiate the study of structural kernelization by identifying a new parameter of a temporal graph $p(\mathcal{G}) = \sum_{i=1}^{L} (|E(G_i)|) - |V(G)| +1$. Informally, this parameter measures how dynamic the temporal graph is. Our main algorithmic result is the construction of a polynomial (in $p(\mathcal{G})$) kernel for the more general Weighted $k$-arb NS-TEXP problem, where weights are assigned to the vertices and the task is to find a temporal walk of weight at least $k$.


title: Reflection, emission, and polarization properties of surfaces made of hyperfine grains, and implications for the nature of primitive small bodies

abstract: There are various indications that the most primitive small bodies (P, D-type asteroids, comets) have surfaces made of intimate mixtures of opaque minerals and other components (silicates, carbonaceous compounds, etc.) in the form of sub-micrometre-sized grains, smaller than the wavelength at which they are observed, so-called hyperfine grains. Here, we investigate how the Vis-NIR-MIR spectral and V-band polarimetric properties of surfaces made of hyperfine grains are influenced by the relative abundance of such hyperfine materials, having strongly different optical indexes. Mixtures of grains of olivine and iron sulfide (or anthracite), as analogues of silicates and opaque minerals present on small bodies, were prepared at different proportions. The measurements reveal that these mixtures of hyperfine grains have spectral and polarimetric Vis-NIR properties varying in strongly nonlinear ways. When present at even a few percent, opaque components dominate the Vis-NIR spectral and polarimetric properties, and mask the silicate bands at these wavelengths. The Vis-NIR spectral slope ranges from red (positive slope), for pure opaque material, to blue (negative slope) as the proportion of silicates increases, which is reminiscent of the range of spectral slopes observed on P, D, X, C- and B-types asteroids. The spectra of the darkest mixtures in the Vis-NIR exhibit the absorption bands of Si-O in olivine around 10 m in the MIR, which is observed in emission for several small bodies. This work shows that both the contrasted optical indexes of the components, and the dispersion or aggregation (depending on their relative proportions) of their hyperfine grains, induce different light scattering regimes in the Vis-NIR and MIR, as observed for primitive small bodies. The optical separation of hyperfine grains seems to be a major parameter controlling the optical properties of these objects.


title: Constraining the EdGB theory with higher harmonics and merger-ringdown contribution using GWTC-3

abstract: In this paper, we revisit the problem of using gravitational wave data to test the Einstein-dilation-Gauss-Bonnet theory, by using nine selected gravitational wave events from GWTC-3. Compared with existing work, we are taking into account the higher harmonics more properly and we also study the contribution of the merger-ringdown data. Using the inspiral data alone, we find that the best result is from GW200115, giving $\sqrt{|\alpha|} < 1.1$ km, which is about 17\% tighter than the previous best result. We also notice the possible existence of a simple unexpected relation among the constraints from different events. Several combinations of the selected events give $\sqrt{|\alpha|} \leq 1.0$ km. The result is further improved when the merger-ringdown data is also included, using two phenomenological schemes, giving $\sqrt{|\alpha|} < 0.87$ km for GW200115 in the best case scenario.


title: Stress and stretching regulate dispersion in viscoelastic porous media flows

abstract: In this work, we study the role of viscoelastic instability in the mechanical dispersion of fluid flow through porous media at high Peclet numbers. Using microfluidic experiments and numerical simulations, we show that viscoelastic instability in flow through a hexagonally ordered (staggered) medium strongly enhances dispersion transverse to the mean flow direction with increasing Weissenberg number (Wi). In contrast, preferential flow paths can quench the elastic instability in disordered media, which has two important consequences for transport: First, the lack of chaotic velocity fluctuations reduces transverse dispersion relative to unstable flows. Second, the amplification of flow along preferential paths with increasing Wi causes strongly-correlated stream-wise flow that enhances longitudinal dispersion. Finally, we illustrate how the observed dispersion phenomena can be understood through the lens of Lagrangian stretching manifolds, which act as advective transport barriers and coincide with high stress regions in these viscoelastic porous media flows.


title: open-UST: An Open-Source Ultrasound Tomography Transducer Array System

abstract: Fast imaging methods are needed to promote widespread clinical adoption of Ultrasound Tomography (UST), and more widely available UST hardware could support the experimental validation of new measurement configurations. In this work, an open-source 256-element transducer ring array was developed (morganjroberts.github.io/open-UST) and manufactured using rapid prototyping, for only {\pounds}2k. Novel manufacturing techniques were used, resulting in a 1.17$^{\circ}$ mean beam axis skew angle, a 104 $\mu$m mean element position error, and a $\pm$13.6 $\mu$m deviation in matching layer thickness. The nominal acoustic performance was measured using hydrophone scans and watershot data, and the 61.2 dB SNR, 55.4$^{\circ}$ opening angle, 16.3 mm beamwidth and 54% transmit-receive bandwidth (-12 dB), were found to be similar to existing systems, and compatible with full waveform inversion reconstruction methods. The inter-element variation in acoustic performance was typically <10% without using normalisation, meaning that the elements can be modelled identically during image reconstruction, removing the need for individual source definitions based on hydrophone measurements. Finally, data from a phantom experiment was successfully reconstructed. These results demonstrate that the open-UST system is accessible for users, and suitable for UST imaging research.