title: Rethinking the Metric in Few-shot Learning: From an Adaptive Multi-Distance Perspective

abstract: Few-shot learning problem focuses on recognizing unseen classes given a few labeled images. In recent effort, more attention is paid to fine-grained feature embedding, ignoring the relationship among different distance metrics. In this paper, for the first time, we investigate the contributions of different distance metrics, and propose an adaptive fusion scheme, bringing significant improvements in few-shot classification. We start from a naive baseline of confidence summation and demonstrate the necessity of exploiting the complementary property of different distance metrics. By finding the competition problem among them, built upon the baseline, we propose an Adaptive Metrics Module (AMM) to decouple metrics fusion into metric-prediction fusion and metric-losses fusion. The former encourages mutual complementary, while the latter alleviates metric competition via multi-task collaborative learning. Based on AMM, we design a few-shot classification framework AMTNet, including the AMM and the Global Adaptive Loss (GAL), to jointly optimize the few-shot task and auxiliary self-supervised task, making the embedding features more robust. In the experiment, the proposed AMM achieves 2% higher performance than the naive metrics fusion module, and our AMTNet outperforms the state-of-the-arts on multiple benchmark datasets.


title: New quantum codes from self-dual codes over F_4

abstract: We present new constructions of binary quantum codes from quaternary linear Hermitian self-dual codes. Our main ingredients for these constructions are nearly self-orthogonal cyclic or duadic codes over F_4. An infinite family of $0$-dimensional binary quantum codes is provided. We give minimum distance lower bounds for our quantum codes in terms of the minimum distance of their ingredient linear codes. We also present new results on the minimum distance of linear cyclic codes using their fixed subcodes. Finally, we list many new record-breaking quantum codes obtained from our constructions.


title: A highly accurate perfectly-matched-layer boundary integral equation solver for acoustic layered-medium problems

abstract: Based on the perfectly matched layer (PML) technique, this paper develops a high-accuracy boundary integral equation (BIE) solver for acoustic scattering problems in locally defected layered media in both two and three dimensions. The original scattering problem is truncated onto a bounded domain by the PML. Assuming the vanishing of the scattered field on the PML boundary, we derive BIEs on local defects only in terms of using PML-transformed free-space Green's function, and the four standard integral operators: single-layer, double-layer, transpose of double-layer, and hyper-singular boundary integral operators. The hyper-singular integral operator is transformed into a combination of weakly-singular integral operators and tangential derivatives. We develop a high-order Chebyshev-based rectangular-polar singular-integration solver to discretize all weakly-singular integrals. Numerical experiments for both two- and three-dimensional problems are carried out to demonstrate the accuracy and efficiency of the proposed solver.


title: Influential Functionals

abstract: Learning about density functional approximations (DFAs), or approximations for the exchange-correlation functional, can be intimidating. Density Functional Theory is now one of the primary simulation tools for the practicing chemist or materials scientist, and its accuracy relies upon an appropriate choice of DFA. Over the past decades, there has been extensive research effort to find better DFAs, and there is now a large body of literature to read through for someone learning about DFAs for the first time. In this brief report, I share an analysis that suggests which functionals and publications have been the most influential, as a potential reading list to new scientists in this area. Here, "influential" is defined as "likely to have informed the design of another functional," and not simply a measure of number of citations, or how much that functional has been used for practical applications. This analysis is not claimed to be complete.


title: Mixed Membership Estimation for Weighted Networks

abstract: Community detection in overlapping un-weighted networks in which nodes can belong to multiple communities is one of the most popular topics in modern network science during the last decade. However, community detection in overlapping weighted networks in which edge weights can be any real values remains a challenge. In this article, to model overlapping weighted networks with latent community memberships, we propose a generative model called the degree-corrected mixed membership distribution-free model which can be viewed as generalizing several previous models. First, we address the community membership estimation of the proposed model by an application of a spectral algorithm and establish a theoretical guarantee of consistency. We then propose overlapping weighted modularity to measure the quality of overlapping community detection for weighted networks with positive and negative edge weights. To determine the number of communities for weighted networks, we incorporate the algorithm into the overlapping weighted modularity. We demonstrate the advantages of degree-corrected mixed membership distribution-free model and overlapping weighted modularity with applications to simulated data and eleven real-world networks.


title: Pop2Piano : Pop Audio-based Piano Cover Generation

abstract: Piano covers of pop music are enjoyed by many people. However, the task of automatically generating piano covers of pop music is still understudied. This is partly due to the lack of synchronized {Pop, Piano Cover} data pairs, which made it challenging to apply the latest data-intensive deep learning-based methods. To leverage the power of the data-driven approach, we make a large amount of paired and synchronized {Pop, Piano Cover} data using an automated pipeline. In this paper, we present Pop2Piano, a Transformer network that generates piano covers given waveforms of pop music. To the best of our knowledge, this is the first model to generate a piano cover directly from pop audio without using melody and chord extraction modules. We show that Pop2Piano, trained with our dataset, is capable of producing plausible piano covers.


title: Factorized Blank Thresholding for Improved Runtime Efficiency of Neural Transducers

abstract: We show how factoring the RNN-T's output distribution can significantly reduce the computation cost and power consumption for on-device ASR inference with no loss in accuracy. With the rise in popularity of neural-transducer type models like the RNN-T for on-device ASR, optimizing RNN-T's runtime efficiency is of great interest. While previous work has primarily focused on the optimization of RNN-T's acoustic encoder and predictor, this paper focuses the attention on the joiner. We show that despite being only a small part of RNN-T, the joiner has a large impact on the overall model's runtime efficiency. We propose to utilize HAT-style joiner factorization for the purpose of skipping the more expensive non-blank computation when the blank probability exceeds a certain threshold. Since the blank probability can be computed very efficiently and the RNN-T output is dominated by blanks, our proposed method leads to a 26-30% decoding speed-up and 43-53% reduction in on-device power consumption, all the while incurring no accuracy degradation and being relatively simple to implement.


title: On the equivalence of linear cyclic and constacyclic codes

abstract: We introduce new sufficient conditions for permutation and monomial equivalence of linear cyclic codes over various finite fields. We recall that monomial equivalence and isometric equivalence are the same relation for linear codes over finite fields. A necessary and sufficient condition for the monomial equivalence of linear cyclic codes through a shift map on their defining set is also given. Moreover, we provide new algebraic criteria for the monomial equivalence of constacyclic codes over $\mathbb{F}_4$. Finally, we prove that if $\gcd(3n,\phi(3n))=1$, then all permutation equivalent constacyclic codes of length $n$ over $\mathbb{F}_4$ are given by the action of multipliers. The results of this work allow us to prune the search algorithm for new linear codes and discover record-breaking linear and quantum codes.


title: SIMD-size aware weight regularization for fast neural vocoding on CPU

abstract: This paper proposes weight regularization for a faster neural vocoder. Pruning time-consuming DNN modules is a promising way to realize a real-time vocoder on a CPU (e.g. WaveRNN, LPCNet). Regularization that encourages sparsity is also effective in avoiding the quality degradation created by pruning. However, the orders of weight matrices must be contiguous in SIMD size for fast vocoding. To ensure this order, we propose explicit SIMD size aware regularization. Our proposed method reshapes a weight matrix into a tensor so that the weights are aligned by group size in advance, and then computes the group Lasso-like regularization loss. Experiments on 70% sparse subband WaveRNN show that pruning in conventional Lasso and column-wise group Lasso degrades the synthetic speech's naturalness. The vocoder with proposed regularization 1) achieves comparable naturalness to that without pruning and 2) performs meaningfully faster than other conventional vocoders using regularization.


title: LightVessel: Exploring Lightweight Coronary Artery Vessel Segmentation via Similarity Knowledge Distillation

abstract: In recent years, deep convolution neural networks (DCNNs) have achieved great prospects in coronary artery vessel segmentation. However, it is difficult to deploy complicated models in clinical scenarios since high-performance approaches have excessive parameters and high computation costs. To tackle this problem, we propose \textbf{LightVessel}, a Similarity Knowledge Distillation Framework, for lightweight coronary artery vessel segmentation. Primarily, we propose a Feature-wise Similarity Distillation (FSD) module for semantic-shift modeling. Specifically, we calculate the feature similarity between the symmetric layers from the encoder and decoder. Then the similarity is transferred as knowledge from a cumbersome teacher network to a non-trained lightweight student network. Meanwhile, for encouraging the student model to learn more pixel-wise semantic information, we introduce the Adversarial Similarity Distillation (ASD) module. Concretely, the ASD module aims to construct the spatial adversarial correlation between the annotation and prediction from the teacher and student models, respectively. Through the ASD module, the student model obtains fined-grained subtle edge segmented results of the coronary artery vessel. Extensive experiments conducted on Clinical Coronary Artery Vessel Dataset demonstrate that LightVessel outperforms various knowledge distillation counterparts.


title: Lorentz- and CPT-violating neutrinos from string/D-brane model

abstract: We show that the space-time foam model from string/D-brane theory predicts a scenario in which neutrinos can possess linearly energy dependent speed variation, together with an asymmetry between neutrinos and antineutrinos, indicating the possibility of Lorentz and CPT symmetry violation for neutrinos. Such scenario is supported by a phenomenological conjecture from the possible associations of IceCube ultrahigh-energy neutrino events with the gamma-ray bursts. It is also consistent with the constraints set by the energy-losing decay channels~(e.g., $e^{+}e^{-}$ pair emission, or neutrino splitting) upon superluminal neutrino velocities. We argue that the plausible violations of energy-momentum conservation during decay may be responsible for the stable propagation of these neutrinos, and hence for the evasion of relevant constraints.


title: A survey on the development status and application prospects of knowledge graph in smart grids

