title: Inferring the dynamics of ionic currents from recursive piecewise data assimilation of approximate neuron models

abstract: We construct neuron models from data by transferring information from an observed time series to the state variables and parameters of Hodgkin-Huxley models. When the learning period completes, the model will predict additional observations and its parameters uniquely characterise the complement of ion channels. However, the assimilation of biological data, as opposed to model data, is complicated by the lack of knowledge of the true neuron equations. Reliance on guessed conductance models is plagued with multi-valued parameter solutions. Here, we report on the distributions of parameters and currents predicted with intentionally erroneous models, over-specified models, and an approximate model fitting hippocampal neuron data. We introduce a recursive piecewise data assimilation (RPDA) algorithm that converges with near-perfect reliability when the model is known. When the model is unknown, we show model error introduces correlations between certain parameters. The ionic currents reconstructed from these parameters are excellent predictors of true currents and carry a higher degree of confidence, >95.5%, than underlying parameters, >53%. Unexpressed ionic currents are correctly filtered out even in the presence of mild model error. When the model is unknown, the covariance eigenvalues of parameter estimates are found to be a good gauge of model error. Our results suggest that biological information may be retrieved from data by focussing on current estimates rather than parameters.


title: Singular Hall response from a correlated ferromagnetic flat nodal-line semimetal

abstract: Topological quantum phases have been largely understood in weakly correlated systems, which have identified various quantum phenomena such as spin Hall effect, protected transport of helical fermions, and topological superconductivity. Robust ferromagnetic order in correlated topological materials particularly attracts attention, as it can provide a versatile platform for novel quantum devices. Here, we report singular Hall response arising from a unique band structure of flat topological nodal lines in combination with electron correlation in an itinerant, van der Waals ferromagnetic semimetal, Fe3GaTe2, with a high Curie temperature of Tc=360 K. High anomalous Hall conductivity violating the conventional scaling, resistivity upturn at low temperature, and a large Sommerfeld coefficient are observed in Fe3GaTe2, which implies heavy fermion features in this ferromagnetic topological material. Our circular dichroism in angle-resolved photoemission spectroscopy and theoretical calculations support the original electronic features in the material. Thus, low-dimensional Fe3GaTe2 with electronic correlation, topology, and room-temperature ferromagnetic order appears to be a promising candidate for robust quantum devices.


title: The Bombieri-Pila determinant method

abstract: In this expository note, we give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri-Pila.


title: MinePlanner: A Benchmark for Long-Horizon Planning in Large Minecraft Worlds

abstract: We propose a new benchmark for planning tasks based on the Minecraft game. Our benchmark contains 45 tasks overall, but also provides support for creating both propositional and numeric instances of new Minecraft tasks automatically. We benchmark numeric and propositional planning systems on these tasks, with results demonstrating that state-of-the-art planners are currently incapable of dealing with many of the challenges advanced by our new benchmark, such as scaling to instances with thousands of objects. Based on these results, we identify areas of improvement for future planners. Our framework is made available at https://github.com/IretonLiu/mine-pddl/.


title: Controlled phase gate in exchange coupled quantum dots affected by quasistatic charge noise

abstract: Charge noise has been one of the main issues in realizing high fidelity two-qubit quantum gates in semiconductor based qubits. Here, we study the influence of quasistatic noise in quantum dot detuning on the controlled phase gate for spin qubits that defined on a double quantum dot. Analytical expressions for the noise averaged Hamiltonian, exchange interaction, as well as the gate fidelity are derived for weak noise covering experimental relevant regime. We also perform interleaved two-qubit randomized benchmarking analysis for the controlled phase gate and show that an exponential decay of the sequential fidelity is still valid for the weak noise.


title: The Frequency and Sizes of Inner Bars and Nuclear Rings in Barred Galaxies and Their Dependence on Galaxy Properties

abstract: Using a volume- and mass-limited (D < 30 Mpc, log (M_star/M_sun) $\geq 9.75$) sample of 155 barred S0-Sd galaxies, I determine the fraction with secondary structures within their bars. Some 20 +/- 3% have a separate inner bar, making them double-barred; an identical fraction have nuclear rings, with 11^{+3}_{-2}% hosting both. The inner-bar frequency is a strong, monotonic function of stellar mass: only 4^{+3}_{-2}% of barred galaxies with log (M_star/M_sun) = 9.75-10.25 are double-barred, while 47 +/- 8% of those with log (M_star/M_sun) > 10.5 are. The nuclear-ring frequency is a strong function of absolute bar size: only 1^{+2}_{-1}% of bars with semi-major axes < 2 kpc have nuclear rings, while 39^{+6}_{-5}% of larger bars do. Both inner bars and nuclear rings are absent in very late-type (Scd--Sd) galaxies. Inner bar size correlates with galaxy stellar mass, but is clearly offset to smaller sizes from the main population of bars. This makes it possible to define "nuclear bars" in a consistent fashion, based on stellar mass. There are eight single-barred galaxies where the bars are nuclear-bar-sized; some of these may be systems where an outer bar failed to form, or previously double-barred galaxies where the outer bar has dissolved. Inner bar size is even more tightly correlated with host bar size, which is likely the primary driver. In contrast, nuclear ring size is only weakly correlated with galaxy mass or bar size, with more scatter in size than is true of inner bars.


title: Probing light scalars with not quite black holes

abstract: The rapid progress in gravitational wave astronomy has provided an opportunity for investigating the presence of long-range scalar forces that exclusively manifest around astrophysical black holes. In this paper, we explore a new possibility in this context, particularly in connection to the hypothesis that astrophysical black holes might be horizonless ultracompact objects (UCOs). In the absence of horizons, UCOs could feature unique interiors with extreme environments. This could help generate non-trivial scalar profiles and significant scalar charges. For demonstration, we consider 2-2-holes in quadratic gravity as a concrete example of UCOs. These objects can be formed by ordinary gases and closely resemble black holes externally. However, they have distinct interiors characterized by high curvatures and substantial redshift. In particular, the gases inside could reach extremely high temperatures or densities, making them an ideal object for investigating the generation of scalar profiles by UCOs. Within a minimal model of the scalar field, we find that this unique environment enables the generation of a substantial scalar charge for astrophysical 2-2-holes, which is challenging for other stellar objects. The predicted scalar charge-to-mass ratio of 2-2-holes remains nearly constant across a wide range of masses, offering different predictions for gravitational wave observations compared to other mechanisms.


title: On the Path Integral Formulation of Wigner-Dunkl Quantum Mechanics

abstract: Feynman's path integral approach is studied in the framework of the Wigner-Dunkl deformation of quantum mechanics. We start with reviewing some basics from Dunkl theory and investigate the time evolution of a Gaussian wave packet, which exhibits the same dispersion relation as observed in standard quantum mechanics. Feynman's path integral approach is then extended to Wigner-Dunkl quantum mechanics. The harmonic oscillator problem is solved explicitly. We then look at the Euclidean time evolution and the related Dunkl process. This process, which exhibit jumps, can be represented by two continuous Bessel processes, one with reflection and one with absorbtion at the origin. The Feynman-Kac path integral for the harmonic oscillator problem is explicitly calculated.


title: Experimental demonstration of a Two-Dimensional Hole Gas (2DHG) in a GaN/AlGaN/GaN based heterostructure by optical spectroscopy

abstract: The polarization discontinuity across interfaces in polar nitride-based heterostructures can lead to the formation of two-dimensional electron and hole gases. In the past, the observation of these electron and hole gases has been achieved through various experimental techniques, most often by electronic measurements but occasionally by optical means. However, the occurrence of a two-dimensional hole gas has never been demonstrated optically. The objective of this article is to demonstrate, thanks to the combination of various optical spectroscopy techniques coupled to numerical simulations, the presence of a two-dimensional hole gas in a GaN/AlGaN/GaN heterostructure. This is made possible thanks to a GaN/AlGaN/GaN heterostructure displaying a micrometer-thick AlGaN layer and a GaN cap thicker than in conventional GaN-based HEMTs structures. The band structure across the whole heterostructure was established by solving self-consistently the Schr\"odinger and Poisson equations and by taking into account the experimentally determined strain state of each layer. Continuous and quasi-continuos photoluminescence reveal the presence of a broad emission band at an energy around 50 meV below the exciton emission and whose energy blueshifts with increasing excitation power density, until it is completely quenched due to the complete screening of the internal electric field. Time-resolved measurements show that the emission arising from the two-dimensional hole gas can be assigned to the recombination of holes in the potential well with electrons located in the top GaN as well as electron from the bottom AlGaN, each of them displaying different decay times due to unequal electric fields. Besides the optical demonstration of a two-dimensional hole gas in a nitride-based heterostructure, our work highlights the optical recombination processes involved in the emission from such a hole gas.


title: The inheritance of local bifurcations in mass action networks

abstract: We consider local bifurcations of equilibria in dynamical systems arising from chemical reaction networks with mass action kinetics. In particular, given any mass action network admitting a local bifurcation of equilibria, assuming only a general transversality condition, we list some enlargements of the network which preserve its capacity for the bifurcation. These results allow us to identify bifurcations in reaction networks from examination of their subnetworks, extending and complementing previous results on the inheritance of nontrivial dynamical behaviours amongst mass action networks. A number of examples are presented to illustrate applicability of the results.


title: CiaoCiao WFS: sensing phase discontinuities at the ELT

abstract: The upcoming extremely large telescopes will have to deal with the so-called ''pupil fragmentation'' effect: for what concerns the Extremely Large Telescope (ELT), the presence of thick spider legs supporting the secondary mirror may induce unseen phase discontinuities across the pupil sectors that could limit the performance of the adaptive optics correction. In this context, we propose a wavefront sensor (WFS), the CiaoCiao WFS, consisting in a rotational shearing interferometer to sense phase differences between the pupil sectors. In this work, we present the CiaoCiao WFS concept and the first analyses carried out through numerical simulations. In particular, we analyze the performance of such a wavefront sensor in case the phase discontinuities are induced by low-wind effect during observations with the Multiconjugate adaptive Optics Relay For ELT Observations (MORFEO).


