title: Few Quantum Algorithms on Amplitude Distribution

abstract: Amplitude filtering is concerned with identifying basis-states in a superposition whose amplitudes are greater than a specified threshold; probability filtering is defined analogously for probabilities. Given the scarcity of qubits, the focus of this work is to design log-space algorithms for them. Both algorithms follow a similar pattern of estimating the amplitude (or, probability for the latter problem) of each state, in superposition, then comparing each estimate against the threshold for setting up a flag qubit upon success, finally followed by amplitude amplification of states in which the flag is set. We show how to implement each step using very few qubits by designing three subroutines. Our first algorithm performs amplitude amplification even when the "good state'' operator has a small probability of being incorrect -- here we improve upon the space complexity of the previously known algorithms. Our second algorithm performs "true amplitude estimation'' in roughly the same complexity as that of "amplitude estimation'', which actually estimates a probability instead of an amplitude. Our third algorithm is for performing amplitude estimation in parallel (superposition) which is difficult when each estimation branch involves different oracles. As an immediate reward, we observed that the above algorithms for the filtering problems directly improved the upper bounds on the space-bounded query complexity of problems such as non-linearity estimation of Boolean functions and $k$-distinctness.


title: Resolution enhancement of placenta histological images using deep learning

abstract: In this study, a method has been developed to improve the resolution of histological human placenta images. For this purpose, a paired series of high- and low-resolution images have been collected to train a deep neural network model that can predict image residuals required to improve the resolution of the input images. A modified version of the U-net neural network model has been tailored to find the relationship between the low resolution and residual images. After training for 900 epochs on an augmented dataset of 1000 images, the relative mean squared error of 0.003 is achieved for the prediction of 320 test images. The proposed method has not only improved the contrast of the low-resolution images at the edges of cells but added critical details and textures that mimic high-resolution images of placenta villous space.


title: Distilled Low Rank Neural Radiance Field with Quantization for Light Field Compression

abstract: We propose in this paper a Quantized Distilled Low-Rank Neural Radiance Field (QDLR-NeRF) representation for the task of light field compression. While existing compression methods encode the set of light field sub-aperture images, our proposed method learns an implicit scene representation in the form of a Neural Radiance Field (NeRF), which also enables view synthesis. To reduce its size, the model is first learned under a Low-Rank (LR) constraint using a Tensor Train (TT) decomposition within an Alternating Direction Method of Multipliers (ADMM) optimization framework. To further reduce the model's size, the components of the tensor train decomposition need to be quantized. However, simultaneously considering the optimization of the NeRF model with both the low-rank constraint and rate-constrained weight quantization is challenging. To address this difficulty, we introduce a network distillation operation that separates the low-rank approximation and the weight quantization during network training. The information from the initial LR-constrained NeRF (LR-NeRF) is distilled into a model of much smaller dimension (DLR-NeRF) based on the TT decomposition of the LR-NeRF. We then learn an optimized global codebook to quantize all TT components, producing the final QDLR-NeRF. Experimental results show that our proposed method yields better compression efficiency compared to state-of-the-art methods, and it additionally has the advantage of allowing the synthesis of any light field view with high quality.


title: Temporal extrapolation of heart wall segmentation in cardiac magnetic resonance images via pixel tracking

abstract: In this study, we have tailored a pixel tracking method for temporal extrapolation of the ventricular segmentation masks in cardiac magnetic resonance images. The pixel tracking process starts from the end-diastolic frame of the heart cycle using the available manually segmented images to predict the end-systolic segmentation mask. The superpixels approach is used to divide the raw images into smaller cells and in each time frame, new labels are assigned to the image cells which leads to tracking the movement of the heart wall elements through different frames. The tracked masks at the end of systole are compared with the already available manually segmented masks and dice scores are found to be between 0.81 to 0.84. Considering the fact that the proposed method does not necessarily require a training dataset, it could be an attractive alternative approach to deep learning segmentation methods in scenarios where training data are limited.


title: Topological transition in multicyclic chains with structural symmetry inducing stress-overshoot phenomena in multicyclic/linear blends under biaxial elongational flow

abstract: Blends of multicyclic and linear polymers under biaxial elongational flow were analyzed using coarse-grained molecular dynamics simulations. The multicyclic/linear blends displayed overshoot in the normal stress difference at the start-up of biaxial elongational flow. This overshoot was steeper for multicyclic/linear blends than for our previously reported monocyclic/linear blends [T. Murashima, K. Hagita, and T. Kawakatsu, Macromolecules, 2021, 54, 7210]. Investigation of the origin of the overshoot in the multicyclic/linear blends revealed a different mechanism than that previously observed in our monocyclic/linear blends. Specifically, a "topological transition" mechanism comprising a morphological change from the open- to closed-ring state was observed in the multicyclic chains, but not in the monocyclic chains. This topological transition drastically changes the stress of the rings. Although the topological transition was also observed in asymmetric-multicyclic/linear blends, no stress overshoot appeared, owing to the asymmetry in the multicyclic chains. Therefore, we hypothesized that the structural symmetry in multicyclic chains is indispensable for overshoot behavior to occur. We determined that the topological transition in multicyclic chains with structural symmetry induces stress-overshoot behavior in multicyclic/linear blends under biaxial elongational flow.


title: Proposal for Sequential Stern-Gerlach Experiment with Programmable Quantum Processors

abstract: The historical significance of the Stern-Gerlach experiment lies in its provision of the initial evidence for space quantization. Over time, its sequential form has evolved into an elegant paradigm that effectively illustrates the fundamental principles of quantum theory. To date, the practical implementation of the sequential Stern-Gerlach experiment has not been fully achieved. In this study, we demonstrate the capability of programmable quantum processors to simulate the sequential Stern-Gerlach experiment. The specific parametric shallow quantum circuits, which are suitable for the limitations of current noisy quantum hardware, are given to replicate the functionality of Stern-Gerlach devices with the ability to perform measurements in different directions. Surprisingly, it has been demonstrated that Wigner's Stern-Gerlach interferometer can be readily implemented in our sequential quantum circuit. With the utilization of the identical circuits, it is also feasible to implement Wheeler's delayed-choice experiment. We propose the utilization of cross-shaped programmable quantum processors to showcase sequential experiments, and the simulation results demonstrate a strong alignment with theoretical predictions. With the rapid advancement of cloud-based quantum computing, such as BAQIS Quafu, it is our belief that the proposed solution is well-suited for deployment on the cloud, allowing for public accessibility. Our findings not only expand the potential applications of quantum computers, but also contribute to a deeper comprehension of the fundamental principles underlying quantum theory.


title: Topological cyclic homology and the Fargues-Fontaine curve

abstract: The purpose of this expository paper is to explain how the Fargues-Fontaine curve and its decomposition into a punctured curve and the formal neighborhood of the puncture naturally arise from various forms of topological cyclic homology and maps between them.


title: Virtual Reality Simulator for Fetoscopic Spina Bifida Repair Surgery

abstract: Spina Bifida (SB) is a birth defect developed during the early stage of pregnancy in which there is incomplete closing of the spine around the spinal cord. The growing interest in fetoscopic Spina-Bifida repair, which is performed in fetuses who are still in the pregnant uterus, prompts the need for appropriate training. The learning curve for such procedures is steep and requires excellent procedural skills. Computer-based virtual reality (VR) simulation systems offer a safe, cost-effective, and configurable training environment free from ethical and patient safety issues. However, to the best of our knowledge, there are currently no commercial or experimental VR training simulation systems available for fetoscopic SB-repair procedures. In this paper, we propose a novel VR simulator for core manual skills training for SB-repair. An initial simulation realism validation study was carried out by obtaining subjective feedback (face and content validity) from 14 clinicians. The overall simulation realism was on average marked 4.07 on a 5-point Likert scale (1 - very unrealistic, 5 - very realistic). Its usefulness as a training tool for SB-repair as well as in learning fundamental laparoscopic skills was marked 4.63 and 4.80, respectively. These results indicate that VR simulation of fetoscopic procedures may contribute to surgical training without putting fetuses and their mothers at risk. It could also facilitate wider adaptation of fetoscopic procedures in place of much more invasive open fetal surgeries.


title: Spin transport properties in a naphthyl diamine derivative film investigated by the spin pumping

abstract: We report the spin transport properties in a thin film of a naphthyl diamine derivative: N,N'-Bis(naphthalen-1-yl)-N,N'-bis(phenyl)-2,2'-dimethylbenzidine (alpha-NPD). In a palladium(Pd)/alpha-NPD/Ni80Fe20 tri-layer structure sample, a pure spin current is generated in the alpha-NPD layer with the spin pumping driven by ferromagnetic resonance (FMR). The generated spin current is absorbed into the Pd layer, and converted into a charge current with the inverse spin-Hall effect (ISHE) in Pd. An electromotive force due to the ISHE in the Pd layer is observed under the FMR of the Ni80Fe20 layer, which is clear evidence for the spin transport in an alpha-NPD film. The spin diffusion length in an alpha-NPD film is estimated to be about 62 nm at room temperature, which is long enough as a spin transport material for spintronic devices.


title: Klein-Gordon particles in G\"odel-type Som-Raychaudhuri cosmic string spacetime and the phenomenon of spacetime associated degeneracies

