title: Measurement of Muon-induced High-energy Neutrons from Rock in an Underground Gd-doped Water Detector

abstract: We present a measurement of the rate of correlated neutron captures in the WATCHBOY detector, deployed at a depth of approximately 390 meters water equivalent (m.w.e.) in the Kimballton Underground Research Facility (KURF). WATCHBOY consists of a cylindrical 2 ton water target doped with 0.1% gadolinium, surrounded by a 40 ton undoped water hermetic shield. We present a comparison of our results with the expected rate of correlated neutron captures arising from high-energy neutrons incident on the outside of the WATCHBOY shield, predicted by a hybrid FLUKA/GEANT4-based simulation. The incident neutron energy distribution used in the simulation was measured by a fast neutron spectrometer, the 1.8-ton Multiplicity and Recoil Spectrometer (MARS) detector, at the same depth. We find that the measured detection rate of two correlated neutrons is consistent with that predicted by simulation. The result lends additional confidence in the detection technique used by MARS, and therefore in the MARS spectra as measured at three different depths. Confirmation of the fast neutron flux and spectrum is important as it helps validate the scaling models used to predict the fast neutron fluxes at different overburdens.


title: Polarization singularities in the self-focusing of an elliptically polarized laser beam in an isotropic phase of cholesteric liquid crystal close to the temperature of phase transition

abstract: The work is devoted to the self-action of laser beams propagating in the isotropic phase of a cholesteric liquid crystal near the transition temperature to the mesophase in a wide range of parameter values characterizing the nonlocality of the nonlinear optical response of the medium, defocusing in the medium, the power of incident laser radiation and diffraction in the liquid crystal. The origin of the primary singularities of both polarization components of radiation in a wide range of parameters of radiation and the medium is investigated for different values of the parameter characterizing the nonlocality of nonlinear optical response in chiral medium. For each of the values, the visibility diagrams of the primary singularities of both polarization components are plotted depending on the parameters of the medium and radiation, and their asymmetry is found.


title: Edge Modes in One Dimensional Topological Charge Conserving Spin-Triplet Superconductors: Exact Results from Bethe Ansatz

abstract: Charge conserving spin singlet and spin triplet superconductors in one dimension are described by the $U(1)$ symmetric Thirring Hamiltonian. We solve the model with open boundary conditions on the a finite line segment by means of the Bethe Ansatz. We show that the ground state displays a fourfold degeneracy when the bulk is in the spin triplet superconducting phase. This degeneracy corresponds to the existence of zero energy boundary bound states localized at the edges which may be interpreted, in the light of the previous semi-classical analysis due to Kesselman and Berg \cite{Keselman2015}, as resulting from the existence of fractional spin $\pm 1/4$ localized at the two edges of the system.


title: Joint Transmission in QoE-Driven Backhaul-Aware MC-NOMA Cognitive Radio Network

abstract: In this paper, we develop a resource allocation framework to optimize the downlink transmission of a backhaul-aware multi-cell cognitive radio network (CRN) which is enabled with multi-carrier non-orthogonal multiple access (MC-NOMA). The considered CRN is composed of a single macro base station (MBS) and multiple small BSs (SBSs) that are referred to as the primary and secondary tiers, respectively. For the primary tier, we consider orthogonal frequency division multiple access (OFDMA) scheme and also Quality of Service (QoS) to evaluate the user satisfaction. On the other hand in secondary tier, MC-NOMA is employed and the user satisfaction for web, video and audio as popular multimedia services is evaluated by Quality-of-Experience (QoE). Furthermore, each user in secondary tier can be served simultaneously by multiple SBSs over a subcarrier via Joint Transmission (JT). In particular, we formulate a joint optimization problem of power control and scheduling (i.e., user association and subcarrier allocation) in secondary tier to maximize total achievable QoE for the secondary users. An efficient resource allocation mechanism has been developed to handle the non-linear form interference and to overcome the non-convexity of QoE serving functions. The scheduling and power control policy leverage on Augmented Lagrangian Method (ALM). Simulation results reveal that proposed solution approach can control the interference and JT-NOMA improves total perceived QoE compared to the existing schemes.


title: Shannon Meets Turing: Non-Computability and Non-Approximability of the Finite State Channel Capacity

abstract: The capacity of finite state channels (FSCs) has been established as the limit of a sequence of multi-letter expressions only and, despite tremendous effort, a corresponding finite-letter characterization remains unknown to date. This paper analyzes the capacity of FSCs from a fundamental, algorithmic point of view by studying whether or not the corresponding achievability and converse bounds on the capacity can be computed algorithmically. For this purpose, the concept of Turing machines is used which provide the fundamental performance limits of digital computers. To this end, computable continuous functions are studied and properties of computable sequences of such functions are identified. It is shown that the capacity of FSCs is not Banach-Mazur computable which is the weakest form of computability. This implies that there is no algorithm (or Turing machine) that can compute the capacity of a given FSC. As a consequence, it is then shown that either the achievability or converse must yield a bound that is not Banach-Mazur computable. This also means that there exist FSCs for which computable lower and upper bounds can never be tight. To this end, it is further shown that the capacity of FSCs is not approximable, which is an even stricter requirement than non-computability. This implies that it is impossible to find a finite-letter entropic characterization of the capacity of general FSCs. All results hold even for finite input and output alphabets and finite state set. Finally, connections to the theory of effective analysis are discussed. Here, results are only allowed to be proved in a constructive way, while existence results, e.g., proved based on the axiom of choice, are forbidden.


title: Algebraic approach and Berry phase of a Hamiltonian with a general $SU(1,1)$ symmetry

abstract: In this paper we study a general Hamiltonian with a linear structure given in terms of two different realizations of the $SU(1,1)$ group. We diagonalize this Hamiltonian by using the similarity transformations of the $SU(1,1)$ and $SU(2)$ displacement operators performed to the $su(1,1)$ Lie algebra generators. Then, we compute the Berry phase of a general time-dependent Hamiltonian with this general $SU(1,1)$ linear structure.


title: Near-infrared Spectral Characterization of Solar-type Stars in the Northern Hemisphere

abstract: Although solar-analog stars have been studied extensively over the past few decades, most of these studies have focused on visible wavelengths, especially those identifying solar-analog stars to be used as calibration tools for observations. As a result, there is a dearth of well-characterized solar analogs for observations in the near-infrared, a wavelength range important for studying solar system objects. We present 184 stars selected based on solar-like spectral type and V-J and V-K colors whose spectra we have observed in the 0.8-4.2 micron range for calibrating our asteroid observations. Each star has been classified into one of three ranks based on spectral resemblance to vetted solar analogs. Of our set of 184 stars, we report 145 as reliable solar-analog stars, 21 as solar analogs usable after spectral corrections with low-order polynomial fitting, and 18 as unsuitable for use as calibration standards owing to spectral shape, variability, or features at low to medium resolution. We conclude that all but 5 of our candidates are reliable solar analogs in the longer wavelength range from 2.5 to 4.2 microns. The average colors of the stars classified as reliable or usable solar analogs are V-J=1.148, V-H=1.418, and V-K=1.491, with the entire set being distributed fairly uniformly in R.A. across the sky between -27 and +67 degrees in decl.


title: The braingraph.org Database with more than 1000 Robust Human Structural Connectomes in Five Resolutions

