title: Sliding Mode Network Perimeter Control

abstract: Urban traffic congestion is a chronic problem faced by many cities in the US and worldwide. It results in inefficient infrastructure use as well as increased vehicle fuel consumption and emission levels. Congestion is intertwined with delay, as road users waste precious hours on the road, which in turn reduces productivity. Researchers have developed, and continue to develop, tools and systems to alleviate this problem. Network perimeter control is one such tool that has been studied extensively. It attempts to control the flow of vehicles entering a protected area to ensure that the congested regime predetermined by the Network Fundamental Diagram (NFD) is not reached. In this paper, an approach derived from sliding mode control theory is presented. Its main advantages over proportional-integral controllers include (1) minimal tuning, (2) no linearization of the governing equations, (3) no assumptions with regard to the shape of the NFD, and (4) ability to handle various demand profiles without the need to retune the controller. A sliding mode controller was implemented and tested on a congested grid network. The results show that the proposed controller produces network-wide delay savings and disperses congestion effectively.


title: Real-time Estimation of Vehicle Counts on Signalized Intersection Approaches Using Probe Vehicle Data

abstract: This paper presents a novel method for estimating the number of vehicles traveling along signalized approaches using probe vehicle data only. The proposed method uses the Kalman Filtering technique to produce reliable vehicle count estimates using real-time probe vehicle estimates of the expected travel times. The proposed method introduces a novel variable estimation interval that allows for higher estimation precision, as the updating time interval always contains a fixed number of probe vehicles. The proposed method is evaluated using empirical and simulated data, the former of which were collected along a signalized roadway in downtown Blacksburg, VA. Results indicate that vehicle count estimates produced by the proposed method are accurate. The paper also examines the model's accuracy when installing a single stationary sensor (e.g., loop detector), producing slight improvements especially when the probe vehicle market penetration rate is low. Finally, the paper investigates the sensitivity of the estimation model to traffic demand levels, showing that the model works better at higher demand levels given that more probe vehicles exist for the same market penetration rate.


title: Quantum Chemistry Simulations of Dominant Products in Lithium-Sulfur Batteries

abstract: Quantum chemistry simulations of some industrially relevant molecules are reported, employing variational quantum algorithms for near-term quantum devices. The energies and dipole moments are calculated along the dissociation curves for lithium hydride (LiH), hydrogen sulfide, lithium hydrogen sulfide and lithium sulfide. In all cases we focus on the breaking of a single bond, to obtain information about the stability of the molecular species being investigated. We calculate energies and a variety of electrostatic properties of these molecules using classical simulators of quantum devices, with up to 21 qubits for lithium sulfide. Moreover, we calculate the ground-state energy and dipole moment along the dissociation pathway of LiH using IBM quantum devices. This is the first example, to the best of our knowledge, of dipole moment calculations being performed on quantum hardware.


title: Biologically-Motivated Deep Learning Method using Hierarchical Competitive Learning

abstract: This study proposes a novel biologically-motivated learning method for deep convolutional neural networks (CNNs). The combination of CNNs and back propagation (BP) learning is the most powerful method in recent machine learning regimes. However, it requires large labeled data for training, and this requirement can occasionally become a barrier for real world applications. To address this problem and utilize unlabeled data, I propose to introduce unsupervised competitive learning which only requires forward propagating signals as a pre-training method for CNNs. The method was evaluated by image discrimination tasks using MNIST, CIFAR-10, and ImageNet datasets, and it achieved a state-of-the-art performance as a biologically-motivated method in the ImageNet experiment. The results suggested that the method enables higher-level learning representations solely from forward propagating signals without a backward error signal for the learning of convolutional layers. The proposed method could be useful for a variety of poorly labeled data, for example, time series or medical data.


title: Timely Status Updating Through Intermittent Sensing and Transmission

abstract: We consider a novel intermittent status updating model where an energy harvesting node with an intermittent energy source performs status updating to a receiver through non-preemptive sensing and transmission operations. Each operation costs a single energy recharge of the node and the node cannot harvest energy while in operation. The sensing time for each update is independent with a general distribution. The transmission queue has a single server receiving packets generated after sensing operation, general service time distribution and a single data buffer to save the latest arriving update packet. Once energy is harvested, the node has to decide whether to activate sensing to generate a new update or transmission to send the existing update (if any) to the receiver. We prove that average peak age of information (AoI) at the receiver is minimized by a threshold-based stopping rule that accepts only young packets to the transmission server. We then use this result to address average AoI optimization over the considered stopping rules through novel hybrid waiting and thresholding schemes. Our numerical results show the improvements in average AoI maintained by hybrid schemes.


title: Lower bounds for the constants in non-uniform estimates of the rate of convergence in the CLT

abstract: We conduct a comparative analysis of the constants in the Nagaev-Bikelis and Bikelis-Petrov inequalities which establish non-uniform estimates of the rate of convergence in the central limit theorem for sums of independent random variables possessing finite absolute moments of order $2+\delta$ with $\delta\in[0,1]$. We provide lower bounds for the above constants and also for the constants in the structural improvements of Nagaev-Bikelis' inequality. The lower bounds in Nagaev-Bikelis' inequality and it's structural improvements are given in dependence on $\delta$ and a structural parameter $s$ as well as uniform with respect to both $\delta$ and $s$. Lower bounds for the constants in Nagaev-Bikelis' with $\delta<1$ and Bikelis-Petrov's inequalities are presented for the first time.


title: The ethylene-carbon dioxide complex and the double rotor model

abstract: The infrared spectrum of the weakly-bound C2H4-CO2 complex is investigated in the region of the nu3 fundamental band of CO2 (~2350 cm-1), using a tunable OPO laser source to probe a pulsed supersonic slit jet expansion. The spacing of the various K-subbands in this perpendicular spectrum is very irregular, and the pattern of irregularity is quite different from that observed previously in another C2H4-CO2 band by Bemish et al. [J. Chem. Phys. 103, 7788 (1995)]. But by allowing for the different symmetry of the nu3 (CO2) upper vibrational state, both results can be strikingly well explained using the 'double internal rotor' model as described by Bemish et al.


title: Discovering and Certifying Lower Bounds for the Online Bin Stretching Problem

abstract: There are several problems in the theory of online computation where tight lower bounds on the competitive ratio are unknown and expected to be difficult to describe in a short form. A good example is the Online Bin Stretching problem, in which the task is to pack the incoming items online into bins while minimizing the load of the largest bin. Additionally, the optimal load of the entire instance is known in advance. The contribution of this paper is twofold. We use the Coq proof assistant to formalize the Online Bin Stretching problem and provide a program certifying lower bounds of this problem. Because of the size of the certificates, previously claimed lower bounds were never formally proven. To the best of our knowledge, this is the first use of a formal verification toolkit to certify a lower bound for an online problem. We also provide the first non-trivial lower bounds for Online Bin Stretching with 6, 7 and 8 bins, and increase the best known lower bound for 3 bins. We describe in detail the algorithmic improvements which were necessary for the discovery of the new lower bounds, which are several orders of magnitude more complex.


title: Can x2vec Save Lives? Integrating Graph and Language Embeddings for Automatic Mental Health Classification

abstract: Graph and language embedding models are becoming commonplace in large scale analyses given their ability to represent complex sparse data densely in low-dimensional space. Integrating these models' complementary relational and communicative data may be especially helpful if predicting rare events or classifying members of hidden populations - tasks requiring huge and sparse datasets for generalizable analyses. For example, due to social stigma and comorbidities, mental health support groups often form in amorphous online groups. Predicting suicidality among individuals in these settings using standard network analyses is prohibitive due to resource limits (e.g., memory), and adding auxiliary data like text to such models exacerbates complexity- and sparsity-related issues. Here, I show how merging graph and language embedding models (metapath2vec and doc2vec) avoids these limits and extracts unsupervised clustering data without domain expertise or feature engineering. Graph and language distances to a suicide support group have little correlation (\r{ho} < 0.23), implying the two models are not embedding redundant information. When used separately to predict suicidality among individuals, graph and language data generate relatively accurate results (69% and 76%, respectively); however, when integrated, both data produce highly accurate predictions (90%, with 10% false-positives and 12% false-negatives). Visualizing graph embeddings annotated with predictions of potentially suicidal individuals shows the integrated model could classify such individuals even if they are positioned far from the support group. These results extend research on the importance of simultaneously analyzing behavior and language in massive networks and efforts to integrate embedding models for different kinds of data when predicting and classifying, particularly when they involve rare events.


title: Forecasting Bitcoin closing price series using linear regression and neural networks models

abstract: This paper studies how to forecast daily closing price series of Bitcoin, using data on prices and volumes of prior days. Bitcoin price behaviour is still largely unexplored, presenting new opportunities. We compared our results with two modern works on Bitcoin prices forecasting and with a well-known recent paper that uses Intel, National Bank shares and Microsoft daily NASDAQ closing prices spanning a 3-year interval. We followed different approaches in parallel, implementing both statistical techniques and machine learning algorithms. The SLR model for univariate series forecast uses only closing prices, whereas the MLR model for multivariate series uses both price and volume data. We applied the ADF -Test to these series, which resulted to be indistinguishable from a random walk. We also used two artificial neural networks: MLP and LSTM. We then partitioned the dataset into shorter sequences, representing different price regimes, obtaining best result using more than one previous price, thus confirming our regime hypothesis. All the models were evaluated in terms of MAPE and relativeRMSE. They performed well, and were overall better than those obtained in the benchmarks. Based on the results, it was possible to demonstrate the efficacy of the proposed methodology and its contribution to the state-of-the-art.


title: Locality-Sensitive Hashing for Efficient Web Application Security Testing

