title: A data scalable augmented Lagrangian KKT preconditioner for large scale inverse problems

abstract: Current state of the art preconditioners for the reduced Hessian and the Karush-Kuhn-Tucker (KKT) operator for large scale inverse problems are typically based on approximating the reduced Hessian with the regularization operator. However, the quality of this approximation degrades with increasingly informative observations or data. Thus the best case scenario from a scientific standpoint (fully informative data) is the worse case scenario from a computational perspective. In this paper we present an augmented Lagrangian-type preconditioner based on a block diagonal approximation of the augmented upper left block of the KKT operator. The preconditioner requires solvers for two linear subproblems that arise in the augmented KKT operator, which we expect to be much easier to precondition than the reduced Hessian. Analysis of the spectrum of the preconditioned KKT operator indicates that the preconditioner is effective when the regularization is chosen appropriately. In particular, it is effective when the regularization does not over-penalize highly informed parameter modes and does not under-penalize uninformed modes. Finally, we present a numerical study for a large data/low noise Poisson source inversion problem, demonstrating the effectiveness of the preconditioner. In this example, three MINRES iterations on the KKT system with our preconditioner results in a reconstruction with better accuracy than 50 iterations of CG on the reduced Hessian system with regularization preconditioning.


title: Assembly maps for topological cyclic homology of group algebras

abstract: We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphism on homotopy groups. For infinite groups, we establish pro-isomorphism, (split) injectivity, and rational injectivity results, as well as counterexamples to injectivity and surjectivity. In particular, for hyperbolic groups and for virtually finitely generated abelian groups, we show that the assembly map for the family of virtually cyclic subgroups is injective but in general not surjective.


title: Pentagrams, inscribed polygons, and Prym varieties

abstract: The pentagram map is a discrete integrable system on the moduli space of planar polygons. The corresponding first integrals are so-called monodromy invariants $E_1, O_1, E_2, O_2,\dots$ By analyzing the combinatorics of these invariants, R.Schwartz and S.Tabachnikov have recently proved that for polygons inscribed in a conic section one has $E_k = O_k$ for all $k$. In this paper we give a simple conceptual proof of the Schwartz-Tabachnikov theorem. Our main observation is that for inscribed polygons the corresponding monodromy satisfies a certain self-duality relation. From this we also deduce that the space of inscribed polygons with fixed values of the monodromy invariants is an open dense subset in the Prym variety (i.e., a half-dimensional torus in the Jacobian) of the spectral curve. As a byproduct, we also prove another conjecture of Schwartz and Tabachnikov on positivity of monodromy invariants for convex polygons.


title: Fast Sampling for Strongly Rayleigh Measures with Application to Determinantal Point Processes

abstract: In this note we consider sampling from (non-homogeneous) strongly Rayleigh probability measures. As an important corollary, we obtain a fast mixing Markov Chain sampler for Determinantal Point Processes.


title: Tuning the electronic and the crystalline structure of LaBi by pressure

abstract: Extreme magnetoresistance (XMR) in topological semimetals is a recent discovery which attracts attention due to its robust appearance in a growing number of materials. To search for a relation between XMR and superconductivity, we study the effect of pressure on LaBi taking advantage of its simple structure and simple composition. By increasing pressure we observe the disappearance of XMR followed by the appearance of superconductivity at P=3.5 GPa.The suppression of XMR is correlated with increasing zero-field resistance instead of decreasing in-field resistance. At higher pressures, P=11 GPa, we find a structural transition from the face center cubic lattice to a primitive tetragonal lattice in agreement with theoretical predictions. We discuss the relationship between extreme magnetoresistance, superconductivity, and structural transition in LaBi.


title: Search for lepton flavour violating decays of the Higgs boson to e tau and e mu in proton-proton collisions at sqrt(s) = 8 TeV

abstract: A direct search for lepton flavour violating decays of the Higgs boson (H) in the H to e tau and H to e mu channels is described. The data sample used in the search was collected in proton-proton collisions at sqrt(s) = 8 TeV with the CMS detector at the LHC and corresponds to an integrated luminosity of 19.7 inverse femtobarns. No evidence is found for lepton flavour violating decays in either final state. Upper limits on the branching fractions, B(H to e tau ) < 0.69% and B(H to e mu) < 0.035%, are set at the 95% confidence level. The constraint set on B(H to e tau) is an order of magnitude more stringent than the existing indirect limits. The limits are used to constrain the corresponding flavour violating Yukawa couplings, absent in the standard model.


title: Robustness analysis of bimodal networks in the whole range of degree correlation

abstract: We present exact analysis of the physical properties of bimodal networks specified by the two peak degree distribution fully incorporating the degree-degree correlation between node connection. The structure of the correlated bimodal network is uniquely determined by the Pearson coefficient of the degree correlation, keeping its degree distribution fixed. The percolation threshold and the giant component fraction of the correlated bimodal network are analytically calculated in the whole range of the Pearson coefficient from $-1$ to $1$ against two major types of node removal, which are the random failure and the degree-based targeted attack. The Pearson coefficient for next-nearest-neighbor pairs is also calculated, which always takes a positive value even when the correlation between nearest-neighbor pairs is negative. From the results, it is confirmed that the percolation threshold is a monotonically decreasing function of the Pearson coefficient for the degrees of nearest-neighbor pairs increasing from $-1$ and $1$ regardless of the types of node removal. In contrast, the node fraction of the giant component for bimodal networks with positive degree correlation rapidly decreases in the early stage of random failure, while that for bimodal networks with negative degree correlation remains relatively large until the removed node fraction reaches the threshold. In this sense, bimodal networks with negative degree correlation are more robust against random failure than those with positive degree correlation.


title: Multiband superconductivity in the correlated electron filled skutterudite system Pr(1-x)Ce(x)Pt4Ge12

abstract: Studies of superconductivity in multiband correlated electronic systems has become one of the central topics in condensed matter/materials physics. In this paper, we present the results of thermodynamic measurements on the superconducting filled skutterudite system Pr$_{1-x}$Ce$_x$Pt$_4$Ge$_{12}$ ($ 0 \leq x \leq 0.2$) to investigate how substitution of Ce at Pr sites affects superconductivity. We find that an increase in Ce concentration leads to a suppression of the superconducting transition temperature from $T_{c}\sim 7.9$ K for $x=0$ to $T_c\sim 0.6$ K for $x=0.14$. Our analysis of the specific heat data for $x\leq 0.07$ reveals that superconductivity must develop in at least two bands: the superconducting order parameter has nodes on one Fermi pocket and remains fully gapped on the other. Both the nodal and nodeless gap values decrease, with the nodal gap being suppressed more strongly, with Ce substitution. Ultimately, the higher Ce concentration samples ($x>0.07$) display a nodeless gap only.


title: Ground Testing and Flight Demonstration of Charge Management of Insulated Test Masses Using UV LED Electron Photoemission

abstract: The UV LED mission demonstrates the precise control of the potential of electrically isolated test masses that is essential for the operation of space accelerometers and drag free sensors. Accelerometers and drag free sensors were and remain at the core of geodesy, aeronomy, and precision navigation missions as well as gravitational science experiments and gravitational wave observatories. Charge management using photoelectrons generated by the 254 nm UV line of Hg was first demonstrated on Gravity Probe B and is presently part of the LISA Pathfinder technology demonstration. The UV LED mission and prior ground testing demonstrates that AlGaN UV LEDs operating at 255 nm are superior to Mercury vapor lamps because of their smaller size, lower draw, higher dynamic range, and higher control authority. We show flight data from a small satellite mission on a Saudi Satellite that demonstrates AC charge control (UV LEDs and bias are AC modulated with adjustable relative phase) between a spherical test mass and its housing. The result of the mission is to bring the UV LED device Technology Readiness Level (TRL) to TRL 9 and the charge management system to TRL 7. We demonstrate the ability to control the test mass potential on an 89 mm diameter spherical test mass over a 20 mm gap in a drag free system configuration. The test mass potential was measured with an ultra high impedance contact probe. Finally, the key electrical and optical characteristics of the UV LEDs showed less than 7.5 percent change in performance after 12 months in orbit.


title: Generalized thermodynamic identity and new Maxwell's law for charged AdS black hole

abstract: We study the thermodynamic properties of the RN-AdS black hole in full phase space and propose a generalized thermodynamic identity. As an example, we use it to find relations of thermodynamical coefficients between the grand canonical and canonical ensembles. We also show, for the first order phase transition, that the usual Maxwell's equal area law should be extended to a new form for the RN-AdS black hole.


title: Polyhedral approximation in mixed-integer convex optimization

abstract: Generalizing both mixed-integer linear optimization and convex optimization, mixed-integer convex optimization possesses broad modeling power but has seen relatively few advances in general-purpose solvers in recent years. In this paper, we intend to provide a broadly accessible introduction to our recent work in developing algorithms and software for this problem class. Our approach is based on constructing polyhedral outer approximations of the convex constraints, resulting in a global solution by solving a finite number of mixed-integer linear and continuous convex subproblems. The key advance we present is to strengthen the polyhedral approximations by constructing them in a higher-dimensional space. In order to automate this extended formulation we rely on the algebraic modeling technique of disciplined convex programming (DCP), and for generality and ease of implementation we use conic representations of the convex constraints. Although our framework requires a manual translation of existing models into DCP form, after performing this transformation on the MINLPLIB2 benchmark library we were able to solve a number of unsolved instances and on many other instances achieve superior performance compared with state-of-the-art solvers like Bonmin, SCIP, and Artelys Knitro.


title: Constraining warm dark matter mass with cosmic reionization and gravitational wave