abstract: The human brain is the most complex object of study we encounter today. Mapping the neuronal-level connections between the more than 80 billion neurons in the brain is a hopeless task for science. By the recent advancement of magnetic resonance imaging (MRI), we are able to map the macroscopic connections between about 1000 brain areas. The MRI data acquisition and the subsequent algorithmic workflow contain several complex steps, where errors can occur. In the present contribution, we describe and publish 1064 human connectomes, computed from the public release of the Human Connectome Project. Each connectome is available in 5 resolutions, with 83, 129, 234, 463, and 1015 anatomically labeled nodes. For error correction, we follow an averaging and extreme value deleting strategy for each edge and for each connectome. The resulting 5320 braingraphs can be downloaded from the \url{https://braingraph.org} site. This dataset makes possible the access to these graphs for scientists unfamiliar with neuroimaging- and connectome-related tools: mathematicians, physicists, and engineers can use their expertize and ideas in the analysis of the connections of the human brain. Brain scientists also have a robust and large, multi-resolution set for connectomical studies.


title: Graph colorings with restricted bicolored subgraphs: I. Acyclic, star, and treewidth colorings

abstract: We show that for any fixed integer $m \geq 1$, a graph of maximum degree $\Delta$ has a coloring with $O(\Delta^{(m+1)/m})$ colors in which every connected bicolored subgraph contains at most $m$ edges. This result unifies previously known upper bounds on the number of colors sufficient for certain types of graph colorings, including star colorings, for which $O(\Delta^{3/2})$ colors suffice, and acyclic colorings, for which $O(\Delta^{4/3})$ colors suffice. Our proof uses a probabilistic method of Alon, McDiarmid, and Reed. This result also gives previously unknown upper bounds, including the fact that a graph of maximum degree $\Delta$ has a proper coloring with $O(\Delta^{9/8})$ colors in which every bicolored subgraph is planar, as well as a proper coloring with $O(\Delta^{13/12})$ colors in which every bicolored subgraph has treewidth at most $3$.


title: Graph colorings with restricted bicolored subgraphs: II. The graph coloring game

abstract: We consider the graph coloring game, a game in which two players take turns properly coloring the vertices of a graph, with one player attempting to complete a proper coloring, and the other player attempting to prevent a proper coloring. We show that if a graph $G$ has a proper coloring in which the game coloring number of each bicolored subgraph is bounded, then the game chromatic number of $G$ is bounded. As a corollary to this result, we show that for two graphs $G_1$ and $G_2$ with bounded game coloring number, the Cartesian product $G_1 \square G_2$ has bounded game chromatic number, answering a question of X. Zhu. We also obtain an upper bound on the game chromatic number of the strong product $G_1 \boxtimes G_2$ of two graphs.


title: Proportional Participatory Budgeting with Additive Utilities

abstract: We study voting rules for participatory budgeting, where a group of voters collectively decides which projects should be funded using a common budget. We allow the projects to have arbitrary costs, and the voters to have arbitrary additive valuations over the projects. We formulate an axiom (Extended Justified Representation, EJR) that guarantees proportional representation to groups of voters with common interests. We propose a simple and attractive voting rule called the Method of Equal Shares that satisfies this axiom for arbitrary costs and approval utilities, and that satisfies the axiom up to one project for arbitrary additive valuations. This method can be computed in polynomial time. In contrast, we show that the standard method for achieving proportionality in committee elections, Proportional Approval Voting (PAV), cannot be extended to work with arbitrary costs. Finally, we introduce a strengthened axiom (Full Justified Representation, FJR) and show that it is also satisfiable, though by a computationally more expensive and less natural voting rule.


title: A comparison of simple models for urban morphogenesis

abstract: The spatial distribution of population and activities within urban areas, or urban form at the mesoscopic scale, is the outcome of multiple antagonist processes. We propose in this paper to benchmark different models of urban morphogenesis, to systematically compare the urban forms they can produce. Different types of approaches are included, such as a reaction-diffusion model, a gravity-based model, and correlated percolation. Applying a diversity search algorithm, we estimate the feasible space of each model within a space of urban form indicators, in comparison of empirical values for worldwide urban areas. We find a complementarity of the different types of processes, advocating for a plurality of urban models.


title: On a plausible concept-wise multipreference semantics and its relations with self-organising maps

abstract: Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying some desired properties, such as KLM postulates, and avoiding the drowning problem, also defines a plausible notion of semantics. We motivate the plausibility of the concept-wise multi-preference semantics by developing a logical semantics of self-organising maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation, in terms of multi-preference interpretations.


title: On Bredon's trick: from local to global properties

abstract: One of the most interesting problems that arise when studying certain structures on topological spaces and in particular on differential manifolds, is to be able to extend the properties that are valid locally to the whole space. A useful tool, which has perhaps been underestimated, is a lemma introduced by G. Bredon, which we refer to as Bredon's trick and which allows the extension of local properties to certain topological spaces. We make a review of this result and show its application in the context of De Rham's cohomology, we will see how this trick allows to give natural alternative demonstrations to classic results, as well as it is fundamental in other cases such as in stratified pseudo-manifolds.


title: Local well-posedness and global analyticity for solutions of a generalized 0-equation

abstract: In this work we study the Cauchy problem in Gevrey spaces for a generalized class of equations that contains the case $b=0$ of the $b$-equation. For the generalized equation, we prove that it is locally well-posed for initial data in Gevrey spaces. Moreover, as we move to global well-posedness, we show that for a particular choice of the parameter in the equation the local solution is global analytic in both time and spatial variables.


title: Beyond Next Item Recommendation: Recommending and Evaluating List of Sequences

abstract: Recommender systems (RS) suggest items-based on the estimated preferences of users. Recent RS methods utilise vector space embeddings and deep learning methods to make efficient recommendations. However, most of these methods overlook the sequentiality feature and consider each interaction, e.g., check-in, independent from each other. The proposed method considers the sequentiality of the interactions of users with items and uses them to make recommendations of a list of multi-item sequences. The proposed method uses FastText \cite{bojanowski2016enriching}, a well-known technique in natural language processing (NLP), to model the relationship among the subunits of sequences, e.g., tracks, playlists, and utilises the trained representation as an input to a traditional recommendation method. The recommended lists of multi-item sequences are evaluated by the ROUGE \cite{lin2003automatic,lin2004rouge} metric, which is also commonly used in the NLP literature. The current experimental results reveal that it is possible to recommend a list of multi-item sequences, in addition to the traditional next item recommendation. Also, the usage of FastText, which utilise sub-units of the input sequences, helps to overcome cold-start user problem.


title: Gradient and Eigenvalue Estimates on the canonical bundle of K\"ahler manifolds

abstract: We prove certain gradient and eigenvalue estimates, as well as the heat kernel estimates, for the Hodge Laplacian on $(m,0)$ forms, i.e., sections of the canonical bundle of K\"ahler manifolds, where $m$ is the complex dimension of the manifold. Instead of the usual dependence on curvature tensor, our condition depends only on the Ricci curvature bound. The proof is based on a new Bochner type formula for the gradient of $(m, 0)$ forms, which involves only the Ricci curvature and the gradient of the scalar curvature.


title: First-principles Studies of Strongly Correlated States in Defect Spin Qubits in Diamond

abstract: Using a recently developed quantum embedding theory, we present first principles calculations of strongly correlated states of spin defects in diamond. Within this theory, effective Hamiltonians are constructed, which can be solved by classical and quantum computers; the latter promise a much more favorable scaling as a function of system size than the former. In particular, we report a study of the neutral group-IV vacancy complexes in diamond, and we discuss their strongly-correlated spin-singlet and spin-triplet excited states. Our results provide valuable predictions for experiments aimed at optical manipulation of these defects for quantum information technology applications.


title: Momentum-based Accelerated Mirror Descent Stochastic Approximation for Robust Topology Optimization under Stochastic Loads

abstract: Robust topology optimization (RTO) improves the robustness of designs with respect to random sources in real-world structures, yet an accurate sensitivity analysis requires the solution of many systems of equations at each optimization step, leading to a high computational cost. To open up the full potential of RTO under a variety of random sources, this paper presents a momentum-based accelerated mirror descent stochastic approximation (AC-MDSA) approach to efficiently solve RTO problems involving various types of load uncertainties. The proposed framework can perform high-quality design updates with highly noisy stochastic gradients. We reduce the sample size to two (minimum for unbiased variance estimation) and show only two samples are sufficient for evaluating stochastic gradients to obtain robust designs, thus drastically reducing the computational cost. We derive the AC-MDSA update formula based on $\ell_1$-norm with entropy function, which is tailored to the geometry of the feasible domain. To accelerate and stabilize the algorithm, we integrate a momentum-based acceleration scheme, which also alleviates the step size sensitivity. Several 2D and 3D examples with various sizes are presented to demonstrate the effectiveness and efficiency of the proposed AC-MDSA framework to handle RTO involving various types of loading uncertainties.


title: Element-specific field-induced spin reorientation and an unusual tetracritical point in MnCr2S4

abstract: The ferrimagnetic spinel MnCr2S4 shows a variety of magnetic-field-induced phase transitions owing to bond frustration and strong spin-lattice coupling. However, the site-resolved magnetic properties at the respective field-induced phases in high magnetic fields remain elusive. Our soft x-ray magnetic circular dichroism studies up to 40 T directly evidence element-selective magnetic-moment reorientations in the field-induced phases. The complex magnetic structures are further supported by entropy changes extracted from magnetocaloric-effect measurements. Moreover, thermodynamic experiments reveal an unusual tetracritical point in the H-T phase diagram of MnCr2S4 due to strong spin-lattice coupling.


title: Weak identities in the algebra of symmetric matrices of order two

abstract: We describe the weak polynomial identities of the Jordan algebra of symmetric $2\times 2$ matrices over a field of characteristic zero. The corresponding weak verbal ideal is generated by the standard identity of degree four and the metabelian identity.


title: Closed forms for powers and inverses of special matrices

abstract: This contribution is motivated by old and recent works on matrix powers and their applications on combinatorial sequences. We give in this paper the $s$-th powers and the inverses for special upper triangular matrices and the $s$-th powers for special non-triangular matrices. The used tools are Lagrange inversion formula and the partial Bell polynomials.


title: Maximal Sets of Equiangular Lines

abstract: I introduce the problem of finding maximal sets of equiangular lines, in both its real and complex versions, attempting to write the treatment that I would have wanted when I first encountered the subject. Equiangular lines intersect in the overlap region of quantum information theory, the octonions and Hilbert's twelfth problem. The question of how many equiangular lines can fit into a space of a given dimension is easy to pose -- a high-school student can grasp it -- yet it is hard to answer, being as yet unresolved. This contrast of ease and difficulty gives the problem a classic charm.


title: Suppression of the optical linewidth and spin decoherence of a quantum spin center in a $p$$-$$n$ diode

abstract: We present a quantitative theory of the suppression of the optical linewidth due to charge fluctuation noise in a ${p}$$-$${n}$ diode, recently observed in Anderson et al., Science 366, 1225 (2019). We connect the local electric field with the voltage across the diode, allowing for the identification of the defect depth from the experimental threshold voltage. Furthermore, we show that an accurate description of the decoherence of such spin centers requires a complete spin$-$1 formalism that yields a bi-exponential decoherence process, and predict how reduced charge fluctuation noise suppresses the spin center's decoherence rate.


title: A randomized greedy algorithm for piecewise linear motion planning

abstract: We describe and implement a randomized algorithm that inputs a polyhedron, thought of as the space of states of some automated guided vehicle $\mathcal{R}$, and outputs an explicit system of piecewise linear motion planners for $\mathcal{R}$. The algorithm is designed in such a way that the cardinality of the outputed system is probabilistically close (with parameters chosen by the user) to minimal possible. This yields the first automated solution for robust-to-noise robot motion planning in terms of simplicial complexity (SC) techniques, a discretization of Farber's topological complexity TC. Besides its relevance toward technological applications, our work revels that, unlike other discrete approaches to TC, the SC model can recast Farber's invariant without having to introduce costly subdivisions. We develop and implement our algorithm by actually discretizing Mac\'ias-Virg\'os and Mosquera-Lois' notion of homotopic distance, thus encompassing computer estimations of other sectional category invariants as well, such as the Lusternik-Schnirelmann category of polyhedra.


title: Distributed Stochastic Nested Optimization via Cubic Regularization

abstract: This paper considers a nested stochastic distributed optimization problem. In it, approximate solutions to realizations of the inner-problem are leveraged to obtain a Distributed Stochastic Cubic Regularized Newton (DiSCRN) update to the decision variable of the outer problem. We provide an example involving electric vehicle users with various preferences which demonstrates that this model is appropriate and sufficiently complex for a variety of data-driven multi-agent settings, in contrast to non-nested models. The main two contributions of the paper are: (i) development of local stopping criterion for solving the inner optimization problem which guarantees sufficient accuracy for the outer-problem update, and (ii) development of the novel DiSCRN algorithm for solving the outer-problem and a theoretical justification of its efficacy. Simulations demonstrate that this approach is more stable and converges faster than standard gradient and Newton outer-problem updates in a highly nonconvex scenario, and we also demonstrate that the method extends to an EV charging scenario in which resistive battery losses and a time-of-use pricing model are considered over a time horizon.


title: Low-Depth Parallel Algorithms for the Binary-Forking Model without Atomics

abstract: The binary-forking model is a parallel computation model, formally defined by Blelloch et al. very recently, in which a thread can fork a concurrent child thread, recursively and asynchronously. The model incurs a cost of $\Theta(\log n)$ to spawn or synchronize $n$ tasks or threads. The binary-forking model realistically captures the performance of parallel algorithms implemented using modern multithreaded programming languages on multicore shared-memory machines. In contrast, the widely studied theoretical PRAM model does not consider the cost of spawning and synchronizing threads, and as a result, algorithms achieving optimal performance bounds in the PRAM model may not be optimal in the binary-forking model. Often, algorithms need to be redesigned to achieve optimal performance bounds in the binary-forking model and the non-constant synchronization cost makes the task challenging. Though the binary-forking model allows the use of atomic {\em test-and-set} (TS) instructions to reduce some synchronization overhead, assuming the availability of such instructions puts a stronger requirement on the hardware and may limit the portability of the algorithms using them. In this paper, we avoid the use of locks and atomic instructions in our algorithms except possibly inside the join operation which is implemented by the runtime system. In this paper, we design efficient parallel algorithms in the binary-forking model without atomics for three fundamental problems: Strassen's (and Strassen-like) matrix multiplication (MM), comparison-based sorting, and the Fast Fourier Transform (FFT). All our results improve over known results for the corresponding problem in the binary-forking model both with and without atomics.


title: Sharp finite-sample concentration of independent variables

abstract: We show an extension of Sanov's theorem on large deviations, controlling the tail probabilities of i.i.d. random variables with matching concentration and anti-concentration bounds. This result has a general scope, applies to samples of any size, and has a short information-theoretic proof using elementary techniques.


title: Identifying Flux Rope Signatures Using a Deep Neural Network

abstract: Among the current challenges in Space Weather, one of the main ones is to forecast the internal magnetic configuration within Interplanetary Coronal Mass Ejections (ICMEs). Currently, a monotonic and coherent magnetic configuration observed is associated with the result of a spacecraft crossing a large flux rope with helical magnetic field lines topology. The classification of such an arrangement is essential to predict geomagnetic disturbance. Thus, the classification relies on the assumption that the ICME's internal structure is a well organized magnetic flux rope. This paper applies machine learning and a current physical flux rope analytical model to identify and further understand the internal structures of ICMEs. We trained an image recognition artificial neural network with analytical flux rope data, generated from the range of many possible trajectories within a cylindrical (circular and elliptical cross-section) model. The trained network was then evaluated against the observed ICMEs from WIND during 1995-2015. The methodology developed in this paper can classify 84% of simple real cases correctly and has a 76% success rate when extended to a broader set with 5% noise applied, although it does exhibit a bias in favor of positive flux rope classification. As a first step towards a generalizable classification and parameterization tool, these results show promise. With further tuning and refinement, our model presents a strong potential to evolve into a robust tool for identifying flux rope configurations from in situ data.

categories: astro-ph.SR astro-ph.IM cs.LG physics.data-an physics.space-ph


title: Fast inversion, preconditioned quantum linear system solvers, and fast evaluation of matrix functions

abstract: Preconditioning is the most widely used and effective way for treating ill-conditioned linear systems in the context of classical iterative linear system solvers. We introduce a quantum primitive called fast inversion, which can be used as a preconditioner for solving quantum linear systems. The key idea of fast inversion is to directly block-encode a matrix inverse through a quantum circuit implementing the inversion of eigenvalues via classical arithmetics. We demonstrate the application of preconditioned linear system solvers for computing single-particle Green's functions of quantum many-body systems, which are widely used in quantum physics, chemistry, and materials science. We analyze the complexities in three scenarios: the Hubbard model, the quantum many-body Hamiltonian in the planewave-dual basis, and the Schwinger model. We also provide a method for performing Green's function calculation in second quantization within a fixed particle manifold and note that this approach may be valuable for simulation more broadly. Besides solving linear systems, fast inversion also allows us to develop fast algorithms for computing matrix functions, such as the efficient preparation of Gibbs states. We introduce two efficient approaches for such a task, based on the contour integral formulation and the inverse transform respectively.


title: Improving Graduation Rate Estimates Using Regularly Updating Multi-Level Absorbing Markov Chains

abstract: American universities use a procedure based on a rolling six-year graduation rate to calculate statistics regarding their students' final educational outcomes (graduating or not graduating). As~an alternative to the six-year graduation rate method, many studies have applied absorbing Markov chains for estimating graduation rates. In both cases, a frequentist approach is used. For~the standard six-year graduation rate method, the frequentist approach corresponds to counting the number of students who finished their program within six years and dividing by the number of students who entered that year. In the case of absorbing Markov chains, the frequentist approach is used to compute the underlying transition matrix, which is then used to estimate the graduation rate. In this paper, we apply a sensitivity analysis to compare the performance of the standard six-year graduation rate method with that of absorbing Markov chains. Through the analysis, we highlight significant limitations with regards to the estimation accuracy of both approaches when applied to small sample sizes or cohorts at a university. Additionally, we note that the Absorbing Markov chain method introduces a significant bias, which leads to an underestimation of the true graduation rate. To~overcome both these challenges, we propose and evaluate the use of a regularly updating multi-level absorbing Markov chain (RUML-AMC) in which the transition matrix is updated year to year. We empirically demonstrate that the proposed RUML-AMC approach nearly eliminates estimation bias while reducing the estimation variation by more than 40%, especially for populations with small sample sizes.


title: Secondary terms in the asymptotics of moments of L-functions

abstract: We propose a refined version of the existing conjectural asymptotic formula for the moments of the family of quadratic Dirichlet L-functions over rational function fields. Our prediction is motivated by two natural conjectures that provide sufficient information to determine the analytic properties (meromorphic continuation, location of poles, and the residue at each pole) of a certain generating function of moments of quadratic L-functions. The number field analogue of our asymptotic formula can be obtained by a similar procedure, the only difference being the contributions coming from the archimedean and even places, which require a separate analysis. To avoid this additional technical issue, we present, for simplicity, the asymptotic formula only in the rational function field setting. This has also the advantage of being much easier to test.


title: SEEC: Semantic Vector Federation across Edge Computing Environments

abstract: Semantic vector embedding techniques have proven useful in learning semantic representations of data across multiple domains. A key application enabled by such techniques is the ability to measure semantic similarity between given data samples and find data most similar to a given sample. State-of-the-art embedding approaches assume all data is available on a single site. However, in many business settings, data is distributed across multiple edge locations and cannot be aggregated due to a variety of constraints. Hence, the applicability of state-of-the-art embedding approaches is limited to freely shared datasets, leaving out applications with sensitive or mission-critical data. This paper addresses this gap by proposing novel unsupervised algorithms called \emph{SEEC} for learning and applying semantic vector embedding in a variety of distributed settings. Specifically, for scenarios where multiple edge locations can engage in joint learning, we adapt the recently proposed federated learning techniques for semantic vector embedding. Where joint learning is not possible, we propose novel semantic vector translation algorithms to enable semantic query across multiple edge locations, each with its own semantic vector-space. Experimental results on natural language as well as graph datasets show that this may be a promising new direction.


title: High-resolution spectroscopic study of massive blue and red supergiants in Per OB1

abstract: The Perseus OB1 association hosts one of the most populous groupings of blue and red supergiants (Sgs) in the Galaxy. We discuss whether the massive O-type and blue/red Sg stars located in the Per OB1 region are members of the same population and examine their binary and runaway status. We gathered a total of 405 high-resolution spectra for 88 suitable candidates around 4.5 deg from the center of the association, and compiled Gaia DR2 astrometry for all of them. This was used to investigate membership and identify runaway stars. By obtaining high-precision radial velocity (RV) estimates, we investigated the RV distributions of sample and identified spectroscopic binaries (SBs). Most of the investigated stars belong to a physically linked population located at d = 2.5$\pm$0.4 kpc. We identify 79 confirmed or likely members, and 5 member candidates. No important differences are detected in the distribution of parallaxes for stars in h and X Persei or the full sample. On the contrary, most O-type stars seem to be part of a differentiated population in terms of kinematical properties. In particular, the percentage of runaways among them (45%) is considerable higher than for the more evolved targets (that is below 5% in all cases). A similar tendency is also found for the percentage of clearly detected SBs, which already decreases from 15% to 10% when comparing the O star and B Sg samples, respectively, and practically vanishes in the cooler Sgs. All but 4 stars in our working sample can be considered as part of the same (interrelated) population. However, any further attempt to describe the empirical properties of this sample of massive stars in an evolutionary context must take into account that an important fraction of the O stars is - or has likely been - part of a binary/multiple system. In addition, some of the other more evolved targets may have also been affected by binary evolution.


title: SOPI design and analysis for LDN

abstract: Liquid Data Networking (LDN) is an ICN architecture that is designed to enable the benefits of erasure-code enabled object delivery. A primary contribution of LDN is the introduction of SOPIs, which enables client s to concurrently download encoded data for the same object from multiple edge nodes, optimizes caching efficiency, and enables seamless mobility. This paper provides an enhanced design and analysis of SOPI s.


title: Designable ductility of a nano-network from few-layered graphene bonded with benzene: A molecular dynamics study

abstract: In nanoscale, motion operation of a nano-objective is usually realized by displacement load, which put forwards high requirement for ductility of material. Since pristine graphene has low ductility, once the stretching strain exceeds its critical value, it breaks in brittle style and loses ability to bear the external load quickly. Herein, to improve the ductility, a corrugated sandwich carbon nano-network model based on few-layered graphene is proposed, in which the two surface layers are bonded with several corrugated core layers via benzene molecules. Effects of factors such as the geometry of the carbon network, temperature, and strain rate, on the ductility are evaluated by molecular dynamics simulations. Conclusions are drawn for potential application of the new two-dimensional material with designable ductility.


title: Extremal results for graphs of bounded metric dimension

abstract: Metric dimension is a graph parameter motivated by problems in robot navigation, drug design, and image processing. In this paper, we answer several open extremal problems on metric dimension and pattern avoidance in graphs from (Geneson, Metric dimension and pattern avoidance, Discrete Appl. Math. 284, 2020, 1-7). Specifically, we construct a new family of graphs that allows us to determine the maximum possible degree of a graph of metric dimension at most $k$, the maximum possible degeneracy of a graph of metric dimension at most $k$, the maximum possible chromatic number of a graph of metric dimension at most $k$, and the maximum $n$ for which there exists a graph of metric dimension at most $k$ that contains $K_{n, n}$. We also investigate a variant of metric dimension called edge metric dimension and solve another problem from the same paper for $n$ sufficiently large by showing that the edge metric dimension of $P_n^{d}$ is $d$ for $n \geq d^{d-1}$. In addition, we use a probabilistic argument to make progress on another open problem from the same paper by showing that the maximum possible clique number of a graph of edge metric dimension at most $k$ is $2^{\Theta(k)}$. We also make progress on a problem from (N. Zubrilina, On the edge dimension of a graph, Discrete Math. 341, 2018, 2083-2088) by finding a family of new triples $(x, y, n)$ for which there exists a graph of metric dimension $x$, edge metric dimension $y$, and order $n$. In particular, we show that for each integer $k > 0$, there exist graphs $G$ with metric dimension $k$, edge metric dimension $3^k(1-o(1))$, and order $3^k(1+o(1))$.


title: Farey Recursive Functions

abstract: This paper introduces Farey Recursive Functions and investigates their basic properties. Farey Recursive Functions are a special type of recursive function from the rationals to a commutative ring. The recursion of these functions is organized by the Farey graph. They arise naturally in the study of 2-bridge knots and links.


title: Gradient tomography of jet quenching in high-energy heavy-ion collisions

abstract: We illustrate with both a Boltzmann diffusion equation and full simulations of jet propagation in heavy-ion collisions within the Linear Boltzmann Transport (LBT) model that the spatial gradient of the jet transport coefficient perpendicular to the propagation direction can lead to a drift and asymmetry in the transverse momentum distribution. Such an asymmetry depends on both the spatial position along the transverse gradience and the propagating length. It can be used to localize the initial jet production positions for more detailed studies of jet quenching and properties of the quark-gluon plasma in heavy-ion collisions.


title: An Integrated Approach to Produce Robust Models with High Efficiency

abstract: Deep Neural Networks (DNNs) needs to be both efficient and robust for practical uses. Quantization and structure simplification are promising ways to adapt DNNs to mobile devices, and adversarial training is the most popular method to make DNNs robust. In this work, we try to obtain both features by applying a convergent relaxation quantization algorithm, Binary-Relax (BR), to a robust adversarial-trained model, ResNets Ensemble via Feynman-Kac Formalism (EnResNet). We also discover that high precision, such as ternary (tnn) and 4-bit, quantization will produce sparse DNNs. However, this sparsity is unstructured under advarsarial training. To solve the problems that adversarial training jeopardizes DNNs' accuracy on clean images and the struture of sparsity, we design a trade-off loss function that helps DNNs preserve their natural accuracy and improve the channel sparsity. With our trade-off loss function, we achieve both goals with no reduction of resistance under weak attacks and very minor reduction of resistance under strong attcks. Together with quantized EnResNet with trade-off loss function, we provide robust models that have high efficiency.


title: Relationship-aware Multivariate Sampling Strategy for Scientific Simulation Data

abstract: With the increasing computational power of current supercomputers, the size of data produced by scientific simulations is rapidly growing. To reduce the storage footprint and facilitate scalable post-hoc analyses of such scientific data sets, various data reduction/summarization methods have been proposed over the years. Different flavors of sampling algorithms exist to sample the high-resolution scientific data, while preserving important data properties required for subsequent analyses. However, most of these sampling algorithms are designed for univariate data and cater to post-hoc analyses of single variables. In this work, we propose a multivariate sampling strategy which preserves the original variable relationships and enables different multivariate analyses directly on the sampled data. Our proposed strategy utilizes principal component analysis to capture the variance of multivariate data and can be built on top of any existing state-of-the-art sampling algorithms for single variables. In addition, we also propose variants of different data partitioning schemes (regular and irregular) to efficiently model the local multivariate relationships. Using two real-world multivariate data sets, we demonstrate the efficacy of our proposed multivariate sampling strategy with respect to its data reduction capabilities as well as the ease of performing efficient post-hoc multivariate analyses.


title: Isoperimetry for asymptotically flat 3-manifolds with positive ADM mass

abstract: Let $(M^3, g)$ be an asymptotically flat 3-manifold with positive ADM mass. In this paper, we show that each leaf of the canonical foliation is the unique isoperimetric surface for the volume it encloses. Our proof is based on the "fill-in" argument and sharp isoperimetric inequality on asymptotically flat 3-manifold with nonnegative scalar curvature.


title: Photon spheres, ISCOs, and OSCOs: Astrophysical observables for regular black holes with asymptotically Minkowski cores

abstract: Classical black holes contain a singularity at their core. This has prompted various researchers to propose a multitude of modified spacetimes that mimic the physically observable characteristics of classical black holes as best as possible, but that crucially do not contain singularities at their cores. Due to recent advances in near-horizon astronomy, the ability to observationally distinguish between a classical black hole and a potential black hole mimicker is becoming increasingly feasible. Herein, we calculate some physically observable quantities for a recently proposed regular black hole with an asymptotically Minkowski core -- the radius of the photon sphere and the extremal stable timelike circular orbit (ESCO). The manner in which the photon sphere and ESCO relate to the presence (or absence) of horizons is much more complex than for the Schwarzschild black hole. We find situations in which photon spheres can approach arbitrarily close to (near extremal) horizons, situations in which some photon spheres become stable, and situations in which the locations of both photon spheres and ESCOs become multi-valued, with both ISCOs (innermost stable circular orbits) and OSCOs (outermost stable circular orbits). This provides an extremely rich phenomenology of potential astrophysical interest.


title: Preference Robust Optimization with Quasi-Concave Choice Functions for Multi-Attribute Prospects

abstract: Preference robust choice models concern decision-making problems where the decision maker's (DM) utility/risk preferences are ambiguous and the evaluation is based on the worst-case utility function/risk measure from a set of plausible utility functions/risk measures. The current preference robust choice models are mostly built upon von Neumann-Morgenstern expected utility theory, the theory of convex risk measures, or Yaari's dual theory of choice, all of which assume the DM's preferences satisfy some specified axioms. In this paper, we extend the preference robust approach to a broader class of choice functions which satisfy monotonicity and quasi-concavity in the space of multi-attribute random prospects. While our new model is non-parametric and significantly extends the coverage of decision-making problems, it also brings new computational challenges due to the non-convexity of the optimization formulations, which arises from the non-concavity of the class of quasi-concave choice functions. To tackle these challenges, we develop a sorting-based algorithm that efficiently evaluates the robust choice function (RCF) by solving a sequence of linear programming problems. Then, we show how to solve preference robust optimization (PRO) problems by solving a sequence of convex optimization problems. We test our robust choice model and computational scheme on a single-attribute portfolio optimization problem and a multi-attribute capital allocation problem.


title: Higher order local Dirichlet integrals and de Branges-Rovnyak spaces

abstract: We investigate expansive Hilbert space operators $T$ that are finite rank perturbations of isometric operators. If the spectrum of $T$ is contained in the closed unit disc $\overline{\mathbb{D}}$, then such operators are of the form $T= U\oplus R$, where $U$ is isometric and $R$ is unitarily equivalent to the operator of multiplication by the variable $z$ on a de Branges-Rovnyak space $\mathcal{H}(B)$. In fact, the space $\mathcal{H}(B)$ is defined in terms of a rational operator-valued Schur function $B$. In the case when $\dim \ker T^*=1$, then $\mathcal{H}(B)$ can be taken to be a space of scalar-valued analytic functions in $\mathbb{D}$, and the function $B$ has a mate $a$ defined by $|B|^2+|a|^2=1$ a.e. on $\partial \mathbb{D}$. We show the mate $a$ of a rational $B$ is of the form $a(z)=a(0)\frac{p(z)}{q(z)}$, where $p$ and $q$ are appropriately derived from the characteristic polynomials of two associated operators. If $T$ is a $2m$-isometric expansive operator, then all zeros of $p$ lie in the unit circle, and we completely describe the spaces $\mathcal{H}(B)$ by use of what we call the local Dirichlet integral of order $m$ at the point $w\in \partial \mathbb{D}$.


title: Small quotient minimal log discrepancies

abstract: We prove that for each positive integer $n$ there exists a positive number $\epsilon_n$ so that $n$-dimensional toric quotient singularities satisfy the ACC for mld's on the interval $(0,\epsilon_n)$. In the course of the proof, we will show a geometric Jordan property for finite automorphism groups of affine toric varieties.


title: A Self-adaptive Approach for Managing Applications and Harnessing Renewable Energy for Sustainable Cloud Computing

abstract: Rapid adoption of Cloud computing for hosting services and its success is primarily attributed to its attractive features such as elasticity, availability and pay-as-you-go pricing model. However, the huge amount of energy consumed by cloud data centers makes it to be one of the fastest growing sources of carbon emissions. Approaches for improving the energy efficiency include enhancing the resource utilization to reduce resource wastage and applying the renewable energy as the energy supply. This work aims to reduce the carbon footprint of the data centers by reducing the usage of brown energy and maximizing the usage of renewable energy. Taking advantage of microservices and renewable energy, we propose a self-adaptive approach for the resource management of interactive workloads and batch workloads. To ensure the quality of service of workloads, a brownout-based algorithm for interactive workloads and a deferring algorithm for batch workloads are proposed. We have implemented the proposed approach in a prototype system and evaluated it with web services under real traces. The results illustrate our approach can reduce the brown energy usage by 21% and improve the renewable energy usage by 10%.


title: Charge regulation of colloidal particles in aqueous solutions

abstract: We study charge regulation of colloidal particles inside aqueous electrolyte solutions. To stabilize colloidal suspension against precipitation, colloidal particles are synthesized with either acidic or basic groups on their surface. In contact with water these surface groups undergo proton transfer reaction, resulting in colloidal surface charge. The charge is determined by the condition of local chemical equilibrium between hydronium ions inside the solution and at the colloidal surface. We use a model of Baxter sticky spheres to explicitly calculate the equilibrium dissociation constants and to construct a theory which is able to quantitatively predict the effective charge of colloidal particles with either acidic or basic surface groups. The predictions of the theory for the model are found to be in excellent agreement with the results of Monte Carlo simulations. The theory is further extended to treat colloidal particles with a mixture of both acidic and basic surface groups.


title: A priori error analysis for a mixed VEM discretization of the spectral problem for the Laplacian operator

abstract: The aim of the present work is to derive a error estimates for the Laplace eigenvalue problem in mixed form, by means of a virtual element method. With the aid of the theory for non-compact operators, we prove that the proposed method is spurious free and convergent. We prove optimal order error estimates for the eigenvalues and eigenfunctions. Finally, we report numerical tests to confirm the theoretical results together with a rigorous computational analysis of the effects of the stabilization in the computation of the spectrum.


title: Benchmarking Metric Ground Navigation

abstract: Metric ground navigation addresses the problem of autonomously moving a robot from one point to another in an obstacle-occupied planar environment in a collision-free manner. It is one of the most fundamental capabilities of intelligent mobile robots. This paper presents a standardized testbed with a set of environments and metrics to benchmark difficulty of different scenarios and performance of different systems of metric ground navigation. Current benchmarks focus on individual components of mobile robot navigation, such as perception and state estimation, but the navigation performance as a whole is rarely measured in a systematic and standardized fashion. As a result, navigation systems are usually tested and compared in an ad hoc manner, such as in one or two manually chosen environments. The introduced benchmark provides a general testbed for ground robot navigation in a metric world. The Benchmark for Autonomous Robot Navigation (BARN) dataset includes 300 navigation environments, which are ordered by a set of difficulty metrics. Navigation performance can be tested and compared in those environments in a systematic and objective fashion. This benchmark can be used to predict navigation difficulty of a new environment, compare navigation systems, and potentially serve as a cost function and a curriculum for planning-based and learning-based navigation systems. We have published our dataset and the source code to generate datasets for different robot footprints at www.cs.utexas.edu/~xiao/BARN/BARN.html.


title: Dynamics of Laser-Charged UAVs: A Battery Perspective

abstract: In this paper, we aim to sustain unmanned aerial vehicle (UAV) based missions for longer periods of times through different techniques. First, we consider on-the-mission UAV recharging by a low-power laser source (below 1 kilowatt). In order to achieve the maximal energy gain from the low-power laser source, we propose an operational compromise, which consists of the UAV resting over buildings with cleared line-of-sight to the laser source. Second, to provide a precise energy consumption/harvesting estimation at the UAV, we investigate the latter's dynamics in a mission environment. Indeed, we study the UAV's battery dynamics by leveraging the electrical models for motors and battery. Subsequently, using these models, the path planning problem in a particular Internet-of-Things based use-case is revisited from the battery perspective. The objective is to extend the UAV's operation time using both laser-charging and accurate battery level estimation. Through a graph theory approach, the problem is solved optimally, and compared to benchmark trajectory approaches. Numerical results demonstrate the efficiency of this novel battery perspective for all path planning approaches. In contrast, we found that the energy perspective is very conservative and does not exploit optimally the available energy resources. Nevertheless, we propose a simple adjustment method to correct the energy perspective, by carefully evaluating the energy as a function of the UAV motion regimes. Finally, the impact of several parameters, such as turbulence and distance to charging source, is studied.


title: Share Withholding Attack in Blockchain Mining: Technical Report

abstract: Cryptocurrency achieves distributed consensus using proof of work (PoW). Prior research in blockchain security identified financially incentivized attacks based on withholding blocks which have the attacker compromise a victim pool and pose as a PoW contributor by submitting the shares (earning credit for mining) but withholding the blocks (no actual contributions to the pool). We advance such threats to generate greater reward advantage to the attackers while undermining the other miners and introduce the share withholding attack (SWH). SWH withholds shares to increase the attacker's reward payout within the pool, in contrast to the prior threats withholding blocks, and rather builds on the block-withholding threats in order to exploit the information about the impending block submission timing, challenging the popularly established assumption that the block submission time is completely random and unknown to miners. We analyze SWH's incentive compatibility and the vulnerability scope by identifying the critical systems and environmental parameters which determine the attack's impact. Our results show that SWH in conjunction with block withholding yield unfair reward advantage at the expense of the protocol-complying victim miners and that a rational miner will selfishly launch SWH to maximize its reward profit. We inform the blockchain and cryptocurrency research of the novel SWH threat and include the potential countermeasure directions to facilitate such research and development.


title: Curvature Scalarization of Black Holes in f(R) Gravity

abstract: We consider f(R) gravity theories in the presence of a scalar field minimally coupled to gravity with a self-interacting potential. When the scalar field backreacts to the metric we find at large distances scalarized Schwarzschild-AdS and Schwarzschild-AdS-like black hole solutions. At small distances due to strong curvature effects and the scalar dynamis we find a rich structure of scalarized black hole solutions. When the scalar field is conformally coupled to gravity we also find scalarized black hole solutions at small distances.


title: Efficient Reinforcement Learning in Factored MDPs with Application to Constrained RL

abstract: Reinforcement learning (RL) in episodic, factored Markov decision processes (FMDPs) is studied. We propose an algorithm called FMDP-BF, which leverages the factorization structure of FMDP. The regret of FMDP-BF is shown to be exponentially smaller than that of optimal algorithms designed for non-factored MDPs, and improves on the best previous result for FMDPs~\citep{osband2014near} by a factored of $\sqrt{H|\mathcal{S}_i|}$, where $|\mathcal{S}_i|$ is the cardinality of the factored state subspace and $H$ is the planning horizon. To show the optimality of our bounds, we also provide a lower bound for FMDP, which indicates that our algorithm is near-optimal w.r.t. timestep $T$, horizon $H$ and factored state-action subspace cardinality. Finally, as an application, we study a new formulation of constrained RL, known as RL with knapsack constraints (RLwK), and provides the first sample-efficient algorithm based on FMDP-BF.


title: Chiral vortical effect in relativistic and nonrelativistic systems

abstract: We formulate the chiral vortical effect (CVE) and its generalization called generalized vortical effect using the semiclassical theory of wave packet dynamics. We take the spin-vorticity coupling into account and calculate the transport charge current by subtracting the magnetization one from the Noether local one. We find that the transport charge current in the CVE always vanishes in relativistic chiral fermions. This result implies that it cannot be observed in transport experiments in condensed matter systems such as Dirac/Weyl semimetals with the pseudo-Lorentz symmetry. We also demonstrate that the anisotropic CVE can be observed in nonrelativistic systems that belong to the point groups $D_n, C_n (n = 2, 3, 4, 6)$, and $C_1$, such as $n$-type tellurium.


title: Urban Mosaic: Visual Exploration of Streetscapes Using Large-Scale Image Data

abstract: Urban planning is increasingly data driven, yet the challenge of designing with data at a city scale and remaining sensitive to the impact at a human scale is as important today as it was for Jane Jacobs. We address this challenge with Urban Mosaic,a tool for exploring the urban fabric through a spatially and temporally dense data set of 7.7 million street-level images from New York City, captured over the period of a year. Working in collaboration with professional practitioners, we use Urban Mosaic to investigate questions of accessibility and mobility, and preservation and retrofitting. In doing so, we demonstrate how tools such as this might provide a bridge between the city and the street, by supporting activities such as visual comparison of geographically distant neighborhoods,and temporal analysis of unfolding urban development.


title: Graded rings of modular forms (1)

abstract: We study modular forms of some congruence subgroups. In this paper, we treat the cases level is 2-power, 3-power or 5. Structures of graded rings and many identities of infinite sum or infinite product are given. Theory of rational (1/3, 1/4, 1/5 etc) weight or more formally weight modular form are introduced.


title: Regularity of solutions for a class of quasilinear elliptic equations related to Caffarelli-Kohn-Nirenberg inequality

abstract: This paper is concerned with a class of quasilinear elliptic equations involving some potentials related to the Caffarelli-Korn-Nirenberg inequality. We prove the local boundedness and H\"older continuity of weak solutions by using the classical De Giorgi techniques. Our result extends the results of Serrin \cite{Serrin64} and Corolado and Peral \cite{CP04}.


title: The Matching Book Embedding of Biconnected Outerplanar Graphs

abstract: The $n$-$book ~embedding$ of a graph $G$ is an embedding of the graph $G$ in an $n$-book with the vertices of $G$ on the spine and each edge to the pages without crossing each other. If the degree of vertices of $G$ at most one in each page, the $n$-book embedding is $matching$. The $matching~ book~ thickness$ of graph $G$ is the smallest $n$ so that $G$ can be matching embedded in an $n$-book. In this paper, the matching book thickness of the biconnected outerplanar graphs is determined.


title: Computational bounds to light-matter interactions via local conservation laws

abstract: We develop a computational framework for identifying bounds to light-matter interactions, originating from polarization-current-based formulations of local conservation laws embedded in Maxwell's equations. We propose an iterative method for imposing only the maximally violated constraints, enabling rapid convergence to global bounds. Our framework can identify bounds to the minimum size of any scatterer that encodes a specific linear operator, given only its material properties, as we demonstrate for the optical computation of a discrete Fourier transform. It further resolves bounds on far-field scattering properties over any arbitrary bandwidth, where previous bounds diverge.


title: General approach to the Lagrangian ambiguity in $f(R, T)$ gravity

abstract: The $f(R,T)$ gravity is a theory whose gravitational action depends arbitrarily on the Ricci scalar, $R$, and the trace of the stress-energy tensor, $T$; its field equations also depend on matter Lagrangian, $\mathcal{L}_{m}$. In the modified theories of gravity where field equations depend on Lagrangian, there is no uniqueness on the Lagrangian definition and the dynamics of the gravitational and matter fields can be different depending on the choice performed. In this work, we have eliminated the $\mathcal{L}_{m}$ dependence from $f(R,T)$ gravity field equations by generalizing the approach of Moraes [Eur. Phys. J. C 79(8), 674 (2019)]. We also propose a general approach where we argue that the trace of the energy-momentum tensor must be considered an "unknown" variable of the field equations. The trace can only depend on fundamental constants and few inputs from the standard model. Our proposal resolves two limitations: first the energy-momentum tensor of the $f(R,T)$ gravity is not the perfect fluid one; second, the Lagrangian is not well-defined. As a test of our approach we applied it to the study of the matter era in cosmology, and the theory can successfully describe a transition between a decelerated Universe to an accelerated one without the need for dark energy.


title: Excluded checkerboard colourable ribbon graph minors

abstract: In this paper, we first introduce the notions of checkerboard colourable minors for ribbon graphs motivated by the Eulerian ribbon graph minors, and two kinds of bipartite minors for ribbon graphs, one of which is the dual of the checkerboard colourable minors and the other is motivated by the bipartite minors of abstract graphs. Then we give an excluded minor characterization of the class of checkerboard colourable ribbon graphs, bipartite ribbon graphs, plane checkerboard colourable ribbon graphs and plane bipartite ribbon graphs.


title: Topological nanophotonics for photoluminescence control

abstract: Rare-earth doped nanocrystals are emerging light sources used for many applications in nanotechnology enabled by human ability to control their various optical properties with chemistry and material science. However, one important optical problem -- polarisation of photoluminescence -- remains largely out of control by chemistry methods. Control over photoluminescence polarisation can be gained via coupling of emitters to resonant nanostructures such as optical antennas and metasurfaces. However, the resulting polarization is typically sensitive to position disorder of emitters, which is difficult to mitigate. Recently, new classes of disorder-immune optical systems have been explored within the framework of topological photonics. Here we explore disorder-robust topological arrays of Mie-resonant nanoparticles for polarisation control of photoluminescence of nanocrystals. We demonstrate polarized emission from rare-earth-doped nanocrystals governed by photonic topological edge states supported by zigzag arrays of dielectric resonators. We verify the topological origin of polarised photoluminescence by comparing emission from nanoparticles coupled to topologically trivial and nontrivial arrays of nanoresonators.


title: A Neural-Network Variational Quantum Algorithm for Many-Body Dynamics

abstract: We propose a neural-network variational quantum algorithm to simulate the time evolution of quantum many-body systems. Based on a modified restricted Boltzmann machine (RBM) wavefunction ansatz, the proposed algorithm can be efficiently implemented in near-term quantum computers with low measurement cost. Using a qubit recycling strategy, only one ancilla qubit is required to represent all the hidden spins in an RBM architecture. The variational algorithm is extended to open quantum systems by employing a stochastic Schrodinger equation approach. Numerical simulations of spin-lattice models demonstrate that our algorithm is capable of capturing the dynamics of closed and open quantum many-body systems with high accuracy without suffering from the vanishing gradient (or 'barren plateau') issue for the considered system sizes.


title: Persistence Homology Of Entangled Rings

abstract: Topological constraints (TCs) between polymers determine the behaviour of complex fluids such as creams, oils and plastics. Most of the polymer solutions used every day life employ linear chains; their behaviour is accurately captured by the reptation and tube theories which connect microscopic TCs to macroscopic viscoelasticity. On the other hand, polymers with non-trivial topology, such as rings, hold great promise for new technology but pose a challenging problem as they do not obey standard theories; additionally, topological invariance -- i.e. the fact that rings must remain unknotted and unlinked if prepared so -- precludes any serious analytical treatment. Here we propose an unambiguous, parameter-free algorithm to characterise TCs in polymeric solutions and show its power in characterising TCs of entnagled rings. We analyse large-scale molecular dynamics (MD) simulations via persistent homology, a key mathematical tool to extract robust topological information from large datasets. This method allows us to identify ring-specific TCs which we call "homological threadings" (H-threadings) and to connect them to the polymers' behaviour. It also allows us to identify, in a physically appealing and unambiguous way, scale-dependent loops which have eluded precise quantification so far. We discover that while threaded neighbours slowly grow with the rings' length, the ensuing TCs are extensive also in the asymptotic limit. Our proposed method is not restricted to ring polymers and can find broader applications for the study of TCs in generic polymeric materials.


title: Matching Book Thickness of Halin Graphs

abstract: The \emph{matching book embedding} of a graph $G$ is to arrange its vertices on the spine, and draw its edges into the pages so that the edges on every page do not intersect each other and the maximum degree of vertices on every page is one. The \emph{matching book thickness} is the minimum number of pages in which the graph $G$ can be matching embedded. In this paper, the matching book thickness of Halin graphs is determined.


title: Nonlinear Mid-infrared Metasurface based on a Phase-Change Material

abstract: The mid-wave infrared (MWIR) spectral region (3-5 {\mu}m) is important to a vast variety of applications in imaging, sensing, spectroscopy, surgery, and optical communications. Efficient third-harmonic generation (THG), converting light from the MWIR range into the near-infrared, a region with mature optical detection and manipulation technologies, offers the opportunity to mitigate a commonly recognized limitation of current MWIR systems. In this work, we present the possibility of boosting THG in the MWIR through a metasurface design. Specifically, we demonstrate a 30-fold enhancement in a highly nonlinear phase change material Ge2Sb2Se4Te1 (GSST), by patterning arrays of subwavelength cylinders supporting a magnetic dipolar resonance. The unprecedented broadband transparency, large refractive index, and remarkably high nonlinear response, together with unique phase-change properties, make GSST-based metasurfaces an appealing solution for reconfigurable and ultra-compact nonlinear devices operating in the MWIR.


title: Algorithms for Solving High Dimensional PDEs: From Nonlinear Monte Carlo to Machine Learning

abstract: In recent years, tremendous progress has been made on numerical algorithms for solving partial differential equations (PDEs) in a very high dimension, using ideas from either nonlinear (multilevel) Monte Carlo or deep learning. They are potentially free of the curse of dimensionality for many different applications and have been proven to be so in the case of some nonlinear Monte Carlo methods for nonlinear parabolic PDEs. In this paper, we review these numerical and theoretical advances. In addition to algorithms based on stochastic reformulations of the original problem, such as the multilevel Picard iteration and the Deep BSDE method, we also discuss algorithms based on the more traditional Ritz, Galerkin, and least square formulations. We hope to demonstrate to the reader that studying PDEs as well as control and variational problems in very high dimensions might very well be among the most promising new directions in mathematics and scientific computing in the near future.


title: Inflation and long-range force from clockwork $D$-term

abstract: Cosmic inflation driven by the vacuum energy associated with the $D$-term of a supersymmetric abelian gauge group and a possible existence of long-range force mediated by an ultra-light gauge boson $Z^\prime$ are two extreme examples of models based on extra $U(1)$ symmetries. Large vacuum energy sets the scale of inflation while the scales of long-range forces induced by anomaly free extra gauged $U(1)$ symmetries are constrained by neutrino oscillations, binary pulsar timings and invisible neutrino decay. There exists a difference of about 40 orders of magnitude between the scales of these two. Also, gauge couplings associated with the long-range forces are very small compared to the standard model couplings and the one required for inflation. We propose a framework based on clockwork mechanism in which these vastly different scales and associated new physics can coexist without invoking any arbitrarily small or large parameter in the fundamental theory. A chain of $U(1)$ is introduced with characteristic nearest-neighbour interactions. A large $D$-term introduced at one end governs the dynamics of inflation. $Z^\prime$ is localized on the other end of the chain, and it can be massless or can get naturally suppressed mass. The standard model fields can be charged under one of the intermediate $U(1)$ in the chain to give rise to their small effective coupling $g^\prime$ with $Z^\prime$. Constraints on $g^\prime$ and $M_{Z^\prime}$ are discussed in the context of the long-range forces of type $L_\mu - L_\tau$, $L_e - L_\mu$ and $B-L$. These, along with the inflation observables, are used to constraint the parameters of the underlying clockwork model.


title: Quaternion-Based Self-Attentive Long Short-Term User Preference Encoding for Recommendation

abstract: Quaternion space has brought several benefits over the traditional Euclidean space: Quaternions (i) consist of a real and three imaginary components, encouraging richer representations; (ii) utilize Hamilton product which better encodes the inter-latent interactions across multiple Quaternion components; and (iii) result in a model with smaller degrees of freedom and less prone to overfitting. Unfortunately, most of the current recommender systems rely on real-valued representations in Euclidean space to model either user's long-term or short-term interests. In this paper, we fully utilize Quaternion space to model both user's long-term and short-term preferences. We first propose a QUaternion-based self-Attentive Long term user Encoding (QUALE) to study the user's long-term intents. Then, we propose a QUaternion-based self-Attentive Short term user Encoding (QUASE) to learn the user's short-term interests. To enhance our models' capability, we propose to fuse QUALE and QUASE into one model, namely QUALSE, by using a Quaternion-based gating mechanism. We further develop Quaternion-based Adversarial learning along with the Bayesian Personalized Ranking (QABPR) to improve our model's robustness. Extensive experiments on six real-world datasets show that our fused QUALSE model outperformed 11 state-of-the-art baselines, improving 8.43% at HIT@1 and 10.27% at NDCG@1 on average compared with the best baseline.


title: Shape Defense Against Adversarial Attacks

abstract: Humans rely heavily on shape information to recognize objects. Conversely, convolutional neural networks (CNNs) are biased more towards texture. This is perhaps the main reason why CNNs are vulnerable to adversarial examples. Here, we explore how shape bias can be incorporated into CNNs to improve their robustness. Two algorithms are proposed, based on the observation that edges are invariant to moderate imperceptible perturbations. In the first one, a classifier is adversarially trained on images with the edge map as an additional channel. At inference time, the edge map is recomputed and concatenated to the image. In the second algorithm, a conditional GAN is trained to translate the edge maps, from clean and/or perturbed images, into clean images. Inference is done over the generated image corresponding to the input's edge map. Extensive experiments over 10 datasets demonstrate the effectiveness of the proposed algorithms against FGSM and $\ell_\infty$ PGD-40 attacks. Further, we show that a) edge information can also benefit other adversarial training methods, and b) CNNs trained on edge-augmented inputs are more robust against natural image corruptions such as motion blur, impulse noise and JPEG compression, than CNNs trained solely on RGB images. From a broader perspective, our study suggests that CNNs do not adequately account for image structures that are crucial for robustness. Code is available at:~\url{https://github.com/aliborji/Shapedefense.git}.


title: Charge asymmetry in decays $ B\rightarrow D\bar DK$

abstract: We discusses the charge asymmetry in $ B\rightarrow D\bar DK$ decays with an invariant mass of the $D\bar D$ pair near the $\Psi(3770)$ resonance. Unlike $ \Psi (3770) $ decays in $ e^+e^- $ annihilation, in $B^+$ decays the probability of $D^0\bar D^0$ production is almost three times higher than $D^+ D^-$. In $B^0$ decays, the ratio of these probabilities will be opposite. The effect is explained by the fact that, in $B$ -meson decays, the $D\bar D$ pair is produced in a superposition of isoscalar and isovector states, and only in combination with $K$ -mesons the total state has $ 1/2 $ isospin. We present a simple model in which the interference of the nonresonant isovector amplitude with the resonant isoscalar amplitude explains the experimental data.


title: A model for hot spots and Q-slope in granular Niobium thin film superconducting RF cavities

abstract: We propose a model to explain power dissipation leading to the formation of hot spots in the inner walls of niobium thin film superconducting RF cavities. The physical mechanism that we explore is due to the constriction of surface electrical current flow at grain interface boundaries. This constriction creates an additional electrical contact resistance which induces localized punctual heat dissipation. The temperature at these spots is derived; and the electrical contact resistance is shown to depend on the magnetic field, on the gain contact size over which dissipation occurs, and on other key parameters, including the effective London penetration depth and the frequency. The surface resistance and the quality factors are determined using our model and are shown to be in excellent agreement with experimental data.


title: A Bidirectional Tree Tagging Scheme for Joint Medical Relation Extraction

abstract: Joint medical relation extraction refers to extracting triples, composed of entities and relations, from the medical text with a single model. One of the solutions is to convert this task into a sequential tagging task. However, in the existing works, the methods of representing and tagging the triples in a linear way failed to the overlapping triples, and the methods of organizing the triples as a graph faced the challenge of large computational effort. In this paper, inspired by the tree-like relation structures in the medical text, we propose a novel scheme called Bidirectional Tree Tagging (BiTT) to form the medical relation triples into two two binary trees and convert the trees into a word-level tags sequence. Based on BiTT scheme, we develop a joint relation extraction model to predict the BiTT tags and further extract medical triples efficiently. Our model outperforms the best baselines by 2.0\% and 2.5\% in F1 score on two medical datasets. What's more, the models with our BiTT scheme also obtain promising results in three public datasets of other domains.


title: Multi-Epoch X-ray Imaging of Globular Cluster M62 with Chandra

abstract: Using archival spectral-imaging data with a total exposure of $\sim144$ ks obtained by {\it Chandra}, 43 X-ray sources are detected within the half-light radius of globular cluster M62 (NGC6266). Based on the X-ray colour-luminosity diagram or the positional coincidences with known sources, we have classified these sources into different groups of compact binaries including cataclysmic variable (CV), quiescent low mass X-ray binary (qLMXB), millisecond pulsar (MSP) and black hole (BH). Candidates of the X-ray counterparts of 12 CVs, 4 qLMXBs, 2 MSPs and 1 BH are identified in our analysis. The data used in our analysis consist of two frames separated by 12 years, which enable us to search for the long-term variability as well as the short-term X-ray flux variability within each observation window. Evidence for the short-term variability and long-term variability have been found in 7 and 12 sources respectively. For a number of bright sources with X-ray luminosities $L_{x}\gtrsim 10^{32}$~erg/s, we have characterized their spectral properties in further details. By comparing the X-ray population in M62 with those in several other prototypical globular clusters, we found the proportion of bright sources is larger in M62 which can possibly be a result of their active dynamical formation processes.


title: Search for a doubly-charged $DDK$ bound state in $\Upsilon(1S,2S)$ inclusive decays and via direct production in $e^+e^-$ collisions at $\sqrt{s}$ = 10.520, 10.580, and 10.867 GeV

abstract: We report the results of a first search for a doubly-charged $DDK$ bound state, denoted the $R^{++}$, in $\Upsilon(1S)$ and $\Upsilon(2S)$ inclusive decays and via direct production in $e^+e^-$ collisions at $\sqrt{s}$ = 10.520, 10.580, and 10.867 GeV. The search uses data accumulated with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider. No significant signals are observed in the $D^{+}D_{s}^{*+}$ invariant-mass spectra of all studied modes. The 90\% credibility level upper limits on their product branching fractions in $\Upsilon(1S)$ and $\Upsilon(2S)$ inclusive decays (${\cal B}(\Upsilon(1S,2S) \to R^{++} + anything) \times {\cal B}(R^{++} \to D^{+} D_{s}^{*+})$), and the product values of Born cross section and branching fraction in $e^+e^-$ collisions ($\sigma(e^+e^- \to R^{++} + anything) \times {\cal B}(R^{++} \to D^{+} D_{s}^{*+})$) at $\sqrt{s}$ = 10.520, 10.580, and 10.867 GeV under different assumptions of $R^{++}$ masses varying from 4.13 to 4.17 GeV/$c^2$, and widths varying from 0 to 5 MeV are obtained.


title: High-speed Fourier-transform infrared spectroscopy with phase-controlled delay line

abstract: Fourier-transform infrared spectroscopy (FTIR) is the golden standard of mid-infrared (MIR) molecular spectroscopic analysis through optically-encoded vibrational signatures. Michelson-type FTIR and MIR dual-comb spectrometers allow us to simultaneously investigate multiple molecular species via the broadband and high-resolution spectroscopic capabilities. However, these are not applicable to high-speed measurements due to the low temporal resolution which is fundamentally limited by the signal-to-noise ratio (SNR). In this study, we develop a high-speed FTIR spectroscopy technique called phase-controlled Fourier-transform infrared spectroscopy (PC-FTIR) that has the capability to measure MIR absorption spectra at a rate of above 10 kHz. PC-FTIR demonstrates the high scan rate with a high SNR for various spectral bandwidths by arbitrarily adjusting the instrumental spectral resolution. As a proof of principle demonstration, we measure high-speed mixing dynamics of two liquids at a rate of 24 kHz. We also measure MIR spectra of gas-phase molecules with higher spectral resolution at a rate of 12 kHz. This high-speed MIR spectrometer could be especially useful for measuring non-repetitive fast phenomena and acquiring a large amount spectral data within a short time.


title: DeepFacePencil: Creating Face Images from Freehand Sketches

abstract: In this paper, we explore the task of generating photo-realistic face images from hand-drawn sketches. Existing image-to-image translation methods require a large-scale dataset of paired sketches and images for supervision. They typically utilize synthesized edge maps of face images as training data. However, these synthesized edge maps strictly align with the edges of the corresponding face images, which limit their generalization ability to real hand-drawn sketches with vast stroke diversity. To address this problem, we propose DeepFacePencil, an effective tool that is able to generate photo-realistic face images from hand-drawn sketches, based on a novel dual generator image translation network during training. A novel spatial attention pooling (SAP) is designed to adaptively handle stroke distortions which are spatially varying to support various stroke styles and different levels of details. We conduct extensive experiments and the results demonstrate the superiority of our model over existing methods on both image quality and model generalization to hand-drawn sketches.


title: Definable $\mathrm{K}$-homology of separable C*-algebras

abstract: In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal Coefficient Theorem, we prove that the corresponding definable $\mathrm{K}$-homology is a finer invariant than the purely algebraic one, even when restricted to the class of UHF C*-algebras, or to the class of unital commutative C*-algebras whose spectrum is a $1$-dimensional connected subspace of $\mathbb{R}^{3}$.


title: Match4Rec: A Novel Recommendation Algorithm Based on Bidirectional Encoder Representation with the Matching Task

abstract: Characterizing users' interests accurately plays a significant role in an effective recommender system. The sequential recommender system can learn powerful hidden representations of users from successive user-item interactions and dynamic users' preferences. To analyze such sequential data, conventional methods mainly include Markov Chains (MCs) and Recurrent Neural Networks (RNNs). Recently, the use of self-attention mechanisms and bi-directional architectures have gained much attention. However, there still exists a major limitation in previous works that they only model the user's main purposes in the behavioral sequences separately and locally, and they lack the global representation of the user's whole sequential behavior. To address this limitation, we propose a novel bidirectional sequential recommendation algorithm that integrates the user's local purposes with the global preference by additive supervision of the matching task. We combine the mask task with the matching task in the training process of the bidirectional encoder. A new sample production method is also introduced to alleviate the effect of mask noise. Our proposed model can not only learn bidirectional semantics from users' behavioral sequences but also explicitly produces user representations to capture user's global preference. Extensive empirical studies demonstrate our approach considerably outperforms various state-of-the-art models.


title: APVAS: Reducing Memory Size of AS\_PATH Validation by Using Aggregate Signatures

abstract: The \textit{BGPsec} protocol, which is an extension of the border gateway protocol (BGP), uses digital signatures to guarantee the validity of routing information. However, BGPsec's use of digital signatures in routing information causes a lack of memory in BGP routers and therefore creates a gaping security hole in today's Internet. This problem hinders the practical realization and implementation of BGPsec. In this paper, we present APVAS (AS path validation based on aggregate signatures), a new validation method that reduces memory consumption of BGPsec when validating paths in routing information. To do this, APVAS relies on a novel aggregate signature scheme that compresses individually generated signatures into a single signature in two ways, i.e., in sequential and interactive fashions. Furthermore, we implement a prototype of APVAS on \textit{BIRD Internet Routing Daemon} and demonstrate its efficiency on actual BGP connections. Our results show that APVAS can reduce memory consumption by 80\% in comparison with the conventional BGPsec.


title: Discovering Bilingual Lexicons in Polyglot Word Embeddings

abstract: Bilingual lexicons and phrase tables are critical resources for modern Machine Translation systems. Although recent results show that without any seed lexicon or parallel data, highly accurate bilingual lexicons can be learned using unsupervised methods, such methods rely on the existence of large, clean monolingual corpora. In this work, we utilize a single Skip-gram model trained on a multilingual corpus yielding polyglot word embeddings, and present a novel finding that a surprisingly simple constrained nearest-neighbor sampling technique in this embedding space can retrieve bilingual lexicons, even in harsh social media data sets predominantly written in English and Romanized Hindi and often exhibiting code switching. Our method does not require monolingual corpora, seed lexicons, or any other such resources. Additionally, across three European language pairs, we observe that polyglot word embeddings indeed learn a rich semantic representation of words and substantial bilingual lexicons can be retrieved using our constrained nearest neighbor sampling. We investigate potential reasons and downstream applications in settings spanning both clean texts and noisy social media data sets, and in both resource-rich and under-resourced language pairs.


title: Linear Gaussian Quantum State Smoothing: Understanding the optimal unravelings for Alice to estimate Bob's state

abstract: Quantum state smoothing is a technique to construct an estimate of the quantum state at a particular time, conditioned on a measurement record from both before and after that time. The technique assumes that an observer, Alice, monitors part of the environment of a quantum system and that the remaining part of the environment, unobserved by Alice, is measured by a secondary observer, Bob, who may have a choice in how he monitors it. The effect of Bob's measurement choice on the effectiveness of Alice's smoothing has been studied in a number of recent papers. Here we expand upon the Letter which introduced linear Gaussian quantum (LGQ) state smoothing [Phys. Rev. Lett., 122, 190402 (2019)]. In the current paper we provide a more detailed derivation of the LGQ smoothing equations and address an open question about Bob's optimal measurement strategy. Specifically, we develop a simple hypothesis that allows one to approximate the optimal measurement choice for Bob given Alice's measurement choice. By 'optimal choice' we mean the choice for Bob that will maximize the purity improvement of Alice's smoothed state compared to her filtered state (an estimated state based only on Alice's past measurement record). The hypothesis, that Bob should choose his measurement so that he observes the back-action on the system from Alice's measurement, seems contrary to one's intuition about quantum state smoothing. Nevertheless we show that it works even beyond a linear Gaussian setting.