abstract: With the advent of the electric power big data era, semantic interoperability and interconnection of power data have received extensive attention. Knowledge graph technology is a new method describing the complex relationships between concepts and entities in the objective world, which is widely concerned because of its robust knowledge inference ability. Especially with the proliferation of measurement devices and exponential growth of electric power data empowers, electric power knowledge graph provides new opportunities to solve the contradictions between the massive power resources and the continuously increasing demands for intelligent applications. In an attempt to fulfil the potential of knowledge graph and deal with the various challenges faced, as well as to obtain insights to achieve business applications of smart grids, this work first presents a holistic study of knowledge-driven intelligent application integration. Specifically, a detailed overview of electric power knowledge mining is provided. Then, the overview of the knowledge graph in smart grids is introduced. Moreover, the architecture of the big knowledge graph platform for smart grids and critical technologies are described. Furthermore, this paper comprehensively elaborates on the application prospects leveraged by knowledge graph oriented to smart grids, power consumer service, decision-making in dispatching, and operation and maintenance of power equipment. Finally, issues and challenges are summarised.


title: Spot the fake lungs: Generating Synthetic Medical Images using Neural Diffusion Models

abstract: Generative models are becoming popular for the synthesis of medical images. Recently, neural diffusion models have demonstrated the potential to generate photo-realistic images of objects. However, their potential to generate medical images is not explored yet. In this work, we explore the possibilities of synthesis of medical images using neural diffusion models. First, we use a pre-trained DALLE2 model to generate lungs X-Ray and CT images from an input text prompt. Second, we train a stable diffusion model with 3165 X-Ray images and generate synthetic images. We evaluate the synthetic image data through a qualitative analysis where two independent radiologists label randomly chosen samples from the generated data as real, fake, or unsure. Results demonstrate that images generated with the diffusion model can translate characteristics that are otherwise very specific to certain medical conditions in chest X-Ray or CT images. Careful tuning of the model can be very promising. To the best of our knowledge, this is the first attempt to generate lungs X-Ray and CT images using neural diffusion models. This work aims to introduce a new dimension in artificial intelligence for medical imaging. Given that this is a new topic, the paper will serve as an introduction and motivation for the research community to explore the potential of diffusion models for medical image synthesis. We have released the synthetic images on https://www.kaggle.com/datasets/hazrat/awesomelungs.


title: A perspective on meta-boundaries

abstract: The judicious design of electromagnetic boundary provides a crucial route to control light-matter interactions, and it is thus fundamental to basic science and practical applications. General design approaches rely on the manipulation of bulk properties of superstrate or substrate and on the modification of boundary geometries. Due to the recent advent of metasurfaces and low-dimensional materials, the boundary can be flexibly featured with a surface conductivity, which can be rather complex but provide an extra degree of freedom to regulate the propagation of light. In this perspective, we denote the boundary with a non-zero surface conductivity as the meta-boundary. The meta-boundaries are categorized into four types, namely isotropic, anisotropic, biisotropic and bianisotropic meta-boundaries, according to the electromagnetic boundary conditions. Accordingly, the latest development for these four kinds of meta-boundaries are reviewed. Finally, an outlook on the research tendency of meta-boundaries is provided, particularly on the manipulation of light-matter interactions by simultaneously exploiting meta-boundaries and metamaterials.


title: A family of quantum walks on a finite graph corresponding to the generalized weighted zeta function

abstract: This paper gives the quantum walks determined by graph zeta functions. The result enables us to obtain the characteristic polynomial of the transition matrix of the quantum walk, and it determines the behavior of the quantum walk. We treat finite graphs allowing multi-edges and multi-loops.


title: Prognostic relevance of gene-expression signatures

abstract: Cancer prognosis can be regarded as estimating the risk of future outcomes from multiple variables. In prognostic signatures, these variables represent expressions of genes that are summed up to calculate a risk score. However, it is a natural phenomenon in living systems that the whole is more than the sum of its parts. We hypothesize that the prognostic power of signatures is fundamentally limited without incorporating emergent effects. Convergent evidence from a set of unprecedented size (ca. 10,000 signatures) implicates a maximum prognostic power. We show that a signature can correctly discriminate patients' prognoses in no more than 80% of the time. Using a simple simulation, we show that more than 50% of the potentially available information is still missing at this value.


title: Excitonic Metal and Non-Fermi Liquid Behaviour in Twisted Double Bilayer Graphene near Charge Neutrality

abstract: Twisted double bilayer graphene is a compensated semi-metal near the charge neutrality point with the presence of small electron and hole pockets in its band structure. We show that strong Coulomb attraction between the electrons and holes can lead to the formation of indirect excitons. Condensation of these excitons at low temperature creates an excitonic metal with charge density wave order for an appropriate range of interaction strength. This has interesting implications for low-temperature transport in the system as a function of carrier density and temperature. The reorganization of the single particle excitations and their density of states in the excitonic metal can lead to peaks in resistivity as a function of carrier density, recently seen in experiments at low temperatures. The fluctuations of the Landau damped order parameter in the quantum critical metal lead to non-Fermi liquid behaviour, which can explain the sublinear $T^{2/3}$ dependence of the resistance near the charge neutrality point.


title: Effects of electromagnetic fluctuations in plasmas on solar neutrino fluxes

abstract: We explore the effects of electromagnetic (EM) fluctuations in plasmas on solar neutrino fluxes exploiting the fluctuation-dissipation theorem. We find that the EM spectrum in the solar core is enhanced by the EM fluctuations due to the high density of the Sun, which increases the radiation energy density and pressure. By the EM fluctuations involving the modified radiation formula, the central temperature decreases when the central pressure of the Sun is fixed. With a help of the empirical relation between central temperature and neutrino fluxes deduced from the numerical solar models, we present the change in each of the solar neutrino fluxes by the EM fluctuations. We also discuss the enhanced radiation pressure and energy density by the EM fluctuations for other astronomical objects.

categories: astro-ph.SR astro-ph.HE nucl-th physics.plasm-ph


title: Two remarks on spaces of maps between operads of little cubes

abstract: We record two facts on spaces of derived maps between the operads $E_d$ of little $d$-cubes. Firstly, these mapping spaces are equivalent to the mapping spaces between the non-unitary versions of $E_d$. Secondly, all endomorphisms of $E_d$ are automorphisms. We also discuss variants for localisations of $E_d$ and for versions with tangential structures.


title: Product Graph Learning from Multi-attribute Graph Signals with Inter-layer Coupling

abstract: This paper considers learning a product graph from multi-attribute graph signals. Our work is motivated by the widespread presence of multilayer networks that feature interactions within and across graph layers. Focusing on a product graph setting with homogeneous layers, we propose a bivariate polynomial graph filter model. We then consider the topology inference problems thru adapting existing spectral methods. We propose two solutions for the required spectral estimation step: a simplified solution via unfolding the multi-attribute data into matrices, and an exact solution via nearest Kronecker product decomposition (NKD). Interestingly, we show that strong inter-layer coupling can degrade the performance of the unfolding solution while the NKD solution is robust to inter-layer coupling effects. Numerical experiments show efficacy of our methods.


title: PLATO-K: Internal and External Knowledge Enhanced Dialogue Generation

abstract: Recently, the practical deployment of open-domain dialogue systems has been plagued by the knowledge issue of information deficiency and factual inaccuracy. To this end, we introduce PLATO-K based on two-stage dialogic learning to strengthen internal knowledge memorization and external knowledge exploitation. In the first stage, PLATO-K learns through massive dialogue corpora and memorizes essential knowledge into model parameters. In the second stage, PLATO-K mimics human beings to search for external information and to leverage the knowledge in response generation. Extensive experiments reveal that the knowledge issue is alleviated significantly in PLATO-K with such comprehensive internal and external knowledge enhancement. Compared to the existing state-of-the-art Chinese dialogue model, the overall engagingness of PLATO-K is improved remarkably by 36.2% and 49.2% on chit-chat and knowledge-intensive conversations.


title: Multipartite entanglement detection based on generalized state-dependent entropic uncertainty relation for multiple measurements

abstract: We present the generalized state-dependent entropic uncertainty relations in multiple measurements setting, and the optimal lower bound is obtained by considering different measurement sequences. We then apply this uncertainty relation to witness entanglement, and give the experimentally accessible lower bounds on both bipartite and tripartite entanglements. This method of detecting entanglement is applied to a physical system of two particles on a one-dimensional lattice, and GHZ-Werner state. It is shown that, for measurements that are not in mutually unbiased bases, this new entropic uncertainty relation is superior to the previous state-independent one in entanglement detection. Furthermore, we conduct an online experiment to detect multipartite entanglement of GHZ states up to 10 qubits on Quafu cloud quantum computation platform. Our results might play important roles in detecting multipartite entanglement experimentally.


title: Bipartite mixed membership distribution-free model. A novel model for community detection in overlapping bipartite weighted networks

abstract: Modeling and estimating mixed memberships for overlapping unipartite un-weighted networks has been well studied in recent years. However, to our knowledge, there is no model for a more general case, the overlapping bipartite weighted networks. To close this gap, we introduce a novel model, the Bipartite Mixed Membership Distribution-Free (BiMMDF) model. Our model allows an adjacency matrix to follow any distribution as long as its expectation has a block structure related to node membership. In particular, BiMMDF can model overlapping bipartite signed networks and it is an extension of many previous models, including the popular mixed membership stochastic blcokmodels. An efficient algorithm with a theoretical guarantee of consistent estimation is applied to fit BiMMDF. We then obtain the separation conditions of BiMMDF for different distributions. Furthermore, we also consider missing edges for sparse networks. The advantage of BiMMDF is demonstrated in extensive synthetic networks and eight real-world networks.


title: A unified approach to global solvability for FBSDEs with diagonal generators

abstract: In this paper, we study the global solvability of multidimensional forward-backward stochastic differential equations (FBSDEs) with diagonally Lipschitz, quadratic or super-quadratic generators. Under a certain "monotonicity" condition, we provide a unified approach which shows that there exists a decoupling field that is uniformly Lipschitz in its spatial variable. This decoupling field is closely related to bounded solution to an associated characteristic BSDE. For Lipschitz case, we provide some extensions and investigate $L^p$-solution and $L^p$ estimates. Our results gives a positive answer to a question proposed in Yong (Banach Center Publ. 122: 255-286, 2020). Applications to stochastic optimal controls and stochastic differential games are investigated.