abstract: We argue that only exact, comprehensive, and explicit solutions for the fundamental models, the Klein-Gordon (KG) oscillators and the KG-Coulomb, would help to understand the effects of gravitational fields on the dynamics of such quantum mechanical systems. In the current methodical proposal, the effects of the gravitational fields generated by a G\"odel-type Som-Raychaudhuri (SR) cosmic string spacetime on KG-oscillators (KG-particles in general) are studied and reported. In so doing, we revisit the KG-oscillators in a topologically trivial G\"odel-type spacetime background and use textbook procedures to report its exact solution that covers even and odd parities. Next, we discuss the drawbacks associated with the power series expansion approach that implies the biconfluent Heun functions/polynomials solution. We, therefore, recollect the so called pseudo perturbative shifted L expansion technique (PSLET) as an alternative and more sophisticated method/technique. Illustrative examples are used: (i) a KG-oscillator in a topologically trivial G\"odel-type spacetime, (ii) a quasi-free KG-oscillator in G\"odel SR-type cosmic string spacetime, (iii) a KG-Coulombic particle in G\"odel SR-type cosmic string spacetime at zero vorticity, and (iv) a massless KG-particle in G\"odel SR-type cosmic string spacetime in a Cornell-type Lorentz scalar potential. The corresponding exact energies are obtained from the zeroth (leading) order correction of PSLET, where all higher order correction identically vanish. The comprehensive exactness of the reported solutions manifestly suggest degeneracies associated with spacetime (STAD) phenomenon.


title: Accounting for Climate Change in Extreme Sea Level Estimation

abstract: Extreme sea level estimates are fundamental for mitigating against coastal flooding as they provide insight for defence engineering. As the global climate changes, rising sea levels combined with increases in storm intensity and frequency pose an increasing risk to coastline communities. We present a new method for estimating extreme sea levels that accounts for the effects of climate change on extreme events that are not accounted for by mean sea level trends. We follow a joint probabilities methodology, considering skew surge and peak tides as the only components of sea levels. We model extreme skew surges using a non-stationary generalised Pareto distribution (GPD) with covariates accounting for climate change, seasonality and skew surge-peak tide interaction. We develop methods to efficiently test for extreme skew surge trends across different coastlines and seasons. We illustrate our methods using data from four UK tide gauges.


title: A Survey on Masked Autoencoder for Self-supervised Learning in Vision and Beyond

abstract: Masked autoencoders are scalable vision learners, as the title of MAE \cite{he2022masked}, which suggests that self-supervised learning (SSL) in vision might undertake a similar trajectory as in NLP. Specifically, generative pretext tasks with the masked prediction (e.g., BERT) have become a de facto standard SSL practice in NLP. By contrast, early attempts at generative methods in vision have been buried by their discriminative counterparts (like contrastive learning); however, the success of mask image modeling has revived the masking autoencoder (often termed denoising autoencoder in the past). As a milestone to bridge the gap with BERT in NLP, masked autoencoder has attracted unprecedented attention for SSL in vision and beyond. This work conducts a comprehensive survey of masked autoencoders to shed insight on a promising direction of SSL. As the first to review SSL with masked autoencoders, this work focuses on its application in vision by discussing its historical developments, recent progress, and implications for diverse applications.


title: Bump hunting through density curvature features

abstract: Bump hunting deals with finding in sample spaces meaningful data subsets known as bumps. These have traditionally been conceived as modal or concave regions in the graph of the underlying density function. We define an abstract bump construct based on curvature functionals of the probability density. Then, we explore several alternative characterizations involving derivatives up to second order. In particular, a suitable implementation of Good and Gaskins' original concave bumps is proposed in the multivariate case. Moreover, we bring to exploratory data analysis concepts like the mean curvature and the Laplacian that have produced good results in applied domains. Our methodology addresses the approximation of the curvature functional with a plug-in kernel density estimator. We provide theoretical results that assure the asymptotic consistency of bump boundaries in the Hausdorff distance with affordable convergence rates. We also present asymptotically valid and consistent confidence regions bounding curvature bumps. The theory is illustrated through several use cases in sports analytics with datasets from the NBA, MLB and NFL. We conclude that the different curvature instances effectively combine to generate insightful visualizations.


title: Global, Unified Representation of Heterogenous Robot Dynamics Using Composition Operators: A Koopman Direct Encoding Method

abstract: The dynamic complexity of robots and mechatronic systems often pertains to the hybrid nature of dynamics, where governing equations consist of heterogenous equations that are switched depending on the state of the system. Legged robots and manipulator robots experience contact-noncontact discrete transitions, causing switching of governing equations. Analysis of these systems have been a challenge due to the lack of a global, unified model that is amenable to analysis of the global behaviors. Composition operator theory has the potential to provide a global, unified representation by converting them to linear dynamical systems in a lifted space. The current work presents a method for encoding nonlinear heterogenous dynamics into a high dimensional space of observables in the form of Koopman operator. First, a new formula is established for representing the Koopman operator in a Hilbert space by using inner products of observable functions and their composition with the governing state transition function. This formula, called Direct Encoding, allows for converting a class of heterogenous systems directly to a global, unified linear model. Unlike prevalent data-driven methods, where results can vary depending on numerical data, the proposed method is globally valid, not requiring numerical simulation of the original dynamics. A simple example validates the theoretical results, and the method is applied to a multi-cable suspension system.


title: ELF22: A Context-based Counter Trolling Dataset to Combat Internet Trolls

abstract: Online trolls increase social costs and cause psychological damage to individuals. With the proliferation of automated accounts making use of bots for trolling, it is difficult for targeted individual users to handle the situation both quantitatively and qualitatively. To address this issue, we focus on automating the method to counter trolls, as counter responses to combat trolls encourage community users to maintain ongoing discussion without compromising freedom of expression. For this purpose, we propose a novel dataset for automatic counter response generation. In particular, we constructed a pair-wise dataset that includes troll comments and counter responses with labeled response strategies, which enables models fine-tuned on our dataset to generate responses by varying counter responses according to the specified strategy. We conducted three tasks to assess the effectiveness of our dataset and evaluated the results through both automatic and human evaluation. In human evaluation, we demonstrate that the model fine-tuned on our dataset shows a significantly improved performance in strategy-controlled sentence generation.


title: Dark energy: EFTs and supergravity

abstract: The subject of this thesis is cosmological implications of string compactifications understood in a broad sense. In the first half of the thesis, we will begin by reviewing the four-dimensional description of the tree-level perturbative type IIB action. We will then review a number of open questions in cosmology and their relevance with regards to the remainder of the thesis. We will first explore some of these cosmological questions from the perspective of effective field theories motivated by supergravity. From the naturalness of dark energy and how to obtain a naturally light dark energy field in terms of the clockwork mechanism and the Dvali-Kaloper-Sorbo four-form mixing. We also discuss the coincidence problem for dynamical models of dark energy consistent with a quintessence field slowly rolling down a potential slope, of the type one would expect from the asymptotics of moduli space. In the second half of the thesis, we introduce the effects of perturbative and non-perturbative corrections to the tree-level type IIB action. We then focus on obtaining a viable model of quintessence from the type IIB effective field theory. However, we are able to show that such a model must have a non-supersymmetric Minkowski vacuum at leading order. When we consider the effects of quantum fluctuations during the early Universe, we see that such models must have extremely fine-tuned initial conditions to describe a slow-rolling scalar field at present times. We conclude that quintessence faces more challenges than a true cosmological constant, to the point that quintessence is very unattractive for model building modulo a ruling out of the cosmological constant by observations. Following this line of reasoning, we consider whether other perturbative corrections can generate de Sitter solutions in an appropriate setting.


title: Skyrmion pinning by disk-shaped defects

abstract: High precision skyrmion pinning by an intentionally created magnetic structure is important in skyrmion manipulation. Here, we consider skyrmion pinning by various types of disks. Among other findings, we clarify that, in terms of pinning position and pinning potential landscape, one needs to distinguish thin-wall skyrmions from thick-wall skyrmions because of fundamental differences. A skyrmion wall prefers areas with a weaker exchange stiffness, a larger DMI constant, or a smaller magnetic anisotropy while a skyrmion core experiences only the magnetic anisotropy, not exchange stiffness and DMI. Depending on disk type, skyrmion type, and the relative size of the disk (to skyrmion), a skyrmion can be pinned at the symmetric (center) or asymmetric (off-center) point of a disk. In case a skyrmion is pinned by a local energy minimum, thermal agitation can depin the skyrmion, and the pinning lifetime follows an Arrhenius law. Interestingly, when the disk size is comparable to the skyrmion size, the skyrmion deforms greatly such that the skyrmion will shrink or expand to fill the whole disk. These findings should be important for skyrmion manipulations.


title: On field-driven domain wall motion in compensated ferrimagnetic nanowires

abstract: The fascinating high-speed field-driven domain wall (DW) motion along ferrimagnetic nanowires near the angular momentum compensation point (AMCP) is solved based on the generic ferrimagnetic dynamics. The physics of the absences of precessional torque and infinite high Walker breakdown field at the AMCP is proved under general conditions. Based on the energy conservation principle, an almost exact DW velocity formula, valid beyond the Walker breakdown field, is obtained. Our results agree with all existing experiments and simulations. This theory provides useful guidances to DW manipulation.


title: Thermoelectric study of the time-dependent Resonant Level Model

abstract: We study the non-interacting time-dependent resonant level model mimicking a driven quantum dot connected through leads to two electronic reservoirs held at different temperatures and electrochemical potentials. Using a scattering approach, we provide analytical formulas of the time-dependent particle currents, heat currents, and input driving power under the wide-band limit approximation. We also derive Landauer formulas for the corresponding time-integrated quantities when the perturbation applied on the dot is of finite duration. Then, we focus on the case of a single square pulse, benchmark our analytical results against numerical ones that are valid beyond the wide-band limit, and perform numerical simulations for a smooth square pulse and a periodic square pulse train. Finally, we discuss whether the efficiency of the device in a stationary Seebeck configuration can be enhanced by driving the dot potential. We find numerically that the transient increase of the efficiency observed in some cases is eventually cancelled out at long times.


title: How Covid mobility restrictions modified the population of investors in Italian stock markets