title: An Overview of Researches on Laser Ion Acceleration Using Mixed Solid Target and Single Ion Target

abstract: The essay gives an overview on researches in the field of laser ion acceleration, focusing on two types of targets. There are many types of targets while they can all be divided into targets that apply single ion or multiple ions. Mixed solid targets are proven efficient in accelerating heavy ions and generate high-quality ion beams with energy divergence lower than 5%. Traditional methods like TNSA are mainly used to accelerate protons or heavy ions and there are still many spaces for modification and improvement. Applications of laser-driven ion beams are wide in fields like detector technology, cancer therapy and so on, which is promising and necessary.


title: Instability of compact stars with a nonminimal scalar-derivative coupling

abstract: For a theory in which a scalar field $\phi$ has a nonminimal derivative coupling to the Einstein tensor $G_{\mu \nu}$ of the form $\phi\,G_{\mu \nu}\nabla^{\mu}\nabla^{\nu} \phi$, it is known that there exists a branch of static and spherically-symmetric relativistic stars endowed with a scalar hair in their interiors. We study the stability of such hairy solutions with a radial field dependence $\phi(r)$ against odd- and even-parity perturbations. We show that, for the star compactness ${\cal C}$ smaller than $1/3$, they are prone to Laplacian instabilities of the even-parity perturbation associated with the scalar-field propagation along an angular direction. Even for ${\cal C}>1/3$, the hairy star solutions are subject to ghost instabilities. We also find that even the other branch with a vanishing background field derivative is unstable for a positive perfect-fluid pressure, due to nonstandard propagation of the field perturbation $\delta \phi$ inside the star. Thus, there are no stable star configurations in derivative coupling theory without a standard kinetic term, including both relativistic and nonrelativistic compact objects.


