title: Optimal No-regret Learning in Repeated First-price Auctions

abstract: We study online learning in repeated first-price auctions where a bidder, only observing the winning bid at the end of each auction, learns to adaptively bid in order to maximize her cumulative payoff. To achieve this goal, the bidder faces censored feedback: if she wins the bid, then she is not able to observe the highest bid of the other bidders, which we assume is \textit{iid} drawn from an unknown distribution. In this paper, we develop the first learning algorithm that achieves a near-optimal $\widetilde{O}(\sqrt{T})$ regret bound, by exploiting two structural properties of first-price auctions, i.e. the specific feedback structure and payoff function. We first formulate the feedback structure in first-price auctions as partially ordered contextual bandits, a combination of the graph feedback across actions (bids), the cross learning across contexts (private values), and a partial order over the contexts. We establish both strengths and weaknesses of this framework, by showing a curious separation that a regret nearly independent of the action/context sizes is possible under stochastic contexts, but is impossible under adversarial contexts. In particular, this framework leads to an $O(\sqrt{T}\log^{2.5}T)$ regret for first-price auctions when the bidder's private values are \emph{iid}. Despite the limitation of the above framework, we further exploit the special payoff function of first-price auctions to develop a sample-efficient algorithm even in the presence of adversarially generated private values. We establish an $O(\sqrt{T}\log^3 T)$ regret bound for this algorithm, hence providing a complete characterization of optimal learning guarantees for first-price auctions.

categories: cs.LG cs.GT cs.IT math.IT stat.ME stat.ML


title: How to model honeybee population dynamics: stage structure and seasonality

abstract: Western honeybees (Apis Mellifera) serve extremely important roles in our ecosystem and economics as they are responsible for pollinating $ 215 billion dollars annually over the world. Unfortunately, honeybee population and their colonies have been declined dramatically. The purpose of this article is to explore how we should model honeybee population with age structure and validate the model using empirical data so that we can identify different factors that lead to the survival and healthy of the honeybee colony. Our theoretical study combined with simulations and data validation suggests that the proper age structure incorporated in the model and seasonality are important for modeling honeybee population. Specifically, our work implies that the model assuming that (1) the adult bees are survived from the {egg population} rather than the brood population; and (2) seasonality in the queen egg laying rate, give the better fit than other honeybee models. The related theoretical and numerical analysis of the most fit model indicate that (a) the survival of honeybee colonies requires a large queen egg-laying rate and smaller values of the other life history parameter values in addition to proper initial condition; (b) both brood and adult bee populations are increasing with respect to the increase in the {egg-laying rate} and the decreasing in other parameter values; and (c) seasonality may promote/suppress the survival of the honeybee colony.


title: Complete gentle and special biserial algebras are $g$-tame

abstract: The $g$-vectors of two-term presilting complexes are important invariants. We study a fan consisting of all $g$-vector cones for a complete gentle algebra. We show that any complete gentle algebra is $g$-tame, by definition, the closure of a geometric realization of its fan is the entire ambient vector space. Our main ingredients are their surface model and their asymptotic behavior under Dehn twists. On the other hand, it is known that any complete special biserial algebra is a factor algebra of a complete gentle algebra and the $g$-tameness is preserved under taking factor algebras. As a consequence, we get the $g$-tameness of complete special biserial algebras.


title: First-principles calculation of electroweak box diagrams from lattice QCD

abstract: We present the first realistic lattice QCD calculation of the $\gamma W$-box diagrams relevant for beta decays. The nonperturbative low-momentum integral of the $\gamma W$ loop is calculated using a lattice QCD simulation, complemented by the perturbative QCD result at high momenta. Using the pion semileptonic decay as an example, we demonstrate the feasibility of the method. By using domain wall fermions at the physical pion mass with multiple lattice spacings and volumes, we obtain the axial $\gamma W$-box correction to the semileptonic pion decay, $\Box_{\gamma W}^{VA}\big|_{\pi}=2.830(11)_{\mathrm{stat}}(26)_{\mathrm{sys}}\times10^{-3}$, with the total uncertainty controlled at the level of $\sim1$\%. This study sheds light on the first-principles computation of the $\gamma W$-box correction to the neutron decay, which plays a decisive role in the determination of $|V_{ud}|$.


title: Modal Regression based Structured Low-rank Matrix Recovery for Multi-view Learning

abstract: Low-rank Multi-view Subspace Learning (LMvSL) has shown great potential in cross-view classification in recent years. Despite their empirical success, existing LMvSL based methods are incapable of well handling view discrepancy and discriminancy simultaneously, which thus leads to the performance degradation when there is a large discrepancy among multi-view data. To circumvent this drawback, motivated by the block-diagonal representation learning, we propose Structured Low-rank Matrix Recovery (SLMR), a unique method of effectively removing view discrepancy and improving discriminancy through the recovery of structured low-rank matrix. Furthermore, recent low-rank modeling provides a satisfactory solution to address data contaminated by predefined assumptions of noise distribution, such as Gaussian or Laplacian distribution. However, these models are not practical since complicated noise in practice may violate those assumptions and the distribution is generally unknown in advance. To alleviate such limitation, modal regression is elegantly incorporated into the framework of SLMR (term it MR-SLMR). Different from previous LMvSL based methods, our MR-SLMR can handle any zero-mode noise variable that contains a wide range of noise, such as Gaussian noise, random noise and outliers. The alternating direction method of multipliers (ADMM) framework and half-quadratic theory are used to efficiently optimize MR-SLMR. Experimental results on four public databases demonstrate the superiority of MR-SLMR and its robustness to complicated noise.


title: Forecasting and evaluating intervention of Covid-19 in the World

abstract: When the Covid-19 pandemic enters dangerous new phase, whether and when to take aggressive public health interventions to slow down the spread of COVID-19. To develop the artificial intelligence (AI) inspired methods for real-time forecasting and evaluating intervention strategies to curb the spread of Covid-19 in the World. A modified auto-encoder for modeling the transmission dynamics of the epidemics is developed and applied to the surveillance data of cumulative and new Covid-19 cases and deaths from WHO, as of March 16, 2020. The average errors of 5-step forecasting were 2.5%. The total peak number of cumulative cases and new cases, and the maximum number of cumulative cases in the world with later intervention (comprehensive public health intervention is implemented 4 weeks later) could reach 75,249,909, 10,086,085, and 255,392,154, respectively. The case ending time was January 10, 2021. However, the total peak number of cumulative cases and new cases and the maximum number of cumulative cases in the world with one week later intervention were reduced to 951,799, 108,853 and 1,530,276, respectively. Duration time of the Covid-19 spread would be reduced from 356 days to 232 days. The case ending time was September 8, 2020. We observed that delaying intervention for one month caused the maximum number of cumulative cases to increase 166.89 times, and the number of deaths increase from 53,560 to 8,938,725. We will face disastrous consequences if immediate action to intervene is not taken.


title: Approximating linear response by nonintrusive shadowing algorithms

abstract: Nonintrusive shadowing algorithms efficiently compute $v$, the difference between shadowing trajectories, then use $v$ to compute derivatives of averaged objectives of chaos with respect to parameters of the dynamical system. However, previous proofs of shadowing methods wrongly assume that shadowing trajectories are representative. In contrast, the linear response formula is proved rigorously, but is more difficult to compute. We prove that $v$ gives only a part, called the shadowing contribution, of the linear response; hence, the other part, the unstable contribution, is the systematic error of shadowing methods. For systems with a small ratio of unstable dimensions, with some further statistical assumptions, we show that the unstable contribution is small. We also briefly describe an algorithm for the unstable contribution, which is simpler to derive but less efficient than the fast linear response algorithm. Moreover, we prove the convergence of the nonintrusive shadowing algorithm, the fastest shadowing algorithm, to $v$ and to the shadowing contribution.


title: Review of data analysis in vision inspection of power lines with an in-depth discussion of deep learning technology

abstract: The widespread popularity of unmanned aerial vehicles enables an immense amount of power lines inspection data to be collected. How to employ massive inspection data especially the visible images to maintain the reliability, safety, and sustainability of power transmission is a pressing issue. To date, substantial works have been conducted on the analysis of power lines inspection data. With the aim of providing a comprehensive overview for researchers who are interested in developing a deep-learning-based analysis system for power lines inspection data, this paper conducts a thorough review of the current literature and identifies the challenges for future research. Following the typical procedure of inspection data analysis, we categorize current works in this area into component detection and fault diagnosis. For each aspect, the techniques and methodologies adopted in the literature are summarized. Some valuable information is also included such as data description and method performance. Further, an in-depth discussion of existing deep-learning-related analysis methods in power lines inspection is proposed. Finally, we conclude the paper with several research trends for the future of this area, such as data quality problems, small object detection, embedded application, and evaluation baseline.


abstract: We study analytically and numerically the properties of Jaynes-Cummings model under monochromatic driving. The analytical results allow to understand the regime of two branches of multi-photon excitation in the case of close resonance between resonator and driven frequencies. The rotating wave approximation allows to reduce the description of original driven model to an effective Jaynes-Cummings model with strong coupling between photons and qubit. The analytical results are in a good agreement with the numerical ones even if there are certain deviations between the theory and numerics in the close vicinity of the resonance. We argue that the rich properties of driven Jaynes-Cummings model represent a new area for experimental investigations with superconducting qubits and other systems.


title: Origin of superconductivity and giant phonon softening in TlInTe$_2$ under pressure

abstract: Analogous to 2D layered transition metal dichalcogenides, the TlSe family of 1D chain materials with Zintl-type structure exhibits exotic phenomena under high-pressure. In the present work, we have systematically investigated the high-pressure behavior of TlInTe 2 using Raman spectroscopy, synchrotron X-ray diffraction, and transport measurements, in combination with crystal structure prediction (CSP) based on the evolutionary approach and first principles calculations. We found that TlInTe$_2$ undergoes a pressure driven semiconductor to semimetal transition at 4 GPa, followed by a superconducting transition at 5.7 GPa (with Tc = 3.8 K) induced by a Lifshitz transition. The Lifshitz transition is initiated by the appearance of new electron pockets on the Fermi surface, which evolve with pressure and connect to the adjacent electron pockets forming an umbrella shaped Fermi surface at the top and bottom of the Brillouin zone. An unusual giant phonon softening (Ag mode) concomitant with a V-shaped Tc behavior appears at 10-12 GPa as a result of the interaction of optical phonons with the conduction electrons, resulting in Fano line shaped asymmetry in Ag mode. A prominent Tc anomaly concurrent with the Ag mode softening at 19-20 GPa is correlated to the semimetal to metal transition. The CSP calculations reveal that these transitions are not accompanied by any structural phase transitions up to the maximum pressure achieved, 33.5 GPa. Our findings on TlInTe$_2$ open up a new platform to study a plethora of unexplored high pressure novel phenomena in TlSe family induced by Lifshitz transition (electronic driven), phonon softening and electron-phonon coupling.


