title: Well-posedness and uniform large deviation principle for stochastic Burgers-Huxley equation perturbed by a multiplicative noise

abstract: In this work, we focus on the global solvability and uniform large deviations for the solutions of stochastic generalized Burgers-Huxley (SGBH) equation perturbed by a small multiplicative white in time and colored in space noise. The SGBH equation has the nonlinearity of polynomial order and noise considered in this work is infinite dimensional with a coefficient having linear growth. First, we prove the existence of a \textsl{unique local mild solution} in the sense of Walsh to SGBH equation with the help of a truncation argument and contraction mapping principle. Then the global solvability results are established by using uniform bounds of the local mild solution, stopping time arguments, tightness properties and Skorokhod's representation theorem. By using the uniform Laplace principle, we obtain the \textsl{large deviation principle} (LDP) for the law of solutions to SGBH equation by using variational representation methods. Further, we derive the \textsl{uniform large deviation principle} (ULDP) for the law of solutions in two different topologies by using a weak convergence method. First, in the $\mathrm{C}([0, T ];\mathrm{L}^p([0,1])) $ topology where the uniformity is over $\mathrm{L}^p([0,1])$-bounded sets of initial conditions, and secondly in the $\mathrm{C} ([0, T ] \times[0,1])$ topology with uniformity being over bounded subsets in the $\mathrm{C}([0,1])$-norm. Finally, we consider SGBH equation perturbed by a space-time white noise with bounded noise coefficient and establish the ULDP for the laws of solutions. The results obtained in this work hold true for stochastic Burgers' as well as Burgers-Huxley equations.


title: Explicit Computations of Fundamental Classes

abstract: We use the techniques of group cohomology to give explicit computations of the local fundamental class. As an application, we discuss how to compute the Tate canonical class for the extension $\mathbb Q(\zeta_{p^\nu})/\mathbb Q$, where $p^\nu$ is an odd prime power.


title: A Logic for Veracity

abstract: This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and authenticity.


title: Sparse Dimensionality Reduction Revisited

abstract: The sparse Johnson-Lindenstrauss transform is one of the central techniques in dimensionality reduction. It supports embedding a set of $n$ points in $\mathbb{R}^d$ into $m=O(\varepsilon^{-2} \lg n)$ dimensions while preserving all pairwise distances to within $1 \pm \varepsilon$. Each input point $x$ is embedded to $Ax$, where $A$ is an $m \times d$ matrix having $s$ non-zeros per column, allowing for an embedding time of $O(s \|x\|_0)$. Since the sparsity of $A$ governs the embedding time, much work has gone into improving the sparsity $s$. The current state-of-the-art by Kane and Nelson (JACM'14) shows that $s = O(\varepsilon ^{-1} \lg n)$ suffices. This is almost matched by a lower bound of $s = \Omega(\varepsilon ^{-1} \lg n/\lg(1/\varepsilon))$ by Nelson and Nguyen (STOC'13). Previous work thus suggests that we have near-optimal embeddings. In this work, we revisit sparse embeddings and identify a loophole in the lower bound. Concretely, it requires $d \geq n$, which in many applications is unrealistic. We exploit this loophole to give a sparser embedding when $d = o(n)$, achieving $s = O(\varepsilon^{-1}(\lg n/\lg(1/\varepsilon)+\lg^{2/3}n \lg^{1/3} d))$. We also complement our analysis by strengthening the lower bound of Nelson and Nguyen to hold also when $d \ll n$, thereby matching the first term in our new sparsity upper bound. Finally, we also improve the sparsity of the best oblivious subspace embeddings for optimal embedding dimensionality.


title: Electronic Janus lattice and kagome-like bands in coloring-triangular MoTe2 monolayers

abstract: Polymorphic structures of transition-metal dichalcogenides (TMDs) host exotic electronic states, like charge density wave and superconductivity. However, the number of these structures is limited by crystal symmetries, which poses a challenge to achieve tailored lattices and properties both theoretically and experimentally. Here, we report a coloring-triangle (CT) latticed MoTe2 monolayer, termed CT-MoTe2, constructed by controllably introducing uniform and ordered mirror-twin-boundaries into a pristine monolayer in molecular beam epitaxy. Low-temperature scanning tunneling microscopy and spectroscopy (STM/STS) together with theoretical calculations reveal that the monolayer has an electronic Janus lattice, i.e., an energy-dependent atomic-lattice and a pseudo-Te sublattice, and shares the identical geometry with the Mo5Te8 layer. Dirac-like and flat electronic bands inherently existing in the CT lattice are identified by two broad and two prominent peaks in STS spectra, respectively, and verified with density-functional-theory calculations. Two types of intrinsic domain boundaries were observed, in one of which the electronic-Janus-lattice feature maintains, implying potential applications as an energy-tunable electron-tunneling barrier in future functional devices.


title: An Error-Surface-Based Fractional Motion Estimation Algorithm and Hardware Implementation for VVC

abstract: Versatile Video Coding (VVC) introduces more coding tools to improve compression efficiency compared to its predecessor High Efficiency Video Coding (HEVC). For inter-frame coding, Fractional Motion Estimation (FME) still has a high computational effort, which limits the real-time processing capability of the video encoder. In this context, this paper proposes an error-surface-based FME algorithm and the corresponding hardware implementation. The algorithm creates an error surface constructed by the Rate-Distortion (R-D) cost of the integer motion vector (IMV) and its neighbors. This method requires no iteration and interpolation, thus reducing the area and power consumption and increasing the throughput of the hardware. The experimental results show that the corresponding BDBR loss is only 0.47% compared to VTM 16.0 in LD-P configuration. The hardware implementation was synthesized using GF 28nm process. It can support 13 different sizes of CU varying from 128x128 to 8x8. The measured throughput can reach 4K@30fps at 400MHz, with a gate count of 192k and power consumption of 12.64 mW. And the throughput can reach 8K@30fps at 631MHz when only quadtree is searched. To the best of our knowledge, this work is the first hardware architecture for VVC FME with interpolation-free strategies


title: Implication of cosmological upper bound on the validity of golden ratio neutrino mixings under radiative corrections

abstract: We study the implication of the most recent cosmological upper bound on the sum of three neutrino masses, on the validity of the golden ratio (GR) neutrino mixings defined at high energy seesaw scale, considering the possibility for generating low energy values of neutrino oscillation parameters through radiative corrections in the minimal supersymmetric standard model (MSSM). The present study is consistent with the most stringent and latest Planck data on cosmological upper bound, $\sum |m_{i}| < 0.12$ eV. For the radiative generation of sin$\theta_{13}$ from an exact form of golden ratio (GR) neutrino mixing matrix defined at high seesaw energy scale, we take opposite CP parity mass eigenvalues ($m_{1},-m_{2},m_{3}$) with a non-zero real value of $m_{3}$, and a larger value of $\tan\beta > 60$ in order to include large effects of radiative corrections in the calculation. The present analysis including the CP violating Dirac phase and SUSY threshold corrections, shows the validity of golden ratio neutrino mixings defined at high seesaw energy scale in the normal hierarchical (NH) model. The numerical analysis with the variations of four parameters viz. $M_{R}$, $m_{s}$, $\tan\beta$ and $\bar{\eta_{b}}$, shows that the best result for the validity is obtained at $M_{R}=10^{15}$ GeV, $m_{s}=1$ TeV, $\tan\beta=68$ and $\bar{\eta_{b}}=0.01$. However, the analysis based on inverted hierarchical (IH) model does not conform with this latest Planck data on cosmological bound but it still conforms with earlier Planck cosmological upper bound $\sum |m_{i}|< 0.23$ eV, thus indicating possible preference of NH over IH models.


title: New Quantum MDS codes from Hermitian self-orthogonal generalized Reed-Solomon codes

abstract: Quantum maximum-distance-separable (MDS for short) codes are an important class of quantum codes. In this paper, by using Hermitian self-orthogonal generalized Reed-Solomon (GRS for short) codes, we construct five new classes of $q$-ary quantum MDS codes with minimum distance larger than $q/2+1$. Furthermore, the parameters of our quantum MDS code cannot be obtained from the previous constructions.


title: Restoring the saturation response of a PMT using pulse-shape and artificial-neural-networks

abstract: The linear response of a photomultiplier tube (PMT) is a required property for photon counting and reconstruction of the neutrino energy. The linearity valid region and the saturation response of PMT were investigated using a linear-alkyl-benzene (LAB)-based liquid scintillator. A correlation was observed between the two different saturation responses, with pulse-shape distortion and pulse-area decrease. The observed pulse-shape provides useful information for the estimation of the linearity region relative to the pulse-area. This correlation-based diagnosis allows an ${in}$-${situ}$ estimation of the linearity range, which was previously challenging. The measured correlation between the two saturation responses was employed to train an artificial-neural-network (ANN) to predict the decrease in pulse-area from the observed pulse-shape. The ANN-predicted pulse-area decrease enables the prediction of the ideal number of photoelectrons irrelevant to the saturation behavior. This pulse-shape-based machine learning technique offers a novel method for restoring the saturation response of PMTs.


title: An ANN Approach in Predicting Solar and Geophysical Indices from Ionospheric TEC Over Indore

abstract: In this paper, preliminary results from the artificial neural network (ANN) based model developed at IIT Indore has been presented. One year's hourly total electron content (TEC) database has been created from the International Reference Ionosphere (IRI) 2016 model. For the first time, a reverse problem has been addressed, wherein the training has been performed for predicting the three indices: 13-month running sunspot number, ionospheric index, and daily solar radio flux also called targets to the network when hourly TEC values are the inputs. The root mean square errors (RMSEs) of these targets have been compared and minimized after several training of the dataset using different sets of combinations. Unknown data fed to the network yielded 0.99%, 3.12%, and 0.90% errors for Rz12, IG12, and F10.7 radio flux, respectively, thus signifying ~97% prediction accuracy of the model.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.geo-ph


title: On the Mixing Time of Glauber Dynamics for the Hard-core and Related Models on G(n,d/n)