abstract: This paper investigates how Covid mobility restrictions impacted the population of investors of the Italian stock market. The analysis tracks the trading activity of individual investors in Italian stocks in the period January 2019-September 2021, investigating how their composition and the trading activity changed around the Covid-19 lockdown period (March 9 - May 19, 2020) and more generally in the period of the pandemic. The results pinpoint that the lockdown restriction was accompanied by a surge in interest toward stock market, as testified by the trading volume by households. Given the generically falling prices during the lockdown, the households, which are typically contrarian, were net buyers, even if less than expected from their trading activity in 2019. This can be explained by the arrival, during the lockdown, of a group of about 185k new investors (i.e. which had never traded since January 2019) which were on average ten year younger and with a larger fraction of males than the pre-lockdown investors. By looking at the gross P&L, there is clear evidence that these new investors were more skilled in trading. There are thus indications that the lockdown, and more generally the Covid pandemic, created a sort of regime change in the population of financial investors.


title: Max-Min Data Rate Optimization for RIS-aided Uplink Communications with Green Constraints

abstract: Smart radio environments aided by reconfigurable intelligent reflecting surfaces (RIS) have attracted much research attention recently. We propose a joint optimization strategy for beamforming, RIS phases, and power allocation to maximize the minimum SINR of an uplink RIS-aided communication system. The users are subject to constraints on their transmit power. We derive a closed-form expression for the beam forming vectors and a geometric programming-based solution for power allocation. We also propose two solutions for optimizing the phase shifts at the RIS, one based on the matrix lifting method and one using an approximation for the minimum function. We also propose a heuristic algorithm for optimizing quantized phase shift values. The proposed algorithms are of practical interest for systems with constraints on the maximum allowable electromagnetic field exposure. For instance, considering $24$-element RIS, $12$-antenna BS, and $6$ users, numerical results show that the proposed algorithm achieves close to $300 \%$ gain in terms of minimum SINR compared to a scheme with random RIS phases.


title: Few-shot Single-view 3D Reconstruction with Memory Prior Contrastive Network

abstract: 3D reconstruction of novel categories based on few-shot learning is appealing in real-world applications and attracts increasing research interests. Previous approaches mainly focus on how to design shape prior models for different categories. Their performance on unseen categories is not very competitive. In this paper, we present a Memory Prior Contrastive Network (MPCN) that can store shape prior knowledge in a few-shot learning based 3D reconstruction framework. With the shape memory, a multi-head attention module is proposed to capture different parts of a candidate shape prior and fuse these parts together to guide 3D reconstruction of novel categories. Besides, we introduce a 3D-aware contrastive learning method, which can not only complement the retrieval accuracy of memory network, but also better organize image features for downstream tasks. Compared with previous few-shot 3D reconstruction methods, MPCN can handle the inter-class variability without category annotations. Experimental results on a benchmark synthetic dataset and the Pascal3D+ real-world dataset show that our model outperforms the current state-of-the-art methods significantly.


title: Celeritas: Fast Optimizer for Large Dataflow Graphs

abstract: The rapidly enlarging neural network models are becoming increasingly challenging to run on a single device. Hence model parallelism over multiple devices is critical to guarantee the efficiency of training large models. Recent proposals fall short either in long processing time or poor performance. Therefore, we propose Celeritas, a fast framework for optimizing device placement for large models. Celeritas employs a simple but efficient model parallelization strategy in the Standard Evaluation, and generates placement policies through a series of scheduling algorithms. We conduct experiments to deploy and evaluate Celeritas on numerous large models. The results show that Celeritas not only reduces the placement policy generation time by 26.4\% but also improves the model running time by 34.2\% compared to most advanced methods.


title: Topological susceptibility of $2d~\mathrm{CP}^1$ or $\mathrm{O}(3)$ non-linear $\sigma$-model: is it divergent or not?

abstract: The topological susceptibility of $2d$ $\mathrm{CP}^{N-1}$ models is expected, based on perturbative computations, to develop a divergence in the limit $N \to 2$, where these models reduce to the well-known non-linear $\mathrm{O}(3)$ $\sigma$-model. The divergence is due to the dominance of instantons of arbitrarily small size and its detection by numerical lattice simulations is notoriously difficult, because it is logarithmic in the lattice spacing. We approach the problem from a different perspective, studying the behavior of the model when the volume is fixed in dimensionless lattice units, where perturbative predictions are turned into more easily checkable behaviors. After testing this strategy for $N = 3$ and $4$, we apply it to $N = 2$, adopting at the same time a multicanonic algorithm to overcome the problem of rare topological fluctuations on asymptotically small lattices. Our final results fully confirm, by means of purely non-perturbative methods, the divergence of the topological susceptibility of the $2d$ $\mathrm{CP}^1$ model.


title: Long time well-posedness of compressible magnetohydrodynamics boundary layer equations in Sobolev space

abstract: In this paper we consider the long time well-posedness of solutions to two dimensional compressible magnetohydrodynamics (MHD) boundary layer equations. When the initial data is a small perturbation of a steady solution with size of $\varepsilon$ and the far-field state is also a small perturbation around such a steady solution in Sobolev space, then the lifespan of solutions is proved to be greater than $\varepsilon^{-\frac43}$.


title: Robust Two-Qubit Gates Using Pulsed Dynamical Decoupling

abstract: We present the experimental implementation of a two-qubit phase gate, using a radio frequency (RF) controlled trapped-ion quantum processor. The RF-driven gate is generated by a pulsed dynamical decoupling sequence applied to the ions' carrier transitions only. It allows for a tunable phase shift with high-fidelity results, in particular a fringe contrast up to $99_{-2}^{+1}\%$ is observed in Ramsey-type measurements. We also prepare a Bell state using this laser-free gate. The phase gate is robust against common sources of error. We investigate the effect of the excitation of the center-of-mass (COM) mode, errors in the axial trap frequency, pulse area errors and errors in sequence timing. The contrast of the phase gate is not significantly reduced up to a COM mode excitation $<20$ phonons, trap frequency errors of +10%, and pulse area errors of -8%. The phase shift is not significantly affected up to $<10$ phonons and pulse area errors of -2%. Both, contrast and phase shift are robust to timing errors up to -30% and +15%. The gate implementation is resource efficient, since only a single driving field is required per ion. Furthermore, it holds the potential for fast gate speeds (gate times on the order of $100~\mu$s) by using two axial motional modes of a two-ion crystal through improved setups.


title: Updated constraints on amplitude and tilt of the tensor primordial spectrum

abstract: We have taken a comprehensive approach to update the limits on the tensor-to-scalar ratio ($r$) and the tensor spectral index ($n_t$), using 10 datasets from the BICEP/Keck Array 2015 and 2018, Planck releases 3 and 4, and LIGO-Virgo-KAGRA Collaboration. By fitting the complete $\Lambda$CDM+$r$+$n_t$ model with two different approaches for the tensor sector, we have not only established which method is the most reliable, but have also achieved the strongest constraint on the tensor-to-scalar ratio in current literature: $r<0.028$ and $-1.37 < n_t < 0.42$ at 95% confidence level. Furthermore, our examination of the common signal detected by the NANOGrav Collaboration further confirms that a simple power-law cannot reconcile the constraints from different datasets if the NANOGrav detection is due to a primordial inflationary gravitational wave background, as previously shown in the literature.


title: Improved homogenization estimates for high order elliptic systems

abstract: In the whole space $R^d$ ($d\ge 2$), we study homogenization of a divergence-form matrix elliptic operator $L_\varepsilon$ of an arbitrary even order larger than 2 with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. We constuct an approximation for the resolvent of $L_\varepsilon$ with the remainder term of order $\varepsilon^2$ in the operator $L^2$-norm. We impose no regularity conditions on the operator beyond ellipticity and boundedness of coefficients. We use two scale expansions with correctors regularized by the Steklov smoothing.


title: Superconductor relaxation -- A must to be integrated into stability calculations

abstract: A superconductor is stable if it does not quench. Quench is a short-time physics problem. For its deeper understanding of, and how to avoid quench, the physics behind stability has to be analysed. A previously suggested dynamic relaxation model is re-considered and applied to YBaCuO 123 and BSCCO 2223 high-temperature, thin film superconductors. Parallel to this investigation, an unconventional approach using an electrical resistance network (a cell model) is applied to introduce a method how to estimate the extent by which, in resistance measurements, exact determination of critical temperature of superconductors is possible. This resistive cell model, when considering its numerical convergence behaviour, in a side result may provide an alternative explanation of (at least a contribution to) bending of resistivity vs. temperature curves, and perhaps also an alternative to standard explanations of the thermal fluctuations impact on these curves. The dynamic relaxation and the resistance models provide a parenthesis that correlates, in terms of the Ginzburg-Landau order parameter, (i) solution of superconductor stability problem (the main objective of this paper), with tentative explanation of (ii) bending of the resistivity curves near critical temperature and (iii) with predictions from thermal fluctuations.


title: PUSH: a primal heuristic based on Feasibility PUmp and SHifting

abstract: This work describes PUSH, a primal heuristic combining Feasibility Pump and Shifting. The main idea is to replace the rounding phase of the Feasibility Pump with a suitable adaptation of the Shifting and other rounding heuristics. The algorithm presents different strategies, depending on the nature of the partial rounding obtained. In particular, we distinguish when the partial solution is feasible, infeasible with potential candidates, and infeasible without candidates. We used a threshold to indicate the percentage of variables to round with our algorithm and which other to round to the nearest integer. Most importantly, our algorithm tackles directly equality constraints without duplicating rows. We select the parameters of our algorithm on the 19 instances provided for the Mip Competition 2022. Finally, we compared our approach to other start heuristics, like Simple Rounding, Rounding, Shifting, and Feasibility Pump on the first 800 MIPLIB2017 instances ordered by the number of non-zeros.


title: Typed SLD-Resolution: Dynamic Typing for Logic Programming

abstract: The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Typed SLD-resolution, where we include a value "wrong", that corresponds to the detection of a type error at run-time. For this we define a new typed unification algorithm. Finally we prove the correctness of TSLD-resolution with respect to a typed declarative semantics.


title: Fine properties of monotone maps arising in optimal transport for non-quadratic costs

