title: PCNN: Deep Convolutional Networks for Short-term Traffic Congestion Prediction

abstract: Traffic problems have seriously affected people's life quality and urban development, and forecasting the short-term traffic congestion is of great importance to both individuals and governments. However, understanding and modeling the traffic conditions can be extremely difficult, and our observations from real traffic data reveal that (1) similar traffic congestion patterns exist in the neighboring time slots and on consecutive workdays; (2) the levels of traffic congestion have clear multiscale properties. To capture these characteristics, we propose a novel method named PCNN based on deep Convolutional Neural Network, modeling Periodic traffic data for short-term traffic congestion prediction. PCNN has two pivotal procedures: time series folding and multi-grained learning. It first temporally folds the time series and constructs a two-dimensional matrix as the network input, such that both the real-time traffic conditions and past traffic patterns are well considered; then with a series of convolutions over the input matrix, it is able to model the local temporal dependency and multiscale traffic patterns. In particular, the global trend of congestion can be addressed at the macroscale; whereas more details and variations of the congestion can be captured at the microscale. Experimental results on a real-world urban traffic dataset confirm that folding time series data into a two-dimensional matrix is effective and PCNN outperforms the baselines significantly for the task of short-term congestion prediction.


title: Theoretical study on stabilization and destabilization of magnetic skyrmions by uniaxial-strain-induced anisotropic Dzyaloshinskii--Moriya interactions

abstract: Magnetic skyrmions in chiral-lattice ferromagnets are currently attracting enormous research interest because of their potential applications in spintronic devices. However, they emerge in bulk specimens only in a narrow window of temperature and magnetic field. This limited stability regime is recognized as an obstacle to technical applications. Recent experiments demonstrated that the thermodynamic stability of magnetic skyrmions is enhanced or suppressed by the application of a uniaxial strain depending on its axial direction in bulk chiral-lattice ferromagnets MnSi [Y. Nii et al., Nat. Commun. 6, 8539 (2015), A. Chacon et al., Phys. Rev. Lett. 115, 267202 (2015)] and Cu2OSeO3 [S. Seki et al., Phys. Rev. B 96, 220404(R) (2017)]. Motivated by these experimental discoveries, we theoretically investigated the effects of anisotropic Dzyaloshinskii--Moriya interactions on the stability of magnetic skyrmions caused by this uniaxial strain. We find that magnetic skyrmions are significantly stabilized (destabilized) in the presence of anisotropic DM interactions when an external magnetic field lies perpendicular (parallel) to the anisotropy axis, along which the DM coupling is strengthened. Our results account completely for the experimentally observed strain-induced stabilization and destabilization of magnetic skyrmions and provide a firm ground for possible strain engineering of skyrmion-based electronic devices.


title: Hilbert-Kunz density function for graded domains

abstract: We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result where one proves the existence of such a function for a pair $(R, I)$, where, in addition $R$ is standard graded. As one of the consequences we show that if $G$ is a finite group scheme acting linearly on a polynomial ring $R$ of dimension $d$ then the HK density function $f_{R^G, {\bf m}_G}$, of the pair $(R^G, {\bf m}_G)$, is a piecewise polynomial function of degree $d-1$. We also compute the HK density functions for $(R^G, {\bf m}_G)$, where $G\subset SL_2(k)$ is a finite group acting linearly on the ring $k[X, Y]$.


title: Irreducibility of moduli of vector bundles over a very general sextic Surface

abstract: Let $S$ be a very general smooth hypersurface of degree $6$ in $\mathbb{P}^3$. In this paper we will prove that the moduli space of $\mu$-stable rank $2$ torsion free sheaves with respect to hyperplane section having $c_1 = \mathcal{O}_S(1)$, with fixed $c_2 \ge 27$ is irreducible.


title: NLPMM: a Next Location Predictor with Markov Modeling

abstract: In this paper, we solve the problem of predicting the next locations of the moving objects with a historical dataset of trajectories. We present a Next Location Predictor with Markov Modeling (NLPMM) which has the following advantages: (1) it considers both individual and collective movement patterns in making prediction, (2) it is effective even when the trajectory data is sparse, (3) it considers the time factor and builds models that are suited to different time periods. We have conducted extensive experiments in a real dataset, and the results demonstrate the superiority of NLPMM over existing methods.


title: Fractional Quantum Hall Effect at $\nu=2+4/9$

abstract: Motivated by two independent experiments revealing a resistance minimum at the Landau level (LL) filling factor $\nu=2+4/9$, characteristic of the fractional quantum Hall effect (FQHE) and suggesting electron condensation into a yet unknown quantum liquid, we propose that this state likely belongs in a parton sequence, put forth recently to understand the emergence of FQHE at $\nu=2+6/13$. While the $\nu=2+4/9$ state proposed here directly follows three simpler parton states, all known to occur in the second LL, it is topologically distinct from the Jain composite fermion (CF) state which occurs at the same $\nu=4/9$ filling of the lowest LL. We predict experimentally measurable properties of the $4/9$ parton state that can reveal its underlying topological structure and definitively distinguish it from the $4/9$ Jain CF state.


title: Detection of magnetic impurities using electron vortex beams

abstract: Electron microscopy stands out as electron waves providing higher spatial resolving power compared to their optical counterpart. Here we investigate theoretically the interaction of twisted electrons generated in transmission electron microscope (TEM) and magnetic impurity, in which the magnetic dipole moment is taken as a demonstration element. In addition to the usual optical phase, the inhomogeneous vector potential generated by the magnetic dipole moment makes additional contribution to the intrinsic orbital angular momentum of electrons, resulting in a Gouy phase shift. By interfering the outgoing twisted electron beam with a reference Gaussian-cylindrical wave, one can determine the magnitude and orientation of magnetic dipole directly via the rotational and deformed interference pattern. The obtained results demonstrate the usefulness of twisted electron beams for probing the atomic- and nanoscale magnetism of impurity by TEM and the proposed model provides the conceptual basis for future developments of the TEM method.


title: Discrete-Valued Latent Preference Matrix Estimation with Graph Side Information

abstract: Incorporating graph side information into recommender systems has been widely used to better predict ratings, but relatively few works have focused on theoretical guarantees. Ahn et al. (2018) firstly characterized the optimal sample complexity in the presence of graph side information, but the results are limited due to strict, unrealistic assumptions made on the unknown latent preference matrix and the structure of user clusters. In this work, we propose a new model in which 1) the unknown latent preference matrix can have any discrete values, and 2) users can be clustered into multiple clusters, thereby relaxing the assumptions made in prior work. Under this new model, we fully characterize the optimal sample complexity and develop a computationally-efficient algorithm that matches the optimal sample complexity. Our algorithm is robust to model errors and outperforms the existing algorithms in terms of prediction performance on both synthetic and real data.


title: Charged Higgs Contribution on B_c decays into (D_s,D_s^*)l^+ l^-

abstract: In this paper, we study rare semileptonic decays of B_c meson in the context of type-I, II, and III two Higgs doublet model. We follow the relativistic quark model for parameterizing the form factors used in matrix elements of weak transitions between the corresponding meson states. We investigate the observables such as branching ratio, lepton polarization asymmetry, forward-backward asymmetry, etc. and analyze the dependence of these quantities on the model parameters. We have found that there are noticeable sensitivity of these observables for charged Higgs boson, which may provide a powerful probe to the standard model and new physics beyond it.


title: Gated Texture CNN for Efficient and Configurable Image Denoising

abstract: Convolutional neural network (CNN)-based image denoising methods typically estimate the noise component contained in a noisy input image and restore a clean image by subtracting the estimated noise from the input. However, previous denoising methods tend to remove high-frequency information (e.g., textures) from the input. It caused by intermediate feature maps of CNN contains texture information. A straightforward approach to this problem is stacking numerous layers, which leads to a high computational cost. To achieve high performance and computational efficiency, we propose a gated texture CNN (GTCNN), which is designed to carefully exclude the texture information from each intermediate feature map of the CNN by incorporating gating mechanisms. Our GTCNN achieves state-of-the-art performance with 4.8 times fewer parameters than previous state-of-the-art methods. Furthermore, the GTCNN allows us to interactively control the texture strength in the output image without any additional modules, training, or computational costs.


title: Quantum steering as a witness of quantum scrambling

abstract: Quantum information scrambling describes the delocalization of local information to global information in the form of entanglement throughout all possible degrees of freedom. A natural measure of scrambling is the tripartite mutual information (TMI), which quantifies the amount of delocalized information for a given quantum channel with its state representation, i.e., the Choi state. In this work, we show that quantum information scrambling can also be witnessed by temporal quantum steering for qubit systems. We can do so because there is a fundamental equivalence between the Choi state and the pseudo-density matrix formalism used in temporal quantum correlations. In particular, we propose a quantity as a scrambling witness, based on a measure of temporal steering called temporal steerable weight. We justify the scrambling witness for unitary qubit channels by proving that the quantity vanishes whenever the channel is non-scrambling.


title: Loss-tolerant transmission of multiphoton-qubit information via hybrid entanglement

abstract: It was shown that using multiphoton qubits, a nearly deterministic Bell-state measurement can be performed with linear optics and on-off photodetectors [Phys. Rev. Lett. 114, 113603 (2015)]. However, multiphoton qubits are generally more fragile than single-photon qubits under a lossy environment. In this paper, we propose and analyze a scheme to teleport multiphoton-qubit information using hybrid entanglement with a loss-tolerant carrier qubit. We consider three candidates for the carrier qubit: a coherent-state qubit, a single-photon polarization qubit, and a vacuum-and-single-photon qubit. We find that teleportation with the vacuum-and-single-photon qubit tolerates about 10 times greater photon losses than with the multiphoton qubit of the photon number $N \geq 4$ in the high fidelity regime ($F\geq 90\%$). The coherent-state qubit encoding may be even better than the vacuum-and-single-photon qubit as the carrier when its amplitude is as small as $\alpha<0.78$. We further point out that the fidelity of the teleported state by our scheme is determined by loss in the carrier qubit while the success probability depends on loss only in the multiphoton qubit to be teleported. Our study implies that the hybrid architecture may complement the weaknesses of each qubit encoding.