abstract: We constrain the warm dark matter (WDM) particle mass with the observations of cosmic reionization and CMB optical depth. We suggest that the GWs from stellar mass black holes (BHs) could give a further constraint on WDM particle mass for future observations. The star formation rates (SFRs) of Population I/II (Pop I/II) and Population III (Pop III) stars are also derived. If the metallicity of the universe have been enriched beyond the critical value of $Z_{\rm crit}=10^{-3.5}Z_{\odot}$, the star formation shift from Pop III to Pop I/II stars. Our results show that the SFRs are quite dependent on the WDM particle mass, especially at high redshifts. Combing with the reionization history and CMB optical depth derived from the recent \emph{Planck} mission, we find that the current data requires the WDM particle mass in a narrow range of $1 < m_x < 3$ keV. Furthermore, we suggest that the stochastic gravitational wave background (SGWB) produced by stellar BHs could give a further constraint on the WDM particle mass for future observations. For $m_{x}=3$ keV with Salpeter (Chabrier) initial mass function (IMF), the SGWB from Pop I/II BHs has a peak amplitude of $\Omega_{\rm GW}\approx2.8\times 10^{-9}~(5.0\times 10^{-9})$ at $f= 316 {\rm Hz}$, while the GW radiation at $f<10$Hz is seriously suppressed. For $m_{\rm x}=1$ keV, the SGWB peak amplitude is the same as that of $m_{\rm x}=1$ keV, but a little lower at low frequencies. Therefore, it is hard to constrain the WDM particle mass by the SGWB from Pop I/II BHs. To assess the detectability of GW signal, we also calculate the signal to noise ratio (SNR), which are $\rm SNR=37.7~ (66.5)$ and $27~(47.7)$ for $m_{\rm x}=3$ keV and $m_{\rm x}=1$ keV for Einstein Telescope (ET) with Salpeter (Chabrier) IMF, respectively.


title: Bismuthylene Monolayer: A Promising Quantum Spin Hall Insulator with Large Band Gaps

abstract: By means of first-principles calculations, we predict a new 2D QSH insulator in the porous allotrope of Bismuth monolayer, bismuthylene, its dynamics stability being confirmed by phonon spectrum and molecular dynamics simulations. The analyses of electronic structures reveal that it is a native QSH state with a gap much as large as 0.29 eV at the {\Gamma} point, which is larger than the buckled (0.2 eV) and flattened (0.2 eV) bismuth, Bi4Br4 (0.18 eV), as well as stanene (0.1 eV), also more stable energetically than these systems. Interestingly, the bismuthylene has tunable band gaps and nontrivial band topology under strains within -6 - 5 % and electric fields up to 0.8 eV/{\AA}. Furthermore, a tight-binding model is constructed to explain the low-energy physics behind band topology induced by spin-orbit coupling. We also propose a quantum well by sandwiching bismuthylene between two BN sheets and reveals that this structure remains topologically nontrivial with a sizeable band gap. This findings on QSH effect of bismuthylene provide a viable platform in new generation of dissipationless electronics and spintronics devices.


title: Partition structure and the A-hypergeometric distribution associated with the rational normal curve

abstract: A distribution whose normalization constant is an A-hypergeometric polynomial is called an A-hypergeometric distribution. Such a distribution is in turn a generalization of the generalized hypergeometric distribution on the contingency tables with fixed marginal sums. In this paper, we will see that an A-hypergeometric distribution with a homogeneous matrix of two rows, especially, that associated with the rational normal curve, appears in inferences involving exchangeable partition structures. An exact sampling algorithm is presented for the general (any number of rows) A-hypergeometric distributions. Then, the maximum likelihood estimation of the A-hypergeometric distribution associated with the rational normal curve, which is an algebraic exponential family, is discussed. The information geometry of the Newton polytope is useful for analyzing the full and the curved exponential family. Algebraic methods are provided for evaluating the A-hypergeometric polynomials.


title: Equilibrium Sequences and Gravitational Instability of Rotating Isothermal Rings

abstract: Nuclear rings at centers of barred galaxies exhibit strong star formation activities. They are thought to undergo gravitational instability when sufficiently massive. We approximate them as rigidly-rotating isothermal objects and investigate their gravitational instability. Using a self-consistent field method, we first construct their equilibrium sequences specified by two parameters: alpha corresponding to the thermal energy relative to gravitational potential energy, and R_B measuring the ellipticity or ring thickness. Unlike in the incompressible case, not all values of R_B yield an isothermal equilibrium, and the range of R_B for such equilibria shrinks with decreasing alpha. The density distributions in the meridional plane are steeper for smaller alpha, and well approximated by those of infinite cylinders for slender rings. We also calculate the dispersion relations of nonaxisymmetric modes in rigidly-rotating slender rings with angular frequency Omega_0 and central density rho_max. Rings with smaller alpha are found more unstable with a larger unstable range of the azimuthal mode number. The instability is completely suppressed by rotation when Omega_0 exceeds the critical value. The critical angular frequency is found to be almost constant at ~ 0.7 sqrt(G*rho_c) for alpha > 0.01 and increases rapidly for smaller alpha. We apply our results to a sample of observed star-forming rings and confirm that rings without a noticeable azimuthal age gradient of young star clusters are indeed gravitationally unstable.


title: Traffic Management for Heterogeneous Networks with Opportunistic Unlicensed Spectrum Sharing

abstract: This paper studies how to maximize the per-user-based throughput in an M-tier heterogeneous wireless network (HetNet) by optimally managing traffic flows between the access points (APs) in the HetNet. The APs in the first M-1 tiers can use the licensed spectrum at the same time whereas they share the unlicensed spectrum with the APs in the Mth tier by the proposed opportunistic carrier sense multiple access with collision avoidance (CSMA/CA) protocol. The APs that access the licensed and unlicensed spectra simultaneously are able to integrate their spectrum resources by the carrier aggregation technique. We first characterize the distribution of the cell load and the channel access probability of each AP using a generalized AP association scheme. For an AP in each tier, the tight lower bounds on its mean spectrum efficiencies in the licensed and unlicensed spectra are derived for the general random models of the channel gain and AP association weights. We define the per-user link throughput and per-user network throughput based on the derived the mean spectrum efficiencies and maximize them by proposing the decentralized and centralized traffic management schemes for the APs in the first M-1 tiers under the constraint that the per-user link throughput of the tier-M APs must be above some minimum required value. Finally, a numerical example of coexisting LTE and WiFi networks is provided to validate our derived results and findings.


title: Energy-Reliability Limits in Nanoscale Feedforward Neural Networks and Formulas

abstract: Due to energy-efficiency requirements, computational systems are now being implemented using noisy nanoscale semiconductor devices whose reliability depends on energy consumed. We study circuit-level energy-reliability limits for deep feedforward neural networks (multilayer perceptrons) built using such devices, and en route also establish the same limits for formulas (boolean tree-structured circuits). To obtain energy lower bounds, we extend Pippenger's mutual information propagation technique for characterizing the complexity of noisy circuits, since small circuit complexity need not imply low energy. Many device technologies require all gates to have the same electrical operating point; in circuits of such uniform gates, we show that the minimum energy required to achieve any non-trivial reliability scales superlinearly with the number of inputs. Circuits implemented in emerging device technologies like spin electronics can, however, have gates operate at different electrical points; in circuits of such heterogeneous gates, we show energy scaling can be linear in the number of inputs. Building on our extended mutual information propagation technique and using crucial insights from convex optimization theory, we develop an algorithm to compute energy lower bounds for any given boolean tree under heterogeneous gates. This algorithm runs in linear time in number of gates, and is therefore practical for modern circuit design. As part of our development we find a simple procedure for energy allocation across circuit gates with different operating points and neural networks with differently-operating layers.


title: Spectral and scattering theory for Schr\"odinger operators on perturbed topological crystals

abstract: In this paper we investigate the spectral and the scattering theory of Schr\"odinger operators acting on perturbed periodic discrete graphs. The perturbations considered are of two types: either a multiplication operator by a short-range or a long-range function, or a short-range type modification of the measure defined on the vertices and on the edges of the graph. Mourre theory is used for describing the nature of the spectrum of the underlying operators. For short-range perturbations, existence and completeness of local wave operators are also proved.


title: Effects of Additional Data on Bayesian Clustering

abstract: Hierarchical probabilistic models, such as mixture models, are used for cluster analysis. These models have two types of variables: observable and latent. In cluster analysis, the latent variable is estimated, and it is expected that additional information will improve the accuracy of the estimation of the latent variable. Many proposed learning methods are able to use additional data; these include semi-supervised learning and transfer learning. However, from a statistical point of view, a complex probabilistic model that encompasses both the initial and additional data might be less accurate due to having a higher-dimensional parameter. The present paper presents a theoretical analysis of the accuracy of such a model and clarifies which factor has the greatest effect on its accuracy, the advantages of obtaining additional data, and the disadvantages of increasing the complexity.


title: IntelliAd Understanding In-APP Ad Costs From Users Perspective

abstract: Ads are an important revenue source for mobile app development, especially for free apps, whose expense can be compensated by ad revenue. The ad benefits also carry with costs. For example, too many ads can interfere the user experience, leading to less user retention and reduced earnings ultimately. In the paper, we aim at understanding the ad costs from users perspective. We utilize app reviews, which are widely recognized as expressions of user perceptions, to identify the ad costs concerned by users. Four types of ad costs, i.e., number of ads, memory/CPU overhead, traffic usage, and bettery consumption, have been discovered from user reviews. To verify whether different ad integration schemes generate different ad costs, we first obtain the commonly used ad schemes from 104 popular apps, and then design a framework named IntelliAd to automatically measure the ad costs of each scheme. To demonstrate whether these costs indeed influence users reactions, we finally observe the correlations between the measured ad costs and the user perceptions. We discover that the costs related to memory/CPU overhead and battery consumption are more concerned by users, while the traffic usage is less concerned by users in spite of its obvious variations among different schemes in the experiments. Our experimental results provide the developers with suggestions on better incorporating ads into apps and, meanwhile, ensuring the user experience.


title: Faithfulness of Directed Complete Posets based on Scott Closed Set Lattices

abstract: By Thron, a topological space $X$ has the property that $C(X)$ isomorphic to $C(Y)$ implies $X$ is homeomorphic to $Y$ iff $X$ is sober and $T_D$, where $C(X)$ and $C(Y)$ denote the lattices of closed sets of $X$ and $T_0$ space $Y$, respectively. When we consider dcpos (directed complete posets) equipped their Scott topologies, a similar question arises: which dcpos $P$ have the property that for any dcpo $Q$, $C_\sigma(P)$ isomorphic to $C_\sigma(Q)$ implies $P$ is isomorphic to $Q$ (such a dcpo $P$ will be called Scott closed set lattice faithful, or SCL-faithful in short)? Here $C_{\sigma}(P)$ and $C_{\sigma}(Q)$ denote the lattices of Scott closed sets of $P$ and $Q$, respectively. Following a characterization of continuous (quasicontinuous) dcpos in terms of $C_{\sigma}(P)$, one easily deduces that every continuous (quasicontinuous) dcpo is SCL-faithful. Note that the Scott space of every continuous (quasicontinuous) dcpo is sober. Compared with Thron's result, one naturally asks whether every SCL-faithful dcpo is sober (with the Scott topology). In this paper we shall prove that some classes of dcpos are SCL-faithful, these classes contain some dcpos whose Scott topologies are not bounded sober. These results will help to obtain a complete characterization of SCL-faithful dcpos in the future.