title: Implementation of high-order, discontinuous Galerkin time stepping for fractional diffusion problems

abstract: The discontinuous Galerkin dG method provides a robust and flexible technique for the time integration of fractional diffusion problems. However, a practical implementation uses coefficients defined by integrals that are not easily evaluated. We describe specialised quadrature techniques that efficiently maintain the overall accuracy of the dG method. In addition, we observe in numerical experiments that known superconvergence properties of dG time stepping for classical diffusion problems carry over in a modified form to the fractional-order setting.


title: Reconstruction of a small acoustic inclusion via Time-dependent Polarization Tensors

abstract: This paper aims at introducing the concept of time-dependent polarization tensors (TDPTs) for the wave equation associated to a diametrically small acoustic inclusion, with constitutive parameters different from those of the background and size smaller than the operating wavelength. Firstly, the solution to the Helmholtz equation is considered, and a rigorous systematic derivation of a complete asymptotic expansion of the scattered field due to the presence of the inclusion is presented. Then, by applying the Fourier transform, the corresponding time-domain expansion is readily obtained after truncating the high frequencies. The new concept of TDPTs is shown to be promising for performing imaging. Numerical simulations are driven, showing that the TDPTs reconstructed from noisy measurements allow to image fine shape details of the inclusion.


title: Gate-Tunable Semiconductor Heterojunctions from 2D/3D van der Waals Interfaces

abstract: Van der Waals (vdW) semiconductors are attractive for highly scaled devices and heterogeneous integration since they can be isolated into self-passivated, two-dimensional (2D) layers that enable superior electrostatic control. These attributes have led to numerous demonstrations of field-effect devices ranging from transistors to triodes. By exploiting the controlled, substitutional doping schemes in covalently-bonded, three-dimensional (3D) semiconductors and the passivated surfaces of 2D semiconductors, one can construct devices that can exceed performance metrics of 'all-2D' vdW heterojunctions. Here, we demonstrate, 2D/3D semiconductor heterojunctions using MoS2 as the prototypical 2D semiconductor laid upon Si and GaN as the 3D semiconductor layers. By tuning the Fermi levels in MoS2, we demonstrate devices that concurrently exhibit over seven orders of magnitude modulation in rectification ratios and conductance. Our results further suggest that the interface quality does not necessarily affect Fermi-level tuning at the junction opening up possibilities for novel 2D/3D heterojunction device architectures.


title: Tracking an Auto-Regressive Process with Limited Communication per Unit Time

abstract: Samples from a high-dimensional AR[1] process are observed by a sender which can communicate only finitely many bits per unit time to a receiver. The receiver seeks to form an estimate of the process value at every time instant in real-time. We consider a time-slotted communication model in a slow-sampling regime where multiple communication slots occur between two sampling instants. We propose a successive update scheme which uses communication between sampling instants to refine estimates of the latest sample and study the following question: Is it better to collect communication of multiple slots to send better refined estimates, making the receiver wait more for every refinement, or to be fast but loose and send new information in every communication opportunity? We show that the fast but loose successive update scheme with ideal spherical codes is universally optimal asymptotically for a large dimension. However, most practical quantization codes for fixed dimensions do not meet the ideal performance required for this optimality, and they typically will have a bias in the form of a fixed additive error. Interestingly, our analysis shows that the fast but loose scheme is not an optimal choice in the presence of such errors, and a judiciously chosen frequency of updates outperforms it.


title: Neutrino masses and mixing angles in a model with six Higgs triplets and $A_4$ symmetry

abstract: We have considered a model \cite{ma-weg}, where masses and a mixing pattern for neutrinos are governed by six Higgs triplets and $A_4$ symmetry. In this model we have applied a certain diagonalisation procedure through which we have shown that neutrino masses can have both normal or inverted hierarchy. We have also shown that current neutrino oscillation data can be explained in this model.


title: Proof of a conjecture of Adamchuk

abstract: In this paper, we prove a congruence which confirms a conjecture of Adamchuk. For any prime $p\equiv1\pmod3$ and $a\in\mathbb{Z}^{+}$, we have \begin{align*} \sum_{k=1}^{\frac{2}3(p^a-1)}\binom{2k}k\equiv0\pmod{p^2}. \end{align*}


title: First embedded cluster formation in California molecular cloud

abstract: We performed a multi-wavelength observation toward LkHa 101 embedded cluster and its adjacent 85arcmin*60arcmin region. The LkHa 101 embedded cluster is the first and only one significant cluster in California molecular cloud (CMC). These observations have revealed that the LkHa 101 embedded cluster is just located at the projected intersectional region of two filaments. One filament is the highest-density section of the CMC, the other is a new identified filament with a low-density gas emission. Toward the projected intersection, we find the bridging features connecting the two filaments in velocity, and identify a V-shape gas structure. These agree with the scenario that the two filaments are colliding with each other. Using the Five-hundred-meter Aperture Spherical radio Telescope (FAST), we measured that the RRL velocity of the LkHa 101 H II region is 0.5 km/s, which is related to the velocity component of the CMC filament. Moreover, there are some YSOs distributed outside the intersectional region. We suggest that the cloud-cloud collision together with the fragmentation of the main filament may play an important role in the YSOs formation of the cluster.


title: Efficient and Stable Finite Difference Modelling of Acoustic Wave Propagation in Variable-density Media

abstract: In this paper, we consider the development and analysis of a new explicit compact high-order finite difference scheme for acoustic wave equation formulated in divergence form, which is widely used to describe seismic wave propagation through a heterogeneous media with variable media density and acoustic velocity. The new scheme is compact and of fourth-order accuracy in space and second-order accuracy in time. The compactness of the scheme is obtained by the so-called combined finite difference method, which utilizes the boundary values of the spatial derivatives and those boundary values are obtained by one-sided finite difference approximation. An empirical stability analysis has been conducted to obtain the Currant-Friedrichs-Lewy (CFL) condition, which confirmed the conditional stability of the new scheme. Four numerical examples have been conducted to validate the convergence and effectiveness of the new scheme. The application of the new scheme to a realistic wave propagation problem with Perfect Matched Layer boundary condition is also validated in this paper as well.


title: Data-based Receding Horizon Control of Linear Network Systems

abstract: We propose a distributed data-based predictive control scheme to stabilize a network system described by linear dynamics. Agents cooperate to predict the future system evolution without knowledge of the dynamics, relying instead on learning a data-based representation from a single sample trajectory. We employ this representation to reformulate the finite-horizon Linear Quadratic Regulator problem as a network optimization with separable objective functions and locally expressible constraints. We show that the controller resulting from approximately solving this problem using a distributed optimization algorithm in a receding horizon manner is stabilizing. We validate our results through numerical simulations.


title: Bounds on charging power of open quantum batteries

abstract: In general, quantum systems most likely undergo open system dynamics due to their smallness and sensitivity. Energy storage devices, so-called quantum batteries, are not excluded from this phenomenon. Here, we study fundamental bounds on the power of open quantum batteries from the geometric point of view. By defining an \emph{activity operator}, a tight upper bound on the charging power is derived for the open quantum batteries in terms of the fluctuations of the activity operator and the quantum Fisher information. The variance of the activity operator may be interpreted as a generalized thermodynamic force, while the quantum Fisher information describes the speed of evolution in the state space of the battery. The thermodynamic interpretation of the upper bound is discussed in detail. As an example, a model for the battery, taking into account the environmental effects, is proposed, and the effect of dissipation and decoherence during the charging process on both the stored work and the charging power is investigated. Our results show that the upper bound is saturated in some time intervals. Also, the maximum value of both the stored work and the corresponding power is achieved in the non-Markovian underdamped regime.


title: A Time-domain Monaural Speech Enhancement with Feedback Learning

abstract: In this paper, we propose a type of neural network with feedback learning in the time domain called FTNet for monaural speech enhancement, where the proposed network consists of three principal components. The first part is called stage recurrent neural network, which is introduced to effectively aggregate the deep feature dependencies across different stages with a memory mechanism and also remove the interference stage by stage. The second part is the convolutional auto-encoder. The third part consists of a series of concatenated gated linear units, which are capable of facilitating the information flow and gradually increasing the receptive fields. Feedback learning is adopted to improve the parameter efficiency and therefore, the number of trainable parameters is effectively reduced without sacrificing its performance. Numerous experiments are conducted on TIMIT corpus and experimental results demonstrate that the proposed network can achieve consistently better performance in terms of both PESQ and STOI scores than two state-of-the-art time domain-based baselines in different conditions.


title: The Solution Distribution of Influence Maximization: A High-level Experimental Study on Three Algorithmic Approaches

abstract: Influence maximization is among the most fundamental algorithmic problems in social influence analysis. Over the last decade, a great effort has been devoted to developing efficient algorithms for influence maximization, so that identifying the ``best'' algorithm has become a demanding task. In SIGMOD'17, Arora, Galhotra, and Ranu reported benchmark results on eleven existing algorithms and demonstrated that there is no single state-of-the-art offering the best trade-off between computational efficiency and solution quality. In this paper, we report a high-level experimental study on three well-established algorithmic approaches for influence maximization, referred to as Oneshot, Snapshot, and Reverse Influence Sampling (RIS). Different from Arora et al., our experimental methodology is so designed that we examine the distribution of random solutions, characterize the relation between the sample number and the actual solution quality, and avoid implementation dependencies. Our main findings are as follows: 1. For a sufficiently large sample number, we obtain a unique solution regardless of algorithms. 2. The average solution quality of Oneshot, Snapshot, and RIS improves at the same rate up to scaling of sample number. 3. Oneshot requires more samples than Snapshot, and Snapshot requires fewer but larger samples than RIS. We discuss the time efficiency when conditioning Oneshot, Snapshot, and RIS to be of identical accuracy. Our conclusion is that Oneshot is suitable only if the size of available memory is limited, and RIS is more efficient than Snapshot for large networks; Snapshot is preferable for small, low-probability networks.