title: Uplink-aided High Mobility Downlink Channel Estimation over Massive MIMO-OTFS System

abstract: Although it is often used in the orthogonal frequency division multiplexing (OFDM) systems, application of massive multiple-input multiple-output (MIMO) over the orthogonal time frequency space (OTFS) modulation could suffer from enormous training overhead in high mobility scenarios. In this paper, we propose one uplink-aided high mobility downlink channel estimation scheme for the massive MIMO-OTFS networks. Specifically, we firstly formulate the time domain massive MIMO-OTFS signal model along the uplink and adopt the expectation maximization based variational Bayesian (EM-VB) framework to recover the uplink channel parameters including the angle, the delay, the Doppler frequency, and the channel gain for each physical scattering path. Correspondingly, with the help of the fast Bayesian inference, one low complex approach is constructed to overcome the bottleneck of the EM-VB. Then, we fully exploit the angle, delay and Doppler reciprocity between the uplink and the downlink and reconstruct the angles, the delays, and the Doppler frequencies for the downlink massive channels at the base station. Furthermore, we examine the downlink massive MIMO channel estimation over the delay-Doppler-angle domain. The channel dispersion of the OTFS over the delay-Doppler domain is carefully analyzed. Various numerical examples are presented to confirm the validity and robustness of the proposed scheme.


title: Cyclic cohomology of entwining structures

abstract: In this paper, we introduce and study a cyclic cohomology theory $H^\bullet_\lambda(A,C,\psi)$ for an entwining structure $(A,C,\psi)$ over a field $k$. We then provide a complete description of the cocycles and the coboundaries in this theory using entwined traces applied to dg-entwining structures over $(A,C,\psi)$. We then apply these descriptions to construct a pairing $ H^m_\lambda(A,C,\psi) \otimes H^n_\lambda(A',C',\psi') \longrightarrow H^{m+n}_\lambda(A \otimes A', C \otimes C', \psi \otimes \psi') $, where $(A,C,\psi)$ and $(A',C',\psi')$ are entwining structures.


title: Kinetics of actin networks formation measured by time resolved particle-tracking microrheology

abstract: Actin is one of the most studied cytoskeleton proteins showing a very rich span of structures. It can self-assemble actively into dynamical structures that govern the mechanical properties of the cell, its motility and its division. However, only very few studies characterize the kinetics of the active actin self-assembly process beyond the formation of an entangled network. Here, we follow actin polymerization kinetics and organization into entangled networks using time resolved passive microrheology. We establish a relationship between the initial concentration of monomers, the active polymerization and network formation kinetics, and the viscoelastic properties from the onset of actin polymerization upto the formation of a steady state entangled network. Surprisingly, we find that at high enough initial monomer concentrations the elastic modulus of the forming actin networks overshoots and then relaxes with a -2/5 power law, that we attribute to rearrangements of the network into a steady state structure.


title: Weakly-Supervised Multi-Level Attentional Reconstruction Network for Grounding Textual Queries in Videos

abstract: The task of temporally grounding textual queries in videos is to localize one video segment that semantically corresponds to the given query. Most of the existing approaches rely on segment-sentence pairs (temporal annotations) for training, which are usually unavailable in real-world scenarios. In this work we present an effective weakly-supervised model, named as Multi-Level Attentional Reconstruction Network (MARN), which only relies on video-sentence pairs during the training stage. The proposed method leverages the idea of attentional reconstruction and directly scores the candidate segments with the learnt proposal-level attentions. Moreover, another branch learning clip-level attention is exploited to refine the proposals at both the training and testing stage. We develop a novel proposal sampling mechanism to leverage intra-proposal information for learning better proposal representation and adopt 2D convolution to exploit inter-proposal clues for learning reliable attention map. Experiments on Charades-STA and ActivityNet-Captions datasets demonstrate the superiority of our MARN over the existing weakly-supervised methods.


title: Evolution of diversity and dominance of companies in online activity

abstract: Ever since the web began, the number of websites has been growing exponentially. These websites cover an ever-increasing range of online services that fill a variety of social and economic functions across a growing range of industries. Yet the networked nature of the web, combined with the economics of preferential attachment, increasing returns and global trade, suggest that over the long run a small number of competitive giants are likely to dominate each functional market segment, such as search, retail and social media. Here we perform a large scale longitudinal study to quantify the distribution of attention given in the online environment to competing organisations. In two large online social media datasets, containing more than 10 billion posts and spanning more than a decade, we tally the volume of external links posted towards the organisations' main domain name as a proxy for the online attention they receive. We also use the Common Crawl dataset -- which contains the linkage patterns between more than a billion different websites -- to study the patterns of link concentration over the past three years across the entire web. Lastly, we showcase the linking between economic, financial and market data by exploring the relationships between online attention on social media and the growth in enterprise value in the electric carmaker Tesla. Our analysis shows that despite the fact that we observe consistent growth in all the macro indicators -- the total amount of online attention, in the number of organisations with an online presence, and in the functions they perform -- we also observe that a smaller number of organisations account for an ever-increasing proportion of total user attention, usually with one large player dominating each function. These results highlight how evolution of the online economy involves innovation, diversity, and then competitive dominance.


title: Determination of Photonuclear Reaction Cross-Sections on stable p-shell Nuclei by Using Deep Neural Networks

abstract: The photonuclear reactions which is induced by high-energetic photon are one of the important type of reactions in the nuclear structure studies. In this reaction, a target material is bombarded by photons with the energies in the range of gamma-ray energy scale and the photons can statistically be absorbed by a nucleus in the target material. In order to get rid of the excess energies of the excited target nuclei, it can first emit protons, neutrons, alphas and light particles according to the separation energy thresholds. After this emitting process, generally an unstable nucleus can be formed. By the investigation of this products forming after photonuclear reactions, nuclear structure information can be obtained. In the present work, ({\gamma}, n) photonuclear reaction cross-sections on stable p-shell nuclei have been estimated by using neural network method. The main purpose of this study is to find neural network structures that give the best estimations on the cross-sections and to compare them with each other and available literature data. According to the results, the method is convenient for this task.


title: Deep Neural Review Text Interaction for Recommendation Systems

abstract: Users' reviews contain valuable information which are not taken into account in most recommender systems. According to the latest studies in this field, using review texts could not only improve the performance of recommendation, but it can also alleviate the impact of data sparsity and help to tackle the cold start problem. In this paper, we present a neural recommender model which recommends items by leveraging user reviews. In order to predict user rating for each item, our proposed model, named MatchPyramid Recommender System (MPRS), represents each user and item with their corresponding review texts. Thus, the problem of recommendation is viewed as a text matching problem such that the matching score obtained from matching user and item texts could be considered as a good representative of their joint extent of similarity. To solve the text matching problem, inspired by MatchPyramid (Pang, 2016), we employed an interaction-based approach according to which a matching matrix is constructed given a pair of input texts. The matching matrix, which has the property of hierarchical matching patterns, is then fed into a Convolutional Neural Network (CNN) to compute the matching score for the given user-item pair. Our experiments on the small data categories of Amazon review dataset show that our proposed model gains from 1.76% to 21.72% relative improvement compared to DeepCoNN model, and from 0.83% to 3.15% relative improvement compared to TransNets model. Also, on two large categories, namely AZ-CSJ and AZ-Mov, our model achieves relative improvements of 8.08% and 7.56% compared to the DeepCoNN model, and relative improvements of 1.74% and 0.86% compared to the TransNets model, respectively.


title: Topological superconductivity in EuS/Au/superconductor heterostructures

abstract: In a recent work, signatures of a pair of Majorana bound states (MBS) were found in a new experimental platform formed by EuS islands deposited on top of a gold surface which was made superconducting through proximity coupling to a superconductor. In this work, we provide a theoretical understanding for how MBS can be formed in EuS/Au/superconductor heterostructures. We focus on the strip geometry where a narrow ferromagnetic strip is deposited on a planar structure. We first explicitly map out the topological phase diagram of the EuS/Au/superconductor heterostructure using the lattice Green's function method. Importantly, we find that the chemical potential step between the region with and without EuS covering is a crucial ingredient for the creation of MBS of this set-up. Next, we focus on the Bogoliugov quasi-particles that are bound to the region under the EuS by Andreev reflections from the surrounding superconductors. Moreover, we obtain the topological regimes analytically using the scattering matrix method. Notably, we confirm that the normal reflections induced by the chemical potential step are essential for creating finite topological regimes. Furthermore, the area of the topological regimes shows periodic oscillation as a function of chemical potential as well as the sample width.


abstract: Generation of highly-polarized high-energy brilliant $\gamma$-rays via laser-plasma interaction has been investigated in the quantum radiation-reaction regime. We employ a quantum-electrodynamics particle-in-cell code to describe spin-resolved electron dynamics semiclassically and photon emission and polarization quantum mechanically in the local constant field approximation. As an ultrastrong linearly-polarized (LP) laser pulse irradiates on a near-critical-density (NCD) plasma followed by an ultrathin planar aluminum target, the electrons in NCD plasma are first accelerated by the driving laser to ultrarelativistic energies, and then head-on collide with reflected laser pulse by the aluminum target, emitting brilliant LP $\gamma$-rays due to nonlinear Compton scattering with an average polarization of about 70\% and energy up to hundreds of MeV. By comparison, as a conical gold target filled with NCD plasma is employed, the linear polarization degree, collimation and brilliance of emitted $\gamma$-ray beam are all significantly improved due to the enhanced strong laser-driven quasi-static magnetic field in plasmas. Such $\gamma$-rays can be produced with currently achievable laser facilities and find various applications in high-energy physics and astrophysics.


title: Multimodal Trajectory Optimization for Motion Planning

abstract: Existing motion planning methods often have two drawbacks: 1) goal configurations need to be specified by a user, and 2) only a single solution is generated under a given condition. In practice, multiple possible goal configurations exist to achieve a task. Although the choice of the goal configuration significantly affects the quality of the resulting trajectory, it is not trivial for a user to specify the optimal goal configuration. In addition, the objective function used in the trajectory optimization is often non-convex, and it can have multiple solutions that achieve comparable costs. In this study, we propose a framework that determines multiple trajectories that correspond to the different modes of the cost function. We reduce the problem of identifying the modes of the cost function to that of estimating the density induced by a distribution based on the cost function. The proposed framework enables users to select a preferable solution from multiple candidate trajectories, thereby making it easier to tune the cost function and obtain a satisfactory solution. We evaluated our proposed method with motion planning tasks in 2D and 3D space. Our experiments show that the proposed algorithm is capable of determining multiple solutions for those tasks.