abstract: Web application security has become a major concern in recent years, as more and more content and services are available online. A useful method for identifying security vulnerabilities is black-box testing, which relies on an automated crawling of web applications. However, crawling Rich Internet Applications (RIAs) is a very challenging task. One of the key obstacles crawlers face is the state similarity problem: how to determine if two client-side states are equivalent. As current methods do not completely solve this problem, a successful scan of many real-world RIAs is still not possible. We present a novel approach to detect redundant content for security testing purposes. The algorithm applies locality-sensitive hashing using MinHash sketches in order to analyze the Document Object Model (DOM) structure of web pages, and to efficiently estimate similarity between them. Our experimental results show that this approach allows a successful scan of RIAs that cannot be crawled otherwise.


title: TCM-ICP: Transformation Compatibility Measure for Registering Multiple LIDAR Scans

abstract: Rigid registration of multi-view and multi-platform LiDAR scans is a fundamental problem in 3D mapping, robotic navigation, and large-scale urban modeling applications. Data acquisition with LiDAR sensors involves scanning multiple areas from different points of view, thus generating partially overlapping point clouds of the real world scenes. Traditionally, ICP (Iterative Closest Point) algorithm is used to register the acquired point clouds together to form a unique point cloud that captures the scanned real world scene. Conventional ICP faces local minima issues and often needs a coarse initial alignment to converge to the optimum. In this work, we present an algorithm for registering multiple, overlapping LiDAR scans. We introduce a geometric metric called Transformation Compatibility Measure (TCM) which aids in choosing the most similar point clouds for registration in each iteration of the algorithm. The LiDAR scan most similar to the reference LiDAR scan is then transformed using simplex technique. An optimization of the transformation using gradient descent and simulated annealing techniques are then applied to improve the resulting registration. We evaluate the proposed algorithm on four different real world scenes and experimental results shows that the registration performance of the proposed method is comparable or superior to the traditionally used registration methods. Further, the algorithm achieves superior registration results even when dealing with outliers.


title: Functional Response Designs via the Analytic Permutation Test

abstract: Vast literature on experimental design extends from Fisher and Snedecor to the modern day. When data lies beyond the assumption of univariate normality, nonparametric methods including rank based statistics and permutation tests are enlisted. The permutation test is a versatile exact nonparametric significance test that requires drastically fewer assumptions than similar parametric tests. The main downfall of the permutation test is high computational cost making this approach laborious for complex data and sophisticated experimental designs and completely infeasible in any application requiring speedy results such as high throughput streaming data. We rectify this problem through application of concentration inequalities and thus propose a computation free permutation test -- i.e. a permutation-less permutation test. This general framework is applied to multivariate, matrix-valued, and functional data. We improve these concentration bounds via a novel incomplete beta transform. We extend our theory from 2-sample to $k$-sample testing through the use of weakly dependent Rademacher chaoses and modified decoupling inequalities. We test this methodology on classic functional data sets including the Berkeley growth curves and the phoneme dataset. We further consider analysis of spoken vowel sound under two experimental designs: the Latin square and the randomized block design.


title: Vortex elongation in outer streaming flows

abstract: We study the secondary time-averaged flow (streaming) generated by an oscillating cylinder immersed within a fluid, under high amplitude forcing so that inertial effects are significant. This streaming is decomposed into a viscous boundary layer flow where vorticity is created, and an outer flow of larger size. We operate under conditions of relatively low viscosity, so that the boundary layer is smaller than the object diameter. While for low Keulegan-Carpenter (KC) number (small enough amplitude), the size of the outer flow is typically that of the object, here we show that at large enough forcing, the outer flow stretches along the direction of the vibration by up to 8 times, while the flow still keeps its axial symmetry. We quantify the elongation through PIV measurements under an unprecedented range of frequency and amplitude, so that the streaming Reynolds number reaches values much larger than unity. The absence of significant unsteady component of vorticity outside the viscous boundary layer - and the fact that the length of elongation scales well with the streaming Reynolds number - suggest that the stretching should be due to the convection of stationary vorticity by the streaming flow itself.


title: Three-dimensional lattice multiflavor scalar chromodynamics: interplay between global and gauge symmetries

abstract: We study the nature of the finite-temperature transition of the three-dimensional scalar chromodynamics with N_f flavors. These models are constructed by considering maximally O(M)-symmetric multicomponent scalar models, whose symmetry is partially gauged to obtain SU(N_c) gauge theories, with a residual nonabelian global symmetry given by U(N_f) for N_c>2 and Sp(N_f) for N_c=2, so that M = 2 N_c N_f. We find that their finite-temperature transition is continuous for N_f=2 and for all values of Nc we investigated, N_c=2,3,4. Such continuous transitions belong to universality classes related to the global symmetry group of the theory. For N_c=2 it belongs to the SO(5)=Sp(2)/Z_2 universality class, while for N_c>2 it belongs to the SO(3)=SU(2)/Z_2 universality class. For N_f>2, the transition is always of first order. These results match the predictions obtained by using the effective Landau-Ginzburg-Wilson approach in terms of a gauge-invariant order parameter. Our results indicate that the nonabelian gauge degrees of freedom are irrelevant at the transition. These conclusions are supported by an analysis of gauge-field dependent correlation functions, that are always short-ranged, even at the transition.


title: Search techniques in peer to peer networks

abstract: Peer to peer (P2P) networks are an overlay on IP network of the internet and they can shape the future of computing by their involvement in distributed systems with the increased of use of low priced personal computers to form big clusters of distributed systems. An important problem for P2P networks and models is searching for data in the network which can be the basis of any service that uses such a network. Here we explore the major types of P2P networks and their solution to such a problem and we explore improvements that happened to these networks to be more appealing for commercial usage by offering features of load balancing, scalability, self organization and fault tolerance.


title: On Einstein-non linear-Maxwell-Yukawa de-Sitter black hole thermodynamics

abstract: We investigate the thermodynamics of the Einstein-non linear-Maxwell-Yukawa black hole solution in de-Sitter spacetime. After presenting the black hole solution and its horizons, we use different thermodynamics points of view to probe the phase structure of such a black hole, ranging from local, global thermodynamics to the effective thermodynamics formalism with two horizons. Our analysis shows that the black hole can undergo a thermal phase transition between an unstable phase and stable phase. These results are consolidated by our proposal of generalizing effective thermodynamics to three horizons black holes. As by product, we find that the effective temperatures behave as an association of ohmic resistances in an electric circuit, which may reveal a possible analogy between the electric and thermodynamic systems.


title: Lensing efficiency for gravitational wave mergers

abstract: We gain insight into the effects of gravitational lensing on the estimated distribution of merging binaries observed through gravitational waves. We quantify the efficiency of magnification for gravitational wave events in the geometric optics limit, and we compare it to the electromagnetic case by making minimal assumptions about the distribution of intrinsic properties for the source population. We show that lensing effects leave a recognizable signature on the observed rates, and that they can be prominent only in the presence of an extremely steep mass function (or redshift evolution) and mainly at low inferred redshifts. We conclude that gravitational magnification does not represent a significant systematic for gravitational wave merger studies in the LIGO-Virgo era.


title: Some results on the subadditivity condition of syzygies

abstract: Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq t_a+t_1+t_2+\cdots+t_b-\frac{b(b-1)}{2},$$ where $t_1,t_2,\dots$ are the maximal shifts in the minimal graded free $S$-resolution of $S/I$.


title: An exact black hole spacetime with scalar field and its shadow together with quasinormal modes

abstract: We find an exact black hole solution with a minimally coupled scalar field. The corresponding spacetime has two horizons and one of the them is the black hole event horizon and the other is the cosmic horizon. In this sense, the solution is analogous to the Schwarzschild-de Sitter (or anti-de Sitter) spacetime. We investigate the thermodynamics and construct the first law of thermodynamics. At the same time, we make a study on the shadow and quasinormal modes of this black hole solution.


title: Phase Transitions in the Edge/Concurrent Vertex Model

abstract: Although it is well-known that some exponential family random graph model (ERGM) families exhibit phase transitions (in which small parameter changes lead to qualitative changes in graph structure), the behavior of other models is still poorly understood. Recently, Krivitsky and Morris have reported a previously unobserved phase transition in the edge/concurrent vertex family (a simple starting point for models of sexual contact networks). Here, we examine this phase transition, showing it to be a first order transition with respect to an order parameter associated with the fraction of concurrent vertices. This transition stems from weak cooperativity in the recruitment of vertices to the concurrent phase, which may not be a desirable property in some applications.

categories: cs.SI cond-mat.stat-mech math.ST stat.TH


title: The energy of muscle contraction. I. Tissue force and deformation during isometric contractions

abstract: During contraction the energy of muscle tissue increases due to energy from the hydrolysis of ATP. This energy is distributed across the tissue as strain-energy potentials in the contractile elements, strain-energy potential from the 3D deformation of the base-material tissue (containing cellular and ECM effects), energy related to changes in the muscle's nearly incompressible volume and external work done at the muscle surface. Thus, energy is redistributed through the muscle's tissue as it contracts, with only a component of this energy being used to do mechanical work and develop forces in the muscle's line-of-action. Understanding how the strain-energy potentials are redistributed through the muscle tissue will help enlighten why the mechanical performance of whole muscle in its line-of-action does not match the performance that would be expected from the contractile elements alone. Here we demonstrate these physical effects using a 3D muscle model based on the finite element method. The tissue deformations within contracting muscle are large, and so the mechanics of contraction were explained using the principles of continuum mechanics for large deformations. We present simulations of a contracting medial gastrocnemius muscle, showing tissue deformations that mirror observations from MRI-based images. This paper tracks the redistribution of strain-energy potentials through the muscle tissue during isometric contractions, and shows how fibre shortening, pennation angle, transverse bulging and anisotropy in the stress and strain of the muscle tissue are all related to the interaction between the material properties of the muscle and the action of the contractile elements.


title: Transformer-based language modeling and decoding for conversational speech recognition

abstract: We propose a way to use a transformer-based language model in conversational speech recognition. Specifically, we focus on decoding efficiently in a weighted finite-state transducer framework. We showcase an approach to lattice re-scoring that allows for longer range history captured by a transfomer-based language model and takes advantage of a transformer's ability to avoid computing sequentially.


title: A Riemannian Framework for Low-Rank Structured Elliptical Models