title: Star Cluster Formation and Destruction in the Merging Galaxy NGC 3256

abstract: We use the Advanced Camera for Surveys on the Hubble Space Telescope to study the rich population of young massive star clusters in the main body of NGC 3256, a merging pair of galaxies with a high star formation rate (SFR) and SFR per unit area ($\Sigma_{\rm{SFR}}$). These clusters have luminosity and mass functions that follow power laws, $dN/dL \propto L^{\alpha}$ with $\alpha = -2.23 \pm 0.07$, and $dN/dM \propto M^{\beta}$ with $\beta = -1.86 \pm 0.34$ for $\tau < 10$ Myr clusters, similar to those found in more quiescent galaxies. The age distribution can be described by $dN/d\tau \propto \tau ^ \gamma$, with $\gamma \approx -0.67 \pm 0.08$ for clusters younger than about a few hundred million years, with no obvious dependence on cluster mass. This is consistent with a picture where $\sim 80 \%$ of the clusters are disrupted each decade in time. We investigate the claim that galaxies with high $\Sigma_{\rm{SFR}}$ form clusters more efficiently than quiescent systems by determining the fraction of stars in bound clusters ($\Gamma$) and the CMF/SFR statistic (CMF is the cluster mass function) for NGC 3256 and comparing the results with those for other galaxies. We find that the CMF/SFR statistic for NGC 3256 agrees well with that found for galaxies with $\Sigma_{\rm{SFR}}$ and SFRs that are lower by $1-3$ orders of magnitude, but that estimates for $\Gamma$ are only robust when the same sets of assumptions are applied. Currently, $\Gamma$ values available in the literature have used different sets of assumptions, making it more difficult to compare the results between galaxies.


title: An Active RBSE Framework to Generate Optimal Stimulus Sequences in a BCI for Spelling

abstract: A class of brain computer interfaces (BCIs) employs noninvasive recordings of electroencephalography (EEG) signals to enable users with severe speech and motor impairments to interact with their environment and social network. For example, EEG based BCIs for typing popularly utilize event related potentials (ERPs) for inference. Presentation paradigm design in current ERP-based letter by letter typing BCIs typically query the user with an arbitrary subset characters. However, the typing accuracy and also typing speed can potentially be enhanced with more informed subset selection and flash assignment. In this manuscript, we introduce the active recursive Bayesian state estimation (active-RBSE) framework for inference and sequence optimization. Prior to presentation in each iteration, rather than showing a subset of randomly selected characters, the developed framework optimally selects a subset based on a query function. Selected queries are made adaptively specialized for users during each intent detection. Through a simulation-based study, we assess the effect of active-RBSE on the performance of a language-model assisted typing BCI in terms of typing speed and accuracy. To provide a baseline for comparison, we also utilize standard presentation paradigms namely, row and column matrix presentation paradigm and also random rapid serial visual presentation paradigms. The results show that utilization of active-RBSE can enhance the online performance of the system, both in terms of typing accuracy and speed.


title: Spectrometers and Polyphase Filterbanks in Radio Astronomy

abstract: This review gives an introduction to spectrometers and discusses their use within radio astronomy. While a variety of technologies are introduced, particular emphasis is given to digital systems. Three different types of digital spectrometers are discussed: autocorrelation spectrometers, Fourier transform spectrometers, and polyphase filterbank spectrometers. Given their growing ubiquity and significant advantages, polyphase filterbanks are detailed at length. The relative advantages and disadvantages of different spectrometer technologies are compared and contrasted, and implementation considerations are presented.


title: Universal trimers emerging from a spin-orbit coupled Fermi sea

abstract: We report the existence of a universal trimer state induced by an impurity interacting with a two-component spin-orbit coupled Fermi gas in two dimensions. In the zero-density limit with a vanishing Fermi sea, the trimer is stabilized by the symmetry of the single-particle spectrum under spin-orbit coupling, and is therefore {\it universal} against the short-range details of the interaction potential. When the Fermi energy increases, we show that the trimer is further stabilized by particle-hole fluctuations over a considerable parameter region. We map out the phase diagram consisting of trimers, dimers, and polarons, and discuss the detection of these states using radio-frequency spectroscopy. The universal trimer revealed in our work is a direct manifestation of intriguing three-body correlations emerging from a many-body environment, which, in our case, is cooperatively supported by the single-particle spectral symmetry and the collective particle-hole excitations.


title: Encoding and Indexing of Lattice Codes

abstract: Encoding and indexing of lattice codes is generalized from self-similar lattice codes to a broader class of lattices. If coding lattice $\Lambda_{\textrm{c}}$ and shaping lattice $\Lambda_{\textrm{s}}$ satisfy $\Lambda_{\textrm{s}} \subseteq \Lambda_{\textrm{c}}$, then $\Lambda_{\textrm{c}} / \Lambda_{\textrm{s}}$ is a quotient group that can be used to form a (nested) lattice code $\mathcal{C}$. Conway and Sloane's method of encoding and indexing does not apply when the lattices are not self-similar. Results are provided for two classes of lattices. (1) If $\Lambda_{\textrm{c}}$ and $\Lambda_{\textrm{s}}$ both have generator matrices in triangular form, then encoding is always possible. (2) When $\Lambda_{\textrm{c}}$ and $\Lambda_{\textrm{s}}$ are described by full generator matrices, if a solution to a linear diophantine equation exists, then encoding is possible. In addition, special cases where $\mathcal{C}$ is a cyclic code are also considered. A condition for the existence of a group homomorphism between the information and $\mathcal{C}$ is given. The results are applicable to a variety of coding lattices, including Construction A, Construction D and LDLCs. The $D_4$, $E_8$ and convolutional code lattices are shown to be good choices for the shaping lattice. Thus, a lattice code $\mathcal{C}$ can be designed by selecting $\Lambda_{\textrm{c}}$ and $\Lambda_{\textrm{s}}$ separately, avoiding competing design requirements of self-similar lattice codes.


title: Unconventional non-Fermi liquid state caused by nematic criticality in cuprates

abstract: At the nematic quantum critical point that exists in the $d_{x^2-y^2}$-wave superconducting dome of cuprates, the massless nodal fermions interact strongly with the quantum critical fluctuation of nematic order. We study this problem by means of renormalization group approach and show that, the fermion damping rate $\left|\mathrm{Im}\Sigma^R(\omega)\right|$ vanishes more rapidly than the energy $\omega$ and the quasiparticle residue $Z_f\rightarrow 0$ in the limit $\omega \rightarrow 0$. The nodal fermions thus constitute an unconventional non-Fermi liquid that represents an even weaker violation of Fermi liquid theory than a marginal Fermi liquid. We also investigate the interplay of quantum nematic critical fluctuation and gauge-potential-like disorder, and find that the effective disorder strength flows to the strong coupling regime at low energies. Therefore, even an arbitrarily weak disorder can drive the system to become a disorder controlled diffusive state. Based on these theoretical results, we are able to understand a number of interesting experimental facts observed in curpate superconductors.


title: Repeated Multimarket Contact with Private Monitoring: A Belief-Free Approach

abstract: This paper studies repeated games where two players play multiple duopolistic games simultaneously (multimarket contact). A key assumption is that each player receives a noisy and private signal about the other's actions (private monitoring or observation errors). There has been no game-theoretic support that multimarket contact facilitates collusion or not, in the sense that more collusive equilibria in terms of per-market profits exist than those under a benchmark case of one market. An equilibrium candidate under the benchmark case is belief-free strategies. We are the first to construct a non-trivial class of strategies that exhibits the effect of multimarket contact from the perspectives of simplicity and mild punishment. Strategies must be simple because firms in a cartel must coordinate each other with no communication. Punishment must be mild to an extent that it does not hurt even the minimum required profits in the cartel. We thus focus on two-state automaton strategies such that the players are cooperative in at least one market even when he or she punishes a traitor. Furthermore, we identify an additional condition (partial indifference), under which the collusive equilibrium yields the optimal payoff.


title: A certification scheme for the boson sampler

abstract: Boson sampling can provide strong evidence that the computational power of a quantum computer outperforms a classical one via currently feasible linear optics experiments. However, how to identify an actual boson sampling device against any classical computing imposters is an ambiguous problem due to the computational complexity class in which boson sampling lies. The certification protocol based on bosonic bunching fails to rule out the so-called mean-field sampling. We propose a certification scheme to distinguish the boson sampling from the mean-field sampling for any random scattering matrices chosen via the Harr-measure. We numerically analyze our scheme and the influence of imperfect input states caused by non-simultaneous arrival photons.


title: Polynomial potentials determined from the energy spectrum and transition dipole moments that give the largest hyperpolarizabilities

abstract: We attempt to get a polynomial solution to the inverse problem, that is, to determine the form of the mechanical Hamiltonian when given the energy spectrum and transition dipole moment matrix. Our approach is to determine the potential in the form of a polynomial by finding an approximate solution to the inverse problem, then to determine the hyperpolarizability for that system's Hamiltonian. We find that the largest hyperpolarizabilities approach the apparent limit of previous potential optimization studies, but we do not find real potentials for the parameter values necessary to exceed this apparent limit. We also explore half potentials with positive exponent, which cannot be expressed as a polynomial except for integer powers. This yields a simple closed potential with only one parameter that scans nearly the full range of the intrinsic hyperpolarizability. The limiting case of vanishing exponent yields the largest intrinsic hyperpolarizability.


title: Static hyperpolarizability of space-fractional quantum systems