abstract: The cost functions considered are $c(x,y)=h(x-y)$, where $h\in C^2(\mathbb{R}^n)$, homogeneous of degree $p\geq 2$, with a positive definite Hessian in the unit sphere. We study multivalued monotone maps with respect to that cost and establish that they are single-valued almost everywhere. Further consequences are then deduced.


title: Streaming Algorithms for Diversity Maximization with Fairness Constraints

abstract: Diversity maximization is a fundamental problem with wide applications in data summarization, web search, and recommender systems. Given a set $X$ of $n$ elements, it asks to select a subset $S$ of $k \ll n$ elements with maximum \emph{diversity}, as quantified by the dissimilarities among the elements in $S$. In this paper, we focus on the diversity maximization problem with fairness constraints in the streaming setting. Specifically, we consider the max-min diversity objective, which selects a subset $S$ that maximizes the minimum distance (dissimilarity) between any pair of distinct elements within it. Assuming that the set $X$ is partitioned into $m$ disjoint groups by some sensitive attribute, e.g., sex or race, ensuring \emph{fairness} requires that the selected subset $S$ contains $k_i$ elements from each group $i \in [1,m]$. A streaming algorithm should process $X$ sequentially in one pass and return a subset with maximum \emph{diversity} while guaranteeing the fairness constraint. Although diversity maximization has been extensively studied, the only known algorithms that can work with the max-min diversity objective and fairness constraints are very inefficient for data streams. Since diversity maximization is NP-hard in general, we propose two approximation algorithms for fair diversity maximization in data streams, the first of which is $\frac{1-\varepsilon}{4}$-approximate and specific for $m=2$, where $\varepsilon \in (0,1)$, and the second of which achieves a $\frac{1-\varepsilon}{3m+2}$-approximation for an arbitrary $m$. Experimental results on real-world and synthetic datasets show that both algorithms provide solutions of comparable quality to the state-of-the-art algorithms while running several orders of magnitude faster in the streaming setting.


title: Approaching the isoperimetric problem in $H^m_{\mathbb{C}}$ via the hyperbolic log-convex density conjecture

abstract: We prove that geodesic balls centered at some base point are isoperimetric in the real hyperbolic space $H_{\mathbb R}^n$ endowed with a smooth, radial, strictly log-convex density on the volume and perimeter. This is an analogue of the result by G. R. Chambers for log-convex densities on $\mathbb R^n$. As an application we prove that in any rank one symmetric space of non-compact type, geodesic balls are isoperimetric in a class of sets enjoying a suitable notion of radial symmetry.


title: Massive Right-handed Neutrinos in B Decays

abstract: In this paper, we present the differential decay distributions for $\bar B \to D^{(*)} \ell \bar{X}$ decays with a massive right-handed neutrino in the low-energy effective field theory framework and show how the massive effects of the RH neutrinos can explain the positive value of the difference in forward-backward asymmetries, $\Delta A_{\text{FB}}\equiv A_{\text{FB}}^\mu-A_{\text{FB}}^e$, tentatively inferred from Belle data. We also make predictions for $q^2$ dependent angular observables to motivate future measurements.


title: Transformations from stripy states to skyrmion crystals

abstract: Stripy states, consisting of a collection of stripy spin textures, are the precursors of skyrmion crystals (SkXs). Common belief is that stripy states and SkXs are topologically unconnected, and transitions between SkXs and stripy states are phase transitions. Here, we show that both stripy states and SkXs are skyrmion condensates and they are topologically equivalent. By gradually tuning the stripe whose width goes from smaller than to larger than skyrmion-skyrmion separation, the structure of a skyrmion condensate transforms smoothly and continuously from various stripy phases, including helical states and mazes, to crystals, showing that stripy states are topologically connected to SkXs.


title: Intelligent Reflecting Surface-Aided Maneuvering Target Sensing: True Velocity Estimation

abstract: Maneuvering target sensing will be an important service of future vehicular networks, where precise velocity estimation is one of the core tasks. To this end, the recently proposed integrated sensing and communications (ISAC) provides a promising platform for achieving accurate velocity estimation. However, with one mono-static ISAC base station (BS), only the radial projection of the true velocity can be estimated, which causes serious estimation error. In this paper, we investigate the estimation of the true velocity of a maneuvering target with the assistance of an intelligent reflecting surface (IRS). We propose an efficient velocity estimation algorithm by exploiting the two perspectives from the BS and IRS to the target. We propose a two-stage scheme where the true velocity can be recovered based on the Doppler frequency of the BS-target link and BS-IRS-target link. Experimental results validate that the true velocity can be precisely recovered and demonstrate the advantage of adding the IRS.


title: Weak Edgeworth expansion for the mean-field interacting Bose gas

abstract: We consider the ground state and the low-energy excited states of a system of $N$ identical bosons with interactions in the mean-field scaling regime. For the ground state, we derive an Edgeworth expansion for the fluctuations of bounded one-body operators, which yields corrections to a central limit theorem to any order in $1/\sqrt{N}$ . For suitable excited states, we show that the limiting distribution is a polynomial times a normal distribution, and that higher order corrections are given by an Edgeworth-type expansion.


title: Dynamical Formation of Graphene and Graphane Nanoscrolls

abstract: Carbon nanoscrolls (CNSs) are nanomaterials with geometry resembling graphene layers rolled up into a spiral (papyrus-like) form. Effects of hydrogenation and temperature on the self-scrolling process of two nanoribbons interacting with a carbon nanotube (CNT) have been studied by molecular dynamics simulations for three configurations: (1) graphene/graphene/CNT; (2) graphene/graphane/CNT, and (3) graphane/graphane/CNT. Graphane refers to a fully hydrogenated graphene nanoribbon. Nanoscroll formation is observed for configurations (1) and (2) for temperatures 300-1000 K, while nanoribbons wrap CNT without nanoscroll formation for configuration (3).


title: Collisional Pumping of H$_2$O and CH$_3$OH Masers in C-Type Shock Waves

abstract: The collisional pumping of H$_2$O and CH$_3$OH masers in magnetohydrodynamic nondissociative C-type shocks is considered. A grid of C-type shock models with speeds in the range $5-70$ km s$^{-1}$ and preshock gas densities $n_{\rm H_2,0} = 10^4-10^7$ cm$^{-3}$ is constructed. The large velocity gradient approximation is used to solve the radiative transfer equation in molecular lines. The para-H$_2$O 183.3 GHz and ortho-H$_2$O 380.1 and 448.0 GHz transitions are shown to be inverted and to have an optical depth along the shock velocity $\vert \tau \vert \sim 1$ at relatively low gas densities in the maser zone, $n_{\rm H_2} \gtrsim 10^5-10^6$ cm$^{-3}$. Higher gas densities, $n_{\rm H_2} \gtrsim 10^7$ cm$^{-3}$, are needed for efficient pumping of the remaining H$_2$O masers. Simultaneous generation of H$_2$O and class I CH$_3$OH maser emission in a shock is possible at preshock gas densities $n_{\rm H_2,0} \approx 10^5$ cm$^{-3}$ and shock speeds in the range $u_{\rm s} \approx 17.5-22.5$ km s$^{-1}$. The possibility of detecting class I CH$_3$OH and para-H$_2$O 183.3 GHz masers in star-forming regions and near supernova remnants is investigated.


title: Solving the vehicle routing problem with deep reinforcement learning

abstract: Recently, the applications of the methodologies of Reinforcement Learning (RL) to NP-Hard Combinatorial optimization problems have become a popular topic. This is essentially due to the nature of the traditional combinatorial algorithms, often based on a trial-and-error process. RL aims at automating this process. At this regard, this paper focuses on the application of RL for the Vehicle Routing Problem (VRP), a famous combinatorial problem that belongs to the class of NP-Hard problems. In this work, first, the problem is modeled as a Markov Decision Process (MDP) and then the PPO method (which belongs to the Actor-Critic class of Reinforcement learning methods) is applied. In a second phase, the neural architecture behind the Actor and Critic has been established, choosing to adopt a neural architecture based on the Convolutional neural networks, both for the Actor and the Critic. This choice resulted in effectively addressing problems of different sizes. Experiments performed on a wide range of instances show that the algorithm has good generalization capabilities and can reach good solutions in a short time. Comparisons between the algorithm proposed and the state-of-the-art solver OR-TOOLS show that the latter still outperforms the Reinforcement learning algorithm. However, there are future research perspectives, that aim to upgrade the current performance of the algorithm proposed.


title: Adding Context to Source Code Representations for Deep Learning

abstract: Deep learning models have been successfully applied to a variety of software engineering tasks, such as code classification, summarisation, and bug and vulnerability detection. In order to apply deep learning to these tasks, source code needs to be represented in a format that is suitable for input into the deep learning model. Most approaches to representing source code, such as tokens, abstract syntax trees (ASTs), data flow graphs (DFGs), and control flow graphs (CFGs) only focus on the code itself and do not take into account additional context that could be useful for deep learning models. In this paper, we argue that it is beneficial for deep learning models to have access to additional contextual information about the code being analysed. We present preliminary evidence that encoding context from the call hierarchy along with information from the code itself can improve the performance of a state-of-the-art deep learning model for two software engineering tasks. We outline our research agenda for adding further contextual information to source code representations for deep learning.


title: Tackling Neural Architecture Search With Quality Diversity Optimization

abstract: Neural architecture search (NAS) has been studied extensively and has grown to become a research field with substantial impact. While classical single-objective NAS searches for the architecture with the best performance, multi-objective NAS considers multiple objectives that should be optimized simultaneously, e.g., minimizing resource usage along the validation error. Although considerable progress has been made in the field of multi-objective NAS, we argue that there is some discrepancy between the actual optimization problem of practical interest and the optimization problem that multi-objective NAS tries to solve. We resolve this discrepancy by formulating the multi-objective NAS problem as a quality diversity optimization (QDO) problem and introduce three quality diversity NAS optimizers (two of them belonging to the group of multifidelity optimizers), which search for high-performing yet diverse architectures that are optimal for application-specific niches, e.g., hardware constraints. By comparing these optimizers to their multi-objective counterparts, we demonstrate that quality diversity NAS in general outperforms multi-objective NAS with respect to quality of solutions and efficiency. We further show how applications and future NAS research can thrive on QDO.