abstract: This paper proposes an original Riemmanian geometry for low-rank structured elliptical models, i.e., when samples are elliptically distributed with a covariance matrix that has a low-rank plus identity structure. The considered geometry is the one induced by the product of the Stiefel manifold and the manifold of Hermitian positive definite matrices, quotiented by the unitary group. One of the main contribution is to consider an original Riemannian metric, leading to new representations of tangent spaces and geodesics. From this geometry, we derive a new Riemannian optimization framework for robust covariance estimation, which is leveraged to minimize the popular Tyler's cost function on the considered quotient manifold. We also obtain a new divergence function, which is exploited to define a geometrical error measure on the quotient, and the corresponding intrinsic Cram\'er-Rao lower bound is derived. Thanks to the structure of the chosen parametrization, we further consider the subspace estimation error on the Grassmann manifold and provide its intrinsic Cram\'er-Rao lower bound. Our theoretical results are illustrated on some numerical experiments, showing the interest of the proposed optimization framework and that performance bounds can be reached.


title: Analytical results for the capacitance of a circular plate capacitor

abstract: We study the classic problem of the capacitance of a circular parallel plate capacitor. At small separations between the plates, it is initially considered in 19th century by Kirchhoff who found the leading and the subleading term in the capacitance. Despite a large interest in the problem, one and a half century later, analytically was found only the second subleading term. Using the recent advances in the asymptotic analysis of Fredholm integral equations of the second kind with finite support, here we study the one governing the circular capacitor, known as the Love equation. We found analytically many new subleading terms in the capacitance at small separations. We also calculated the asymptotic expansion at large separations, thus providing the two simple expressions which practically describe the capacitance at all distances. The approach described here could be used to find exact analytical expansions for the capacitance to an arbitrary number of terms in both regimes of small and large separations.

categories: math-ph cond-mat.quant-gas math.CA math.MP physics.class-ph


title: Geometric hydrodynamics and infinite-dimensional Newton's equations

abstract: We revisit the geodesic approach to ideal hydrodynamics and present a related geometric framework for Newton's equations on groups of diffeomorphisms and spaces of probability densities. The latter setting is sufficiently general to include equations of compressible and incompressible fluid dynamics, magnetohydrodynamics, shallow water systems and equations of relativistic fluids. We illustrate this with a survey of selected examples, as well as with new results, using the tools of infinite-dimensional information geometry, optimal transport, the Madelung transform, and the formalism of symplectic and Poisson reduction.


title: Nanostructured-membrane electron phase plates

abstract: Electron beams can acquire designed phase modulations by passing through nanostructured material phase plates. These phase modulations enable electron wavefront shaping and benefit electron microscopy, spectroscopy, lithography, and interferometry. However, in the fabrication of electron phase plates, the typically used focused-ion-beam-milling method limits the fabrication throughput and hence the active area of the phase plates. Here, we fabricated large-area electron phase plates with electron-beam lithography and reactive-ion-etching. The phase plates are characterized by electron diffraction in transmission electron microscopes with various electron energies, as well as diffractive imaging in a scanning electron microscope. We found the phase plates could produce a null in the center of the bright-field based on coherent interference of diffractive beams. Our work adds capabilities to the fabrication of electron phase plates. The nullification of the direct beam and the tunable diffraction efficiency demonstrated here also paves the way towards novel dark-field electron-microscopy techniques and tunable electron phase plates.


title: A free boundary problem with fractional diffusion

abstract: We study a free boundary optimization problem for the fractional Laplacian with a volume constraint and a lower bound. We prove existence and optimal H\"{o}lder regularity of solutions, as well as derive geometric properties of solutions and of the corresponding exterior free boundary.


title: New lower bounds for Massively Parallel Computation from query complexity

abstract: Roughgarden, Vassilvitskii, and Wang (JACM 18) recently introduced a novel framework for proving lower bounds for Massively Parallel Computation using techniques from boolean function complexity. We extend their framework in two different ways, to capture two common features of Massively Parallel Computation: $\circ$ Adaptivity, where machines can write to and adaptively read from shared memory throughout the execution of the computation. Recent work of Behnezhad et al. (SPAA 19) showed that adaptivity enables significantly improved round complexities for a number of central graph problems. $\circ$ Promise problems, where the algorithm only has to succeed on certain inputs. These inputs may have special structure that is of particular interest, or they may be representative of hard instances of the overall problem. Using this extended framework, we give the first unconditional lower bounds on the complexity of distinguishing whether an input graph is a cycle of length $n$ or two cycles of length $n/2$. This promise problem, 1v2-Cycle, has emerged as a central problem in the study of Massively Parallel Computation. We prove that any adaptive algorithm for the 1v2-Cycle problem with I/O capacity $O(n^{\varepsilon})$ per machine requires $\Omega(1/\varepsilon)$ rounds, matching a recent upper bound of Behnezhad et al. In addition to strengthening the connections between Massively Parallel Computation and boolean function complexity, we also develop new machinery to reason about the latter. At the heart of our proofs are optimal lower bounds on the query complexity and approximate certificate complexity of the 1v2-Cycle problem.


title: Mathematical formulation of a dynamical system with dry friction subjected to external forces

abstract: We consider the response of a one-dimensional system with friction. S.W. Shaw (Journal of Sound and Vibration, 1986) introduced the set up of different coefficients for the static and dynamic phases (also called stick and slip phases). He constructs a step by step solution, corresponding to an harmonic forcing. In this paper, we show that the theory of variational inequalities provides an elegant and synthetic approach to obtain the existence and uniqueness of the solution, avoiding the step by step construction. We then apply the theory to a real structure with real data and show that the model is quite accurate. In our case, the forcing motion comes from dilatation, due to temperature.


title: Rigorous results for the electrical conductivity due to electron-phonon scattering

abstract: We present a rigorous solution of the Boltzmann equation for the electron-phonon scattering problem in three spatial dimensions in the limit of low temperatures. The different temperature scaling of the various scattering rates turns the temperature into a control parameter that is not available in classical kinetic theory and allows for a rigorous proof of Bloch's $T^5$ law. The relation between the Boltzmann equation and the Kubo formula is also discussed, as well as implications for the scattering of electrons by excitations other than phonons.


title: The probability of selecting $k$ edge-disjoint Hamilton cycles in the complete graph

abstract: Let $H_1,\dots,H_k$ be Hamilton cycles in $K_n$, chosen independently and uniformly at random. We show, for $k = o(n^{1/100})$, that the probability of $H_1,\dots,H_k$ being edge-disjoint is $(1+o(1))e^{-2\binom{k}{2}}$. This extends a corresponding estimate obtained by Robbins in the case $k=2$.


title: The properties of prompt emission in short GRBs with extended emission observed by {\em Fermi}/GBM

abstract: Short GRBs with extended emission (EE) that are composed initially of a short-hard spike and followed by a long-lasting EE, are thought to be classified as a subsection of short GRBs. The narrow energy band available during the {\em Swift} era combined with a lack of spectral information prevented discovery of the intrinsic properties of those events. In this paper, we performed a systematic search of short GRBs with EE by using all available {\em Fermi}/GBM data. The search identified 26 GBM-detected short GRBs with EE that are similar to GRB 060614 observed by {\em Swift}/BAT. We focus on investigating the spectral and temporal properties for both the hard spike and the EE components of all 26 GRBs, and explore differences and possible correlations between them. We find that while the peak energy ($E_{\rm p}$) of the hard spikes is a little bit harder than that of the EE, but their fluences are comparable. The harder $E_{\rm p}$ seems to correspond to a larger fluence and peak flux with a large scatter for both the hard spike and EE components. Moreover, the $E_{\rm p}$ of both the hard spikes and EE are compared to other short GRBs. Finally, we also compare the properties of GRB 170817A with those short GRBs with EE and find no significant statistical differences between them. We find that GRB 170817A has the lowest $E_{\rm p}$, likely because it was off-axis.


title: Ionic liquids of ultralow proton activity

abstract: The route to super acidic ionic liquids by proton transfer from molecular super acids to weak molecular bases like pentafluoropyridine, has been described in recent work. Here we consider the process of making super basic ionic liquids by a similar procedure, and encounter the problem of finding molecular bases of high enough basicity to accept protons from weak acids to form ionic liquids of both high basicity and high iconicity. The consequence is that no ionic liquid with proton activity outside the aqueous base limit of pH =14, has yet been made. The problem is resolved by considering the six possible types of proton transfer processes, selecting the process of transfer from weak molecular acids to very basic ionic anions - partnered with alkali metal cations, and then replacing the alkali metals cations with reduction-resistant organic cations by metathesis. In many cases the alkali metal salts of target anions are commercially available, and only the metathesis reaction is needed to obtain the basic ionic liquid. A thermodynamic route to the assessment of basicity levels on the water scale, i.e. relative to the H3O+/H2O donor/acceptor level, is described, and is verified for the case of pure H2SO4. It is then applied to show how to extend the possible proton activity range down, by some 25 orders of magnitude, to reach pKa values of order 40, with even higher values possible in principle.


title: Matrix Completion with Prior Subspace Information via Maximizing Correlation

abstract: This paper studies the problem of completing a low-rank matrix from a few of its random entries with the aid of prior information. We suggest a strategy to incorporate prior information into the standard matrix completion procedure by maximizing the correlation between the original signal and the prior information. We also establish performance guarantees for the proposed method, which show that with suitable prior information, the proposed procedure can reduce the sample complexity of the standard matrix completion by a logarithmic factor. To illustrate the theory, we further analyze an important practical application where the prior subspace information is available. Both synthetic and real-world experiments are provided to verify the validity of the theory.


title: Symplectic algorithms for stable manifolds in control theory