abstract: The nonlinear response is investigated for a space-fractional quantum mechanical system subject to a static electric field. Expressions for the polarizability and hyperpolarizability are derived from the fractional Schr\"{o}dinger equation in the particle-centric view for a three-level model constrained by the generalized Thomas-Rieke-Kuhn sum rule matrix elements. These expressions resemble those for a semi-relativistic system, where the reduction of the maximum linear and nonlinear static response is attributed to the functional dependence of the canonical position and momentum commutator. As examples, a clipped quantum harmonic oscillator potential and slant well potential are studied. The linear and first nonlinear response to the perturbing field are shown to decrease as the space fractionality is moved further below unity, which is caused by a suppression of the dipole transition moments. These results illustrate the importance of dimensionality and the order of the kinetic momentum operator which affect the strength of a system's optical response.


title: On spreading sequences and asymptotic structures

abstract: In the first part of the paper we study the structure of Banach spaces with a conditional spreading basis. The geometry of such spaces exhibit a striking resemblance to the geometry of James' space. Further, we show that the averaging projections onto subspaces spanned by constant coefficient blocks with no gaps between supports are bounded. As a consequence, every Banach space with a spreading basis contains a complemented subspace with an unconditional basis. This gives an affirmative answer to a question of H. Rosenthal. The second part contains two results on Banach spaces $X$ whose asymptotic structures are closely related to $c_0$ and do not contain a copy of $\ell_1$: i) Suppose $X$ has a normalized weakly null basis $(x_i)$ and every spreading model $(e_i)$ of a normalized weakly null block basis satisfies $\|e_1-e_2\|=1$. Then some subsequence of $(x_i)$ is equivalent to the unit vector basis of $c_0$. This generalizes a similar theorem of Odell and Schlumprecht, and yields a new proof of the Elton-Odell theorem on the existence of infinite $(1+\varepsilon)$-separated sequences in the unit sphere of an arbitrary infinite dimensional Banach space. ii) Suppose that all asymptotic models of $X$ generated by weakly null arrays are equivalent to the unit vector basis of $c_0$. Then $X^*$ is separable and $X$ is asymptotic-$c_0$ with respect to a shrinking basis $(y_i)$ of $Y\supseteq X$.


title: Easy Axis orientation of Ferromagnetic Films as Described by Third Order Perturbed Heisenberg Hamiltonian

abstract: The magnetic easy axis orientation was studied by the third order perturbed Heisenberg Hamiltonian. Ferromagnetic CoPt/AlN multilayer thin films with number of layers N=11, 16 and 21 synthesized on fused quartz substrates using dc magnetron sputtering technique have been employed as experimental data. According to experimental research performed by some other researchers, easy axis of these fcc structured ferromagnetic films is oriented in the plane of the film at one particular temperature. Average value of out of plane spin component was plotted against temperature in order to determine the spin reorientation temperature. The spin reorientation temperature was highly sensitive to 2nd order magnetic anisotropy constant.


title: Spin Coated Multilayered Cupric Oxide Thin Films and their structural properties

abstract: Sol-gel spin coating technique was employed to synthesize CuO thin films at 1500 rpm, 2200 rpm and 2400 rpm for 30 seconds, and subsequently annealed at 150-550{\deg}C for 1 hour. Multi-layered CuO thin films with 3 and 5 layers were prepared. These thin films were characterized using XRD, FTIR and polarizing light microscopy. The XRD and FTIR analysis confirmed the crystallization of CuO phase in thin films annealed above 350 {\deg}C, and corresponding crystallite sizes were observed to be increasing with the annealing temperature. The Scherrer formula was applied for (111) and peaks of XRD patterns of CuO thin films. According to the data of peak, average crystallite size increased from 0.801 to 55.2 0A as annealing temperature was increased from 350 to 500 0C.


title: Demagnetization factor dependence of energy of thick ferromagnetic films

abstract: Second order perturbed Heisenberg Hamiltonian was employed to study the variation of energy of ferromagnetic thick films with demagnetization factor. Under the influence of demagnetization factor given by =6.6, the sc(001) film with 10000 layers can be easily oriented in 0.6 radians direction for the values of energy parameters used in this report. Easy direction of thick fcc(001) film with 10000 layers was determined at 0.66 radians, when the demagnetization factor is given by =2.6. The energy of sc(001) thick film is larger than that of fcc(001) thick film. But the energy curve of fcc(001) thick film is smoother than that of sc(001).


title: Analysis and Probability on Infinite-Dimensional Spaces

abstract: These lecture notes contain an introduction to some of the fundamental ideas and results in analysis and probability on infinite-dimensional spaces, mainly Gaussian measures on Banach spaces. They originated as the notes for a topics course at Cornell University in 2011.


title: Cluster Sampling Filters for Non-Gaussian Data Assimilation

abstract: This paper presents a fully non-Gaussian version of the Hamiltonian Monte Carlo (HMC) sampling filter. The Gaussian prior assumption in the original HMC filter is relaxed. Specifically, a clustering step is introduced after the forecast phase of the filter, and the prior density function is estimated by fitting a Gaussian Mixture Model (GMM) to the prior ensemble. Using the data likelihood function, the posterior density is then formulated as a mixture density, and is sampled using a HMC approach (or any other scheme capable of sampling multimodal densities in high-dimensional subspaces). The main filter developed herein is named "cluster HMC sampling filter" (ClHMC). A multi-chain version of the ClHMC filter, namely MC-ClHMC is also proposed to guarantee that samples are taken from the vicinities of all probability modes of the formulated posterior. The new methodologies are tested using a quasi-geostrophic (QG) model with double-gyre wind forcing and bi-harmonic friction. Numerical results demonstrate the usefulness of using GMMs to relax the Gaussian prior assumption in the HMC filtering paradigm.


title: Tidal deformability and I-Love-Q relations for gravastars with polytropic thin shells

abstract: The moment of inertia, the spin-induced quadrupole moment, and the tidal Love number of neutron-star and quark-star models are related through some relations which depend only mildly on the stellar equation of state. These "I-Love-Q" relations have important implications for astrophysics and gravitational-wave astronomy. An interesting problem is whether similar relations hold for other compact objects and how they approach the black-hole limit. To answer these questions, here we investigate the deformation properties of a large class of thin-shell gravastars, which are exotic compact objects that do not possess an event horizon nor a spacetime singularity. Working in a small-spin and small-tidal field expansion, we calculate the moment of inertia, the quadrupole moment, and the (quadrupolar electric) tidal Love number of gravastars with a polytropic thin shell. The I-Love-Q relations of a thin-shell gravastar are drastically different from those of an ordinary neutron star. The Love number and quadrupole moment are negative for less compact models and the I-Love-Q relations continuously approach the black-hole limit. We consider a variety of polytropic equations of state for the matter shell, and find no universality in the I-Love-Q relations. However, we cannot deny the possibility that, similarly to the neutron-star case, an approximate universality might emerge for a limited class of equations of state. Finally, we discuss how a measurement of the tidal deformability from the gravitational-wave detection of a compact-binary inspiral can be used to constrain exotic compact objects like gravastars.


title: Estimating Uncertainty Online Against an Adversary

abstract: Assessing uncertainty is an important step towards ensuring the safety and reliability of machine learning systems. Existing uncertainty estimation techniques may fail when their modeling assumptions are not met, e.g. when the data distribution differs from the one seen at training time. Here, we propose techniques that assess a classification algorithm's uncertainty via calibrated probabilities (i.e. probabilities that match empirical outcome frequencies in the long run) and which are guaranteed to be reliable (i.e. accurate and calibrated) on out-of-distribution input, including input generated by an adversary. This represents an extension of classical online learning that handles uncertainty in addition to guaranteeing accuracy under adversarial assumptions. We establish formal guarantees for our methods, and we validate them on two real-world problems: question answering and medical diagnosis from genomic data.


title: A Robust Measure of Dark Matter Halo Ellipticities

abstract: In simulations of the standard cosmological model (LCDM), dark matter halos are aspherical. However, so far the asphericity of an individual galaxy's halo has never been robustly established. We use the Jeans equations to define a quantity which robustly characterizes a deviation from rotational symmetry. This quantity is essentially the gravitational torque and it roughly provides the ellipticity projected along the line of sight. We show that the Thirty Meter Telescope (TMT), with a single epoch of observations combined with those of the Gaia space telescope, can distinguish the LCDM value of the torque from zero for each Sculptor-like dwarf galaxy with a confidence between 0 and 5 sigma, depending on the orientation of each halo. With two epochs of observations, TMT will achieve a 5 sigma discovery of torque and so asphericity for most such galaxies, and so will provide a new and powerful test of the LCDM model.


title: Distributional It\^o's Formula and Regularization of Generalized Wiener Functionals

abstract: We investigate Bochner integrabilities of generalized Wiener functionals. We further formulate an It\^o formula for a diffusion in a distributional setting, and apply to investigate differentiability-index $s$ and integrability-index $p \geqslant 2$ for which the Bochner integral belongs to $\mathbb{D}_{p}^{s}$.


title: Accelerating Eulerian Fluid Simulation With Convolutional Networks

abstract: Efficient simulation of the Navier-Stokes equations for fluid flow is a long standing problem in applied mathematics, for which state-of-the-art methods require large compute resources. In this work, we propose a data-driven approach that leverages the approximation power of deep-learning with the precision of standard solvers to obtain fast and highly realistic simulations. Our method solves the incompressible Euler equations using the standard operator splitting method, in which a large sparse linear system with many free parameters must be solved. We use a Convolutional Network with a highly tailored architecture, trained using a novel unsupervised learning framework to solve the linear system. We present real-time 2D and 3D simulations that outperform recently proposed data-driven methods; the obtained results are realistic and show good generalization properties.


title: Pretty Good State Transfer on Circulant Graphs

abstract: Let $G$ be a graph with adjacency matrix $A$. The transition matrix of $G$ relative to $A$ is defined by $H(t):=\exp{\left(-itA\right)},\;t\in\Rl$. The graph $G$ is said to admit pretty good state transfer between a pair of vertices $u$ and $v$ if there exists a sequence of real numbers $\{t_k\}$ and a complex number $\gamma$ of unit modulus such that $\lim\limits_{k\rightarrow\infty} H(t_k) e_u=\gamma e_v.$ We find that pretty good state transfer occurs in a cycle on $n$ vertices if and only if $n$ is a power of two and it occurs between every pair of antipodal vertices. In addition, we look for pretty good state transfer in more general circulant graphs. We prove that union (edge disjoint) of an integral circulant graph with a cycle, each on $2^k$ $(k\geq 3)$ vertices, admits pretty good state transfer. The complement of such union also admits pretty good state transfer. This enables us to find some non-circulant graphs admitting pretty good state transfer. Among the complement of cycles we also find a class of graphs not exhibiting pretty good state transfer.


