title: The Devil is in the Task: Exploiting Reciprocal Appearance-Localization Features for Monocular 3D Object Detection

abstract: Low-cost monocular 3D object detection plays a fundamental role in autonomous driving, whereas its accuracy is still far from satisfactory. In this paper, we dig into the 3D object detection task and reformulate it as the sub-tasks of object localization and appearance perception, which benefits to a deep excavation of reciprocal information underlying the entire task. We introduce a Dynamic Feature Reflecting Network, named DFR-Net, which contains two novel standalone modules: (i) the Appearance-Localization Feature Reflecting module (ALFR) that first separates taskspecific features and then self-mutually reflects the reciprocal features; (ii) the Dynamic Intra-Trading module (DIT) that adaptively realigns the training processes of various sub-tasks via a self-learning manner. Extensive experiments on the challenging KITTI dataset demonstrate the effectiveness and generalization of DFR-Net. We rank 1st among all the monocular 3D object detectors in the KITTI test set (till March 16th, 2021). The proposed method is also easy to be plug-and-play in many cutting-edge 3D detection frameworks at negligible cost to boost performance. The code will be made publicly available.


title: Unsourced Random Massive Access with Beam-Space Tree Decoding

abstract: The core requirement of massive Machine-Type Communication (mMTC) is to support reliable and fast access for an enormous number of machine-type devices (MTDs). In many practical applications, the base station (BS) only concerns the list of received messages instead of the source information, introducing the emerging concept of unsourced random access (URA). Although some massive multiple-input multiple-output (MIMO) URA schemes have been proposed recently, the unique propagation properties of millimeter-wave (mmWave) massive MIMO systems are not fully exploited in conventional URA schemes. In grant-free random access, the BS cannot perform receive beamforming independently as the identities of active users are unknown to the BS. Therefore, only the intrinsic beam division property can be exploited to improve the decoding performance. In this paper, a URA scheme based on beam-space tree decoding is proposed for mmWave massive MIMO system. Specifically, two beam-space tree decoders are designed based on hard decision and soft decision, respectively, to utilize the beam division property. They both leverage the beam division property to assist in discriminating the sub-blocks transmitted from different users. Besides, the first decoder can reduce the searching space, enjoying a low complexity. The second decoder exploits the advantage of list decoding to recover the miss-detected packets. Simulation results verify the superiority of the proposed URA schemes compared to the conventional URA schemes in terms of error probability.


title: Delving into Probabilistic Uncertainty for Unsupervised Domain Adaptive Person Re-Identification

abstract: Clustering-based unsupervised domain adaptive (UDA) person re-identification (ReID) reduces exhaustive annotations. However, owing to unsatisfactory feature embedding and imperfect clustering, pseudo labels for target domain data inherently contain an unknown proportion of wrong ones, which would mislead feature learning. In this paper, we propose an approach named probabilistic uncertainty guided progressive label refinery (P$^2$LR) for domain adaptive person re-identification. First, we propose to model the labeling uncertainty with the probabilistic distance along with ideal single-peak distributions. A quantitative criterion is established to measure the uncertainty of pseudo labels and facilitate the network training. Second, we explore a progressive strategy for refining pseudo labels. With the uncertainty-guided alternative optimization, we balance between the exploration of target domain data and the negative effects of noisy labeling. On top of a strong baseline, we obtain significant improvements and achieve the state-of-the-art performance on four UDA ReID benchmarks. Specifically, our method outperforms the baseline by 6.5% mAP on the Duke2Market task, while surpassing the state-of-the-art method by 2.5% mAP on the Market2MSMT task.


title: SECP-Net: SE-Connection Pyramid Network of Organ At Risk Segmentation for Nasopharyngeal Carcinoma

abstract: Nasopharyngeal carcinoma (NPC) is a kind of malignant tumor. Accurate and automatic segmentation of organs at risk (OAR) of computed tomography (CT) images is clinically significant. In recent years, deep learning models represented by U-Net have been widely applied in medical image segmentation tasks, which can help doctors with reduction of workload and get accurate results more quickly. In OAR segmentation of NPC, the sizes of OAR are variable, especially, some of them are small. Traditional deep neural networks underperform during segmentation due to the lack use of global and multi-size information. This paper proposes a new SE-Connection Pyramid Network (SECP-Net). SECP-Net extracts global and multi-size information flow with se connection (SEC) modules and a pyramid structure of network for improving the segmentation performance, especially that of small organs. SECP-Net also designs an auto-context cascaded network to further improve the segmentation performance. Comparative experiments are conducted between SECP-Net and other recently methods on a dataset with CT images of head and neck. Five-fold cross validation is used to evaluate the performance based on two metrics, i.e., Dice and Jaccard similarity. Experimental results show that SECP-Net can achieve SOTA performance in this challenging task.


title: Two-dimensional Paired Topological Superfluids of Rydberg Fermi Gases

abstract: We systematically investigate the topological properties of spin polarized Rydberg-dressed fermionic atoms loaded in a bilayer optical lattice. Through tuning the Rydberg coupling strength and the inter-layer tunneling amplitude, we identify different types of topological superfluid states generated from the inter-layer pairing and relative gauge phase modulation of the couples 2D $p$-wave superfluids. These phases includes gapped/gapless with/without time reversal symmetry. One of the most interesting states is a gapless paired topological superfluid with both the time-reversal symmetry and particle-hole symmetry. This state is equivalent to a topological Kondo lattice model with the spin-orbit coupling, an in-plane magnetic field, and an additional particle-hole symmetry. The flexibility of experimental manipulation in such Rydberg-dressed ferminoic systems therefore becomes a promising system for realizing interesting topological superfluids.


title: Error-disturbance uncertainty relations in Faraday measurements

abstract: We examine error-disturbance relations in the quantum measurement of spin systems using an atom-light interface scheme. We model a single spin-1/2 system that interacts with a polarized light meter via a Faraday interaction. We formulate the error and disturbance of the model and examine the uncertainty relations. We found that for the coherent light meter in pure polarization, both the error and disturbance behave the cyclic oscillations due to the Faraday rotation in both the light and spin polarizations. We also examine a class of polarization squeezed light meter, where we apply the phase-space approximation and characterize the role of squeezing. We derive error-disturbance relations for these cases and find that the Heisenberg-Arthurs-Kelly uncertainty is violated while the tight Branciard-Ozawa uncertainty always holds. We note that, in the limit of weak interaction strength, the error and disturbance become to obey the unbiasedness condition and hence the Heisenberg-Arthurs-Kelly relation holds. The work would contribute to our understanding of quantum measurement of spin systems under the atom-light interface framework, and may hold potential applications in quantum metrology, quantum state estimation and control.


title: The generalised q-Wronskian solutions of the q-deformed constrained modified KP hierarchy

abstract: In this paper, we give the form of the q-cmKP hierarchy generated by the gauge transformation operator $T_{n+k}$. We show a necessary and sufficient condition to reduce the generalised q-Wronskian solutions from the q-mKP hierarchy to generalised the q-Wronskian solutions of M-component q-cmKP hierarchy.


title: Bipartite Graph Matching Algorithms for Clean-Clean Entity Resolution: An Empirical Evaluation

abstract: Entity Resolution (ER) is the task of finding records that refer to the same real-world entities. A common scenario is when entities across two clean sources need to be resolved, which we refer to as Clean-Clean ER. In this paper, we perform an extensive empirical evaluation of 8 bipartite graph matching algorithms that take in as input a bipartite similarity graph and provide as output a set of matched entities. We consider a wide range of matching algorithms, including algorithms that have not previously been applied to ER, or have been evaluated only in other ER settings. We assess the relative performance of the algorithms with respect to accuracy and time efficiency over 10 established, real datasets, from which we extract >700 different similarity graphs. Our results provide insights into the relative performance of these algorithms and guidelines for choosing the best one, depending on the data at hand.


title: Analytical voltage estimation in power packet dispatching network

abstract: This paper proposes an analytical voltage estimation method for the power packet dispatching network. A unit power packet consists of signals and DC pulsed voltage waveform. In the network, power packets are transmitted among power packet routers (routers) by time-division multiplexing. Routers have capacitors as the storage of power during the power transmission. The power flows depending on the voltage gradient among the storage. The power flow in the network has been studied with numerical approaches. However, the existing studies have considered transmission losses but ignored transient responses. Considering transient responses, the power transmission analysis generally requires circuit simulation and takes considerable time. This paper focuses on a one-to-one connection between routers and underdamped conditions. They allow the estimation of storage voltages considering the transient responses without circuit simulation. First, theoretical analysis and experimental verification are performed on the conditions. Then, an analytical voltage estimation method is proposed by expanding the analysis of the one-to-one connection to the network. Comparison with circuit simulation reveals that the estimation method is accurate enough to analyze power transmission in the network.


title: A Study on the Curves of Scaling Behavior of Fractal Cities

abstract: The curves of scaling behavior is a significant concept in fractal dimension analysis of complex systems. However, the underlying rationale of this kind of curves for fractal cities is not yet clear. This paper is devoted to researching a set of basic problems of the scaling behavior curves in urban studies by using mathematical reasoning and empirical analysis. The main findings are as follows. First, the formula of scaling behavior curves is derived from a fractal model based on hierarchical structure of urban systems. Second, the relationships between the formula of scaling behavior curves and similarity dimension and scale-dependent fractal dimension are revealed. Third, according to the fractal dimension measurement methods, the scaling behavior curves are divided into two different types. Fourth, empirically, 1-dimensional spatial autocorrelation function of scaling behavior curves can be employed to reveal the basic property of scaling behavior curves. In comparison, scaling behavior curves are more sensitive to power law relations than the fractal distribution functions. The scaling curves can be utilized to evaluate fractal development extent of urban systems and identify scaling ranges of fractal cities. In positive studies, the curves can be used to help distinguish the boundaries between urban areas and rural areas and self-affine fractal structure behind the dynamical process of spatial correlation.