abstract: In this note, we propose a symplectic algorithm for the stable manifolds of the Hamilton-Jacobi equations combined with an iterative procedure in [Sakamoto-van~der Schaft, IEEE Transactions on Automatic Control, 2008]. Our algorithm includes two key aspects. The first one is to prove a precise estimate for radius of convergence and the errors of local approximate stable manifolds. The second one is to extend the local approximate stable manifolds to larger ones by symplectic algorithms which have better long-time behaviors than general-purpose schemes. Our approach avoids the case of divergence of the iterative sequence of approximate stable manifolds, and reduces the computation cost. We illustrate the effectiveness of the algorithm by an optimal control problem with exponential nonlinearity.


title: One-Sided Derivative of Distance to a Compact Set

abstract: We give a complete and self-contained proof of a folklore theorem which says that in an Alexandrov space the distance between a point $\gamma(t)$ on a geodesic $\gamma$ and a compact set $K$ is a right-differentiable function of $t$. Moreover, the value of this right-derivative is given by the negative cosine of the minimal angle between the geodesic and any shortest path to the compact set (Theorem 4.3). Our treatment serves as a general introduction to metric geometry and relies only on the basic elements, such as comparison triangles and upper angles.


title: Some connections between classical and nonclassical symmetries of a partial differential equation and their applications

abstract: Some connections between classical and nonclassical symmetries of a partial differential equation (PDE) are given in terms of determining equations of the two symmetries. These connections provide additional information for determining nonclassical symmetry of a PDE and make it easier to solve the system of nonlinear determining equations. As example, new nonclassical symmetries are exhibited for a class of generalized Burgers equation and KdV-type equations are given.


title: Study of open-charm decays and radiative transitions of the X(3872)

abstract: The processes $X(3872)\to D^{*0}\bar{D^{0}}+c.c.,~\gamma J/\psi,~\gamma \psi(2S),$ and $\gamma D^{+}D^{-}$ are searched for in a $9.0~\rm fb^{-1}$ data sample collected at center-of-mass energies between $4.178$ and $4.278$ GeV with the BESIII detector. We observe $X(3872)\to D^{*0}\bar{D^{0}}+c.c.$ and find evidence for $X(3872)\to\gamma J/\psi$ with statistical significances of $7.4\sigma$ and $3.5\sigma$, respectively. No evident signals for $X(3872)\to\gamma\psi(2S)$ and $\gamma D^{+}D^{-}$ are found, and upper limit on the relative branching ratio $R_{\gamma \psi} \equiv\frac{\mathcal{B}(X(3872)\to\gamma\psi(2S))}{\mathcal{B}(X(3872)\to\gamma J/\psi)}<0.59$ is set at 90$\%$ confidence level. Measurements of branching ratios relative to decay $X(3872)\to\pi^+\pi^- J/\psi$ are also reported for decays $X(3872)\to D^{*0}\bar{D^{0}}+c.c., ~\gamma\psi(2S),~\gamma J/\psi$, $\gamma D^{+}D^{-}$, as well as the non-$D^{*0}\bar{D}^{0}$ three-body decays $\pi^0 D^{0}\bar{D}^{0}$ and $\gamma D^{0}\bar{D}^{0}$.


title: Broken mirror symmetry in excitonic response of reconstructed domains in twisted MoSe$_2$/MoSe$_2$ bilayers

abstract: Structural engineering of van der Waals heterostructures via stacking and twisting has recently been used to create moir\'e superlattices, enabling the realization of new optical and electronic properties in solid-state systems. In particular, moir\'e lattices in twisted bilayers of transition metal dichalcogenides (TMDs) have been shown to lead to exciton trapping, host Mott insulating and superconducting states, and act as unique Hubbard systems whose correlated electronic states can be detected and manipulated optically. Structurally, these twisted heterostructures also feature atomic reconstruction and domain formation. Unfortunately, due to the nanoscale sizes (~10 nm) of typical moir\'e domains, the effects of atomic reconstruction on the electronic and excitonic properties of these heterostructures could not be investigated systematically and have often been ignored. Here, we use near-0$^o$ twist angle MoSe$_2$/MoSe$_2$ bilayers with large rhombohedral AB/BA domains to directly probe excitonic properties of individual domains with far-field optics. We show that this system features broken mirror/inversion symmetry, with the AB and BA domains supporting interlayer excitons with out-of-plane (z) electric dipole moments in opposite directions. The dipole orientation of ground-state $\Gamma$-K interlayer excitons (X$_{I,1}$) can be flipped with electric fields, while higher-energy K-K interlayer excitons (X$_{I,2}$) undergo field-asymmetric hybridization with intralayer K-K excitons (X$_0$). Our study reveals the profound impacts of crystal symmetry on TMD excitons and points to new avenues for realizing topologically nontrivial systems, exotic metasurfaces, collective excitonic phases, and quantum emitter arrays via domain-pattern engineering.


title: A local character based method for solving linear systems of radiation diffusion problems

abstract: The radiation diffusion problem is a kind of {time-dependent} nonlinear equations. For solving the radiation diffusion equations, many linear systems are obtained in the nonlinear iterations at each time step. The cost of linear equations dominates the numerical simulation of radiation diffusion applications, such as inertial confinement fusion, etc. {Usually,} iterative methods are used to solve the linear systems in {a} real application. {Moreover, the solution of the previous nonlinear iteration or the solution of the previous time step is typically used as the initial guess for solving the current linear equations.} Because of the strong local character in ICF, with the advancing of nonlinear iteration and time step, the solution of the linear system changes dramatically in some local domain, and changes mildly or even has no change in the rest domain. In this paper, a local {character-based} method is proposed to solve the linear systems of radiation diffusion problems. The proposed method consists of three steps: firstly, a local domain (algebraic domain) is constructed; secondly, the subsystem on the local domain is solved; and lastly, the whole system will be solved. Two methods are given to construct the local domain. One is based on the spatial gradient, and the other is based on the residual. Numerical tests for a two-dimensional heat conduction model problem, and two real application models, the multi-group radiation diffusion equations and the three temperature energy equations, are conducted. The test results show that the solution time for solving the linear system can be reduced dramatically by using the local character-based method.


title: The Asymptotic Generalized Poor-Verdu Bound Achieves the BSC Error Exponent at Zero Rate

abstract: The generalized Poor-Verdu error lower bound for multihypothesis testing is revisited. Its asymptotic expression is established in closed-form as its tilting parameter grows to infinity. It is also shown that the asymptotic generalized bound achieves the error exponent (or reliability function) of the memoryless binary symmetric channel at zero coding rates.


title: The splashback radius of optically selected clusters with Subaru HSC Second Public Data Release

abstract: Recent constraints on the splashback radius around optically selected galaxy clusters from the redMaPPer cluster-finding algorithm in the literature have shown that the observed splashback radius is $\sim 20\%$ smaller than that predicted by N-body simulations. We present analyses on the splashback features around $\sim 3000$ optically selected galaxy clusters detected by the independent cluster-finding algorithm CAMIRA over a wide redshift range of $0.1<z_{\rm cl}<1.0$ from the second public data release of the Hyper Suprime-Cam (HSC) Subaru Strategic Program covering $\sim 427~{\rm deg}^2$ for the cluster catalog. We detect the splashback feature from the projected cross-correlation measurements between the clusters and photometric galaxies over the wide redshift range, including for high redshift clusters at $0.7<z_{\rm cl}<1.0$, thanks to deep HSC images. We find that constraints from red galaxy populations only are more precise than those without any color cut, leading to $1\sigma$ precisions of $\sim 15\%$ at $0.4<z_{\rm cl}<0.7$ and $0.7<z_{\rm cl}<1.0$. These constraints are more consistent with the model predictions ($\lesssim 1\sigma$) than their $20\%$ smaller values as suggested by the previous studies with the redMaPPer ($\sim 2\sigma$). We also investigate selection effects of the optical cluster-finding algorithms on the observed splashback features by creating mock galaxy catalogs from a halo occupation distribution model, and find that such effects to be sub-dominant for the CAMIRA cluster-finding algorithm. We also find that the redMaPPer-like cluster-finding algorithm induces a smaller inferred splashback radius in our mock catalog, especially at lower richness, which can well explain the smaller splashback radii in the literature. In contrast, these biases are significantly reduced when increasing its aperture size.


title: Using physical features of protein core packing to distinguish real proteins from decoys

abstract: The ability to consistently distinguish real protein structures from computationally generated model decoys is not yet a solved problem. One route to distinguish real protein structures from decoys is to delineate the important physical features that specify a real protein. For example, it has long been appreciated that the hydrophobic cores of proteins contribute significantly to their stability. As a dataset of decoys to compare with real protein structures, we studied submissions to the bi-annual CASP competition (specifically CASP11, 12, and 13), in which researchers attempt to predict the structure of a protein only knowing its amino acid sequence. Our analysis reveals that many of the submissions possess cores that do not recapitulate the features that define real proteins. In particular, the model structures appear more densely packed (because of energetically unfavorable atomic overlaps), contain too few residues in the core, and have improper distributions of hydrophobic residues throughout the structure. Based on these observations, we developed a deep learning method, which incorporates key physical features of protein cores, to predict how well a computational model recapitulates the real protein structure without knowledge of the structure of the target sequence. By identifying the important features of protein structure, our method is able to rank decoys from the CASP competitions equally well, if not better than, state-of-the-art methods that incorporate many additional features.


title: End-To-End Trainable Video Super-Resolution Based on a New Mechanism for Implicit Motion Estimation and Compensation

abstract: Video super-resolution aims at generating a high-resolution video from its low-resolution counterpart. With the rapid rise of deep learning, many recently proposed video super-resolution methods use convolutional neural networks in conjunction with explicit motion compensation to capitalize on statistical dependencies within and across low-resolution frames. Two common issues of such methods are noteworthy. Firstly, the quality of the final reconstructed HR video is often very sensitive to the accuracy of motion estimation. Secondly, the warp grid needed for motion compensation, which is specified by the two flow maps delineating pixel displacements in horizontal and vertical directions, tends to introduce additional errors and jeopardize the temporal consistency across video frames. To address these issues, we propose a novel dynamic local filter network to perform implicit motion estimation and compensation by employing, via locally connected layers, sample-specific and position-specific dynamic local filters that are tailored to the target pixels. We also propose a global refinement network based on ResBlock and autoencoder structures to exploit non-local correlations and enhance the spatial consistency of super-resolved frames. The experimental results demonstrate that the proposed method outperforms the state-of-the-art, and validate its strength in terms of local transformation handling, temporal consistency as well as edge sharpness.