title: Exponential mixing for the fractional Magneto-Hydrodynamic equations with degenerate stochastic forcing

abstract: We establish the existence, uniqueness and exponential attraction properties of an invariant measure for the MHD equations with degenerate stochastic forcing acting only in the magnetic equation. The central challenge is to establish time asymptotic smoothing properties of the associated Markovian semigroup corresponding to this system. Towards this aim we take full advantage of the characteristics of the advective structure to discover a novel H\"ormander-type condition which only allows for several noises in the magnetic direction.


title: Probing the singlet-triplet splitting in double quantum dots: Implications of the ac field amplitude

abstract: We consider a double quantum dot whose energy detuning is controlled by an ac electric field. We demonstrate an energy configuration for which the ac-induced current flowing through the double dot directly probes the spin-orbit anticrossing point for small ac field amplitudes. On the contrary, as the ac amplitude increases a current antiresonance is formed, and the direct information about the spin-orbit interaction is lost. This result indicates that a large ac amplitude is not necessarily advantageous for the spectroscopy of spin-orbit coupled two-spin states. Moreover, we investigate the ac-induced current peaks versus the ac amplitude and show a current suppression when the ac field forms spin blocked states. This effect gives rise to a characteristic pattern for the current which can be controlled at will by tuning the ac amplitude. Our results can be explored by performing electronic transport measurements in the spin blockade regime.


title: Efficient Generation of Low Autocorrelation Binary Sequences

abstract: Simple and efficient algorithm based on heuristic search by shotgun hill climbing to construct binary sequences with small peak sidelobe levels (PSL) is suggested. The algorithm is applied for generation of binary sequences of lengths between 106 and 300. Improvements are obtained in almost half of the considered lengths while for the rest of the lengths, binary sequences with the same PSL values as reported in the state-of-the-art publications are found.


title: Market states: A new understanding

abstract: We present the clustering analysis of the financial markets of S&P 500 (USA) and Nikkei 225 (JPN) markets over a period of 2006-2019 as an example of a complex system. We investigate the statistical properties of correlation matrices constructed from the sliding epochs. The correlation matrices can be classified into different clusters, named as market states based on the similarity of correlation structures. We cluster the S&P 500 market into four and Nikkei 225 into six market states by optimizing the value of intracluster distances. The market shows transitions between these market states and the statistical properties of the transitions to critical market states can indicate likely precursors to the catastrophic events. We also analyze the same clustering technique on surrogate data constructed from average correlations of market states and the fluctuations arise due to the white noise of short time series. We use the correlated Wishart orthogonal ensemble for the construction of surrogate data whose average correlation equals the average of the real data.


title: Some criteria for circle packing types and combinatorial Gauss-Bonnet Theorem

abstract: We investigate criteria for circle packing(CP) types of disk triangulation graphs embedded into simply connected domains in $ \mathbb{C}$. In particular, by studying combinatorial curvature and the combinatorial Gauss-Bonnet theorem involving boundary turns, we show that a disk triangulation graph is CP parabolic if \[ \sum_{n=1}^\infty \frac{1}{\sum_{j=0}^{n-1} (k_j +6)} = \infty, \] where $k_n$ is the degree excess sequence defined by \[ k_n = \sum_{v \in B_n} (\mbox{deg}\, v - 6) \] for combinatorial balls $B_n$ of radius $n$ and centered at a fixed vertex. It is also shown that the simple random walk on a disk triangulation graph is recurrent if \[ \sum_{n=1}^\infty \frac{1}{\sum_{j=0}^{n-1} (k_j +6)+\sum_{j=0}^{n} (k_j +6)} = \infty. \] These criteria are sharp, and generalize a conjecture by He and Schramm in their paper from 1995, which was later proved by Repp in 2001. We also give several criteria for CP hyperbolicity, one of which generalizes a theorem of He and Schramm, and present a necessary and sufficient condition for CP types of layered circle packings generalizing and confirming a criterion given by Siders in 1998.


title: Finding Fair and Efficient Allocations When Valuations Don't Add Up

abstract: In this paper, we present new results on the fair and efficient allocation of indivisible goods to agents whose preferences correspond to {\em matroid rank functions}. This is a versatile valuation class with several desirable properties (such as monotonicity and submodularity), which naturally lends itself to a number of real-world domains. We use these properties to our advantage; first, we show that when agent valuations are matroid rank functions, a socially optimal (i.e. utilitarian social welfare-maximizing) allocation that achieves envy-freeness up to one item (EF1) exists and is computationally tractable. We also prove that the Nash welfare-maximizing and the leximin allocations both exhibit this fairness/efficiency combination, by showing that they can be achieved by minimizing any symmetric strictly convex function over utilitarian optimal outcomes. To the best of our knowledge, this is the first valuation function class not subsumed by additive valuations for which it has been established that an allocation maximizing Nash welfare is EF1. Moreover, for a subclass of these valuation functions based on maximum (unweighted) bipartite matching, we show that a leximin allocation can be computed in polynomial time. Additionally, we explore possible extensions of our results to fairness criteria other than EF1 as well as to generalizations of the above valuation classes.


title: The $\epsilon$-$t$-Net Problem

abstract: We study a natural generalization of the classical $\epsilon$-net problem (Haussler--Welzl 1987), which we call the "$\epsilon$-$t$-net problem": Given a hypergraph on $n$ vertices and parameters $t$ and $\epsilon\geq \frac t n$, find a minimum-sized family $S$ of $t$-element subsets of vertices such that each hyperedge of size at least $\epsilon n$ contains a set in $S$. When $t=1$, this corresponds to the $\epsilon$-net problem. We prove that any sufficiently large hypergraph with VC-dimension $d$ admits an $\epsilon$-$t$-net of size $O(\frac{ (1+\log t)d}{\epsilon} \log \frac{1}{\epsilon})$. For some families of geometrically-defined hypergraphs (such as the dual hypergraph of regions with linear union complexity), we prove the existence of $O(\frac{1}{\epsilon})$-sized $\epsilon$-$t$-nets. We also present an explicit construction of $\epsilon$-$t$-nets (including $\epsilon$-nets) for hypergraphs with bounded VC-dimension. In comparison to previous constructions for the special case of $\epsilon$-nets (i.e., for $t=1$), it does not rely on advanced derandomization techniques. To this end we introduce a variant of the notion of VC-dimension which is of independent interest.


title: Variable speed hydropower plant with virtual inertia control for provision of fast frequency reserves

abstract: In this paper, five virtual inertia control structures are implemented and tested on a variable speed hydropower (VSHP) plant. The results show that all five can deliver fast power reserves to maintain grid stability after disturbances after a disturbance. The VSHP is well suited for the purposed since its output power can be changed almost instantaneously by utilizing the rotational energy of the turbine and generator. This will cause the turbine rotational speed to deviate from its optimal value temporarily. Then the governor control will regain the turbine rotational speed by controlling the guide vane opening and thereby the turbine flow and mechanical power. With that, the VSHP output power can be changed permanently to contribute with primarily frequency reserves. Dynamic and eigenvalue analyses are performed to compare five different versions of the basic VSG and VSM control structures; VSG, power-frequency PID-controller with permanent droop (VSG-PID), VSM, VSM with power-frequency PD-controller (VSM-PD), and VSM with power-frequency PID-controller and permanent droop (VSM-PID). They are evaluated by two main criteria; their ability to deliver instantaneous power (inertia) to reduce the rate of change of frequency (ROCOF) and their contribution to frequency containment control (steady-state frequency droop response)


title: Covid-19 spread: Reproduction of data and prediction using a SIR model on Euclidean network

abstract: We study the datafor the cumulative as well as daily number of cases in the Covid-19 outbreak in China. The cumulative data can be fit to an empirical form obtained from a Susceptible-Infected-Removed (SIR) model studied on an Euclidean network previously. Plotting the number of cases against the distance from the epicenter for both China and Italy, we find an approximate power law variation with an exponent $\sim 1.85$ showing strongly that the spatial dependence plays a key role, a factor included in the model. We report here that the SIR model on the Eucledean network can reproduce with a high accuracy the data for China for given parameter values, and can also predict when the epidemic, at least locally, can be expected to be over.


title: On Translation Invariance in CNNs: Convolutional Layers can Exploit Absolute Spatial Location

abstract: In this paper we challenge the common assumption that convolutional layers in modern CNNs are translation invariant. We show that CNNs can and will exploit the absolute spatial location by learning filters that respond exclusively to particular absolute locations by exploiting image boundary effects. Because modern CNNs filters have a huge receptive field, these boundary effects operate even far from the image boundary, allowing the network to exploit absolute spatial location all over the image. We give a simple solution to remove spatial location encoding which improves translation invariance and thus gives a stronger visual inductive bias which particularly benefits small data sets. We broadly demonstrate these benefits on several architectures and various applications such as image classification, patch matching, and two video classification datasets.


title: Fast implementation of synchrosqueezing transform based on downsampling for large-scale vibration signal analysis