title: Collective dynamics and long-range order in thermal neuristor networks

abstract: In the pursuit of scalable and energy-efficient neuromorphic devices, recent research has unveiled a novel category of spiking oscillators, termed "thermal neuristors". These devices function via thermal interactions among neighboring vanadium dioxide resistive memories, emulating biological neuronal behavior. Here, we show that the collective dynamical behavior of networks of these neurons showcases a rich phase structure, tunable by adjusting the thermal coupling and input voltage. Notably, we identify phases exhibiting long-range order that, however, does not arise from criticality, but rather from the time non-local response of the system. In addition, we show that these thermal neuristor arrays achieve high accuracy in image recognition and time series prediction through reservoir computing, without leveraging long-range order. Our findings highlight a crucial aspect of neuromorphic computing with possible implications on the functioning of the brain: criticality may not be necessary for the efficient performance of neuromorphic systems in certain computational tasks.


title: Spectral theory of the invariant Laplacian on the disk and the sphere -- a complex analysis approach

abstract: The central theme of this paper is the holomorphic spectral theory of the canonical Laplace operator of the complement $\Omega := \{(z,w) \in \widehat{\mathbb{C}}^2 \colon z \cdot w \neq 1\}$ of the "complexified unit circle" $\{(z,w) \in \widehat{\mathbb{C}}^2 \colon z \cdot w = 1\}$. We start by singling out a distinguished set of holomorphic eigenfunctions on the bidisk in terms of hypergeometric functions and prove that they provide a spectral decomposition of every holomorphic eigenfunction on the bidisk. As a second step, we identify the maximal domains of definition of these eigenfunctions and show that these maximal domains naturally determine the fine structure of the eigenspaces. Our main result gives an intrinsic classification of all closed M\"obius invariant subspaces of eigenspaces of the canonical Laplacian of $\Omega$. Generalizing foundational prior work of Helgason and Rudin, this provides a unifying complex analytic framework for the real-analytic eigenvalue theories of both the hyperbolic and spherical Laplace operators on the open unit disk resp. the Riemann sphere and, in particular, shows how they are interrelated with one another.


title: Study of Silicon Photomultiplier External Cross-Talk

abstract: Optical cross-talk is a critical characteristic of Silicon Photomultipliers (SiPMs) and represents a significant source of the excess noise factor, exerting a substantial influence on detector performance. During the avalanche process of SiPMs, photons generated can give rise to both internal cross-talk within the same SiPM and external cross-talk when photons escape from one SiPM and trigger avalanches in others. In scenarios where SiPMs are arranged in a compact configuration and positioned facing each other, the external cross-talk could even dominate the cross-talk phenomenon. This paper investigates two distinct methods for measuring external cross-talk: the counting method, which involves operating SiPMs face-to-face and measuring their coincident signals, and the reflection method, which employs a highly reflective film attached to the surface of the SiPMs. External cross-talk measurements have been conducted on several types of SiPMs, including Vacuum Ultra-Violet (VUV) sensitive SiPMs that Fondazione Bruno Kessler (FBK) and Hamamatsu Photonics Inc (HPK) produced for nEXO as well as visible-sensitive SiPMs provided by FBK, HPK and SensL Technologies Ltd (SenSL) for JUNO-TAO. The results reveal a significant presence of external cross-talk in all tested SiPMs, with HPK's SiPMs exhibiting a dominant external cross-talk component due to the implementation of optical trenches that effectively suppress internal cross-talk. Furthermore, we found that the number of fired pixels resulting from internal cross-talk can be described by combining Geometric and Borel models for all tested SiPMs, while the external cross-talk can be predicted using a pure Borel model. These distinct probability distributions lead to different excess noise factors, thereby impacting the detector performance in varying ways.


title: DXP: Billing Data Preparation for Big Data Analytics

abstract: In this paper, we present the data preparation activities that we performed for the Digital Experience Platform (DXP) project, commissioned and supervised by Doxee S.p.A.. DXP manages the billing data of the users of different companies operating in various sectors (electricity and gas, telephony, pay TV, etc.). This data has to be processed to provide services to the users (e.g., interactive billing), but mainly to provide analytics to the companies (e.g., churn prediction or user segmentation). We focus on the design of the data preparation pipeline, describing the challenges that we had to overcome in order to get the billing data ready to perform analysis on it. We illustrate the lessons learned by highlighting the key points that could be transferred to similar projects. Moreover, we report some interesting results and considerations derived from the preliminary analysis of the prepared data, also pointing out some possible future directions for the ongoing project, spacing from big data integration to privacy-preserving temporal record linkage.


title: A Minimal Control Family of Dynamical Syetem for Universal Approximation

abstract: The universal approximation property (UAP) of neural networks is a fundamental characteristic of deep learning. It is widely recognized that a composition of linear functions and non-linear functions, such as the rectified linear unit (ReLU) activation function, can approximate continuous functions on compact domains. In this paper, we extend this efficacy to the scenario of dynamical systems with controls. We prove that the control family $\mathcal{F}_1 = \mathcal{F}_0 \cup \{ \text{ReLU}(\cdot)\} $ is enough to generate flow maps that can uniformly approximate diffeomorphisms of $\mathbb{R}^d$ on any compact domain, where $\mathcal{F}_0 = \{x \mapsto Ax+b: A\in \mathbb{R}^{d\times d}, b \in \mathbb{R}^d\}$ is the set of linear maps and the dimension $d\ge2$. Since $\mathcal{F}_1$ contains only one nonlinear function and $\mathcal{F}_0$ does not hold the UAP, we call $\mathcal{F}_1$ a minimal control family for UAP. Based on this, some sufficient conditions, such as the affine invariance, on the control family are established and discussed. Our result reveals an underlying connection between the approximation power of neural networks and control systems.


title: PGN: A perturbation generation network against deep reinforcement learning

abstract: Deep reinforcement learning has advanced greatly and applied in many areas. In this paper, we explore the vulnerability of deep reinforcement learning by proposing a novel generative model for creating effective adversarial examples to attack the agent. Our proposed model can achieve both targeted attacks and untargeted attacks. Considering the specificity of deep reinforcement learning, we propose the action consistency ratio as a measure of stealthiness, and a new measurement index of effectiveness and stealthiness. Experiment results show that our method can ensure the effectiveness and stealthiness of attack compared with other algorithms. Moreover, our methods are considerably faster and thus can achieve rapid and efficient verification of the vulnerability of deep reinforcement learning.


title: On the distance to low-rank matrices in the maximum norm

abstract: Every sufficiently big matrix with small spectral norm has a nearby low-rank matrix if the distance is measured in the maximum norm (Udell & Townsend, SIAM J Math Data Sci, 2019). We use the Hanson--Wright inequality to improve the estimate of the distance for matrices with incoherent column and row spaces. In numerical experiments with several classes of matrices we study how well the theoretical upper bound describes the approximation errors achieved with the method of alternating projections.


title: Emerge of scaling in project schedules

abstract: A project schedule contains a network of activities, the activity durations, the early and late finish dates for each activity, and the associated total float or slack times, the difference between the late and early dates. Here I show that the distribution of activity durations and total floats of construction project schedules exhibit a power law scaling. The power law scaling of the activity durations is explained by a historical process of specialization fragmenting old activities into new activities with shorter duration. In contrast, the power law scaling of the total floats distribution across activities is determined by the activity network. I demonstrate that the power law scaling of the activity duration distribution is essential to obtain a good estimate of the project delay distribution, while the actual total float distribution is less relevant. Finally, using extreme value theory and scaling arguments, I provide a mathematical proof for reference class forecasting for the project delay distribution. The project delay cumulative distribution function is $G(z) = \exp( - (z_c/z)^{1/s})$, where $s>0$ and $z_c>0$ are shape and scale parameters. Furthermore, if activity delays follow a lognormal distribution, as the empirical data suggests, then $s=1$ and $z_c \sim N^{0.20}d_{\max}^{1+0.20(1-\gamma_d)}$, where $N$ is the number of activities, $d_{\max}$ the maximum activity duration in units of days and $\gamma_d$ the power law exponent of the activity duration distribution. These results offer new insights about project schedules, reference class forecasting and delay risk analysis.


title: Solar neutrino measurements using the full data period of Super-Kamiokande-IV

abstract: An analysis of solar neutrino data from the fourth phase of Super-Kamiokande~(SK-IV) from October 2008 to May 2018 is performed and the results are presented. The observation time of the data set of SK-IV corresponds to $2970$~days and the total live time for all four phases is $5805$~days. For more precise solar neutrino measurements, several improvements are applied in this analysis: lowering the data acquisition threshold in May 2015, further reduction of the spallation background using neutron clustering events, precise energy reconstruction considering the time variation of the PMT gain. The observed number of solar neutrino events in $3.49$--$19.49$ MeV electron kinetic energy region during SK-IV is $65,443^{+390}_{-388}\,(\mathrm{stat.})\pm 925\,(\mathrm{syst.})$ events. Corresponding $\mathrm{^{8}B}$ solar neutrino flux is $(2.314 \pm 0.014\, \rm{(stat.)} \pm 0.040 \, \rm{(syst.)}) \times 10^{6}~\mathrm{cm^{-2}\,s^{-1}}$, assuming a pure electron-neutrino flavor component without neutrino oscillations. The flux combined with all SK phases up to SK-IV is $(2.336 \pm 0.011\, \rm{(stat.)} \pm 0.043 \, \rm{(syst.)}) \times 10^{6}~\mathrm{cm^{-2}\,s^{-1}}$. Based on the neutrino oscillation analysis from all solar experiments, including the SK $5805$~days data set, the best-fit neutrino oscillation parameters are $\rm{sin^{2} \theta_{12,\,solar}} = 0.306 \pm 0.013 $ and $\Delta m^{2}_{21,\,\mathrm{solar}} = (6.10^{+ 0.95}_{-0.81}) \times 10^{-5}~\rm{eV}^{2}$, with a deviation of about 1.5$\sigma$ from the $\Delta m^{2}_{21}$ parameter obtained by KamLAND. The best-fit neutrino oscillation parameters obtained from all solar experiments and KamLAND are $\sin^{2} \theta_{12,\,\mathrm{global}} = 0.307 \pm 0.012 $ and $\Delta m^{2}_{21,\,\mathrm{global}} = (7.50^{+ 0.19}_{-0.18}) \times 10^{-5}~\rm{eV}^{2}$.