title: A Lattice Study of the Two-photon Decay Widths for Scalar and Pseudo-scalar Charmonium

abstract: In this exploratory study, two photon decay widths of pseudo-scalar ($\eta_c$) and scalar ($\chi_{c0}$) charmonium are computed using two ensembles of $N_f=2$ twisted mass lattice QCD gauge configurations. The simulation is performed two lattice ensembles with lattice spacings $a=0.067$ fm with size $32^3\times{64}$ and $a=0.085$ fm with size $24^3\times{48}$, respectively. The results for the decay widths for the two charmonia are obtained which are in the right ballpark however smaller than the experimental ones. Possible reasons for these discrepancies are discussed.


title: Emergent gravity fails to explain color-dependent galaxy-galaxy lensing signals from SDSS Dr7

abstract: We test the Emergent Gravity(EG) theory using the galaxy-galaxy lensing technique based on SDSS DR7 data. In the EG scenario, we do not expect color dependence of the galaxy sample in the 'apparent dark matter' predicted by EG, which is exerted only by the baryonic mass. If the baryonic mass is similar, then the predicted lensing profiles from the baryonic mass should be similar according to the EG, regardless of the color of the galaxy sample. We use the stellar mass of the galaxy as a proxy of its baryonic mass. We divide our galaxy sample into 5 stellar mass bins, and further classify them as red and blue subsamples in each stellar mass bin. If we set halo mass and concentration as free parameters, $\Lambda$CDM is favored by our data in terms of the reduced $\chi^2$ while EG fails to explain the color dependence of ESDs from the galaxy-galaxy lensing measurement.


title: Multiplication is an open bilinear mapping in the Banach algebra of functions of bounded Wiener p-variation

abstract: Let $BV_p[0,1]$, $1\le p<\infty$, be the Banach algebra of functions of bounded $p$-variation in the sense of Wiener. Recently, Kowalczyk and Turowska \cite{KT19} proved that the multiplication in $BV_1[0,1]$ is an open bilinear mapping. We extend this result for all values of $p\in[1,\infty)$.


title: Rig-space Neural Rendering

abstract: Movie productions use high resolution 3d characters with complex proprietary rigs to create the highest quality images possible for large displays. Unfortunately, these 3d assets are typically not compatible with real-time graphics engines used for games, mixed reality and real-time pre-visualization. Consequently, the 3d characters need to be re-modeled and re-rigged for these new applications, requiring weeks of work and artistic approval. Our solution to this problem is to learn a compact image-based rendering of the original 3d character, conditioned directly on the rig parameters. Our idea is to render the character in many different poses and views, and to train a deep neural network to render high resolution images, from the rig parameters directly. Many neural rendering techniques have been proposed to render from 2d skeletons, or geometry and UV maps. However these require manual work, and to do not remain compatible with the animator workflow of manipulating rig widgets, as well as the real-time game engine pipeline of interpolating rig parameters. We extend our architecture to support dynamic re-lighting and composition with other 3d objects in the scene. We designed a network that efficiently generates multiple scene feature maps such as normals, depth, albedo and mask, which are composed with other scene objects to form the final image.


title: BS-NAS: Broadening-and-Shrinking One-Shot NAS with Searchable Numbers of Channels

abstract: One-Shot methods have evolved into one of the most popular methods in Neural Architecture Search (NAS) due to weight sharing and single training of a supernet. However, existing methods generally suffer from two issues: predetermined number of channels in each layer which is suboptimal; and model averaging effects and poor ranking correlation caused by weight coupling and continuously expanding search space. To explicitly address these issues, in this paper, a Broadening-and-Shrinking One-Shot NAS (BS-NAS) framework is proposed, in which `broadening' refers to broadening the search space with a spring block enabling search for numbers of channels during training of the supernet; while `shrinking' refers to a novel shrinking strategy gradually turning off those underperforming operations. The above innovations broaden the search space for wider representation and then shrink it by gradually removing underperforming operations, followed by an evolutionary algorithm to efficiently search for the optimal architecture. Extensive experiments on ImageNet illustrate the effectiveness of the proposed BS-NAS as well as the state-of-the-art performance.


title: Symmetric Tensor Decompositions On Varieties

abstract: This paper discusses the problem of symmetric tensor decomposition on a given variety $X$: decomposing a symmetric tensor into the sum of tensor powers of vectors contained in $X$. In this paper, we first study geometric and algebraic properties of such decomposable tensors, which are crucial to the practical computations of such decompositions. For a given tensor, we also develop a criterion for the existence of a symmetric decomposition on $X$. Secondly and most importantly, we propose a method for computing symmetric tensor decompositions on an arbitrary $X$. As a specific application, Vandermonde decompositions for nonsymmetric tensors can be computed by the proposed algorithm.


title: On the singular nature of the elastocapillary ridge

abstract: The functionality of soft interfaces is crucial to many applications in biology and surface science. Recent studies have used liquid drops to probe the surface mechanics of elastomeric networks. Experiments suggest an intricate surface elasticity, also known as the Shuttleworth effect, where surface tension is not constant but depends on substrate deformation. However, interpretations have remained controversial due to singular elastic deformations, induced exactly at the point where the droplet pulls the network. Here we reveal the nature of the elastocapillary singularity on a hyperelastic substrate with various constitutive relations for the interfacial energy. First, we finely resolve the vicinity of the singularity using goal-adaptive finite element simulations. This confirms the universal validity, also at large elastic deformations, of the previously disputed Neumann's law for the contact angles. Subsequently, we derive exact solutions of nonlinear elasticity that describe the singularity analytically. These solutions are in perfect agreement with numerics, and show that the stretch at the contact line, as previously measured experimentally, consistently points to a strong Shuttleworth effect. Finally, using Noether's theorem we provide a quantitative link between wetting hysteresis and Eshelby-like forces, and thereby offer a complete framework for soft wetting in the presence of the Shuttleworth effect.


title: Self-assembly of Freely-rotating Polydisperse Cuboids: Unveiling the Boundaries of the Biaxial Nematic Phase

abstract: Colloidal cuboids have the potential to self-assemble into biaxial liquid crystal phases, which exhibit two independent optical axes. Over the last few decades, several theoretical works predicted the existence of a wide region of the phase diagram where the biaxial nematic phase would be stable, but imposed rather strong constraints on the particle rotational degrees of freedom. In this work, we employ molecular simulation to investigate the impact of size dispersity on the phase behaviour of freely-rotating hard cuboids, here modelled as self-dual-shaped nanoboards. This peculiar anisotropy, exactly in between oblate and prolate geometry, has been proposed as the most appropriate to promote phase biaxiality. We observe that size dispersity radically changes the phase behaviour of monodisperse systems and leads to the formation of the elusive biaxial nematic phase, being found in an large region of the packing fraction vs polydispersity phase diagram. Although our results confirm the tendencies reported in past experimental observations on colloidal dispersions of slightly prolate goethite particles, they cannot reproduce the direct isotropic-to-biaxial nematic phase transition observed in these experiments.


title: Reconstruction of Radio Relics and X-ray Tails in an Off-axis Cluster Merger: Hydrodynamical Simulations of A115

abstract: Although a merging galaxy cluster is a useful laboratory to study many important astrophysical processes and fundamental physics, only limited interpretations are possible without careful analysis of the merger scenario. However, the study is demanding because a thorough comparison of multi-wavelength observations with detailed numerical simulations is required. In this paper, we present such a study for the off-axis binary merger A115. The system possesses a number of remarkable observational features, but no convincing merger scenario, explaining the shape and location of the radio relic in harmony with the orientation of the cometary X-ray tails, has been presented. Our hydrodynamical simulation, with adaptive mesh refinement, suggests that the cometary X-ray tail of A115 might be a slingshot tail and can arise $\sim0.3$ Gyrs after the impact and before the two subclusters reach their apocenters. This scenario can predict the location and orientation of the giant radio relic, which is parallel to the northern X-ray tail. In addition, our study indicates that diffusive shock acceleration alone cannot generate the observed radio power unless aided by stronger magnetic fields and/or more significant presence of fossil electrons.


title: Complete refinements of the Berezin number inequalities

abstract: In this paper, several refinements of the Berezin number inequalities are obtained. We generalize inequalities involving powers of the Berezin number for product of two operators acting on a reproducing kernel Hilbert space $\mathcal H=\mathcal H(\Omega)$ and also improve them. Among other inequalities, it is shown that if $A,B\in {\mathcal B}(\mathcal H)$ such that $|A|B=B^{*}|A|$, $f$ and $g$ are nonnegative continuous functions on $[0,\infty)$ satisfying $f(t)g(t)=t\,(t\geq 0)$, then \begin{align*} &\textbf{ber}^{p}(AB)\leq r^{p}(B)\times\\&\left(\textbf{ber} \big(\frac{1}{\alpha}f^{\alpha p}(|A|)+\frac{1}{\beta}g^{\beta p}(|A^{*}|)\big)-r_{0}\big(\langle f^{2}(|A|)\hat{k}_{\lambda},\hat{k}_{\lambda}\rangle^{\alpha p/4} -\langle g^{2}(|A^{*}|)\hat{k}_{\lambda},\hat{k}_{\lambda}\rangle^{\beta p/4}\big)^{2}\right) \end{align*} for every $p\geq 1, \alpha\geq\beta>1$ with $\frac{1}{\alpha}+\frac{1}{\beta}=1$, $\beta p\geq2$ and $r_{0}=\min\{\frac{1}{\alpha},\frac{1}{\beta}\}$.


title: The Channel as a Traffic Sensor: Vehicle Detection and Classification based on Radio Fingerprinting