title: Recollements, Cohen-Macaulay Auslander algebras and Gorenstein projective conjecture

abstract: It is shown that a 4-recollement of derived categories of CM-finite algebras induces a 2-recollement of the corresponding Cohen-Macaulay Auslander algebras, which generalises the main theorem of Pan [S. Y. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra 216 (2012), 355{363]. Moreover, both Auslander- Reiten conjecture and Gorenstein projective conjecture are shown invariant under 3 (or 4)-recollement of unbounded derived categories of algebras.


title: The BESIII Physics Programme

abstract: The standard model of particle physics is a well-tested theoretical framework, but there are still a number of issues that deserve further experimental and theoretical investigation. For quark physics, such questions include: the nature of quark confinement, the mechanism that connects the quarks and gluons of the standard model theory to the strongly interacting particles; and the weak decays of quarks, which may provide insights into new physics mechanisms responsible for the matter-antimatter asymmetry of the Universe. These issues are addressed by the Beijing Spectrometer III (BESIII) experiment at the Beijing Electron-Positron Collider II (BEPCII) storage ring, which for the past decade has been studying particles produced in electron-positron collisions in the tau-charm energy-threshold region, and has by now accumulated the world's largest datasets that enables searches for nonstandard hadrons, weak decays of the charmed particles, and new physics phenomena beyond the standard model. Here, we review the contributions of BESIII to such studies and discuss future prospects for BESIII and other experiments.


title: Optical States in a 1-D Superlattice with Multiple Photonic Crystal Interfaces

abstract: Interface states in a 1-D photonic crystal heterostructure with multiple interfaces are examined. It is found that the behavior of the localized modes in the photonic band gaps is dependent on whether there is an even or odd number of photonic crystal interfaces in the heterostructure. With certain sequences of all dielectric photonic crystals, topological states are shown to split in two, whereas for other heterostructures they are shown to vanish. Additional resonant modes appear depending on how many crystals are in the heterostructure.


title: Recent Developments in Complex and Spatially Correlated Functional Data

abstract: As high-dimensional and high-frequency data are being collected on a large scale, the development of new statistical models is being pushed forward. Functional data analysis provides the required statistical methods to deal with large-scale and complex data by assuming that data are continuous functions, e.g., a realization of a continuous process (curves) or continuous random fields (surfaces), and that each curve or surface is considered as a single observation. Here, we provide an overview of functional data analysis when data are complex and spatially correlated. We provide definitions and estimators of the first and second moments of the corresponding functional random variable. We present two main approaches: The first assumes that data are realizations of a functional random field, i.e., each observation is a curve with a spatial component. We call them 'spatial functional data'. The second approach assumes that data are continuous deterministic fields observed over time. In this case, one observation is a surface or manifold, and we call them 'surface time series'. For the two approaches, we describe software available for the statistical analysis. We also present a data illustration, using a high-resolution wind speed simulated dataset, as an example of the two approaches. The functional data approach offers a new paradigm of data analysis, where the continuous processes or random fields are considered as a single entity. We consider this approach to be very valuable in the context of big data.


title: Computationally Efficient NER Taggers with Combined Embeddings and Constrained Decoding

abstract: Current State-of-the-Art models in Named Entity Recognition (NER) are neural models with a Conditional Random Field (CRF) as the final network layer, and pre-trained "contextual embeddings". The CRF layer is used to facilitate global coherence between labels, and the contextual embeddings provide a better representation of words in context. However, both of these improvements come at a high computational cost. In this work, we explore two simple techniques that substantially improve NER performance over a strong baseline with negligible cost. First, we use multiple pre-trained embeddings as word representations via concatenation. Second, we constrain the tagger, trained using a cross-entropy loss, during decoding to eliminate illegal transitions. While training a tagger on CoNLL 2003 we find a $786$\% speed-up over a contextual embeddings-based tagger without sacrificing strong performance. We also show that the concatenation technique works across multiple tasks and datasets. We analyze aspects of similarity and coverage between pre-trained embeddings and the dynamics of tag co-occurrence to explain why these techniques work. We provide an open source implementation of our tagger using these techniques in three popular deep learning frameworks --- TensorFlow, Pytorch, and DyNet.


title: Facial Action Unit Detection via Adaptive Attention and Relation

abstract: Facial action unit (AU) detection is challenging due to the difficulty in capturing correlated information from subtle and dynamic AUs. Existing methods often resort to the localization of correlated regions of AUs, in which predefining local AU attentions by correlated facial landmarks often discards essential parts, or learning global attention maps often contains irrelevant areas. Furthermore, existing relational reasoning methods often employ common patterns for all AUs while ignoring the specific way of each AU. To tackle these limitations, we propose a novel adaptive attention and relation (AAR) framework for facial AU detection. Specifically, we propose an adaptive attention regression network to regress the global attention map of each AU under the constraint of attention predefinition and the guidance of AU detection, which is beneficial for capturing both specified dependencies by landmarks in strongly correlated regions and facial globally distributed dependencies in weakly correlated regions. Moreover, considering the diversity and dynamics of AUs, we propose an adaptive spatio-temporal graph convolutional network to simultaneously reason the independent pattern of each AU, the inter-dependencies among AUs, as well as the temporal dependencies. Extensive experiments show that our approach (i) achieves competitive performance on challenging benchmarks including BP4D, DISFA, and GFT in constrained scenarios and Aff-Wild2 in unconstrained scenarios, and (ii) can precisely learn the regional correlation distribution of each AU.


title: Study of Nontrivial Magnetism in 3$d$-5$d$ Transition Metal based Double Perovskites

abstract: The coexistence of the strongly correlated 3$d$ transition metal (TM) atom and the strong spin-orbit coupling (SOC) of 5$d$ TM atom is potential to host exotic physical phenomena. In the present work, we have studied the magnetism resulting from such a coexistence in La$_2$CoIrO$_6$ (LCIO), a representative of bulk 3$d$-5$d$ double perovskites. In order to gain further insight into the effect of Co-$d$ states on the Ir-$d$ states, comparisons are carried out with the isostructural La$_2$ZnIrO$_6$, where nonmagnetic Zn atom replaces the Co atom. An in-depth analysis of the magnetic states in the framework of first principles calculation, using Landau theory and magnetic multipole analysis shows that the magnetism at the two constituent TM atoms in LCIO are driven by two different magnetic order parameters, viz., the spin moment as the primary order parameter responsible for the broken time-reversal state in Co and the higher order multipole: triakontadipole for the Ir magnetic state. A tight-binding analysis with the Ir-$t_{2g}$ orbitals, further, indicate that the Ir-$d$ states are hardly affected by the Co-$d$ states, in agreement with the multipole analysis. The computed heirarchy of the relevant multipoles in the present work can be probed in neutron diffraction measurements, motivating further experiments in this direction.


title: Statistically optimal continuous free energy surfaces from biased simulations and multistate reweighting

abstract: Free energies as a function of a selected set of collective variables are commonly computed in molecular simulation and of significant value in understanding and engineering molecular behavior. These free energy surfaces are most commonly estimated using variants of histogramming techniques, but such approaches obscure two important facets of these functions. First, the empirical observations along the collective variable are defined by an ensemble of discrete observations and the coarsening of these observations into a histogram bins incurs unnecessary loss of information. Second, the free energy surface is itself almost always a continuous function, and its representation by a histogram introduces inherent approximations due to the discretization. In this study, we relate the observed discrete observations from biased simulations to the inferred underlying continuous probability distribution over the collective variables and derive histogram-free techniques for estimating this free energy surface. We reformulate free energy surface estimation as minimization of a Kullback-Leibler divergence between a continuous trial function and the discrete empirical distribution and show that this is equivalent to likelihood maximization of a trial function given a set of sampled data. We then present a fully Bayesian treatment of this formalism, which enables the incorporation of powerful Bayesian tools such as the inclusion of regularizing priors, uncertainty quantification, and model selection techniques. We demonstrate this new formalism in the analysis of umbrella sampling simulations for the $\chi$ torsion of a valine sidechain in the L99A mutant of T4 lysozyme with benzene bound in the cavity.


title: The Effect of Bulk Dimension in the presence of String Cloud on Viscosity Bound

abstract: In this paper, the Einstein AdS black brane solution in the presence of a string cloud in the context of d-dimensional massive gravity is introduced. The ratio of shear viscosity to entropy density for this solution violates the KSS bound by applying the Dirichlet boundary and regularity on the horizon conditions. Our result shows that this value is independent of string cloud in any arbitrary dimensions.


title: The Human Visual System and Adversarial AI

abstract: This paper applies theories about the Human Visual System to make Adversarial AI more effective. To date, Adversarial AI has modeled perceptual distances between clean and adversarial examples of images using Lp norms. These norms have the benefit of simple mathematical description and reasonable effectiveness in approximating perceptual distance. However, in prior decades, other areas of image processing have moved beyond simpler models like Mean Squared Error (MSE) towards more complex models that better approximate the Human Visual System (HVS). We demonstrate a proof of concept of incorporating HVS models into Adversarial AI.


title: Informative Sample Mining Network for Multi-Domain Image-to-Image Translation

abstract: The performance of multi-domain image-to-image translation has been significantly improved by recent progress in deep generative models. Existing approaches can use a unified model to achieve translations between all the visual domains. However, their outcomes are far from satisfying when there are large domain variations. In this paper, we reveal that improving the sample selection strategy is an effective solution. To select informative samples, we dynamically estimate sample importance during the training of Generative Adversarial Networks, presenting Informative Sample Mining Network. We theoretically analyze the relationship between the sample importance and the prediction of the global optimal discriminator. Then a practical importance estimation function for general conditions is derived. Furthermore, we propose a novel multi-stage sample training scheme to reduce sample hardness while preserving sample informativeness. Extensive experiments on a wide range of specific image-to-image translation tasks are conducted, and the results demonstrate our superiority over current state-of-the-art methods.


title: Distributed Nonblocking Commit Protocols for Many-Party Cross-Blockchain Transactions

abstract: The interoperability across multiple blockchains would play a critical role in future blockchain-based data management paradigm. Existing techniques either work only for two blockchains or requires a centralized component to govern the cross-blockchain transaction execution, neither of which would meet the scalability requirement. This paper proposes a new distributed commit protocol, namely \textit{cross-blockchain transaction} (CBT), for conducting transactions across an arbitrary number of blockchains without any centralized component. The key idea of CBT is to extend the two-phase commit protocol with a heartbeat mechanism to ensure the liveness of CBT without introducing additional nodes or blockchains. We have implemented CBT and compared it to the state-of-the-art protocols, demonstrating CBT's low overhead (3.6\% between two blockchains, less than $1\%$ among 32 or more blockchains) and high scalability (linear scalability on up to 64-blockchain transactions). In addition, we developed a graphic user interface for users to virtually monitor the status of the cross-blockchain transactions.


title: Mutation timing in a spatial model of evolution

abstract: Motivated by models of cancer formation in which cells need to acquire $k$ mutations to become cancerous, we consider a spatial population model in which the population is represented by the $d$-dimensional torus of side length $L$. Initially, no sites have mutations, but sites with $i-1$ mutations acquire an $i$th mutation at rate $\mu_i$ per unit area. Mutations spread to neighboring sites at rate $\alpha$, so that $t$ time units after a mutation, the region of individuals that have acquired the mutation will be a ball of radius $\alpha t$. We calculate, for some ranges of the parameter values, the asymptotic distribution of the time required for some individual to acquire $k$ mutations. Our results, which build on previous work of Durrett, Foo, and Leder, are essentially complete when $k = 2$ and when $\mu_i = \mu$ for all $i$.


title: Weak solutions of non-isothermal nematic liquid crystal flow in dimension three

abstract: For any smooth domain $\Omega\subset \mathbb{R}^3$, we establish the existence of a global weak solution $(\mathbf{u},\mathbf{d}, \theta)$ to the simplified, non-isothermal Ericksen-Leslie system modeling the hydrodynamic motion of nematic liquid crystals with variable temperature for any initial and boundary data $(\mathbf{u}_0, \mathbf{d}_0, \theta_0)\in\mathbf{H}\times H^1(\Omega, \mathbb{S}^2)\times L^1(\Omega)$, with $ \mathbf{d}_0(\Omega)\subset\mathbb{S}_+^2$ (the upper half sphere) and $\displaystyle\inf_\Omega \theta_0>0$.


title: User Profiling Using Hinge-loss Markov Random Fields

abstract: A variety of approaches have been proposed to automatically infer the profiles of users from their digital footprint in social media. Most of the proposed approaches focus on mining a single type of information, while ignoring other sources of available user-generated content (UGC). In this paper, we propose a mechanism to infer a variety of user characteristics, such as, age, gender and personality traits, which can then be compiled into a user profile. To this end, we model social media users by incorporating and reasoning over multiple sources of UGC as well as social relations. Our model is based on a statistical relational learning framework using Hinge-loss Markov Random Fields (HL-MRFs), a class of probabilistic graphical models that can be defined using a set of first-order logical rules. We validate our approach on data from Facebook with more than 5k users and almost 725k relations. We show how HL-MRFs can be used to develop a generic and extensible user profiling framework by leveraging textual, visual, and relational content in the form of status updates, profile pictures and Facebook page likes. Our experimental results demonstrate that our proposed model successfully incorporates multiple sources of information and outperforms competing methods that use only one source of information or an ensemble method across the different sources for modeling of users in social media.


title: 48 channels 100-GHz tunable laser by integrating 16 DFB lasers with high wavelength-spacing uniformity

abstract: We report a 48-channel 100-GHz tunable laser near 1550 nm by integrating 16 DFB lasers. High wavelength-spacing uniformity is guaranteed by the reconstruction-equivalent-chirp technique, which enables a temperature tuning range below 20 Celsius degree.


title: Upper bounds on the private capacity for bosonic Gaussian channels

abstract: Recently, there have been considerable progresses on the bounds of various quantum channel capacities for bosonic Gaussian channels. Especially, several upper bounds for the classical capacity and the quantum capacity on the bosonic Gaussian channels, via a technique known as quantum entropy power inequality, have been shed light on understanding the mysterious quantum-channel-capacity problems. However, upper bounds for the private capacity on quantum channels are still missing for the study on certain universal upper bounds. Here, we derive upper bounds on the private capacity for bosonic Gaussian channels involving a general Gaussian-noise case through the conditional quantum entropy power inequality.


title: On Operators Generated by Density Matrix

abstract: In this survey the possible approaches to the description of the evolution of states of quantum many-particle systems by means of the possible modifications of the density operator which kernel known as density matrix are considered. In addition, an approach to the description of the evolution of states by means of the state of a typical particle of a quantum system of many particles is discussed or in other words, the foundations of describing the evolution of states by kinetic equations are considered.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Practical construction of positive maps which are not completely positive

abstract: This article introduces PnCP, a MATLAB toolbox for constructing positive maps which are not completely positive. We survey optimization and sum of squares relaxation techniques to find the most numerically efficient methods for this construction. We also show how this package can be applied to the problem of classifying entanglement in quantum states.


title: Planktons discrete-time dynamical systems

abstract: In this paper, we initiate the study of a discrete-time dynamical system modelling a trophic network connecting the three types of plankton (phytoplankton, zooplankton, mixoplankton) and bacteria. The nonlinear operator V associated with this dynamical system is of type 4-Volterra quadratic stochastic operator (QSO) with twelve parameters. We give conditions on the parameters under which this operator maps the five-dimensional standard simplex to itself and we find its fixed points. Moreover, we study the limit points of trajectories for this operator. For each situations we give some biological interpretations.


title: Distal higher rank lattice actions on surfaces

abstract: Let $\Gamma$ be a lattice in ${\rm SL}(n, \mathbb R)$ with $n\geq 3$ and $\mathcal S$ be a closed surface. Then $\Gamma$ has no distal minimal action on $\mathcal S$.


title: A note on maximum size of Berge-$C_4$-free hypergraphs

abstract: In this paper, we consider maximum possible value for the sum of cardinalities of hyperedges of a hypergraph without a Berge $4$-cycle. We significantly improve the previous upper bound provided by Gerbner and Palmer. Furthermore, we provide a construction that slightly improves the previous lower bound.


title: CNNTOP: a CNN-based Trajectory Owner Prediction Method

abstract: Trajectory owner prediction is the basis for many applications such as personalized recommendation, urban planning. Although much effort has been put on this topic, the results archived are still not good enough. Existing methods mainly employ RNNs to model trajectories semantically due to the inherent sequential attribute of trajectories. However, these approaches are weak at Point of Interest (POI) representation learning and trajectory feature detection. Thus, the performance of existing solutions is far from the requirements of practical applications. In this paper, we propose a novel CNN-based Trajectory Owner Prediction (CNNTOP) method. Firstly, we connect all POI according to trajectories from all users. The result is a connected graph that can be used to generate more informative POI sequences than other approaches. Secondly, we employ the Node2Vec algorithm to encode each POI into a low-dimensional real value vector. Then, we transform each trajectory into a fixed-dimensional matrix, which is similar to an image. Finally, a CNN is designed to detect features and predict the owner of a given trajectory. The CNN can extract informative features from the matrix representations of trajectories by convolutional operations, Batch normalization, and $K$-max pooling operations. Extensive experiments on real datasets demonstrate that CNNTOP substantially outperforms existing solutions in terms of macro-Precision, macro-Recall, macro-F1, and accuracy.


title: Constraints on the intergalactic magnetic field from ${\gamma}$-ray observations of GRB 190114C

abstract: Very high energy photons from cosmological gamma-ray bursts (GRBs) are expected to interact with extragalactic background light (EBL) and produce electron-positron pairs when they propagate through intergalactic medium (IGM). These relativistic pairs will then up-scatter cosmic microwave background (CMB) photons and emit secondary GeV emission. Meanwhile, the motion of these pairs are deflected by intergalactic magnetic field (IGMF), so the secondary GeV photons arrive later than the primary emission. It has been suggested that the properties of the secondary GeV emission can be used to constrain IGMF. Recently, TeV gamma-ray emission has been detected, for the first time, from a GRB (GRB 190114C) by the MAGIC telescope and its steep ${\rm \gamma-ray}$ spectrum shows a clear evidence of absorption by EBL. We then constrain the IGMF with the GeV flux limit obtained from the $Fermi$-LAT observations. We find a limit of $>10^{-19.5}$ G for the coherence length of $\lambda \leq 1$ Mpc. Although this limit is weaker than that obtained by using blazars, it represents the first limit from ${\rm \gamma-ray}$ observations of GRBs, which provides an independent constraint on IGMF. We also find that, for transient ${\rm \gamma-ray}$ sources, one can choose a favorable time window to search for the echo emission at a particular energy.


title: Enhanced Huffman Coded OFDM with Index Modulation

abstract: In this paper, we propose an enhanced Huffman coded orthogonal frequency-division multiplexing with index modulation (EHC-OFDM-IM) scheme. The proposed scheme is capable of utilizing all legitimate subcarrier activation patterns (SAPs) and adapting the bijective mapping relation between SAPs and leaves on a given Huffman tree according to channel state information (CSI). As a result, a dynamic codebook update mechanism is obtained, which can provide more reliable transmissions. We take the average block error rate (BLER) as the performance evaluation metric and approximate it in closed form when the transmit power allocated to each subcarrier is independent of channel states. Also, we propose two CSI-based power allocation schemes with different requirements for computational complexity to further improve the error performance. Subsequently, we carry out numerical simulations to corroborate the error performance analysis and the proposed dynamic power allocation schemes. By studying the numerical results, we find that the depth of the Huffman tree has a significant impact on the error performance when the SAP-to-leaf mapping relation is optimized based on CSI. Meanwhile, through numerical results, we also discuss the trade-off between error performance and data transmission rate and investigate the impacts of imperfect CSI on the error performance of EHC-OFDM-IM.


title: Load Balanced Dynamic Resource Allocation for MTC Relay

abstract: A Load Balancing Relay Algorithm (LBRA) was proposed to solve the unfair spectrum resource allocation in the traditional mobile MTC relay. In order to obtain reasonable use of spectrum resources, and a balanced MTC devices (MTCDs) distribution, spectrum resources are dynamically allocated by MTCDs regrouped on the MTCD to MTC gateway link. Moreover, the system outage probability and transmission capacity are derived when using LBRA. The numerical results show that the proposed algorithm has better performance in transmission capacity and outage probability than the traditional method. LBRA had an increase in transmission capacity of about 0.7dB, and an improvement in outage probability of about 0.8dB with a high MTCD density.


title: Automorphisms, derivations and central extensions of Lie algebras arising from quantum tori

abstract: For a Lie algebra $\mathfrak g$ related to a quantum torus, we compute its automorphisms, derivations and universal central extension. This Lie algebra $\mathfrak g$ is isomorphic to a subalgebra of the Lie algebra of derivations over the quantum torus, and moreover contains a subalgebra isomorphic to the centerless higher rank Virasoro algebra.


title: A note on tight cuts in matching-covered graphs

abstract: Edmonds, Lov\'asz, and Pulleyblank showed that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP-cut. Carvalho et al. gave a stronger conjecture: if a matching covered graph has a nontrivial tight cut $C$, then it also has a nontrivial ELP-cut that does not cross $C$. Chen, et al gave a proof of the conjecture. This note is inspired by the paper of Carvalho et al. We give a simplified proof of the conjecture, and prove the following result which is slightly stronger than the conjecture: if a nontrivial tight cut $C$ of a matching covered graph $G$ is not an ELP-cut, then there is a sequence $G_1=G, G_2,\ldots,G_r, r\geq2$ of matching covered graphs, such that for $i=1, 2,\ldots, r-1$, $G_i$ has an ELP-cut $C_i$, and $G_{i+1}$ is a $C_i$-contraction of $G_i$, and $C$ is a $2$-separation cut of $G_r$.


title: On Stability of Tensor Networks and Canonical Forms

abstract: Tensor networks such as matrix product states (MPS) and projected entangled pair states (PEPS) are commonly used to approximate quantum systems. These networks are optimized in methods such as DMRG or evolved by local operators. We provide bounds on the conditioning of tensor network representations to sitewise perturbations. These bounds characterize the extent to which local approximation error in the tensor sites of a tensor network can be amplified to error in the tensor it represents. In known tensor network methods, canonical forms of tensor network are used to minimize such error amplification. However, canonical forms are difficult to obtain for many tensor networks of interest. We quantify the extent to which error can be amplified in general tensor networks, yielding estimates of the benefit of the use of canonical forms. For the MPS and PEPS tensor networks, we provide simple forms on the worst-case error amplification. Beyond theoretical error bounds, we experimentally study the dependence of the error on the size of the network for perturbed random MPS tensor networks.


title: Big Data Architecture in Czech Republic Healthcare Service: Requirements, TPC-H Benchmarks and Vertica

abstract: Big data in healthcare has made a positive difference in advancing analytical capabilities and lowering the costs of medical care. In addition to providing analytical capabilities on platforms supporting current and near-future AI with machine-learning and data-mining algorithms, there is also a need for ethical considerations mandating new ways to preserve privacy, all of which are preconditioned by the growing body of regulations and expectations. The purpose of this study is to improve existing clinical care by implementing a big data platform for the Czech Republic National Health Service. Based on the achieved performance and its compliance with mandatory guidelines, the reported big-data platform was selected as the winning solution from the Czech Republic national tender (Tender Id. VZ0036628, No. Z2017-035520). The platform, based on analytical Vertica NoSQL database for massive data processing, complies with the TPC-H1 for decision support benchmark, the European Union (EU) and the Czech Republic requirements, well-exceeding defined system performance thresholds. The reported artefacts and concepts are transferrable to healthcare systems in other countries and are intended to provide personalised autonomous assessment from big data in a cost-effective, scalable and high-performance manner. The implemented platform allows: (1) scalability; (2) further implementations of newly-developed machine learning algorithms for classification and predictive analytics; (3) security improvements related to Electronic Health Records (EHR) by using automated functions for data encryption and decryption; and (4) the use of big data to allow strategic planning in healthcare.


title: Throughput Maximization of Mixed FSO/RF UAV-aided Mobile Relaying with a Buffer

abstract: In this paper, we consider an unmanned aerial vehicle (UAV) aided mobile relaying system under a buffer constraint. We propose a new relaying protocol employing mixed free-space optical/radio frequency (FSO/RF) communication, i.e., the source-relay and relay-destination links utilize FSO and RF links, respectively, under the buffer constraint at the UAV relay node. Taking the conditions of an imbalance in transmission rate between RF and FSO links into consideration, we study the trajectory optimization problem of buffer-constrained UAV relay node in order to maximize the end-to-end data throughput. Especially, we classify two relaying transmission schemes according to the delay requirements, i.e., i) delay-limited transmission and ii) delay-tolerant transmission. We solve the locally optimal trajectory problem of the UAV to maximize the throughput of ground user terminal. As a result, we propose an iterative algorithm that efficiently finds a local optimum solution for the throughput maximization problems. Through this algorithm, we present the resulting trajectories over the the atmospheric condition, the buffer size, and the delay requirement. Also, we show the optimum buffer size and the throughput-delay tradeoff for a given system. Our numerical results validate that the proposed buffer-aided mobile relaying scheme achieves 65.55% throughput gains compared to conventional static relaying scheme.