abstract: Synchrosqueezing transform (SST) is a useful tool for vibration signal analysis due to its high time-frequency (TF) concentration and reconstruction properties. However, existing SST requires much processing time for large-scale data. In this paper, some fast implementation methods of SST based on downsampled short-time Fourier transform (STFT) are proposed. By controlling the downsampling factor both in time and frequency, combined with the proposed selective reassignment and frequency subdivision scheme, one can keep a balance between efficiency and accuracy according to practical needs. Moreover, the reconstruction property is available, accomplished by an approximate but direct inverse formula under downsampling. The effects of parameters on the concentration, computing efficiency, and reconstruction accuracy are also investigated quantitatively, followed by a mathematic model of reassignment behavior with decimate factors. Experimental results on an aero-engine and a spindle show that the fast implementation of SST can effectively characterize the non-stationary characteristics of the large-scale vibration signal to reveal the mechanism of mechanical systems.


title: On cardinal characteristics associated with the strong measure zero ideal

abstract: Let $\mathcal{SN}$ be the strong measure zero $\sigma$-ideal. We prove a result providing bounds for $\mathrm{cof}(\mathcal{SN})$ which implies Yorioka's characterization of the cofinality of the strong measure zero. In addition, we use forcing matrix iterations to construct a model of ZFC that satisfies $\mathrm{add}(\mathcal{SN})=\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$.


title: Disk structure around the Class I protostar L1489 IRS revealed by ALMA: a warped disk system

abstract: We have observed the Class I protostar L1489 IRS with the Atacama Millimeter/submillimeter Array (ALMA) in Band 6. The C$^{18}$O $J=$2-1 line emission shows flattened and non-axisymmetric structures in the same direction as its velocity gradient due to rotation. We discovered that the C$^{18}$O emission shows dips at a radius of ~200-300 au while the 1.3 mm continuum emission extends smoothly up to r~400 au. At the radius of the C$^{18}$O dips, the rotational axis of the outer portion appears to be tilted by ~15 degrees from that of the inner component. Both the inner and outer components with respect to the C$^{18}$O dips exhibit the $r^{-0.5}$ Keplerian rotation profiles until r~600 au. These results not only indicate that a Keplerian disk extends up to ~600 au but also that the disk is warped. We constructed a three dimensional warped disk model rotating at the Keplerian velocity, and demonstrated that the warped disk model reproduces main observed features in the velocity channel maps and the PV diagrams. Such a warped disk system can form by mass accretion from a misaligned envelope. We also discuss a possible disk evolution scenario based on comparisons of disk radii and masses between Class I and Class II sources.


title: Regularized Lovelock gravity

abstract: A four-dimensional regularization of Lovelock-Lanczos gravity up to an arbitrary curvature order is considered. We show that Lovelock-Lanczos terms can provide a non-trivial contribution to the Einstein field equations in four dimensions, for spherically symmetric and Friedmann-Lema\^{i}tre-Robertson-Walker spacetimes, as well as at first order in perturbation theory around (anti) de Sitter vacua. We will discuss the cosmological and black hole solutions arising from these theories, focusing on the presence of attractors and their stability. Although curvature singularities persist for any finite number of Lovelock terms, it is shown that they disappear in the non-perturbative limit of a theory with a unique vacuum.


title: Self-Supervised Discovering of Interpretable Features for Reinforcement Learning

abstract: Deep reinforcement learning (RL) has recently led to many breakthroughs on a range of complex control tasks. However, the agent's decision-making process is generally not transparent. The lack of interpretability hinders the applicability of RL in safety-critical scenarios. While several methods have attempted to interpret vision-based RL, most come without detailed explanation for the agent's behavior. In this paper, we propose a self-supervised interpretable framework, which can discover interpretable features to enable easy understanding of RL agents even for non-experts. Specifically, a self-supervised interpretable network (SSINet) is employed to produce fine-grained attention masks for highlighting task-relevant information, which constitutes most evidence for the agent's decisions. We verify and evaluate our method on several Atari 2600 games as well as Duckietown, which is a challenging self-driving car simulator environment. The results show that our method renders empirical evidences about how the agent makes decisions and why the agent performs well or badly, especially when transferred to novel scenes. Overall, our method provides valuable insight into the internal decision-making process of vision-based RL. In addition, our method does not use any external labelled data, and thus demonstrates the possibility to learn high-quality mask through a self-supervised manner, which may shed light on new paradigms for label-free vision learning such as self-supervised segmentation and detection.


title: Merge-split Markov chain Monte Carlo for community detection

abstract: We present a Markov chain Monte Carlo scheme based on merges and splits of groups that is capable of efficiently sampling from the posterior distribution of network partitions, defined according to the stochastic block model (SBM). We demonstrate how schemes based on the move of single nodes between groups systematically fail at correctly sampling from the posterior distribution even on small networks, and how our merge-split approach behaves significantly better, and improves the mixing time of the Markov chain by several orders of magnitude in typical cases. We also show how the scheme can be straightforwardly extended to nested versions of the SBM, yielding asymptotically exact samples of hierarchical network partitions.

categories: physics.soc-ph cs.LG cs.SI physics.data-an stat.ML


title: Adapting Object Detectors with Conditional Domain Normalization

abstract: Real-world object detectors are often challenged by the domain gaps between different datasets. In this work, we present the Conditional Domain Normalization (CDN) to bridge the domain gap. CDN is designed to encode different domain inputs into a shared latent space, where the features from different domains carry the same domain attribute. To achieve this, we first disentangle the domain-specific attribute out of the semantic features from one domain via a domain embedding module, which learns a domain-vector to characterize the corresponding domain attribute information. Then this domain-vector is used to encode the features from another domain through a conditional normalization, resulting in different domains' features carrying the same domain attribute. We incorporate CDN into various convolution stages of an object detector to adaptively address the domain shifts of different level's representation. In contrast to existing adaptation works that conduct domain confusion learning on semantic features to remove domain-specific factors, CDN aligns different domain distributions by modulating the semantic features of one domain conditioned on the learned domain-vector of another domain. Extensive experiments show that CDN outperforms existing methods remarkably on both real-to-real and synthetic-to-real adaptation benchmarks, including 2D image detection and 3D point cloud detection.


title: LT-Net: Label Transfer by Learning Reversible Voxel-wise Correspondence for One-shot Medical Image Segmentation

abstract: We introduce a one-shot segmentation method to alleviate the burden of manual annotation for medical images. The main idea is to treat one-shot segmentation as a classical atlas-based segmentation problem, where voxel-wise correspondence from the atlas to the unlabelled data is learned. Subsequently, segmentation label of the atlas can be transferred to the unlabelled data with the learned correspondence. However, since ground truth correspondence between images is usually unavailable, the learning system must be well-supervised to avoid mode collapse and convergence failure. To overcome this difficulty, we resort to the forward-backward consistency, which is widely used in correspondence problems, and additionally learn the backward correspondences from the warped atlases back to the original atlas. This cycle-correspondence learning design enables a variety of extra, cycle-consistency-based supervision signals to make the training process stable, while also boost the performance. We demonstrate the superiority of our method over both deep learning-based one-shot segmentation methods and a classical multi-atlas segmentation method via thorough experiments.


title: Lower bounds for conditional gradient type methods for minimizing smooth strongly convex functions

abstract: In this paper, we consider conditional gradient methods. These are methods that use a linear minimization oracle, which, for a given vector $p \in \mathbb{R}^n$, computes the solution of the subproblem $$\arg \min_{x\in X}{\langle p,x \rangle}.$$ There are a variety of conditional gradient methods that have a linear convergence rate in a strongly convex case. However, in all these methods, the dimension of the problem is included in the rate of convergence, which in modern applications can be very large. In this paper, we prove that in the strongly convex case, the convergence rate of the conditional gradient methods in the best case depends on the dimension of the problem $ n $ as $ \widetilde {\Omega} (\sqrt {n}) $. Thus, the conditional gradient methods may turn out to be ineffective for solving strongly convex optimization problems of large dimensions. Also, the application of conditional gradient methods to minimization problems of a quadratic form is considered. The effectiveness of the Frank-Wolfe method for solving the quadratic optimization problem in the convex case on a simplex (PageRank) has already been proved. This work shows that the use of conditional gradient methods to solve the minimization problem of a quadratic form in a strongly convex case is ineffective due to the presence of dimension in the convergence rate of these methods. Therefore, the Shrinking Conditional Gradient method is considered. Its difference from the conditional gradient methods is that it uses a modified linear minimization oracle. The convergence rate of such an algorithm does not depend on dimension. Using the Shrinking Conditional Gradient method the complexity of solving the minimization problem of quadratic form on a $ \infty $-ball is obtained. The resulting evaluation of the method is comparable to the complexity of the gradient method.


title: A Machine Learning Application for Raising WASH Awareness in the Times of COVID-19 Pandemic

abstract: Background: The COVID-19 pandemic has uncovered the potential of digital misinformation in shaping the health of nations. The deluge of unverified information that spreads faster than the epidemic itself is an unprecedented phenomenon that has put millions of lives in danger. Mitigating this Infodemic requires strong health messaging systems that are engaging, vernacular, scalable, effective and continuously learn the new patterns of misinformation. Objective: We created WashKaro, a multi-pronged intervention for mitigating misinformation through conversational AI, machine translation and natural language processing. WashKaro provides the right information matched against WHO guidelines through AI, and delivers it in the right format in local languages. Methods: We theorize (i) an NLP based AI engine that could continuously incorporate user feedback to improve relevance of information, (ii) bite sized audio in the local language to improve penetrance in a country with skewed gender literacy ratios, and (iii) conversational but interactive AI engagement with users towards an increased health awareness in the community. Results: A total of 5026 people who downloaded the app during the study window, among those 1545 were active users. Our study shows that 3.4 times more females engaged with the App in Hindi as compared to males, the relevance of AI-filtered news content doubled within 45 days of continuous machine learning, and the prudence of integrated AI chatbot Satya increased thus proving the usefulness of an mHealth platform to mitigate health misinformation. Conclusion: We conclude that a multi-pronged machine learning application delivering vernacular bite-sized audios and conversational AI is an effective approach to mitigate health misinformation.