abstract: Ubiquitously deployed Internet of Things (IoT)- based automatic vehicle classification systems will catalyze data-driven traffic flow optimization in future smart cities and will transform the road infrastructure itself into a dynamically sensing Cyber-physical System (CPS). Although a wide range of different traffic sensing systems has been proposed, the existing solutions are not yet able to simultaneously satisfy the multitude of requirements, e.g., accuracy, robustness, cost-efficiency, and privacy preservation. In this paper, we present a novel approach, which exploits radio fingerprints - multidimensional attenuation patterns of wireless signals - for accurate and robust vehicle detection and classification. The proposed system can be deployed in a highly cost-efficient manner as it relies on off-the-shelf embedded devices which are installed into existing delineator posts. In a comprehensive field evaluation campaign, the performance of the radio fingerprinting-based approach is analyzed within an experimental live deployment on a German highway, where it is able to achieve a binary classification success ratio of more than 99% and an overall accuracy of 93.83% for a classification task with seven different classes.


title: Non-split toric BCH codes on singular del Pezzo surfaces

abstract: In the article we construct low-rate non-split toric $q$-ary codes on some singular surfaces. More precisely, we consider non-split toric cubic and quartic del Pezzo surfaces, whose singular points are $\mathbb{F}_{\!q}$-conjugate. Our codes turn out to be BCH ones with sufficiently large minimum distance $d$. Indeed, we prove that $d - d^* \geqslant q - \lfloor 2\sqrt{q} \rfloor - 1$, where $d^*$ is the designed minimum distance. In other words, we significantly improve upon BCH bound. On the other hand, the defect of the Griesmer bound for the new codes is $\leqslant \lfloor 2\sqrt{q} \rfloor - 1$, which also seems to be quite good. It is worth noting that to better estimate $d$ we actively use the theory of elliptic curves over finite fields.


title: Simulating Hybrid Aerial- and Ground-based Vehicular Networks with ns-3 and LIMoSim

abstract: Integrating Unmanned Aerial Vehicles (UAVs) into future Intelligent Transportation Systems (ITSs) allows to exploit their unique mobility potentials for improving the performance of services such as near-field parcel delivery, dynamic network provisioning, and aerial sensing. In order to provide a controllable environment for the methodological performance analysis, simulation frameworks need to support ground- and aerial-based mobility as well as the involved communication technologies. In this paper, we present the open source Lightweight ICT-centric Mobility Simulation (LIMoSim) framework for simulating hybrid vehicular networks within Network Simulator 3 (ns-3). LIMoSim implements a shared codebase coupling approach which integrates all required components in a single simulation process. The low-level mobility behaviors rely on well-known analytical models. Different case studies discussing cutting-edge communication technologies such as Cellular Vehicle-to-Everything (C-V2X) and millimeter Wave (mmWave) are presented in order to illustrate how the proposed framework can be integrated into ns-3-based network simulation setups.


title: Inference for possibly high-dimensional inhomogeneous Gibbs point processes

abstract: Gibbs point processes (GPPs) constitute a large and flexible class of spatial point processes with explicit dependence between the points. They can model attractive as well as repulsive point patterns. Feature selection procedures are an important topic in high-dimensional statistical modeling. In this paper, composite likelihood approach regularized with convex and non-convex penalty functions is proposed to handle statistical inference for possibly high-dimensional inhomogeneous GPPs. The composite likelihood incorporates both the pseudo-likelihood and the logistic composite likelihood. We particularly investigate the setting where the number of covariates diverges as the domain of observation increases. Under some conditions provided on the spatial GPP and on the penalty functions, we show that the oracle property, the consistency and the asymptotic normality hold. Our results also cover the low-dimensional case which fills a large gap in the literature. Through simulation experiments, we validate our theoretical results and finally, an application to a tropical forestry dataset illustrates the use of the proposed approach.


title: Prior Knowledge Driven Label Embedding for Slot Filling in Natural Language Understanding

abstract: Traditional slot filling in natural language understanding (NLU) predicts a one-hot vector for each word. This form of label representation lacks semantic correlation modelling, which leads to severe data sparsity problem, especially when adapting an NLU model to a new domain. To address this issue, a novel label embedding based slot filling framework is proposed in this paper. Here, distributed label embedding is constructed for each slot using prior knowledge. Three encoding methods are investigated to incorporate different kinds of prior knowledge about slots: atomic concepts, slot descriptions, and slot exemplars. The proposed label embeddings tend to share text patterns and reuses data with different slot labels. This makes it useful for adaptive NLU with limited data. Also, since label embedding is independent of NLU model, it is compatible with almost all deep learning based slot filling models. The proposed approaches are evaluated on three datasets. Experiments on single domain and domain adaptation tasks show that label embedding achieves significant performance improvement over traditional one-hot label representation as well as advanced zero-shot approaches.


title: Topological sectors for heterotic M5-brane charges under Hypothesis H

abstract: Assuming Fiorenza-Sati-Schreiber's Hypothesis H, on the charge quantization of M-theory's $C$-field, the topological sectors of the resulting $String^{c_2}(4)$-valued higher gauge theory on a heterotic M5-brane are classified by homotopy classes of maps from the worldvolume $\Sigma_{M5}$ to $BString^{c_2}(4)$. This note calculates the sectors in a number of examples of M5-brane topology, including examples considered in the 3d-3d correspondence, the emergence of skyrmions from higher-dimensional instantons and Witten's analysis of the S-duality of 4d Yang-Mills theory.


title: SAC: Accelerating and Structuring Self-Attention via Sparse Adaptive Connection

abstract: While the self-attention mechanism has been widely used in a wide variety of tasks, it has the unfortunate property of a quadratic cost with respect to the input length, which makes it difficult to deal with long inputs. In this paper, we present a method for accelerating and structuring self-attentions: Sparse Adaptive Connection (SAC). In SAC, we regard the input sequence as a graph and attention operations are performed between linked nodes. In contrast with previous self-attention models with pre-defined structures (edges), the model learns to construct attention edges to improve task-specific performances. In this way, the model is able to select the most salient nodes and reduce the quadratic complexity regardless of the sequence length. Based on SAC, we show that previous variants of self-attention models are its special cases. Through extensive experiments on neural machine translation, language modeling, graph representation learning and image classification, we demonstrate SAC is competitive with state-of-the-art models while significantly reducing memory cost.


title: Electroweak fermion triangle loop contributions to the muon anomalous magnetic moment revisited

abstract: The contribution to the muon anomalous magnetic moment from the fermion triangle loop diagrams connected to the muon line by a photon and a $Z$ boson is reanalyzed in the unitary gauge. With use of the anomalous axial-vector Ward identity, it is shown that the calculation in the unitary gauge exactly coincides with the one in the 't Hooft-Feynman gauge. The part which arises from the ordinary axial-vector Ward identity corresponds to the contribution of the neutral Goldstone boson. For the top-quark contribution, the one-parameter integral form is obtained up to the order of $m_\mu^2/m_Z^2$. The results are compared with those obtained by the asymptotic expansion method.


title: Fulleryne, a new member of the carbon cages family

abstract: In this study, based on density functional theory (DFT), we propose a new branch of pseudo-fullerenes which contain triple bonds with sp hybridization. We should call these new nanostructures fullerynes, according to IUPAC. We present four samples with the chemical formula of C4nHn, and structures derived from fullerenes. We compare the structural and electronic properties of these structures with those of two common fullerene and fullerene systems. The calculated electron affinities of the sampled fullerynes are negative, and much smaller than those of fullerenes, so they should be chemically more stable than fullerenes. Although fulleranes also exhibit higher chemical stability than fullerynes, but pentagon or hexagon of the fullerane structures cannot pass ions and molecules. Applications of fullerynes can be included in the storage of ions and gases at the nanoscale. On the other hand, they can also be used as cathode/anode electrodes in lithium-ion batteries.


title: The emergence of magnetic skyrmions

abstract: This is a narrative of the basic theoretical ideas of axisymmetric two-dimensional solitons and of their connection to basic experiments on magnetic compounds. A shortened and edited version appeared in Physics Today.


title: The continuity of $\chi$-volume functions over adelic curves

abstract: In the setting of Arakelov geometry over adelic curves, we introduce the $\chi$-volume function and show some general properties. This article is dedicated to talk about the continuity of $\chi$-volume function. By discussing its relationship with volume function, we prove its continuity around adelic $\mathbb{Q}$-ample $\mathbb{Q}$-Cartier divisors and its continuity in the trivially valued case. The study of the variation of arithmetic Okounkov bodies leads us to its continuous extension on arithmetic surfaces.


title: Gromov--Witten invariants of root stacks with mid-ages and the loop axiom

abstract: We study orbifold Gromov--Witten invariants of the $r$-th root stack $X_{D,r}$ with a pair of mid-ages when $r$ is sufficiently large. We prove that genus $g$ invariants with a pair of mid-ages $k_a/r$ and $1-k_a/r$ are polynomials in $k_a$ and the $k_a^i$-coefficients are polynomials in $r$ with degree bounded by $2g$. Moreover, genus zero invariants with a pair of mid-ages are independent of the choice of mid-ages. As an application, we obtain an identity for relative Gromov--Witten theory which can be viewed as a modified version of the usual loop axiom.


title: A New Update Rule of RLSEKF-based Joint-estimation Filters for Real-time SOH SOC Identification

abstract: In order to accurately estimate the SOC and SOH of a lithium-ion battery used in an electric vehicle (EV), we propose an Adaptive Diagonal Forgetting Factor Recursive Least Square (ADFF-RLS) for accurate battery parameter estimation. ADFFRLS includes two new proposals in the existing DFF-RLS; The first is an excitation tag that changes the behavior of the DFFRLS and the EKF according to the dynamics of the input data. The second is auto-tuning that automatically finds the optimal value of RLS forgetting factor based on condition number (CN). Based on this, we proposed a joint estimation algorithm of ADFF-RLS and Extended Kalman Filter (EKF). To verify the accuracy of the proposed algorithm, we used experimental data of hybrid pattern battery cells mixed with dynamic and static patterns. In addition, we added a current measurement error that occurs when measuring at EV, and realized data that is closer to actual environment. This data was applied to two conventional estimation algorithms (Coulomb counting, Single EKF), two joint estimation algorithms (RLS & EKF, DFF-RLS & EKF) and ADFF-RLS & EKF. As a result, the proposed algorithm showed higher SOC and SOH estimation accuracy in various driving patterns and actual EV driving environment than previous studies.