title: Cutoff for exact recovery of Gaussian mixture models

abstract: We determine the information-theoretic cutoff value on separation of cluster centers for exact recovery of cluster labels in a $K$-component Gaussian mixture model with equal cluster sizes. Moreover, we show that a semidefinite programming (SDP) relaxation of the $K$-means clustering method achieves such sharp threshold for exact recovery without assuming the symmetry of cluster centers.

categories: math.ST cs.DS cs.IT math.IT math.PR stat.ML stat.TH


title: Non-universal power law distribution of intensities of the self-excited Hawkes process: a field-theoretical approach

abstract: The Hawkes self-excited point process provides an efficient representation of the bursty intermittent dynamics of many physical, biological, geological and economic systems. By expressing the probability for the next event per unit time (called "intensity"), say of an earthquake, as a sum over all past events of (possibly) long-memory kernels, the Hawkes model is non-Markovian. By mapping the Hawkes model onto stochastic partial differential equations that are Markovian, we develop a field theoretical approach in terms of probability density functionals. Solving the steady-state equations, we predict a power law scaling of the probability density function (PDF) of the intensities close to the critical point $n=1$ of the Hawkes process, with a non-universal exponent, function of the background intensity $\nu_0$ of the Hawkes intensity, the average time scale of the memory kernel and the branching ratio $n$. Our theoretical predictions are confirmed by numerical simulations.