title: BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects

abstract: Due to the open-source nature of the blockchain ecosystem, it is common for new blockchains to fork or partially reuse the code of classic blockchains. For example, the popular Dogecoin, Litecoin, Binance BSC, and Polygon are all variants of Bitcoin/Ethereum. These "forked" blockchains thus could encounter similar vulnerabilities that are propagated from Bitcoin/Ethereum during forking or subsequently commit fetching. In this paper, we conduct a systematic study of detecting and investigating the propagated vulnerabilities in forked blockchain projects. To facilitate this study, we propose BlockScope, a novel tool that can effectively and efficiently detect multiple types of cloned vulnerabilities given an input of existing Bitcoin/Ethereum security patches. Specifically, BlockScope adopts similarity-based code match and designs a new way of calculating code similarity to cover all the syntax-wide variant (i.e., Type-1, Type-2, and Type-3) clones. Moreover, BlockScope automatically extracts and leverages the contexts of patch code to narrow down the search scope and locate only potentially relevant code for comparison. Our evaluation shows that BlockScope achieves good precision and high recall both at 91.8% (1.8 times higher recall than that in ReDeBug). BlockScope allows us to discover 101 previously unknown vulnerabilities in 13 out of the 16 forked projects of Bitcoin and Ethereum, including 16 from Dogecoin, 6 from Litecoin, 1 from Binance, and 4 from Optimism. We have reported all the vulnerabilities to their developers; 40 of them have been patched or accepted, 66 were acknowledged or under pending, and only 4 were rejected. We further investigate the propagation and patching processes of discovered vulnerabilities, and reveal three types of vulnerability propagation from source to forked projects, as well as the long delay (over 200 days) for releasing patches in Bitcoin forks.


title: Developing Deep Learning Algorithms for Inferring Upstream Separatrix Density at JET

abstract: Predictive and real-time inference capability for the upstream separatrix electron density, $n_\text{e, sep}$, is essential for design and control of core-edge integrated plasma scenarios. In this study, both supervised and semi-supervised machine learning algorithms are explored to establish direct mapping as well as indirect compressed representation of the pedestal profiles for predictions and inference of $n_{\text{e, sep}}$. Based on the EUROfusion pedestal database for JET, a tabular dataset was created, consisting of machine parameters, fraction of ELM cycle, high resolution Thomson scattering profiles of electron density and temperature, and $n_{\text{e, sep}}$ for 608 JET shots. Using the tabular dataset, the direct mapping approach provides a mapping of machine parameters and ELM percentage to $n_{\text{e, sep}}$. Through representation learning, a compressed representation of the experimental pedestal electron density and temperature profiles is established. By conditioning the representation with machine control parameters, a probabilistic generative predictive model is established. For prediction, the machine parameters can be used to establish a conditional distribution of the compressed pedestal profiles, and the decoder that is trained as part of the algorithm can be used to decode the compressed representation back to full pedestal profiles. Although, in this work, a proof-of-principle for predicting and inferring $n_{\text{e, sep}}$ is given, such a representation learning can be used also for many other applications as the full pedestal profile is predicted. An implementation of this work can be found at https://github.com/fusionby2030/moxie.


title: LRIP-Net: Low-Resolution Image Prior based Network for Limited-Angle CT Reconstruction

abstract: In the practical applications of computed tomography imaging, the projection data may be acquired within a limited-angle range and corrupted by noises due to the limitation of scanning conditions. The noisy incomplete projection data results in the ill-posedness of the inverse problems. In this work, we theoretically verify that the low-resolution reconstruction problem has better numerical stability than the high-resolution problem. In what follows, a novel low-resolution image prior based CT reconstruction model is proposed to make use of the low-resolution image to improve the reconstruction quality. More specifically, we build up a low-resolution reconstruction problem on the down-sampled projection data, and use the reconstructed low-resolution image as prior knowledge for the original limited-angle CT problem. We solve the constrained minimization problem by the alternating direction method with all subproblems approximated by the convolutional neural networks. Numerical experiments demonstrate that our double-resolution network outperforms both the variational method and popular learning-based reconstruction methods on noisy limited-angle reconstruction problems.


title: DRSOM: A Dimension Reduced Second-Order Method

abstract: In this paper, we propose a Dimension-Reduced Second-Order Method (DRSOM) for convex and nonconvex (unconstrained) optimization. Under a trust-region-like framework, our method preserves the convergence of the second-order method while using only curvature information in a few directions. Consequently, the computational overhead of our method remains comparable to the first-order such as the gradient descent method. Theoretically, we show that the method has a local quadratic convergence and a global convergence rate of $O(\epsilon^{-3/2})$ to satisfy the first-order and second-order conditions if the subspace satisfies a commonly adopted approximated Hessian assumption. We further show that this assumption can be removed if we perform a corrector step using a Krylov-like method periodically at the end stage of the algorithm. The applicability and performance of DRSOM are exhibited by various computational experiments, including $L_2 - L_p$ minimization, CUTEst problems, and sensor network localization.


title: The uniform Kruskal theorem: between finite combinatorics and strong set existence

abstract: The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain antichain principle ($\mathsf{CAC}$). This result provides a connection between finite combinatorics and abstract set existence. The present paper sheds further light on this connection. First, we show that the original Kruskal theorem is equivalent to the uniform version for data types that are finitely generated. Secondly, we prove a dichotomy result for a natural variant of the uniform Kruskal theorem. On the one hand, this variant still implies $\Pi^1_1$-comprehension over $\mathsf{RCA}_0+\mathsf{CAC}$. On the other hand, it becomes weak when $\mathsf{CAC}$ is removed from the base theory.


title: Multiple Categories Of Visual Smoke Detection Database

abstract: Smoke detection has become a significant task in associated industries due to the close relationship between the petrochemical industry's smoke emission and its safety production and environmental damage. There are several production situations in the real industrial production environment, including complete combustion of exhaust gas, inadequate combustion of exhaust gas, direct emission of exhaust gas, etc. We discovered that the datasets used in previous research work can only determine whether smoke is present or not, not its type. That is, the dataset's category does not map to the real-world production situations, which are not conducive to the precise regulation of the production system. As a result, we created a multi-categories smoke detection database that includes a total of 70196 images. We further employed multiple models to conduct the experiment on the proposed database, the results show that the performance of the current algorithms needs to be improved and demonstrate the effectiveness of the proposed database.


title: Gaia Data Release 3: Summary of the content and survey properties

abstract: We present the third data release of the European Space Agency's Gaia mission, GDR3. The GDR3 catalogue is the outcome of the processing of raw data collected with the Gaia instruments during the first 34 months of the mission by the Gaia Data Processing and Analysis Consortium. The GDR3 catalogue contains the same source list, celestial positions, proper motions, parallaxes, and broad band photometry in the G, G$_{BP}$, and G$_{RP}$ pass-bands already present in the Early Third Data Release. GDR3 introduces an impressive wealth of new data products. More than 33 million objects in the ranges $G_{rvs} < 14$ and $3100 <T_{eff} <14500 $, have new determinations of their mean radial velocities based on data collected by Gaia. We provide G$_{rvs}$ magnitudes for most sources with radial velocities, and a line broadening parameter is listed for a subset of these. Mean Gaia spectra are made available to the community. The GDR3 catalogue includes about 1 million mean spectra from the radial velocity spectrometer, and about 220 million low-resolution blue and red prism photometer BPRP mean spectra. The results of the analysis of epoch photometry are provided for some 10 million sources across 24 variability types. GDR3 includes astrophysical parameters and source class probabilities for about 470 million and 1500 million sources, respectively, including stars, galaxies, and quasars. Orbital elements and trend parameters are provided for some $800\,000$ astrometric, spectroscopic and eclipsing binaries. More than $150\,000$ Solar System objects, including new discoveries, with preliminary orbital solutions and individual epoch observations are part of this release. Reflectance spectra derived from the epoch BPRP spectral data are published for about 60\,000 asteroids. Finally, an additional data set is provided, namely the Gaia Andromeda Photometric Survey (abridged)


title: Excitation Spectra of one-dimensional spin-1/2 Fermi gas with an attraction

abstract: Using exact Bethe ansatz solution, we rigorously study excitation spectra of the spin-1/2 Fermi gas (called Yang-Gaudin model) with an attractive interaction. Elementary excitations of this model involve particle-hole excitations, hole excitations and adding particles in the Fermi seas of pairs and unpaired fermions. The gapped magnon excitations in spin sector show a ferromagnetic coupling to the Fermi sea of the single fermions. By numerically and analytically solving the Bethe ansatz equations and the thermodynamic Bethe ansatz equations of this model, we obtain excitation energies for various polarizations in the phase of the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO)-like state. For a small momentum (long-wavelength limit) and in the strong interaction regime, we analytically obtained their linear dispersions with curvature corrections, effective masses as well as velocities in particle-hole excitations of pairs and unpaired fermions. Such a type of particle-hole excitations display a novel separation of collective motions of bosonic modes within paired and unpaired fermions. Finally, we also discuss magnon excitations in spin sector and the application of the Bragg spectroscopy for testing such separated charge excitation modes of pairs and single fermions.


title: Rapid-Flooding Time Synchronization for Large-Scale Wireless Sensor Networks

abstract: Accurate and fast-convergent time synchronization is very important for wireless sensor networks. The flooding time synchronization converges fast, but its transmission delay and by-hop error accumulation seriously reduce the synchronization accuracy. In this article, a rapidflooding multiple one-way broadcast time-synchronization (RMTS) protocol for large-scale wireless sensor networks is proposed. To minimize the by-hop error accumulation, the RMTS uses maximum likelihood estimations for clock skew estimation and clock offset estimation, and quickly shares the estimations among the networks. As a result, the synchronization error resulting from delays is greatly reduced, while faster convergence and higher-accuracy synchronization is achieved. Extensive experimental results demonstrate that, even over 24-hops networks, the RMTS is able to build accurate synchronization at the third synchronization period, and moreover, the by-hop error accumulation is slower when the network diameter increases.