title: The strong Pytkeev$^*$ property of topological spaces

abstract: Modifying the known definition of a Pytkeev network, we introduce a notion of Pytkeev$^*$ network and prove that a topological space has a countable Pytkeev network if and only if $X$ is countably tight and has a countable Pykeev$^*$ network. In the paper we establish some stability properties of the class of topological spaces with the strong Pytkeev$^*$-property.


title: The Elekes-Szab\'o Theorem in four dimensions

abstract: Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our recent improved analysis of the original Elekes-Szab\'o theorem in three dimensions. We give three applications: an expansion bound for three-variable real polynomials that do not have a special form, a bound on the number of coplanar quadruples on a space curve that is neither planar nor quartic, and a bound on the number of four-point circles on a plane curve that has degree at least five.


title: Large deviations for drift parameter estimator of mixed fractional Ornstein--Uhlenbeck process

abstract: We investigate large deviation properties of the maximum likelihood drift parameter estimator for Ornstein--Uhlenbeck process driven by mixed fractional Brownian motion.


title: Non-thermal production and escape of OH from the upper atmosphere of Mars

abstract: We present a theoretical analysis of formation and kinetics of hot OH molecules in the upper atmosphere of Mars produced in reactions of thermal molecular hydrogen and energetic oxygen atoms. Two major sources of energetic O considered are the photochemical production, via dissociative recombination of O$_{2}^{+}$ ions, and energizing collisions with fast atoms produced by the precipitating Solar Wind (SW) ions, mostly H$^+$ and He$^{2+}$, and energetic neutral atoms (ENAs) originating in the charge-exchange collisions between the SW ions and atmospheric gases. Energizing collisions of O with atmospheric secondary hot atoms, induced by precipitating SW ions and ENAs, are also included in our consideration. The non-thermal reaction O + H$_2(v,j) \rightarrow$ H + OH$(v',j')$ is described using recent quantum-mechanical state-to-state cross sections, which allow us to predict non-equilibrium distributions of excited rotational and vibrational states $(v',j')$ of OH and expected emission spectra. A fraction of produced translationally hot OH is sufficiently energetic to overcome Mars' gravitational potential and escape into space, contributing to the hot corona. We estimate the total escape flux from dayside of Mars for low solar activity conditions at about $5\times10^{22}$ s$^{-1}$, or about 0.1\% of the total escape rate of atomic O and H. The described non-thermal OH production mechanism is general and expected to contribute to the evolution of atmospheres of the planets, satellites, and exoplanets with similar atmospheric compositions.


title: $\infty$-constructible Subsemigroups of $M_2(\mathbb{C})$

abstract: A description of all subsemigroups of $M_2(\mathbb{C})$ which are given by a countable intersection of constructible sets is given. Furthermore, it is shown that they are intersections of constructible semigroups.


title: On fractal faithfulness and fine fractal properties of random variables with independent $\boldsymbol{Q^*}$-digits

abstract: We develop a new technique to prove the faithfulness of the Hausdorff--Besicovitch dimension calculation of the family $\varPhi(Q^*)$ of cylinders generated by $Q^*$-expansion of real numbers. All known sufficient conditions for the family $\varPhi(Q^*)$ to be faithful for the Hausdorff--Besicovitch dimension calculation use different restrictions on entries $q_{0k}$ and $q_{(s-1)k}$. We show that these restrictions are of purely technical nature and can be removed. Based on these new results, we study fine fractal properties of random variables with independent $Q^*$-digits.


title: Explicit reconstruction of the entanglement wedge

abstract: The problem of how the boundary encodes the bulk in AdS/CFT is still a subject of study today. One of the major issues that needs more elucidation is the problem of subregion duality; what information of the bulk a given boundary subregion encodes. Although the proof given by Dong, Harlow, and Wall states that the entanglement wedge of the bulk should be encoded in boundary subregions, no explicit procedure for reconstructing the entanglement wedge was given so far. In this paper, mode sum approach to obtaining smearing functions for a single bulk scalar is generalised to include bulk reconstruction in the entanglement wedge of boundary subregions. It is generally expectated that solutions to the wave equation on a complicated coordinate patch are needed, but this hard problem has been transferred to a less hard but tractable problem of matrix inversion.


title: Standard Rothe Tableaux

abstract: Edelman and Greene constructed a bijection between the set of standard Young tableaux and the set of balanced Young tableaux of the same shape. Fomin, Greene, Reiner and Shimozono introduced the notion of balanced Rothe tableaux of a permutation $w$, and established a bijection between the set of balanced Rothe tableaux of $w$ and the set of reduced words of $w$. In this paper, we introduce the notion of standard Rothe tableaux of $w$, which are tableaux obtained by labelling the cells of the Rothe diagram of $w$ such that each row and each column is increasing. We show that the number of standard Rothe tableaux of $w$ is smaller than or equal to the number of balanced Rothe tableaux of $w$, with equality if and only if $w$ avoids the four patterns 2413, 2431, 3142 and 4132. When $w$ is a dominant permutation, i.e., 132-avoiding, the Rothe diagram of $w$ is a Young diagram, so this reduces to the result of Edelman and Greene.


title: Cloud Empowered Self-Managing WSNs

abstract: Wireless Sensor Networks (WSNs) are composed of low powered and resource-constrained wireless sensor nodes that are not capable of performing high-complexity algorithms. Integrating these networks into the Internet of Things (IoT) facilitates their real-time optimization based on remote data visualization and analysis. This work describes the design and implementation of a scalable system architecture that integrates WSNs and cloud services to work autonomously in an IoT environment. The implementation relies on Software Defined Networking features to simplify the WSN management and exploits data analytics tools to execute a reinforcement learning algorithm that takes decisions based on the environment's evolution. It can automatically configure wireless sensor nodes to measure and transmit the temperature only at periods when the environment changes more often. Without any human intervention, the system could reduce nearly 85% the number of transmissions, showing the potential of this mechanism to extend WSNs lifetime without compromising the data quality. Besides attending to similar use cases, such a WSN autonomic management could promote a new business model to offer sensing tasks as a service, which is also introduced in this work.


title: On the tensor product of linear sites and Grothendieck categories

abstract: We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product of locally presentable linear categories, and that the tensor product of locally coherent Grothendieck categories is locally coherent if and only if the Deligne tensor product of their abelian categories of finitely presented objects exists. We describe the tensor product of non-commutative projective schemes in terms of Z-algebras, and show that for projective schemes our tensor product corresponds to the usual product scheme.


title: Existence results for double-phase problems via Morse theory

abstract: We obtain nontrivial solutions for a class of double-phase problems using Morse theory. In the absence of a direct sum decomposition, we use a cohomological local splitting to get an estimate of the critical groups at zero.


title: Approximations for a solution to stochastic heat equation with stable noise

abstract: We consider a Cauchy problem for stochastic heat equation driven by a real harmonizable fractional stable process $Z$ with Hurst parameter $H>1/2$ and stability index $\alpha>1$. It is shown that the approximations for its solution, which are defined by truncating the LePage series for $Z$, converge to the solution.


title: Characterizing Driving Styles with Deep Learning

abstract: Characterizing driving styles of human drivers using vehicle sensor data, e.g., GPS, is an interesting research problem and an important real-world requirement from automotive industries. A good representation of driving features can be highly valuable for autonomous driving, auto insurance, and many other application scenarios. However, traditional methods mainly rely on handcrafted features, which limit machine learning algorithms to achieve a better performance. In this paper, we propose a novel deep learning solution to this problem, which could be the first attempt of extending deep learning to driving behavior analysis based on GPS data. The proposed approach can effectively extract high level and interpretable features describing complex driving patterns. It also requires significantly less human experience and work. The power of the learned driving style representations are validated through the driver identification problem using a large real dataset.


title: On the plus and the minus Selmer groups for elliptic curves at supersingular primes

abstract: Let $p$ be an odd prime number, $E$ an elliptic curve defined over a number field. Suppose that $E$ has good reduction at any prime lying above $p$, and has supersingular reduction at some prime lying above $p$. In this paper, we construct the plus and the minus Selmer groups of $E$ over the cyclotomic $\mathbb Z_p$-extension in a more general setting than that of B.D. Kim, and give a generalization of a result of B.D. Kim on the triviality of finite $\Lambda$-submodules of the Pontryagin duals of the plus and the minus Selmer groups, where $\Lambda$ is the Iwasawa algebra of the Galois group of the $\mathbb Z_p$-extension.


title: Calcul des op\'erateurs de Hecke sur les classes d'isomorphisme de r\'eseaux pairs de d\'eterminant 2 en dimension 23 et 25

abstract: In this article, we compute the Hecke operator $\mathrm{T}_2$, associated to the Kneser $2$-neighbours, defined on the isomorphic classes of even lattices of determinant 2, in dimension 23 and 25. In a previous article, we computed some properties of the Satake parameters of the automorphic representations for the linear groups discovered by Chenevier and Renard. Thanks to these results, we deduce the value of many other Hecke operators. This enables us to compute for every prime $p$ the Kneser graph associated to the $p$-neighbours of lattices in dimension 23 and 25. From our results, we improve Harder's conjecture, and also prove many other congruences involving the Satake parameters of the automorphic representations for the linear groups discovered by Chenevier and Renard.


title: Large deviation principle for one-dimensional SDEs with discontinuous coefficients

abstract: We establish the large deviation principle for solutions of one-dimensional SDEs with discontinuous coefficients. The main statement is formulated in a form similar to the classical Wentzel--Freidlin theorem, but under the considerably weaker assumption that the coefficients have no discontinuities of the second kind.


title: Multiple-Instance Logistic Regression with LASSO Penalty

abstract: In this work, we consider a manufactory process which can be described by a multiple-instance logistic regression model. In order to compute the maximum likelihood estimation of the unknown coefficient, an expectation-maximization algorithm is proposed, and the proposed modeling approach can be extended to identify the important covariates by adding the coefficient penalty term into the likelihood function. In addition to essential technical details, we demonstrate the usefulness of the proposed method by simulations and real examples.


title: Infinite Products of Random Isotropically Distributed Matrices