title: Discover Important Paths in the Knowledge Graph Based on Dynamic Relation Confidence

abstract: Most of the existing knowledge graphs are not usually complete and can be complemented by some reasoning algorithms. The reasoning method based on path features is widely used in the field of knowledge graph reasoning and completion on account of that its have strong interpretability. However, reasoning methods based on path features still have several problems in the following aspects: Path search isinefficient, insufficient paths for sparse tasks and some paths are not helpful for reasoning tasks. In order to solve the above problems, this paper proposes a method called DC-Path that combines dynamic relation confidence and other indicators to evaluate path features, and then guide path search, finally conduct relation reasoning. Experimental result show that compared with the existing relation reasoning algorithm, this method can select the most representative features in the current reasoning task from the knowledge graph and achieve better performance on the current relation reasoning task.


title: Passage-Mask: A Learnable Regularization Strategy for Retriever-Reader Models

abstract: Retriever-reader models achieve competitive performance across many different NLP tasks such as open question answering and dialogue conversations. In this work, we notice these models easily overfit the top-rank retrieval passages and standard training fails to reason over the entire retrieval passages. We introduce a learnable passage mask mechanism which desensitizes the impact from the top-rank retrieval passages and prevents the model from overfitting. Controlling the gradient variance with fewer mask candidates and selecting the mask candidates with one-shot bi-level optimization, our learnable regularization strategy enforces the answer generation to focus on the entire retrieval passages. Experiments on different tasks across open question answering, dialogue conversation, and fact verification show that our method consistently outperforms its baselines. Extensive experiments and ablation studies demonstrate that our method can be general, effective, and beneficial for many NLP tasks.


title: Hyperbolic and Bi-hyperbolic solutions in the planar restricted $(N+1)$-body problem

abstract: Consider the planar restricted $(N+1)$-body problem with trajectories of the $N(\ge 2)$ primaries forming a collision-free periodic solution of the $N$-body problem, for any positive energy $h$ and directions $\theta_{\pm} \in [0, 2\pi)$, we prove that starting from any initial position $x$ at any initial time $t_x$, there are hyperbolic solutions $\gamma^{\pm}|_{[t_x, \pm \infty)}$ satisfying $\gamma^{\pm}(t_x) =x$ and $$ \lim_{t \to \pm \infty} \gamma^{\pm}(t) / |\gamma^{\pm}(t)| = e^{i \theta_{\pm} (\text{mod } 2\pi)}, \;\;\lim_{ t \to \pm \infty} \dot{\gamma}^{\pm}(t) = \pm \sqrt{2h} e^{i \theta_{\pm} (\text{mod } 2\pi)}.$$ Moreover we also prove the existence of a bi-hyperbolic solution $\gamma|_{\mathbb{R}}$ satisfying $$ \lim_{t \to \pm \infty} \gamma(t) / |\gamma(t)| = e^{i \theta_{\pm} (\text{mod } 2\pi)}, \;\;\lim_{ t \to \pm \infty} \dot{\gamma}(t) = \pm \sqrt{2h} e^{i \theta_{\pm} (\text{mod } 2\pi)}.$$


title: A Novel Autonomous Robotics System for Aquaculture Environment Monitoring

abstract: Implementing fully automatic unmanned surface vehicles (USVs) monitoring water quality is challenging since effectively collecting environmental data while keeping the platform stable and environmental-friendly is hard to approach. To address this problem, we construct a USV that can automatically navigate an efficient path to sample water quality parameters in order to monitor the aquatic environment. The detection device needs to be stable enough to resist a hostile environment or climates while enormous volumes will disturb the aquaculture environment. Meanwhile, planning an efficient path for information collecting needs to deal with the contradiction between the restriction of energy and the amount of information in the coverage region. To tackle with mentioned challenges, we provide a USV platform that can perfectly balance mobility, stability, and portability attributed to its special round-shape structure and redundancy motion design. For informative planning, we combined the TSP and CPP algorithms to construct an optimistic plan for collecting more data within a certain range and limiting energy restrictions.We designed a fish existence prediction scenario to verify the novel system in both simulation experiments and field experiments. The novel aquaculture environment monitoring system significantly reduces the burden of manual operation in the fishery inspection field. Additionally, the simplicity of the sensor setup and the minimal cost of the platform enables its other possible applications in aquatic exploration and commercial utilization.


title: Universal Deep Image Compression via Content-Adaptive Optimization with Adapters

abstract: Deep image compression performs better than conventional codecs, such as JPEG, on natural images. However, deep image compression is learning-based and encounters a problem: the compression performance deteriorates significantly for out-of-domain images. In this study, we highlight this problem and address a novel task: universal deep image compression. This task aims to compress images belonging to arbitrary domains, such as natural images, line drawings, and comics. To address this problem, we propose a content-adaptive optimization framework; this framework uses a pre-trained compression model and adapts the model to a target image during compression. Adapters are inserted into the decoder of the model. For each input image, our framework optimizes the latent representation extracted by the encoder and the adapter parameters in terms of rate-distortion. The adapter parameters are additionally transmitted per image. For the experiments, a benchmark dataset containing uncompressed images of four domains (natural images, line drawings, comics, and vector arts) is constructed and the proposed universal deep compression is evaluated. Finally, the proposed model is compared with non-adaptive and existing adaptive compression models. The comparison reveals that the proposed model outperforms these. The code and dataset are publicly available at https://github.com/kktsubota/universal-dic.


title: Hydra -- A Federated Data Repository over NDN

abstract: Today's big data science communities manage their data publication and replication at the application layer. These communities utilize myriad mechanisms to publish, discover, and retrieve datasets - the result is an ecosystem of either centralized, or otherwise a collection of ad-hoc data repositories. Publishing datasets to centralized repositories can be process-intensive, and those repositories do not accept all datasets. The ad-hoc repositories are difficult to find and utilize due to differences in data names, metadata standards, and access methods. To address the problem of scientific data publication and storage, we have designed Hydra, a secure, distributed, and decentralized data repository made of a loose federation of storage servers (nodes) provided by user communities. Hydra runs over Named Data Networking (NDN) and utilizes the State Vector Sync (SVS) protocol that lets individual nodes maintain a "global view" of the system. Hydra provides a scalable and resilient data retrieval service, with data distribution scalability achieved via NDN's built-in data anycast and in-network caching and resiliency against individual server failures through automated failure detection and maintaining a specific degree of replication. Hydra utilizes "Favor", a locally calculated numerical value to decide which nodes will replicate a file. Finally, Hydra utilizes data-centric security for data publication and node authentication. Hydra uses a Network Operation Center (NOC) to bootstrap trust in Hydra nodes and data publishers. The NOC distributes user and node certificates and performs the proof-of-possession challenges. This technical report serves as the reference for Hydra. It outlines the design decisions, the rationale behind them, the functional modules, and the protocol specifications.


title: Circuit equation of Grover walk

abstract: We consider the Grover walk on the infinite graph in which an internal finite subgraph receives the inflow from the outside with some frequency and also radiates the outflow to the outside. To characterize the stationary state of this system, which is represented by a function on the arcs of the graph, we introduce a kind of discrete gradient operator twisted by the frequency. Then we obtain a circuit equation which shows that (i) the stationary state is described by the twisted gradient of a potential function which is a function on the vertices; (ii) the potential function satisfies the Poisson equation with respect to a generalized Laplacian matrix. Consequently, we characterize the scattering on the surface of the internal graph and the energy penetrating inside it. Moreover, for the complete graph as the internal graph, we illustrate the relationship of the scattering and the internal energy to the frequency and the number of tails.


title: A Data-driven Case-based Reasoning in Bankruptcy Prediction

abstract: There has been intensive research regarding machine learning models for predicting bankruptcy in recent years. However, the lack of interpretability limits their growth and practical implementation. This study proposes a data-driven explainable case-based reasoning (CBR) system for bankruptcy prediction. Empirical results from a comparative study show that the proposed approach performs superior to existing, alternative CBR systems and is competitive with state-of-the-art machine learning models. We also demonstrate that the asymmetrical feature similarity comparison mechanism in the proposed CBR system can effectively capture the asymmetrically distributed nature of financial attributes, such as a few companies controlling more cash than the majority, hence improving both the accuracy and explainability of predictions. In addition, we delicately examine the explainability of the CBR system in the decision-making process of bankruptcy prediction. While much research suggests a trade-off between improving prediction accuracy and explainability, our findings show a prospective research avenue in which an explainable model that thoroughly incorporates data attributes by design can reconcile the dilemma.


title: Dialect-robust Evaluation of Generated Text

abstract: Evaluation metrics that are not robust to dialect variation make it impossible to tell how well systems perform for many groups of users, and can even penalize systems for producing text in lower-resource dialects. However, currently, there exists no way to quantify how metrics respond to change in the dialect of a generated utterance. We thus formalize dialect robustness and dialect awareness as goals for NLG evaluation metrics. We introduce a suite of methods and corresponding statistical tests one can use to assess metrics in light of the two goals. Applying the suite to current state-of-the-art metrics, we demonstrate that they are not dialect-robust and that semantic perturbations frequently lead to smaller decreases in a metric than the introduction of dialect features. As a first step to overcome this limitation, we propose a training schema, NANO, which introduces regional and language information to the pretraining process of a metric. We demonstrate that NANO provides a size-efficient way for models to improve the dialect robustness while simultaneously improving their performance on the standard metric benchmark.


title: SpeechBlender: Speech Augmentation Framework for Mispronunciation Data Generation