title: Pricing and Hedging of SOFR Derivatives under Differential Funding Costs and Collateralization

abstract: Since the 1970s, the LIBOR has served as a fundamental measure for floating term rates across multiple currencies and maturities. Loans and many derivative securities, including swaps, caps and swaptions, still rely on LIBOR as the reference forward-looking term rate. However, in 2017 the Financial Conduct Authority announced the discontinuation of LIBOR from the end of 2021 and the New York Fed declared the backward-looking SOFR as a candidate for a new reference rate for interest rate swaps denominated in U.S. dollars. We first outline the classical single-curve modelling framework before transitioning to the multi-curve framework where we examine arbitrage-free pricing and hedging of SOFR-linked swaps without and with collateral backing. As hedging instruments, we take liquidly traded SOFR futures and either common or idiosyncratic funding rates for the hedge and margin account. For concreteness, a one-factor model based on Vasicek's equation is used to specify the joint dynamics of several overnight interest rates, including the SOFR, EFFR, and unsecured funding rate, although multi-factor term structure models could also be employed.


title: Demonstration of Duality of Fractal Gravity Models by Scaling Symmetry

abstract: A pair of fractal gravity models can be derived from the spatial interaction models based on entropy maximizing principle and allometric scaling law. The models can be expressed as dual form in mathematics and are important for analyzing and predicting spatial flows in network of cities. However, the dual relationship of urban gravity parameters has been an empirical relationship for a long time and lacks theoretical proof. This paper is devoted to proving the duality of fractal gravity models by means of ideas from scaling invariance. The results show that a fractal gravity model can be derived from its dual form. The observational data of interurban spatial flows of Beijing-Tianjin-Hebei region of China are employed to make a case study, lending a further support to the theoretical derivation. A conclusion can be reached that the duality of gravity models rests with scaling symmetry of fractal structure. This work may be helpful for understanding the theoretical essence and application direction of spatial interaction modeling.


title: Game-theoretical approach to minimum entropy productions in information thermodynamics

abstract: In a situation where each player has control over the transition probabilities of each subsystem, we game-theoretically analyze the optimization problem of minimizing both the partial entropy production of each subsystem and a penalty for failing to achieve a given state transition. In the regime of linear irreversible thermodynamics, we obtain the Nash equilibrium solution of the probability flow and calculate each partial entropy production for this solution. We find a trade-off such that a partial entropy production should be larger if we want the other partial entropy production to be smaller. The total entropy production can be minimized if each subsystem equally shares the penalty. We identify that this trade-off is due to the interacting contribution of the probability flow and discuss a possible biological validity for Escherichia coli chemotaxis.


title: Modeling Growth Process of \b{eta} index of Transport Network Based on Nonlinear Spatial Dynamics

abstract: The \b{eta} index is one of important measurements reflecting development level of traffic networks. However, how to explain and predict the \b{eta} index growth for a geographical region is a pending problem. With the help of mathematical reasoning and empirical analysis, this paper is devoted to modeling the growing curve of \b{eta} index. A new measurement termed {\delta} index is introduced and a set of new models are constructed. Suppose there is a nonlinear relation between human settlements and roads. A pair differential equations are built for describing the nonlinear dynamics of traffic networks. A logistic function of \b{eta} index growth is derived from the two spatial dynamic equations. On the other hand, based on verified empirical models about urbanization level, economic development level, and \b{eta} index of traffic network, a Boltzmann equation of \b{eta} index growth can be derived. Normalizing the \b{eta} index, Boltzmann equation will become logistic function. This lends an indirect support to the theoretical model of \b{eta} index from the prospective of positive studies. The models proposed in this work provided new approaches for explanation and prediction of spatio-temporal evolution of traffic networks.


title: The Effective Single-mode model of a Binary Boson Mixture in the Quantum Droplet Region

abstract: In a binary quantum droplet, the interspecies attraction dominates over the intraspecies repulsions and the mean-field energy is unstable. The mechanical stability is restored by the repulsive Lee-Huang-Yang (LHY) energy [1]. In the Bogoliubov theory of the binary quantum droplet, there are two branches of gapless excitations. The lower branch describes the phonon excitation and its energy is imaginary in the long-wavelength limit, implying dynamical instability. Recently it is found that the phonon energy is renormalized by higher-order quantum fluctuations and the dynamical instability is removed [2]. In this work, we study a binary quantum droplet in the path integral formalism to construct an effective model with the correct phonon energy. By integrating out the upper excitation branch, we obtain an effective single-mode model describing density fluctuations, and derive the extended Gross-Pitaevskii equation. In this approach, the LHY energy in the extended-GP equation is purely positive without any assumption of neglecting the imaginary part. This effective single-mode model can be also used outside and close to the quantum droplet region such as in the LHY gas.


title: DAS-PINNs: A deep adaptive sampling method for solving high-dimensional partial differential equations

abstract: In this work we propose a deep adaptive sampling (DAS) method for solving partial differential equations (PDEs), where deep neural networks are utilized to approximate the solutions of PDEs and deep generative models are employed to generate new collocation points that refine the training set. The overall procedure of DAS consists of two components: solving the PDEs by minimizing the residual loss on the collocation points in the training set and generating a new training set to further improve the accuracy of current approximate solution. In particular, we treat the residual as a probability density function and approximate it with a deep generative model, called KRnet. The new samples from KRnet are consistent with the distribution induced by the residual, i.e., more samples are located in the region of large residual and less samples are located in the region of small residual. Analogous to classical adaptive methods such as the adaptive finite element, KRnet acts as an error indicator that guides the refinement of the training set. Compared to the neural network approximation obtained with uniformly distributed collocation points, the developed algorithms can significantly improve the accuracy, especially for low regularity and high-dimensional problems. We demonstrate the effectiveness of the proposed DAS method with numerical experiments.


title: Coherent Atom Transport via Enhanced Shortcuts to Adiabaticity: Double-Well Optical Lattice

abstract: Theoretical studies of coherent atom transport have as yet mainly been restricted to one-dimensional model systems with harmonic trapping potentials. Here we investigate this important phenomenon -- a prerequisite for a variety of quantum-technology applications based on cold neutral atoms -- under much more complex physical circumstances. More specificially yet, we study fast atomic transport in a moving {\em double-well optical lattice}, whose three-dimensional (anharmonic) potential is nonseparable in the $x-y$ plane. We first propose specific configurations of acousto-optic modulators that give rise to the moving-lattice effect in an arbitrary direction in this plane. We then determine moving-lattice trajectories that enable single-atom transport using two classes of quantum-control methods: shortcuts to adiabaticity (STA), here utilized in the form of inverse engineering based on a quadratic-in-momentum dynamical invariant of Lewis-Riesenfeld type, and their recently proposed modification termed enhanced STA (eSTA). Subsequently, we quantify the resulting single-atom dynamics by numerically solving the relevant time-dependent Schr\"{o}dinger equations and compare the efficiency of STA- and eSTA-based transport by evaluating the respective fidelities. We show that -- except for the regime of shallow lattices -- the eSTA method consistently outperforms its STA counterpart. This study has direct implications for neutral-atom quantum computing based on collisional entangling two-qubit gates and quantum sensing of constant homogeneous forces via guided-atom interferometry.


title: Deep neural networks for solving forward and inverse problems of (2+1)-dimensional nonlinear wave equations with rational solitons

abstract: In this paper, we investigate the forward problems on the data-driven rational solitons for the (2+1)-dimensional KP-I equation and spin-nonlinear Schr\"odinger (spin-NLS) equation via the deep neural networks leaning. Moreover, the inverse problems of the (2+1)-dimensional KP-I equation and spin-NLS equation are studied via deep learning. The main idea of the data-driven forward and inverse problems is to use the deep neural networks with the activation function to approximate the solutions of the considered (2+1)-dimensional nonlinear wave equations by optimizing the chosen loss functions related to the considered nonlinear wave equations.

categories: nlin.PS cs.LG math-ph math.MP nlin.SI physics.comp-ph


title: Probing Dark Matter Spikes via Gravitational Waves of Extreme Mass Ratio Inspirals

abstract: The exact properties of dark matter remain largely unknown despite the accumulating evidence. If dark matter is composed of weakly interacting massive particles, it would be accreted by the black hole in the galactic center and form a dense, cuspy spike. Dynamical friction from this spike may have observable effects in a binary system. We consider extreme-mass-ratio inspiral (EMRI) binaries comprising massive black holes harbored in dark matter spikes and stellar mass objects in elliptic orbits. We find that the gravitational-wave waveforms in the frequency domain can be substantially modified. In particular, we show that dark matter can suppress the characteristic strain of a gravitational wave at low frequency but enhance it at a higher domain. These effects are more dramatic as the dark matter density increases. The results indicate that the signal-to-noise ratio of EMRIs can be strongly reduced near $10^{-3}\sim 0.3$~Hz but enhanced near $1.0$~Hz with a higher sensitivity, which can be probed via the future space-borne gravitational-wave (GW) detectors, LISA and TAIJI. The findings will have important impacts on the detection and parameter inference of EMRIs.


title: Causal first-order hydrodynamics from kinetic theory and holography

abstract: We show how causal relativistic Navier-Stokes equations arise from the relativistic Boltzmann equation: the causality is preserved via a judicious choice of the zero modes of the collision operator. A completely analogous procedure may be used to extract causal hydrodynamics from the fluid-gravity correspondence: again, causality of the hydrodynamic equations is preserved by a suitable choice of zero modes of the corresponding differential operators in the bulk. We give examples of zero modes which give rise to causal hydrodynamic equations for non-conformal fluids with a conserved U(1) global symmetry current.


title: Stable Linear System Identification with Prior Knowledge by Riemannian Sequential Quadratic Optimization