abstract: Statistical properties of infinite products of random isotropically distributed matrices are investigated. Both for continuous processes with finite correlation time and discrete sequences of independent matrices, a formalism that allows to calculate easily the Lyapunov spectrum and generalized Lyapunov exponents is developed. This problem is of interest to probability theory, statistical characteristics of matrix T-exponentials are also needed for turbulent transport problems, dynamical chaos and other parts of statistical physics.


title: Breakdown of a Magnetization Plateau in Ferrimagnetic Mixed Spin-(1/2,S) Heisenberg Chains Due to a Quantum Phase Transition Towards the Luttinger Spin Liquid

abstract: Magnetization curves of the ferrimagnetic mixed spin-(1/2,S) Heisenberg chains are calculated with the help of density-matrix renormalization group method for several quantum spin numbers S=1, 3/2, 2 and 5/2. It is shown that the ferrimagnetic mixed spin-(1/2,S) Heisenberg chains exhibit irrespective of the spin value S exactly one intermediate magnetization plateau, which can be identified with the gapped Lieb-Mattis ferrimagnetic ground state. The magnetization plateau due to the Lieb-Mattis ferrimagnetism breaks down at a quantum phase transition towards the Luttinger spin liquid, which is characterized by a continuous change of the magnetization with the magnetic field until another quantum critical point is reached at the saturation field.


title: The Lax-Milgram Theorem. A detailed proof to be formalized in Coq

abstract: To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method. The Lax-Milgram theorem may be seen as one of those theoretical cornerstones: under some completeness and coercivity assumptions, it states existence and uniqueness of the solution to the weak formulation of some boundary value problems. The purpose of this document is to provide the formal proof community with a very detailed pen-and-paper proof of the Lax-Milgram theorem.


title: Randomly stopped sums with consistently varying distributions

abstract: Let $\{\xi_1,\xi_2,\ldots\}$ be a sequence of independent random variables, and $\eta$ be a counting random variable independent of this sequence. We consider conditions for $\{\xi_1,\xi_2,\ldots\}$ and $\eta$ under which the distribution function of the random sum $S_{\eta}=\xi_1+\xi_2+\cdots+\xi_{\eta}$ belongs to the class of consistently varying distributions. In our consideration, the random variables $\{\xi_1,\xi_2,\ldots\}$ are not necessarily identically distributed.


title: Measurements of CPT Violation at LHCb

abstract: Recent measurements of CPT violation and Lorentz symmetry breaking in $B^0-\bar{B}^0$ mixing and $B^0_s-\bar{B}^0_s$ mixing, obtained from data taken by the LHCb experiment, are highlighted. The results are expressed in terms of the Standard-Model Extension (SME) coefficients, which incorporate both CPT and Lorentz violation. Due to the large boost of the $B$ mesons at LHCb, the SME coefficients can be determined with high precision. The bounds on these coefficients are improved significantly compared to previous measurements.


title: Fractional-charge and fractional-spin errors in range-separated density-functional theory

abstract: We investigate fractional-charge and fractional-spin errors in range-separated density-functional theory. Specifically, we consider the range-separated hybrid (RSH) method which combines long-range Hartree-Fock (HF) exchange with a short-range semilocal exchange-correlation density functional, and the RSH+MP2 method which adds long-range second-order M{{\o}}ller-Plesset (MP2) correlation. Results on atoms and molecules show that the fractional-charge errors obtained in RSH are much smaller than in the standard Kohn-Sham (KS) scheme applied with semilocal or hybrid approximations, and also generally smaller than in the standard HF method. The RSH+MP2 method tends to have smaller fractional-charge errors than standard MP2 for the most diffuse systems, but larger fractional-charge errors for the more compact systems. Even though the individual contributions to the fractional-spin errors in the H atom coming from the short-range exchange and correlation density-functional approximations are smaller than the corresponding contributions for the full-range exchange and correlation density-functional approximations, RSH gives fractional-spin errors that are larger than in the standard KS scheme and only slightly smaller than in standard HF. Adding long-range MP2 correlation only leads to infinite fractional-spin errors. This work clarifies the successes and limitations of range-separated density-functional theory approaches for eliminating self-interaction and static-correlation errors.


title: Spatial variations of PAH properties in M17SW revealed by Spitzer/IRS spectral mapping

abstract: We present $Spitzer$/IRS mid-infrared spectral maps of the Galactic star-forming region M17 as well as IRSF/SIRIUS Br$\gamma$ and Nobeyama 45-m/FOREST $^{13}$CO ($J$=1--0) maps. The spectra show prominent features due to polycyclic aromatic hydrocarbons (PAHs) at wavelengths of 6.2, 7.7, 8.6, 11.3, 12.0, 12.7, 13.5, and 14.2 $\mu$m. We find that the PAH emission features are bright in the region between the HII region traced by Br$\gamma$ and the molecular cloud traced by $^{13}$CO, supporting that the PAH emission originates mostly from photo-dissociation regions. Based on the spatially-resolved $Spitzer$/IRS maps, we examine spatial variations of the PAH properties in detail. As a result, we find that the interband ratio of PAH 7.7 $\mu$m/PAH 11.3 $\mu$m varies locally near M17SW, but rather independently of the distance from the OB stars in M17, suggesting that the degree of PAH ionization is mainly controlled by local conditions rather than the global UV environments determined by the OB stars in M17. We also find that the interband ratios of the PAH 12.0 $\mu$m, 12.7 $\mu$m, 13.5 $\mu$m, and 14.2 $\mu$m features to the PAH 11.3 $\mu$m feature are high near the M17 center, which suggests structural changes of PAHs through processing due to intense UV radiation, producing abundant edgy irregular PAHs near the M17 center.


title: Lipschitz regularity results for nonlinear strictly elliptic equations and applications

abstract: Most of lipschitz regularity results for nonlinear strictly elliptic equations are obtained for a suitable growth power of the nonlinearity with respect to the gradient variable (subquadratic for instance). For equations with superquadratic growth power in gradient, one usually uses weak Bernstein-type arguments which require regularity and/or convex-type assumptions on the gradient nonlinearity. In this article, we obtain new Lipschitz regularity results for a large class of nonlinear strictly elliptic equations with possibly arbitrary growth power of the Hamiltonian with respect to the gradient variable using some ideas coming from Ishii-Lions' method. We use these bounds to solve an ergodic problem and to study the regularity and the large time behavior of the solution of the evolution equation.


title: Unraveling the dominant phonon scattering mechanism in thermoelectric compound ZrNiSn

abstract: Determining defect types and concentrations remains a big challenge of semiconductor materials science. By using ab-initio thermal conductivity calculations we reveal that Ni/vacancy antisites, and not the previously claimed Sn/Zr antisites, are the dominant defects affecting thermal transport in half-Heusler compound ZrNiSn. Our calculations correctly predict the thermal conductivity dependence with temperature and concentration, in quantitative agreement with published experimental results. Furthermore, we find a characteristic proportionality between phonon-antisite scattering rates and the sixth power of phonon frequency, for which we provide an analytic derivation. These results suggest that thermal conductivity measurements in combination with ab-initio calculations can be used to quantitatively assess defect types and concentrations in semiconductors.


title: First Detection of Cosmic Microwave Background Lensing and Lyman-{\alpha} Forest Bispectrum

abstract: We present the first detection of a correlation between the Lyman-$\alpha$ forest and cosmic microwave background (CMB) lensing. For each Lyman-$\alpha$ forest in SDSS-III/BOSS DR12, we correlate the one-dimensional power spectrum with the CMB lensing convergence on the same line of sight from Planck. This measurement constitutes a position-dependent power spectrum, or a squeezed bispectrum, and quantifies the non-linear response of the Lyman-$\alpha$ forest power spectrum to a large-scale overdensity. The signal is measured at 5~$\sigma$ and is consistent with the $\Lambda$CDM expectation. We measure the linear bias of the Lyman-$\alpha$ forest with respect to the dark matter distribution, and constrain a combination of non-linear terms including the non-linear bias. This new observable provides a consistency check for the Lyman-$\alpha$ forest as a large-scale structure probe and tests our understanding of the relation between intergalactic gas and dark matter. In the future, it could be used to test hydrodynamical simulations and calibrate the relation between the Lyman-$\alpha$ forest and dark matter.


title: San Francisco Crime Classification

abstract: San Francisco Crime Classification is an online competition administered by Kaggle Inc. The competition aims at predicting the future crimes based on a given set of geographical and time-based features. In this paper, I achieved a an accuracy that ranks at top %18, as of May 19th, 2016. I will explore the data, and explain in details the tools I used to achieve that result.


title: Hamiltonian group actions on exact symplectic manifolds with proper momentum maps are standard

abstract: We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable.


title: Quark mass dependence of H-dibaryon

abstract: The H-dibaryon is the exotic multiquark state with baryon number 2 and strangeness $-2$. The existence of the deeply bound H-dibaryon is excluded by the observation of the double hypernuclei. However the recent Lattice QCD simulations have found the bound state below the $\Lambda\Lambda$ threshold with large quark masses by HALQCD and NPLQCD collaborations. In this talk, the quark mass dependence of the H-dibaryon mass is discussed using the pionless effective field theory (EFT) where a bare H-dibaryon field is coupled with two-baryon states. We determine the parameters in this theory by fitting the recent Lattice QCD results in the SU(3) limit. As a result, we obtain the attractive scattering length at the physical point where the H-dibaryon is unbound.


title: Private Multi-party Matrix Multiplication and Trust Computations

abstract: This paper deals with distributed matrix multiplication. Each player owns only one row of both matrices and wishes to learn about one distinct row of the product matrix, without revealing its input to the other players. We first improve on a weighted average protocol, in order to securely compute a dot-product with a quadratic volume of communications and linear number of rounds. We also propose a protocol with five communication rounds, using a Paillier-like underlying homomorphic public key cryptosystem, which is secure in the semi-honest model or secure with high probability in the malicious adversary model. Using ProVerif, a cryptographic protocol verification tool, we are able to check the security of the protocol and provide a countermeasure for each attack found by the tool. We also give a randomization method to avoid collusion attacks. As an application, we show that this protocol enables a distributed and secure evaluation of trust relationships in a network, for a large class of trust evaluation schemes.


title: A new relativistic hydrodynamics code for high-energy heavy-ion collisions