abstract: The lack of labeled second language (L2) speech data is a major challenge in designing mispronunciation detection models. We introduce SpeechBlender - a fine-grained data augmentation pipeline for generating mispronunciation errors to overcome such data scarcity. The SpeechBlender utilizes varieties of masks to target different regions of phonetic units, and use the mixing factors to linearly interpolate raw speech signals while augmenting pronunciation. The masks facilitate smooth blending of the signals, generating more effective samples than the `Cut/Paste' method. Our proposed technique achieves state-of-the-art results, with Speechocean762, on ASR dependent mispronunciation detection models at phoneme level, with a 2.0% gain in Pearson Correlation Coefficient (PCC) compared to the previous state-of-the-art [1]. Additionally, we demonstrate a 5.0% improvement at the phoneme level compared to our baseline. We also observed a 4.6% increase in F1-score with Arabic AraVoiceL2 testset.


title: SyncTalkFace: Talking Face Generation with Precise Lip-Syncing via Audio-Lip Memory

abstract: The challenge of talking face generation from speech lies in aligning two different modal information, audio and video, such that the mouth region corresponds to input audio. Previous methods either exploit audio-visual representation learning or leverage intermediate structural information such as landmarks and 3D models. However, they struggle to synthesize fine details of the lips varying at the phoneme level as they do not sufficiently provide visual information of the lips at the video synthesis step. To overcome this limitation, our work proposes Audio-Lip Memory that brings in visual information of the mouth region corresponding to input audio and enforces fine-grained audio-visual coherence. It stores lip motion features from sequential ground truth images in the value memory and aligns them with corresponding audio features so that they can be retrieved using audio input at inference time. Therefore, using the retrieved lip motion features as visual hints, it can easily correlate audio with visual dynamics in the synthesis step. By analyzing the memory, we demonstrate that unique lip features are stored in each memory slot at the phoneme level, capturing subtle lip motion based on memory addressing. In addition, we introduce visual-visual synchronization loss which can enhance lip-syncing performance when used along with audio-visual synchronization loss in our model. Extensive experiments are performed to verify that our method generates high-quality video with mouth shapes that best align with the input audio, outperforming previous state-of-the-art methods.


title: Breaking of universal nature of central charge criticality in $AdS$ black holes in Gauss-Bonnet Gravity

abstract: In this paper, we have studied the thermodynamics of Gauss-Bonnet black holes in D-dimensional $AdS$ spacetime. Here, the cosmological constant ($\Lambda$), Newton's gravitational constant ($G$) and the Gauss-Bonnet parameter ($\alpha$) are varied in the bulk, and a mixed first law is rewritten considering central charge ($C$) (of dual boundary conformal theory) and its conjugate variable utilising the gauge-gravity duality. A novel universal nature of central charge near the critical point of black hole phase transition in Einstein's gravity has been observed in \cite{mann1}. We observe that this universal nature breaks when such phase transition is considered for black holes in the Gauss-Bonnet gravity. Apart from this, treating the Gauss-Bonnet parameter as a thermodynamic variable as suggested in \cite{kastori} in light of the consistency between first law and the Smarr relation leads to modified thermodynamic volume (conjugate to variable cosmological constant), adding to a new understanding of the Van der Waals gas like behaviour of the black holes in higher dimensional and higher curvature gravity theories. Our analysis considers a general $D$ dimensional background. We have then imposed a greater focus in the analysis of the phase structure of the five dimensional Gauss-Bonnet spacetime. Our analysis also shows that the general universal nature of the critical value of the central charge (which was present in four dimensional $AdS$ spacetime), breaks down in case of five dimensional $AdS$ spacetime even in the absence of Gauss-Bonnet gravity. This finding indicates the universal nature of the central charge may be a special feature of the four dimensional $AdS$ spacetime only.


title: On projective varieties of general type with many global k-forms

abstract: We prove the following results: (1) for any nonsingular projective $3$-folds $X$ of general type with $\chi(\mathcal{O}_X)\neq 2,3$, the canonical volume $\text{Vol}(X)$ has the optimal lower bound $\frac{1}{420}$; (2) for nonsingular projective $3$-folds (resp. $4$-folds) $X$ of general type with $h^{2, 0}(X)\geq 108\cdot 42^3+4$ (resp. with sufficiently large $h^{2, 0}(X)$), the $3$-canonical map (resp. $5$-canonical map) is stably birational; (3) for any nonsingular projective $n$-fold $X$ of general type with $q(X)>n\geq 4$, the canonical stability index $r_s(X)$ is upper bounded by the $(n-1)$-th canonical stability index $r_{n-1}$.


title: Transport of ions in hydrophobic nanotubes

abstract: The theory of electrokinetic ion transport in cylindrical channels of a fixed surface charge density is revisited. Attention is focused on impact of the hydrophobic slippage and mobility of adsorbed surface charges. We formulate generalised Onsager relations for a cylinder of an arbitrary radius and then derive exact expressions for the mean electro-osmotic mobility and conductivity. To employ these expressions we perform additional electrostatic calculations, with the special focus on the non-linear electrostatic effects. Our theory provides a simple explanation of a giant enhancement of the electrokinetic mobility and conductivity of hydrophobic nanotubes by highlighting the role of appropriate electrostatic and hydrodynamic length scales and their ratios. We also propose a novel interpretation of zeta potentials of cylindrical channels.


title: Neural Active Learning on Heteroskedastic Distributions

abstract: Models that can actively seek out the best quality training data hold the promise of more accurate, adaptable, and efficient machine learning. Active learning techniques often tend to prefer examples that are the most difficult to classify. While this works well on homogeneous datasets, we find that it can lead to catastrophic failures when performed on multiple distributions with different degrees of label noise or heteroskedasticity. These active learning algorithms strongly prefer to draw from the distribution with more noise, even if their examples have no informative structure (such as solid color images with random labels). To this end, we demonstrate the catastrophic failure of these active learning algorithms on heteroskedastic distributions and propose a fine-tuning-based approach to mitigate these failures. Further, we propose a new algorithm that incorporates a model difference scoring function for each data point to filter out the noisy examples and sample clean examples that maximize accuracy, outperforming the existing active learning techniques on the heteroskedastic datasets. We hope these observations and techniques are immediately helpful to practitioners and can help to challenge common assumptions in the design of active learning algorithms.


title: Gaia Data Release 3. The first Gaia catalogue of eclipsing binary candidates

abstract: We present the first Gaia catalogue of eclipsing binary candidates released in Gaia DR3, describe its content, provide tips for its usage, estimate its quality, and show illustrative samples. The catalogue contains 2,184,477 sources with G magnitudes up to 20 mag. Candidate selection is based on the results of variable object classification performed within the Gaia Data Processing and Analysis Consortium, further filtered using eclipsing binary-tailored criteria based on the G light curves. To find the orbital period, a large ensemble of trial periods is first acquired using three distinct period search methods applied to the cleaned G light curve. The G light curve is then modelled with up-to two Gaussians and a cosine for each trial period. The best combination of orbital period and geometric model is finally selected using Bayesian model comparison based on the BIC. A global ranking metric is provided to rank the quality of the chosen model between sources. The catalogue is restricted to orbital periods larger than 0.2 days. About 530,000 of the candidates are classified as eclipsing binaries in the literature as well, out of ~600,000 available crossmatches, and 93% of them have published periods compatible with the Gaia periods. Catalogue completeness is estimated to be between 25% and 50%, depending on the sky region, relative to the OGLE4 catalogues of eclipsing binaries towards the Galactic Bulge and the Magellanic Clouds. The analysis of an illustrative sample of ~400,000 candidates with significant parallaxes shows properties in the observational HR diagram as expected for eclipsing binaries. The subsequent analysis of a sub-sample of detached bright candidates provides further hints for the exploitation of the catalogue. The orbital periods, light curve model parameters, and global rankings are all published in the catalogue with their related uncertainties where applicable.


title: Nonverbal Social Behavior Generation for Social Robots Using End-to-End Learning

abstract: To provide effective and enjoyable human-robot interaction, it is important for social robots to exhibit nonverbal behaviors, such as a handshake or a hug. However, the traditional approach of reproducing pre-coded motions allows users to easily predict the reaction of the robot, giving the impression that the robot is a machine rather than a real agent. Therefore, we propose a neural network architecture based on the Seq2Seq model that learns social behaviors from human-human interactions in an end-to-end manner. We adopted a generative adversarial network to prevent invalid pose sequences from occurring when generating long-term behavior. To verify the proposed method, experiments were performed using the humanoid robot Pepper in a simulated environment. Because it is difficult to determine success or failure in social behavior generation, we propose new metrics to calculate the difference between the generated behavior and the ground-truth behavior. We used these metrics to show how different network architectural choices affect the performance of behavior generation, and we compared the performance of learning multiple behaviors and that of learning a single behavior. We expect that our proposed method can be used not only with home service robots, but also for guide robots, delivery robots, educational robots, and virtual robots, enabling the users to enjoy and effectively interact with the robots.


title: Translators of galaxy morphology indicators between observation and simulation

abstract: Based on the recent advancements in the numerical simulations of galaxy formation, we anticipate the achievement of realistic models of galaxies in the near future. Morphology is the most basic and fundamental property of galaxies, yet observations and simulations still use different methods to determine galaxy morphology, making it difficult to compare them. We hereby perform a test on the recent NewHorizon simulation which has spatial and mass resolutions that are remarkably high for a large-volume simulation, to resolve the situation. We generate mock images for the simulated galaxies using SKIRT that calculates complex radiative transfer processes in each galaxy. We measure morphological indicators using photometric and spectroscopic methods following observer's techniques. We also measure the kinematic disk-to-total ratios using the Gaussian mixture model and assume that they represent the true structural composition of galaxies. We found that spectroscopic indicators such as $V/{\sigma}$ and ${\lambda}_{R}$ closely trace the kinematic disk-to-total ratios. In contrast, photometric disk-to-total ratios based on the radial profile fitting method often fail to recover the true kinematic structure of galaxies, especially for small galaxies. We provide translating equations between various morphological indicators.


title: PDM Klein-Gordon particles in Som-Raychaudhuri cosmic string spacetime with space-like dislocation and a non-uniform magnetic field: spacetime associated degeneracies, vorticity-energy, and charge-energy correlations

abstract: We explicitly study and report the effects of the gravitational fields on the spectroscopic structure of Klein-Gordon (KG) particles in Som-Raychaudhuri cosmic string spacetime with space-like dislocation and a non-uniform magnetic field. We extend this study to include the effects of the gravitational fields on some position-dependent mass (PDM) KG-particles. As effects of the gravitational fields, we report new spacetime associated degeneracies, vorticity-energy correlations and charge-energy correlations. Such degeneracies and correlations are observed in the spectroscopic structure of both constant mass KG-particles and PDM KG-particles at hand.


title: Deep Multimodal Fusion for Generalizable Person Re-identification

abstract: Person re-identification plays a significant role in realistic scenarios due to its various applications in public security and video surveillance. Recently, leveraging the supervised or semi-unsupervised learning paradigms, which benefits from the large-scale datasets and strong computing performance, has achieved a competitive performance on a specific target domain. However, when Re-ID models are directly deployed in a new domain without target samples, they always suffer from considerable performance degradation and poor domain generalization. To address this challenge, we propose a Deep Multimodal Fusion network to elaborate rich semantic knowledge for assisting in representation learning during the pre-training. Importantly, a multimodal fusion strategy is introduced to translate the features of different modalities into the common space, which can significantly boost generalization capability of Re-ID model. As for the fine-tuning stage, a realistic dataset is adopted to fine-tune the pre-trained model for better distribution alignment with real-world data. Comprehensive experiments on benchmarks demonstrate that our method can significantly outperform previous domain generalization or meta-learning methods with a clear margin. Our source code will also be publicly available at https://github.com/JeremyXSC/DMF.


title: A generic stochastic network flow formulation for production optimization of district heating systems

abstract: District heating is an important component in the EU strategy to reach the set emission goals, since it allows an efficient supply of heat while using the advantages of sector coupling between different energy carriers such as power, heat, gas and biomass. Most district heating systems use several different types of units to produce heat for hundreds or thousands of households. The technologies reach from natural gas-fired and electric boilers to biomass-fired units as well as waste heat from industrial processes and solar thermal units. Furthermore, combined heat and power units (CHP) units are often included to use the synergy effects of excess heat from electricity production. We propose a generic mathematical formulation for the operational production optimization in district heating systems. The generality of the model allows it to be used for most district heating systems although they might use different combinations of technologies in different system layouts. The mathematical formulation is based on stochastic programming to account for the uncertainty of production from non-dispatchable units such as waste heat and solar heat. Furthermore, the model is easily adaptable to different application cases in district heating such as operational planning, bidding to electricity markets and long-term evaluation. We present results from three real cases in Denmark with different requirements.


title: Affine Noetherian algebras, filtrations and presentations

abstract: Resco and Small gave the first example of an affine Noetherian algebra which is not finitely presented. It is shown that their algebra has no finite-dimensional filtrations whose associated graded algebras are Noetherian, affirming their prediction. A modification of their example yields countable fields over which `almost all' (that is, a co-countable continuum of) affine Noetherian algebras lack such a filtration, and an answer to a question suggested by Irving and Small is derived.