title: Towards Privacy-Preserving, Real-Time and Lossless Feature Matching

abstract: Most visual retrieval applications store feature vectors for downstream matching tasks. These vectors, from where user information can be spied out, will cause privacy leakage if not carefully protected. To mitigate privacy risks, current works primarily utilize non-invertible transformations or fully cryptographic algorithms. However, transformation-based methods usually fail to achieve satisfying matching performances while cryptosystems suffer from heavy computational overheads. In addition, secure levels of current methods should be improved to confront potential adversary attacks. To address these issues, this paper proposes a plug-in module called SecureVector that protects features by random permutations, 4L-DEC converting and existing homomorphic encryption techniques. For the first time, SecureVector achieves real-time and lossless feature matching among sanitized features, along with much higher security levels than current state-of-the-arts. Extensive experiments on face recognition, person re-identification, image retrieval, and privacy analyses demonstrate the effectiveness of our method. Given limited public projects in this field, codes of our method and implemented baselines are made open-source in https://github.com/IrvingMeng/SecureVector.


title: On the convergence of multiple ergodic means

abstract: Given sequence of measure preserving transformations $\{U_k:\,k=1,2,\ldots, n\}$ on a measurable space $(X,\mu)$. We prove a.e. convergence of the ergodic means \begin{equation} \frac{1}{s_1\cdots s_{n}}\sum_{j_1=0}^{s_1-1}\cdots\sum_{j_n=0}^{s_n-1}f\left(U_1^{j_1}\cdots U_n^{j_n} x \right) \end{equation} as $\min_j s_j\to\infty $, for any function $f\in L\log^{d-1}(X)$, where $d\le n$ is the rank of the transformations. The result gives a generalization of a theorem by N. Dunford and A. Zygmund, claiming the convergence of the means in a narrower class of functions $L\log^{n-1}(X)$.


title: Fast Convergence Time Synchronization in Wireless Sensor Networks Based on Average Consensus

abstract: Average consensus theory is intensely popular for building time synchronization in wireless sensor network (WSN). However, the average consensus-based time synchronization algorithm is based on iteration that pose challenges for efficiency, as they entail high communication cost and long convergence time in large-scale WSN. Based on the suggestion that the greater the algebraic connectivity leads to the faster the convergence, a novel multi-hop average consensus time synchronization (MACTS) is developed with innovative implementation in this paper. By employing multi-hop communication model, it shows that virtual communication links among multi-hop nodes are generated and algebraic connectivity of network increases. Meanwhile, a multihop controller is developed to balance the convergence time, accuracy and communication complexity. Moreover, the accurate relative clock offset estimation is yielded by delay compensation. Implementing the MACTS based on the popular one-way broadcast model and taking multi-hop over short distances, we achieve hundreds of times the MACTS convergence rate compared to ATS.


title: Birational involutions of the real projective plane

abstract: We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers (due to E. Bertini, G. Castelnuovo, F. Enriques, L. Bayle and A. Beauville), which includes 4 different classes of involutions, we discover 12 different classes over the reals, and provide many examples when the fixed curve of an involution does not determine its conjugacy class in the real plane Cremona group.


title: Joint Precoding and Phase Shift Design in Reconfigurable Intelligent Surfaces-Assisted Secret Key Generation

abstract: Key generation is a promising technique to establish symmetric keys between resource-constrained legitimate users. However, key generation suffers from low secret key rate (SKR) in harsh environments where channel randomness is limited. To address the problem, reconfigurable intelligent surfaces (RISs) are introduced to reshape the channels by controlling massive reflecting elements, which can provide more channel diversity. In this paper, we design a channel probing protocol to fully extract the randomness from the cascaded channel, i.e., the channel through reflecting elements. We derive the analytical expressions of SKR and design a water-filling algorithm based on the Karush-Kuhn-Tucker (KKT) conditions to find the upper bound. To find the optimal precoding and phase shift matrices, we propose an algorithm based on the Grassmann manifold optimization methods. The system is evaluated in terms of SKR, bit disagreement rate (BDR) and randomness. Simulation results show that our protocols significantly improve the SKR as compared to existing protocol.


title: Meta-DETR: Image-Level Few-Shot Detection with Inter-Class Correlation Exploitation

abstract: Few-shot object detection has been extensively investigated by incorporating meta-learning into region-based detection frameworks. Despite its success, the said paradigm is still constrained by several factors, such as (i) low-quality region proposals for novel classes and (ii) negligence of the inter-class correlation among different classes. Such limitations hinder the generalization of base-class knowledge for the detection of novel-class objects. In this work, we design Meta-DETR, which (i) is the first image-level few-shot detector, and (ii) introduces a novel inter-class correlational meta-learning strategy to capture and leverage the correlation among different classes for robust and accurate few-shot object detection. Meta-DETR works entirely at image level without any region proposals, which circumvents the constraint of inaccurate proposals in prevalent few-shot detection frameworks. In addition, the introduced correlational meta-learning enables Meta-DETR to simultaneously attend to multiple support classes within a single feedforward, which allows to capture the inter-class correlation among different classes, thus significantly reducing the misclassification over similar classes and enhancing knowledge generalization to novel classes. Experiments over multiple few-shot object detection benchmarks show that the proposed Meta-DETR outperforms state-of-the-art methods by large margins. The implementation codes are available at https://github.com/ZhangGongjie/Meta-DETR.


title: HPO X ELA: Investigating Hyperparameter Optimization Landscapes by Means of Exploratory Landscape Analysis

abstract: Hyperparameter optimization (HPO) is a key component of machine learning models for achieving peak predictive performance. While numerous methods and algorithms for HPO have been proposed over the last years, little progress has been made in illuminating and examining the actual structure of these black-box optimization problems. Exploratory landscape analysis (ELA) subsumes a set of techniques that can be used to gain knowledge about properties of unknown optimization problems. In this paper, we evaluate the performance of five different black-box optimizers on 30 HPO problems, which consist of two-, three- and five-dimensional continuous search spaces of the XGBoost learner trained on 10 different data sets. This is contrasted with the performance of the same optimizers evaluated on 360 problem instances from the black-box optimization benchmark (BBOB). We then compute ELA features on the HPO and BBOB problems and examine similarities and differences. A cluster analysis of the HPO and BBOB problems in ELA feature space allows us to identify how the HPO problems compare to the BBOB problems on a structural meta-level. We identify a subset of BBOB problems that are close to the HPO problems in ELA feature space and show that optimizer performance is comparably similar on these two sets of benchmark problems. We highlight open challenges of ELA for HPO and discuss potential directions of future research and applications.


title: Bipedal Locomotion Optimization by Exploitation of the Full Dynamics in DCM Trajectory Planning

abstract: Walking motion planning based on Divergent Component of Motion (DCM) and Linear Inverted Pendulum Model (LIPM) is one of the alternatives that could be implemented to generate online humanoid robot gait trajectories. This algorithm requires different parameters to be adjusted. Herein, we developed a framework to attain optimal parameters to achieve a stable and energy-efficient trajectory for real robot's gait. To find the optimal trajectory, four cost functions representing energy consumption, the sum of joints velocity and applied torque at each lower limb joint of the robot, and a cost function based on the Zero Moment Point (ZMP) stability criterion were considered. Genetic algorithm was employed in the framework to optimize each of these cost functions. Although the trajectory planning was done with the help of the simplified model, the values of each cost function were obtained by considering the full dynamics model and foot-ground contact model in Bullet physics engine simulator. The results of this optimization yield that walking with the most stability and walking in the most efficient way are in contrast with each other. Therefore, in another attempt, multi-objective optimization for ZMP and energy cost functions at three different speeds was performed. Finally, we compared the designed trajectory, which was generated using optimal parameters, with the simulation results in Choreonoid simulator.


title: Novel Maximum Likelihood Estimation of Clock Skew in One-Way Broadcast Time Synchronization

abstract: Clock skew compensation is essential for accurate time synchronization in wireless networks. However, contemporary clock skew estimation is based on inaccurate transmission time measurement, which makes credible estimation challenging. Based on one-way broadcast synchronization, this study presents a novel maximum likelihood estimation (MLE) with an innovative implementation to minimize the clock skew estimation error caused by delay. A multiple one-way broadcast model is developed for observation and set collection, while the distribution of actual delay is discussed. A clock skew MLE based on Gaussian delay is then proposed and its Cramer-Rao lower bound provided. The developed MLE is independent of the clock offset estimation, and requires only two synchronization periods to generate an accurate estimation. Extensive experimental results indicate that the performance of the proposed MLE is better than the methods popularly used in existing time synchronization protocols.


title: PolarMix: A General Data Augmentation Technique for LiDAR Point Clouds

abstract: LiDAR point clouds, which are usually scanned by rotating LiDAR sensors continuously, capture precise geometry of the surrounding environment and are crucial to many autonomous detection and navigation tasks. Though many 3D deep architectures have been developed, efficient collection and annotation of large amounts of point clouds remain one major challenge in the analytic and understanding of point cloud data. This paper presents PolarMix, a point cloud augmentation technique that is simple and generic but can mitigate the data constraint effectively across different perception tasks and scenarios. PolarMix enriches point cloud distributions and preserves point cloud fidelity via two cross-scan augmentation strategies that cut, edit, and mix point clouds along the scanning direction. The first is scene-level swapping which exchanges point cloud sectors of two LiDAR scans that are cut along the azimuth axis. The second is instance-level rotation and paste which crops point instances from one LiDAR scan, rotates them by multiple angles (to create multiple copies), and paste the rotated point instances into other scans. Extensive experiments show that PolarMix achieves superior performance consistently across different perception tasks and scenarios. In addition, it can work as plug-and-play for various 3D deep architectures and also performs well for unsupervised domain adaptation.