abstract: We construct a new Godunov type relativistic hydrodynamics code in Milne coordinates, using a Riemann solver based on the two-shock approximation which is stable under the existence of large shock waves. We check the correctness of the numerical algorithm by comparing numerical calculations and analytical solutions in various problems, such as shock tubes, expansion of matter into the vacuum, the Landau-Khalatnikov solution, and propagation of fluctuations around Bjorken flow and Gubser flow. We investigate the energy and momentum conservation property of our code in a test problem of longitudinal hydrodynamic expansion with an initial condition for high-energy heavy-ion collisions. We also discuss numerical viscosity in the test problems of expansion of matter into the vacuum and conservation properties. Furthermore, we discuss how the numerical stability is affected by the source terms of relativistic numerical hydrodynamics in Milne coordinates.


title: Simulation paradoxes related to a fractional Brownian motion with small Hurst index

abstract: We consider the simulation of sample paths of a fractional Brownian motion with small values of the Hurst index and estimate the behavior of the expected maximum. We prove that, for each fixed $N$, the error of approximation $\mathbf {E}\max_{t\in[0,1]}B^H(t)-\mathbf {E}\max_{i=\overline{1,N}}B^H(i/N)$ grows rapidly to $\infty$ as the Hurst index tends to 0.


title: The HADES RV Programme with HARPS-N@TNG - GJ 3998: An early M-dwarf hosting a system of Super-Earths

abstract: Context. M dwarfs are considered ideal targets for Doppler radial velocity searches. Nonetheless, the statistics of frequency of low-mass planets hosted by low mass stars remains poorly constrained. Aims. Our M-dwarf radial velocity monitoring with HARPS-N can provide a major contribution to the widening of the current statistics through the in-depth analysis of accurate radial velocity observations in a narrow range of spectral sub-types (79 stars, between dM0 to dM3). Spectral accuracy will enable us to reach the precision needed to detect small planets with a few earth masses. Our survey will bring a contribute to the surveys devoted to the search for planets around M-dwarfs, mainly focused on the M-dwarf population of the northern emisphere, for which we will provide an estimate of the planet occurence. Methods. We present here a long duration radial velocity monitoring of the M1 dwarf star GJ 3998 with HARPS-N to identify periodic signals in the data. Almost simultaneous photometric observations were carried out within the APACHE and EXORAP programs to characterize the stellar activity and to distinguish from the periodic signals those due to activity and to the presence of planetary companions. Results. The radial velocities have a dispersion in excess of their internal errors due to at least four superimposed signals, with periods of 30.7, 13.7, 42.5 and 2.65 days. The analysis of spectral indices based on Ca II H & K and Halpha lines demonstrates that the periods of 30.7 and 42.5 days are due to chromospheric inhomogeneities modulated by stellar rotation and differential rotation. The shorter periods of 13.74 +/- 0.02 d and 2.6498 +/- 0.0008 d are well explained with the presence of two planets, with minimum masses of 6.26 +/- 0.79 MEarth and 2.47 +/- 0.27 MEarth and distances of 0.089 AU and 0.029 AU from the host, respectively.


title: Optimal decay rate for the wave equation on a square with constant damping on a strip

abstract: We consider the damped wave equation with Dirichlet boundary conditions on the unit square. We assume the damping to be a characteristic function of a strip. We prove the exact $t^{-4/3}$-decay rate for the energy of classical solutions. This answers a question of Anantharaman and L\'eautaud (2014).


title: Relative $\dbar$-complex and its curvature properties

abstract: We shall define the relative $\dbar$-complex and study the curvature properties of the associated vector bundles. As an application, we shall prove that Yamaguchi's theory on subharmonicity of the Green operator can be seen as a curvature property of the quotient bundle. A short survey of other recent applications will also be given in this paper.


title: Tunable symmetries of integer and fractional quantum Hall phases in heterostructures with multiple Dirac bands

abstract: The co-presence of multiple Dirac bands in few-layer graphene leads to a rich phase diagram in the quantum Hall regime. Using transport measurements, we map the phase diagram of BN-encapsulated ABA-stacked trilayer graphene as a function charge density n, magnetic field B and interlayer displacement field D, and observe transitions among states with different spin, valley, orbital and parity polarizations. Such rich pattern arises from crossings between Landau levels from different subbands, which reflect the evolving symmetries that are tunable in situ. At D=0, we observe fractional quantum Hall (FQH) states at filling factors 2/3 and -11/3. Unlike those in bilayer graphene, these FQH states are destabilized by a small interlayer potential that hybridizes the different Dirac bands.


title: Sardinia Radio Telescope wide-band spectral-polarimetric observations of the galaxy cluster 3C 129

abstract: We present new observations of the galaxy cluster 3C 129 obtained with the Sardinia Radio Telescope in the frequency range 6000-7200 MHz, with the aim to image the large-angular-scale emission at high-frequency of the radio sources located in this cluster of galaxies. The data were acquired using the recently-commissioned ROACH2-based backend to produce full-Stokes image cubes of an area of 1 deg x 1 deg centered on the radio source 3C 129. We modeled and deconvolved the telescope beam pattern from the data. We also measured the instrumental polarization beam patterns to correct the polarization images for off-axis instrumental polarization. Total intensity images at an angular resolution of 2.9 arcmin were obtained for the tailed radio galaxy 3C 129 and for 13 more sources in the field, including 3C 129.1 at the galaxy cluster center. These data were used, in combination with literature data at lower frequencies, to derive the variation of the synchrotron spectrum of 3C 129 along the tail of the radio source. If the magnetic field is at the equipartition value, we showed that the lifetimes of radiating electrons result in a radiative age for 3C 129 of t_syn = 267 +/- 26 Myrs. Assuming a linear projected length of 488 kpc for the tail, we deduced that 3C 129 is moving supersonically with a Mach number of M=v_gal/c_s=1.47. Linearly polarized emission was clearly detected for both 3C 129 and 3C 129.1. The linear polarization measured for 3C 129 reaches levels as high as 70% in the faintest region of the source where the magnetic field is aligned with the direction of the tail.


title: Can a quantum state over time resemble a quantum state at a single time?

abstract: Standard quantum theory represents a composite system at a given time by a joint state, but it does not prescribe a joint state for a composite of systems at different times. If a more even-handed treatment of space and time is possible, then such a joint state should be definable, and one might expect it to satisfy the following five conditions: that it is a Hermitian operator on the tensor product of the single-time Hilbert spaces; that it represents probabilistic mixing appropriately; that it has the appropriate classical limit; that it has the appropriate single-time marginals; that composing over multiple time-steps is associative. We show that no construction satisfies all these requirements. If an even-handed treatment of space and time is possible, therefore, one or more axioms must be dropped. In particular, if Hermiticity is dropped, then we show that the construction is fixed uniquely up to an ordering convention.


title: Boundaries Determine the Formation Energies of Lattice Defects in Two-Dimensional Buckled Materials

abstract: Lattice defects are inevitably present in two-dimensional materials, with direct implications on their physical and chemical properties. We show that the formation energy of a lattice defect in buckled two-dimensional crystals is not uniquely defined as it takes different values for different boundary conditions even in the thermodynamic limit, as opposed to their perfectly planar counterparts. Also, the approach to the thermodynamic limit follows a different scaling: inversely proportional to the logaritm of the system size for buckled materials, rather than the usual power-law approach. In graphene samples of $\sim 1000$ atoms, different boundary conditions can cause differences exceeding 10 eV. Besides presenting numerical evidence in simulations, we show that the universal features in this behavior can be understood with simple bead-spring models. Fundamentally, our findings imply that it is necessary to specify the boundary conditions for the energy of the lattice defects in the buckled two-dimensional crystals to be uniquely defined, and this may explain the lack of agreement in the reported values of formation energies in graphene. We argue that boundary conditions may also have impact on other physical observables such as the melting temperature.


title: Anisotropic Phonon Transport, Thermal Expansion and Thermomechanics in Monolayer Td-WTe2

abstract: In this paper, we elaborately investigate the phonon transport, thermal expansion and thermomechanics of monolayer Td-WTe2 by using first-principles.


title: Decays of the vector glueball

abstract: We calculate two- and three-body decays of the (lightest) vector glueball into (pseudo)scalar, (axial-)vector, as well as pseudovector and excited vector mesons\textbf{ }in the framework of a model of QCD. While absolute values of widths cannot be predicted because the corresponding coupling constants are unknown, some interesting branching ratios can be evaluated\textbf{ }by setting the mass of the yet hypothetical vector glueball to $3.8$ GeV as predicted by quenched Lattice QCD\textbf{.} We find that the decay mode $\omega\pi\pi$ should be one of the largest (both through the decay chain $\mathcal{O}\rightarrow b_{1}\pi\rightarrow$ $\omega\pi\pi$ and through the direct coupling $\mathcal{O}\rightarrow\omega\pi\pi$)$.$ Similarly, the (direct and indirect) decay into $\pi KK^{\ast}(892)$ is sizable. Moreover, the decays into $\rho\pi$ and $K^{\ast}(892)K$ are, although subleading, possible and could play a role in explaining the $\rho\pi$ puzzle of the charmonium state $\psi(2S)$ thank to a (small) mixing with the vector glueball. The vector glueball can be directly formed at the ongoing BESIII experiment as well as at the future PANDA experiment at the FAIR facility. If the width is sufficiently small ($\lesssim100$ MeV) it should not escape future detection. It should be stressed that the employed model is based on some inputs and simplifying assumptions: the value of glueball mass (at present, the quenched lattice value is used), the lack of mixing of the glueball with other quarkonium states, and the use of few interaction terms. It then represents a first step toward the identification of the main decay channels of the vector glueball, but shall be improved when corresponding experimental candidates and/or new lattice results will be available.


title: Thermoelectric transport and Peltier cooling of cold atomic gases

abstract: This brief review presents the emerging field of mesoscopic physics with cold atoms, with an emphasis on thermal and 'thermoelectric' transport, i.e. coupled transport of particle and entropy. We review in particular the comparison between theoretically predited and experimentally observed thermoelectric effects in such systems. We also show how combining well designed transport properties and evaporative cooling leads to an equivalent of the Peltier effect with cold atoms, which can be used as a new cooling procedure with improved cooling power and efficiency compared to the evaporative cooling currently used in atomic gases. This could lead to a new generation of experiments probing strong correlation effects of ultracold fermionic atoms at low temperatures.