title: Eigenvalue estimates for Kato-type Ricci curvature conditions

abstract: We prove that optimal lower eigenvalue estimates of Zhong-Yang type as well as a Cheng-type upper bound for the first eigenvalue hold on closed manifolds assuming only a Kato condition on the negative part of the Ricci curvature. This generalizes all earlier results on $L^p$-curvature assumptions. Moreover, we introduce the Kato condition on compact manifolds with boundary with respect to the Neumann Laplacian, leading to Harnack estimates for the Neumann heat kernel and lower bounds for all Neumann eigenvalues, what provides a first insight in handling variable Ricci curvature assumptions in this case.


title: Experimental Study of Acceptor Removal in UFSD

abstract: The performance of the Ultra-Fast Silicon Detectors (UFSD) after irradiation with neutrons and protons is compromised by the removal of acceptors in the thin layer below the junction responsible for the gain. This effect is tested both with C-V measurements of the doping concentration and with measurements of charge collection using charged particles. We find a perfect linear correlation between the bias voltage to deplete the gain layer determined with C-V and the bias voltage to collect a defined charge, measured with charge collection. An example for the usefulness of this correlation is presented.


title: Interpretable MTL from Heterogeneous Domains using Boosted Tree

abstract: Multi-task learning (MTL) aims at improving the generalization performance of several related tasks by leveraging useful information contained in them. However, in industrial scenarios, interpretability is always demanded, and the data of different tasks may be in heterogeneous domains, making the existing methods unsuitable or unsatisfactory. In this paper, following the philosophy of boosted tree, we proposed a two-stage method. In stage one, a common model is built to learn the commonalities using the common features of all instances. Different from the training of conventional boosted tree model, we proposed a regularization strategy and an early-stopping mechanism to optimize the multi-task learning process. In stage two, started by fitting the residual error of the common model, a specific model is constructed with the task-specific instances to further boost the performance. Experiments on both benchmark and real-world datasets validate the effectiveness of the proposed method. What's more, interpretability can be naturally obtained from the tree based method, satisfying the industrial needs.


title: RF-coil with variable resonant frequency for multiheteronuclear ultra-high field MRI

abstract: Here we propose double-coil setup to allow high signal-to-noise ratio broad-range heteronuclear magnetic resonance imaging experiments: two independent coils, one of them tuned to $^{1}$H frequency to perform anatomical $^{1}$H imaging, and another one, metamaterial-inspired coil, tuned to the X-nucleus frequency. In this work our goal was to design a broad-range X-nuclei coil to cover $^{2}$H, $^{11}$B, $^{13}$C, $^{23}$Na, $^{7}$Li and $^{31}$P nuclear magnetic resonance frequencies, and to combine it with $^{1}$H coil in one setup. The system was designed for 11.7 T scanner, i.e., with 76-203 MHz frequency tuning range for the X-nuclei and tuned to 500 MHz for the proton coil. X-nuclei coil operates via excitation of the fundamental eigenmode of an array of parallel non-magnetic wires. The excitation of the array is provided via non-resonant feeding loop inductively coupled to the resonator. In order to tune the X-coil over such a wide range, both structural capacitance and inductance of the coil were made variable; narrow range tuning of the $^{1}$H coil is achieved via conventional tuning-matching circuit. Here, the design principle and setup tunability were investigated in simulations and experimentally.


title: Spin orbit field in a physically defined p type MOS silicon double quantum dot

abstract: We experimentally and theoretically investigate the spin orbit (SO) field in a physically defined, p type metal oxide semiconductor double quantum dot in silicon. We measure the magnetic field dependence of the leakage current through the double dot in the Pauli spin blockade. A finite magnetic field lifts the blockade, with the lifting least effective when the external and SO fields are parallel. In this way, we find that the spin flip of a tunneling hole is due to a SO field pointing perpendicular to the double dot axis and almost fully out of the quantum well plane. We augment the measurements by a derivation of SO terms using group symmetric representations theory. It predicts that without in plane electric fields (a quantum well case), the SO field would be mostly within the plane, dominated by a sum of a Rashba and a Dresselhaus like term. We, therefore, interpret the observed SO field as originated in the electric fields with substantial in plane components.


title: PS-RCNN: Detecting Secondary Human Instances in a Crowd via Primary Object Suppression

abstract: Detecting human bodies in highly crowded scenes is a challenging problem. Two main reasons result in such a problem: 1). weak visual cues of heavily occluded instances can hardly provide sufficient information for accurate detection; 2). heavily occluded instances are easier to be suppressed by Non-Maximum-Suppression (NMS). To address these two issues, we introduce a variant of two-stage detectors called PS-RCNN. PS-RCNN first detects slightly/none occluded objects by an R-CNN module (referred as P-RCNN), and then suppress the detected instances by human-shaped masks so that the features of heavily occluded instances can stand out. After that, PS-RCNN utilizes another R-CNN module specialized in heavily occluded human detection (referred as S-RCNN) to detect the rest missed objects by P-RCNN. Final results are the ensemble of the outputs from these two R-CNNs. Moreover, we introduce a High Resolution RoI Align (HRRA) module to retain as much of fine-grained features of visible parts of the heavily occluded humans as possible. Our PS-RCNN significantly improves recall and AP by 4.49% and 2.92% respectively on CrowdHuman, compared to the baseline. Similar improvements on Widerperson are also achieved by the PS-RCNN.


title: Field-induced phase transitions of the Kitaev material $\alpha$-RuCl$_3$ probed by thermal expansion and magnetostriction

abstract: High-resolution thermal expansion and magnetostriction measurements were performed on single crystals of $\alpha$-RuCl$_3$ in magnetic fields applied parallel to the Ru-Ru bonds. The length changes were measured in the direction perpendicular to the honeycomb planes. Our data show clear thermodynamic characteristics for the field-induced phase transition at the critical field $\mu_0H_{c1} = 7.8(2)$ T where the antiferromagnetic zigzag order is suppressed. At higher fields, a kink in the magnetostriction coefficient signals an additional phase transition around $\mu_0H_{c2} \approx 11$ T. The extracted Gr\"uneisen parameter shows typical hallmarks for quantum criticality near $H_{c1}$, but also displays anomalous behavior above $H_{c1}$. We compare our experimental data with linear spin-wave calculations employing a minimal Kitaev-Heisenberg model in the semiclassical limit. Most of the salient features are in agreement with each other, however, the peculiar features in the high-field region above $H_{c1}$ cannot be accounted for in our modelling and hence suggest a genuine quantum nature. We construct a phase diagram for $\alpha$-RuCl$_3$ showing two low-temperature transitions induced by an in-plane field along the Ru-Ru bonds.


title: Stanza: A Python Natural Language Processing Toolkit for Many Human Languages

abstract: We introduce Stanza, an open-source Python natural language processing toolkit supporting 66 human languages. Compared to existing widely used toolkits, Stanza features a language-agnostic fully neural pipeline for text analysis, including tokenization, multi-word token expansion, lemmatization, part-of-speech and morphological feature tagging, dependency parsing, and named entity recognition. We have trained Stanza on a total of 112 datasets, including the Universal Dependencies treebanks and other multilingual corpora, and show that the same neural architecture generalizes well and achieves competitive performance on all languages tested. Additionally, Stanza includes a native Python interface to the widely used Java Stanford CoreNLP software, which further extends its functionality to cover other tasks such as coreference resolution and relation extraction. Source code, documentation, and pretrained models for 66 languages are available at https://stanfordnlp.github.io/stanza.


title: Brill--Noether loci on moduli spaces of symplectic bundles over curves

abstract: The symplectic Brill--Noether locus ${\mathcal S}_{2n, K}^k$ associated to a curve $C$ parametrises stable rank $2n$ bundles over $C$ with at least $k$ sections and which carry a nondegenerate skewsymmetric bilinear form with values in the canonical bundle. This is a symmetric determinantal variety whose tangent spaces are defined by a symmetrised Petri map. We obtain upper bounds on the dimensions of various components of ${\mathcal S}_{2n, K}^k$. We show the nonemptiness of several ${\mathcal S}_{2n, K}^k$, and in most of these cases also the existence of a component which is generically smooth and of the expected dimension. As an application, for certain values of $n$ and $k$ we exhibit components of excess dimension of the standard Brill--Noether locus $B^k_{2n, 2n(g-1)}$ over any curve of genus $g \ge 122$. We obtain similar results for moduli spaces of coherent systems.


title: A mean value formula for the variational $p$-Laplacian

abstract: We prove a new asymptotic mean value formula for the $p$-Laplace operator, $$ \Delta_p u=\text{div}(|\nabla u|^{p-2}\nabla u), $$ valid in the viscosity sense. In the plane, and for a certain range of $p$, the mean value formula holds in the pointwise sense. We also study the existence, uniqueness and convergence of the related dynamic programming principle.


title: Strong Quantum Nonlocality without Entanglement in Multipartite Quantum Systems

abstract: In this paper, we generalize the concept of strong quantum nonlocality from two aspects. Firstly in $\mathbb{C}^d\otimes\mathbb{C}^d\otimes\mathbb{C}^d$ quantum system, we present a construction of strongly nonlocal quantum states containing $6(d-1)^2$ orthogonal product states, which is one order of magnitude less than the number of basis states $d^3$. Secondly, we give the explicit form of strongly nonlocal orthogonal product basis in $\mathbb{C}^3\otimes \mathbb{C}^3\otimes \mathbb{C}^3\otimes \mathbb{C}^3$ quantum system, where four is the largest known number of subsystems in which there exists strong quantum nonlocality up to now. Both the two results positively answer the open problems in [Halder, \textit{et al.}, PRL, 122, 040403 (2019)], that is, there do exist and even smaller number of quantum states can demonstrate strong quantum nonlocality without entanglement.