title: Local Well-posedness of Unsteady Potential Flows Near a Space Corner of Right Angle

abstract: In this paper we are concerned with the local well-posedness of the unsteady potential flows near a space corner of right angle, which could be formulated as an initial-boundary value problem of a hyperbolic equation of second order in a cornered-space domain. The corner singularity is the key difficulty in establishing the local well-posedness of the problem. Moreover, the boundary conditions on both edges of the corner angle are of Neumann-type and fail to satisfy the linear stability condition, which makes it more difficult to establish a priori estimates on the boundary terms in the analysis. In this paper, extension methods will be updated to deal with the corner singularity, and, based on a key observation that the boundary operators are co-normal, new techniques will be developed to control the boundary terms.


title: WITT: A Wireless Image Transmission Transformer for Semantic Communications

abstract: In this paper, we aim to redesign the vision Transformer (ViT) as a new backbone to realize semantic image transmission, termed wireless image transmission transformer (WITT). Previous works build upon convolutional neural networks (CNNs), which are inefficient in capturing global dependencies, resulting in degraded end-to-end transmission performance especially for high-resolution images. To tackle this, the proposed WITT employs Swin Transformers as a more capable backbone to extract long-range information. Different from ViTs in image classification tasks, WITT is highly optimized for image transmission while considering the effect of the wireless channel. Specifically, we propose a spatial modulation module to scale the latent representations according to channel state information, which enhances the ability of a single model to deal with various channel conditions. As a result, extensive experiments verify that our WITT attains better performance for different image resolutions, distortion metrics, and channel conditions. The code is available at https://github.com/KeYang8/WITT.


title: Genomics Data Analysis via Spectral Shape and Topology

abstract: Mapper, a topological algorithm, is frequently used as an exploratory tool to build a graphical representation of data. This representation can help to gain a better understanding of the intrinsic shape of high-dimensional genomic data and to retain information that may be lost using standard dimension-reduction algorithms. We propose a novel workflow to process and analyze RNA-seq data from tumor and healthy subjects integrating Mapper and differential gene expression. Precisely, we show that a Gaussian mixture approximation method can be used to produce graphical structures that successfully separate tumor and healthy subjects, and produce two subgroups of tumor subjects. A further analysis using DESeq2, a popular tool for the detection of differentially expressed genes, shows that these two subgroups of tumor cells bear two distinct gene regulations, suggesting two discrete paths for forming lung cancer, which could not be highlighted by other popular clustering methods, including t-SNE. Although Mapper shows promise in analyzing high-dimensional data, building tools to statistically analyze Mapper graphical structures is limited in the existing literature. In this paper, we develop a scoring method using heat kernel signatures that provides an empirical setting for statistical inferences such as hypothesis testing, sensitivity analysis, and correlation analysis.


title: Fabrication of Surface-Enhanced Raman Spectroscopy Substrates Using Silver Nanoparticles Produced by Laser Ablation in Liquids

abstract: This research describes the use of surface-enhanced Raman spectroscopy (SERS) substrates based on colloidal silver nanoparticles (AgNPs) produced by laser ablation of silver granules in pure water that are inexpensive, easy to make, and chemically stable. Here, the effects of the laser power, pulse repetition frequency, and ablation duration on the Surface Plasmon Resonance peak of AgNPs solutions, were used to determine the optimal parameters. Also, the effects of the laser ablation time on both ablation efficiency and SERS enhancement were studied. The synthesized AgNPs were characterized by UV-Vis spectrophotometer and Raman spectrometer. The Surface Plasmon Resonance peak of AgNP solutions was centered at 404 nm confirming their synthesis. Using Raman spectroscopy, they had main bands centered at 196, 568, 824, 1060, 1312 cm-1, 1538 and 2350 cm-1. Their Raman spectral profiles remained constant within the first few days of storage at room temperature implying chemical stability. The Raman signals from blood were enhanced when mixed with AgNPs and this depended on colloidal AgNPs concentration. Using those generated by 12 hrs ablation time, an enhancement of 14.95 was achieved. Additionally, these substrates had an insignificant impact on the Raman profiles of samples of rat blood when mixed with them. The Raman peaks noted were 932, 1064, 1190, 1338, 1410, 1650 and 2122 cm-1. These SERS substrates can be applied to areas such as forensics, monitoring of the efficacy of drugs, disease diagnostics and pathogen detection. All this can be achieved by comparing the Raman spectra of the biological samples mixed with the synthesized SERS substrates for different samples. Thus, the results on the use of inexpensive, simple-to-prepare Raman substrates have the possibility of making surface-enhanced Raman spectroscopy available to laboratories with scarce resources in developing nations.


title: Continuous gravitational wave detection to understand the generation mechanism of fast radio bursts

abstract: Since the unexpected discovery of fast radio bursts (FRBs), researchers have proposed varied theories and models to explain these phenomena. One such model that has recently been developed incorporates the so-called Gertsenshtein-Zel'dovich (GZ) effect, which states that when gravitational waves traverse a pulsar magnetosphere, a portion of the gravitational radiation is transformed into electromagnetic (EM) radiation. The observed properties of FRBs are consistent with the properties of this EM radiation, implying, remarkably, that the GZ effect can account for both repeating and non-repeating FRBs. If this model is correct, the pulsar's properties should not change over time, and it would continue to emit both EM dipole and gravitational quadrupole radiation for a long period of time. This article targets the gravitational radiation produced by the pulsar mechanism and shows that several proposed gravitational wave detectors can detect these gravitational waves. If such detections are performed in the future from the location of FRBs, it might validate the GZ process for FRB production and potentially rule out several other theories of FRB generation.

categories: astro-ph.HE astro-ph.CO astro-ph.SR gr-qc


title: Fast-U2++: Fast and Accurate End-to-End Speech Recognition in Joint CTC/Attention Frames

abstract: Recently, the unified streaming and non-streaming two-pass (U2/U2++) end-to-end model for speech recognition has shown great performance in terms of streaming capability, accuracy and latency. In this paper, we present fast-U2++, an enhanced version of U2++ to further reduce partial latency. The core idea of fast-U2++ is to output partial results of the bottom layers in its encoder with a small chunk, while using a large chunk in the top layers of its encoder to compensate the performance degradation caused by the small chunk. Moreover, we use knowledge distillation method to reduce the token emission latency. We present extensive experiments on Aishell-1 dataset. Experiments and ablation studies show that compared to U2++, fast-U2++ reduces model latency from 320ms to 80ms, and achieves a character error rate (CER) of 5.06% with a streaming setup.


title: Model-based Reinforcement Learning with a Hamiltonian Canonical ODE Network