title: A dual skew symmetry for transient reflected Brownian motion in an orthant

abstract: We introduce a transient reflected Brownian motion in a multidimensional orthant, which is either absorbed at the apex of the cone or escapes to infinity. We address the question of computing the absorption probability, as a function of the starting point of the process. We provide a necessary and sufficient condition for the absorption probability to admit an exponential product form, namely, that the determinant of the reflection matrix is zero. We call this condition a dual skew symmetry. It recalls the famous skew symmetry introduced by Harrison, which characterizes the exponential stationary distributions in the recurrent case. The duality comes from that the partial differential equation satisfied by the absorption probability is dual to the one associated with the stationary distribution in the recurrent case.


title: Functional renormalisation group approach to shell models of turbulence

abstract: Shell models are simplified models of hydrodynamic turbulence, retaining only some essential features of the original equations, such as the non-linearity, symmetries and quadratic invariants. Yet, they were shown to reproduce the most salient properties of developed turbulence, in particular universal statistics and multi-scaling. We set up the functional renormalisation group (RG) formalism to study generic shell models. In particular, we formulate an inverse RG flow, which consists in integrating out fluctuation modes from the large scales (small wavenumbers) to the small scales (large wavenumbers), which is physically grounded and has long been advocated in the context of turbulence. Focusing on the Sabra shell model, we study the effect of both a large-scale forcing, and a power-law forcing exerted at all scales. We show that these two types of forcing yield different fixed points, and thus correspond to distinct universality classes, characterised by different scaling exponents. We find that the power-law forcing leads to dimensional (K41-like) scaling, while the large-scale forcing entails anomalous scaling.


title: Input-Output Tables and Some Theory of Defective Matrices

abstract: Recent developments in the theory of production networks offer interesting applications and revival of input-output analysis. Some recent papers have studied the propagation of a temporary, negative shock through an input-output network. Such analyses of shock propagation relies on eigendecomposition of relevant input-output matrices. It is well known that only diagonalizable matrices can be eigendecomposed; those that are not diagonalizable, are known as defective matrices. In this paper, we provide necessary and sufficient conditions for diagonalizability of any square matrix using its rank and eigenvalues. To apply our results, we offer examples of input-output tables from India in the 1950s that were not diagonalizable and were hence, defective.


title: Predicting electronic stopping powers using stacking ensemble machine learning method

abstract: Purpose: Accurate electronic stopping power data is crucial for calculating radiation-induced effects in various applications, from dosimetry and radiotherapy to particle physics. In this study, Stacking Ensemble Machine Learning (EML) algorithm was developed to predict electronic stopping power for any incident ion and target combination over a wide range of ion energies. For this purpose, five ML models, namely BR, XGB, AdB, GB, and RF, were selected as base and meta learners to construct the final Stacking EML. Methods: 40,044 experimental measurements, from 1928 to the present, available on the International Atomic Energy Agency (IAEA) website were used to train machine learning (ML) algorithms. This database consists of 593 ion-target combinations across the energy range of 0.037 to 985 MeV. For model training, the eleven most important features were selected. The model evaluation was performed using several error metrics, including R-squared (R2), root-mean-squared-error (RMSE), mean-absolute-error (MAE), and mean-absolute-percentage-error (MAPE), on both the training and test datasets. Results: Based on model performance evaluation tests, a stack of eXtreme Gradient Boosting (XGB) and Random Forest (RF) via Bagging Regressor (BR) meta-learner had the highest lowest error margin. The value of R2=0.9985 indicated a near-ideal fit to all samples in the training data across the entire range of stopping powers. R2=0.9955 for predictions made by the model on the unseen test data suggested that the model accurately predicted the test data. Conclusions: The developed model resulted in highly accurate predictions for any ion-target combination across the whole particle energy spectrum. The associated model can serve as a universal tool to generate the stopping power data in a wide range of cases, regardless of the availability of experimental data or reliable theoretical equations.


title: Sharp and strong non-uniqueness for the magneto-hydrodynamic equations

abstract: In this paper, we prove a sharp and strong non-uniqueness for a class of weak solutions to the three-dimensional magneto-hydrodynamic (MHD) system. More precisely, we show that any weak solution $(v,b)\in L^p_tL^{\infty}_x$ is non-unique in $L^p_tL^{\infty}_x$ with $1\le p<2$, which reveals the strong non-uniqueness, and the sharpness in terms of the classical Ladyzhenskaya-Prodi-Serrin criteria at endpoint $(2, \infty)$. Moreover, for any $1\le p<2$ and $\epsilon>0$, we construct non-Leray-Hopf weak solutions in $L^p_tL^{\infty}_x\cap L^1_tC^{1-\epsilon}$. The results of Navier-Stokes equations in \cite{1Cheskidov} imply the sharp non-uniqueness of MHD system with trivial magnetic field $b$. Our result shows the non-uniqueness for any weak solution $(v,b)$ including non-trivial magnetic field $b$.


title: Reduction of Lagrangian Equations of Motion of Modified Newtonian Theory of Gravity with respect to the Similarity Group

abstract: The equivalence class of absolute configurations of a system under the group of similarity transformations $Sim(3)$ is called the shape of the system. The $Sim(3)$ invariant Lagrangian of the modified Newtonian theory ensures the existence of the its law of motion on shape space. To deduce the equations of motion for a system's shape degrees of freedom from its evolution equations for the $3N$ absolute configuration degrees of freedom, the Boltzman-Hamel equations of motion in an non-holonomic frame on the tangent space $T(Q)$ to the system's absolute configuration space $Q$ is adapted to the $Sim(3)$ fiber bundle structure of the configuration space. The derived equations of motion on shape space enable us, among other things, to predict the evolution of the shape of a classical system governed by this theory without any reference to its absolute position, orientation, or size in space. The paper will explain, that by treating the measuring instruments as part of the matter in the theory, how the mass metric $\textbf{M}$ on the configuration space $Q$ uniquely defines a metric on the reduced tangent bundle $\frac{T(Q)}{Sim(3)}$, and how the unique metric structure on shape space $S$ can be derived. After deriving the reduced equations of motion on shape space for a general $N$-body system, the shape equations of motion for a three-body system in suitable coordinates is given as an illustration.


title: Quantum Speed Limit under Brachistochrone Evolution

abstract: According to the Heisenberg uncertainty principle between time and energy fluctuation, a concept of the quantum speed limit (QSL) has been established to determine the minimum evolutionary time between quantum states. Considerable theoretical and experimental efforts are invested in obtaining the QSL time bounds in various scenarios. However, it remains a long-standing goal to derive a meaningful QSL bound for a general quantum problem. Here, we propose a geometrical approach to derive a QSL bound for closed and open quantum systems. By solving a quantum brachistochrone problem in the framework of the Riemannian metric, we show that the QSL between a given initial state to a final state is determined not only by the entire dynamics of the system but also by the individual dynamics of a critical parameter. We exemplify the utility of the new bound in three representative scenarios, demonstrating a pronounced advantage in finding a tight and meaningful QSL bound of a general quantum evolution problem.


title: Masked Autoencoders As The Unified Learners For Pre-Trained Sentence Representation

abstract: Despite the progresses on pre-trained language models, there is a lack of unified frameworks for pre-trained sentence representation. As such, it calls for different pre-training methods for specific scenarios, and the pre-trained models are likely to be limited by their universality and representation quality. In this work, we extend the recently proposed MAE style pre-training strategy, RetroMAE, such that it may effectively support a wide variety of sentence representation tasks. The extended framework consists of two stages, with RetroMAE conducted throughout the process. The first stage performs RetroMAE over generic corpora, like Wikipedia, BookCorpus, etc., from which the base model is learned. The second stage takes place on domain-specific data, e.g., MS MARCO and NLI, where the base model is continuingly trained based on RetroMAE and contrastive learning. The pre-training outputs at the two stages may serve different applications, whose effectiveness are verified with comprehensive experiments. Concretely, the base model are proved to be effective for zero-shot retrieval, with remarkable performances achieved on BEIR benchmark. The continuingly pre-trained models further benefit more downstream tasks, including the domain-specific dense retrieval on MS MARCO, Natural Questions, and the sentence embeddings' quality for standard STS and transfer tasks in SentEval. The empirical insights of this work may inspire the future design of sentence representation pre-training. Our pre-trained models and source code will be released to the public communities.


title: A Comparative Study of Application-level Caching Recommendations at the Method Level

abstract: Performance and scalability requirements have a fundamental role in most large-scale software applications. To satisfy such requirements, caching is often used at various levels and infrastructure layers. Application-level caching -- or memoization -- is an increasingly used form of caching within the application boundaries, which consists of storing the results of computations in memory to avoid re-computing them. This is typically manually done by developers, who identify caching opportunities in the code and write additional code to manage the cache content. The task of identifying caching opportunities is a challenge because it requires the analysis of workloads and code locations where it is feasible and beneficial to cache objects. To aid developers in this task, there are approaches that automatically identify cacheable methods. Although such approaches have been individually evaluated, their effectiveness has not been compared. We thus in this paper present an empirical evaluation to compare the method recommendations made by the two existing application-level caching approaches at the method level, namely APLCache and MemoizeIt, using seven open-source web applications. We analyse the recommendations made by each approach as well as the hits, misses and throughput achieved with their valid caching recommendations. Our results show that the effectiveness of both approaches largely depends on the specific application, the presence of invalid recommendations and additional configurations, such as the time-to-live. By inspecting the obtained results, we observed in which cases the recommendations of each approach fail and succeed, which allowed us to derive a set of seven lessons learned that give directions for future approaches to support developers in the adoption of this type of caching.


title: Learning Pseudo Front Depth for 2D Forward-Looking Sonar-based Multi-view Stereo