title: Limitations for private randomness repeaters

abstract: Cryptographic protocols are often based on the two main resources: private randomness and private key. In this paper, we develop a relationship between these two resources. First, we show that any state containing perfect, directly accessible, private key (a private state) is a particular case of the state containing perfect, directly accessible, private randomness (an independent state). We then demonstrate a fundamental limitation on the possibility of transferring the privacy of random bits in quantum networks with an intermediate repeater station. More precisely, we provide an upper bound on the rate of repeated randomness in this scenario, similar to the one derived for private key repeaters. This bound holds for states with positive partial transposition. We further demonstrate the power of this upper bound by showing a gap between the localisable and the repeated private randomness for separable Werner states. In the case of restricted class of operations, we provide also a bound on repeated randomness which holds for arbitrary states.


title: Conditional action and quantum versions of Maxwell's demon

abstract: We propose a new way of looking at the quantum Maxwell's demon problem in terms of conditional action. A "conditional action" on a system is a unitary time evolution, selected according to the result of a previous measurement, which can reduce the entropy of the system. However, any conditional action can be realized by an (unconditional) unitary time evolution of a larger system and a subsequent L\"uders measurement, whereby the entropy of the entire system is either increased or remains constant. We give some examples that illustrate and confirm our proposal, including the erasure of $N$ qubits and the Szilard engine, thus relating the present approach to the Szilard principle and the Landauer principle that have been discussed as possible solutions of the Maxwell's demon problem.


title: Value Variance Minimization for Learning Approximate Equilibrium in Aggregation Systems

abstract: For effective matching of resources (e.g., taxis, food, bikes, shopping items) to customer demand, aggregation systems have been extremely successful. In aggregation systems, a central entity (e.g., Uber, Food Panda, Ofo) aggregates supply (e.g., drivers, delivery personnel) and matches demand to supply on a continuous basis (sequential decisions). Due to the objective of the central entity to maximize its profits, individual suppliers get sacrificed thereby creating incentive for individuals to leave the system. In this paper, we consider the problem of learning approximate equilibrium solutions (win-win solutions) in aggregation systems, so that individuals have an incentive to remain in the aggregation system. Unfortunately, such systems have thousands of agents and have to consider demand uncertainty and the underlying problem is a (Partially Observable) Stochastic Game. Given the significant complexity of learning or planning in a stochastic game, we make three key contributions: (a) To exploit infinitesimally small contribution of each agent and anonymity (reward and transitions between agents are dependent on agent counts) in interactions, we represent this as a Multi-Agent Reinforcement Learning (MARL) problem that builds on insights from non-atomic congestion games model; (b) We provide a novel variance reduction mechanism for moving joint solution towards Nash Equilibrium that exploits the infinitesimally small contribution of each agent; and finally (c) We provide detailed results on three different domains to demonstrate the utility of our approach in comparison to state-of-the-art methods.


title: Exact ground state and elementary excitations of a topological spin chain

abstract: A novel Bethe Ansatz scheme is proposed to calculate physical properties of quantum integrable systems without $U(1)$ symmetry. As an example, the anti-periodic XXZ spin chain, a typical correlated many-body system embedded in a topological manifold, is examined. Conserved "momentum" and "charge" operators are constructed despite the absence of translational invariance and $U(1)$ symmetry. The ground state energy and elementary excitations are derived exactly. It is found that two intrinsic fractional (one half) zero modes accounting for the double degeneracy exist in the eigenstates. The elementary excitations show quite a different picture from that of a periodic chain. This method can be applied to other quantum integrable models either with or without $U(1)$ symmetry.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: 180$^\circ$ Rotations in the Polarization Angle for Blazars

abstract: Rotations of the electric vector position angle (EVPA) in blazars are often close to an integral multiple of 180$^\circ$. There are multiple examples of this in the literature, and our analysis here, of the optical polarization data from the RoboPol monitoring program, strengthens the evidence by showing that $n\pi$ rotations occur more frequently than expected by chance. We explain this with a model consisting of two polarized emission components: a "jet" that is constant in time, and a "burst" that is variable. The EVPA of the combination is $\rm EVPA_{jet}$ at both the beginning and the end of the burst, so the net rotation across the burst must be $n\pi$. Examples are analyzed on the Stokes plane, where the winding number for the Stokes vector of the combination gives the value of $n$. The main conclusion is that the EVPA rotation can be much larger than the physical rotation of the emission region around the axis of the jet, but this requires the EVPAs of the jet and the burst to be nearly orthogonal. A shock-in-jet calculation by Zhang et al. can provide a physical model for our toy model, and in addition automatically gives the needed orthogonality. The model is illustrated with data on OJ287 published by Myserlis et al., and we suggest that the large rapid EVPA rotation seen there might be a phase effect and not representative of a physical rotation.


title: Plasma Diagnostics From Active Region and Quiet Sun Spectra Observed by Hinode/EIS: Quantifying the Departures from a Maxwellian Distribution

abstract: We perform plasma diagnostics, including that of the non-Maxwellian $\kappa$-distributions, in several structures observed in the solar corona by the Extreme-Ultraviolet Imaging Spectrometer (EIS) onboard the Hinode spacecraft. To prevent uncertainties due to the in-flight calibration of EIS, we selected spectral atlases observed shortly after the launch of the mission. One spectral atlas contains an observation of an active region, while the other is an off-limb quiet Sun region. To minimize the uncertainties of the diagnostics, we rely only on strong lines and we average the signal over a spatial area within selected structures. Multiple plasma parameters are diagnosed, such as the electron density, differential emission measure, and the non-Maxwellian parameter $\kappa$. To do that, we use a simple, well-converging iterative scheme based on refining the initial density estimates via the DEM and $\kappa$. We find that while the quiet Sun spectra are consistent with a Maxwellian distribution, the coronal loops and moss observed within active region are strongly non-Maxwellian with $\kappa$ $\lessapprox$ 3. These results were checked by calculating synthetic ratios using DEMs obtained as a function of $\kappa$. Ratios predicted using the DEMs assuming $\kappa$-distributions converged to the ratios observed in the quiet Sun and coronal loops. To our knowledge, this work presents a strong evidence of a presence of different electron distributions between two physically distinct parts of the solar corona.


title: Global visibility of a strong curvature singularity in nonmarginally bound dust collapse

abstract: We investigate here the local versus global visibility of a space-time singularity formed due to the gravitational collapse of a spherically symmetric dust cloud having a non-zero velocity function. The conditions are investigated that ensure the global visibility of the singularity, in the sense that the outgoing null geodesics leave the boundary of the matter cloud in the future, whereas, in the past, these terminate at the singularity. Explicit examples of this effect are constructed. We require that this must be a strong curvature singularity in the sense of Tipler, to ensure the physical significance of the scenario considered. This may act as a counterexample to the weak cosmic censorship hypothesis.


title: AC-frequency switchable correlated transports in rare-earth perovskite nickelates

abstract: Whilst electron correlations were previously recognized to trigger beyond conventional direct current (DC) electronic transportations (e.g. metal-to-insulator transitions, bad metal, thermistors), their respective influences to the alternation current (AC) transport are largely overlooked. Herein, we demonstrate active regulations in the electronic functionalities of d-band correlated rare-earth nickelate (ReNiO3) thin films, by simply utilizing their electronic responses to AC-frequencies (fAC). Assisted by temperature dependent near edge X-ray absorption fine structure analysis, we discovered positive temperature dependences in Coulomb viscosity of ReNiO3 that moderates their AC impedance. Distinguished crosslinking among R(Real)-fAC measured in nearby temperatures is observed that differs to conventional oxides. It enables active adjustability in correlated transports of ReNiO3, among NTCR-, TDelta- and PTCR- thermistors, via fAC from the electronic perspective without varying materials or device structures. The TDelta-fAC relationship can be further widely adjusted via Re composition and interfacial strains. The AC-frequency sensitivity discovered in ReNiO3 brings in a new freedom to regulating and switching the device working states beyond the present semiconductor technologies. It opens a new paradigm for enriching novel electronic applications catering automatic transmission or artificial intelligence in sensing temperatures and frequencies.


title: Data-Driven Model Predictive Control using Interpolated Koopman Generators

abstract: In recent years, the success of the Koopman operator in dynamical systems analysis has also fueled the development of Koopman operator-based control frameworks. In order to preserve the relatively low data requirements for an approximation via Dynamic Mode Decomposition, a quantization approach was recently proposed in [Peitz \& Klus, Automatica 106, 2019]. This way, control of nonlinear dynamical systems can be realized by means of switched systems techniques, using only a finite set of autonomous Koopman operator-based reduced models. These individual systems can be approximated very efficiently from data. The main idea is to transform a control system into a set of autonomous systems for which the optimal switching sequence has to be computed. In this article, we extend these results to continuous control inputs using relaxation. This way, we combine the advantages of the data efficiency of approximating a finite set of autonomous systems with continuous controls. We show that when using the Koopman generator, this relaxation --- realized by linear interpolation between two operators --- does not introduce any error for control affine systems. This allows us to control high-dimensional nonlinear systems using bilinear, low-dimensional surrogate models. The efficiency of the proposed approach is demonstrated using several examples with increasing complexity, from the Duffing oscillator to the chaotic fluidic pinball.


title: Accessible precisions for estimating two conjugate parameters using Gaussian probes

abstract: We analyse the precision limits for simultaneous estimation of a pair of conjugate parameters in a displacement channel using Gaussian probes. Having a set of squeezed states as an initial resource, we compute the Holevo Cram\'er-Rao bound to investigate the best achievable estimation precisions if only passive linear operations are allowed to be performed on the resource prior to probing the channel. The analysis reveals the optimal measurement scheme and allows us to quantify the best precision for one parameter when the precision of the second conjugate parameter is fixed. To estimate the conjugate parameter pair with equal precision, our analysis shows that the optimal probe is obtained by combining two squeezed states with orthogonal squeezing quadratures on a 50:50 beam splitter. If different importance are attached to each parameter, then the optimal mixing ratio is no longer 50:50. Instead it follows a simple function of the available squeezing and the relative importance between the two parameters.