title: Feedforward Inversion Control of DC/DC Dual-Bridge Series Resonant Converter in Buck and Boost Modes

abstract: In the paper, a nonlinear inversion technique for the steady-state model of the active dual-bridge series resonant converter is presented. The obtained control strategy allows cycle averaged output current regulation and performs waveform alignment for the controllable achievement of ZVS and synchronous rectification. The control is valid both for voltage buck and boost operating modes, as well as for low-power operation at a fixed frequency. Robustness of the control is studied by simulations with external linear control loops.


title: Field master equation theory of the self-excited Hawkes process

abstract: A field theoretical framework is developed for the Hawkes self-excited point process with arbitrary memory kernels by embedding the original non-Markovian one-dimensional dynamics onto a Markovian infinite-dimensional one. The corresponding Langevin dynamics of the field variables is given by stochastic partial differential equations that are Markovian. This is in contrast to the Hawkes process, which is non-Markovian (in general) by construction as a result of its (long) memory kernel. We derive the exact solutions of the Lagrange-Charpit equations for the hyperbolic master equations in the Laplace representation in the steady state, close to the critical point of the Hawkes process. The critical condition of the original Hawkes process is found to correspond to a transcritical bifurcation in the Lagrange-Charpit equations. We predict a power law scaling of the PDF of the intensities in an intermediate asymptotics regime, which crosses over to an asymptotic exponential function beyond a characteristic intensity that diverges as the critical condition is approached. We also discuss the formal relationship between quantum field theories and our formulation. Our field theoretical framework provides a way to tackle complex generalisation of the Hawkes process, such as nonlinear Hawkes processes previously proposed to describe the multifractal properties of earthquake seismicity and of financial volatility.


title: Hodge conjecture for the moduli space of semi-stable sheaves over a nodal curve

abstract: In this article, we prove the Hodge conjecture for a desingularization of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed odd degree determinant over a very general irreducible nodal curve of genus at least 2. We also compute the algebraic Poincare polynomial of the associated cohomology ring.


title: A Hoeffding Inequality for Finite State Markov Chains and its Applications to Markovian Bandits

abstract: This paper develops a Hoeffding inequality for the partial sums $\sum_{k=1}^n f (X_k)$, where $\{X_k\}_{k \in \mathbb{Z}_{> 0}}$ is an irreducible Markov chain on a finite state space $S$, and $f : S \to [a, b]$ is a real-valued function. Our bound is simple, general, since it only assumes irreducibility and finiteness of the state space, and powerful. In order to demonstrate its usefulness we provide two applications in multi-armed bandit problems. The first is about identifying an approximately best Markovian arm, while the second is concerned with regret minimization in the context of Markovian bandits.


title: $SO(3)$-invariant $G_2$-cobordisms