title: Conversions between Electrical Network Representations

abstract: The behaviour of electrical networks can be described with many different representations, each with their distinct benefits. In this paper, we consider Z, Y, G, H, ABCD, S and T parameters. Formulas exist to go from one representation to another, but implementing them is an error-prone procedure. In this paper, we present a more elegant way to implement the transformations based on matrix calculations.


title: Lorentz-violating type-II Dirac fermions in transition metal dichalcogenide PtTe$_2$

abstract: Topological semimetals have recently attracted extensive research interests as host materials to condensed matter physics counterparts of Dirac and Weyl fermions originally proposed in high energy physics. These fermions with linear dispersions near the Dirac or Weyl points obey Lorentz invariance, and the chiral anomaly leads to novel quantum phenomena such as negative magnetoresistance. The Lorentz invariance is, however, not necessarily respected in condensed matter physics, and thus Lorentz-violating type-II Dirac fermions with strongly tilted cones can be realized in topological semimetals. Here, we report the first experimental evidence of type-II Dirac fermions in bulk stoichiometric PtTe$_2$ single crystal. Angle-resolved photoemission spectroscopy (ARPES) measurements and first-principles calculations reveal a pair of strongly tilted Dirac cones along the $\Gamma$-A direction under the symmetry protection, confirming PtTe$_2$ as a type-II Dirac semimetal. The realization of type-II Dirac fermions opens a new door for exotic physical properties distinguished from type-I Dirac fermions in condensed matter materials.


title: Model category structures \`a la Thomason on 2-Cat

abstract: In his paper "Th\'eories homotopiques des 2-cat\'egories", Jonathan Chiche studies homotopy theories on 2-Cat, the category of small strict 2-categories, given by classes of weak equivalences which he calls basic localizers of 2-Cat. These basic localizers of 2-Cat are a 2-categorical generalization of the notion of a basic localizer introduced by Grothendieck in "Pursuing stacks". In this paper, we deduce from the results of Jonathan Chiche and results we have obtained with Georges Maltsiniotis that for essentially every basic localizer W of 2-Cat, there exists a model category structure \`a la Thomason on 2-Cat whose weak equivalences are given by W. We show that these model category structures model exactly combinatorial left Bousfield localization of the classical homotopy theory of simplicial sets.


title: Characterization of parabolic Hardy spaces by Littlewood-Paley functions

abstract: We consider Littlewood-Paley functions associated with non-isotropic dilations. We prove that they can be used to characterize the parabolic Hardy spaces of Calder\'{o}n-Torchinsky.


title: Precision spatial measurement of the hot rubidium atom in the three-dimension

abstract: The interaction of hot atoms with laser fields experiences a Doppler shift which can severely affect the precise spatial measurement of an atom. We suggest an experimentally realizable scheme to address this issue in three-dimension position measurement of a single atom in vapors of rubidium atoms. Three-level lambda type atom-field configuration is considered where a moving atom interacts with three orthogonal standing-wave laser fields and spatial information of the atom in 3D space is obtained via upper-level population using a weak probe laser field. The atom moves with a velocity along the probe laser field and due to the Doppler broadening the precision in the spatial information deteriorates significantly. It is reported that via a microwave field the precision in the position measurement of the single atom can be obtained in the hot rubidium atom overcoming the limitation posed by the Doppler shift.


title: Comment on "How many principles does it take to change a light bulb ... into a laser?" by Howard M. Wiseman, Physica Scripta 91 (3), 033001 (2016)

abstract: In this comment on "How many principles does it take to change a light bulb ... into a laser?" by Howard M. Wiseman, Physica Scripta 91 (3), 033001 (2016) I am analyzing this extremely nicely formulated question in the framework of the Hanbury-Brown & Twiss experiment thus celebrating also its 60th anniversary. I am giving a straightforward, concise and unique answer on this question, emphasizing that the intensity correlations or the photon statistics make the difference between a light bulb and a laser.


title: Stochastic TDHF in an exactly solvable model

abstract: We apply in a schematic model a theory beyond mean-field, namely Stochastic Time-Dependent Hartree-Fock (STDHF), which includes dynamical electron-electron collisions on top of an incoherent ensemble of mean-field states by occasional 2-particle-2-hole ($2p2h$) jumps. The model considered here is inspired by a Lipkin-Meshkov-Glick model of $\Omega$ particles distributed into two bands of energy and coupled by a two-body interaction. Such a model can be exactly solved (numerically though) for small $\Omega$. It therefore allows a direct comparison of STDHF and the exact propagation. The systematic impact of the model parameters as the density of states, the excitation energy and the bandwidth is presented and discussed. The time evolution of the STDHF compares fairly well with the exact entropy, as soon as the excitation energy is sufficiently large to allow $2p2h$ transitions. Limitations concerning low energy excitations and memory effects are also discussed.


title: LTL-based Verification of Reconfigurable Workflows

abstract: Logics and model-checking have been successfully used in the last decades for modeling and verification of various types of hardware (and software) systems. While most languages and techniques emerged in a context of monolithic systems with a limited self-adaptability, modern systems require approaches able to cope with dynamically changing requirements and emergent behaviors. The emphasis on system reconfigurability has not been followed by an adequate research effort, and the current state of the art lacks logics and model checking paradigms that can describe and analyze complex modern systems in a comprehensive way. This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration and we prove workflow reconfiguration termination by providing a compilation of generic workflows into LTL, using the Bound model checker Zot. The objective of this paper is demonstrating how temporal logics and model checking are effective in proving properties of dynamic, reconfigurable and adaptable systems. This simple case study is just a "proof of concept" to demonstrate the feasibility of our ideas.


title: The Goldman and Fock-Goncharov coordinates for convex projective structures on surfaces

abstract: Let P(S) be the space of convex projective structures on a surface S with negative Euler characteristic. Goldman and Bonahon-Dreyer constructed two different sets of global coordinates for P(S), both associated to a pair of pants decomposition of the surface S. The article explicitly describes the coordinate change between these two parametrizations. Most of the arguments are concentrated in the case where S is a pair of pants, in which case the Bonahon-Dreyer coordinates are actually due to Fock-Goncharov.


title: $r-$Bell polynomials in combinatorial Hopf algebras

abstract: We introduce partial $r$-Bell polynomials in three combinatorial Hopf algebras. We prove a factorization formula for the generating functions which is a consequence of the Zassenhauss formula.


title: Dimension rigidity of lattices in semisimple Lie groups

abstract: We prove that if $\Gamma$ is a lattice in the group of isometries of a symmetric space of non-compact type without euclidean factors, then the virtual cohomological dimension of $\Gamma$ equals its proper geometric dimension.


title: QPO frequency derivative - frequency correlation indicates non-Keplerian boundary layer with a maximum in rotation rate

abstract: The correlation between the frequency and the absolute value of the frequency derivative of the kilohertz QPOs observed for the first time from 4U 1636-53 is a simple consequence and indicator of the existence of a non-Keplerian rotation rate in the accretion disk boundary layer. This paper interprets the observed correlation, showing that the observations provide strong evidence in support of the fundamental assumption of disk accretion models around slow rotators, that the boundary layer matches the Keplerian disk to the neutron star magnetosphere.


title: How to discretize the differential forms on the interval

abstract: We provide explicit quasi-isomorphisms between the following three algebraic structures associated to the unit interval: i) the commutative dg algebra of differential forms, ii) the non-commutative dg algebra of simplicial cochains and iii) the Whitney forms, equipped with a homotopy commutative and homotopy associative, i.e. $C_\infty$, algebra structure. Our main interest lies in a natural `discretization' $C_\infty$ quasi-isomorphism $\varphi$ from differential forms to Whitney forms. We establish a uniqueness result that implies that $\varphi$ coincides with the morphism from homotopy transfer, and obtain several explicit formulas for $\varphi$, all of which are related to the Magnus expansion. In particular, we recover combinatorial formulas for the Magnus expansion due to Mielnik and Pleba\'nski.


title: Automorphism groups of linearly ordered structures and endomorphisms of the ordered set $(\mathbb{Q},{\leq})$ of rational numbers

abstract: We investigate the structure of the monoid of endomorphisms of the ordered set $(\mathbb{Q},{\leq})$ of rational numbers. We show that for any countable linearly ordered set $\Omega$, there are uncountably many maximal subgroups of $\operatorname{End}(\mathbb{Q},{\leq})$ isomorphic to the automorphism group of $\Omega$. We characterise those subsets $X$ of $\mathbb{Q}$ that arise as a retract in $(\mathbb{Q},{\leq})$ in terms of topological information concerning $X$. Finally, we establish that a countable group arises as the automorphism group of a countable linearly ordered set, and hence as a maximal subgroup of $\operatorname{End}(\mathbb{Q},{\leq})$, if and only if it is free abelian of finite rank.


title: Digital quantum simulation of $\mathbb{Z}_2$ lattice gauge theories with dynamical fermionic matter

abstract: We propose a scheme for digital quantum simulation of lattice gauge theories with dynamical fermions. Using a layered optical lattice with ancilla atoms that can move and interact with the other atoms (simulating the physical degrees of freedom), we obtain a stroboscopic dynamics which yields the four-body plaquette interactions, arising in models with $2+1$ and higher dimensions, without the use of perturbation theory. As an example we show how to simulate a $\mathbb{Z}_2$ model in $2+1$ dimensions.

categories: quant-ph cond-mat.quant-gas hep-lat hep-th


title: Homotopy theory with bornological coarse spaces

abstract: We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and the construction of examples. We show that if a transformation between coarse homology theories induces an equivalence on all discrete bornological coarse spaces, then it is an equivalence on bornological coarse spaces of finite asymptotic dimension. The example of coarse K-homology will be discussed in detail.


title: X-ray emission from single Wolf-Rayet stars

abstract: This review briefly summarizes our knowledge of the X-ray emission from single WN, WC, and WO stars. These stars have relatively modest X-ray luminosities, typically not exceeding L_sun. The analysis of X-ray spectra usually reveals thermal plasma with temperatures reaching a few 10 MK. X-ray variability is detected in some WN stars. At present we don't fully understand how X-ray radiation in produced in WR stars, albeit there are some promising research avenues, such as the presence of CIRs in the winds of some stars. To fully understand WR stars we need to unravel mechanisms of X-ray production in their winds.