title: Thermoelectric probe of defect state induced by ionic liquid gating in vanadium dioxide

abstract: Thermoelectric measurements detect the asymmetry between the density of states above and below the chemical potential in a material. It provides insights into small variations in the density of states near the chemical potential, complementing electron transport measurements. Here, combined resistance and thermoelectric power measurements are performed on vanadium dioxide (VO2), a prototypical correlated electron material, under ionic-liquid (IL) gating. With IL gating, charge transport below the metal-to-insulator-transition (MIT) temperature remains in the thermally activated regime, while the Seebeck coefficient exhibits an apparent transition from semiconducting to metallic behavior. The contrasting behavior indicates changes in electronic structure upon IL gating, due to the formation of oxygen defect states. The experimental results are corroborated by numerical simulations based on a model density of states incorporating a gating induced defect band. This study reveals thermoelectric measurements to be a convenient and sensitive probe for the role of defect states induced by IL gating in suppressing the MIT in VO2, which remains benign in charge transport measurements, and possibly for studying defect sates in other materials.


title: Radiating black holes in the novel 4D Einstein-Gauss-Bonnet gravity

abstract: Recently Glavan and Lin [Phys. Rev. Lett. 124, 081301 (2020)] formulated a novel Einstein-Gauss-Bonnet gravity in which the Gauss-Bonnet coupling has been rescaled as $\alpha/(D-4)$ and the $4D$ theory is defined as the limit $D \rightarrow 4$, which preserves the number degrees of freedom thereby free from the Ostrogradsky instability. We present exact spherically symmetric nonstatic null dust solutions in the novel 4D Einstein-Gauss-Bonnet gravity that bypasses the Lovelock theorem. Our solution represents radiating black holes and regains, in the limit $\alpha \rightarrow 0$, the famous Vaidya black hole of general relativity (GR). We discuss the horizon structure of black hole solutions to find that the three horizon-like loci that characterizes its structure, viz. $AH$, $EH$ and $ TLS $ have the relationship $r_{EH} < r_{AH} = r_{TLS}$. The charged radiating black holes in the theory, generalizing Bonnor-Vaidya black holes, are also considered. In particular our results, in the limit $\alpha \rightarrow 0$, reduced exactly to \emph{vis-$\grave{a}$-vis} 4D black holes of GR.


title: Near-Infrared Photometry of Superthin Edge-on Galaxies

abstract: We perform near-infrared photometry of a large sample of 49 superthin edge-on galaxies. These galaxies are selected based on optical photometry because of high radial-to-vertical scale ratio in their stellar disks. The Near Infrared (NIR) H and K observations were conducted with the cryogenic-cooled camera ASTRONIRCAM on the 2.5m telescope at the Caucasus Mountain Observatory of Lomonosov Moscow State University. A majority of galaxies in our sample show comparable or better photometric depth than the Sloan Digital Sky Survey (SDSS) optical images. We estimate the structural parameters of stellar disks in the galaxies and find that the NIR scale height of stellar disks is comparable to that estimated from the optical, SDSS g, r and i, whereas the H and K scale length of the stellar disks is significantly shorter than in the g, r and i. We investigate if a realistic distribution of dust alone can explain the difference in the scale length and find that in the majority of the galaxies the radial variation of the stellar population is actually responsible for the color distribution. The latter suggests a younger age of the disks periphery, and the inside out building up of stellar disks in the superthin galaxies.


title: Spectral estimates for Riemannian submersions with fibers of basic mean curvature

abstract: For Riemannian submersions with fibers of basic mean curvature, we compare the spectrum of the total space with the spectrum of a Schr\"{o}dinger operator on the base manifold. Exploiting this concept, we study submersions arising from actions of Lie groups. In this context, we extend the state of the art results on the bottom of the spectrum under Riemannian coverings. As an application, we compute the bottom of the spectrum and the Cheeger constant of connected, amenable Lie groups.


title: Tune smarter not harder: A principled approach to tuning learning rates for shallow nets

abstract: Effective hyper-parameter tuning is essential to guarantee the performance that neural networks have come to be known for. In this work, a principled approach to choosing the learning rate is proposed for shallow feedforward neural networks. We associate the learning rate with the gradient Lipschitz constant of the objective to be minimized while training. An upper bound on the mentioned constant is derived and a search algorithm, which always results in non-divergent traces, is proposed to exploit the derived bound. It is shown through simulations that the proposed search method significantly outperforms the existing tuning methods such as Tree Parzen Estimators (TPE). The proposed method is applied to three different existing applications: a) channel estimation in OFDM systems, b) prediction of the exchange currency rates and c) offset estimation in OFDM receivers, and it is shown to pick better learning rates than the existing methods using the same or lesser compute power.


title: Global Gaussian estimates for the heat kernel of homogeneous sums of squares

abstract: Let $\mathcal{H}=\sum_{j=1}^{m}X_{j}^{2}-\partial_{t}$ be a heat-type operator in $\mathbb{R}^{n+1}$, where $X=\{X_{1},\ldots,X_{m}\}$ is a system of smooth H\"{o}rmander's vector fields in $\mathbb{R}^{n}$, and every $X_{j}$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in $\mathbb{R}^{n}$, while no underlying group structure is assumed. In this paper we prove global (in space and time) upper and lower Gaussian estimates for the heat kernel $\Gamma(t,x;s,y)$ of $\mathcal{H}$, in terms of the Carnot-Carath\'{e}odory distance induced by $X$ on $\mathbb{R}^{n}$, as well as global upper Gaussian estimates for the $t$- or $X$-derivatives of any order of $\Gamma$. From the Gaussian bounds we derive the unique solvability of the Cauchy problem for a possibly unbounded continuous initial datum satisfying exponential growth at infinity. Also, we study the solvability of the H-Dirichlet problem on an arbitrary bounded domain. Finally, we establish a global scale-invariant Harnack inequality for non-negative solutions of $\mathcal{H}u=0$.


title: Phase-sensitive nuclear target spectroscopy (PHANTASY)

abstract: M\"ossbauer nuclei feature exceptionally narrow resonances at hard x-ray energies, which render them ideal probes for structure and dynamics in condensed-matter systems, and a promising platform for x-ray quantum optics and fundamental tests. However, a direct spectroscopy at modern x-ray sources such as synchrotrons or x-ray free electron lasers is challenging, because of the broad spectral bandwidth of the delivered x-ray pulses, and because of a limited spectral resolution offered by x-ray optics and detectors. To overcome these challenges, here, we propose a spectroscopy technique based on a spectrally narrow reference absorber that is rapidly oscillating along the propagation direction of the x-ray light. The motion induces sidebands to the response of the absorber, which we scan across the spectrum of the unknown target to gain spectral information. The oscillation further introduces a dependence of the detected light on the motional phase at the time of x-ray excitation as an additional controllable degree of freedom. We show how a Fourier analysis with respect to this phase enables one to selectively extract parts of the recorded intensity after the actual experiment, throughout the data analysis. This allows one to improve the spectral recovery by removing unwanted signal contributions. Our method is capable of gaining spectral information from the entire measured intensity, and not only from the intensity at late times after the excitation, such that a significantly higher part of the signal photons can be used. Furthermore, it not only enables one to measure the amplitude of the spectral response, but also its phase.


title: An Efficient Software-Hardware Design Framework for Spiking Neural Network Systems

abstract: Spiking Neural Network (SNN) is the third generation of Neural Network (NN) mimicking the natural behavior of the brain. By processing based on binary input/output, SNNs offer lower complexity, higher density and lower power consumption. This work presents an efficient software-hardware design framework for developing SNN systems in hardware. In addition, a design of low-cost neurosynaptic core is presented based on packet-switching communication approach. The evaluation results show that the ANN to SNN conversion method with the size 784:1200:1200:10 performs 99% accuracy for MNIST while the unsupervised STDP archives 89% with the size 784:400 with recurrent connections. The design of 256-neurons and 65k synapses is also implemented in ASIC 45nm technology with an area cost of 0.205 $m m^2$.


title: Dynamical-Invariant-based Holonomic Quantum Gates: Theory and Experiment

abstract: Among existing approaches to holonomic quantum computing, the adiabatic holonomic quantum gates (HQGs) suffer errors due to decoherence, while the non-adiabatic HQGs either require additional Hilbert spaces or are difficult to scale. Here, we report a systematic, scalable approach based on dynamical invariants to realize HQGs without using additional Hilbert spaces. While presenting the theoretical framework of our approach, we design and experimentally evaluate single-qubit and two-qubits HQGs for the nuclear magnetic resonance system. The single-qubit gates acquire average fidelity 0.9972 by randomized benchmarking, and the controlled-NOT gate acquires fidelity 0.9782 by quantum process tomography. Our approach is also platform-independent, and thus may open a way to large-scale holonomic quantum computation.


title: Unique continuation for the gradient of eigenfunctions and Wegner estimates for random divergence-type operators

abstract: We prove a scale-free quantitative unique continuation estimate for the gradient of eigenfunctions of divergence-type operators, i.e. operators of the form $-\mathrm{div}A\nabla$, where the matrix function $A$ is uniformly elliptic. The proof uses a unique continuation principle for elliptic second order operators and a lower bound on the $L^2$-norm of the gradient of eigenfunctions corresponding to strictly positive eigenvalues. As an application, we prove an eigenvalue lifting estimate that allows us to prove a Wegner estimate for random divergence-type operators. Here our approach allows us to get rid of a restrictive covering condition that was essential in previous proofs of Wegner estimates for such models.


title: Co-Prime Order graph of a finite abelian Group and Dihedral Group

abstract: The \textbf{Co-Prime Order Graph} $\Theta (G)$ of a given finite group is a simple undirected graph whose vertex set is the group $G$ itself, and any two vertexes x,y in $\Theta (G)$ are adjacent if and only if $gcd(o(x),o(y))=1$ or prime. In this paper, we find a precise formula to count the degree of a vertex in the Co-Prime Order graph of a finite abelian group or Dihedral group $D_n$.We also investigate the Laplacian spectrum of the Co-Prime Order Graph $\Theta (G)$ when G is finite abelian p-group, ${\mathbb{Z}_p}^t \times {\mathbb{Z}_q}^s$ or Dihedral group $D_{p^n}$. Key Words and Phrases: Co-Prime Order graph,finite abelian group,Dihedral group, Laplacian spectrum.