title: Towards a Collaborative Approach to Decision Making Based on Ontology and Multi-Agent System Application to crisis management

abstract: The coordination and cooperation of all the stakeholders involved is a decisive point for the control and the resolution of problems. In the insecurity events, the resolution should refer to a plan that defines a general framework of the procedures to be undertaken and the instructions to be complied with; also, a more precise process must be defined by the actors to deal with the case represented by the particular problem of the current situation. Indeed, this process has to cope with a dynamic, unstable and unpredictable environment, due to the heterogeneity and multiplicity of stakeholders, and finally due to their possible geographical distribution. In this article, we will present the first steps of validation of a collaborative decision-making approach in the context of crisis situations such as road accidents. This approach is based on ontologies and multi-agent systems.


title: Correlation between Content and Traffic of the Universities Website

abstract: The purpose of this study is to analyse the correlation between content and traffic of 21,485 academic websites (universities and research institutes). The achieved result is used as an indicator which shows the performance of the websites for attracting more visitors. This inspires a best practice for developing new websites or promoting the traffic of the existing websites. At the first step, content of the site is divided into three major items which are: Size, Papers and Rich Files. Then, the Spearman correlation between traffic of the websites and these items are calculated for each country and for the world, respectively. At the next step, countries are ranked based on their correlations, also a new indicator is proposed from combining these three correlations of the countries. Results show that in most countries, correlation between traffic of the websites and Papers is less than correlations between traffic of the websites and Rich Files and Size.


title: Radiomic feature selection for lung cancer classifiers

abstract: Machine learning methods with quantitative imaging features integration have recently gained a lot of attention for lung nodule classification. However, there is a dearth of studies in the literature on effective features ranking methods for classification purpose. Moreover, optimal number of features required for the classification task also needs to be evaluated. In this study, we investigate the impact of supervised and unsupervised feature selection techniques on machine learning methods for nodule classification in Computed Tomography (CT) images. The research work explores the classification performance of Naive Bayes and Support Vector Machine(SVM) when trained with 2, 4, 8, 12, 16 and 20 highly ranked features from supervised and unsupervised ranking approaches. The best classification results were achieved using SVM trained with 8 radiomic features selected from supervised feature ranking methods and the accuracy was 100%. The study further revealed that very good nodule classification can be achieved by training any of the SVM or Naive Bayes with a fewer radiomic features. A periodic increment in the number of radiomic features from 2 to 20 did not improve the classification results whether the selection was made using supervised or unsupervised ranking approaches.


title: On the notions of singular domination and (multi-)singular hyperbolicity

abstract: The properties of uniform hyperbolicity and dominated splitting have been introduced to study the stability of the dynamics of diffeomorphisms. One meets difficulties when one tries to extend these definitions to vector fields and Shantao Liao has shown that it is more relevant to consider the linear Poincar\'e flow rather than the tangent flow in order to study the properties of the derivative. In this paper we define the notion of singular domination, an analog of the dominated splitting for the linear Poincar\'e flow which is robust under perturbations. Based on this, we give a new definition of multi-singular hyperbolicity which is equivalent to the one recently introduced by Bonatti-da Luz. The novelty of our definition is that it does not involve the blowup of the singular set and the renormalization cocycle of the linear flows.


title: Algebraic equivarieties over a commutative field

abstract: We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of affine algebraic geometry by the use of canonical localisations and $*$-algebras. We work here in an equivalent and more suggestive "concrete" setting with structural sheaves of functions into the base field, which allows us to give a set-theoretic description of the products of equivarieties in general. Locally closed subvarieties are naturally equipped with an equivariety structure as in the particular case of algebraically closed fields, and this allows in particular to embed all quasi-projective (equi)varieties in general into the category of algebraic (equi)varieties.


title: Synthesizing human-like sketches from natural images using a conditional convolutional decoder

abstract: Humans are able to precisely communicate diverse concepts by employing sketches, a highly reduced and abstract shape based representation of visual content. We propose, for the first time, a fully convolutional end-to-end architecture that is able to synthesize human-like sketches of objects in natural images with potentially cluttered background. To enable an architecture to learn this highly abstract mapping, we employ the following key components: (1) a fully convolutional encoder-decoder structure, (2) a perceptual similarity loss function operating in an abstract feature space and (3) conditioning of the decoder on the label of the object that shall be sketched. Given the combination of these architectural concepts, we can train our structure in an end-to-end supervised fashion on a collection of sketch-image pairs. The generated sketches of our architecture can be classified with 85.6% Top-5 accuracy and we verify their visual quality via a user study. We find that deep features as a perceptual similarity metric enable image translation with large domain gaps and our findings further show that convolutional neural networks trained on image classification tasks implicitly learn to encode shape information. Code is available under https://github.com/kampelmuehler/synthesizing_human_like_sketches


title: Ideal circle microswimmers in crowded media

abstract: Microswimmers are exposed in nature to crowded environments and their transport properties depend in a subtle way on the interaction with obstacles. Here, we investigate a model for a single ideal circle swimmer exploring a two-dimensional disordered array of impenetrable obstacles. The microswimmer moves on circular orbits in the freely accessible space and follows the surface of an obstacle for a certain time upon collision. Depending on the obstacle density and the radius of the circular orbits, the microswimmer displays either long-range transport or is localized in a finite region. We show that there are transitions from two localized states to a diffusive state each driven by an underlying static percolation transition. We determine the non-equilibrium state diagram and calculate the mean-square displacements and diffusivities by computer simulations. Close to the transition lines transport becomes subdiffusive which is rationalized as a dynamic critical phenomenon.


title: Universal singular exponents in catalytic variable equations

abstract: Catalytic equations appear in several combinatorial applications, most notably in the numeration of lattice path and in the enumeration of planar maps. The main purpose of this paper is to show that the asymptotic estimate for the coefficients of the solutions of (so-called) positive catalytic equations has a universal asymptotic behavior. In particular, this provides a rationale why the number of maps of size $n$ in various planar map classes grows asymptotically like $c\cdot n^{-5/2} \gamma^n$, for suitable positive constants $c$ and $\gamma$. Essentially we have to distinguish between linear catalytic equations (where the subexponential growth is $n^{-3/2}$) and non-linear catalytic equations (where we have $n^{-5/2}$ as in planar maps). Furthermore we provide a quite general central limit theorem for parameters that can be encoded by catalytic functional equations, even when they are not positive.


title: Faster Minimization of Tardy Processing Time on a Single Machine

abstract: This paper is concerned with the $1||\sum p_jU_j$ problem, the problem of minimizing the total processing time of tardy jobs on a single machine. This is not only a fundamental scheduling problem, but also a very important problem from a theoretical point of view as it generalizes the Subset Sum problem and is closely related to the 0/1-Knapsack problem. The problem is well-known to be NP-hard, but only in a weak sense, meaning it admits pseudo-polynomial time algorithms. The fastest known pseudo-polynomial time algorithm for the problem is the famous Lawler and Moore algorithm which runs in $O(P \cdot n)$ time, where $P$ is the total processing time of all $n$ jobs in the input. This algorithm has been developed in the late 60s, and has yet to be improved to date. In this paper we develop two new algorithms for $1||\sum p_jU_j$, each improving on Lawler and Moore's algorithm in a different scenario. Both algorithms rely on basic primitive operations between sets of integers and vectors of integers for the speedup in their running times. The second algorithm relies on fast polynomial multiplication as its main engine, while for the first algorithm we define a new "skewed" version of $(\max,\min)$-convolution which is interesting in its own right.


title: Analysis of genetic differences between psychiatric disorders: Exploring pathways and cell-types/tissues involved and ability to differentiate the disorders by polygenic scores

abstract: Although displaying genetic correlations, psychiatric disorders are clinically defined as categorical entities as they each have distinguishing clinical features and may involve different treatments. Identifying differential genetic variations between these disorders may reveal how the disorders differ biologically and help to guide more personalized treatment. Here we presented a comprehensive analysis to identify genetic markers differentially associated with various psychiatric disorders/traits based on GWAS summary statistics, covering 18 psychiatric traits/disorders and 26 comparisons. We also conducted comprehensive analysis to unravel the genes, pathways and SNP functional categories involved, and the cell types and tissues implicated. We also assessed how well one could distinguish between psychiatric disorders by polygenic risk scores (PRS). SNP-based heritabilities (h2SNP) were significantly larger than zero for most comparisons. Based on current GWAS data, PRS have mostly modest power to distinguish between psychiatric disorders. For example, we estimated that AUC for distinguishing schizophrenia from major depressive disorder (MDD), bipolar disorder (BPD) from MDD and schizophrenia from BPD were 0.694, 0.602 and 0.618 respectively, while the maximum AUC (based on h2SNP) were 0.763, 0.749 and 0.726 respectively. We also uncovered differences in each pair of studied traits in terms of their differences in genetic correlation with comorbid traits. For example, clinically-defined MDD appeared to more strongly genetically correlated with other psychiatric disorders and heart disease, when compared to non-clinically-defined depression in UK Biobank. Our findings highlight genetic differences between psychiatric disorders and the mechanisms involved. PRS may aid differential diagnosis of selected psychiatric disorders in the future with larger GWAS samples.


title: Exact capacitated domination: on the computational complexity of uniqueness

abstract: In this paper we consider a local service-requirement assignment problem named exact capacitated domination from an algorithmic point of view. This problem aims to find a solution (a Nash equilibrium) to a game-theoretic model of public good provision. In the problem we are given a capacitated graph, a graph with a parameter defined on each vertex that is interpreted as the capacity of that vertex. The objective is to find a DP-Nash subgraph: a spanning bipartite subgraph with partite sets D and P, called the D-set and P-set respectively, such that no vertex in P is isolated and that each vertex in D is adjacent to a number of vertices equal to its capacity. We show that whether a capacitated graph has a unique DP-Nash subgraph can be decided in polynomial time. However, we also show that the nearby problem of deciding whether a capacitated graph has a unique D-set is co-NP-complete.