abstract: We consider an identification method for a linear continuous time-invariant autonomous system from noisy state observations. In particular, we focus on the identification to satisfy the asymptotic stability of the system with some prior knowledge. To this end, we propose to model this identification problem as a Riemannian nonlinear optimization (RNLO) problem, where the stability is ensured through a certain Riemannian manifold and the prior knowledge is expressed as nonlinear constraints defined on this manifold. To solve this RNLO, we apply the Riemannian sequential quadratic optimization (RSQO) that was proposed by Obara, Okuno, and Takeda (2022) most recently. RSQO performs quite well with theoretical guarantee to find a point satisfying the Karush-Kuhn-Tucker conditions of RNLO. In this paper, we demonstrate that the identification problem can be indeed solved by RSQO more effectively than competing algorithms.


title: Multinomial and Hypergeometric Distributions in Markov Categories

abstract: Markov categories, having tensors with copying and discarding, provide a setting for categorical probability. This paper uses finite colimits and what we call uniform states in such Markov categories to define a (fixed size) multiset functor, with basic operations for sums and zips of multisets, and a graded monad structure. Multisets can be used to represent both urns filled with coloured balls and also draws of multiple balls from such urns. The main contribution of this paper is the abstract definition of multinomial and hypergeometric distributions on multisets, as draws. It is shown that these operations interact appropriately with various operations on multisets.


title: Learning from What's Right and Learning from What's Wrong

abstract: The concept of updating (or conditioning or revising) a probability distribution is fundamental in (machine) learning and in predictive coding theory. The two main approaches for doing so are called Pearl's rule and Jeffrey's rule. Here we make, for the first time, mathematically precise what distinguishes them: Pearl's rule increases validity (expected value) and Jeffrey's rule decreases (Kullback-Leibler) divergence. This forms an instance of a more general distinction between learning from what's right and learning from what's wrong. The difference between these two approaches is illustrated in a mock cognitive scenario.


title: Simulating quantum circuits using the multi-scale entanglement renormalization ansatz

abstract: Understanding the limiting capabilities of classical methods in simulating complex quantum systems is of paramount importance for quantum technologies. Although many advanced approaches have been proposed and recently used to challenge quantum advantage experiments, novel efficient methods for approximate simulation of complex quantum systems are highly demanded. Here we propose a scalable technique for approximate simulations of intermediate-size quantum circuits on the basis of multi-scale entanglement renormalization ansatz (MERA). MERA is a tensor network, whose geometry together with orthogonality constraints imposed on its "elementary" tensors allows approximating many-body quantum states lying beyond the area-law scaling of the entanglement entropy. We benchmark the proposed technique for checkerboard-type intermediate-size quantum circuits of 27 qubits with various depths. Our approach paves a way to explore new efficient simulation techniques for quantum many-body systems.


title: Stieltjes constants appearing in the Laurent expansion of the hyperharmonic zeta function

abstract: In this paper, we consider meromorphic extension of the function \[ \zeta_{h^{\left( r\right) }}\left( s\right) =\sum_{k=1}^{\infty} \frac{h_{k}^{\left( r\right) }}{k^{s}},\text{ }\operatorname{Re}\left( s\right) >r, \] (which we call \textit{hyperharmonic zeta function}) where $h_{n}^{(r)}$ are the hyperharmonic numbers. We establish certain constants, denoted $\gamma_{h^{\left( r\right) }}\left( m\right) $, which naturally occur in the Laurent expansion of $\zeta_{h^{\left( r\right) }}\left( s\right) $. Moreover, we show that the constants $\gamma_{h^{\left( r\right) }}\left( m\right) $ and integrals involving generalized exponential integral can be written as a finite combination of some special constants.


title: Monads for Measurable Queries in Probabilistic Databases

abstract: We consider a bag (multiset) monad on the category of standard Borel spaces, and show that it gives a free measurable commutative monoid. Firstly, we show that a recent measurability result for probabilistic database queries (Grohe and Lindner, ICDT 2020) follows quickly from the fact that queries can be expressed in monad-based terms. We also extend this measurability result to a fuller query language. Secondly, we discuss a distributive law between probability and bag monads, and we illustrate that this is useful for generating probabilistic databases.


title: A General Glivenko-G\"odel Theorem for Nuclei

abstract: Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Glivenko's theorem from double negation to an arbitrary nucleus, from provability in a calculus to an inductively generated abstract consequence relation, and from propositional logic to any set of objects whatsoever. The resulting conservation theorem comes with precise criteria for its validity, which allow us to instantly include G\"odel's counterpart for first-order predicate logic of Glivenko's theorem. The open nucleus gives us a form of the deduction theorem for positive logic, and the closed nucleus prompts a variant of the reduction from intuitionistic to minimal logic going back to Johansson.


title: A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory

abstract: Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets of variables. They can be organized into a cartesian bicategory, which unfortunately fails to be closed for essentially two reasons, which we address here by suitably modifying the model. Firstly, a naive closure is too large to be well-defined, which can be overcome by restricting to polynomials which are finitary. Secondly, the resulting putative closure fails to properly take the 2-categorical structure in account. We advocate here that this can be addressed by considering polynomials in groupoids, instead of sets. For those, the constructions involved into composition have to be performed up to homotopy, which is conveniently handled in the setting of homotopy type theory: we use it here to formally perform the constructions required to build our cartesian bicategory, in Agda. Notably, this requires us introducing an axiomatization in a small universe of the type of finite types, as an appropriate higher inductive type of natural numbers and bijections.


title: Traced Monoidal Categories as Algebraic Structures in Prof

abstract: We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory of profunctors. This enables reasoning about the trace using the graphical calculus for monoidal bicategories, which we illustrate in detail. We apply our techniques to study traced ∗-autonomous categories, proving a new equivalence result between the left ⊗-trace and the right ⅋-trace, and describing a new condition under which traced ∗-autonomous categories become autonomous.


title: Sharp Elements and Apartness in Domains

abstract: Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal, similar to how inhabitedness is a positive formulation of nonemptiness. To exemplify sharpness, we note that a lower real is sharp if and only if it is located. Our first main result is that for a large class of continuous dcpos, the Bridges-Vita apartness topology and the Scott topology coincide. Although we cannot expect a tight or cotransitive apartness on nontrivial dcpos, we prove that the intrinsic apartness is both tight and cotransitive when restricted to the sharp elements of a continuous dcpo. These include the strongly maximal elements, as studied by Smyth and Heckmann. We develop the theory of strongly maximal elements highlighting its connection to sharpness and the Lawson topology. Finally, we illustrate the intrinsic apartness, sharpness and strong maximality by considering several natural examples of continuous dcpos: the Cantor and Baire domains, the partial Dedekind reals and the lower reals.


title: From Semantics to Types: the Case of the Imperative lambda-Calculus

abstract: We propose an intersection type system for an imperative lambda-calculus based on a state monad and equipped with algebraic operations to read and write to the store. The system is derived by solving a suitable domain equation in the category of omega-algebraic lattices; the solution consists of a filter-model generalizing the well-known construction for ordinary lambda-calculus. Then the type system is obtained out of the term interpretations into the filter-model itself. The so obtained type system satisfies the "type-semantics" property, and it is sound and complete by construction.


title: Uniformly Self-Justified Equilibria

abstract: We consider dynamic stochastic economies with heterogeneous agents and introduce the concept of uniformly self-justified equilibria (USJE) -- temporary equilibria for which forecasts are best uniform approximations to a selection of the equilibrium correspondence. In a USJE, individuals' forecasting functions for the next period's endogenous variables are assumed to lie in a compact, finite-dimensional set of functions, and the forecasts constitute the best approximation within this set. We show that USJE always exist and develop a simple algorithm to compute them. Therefore, they are more tractable than rational expectations equilibria that do not always exist. As an application, we discuss a stochastic overlapping generations exchange economy and provide numerical examples to illustrate the concept of USJE and the computational method.


title: Syntactic Regions for Concurrent Programs

abstract: In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have been introduced, allowing to take in account equivalence between execution traces, as well as translate features of the execution (such as the presence of deadlocks) into geometrical situations. In this context, many algorithms were introduced, based on a description of the geometrical models as regions consisting of unions of rectangles. We explain here that these constructions can actually be performed directly on the syntax of programs, thus resulting in representations which are more natural and easier to implement. In order to do so, we start from the observation that positions in a program can be described as partial explorations of the program. The operational semantics induces a partial order on positions, and regions can be defined as formal unions of intervals in the resulting poset. We then study the structure of such regions and show that, under reasonable conditions, they form a boolean algebra and admit a representation in normal form (which corresponds to covering a space by maximal intervals), thus supporting the constructions needed for the purpose of studying programs. All the operations involved here are given explicit algorithmic descriptions.


title: Two Guarded Recursive Powerdomains for Applicative Simulation

abstract: Clocked Cubical Type Theory is a new type theory combining the power of guarded recursion with univalence and higher inductive types (HITs). This type theory can be used as a metalanguage for synthetic guarded domain theory in which one can solve guarded recursive type equations, also with negative variable occurrences, and use these to construct models for reasoning about programming languages. Combining this with HITs allows for the use of type constructors familiar from set-theory based approaches to semantics, such as quotients and finite powersets in these models. In this paper we show how to reason about the combination of finite non-determinism and recursion in this type theory. Unlike traditional domain theory which takes an ordering of programs as primitive, synthetic guarded domain theory takes the notion of computation step as primitive in the form of a modal operator. We use this extra intensional information to define two guarded recursive (finite) powerdomain constructions differing in the way non-determinism interacts with the computation steps. As an example application of these we show how to prove applicative similarity a congruence in the cases of may- and must-convergence for the untyped lambda calculus with finite non-determinism. Such results are usually proved using operational reasoning and Howe's method. Here we use an adaptation of a denotational method developed by Pitts in the context of domain theory.


title: Inductive and Coinductive Predicate Liftings for Effectful Programs