abstract: Retrieving the missing dimension information in acoustic images from 2D forward-looking sonar is a well-known problem in the field of underwater robotics. There are works attempting to retrieve 3D information from a single image which allows the robot to generate 3D maps with fly-through motion. However, owing to the unique image formulation principle, estimating 3D information from a single image faces severe ambiguity problems. Classical methods of multi-view stereo can avoid the ambiguity problems, but may require a large number of viewpoints to generate an accurate model. In this work, we propose a novel learning-based multi-view stereo method to estimate 3D information. To better utilize the information from multiple frames, an elevation plane sweeping method is proposed to generate the depth-azimuth-elevation cost volume. The volume after regularization can be considered as a probabilistic volumetric representation of the target. Instead of performing regression on the elevation angles, we use pseudo front depth from the cost volume to represent the 3D information which can avoid the 2D-3D problem in acoustic imaging. High-accuracy results can be generated with only two or three images. Synthetic datasets were generated to simulate various underwater targets. We also built the first real dataset with accurate ground truth in a large scale water tank. Experimental results demonstrate the superiority of our method, compared to other state-of-the-art methods.


title: Atomistic simulations of ductile failure in a b.c.c. high entropy alloy

abstract: Ductile failure is studied in a bcc HfNbTaZr High Entropy Alloy (HEA) with a pre-existing void. Using molecular dynamics simulations of uniaxial tensile tests, we explore the effect of void radius on the elastic modulus and yield stress. The elastic modulus scales with porosity as in closed-cell foams. The critical stress for dislocation nucleation as a function of the void radius is very well described by a model designed after pure bcc metals, taking into account a larger core radius for the HEA. Twinning takes place as a complementary deformation mechanism, and some detwinning occurs at large strain. No solid-solid phase transitions are identified. The concurrent effects of element size mismatch and plasticity lead to significant lattice disorder. By comparing our HEA results to pure tantalum simulations, we show that the critical stress for dislocation nucleation and the resulting dislocation densities are much lower than for pure Ta, as expected from lower energy barriers due to chemical complexity


title: 'PeriHack': Designing a Serious Game for Cybersecurity Awareness

abstract: This paper describes the design process for the cybersecurity serious game 'PeriHack'. Publicly released under a CC (BY-NC-SA) license, PeriHack is a board and card game for two players or teams that simulates the struggle between a red team (attackers) and a blue team (defenders). The game requires players to explore a sample network looking for vulnerabilities and then chain different attacks to exploit possible weaknesses of different nature, which may include both technical and social engineering exploits. At the same time, it also simulates budget level constraints for the blue team by providing limited resources to evaluate and prioritize different critical vulnerabilities. The game is discussed via the lenses of the AGE and 6-11 Frameworks and was primarily designed as a learning tool for students in the cybersecurity and technology related fields.


title: The existence and convergence of solutions for the nonlinear Choquard equations on groups of polynomial growth

abstract: In this paper, we study the nonlinear Choquard equation \begin{eqnarray*} \Delta^{2}u-\Delta u+(1+\lambda a(x))u=(R_{\alpha}\ast|u|^{p})|u|^{p-2}u \end{eqnarray*} on a Cayley graph of a discrete group of polynomial growth with the homogeneous dimension $N\geq 2$, where $\alpha\in(0,N),\,p>\frac{N+\alpha}{N},\,\lambda$ is a positive parameter and $R_\alpha$ stands for the Green's function of the discrete fractional Laplacian, which has same asymptotics as the Riesz potential. Under some assumptions on $a(x)$, we establish the existence and asymptotic behavior of ground state solutions for the nonlinear Choquard equation by the method of Nehari manifold.


title: RBP-Pose: Residual Bounding Box Projection for Category-Level Pose Estimation

abstract: Category-level object pose estimation aims to predict the 6D pose as well as the 3D metric size of arbitrary objects from a known set of categories. Recent methods harness shape prior adaptation to map the observed point cloud into the canonical space and apply Umeyama algorithm to recover the pose and size. However, their shape prior integration strategy boosts pose estimation indirectly, which leads to insufficient pose-sensitive feature extraction and slow inference speed. To tackle this problem, in this paper, we propose a novel geometry-guided Residual Object Bounding Box Projection network RBP-Pose that jointly predicts object pose and residual vectors describing the displacements from the shape-prior-indicated object surface projections on the bounding box towards the real surface projections. Such definition of residual vectors is inherently zero-mean and relatively small, and explicitly encapsulates spatial cues of the 3D object for robust and accurate pose regression. We enforce geometry-aware consistency terms to align the predicted pose and residual vectors to further boost performance.


title: Improving Fine-tuning of Self-supervised Models with Contrastive Initialization

abstract: Self-supervised learning (SSL) has achieved remarkable performance in pretraining the models that can be further used in downstream tasks via fine-tuning. However, these self-supervised models may not capture meaningful semantic information since the images belonging to the same class are always regarded as negative pairs in the contrastive loss. Consequently, the images of the same class are often located far away from each other in learned feature space, which would inevitably hamper the fine-tuning process. To address this issue, we seek to provide a better initialization for the self-supervised models by enhancing the semantic information. To this end, we propose a Contrastive Initialization (COIN) method that breaks the standard fine-tuning pipeline by introducing an extra initialization stage before fine-tuning. Extensive experiments show that, with the enriched semantics, our COIN significantly outperforms existing methods without introducing extra training cost and sets new state-of-the-arts on multiple downstream tasks.


title: The Schwarzian octahedron recurrence (dSKP equation) I: explicit solutions

abstract: We prove an explicit expression for the solutions of the discrete Schwarzian octahedron recurrence, also known as the discrete Schwarzian KP equation (dSKP), as the ratio of two partition functions. Each one counts weighted oriented dimer configurations of an associated bipartite graph, and is equal to the determinant of a Kasteleyn matrix. This is in the spirit of Speyer's result on the dKP equation, or octahedron recurrence [Spe07]. One consequence is that dSKP has zero algebraic entropy, meaning that the growth of the degrees of the polynomials involved is only polynomial. There are cancellations in the partition function, and we prove an alternative, cancellation free explicit expression involving complementary trees and forests. Using all of the above, we show several instances of the Devron property for dSKP, i.e., that certain singularities in initial data repeat after a finite number of steps. This has many applications for discrete geometric systems and is the subject of the companion paper [AdTM22]. We also prove limit shape results analogous to the arctic circle of the Aztec diamond. Finally, we discuss the combinatorics of all the other octahedral equations in the classification of Adler, Bobenko and Suris [ABS12].


title: Quadratically Enriched Tropical Intersections

abstract: Using tropical geometry one can translate problems in enumerative geometry to combinatorial problems. Thus tropical geometry is a powerful tool in enumerative geometry over the complex and real numbers. Results from $\mathbb{A}^1$-homotopy theory allow to enrich classical enumerative geometry questions and get answers over an arbitrary field. In the resulting area, $\mathbb{A}^1$-enumerative geometry, the answer to these questions lives in the Grothendieck-Witt ring of the base field $k$. In this paper, we use tropical methods in this enriched set up by showing B\'ezout's theorem and a generalization, namely the Bernstein-Kushnirenko theorem, for tropical hypersurfaces enriched in $\operatorname{GW}(k)$.


title: Deligne categories and representations of the finite general linear group, part 1: universal property

abstract: We study the Deligne interpolation categories $\underline{\mathrm{Rep}}(GL_{t}(\mathbb{F}_q))$ for $t\in \mathbb{C}$, first introduced by F. Knop. These categories interpolate the categories of finite dimensional complex representations of the finite general linear group $GL_n(\mathbb{F}_q)$. We describe the morphism spaces in this category via generators and relations. We show that the generating object of this category (an analogue of the representation $\mathbb{C}\mathbb{F}_q^n$ of $GL_n(\mathbb{F}_q)$) carries the structure of a Frobenius algebra with a compatible $\mathbb{F}_q$-linear structure; we call such objects $\mathbb{F}_q$-linear Frobenius spaces, and show that $\underline{\mathrm{Rep}}(GL_{t}(\mathbb{F}_q))$ is the universal symmetric monoidal category generated by such an $\mathbb{F}_q$-linear Frobenius space of categorical dimension $t$. In the second part of the paper, we prove a similar universal property for a category of representations of $GL_{\infty}(\mathbb{F}_q)$.


title: The Trivial Bound of Entropic Uncertainty Relations

abstract: Entropic uncertainty relations are underpinning to compute the quantitative security bound in quantum cryptographic applications, such as quantum random number generation (QRNG) and quantum key distribution (QKD). All security proofs derive a relation between the information accessible to the legitimate group and the maximum knowledge that an adversary may have gained, Eve, which exploits entropic uncertainty relations to lower bound Eve's uncertainty about the raw key generated by one party, Alice. The standard entropic uncertainty relations is to utilize the smooth min- and max-entropies to show these cryptographic applications' security by computing the overlap of two incompatible measurements or positive-operator valued measures (POVMs). This paper draws one case of the POVM-versioned standard entropic uncertainty relation yielding the trivial bound since the maximum overlap in POVMs always produces the trivial value, "one." So, it fails to tie the smooth min-entropy to show the security of the quantum cryptographic application.


title: 2D Gapless Topological Superfluids Generated by Pairing Phases

abstract: We systematically investigate the ground state phase diagram and the finite temperature phase transitions for a Rydberg-dressed Fermi gas loaded in a bilayer optical lattice. When an effective finite-ranged attraction is induced, our self-consistent mean-field calculation shows that the gapped topological ( $p$-wave) superfluids in each layer are coupled together by the $s$-wave pairing in an intermediate inter-layer distance with a spontaneously modulated phases between these two order parameters. The obtained ground state is a gapless topological superfluid with quantized topological charges characterizing the gapless points, leading to a zero energy flat band at the edges. Finally, we calculate the finite temperature phase diagrams of this two-dimensional gapless superfluid and observe two distinct critical temperatures, demonstrating the fruitful many-body effects on a paired topological superfluids.