title: Quark polarization from parton scatterings in heavy ion collisions

abstract: Based on the result in our previous work, we calculate the polarization of quarks from parton scatterings in high energy heavy ion collisions. The result is compared with the STAR data at $\sqrt{s_{NN}}=200$ GeV.


title: Multiview Neural Surface Reconstruction by Disentangling Geometry and Appearance

abstract: In this work we address the challenging problem of multiview 3D surface reconstruction. We introduce a neural network architecture that simultaneously learns the unknown geometry, camera parameters, and a neural renderer that approximates the light reflected from the surface towards the camera. The geometry is represented as a zero level-set of a neural network, while the neural renderer, derived from the rendering equation, is capable of (implicitly) modeling a wide set of lighting conditions and materials. We trained our network on real world 2D images of objects with different material properties, lighting conditions, and noisy camera initializations from the DTU MVS dataset. We found our model to produce state of the art 3D surface reconstructions with high fidelity, resolution and detail.


title: Visual Question Answering for Cultural Heritage

abstract: Technology and the fruition of cultural heritage are becoming increasingly more entwined, especially with the advent of smart audio guides, virtual and augmented reality, and interactive installations. Machine learning and computer vision are important components of this ongoing integration, enabling new interaction modalities between user and museum. Nonetheless, the most frequent way of interacting with paintings and statues still remains taking pictures. Yet images alone can only convey the aesthetics of the artwork, lacking is information which is often required to fully understand and appreciate it. Usually this additional knowledge comes both from the artwork itself (and therefore the image depicting it) and from an external source of knowledge, such as an information sheet. While the former can be inferred by computer vision algorithms, the latter needs more structured data to pair visual content with relevant information. Regardless of its source, this information still must be be effectively transmitted to the user. A popular emerging trend in computer vision is Visual Question Answering (VQA), in which users can interact with a neural network by posing questions in natural language and receiving answers about the visual content. We believe that this will be the evolution of smart audio guides for museum visits and simple image browsing on personal smartphones. This will turn the classic audio guide into a smart personal instructor with which the visitor can interact by asking for explanations focused on specific interests. The advantages are twofold: on the one hand the cognitive burden of the visitor will decrease, limiting the flow of information to what the user actually wants to hear; and on the other hand it proposes the most natural way of interacting with a guide, favoring engagement.


title: A unification of the ADO and colored Jones polynomials of a knot

abstract: In this paper we prove that the family of colored Jones polynomials of a knot in $S^3$ determines the family of ADO polynomials of this knot. More precisely, we construct a two variables knot invariant unifying both the ADO and the colored Jones polynomials. On one hand, the first variable $q$ can be evaluated at $2r$ roots of unity with $r \in \Bbb N^*$ and we obtain the ADO polynomial over the Alexander polynomial. On the other hand, the second variable $A$ evaluated at $A=q^n$ gives the colored Jones polynomials. From this, we exhibit a map sending, for any knot, the family of colored Jones polynomials to the family of ADO polynomials. As a direct application of this fact, we will prove that every ADO polynomial is q-holonomic and is annihilated by the same polynomials as of the colored Jones function. The construction of the unified invariant will use completions of rings and algebra. We will also show how to recover our invariant from Habiro's quantum $\mathfrak{sl}_2$ completion studied in arXiv:math/0605313.


title: TanhExp: A Smooth Activation Function with High Convergence Speed for Lightweight Neural Networks

abstract: Lightweight or mobile neural networks used for real-time computer vision tasks contain fewer parameters than normal networks, which lead to a constrained performance. In this work, we proposed a novel activation function named Tanh Exponential Activation Function (TanhExp) which can improve the performance for these networks on image classification task significantly. The definition of TanhExp is f(x) = xtanh(e^x). We demonstrate the simplicity, efficiency, and robustness of TanhExp on various datasets and network models and TanhExp outperforms its counterparts in both convergence speed and accuracy. Its behaviour also remains stable even with noise added and dataset altered. We show that without increasing the size of the network, the capacity of lightweight neural networks can be enhanced by TanhExp with only a few training epochs and no extra parameters added.


title: Correct bounds on the Ising lace-expansion coefficients

abstract: The lace expansion for the Ising two-point function was successfully derived in Sakai (Commun. Math. Phys., 272 (2007): 283--344). It is an identity that involves an alternating series of the lace-expansion coefficients. In the same paper, we claimed that the expansion coefficients obey certain diagrammatic bounds which imply faster $x$-space decay (as the two-point function cubed) above the critical dimension $d_c$ ($=4$ for finite-variance models), if the spin-spin coupling is ferromagnetic, translation-invariant, summable and symmetric with respect to the underlying lattice symmetries. However, we recently found a flaw in the proof of Lemma 4.2 in Sakai (2007), a key lemma to the aforementioned diagrammatic bounds. In this paper, we no longer use the problematic Lemma 4.2 of Sakai (2007), and prove new diagrammatic bounds on the expansion coefficients that are slightly more complicated than those in Proposition 4.1 of Sakai (2007) but nonetheless obey the same fast decay above the critical dimension $d_c$. Consequently, the lace-expansion results for the Ising and $\varphi^4$ models so far are all saved. The proof is based on the random-current representation and its source-switching technique of Griffiths, Hurst and Sherman, combined with a double expansion: a lace expansion for the lace-expansion coefficients.


title: Some refinements of the Deligne-Illusie theorem

abstract: We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the de Rham complex in $\max(p-1, 2)$ consecutive degrees can be reconstructed as objects of the derived category in terms of its truncation in degrees at most one (or, equivalently, in terms the obstruction class to lifting modulo $p^2$). Consequently, these truncations are decomposable if $X$ admits a lifting to $W_2(k)$, in which case the first nonzero differential in the conjugate spectral sequence appears no earlier than on page $\max(p,3)$ (these corollaries have been recently strengthened by Drinfeld, Bhatt-Lurie, and Li-Mondal). Without assuming the existence of a lifting, we describe the gerbes of splittings of two-term truncations and the differentials on the second page of the conjugate spectral sequence, answering a question of Katz. The main technical result used in the case $p>2$ belongs purely to homological algebra. It concerns certain commutative differential graded algebras whose cohomology algebra is the exterior algebra, dubbed by us "abstract Koszul complexes", of which the de Rham complex in characteristic $p$ is an example. In the appendix, we use the aforementioned stronger decomposition result to prove that Kodaira-Akizuki-Nakano vanishing and Hodge-de Rham degeneration both hold for $F$-split $(p+1)$-folds.


title: Carbamazepine solubility in supercritical CO$_2$: a comprehensive study

abstract: In this paper we present our study of carbamazepine solubility in supercritical carbon dioxide. We have calculated the solubility values along two isochores corresponding to the CO$_2$ densities $\rho = 1.1\rho_{cr}(CO_2)$ and $\rho= 1.3\rho_{cr}(CO_2)$, where $\rho_{cr}(CO_2)$ is the critical density of CO$_2$, in the temperature range from $313$ to $383~K$, as well as along three isotherms at $T=318$, $328$ and $348~K$ by an approach based on the classical density functional theory. The solubility values were also obtained using in situ IR spectroscopy and molecular dynamics simulations along the mentioned isochores and isotherms, respectively. Because the density functional theory only takes into account the Lennard-Jones interactions, it can be expected to underestimate the solubility values when compared to the experimental ones. However, we have shown that the data calculated within the classical density functional theory qualitatively reproduce the solubility trends obtained by IR spectroscopy and molecular dynamics simulation. Moreover, the obtained position of the upper crossover pressure is in good agreement with the experimental literature results.


title: Mott Transition and Superconductivity in Quantum Spin Liquid Candidate NaYbSe$_2$

abstract: The Mott transition is one of the fundamental issues in condensed matter physics, especially in the system with antiferromagnetic long-range order. However the Mott transition in quantum spin liquid (QSL) systems without long-range order is rare. Here we report the observation of the pressure-induced insulator to metal transition followed by the emergence of superconductivity in the QSL candidate NaYbSe2 with triangular lattice of 4f Yb$_3^+$ ions. Detail analysis of transport properties at metallic state shows an evolution from non-Fermi liquid to Fermi liquid behavior when approaching the vicinity of superconductivity. An irreversible structure phase transition occurs around 11 GPa is revealed by the X-ray diffraction. These results shed light on the Mott transition and superconductivity in the QSL systems.


title: Large-Scale Screening of COVID-19 from Community Acquired Pneumonia using Infection Size-Aware Classification

abstract: The worldwide spread of coronavirus disease (COVID-19) has become a threatening risk for global public health. It is of great importance to rapidly and accurately screen patients with COVID-19 from community acquired pneumonia (CAP). In this study, a total of 1658 patients with COVID-19 and 1027 patients of CAP underwent thin-section CT. All images were preprocessed to obtain the segmentations of both infections and lung fields, which were used to extract location-specific features. An infection Size Aware Random Forest method (iSARF) was proposed, in which subjects were automated categorized into groups with different ranges of infected lesion sizes, followed by random forests in each group for classification. Experimental results show that the proposed method yielded sensitivity of 0.907, specificity of 0.833, and accuracy of 0.879 under five-fold cross-validation. Large performance margins against comparison methods were achieved especially for the cases with infection size in the medium range, from 0.01% to 10%. The further inclusion of Radiomics features show slightly improvement. It is anticipated that our proposed framework could assist clinical decision making.


title: A SIDARTHE Model of COVID-19 Epidemic in Italy