title: Design of an MISO-SWIPT-Aided Code-Index Modulated Multi-Carrier M-DCSK System for e-Health IoT

abstract: Code index modulated multi-carrier M-ary differential chaos shift keying (CIM-MC-M-DCSK) system not only inherits low-power and low-complexity advantages of the conventional DCSK system, but also significantly increases the transmission rate. This feature is of particular importance to Internet of Things (IoT) with trillions of low-cost devices. In particular, for e-health IoT applications, an efficient transmission scheme is designed to solve the challenge of the limited battery capacity for numerous user equipments served by one base station. In this paper, a new multiple-input-single-output simultaneous wireless information and power transfer (MISO-SWIPT) scheme for CIM-MC-M-DCSK system is proposed by utilizing orthogonal characteristic of chaotic signals with different initial values. The proposed system adopts power splitting mode, which is very promising for simultaneously providing energy and transmitting information of the user equipments without any external power supply. In particular, the new system can achieve desirable anti-multipath-fading capability without using channel estimator. Moreover, the analytical bit-error-rate expression of the proposed system is derived over multipath Rayleigh fading channels. Furthermore, the spectral efficiency and energy efficiency of the proposed system are analyzed. Simulation results not only validate the analytical expressions, but also demonstrate the superiority of the proposed system.


title: A Job-Assignment Heuristic for Lifelong Multi-Agent Path Finding Problem with Multiple Delivery Locations

abstract: In this paper we proposed multiple job-assignment heuristics to generate low-total-cost solutions and determine the best performing method amongst them.


title: Symmetric gravitational closure

abstract: We show how to exploit symmetry assumptions to determine the dynamical equations for the particular geometry that underpins given matter field equations. The procedure builds on the gravitational closure equations for matter models without any a priori assumption of symmetry. It suffices to illustrate the symmetrization procedure for a Klein-Gordon field equation on a Lorentzian background, for which one obtains the Friedmann equations, without ever having known Einstein's equations, by careful imposition of maximal cosmological symmetry directly on the pertinent gravitational closure equations. This method of finding the family of symmetry-reduced gravitational field equations that are compatible with given matter dynamics directly generalizes to any Killing symmetry algebra, matter models beyond the standard model and indeed tensorial spacetime geometries beyond Lorentzian metrics.


title: The delta invariant of curves on rational surfaces II: Poincar\'e series and topological aspects

abstract: In this article we study abstract and embedded invariants of reduced curve germs via topological techniques. One of the most important numerical analytic invariants of an abstract curve is its delta invariant. Our primary goal is to develop delta invariant formulae for curves embedded in rational singularities in terms of embedded data. The topological machinery not only produces formulae, but it also creates deep connections with the theory of (analytical and topological) multivariable Poincar\'e series.


title: Minimal Solvers for Indoor UAV Positioning

abstract: In this paper we consider a collection of relative pose problems which arise naturally in applications for visual indoor UAV navigation. We focus on cases where additional information from an onboard IMU is available and thus provides a partial extrinsic calibration through the gravitational vector. The solvers are designed for a partially calibrated camera, for a variety of realistic indoor scenarios, which makes it possible to navigate using images of the ground floor. Current state-of-the-art solvers use more general assumptions, such as using arbitrary planar structures; however, these solvers do not yield adequate reconstructions for real scenes, nor do they perform fast enough to be incorporated in real-time systems. We show that the proposed solvers enjoy better numerical stability, are faster, and require fewer point correspondences, compared to state-of-the-art solvers. These properties are vital components for robust navigation in real-time systems, and we demonstrate on both synthetic and real data that our method outperforms other methods, and yields superior motion estimation.


title: Evidences for a pseudo scalar resonance at 400 GeV Possible interpretations

abstract: This paper intends to collect the various evidences observed by ATLAS and CMS within searches for heavy scalars and pseudocalars. These searches in tt, hZ, tautau and 2jets+W, obtain individual excesses in five channels, each at a modest level of significance, ~3 standard deviations, but, put together, give a strong evidence for a pseudoscalar at ~400 GeV. Preliminary interpretations are given which suggest that additional observations should appear in the HL-LHC phase.


title: Scheduling Lower Bounds via AND Subset Sum

abstract: Given $N$ instances $(X_1,t_1),\ldots,(X_N,t_N)$ of Subset Sum, the AND Subset Sum problem asks to determine whether all of these instances are yes-instances; that is, whether each set of integers $X_i$ has a subset that sums up to the target integer $t_i$. We prove that this problem cannot be solved in time $\tilde{O}((N \cdot t_{max})^{1-\epsilon})$, for $t_{max}=\max_i t_i$ and any $\epsilon > 0$, assuming the $\forall \exists$ Strong Exponential Time Hypothesis ($\forall \exists$-SETH). We then use this result to exclude $\tilde{O}(n+P_{max} \cdot n^{1-\epsilon})$-time algorithms for several scheduling problems on $n$ jobs with maximum processing time $P_{max}$, based on $\forall \exists$-SETH. These include classical problems such as $1||\sum w_jU_j$, the problem of minimizing the total weight of tardy jobs on a single machine, and $P_2||\sum U_j$, the problem of minimizing the number of tardy jobs on two identical parallel machines.


title: Tameness for set theory $I$

abstract: The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship. Specifically we develop a general framework linking generic absoluteness results to model companionship and show that (with the required care in details) a $\Pi_2$-property formalized in an appropriate language for second or third order number theory is forcible from some $T\supseteq\mathsf{ZFC}+$large cardinals if and only if it is consistent with the universal fragment of $T$ if and only if it is realized in the model companion of $T$. The paper is accessible to any person who has a fair acquaintance with set theory and first order logic at the level of an under-graduate course in both topics; however bizarre this may appear (given the results we aim to prove) no knowledge of forcing or large cardinals is required to get the proofs of its main results (if one accepts as black-boxes the relevant generic absoluteness results). On the other hand familiarity with the notions of model completeness and model companionship is essential. All the necessary model-theoretic background will be given in full detail. The present work expands and systematize previous results obtained with Venturi.


title: Graphene ribbons with suspended masses as transducers in ultra-small nanoelectromechanical accelerometers

abstract: Nanoelectromechanical system (NEMS) sensors and actuators could be of use in the development of next generation mobile, wearable, and implantable devices. However, these NEMS devices require transducers that are ultra-small, sensitive and can be fabricated at low cost. Here, we show that suspended double-layer graphene ribbons with attached silicon proof masses can be used as combined spring-mass and piezoresistive transducers. The transducers, which are realized using processes that are compatible with large-scale semiconductor manufacturing technologies, can yield NEMS accelerometers that occupy at least two orders of magnitude smaller die area than conventional state-of-the-art silicon accelerometers.


title: Revisiting the determining fraction of glueball component in $f_0$ mesons via radiative decays of $J/\psi$

abstract: QCD theory predicts the existence of glueballs, but so far all experimental endeavors have failed to identify any such states. To remedy this discrepancy between QCD, which has proven to be a successful theory for strong interactions, and the failure of experimental searches for glueballs, one is tempted to accept the promising interpretation that the glueballs mix with regular $q\bar q$ states of the same quantum numbers. The lattice estimate of the masses of pure $0^{++}$ glueballs ranges from 1 to 2 GeV, which is the region of the $f_0$ family. Thus many authors suggest that the $f_0$ mesonic series is an ideal place to study possible mixtures of glueballs and $q\bar q$. In this paper, following the strategy proposed by Close, Farrar and Li, we try to determine the fraction of glueball components in $f_0$ mesons using the measured mass spectra and the branching ratios of $J/\psi$ radiative decays into $f_0$ mesons. Since the pioneering papers by Close et al., more than 20 years has elapsed and more accurate measurements have been done by several experimental collaborations, so it is time to revisit this interesting topic using new data. We suppose $f_0(500)$ and $f_0(980)$ to be pure quark states, while for $f_0(1370)$, $f_0(1500)$ and $f_0(1710)$, to fit both the experimental data of $J/\psi$ radiative decay and their mass spectra, glueball components are needed. Moreover, the mass of the pure $0^{++}$ glueball is phenomenologically determined.


title: Dynamical symmetry of strongly light-driven electronic system in crystalline solids

abstract: The Floquet state, which is a periodically and intensely light driven quantum state in solids, has been attracting attention as a novel state that is coherently controllable on an ultrafast time scale. An important issue has been to demonstrate experimentally novel electronic properties in the Floquet state. One technique to demonstrate them is the light scattering spectroscopy, which offers an important clue to clarifying the symmetries and energy structures of the states through symmetry analysis of the polarization selection rules. Here, we determine circular and linear polarization selection rules of light scattering in a mid-infrared-driven Floquet system in monolayer MoS2 and provide a comprehensive understanding in terms of the "dynamical symmetry" of the Floquet state.


title: Cross-Spectrum Measurement Statistics

abstract: The cross-spectrum method consists in measuring a signal $c(t)$ simultaneously with two independent instruments. Each of these instruments contributes to the global noise by its intrinsec (white) noise, whereas the signal $c(t)$ that we want to characterize could be a (red) noise. We first define the real part of the cross-spectrum as a relevant estimator. Then, we characterize the probability density function (PDF) of this estimator knowing the noise level (direct problem) as a Variance-Gamma (V$\Gamma$) distribution. Next, we solve the "inverse problem" thanks to Bayes' theorem to obtain an upper limit of the noise level knowing the estimate. Checked by massive Monte Carlo simulations, V$\Gamma$ proves to be perfectly reliable to any number of degrees of freedom (dof). Finally we compare this method with an other method using the Karhunen-Lo\`{e}ve transfrom (KLT). We find an upper limit of the signal level slightly different as the one of V$\Gamma$ since KLT better takes into account the available informations.