title: The Common Optical Music Recognition Evaluation Framework

abstract: The quality of Optical Music Recognition (OMR) systems is a rather difficult magnitude to measure. There is no lingua franca shared among OMR datasets that allows to compare systems' performance on equal grounds, since most of them are specialised on certain approaches. As a result, most state-of-the-art works currently report metrics that cannot be compared directly. In this paper we identify the need of a common music representation language and propose the Music Tree Notation (MTN) format, thanks to which the definition of standard metrics is possible. This format represents music as a set of primitives that group together into higher-abstraction nodes, a compromise between the expression of fully graph-based and sequential notation formats. We have also developed a specific set of OMR metrics and a typeset score dataset as a proof of concept of this idea.


title: Energy-efficient Spiking Neural Network Equalization for IM/DD Systems with Optimized Neural Encoding

abstract: We propose an energy-efficient equalizer for IM/DD systems based on spiking neural networks. We optimize a neural spike encoding that boosts the equalizer's performance while decreasing energy consumption.


title: A Survey on Scheduling the Task in Fog Computing Environment

abstract: With the rapid increase in the Internet of Things (IoT), the amount of data produced and processed is also increased. Cloud Computing facilitates the storage, processing, and analysis of data as needed. However, cloud computing devices are located far away from the IoT devices. Fog computing has emerged as a small cloud computing paradigm that is near to the edge devices and handles the task very efficiently. Fog nodes have a small storage capability than the cloud node but it is designed and deployed near to the edge device so that request must be accessed efficiently and executes in time. In this survey paper we have investigated and analysed the main challenges and issues raised in scheduling the task in fog computing environment. To the best of our knowledge there is no comprehensive survey paper on challenges in task scheduling of fog computing paradigm. In this survey paper research is conducted from 2018 to 2021 and most of the paper selection is done from 2020-2021. Moreover, this survey paper organizes the task scheduling approaches and technically plans the identified challenges and issues. Based on the identified issues, we have highlighted the future work directions in the field of task scheduling in fog computing environment.


title: Primordial black hole compaction function from stochastic fluctuations in ultra-slow-roll inflation

abstract: We study the formation of primordial black holes (PBH) with ultra-slow-roll inflation when stochastic effects are important. We use the $\Delta N$ formalism and simplify the stochastic equations with an analytical constant-roll approximation. Considering a viable inflation model, we find the spatial profile of the PBH compaction function numerically for each stochastic patch, without assumptions about Gaussianity or the radial profile. The stochastic effects that lead to an exponential tail for the density distribution also make the compaction function very spiky, unlike assumed in the literature. Naively using collapse thresholds found for smooth profiles, the PBH abundance is enhanced by up to a factor of $10^9$, and the PBH mass distribution is spread over three orders of magnitude in mass. The results point to a need to redo numerical simulations of PBH formation with spiky profiles.


title: On the validity of some equilibrium models for thermodiffusion

abstract: When applied to binary solutions, thermal gradients lead to the generation of concentration-gradients and thus to inhomogeneous systems. While being known for more than 150 years, the molecular origins for this phenomenon are still debated, and there is no consensus on the underlying physical models or theories that could explain the amplitude of the concentration gradient in response to a given temperature gradients. Notably, there have been some attempts to relate this non-equilibrium, steady-state manifestation, to equilibrium properties of these solutions, for example, to the temperature dependence of the self-diffusion coefficient or to the solvation free-energies of each of their components. Here, we use molecular dynamics simulations on dilute solutions containing molecular size solutes, both in a thermophoretic setting as well as under equilibrium conditions, to test the validity of such models. We show that these approaches are inadequate and lead to completely uncorrelated estimates as compared to those based on the out-of-equilibrium measurements. Crucially, they fail to explain the strong mass-dependence (to which thermodynamics or single particle diffusion are insensitive) observed in the simulations and measured in the experiments. However, our results suggest an interesting correlation between the amplitude of the short-time molecular motion and that of the concentration-gradient that would deserve future investigations.


title: Produce Once, Utilize Twice for Anomaly Detection

abstract: Visual anomaly detection aims at classifying and locating the regions that deviate from the normal appearance. Embedding-based methods and reconstruction-based methods are two main approaches for this task. However, they are either not efficient or not precise enough for the industrial detection. To deal with this problem, we derive POUTA (Produce Once Utilize Twice for Anomaly detection), which improves both the accuracy and efficiency by reusing the discriminant information potential in the reconstructive network. We observe that the encoder and decoder representations of the reconstructive network are able to stand for the features of the original and reconstructed image respectively. And the discrepancies between the symmetric reconstructive representations provides roughly accurate anomaly information. To refine this information, a coarse-to-fine process is proposed in POUTA, which calibrates the semantics of each discriminative layer by the high-level representations and supervision loss. Equipped with the above modules, POUTA is endowed with the ability to provide a more precise anomaly location than the prior arts. Besides, the representation reusage also enables to exclude the feature extraction process in the discriminative network, which reduces the parameters and improves the efficiency. Extensive experiments show that, POUTA is superior or comparable to the prior methods with even less cost. Furthermore, POUTA also achieves better performance than the state-of-the-art few-shot anomaly detection methods without any special design, showing that POUTA has strong ability to learn representations inherent in the training data.


title: Ground state phase diagram and "parity flipping'' microwave transitions in a gate-tunable Josephson Junction

abstract: We probed a gate-tunable InAs nanowire Josephson weak link by coupling it to a microwave resonator. Tracking the resonator frequency shift when the weak link is close to pinch-off, we observe that the ground state of the latter alternates between a singlet and a doublet when varying either the gate voltage or the superconducting phase difference across it. The corresponding microwave absorption spectra display lines that approach zero energy close to the singlet-doublet boundaries, suggesting parity flipping transitions, which are in principle forbidden in microwave spectroscopy and expected to arise only in tunnel spectroscopy. We tentatively interpret them by means of an ancillary state isolated in the junction acting as a reservoir for individual electrons.


title: Survey on Multi-Document Summarization: Systematic Literature Review

abstract: In this era of information technology, abundant information is available on the internet in the form of web pages and documents on any given topic. Finding the most relevant and informative content out of these huge number of documents, without spending several hours of reading has become a very challenging task. Various methods of multi-document summarization have been developed to overcome this problem. The multi-document summarization methods try to produce high-quality summaries of documents with low redundancy. This study conducts a systematic literature review of existing methods for multi-document summarization methods and provides an in-depth analysis of performance achieved by these methods. The findings of the study show that more effective methods are still required for getting higher accuracy of these methods. The study also identifies some open challenges that can gain the attention of future researchers of this domain.


title: A generalized Price equation for fuzzy set-mappings

abstract: The Price equation provides a formal account of selection building on a right-total mapping between two classes of individuals, that is usually interpreted as a parent-offspring relation. This paper presents a new formulation of the Price equation in terms of fuzzy set-mappings to account for structures where the targets of selection may vary in the degree to which they belong to the classes of "parents" or "offspring," and in the degree to which these two classes of individuals are related. The fuzzy set formulation widens the scope of the Price equation such that it equally applies to natural selection, cultural selection, operant selection, or any combination of different types of selection.


title: Sign Language Production with Latent Motion Transformer

abstract: Sign Language Production (SLP) is the tough task of turning sign language into sign videos. The main goal of SLP is to create these videos using a sign gloss. In this research, we've developed a new method to make high-quality sign videos without using human poses as a middle step. Our model works in two main parts: first, it learns from a generator and the video's hidden features, and next, it uses another model to understand the order of these hidden features. To make this method even better for sign videos, we make several significant improvements. (i) In the first stage, we take an improved 3D VQ-GAN to learn downsampled latent representations. (ii) In the second stage, we introduce sequence-to-sequence attention to better leverage conditional information. (iii) The separated two-stage training discards the realistic visual semantic of the latent codes in the second stage. To endow the latent sequences semantic information, we extend the token-level autoregressive latent codes learning with perceptual loss and reconstruction loss for the prior model with visual perception. Compared with previous state-of-the-art approaches, our model performs consistently better on two word-level sign language datasets, i.e., WLASL and NMFs-CSL.


title: Assaying on the Robustness of Zero-Shot Machine-Generated Text Detectors