abstract: We study a bordism relation for stable 3-forms on a 6-manifold, which is a binary relation on the set of closed $SL(3;\mathbb{C})$-structures on a 6-manifold via closed $G_2$-structures. Under $SO(3)$-symmetry and a co-associative condition the relation is reduced to a relation for geometric structures on a 3-manifold. Under these conditions we prove that the bordism relation is irreflexive and that the relation induces a more rigid one.


title: Undetectable Radios: Covert Communication under Spectral Mask Constraints

abstract: We consider the problem of covert communication over continuous-time additive white Gaussian noise (AWGN) channels under spectral mask constraints, wherein two legitimate parties attempt to communicate reliably in the presence of an eavesdropper that should be unable to estimate if communication takes place. The spectral mask constraint is imposed to restrict excessive radiation beyond the bandwidth of interest. We develop a communication scheme with theoretical reliability and covertness guarantees based on pulse amplitude modulation (PAM) with Binary Phase Shift Keying (BPSK) and root raised cosine (RRC) carrier pulses. Given a fixed transmission duration T and a spectral mask with bandwidth parameter W, we show that one can reliably and covertly transmit $O(\sqrt{WT})$ bits of information. We characterize the constant behind the $O$ and show that it is tight under some conditions.


title: Deep Face Representations for Differential Morphing Attack Detection

abstract: The vulnerability of facial recognition systems to face morphing attacks is well known. Many different approaches for morphing attack detection have been proposed in the scientific literature. However, the morphing attack detection algorithms proposed so far have only been trained and tested on datasets whose distributions of image characteristics are either very limited (e.g. only created with a single morphing tool) or rather unrealistic (e.g. no print-scan transformation). As a consequence, these methods easily overfit on certain image types and the results presented cannot be expected to apply to real-world scenarios. For example, the results of the latest NIST Face Recognition Vendor Test MORPH show that the submitted MAD algorithms lack robustness and performance when considering unseen and challenging datasets. In this work, subsets of the FERET and FRGCv2 face databases are used to create a large realistic database for training and testing of morphing attack detection algorithms, containing a large number of ICAO-compliant bona fide facial images, corresponding unconstrained probe images, and morphed images created with four different tools. Furthermore, multiple post-processings are applied on the reference images, e.g. print-scan and JPEG2000 compression. On this database, previously proposed differential morphing algorithms are evaluated and compared. In addition, the application of deep face representations for differential morphing attack detection algorithms is investigated. It is shown that algorithms based on deep face representations can achieve very high detection performance (less than 3\%~\mbox{D-EER}) and robustness with respect to various post-processings. Finally, the limitations of the developed methods are analyzed.


title: Measuring the Etalon Quality of the GREGOR Fabry-P\'erot Interferometer

abstract: Imaging spectropolarimetry is an important observational tool in solar physics because of fast-cadence spectral scans with high-spectral resolution, large field-of-view, and its inherent suitability for post-facto image restoration. Fabry-P\'erot etalons are the key optical elements of these instruments. Their optical quality critically defines the instrument's performance. The two etalons of the GREGOR Fabry-P\'erot Interferometer (GFPI) were used for more than 10~years, raising questions about the potential deterioration of etalons coatings. We present an assessment of the etalons optical quality, describe the inspection method based on Zernike polynomials, discuss the field dependence of the finesse and its consequences for instrument design, and investigate the impact of the measurement technique to achieve plate parallelism. We find that extended exposure to sunlight affects the etalon coatings, i.e., lowering the peak transmission and leaving an imprint of the pupil of the GREGOR solar telescope on the etalon that is directly exposed to sunlight. The finesse of both etalons, however, remains high so that the impact on imaging spectropolarimetry is negligible.


title: Covert Association of Applications on Edge Devices by Processor Workload

abstract: The scheme of application (app) distribution systems involving incentivized third-party app vendors is a desirable option for the emerging edge computing systems. However, such a scheme also brings various security challenges as faced by the current mobile app distribution systems. In this paper, we study a threat named covert device association, in which the vendors of two apps collude to figure out which of their app installations run on the same edge device. If the two colluding apps are popular, the threat can be used to launch various types of further attacks at scale. For example, the user of the compromised edge device, who wishes to remain anonymous to one of the two apps, will be de-anonymized if the user is not anonymous to the other app. Moreover, the coalition of the two apps will have an escalated privilege set that is the union of their individual privilege sets. In this paper, we implement the threat by a reliable and ubiquitous covert channel based on the edge device processor workload. The implementations on three edge devices (two smartphones and an embedded compute board) running Android and Android Things do not require any privileged permissions. Our implementations cover three attack scenarios of 1) two apps running on the same Android phone, 2) an app and a web session in the Tor browser running on the same Android phone, and 3) two apps running on the same Android Things device. Experiments show that the covert channel gives at least 0.25 bps data rate and the covert device association takes at most 3.2 minutes.


title: Migration of giant gaseous clumps and structure of the outer Solar system

abstract: New data on the distribution of distant trans-Neptunian objects and on the properties of comets indicate the importance of dynamical processes in the outer part of the protoplanetary disk in the formation of the observed structure of the Solar system. In this paper, we examined the possible action of giant gaseous clumps, resulting from gravitational instability and fragmentation of circumstellar disks, on the orbital distribution of the population of small bodies in the outer Solar system. Basically, we studied those features of migration and gravitational interaction of giant clumps that were found previously by Vorobyov and Elbakyan (2018). Our modeling showed that the main features of the distribution of small bodies resulting from the gravitational influence of giant clumps are consistent with the observed orbital distribution of distant trans-Neptunian objects. The studied dynamical process associated with a single giant clump is very short-time event (no more than several tens of thousands of years). The main factor affecting the orbital distribution of small bodies is close encounters with giant clumps. A significant part of small bodies (comets) is very quickly transferred to distant orbits with large eccentricities, which allows them to avoid mutual collisions.


title: A pathological case of the $C_1$ conjecture in mixed characteristic

abstract: Let $K$ be a field of characteristic 0. Fix integers $r,d$ coprime with $r \geq 2$. Let $X_K$ be a smooth, projective, geometrically connected curve of genus $g \geq 2$ defined over K. Assume there exists a line bundle $L_K$ on $X_K$ of degree $d$. In this article we prove the existence of a stable locally free sheaf on $X_K$ with rank $r$ and determinant $L_K$. This trivially proves the $C_1$ conjecture in mixed characteristic for the moduli space of stable locally free sheaves of fixed rank and determinant over a smooth, projective curve.


title: Existence of semistable vector bundles with fixed determinants

abstract: Let $R$ be an excellent Henselian discrete valuation ring with algebraically closed residue field $k$ of any characteristic. Fix integers $r,d$ with $r\ge 2$. Let $X_R$ be a regular fibred surface over Spec($R$) with special fibre denoted $X_k$, a generalised tree-like curve of genus $g \ge 2$. Let ${L}_R$ be a line bundle on $X_R$ of degree $d$ such that the degree of the restriction of ${L}_R$ on the rational components of $X_k$ is a multiple of $r$. In this article we prove the existence of a rank $r$ locally free sheaf on $X_R$ of determinant ${L}_R$ such that it is semistable on the fibres.


title: Novel Superstructure-Phase Two-Dimensional Material 1$\textit{T}$-VSe$_2$ at High Pressure

abstract: A superstructure can elicit versatile new properties of materials by breaking their original geometrical symmetries. It is an important topic in the layered graphene-like two-dimensional transition-metal dichalcogenides (TMDs), but its origin remains unclear. Using diamond-anvil cell techniques, synchrotron x-ray diffraction, x-ray absorption, and the first-principles calculations, we show that the evolution from the weak Van der Waals bonding to the Heisenberg covalent bonding between layers induces an isostructural transition in quasi-two-dimensional 1$\textit{T}$-type VSe$_2$ at high pressure. Furthermore, our results show that high-pressure induce a novel superstructure at 15.5 GPa, rather than suppress as it would normally, which is unexpected. It is driven by the Fermi surface nesting, enhanced by the pressure-induced distortion. The results suggest that the superstructure not only appears in the two-dimensional structure but also can emerge in the pressure-tuned three-dimensional structure with new symmetry and develop superconductivity.


title: Dark Matter in CCDs at Modane (DAMIC-M): a silicon detector apparatus searching for low-energy physics processes

abstract: Dark Matter In CCDs (DAMIC) is a silicon detector apparatus used primarily for searching for low-mass dark matter using the silicon bulk of Charge-Coupled Devices (CCDs) as targets. The silicon target within each CCD is \SI{675}{\micro\meter} thick and its top surface is divided into over 16 million \SI{15}{\micro\meter} $\times$ \SI{15}{\micro\meter} pixels. The DAMIC collaboration has installed a number of these CCDs at SNOLAB. As of 2019, DAMIC at SNOLAB has reached operational conditions with leakage current less than \SI{8.2e-22}{\ampere\per\centi\meter\squared} and a readout noise of \SI{1.6}{\electron}, achieved with 5 CCDs. A new DAMIC apparatus will be installed at Laboratoire Souterrain de Modane in a few years. The DAMIC at Modane (DAMIC-M) collaboration will be using an improved version of CCDs designed by Lawrence Berkeley National Laboratory with skipper amplifiers that use non-destructive readout with multiple-sampling, enabling the CCDs to achieve a readout noise of \SI{0.068}{\electron}. The low readout noise, in conjunction with low leakage current of these skipper CCDs, will allow DAMIC-M to observe physics processes with collisions energies as low as \SI{1}{\electronvolt}. The DAMIC-M experiment will consist of an array of 50 large-area skipper CCDs with more than 36 million pixels in each CCD. The following proceeding will introduce the DAMIC apparatus at SNOLAB and its results and as well as the capabilities and the status of the new DAMIC-M experiment.


title: Examples of varieties with index one on $C_1$-fields

abstract: Let $K$ be the fraction field of a Henselian discrete valuation ring with algebraically closed residue field $k$. In this article we give a sufficient criterion for a projective variety over such a field to have index $1$.