abstract: We study the single-site Glauber dynamics for the fugacity $\lambda$, Hard-core model on the random graph $G(n, d/n)$. We show that for the typical instances of the random graph $G(n,d/n)$ and for fugacity $\lambda < \frac{d^d}{(d-1)^{d+1}}$, the mixing time of Glauber dynamics is $n^{1 + O(1/\log \log n)}$. Our result improves on the recent elegant algorithm in [Bezakova, Galanis, Goldberg Stefankovic; ICALP'22]. The algorithm there is a MCMC based sampling algorithm, but it is not the Glauber dynamics. Our algorithm here is simpler, as we use the classic Glauber dynamics. Furthermore, the bounds on mixing time we prove are smaller than those in Bezakova et al. paper, hence our algorithm is also faster. The main challenge in our proof is handling vertices with unbounded degrees. We provide stronger results with regard the spectral independence via branching values and show that the our Gibbs distributions satisfy the approximate tensorisation of the entropy. We conjecture that the bounds we have here are optimal for $G(n,d/n)$. As corollary of our analysis for the Hard-core model, we also get bounds on the mixing time of the Glauber dynamics for the Monomer-dimer model on $G(n,d/n)$. The bounds we get for this model are slightly better than those we have for the Hard-core model


title: SWIFT: Expedited Failure Recovery for Large-scale DNN Training

abstract: As the size of deep learning models gets larger and larger, training takes longer time and more resources, making fault tolerance more and more critical. Existing state-of-the-art methods like CheckFreq and Elastic Horovod need to back up a copy of the model state (i.e., parameters and optimizer states) in memory, which is costly for large models and leads to non-trivial overhead. This paper presents SWIFT, a novel recovery design for distributed deep neural network training that significantly reduces the failure recovery overhead without affecting training throughput and model accuracy. Instead of making an additional copy of the model state, SWIFT resolves the inconsistencies of the model state caused by the failure and exploits the replicas of the model state in data parallelism for failure recovery. We propose a logging-based approach when replicas are unavailable, which records intermediate data and replays the computation to recover the lost state upon a failure. The re-computation is distributed across multiple machines to accelerate failure recovery further. We also log intermediate data selectively, exploring the trade-off between recovery time and intermediate data storage overhead. Evaluations show that SWIFT significantly reduces the failure recovery time and achieves similar or better training throughput during failure-free execution compared to state-of-the-art methods without degrading final model accuracy. SWIFT can also achieve up to 1.16x speedup in total training time compared to state-of-the-art methods.


title: Evaluation of Word Embeddings for the Social Sciences

abstract: Word embeddings are an essential instrument in many NLP tasks. Most available resources are trained on general language from Web corpora or Wikipedia dumps. However, word embeddings for domain-specific language are rare, in particular for the social science domain. Therefore, in this work, we describe the creation and evaluation of word embedding models based on 37,604 open-access social science research papers. In the evaluation, we compare domain-specific and general language models for (i) language coverage, (ii) diversity, and (iii) semantic relationships. We found that the created domain-specific model, even with a relatively small vocabulary size, covers a large part of social science concepts, their neighborhoods are diverse in comparison to more general models. Across all relation types, we found a more extensive coverage of semantic relationships.


title: Learning and Aggregating Lane Graphs for Urban Automated Driving

abstract: Lane graph estimation is an essential and highly challenging task in automated driving and HD map learning. Existing methods using either onboard or aerial imagery struggle with complex lane topologies, out-of-distribution scenarios, or significant occlusions in the image space. Moreover, merging overlapping lane graphs to obtain consistent large-scale graphs remains difficult. To overcome these challenges, we propose a novel bottom-up approach to lane graph estimation from aerial imagery that aggregates multiple overlapping graphs into a single consistent graph. Due to its modular design, our method allows us to address two complementary tasks: predicting ego-respective successor lane graphs from arbitrary vehicle positions using a graph neural network and aggregating these predictions into a consistent global lane graph. Extensive experiments on a large-scale lane graph dataset demonstrate that our approach yields highly accurate lane graphs, even in regions with severe occlusions. The presented approach to graph aggregation proves to eliminate inconsistent predictions while increasing the overall graph quality. We make our large-scale urban lane graph dataset and code publicly available at http://urbanlanegraph.cs.uni-freiburg.de.


title: Converging to Stability in Two-Sided Bandits: The Case of Unknown Preferences on Both Sides of a Matching Market

abstract: We study the problem of repeated two-sided matching with uncertain preferences (two-sided bandits), and no explicit communication between agents. Recent work has developed algorithms that converge to stable matchings when one side (the proposers or agents) must learn their preferences, but the preferences of the other side (the proposees or arms) are common knowledge, and the matching mechanism uses simultaneous proposals at each round. We develop new algorithms that converge to stable matchings for two more challenging settings: one where the arm preferences are no longer common knowledge, and a second, more general one where the arms are also uncertain about their own preferences. In our algorithms, agents start with optimistic beliefs about arms' preferences, updating these preferences over time, and combining beliefs about preferences with beliefs about the value of matching when choosing whom to propose to.


title: Arc-disjoint out-branchings and in-branchings in semicomplete digraphs

abstract: An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. It is well-known that there exists a polynomial algorithm for deciding whether a given digraph has $k$ arc-disjoint out-branchings with prescribed roots ($k$ is part of the input). In sharp contrast to this, it is already NP-complete to decide if a digraph has one out-branching which is arc-disjoint from some in-branching. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. In this paper we give a complete classification of semicomplete digraphs which have an out-branching $B^+_u$ which is arc-disjoint from some in-branching $B^-_v$ where $u,v$ are prescribed vertices of $D$. Our characterization, which is surprisingly simple, generalizes a complicated characterization for tournaments from 1991 by the first author and our proof implies the existence of a polynomial algorithm for checking whether a given semicomplete digraph has such a pair of branchings for prescribed vertices $u,v$ and construct a solution if one exists. This confirms a conjecture of Bang-Jensen for the case of semicomplete digraphs.


title: A topological version of Hedetniemi's conjecture for equivariant spaces

abstract: A topological version of the famous Hedetniemi conjecture says: The mapping index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. The main purpose of this article is to study the topological version of the Hedetniemi conjecture for $G$-spaces. Indeed, we show that the topological Hedetniemi conjecture cannot be valid for general pairs of $G$-spaces. More precisely, we show that this conjecture can possibly survive if the group $G$ is either a cyclic $p$-group or a generalized quaternion group whose size is a power of 2.


title: Bottom energy loss and non-prompt $J/\psi$ production in relativistic heavy ion collisions

abstract: We study the momentum and centrality dependence of the non-prompt $J/\psi$ nuclear modification factors ($R_{AA}$), which comes from the $B$ hadrons decay, in Pb-Pb collisions at the Large Hadron Collider. Bottom quarks are produced in the parton hard scatterings and suffer energy loss in the quark-gluon plasma and the hadronic gas, where the spatial and time evolution of the medium is described with the hydrodynamic equations. Medium-induced elastic scatterings and the radiation in bottom quarks are included in the energy loss of bottom quarks. The hadronization process of bottom quarks is described with the instantaneous coalescence model. After considering both cold and hot nuclear matter effects in Pb-Pb collisions at $\sqrt{s_{NN}}=5.02$ TeV, we calculated the $R_{AA}$ and also the elliptic flows of non-prompt $J/\psi$ from the decay of $B$ mesons at different centralities and transverse momentum bins. The $R_{AA}$ and $v_2$ of non-prompt $J/\psi$ sensitive to the hot medium reflect and centrality supply an opportunity to study the bottom quarks energy loss in the hot medium.


title: LDPTrace: Locally Differentially Private Trajectory Synthesis

abstract: Trajectory data has the potential to greatly benefit a wide-range of real-world applications, such as tracking the spread of the disease through people's movement patterns and providing personalized location-based services based on travel preference. However, privay concerns and data protection regulations have limited the extent to which this data is shared and utilized. To overcome this challenge, local differential privacy provides a solution by allowing people to share a perturbed version of their data, ensuring privacy as only the data owners have access to the original information. Despite its potential, existing point-based perturbation mechanisms are not suitable for real-world scenarios due to poor utility, dependence on external knowledge, high computational overhead, and vulnerability to attacks. To address these limitations, we introduce LDPTrace, a novel locally differentially private trajectory synthesis framework. Our framework takes into account three crucial patterns inferred from users' trajectories in the local setting, allowing us to synthesize trajectories that closely resemble real ones with minimal computational cost. Additionally, we present a new method for selecting a proper grid granularity without compromising privacy. Our extensive experiments using real-world data, various utility metrics and attacks, demonstrate the efficacy and efficiency of LDPTrace.


title: Impact of Intense Geomagnetic Storm on NavIC Signals Over Indore

abstract: Intense geomagnetic storms can have a strong impact on the signals (termed ionospheric scintillations) emitted by any global navigation satellite system (GNSS). The paper reports the first studies of scintillations at the Indore region on the NavIC signals due to the impact of the intense geomagnetic storm event reported on September 8, 2017, at 0151 and 1304 UT. The variation of the planetary indices as well as the DST index which dropped to a value of -124 nT on September 8, 2017, indicates the occurrence of an intense geomagnetic storm on September 8, 2017. The observations presented are carried out at Indore, which is located at the equatorial anomaly crest. The S4 index measurements of colocated GNSS receiver showed values of 0.5 or above on the disturbed day between 15 and 18 UT. The analysis presented clearly signifies the degradation of the carrier to noise measurements of the NavIC L5 signal during the same time, which in turn affected the positional accuracy of NavIC, an important consideration for performance.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.geo-ph physics.plasm-ph


title: Quantum properties of gauge theories with extended supersymmetry formulated in ${\cal N}=1$ superspace

abstract: We analyse quantum properties of ${\cal N}=2$ and ${\cal N}=4$ supersymmetric gauge theories formulated in terms of ${\cal N}=1$ superfields and investigate the conditions imposed on a renormalization prescription under which the non-renormalization theorems are valid. For this purpose in these models we calculate the two-loop contributions to the anomalous dimensions of all chiral matter superfields and the three-loop contributions to the $\beta$-functions for an arbitrary ${\cal N}=1$ supersymmetric subtraction scheme supplementing the higher covariant derivative regularization. We demonstrate that, in general, the results do not vanish due to the scheme dependence, which becomes essential in the considered approximations. However, the two-loop anomalous dimensions vanish if a subtraction scheme is compatible with the structure of quantum corrections and does not break the relation between the Yukawa and gauge couplings which follows from ${\cal N}=2$ supersymmetry. Nevertheless, even under these conditions the three-loop contribution to the $\beta$-function does not in general vanishes for ${\cal N}=2$ supersymmetric theories. To obtain the purely one-loop $\beta$-function, one should also chose an NSVZ renormalization prescription. The similar statements for the higher loop contributions are proved in all orders.


title: Anti-Compression Contrastive Facial Forgery Detection

abstract: Forgery facial images and videos have increased the concern of digital security. It leads to the significant development of detecting forgery data recently. However, the data, especially the videos published on the Internet, are usually compressed with lossy compression algorithms such as H.264. The compressed data could significantly degrade the performance of recent detection algorithms. The existing anti-compression algorithms focus on enhancing the performance in detecting heavily compressed data but less consider the compression adaption to the data from various compression levels. We believe creating a forgery detection model that can handle the data compressed with unknown levels is important. To enhance the performance for such models, we consider the weak compressed and strong compressed data as two views of the original data and they should have similar representation and relationships with other samples. We propose a novel anti-compression forgery detection framework by maintaining closer relations within data under different compression levels. Specifically, the algorithm measures the pair-wise similarity within data as the relations, and forcing the relations of weak and strong compressed data close to each other, thus improving the discriminate power for detecting strong compressed data. To achieve a better strong compressed data relation guided by the less compressed one, we apply video level contrastive learning for weak compressed data, which forces the model to produce similar representations within the same video and far from the negative samples. The experiment results show that the proposed algorithm could boost performance for strong compressed data while improving the accuracy rate when detecting the clean data.


title: A Reference Architecture for Blockchain-based Traceability Systems Using Domain-Driven Design and Microservices

abstract: Traceability systems are important for solving problems due to the increasing scale of the global supply chain, such as food safety crises and market disorder. Blockchain, as an immutable and decentralized ledger, is able to optimize the traditional traceability system by ensuring the transparency and reliability of the system data. However, the use of blockchain technology may lead to a rapid increase in the complexity of system design and development. It is challenging to address widespread and complicated business, changeable processes, and massive data in practice, which are the main factors restricting the wide application of a blockchain-based traceability system (BTS). Therefore, in this paper, we reviewed relevant studies and proposed a reference architecture for BTSs. The proposed reference architecture can improve the cohesiveness, maintainability, and extensibility of BTSs through domain-driven design (DDD) and microservices. Considering the efficiency reduction caused by massive data and complicated data structure, we further changed the traditional single blockchain framework into multiple sub-chain networks, which could improve development efficiency and system performance. With the guidance of the architecture trade-off analysis method (ATAM), we evaluated our reference architecture and implemented a prototype in the salmon supply chain scenario. The results show that our solution is effective and adaptable to meet the requirements of BTSs.


title: PUPS: Point Cloud Unified Panoptic Segmentation

abstract: Point cloud panoptic segmentation is a challenging task that seeks a holistic solution for both semantic and instance segmentation to predict groupings of coherent points. Previous approaches treat semantic and instance segmentation as surrogate tasks, and they either use clustering methods or bounding boxes to gather instance groupings with costly computation and hand-crafted designs in the instance segmentation task. In this paper, we propose a simple but effective point cloud unified panoptic segmentation (PUPS) framework, which use a set of point-level classifiers to directly predict semantic and instance groupings in an end-to-end manner. To realize PUPS, we introduce bipartite matching to our training pipeline so that our classifiers are able to exclusively predict groupings of instances, getting rid of hand-crafted designs, e.g. anchors and Non-Maximum Suppression (NMS). In order to achieve better grouping results, we utilize a transformer decoder to iteratively refine the point classifiers and develop a context-aware CutMix augmentation to overcome the class imbalance problem. As a result, PUPS achieves 1st place on the leader board of SemanticKITTI panoptic segmentation task and state-of-the-art results on nuScenes.


title: Multiscale Graph Neural Network Autoencoders for Interpretable Scientific Machine Learning

abstract: The goal of this work is to address two limitations in autoencoder-based models: latent space interpretability and compatibility with unstructured meshes. This is accomplished here with the development of a novel graph neural network (GNN) autoencoding architecture with demonstrations on complex fluid flow applications. To address the first goal of interpretability, the GNN autoencoder achieves reduction in the number nodes in the encoding stage through an adaptive graph reduction procedure. This reduction procedure essentially amounts to flowfield-conditioned node sampling and sensor identification, and produces interpretable latent graph representations tailored to the flowfield reconstruction task in the form of so-called masked fields. These masked fields allow the user to (a) visualize where in physical space a given latent graph is active, and (b) interpret the time-evolution of the latent graph connectivity in accordance with the time-evolution of unsteady flow features (e.g. recirculation zones, shear layers) in the domain. To address the goal of unstructured mesh compatibility, the autoencoding architecture utilizes a series of multi-scale message passing (MMP) layers, each of which models information exchange among node neighborhoods at various lengthscales. The MMP layer, which augments standard single-scale message passing with learnable coarsening operations, allows the decoder to more efficiently reconstruct the flowfield from the identified regions in the masked fields. Analysis of latent graphs produced by the autoencoder for various model settings are conducted using using unstructured snapshot data sourced from large-eddy simulations in a backward-facing step (BFS) flow configuration with an OpenFOAM-based flow solver at high Reynolds numbers.


title: Quantum diamond magnetometry for navigation in GNSS denied environments

abstract: In this paper, a probabilistic method for map matching localisation based on magnetometery measurement and total magnetic intensity maps is described. We show that the method is able to effectively address the challenge issues associated with map matching using geophysical maps and provides a mechanism of handling map measurement ambiguity and a way of evaluating the underlying quality. Furthermore, the effectiveness of the magnetometery map matching localisation is demonstrated using the simulation of removing position drift of an inertial navigation system, that arises in INS over a long duration, by the magnetometery aiding in the absence GNSS positioning. Simulation results using online maps verified the robustness and effectiveness of the proposed algorithm, particularly, the aiding precision will be getting better if a high sensitivity magnetometer is used.


title: Enhancing SMT-based Weighted Model Integration by Structure Awareness

abstract: The development of efficient exact and approximate algorithms for probabilistic inference is a long-standing goal of artificial intelligence research. Whereas substantial progress has been made in dealing with purely discrete or purely continuous domains, adapting the developed solutions to tackle hybrid domains, characterised by discrete and continuous variables and their relationships, is highly non-trivial. Weighted Model Integration (WMI) recently emerged as a unifying formalism for probabilistic inference in hybrid domains. Despite a considerable amount of recent work, allowing WMI algorithms to scale with the complexity of the hybrid problem is still a challenge. In this paper we highlight some substantial limitations of existing state-of-the-art solutions, and develop an algorithm that combines SMT-based enumeration, an efficient technique in formal verification, with an effective encoding of the problem structure. This allows our algorithm to avoid generating redundant models, resulting in drastic computational savings. Additionally, we show how SMT-based approaches can seamlessly deal with different integration techniques, both exact and approximate, significantly expanding the set of problems that can be tackled by WMI technology. An extensive experimental evaluation on both synthetic and real-world datasets confirms the substantial advantage of the proposed solution over existing alternatives. The application potential of this technology is further showcased on a prototypical task aimed at verifying the fairness of probabilistic programs.


title: Infinitely many periodic solutions to a Lorentz force equation with singular electromagnetic potential

abstract: We consider the Lorentz force equation $$ \frac{d}{dt}\left(\frac{m\dot{x}}{\sqrt{1-|\dot{x}|^{2}/c^{2}}}\right) = q \left(E(t,x) + \dot x \times B(t,x)\right), \qquad x \in \mathbb{R}^3, $$ in the physically relevant case of a singular electric field $E$. Assuming that $E$ and $B$ are $T$-periodic in time and satisfy suitable further conditions, we prove the existence of infinitely many $T$-periodic solutions. The proof is based on a min-max principle of Lusternik-Schrelmann type, in the framework of non-smooth critical point theory. Applications are given to the problem of the motion of a charged particle under the action of a Li\'enard-Wiechert potential and to the relativistic forced Kepler problem.


title: Computing branches and asymptotes of meromorphic functions

abstract: In this paper, we first summarize the existing algorithms for computing all the generalized asymptotes of a plane algebraic curve implicitly or parametrically defined. From these previous results, we derive a method that allows to easily compute the whole branch and all the generalized asymptotes of a special curve defined in n-dimensional space by a parametrization that is not necessarily rational. So, some new concepts and methods are established for this type of curves. The approach is based on the notion of perfect curves introduced from the concepts and results presented in previous papers.


title: Limit theorems for Quantum Trajectories

abstract: Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Under purification and irreducibility assumptions, these Markov processes admit a unique invariant measure - see Benoist et al. Probab. Theory Relat. Fields 2019. In this article we prove, finer limit theorems such as Law of Large Numbers (LLN), Functional Central Limit Theorem, Law of Iterated Logarithm and Moderate Deviation Principle. The proof of the LLN is based on Birkhoff's ergodic theorem and an analysis of harmonic functions. The other theorems are proved using martingale approximation of empirical sums.


title: On unimodular module categories

abstract: Let $\mathcal{C}$ be a finite tensor category and $\mathcal{M}$ an exact left $\mathcal{C}$-module category. We call $\mathcal{M}$ unimodular if the finite multitensor category ${\sf Rex}_{\mathcal{C}}(\mathcal{M})$ of right exact $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is unimodular. In this article, we provide various characterizations, properties, and examples of unimodular module categories. As our first application, we employ unimodular module categories to construct (commutative) Frobenius algebra objects in the Drinfeld center of any finite tensor category. When $\mathcal{C}$ is a pivotal category, and $\mathcal{M}$ is a unimodular, pivotal left $\mathcal{C}$-module category, the Frobenius algebra objects are symmetric as well. Our second application is a classification of unimodular module categories over the category of finite dimensional representations of a finite dimensional Hopf algebra; this answers a question of Shimizu. Using this, we provide an example of a finite tensor category whose categorical Morita equivalence class does not contain any unimodular tensor category.


title: Oscillations and cavity modes in the circular hydraulic jump

abstract: We report spontaneous oscillations of circular hydraulic jumps created by the impact of a submillimeter water jet on a solid disk. The jet flow rate is shown to condition the occurrence of the oscillations while their period is independent of this parameter. The period, however, varies linearly with the disk radius. This dependency is rationalized by investigating surface gravity wave modes in the cavity formed by the disk. We show that the jump oscillation frequency systematically matches one of the surface wave disk-cavity eigenfrequencies, leading to the conclusion that the oscillations are self-induced by the interaction between the jump and surface wave eigenmodes.


title: Capsules as viewpoint learners for human pose estimation

abstract: The task of human pose estimation (HPE) deals with the ill-posed problem of estimating the 3D position of human joints directly from images and videos. In recent literature, most of the works tackle the problem mostly by using convolutional neural networks (CNNs), which are capable of achieving state-of-the-art results in most datasets. We show how most neural networks are not able to generalize well when the camera is subject to significant viewpoint changes. This behaviour emerges because CNNs lack the capability of modelling viewpoint equivariance, while they rather rely on viewpoint invariance, resulting in high data dependency. Recently, capsule networks (CapsNets) have been proposed in the multi-class classification field as a solution to the viewpoint equivariance issue, reducing both the size and complexity of both the training datasets and the network itself. In this work, we show how capsule networks can be adopted to achieve viewpoint equivariance in human pose estimation. We propose a novel end-to-end viewpoint-equivariant capsule autoencoder that employs a fast Variational Bayes routing and matrix capsules. We achieve state-of-the-art results for multiple tasks and datasets while retaining other desirable properties, such as greater generalization capabilities when changing viewpoints, lower data dependency and fast inference. Additionally, by modelling each joint as a capsule, the hierarchical and geometrical structure of the overall pose is retained in the feature space, independently from the viewpoint. We further test our network on multiple datasets, both in the RGB and depth domain, from seen and unseen viewpoints and in the viewpoint transfer task.


title: Exploring Navigation Maps for Learning-Based Motion Prediction

abstract: The prediction of surrounding agents' motion is a key for safe autonomous driving. In this paper, we explore navigation maps as an alternative to the predominant High Definition (HD) maps for learning-based motion prediction. Navigation maps provide topological and geometrical information on road-level, HD maps additionally have centimeter-accurate lane-level information. As a result, HD maps are costly and time-consuming to obtain, while navigation maps with near-global coverage are freely available. We describe an approach to integrate navigation maps into learning-based motion prediction models. To exploit locally available HD maps during training, we additionally propose a model-agnostic method for knowledge distillation. In experiments on the publicly available Argoverse dataset with navigation maps obtained from OpenStreetMap, our approach shows a significant improvement over not using a map at all. Combined with our method for knowledge distillation, we achieve results that are close to the original HD map-reliant models. Our publicly available navigation map API for Argoverse enables researchers to develop and evaluate their own approaches using navigation maps.


title: The vanishing relaxation time behavior of multi-term nonlocal Jordan-Moore-Gibson-Thompson equations

abstract: The family of Jordan-Moore-Gibson-Thompson (JMGT) equations arises in nonlinear acoustics when a relaxed version of the heat flux law is employed within the system of governing equations of sound motion. Motivated by the propagation of sound waves in complex media with anomalous diffusion, we consider here a generalized class of such equations involving two (weakly) singular memory kernels in the principal and non-leading terms. To relate them to the second-order wave equations, we investigate their vanishing relaxation time behavior. The key component of this singular limit analysis are the uniform bounds for the solutions of these nonlinear equations of fractional type with respect to the relaxation time. Their availability turns out to depend not only on the regularity and coercivity properties of the two kernels, but also on their behavior relative to each other and the type of nonlinearity present in the equations.


title: Polyharmonic surfaces in $3$-dimensional homogeneous spaces

abstract: In the first part of this paper we shall classify proper triharmonic isoparametric surfaces in 3-dimensional homogeneous spaces (Bianchi-Cartan-Vranceanu spaces, shortly BCV-spaces). We shall also prove that triharmonic Hopf cylinders are necessarily CMC. In the last section we shall determine a complete classification of CMC r-harmonic Hopf cylinders in BCV-spaces, r>=3. This result ensures the existence, for suitable values of r, of an ample family of new examples of r-harmonic surfaces in BCV-spaces.


title: Distinguishability Calibration to In-Context Learning

abstract: Recent years have witnessed increasing interests in prompt-based learning in which models can be trained on only a few annotated instances, making them suitable in low-resource settings. When using prompt-based learning for text classification, the goal is to use a pre-trained language model (PLM) to predict a missing token in a pre-defined template given an input text, which can be mapped to a class label. However, PLMs built on the transformer architecture tend to generate similar output embeddings, making it difficult to discriminate between different class labels. The problem is further exacerbated when dealing with classification tasks involving many fine-grained class labels. In this work, we alleviate this information diffusion issue, i.e., different tokens share a large proportion of similar information after going through stacked multiple self-attention layers in a transformer, by proposing a calibration method built on feature transformations through rotation and scaling to map a PLM-encoded embedding into a new metric space to guarantee the distinguishability of the resulting embeddings. Furthermore, we take the advantage of hyperbolic embeddings to capture the hierarchical relations among fine-grained class-associated token embedding by a coarse-to-fine metric learning strategy to enhance the distinguishability of the learned output embeddings. Extensive experiments on the three datasets under various settings demonstrate the effectiveness of our approach. Our code can be found at https://github.com/donttal/TARA.


title: COACH: Cooperative Robot Teaching

abstract: Knowledge and skills can transfer from human teachers to human students. However, such direct transfer is often not scalable for physical tasks, as they require one-to-one interaction, and human teachers are not available in sufficient numbers. Machine learning enables robots to become experts and play the role of teachers to help in this situation. In this work, we formalize cooperative robot teaching as a Markov game, consisting of four key elements: the target task, the student model, the teacher model, and the interactive teaching-learning process. Under a moderate assumption, the Markov game reduces to a partially observable Markov decision process, with an efficient approximate solution. We illustrate our approach on two cooperative tasks, one in a simulated video game and one with a real robot.


title: On the structure and stability of ranks of $2$-class groups in cyclotomic $\mathbb{Z}_{2}$-extensions of certain real quadratic fields

abstract: For a real quadratic field $K= \mathbb{Q}(\sqrt{d})$ with discriminant $D_{K}$ having four distinct prime factors, we study the structure of the $2$-class group $A(K_{1})$ of the first layer $K_{1} = \mathbb{Q}(\sqrt{2},\sqrt{d})$ of the cyclotomic $\mathbb{Z}_{2}$-extension of $K$. With some suitably convenient assumptions on the rank and the order of $A(K_{1})$, we characterize $K$ for which the $2$-class group $A(K)$ is isomorphic to $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$. We infer that the $2$-ranks of the class groups in each layer stabilizes by virtue of a result of Fukuda. This also provides an alternate way to establish that the Iwasawa $\mu$-invariant of $K$ vanishes. In some cases, we also provide sufficient conditions on the constituent prime factors of $D_{K}$ that imply $A(K) \simeq \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$, $A(K_{1}) \simeq \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$ and $A(K^{\prime}) \simeq \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$, where $K^{\prime} = \mathbb{Q}(\sqrt{2d})$. This extends some results obtained by Mizusawa.


title: Topology of the landscape and dominant kinetic path for the thermodynamic phase transition of the charged Gauss-Bonnet AdS black holes

abstract: We study the generalized free energy of the five dimensional charged Gauss-Bonnet AdS black holes in the grand canonical ensemble by treating the black hole radius and the charge as the order parameters. On the two dimensional free energy landscape, the lowest points in the basins represent the local stable black holes and the saddle point represents the unstable black hole. We show that black hole is the topological defect of gradient field of the landscape. The black hole stability is determined by the topography of the free energy landscape in terms of the basin depths and the barrier height between the basins and is not by the topology of the gradient field. In addition, we study the stochastic dynamics of the black hole phase transition and obtain the dominant kinetic path for the transition on the free energy landscape. Unlike the one dimensional landscape, the dominant kinetic path between the small and the large black hole state does not necessarily pass through the intermediate black hole state. Furthermore, the inhomogeneity in diffusions can lead to the switching from the coupled cooperative process of black hole phase transition to the decoupled sequential process, giving different kinetic mechanisms.


title: Circle Packings from Tilings of the Plane

abstract: We introduce a new class of fractal circle packings in the plane, generalizing the polyhedral packings defined by Kontorovich and Nakamura. The existence and uniqueness of these packings are guaranteed by infinite versions of the Koebe-Andreev-Thurston theorem. We prove structure theorems giving a complete description of the symmetry groups for these packings. And we give several examples to illustrate their number-theoretic and group-theoretic significance.


title: Fast Algorithms for Discrete Differential Equations

abstract: Discrete Differential Equations (DDEs) are functional equations that relate polynomially a power series $F(t,u)$ in $t$ with polynomial coefficients in a "catalytic" variable $u$ and the specializations, say at $u=1$, of $F(t,u)$ and of some of its partial derivatives in $u$. DDEs occur frequently in combinatorics, especially in map enumeration. If a DDE is of fixed-point type then its solution $F(t,u)$ is unique, and a general result by Popescu (1986) implies that $F(t,u)$ is an algebraic power series. Constructive proofs of algebraicity for solutions of fixed-point type DDEs were proposed by Bousquet-M\'elou and Jehanne (2006). Bostan et. al (2022) initiated a systematic algorithmic study of such DDEs of order 1. We generalize this study to DDEs of arbitrary order. First, we propose nontrivial extensions of algorithms based on polynomial elimination and on the guess-and-prove paradigm. Second, we design two brand-new algorithms that exploit the special structure of the underlying polynomial systems. Last, but not least, we report on implementations that are able to solve highly challenging DDEs with a combinatorial origin.


title: Generating Bell states and $N$-partite $W$ states of long-distance qubits in superconducting waveguide QED

abstract: We show how to generate Bell states and $N$-partite $W$ states of long-distance superconducting (SC) qubits in a SC waveguide quantum electrodynamical (QED) system, where SC qubits are coupled to an open microwave transmission line. In the two-qubit case, the Bell state of two long-distance qubits can be a dark state of the system by choosing appropriate system parameters. If one proper microwave pulse drives one of two qubits, the two qubits will evolve from their ground states to a Bell state. Further, we extend this scheme to the multi-qubit case. We show that $W$ states of $N$ long-distance qubits can also be generated. Because both the Bell and $W$ states are decoupled from the waveguide (i.e., dark states of the system), they are steady and have very long lifetimes in the ideal case without decoherence of qubits. In contrast to the ideal case, the presence of decoherence of qubits limits the lifetimes of the Bell and $W$ states. Our study provides a novel scheme for generating Bell states and $N$-partite $W$ states in SC waveguide QED, which can be used to entangle long-distance nodes in waveguide quantum networks.


title: Order Matters: Agent-by-agent Policy Optimization

abstract: While multi-agent trust region algorithms have achieved great success empirically in solving coordination tasks, most of them, however, suffer from a non-stationarity problem since agents update their policies simultaneously. In contrast, a sequential scheme that updates policies agent-by-agent provides another perspective and shows strong performance. However, sample inefficiency and lack of monotonic improvement guarantees for each agent are still the two significant challenges for the sequential scheme. In this paper, we propose the \textbf{A}gent-by-\textbf{a}gent \textbf{P}olicy \textbf{O}ptimization (A2PO) algorithm to improve the sample efficiency and retain the guarantees of monotonic improvement for each agent during training. We justify the tightness of the monotonic improvement bound compared with other trust region algorithms. From the perspective of sequentially updating agents, we further consider the effect of agent updating order and extend the theory of non-stationarity into the sequential update scheme. To evaluate A2PO, we conduct a comprehensive empirical study on four benchmarks: StarCraftII, Multi-agent MuJoCo, Multi-agent Particle Environment, and Google Research Football full game scenarios. A2PO consistently outperforms strong baselines.


title: MOND as a peculiar case of the SIV theory

abstract: The scale invariant theory is preserving the fundamental physical properties of General Relativity, while enlarging the group of invariances subtending gravitation theory (Dirac1973; Canuto et al.1977). The Scale Invariant Vacuum (SIV) theory assumes, as gauging condition, that:"The macroscopic empty space is scale invariant, homogeneous and isotropic". Some basic properties in Weyl's Integrable Geometry and cotensor calculus are examined in relation with scalar-tensor theories. Possible scale invariant effects are strongly reduced by matter density, both at the cosmological and local levels. The weak feld limit of SIV tends to MOND, when the scale factor is taken as constant, an approximation valid (<1%) over the last 400 Myr. A better understanding of the a0-parameter is obtained: it corresponds to the equilibrium point of the Newtonian and SIV dynamical acceleration. Parameter a0 is not a universal constant, it depends on the density and age of the Universe. As MOND is doing, SIV theory avoids the call to dark matter, moreover the cosmological models predict accelerated expansion.


title: Global model categories and topological Andr\'e-Quillen cohomology

abstract: We introduce global model categories as a general framework to capture several phenomena in global equivariant homotopy theory. We then construct genuine stabilizations of these, generalizing the usual passage from unstable to stable global homotopy theory. Finally, we define the global topological Andr\'e-Quillen cohomology of an ultra-commutative ring spectrum and express it in terms of a genuine stabilization in our framework in analogy with the classical non-equivariant description obtained by Basterra and Mandell.


title: On the Importance of Patient Acceptance for Medical Robotic Imaging

abstract: Purpose: Mutual acceptance is required for any human-to-human interaction. Therefore, one would assume that this also holds for robot-patient interactions. However, the medical robotic imaging field lacks research in the area of acceptance. This work, therefore, aims at analyzing the influence of robot-patient interactions on acceptance in an exemplary medical robotic imaging system. Methods: We designed an interactive human-robot scenario, including auditive and gestural cues, and compared this pipeline to a non-interactive scenario. Both scenarios were evaluated through a questionnaire to measure acceptance. Heart rate monitoring was also used to measure stress. The impact of the interaction was quantified in the use case of robotic ultrasound scanning of the neck. Results: We conducted the first user study on patient acceptance of robotic ultrasound. Results show that verbal interactions impacts trust more than gestural ones. Furthermore, through interaction, the robot is perceived to be friendlier. The heart rate data indicates that robot-patient interaction could reduce stress. Conclusion: Robot-patient interactions are crucial for improving acceptance in medical robotic imaging systems. While verbal interaction is most important, the preferred interaction type and content are participant-dependent. Heart rate values indicate that such interactions can also reduce stress. Overall, this initial work showed that interactions improve patient acceptance in medical robotic imaging, and other medical robot-patient systems can benefit from the design proposals to enhance acceptance in interactive scenarios.


title: On the log version of Serrano's conjecture

abstract: In this paper, we continue the study of Serrano's conjecture in low dimensions. We focus on two special cases of the log version of Serrano's conjecture: the ampleness conjecture and the log version of Campana--Peternell's conjecture. In dimension 3, we prove that the ampleness conjecture holds for non-canonical singularities; by the same method, we also prove that the log canonical version of Campana--Peternell's conjecture holds in dimension 3. In dimension 4, we improve the results on Campana--Peternell's conjecture by excluding the case that the numerical dimension of the anti-canonical divisor is 3. Specifically, we show that for a projective smooth fourfold $X$, if $-K_X$ is strictly nef but not ample, then $\kappa(X, -K_X)=0$ and $\nu(X, -K_X)=2$; in this case, if we further assume that $X$ admits a Fano contraction $X\to Y$ onto a surface $Y$ induced by some extremal ray, then $\rho(X)=2$.


title: Precise Asymptotic Analysis of Deep Random Feature Models

abstract: We provide exact asymptotic expressions for the performance of regression by an $L-$layer deep random feature (RF) model, where the input is mapped through multiple random embedding and non-linear activation functions. For this purpose, we establish two key steps: First, we prove a novel universality result for RF models and deterministic data, by which we demonstrate that a deep random feature model is equivalent to a deep linear Gaussian model that matches it in the first and second moments, at each layer. Second, we make use of the convex Gaussian Min-Max theorem multiple times to obtain the exact behavior of deep RF models. We further characterize the variation of the eigendistribution in different layers of the equivalent Gaussian model, demonstrating that depth has a tangible effect on model performance despite the fact that only the last layer of the model is being trained.


title: Two elementary band representation model, Fermi surface nesting, and surface topological superconductivity in $A$V$_{3}$Sb$_ {5}$ ($A = \text{K, Rb, Cs}$)

abstract: The recently discovered vanadium-based Kagome metals $A$V$_{3}$Sb$_{5}$ ($A = \text{K, Rb, Cs}$) are of great interest with the interplay of charge density wave (CDW) order, band topology and superconductivity. In this paper, by identifying elementary band representations (EBRs), we construct a two-EBR graphene-Kagome model to capture the two low-energy van-Hove-singularity dispersions and, more importantly, the nontrivial band topology in these Kagome metals. This model consists of $A_g@3g$ (V-$d_{x^2-y^2/z^2}$, Kagome sites) and $A_2''@2d$ EBRs (Sb1-$p_z$, honeycomb sites). We have investigated the Fermi surface instability by calculating the electronic susceptibility $\chi(\mathbf{q})$. Prominent Fermi-surface nesting peaks are obtained at three L points, where the $z$ component of the nesting vector shows intimate relationship with the anticrossing point along M--L. The nesting peaks at L are consistent with the $2\times 2\times 2$ CDW reconstruction in these compounds. In addition, the sublattice-resolved bare susceptibility is calculated and similar sharp peaks are observed at the L points, indicating a strong antiferromagnetic fluctuation. Assuming a bulk $s$-wave superconducting pairing, helical surface states and nontrivial superconducting gap are obtained on the (001) surface. In analogous to FeTe$_{1-x}$Se$_{x}$ superconductor, our results establish another material realization of a stoichiometric superconductor with nontrivial band topology, providing a promising platform for studying exotic Majorana physics in condensed matter


title: Quantum Key Distribution Using a Quantum Emitter in Hexagonal Boron Nitride

abstract: Quantum Key Distribution (QKD) is considered the most immediate application to be widely implemented amongst a variety of potential quantum technologies. QKD enables sharing secret keys between distant users, using photons as information carriers. An ongoing endeavour is to implement these protocols in practice in a robust, and compact manner so as to be efficiently deployable in a range of real-world scenarios. Single Photon Sources (SPS) in solid-state materials are prime candidates in this respect. Here, we demonstrate a room temperature, discrete-variable quantum key distribution system using a bright single photon source in hexagonal-boron nitride, operating in free-space. Employing an easily interchangeable photon source system, we have generated keys with one million bits length, and demonstrated a secret key of approximately 70,000 bits, at a quantum bit error rate of 6%, with $\varepsilon$-security of $10^{-10}$. Our work demonstrates the first proof of concept finite-key BB84 QKD system realised with hBN defects.


title: AF Lep b: the lowest mass planet detected coupling astrometric and direct imaging data

abstract: Aims. Using the direct imaging technique we searched for low mass companions around the star AF Lep that presents a significant proper motion anomaly (PMa) signal obtained from the comparison of Hipparcos and Gaia eDR3 catalogs. Methods. We observed AF Lep in two epochs with VLT/SPHERE using its subsystems IFS and IRDIS in the near-infrared (NIR) covering wavelengths ranging from the Y to the K spectral bands (between 0.95 and 2.3 {\mu}m). The data were then reduced using the high-contrast imaging techniques angular differential imaging (ADI) and spectral differential imaging (SDI) to be able to retrieve the signal from low mass companions of the star. Results. A faint companion was retrieved at a separation of ~0.335" from the star and with a position angle of ~70.5 deg in the first epoch and with a similar position in the second epoch. This corresponds to a projected separation of ~9 au. The extracted photometry allowed us to estimate for the companion a mass between 2 and 5 MJup. This mass is in good agreement with what is expected for the dynamic mass of the companion deduced using astrometric measures (5.2-5.5 MJup). This is the first companion with a mass well below the deuterium burning limit discovered coupling direct imaging with PMa measures. Orbit fitting done using the orvara tool allowed to further confirm the companion mass and to define its main orbital parameters.


title: Intermediate-mass black holes: finding of episodic, large-scale and powerful jet activity in a dwarf galaxy

abstract: Dwarf galaxies are characterised by a very low luminosity and low mass. Because of significant accretion and ejection activity of massive black holes, some dwarf galaxies also host low-luminosity active galactic nuclei (AGNs). In a few dwarf AGNs, very long baseline interferometry (VLBI) observations have found faint non-thermal radio emission. SDSS J090613.77+561015.2 is a dwarf AGN owning an intermediate-mass black hole (IMBH) with a mass of $M_{BH} = 3.6^{+5.9}_{-2.3} \times 10^5 M_{sun}$ and showing a rarely-seen two-component radio structure in its radio nucleus. To further probe their nature, i.e. the IMBH jet activity, we performed additional deep observations with the European VLBI Network (EVN) at 1.66 GHz and 4.99 GHz. We find the more diffuse emission regions and structure details. These new EVN imaging results allow us to reveal a two-sided jet morphology with a size up to about 150 mas (projected length $\sim$140 pc) and a radio luminosity of about $3\times10^{38}$ erg s$^{-1}$. The peak feature has an optically thin radio spectrum and thus more likely represents a relatively young ejecta instead of a jet base. The EVN study on SDSS J090613.77+561015.2 demonstrates the existence of episodic, relatively large-scale and powerful IMBH jet activity in dwarf AGNs. Moreover, we collected a small sample of VLBI-detected dwarf AGNs and investigated their connections with normal AGNs. We notice that these radio sources in the dwarf AGNs tend to have steep spectra and small linear sizes, and possibly represent ejecta from scaled-down episodic jet activity.


title: Relativistic poloidal non-uniformity of the radial electric field in tokamak plasmas

abstract: The paper presents a relativistic mechanism that can create a poloidal non-uniformity of a radial electric field on a magnetic surface in a tokamak plasma. This mechanism is associated with a significant current velocity of electrons in plasma for many experimental modes of tokamak operations. It is important that electric fields arise without the traditional separation of charges in plasma. The presented mechanism can explain the previously experimentally measured poloidal non-uniformity of the C+6 carbon ion toroidal rotation velocity in the TORE-SUPRA tokamak plasma


title: Time-dependent charged particle stopping in quantum plasmas: testing the G1-G2 scheme for quasi-one-dimensional systems

abstract: Warm dense matter--an exotic, highly compressed state on the boarder between solid and plasma phases is of high current interest, in particular for compact astrophysical objects, high pressure laboratory systems, and inertial confinement fusion. For many applications the interaction of quantum plasmas with energetic particles is crucial. Moreover, often the system is driven far out of equilibrium. In that case, there is high interest in time-dependent simulations to understand the physics, in particular, during thermalization. Recently a novel many-particle technique, the G1--G2 scheme was presented [N. Schl\"unzen et al., Phys. Rev. Lett. \textbf{124}, 076601 (2020)] which allows for first-principle simulations of the time evolution of interacting quantum systems. Here we apply this scheme to a spatially uniform dense quantum plasma (jellium) and explore its performance. To this end the G1-G2 scheme is transformed into momentum representation, and first results are presented for a quasi-one-dimensional model system.


title: Topological phase diagram of Pb1-xSnxSe1-yTey

abstract: We reproduce the mirror Chern number phase diagram for the quaternary compound Pb1-xSnxSe1-yTey combining accurate density functional theory and tight-biding model. The tight binding models are extracted from ab-initio results, adding constraints to reproduce the experimental results. By using the virtual crystalline approximation, we calculated the mirror Chern number as a function of the concentrations x and y. We report different hamiltonians depending on whether we want to focus on the experimental band gap or on the experimental topological transition. We calculate the transition line between the trivial insulating phase and topological insulating phase that results in good agreement with the experimental results. Finally, we add in the phase diagram the Weyl phase predicted in the literature providing a complete topological phase diagram for the Pb1-xSnxSe1-yTey quaternary compound.


title: A Unified View of Long-Sequence Models towards Modeling Million-Scale Dependencies

abstract: Ever since their conception, Transformers have taken over traditional sequence models in many tasks, such as NLP, image classification, and video/audio processing, for their fast training and superior performance. Much of the merit is attributable to positional encoding and multi-head attention. However, Transformers fall short in learning long-range dependencies mainly due to the quadratic complexity scaled with context length, in terms of both time and space. Consequently, over the past five years, a myriad of methods has been proposed to make Transformers more efficient. In this work, we first take a step back, study and compare existing solutions to long-sequence modeling in terms of their pure mathematical formulation. Specifically, we summarize them using a unified template, given their shared nature of token mixing. Through benchmarks, we then demonstrate that long context length does yield better performance, albeit application-dependent, and traditional Transformer models fall short in taking advantage of long-range dependencies. Next, inspired by emerging sparse models of huge capacity, we propose a machine learning system for handling million-scale dependencies. As a proof of concept, we evaluate the performance of one essential component of this system, namely, the distributed multi-head attention. We show that our algorithm can scale up attention computation by almost $40\times$ using four GeForce RTX 4090 GPUs, compared to vanilla multi-head attention mechanism. We believe this study is an instrumental step towards modeling million-scale dependencies.


title: Dyadic Green Function Approach to Multichromophoric Forster Resonance Energy Transfer under Electromagnetic Fluctuations near Metallic Thin Films

abstract: The near-field spectroscopic information is critically important to determine the Forster resonant energy transfer(FRET) rate and the distance dependence in the vicinity of metal surfaces. The high density of evanescent near-field modes in the vicinity of a metal surface can strongly modulate the FRET in multichromophoric systems. Based on the previous generalized FRET [A. Poudel, X. Chen and M. Ratner, J. Phys. Chem. Lett. 7(2016) 955], the theory of FRET is generalized for the multichromophore aggregates and nonequilibrium situations in the vicinity of evanescent surface electromagnetic waves of nanophotonic structures. The classic dyadic green function (DGF) approach to multichromophoric FRET (MC-FRET) in the existence of evanescent near-field is established. The classic DGF approach provides a microscopic understanding of the interaction between the emission and absorption spectral coupling and the evanescent electromagnetic field. The MC-FRET of the ring structures demonstrates complicated distance dependence in the vicinity of the silver thin film. Given the analytic expression of hyperbolic multi-layer thin film, the generalized coupling due to the metallic thin film is determined by the scattering DGF above the metal surface. The decomposition of the reduced scattering DGF by ignoring $S$ wave in the evanescent wave shows how the interface of the metallic thin films modulates the MC-FRET.


title: Calculation and Uncertainty of Fast Radio Burst Structure Based on Smoothed Data

abstract: Studies of the time-domain structure of fast radio bursts (FRBs) require an accurate estimate of the FRB dispersion measure in order to recover the intrinsic burst shape. Furthermore, the exact DM is itself of interest when studying the time-evolution of the medium through which multiple bursts from repeating FRBs propagate. A commonly used approach to obtain the dispersion measure is to take the value that maximizes the FRB structure in the time domain. However, various authors use differing methods to obtain this structure parameter, and do not document the smoothing method used. Furthermore, there are no quantitative estimates of the error in this procedure in the FRB literature. In this letter, we present a smoothing filter based on the discrete cosine transform, and show that computing the structure parameter by summing the squares of the derivatives and taking the square root immediately lends itself to calculation of uncertainty of the structure parameter. We illustrate this with FRB181112 and FRB210117 data, which were detected by the Australian Square Kilometre Array Pathfinder, and for which high-time-resolution data is available.


title: The unusual 3D distribution of NaCl around the AGB star IK Tau

abstract: NaCl is a diatomic molecule with a large dipole moment, which allows for its detection even at relatively small abundances. It has been detected towards several evolved stars, among which is the AGB star IK Tau, around which it is distributed in several clumps that lie off-center from the star. We aim to study the three-dimensional distribution of NaCl around the AGB star IK Tau, and to obtain the abundance of NaCl relative to H$_2$ for each of the clumps. First, a new value for the maximum expansion velocity is determined. The observed ALMA channel maps are then deprojected to create a three-dimensional model of the distribution of NaCl. This model is then used as input for the radiative transfer modelling code magritte, which is used to obtain the NaCl abundances of each of the clumps by comparing the observations with the results of the magritte simulations. Additionally, the rotational temperature of the clumps is determined using population diagrams. We derive an updated value for the maximum expansion velocity of IK Tau $\upsilon_\mathrm{exp}$ = 28.4 km/s. A spiral-like shape can be discerned in our three-dimensional distribution model of the NaCl. This spiral lies more or less in the plane of the sky. The distribution is also flatter in the line-of-sight direction than in the plane of the sky. We find clump abundances between $9 \times 10^{-9}$ and $5 \times 10^{-8}$ relative to H$_2$, where the relative abundance is typically lower for clumps closer to the star. For the first time, we used deprojection to understand the three-dimensional environment of an AGB star and calculated the fractional abundance of NaCl in clumps surrounding the star.


title: Electric control of two-dimensional Van Hove singularity in oxide ultra-thin films

abstract: Divergent density of states (DOS) can induce extraordinary phenomena such as significant enhancement of superconductivity and unexpected phase transitions. Moreover, van Hove singularities (VHSs) are known to lead to divergent DOS in two-dimensional (2D) systems. Despite the recent interest in VHSs, only a few controllable cases have been reported to date. In this work, we investigate the electronic band structures of a 2D VHS with angle-resolved photoemission spectroscopy and control transport properties by utilizing an atomically ultrathin SrRuO$_3$ film. By applying electric fields with alkali metal deposition and ionic-liquid gating methods, we precisely control the 2D VHS, and the sign of the charge carrier. Use of a tunable 2D VHS in an atomically flat oxide film could serve as a new strategy to realize infinite DOS near the Fermi level, thereby allowing efficient tuning of electric properties.


title: Variational Mixture of HyperGenerators for Learning Distributions Over Functions

abstract: Recent approaches build on implicit neural representations (INRs) to propose generative models over function spaces. However, they are computationally costly when dealing with inference tasks, such as missing data imputation, or directly cannot tackle them. In this work, we propose a novel deep generative model, named VAMoH. VAMoH combines the capabilities of modeling continuous functions using INRs and the inference capabilities of Variational Autoencoders (VAEs). In addition, VAMoH relies on a normalizing flow to define the prior, and a mixture of hypernetworks to parametrize the data log-likelihood. This gives VAMoH a high expressive capability and interpretability. Through experiments on a diverse range of data types, such as images, voxels, and climate data, we show that VAMoH can effectively learn rich distributions over continuous functions. Furthermore, it can perform inference-related tasks, such as conditional super-resolution generation and in-painting, as well or better than previous approaches, while being less computationally demanding.


title: Complexity of natural numbers and arithmetic compact sets

abstract: The complexity $\Vert n\Vert$ of a natural number is the least number of $1$ needed to represent $n$ using the 5 symbols $(, ), *, +, 1$. A natural number $n$ is called stable is $\Vert 3^kn\Vert =\Vert n\Vert +3k$. For each natural number $n$, the number $3^an$ is stable for some $a\ge0$, and we define the stable complexity of $n$ as $\Vert n \Vert _{\rm st}=\Vert 3^an\Vert -3a$. We show that the closure of the set of all fractions $n/3^{\lfloor \Vert {n}\Vert _{\rm st}/3\rfloor}$ has remarkable properties; self-similarity $3K'''=K$, well-ordered, and certain arithmetical properties. We pose the question about the unicity of this compact. This question raises some problems about the complexity of natural numbers that we are unable to answer.


title: GRANDMA and HXMT Observations of GRB 221009A -- the Standard-Luminosity Afterglow of a Hyper-Luminous Gamma-Ray Burst

abstract: GRB 221009A is the brightest Gamma-Ray Burst (GRB) detected in more than 50 years of study. In this paper, we present observations in the X-ray and optical domains after the GRB obtained by the GRANDMA Collaboration (which includes observations from more than 30 professional and amateur telescopes) and the Insight-HXMT Collaboration. We study the optical afterglow with empirical fitting from GRANDMA+HXMT data, augmented with data from the literature up to 60 days. We then model numerically, using a Bayesian approach, the GRANDMA and HXMT-LE afterglow observations, that we augment with Swift-XRT and additional optical/NIR observations reported in the literature. We find that the GRB afterglow, extinguished by a large dust column, is most likely behind a combination of a large Milky-Way dust column combined with moderate low-metallicity dust in the host galaxy. Using the GRANDMA+HXMT-LE+XRT dataset, we find that the simplest model, where the observed afterglow is produced by synchrotron radiation at the forward external shock during the deceleration of a top-hat relativistic jet by a uniform medium, fits the multi-wavelength observations only moderately well, with a tension between the observed temporal and spectral evolution. This tension is confirmed when using the extended dataset. We find that the consideration of a jet structure (Gaussian or power-law), the inclusion of synchrotron self-Compton emission, or the presence of an underlying supernova do not improve the predictions, showing that the modelling of GRB22109A will require going beyond the most standard GRB afterglow model. Placed in the global context of GRB optical afterglows, we find the afterglow of GRB 221009A is luminous but not extraordinarily so, highlighting that some aspects of this GRB do not deviate from the global known sample despite its extreme energetics and the peculiar afterglow evolution.


title: Stability and Efficiency of Personalised Cultural Markets

abstract: This work is concerned with the dynamics of online cultural markets, namely, attention allocation of many users on a set of digital goods with infinite supply. Such dynamic is important in shaping processes and outcomes in society, from trending items in entertainment, collective knowledge creation, to election outcomes. The outcomes of online cultural markets are susceptible to intricate social influence dynamics, particularly so when the community comprises consumers with heterogeneous interests. This has made formal analysis of these markets improbable. In this paper, we remedy this by establishing robust connections between influence dynamics and optimization processes, in trial-offer markets where the consumer preferences are modelled by multinomial logit. Among other results, we show that the proportional-response-esque influence dynamic is equivalent to stochastic mirror descent on a convex objective function, thus leading to a stable and predictable outcome. When all consumers are homogeneous, the objective function has a natural interpretation as a weighted sum of efficiency and diversity of the culture market. In simulations driven by real-world preferences collected from a large-scale recommender system, we observe that ranking strategies aligned with the underlying heterogeneous preferences are more stable, and achieves higher efficiency and diversity. In simulations driven by real-world preferences collected from a large-scale recommender system, we observe that ranking strategies aligned with the underlying heterogeneous preferences are more stable, and achieves higher efficiency and diversity.


title: Fast and small footprint Hybrid HMM-HiFiGAN based system for speech synthesis in Indian languages

abstract: Hidden-Markov-model (HMM) based text-to-speech (HTS) offers flexibility in speaking styles along with fast training and synthesis while being computationally less intense. HTS performs well even in low-resource scenarios. The primary drawback is that the voice quality is poor compared to that of E2E systems. A hybrid approach combining HMM-based feature generation and neural-network-based HiFi-GAN vocoder to improve HTS synthesis quality is proposed. HTS is trained on high-resolution mel-spectrograms instead of conventional mel generalized coefficients (MGC), and the output mel-spectrogram corresponding to the input text is used in a HiFi-GAN vocoder trained on Indic languages, to produce naturalness that is equivalent to that of E2E systems, as evidenced from the DMOS and PC tests.


title: Unsupervised Detection of Behavioural Drifts with Dynamic Clustering and Trajectory Analysis

abstract: Real-time monitoring of human behaviours, especially in e-Health applications, has been an active area of research in the past decades. On top of IoT-based sensing environments, anomaly detection algorithms have been proposed for the early detection of abnormalities. Gradual change procedures, commonly referred to as drift anomalies, have received much less attention in the literature because they represent a much more challenging scenario than sudden temporary changes (point anomalies). In this paper, we propose, for the first time, a fully unsupervised real-time drift detection algorithm named DynAmo, which can identify drift periods as they are happening. DynAmo comprises a dynamic clustering component to capture the overall trends of monitored behaviours and a trajectory generation component, which extracts features from the densest cluster centroids. Finally, we apply an ensemble of divergence tests on sliding reference and detection windows to detect drift periods in the behavioural sequence.


title: Link Prediction with Attention Applied on Multiple Knowledge Graph Embedding Models

abstract: Predicting missing links between entities in a knowledge graph is a fundamental task to deal with the incompleteness of data on the Web. Knowledge graph embeddings map nodes into a vector space to predict new links, scoring them according to geometric criteria. Relations in the graph may follow patterns that can be learned, e.g., some relations might be symmetric and others might be hierarchical. However, the learning capability of different embedding models varies for each pattern and, so far, no single model can learn all patterns equally well. In this paper, we combine the query representations from several models in a unified one to incorporate patterns that are independently captured by each model. Our combination uses attention to select the most suitable model to answer each query. The models are also mapped onto a non-Euclidean manifold, the Poincar\'e ball, to capture structural patterns, such as hierarchies, besides relational patterns, such as symmetry. We prove that our combination provides a higher expressiveness and inference power than each model on its own. As a result, the combined model can learn relational and structural patterns. We conduct extensive experimental analysis with various link prediction benchmarks showing that the combined model outperforms individual models, including state-of-the-art approaches.


title: Efficient generation of random rotation matrices in four dimensions

abstract: Markov-chain Monte Carlo algorithms rely on trial moves that are either rejected or accepted based on certain criteria. Here, we provide an efficient algorithm to generate random rotation matrices in four dimensions (4D) covering an arbitrary pre-defined range of rotation angles. The matrices can be combined with Monte Carlo methods for the efficient sampling of the SO(4) group of 4D rotations. The matrices are unbiased and constructed such that repeated rotations result in uniform sampling over SO(4). 4D rotations can be used to optimize the mass partitioning for stable time integration in coarse-grained molecular dynamics simulations and should find further applications in the fields of robotics and computer vision.


title: Rationality problem for norm one tori for dihedral extensions

abstract: We give a complete answer to the rationality problem (up to stable $k$-equivalence) for norm one tori $R^{(1)}_{K/k}(\mathbb{G}_m)$ of $K/k$ whose Galois closures $L/k$ are dihedral extensions with the aid of Endo and Miyata [EM75, Theorem 1.5, Theorem 2.3] and Endo [End11, Theorem 2.1]. By using a similar technique, we give refinements of the proof of stably rational cases of Endo and Miyata's theorems as an appendix of the paper.


title: Understanding Multimodal Contrastive Learning and Incorporating Unpaired Data

abstract: Language-supervised vision models have recently attracted great attention in computer vision. A common approach to build such models is to use contrastive learning on paired data across the two modalities, as exemplified by Contrastive Language-Image Pre-Training (CLIP). In this paper, under linear representation settings, (i) we initiate the investigation of a general class of nonlinear loss functions for multimodal contrastive learning (MMCL) including CLIP loss and show its connection to singular value decomposition (SVD). Namely, we show that each step of loss minimization by gradient descent can be seen as performing SVD on a contrastive cross-covariance matrix. Based on this insight, (ii) we analyze the performance of MMCL. We quantitatively show that the feature learning ability of MMCL can be better than that of unimodal contrastive learning applied to each modality even under the presence of wrongly matched pairs. This characterizes the robustness of MMCL to noisy data. Furthermore, when we have access to additional unpaired data, (iii) we propose a new MMCL loss that incorporates additional unpaired datasets. We show that the algorithm can detect the ground-truth pairs and improve performance by fully exploiting unpaired datasets. The performance of the proposed algorithm was verified by numerical experiments.


title: Concerns in Software Development: A Systematic Mapping Study

abstract: Context: Successfully addressing stakeholder concerns that are related to software system development and operation is crucial to achieving development goals. The importance of using a systematic approach to addressing these concerns throughout the software development life cycle is growing as more and more systems are employed to handle critical tasks. Objective: The goal of this study is to provide an overview of addressing concerns across the software development life cycle. Method: A systematic mapping study was conducted using a pre-defined protocol. Four digital databases were searched for research literature and primary studies were selected after a three round selection process conducted by multiple researchers. Results: The extracted data are processed and the results are reported from different viewpoints. The results are also analyzed against our research goals. Conclusion: We show that there is a considerable variation in the use of terminologies and addressing concerns in different phases of the software development life cycle.


title: Mixed determinants, Compensated Integrability and new {\em a priori} estimates in Gas dynamics

abstract: We extend the scope of our recent Compensated Integrability theory, by exploiting the multi-linearity of the determinant map over ${\bf Sym}_n(\mathbb{R})$. This allows us to establish new {\em a priori} estimates for inviscid gases flowing in the whole space ${\mathbb R}^d$. Notably, we estimate the defect measure (Boltzman equation) or weighted spacial correlations of the velocity field (Euler system). As usual, our bounds involve only the total mass and energy of the flow.


title: A Simple Zero-shot Prompt Weighting Technique to Improve Prompt Ensembling in Text-Image Models

abstract: Contrastively trained text-image models have the remarkable ability to perform zero-shot classification, that is, classifying previously unseen images into categories that the model has never been explicitly trained to identify. However, these zero-shot classifiers need prompt engineering to achieve high accuracy. Prompt engineering typically requires hand-crafting a set of prompts for individual downstream tasks. In this work, we aim to automate this prompt engineering and improve zero-shot accuracy through prompt ensembling. In particular, we ask "Given a large pool of prompts, can we automatically score the prompts and ensemble those that are most suitable for a particular downstream dataset, without needing access to labeled validation data?". We demonstrate that this is possible. In doing so, we identify several pathologies in a naive prompt scoring method where the score can be easily overconfident due to biases in pre-training and test data, and we propose a novel prompt scoring method that corrects for the biases. Using our proposed scoring method to create a weighted average prompt ensemble, our method outperforms equal average ensemble, as well as hand-crafted prompts, on ImageNet, 4 of its variants, and 11 fine-grained classification benchmarks, all while being fully automatic, optimization-free, and not requiring access to labeled validation data.


title: A Lifetime Extended Energy Management Strategy for Fuel Cell Hybrid Electric Vehicles via Self-Learning Fuzzy Reinforcement Learning

abstract: Modeling difficulty, time-varying model, and uncertain external inputs are the main challenges for energy management of fuel cell hybrid electric vehicles. In the paper, a fuzzy reinforcement learning-based energy management strategy for fuel cell hybrid electric vehicles is proposed to reduce fuel consumption, maintain the batteries' long-term operation, and extend the lifetime of the fuel cells system. Fuzzy Q-learning is a model-free reinforcement learning that can learn itself by interacting with the environment, so there is no need for modeling the fuel cells system. In addition, frequent startup of the fuel cells will reduce the remaining useful life of the fuel cells system. The proposed method suppresses frequent fuel cells startup by considering the penalty for the times of fuel cell startups in the reward of reinforcement learning. Moreover, applying fuzzy logic to approximate the value function in Q-Learning can solve continuous state and action space problems. Finally, a python-based training and testing platform verify the effectiveness and self-learning improvement of the proposed method under conditions of initial state change, model change and driving condition change.


title: Local controllability of the Korteweg-de Vries equation with the right Dirichlet control

abstract: The Korteweg-de Vries (KdV) equation with the right Dirichlet control was initially investigated more than twenty years ago. It was shown that this system is small time, locally, exactly controllable for all non-critical lengths and its linearized system is not controllable for {\it all} critical lengths. Even though the controllability of the KdV system has been studied extensively in the last two decades, the local controllability of this system for critical lengths remains an open question. In this paper, we give a definitive answer to this question. First, we characterize all critical lengths and the corresponding unreachable space for the linearized system. In particular, we show that the unreachable space is always of dimension 1. Second, we prove that the KdV system with the right Dirichlet control is not locally null controllable in small time. Third, we give a criterion to determine whether the system is locally exactly controllable in finite time or {\it not} locally null controllable in any positive time for {\it all} critical lengths. Consequently, we show that there exist critical lengths such that the system is not locally null controllable in small time but is locally exactly controllable in finite time. These facts are surprising and distinct in comparison with related known results. First, it is known that the corresponding KdV system with the right zero Dirichlet is locally exactly controllable in small time using internal controls. Second, the unreachable space of the linearized system of the corresponding KdV system with the right Neumann control might be of arbitrary dimension. Third, the KdV system with the right Neumann control is locally exactly controllable in small time if the corresponding unreachable space is of dimension 1.


title: From Small to Large: Clos Network for Scaling All-Optical Switching

abstract: To cater to the demands of our rapidly growing Internet traffic, backbone networks need high-degree reconfigurable optical add/drop multiplexers (ROADMs) to simultaneously support multiple pairs of bi-directional fibers on each link. However, the traditional ROADM architecture based on the Spanke network is too complex to be directly scaled up to construct high-degree ROADMs. In addition, the widely deployed Spine-Leaf datacenter networks (DCNs) based on electrical switches consume too much power and exhibit high packet latency. Because of these issues, Clos networks are considered as promising alternatives for constructing large-scale ROADMs and all-optical DCNs. In this article, we look at a next-generation Clos-based ROADM architecture and show that it indeed provides better blocking performance with lower element and fiber complexities compared with a traditional Spanke-based ROADM architecture. We also discuss the application of a Clos network in all-optical DCNs to show that it can be used to effectively construct large-scale DCNs with significantly greater flexibility in supporting a variety of multicast services and in combining different network topologies.


title: Finite element hybridization of port-Hamiltonian systems

abstract: In this contribution, we extend the hybridization framework for the Hodge Laplacian [Awanou et al., Hybridization and postprocessing in finite element exterior calculus, 2023 ] to port-Hamiltonian systems describing linear wave propagation phenomena. To this aim, a dual field mixed Galerkin discretization is introduced, in which one variable is approximated via conforming finite element spaces, whereas the second is completely local. This scheme is equivalent to the second order mixed Galerkin formulation and retains a discrete power balance and discrete conservation laws. The mixed formulation is also equivalent to the hybrid formulation. The hybrid system can be efficiently solved using a static condensation procedure in discrete time. The size reduction achieved thanks to the hybridization is greater than the one obtained for the Hodge Laplacian as one field is completely discarded. Numerical experiments on the 3D wave and Maxwell equations show the convergence of the method and the size reduction achieved by the hybridization.


title: Convergence of the incremental projection method using conforming approximations

abstract: We prove the convergence of an incremental projection numerical scheme for the time-dependent incompressible Navier--Stokes equations, without any regularity assumption on the weak solution. The velocity and the pressure are discretised in conforming spaces, whose the compatibility is ensured by the existence of an interpolator for regular functions which preserves approximate divergence free properties. Owing to a priori estimates, we get the existence and uniqueness of the discrete approximation. Compactness properties are then proved, relying on a Lions-like lemma for time translate estimates. It is then possible to show the convergence of the approximate solution to a weak solution of the problem. The construction of the interpolator is detailed in the case of the lowest degree Taylor-Hood finite element.


title: Proving Unsatisfiability with Hitting Formulas

abstract: Hitting formulas have been studied in many different contexts at least since [Iwama,89]. A hitting formula is a set of Boolean clauses such that any two of them cannot be simultaneously falsified. [Peitl,Szeider,05] conjectured that hitting formulas should contain the hardest formulas for resolution. They supported their conjecture with experimental findings. Using the fact that hitting formulas are easy to check for satisfiability we use them to build a static proof system Hitting: a refutation of a CNF in Hitting is an unsatisfiable hitting formula such that each of its clauses is a weakening of a clause of the refuted CNF. Comparing this system to resolution and other proof systems is equivalent to studying the hardness of hitting formulas. We show that tree-like resolution and Hitting are quasi-polynomially separated. We prove that Hitting is quasi-polynomially simulated by tree-like resolution, thus hitting formulas cannot be exponentially hard for resolution, so Peitl-Szeider's conjecture is partially refuted. Nevertheless Hitting is surprisingly difficult to polynomially simulate. Using the ideas of PIT for noncommutative circuits [Raz-Shpilka,05] we show that Hitting is simulated by Extended Frege. As a byproduct, we show that a number of static (semi)algebraic systems are verifiable in a deterministic polynomial time. We consider multiple extensions of Hitting. Hitting(+) formulas are conjunctions of clauses containing affine equations instead of just literals, and every assignment falsifies at most one clause. The resulting system is related to Res(+) proof system for which no superpolynomial lower bounds are known: Hitting(+) simulates the tree-like version of Res(+) and is at least quasi-polynomially stronger. We show an exponential lower bound for Hitting(+).


title: Pisot numbers, Salem numbers, and generalised polynomials

abstract: We study sets of integers that can be defined by the vanishing of a generalised polynomial expression. We show that this includes sets of values of linear recurrent sequences of Salem type and some linear recurrent sequences of Pisot type. To this end, we introduce the notion of a generalised polynomial on a number field. We establish a connection between the existence of generalised polynomial expressions for sets of values of linear recurrent sequences and for subsemigroups of multiplicative groups of number fields.