abstract: To combat the potential misuse of Natural Language Generation (NLG) technology, a variety of algorithms have been developed for the detection of AI-generated texts. Traditionally, this task is treated as a binary classification problem. Although supervised learning has demonstrated promising results, acquiring labeled data for detection purposes poses real-world challenges and the risk of overfitting. In an effort to address these issues, we delve into the realm of zero-shot machine-generated text detection. Existing zero-shot detectors, typically designed for specific tasks or topics, often assume uniform testing scenarios, limiting their practicality. In our research, we explore various advanced Large Language Models (LLMs) and their specialized variants, contributing to this field in several ways. In empirical studies, we uncover a significant correlation between topics and detection performance. Secondly, we delve into the influence of topic shifts on zero-shot detectors. These investigations shed light on the adaptability and robustness of these detection methods across diverse topics. The code is available at \url{https://github.com/yfzhang114/robustness-detection}.


title: Coloring Grids Avoiding Bicolored Paths

abstract: The vertex-coloring problem on graphs avoiding bicolored members of a family of subgraphs has been widely studied. Most well-known examples are star coloring and acyclic coloring of graphs (Gr\"unbaum, 1973) where bicolored copies of $P_4$ and cycles are not allowed, respectively. In this paper, we study a variation of this problem, by considering vertex coloring on grids forbidding bicolored paths. We let $P_k$-chromatic number of a graph be the minimum number of colors needed to color the vertex set properly avoiding a bicolored $P_k.$ We show that in any 3-coloring of the cartesian product of paths, $P_{k-2}\square P_{k-2}$, there is a bicolored $P_k.$ With our result, the problem of finding the $P_k$-chromatic number of product of two paths (2-dimensional grid) is settled for all $k.$


title: Fermi arcs, Landau levels and magnetic response of the nematic Weyl liquid

abstract: In classes of Weyl semimetals where the symmetry protects nodes with higher than unit charge, the nematic Weyl liquid appears as interactions destroy this underlying symmetry. In the symmetry-broken phase, the multiple-charge nodes are split into objects of unit charge, the position of which in momentum space is determined by the nematic order parameter. We examine the phenomenology of this phase, focusing on topological edge states and Landau levels. We find that the symmetry-broken phase itself, as well as the orientation of the nematic order, are identifiable from the resulting edge states. We also find that the nematic order couples to an in-plane magnetic field, indicating that it can be controlled in situ via an external field. Finally, we provide an estimate for the critical coupling where spontaneous symmetry-breaking occurs for contact interaction.


title: Decoupling Judgment and Decision Making: A Tale of Two Tails

abstract: Is it true that if citizens understand hurricane probabilities, they will make more rational decisions for evacuation? Finding answers to such questions is not straightforward in the literature because the terms judgment and decision making are often used interchangeably. This terminology conflation leads to a lack of clarity on whether people make suboptimal decisions because of inaccurate judgments of information conveyed in visualizations or because they use alternative yet currently unknown heuristics. To decouple judgment from decision making, we review relevant concepts from the literature and present two preregistered experiments (N=601) to investigate if the task (judgment vs. decision making), the scenario (sports vs. humanitarian), and the visualization (quantile dotplots, density plots, probability bars) affect accuracy. While experiment 1 was inconclusive, we found evidence for a difference in experiment 2. Contrary to our expectations and previous research, which found decisions less accurate than their direct-equivalent judgments, our results pointed in the opposite direction. Our findings further revealed that decisions were less vulnerable to status-quo bias, suggesting decision makers may disfavor responses associated with inaction. We also found that both scenario and visualization types can influence peoples judgments and decisions. Although effect sizes are not large and results should be interpreted carefully, we conclude that judgments cannot be safely used as proxy tasks for decision making, and discuss implications for visualization research and beyond.


title: A short note about the dynamical description of the measurement process in quantum physics

abstract: The measurement process of observables in a quantum system comes out to be an unsovable problem which started in the early times of the development of the theory. In the present note we consider the measured system part of an open system interacting with the measuring device and show under which ideal conditions the measure process may ideally work. Our procedure leads to the conclusion that there is no hope that any experimental procedure will be able to lead to a clean solution of the process, except maybe in very specific cases. The reasons for this situation are deeply rooted in the fundamental properties of quantum theory.


title: Improving Data Minimization through Decentralized Data Architectures

abstract: In this research project, we investigate an alternative to the standard cloud-centralized data architecture. Specifically, we aim to leave part of the application data under the control of the individual data owners in decentralized personal data stores. Our primary goal is to increase data minimization, i. e., enabling more sensitive personal data to be under the control of its owners while providing a straightforward and efficient framework to design architectures that allow applications to run and data to be analyzed. To serve this purpose, the centralized part of the schema contains aggregating views over this decentralized data. We propose to design a declarative language that extends SQL, for architects to specify different kinds of tables and views at the schema level, along with sensitive columns and their minimum granularity level of their aggregations. Local updates need to be reflected in the centralized views while ensuring privacy throughout intermediate calculations; for this we pursue the integration of distributed materialized view maintenance and multi-party computation (MPC) techniques. We finally aim to implement this system, where the personal data stores could either live in mobile devices or encrypted cloud storage, in order to evaluate its performance properties.


title: Android dialogue system for customer service using prompt-based topic control and compliments generation

abstract: This paper describes a dialogue system developed for the Dialogue Robot Competition 2023 that achieves topic control for trip planning by inserting text into prompts using the ChatGPT-API. We built a system that is capable of generating compliments for the user based on recognition of the user's appearance and creating travel plans by extracting the knowledge about the user's preference from the history of the user's utterances. Complements and planning based on preference are the elements required to maintain the quality of customer service. A preliminary round was held at a travel agency's actual store, where real customers experienced and evaluated the system. This system was evaluated first in the preliminary round and participated in the final round. The results of the preliminary round showed the effectiveness of the proposed system.


title: Secure Authentication Mechanism for Cluster based Vehicular Adhoc Network (VANET): A Survey

abstract: Vehicular Ad Hoc Networks (VANETs) play a crucial role in Intelligent Transportation Systems (ITS) by facilitating communication between vehicles and infrastructure. This communication aims to enhance road safety, improve traffic efficiency, and enhance passenger comfort. The secure and reliable exchange of information is paramount to ensure the integrity and confidentiality of data, while the authentication of vehicles and messages is essential to prevent unauthorized access and malicious activities. This survey paper presents a comprehensive analysis of existing authentication mechanisms proposed for cluster-based VANETs. The strengths, weaknesses, and suitability of these mechanisms for various scenarios are carefully examined. Additionally, the integration of secure key management techniques is discussed to enhance the overall authentication process. Cluster-based VANETs are formed by dividing the network into smaller groups or clusters, with designated cluster heads comprising one or more vehicles. Furthermore, this paper identifies gaps in the existing literature through an exploration of previous surveys. Several schemes based on different methods are critically evaluated, considering factors such as throughput, detection rate, security, packet delivery ratio, and end-to-end delay. To provide optimal solutions for authentication in cluster-based VANETs, this paper highlights AI- and ML-based routing-based schemes. These approaches leverage artificial intelligence and machine learning techniques to enhance authentication within the cluster-based VANET network. Finally, this paper explores the open research challenges that exist in the realm of authentication for cluster-based Vehicular Adhoc Networks, shedding light on areas that require further investigation and development.


title: Minimal vertex model explains how the amnioserosa avoids fluidization during Drosophila dorsal closure

abstract: Dorsal closure is a process that occurs during embryogenesis of Drosophila melanogaster. During dorsal closure, the amnioserosa (AS), a one-cell thick epithelial tissue that fills the dorsal opening, shrinks as the lateral epidermis sheets converge and eventually merge. During this process, the aspect ratio of amnioserosa cells increases markedly. The standard 2-dimensional vertex model, which successfully describes tissue sheet mechanics in multiple contexts, would in this case predict that the tissue should fluidize via cell neighbor changes. Surprisingly, however, the amnioserosa remains an elastic solid with no such events. We here present a minimal extension to the vertex model that explains how the amnioserosa can achieve this unexpected behavior. We show that continuous shrinkage of the preferred cell perimeter and cell perimeter polydispersity lead to the retention of the solid state of the amnioserosa. Our model accurately captures measured cell shape and orientation changes and predicts non-monotonic junction tension that we confirm with laser ablation experiments.


title: The Chern-Weil homomorphism for deformed Hopf-Galois extensions

abstract: We compute the Chern-Weil map introduced by Hajac and Maszczyk associated with a Hopf-Galois extension in the case of $2$-cocycle deformation of the latter. We analyze the cases where the $2$-cocycle belongs to the structure Hopf algebra, an external symmetry, and the combined case. Moreover, we prove the naturality of the Chern-Weil map both in the deformed and not deformed case generalizing the classical result to the non-commutative case.


title: Backpropagation and gradient descent for an optimized dynamic mode decomposition

abstract: We present a robust and flexible optimization approach for dynamic mode decomposition analysis of data with complex dynamics and low signal-to-noise ratios. The approach borrows techniques and insights from the field of deep learning. Specifically, we employ automatic differentiation and stochastic gradient descent to compute eigenvalues, modes, and mode amplitudes simultaneously. The method allows embedding regularization or physical constraints into the operator definition. The optimization approach is applied to three examples of increasing complexity, the most challenging of which is an experimental dataset of transonic shock buffet on a swept at realistic flight conditions.


title: Heterogeneous structure and dynamics of water in a hydrated collagen microfibril

abstract: Collagen type I is well-known for its outstanding mechanical properties which it inherits from its hierarchical structure. Collagen type I fibrils may be viewed as an heterogeneous material made of protein, macromolecules (such as glycosaminoglycans and proteoglycans) and water. Water content modulates the properties of these heterofibrils. Yet, the properties of water and the fine interactions of water with the protein constituent of these nanocomposites have only received limited attention. Here, we propose to model collagen type I fibrils as an hydrated structure made of tropocollagen molecules assembled in a microfibril crystal. We perform large-scale all-atom molecular dynamics simulations of the hydration of collagen fibrils beyond the onset of disassembly. We found that the structural and dynamic properties of water vary strongly with the level of hydration of the microfibril. More importantly, we found that the properties vary spatially within the 67 nm D-spacing periodic structure. Alteration of the structural and dynamical properties of the collagen microfibril occur first in the gap region. Overall, we identify that the change in the role of water molecules from glue to lubricant between tropocollagen molecules arises around 100% hydration while the microfibril begins to disassemble beyond 130% water content. Our findings are supported by a decrease in hydrogen bonding, recovery of bulk water properties and amorphisation of the tropocollagen molecules packing. Our simulations reveal the structure and dynamics of hydrated collagen fibrils with unprecedented spatial resolution from physiological conditions to disassembly. Beyond the process of self-assembly and the emergence of mechanical properties of collagen type I fibrils, our results may also provide new insights in mineralization of collagen fibrils.


title: Exact approaches on the string worldsheet

abstract: We review different exact approaches to string theory. In the context of the Green-Schwarz superstring, we discuss the action in curved backgrounds and its supercoset formulation, with particular attention to superstring backgrounds of the $AdS_3$ type supported by both Ramond-Ramond and Neveu-Schwarz-Neveu-Schwarz fluxes. This is the basis for the discussion of classical integrability, of worldsheet-scattering factorisation in the uniform lightcone gauge, and eventually of the string spectrum through the mirror thermodynamic Bethe ansatz, which for $AdS_3$ backgrounds was only derived and analysed very recently. We then illustrate some aspects of the Ramond-Neveu-Schwarz string, and introduce the formalism of Berkovits-Vafa-Witten, which has seen very recent applications to $AdS_3$ physics, which we also briefly review. Finally, we present the relation between M-theory in the discrete lightcone quantisation and decoupling limits of string theory that exhibit non-relativistic behaviours, highlighting the connection with integrable $T\bar{T}$ deformations, as well as the relation between spin-matrix theory and Landau-Lifshitz models. This review is based on lectures given at the Young Researchers Integrability School and Workshop 2022 "Taming the string worldsheet" at NORDITA, Stockholm.


title: Spectral synthesis of the invariant Laplacian and complexified spherical harmonics

abstract: We show that the space $\mathcal{H}(\Omega)$ of holomorphic functions $F:\Omega\to\mathbb{C}$, where ${\Omega=\{(z,w)\in\widehat{\mathbb{C}}^2\,:\, z\cdot w\neq 1\}}$, possesses an orthogonal Schauder basis consisting of distinguished eigenfunctions of the canonical Laplacian on $\Omega$. Mapping $\Omega$ biholomorphically onto the complex two-sphere, we use the Schauder basis result in order to identify the classical three-dimensional spherical harmonics as restrictions of the elements in $\mathcal{H}(\Omega)$ to the real two-sphere analogue in $\Omega$. In particular, we show that the zonal harmonics correspond to those functions in $\mathcal{H}(\Omega)$ that are invariant under automorphisms of $\Omega$ induced by M\"obius transformations. The proof of the Schauder basis result is based on a curious combinatorial identity which we prove with the help of generalized hypergeometric functions.


title: Calogero-Moser-Sutherland systems

abstract: We discuss integrable many-body systems in one dimension of Calogero-Moser-Sutherland type, both classical and quantum as well as nonrelativistic and relativistic. In particular, we consider fundamental properties such as integrability, the existence of explicit solutions as well as action-angle and bispectral dualities that relate different such systems. We also briefly discuss the early history of the subject and indicate connections with other integrable systems.


title: Automated Testing for Text-to-Image Software

abstract: Recently, creative generative artificial intelligence software has emerged as a pivotal assistant, enabling users to generate content and seek inspiration rapidly. Text-to-image (T2I) software, being one of the most widely used among them, is used to synthesize images with simple text input by engaging in a cross-modal process. However, despite substantial advancements in several fields, T2I software often encounters defects and erroneous, including omitting focal entities, low image realism, and mismatched text-image information. The cross-modal nature of T2I software makes it challenging for traditional testing methods to detect defects. Lacking test oracles further increases the complexity of testing. To address this deficiency, we propose ACTesting, an Automated Cross-modal Testing Method of Text-to-Image software, the first testing method designed specifically for T2I software. We construct test samples based on entities and relationship triples following the fundamental principle of maintaining consistency in the semantic information to overcome the cross-modal matching challenges. To address the issue of testing oracle scarcity, we first design the metamorphic relation for T2I software and implement three types of mutation operators guided by adaptability density. In the experiment, we conduct ACTesting on four widely-used T2I software. The results show that ACTesting can generate error-revealing tests, reducing the text-image consistency by up to 20% compared with the baseline. We also conduct the ablation study that effectively showcases the efficacy of each mutation operator, based on the proposed metamorphic relation. The results demonstrate that ACTesting can identify abnormal behaviors of T2I software effectively.


title: Stability of Graph Convolutional Neural Networks through the lens of small perturbation analysis

abstract: In this work, we study the problem of stability of Graph Convolutional Neural Networks (GCNs) under random small perturbations in the underlying graph topology, i.e. under a limited number of insertions or deletions of edges. We derive a novel bound on the expected difference between the outputs of unperturbed and perturbed GCNs. The proposed bound explicitly depends on the magnitude of the perturbation of the eigenpairs of the Laplacian matrix, and the perturbation explicitly depends on which edges are inserted or deleted. Then, we provide a quantitative characterization of the effect of perturbing specific edges on the stability of the network. We leverage tools from small perturbation analysis to express the bounds in closed, albeit approximate, form, in order to enhance interpretability of the results, without the need to compute any perturbed shift operator. Finally, we numerically evaluate the effectiveness of the proposed bound.


title: A comparative study of analytical models of diffuse reflectance in homogeneous biological tissues: Gelatin based phantoms and Monte Carlo experiments

abstract: Information about tissue oxygen saturation ($StO_2$) and other related important physiological parameters can be extracted from diffuse reflectance spectra measured through non-contact imaging. Three analytical optical reflectance models for homogeneous, semi-infinite, tissue have been proposed (Modified Beer-Lambert, Jacques 1999, Yudovsky 2009) but these have not been directly compared for tissue parameter extraction purposes. We compare these analytical models using Monte Carlo simulated diffuse reflectance spectra and controlled gelatin-based phantoms with measured diffuse reflectance spectra and known ground truth composition parameters. The Yudovsky model performed best against Monte Carlo simulations and measured spectra of tissue phantoms in terms of goodness of fit and parameter extraction accuracy followed closely by Jacques' model. In this study, Yudovsky's model appeared most robust, however our results demonstrated that both Yudovsky and Jacques models are suitable for modelling tissue that can be approximated as a single, homogeneous, semi-infinite slab.


title: Concept-based Explainable Artificial Intelligence: A Survey

abstract: The field of explainable artificial intelligence emerged in response to the growing need for more transparent and reliable models. However, using raw features to provide explanations has been disputed in several works lately, advocating for more user-understandable explanations. To address this issue, a wide range of papers proposing Concept-based eXplainable Artificial Intelligence (C-XAI) methods have arisen in recent years. Nevertheless, a unified categorization and precise field definition are still missing. This paper fills the gap by offering a thorough review of C-XAI approaches. We define and identify different concepts and explanation types. We provide a taxonomy identifying nine categories and propose guidelines for selecting a suitable category based on the development context. Additionally, we report common evaluation strategies including metrics, human evaluations and dataset employed, aiming to assist the development of future methods. We believe this survey will serve researchers, practitioners, and domain experts in comprehending and advancing this innovative field.


title: Robust Loss Functions for Training Decision Trees with Noisy Labels

abstract: We consider training decision trees using noisily labeled data, focusing on loss functions that can lead to robust learning algorithms. Our contributions are threefold. First, we offer novel theoretical insights on the robustness of many existing loss functions in the context of decision tree learning. We show that some of the losses belong to a class of what we call conservative losses, and the conservative losses lead to an early stopping behavior during training and noise-tolerant predictions during testing. Second, we introduce a framework for constructing robust loss functions, called distribution losses. These losses apply percentile-based penalties based on an assumed margin distribution, and they naturally allow adapting to different noise rates via a robustness parameter. In particular, we introduce a new loss called the negative exponential loss, which leads to an efficient greedy impurity-reduction learning algorithm. Lastly, our experiments on multiple datasets and noise settings validate our theoretical insight and the effectiveness of our adaptive negative exponential loss.


title: CARGO: Crypto-Assisted Differentially Private Triangle Counting without Trusted Servers

abstract: Differentially private triangle counting in graphs is essential for analyzing connection patterns and calculating clustering coefficients while protecting sensitive individual information. Previous works have relied on either central or local models to enforce differential privacy. However, a significant utility gap exists between the central and local models of differentially private triangle counting, depending on whether or not a trusted server is needed. In particular, the central model provides a high accuracy but necessitates a trusted server. The local model does not require a trusted server but suffers from limited accuracy. Our paper introduces a crypto-assisted differentially private triangle counting system, named CARGO, leveraging cryptographic building blocks to improve the effectiveness of differentially private triangle counting without assumption of trusted servers. It achieves high utility similar to the central model but without the need for a trusted server like the local model. CARGO consists of three main components. First, we introduce a similarity-based projection method that reduces the global sensitivity while preserving more triangles via triangle homogeneity. Second, we present a triangle counting scheme based on the additive secret sharing that securely and accurately computes the triangles while protecting sensitive information. Third, we design a distributed perturbation algorithm that perturbs the triangle count with minimal but sufficient noise. We also provide a comprehensive theoretical and empirical analysis of our proposed methods. Extensive experiments demonstrate that our CARGO significantly outperforms the local model in terms of utility and achieves high-utility triangle counting comparable to the central model.


title: Fabrication of angstrom-scale two-dimensional channels for mass transport

abstract: Fluidic channels at atomic scales regulate cellular trafficking and molecular filtration across membranes and thus play crucial roles in the functioning of living systems. However, constructing synthetic channels experimentally at these scales has been a significant challenge due to the limitations in nanofabrication techniques and the surface roughness of the commonly used materials. Angstrom-scale slit-like channels address this challenge, as these can be made with precise control over their dimensions and can be used to study the fluidic properties of gases, ions and water at unprecedented scales. Here, we provide a detailed fabrication method of the two-dimensional (2D) angstrom-scale channels, which can be assembled as a single channel or up to hundreds of channels made with atomic scale precision using layered crystals. The procedure includes the fabrication of the substrate, flake, spacer layer, flake transfers, van der Waals assembly, and post-processing. We further explain how to perform molecular transport measurements with the angstrom-scale channels, for the development of methods directed at unravelling interesting and anomalous phenomena that help shed light on the physics of nanofluidic transport systems. The procedure requires a total of 1 to 2 weeks for the fabrication of the 2D channel device and is suitable for users with prior experience in clean room working environments and nanofabrication.


title: On the Energy Consumption of UAV Edge Computing in Non-Terrestrial Networks

abstract: During the last few years, the use of Unmanned Aerial Vehicles (UAVs) equipped with sensors and cameras has emerged as a cutting-edge technology to provide services such as surveillance, infrastructure inspections, and target acquisition. However, this approach requires UAVs to process data onboard, mainly for person/object detection and recognition, which may pose significant energy constraints as UAVs are battery-powered. A possible solution can be the support of Non-Terrestrial Networks (NTNs) for edge computing. In particular, UAVs can partially offload data (e.g., video acquisitions from onboard sensors) to more powerful upstream High Altitude Platforms (HAPs) or satellites acting as edge computing servers to increase the battery autonomy compared to local processing, even though at the expense of some data transmission delays. Accordingly, in this study we model the energy consumption of UAVs, HAPs, and satellites considering the energy for data processing, offloading, and hovering. Then, we investigate whether data offloading can improve the system performance. Simulations demonstrate that edge computing can improve both UAV autonomy and end-to-end delay compared to onboard processing in many configurations.


title: Order-by-disorder in the antiferromagnetic $J_1$-$J_2$-$J_3$ transverse-field Ising model on the ruby lattice

abstract: We investigate the quantum phase diagram of the $J_1$-$J_2$-$J_3$ antiferromagnetic transverse-field Ising model on the ruby lattice. In the low-field limit we derive an effective quantum dimer model, analyzing how the extensive ground-state degeneracy at zero field is lifted by an order-by-disorder scenario. We support our analysis by studying the gap-closing of the high-field phase using series expansions. For $J_2>J_3$, we find a columnar phase at low fields, followed by a clock-ordered phase stabilized by resonating plaquettes at intermediate field values, and an emergent 3d-XY quantum phase transition to the polarized high-field phase. For $J_3>J_2$, an order-by-disorder mechanism stabilizes a distinct $k=(0,0)$ order and a quantum phase transition in the 3d-Ising universality class is observed. Further, we discuss the possible implementation of the columnar- and clock-ordered phase in existing Rydberg atom quantum simulators. When taking into account the full algebraically decaying long-range interactions on the ruby lattice, we find that long-range interactions favor the same ground state as the quantum fluctuations induced by a transverse field, which could make the ruby lattice a promising candidate for the realization of a clock-ordered phase.


title: Quarkonia as probes of initial and final states in small systems with ALICE

abstract: The multiple parton$-$parton interactions (MPIs) are an important element to describe the observed collective flow and strangeness enhancement in high multiplicity pp and p$-$Pb collisions, the so-called small systems. At LHC energy, MPIs affect both soft and hard scales of the event. Since quarkonium production involves both, it can be an excellent tool to understand the role of MPIs in small systems. Study of multiplicity dependent quarkonium production provides an indirect probe of MPIs in hadronic collisions. Also, relative production of excited-to-ground quarkonium states as a function of multiplicity are sensitive to final state effects. Cross section measurements of different quarkonium states are also important to understand their production mechanisms. In these proceedings, first preliminary results of $\psi$(2S)-over-J/$\psi$ cross section measurements at mid and forward rapidity ($\textit{y}$) from Run 2 and Run 3 pp collisions at $\sqrt{s}$ = 13 and 13.6 TeV, respectively will be presented. Preliminary results on $\Upsilon$(nS) states (n = 1,2) cross sections and final multiplicity dependent measurements of excited-to-ground states quarkonium yields, at forward $\textit{y}$, in pp collisions at $\sqrt{s} =$ 13 TeV will be shown. In addition, few performance plots from Run 3 in the quarkonium sector will be presented and discussed.


title: On directed and undirected diameters of vertex-transitive graphs

abstract: A directed diameter of a directed graph is the maximum possible distance between a pair of vertices, where paths must respect edge orientations, while undirected diameter is the diameter of the undirected graph obtained by symmetrizing the edges. In 2006 Babai proved that for a connected directed Cayley graph on $n$ vertices the directed diameter is bounded above by a polynomial in undirected diameter and $\log n$. Moreover, Babai conjectured that a similar bound holds for vertex-transitive graphs. We prove this conjecture of Babai, in fact, it follows from a more general bound for connected relations of homogeneous coherent configurations. The main novelty of the proof is a generalization of Ruzsa's triangle inequality from additive combinatorics to the setting of graphs.


title: Self-similarity of p-adic groups

abstract: We show that a compact open subgroup $H$ of a simple algebraic $p$-adic group $G$ is self-similar if and only if it is isotropic.


title: Misclassification excess risk bounds for 1-bit matrix completion

abstract: This study investigates the misclassification excess risk bound in the context of 1-bit matrix completion, a significant problem in machine learning involving the recovery of an unknown matrix from a limited subset of its entries. Matrix completion has garnered considerable attention in the last two decades due to its diverse applications across various fields. Unlike conventional approaches that deal with real-valued samples, 1-bit matrix completion is concerned with binary observations. While prior research has predominantly focused on the estimation error of proposed estimators, our study shifts attention to the prediction error. This paper offers theoretical analysis regarding the prediction errors of two previous works utilizing the logistic regression model: one employing a max-norm constrained minimization and the other employing nuclear-norm penalization. Significantly, our findings demonstrate that the latter achieves the minimax-optimal rate without the need for an additional logarithmic term. These novel results contribute to a deeper understanding of 1-bit matrix completion by shedding light on the predictive performance of specific methodologies.


title: Class Conditional Time Series Generation with Structured Noise Space GAN

abstract: This paper introduces Structured Noise Space GAN (SNS-GAN), a novel approach in the field of generative modeling specifically tailored for class-conditional generation in both image and time series data. It addresses the challenge of effectively integrating class labels into generative models without requiring structural modifications to the network. The SNS-GAN method embeds class conditions within the generator's noise space, simplifying the training process and enhancing model versatility. The model's efficacy is demonstrated through qualitative validations in the image domain and superior performance in time series generation compared to baseline models. This research opens new avenues for the application of GANs in various domains, including but not limited to time series and image data generation.


title: Euclidean self-dual gravity: Ashtekar variables without gauge fixing

abstract: The Gotay-Nester-Hinds method is used in this paper to study the Hamiltonian formulation of the Euclidean self-dual action. This action can be used to arrive at the complex Ashtekar formulation of General Relativity or a real connection formulation for Euclidean General Relativity. The main result of the paper is a derivation of the Ashtekar formulation for Euclidean gravity without using any gauge fixing. It is interesting to compare this derivation with the one corresponding to the Holst action. In particular it is worth noting that no ``tertiary'' constraints appear in the case considered in the present paper.


title: Accuracy of reaction coordinate based rate theories for modelling chemical reactions: insights from the thermal isomerization in retinal

abstract: Modern potential energy surfaces have shifted attention to molecular simulations of chemical reactions. While various methods can estimate rate constants for conformational transitions in molecular dynamics simulations, their applicability to studying chemical reactions remains uncertain due to the high and sharp energy barriers and complex reaction coordinates involved. This study focuses on the thermal cis-trans isomerization in retinal, employing molecular simulations and comparing rate constant estimates based on one-dimensional rate theories with those based on sampling transitions and grid-based models for low-dimensional collective variable spaces. Even though each individual method to estimate the rate passes its quality tests, the rate constant estimates exhibit disparities of up to four orders of magnitude. Rate constant estimates based on one-dimensional reaction coordinates prove challenging to converge, even if the reaction coordinate is optimized. However, consistent estimates of the rate constant are achieved by sampling transitions and by multi-dimensional grid-based models.


title: Estimating Photometric Redshift from Mock Flux for CSST Survey by using Weighted Random Forest

abstract: Accurate estimation of photometric redshifts (photo-$z$) is crucial in studies of both galaxy evolution and cosmology using current and future large sky surveys. In this study, we employ Random Forest (RF), a machine learning algorithm, to estimate photo-$z$ and investigate the systematic uncertainties affecting the results. Using galaxy flux and color as input features, we construct a mapping between input features and redshift by using a training set of simulated data, generated from the Hubble Space Telescope Advanced Camera for Surveys (HST-ACS) and COSMOS catalogue, with the expected instrumental effects of the planned China Space Station Telescope (CSST). To improve the accuracy and confidence of predictions, we incorporate inverse variance weighting and perturb the catalog using input feature errors. Our results show that weighted RF can achieve a photo-$z$ accuracy of $\rm \sigma_{NMAD}=0.025$ and an outlier fraction of $\rm \eta=2.045\%$, significantly better than the values of $\rm \sigma_{NMAD}=0.043$ and $\rm \eta=6.45\%$ obtained by the widely used Easy and Accurate Zphot from Yale (EAZY) software which uses template-fitting method. Furthermore, we have calculated the importance of each input feature for different redshift ranges and found that the most important input features reflect the approximate position of the break features in galaxy spectra, demonstrating the algorithm's ability to extract physical information from data. Additionally, we have established confidence indices and error bars for each prediction value based on the shape of the redshift probability distribution function, suggesting that screening sources with high confidence can further reduce the outlier fraction.


title: Bounds for characteristic numbers of conic-line arrangements in the plane

abstract: The main aim of the note is to provide an upper-bound for the characteristic number of conic-line arrangements with ordinary singularities in the complex projective plane.


title: The Core-shift of Sagittarius A* as a Discriminant between Disk and Jet Emission Models with millimeter-VLBI

abstract: The nature of the emission region around Sagittarius A* (Sgr A*), the supermassive black hole at the Galactic Center, remains under debate. A prediction of jet models is that a frequency-dependent shift in the position of the radio core (core-shift) of active galactic nucleii occurs when observing emission dominated by a highly collimated relativistic outflow. We use millimeter Very Long Baseline Interferometry to study the frequency-dependent position of Sgr A*'s radio core, estimate the core-shift for different emission models, investigate the core-shift evolution as a function of viewing angle and orientation, and study its behaviour in the presence of interstellar scattering. We simulate images of the emission around Sgr A* for accretion inflow models (disks) and relativistic outflow models (jets). They are based on three-dimensional general relativistic magnetohydrodynamic simulations. We create flux density maps at 22, 43 and 86 GHz sampling different viewing angles and orientations, and examine the effects of scattering. Jet-dominated models show significantly larger core-shifts (in some cases by a factor of 16) than disk-dominated models, intermediate viewing angles (i=30, 45 degrees) show the largest core-shifts. Our jet models follow a power-law relation for the frequency dependent position of Sgr A*'s core. Their core-shifts decrease as the position angle increases from 0 to 90 degrees. Disk models do not fit well a power-law relation and their core-shifts are insensitive to changes in viewing angle. We place an upper limit of 241.65 +-1.93 microarcseconds per cm for the core-shift of jet models including refractive scattering. Our jet models agree with earlier predictions of AGN with conical jets, and the core-shift is retrievable even in the presence of interstellar scattering.


title: High-dimensional sparse classification using exponential weighting with empirical hinge loss

abstract: In this study, we address the problem of high-dimensional binary classification. Our proposed solution involves employing an aggregation technique founded on exponential weights and empirical hinge loss. Through the employment of a suitable sparsity-inducing prior distribution, we demonstrate that our method yields favorable theoretical results on prediction error. The efficiency of our procedure is achieved through the utilization of Langevin Monte Carlo, a gradient-based sampling approach. To illustrate the effectiveness of our approach, we conduct comparisons with the logistic Lasso on simulated data and a real dataset. Our method frequently demonstrates superior performance compared to the logistic Lasso.


title: Frieze patterns and Farey complexes

abstract: Frieze patterns have attracted significant attention recently, motivated by their relationship with cluster algebras. A longstanding open problem has been to provide a combinatorial model for frieze patterns over the ring of integers modulo $n$ akin to Conway and Coxeter's celebrated model for positive integer frieze patterns. Here we solve this problem using the Farey complex of the ring of integers modulo $n$; in fact, using more general Farey complexes we provide combinatorial models for frieze patterns over any rings whatsoever. Our strategy generalises that of the first author and of Morier-Genoud et al. for integers and that of Felikson et al. for Eisenstein integers. We also generalise results of Singerman and Strudwick on diameters of Farey graphs, we recover a theorem of Morier-Genoud on enumerating friezes over finite fields, and we classify those frieze patterns modulo $n$ that lift to frieze patterns over the integers in terms of the topology of the corresponding Farey complexes.


title: TADAP: Trajectory-Aided Drivable area Auto-labeling with Pre-trained self-supervised features in winter driving conditions

abstract: Detection of the drivable area in all conditions is crucial for autonomous driving and advanced driver assistance systems. However, the amount of labeled data in adverse driving conditions is limited, especially in winter, and supervised methods generalize poorly to conditions outside the training distribution. For easy adaption to all conditions, the need for human annotation should be removed from the learning process. In this paper, Trajectory-Aided Drivable area Auto-labeling with Pre-trained self-supervised features (TADAP) is presented for automated annotation of the drivable area in winter driving conditions. A sample of the drivable area is extracted based on the trajectory estimate from the global navigation satellite system. Similarity with the sample area is determined based on pre-trained self-supervised visual features. Image areas similar to the sample area are considered to be drivable. These TADAP labels were evaluated with a novel winter-driving dataset, collected in varying driving scenes. A prediction model trained with the TADAP labels achieved a +9.6 improvement in intersection over union compared to the previous state-of-the-art of self-supervised drivable area detection.


title: Generalised row and column removal results for decomposition numbers of spin representations of symmetric groups in characteristic 2

abstract: We prove generalised row and column removal results for decomposition numbers of spin representations of symmetric groups in characteristic 2, which, in view of doubling of partitions and powers of $2$ appearing in regularisation results for spin representations, are equivalent to Donkin's generalised row and column removal results for decomposition numbers of representations of symmetric groups.


title: Restrictions to realize multiport quantum dense coding in a many-body quantum spin system with two- and three-body interactions

abstract: Quantum information with many-body quantum spin systems has, from time to time, given intriguing and intuitive outcomes to our understanding of multiport quantum communications. We identify that in an anisotropic many-body quantum spin system with two- and three-body interactions, when its two-spin subsystems are all negative under partial transpose, one can restrict this system for realizing only the multiport quantum dense coding protocol which has $(N-1)$ senders and a single receiver. All other single and multi channel dense coding protocols will have quantum dense coding capacities less than that of their respective classical capacities. We characterize the multiport quantum dense coding capacity with $(N-1)$ senders and a single receiver for this system with respect to its system parameters. We also define a magnetic field averaged dense coding capacity for this system, which allows us to comprehensively capture the influence of the entire range of external applied magnetic field and characterize its variation with respect to other system parameters.


title: CFD-Driven Optimization of Dual-Throat Micro-Nozzle for Enhanced Thrust in Cold Gas Propulsion for Microsatellites

abstract: Micro spacecraft have garnered increasing favor for their adaptability in space missions. Cold gas propellant-based (CGP) micro propulsion systems assume a pivotal role in enabling maneuvering, monitoring, and precise attitude control in micro/nanosatellites, offering attributes of simplicity, non-toxicity, and minimal leakage compared to alternative propulsion methods. The convergent-divergent micro-nozzle, an integral component of micro thrusters, is instrumental in thrust generation. This research conducts a sensitivity analysis of the micro-nozzle to discern influential geometric variables, employing response surface optimization techniques through ANSYS FLUENT. Results indicate a noteworthy thrust enhancement, reaching 113.1 mN in the optimized design. Additionally, a novel curved throat concept is introduced, yielding a 25 percent thrust increase and culminating in a final design achieving 141 mN. Further exploration involves a dual-throat micro-nozzle, integrating response surface optimization and a curved throat design, resulting in an impressive thrust level of 261 mN, surpassing prior designs without added complexity. This study advances micro spacecraft propulsion by addressing challenges and introducing innovative approaches, emphasizing the pioneering nature of this investigation within the realm of micro propulsion systems.


title: Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)

abstract: The Thread protocol (or simply Thread ) is a popular networking protocol for the Internet of Things (IoT). It allows seamless integration of a set of applications and protocols, hence reducing the risk of incompatibility among different applications or user protocols. Thread has been deployed in many popular smart home products by the majority of IoT manufacturers, such as Apple TV, Apple HomePod mini, eero 6, Nest Hub, and Nest Wifi. Despite a few empirical analyses on the security of Thread, there is still a lack of formal analysis on this infrastructure of the booming IoT ecosystem. In this work, we performed a formal symbolic analysis of the security properties of Thread. Our main focus is on MeshCoP (Mesh Commissioning Protocol), the main subprotocol in Thread for secure authentication and commissioning of new, untrusted devices inside an existing Thread network. This case study presents the challenges and proposed solutions in modeling MeshCoP. We use ProVerif, a symbolic verification tool of {\pi}-calculus models, for verifying the security properties of MeshCoP.


title: Performance of the Full-equipped Spin Flip Chopper For Neutron Lifetime Experiment at J-PARC

abstract: To solve the ``neutron lifetime puzzle,'' where measured neutron lifetimes differ depending on the measurement methods, an experiment with pulsed neutron beam at J-PARC is in progress. In this experiment, neutrons are bunched into 40-cm lengths using a spin flip chopper (SFC), where the statistical sensitivity was limited by the aperture size of the SFC. The SFC comprises three sets of magnetic supermirrors and two resonant spin flippers. In this paper, we discuss an upgrade to enlarge the apertures of the SFC. The improved SFC achieved a signal-to-noise ratio of 250--400, which is comparable to the previous one. The statistics per unit time of the neutron lifetime experiment increased 2.8 times with the upgrade. Consequently, the time required to reach an accuracy of 1~s in the neutron lifetime experiment was reduced from 590 to 170~days, which is a significant reduction in time. This improvement in statistical accuracy will also contribute to the reduction of systematic uncertainties, such as background evaluation, fostering further advancements in the neutron lifetime experiments at J-PARC.


title: Maximizing Matching Cuts

abstract: A matching cut in a graph G is an edge cut of G that is also a matching. This short survey gives an overview of old and new results and open problems for Maximum Matching Cut, which is to determine the size of a largest matching cut in a graph. We also compare this problem with the related problems Matching Cut, Minimum Matching Cut, and Perfect Matching Cut, which are to determine if a graph has a matching cut; the size of a smallest matching cut in a graph; and if a graph has a matching cut that is a perfect matching, respectively. Moreover, we discuss a relationship between Maximum Matching Cut and Max Cut, which is to determine the size of a largest edge cut in a graph, as well as a relationship between Minimum Matching Cut and Min Cut, which is to determine the size of a smallest edge cut in a graph.


title: Radar Fields: An Extension of Radiance Fields to SAR

abstract: Radiance fields have been a major breakthrough in the field of inverse rendering, novel view synthesis and 3D modeling of complex scenes from multi-view image collections. Since their introduction, it was shown that they could be extended to other modalities such as LiDAR, radio frequencies, X-ray or ultrasound. In this paper, we show that, despite the important difference between optical and synthetic aperture radar (SAR) image formation models, it is possible to extend radiance fields to radar images thus presenting the first "radar fields". This allows us to learn surface models using only collections of radar images, similar to how regular radiance fields are learned and with the same computational complexity on average. Thanks to similarities in how both fields are defined, this work also shows a potential for hybrid methods combining both optical and SAR images.


title: Points-Polynomials Incidence Theorem with Applications to Coding Theory

abstract: This paper focuses on incidences over finite fields, extending to higher degrees a result by Vinh \cite{VINH20111177} on the number of point-line incidences in the plane $\mathbb{F}^2$, where $\mathbb{F}$ is a finite field. Specifically, we present a bound on the number of incidences between points and polynomials of bounded degree in $\mathbb{F}^2$. Our approach employs a singular value decomposition of the incidence matrix between points and polynomials, coupled with an analysis of the related group algebras. This bound is then applied to coding theory, specifically to the problem of average-radius list decoding of Reed-Solomon (RS) codes. We demonstrate that RS codes of certain lengths are average-radius list-decodable with a constant list size, which is dependent on the code rate and the distance from the Johnson radius. While a constant list size for list-decoding of RS codes in this regime was previously established, its existence for the stronger notion of average-radius list-decoding was not known to exist.


title: Infinite order results for charged sectors of the Standard Model

abstract: We determine anomalous dimensions of a family of fixed hypercharge operators in the Standard Model featuring the general Cabibbo-Kobayashi-Maskawa structure. The results are obtained at infinite orders in the couplings and to leading and subleading orders in the charge. The computed anomalous dimensions are shown to agree with the maximum known order in perturbation theory. We further show that the large hypercharge sector of the Standard Model is characterised by a non-Abelian vector condensation phase.


title: Far- and Near-Field Channel Measurements and Characterization in the Terahertz Band Using a Virtual Antenna Array

abstract: Extremely large-scale antenna array (ELAA) technologies consisting of ultra-massive multiple-input-multiple-output (UM-MIMO) or reconfigurable intelligent surfaces (RISs), are emerging to meet the demand of wireless systems in sixth-generation and beyond communications for enhanced coverage and extreme data rates up to Terabits per second. For ELAA operating at Terahertz (THz) frequencies, the Rayleigh distance expands, and users are likely to be located in both far-field (FF) and near-field (NF) regions. On one hand, new features like NF propagation and spatial non-stationarity need to be characterized. On the other hand, the transition of properties near the FF and NF boundary is worth exploring. In this paper, a complete experimental analysis of far- and near-field channel characteristics using a THz virtual antenna array is provided based on measurement of the multi-input-single-output channel with the virtual uniform planar array (UPA) structure of at most 4096 elements. In particular, non-linear phase change is observed in the NF, and the Rayleigh criterion regarding the maximum phase error is verified. Then, a new cross-field path loss model is proposed, which characterizes the power change at antenna elements in the UPA and is compatible with both FF and NF cases.


title: Ceresa cycles of bielliptic Picard curves

abstract: We show that the Ceresa cycle $\kappa(C_t)$ of the genus $3$ curve $C_t \colon y^3 = x^4 + 2tx^2 + 1$ is torsion if and only if $Q_t=( \sqrt[3]{t^2 -1},t)$ is a torsion point on the elliptic curve $y^2 = x^3 + 1$. This shows that there are infinitely many smooth plane quartic curves over $\mathbb{C}$ (resp. $\mathbb{Q}$) with torsion (resp. infinite order) Ceresa cycle. Over $\overline{\mathbb{Q}}$, we show that the Beilinson--Bloch height of $\kappa(C_t)$ is proportional to the Neron--Tate height of $Q_t$. Thus, the height of $\kappa(C_t)$ is nondegenerate and satisfies a Northcott property. To prove all this, we show that the Chow motive that controls $\kappa(C_t)$ is isomorphic to $\mathfrak{h}^1$ of an appropriate elliptic curve.


title: Rank-based Bayesian clustering via covariate-informed Mallows mixtures

abstract: Data in the form of rankings, ratings, pair comparisons or clicks are frequently collected in diverse fields, from marketing to politics, to understand assessors' individual preferences. Combining such preference data with features associated with the assessors can lead to a better understanding of the assessors' behaviors and choices. The Mallows model is a popular model for rankings, as it flexibly adapts to different types of preference data, and the previously proposed Bayesian Mallows Model (BMM) offers a computationally efficient framework for Bayesian inference, also allowing capturing the users' heterogeneity via a finite mixture. We develop a Bayesian Mallows-based finite mixture model that performs clustering while also accounting for assessor-related features, called the Bayesian Mallows model with covariates (BMMx). BMMx is based on a similarity function that a priori favours the aggregation of assessors into a cluster when their covariates are similar, using the Product Partition models (PPMx) proposal. We present two approaches to measure the covariate similarity: one based on a novel deterministic function measuring the covariates' goodness-of-fit to the cluster, and one based on an augmented model as in PPMx. We investigate the performance of BMMx in both simulation experiments and real-data examples, showing the method's potential for advancing the understanding of assessor preferences and behaviors in different applications.


title: Implementation of the Emulator-based Component Analysis

abstract: We present a PyTorch-powered implementation of the emulator-based component analysis used for ill-posed numerical non-linear inverse problems, where an approximate emulator for the forward problem is known. This emulator may be a numerical model, an interpolating function, or a fitting function such as a neural network. With the help of the emulator and a data set, the method seeks dimensionality reduction by projection in the variable space so that maximal variance of the target (response) values of the data is covered. The obtained basis set for projection in the variable space defines a subspace of the greatest response for the outcome of the forward problem. The method allows for the reconstruction of the coordinates in this subspace for an approximate solution to the inverse problem. We present an example of using the code provided as a Python class.


title: AB Aur, a Rosetta stone for studies of planet formation (III): continuum observations at 2 and 7 mm

abstract: Observational constraints on dust properties in protoplanetary disks are key to better understanding disks' evolution. We continue our exploration of the protoplanetary disk around AB Aur by characterizing its dust properties. We present ALMA observations at 2.2 mm and VLA observations at 6.8 mm. Together with previous ALMA and NOEMA observations at 0.87 and 1.1 mm, these observations are used to compute global spectral index profiles as well as spectral index maps. On the interpretation side, we present the results of a simple isothermal slab model to help constrain dust properties along the ring of continuum emission. We also present results of dust radiative transfer calculations based on a disc-planet hydrodynamical simulation to explain how the azimuthal contrast ratio of the ring emission varies with millimeter wavelength. The spectral energy distribution and the radial profiles of the spectral index indicate that the radiation from the compact source towards the center is not dominated by dust thermal emission, but most likely by free-free emission originating in the radio jet: it constitutes 93% of the emission at 6.8 mm, and 37% at 0.87 mm. The protoplanetary disk has a typical spectral index of 2.3. We estimate a dust disk mass of 8$\rm \times 10^{-5}$ M$\rm _{\odot}$ which, assuming a mean gas-to-dust ratio of 40, gives a total disk mass of 3.2$\rm \times 10^{-3}$ M$\rm _{\odot}$. The azimuthal contrast ratio of the ring outside the millimeter cavity is smaller at 2.2 mm than at 1.1 mm, in agreement with previous findings. The VLA image shows several knots of $5\sigma$ emission all along the ring, which are consistent with the ring emission being nearly axisymmetric at that wavelength. The decrease in the azimuthal contrast ratio of the ring emission from 0.87 to 6.8 mm can be explained by a dust-losing decaying vortex at the outer edge of a planet gap.


title: Explicit form for the most general Lorentz transformation revisited

abstract: Explicit formulae for the $4\times 4$ Lorentz transformation matrices corresponding to a pure boost and a pure three-dimensional rotation are very well-known. Significantly less well-known is the explicit formula for a general Lorentz transformation with arbitrary boost and rotation parameters. We revisit this more general formula by presenting two different derivations. The first derivation (which is somewhat simpler than previous ones appearing in the literature) evaluates the exponential of a $4\times 4$ matrix $A$, where $GA$ is an arbitrary $4\times 4$ real antisymmetric matrix and $G$ is a diagonal matrix corresponding to the Minkowski metric. The formula for $\exp A$ depends only on the eigenvalues of $A$ and makes use of the Lagrange interpolating polynomial. The second derivation exploits the assertion that the spinor product $\eta^\dagger{\bar{\sigma}}^{\,\mu}\chi$ transforms as a Lorentz four-vector, where $\chi$ and $\eta$ are two-component spinors. The advantage of this derivation is that the formula for a general Lorentz transformation $\Lambda$ reduces to the computation of the trace of a product of $2\times 2$ matrices. Both computations are shown to yield equivalent expressions for $\Lambda$.


title: D3Former: Jointly Learning Repeatable Dense Detectors and Feature-enhanced Descriptors via Saliency-guided Transformer

abstract: Establishing accurate and representative matches is a crucial step in addressing the point cloud registration problem. A commonly employed approach involves detecting keypoints with salient geometric features and subsequently mapping these keypoints from one frame of the point cloud to another. However, methods within this category are hampered by the repeatability of the sampled keypoints. In this paper, we introduce a saliency-guided trans\textbf{former}, referred to as \textit{D3Former}, which entails the joint learning of repeatable \textbf{D}ense \textbf{D}etectors and feature-enhanced \textbf{D}escriptors. The model comprises a Feature Enhancement Descriptor Learning (FEDL) module and a Repetitive Keypoints Detector Learning (RKDL) module. The FEDL module utilizes a region attention mechanism to enhance feature distinctiveness, while the RKDL module focuses on detecting repeatable keypoints to enhance matching capabilities. Extensive experimental results on challenging indoor and outdoor benchmarks demonstrate that our proposed method consistently outperforms state-of-the-art point cloud matching methods. Notably, tests on 3DLoMatch, even with a low overlap ratio, show that our method consistently outperforms recently published approaches such as RoReg and RoITr. For instance, with the number of extracted keypoints reduced to 250, the registration recall scores for RoReg, RoITr, and our method are 64.3\%, 73.6\%, and 76.5\%, respectively.


title: Witt vectors with coefficients and TR

abstract: We give a new construction of $p$-typical Witt vectors with coefficients in terms of ghost maps and show that this construction is isomorphic to the one defined in terms of formal power series from the authors' previous paper. We show that our construction recovers Kaledin's polynomial Witt vectors in the case of vector spaces over a perfect field of characteristic $p$. We then identify the components of the $p$-typical TR with coefficients, originally defined by Lindenstrauss and McCarthy and later reworked by the second and third authors in joint work with McCandless, with the $p$-typical Witt vectors with coefficients. This extends a celebrated result of Hesselholt and Hesselholt-Madsen relating the components of TR with the Witt vectors. As an application, we given an algebraic description of the components of the Hill-Hopkins-Ravenel norm for cyclic $p$-groups in terms of $p$-typical Witt vectors with coefficients.