abstract: In late December 2019, a novel strand of Coronavirus (SARS-CoV-2) causing a severe, potentially fatal respiratory syndrome (COVID-19) was identified in Wuhan, Hubei Province, China and is causing outbreaks in multiple world countries, soon becoming a pandemic. Italy has now become the most hit country outside of Asia: on March 16, 2020, the Italian Civil Protection documented a total of 27980 confirmed cases and 2158 deaths of people tested positive for SARS-CoV-2. In the context of an emerging infectious disease outbreak, it is of paramount importance to predict the trend of the epidemic in order to plan an effective control strategy and to determine its impact. This paper proposes a new epidemic model that discriminates between infected individuals depending on whether they have been diagnosed and on the severity of their symptoms. The distinction between diagnosed and non-diagnosed is important because non-diagnosed individuals are more likely to spread the infection than diagnosed ones, since the latter are typically isolated, and can explain misperceptions of the case fatality rate and of the seriousness of the epidemic phenomenon. Being able to predict the amount of patients that will develop life-threatening symptoms is important since the disease frequently requires hospitalisation (and even Intensive Care Unit admission) and challenges the healthcare system capacity. We show how the basic reproduction number can be redefined in the new framework, thus capturing the potential for epidemic containment. Simulation results are compared with real data on the COVID-19 epidemic in Italy, to show the validity of the model and compare different possible predicted scenarios depending on the adopted countermeasures.


title: Multi-fermion systems with contact theories

abstract: We address the question of minimal requirements for the existence of quantum bound states. In particular, we demonstrate that a few-body system with zero-range momentum-independent two-body interactions is unstable against decay into clusters, if mixed-symmetry of its wave function is enforced. We claim that any theory in which the two-body scattering length is much larger than any other scale involved exhibits such instability. We exemplify this with the inability of the leading-order pionless effective field theory to describe stable states of $A>4$ nuclei. A finite interaction range is identified as a sufficient condition for a bound mixed-symmetry system. The minimal value of this range depends on the proximity of a system to unitarity, on the number of constituents, and on the particular realization of discrete scale invariance of the three-body spectrum.


title: Analysis of absorption lines in the high resolution spectra of five hot post-AGB candidates

abstract: From an analysis of absorption lines in the high resolution spectra we have derived the radial velocities, stellar parameters (Teff, gravity, wind-strength parameter logQ and projected rotational velocity) and abundances (C, N, O, and Si ) of IRAS 17460-3114, IRAS 18131-3008, IRAS 19336-0400, LSE 45 and LSE 163. Abundances are found to be solar, except for a low Si abundance in IRAS 19336-0400 and a mild CNO pattern in LSE 163, that rotates at an unusual large rotational velocity for its spectral classification. Combining the stellar parameters information with Gaia DR2 data we are able to derive absolute magnitudes, radii and luminosities and clarify the possible post-AGB nature of the objects. IRAS 17460-3114 and IRAS 18131-3008 are found to be massive OB stars, whereas IRAS 19336-0400 is found to be a post-AGB star, already showing nebular lines in the spectrum. However, we could not confirm the nature of LSE 45 and LSE 163 as post-AGB stars, although their parameters are much more inconsistent with those of massive stars. In both cases, we find a discrepancy between the spectroscopic mass and that derived from the predictions of post-AGB evolutionary tracks. In addition, LSE 45 lacks nebular lines, that are present in IRAS 19336-0400 at a similar temperature. In the case of LSE 163 the rotational velocity (259+/-15 km/s) would be extremely large for a star evolving to CSPN. The combination of this rotational velocity, the high Galactic latitude, slightly large radial velocity and mild CNO enhancement suggests a history of binary interaction.


title: Theoretical Study of Ternary CoSP Semiconductor: a Candidate for Photovoltaic Applications

abstract: The electronic structure of pyrite-type cobalt phosphosulfide (CoSP) has been studied using density-functional theory. The calculated band structure reveals the non-magnetic semiconducting character of the compound. The electronic structure is described through the electronic band structure and the densities of states. A band gap of 1.14 eV has been computed within standard GGA, a value which is enhanced using hybrid functional. It separates the upper part of the valence band dominated by Co-3d-t2g states from the lower part of the conduction band made exclusively of Co-3d-eg , above of which lie S-3p and P-3p ones. The obtained values are suitable for applications in solar cells, according to Shockley-Queisser theory of light to electric conversion efficiency. The origin of the larger CoSP band gap, with respect to the one of the promising FeS2 compound, is explained and the chemical bonding properties are addressed. A comparative picture is established where several similarities have been found, suggesting that CoSP could be for a great practical interest in photovoltaics.


title: English dictionaries, gold and silver standard corpora for biomedical natural language processing related to SARS-CoV-2 and COVID-19