title: Learning Adaptive Embedding Considering Incremental Class

abstract: Class-Incremental Learning (CIL) aims to train a reliable model with the streaming data, which emerges unknown classes sequentially. Different from traditional closed set learning, CIL has two main challenges: 1) Novel class detection. The initial training data only contains incomplete classes, and streaming test data will accept unknown classes. Therefore, the model needs to not only accurately classify known classes, but also effectively detect unknown classes; 2) Model expansion. After the novel classes are detected, the model needs to be updated without re-training using entire previous data. However, traditional CIL methods have not fully considered these two challenges, first, they are always restricted to single novel class detection each phase and embedding confusion caused by unknown classes. Besides, they also ignore the catastrophic forgetting of known categories in model update. To this end, we propose a Class-Incremental Learning without Forgetting (CILF) framework, which aims to learn adaptive embedding for processing novel class detection and model update in a unified framework. In detail, CILF designs to regularize classification with decoupled prototype based loss, which can improve the intra-class and inter-class structure significantly, and acquire a compact embedding representation for novel class detection in result. Then, CILF employs a learnable curriculum clustering operator to estimate the number of semantic clusters via fine-tuning the learned network, in which curriculum operator can adaptively learn the embedding in self-taught form. Therefore, CILF can detect multiple novel classes and mitigate the embedding confusion problem. Last, with the labeled streaming test data, CILF can update the network with robust regularization to mitigate the catastrophic forgetting. Consequently, CILF is able to iteratively perform novel class detection and model update.