abstract: Model-based reinforcement learning usually suffers from a high sample complexity in training the world model, especially for the environments with complex dynamics. To make the training for general physical environments more efficient, we introduce Hamiltonian canonical ordinary differential equations into the learning process, which inspires a novel model of neural ordinary differential auto-encoder (NODA). NODA can model the physical world by nature and is flexible to impose Hamiltonian mechanics (e.g., the dimension of the physical equations) which can further accelerate training of the environment models. It can consequentially empower an RL agent with the robust extrapolation using a small amount of samples as well as the guarantee on the physical plausibility. Theoretically, we prove that NODA has uniform bounds for multi-step transition errors and value errors under certain conditions. Extensive experiments show that NODA can learn the environment dynamics effectively with a high sample efficiency, making it possible to facilitate reinforcement learning agents at the early stage.


title: Adversarial Guitar Amplifier Modelling With Unpaired Data

abstract: We propose an audio effects processing framework that learns to emulate a target electric guitar tone from a recording. We train a deep neural network using an adversarial approach, with the goal of transforming the timbre of a guitar, into the timbre of another guitar after audio effects processing has been applied, for example, by a guitar amplifier. The model training requires no paired data, and the resulting model emulates the target timbre well whilst being capable of real-time processing on a modern personal computer. To verify our approach we present two experiments, one which carries out unpaired training using paired data, allowing us to monitor training via objective metrics, and another that uses fully unpaired data, corresponding to a realistic scenario where a user wants to emulate a guitar timbre only using audio data from a recording. Our listening test results confirm that the models are perceptually convincing.


title: The influence of viscous dissipations on the nonlinear acoustic wave equation with second sound

abstract: We study the effect of a viscous dissipation on the Cauchy problem for a Cattaneo-type model in nonlinear acoustics, established by applying the Lighthill approximation for the viscous or inviscid fluid model. The contribution of this paper is twofold. For the nonlinear viscous Cattaneo-type model involving a fractional Laplacian $(-\Delta)^{\alpha}$ in the viscous damping with $\alpha\in[0,1]$, we derive optimal decay rates for global (in time) solutions with small data in certain Sobolev spaces. Furthermore, by introducing a threshold $\alpha=1/2$ for the power of the fractional viscous dissipation, we derive an anomalous diffusion profile when $\alpha\in[0,1/2)$ and a diffusion wave profile when $\alpha\in[1/2,1]$ for large-time. Whereas, for the nonlinear inviscid Cattaneo-type model (or the Jordan-Moore-Gibson-Thompson equation in the critical case), we obtain the blow-up of the energy solutions in finite time under suitable assumptions for the initial data. Thus, the presence of a viscous dissipation in the nonlinear Cattaneo-type model is a criterion for the global (in time) existence and blow-up of solutions.


title: CarDD: A New Dataset for Vision-based Car Damage Detection

abstract: Automatic car damage detection has attracted significant attention in the car insurance business. However, due to the lack of high-quality and publicly available datasets, we can hardly learn a feasible model for car damage detection. To this end, we contribute with Car Damage Detection (CarDD), the first public large-scale dataset designed for vision-based car damage detection and segmentation. Our CarDD contains 4,000 highresolution car damage images with over 9,000 well-annotated instances of six damage categories. We detail the image collection, selection, and annotation processes, and present a statistical dataset analysis. Furthermore, we conduct extensive experiments on CarDD with state-of-the-art deep methods for different tasks and provide comprehensive analyses to highlight the specialty of car damage detection. CarDD dataset and the source code are available at https://cardd-ustc.github.io.


title: Larmor Temperature, Casimir Dynamics, and Planck's Law

abstract: Classical radiation from a single relativistically accelerating electron is investigated where the temperature characterizing the system highlights the dependence on acceleration. In the context of the dynamic Casimir effect with Planck-distributed photons and thermal black hole evaporation, we demonstrate analytic consistency between the ideas of constant acceleration and equilibrium thermal radiation. For ultra-relativistic speeds, we demonstrate a long-lasting constant peel acceleration and constant power emission, which is consistent with the idea of balanced equilibrium of Planck-distributed particle radiation.


title: Linear Embedding-based High-dimensional Batch Bayesian Optimization without Reconstruction Mappings

abstract: The optimization of high-dimensional black-box functions is a challenging problem. When a low-dimensional linear embedding structure can be assumed, existing Bayesian optimization (BO) methods often transform the original problem into optimization in a low-dimensional space. They exploit the low-dimensional structure and reduce the computational burden. However, we reveal that this approach could be limited or inefficient in exploring the high-dimensional space mainly due to the biased reconstruction of the high-dimensional queries from the low-dimensional queries. In this paper, we investigate a simple alternative approach: tackling the problem in the original high-dimensional space using the information from the learned low-dimensional structure. We provide a theoretical analysis of the exploration ability. Furthermore, we show that our method is applicable to batch optimization problems with thousands of dimensions without any computational difficulty. We demonstrate the effectiveness of our method on high-dimensional benchmarks and a real-world function.


title: Inflexible Multi-Asset Hedging of incomplete market

abstract: Models trained under assumptions in the complete market usually don't take effect in the incomplete market. This paper solves the hedging problem in incomplete market with three sources of incompleteness: risk factor, illiquidity, and discrete transaction dates. A new jump-diffusion model is proposed to describe stochastic asset prices. Three neutral networks, including RNN, LSTM, Mogrifier-LSTM are used to attain hedging strategies with MSE Loss and Huber Loss implemented and compared.As a result, Mogrifier-LSTM is the fastest model with the best results under MSE and Huber Loss.


title: Gaps and approximations in the space of growth functions