abstract: Automated information extraction with natural language processing (NLP) tools is required to gain systematic insights from the large number of COVID-19 publications, reports and social media posts, which far exceed human processing capabilities. A key challenge for NLP is the extensive variation in terminology used to describe medical entities, which was especially pronounced for this newly emergent disease. Here we present an NLP toolbox comprising very large English dictionaries of synonyms for SARS-CoV-2 (including variant names) and COVID-19, which can be used with dictionary-based NLP tools. We also present a silver standard corpus generated with the dictionaries, and a gold standard corpus, consisting of PubMed abstracts manually annotated for disease, virus, symptom, protein/gene, cell type, chemical and species terms, which can be used to train and evaluate COVID-19-related NLP tools. Code for annotation, which can be used to expand the silver standard corpus or for text mining is also included. This toolbox is freely available on GitHub (on https://github.com/Aitslab/corona) and zenodo (https://doi.org/10.5281/zenodo.6642275). The toolbox can be used for a variety of text analytics tasks related to the COVID-19 crisis and has already been used to create a COVID-19 knowledge graph, study the variability and evolution of COVID-19-related terminology and develop and benchmark text mining tools.


title: Kinetic energy of the Langevin particle

abstract: We compute the kinetic energy of the Langevin particle using different approaches. We build stochastic differential equations that describe this physical quantity based on both the It\^o and Stratonovich stochastic integrals. It is shown that the It\^o equation possesses a unique solution whereas the Stratonovich one possesses infinitely many, all but one absent of physical meaning. We discuss how this fact matches with the existent discussion on the It\^o vs Stratonovich dilemma and the apparent preference towards the Stratonovich interpretation in the physical literature.

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


title: Certified Global Minima for a Benchmark of Difficult Optimization Problems

abstract: We provide the global optimization community with new optimality proofs for six deceptive benchmark functions (five bound-constrained functions and one nonlinearly constrained problem). These highly multimodal nonlinear test problems are among the most challenging benchmark functions for global optimization solvers; some have not been solved even with approximate methods. The global optima that we report have been numerically certified using Charibde (Vanaret et al., 2013), a hybrid algorithm that combines an evolutionary algorithm and interval-based methods. While metaheuristics generally solve large problems and provide sufficiently good solutions with limited computation capacity, exact methods are deemed unsuitable for difficult multimodal optimization problems. The achievement of new optimality results by Charibde demonstrates that reconciling stochastic algorithms and numerical analysis methods is a step forward into handling problems that were up to now considered unsolvable. We also provide a comparison with state-of-the-art solvers based on mathematical programming methods and population-based metaheuristics, and show that Charibde, in addition to being reliable, is highly competitive with the best solvers on the given test functions.


title: Composite Monte Carlo Decision Making under High Uncertainty of Novel Coronavirus Epidemic Using Hybridized Deep Learning and Fuzzy Rule Induction

abstract: In the advent of the novel coronavirus epidemic since December 2019, governments and authorities have been struggling to make critical decisions under high uncertainty at their best efforts. Composite Monte-Carlo (CMC) simulation is a forecasting method which extrapolates available data which are broken down from multiple correlated/casual micro-data sources into many possible future outcomes by drawing random samples from some probability distributions. For instance, the overall trend and propagation of the infested cases in China are influenced by the temporal-spatial data of the nearby cities around the Wuhan city (where the virus is originated from), in terms of the population density, travel mobility, medical resources such as hospital beds and the timeliness of quarantine control in each city etc. Hence a CMC is reliable only up to the closeness of the underlying statistical distribution of a CMC, that is supposed to represent the behaviour of the future events, and the correctness of the composite data relationships. In this paper, a case study of using CMC that is enhanced by deep learning network and fuzzy rule induction for gaining better stochastic insights about the epidemic development is experimented. Instead of applying simplistic and uniform assumptions for a MC which is a common practice, a deep learning-based CMC is used in conjunction of fuzzy rule induction techniques. As a result, decision makers are benefited from a better fitted MC outputs complemented by min-max rules that foretell about the extreme ranges of future possibilities with respect to the epidemic.


title: Progressive Domain-Independent Feature Decomposition Network for Zero-Shot Sketch-Based Image Retrieval

abstract: Zero-shot sketch-based image retrieval (ZS-SBIR) is a specific cross-modal retrieval task for searching natural images given free-hand sketches under the zero-shot scenario. Most existing methods solve this problem by simultaneously projecting visual features and semantic supervision into a low-dimensional common space for efficient retrieval. However, such low-dimensional projection destroys the completeness of semantic knowledge in original semantic space, so that it is unable to transfer useful knowledge well when learning semantic from different modalities. Moreover, the domain information and semantic information are entangled in visual features, which is not conducive for cross-modal matching since it will hinder the reduction of domain gap between sketch and image. In this paper, we propose a Progressive Domain-independent Feature Decomposition (PDFD) network for ZS-SBIR. Specifically, with the supervision of original semantic knowledge, PDFD decomposes visual features into domain features and semantic ones, and then the semantic features are projected into common space as retrieval features for ZS-SBIR. The progressive projection strategy maintains strong semantic supervision. Besides, to guarantee the retrieval features to capture clean and complete semantic information, the cross-reconstruction loss is introduced to encourage that any combinations of retrieval features and domain features can reconstruct the visual features. Extensive experiments demonstrate the superiority of our PDFD over state-of-the-art competitors.


title: NSM Converges to a k-NN Regressor Under Loose Lipschitz Estimates

abstract: Although it is known that having accurate Lipschitz estimates is essential for certain models to deliver good predictive performance, refining this constant in practice can be a difficult task especially when the input dimension is high. In this work, we shed light on the consequences of employing loose Lipschitz bounds in the Nonlinear Set Membership (NSM) framework, showing that the model converges to a nearest neighbor regressor (k-NN with k=1). This convergence process is moreover not uniform, and is monotonic in the univariate case. An intuitive geometrical interpretation of the result is then given and its practical implications are discussed.


title: COVID-Net: A Tailored Deep Convolutional Neural Network Design for Detection of COVID-19 Cases from Chest X-Ray Images

abstract: The COVID-19 pandemic continues to have a devastating effect on the health and well-being of the global population. A critical step in the fight against COVID-19 is effective screening of infected patients, with one of the key screening approaches being radiology examination using chest radiography. Motivated by this and inspired by the open source efforts of the research community, in this study we introduce COVID-Net, a deep convolutional neural network design tailored for the detection of COVID-19 cases from chest X-ray (CXR) images that is open source and available to the general public. To the best of the authors' knowledge, COVID-Net is one of the first open source network designs for COVID-19 detection from CXR images at the time of initial release. We also introduce COVIDx, an open access benchmark dataset that we generated comprising of 13,975 CXR images across 13,870 patient patient cases, with the largest number of publicly available COVID-19 positive cases to the best of the authors' knowledge. Furthermore, we investigate how COVID-Net makes predictions using an explainability method in an attempt to not only gain deeper insights into critical factors associated with COVID cases, which can aid clinicians in improved screening, but also audit COVID-Net in a responsible and transparent manner to validate that it is making decisions based on relevant information from the CXR images. By no means a production-ready solution, the hope is that the open access COVID-Net, along with the description on constructing the open source COVIDx dataset, will be leveraged and build upon by both researchers and citizen data scientists alike to accelerate the development of highly accurate yet practical deep learning solutions for detecting COVID-19 cases and accelerate treatment of those who need it the most.


title: Influence of different exchange-correlation potentials on twisted structures of bilayer XS2 (X= Mo, Cr)

abstract: In this work, we employ the LDA, GGA and GGA with four vdW corrections to study crystal and electronic structures of bilayer transition metal dichalcogenides (TMDs) with different twist angles. We find the GGA interlayer distance of bilayer MoS2 has good agreement with experimental value while vdW correction method still needs to be further improved. Our results indicate the GGA interlayer distances of bilayer XS2 (X= Mo, Cr) with twist angles are smaller than that of normal bilayer, which is the opposite in the LDA case. The GGA results show that reduced bandgap is due to the reduction of interlayer distance and, flat valley and conductivity bands appear owing to twist angle. Our study not only supports valuable information for application possibility of twisted two-dimensional (2D) materials but also stimulates more related research.


title: Software Effort Estimation from Use Case Diagrams Using Nonlinear Regression Analysis

abstract: Software effort estimation in the early stages of the software life cycle is one of the most essential and daunting tasks for project managers. In this research, a new model based on non-linear regression analysis is proposed to predict software effort from use case diagrams. It is concluded that, where software size is classified from small to very large, one linear or non-linear equation for effort estimation cannot be applied. Our model with three different non-linear regression equations can incorporate the different ranges in software size.


abstract: We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module O_X(*Z) of regular functions on the space X of n x n matrices, with poles along the divisor Z of singular matrices. The composition factors for the weight filtration on O_X(*Z) are pure Hodge modules with underlying D-modules given by the simple GL-equivariant D-modules on X, where GL is the natural group of symmetries, acting by row and column operations on the matrix entries. By taking advantage of the GL-equivariance and the Cohen-Macaulay property of their associated graded, we describe explicitly the possible Hodge filtrations on a simple GL-equivariant D-module, which are unique up to a shift determined by the corresponding weights. For non-square matrices, O_X(*Z) is naturally replaced by the local cohomology modules H^j_Z(X,O_X), which turn out to be pure Hodge modules. By working out explicitly the Decomposition Theorem for some natural resolutions of singularities of determinantal varieties, and using the results on square matrices, we determine the weights and the Hodge filtration for these local cohomology modules.


title: A multi-region variant of the SIR model and its extensions

abstract: In this note, we describe simple generalizations of the basic SIR model for epidemic, in case of a multi-region scenario, to be used for predicting the COVID-19 epidemic spread in Italy.


title: HierTrain: Fast Hierarchical Edge AI Learning with Hybrid Parallelism in Mobile-Edge-Cloud Computing

abstract: Nowadays, deep neural networks (DNNs) are the core enablers for many emerging edge AI applications. Conventional approaches to training DNNs are generally implemented at central servers or cloud centers for centralized learning, which is typically time-consuming and resource-demanding due to the transmission of a large amount of data samples from the device to the remote cloud. To overcome these disadvantages, we consider accelerating the learning process of DNNs on the Mobile-Edge-Cloud Computing (MECC) paradigm. In this paper, we propose HierTrain, a hierarchical edge AI learning framework, which efficiently deploys the DNN training task over the hierarchical MECC architecture. We develop a novel \textit{hybrid parallelism} method, which is the key to HierTrain, to adaptively assign the DNN model layers and the data samples across the three levels of edge device, edge server and cloud center. We then formulate the problem of scheduling the DNN training tasks at both layer-granularity and sample-granularity. Solving this optimization problem enables us to achieve the minimum training time. We further implement a hardware prototype consisting of an edge device, an edge server and a cloud server, and conduct extensive experiments on it. Experimental results demonstrate that HierTrain can achieve up to 6.9x speedup compared to the cloud-based hierarchical training approach.


title: Lower Bounds on the Running Time of Two-Way Quantum Finite Automata and Sublogarithmic-Space Quantum Turing Machines

abstract: The two-way finite automaton with quantum and classical states (2QCFA), defined by Ambainis and Watrous, is a model of quantum computation whose quantum part is extremely limited; however, as they showed, 2QCFA are surprisingly powerful: a 2QCFA with only a single-qubit can recognize the language $L_{pal}=\{w \in \{a,b\}^*:w \text{ is a palindrome}\}$ with bounded error in expected time $2^{O(n)}$, on inputs of length $n$. We prove that their result essentially cannot be improved upon: a 2QCFA (of any size) cannot recognize $L_{pal}$ with bounded error in expected time $2^{o(n)}$. To our knowledge, this is the first example of a language that can be recognized with bounded error by a 2QCFA in exponential time but not in subexponential time. Moreover, we prove that a quantum Turing machine (QTM) running in space $o(\log n)$ and expected time $2^{n^{1-\Omega(1)}}$ cannot recognize $L_{pal}$ with bounded error; again, this is the first lower bound of its kind. Far more generally, we establish a lower bound on the running time of any 2QCFA or $o(\log n)$-space QTM that recognizes any language $L$ in terms of a natural "hardness measure" of $L$. This allows us to exhibit a large family of languages for which we have asymptotically matching lower and upper bounds on the running time of any such 2QCFA or QTM recognizer.


title: $c_{0} \widehat{\otimes}_\pi c_{0}\widehat{\otimes}_\pi c_{0}$ is not isomorphic to a subspace of $c_{0} \widehat{\otimes}_\pi c_{0}$

abstract: In the present paper we prove that the $3$-fold projective tensor product of $c_0$, $c_{0} \widehat{\otimes}_\pi c_{0}\widehat{\otimes}_\pi c_{0}$, is not isomorphic to a subspace of $c_{0} \widehat{\otimes}_\pi c_{0}$. In particular, this settles the long-standing open problem of whether $c_{0} \widehat{\otimes}_\pi c_{0}$ is isomorphic to $c_{0} \widehat{\otimes}_\pi c_{0}\widehat{\otimes}_\pi c_{0}$. The origin of this problem goes back to Joe Diestel who mentioned it in a private communication to the authors of paper "Unexpected subspaces of tensor products" published in 2006.


title: The Power of a Single Qubit: Two-way Quantum Finite Automata and the Word Problem

abstract: The two-way finite automaton with quantum and classical states (2QCFA), defined by Ambainis and Watrous, is a model of quantum computation whose quantum part is extremely limited; however, as they showed, 2QCFA are surprisingly powerful: a 2QCFA, with a single qubit, can recognize, with bounded error, the language $L_{eq}=\{a^m b^m :m \in \mathbb{N}\}$ in expected polynomial time and the language $L_{pal}=\{w \in \{a,b\}^*:w \text{ is a palindrome}\}$ in expected exponential time. We further demonstrate the power of 2QCFA by showing that they can recognize the word problems of many groups. In particular 2QCFA, with a single qubit and algebraic number transition amplitudes, can recognize, with bounded error, the word problem of any finitely generated virtually abelian group in expected polynomial time, as well as the word problems of a large class of linear groups in expected exponential time. This latter class (properly) includes all groups with context-free word problem. We also exhibit results for 2QCFA with any constant number of qubits. As a corollary, we obtain a direct improvement on the original Ambainis and Watrous result by showing that $L_{eq}$ can be recognized by a 2QCFA with better parameters. As a further corollary, we show that 2QCFA can recognize certain non-context-free languages in expected polynomial time. In a companion paper, we prove matching lower bounds, thereby showing that the class of languages recognizable with bounded error by a 2QCFA in expected $\mathit{subexponential}$ time is properly contained in the class of languages recognizable with bounded error by a 2QCFA in expected $\mathit{exponential}$ time.


title: String Breaking, Baryons, Medium, and Gauge/String Duality

abstract: The string breaking phenomenon in QCD can be studied using the gauge/string duality. In this approach, one can make estimates of some of the string breaking distances at non-zero temperature and baryon chemical potential. These point towards the enhancement of baryon production in strong decays of heavy mesons in dense baryonic medium.


title: Pairwise Multi-Class Document Classification for Semantic Relations between Wikipedia Articles

abstract: Many digital libraries recommend literature to their users considering the similarity between a query document and their repository. However, they often fail to distinguish what is the relationship that makes two documents alike. In this paper, we model the problem of finding the relationship between two documents as a pairwise document classification task. To find the semantic relation between documents, we apply a series of techniques, such as GloVe, Paragraph-Vectors, BERT, and XLNet under different configurations (e.g., sequence length, vector concatenation scheme), including a Siamese architecture for the Transformer-based systems. We perform our experiments on a newly proposed dataset of 32,168 Wikipedia article pairs and Wikidata properties that define the semantic document relations. Our results show vanilla BERT as the best performing system with an F1-score of 0.93, which we manually examine to better understand its applicability to other domains. Our findings suggest that classifying semantic relations between documents is a solvable task and motivates the development of recommender systems based on the evaluated techniques. The discussions in this paper serve as first steps in the exploration of documents through SPARQL-like queries such that one could find documents that are similar in one aspect but dissimilar in another.