title: Multisolitons for the cubic NLS in 1-d and their stability

abstract: For both the cubic Nonlinear Schr\"odinger Equation (NLS) as well as the modified Korteweg-de Vries (mKdV) equation in one space dimension we consider the set ${\bf M}_N$ of pure $N$-soliton states, and their associated multisoliton solutions. We prove that (i) the set ${\bf M}_N$ is a uniformly smooth manifold, and (ii) the ${\bf M}_N$ states are uniformly stable in $H^s$, for each $s>-\frac12$. One main tool in our analysis is an iterated Backlund transform, which allows us to nonlinearly add a multisoliton to an existing soliton free state (the soliton addition map) or alternatively to remove a multisoliton from a multisoliton state (the soliton removal map). The properties and the regularity of these maps are extensively studied.


title: Residual Torsion-Free Nilpotence, Bi-Orderability and Pretzel Knots

abstract: The residual torsion-free nilpotence of the commutator subgroup of a knot group has played a key role in studying the bi-orderability of knot groups. A technique developed by Mayland provides a sufficient condition for the commutator subgroup of a knot group to be residually-torsion-free nilpotent using work of Baumslag. In this paper, we apply Mayland's technique to several genus one pretzel knots and a family of pretzel knots with arbitrarily high genus. As a result, we obtain a large number of new examples of knots with bi-orderable knot groups. These are the first examples of bi-orderable knot groups for knots which are not fibered or alternating.