abstract: An important problem in combinatorial noncommutative algebra is to characterize the growth functions of finitely generated algebras (equivalently, semigroups, or hereditary languages). The growth function of every finitely generated, infinite-dimensional algebra is increasing and submultiplicative. The question of to what extent these natural necessary conditions are also sufficient -- and in particular, whether they are sufficient at least for sufficiently rapid functions -- was posed and studied by various authors and has attracted a flurry of research. While every increasing and submultiplicative function is realizable as a growth function up to a linear error term, we show that there exist arbitrarily rapid increasing submultiplicative functions which are not equivalent to the growth of any algebra, thus resolving the aforementioned problem and settling a question posed by Zelmanov (and repeated by Alahmadi-Alsulami-Jain-Zelmanov). These can be interpreted as `holes' in the space of growth functions, accumulating to exponential functions in the order topology. We show that there exist monomial algebras and hereditary languages whose growth functions encode the existence of non-prolongable words, and algebras whose growth functions encode the existence of nilpotent ideals (in the graded case). This negatively solves another conjecture of Alahmadi-Alsulami-Jain-Zelmanov in the graded case.


title: Arithmetically Cohen--Macaulay bundles on homogeneous varieties of Picard rank one

abstract: In this paper, we study arithmetically Cohen--Macaulay (ACM) bundles on homogeneous varieties $G/P$. Indeed we characterize the homogeneous ACM bundles on $G/P$ of Picard rank one in terms of highest weights. This is a generalization of the result on $G/P$ of classical types presented by Costa and Mir\'{o}-Roig for type $A$, and Du, Fang, and Ren for types $B,C$ and $D$. As a consequence we prove that only finitely many irreducible homogeneous ACM bundles, up to twisting line bundles, exist over all such $G/P$. Moreover, we derive the list of the highest weights of the irreducible homogeneous ACM bundles on particular homogeneous varieties of exceptional types such as the Cayley Plane and the Freudenthal variety.


title: Antiheavy-Antiheavy-Light-Light Four-Quark Bound States

abstract: We present our recent results on antiheavy-antiheavy-light-light tetraquark systems using lattice QCD. Our study of the $ \bar{b}\bar{b}us $ four-quark system with quantum numbers $ J^P=1^+ $ and the $ \bar{b}\bar{c}ud $ four-quark systems with $ I(J^P)=0(0^+) $ and $ I(J^P)=0(1^+) $ utilizes scattering operators at the sink to improve the extraction of the low-lying energy levels. We found a bound state for $ \bar{b}\bar{b}us $ with $ E_{\textrm{bind},\bar{b}\bar{b}us} = (-86 \pm 22 \pm 10)\,\textrm{MeV} $, but no indication for a bound state in both $ \bar{b}\bar{c}ud $ channels. Moreover, we show preliminary results for $ \bar{b}\bar{b}ud $ with $ I(J^P)=0(1^+) $, where we used scattering operators both at the sink and the source. We found a bound state and determined its infinite-volume binding energy with a scattering analysis, resulting in $ E_{\textrm{bind},\bar{b}\bar{b}ud} =(-103 \pm 8 )\,\textrm{MeV} $.


title: Effect of nano-size on magnetostriction of BiFeO3 and exceptional magnetoelectric coupling properties of BiFeO3_P(VDF-TrFE) polymer composite films for magnetic field sensor application

abstract: The existence of magnetostriction in bulk BiFeO3 is still a matter of investigation and it is also an issue to investigate the magnetostriction effect in nano BiFeO3. Present work demonstrates the existence of magnetostrictive strain in superparamagnetic BiFeO3 nanoparticles at room temperature and the magnetoelectric coupling properties in composite form with P(VDFTrFE). Despite few reports on the magnetostriction effect in bulk BiFeO3 evidenced by the indirect method, the direct method (strain gauge) was employed in this work to examine the magnetostriction of superparamagnetic BiFeO3. In addition, a high magnetoelectric coupling coefficient was observed by the lock-in technique for optimized BiFeO3_P(VDF-TrFE) nanocomposite film. These nanocomposite films also exhibit room-temperature multiferroic properties. These results provide aspects of material with immense potential for practical applications in spintronics and magneto-electronics applications. We report a magnetoelectric sensor using superparamagnetic BiFeO3_P(VDF-TrFE) nanocomposite film for detection of ac magnetic field.


title: Towards understanding CG and GMRES through examples

abstract: When the CG method for solving linear algebraic systems was formulated about 70 years ago by Lanczos, Hestenes, and Stiefel, it was considered an iterative process possessing a mathematical finite termination property. CG was placed into a rich mathematical context, including links with Gauss quadrature and continued fractions. The optimality property of CG was described via a normalized weighted polynomial least squares approximation to zero. This highly nonlinear problem explains the adaptation of CG iterates to the given data. Karush and Hayes immediately considered CG in infinite dimensional Hilbert spaces and investigated its superlinear convergence. Since then, the view of CG and other Krylov subspace methods has changed. Today these methods are primarily used as computational tools, and their behavior is typically characterized using linear upper bounds or heuristics based on clustering of eigenvalues. Such simplifications limit the mathematical understanding and also negatively affect their practical application. This paper offers a different perspective. Focusing on CG and GMRES, it presents mathematically important and practically relevant phenomena that uncover their behavior through a discussion of computed examples. These examples provide an easily accessible approach that enables understanding of the methods, while pointers to more detailed analyses in the literature are given. This approach allows readers to choose the level of depth and thoroughness appropriate for their intentions. Some of the points made in this paper illustrate well known facts. Others challenge mainstream views and explain existing misunderstandings. Several points refer to recent results leading to open problems. We consider CG and GMRES crucially important for the mathematical understanding, further development, and practical applications also of other Krylov subspace methods.


title: Thickness theorems with partial derivatives

abstract: In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under some checkable conditions that the continuous image of arbitrary self-similar sets with positive similarity ratios is a closed interval, a finite union of closed intervals or containing interior. Third, we prove an analogous Erd\H{o}s-Straus conjecture on the middle-third Cantor set. Finally, we consider the solutions to the Diophantine equations on fractal sets. More specifically, for various Diophantine equations, we cannot find a solution on certain self-similar sets, whilst for the Fermat's equation, which is associated with the famous Fermat's last theorem, we can find infinitely many solutions on many self-similar sets.


title: Architected Flexible Syntactic Foams: Additive Manufacturing and Reinforcing Particle driven Matrix Segregation

abstract: Polymer syntactic foams are transforming materials that will shape the future of next-generation aerospace and marine structures. When manufactured using traditional processes, like compression molding, syntactic foams consist of a solid continuous polymer matrix reinforced with stiff hollow particles. However, polymer matrix segregation can be achieved during the selective laser sintering process with thermoplastic polyurethane (TPU). It is uncertain what role hollow particles play in forming this matrix segregation and its impact on the corresponding mechanical properties of syntactic foams. We show that the size of the hollow particles controls the internal microscale morphology of matrix segregation, leading to counter-intuitive macroscale mechanical responses. Particles with diameters greater than the gaps between the cell walls of the segregated matrix get lodged between and in the walls, bridging the gaps in the segregated matrix and increasing the stiffness of syntactic foams. In contrast, particles with smaller diameters with higher particle crushing strength get lodged only inside the cell walls of the segregated matrix, resulting in higher densification stresses (energy absorption). We show that stiffness and densification can be tuned while enabling lightweight syntactic foams. These novel discoveries will aid in facilitating functional and lightweight syntactic foams for cores in sandwich structures.


title: Inhomogeneous Defect Distribution in Mixed-Polytype Metal Halide Perovskites

abstract: The competition between corner, edge and face-sharing octahedral networks is a cause of phase inhomogeneity in metal halide perovskite thin-films. Here we probe the charged iodine vacancy distribution and transport at the junction between cubic and hexagonal polytypes of CsPbI$_3$ from first-principles materials modelling. We predict a lower defect formation energy in the face-sharing regions, which correlates with a longer Pb$-$I bond length and causes a million-fold increase in local defect concentration. These defects are predicted to be more mobile in the face-sharing regions with a reduced activation energy for vacancy-mediated diffusion. We conclude that hexagonal phase inclusions or interfaces will act as defect sinks that could trap charges and enhance current-voltage hysteresis in perovskite-based solar cells and electrical devices.


title: Measuring a rogue? An investigation into an apparent giant wave

abstract: An apparent giant wave event having a maximum trough-to-crest height of 21 metres and a maximum zero-upcrossing period of 27 seconds was recorded by a wave buoy at a nearshore location off the southwestern coast of Australia. It appears as a group of waves which are significantly larger both in height and period than the waves preceding and following them. This paper reports a multifaceted analysis into the plausibility of the event. We first examine the statistics of the event in relation to the rest of the record, where we look at quantities such as maximum-to-significant wave height ratios, ordered crest-trough statistics, and average wave profiles. We then investigate the kinematics of the buoy, where we look at the relationship between the horizontal and vertical displacements of the buoy, and also attempt to numerically reconstruct the giant event using Boussinesq and nonlinear shallow water equations. Additional analyses are performed on other sea states where at least one of the buoy's accelerometers reached its maximum limit. Our analysis reveals incompatibilities of the event with known behaviour of real waves, leading us to conclude that it was not a real wave event. Wave events similar to the one reported in our study have been reported elsewhere and have sometimes been accepted as real occurrences. Our methods of forensically analysing the giant wave event should be potentially useful for identifying false rogue wave events in these cases.


title: Sign change in c-axis thermal expansion and lattice collapse by Ni substitution in Co1-xNixZr2 superconductors

abstract: We investigated the structural, electronic, and superconducting properties of Co1-xNixZr2, in which c-axis thermal expansion is systematically controlled. At x (smaller than) 0.3, c-axis negative thermal expansion (NTE) was observed, and the thermal expansion constant {\alpha}c approached zero with increasing x. At x = 0.4-0.6, zero thermal expansion was observed, and positive thermal expansion (PTE) appeared for x (greater than) 0.7. By analyzing the c/a ratio, we observed a possible collapsed transition in the tetragonal lattice at around x = 0.6-0.8. The lattice collapse results in c-axis PTE and the suppression of bulk superconductivity.


title: Sharp uniform bound for the quaternionic Monge-Ampere equation on hyperhermitian manifolds

abstract: We provide the sharp $C^0$ estimate for the quaternionic Monge-Ampere equation on any hyperhermitian manifold. This improves previously known results concerning this estimate in two directions. Namely, it turns out that the estimate depends only on $L^p$ norm of the right hand side for any $p>2$ (as suggested by the local case studied in [Sr20a]). Moreover, the estimate still holds true for any hyperhermitian initial metric - regardless of it being HKT as in the original conjecture of Alesker-Verbitsky [AV10] - as speculated by the author in [Sr21]. For completeness, we actually provide a sharp uniform estimate for many quaternionic PDEs, in particular those given by the operator dominating the quaternionic Monge-Ampere operator, by applying the recent method of Guo and Phong [GP22a].


title: Ambiguity-Aware Multi-Object Pose Optimization for Visually-Assisted Robot Manipulation

abstract: 6D object pose estimation aims to infer the relative pose between the object and the camera using a single image or multiple images. Most works have focused on predicting the object pose without associated uncertainty under occlusion and structural ambiguity (symmetricity). However, these works demand prior information about shape attributes, and this condition is hardly satisfied in reality; even asymmetric objects may be symmetric under the viewpoint change. In addition, acquiring and fusing diverse sensor data is challenging when extending them to robotics applications. Tackling these limitations, we present an ambiguity-aware 6D object pose estimation network, PrimA6D++, as a generic uncertainty prediction method. The major challenges in pose estimation, such as occlusion and symmetry, can be handled in a generic manner based on the measured ambiguity of the prediction. Specifically, we devise a network to reconstruct the three rotation axis primitive images of a target object and predict the underlying uncertainty along each primitive axis. Leveraging the estimated uncertainty, we then optimize multi-object poses using visual measurements and camera poses by treating it as an object SLAM problem. The proposed method shows a significant performance improvement in T-LESS and YCB-Video datasets. We further demonstrate real-time scene recognition capability for visually-assisted robot manipulation. Our code and supplementary materials are available at https://github.com/rpmsnu/PrimA6D.


title: Sifting composite from elementary models at FCCee and CePC

abstract: New Physics models with either an elementary or composite origin are often associated with a similar imprint in a direct search at colliders, case in point being the production of a light pseudoscalar in association with a monochromatic photon from the decay of a Z boson at future $e+e-$ colliders. We exploit the correlation between the discovery of a signal in the Z decays and electroweak precision measurements as a tool to distinguish a composite model from an elementary scalar one. Our results offer an appealing and rich physics case for future colliders and demonstrate how a lepton collider at the Z mass can be a discovery machine for new physics in the Higgs sector.


title: Oblivious Quantum Computation and Delegated Multiparty Quantum Computation

abstract: We propose a new concept, oblivious quantum computation, which requires performing oblivious transfer with respect to the computation outcome of the quantum computation, where the secrecy of the input qubits and the program to identify the quantum gates are required. Exploiting quantum teleportation, we propose a two-server protocol for this task, which realizes an exponential improvement for the communication complexity over the simple application of two-server (quantum) oblivious transfer to the sending of the computation result. Also, we discuss delegated multiparty quantum computation, in which, several users ask multiparty quantum computation to server(s) only using classical communications. We propose a two-server protocol for the latter task as well.


title: Restricted phase space thermodynamics of charged AdS black holes in conformal gravity

abstract: The thermodynamics of charged spherically symmetric AdS black holes in conformal gravity is revisited using the recently proposed restricted phase space (RPS) formalism. This formalism avoids all the bizarreness that arose in the extended phase space formalism for this model. It is found that the charged AdS black holes in this model may belong to a new universality class which is different from all previously studied cases under the RPS formalism. Besides the distinguished isocharge $T-S$ and isothermal $\Phi-Q_e$ behaviors, the absence of Hawking-Page transition is another notable feature. On the other hand, in the high temperature limit, the thermodynamic behavior of the present model become exactly the same as that of the Einstein gravity and the black hole scan models, which add further evidence for the universality of the recently reported correspondence between high temperature AdS black holes and low temperature quantum phonon gases in nonmetallic crystals.


title: On the development and analysis of coupled surface-subsurface models of catchments. Part 1. Analysis of dimensions and parameters for UK catchments

abstract: The objective of this three-part work is to formulate and rigorously analyse a number of reduced mathematical models that are nevertheless capable of describing the hydrology at the scale of a river basin (i.e. catchment). Coupled surface and subsurface flows are considered. In this first part, we identify and analyse the key physical parameters that appear in the governing formulations used within hydrodynamic rainfall-runoff models. Such parameters include those related to catchment dimensions, topography, soil and rock properties, rainfall intensities, Manning's coefficients, and river channel dimensions. Despite the abundance of research that has produced data sets describing properties of specific river basins, there have been few studies that have investigated the ensemble of typical scaling of key physical properties; these estimates are needed to perform a proper dimensional analysis of rainfall-runoff models. Therefore, in this work, we perform an extensive analysis of the parameters; our results form a benchmark and provide guidance to practitioners on the typical parameter sizes and interdependencies. Crucially, the analysis is presented in a fashion that can be reproduced and extended by other researchers, and wherever possible, uses publicly available data sets for catchments in the United Kingdom.


title: An inverse spectral problem for non-compact Hankel operators with simple spectrum

abstract: We consider an inverse spectral problem for a class of non-compact Hankel operators $H$ such that the modulus of $H$ (restricted onto the orthogonal complement to its kernel) has simple spectrum. Similarly to the case of compact operators, we prove a uniqueness result, i.e. we prove that a Hankel operator from our class is uniquely determined by the spectral data. In other words, the spectral map, which maps a Hankel operator to the spectral data, is injective. Further, in contrast to the compact case, we prove the failure of surjectivity of the spectral map, i.e. we prove that not all spectral data from a certain natural set correspond to Hankel operators. We make some progress in describing the image of the spectral map. We also give applications to the cubic Szeg\H{o} equation. In particular, we prove that not all solutions with initial data in BMOA are almost periodic; this is in a sharp contrast to the known result for initial data in VMOA.


title: Seebeck Coefficient of Two-dimensional Dirac Electrons in Organic Conductor under Pressure

abstract: The Seebeck coefficient, which is proportional to a ratio of the thermoelectric conductivity to electrical conductivity has been examined for Dirac electrons in the organic conductor $\alpha$-(BEDT-TTF)$_2$I$_3$ [BEDT-TTF denotes a molecule given by bis(ethylenedithio)tetrathiafulvalene] under a uniaxial pressure using a two-dimensional tight-binding model with both impurity and electron--phonon (e--p) scatterings. We calculate an anomalous temperature ($T$) dependence of the Seebeck coefficient $S_{\nu}$ with $\nu = x$ (perpendicular to the molecular stacking axis) and $y$, which shows $S_\nu > 0$ with a maximum at high temperatures and $S_{\nu} < 0$ with a minimum at low temperatures.The microscopic mechanism of such a sign change of $S_\nu$ is clarified in terms of the spectral conductivity. The result is compared with experiments on $\alpha$-(BEDT-TTF)$_2$I$_3$.


title: Multi-Speaker Multi-Style Speech Synthesis with Timbre and Style Disentanglement

abstract: Disentanglement of a speaker's timbre and style is very important for style transfer in multi-speaker multi-style text-to-speech (TTS) scenarios. With the disentanglement of timbres and styles, TTS systems could synthesize expressive speech for a given speaker with any style which has been seen in the training corpus. However, there are still some shortcomings with the current research on timbre and style disentanglement. The current method either requires single-speaker multi-style recordings, which are difficult and expensive to collect, or uses a complex network and complicated training method, which is difficult to reproduce and control the style transfer behavior. To improve the disentanglement effectiveness of timbres and styles, and to remove the reliance on single-speaker multi-style corpus, a simple but effective timbre and style disentanglement method is proposed in this paper. The FastSpeech2 network is employed as the backbone network, with explicit duration, pitch, and energy trajectory to represent the style. Each speaker's data is considered as a separate and isolated style, then a speaker embedding and a style embedding are added to the FastSpeech2 network to learn disentangled representations. Utterance level pitch and energy normalization are utilized to improve the decoupling effect. Experimental results demonstrate that the proposed model could synthesize speech with any style seen during training with high style similarity while maintaining very high speaker similarity.


title: Internal Language Model Estimation based Adaptive Language Model Fusion for Domain Adaptation

abstract: ASR model deployment environment is ever-changing, and the incoming speech can be switched across different domains during a session. This brings a challenge for effective domain adaptation when only target domain text data is available, and our objective is to obtain obviously improved performance on the target domain while the performance on the general domain is less undermined. In this paper, we propose an adaptive LM fusion approach called internal language model estimation based adaptive domain adaptation (ILME-ADA). To realize such an ILME-ADA, an interpolated log-likelihood score is calculated based on the maximum of the scores from the internal LM and the external LM (ELM) respectively. We demonstrate the efficacy of the proposed ILME-ADA method with both RNN-T and LAS modeling frameworks employing neural network and n-gram LMs as ELMs respectively on two domain specific (target) test sets. The proposed method can achieve significantly better performance on the target test sets while it gets minimal performance degradation on the general test set, compared with both shallow and ILME-based LM fusion methods.


title: Large deviations rates for stochastic gradient descent with strongly convex functions

abstract: Recent works have shown that high probability metrics with stochastic gradient descent (SGD) exhibit informativeness and in some cases advantage over the commonly adopted mean-square error-based ones. In this work we provide a formal framework for the study of general high probability bounds with SGD, based on the theory of large deviations. The framework allows for a generic (not-necessarily bounded) gradient noise satisfying mild technical assumptions, allowing for the dependence of the noise distribution on the current iterate. Under the preceding assumptions, we find an upper large deviations bound for SGD with strongly convex functions. The corresponding rate function captures analytical dependence on the noise distribution and other problem parameters. This is in contrast with conventional mean-square error analysis that captures only the noise dependence through the variance and does not capture the effect of higher order moments nor interplay between the noise geometry and the shape of the cost function. We also derive exact large deviation rates for the case when the objective function is quadratic and show that the obtained function matches the one from the general upper bound hence showing the tightness of the general upper bound. Numerical examples illustrate and corroborate theoretical findings.


title: Topology-based Approximations for $\mathcal{N}-1$ Contingency Constraints in Power Transmission Networks

abstract: It is crucial for maintaining the security of supply that transmission networks continue to operate even if a single line fails. Modeling $\mathcal{N} - 1$ security in power system capacity expansion problems introduces many extra constraints if all possible outages are accounted for, which leads to a high computational burden. Typical approaches to avoid this burden consider only a subset of possible outages relevant to a given dispatch situation. However, this relies on knowing the dispatch situation beforehand, and it is not suitable for investment optimization problems where the generation fleet is not known in advance. In this paper, we introduce a heuristic approach to model the fully secured $\mathcal{N}-1$ feasible space using a smaller number of constraints in a way that only depends on the topology of transmission networks. In our proposed approach, the network's security is modelled by comparing the polytope of the feasible space of nodal net power obtained from the security-constrained linearized AC optimal power flow problem. To approximate this polytope, a buffer capacity factor is defined for transmission lines in the $\mathcal{N}-0$ secure case, thereby avoiding the introduction of many additional constraints. In this way, three approaches are introduced for obtaining a buffer capacity factor consisting of approximate, robust and line-specific approaches. Finally, the performance of our proposed approaches is assessed in different scales of transmission networks for determining the proposed buffer capacity factors, contingency analysis and economic evaluation. Moreover, we find that our proposed heuristics provide excellent approximations of the fully secured $\mathcal{N}-1$ solutions with a much lower computational burden.


title: The influence of illumination conditions in the measurement of built-in electric field at p-n junctions by 4D-STEM

abstract: Momentum resolved 4D-STEM, also called center of mass (CoM) analysis, has been used to measure the long range built-in electric field of a silicon p-n junction. The effect of different STEM modes and the trade-off between spatial resolution and electric field sensitivity are studied. Two acquisition modes are compared: nanobeam and low magnification (LM) modes. A thermal noise free Medipix3 direct electron detector with high speed acquisition has been used to study the influence of low electron beam current and millisecond dwell times on the measured electric field and standard deviation. It is shown that LM conditions can underestimate the electric field values due to a bigger probe size used but provide an improvement of almost one order of magnitude on the signal-to-noise ratio, leading to a detection limit of 0.011MV/cm. It is observed that the CoM results do not vary with acquisition time or electron dose as low as 24 $e^-/A^2$, showing that the electron beam does not influence the built-in electric field and that this method can be robust for studying beam sensitive materials, where a low dose is needed.


title: On the development and analysis of coupled surface-subsurface models of catchments. Part 3. Analytical solutions and scaling laws

abstract: The objective of this three-part work is to formulate and rigorously analyse a number of reduced mathematical models that are nevertheless capable of describing the hydrology at the scale of a river basin (i.e. catchment). Coupled surface and subsurface flows are considered. In this third part, we focus on the development of analytical solutions and scaling laws for a benchmark catchment model that models the river flow (runoff) generated during a single rainfall. We demonstrate that for catchments characterised by a shallow impenetrable bedrock, the shallow-water approximation allows a reduction of the governing formulation to a coupled system of one-dimensional time-dependent equations for the surface and subsurface flows. Asymptotic analysis is used to derive semi-analytical solutions for the model. We provide simple asymptotic scaling laws describing the peak flow formation, and demonstrate its accuracy through a comparison with the two-dimensional model developed in Part 2. These scaling laws can be used as an analytical benchmark for assessing the validity of other physical, conceptual, or statistical models of catchments.


title: BAXMC: a CEGAR approach to Max#SAT

abstract: Max#SAT is an important problem with multiple applications in security and program synthesis that is proven hard to solve. It is defined as: given a parameterized quantifier-free propositional formula compute parameters such that the number of models of the formula is maximal. As an extension, the formula can include an existential prefix. We propose a CEGAR-based algorithm and refinements thereof, based on either exact or approximate model counting, and prove its correctness in both cases. Our experiments show that this algorithm has much better effective complexity than the state of the art.