abstract: We formulate a framework for describing behaviour of effectful higher-order recursive programs. Examples of effects are implemented using effect operations, and include: execution cost, nondeterminism, global store and interaction with a user. The denotational semantics of a program is given by a coinductive tree in a monad, which combines potential return values of the program in terms of effect operations. Using a simple test logic, we construct two sorts of predicate liftings, which lift predicates on a result type to predicates on computations that produce results of that type, each capturing a facet of program behaviour. Firstly, we study inductive predicate liftings which can be used to describe effectful notions of total correctness. Secondly, we study coinductive predicate liftings, which describe effectful notions of partial correctness. The two constructions are dual in the sense that one can be used to disprove the other. The predicate liftings are used as a basis for an endogenous logic of behavioural properties for higher-order programs. The program logic has a derivable notion of negation, arising from the duality of the two sorts of predicate liftings, and it generates a program equivalence which subsumes a notion of bisimilarity. Appropriate definitions of inductive and coinductive predicate liftings are given for a multitude of effect examples. The whole development has been fully formalized in the Agda proof assistant.


title: A Compositional Approach to Parity Games

abstract: In this paper, we introduce open parity games, which is a compositional approach to parity games. This is achieved by adding open ends to the usual notion of parity games. We introduce the category of open parity games, which is defined using standard definitions for graph games. We also define a graphical language for open parity games as a prop, which have recently been used in many applications as graphical languages. We introduce a suitable semantic category inspired by the work by Grellois and Melli\`es on the semantics of higher-order model checking. Computing the set of winning positions in open parity games yields a functor to the semantic category. Finally, by interpreting the graphical language in the semantic category, we show that this computation can be carried out compositionally.


title: DetarNet: Decoupling Translation and Rotation by Siamese Network for Point Cloud Registration

abstract: Point cloud registration is a fundamental step for many tasks. In this paper, we propose a neural network named DetarNet to decouple the translation $t$ and rotation $R$, so as to overcome the performance degradation due to their mutual interference in point cloud registration. First, a Siamese Network based Progressive and Coherent Feature Drift (PCFD) module is proposed to align the source and target points in high-dimensional feature space, and accurately recover translation from the alignment process. Then we propose a Consensus Encoding Unit (CEU) to construct more distinguishable features for a set of putative correspondences. After that, a Spatial and Channel Attention (SCA) block is adopted to build a classification network for finding good correspondences. Finally, the rotation is obtained by Singular Value Decomposition (SVD). In this way, the proposed network decouples the estimation of translation and rotation, resulting in better performance for both of them. Experimental results demonstrate that the proposed DetarNet improves registration performance on both indoor and outdoor scenes. Our code will be available in \url{https://github.com/ZhiChen902/DetarNet}.


title: Gaussian quadrature rules for composite highly oscillatory integrals

abstract: Highly oscillatory integrals of composite type arise in electronic engineering and their calculations is a challenging problem. In this paper, we propose two Gaussian quadrature rules for computing such integrals. The first one is constructed based on the classical theory of orthogonal polynomials and its nodes and weights can be computed efficiently by using tools of numerical linear algebra. We show that the rate of convergence of this rule depends solely on the regularity of the non-oscillatory part of the integrand. The second one is constructed with respect to a sign-changing function and the classical theory of Gaussian quadrature can not be used anymore. We explore theoretical properties of this Gaussian quadrature, including the trajectories of the quadrature nodes and the convergence rate of these nodes to the endpoints of the integration interval, and prove its asymptotic error estimate under suitable hypotheses. Numerical experiments are presented to demonstrate the performance of the proposed methods.


title: Investigating Shifts in GAN Output-Distributions

abstract: A fundamental and still largely unsolved question in the context of Generative Adversarial Networks is whether they are truly able to capture the real data distribution and, consequently, to sample from it. In particular, the multidimensional nature of image distributions leads to a complex evaluation of the diversity of GAN distributions. Existing approaches provide only a partial understanding of this issue, leaving the question unanswered. In this work, we introduce a loop-training scheme for the systematic investigation of observable shifts between the distributions of real training data and GAN generated data. Additionally, we introduce several bounded measures for distribution shifts, which are both easy to compute and to interpret. Overall, the combination of these methods allows an explorative investigation of innate limitations of current GAN algorithms. Our experiments on different data-sets and multiple state-of-the-art GAN architectures show large shifts between input and output distributions, showing that existing theoretical guarantees towards the convergence of output distributions appear not to be holding in practice.


title: Neutrino Observations of LHAASO Sources: Present Constraints and Future Prospects

abstract: The Large High Altitude Air Shower Observatory (LHAASO) observed a dozen of gamma-ray sources with significant emission above 100 TeV, which may be strong candidates of PeVatrons. Neutrino observations are crucial to diagnose whether the gamma-ray radiative process is hadronic or leptonic. We use the Bayesian method to analyze the ten-year (2008-2018) IceCube data, and hence constrain the hadronic gamma-ray emission in the LHAASO sources. The present neutrino data show that the hadronic gamma-ray flux from Crab Nebula is lower than the observed gamma-ray flux at the 90% C.L. and contributes less than 86%, which disfavors the hadronic origin of the gamma-rays below tens of TeV. For the other LHAASO sources, the present neutrino observations cannot put useful constraints on the gamma-ray radiative process. We consider the uncertainty of the source extension: the upper limits on hadronic gamma-ray flux tend to increase with the extension; and some sources, i.e., LHAASO J2032+4102, LHAASO J1929+1745, and LHAASO J1908+0621, show relatively high statistical significance of neutrino signals if the extension is <0.6 deg. We finally estimate the future observational results of LHAASO sources by the proposed neutrino telescopes. If the LHAASO-observed PeV gamma-rays are of hadronic origin, Crab Nebula may be detected at >100 TeV at 3-sigma C.L. within 20 years by a neutrino detector with the effective area 30 times that of IceCube.


title: Constructive Axiomatics in Spacetime Physics Part I: Walkthrough to the Ehlers-Pirani-Schild Axiomatisation

abstract: The Ehlers-Pirani-Schild (EPS) constructive axiomatisation of general relativity, published in 1972, purports to build up the kinematical structure of that theory from only axioms which have indubitable empirical content. It is, therefore, of profound significance both to the epistemology and to the metaphysics of spacetime theories. This axiomatisation is, however, self-consciously terse, rendering it difficult to ascertain whether it succeeds. In this article, we provide a pedagogical walkthrough to the EPS axiomatisation, filling relevant conceptual and mathematical gaps and rendering explicit controversial assumptions. There are two companion papers, in which we discuss the significance of constructive approaches to spacetime structure more generally (Part II), and (with Emily Adlam) consider extensions of the EPS axiomatisation towards quantum general relativity based upon quantum mechanical inputs (Part III).


title: Performance of Refined Isogeometric Analysis in Solving Quadratic Eigenvalue Problems

abstract: Certain applications that analyze damping effects require the solution of quadratic eigenvalue problems (QEPs). We use refined isogeometric analysis (rIGA) to solve quadratic eigenproblems. rIGA discretization, while conserving desirable properties of maximum-continuity isogeometric analysis (IGA), reduces the interconnection between degrees of freedom by adding low-continuity basis functions. This connectivity reduction in rIGA's algebraic system results in faster matrix LU factorizations when using multifrontal direct solvers. We compare computational costs of rIGA versus those of IGA when employing Krylov eigensolvers to solve quadratic eigenproblems arising in 2D vector-valued multifield problems. For large problem sizes, the eigencomputation cost is governed by the cost of LU factorization, followed by costs of several matrix-vector and vector-vector multiplications, which correspond to Krylov projections. We minimize the computational cost by introducing C^0 and C^1 separators at specific element interfaces for our rIGA generalizations of the curl-conforming Nedelec and divergence-conforming Raviart-Thomas finite elements. Let p be the polynomial degree of basis functions; the LU factorization is up to O((p-1)^2) times faster when using rIGA compared to IGA in the asymptotic regime. Thus, rIGA theoretically improves the total eigencomputation cost by O((p-1)^2) for sufficiently large problem sizes. Yet, in practical cases of moderate-size eigenproblems, the improvement rate deteriorates as the number of computed eigenvalues increases because of multiple matrix-vector and vector-vector operations. Our numerical tests show that rIGA accelerates the solution of quadratic eigensystems by O(p-1) for moderately sized problems when we seek to compute a reasonable number of eigenvalues.


title: Towards a conjecture of Birmel\'e-Bondy-Reed on the Erd\H{o}s-P\'osa property of long cycles

abstract: A conjecture of Birmel\'e, Bondy and Reed states that for any integer $\ell\geq 3$, every graph $G$ without two vertex-disjoint cycles of length at least $\ell$ contains a set of at most $\ell$ vertices which meets all cycles of length at least $\ell$. They showed the existence of such a set of at most $2\ell+3$ vertices. This was improved by Meierling, Rautenbach and Sasse to $5\ell/3+29/2$. Here we present a proof showing that at most $3\ell/2+7/2$ vertices suffice.


title: Correlated Electrons and Mass Enhancement on the Beta-Mn Type Lattice

abstract: Electronic structure and electron correlations of the Hubbard model on the Beta-Mn lattice have been investigated on the basis of the momentum dependent local ansatz wavefunction method. It is found that the electrons on the Beta-Mn lattice are significantly correlated as compared with those on the face centered cubic (fcc) and the body centered cubic (bcc) lattices; the correlation energy gain of the Beta-Mn lattice structure is the largest among the Beta-Mn, the fcc, and the bcc structures, and the charge fluctuations show a significant suppression. In particular, it is found that the mass enhancement factor on the Beta-Mn lattice shows a large peak around the electron number per atom n=1.1 when n is varied at the typical Coulomb interaction energy strength of transition metals. It is pointed that the large mass enhancement may explain anomalous electronic specific heat coefficient in Beta-Mn.


title: The complete weight enumerator of the Reed-Solomon code with dimension two or three

abstract: It is well-known that Reed-Solomon codes and extended Reed-Solomon codes are two special classes of MDS codes with wide applications in practice. The complete weight enumerators of these codes are very important for determining the capability of both error-detection and error-correction. In this paper, for any positive integer $m$ and prime $p$, basing on the character sums, we determine the complete weight enumerators of the Reed-Solomon code and the extended Reed-Solomon code with dimension $k$ $(k=2,3)$ over $\mathbb{F}_{p^m}$, explictly, which are generalizations of the corresponding results in \cite{BK91,K04}.


title: Method to extracting the penetration field in superconductors from DC magnetization data

abstract: The lower critical field, Bc1, is one of the fundamental quantities of a superconductor which directly manifests the Cooper pair bulk density in the material. Despite this field can be measured by several techniques, the most conventional way is to calculate this field from experimentally measured DC penetration field, Bp, which is defined as the starting point of the deviation of the DC magnetization curve, M(Bappl), from a linear dependence. Surprisingly enough we found that there is no mathematical routine which describes how this starting point of deviation can be found. Here we proposed to extract Bp data from the fit of M(Bappl) dataset to the power law, where the threshold criterion Mc can be established by a convention. The advantage of this approach is that the procedure extracts one additional characteristic parameter, which is the power-law exponent. We demonstrated the applicability of the approach for polycrystalline ThIr3, WB4.2, BaTi2Bi2O, Th4H15, for Pb thin films and for Nb single crystal. Due to in majority of reports Bc1(T) analysis is limited by the extracting of the London penetration depth, here we advanced the analysis to extract primary thermodynamic superconducting parameters (i.e., the ground state superconducting energy gap, ${\Delta}(0)$, the relative jump in electronic specific heat at transition temperature, ${\Delta}C/C$, and the gap-to-transition temperature ratio, $2{\Delta}(0)/(k_B T_c )$ from Bc1(T) data. This extraction was shown for Nb, ThIr3, TaRh2B2 and NbRh2B2.


title: Application of the space-based optical interferometer towards measuring cosmological distances of quasars

abstract: Measuring the quasar distance through joint analysis of spectroastrometry (SA) and reverberation mapping (RM) observations is a new method for driving the development of cosmology. In this paper, we carry out detailed simulation and analysis to study the effect of four basic observational parameters (baseline length, exposure time, equivalent diameter and spectral resolution) on the data quality of differential phase curves (DPCs), furthermore on the accuracy of distance measurement. In our simulation, we adopt an axis symmetrical disc model of broad line region (BLR) to generate differential phase signals. We find that the differential phases and their Poisson errors could be amplified by extending the baseline, while the influence of OPD (optical path difference) errors can be reduced during fitting the BLR model. Longer exposure time or larger equivalent diameter helps reduce the absolute Poisson error. Therefore, the relative error of DPCs could be reduce by increasing any of the above three parameters, then the accuracy of distance measurement could be improved. In contrast, the uncertainty of $D_{\rm{A}}$ ( absolute angular distances) could be improved with higher spectral resolution, although the relative error of DPCs would be amplified. We show how the uncertainty of distance measurement varies with the relative error of DPCs. For our specific set of model parameters, without considering more complicated structures and kinematics of BLRs in our simulation, it is found that the relative error of DPCs $<$ 20$\%$ is a limit for accurate distance measurement. The relative error of DPCs have a lower limit (roughly 5$\%$) and the uncertainty of distance measurement can be better than 2$\%$.


title: Intelligent Document Processing -- Methods and Tools in the real world

abstract: The originality of this publication is to look at the subject of IDP (Intelligent Document Processing) from the perspective of an end-user and industrialist and not that of a Computer Science researcher. This domain is one part of the challenge of information digitalisation that constitutes the Industrial Revolution of the twenty first century (Industry 4.0) and this paper looks specifically at the difficult areas of classifying, extracting information and subsequent integration into business processes with respect to forms and invoices. Since the focus is on practical implementation a brief review is carried out of the market in commercial tools for OCR, document classification and data extraction in so far as this is publicly available together with pricing (if known). Brief definitions of the main terms encountered in Computer Science publications and commercial prospectuses are provided in order to de-mystify the language for the layman. A small number of practical tests are carried out on a few real documents in order to illustrate the capabilities of tools that are commonly available at a reasonable price. The unsolved (so far) issue of tables contained in invoices is raised. The case of a typical large industrial company is evoked where the requirement is to extract 100 per cent of the information with 100 per cent reliability in order to integrate into the back-end Enterprise Resource Planning system. Finally a brief description is given of the state-of-the-art research by the huge corporations who are pushing the boundaries of deep learning techniques further and further with massive computing and financial power - progress that will undoubtedly trickle down into the real world at some later date. The paper finishes by asking the question whether the objectives and timing of the commercial world and the progress of Computer Science are fully aligned.


title: Determining kernels in linear viscoelasticity

abstract: In this work, we investigate the inverse problem of determining the kernel functions that best describe the mechanical behavior of a complex medium modeled by a general nonlocal viscoelastic wave equation. To this end, we minimize a tracking-type data misfit function under this PDE constraint. We perform the well-posedness analysis of the state and adjoint problems and, using these results, rigorously derive the first-order sensitivities. Numerical experiments in a three-dimensional setting illustrate the method.


title: Unsupervised Domain Adaptation for Constraining Star Formation Histories

abstract: The prevalent paradigm of machine learning today is to use past observations to predict future ones. What if, however, we are interested in knowing the past given the present? This situation is indeed one that astronomers must contend with often. To understand the formation of our universe, we must derive the time evolution of the visible mass content of galaxies. However, to observe a complete star life, one would need to wait for one billion years! To overcome this difficulty, astrophysicists leverage supercomputers and evolve simulated models of galaxies till the current age of the universe, thus establishing a mapping between observed radiation and star formation histories (SFHs). Such ground-truth SFHs are lacking for actual galaxy observations, where they are usually inferred -- with often poor confidence -- from spectral energy distributions (SEDs) using Bayesian fitting methods. In this investigation, we discuss the ability of unsupervised domain adaptation to derive accurate SFHs for galaxies with simulated data as a necessary first step in developing a technique that can ultimately be applied to observational data.


title: The Impacts of Low/No-Code Development on Digital Transformation and Software Development

abstract: Low/No-code development is a software development method that provides users with a platform for visually creating applications with little or no coding. Companies and organizations need software applications and information systems for various business purposes like management in the technology era. Low/No-code development gives non-IT professionals a convenient tool for rapidly building simple business applications they need without or with little coding. In this paper, we explored the benefits & limitations of Low/No-Code development and modern Low/No-Code development platforms in the industry. In addition, we analyzed how it can be improved and prospected the impacts of Low/No-Code development on society and related industries in the future. In conclusion, we find that Low/No-code development is a promising trend that can significantly impact future software development and digital transformation.


title: On the Equivalence of Two Competing Affirmative Actions in School Choice

abstract: This note analyzes the outcome equivalence conditions of two popular affirmative action policies, majority quota and minority reserve, under the student optimal stable mechanism. These two affirmative actions generate an identical matching outcome, if the market either is effectively competitive or contains a sufficiently large number of schools.


title: Financial Vision Based Differential Privacy Applications

abstract: The importance of deep learning data privacy has gained significant attention in recent years. It is probably to suffer data breaches when applying deep learning to cryptocurrency that lacks supervision of financial regulatory agencies. However, there is little relative research in the financial area to our best knowledge. We apply two representative deep learning privacy-privacy frameworks proposed by Google to financial trading data. We designed the experiments with several different parameters suggested from the original studies. In addition, we refer the degree of privacy to Google and Apple companies to estimate the results more reasonably. The results show that DP-SGD performs better than the PATE framework in financial trading data. The tradeoff between privacy and accuracy is low in DP-SGD. The degree of privacy also is in line with the actual case. Therefore, we can obtain a strong privacy guarantee with precision to avoid potential financial loss.


title: Light-quark mass dependence of the nucleon axial charge and pion-nucleon scattering phenomenology

abstract: The light-quark mass dependence of the nucleon axial isovector charge ($g_A$) has been studied up to next-to-next-to-leading order, $O(p^4)$, in relativistic chiral perturbation theory using extended-on-mass-shell renormalization, without and with explicit $\Delta (1232)$ degrees of freedom. We show that in the $\Delta$-less case, at this order, the flat trend of $g_A (M_{\pi})$ exhibited by state-of-the-art lattice QCD (LQCD) results cannot be reproduced using low energy constants (LECs) extracted from pion-nucleon elastic and inelastic scattering. A satisfactory description of these LQCD data is only achieved in the theory with $\Delta$. From this fit we report $g_A (M_{\pi\rm{(phys)}}) = 1.260 \pm 0.012$, close to the experimental result, and $d_{16}= -0.88\pm 0.88$ GeV$^{-2}$, in agreement with its empirical value. The large uncertainties are of theoretical origin, reflecting the difference between $O(p^3)$ and $O(p^4)$ that still persists at large $M_{\pi}$ in presence of the $\Delta$.


title: Spatial, spin, and charge symmetry projections for a Fermi-Hubbard model on a quantum computer

abstract: We propose an extended version of the symmetry-adapted variational-quantum-eigensolver (VQE) and apply it to a two-component Fermi-Hubbard model on a bipartite lattice. In the extended symmetry-adapted VQE method, the Rayleigh quotient for the Hamiltonian and a parametrized quantum state in a properly chosen subspace is minimized within the subspace and is optimized among the variational parameters implemented on a quantum circuit to obtain variationally the ground state and the ground-state energy. The corresponding energy derivative with respect to a variational parameter is expressed as a Hellmann-Feynman-type formula of a generalized eigenvalue problem in the subspace, which thus allows us to use the parameter-shift rules for its evaluation. The natural-gradient-descent method is also generalized to optimize variational parameters in a quantum-subspace-expansion approach. As a subspace for approximating the ground state of the Hamiltonian, we consider a Krylov subspace generated by the Hamiltonian and a symmetry-projected variational state, and therefore the approximated ground state can restore the Hamiltonian symmetry that is broken in the parametrized variational state prepared on a quantum circuit. We show that spatial symmetry operations for fermions in an occupation basis can be expressed as a product of the nearest-neighbor fermionic swap operations on a quantum circuit. We also describe how the spin and charge symmetry operations, i.e., rotations, can be implemented on a quantum circuit. By numerical simulations, we demonstrate that the spatial, spin, and charge symmetry projections can improve the accuracy of the parametrized variational state, which can be further improved systematically by expanding the Krylov subspace without increasing the number of variational parameters.


title: Blockchain Meets AI for Resilient and Intelligent Internet of Vehicles

abstract: The Internet of Vehicles (IoV) is flourishing and offers various applications relating to road safety, traffic and fuel efficiency, and infotainment. Dealing with security and privacy threats and managing the trust (detecting malicious and misbehaving peers) in IoV remains the most significant concern. Artificial Intelligence is one of the most revolutionizing technologies, and the predictive power of its machine learning models can help detect intrusions and misbehaviors. Similarly, empowering the state-of-the-art IoV security framework with blockchain can make it secure and resilient. This article discusses joint AI and blockchain for security, privacy and trust-related risks in IoV. This paper also presents problems, challenges, requirements and solutions using ML and blockchain to address aforementioned issues in IoV.


title: On Graph Induced Symbolic Systems

abstract: \begin{abstract} In this paper, we investigate a shift arising from graph $G$. We prove that any $k$-dimensional shift of finite type can be generated through a $k$-dimensional graph. We investigate the structure of the shift space using the generating matrices for the shift space. We prove that a two dimensional shift space has a horizontally (vertically) periodic point if and only if it possesses a $(m,n)$-periodic point (for some $m,n\in \mathbb{Z}\setminus \{0\}$). We prove that a shift space is finite if and only if it can be generated by permutation matrices. We study the non-emptiness problem and existence of periodic points in terms of the generating matrices.


title: The DR21(OH) Trident -- Resolving the Massive Ridge into Three Entangled Fibers As the Initial Condition of Cluster Formation

abstract: DR21(OH) ridge, the central part of a high-mass star and cluster forming hub-filament system, is resolved spatially and kinematically into three nearly parallel fibers (f1, f2, and f3) with a roughly north-south orientation, using the observations of molecular transitions of H$^{13}$CO$^+$ (1-0), N$_2$H$^+$ (1-0), and NH$_2$D (1$_{1,1}$-1$_{0,1}$) with the Combined Array for Research in Millimeter Astronomy. These fibers are all mildly supersonic ($\sigma_{\rm V}$ about 2 times the sound speed), having lengths around 2 pc and widths about 0.1 pc, and they entangle and conjoin in the south where the most active high-mass star formation takes place. They all have line masses 1 - 2 orders of magnitude higher than their low-mass counterparts and are gravitationally unstable both radially and axially. However, only f1 exhibits high-mass star formation all the way along the fiber, yet f2 and f3 show no signs of significant star formation in their northern parts. A large velocity gradient increasing from north to south is seen in f3, and can be well reproduced with a model of free-fall motion toward the most massive and active dense core in the region, which corroborates the global collapse of the ridge and suggests that the disruptive effects of the tidal forces may explain the inefficiency of star formation in f2 and f3. On larger scales, some of the lower-density, peripheral filaments are likely to be the outer extensions of the fibers, and provide hints on the origin of the ridge.


title: Surveys of Clumps, Cores, and Condensations in the Cygnus X: II. Radio Properties of the Massive Dense Cores

abstract: We have carried out a high-sensitivity and high-resolution radio continuum study towards a sample of 47 massive dense cores (MDCs) in the Cygnus X star-forming complex using the Karl G. Jansky Very Large Array, aiming to detect and characterize the radio emission associated with star-forming activities down to ~0.01 pc scales. We have detected 64 radio sources within or closely around the full width at half-maximum (FWHM) of the MDCs, of which 37 are reported for the first time. The majority of the detected radio sources are associated with dust condensations embedded within the MDCs, and they are mostly weak and compact. We are able to build spectral energy distributions for 8 sources. Two of them indicate non-thermal emission and the other six indicate thermal free-free emission. We have determined that most of the radio sources are ionized jets or winds originating from massive young stellar objects, whereas only a few sources are likely to be ultra-compact HII regions. Further quantitative analyses indicate that the radio luminosity of the detected radio sources increases along the evolution path of the MDCs.


title: Coherent control of a local phonon in trapped ions using dynamical decoupling

abstract: In this paper, we present a dynamical decoupling (DD) technique to coherently control the dynamics of a single local phonon in trapped ions. A 2$\pi$ rotation at a motional sideband transition flips the sign of the relevant local phonon state, resulting in cancellation of the phonon dynamics. In this work, we implement DD using single and multiple blue-sideband pulses to control a single local phonon in two $^{40}{\rm Ca}^{+}$ ions in a linear Paul trap. Our proposed DD technique can be used to engineer coupling between local phonon modes.


title: An energy independent scaling of transverse momentum spectra of direct (prompt) photons from two-body processes in high-energy proton-proton collisions

abstract: Transverse momentum spectra of direct (prompt) photons from two-body processes in high-energy proton-proton (p+p) collisions are analyzed in this paper. We collected the experimental invariant cross-sections at mid-rapidity in p+p collisions measured by the UA6, CCOR, R806, R110, PHENIX, NA24, CMS, ALICE, and ATLAS Collaborations over a center-of-mass energy range from 24.3 GeV to 13 TeV. In fitting the data, we used different kinds of functions which include the revised Tsallis--Pareto-type function (the TP-like function) at the particle level, the convolution of two TP-like functions at the quark level, and the root-sum-of-squares of two revised Tsallis-like functions in which the quark chemical potentials $\mu _i=\mu_B/3$ or $\mu_i=0$, where $\mu_B$ is the baryon chemical potential. We have extracted the values of three main free parameters: the effective temperature $T$, power index $n_0$ (or entropy index $q$), and correction index $a_0$. After analyzing the changing trends of the parameters, we found that $T$, $q$, and $a_0$ increase and $n_0$ decreases with the increase of collision energy. Based on the analyses of transverse momentum spectra, an energy independent scaling, i.e. the $x_T$ scaling, is obtained.


title: Embodied Learning for Lifelong Visual Perception

abstract: We study lifelong visual perception in an embodied setup, where we develop new models and compare various agents that navigate in buildings and occasionally request annotations which, in turn, are used to refine their visual perception capabilities. The purpose of the agents is to recognize objects and other semantic classes in the whole building at the end of a process that combines exploration and active visual learning. As we study this task in a lifelong learning context, the agents should use knowledge gained in earlier visited environments in order to guide their exploration and active learning strategy in successively visited buildings. We use the semantic segmentation performance as a proxy for general visual perception and study this novel task for several exploration and annotation methods, ranging from frontier exploration baselines which use heuristic active learning, to a fully learnable approach. For the latter, we introduce a deep reinforcement learning (RL) based agent which jointly learns both navigation and active learning. A point goal navigation formulation, coupled with a global planner which supplies goals, is integrated into the RL model in order to provide further incentives for systematic exploration of novel scenes. By performing extensive experiments on the Matterport3D dataset, we show how the proposed agents can utilize knowledge from previously explored scenes when exploring new ones, e.g. through less granular exploration and less frequent requests for annotations. The results also suggest that a learning-based agent is able to use its prior visual knowledge more effectively than heuristic alternatives.


title: Longitudinal phase-space matching between radio-frequency systems with different harmonic numbers and accelerating voltages

abstract: We describe a simple mechanism to transform bunches with matched longitudinal phase-space distributions from one RF system to a matched distribution of a second RF system operating on a different harmonic and with a different accelerating voltage. The process is reversible and the longitudinal emittance is preserved. Simple equations that characterize the procedure are given and applications are discussed. In particular this method can be used to rapidly shorten the bunch length in proton rings.


title: Many faces of accretion in gamma ray bursts

abstract: Accretion powers relativistic jets in GRBs, similarly to other jet sources. Black holes that are at heart of long GRBs, are formed as the end product of stellar evolution. At birth, some of the black holes must be very rapidly spinning, to be able to power the GRBS. In some cases, the black holes may be born without formation of a disk/jet engine, and then the star will collapse without an electromagnetic transient. In this proceeding, we discuss the conditions for launching variable jets from the magnetized disk in an arrested state. We also discuss properties of collapsing massive stars as progenitors of GRBs, and the conditions which must be satisfied for the star in order for the collapsar to produce a bright gamma-ray transient. We find that the black hole rotation is further affected by self-gravity of the collapsing matter. Finally, we comment on the properties of the accretion disk under extreme conditions of nuclear densities and temperatures, while it can contribute to the kilonova accompanying short GRBs.


title: APRIL: Finding the Achilles' Heel on Privacy for Vision Transformers

abstract: Federated learning frameworks typically require collaborators to share their local gradient updates of a common model instead of sharing training data to preserve privacy. However, prior works on Gradient Leakage Attacks showed that private training data can be revealed from gradients. So far almost all relevant works base their attacks on fully-connected or convolutional neural networks. Given the recent overwhelmingly rising trend of adapting Transformers to solve multifarious vision tasks, it is highly valuable to investigate the privacy risk of vision transformers. In this paper, we analyse the gradient leakage risk of self-attention based mechanism in both theoretical and practical manners. Particularly, we propose APRIL - Attention PRIvacy Leakage, which poses a strong threat to self-attention inspired models such as ViT. Showing how vision Transformers are at the risk of privacy leakage via gradients, we urge the significance of designing privacy-safer Transformer models and defending schemes.


title: Synchronized Audio-Visual Frames with Fractional Positional Encoding for Transformers in Video-to-Text Translation

abstract: Video-to-Text (VTT) is the task of automatically generating descriptions for short audio-visual video clips, which can support visually impaired people to understand scenes of a YouTube video for instance. Transformer architectures have shown great performance in both machine translation and image captioning, lacking a straightforward and reproducible application for VTT. However, there is no comprehensive study on different strategies and advice for video description generation including exploiting the accompanying audio with fully self-attentive networks. Thus, we explore promising approaches from image captioning and video processing and apply them to VTT by developing a straightforward Transformer architecture. Additionally, we present a novel way of synchronizing audio and video features in Transformers which we call Fractional Positional Encoding (FPE). We run multiple experiments on the VATEX dataset to determine a configuration applicable to unseen datasets that helps describe short video clips in natural language and improved the CIDEr and BLEU-4 scores by 37.13 and 12.83 points compared to a vanilla Transformer network and achieve state-of-the-art results on the MSR-VTT and MSVD datasets. Also, FPE helps increase the CIDEr score by a relative factor of 8.6%.


title: Fast Scrambling due to Rotating Shockwaves in BTZ

abstract: We study the perturbation due to rotating shockwaves in BTZ geometries at late times and analyse the change in Mutual Information between the two subsystems belonging to the dual CFT$_L$ and CFT$_R$. We find that the scrambling of Mutual Information is in general governed by the Lyapunov index $\lambda_L$ which is bounded by $\kappa=\frac{2\pi}{\beta(1-\mu\mathcal{L})}\geq \frac{2\pi}{\beta}$ where $\mu=r_-/r_+$ and $\mathcal{L}$ is the angular momentum of the shockwave. For the special case of $\mathcal{L}$=$1$ we find the Mutual Information analytically and show that it is characterized by $\lambda_L=\kappa/2$ with the scrambling time for large black holes given as $t_*=\frac{\beta(1-\mu)}{\pi}\log S$.


title: The full rank condition for sparse random matrices

abstract: We derive a sufficient condition for a sparse random matrix with given numbers of non-zero entries in the rows and columns having full row rank. The result covers both matrices over finite fields with independent non-zero entries and $\{0,1\}$-matrices over the rationals. The sufficient condition is generally necessary as well.


title: A Bootstrap Test for Independence of Time Series Based on the Distance Covariance

abstract: We present a test for independence of two strictly stationary time series based on a bootstrap procedure for the distance covariance. Our test detects any kind of dependence between the two time series within an arbitrary maximum lag $L$. In simulation studies, our test outperforms alternative testing procedures. In proving the validity of the underlying bootstrap procedure, we generalise bounds for the Wasserstein distance between an empirical measure and its marginal distribution under the assumption of $\alpha$-mixing. Previous results of this kind only existed for i.i.d. processes.


title: Entanglement of Purification for Momentum Relaxed Superconductor

abstract: We reconstruct the information quantities in the holographic relaxed superconductor system and discuss how these quantities behave under non-symmetry configuration. We then combine the effect of the superconductor and the momentum relaxation, and find out that the superconductor effect will change how the momentum relaxation affect these information quantities.


title: Global existence and non-uniqueness for 3D Navier--Stokes equations with space-time white noise

abstract: We establish global-in-time existence and non-uniqueness of probabilistically strong solutions to the three dimensional Navier--Stokes system driven by space-time white noise. In this setting, solutions are expected to have space regularity at most $-1/2-\kappa$ for any $\kappa>0$. Consequently, the convective term is ill-defined analytically and probabilistic renormalization is required. Up to now, only local well-posedness has been known. With the help of paracontrolled calculus we decompose the system in a way which makes it amenable to convex integration. By a careful analysis of the regularity of each term, we develop an iterative procedure which yields global non-unique probabilistically strong paracontrolled solutions.Our result applies to any divergence free initial condition in $L^{2}\cup B^{-1+\kappa}_{\infty,\infty}$, $\kappa>0$, and implies also non-uniqueness in law.


title: Next-to-soft-virtual resummed rapidity distribution for Drell-Yan process to $\rm{\textbf{NNLO}+\overline{\textbf{NNLL}}}$

abstract: We present the differential predictions for the rapidity distribution of a pair of leptons through the Drell-Yan (DY) process at the LHC taking into account the soft-virtual (SV) as well as next-to-soft virtual (NSV) resummation effects in QCD perturbation theory to next-to-next-to-leading-order plus next-to-next-to-leading-logarithmic ($\rm{{NNLO+\overline{NNLL}}}$) accuracy. We perform the resummation in two dimensional Mellin space using our recent formalism \cite{Ajjath:2020lwb} by limiting ourselves to contributions only from quark anti-quark ($q \bar q$) initiated channels. The resummed corrections to the fixed order results are computed through a matched formula using the minimal prescription procedure. We find that the resummation at next-to-leading-logarithmic (next-to-next-to-leading-logarithmic) level brings about 3.98\% (1.24\%) corrections respectively to the NLO (NNLO) results at the central scale value of $q=M_Z$ for 13 TeV LHC. We also observe that the sensitivity to the renormalisation scale gets improved substantially by the inclusion of NSV resummed predictions at $\rm \overline{NNLL}$ accuracy. Further, the lack of quark gluon ($qg$) initiated contributions to NSV part in the $\rm \overline{NNLL}$ resummed predictions leaves large factorisation scale dependence indicating their importance at NSV level as we go to higher orders in perturbation theory.


title: Skeleton for the one-dimensional aggregation equation

abstract: For the aggregation equation in $\mathbb{R}$, we consider the evolution of an initial density corresponding to the characteristic function of some set $\Omega_0$. We study the limit measure at the blow up time 1 for $\Omega_0$ open or compact and we inspect the limit set (skeleton) where this measure is supported.


title: Resurfacing processes constrained by crater distribution on Ryugu

abstract: Understanding the geological modification processes on asteroids can provide information concerning their surface history. Images of small asteroids from spacecraft show a depletion in terms of smaller craters. Seismic shaking was considered to be responsible for crater erasure and the main driver modifying the geology of asteroids via regolith convection or the Brazil nut effect. However, a recent artificial impact experiment on the asteroid Ryugu by the Japanese Hayabusa2 mission revealed minimal seismic activity. To investigate whether a seismic shaking model can reproduce the observed crater record, the crater distribution on Ryugu was analyzed using crater production functions under cohesionless conditions. Crater retention ages were estimated as a function of crater diameter for Ryugu, Itokawa, Eros, and Bennu using the crater size-frequency distribution and crater production function estimated for those asteroids. We found that the power-law indices "a" are inconsistent with diffusion processes (e.g., seismic shaking, a=2). This result suggests that seismic shaking models based on diffusion equations cannot explain the crater distribution on small asteroids. Alternative processes include surface flows, possibly at the origin of geomorphological and spectral features of Ryugu. We demonstrate that the vertical mixing of material at depths shallower than 1 m occurs over 10^3-10^5 yr by cratering and obliteration. The young surface age of Ryugu is consistent with the slow space weathering that results from cratering, as suggested in previous studies. The timescale (10^4-10^6 yr) required for resurfacing at depths of 2-4 m can be compared with the cosmic-ray exposure ages of returned samples to constrain the distribution of impactors that collide with Ryugu.


title: Environmental migration? An overview of the literature

abstract: The literature on the relationship between environmental factors such as climatic changes and natural hazards and human mobility (both internal and international) is characterized by heterogeneous results: some contributions highlight the role of climate changes as a driver of migratory flows, while others underline how this impact is mediated by geographical, economic and the features of the environmental shock. This paper attempts to map this literature, focusing on economics and empirical essays. The paper improves on the existing literature: (a) providing systematic research of the literature through main bibliographic databases, followed by a review and bibliometric analysis of all resulting papers; (b) building a citation-based network of contributions, that hollows to identify four separate clusters of paper; (c) applying meta-analysis methods on the sample of 96 papers released between 2003 and 2020, published in an academic journal, working papers series or unpublished studies, providing 3,904 point estimates of the effect of slow-onset events and 2,065 point estimates of the effect of fast-onset events. Overall, the meta-analytic average effect estimates a small impact of slow- and rapid-onset variables on migration, however positive and significant. When the clustering of the literature is accounted for, however, a significant heterogeneity emerges among the four clusters of papers, giving rise to new evidence on the formation of club-like convergence of literature outcomes.


title: Numerical semigroups, Dedekind sums and Alexander polynomials of torus knots

abstract: We connect Dedekind sums and Alexander polynomials of torus knots.


title: Review of Transition-Metal Diboride Thin Films

abstract: We review the thin film growth, chemistry, and physical properties of Group 4-6 transition-metal diboride (TMB2) thin films with AlB2-type crystal structure (Strukturbericht designation C32). Industrial applications are growing rapidly as TMB2 begin competing with conventional refractory ceramics like carbides and nitrides, including pseudo-binaries such as Ti1-xAlxN. The TMB2 crystal structure comprises graphite-like honeycombed atomic sheets of B interleaved by hexagonal close-packed TM layers. From the C32 crystal structure stems unique properties including high melting point, hardness, and corrosion resistance, yet limited oxidation resistance, combined with high electrical conductivity. We correlate the underlying chemical bonding, orbital overlap, and electronic structure to the mechanical properties, resistivity, and high-temperature properties unique to this class of materials. The review highlights the importance of avoiding contamination elements (like oxygen) and boron segregation on both the target and substrate sides during sputter deposition, for better-defined properties, regardless of the boride system investigated. This is a consequence of the strong tendency for B to segregate to TMB2 grain boundaries for boron-rich compositions of the growth flux. It is judged that sputter deposition of TMB2 films is at a tipping point towards a multitude of applications for TMB2 not solely as bulk materials, but also as protective coatings and electrically conducting high-temperature stable thin films.


title: Extended Self-Critical Pipeline for Transforming Videos to Text (TRECVID-VTT Task 2021) -- Team: MMCUniAugsburg

abstract: The Multimedia and Computer Vision Lab of the University of Augsburg participated in the VTT task only. We use the VATEX and TRECVID-VTT datasets for training our VTT models. We base our model on the Transformer approach for both of our submitted runs. For our second model, we adapt the X-Linear Attention Networks for Image Captioning which does not yield the desired bump in scores. For both models, we train on the complete VATEX dataset and 90% of the TRECVID-VTT dataset for pretraining while using the remaining 10% for validation. We finetune both models with self-critical sequence training, which boosts the validation performance significantly. Overall, we find that training a Video-to-Text system on traditional Image Captioning pipelines delivers very poor performance. When switching to a Transformer-based architecture our results greatly improve and the generated captions match better with the corresponding video.


title: Pure shape dynamics: General framework

abstract: We put forward a general framework for describing relational physical theories, which we call Pure Shape Dynamics (PSD). Elaborating on the original insights brought about by the Shape Dynamics program, PSD's novel take on relationalism is its insistence on describing any dynamical system by means of the intrinsic geometry of its associated curve in the suitable relational configuration space of the theory, namely shape space, whereby the corresponding equation of state of the curve expresses the ratio of change of one of its geometric degrees of freedom with respect to another one. The mathematical structure underlying the equation of state is a local section over a natural generalization of the unit tangent bundle, which we call shape phase space.


title: On the Complexity of Realizability for Safety LTL and Related Subfragments

abstract: We study the realizability problem for Safety LTL, the syntactic fragment of Linear Temporal Logic capturing safe formulas. We show that the problem is EXP-complete, disproving the existing conjecture of 2EXP-completeness. We achieve this by comparing the complexity of Safety LTL with seemingly weaker subfragments. In particular, we show that every formula of Safety LTL can be reduced to an equirealizable formula of the form $\alpha \land \Box \psi$, where $\alpha$ is a present formula over system variables and $\psi$ contains Next as the only temporal operator. The realizability problem for this new fragment, which we call $\mathsf{GX}_{\mathsf{0}}$, is also EXP-complete.


title: Sequential and distributive forcings without choice

abstract: In the Zermelo--Fraenkel set theory with the Axiom of Choice a forcing notion is "$\kappa$-distributive" if and only if it is "$\kappa$-sequential". We show that without the Axiom of Choice this equivalence fails, even if we include a weak form of the Axiom of Choice, the Principle of Dependent Choice for $\kappa$. Still, the equivalence may still hold along with very strong failures of the Axiom of Choice, assuming the consistency of large cardinal axioms. We also prove that while a $\kappa$-distributive forcing notion may violate Dependent Choice, it must preserve the Axiom of Choice for families of size $\kappa$. On the other hand, a $\kappa$-sequential can violate the Axiom of Choice for countable families. We also provide a condition of "quasiproperness" which is sufficient for the preservation of Dependent Choice, and is also necessary if the forcing notion is sequential.


title: Non-uniform dependence on initial data for the Camassa--Holm equation in Besov spaces: Revisited

abstract: In the paper, we revisit the uniform continuity properties of the data-to-solution map of the Camassa--Holm equation on the real-line case. We show that the data-to-solution map of the Camassa--Holm equation is not uniformly continuous on the initial data in Besov spaces $B_{p, r}^s(\mathbb{R})$ with $s>\frac{1}{2}$ and $1\leq p, r< \infty$, which improves the previous works [Himonas et al., Asian J. Math., 11 (2007)], [Li et al., J. Differ. Equ., 269 (2020)] and [Li et al., J. Math. Fluid Mech., 23 (2021)]. Furthermore, we present a strengthening of our previous work in [Li et al., J. Differ. Equ., 269 (2020)] and prove that the data-to-solution map for the Camassa--Holm equation is nowhere uniformly continuous in $B^s_{p,r}(\mathbb{R})$ with $s>\max\{1+1/{p},3/2\}$ and $(p,r)\in [1,\infty]\times[1,\infty)$. The method applies also to the b-family of equations which contain the Camassa--Holm and Degasperis--Procesi equations.


title: Inhomogeneous spatial patterns in diffusive predator-prey system with spatial memory and predator-taxis

abstract: In this paper, we consider a diffusive predator-prey system with spatial memory and predator-taxis. Since in this system, the memory delay appears in the diffusion term, and the diffusion term is nonlinear, the classical normal form of Hopf bifurcation in the reaction-diffusion system with delay can't be applied to this system. Thus, in this paper, we first derive an algorithm for calculating the normal form of Hopf bifurcation in this system. Then in order to illustrate the effectiveness of our newly developed algorithm, we consider the diffusive Holling-Tanner model with spatial memory and predator-taxis. The stability and Hopf bifurcation analysis of this model are investigated, and the direction and stability of Hopf bifurcation periodic solution are also researched by using our newly developed algorithm for calculating the normal form of Hopf bifurcation. At last, we carry out some numerical simulations, two stable spatially inhomogeneous periodic solutions corresponding to the mode-1 and mode-2 Hopf bifurcations are found, which verifies our theoretical analysis results.


title: On construction of k-regular maps to Grassmannians via algebras of socle dimension two

abstract: A continuous map $\mathbb{C}^n\to Gr(\tau, N)$ is $k$-regular if the $\tau$-dimensional subspaces corresponding to images of any $k$ distinct points span a $\tau k$-dimensional space. For $\tau = 1$ this essentially recovers the classical notion of a $k$-regular map $\mathbb{C}^n\to \mathbb{C}^N$. We provide new examples of $k$-regular maps, both in the classical setting $\tau = 1$ and for $\tau\geq 2$, where these are the first examples known. Our methods come from algebraic geometry, following and generalizing Buczy\'{n}ski-Januszkiewicz-Jelisiejew-Micha{\l}ek. The key and highly nontrivial part of the argument is proving that certain loci of the Hilbert scheme of points have expected dimension. As an important side result, we prove irreducibility of the punctual Hilbert scheme of $k$ points on a threefold, for $k\leq 11$.


title: Spherical Sherrington-Kirkpatrick model for deformed Wigner matrix with fast decaying edges

abstract: We consider the $2$-spin spherical Sherrington--Kirkpatrick model whose disorder is given by a deformed Wigner matrix of the form $W+\lambda V$, where $W$ is a Wigner matrix and $V$ is a random diagonal matrix with i.i.d. entries. Assuming that the density function of the entries of $V$ decays faster than a certain rate near the edges of its spectrum, we prove the sharp phase transition of the limiting free energy and its fluctuation. In the high temperature regime, the fluctuation of $F_N$ converges in distribution to a Gaussian distribution, whereas it converges to a Weibull distribution in the low temperature regime. We also prove several results for deformed Wigner matrices, including a local law for the resolvent entries, a central limit theorem of the linear spectral statistics, and a theorem on the rigidity of eigenvalues.


title: Fostering the Robustness of White-Box Deep Neural Network Watermarks by Neuron Alignment

abstract: The wide application of deep learning techniques is boosting the regulation of deep learning models, especially deep neural networks (DNN), as commercial products. A necessary prerequisite for such regulations is identifying the owner of deep neural networks, which is usually done through the watermark. Current DNN watermarking schemes, particularly white-box ones, are uniformly fragile against a family of functionality equivalence attacks, especially the neuron permutation. This operation can effortlessly invalidate the ownership proof and escape copyright regulations. To enhance the robustness of white-box DNN watermarking schemes, this paper presents a procedure that aligns neurons into the same order as when the watermark is embedded, so the watermark can be correctly recognized. This neuron alignment process significantly facilitates the functionality of established deep neural network watermarking schemes.


title: A Metamodel and Prototype for Fluid Document Formats

abstract: With the transformation of computing from personal computers to the Internet, document formats have also seen some changes over the years. Future document formats are likely going to adapt to the emerging needs of ubiquitous computing, where information processing is embedded in everyday activities and objects. While most existing document formats have originally been a digital emulation of paper documents, over the years they have been enriched with additional digital features. These features were mainly incorporated to take advantage of the new functionality offered by the devices on which the documents are accessed. With the advent of ubiquitous computing, document formats seem to be facing the next evolutionary step. They will have to adapt to novel mobile devices, innovative interaction modalities, the distribution over multiple devices as well as heterogeneous input sources. This adaptation to the age of ubiquitous computing asks for several new document features. We outline a roadmap towards future fluid document representations for ubiquitous information environments. Based on the resource-selector-link (RSL) hypermedia metamodel - a general hypermedia metamodel supporting distribution, user rights management and content adaptation - we developed a metamodel for fluid document formats and the corresponding online text editor for fluid documents.


title: Design of AlGaAs Laser Power Converters for the First Transmission Window

abstract: Thermalization losses in Laser Power Converters for the first transmission window occur due to the energy difference between 808 nm wavelength photons and the GaAs bandgap energy which results in lower efficiency. In this work, we analyze the potential of increasing the bandgap using AlGaAs to minimize the energy difference. The optimum aluminum content is 7 % in both single and triple junction converters reaching a maximum ideal efficiency of 71% at 1 W/cm2 and 77% at 50 W/cm2.


title: Rate theory modeling a vacancy mediated intra-granular fission gas bubbles growth in amorphous $U_3Si_2$

abstract: A model for gas bubble behavior in irradiated amorphous $U_3Si_2$ is generalized to take into account local influence of sinks for point defects and gas atoms as far as defect clustering resulting in growth of dislocation loops. A universality of bubble size distribution function and scaling law of bubble size growth is revealed. Temperature dependencies of main quantities governing bubble growth are discussed. Local distribution of bubbles and dislocation loops inside grains is studied in details to illustrate bubble size change in the vicinity of grain boundaries and estimate local swelling. Obtained data are compared with experimental and numerical studies.


title: Empirical approximation to invariant measures for McKean--Vlasov processes: mean-field interaction vs self-interaction

abstract: This paper proves that, under a monotonicity condition, the invariant probability measure of a McKean--Vlasov process can be approximated by weighted empirical measures of some processes including itself. These processes are described by distribution dependent or empirical measure dependent stochastic differential equations constructed from the equation for the McKean--Vlasov process. Convergence of empirical measures is characterized by upper bound estimates for their Wasserstein distance to the invariant measure. The theoretical results are demonstrated via a mean-field Ornstein--Uhlenbeck process.