title: Local Well-posedness of the Free Boundary Incompressible Elastodynamics with Surface Tension

abstract: In this paper, we consider a free boundary problem of the incompressible elatodynamics, a coupling system of the Euler equations for the fluid motion with a transport equation for the deformation tensor. Under a natural force balance law on the free boundary with the surface tension, we establish its well-posedness theory on a short time interval. Our method is the vanishing viscosity limit by establishing a uniform a priori estimates with respect to the viscosity. As a by-product, the inviscid limit of the incompressible viscoelasticity (the system coupling with the Navier-Stokes equations) is also justified. We point out that based on a crucial new observation of the inherent structure of the elastic term on the free boundary, the framework here is established solely in standard Sobolev spaces, but not the co-normal ones used in \cite{MasRou}.


title: Divergence-Preserving Branching Bisimilarity

abstract: This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.


title: A process algebra with global variables

abstract: In standard process algebra, parallel components do not share a common state and communicate through synchronisation. The advantage of this type of communication is that it facilitates compositional reasoning. For modelling and analysing systems in which parallel components operate on shared memory, however, the communication-through-synchronisation paradigm is sometimes less convenient. In this paper we study a process algebra with a notion of global variable. We also propose an extension of Hennessy-Milner logic with predicates to test and set the values of the global variables, and prove correspondence results between validity of formulas in the extended logic and stateless bisimilarity and between validity of formulas in the extended logic without the set operator and state-based bisimilarity. We shall also present a translation from the process algebra with global variables to a fragment of mCRL2 that preserves the validity of formulas in the extended Hennessy-Milner logic.


title: Reactive Temporal Logic

abstract: Whereas standard treatments of temporal logic are adequate for closed systems, having no run-time interactions with their environment, they fall short for reactive systems, interacting with their environments through synchronisation of actions. This paper introduces reactive temporal logic, a form of temporal logic adapted for the study of reactive systems. I illustrate its use by applying it to formulate definitions of a fair scheduler, and of a correct mutual exclusion protocol. Previous definitions of these concepts were conceptually much more involved or less precise, leading to debates on whether or not a given protocol satisfies the implicit requirements.