title: Pricing and Revenue Sharing for Secondary Data Market

abstract: Recent advances in technology enable public or commercial establishments and individual data plan subscribers to operate as Wi-Fi providers, offering Internet access. However, the model of a monthly flat service fee charged by ISP to establishment or individual WFPs offers very little incentives for ISP to provide additional bandwidth to WFPs customers. Thus, these users may experience insufficient bandwidth when there is high demand for bandwidth. In addition, ISP even discourages individual subscribers to provide Internet access through their smartphone because such practices may cause market saturation. To address this, in this paper we propose a dynamic pricing scheme and a revenue sharing mechanism that provide incentives for ISP to support establishment and individual Wi-Fi providers offering Internet access to users. Our revenue sharing model is based on Shapley value mechanism. Importantly, our proposed revenue sharing mechanism captures the power negotiation between ISP and Wi-Fi providers, and how shifts in the power balance between the two entities influence revenue division. Specifically, the model assures that the party who contributes more receives a higher portion of the revenue. In addition to that, the division of revenue eventually converges to a percentage value.


title: Unambiguous cancellation of divergences of $H \to \gamma \gamma$ process via one W loop in unitary gauge: Gauge invariance in Dyson scheme and physical boundary condition

abstract: Following the thread of R. Gastmans, S. L. Wu and T. T. Wu, the calculation in the unitary gauge for the $H \to \gamma \gamma$ process via one W loop is repeated, but without the specific choice of the independent loop momentum for the Feynman diagrams. This is based on the original 'Dyson scheme' provided in Dyson's classical paper. I.e., the original integrations on all propagator momenta are kept, not expressed by the specified independent loop momentum. Correspondingly, the 4-dimension $\delta$ function at each vertex in which the 4-momentum conservation is embedded, is retained. Together with the Ward identity of the W-W-photon vertex, the 4-momentum conservation of each vertex guarantee the cancellation of all divergent integrals worse than logarithmic without any uncertainty or ambiguity, with any shift of integrated momentum eschewed. The calculation is in 4-dimension Minkowski phase space and without any help of regularization. The resulting integrals are to the most logarithmically divergent, hence is invariant for various setting of the independent loop momentum and any of its shift. At last the logarithmically divergent symmetric (tensor) integration is determined by the boundary condition at infinity in momentum space inherent of the free Feynman propagator, and the gauge (both $SU(2)\times U_Y(1)$ and $U_{em}(1)$) invariant finite result can be obtained without the introduction of the 'Dyson subtraction'. The physical boundary conditions at infinity of phase space can make sense in many problems.


title: Increased blood pressure variability upon standing up improves reproducibility of cerebral autoregulation indices

abstract: Dynamic cerebral autoregulation, that is the transient response of cerebral blood flow to changes in arterial blood pressure, is currently assessed using a variety of different time series methods and data collection protocols. In the continuing absence of a gold standard for the study of cerebral autoregulation it is unclear to what extent does the assessment depend on the choice of a computational method and protocol. We use continuous measurements of blood pressure and cerebral blood flow velocity in the middle cerebral artery from the cohorts of 18 normotensive subjects performing sit-to-stand manoeuvre. We estimate cerebral autoregulation using a wide variety of black-box approaches (ARI, Mx, Sx, Dx, FIR and ARX) and compare them in the context of reproducibility and variability. For all autoregulation indices, considered here, the ICC was greater during the standing protocol, however, it was significantly greater (Fisher's Z-test) for Mx (p < 0.03), Sx (p<0.003)$ and Dx (p<0.03). In the specific case of the sit-to-stand manoeuvre, measurements taken immediately after standing up greatly improve the reproducibility of the autoregulation coefficients. This is generally coupled with an increase of the within-group spread of the estimates.


title: Analog Beamsteering for Flexible Hybrid Beamforming Design in Mmwave Communications

abstract: In this paper, we propose an analog beamsteering approach for enabling flexible hybrid beamforming design that can achieve performance close to singular value decomposition (SVD) based digital beamforming with single user case. As a starting point, assuming the use of a codebook with infinite precision, we apply transposes of antenna array response matrices as analog beam-formers at the BS and the UE sides. The resulting effective chan-nel matrix including both propagation channel and analog beam-formers is shown to be able to provide a maximal achievable rate very close to SVD based digital beamforming at low to medium SNR. Next, the impact of a finite size codebook is analyzed for practical analog beamformer design. A closed-form derivation is obtained for mapping rate loss to the number of antennas, code-book sizes and the received SNR. The analysis shows that in or-der to achieve performance comparable to analog beamforming with infinite precision, the codebook size should be at least larger than the number of implemented antennas. Therefore, the pro-posed analog beamforming approach can be designed inde-pendently without taking digital beamforming into account. Such an approach can lead to the development of flexible hybrid beam-forming architectures that could adapt to a changing propagation environment via agile analog beam selection and maximize spatial multiplexing gain via proper digital beamformer design.


title: Impact of Major RF Impairments on mm-wave Communications using OFDM Waveforms

abstract: In this paper, we study the joint impact of three major RF im-pairments, namely, oscillator phase noise, power amplifier non-linearity and I/Q imbalance on the performance of a mm-wave communication link based on OFDM modulation. General im-pairment models are first derived for describing the joint effects in each TX, each RX as well as a mm-wave communication link. Based on the obtained signal models and initial air interface de-sign from the mmMAGIC project, we numerically evaluate the impact of RF impairments on channel estimation in terms of channel-to-noise ratio (CNR) and also channel fluctuation due to common phase error (CPE) caused by phase noise within the channel coherence time. Then the impact on the link performance in terms of maximum sum rate is evaluated using extensive com-puter simulations. The simulation results show that the used air interface design is generally robust to the presence of RF impair-ments. With regard to the use of high order modulation alphabet and implementation of low-power and low-cost RF transceivers in mm-wave communication, special attention needs to be paid on phase noise where the inter-carrier-interference (ICI) can become a major limiting factor.


title: Enriched closure spaces as a novel framework for domain theory

abstract: We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfying some compatibility conditions. In this framework we are able to define a notion of way-below relation; an appropriate definition of continuity then naturally follows. Characterizations of continuity of the enriched closure space and necessary and sufficient conditions for the interpolation property are proved. We also draw a link between continuity and the possibility for the subsets that are open with respect to the preclosure operator to form a topology.


title: Sequential Hybrid Beamforming Design for Multi-Link mmwave Communication

abstract: In this paper, we propose a sequential hybrid beamforming design for multi-link transmission over mmwave frequency bands. As a starting point, a baseline data communication link is established via traditional analog beamforming at both the BS and UE. If an extra RF chain is available at the UE, it can continue to probe the propagation environment at the same frequencies. In case the environment is favorable and system resources allow, a secondary data communication link is established to enable multi-stream transmission. In principle, the secondary link could be served by the same BS and/or one or several other BS(s). To initialize the secondary data communication link, a parallel beam search scheme is proposed, which helps the UE/BS to find a suitable beam pair with given optimization criteria without interrupting the baseline data communication. By applying the proposed two-step approach, hybrid beamforming becomes an add-on feature that can be easily switched on over an analog beamforming enabled system without interrupting its operation whenever system requires. Meanwhile, the information obtained by deploying the proposed parallel beam search scheme can also be used for deciding a back-up beam pair if signal blockage occurs to the baseline data communication link.


title: Time-domain global similarity method for automatic data cleaning for multi-channel measurement systems in magnetic confinement fusion devices

abstract: To guarantee the availability and reliability of data source in Magnetic Confinement Fusion (MCF) devices, incorrect diagnostic data, which cannot reflect real physical properties of measured objects, should be sorted out before further analysis and study. Traditional data sorting cannot meet the growing demand of MCF research because of the low-efficiency, time-delay, and lack of objective criteria. In this paper, a Time-Domain Global Similarity (TDGS) method based on machine learning technologies is proposed for the automatic data cleaning of MCF devices. Traditional data sorting aims to the classification of original diagnostic data sequences, which are different in both length and evolution properties under various discharge parameters. Hence the classification criteria are affected by many discharge parameters and vary shot by shot. The focus of TDGS method is turned to the physical similarity between data sequences from different channels, which are more essential and independent of discharge parameters. The complexity arisen from real discharge parameters during data cleaning is avoided in the TDGS method by transforming the general data sorting problem into a binary classification problem about the physical similarity between data sequences. As a demonstration of its application to multi-channel measurement systems, the TDGS method is applied to the EAST POlarimeter-INterferomeTer (POINT) system. The optimized performance of the method has reached 0.9871.


title: Anomalous thermoelectric properties of a Floquet topological insulator with spin momentum non-orthogonality

abstract: The spin momentum non-orthogonality in 3D topological insulators leads to modification of the spin texture and brings in an out-of-plane spin polarization component. Apart from spin texture, the anomalous thermoelectric properties of these materials are worth studying. In this paper, we have pointed out that the off resonant light used to irradiate the surface states, induces a gap, which becomes momentum dependent due to the presence of non-orthogonal terms in the Hamiltonian. Importantly, to maintain the off resonant condition of light, the momentum value should satisfy a bound. Furthermore, the momentum dependent gap causes a topological transition at higher value of momentum, which is important to analyse the unusual double peak structure of the Nernst and electrical conductivities.


title: Scalar Fields in Black Hole Spacetimes

abstract: The time-evolution of matter fields in black hole exterior spacetimes is a well-studied subject, spanning several decades of research. However, the behavior of fields in the black hole interior spacetime, has only relatively recently begun receiving some attention from the research community. In this paper, we numerically study the late-time evolution of scalar fields in both Schwarzschild and Kerr spacetimes, including the black hole interior. We recover the expected late-time power-law "tails" on the exterior (null infinity, time-like infinity and the horizon). In the interior region, we find an interesting oscillatory behavior that is characterized by the multipole index $\ell$ of the scalar field. In addition, we also study the extremal Kerr case and find strong indications of an instability developing at the horizon.


title: Majorana states in prismatic core-shell nanowires

abstract: We consider core-shell nanowires with conductive shell and insulating core, and with polygonal cross section. We investigate the implications of this geometry on Majorana states expected in the presence of proximity-induced superconductivity and an external magnetic field. A typical prismatic nanowire has a hexagonal profile, but square and triangular shapes can also be obtained. The low-energy states are localized at the corners of the cross section, i.e. along the prism edges, and are separated by a gap from higher energy states localized on the sides. The corner localization depends on the details of the shell geometry, i.e. thickness, diameter, and sharpness of the corners. We study systematically the low-energy spectrum of prismatic shells using numerical methods and derive the topological phase diagram as a function of magnetic field and chemical potential for triangular, square, and hexagonal geometries. A strong corner localization enhances the stability of Majorana modes to various perturbations, including the orbital effect of the magnetic field, whereas a weaker localization favorizes orbital effects and reduces the critical magnetic field. The prismatic geometry allows the Majorana zero-energy modes to be accompanied by low-energy states, which we call pseudo Majorana, and which converge to real Majoranas in the limit of small shell thickness. We include the Rashba spin-orbit coupling in a phenomenological manner, assuming a radial electric field across the shell.


title: The LHC Timeline: A personal recollection (1980-2012). Oral History Interview

abstract: The object of this interview is the history of the Large Hadron Collider in the LEP tunnel at CERN, from first ideas to the discovery of the Brout-Englert-Higgs boson, seen from the point of view of a member of CERN scientific committees, of the CERN Council and a former Director General of CERN in the years of machine construction


title: On the dimension of syzygies

abstract: In this note we compute length, support and dimension of syzygy modules of certain modules. This partially answers questions asked by Huneke et al.


title: Inter-Area Oscillation Damping With Non-Synchronized Wide-Area Power System Stabilizer

abstract: One of the major issues in an interconnected power system is the low damping of inter-area oscillations which significantly reduces the power transfer capability. Advances in Wide-Area Measurement System (WAMS) makes it possible to use the information from geographical distant location to improve power system dynamics and performances. A speed deviation based Wide-Area Power System Stabilizer (WAPSS) is known to be effective in damping inter-area modes. However, the involvement of wide-area signals gives rise to the problem of time-delay, which may degrade the system performance. In general, time-stamped synchronized signals from Phasor Data Concentrator (PDC) are used for WAPSS, in which delays are introduced in both local and remote signals. One can opt for a feedback of remote signal only from PDC and uses the local signal as it is available, without time synchronization. This paper utilizes configurations of time-matched synchronized and nonsychronized feedback and provides the guidelines to design the controller. The controllers are synthesized using $H_\infty$ control with regional pole placement for ensuring adequate dynamic performance. To show the effectiveness of the proposed approach, two power system models have been used for the simulations. It is shown that the controllers designed based on the nonsynchronized signals are more robust to time time delay variations than the controllers using synchronized signal.


title: Vizing-type bounds for graphs with induced subgraph restrictions

abstract: For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $\gamma(G\square H)\geq c \gamma(G)\gamma(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $\gamma(G\square H)\geq \frac{r}{2r-1}\gamma(G)\gamma(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer $r\geq 2$, then for any graph $H$, $\gamma(G\square H)\geq \frac{r-1}{2r-3}\gamma(G)\gamma(H)$. We do this by bounding the power of $G$, $\pi(G)$. We show that if $G$ is claw-free and $P_6$-free or $K_4$ and $P_5$-free, then for any graph $H$, $\gamma(G\square H)\geq \gamma(G)\gamma(H)$. Furthermore, we show Vizing-type bounds in terms of the diameter of $G$.


title: The low-energy positron scattering upon endohedrals

abstract: We investigate positron scattering upon endohedrals and compare it with electron-endohedral scattering. We show that the polarization of the fullerene shell considerably alters the polarization potential of an atom, stuffed inside a fullerene. This essentially affects both the positron and electron elastic scattering phases as well as corresponding cross-sections. Of great importance is also the interaction between the incoming positron and the target electrons that leads to formation the virtual positronium. We illustrate the general trend by concrete examples of positron and electron scattering upon endohedrals He@C60 and Ar@C60, and compare it to scattering upon fullerene C60. To obtain the presented results, we have employed new simplified approaches that permit to incorporate the effect of fullerenes polarizability into the He@C60 and Ar@C60 polarization potential and to take into account the virtual positronium formation. Using these approaches, we obtained numeric results that show strong variations in shape and magnitudes of scattering phases and cross-sections due to effect of endohedral polarization and virtual positronium formation.


title: On the subsemigroup complex of an aperiodic Brandt semigroup

abstract: We introduce the subsemigroup complex of a finite semigroup S as a (boolean representable) simplicial complex defined through chains in the lattice of subsemigroups of S. We present a research program for such complexes, illustrated through the particular case of combinatorial Brandt semigroups. The results include alternative characterizations of faces and facets, asymptotical estimates on the number of facets, or establishing when the complex is pure or a matroid.


title: Randers Ricci soliton homogeneous nilmanifolds

abstract: Let $F$ be a left invariant Randers metric on a simply connected nilpotent Lie group $N$, induced by a left invariant Riemannian metric ${\hat{\textbf{\textit{a}}}}$ and a vector field $X$ which is $I_{\hat{\textbf{\textit{a}}}}(M)$-invariant. If the Ricci flow equation has a unique solution then, $(N,F)$ is a Ricci soliton if and only if $(N,F)$ is a semialgebraic Ricci soliton.


title: A Proposed Architecture for Big Data Driven Supply Chain Analytics

abstract: Advancement in information and communication technology (ICT) has given rise to explosion of data in every field of operations. Working with the enormous volume of data (or Big Data, as it is popularly known as) for extraction of useful information to support decision making is one of the sources of competitive advantage for organizations today. Enterprises are leveraging the power of analytics in formulating business strategy in every facet of their operations to mitigate business risk. Volatile global market scenario has compelled the organizations to redefine their supply chain management (SCM). In this paper, we have delineated the relevance of Big Data and its importance in managing end to end supply chains for achieving business excellence. A Big Data-centric architecture for SCM has been proposed that exploits the current state of the art technology of data management, analytics and visualization. The security and privacy requirements of a Big Data system have also been highlighted and several mechanisms have been discussed to implement these features in a real world Big Data system deployment in the context of SCM. Some future scope of work has also been pointed out. Keyword: Big Data, Analytics, Cloud, Architecture, Protocols, Supply Chain Management, Security, Privacy.


title: A simplex-type algorithm for continuous linear programs with constant coefficients

abstract: We consider continuous linear programs over a continuous finite time horizon $T$, with a constant coefficient matrix, linear right hand side functions and linear cost coefficient functions, where we search for optimal solutions in the space of measures or of functions of bounded variation. These models generalize the separated continuous linear programming models and their various duals, as formulated in the past by Anderson, by Pullan, and by Weiss. In previous papers we have shown that these problems possess optimal strongly dual solutions. We also have presented a detailed description of optimal solutions and have defined a combinatorial analogue to basic solutions of standard LP. In this paper we present an algorithm which solves this class of problems in a finite bounded number of steps, using an analogue of the simplex method, in the space of measures.


title: Abelian right perpendicular subcategories in module categories

abstract: We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category with a projective generator, or in other words, the category of models of an additive algebraic theory of possibly infinite bounded arity. This includes the categories of contramodules over topological rings and other examples. Various versions of the definition of the right perpendicular subcategory are considered, all leading to the same class of abelian categories. We also discuss sufficient conditions under which the natural forgetful functors from the categories of contramodules to the related categories of modules are fully faithful.


title: Every locally finite Borel measure on $\mathbb{R}$ has conformal dimension zero

abstract: A result of P. Tukia from 1989 says that Lebesgue measure on $\mathbb{R}$ has conformal dimension zero: for every $\epsilon > 0$, there is a Borel set $G \subset \mathbb{R}$ of full Lebesgue measure, and a quasisymmetric homeomorphism $f \colon \mathbb{R} \to \mathbb{R}$ such that $\dim_{\mathrm{H}} f(G) < \epsilon$. In this short note, I show that the same is true for every locally finite Borel measure on $\mathbb{R}$.


title: Analysis and discussion of the recent W mass measurements

abstract: The ATLAS and CDF measurements of the W mass are compared discussing some similarities and differences in the quoted systematic uncertainties.


title: Homotopy nilpotent groups and their associated functors

abstract: To every homotopy n-nilpotent group, defined in earlier work by Dwyer and the author, we associate an endofunctor of pointed spaces and prove that it is looped and n-excisive. As a tool we prove that $\Omega P_n({\rm id})$ commutes with sifted colimits of connected spaces.


title: Machine learning methods for multimedia information retrieval

abstract: In this thesis we examined several multimodal feature extraction and learning methods for retrieval and classification purposes. We reread briefly some theoretical results of learning in Section 2 and reviewed several generative and discriminative models in Section 3 while we described the similarity kernel in Section 4. We examined different aspects of the multimodal image retrieval and classification in Section 5 and suggested methods for identifying quality assessments of Web documents in Section 6. In our last problem we proposed similarity kernel for time-series based classification. The experiments were carried over publicly available datasets and source codes for the most essential parts are either open source or released. Since the used similarity graphs (Section 4.2) are greatly constrained for computational purposes, we would like to continue work with more complex, evolving and capable graphs and apply for different problems such as capturing the rapid change in the distribution (e.g. session based recommendation) or complex graphs of the literature work. The similarity kernel with the proper metrics reaches and in many cases improves over the state-of-the-art. Hence we may conclude generative models based on instance similarities with multiple modes is a generally applicable model for classification and regression tasks ranging over various domains, including but not limited to the ones presented in this thesis. More generally, the Fisher kernel is not only unique in many ways but one of the most powerful kernel functions. Therefore we may exploit the Fisher kernel in the future over widely used generative models, such as Boltzmann Machines [Hinton et al., 1984], a particular subset, the Restricted Boltzmann Machines and Deep Belief Networks [Hinton et al., 2006]), Latent Dirichlet Allocation [Blei et al., 2003] or Hidden Markov Models [Baum and Petrie, 1966] to name a few.


title: Interpolated Schur multiple zeta values

abstract: Inspired by a recent work of M. Nakasuji, O. Phuksuwan and Y. Yamasaki we combine interpolated multiple zeta values and Schur multiple zeta values into one object, which we call interpolated Schur multiple zeta values. Our main result will be a Jacobi-Trudi formula for a certain class of these new objects. This generalizes an analogous result for Schur multiple zeta values and implies algebraic relations between interpolated multiple zeta values.


title: Magnetic field topology and chemical abundance distributions of the young, rapidly rotating chemically peculiar star HR5624

abstract: The young, rapidly rotating Bp star HR5624 (HD133880) shows an unusually strong non-sinusoidal variability of its longitudinal magnetic field. This behaviour was previously interpreted as the signature of an exceptionally strong, quadrupole-dominated surface magnetic field geometry. We studied the magnetic field structure and chemical abundance distributions of HR5624 with the aim to verify the unusual quadrupolar nature of its magnetic field and to investigate correlations between the field topology and chemical spots. We analysed high resolution, time series Stokes parameter spectra of HR5624 with the help of a magnetic Doppler imaging inversion code based on detailed polarised radiative transfer modelling of the line profiles. Our magnetic Doppler inversions reveal that the field structure of HR5624 is considerably simpler and the field strength is much lower than proposed by previous studies. We find a maximum local field strength of 12 kG and a mean field strength of 4 kG. Our model implies that overall large-scale field topology of HR5624 is better described as a distorted, asymmetric dipole. The chemical abundance maps of Mg, Si, Ti, Cr, Fe, and Nd obtained in our study are characterised by large-scale, high-contrast abundance patterns. These structures correlate weakly with the magnetic field geometry and show no distinct element concentrations in the horizontal field regions predicted by theoretical atomic diffusion calculations. We conclude that the surface magnetic field topology of HR5624 is not as unusual as previously proposed. Considering these results together with other recent magnetic mapping analyses of early-type stars suggests that predominantly quadrupolar magnetic field topologies, invoked to be present in a significant number of stars, probably do not exist in real stars.


title: Combined narrowband imager-spectrograph with volume-phase holographic gratings

abstract: In the present work we discuss a possibility to build an instrument with two operation modes - spectral and imaging ones. The key element of such instrument is a dispersive and filtering unit consisting of two narrowband volume-phase holographic gratings. Each of them provides high diffraction efficiency in a relatively narrow spectral range of a few tens of nanometers. Besides, the position of this working band is highly dependent on the angle of incidence. So we propose to use a couple of such gratings to implement the two operational modes. The gratings are mounted in a collimated beam one after another. In the spectroscopic mode the gratings are turned on such angle that the diffraction efficiency curves coincide, thus the beams diffracted on the first grating are diffracted twice on the second one and a high-dispersion spectrum in a narrow range is formed. If the collimating and camera lenses are corrected for a wide field it is possible to use a long slit and register the spectra from its different points separately. In the imaging mode the gratings are turned to such angle that the efficiency curves intersect in a very narrow wavelength range. So the beams diffracted on the first grating are filtered out by the second one except of the spectral component, which forms the image. In this case the instrument works without slit diaphragm on the entrance. We provide an example design to illustrate the proposed concept. This optical scheme works in the region around 656 nm with F/# of 6.3. In the spectroscopic mode it provides a spectrum for the region from 641 to 671 nm with reciprocal linear dispersion of 1.4 nm/mm and the spectral resolving power higher than 14000. In the imaging mode it covers linear 12mm x 12mm field of view with spatial resolution of 15-30 lines/mm.


title: Imaging and mapping the impact of clouds on skyglow with all-sky photometry

abstract: Artificial skyglow is constantly growing on a global scale, with potential ecological consequences ranging up to affecting biodiversity. To understand these consequences, worldwide mapping of skyglow for all weather conditions is urgently required. In particular, the amplification of skyglow by clouds needs to be studied, as clouds can extend the reach of skyglow into remote areas not affected by light pollution on clear nights. Here we use commercial digital single lens reflex cameras with fisheye lenses for all-sky photometry. We track the reach of skyglow from a peri-urban into a remote area on a clear and a partly cloudy night by performing transects from the Spanish town of Balaguer towards Montsec Astronomical Park. From one single all-sky image, we extract zenith luminance, horizontal and scalar illuminance. While zenith luminance reaches near-natural levels at 5km distance from the town on the clear night, similar levels are only reached at 27km on the partly cloudy night. Our results show the dramatic increase of the reach of skyglow even for moderate cloud coverage at this site. The powerful and easy-to-use method promises to be widely applicable for studies of ecological light pollution on a global scale also by non-specialists in photometry.


title: Attributed Social Network Embedding

abstract: Embedding network data into a low-dimensional vector space has shown promising performance for many real-world applications, such as node classification and entity retrieval. However, most existing methods focused only on leveraging network structure. For social networks, besides the network structure, there also exists rich information about social actors, such as user profiles of friendship networks and textual content of citation networks. These rich attribute information of social actors reveal the homophily effect, exerting huge impacts on the formation of social networks. In this paper, we explore the rich evidence source of attributes in social networks to improve network embedding. We propose a generic Social Network Embedding framework (SNE), which learns representations for social actors (i.e., nodes) by preserving both the structural proximity and attribute proximity. While the structural proximity captures the global network structure, the attribute proximity accounts for the homophily effect. To justify our proposal, we conduct extensive experiments on four real-world social networks. Compared to the state-of-the-art network embedding approaches, SNE can learn more informative representations, achieving substantial gains on the tasks of link prediction and node classification. Specifically, SNE significantly outperforms node2vec with an 8.2% relative improvement on the link prediction task, and a 12.7% gain on the node classification task.


title: Relaxation heuristics for the set multicover problem with generalized upper bound constraints

abstract: We consider an extension of the set covering problem (SCP) introducing (i)~multicover and (ii)~generalized upper bound (GUB)~constraints. For the conventional SCP, the pricing method has been introduced to reduce the size of instances, and several efficient heuristic algorithms based on such reduction techniques have been developed to solve large-scale instances. However, GUB constraints often make the pricing method less effective, because they often prevent solutions from containing highly evaluated variables together. To overcome this problem, we develop heuristic algorithms to reduce the size of instances, in which new evaluation schemes of variables are introduced taking account of GUB constraints. We also develop an efficient implementation of a 2-flip neighborhood local search algorithm that reduces the number of candidates in the neighborhood without sacrificing the solution quality. In order to guide the search to visit a wide variety of good solutions, we also introduce a path relinking method that generates new solutions by combining two or more solutions obtained so far. According to computational comparison on benchmark instances, the proposed method succeeds in selecting a small number of promising variables properly and performs quite effectively even for large-scale instances having hard GUB constraints.


title: Musical Instrument Recognition Using Their Distinctive Characteristics in Artificial Neural Networks

abstract: In this study an Artificial Neural Network was trained to classify musical instruments, using audio samples transformed to the frequency domain. Different features of the sound, in both time and frequency domain, were analyzed and compared in relation to how much information that could be derived from that limited data. The study concluded that in comparison with the base experiment, that had an accuracy of 93.5%, using the attack only resulted in 80.2% and the initial 100 Hz in 64.2%.


title: Spherical blow-ups of Grassmannians and Mori Dream Spaces

abstract: In this paper we classify weak Fano varieties that can be obtained by blowing-up general points in prime Fano varieties. We also classify spherical blow-ups of Grassmannians in general points, and we compute their effective cone. These blow-ups are, in particular, Mori dream spaces. Furthermore, we compute the stable base locus decomposition of the blow-up of a Grassmannian in one point, and we show how it is determined by linear systems of hyperplanes containing the osculating spaces of the Grassmannian at the blown-up point, and by the rational normal curves in the Grassmannian passing through the blown-up point.


title: Density functional perturbation theory for gated two-dimensional heterostructures: Theoretical developments and application to flexural phonons in graphene

abstract: The ability to perform first-principles calculations of electronic and vibrational properties of two-dimensional heterostructures in a field-effect setup is crucial for the understanding and design of next-generation devices. We present here an implementation of density functional perturbation theories tailored for the case of two-dimensional heterostructures in field-effect configuration. Key ingredients are the inclusion of a truncated Coulomb interaction in the direction perpendicular to the slab and the possibility of simulating charging of the slab via field-effects. With this implementation we can access total energies, force and stress tensors, the vibrational properties and the electron-phonon interaction. We demonstrate the relevance of the method by studying flexural acoustic phonons and their coupling to electrons in graphene doped by field-effect. In particular, we show that while the electron-phonon coupling to those phonons can be significant in neutral graphene, it is strongly screened and negligible in doped graphene, in disagreement with other recent first-principles reports. Consequently, the gate-induced coupling with flexural acoustic modes would not be detectable in transport measurements on doped graphene.


title: On the maximal halfspace depth of permutation-invariant distributions on the simplex

abstract: We compute the maximal halfspace depth for a class of permutation-invariant distributions on the probability simplex. The derivations are based on stochastic ordering results that so far were only showed to be relevant for the Behrens-Fisher problem.


title: On Hierarchical Statistical Static Timing Analysis

abstract: Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the correlation between delays of circuit components, timing model generation and hierarchical timing analysis face more challenges than in static timing analysis. In this paper, a novel method to generate timing models for combinational circuits considering variations is proposed. The resulting timing models have accurate input-output delays and are about 80% smaller than the original circuits. Additionally, an accurate hierarchical timing analysis method at design level using pre-characterized timing models is proposed. This method incorporates the correlation between modules by replacing independent random variables to improve timing accuracy. Experimental results show that the correlation between modules strongly affects the delay distribution of the hierarchical design and the proposed method has good accuracy compared with Monte Carlo simulation, but is faster by three orders of magnitude.


title: Timing Model Extraction for Sequential Circuits Considering Process Variations

abstract: As semiconductor devices continue to scale down, process vari- ations become more relevant for circuit design. Facing such variations, statistical static timing analysis is introduced to model variations more accurately so that the pessimism in tra- ditional worst case timing analysis is reduced. Because all de- lays are modeled using correlated random variables, most statis- tical timing methods are much slower than corner based timing analysis. To speed up statistical timing analysis, we propose a method to extract timing models for flip-flop and latch based sequential circuits respectively. When such a circuit is used as a module in a hierarchical design, the timing model instead of the original circuit is used for timing analysis. The extracted timing models are much smaller than the original circuits. Ex- periments show that using extracted timing models accelerates timing verification by orders of magnitude compared to previ- ous approaches using flat netlists directly. Accuracy is main- tained, however, with the mean and standard deviation of the clock period both showing usually less than 1% error compared to Monte Carlo simulation on a number of benchmark circuits.


title: Detecting Statistical Interactions from Neural Network Weights

abstract: Interpreting neural networks is a crucial and challenging task in machine learning. In this paper, we develop a novel framework for detecting statistical interactions captured by a feedforward multilayer neural network by directly interpreting its learned weights. Depending on the desired interactions, our method can achieve significantly better or similar interaction detection performance compared to the state-of-the-art without searching an exponential solution space of possible interactions. We obtain this accuracy and efficiency by observing that interactions between input features are created by the non-additive effect of nonlinear activation functions, and that interacting paths are encoded in weight matrices. We demonstrate the performance of our method and the importance of discovered interactions via experimental results on both synthetic datasets and real-world application datasets.


title: On a four-parameters generalization of some special sequences

abstract: We introduce a new four-parameters sequence that simultaneously generalizes some well-known integer sequences, including Fibonacci, Padovan, Jacobsthatl, Pell, and Lucas numbers. Combinatorial interpretations are discussed and many identities for this general sequence are derived. As a consequence, a number of identities for Fibonacci, Lucas, Pell, Jacobsthal, Padovan, and Narayana numbers as well as some of their generalizations are obtained. We also present the Cassini formula for the new sequence.


title: Fast Statistical Timing Analysis for Circuits with Post-Silicon Tunable Clock Buffers

abstract: Post-Silicon Tunable (PST) clock buffers are widely used in high performance designs to counter process variations. By allowing delay compensation between consecutive register stages, PST buffers can effectively improve the yield of digital circuits. To date, the evaluation of manufacturing yield in the presence of PST buffers is only possible using Monte Carlo simulation. In this paper, we propose an alternative method based on graph transformations, which is much faster, more than 1000 times, and computes a parametric minimum clock period. It also identifies the gates which are most critical to the circuit performance, therefore enabling a fast analysis-optimization flow.


title: Statistical Timing Analysis for Latch-Controlled Circuits with Reduced Iterations and Graph Transformations

abstract: Level-sensitive latches are widely used in high- performance designs. For such circuits efficient statistical timing analysis algorithms are needed to take increasing process vari- ations into account. But existing methods solving this problem are still computationally expensive and can only provide the yield at a given clock period. In this paper we propose a method combining reduced iterations and graph transformations. The reduced iterations extract setup time constraints and identify a subgraph for the following graph transformations handling the constraints from nonpositive loops. The combined algorithms are very efficient, more than 10 times faster than other existing methods, and result in a parametric minimum clock period, which together with the hold time constraints can be used to compute the yield at any given clock period very easily.


title: On Timing Model Extraction and Hierarchical Statistical Timing Analysis

abstract: In this paper, we investigate the challenges to apply Statistical Static Timing Analysis (SSTA) in hierarchical design flow, where modules supplied by IP vendors are used to hide design details for IP protection and to reduce the complexity of design and verification. For the three basic circuit types, combinational, flip-flop-based and latch-controlled, we propose methods to extract timing models which contain interfacing as well as compressed internal constraints. Using these compact timing models the runtime of full-chip timing analysis can be reduced, while circuit details from IP vendors are not exposed. We also propose a method to reconstruct the correlation between modules during full-chip timing analysis. This correlation can not be incorporated into timing models because it depends on the layout of the corresponding modules in the chip. In addition, we investigate how to apply the extracted timing models with the reconstructed correlation to evaluate the performance of the complete design. Experiments demonstrate that using the extracted timing models and reconstructed correlation full-chip timing analysis can be several times faster than applying the flattened circuit directly, while the accuracy of statistical timing analysis is still well maintained.


title: Post-Route Refinement for High-Frequency PCBs Considering Meander Segment Alleviation

abstract: In this paper, we propose a post-processing framework which iteratively refines the routing results from an existing PCB router by removing dense meander segments. By swapping and detouring dense meander segments the proposed method can effectively alleviate accumulating crosstalk noise, while respecting pre-defined area constraints. Experimental results show more than 85% reduction of the meander segments and hence the noise cost.


title: Post-Route Alleviation of Dense Meander Segments in High-Performance Printed Circuit Boards

abstract: Length-matching is an important technique to balance delays of bus signals in high-performance PCB routing. Existing routers, however, may generate dense meander segments with small distance. Signals propagating across these meander segments exhibit a speedup effect due to crosstalks between the segments of the same wire, thus leading to mismatch of arrival times even with the same physical wire length. In this paper, we propose a post-processing method to enlarge the width and the distance of meander segments and distribute them more evenly on the board so that the crosstalks can be reduced. In the proposed framework, we model the sharing combinations of available routing areas after removing dense meander segments from the initial routing, as well as the generation of relaxed meander segments and their groups in subareas. Thereafter, this model is transformed into an ILP problem and solved efficiently. Experimental results show that the proposed method can extend the width and the distance of meander segments about two times even under very tight area constraints, so that the crosstalks and thus the speedup effect can be alleviated effectively in high-performance PCB designs.


title: ILP-based Alleviation of Dense Meander Segments with Prioritized Shifting and Progressive Fixing in PCB Routing

abstract: Length-matching is an important technique to bal- ance delays of bus signals in high-performance PCB routing. Existing routers, however, may generate very dense meander segments. Signals propagating along these meander segments exhibit a speedup effect due to crosstalk between the segments of the same wire, thus leading to mismatch of arrival times even under the same physical wire length. In this paper, we present a post-processing method to enlarge the width and the distance of meander segments and hence distribute them more evenly on the board so that crosstalk can be reduced. In the proposed framework, we model the sharing of available routing areas after removing dense meander segments from the initial routing, as well as the generation of relaxed meander segments and their groups for wire length compensation. This model is transformed into an ILP problem and solved for a balanced distribution of wire patterns. In addition, we adjust the locations of long wire segments according to wire priorities to swap free spaces toward critical wires that need much length compensation. To reduce the problem space of the ILP model, we also introduce a progressive fixing technique so that wire patterns are grown gradually from the edge of the routing toward the center area. Experimental results show that the proposed method can expand meander segments significantly even under very tight area constraints, so that the speedup effect can be alleviated effectively in high- performance PCB designs.


title: Work Extraction and Landauer's Principle in a Quantum Spin Hall Device

abstract: Landauer's principle states that erasure of each bit of information in a system requires at least a unit of energy $k_B T \ln 2$ to be dissipated. In return, the blank bit may possibly be utilized to extract usable work of the amount $k_B T \ln 2$, in keeping with the second law of thermodynamics. While in principle any collection of spins can be utilized as information storage, work extraction by utilizing this resource in principle requires specialized engines that are capable of using this resource. In this work, we focus on heat and charge transport in a quantum spin Hall device in the presence of a spin bath. We show how a properly initialized nuclear spin subsystem can be used as a memory resource for a Maxwell's Demon to harvest available heat energy from the reservoirs to induce charge current that can power an external electrical load. We also show how to initialize the nuclear spin subsystem using applied bias currents which necessarily dissipate energy, hence demonstrating Landauer's principle. This provides an alternative method of "energy storage" in an all-electrical device. We finally propose a realistic setup to experimentally observe a Landauer erasure/work extraction cycle.


title: Statistical Timing Analysis and Criticality Computation for Circuits with Post-Silicon Clock Tuning Elements

abstract: Post-silicon clock tuning elements are widely used in high-performance designs to mitigate the effects of process variations and aging. Located on clock paths to flip-flops, these tuning elements can be configured through the scan chain so that clock skews to these flip-flops can be adjusted after man- ufacturing. Owing to the delay compensation across consecutive register stages enabled by the clock tuning elements, higher yield and enhanced robustness can be achieved. These benefits are, nonetheless, attained by increasing die area due to the inserted clock tuning elements. For balancing performance improvement and area cost, an efficient timing analysis algorithm is needed to evaluate the performance of such a circuit. So far this evaluation is only possible by Monte Carlo simulation which is very timing- consuming. In this paper, we propose an alternative method using graph transformation, which computes a parametric minimum clock period and is more than 10 4 times faster than Monte Carlo simulation while maintaining a good accuracy. This method also identifies the gates that are critical to circuit performance, so that a fast analysis-optimization flow becomes possible.


title: Gravity Defied (from potato asteroids to magnetised neutron stars) III. White Dwarfs (dead stars of the first kind)

abstract: During its active lifetime a star burns its nuclear fuel and gravitation is held off by the pressure of the heated gas. Gravity should take over once this fuel is exhausted unless some other agency saves the star from such a fate. Low mass stars find peace as {\bf \em white dwarfs} when the electrons settle into a Fermi degenerate phase where the pressure of degenerate electrons balance the gravitational pressure.


title: Storage and Caching: Synthesis of Flow-based Microfluidic Biochips

abstract: Flow-based microfluidic biochips are widely used in lab- on-a-chip experiments. In these chips, devices such as mixers and detectors connected by micro-channels execute specific operations. Intermediate fluid samples are saved in storage temporarily until target devices become avail- able. However, if the storage unit does not have enough capacity, fluid samples must wait in devices, reducing their efficiency and thus increasing the overall execution time. Consequently, storage and caching of fluid samples in such microfluidic chips must be considered during synthesis to balance execution efficiency and chip area.


title: Solitons of shallow-water models from energy-dependent spectral problems

abstract: The current work investigates the soliton solutions of the Kaup-Boussinesq equation using the Inverse Scattering Transform method. We outline the construction of the Riemann-Hilbert problem for a pair energy-dependent spectral problems for the system, which we then use to construct the solution of this hydrodynamic system.


title: Sampling-based Buffer Insertion for Post-Silicon Yield Improvement under Process Variability

abstract: At submicron manufacturing technology nodes process variations affect circuit performance significantly. This trend leads to a large timing margin and thus overdesign to maintain yield. To combat this pessimism, post-silicon clock tuning buffers can be inserted into circuits to balance timing budgets of critical paths with their neighbors. After manufacturing, these clock buffers can be configured for each chip individually so that chips with timing failures may be rescued to improve yield. In this paper, we propose a sampling-based method to determine the proper locations of these buffers. The goal of this buffer insertion is to reduce the number of buffers and their ranges, while still maintaining a good yield improvement. Experimental results demonstrate that our algorithm can achieve a significant yield improvement (up to 35%) with only a small number of buffers.


title: Novel CMOS RFIC Layout Generation with Concurrent Device Placement and Fixed-Length Microstrip Routing

abstract: With advancing process technologies and booming IoT markets, millimeter-wave CMOS RFICs have been widely developed in re- cent years. Since the performance of CMOS RFICs is very sensi- tive to the precision of the layout, precise placement of devices and precisely matched microstrip lengths to given values have been a labor-intensive and time-consuming task, and thus become a major bottleneck for time to market. This paper introduces a progressive integer-linear-programming-based method to gener- ate high-quality RFIC layouts satisfying very stringent routing requirements of microstrip lines, including spacing/non-crossing rules, precise length, and bend number minimization, within a given layout area. The resulting RFIC layouts excel in both per- formance and area with much fewer bends compared with the simulation-tuning based manual layout, while the layout gener- ation time is significantly reduced from weeks to half an hour.


title: EffiTest: Efficient Delay Test and Statistical Prediction for Configuring Post-silicon Tunable Buffers

abstract: At nanometer manufacturing technology nodes, process variations significantly affect circuit performance. To combat them, post- silicon clock tuning buffers can be deployed to balance timing bud- gets of critical paths for each individual chip after manufacturing. The challenge of this method is that path delays should be mea- sured for each chip to configure the tuning buffers properly. Current methods for this delay measurement rely on path-wise frequency stepping. This strategy, however, requires too much time from ex- pensive testers. In this paper, we propose an efficient delay test framework (EffiTest) to solve the post-silicon testing problem by aligning path delays using the already-existing tuning buffers in the circuit. In addition, we only test representative paths and the delays of other paths are estimated by statistical delay prediction. Exper- imental results demonstrate that the proposed method can reduce the number of frequency stepping iterations by more than 94% with only a slight yield loss.


title: PieceTimer: A Holistic Timing Analysis Framework Considering Setup/Hold Time Interdependency Using A Piecewise Model

abstract: In static timing analysis, clock-to-q delays of flip-flops are considered as constants. Setup times and hold times are characterized separately and also used as constants. The characterized delays, setup times and hold times, are ap- plied in timing analysis independently to verify the perfor- mance of circuits. In reality, however, clock-to-q delays of flip-flops depend on both setup and hold times. Instead of being constants, these delays change with respect to different setup/hold time combinations. Consequently, the simple ab- straction of setup/hold times and constant clock-to-q delays introduces inaccuracy in timing analysis. In this paper, we propose a holistic method to consider the relation between clock-to-q delays and setup/hold time combinations with a piecewise linear model. The result is more accurate than that of traditional timing analysis, and the incorporation of the interdependency between clock-to-q delays, setup times and hold times may also improve circuit performance.


title: On the computation of the nth power of a matrix

abstract: In this note we discuss the problem of finding the nth power of a matrix which is strongly connected to the study of Markov chains and others mathematical topics. We observe the known fact (but maybe not well known) that the Cayley-Hamilton theorem is of key importance to this goal. We also demonstrate the classical Gauss elimination technique as a tool to compute the minimum polynomial of a matrix without necessarily know the characteristic polynomial.


title: Design-Phase Buffer Allocation for Post-Silicon Clock Binning by Iterative Learning

abstract: At submicron manufacturing technology nodes, pro- cess variations affect circuit performance significantly. To counter these variations, engineers are reserving more timing margin to maintain yield, leading to an unaffordable overdesign. Most of these margins, however, are wasted after manufacturing, because process variations cause only some chips to be really slow, while other chips can easily meet given timing specifications. To reduce this pessimism, we can reserve less timing margin and tune failed chips after manufacturing with clock buffers to make them meet timing specifications. With this post-silicon clock tuning, critical paths can be balanced with neighboring paths in each chip specifically to counter the effect of process variations. Consequently, chips with timing failures can be rescued and the yield can thus be improved. This is specially useful in high- performance designs, e.g., high-end CPUs, where clock binning makes chips with higher performance much more profitable. In this paper, we propose a method to determine where to insert post-silicon tuning buffers during the design phase to improve the overall profit with clock binning. This method learns the buffer locations with a Sobol sequence iteratively and reduces the buffer ranges afterwards with tuning concentration and buffer grouping. Experimental results demonstrate that the proposed method can achieve a profit improvement of about 14% on average and up to 26%, with only a small number of tuning buffers inserted into the circuit.


title: Testing Microfluidic Fully Programmable Valve Arrays (FPVAs)

abstract: Fully Programmable Valve Array (FPVA) has emerged as a new architecture for the next-generation flow-based microfluidic biochips. This 2D-array consists of regularly-arranged valves, which can be dynamically configured by users to realize microfluidic devices of different shapes and sizes as well as interconnections. Additionally, the regularity of the underlying structure renders FPVAs easier to integrate on a tiny chip. However, these arrays may suffer from various manufacturing defects such as blockage and leakage in control and flow channels. Unfortunately, no efficient method is yet known for testing such a general-purpose architecture. In this paper, we present a novel formulation using the concept of flow paths and cut-sets, and describe an ILP-based hierarchical strategy for generating compact test sets that can detect multiple faults in FPVAs. Simulation results demonstrate the efficacy of the proposed method in detecting manufacturing faults with only a small number of test vectors.


title: Generation of Coherence via Gaussian Measurements

abstract: We address measurement-based generation of quantum coherence in continuous variable systems. We consider Gaussian measurements performed on Gaussian states and focus on two scenarios. In the first one, we assume an initially correlated bipartite state shared by two parties and study how correlations may be exploited to remotely create quantum coherence via measurement back-action. In particular, we focus on conditional states with zero first moments, so as to address coherence due to properties of the covariance matrix. We consider different classes of bipartite states with incoherent marginals and show that the larger the measurement squeezing, the larger the conditional coherence. Homodyne detection is thus the optimal Gaussian measurement to remotely generate coherence. We also show that for squeezed thermal states there exists a threshold value for the generated coherence which separates entangled and separable states at a fixed energy. Finally, we briefly discuss the tripartite case and the relationship between tripartite correlations and the conditional two-mode coherence. In the second scenario, we address the steady state coherence of a system interacting with an environment which is continuously monitored. In particular, we discuss the dynamics of an optical parametric oscillator in order to investigate how the coherence of a Gaussian state may be increased by means of time-continuous Gaussian measurement on the interacting environment.


title: Transport or Store? Synthesizing Flow-based Microfluidic Biochips using Distributed Channel Storage

abstract: Flow-based microfluidic biochips have attracted much atten- tion in the EDA community due to their miniaturized size and execution efficiency. Previous research, however, still follows the traditional computing model with a dedicated storage unit, which actually becomes a bottleneck of the performance of bio- chips. In this paper, we propose the first architectural synthe- sis framework considering distributed storage constructed tem- porarily from transportation channels to cache fluid samples. Since distributed storage can be accessed more efficiently than a dedicated storage unit and channels can switch between the roles of transportation and storage easily, biochips with this dis- tributed computing architecture can achieve a higher execution efficiency even with fewer resources. Experimental results con- firm that the execution efficiency of a bioassay can be improved by up to 28% while the number of valves in the biochip can be reduced effectively.


title: Conservation laws and symmetries of time-dependent generalized KdV equations

abstract: A complete classification of low-order conservation laws is obtained for time-dependent generalized Korteweg-de Vries equations. Through the Hamiltonian structure of these equations, a corresponding classification of Hamiltonian symmetries is derived. The physical meaning of the conservation laws and the symmetries is discussed.


title: A macroscopic view to the standard cosmological model

abstract: The averaging of the dynamic functions of the standard cosmological model (SCM) at its early stage with the dominance of the scalar field is carried out. It is shown that microscopic oscillations with Compton period provide the major contribution to the macroscopic energy density of the scalar field at large times at this stage. In this case, the effective equation of state of the scalar field oscillates between the inflationary and the extremely rigid ones, while the macroscopic equation of state is non-relativistic.


title: Small ball probabilities for certain gaussian fields

abstract: We study the behavior of the tail probabilities $P(V^2<r)$ as $r\to 0$, where $V^2$ is defined by the following double sum $$ V^2 =\pi^{-4}\,\sum\limits_{i,j\ge 1} \Big((i+b)\,(j + \delta)\Big)^{-2}\,\xi_{ij}^2,$$ where $ \{\xi_{ij}\} $ are independent standard normal random variables, and $b$ and $\delta$ are constants: $b>-1,\ \delta>-1$.


title: Thermodynamic Geometry of Black Holes in the Canonical Ensemble

abstract: We investigate the thermodynamics and critical phenomena for four dimensional RN-AdS and Kerr-AdS black holes in the canonical ensemble both for the normal and the extended phase space employing the framework of thermodynamic geometry. The thermodynamic scalar curvatures for these black holes characterizes the liquid-gas like first order phase transition analogous to the van der Waals fluids, through the $R$-Crossing Method. It is also shown that the thermodynamic scalar curvatures diverge as a function of the temperature at the critical point.


title: Inter-mode breather solitons in optical microresonators

abstract: The observation of temporal dissipative Kerr solitons in optical microresonators provides, on the applied side, compact sources of coherent optical frequency combs that have already been applied in coherent communications, dual comb spectroscopy and metrology. On a fundamental level, it enables the study of soliton physics in driven nonlinear cavities. Microresonators are commonly multimode and, as a result, inter-mode interactions inherently occur among mode families - a condition referred to as "avoided mode crossings". Avoided mode crossings can cause soliton decay, but can also modify the soliton spectrum, leading to e.g. the formation of dispersive wave and inducing a spectral recoil. Yet, to date, the entailing temporal soliton dynamics from inter-mode interactions has rarely been studied, but is critical to understand regimes of soliton-stability. Here we report the discovery of an inter-mode breather soliton. Such breathing dynamics occurs within a laser detuning range where conventionally stationary dissipative solitons are expected. We demonstrate experimentally the phenomenon in two microresonator platforms (crystalline magnesium fluoride and photonic chip-based silicon nitride microresonators), and theoretically describe the dynamics based on a pair of coupled Lugiato-Lefever equations. We demonstrate experimentally that the breathing is associated with a periodic energy exchange between the soliton and another optical mode family. We further show that inter-mode interactions can be modeled by a response function acting on dissipative solitons. The observation of breathing dynamics in the conventionally stable soliton regime is critical to applications, ranging from low-noise microwave generation, frequency synthesis to spectroscopy. On a fundamental level, our results provide new understandings of the rich dissipative soliton dynamics in multimode nonlinear cavities.


title: Phase Space Homogenization of Noisy Hamiltonian Systems

abstract: We study the dynamics of an inertial particle coupled to forcing, dissipation, and noise in the small mass limit. We derive an expression for the limiting (homogenized) joint distribution of the position and (scaled) velocity degrees of freedom. In particular, weak convergence of the joint distributions is established, along with a bound on the convergence rate for a wide class of expected values.


title: Irregular Recovery and Unequal Locality for Locally Recoverable Codes with Availability

abstract: A code is said to be a Locally Recoverable Code (LRC) with availability if every coordinate can be recovered from multiple disjoint sets of other coordinates called recovering sets. The vector of sizes of recovering sets of a coordinate is called its recovery profile. In this work, we consider LRCs with availability under two different settings: (1) irregular recovery: non-constant recovery profile that remains fixed for all coordinates, (2) unequal locality: regular recovery profile that can vary with coordinates. For each setting, we derive bounds for the minimum distance that generalize previously known bounds to the cases of irregular or varying recovery profiles. For the case of regular and fixed recovery profile, we show that a specific Tamo-Barg polynomial-evaluation construction is optimal for all-symbol locality, and we provide parity-check matrix constructions for information locality with availability.


title: Minimax Risk for Missing Mass Estimation

abstract: The problem of estimating the missing mass or total probability of unseen elements in a sequence of $n$ random samples is considered under the squared error loss function. The worst-case risk of the popular Good-Turing estimator is shown to be between $0.6080/n$ and $0.6179/n$. The minimax risk is shown to be lower bounded by $0.25/n$. This appears to be the first such published result on minimax risk for estimation of missing mass, which has several practical and theoretical applications.


title: Gauging as constraining: the universal generalised geometry action in two dimensions

abstract: One of the central concepts in modern theoretical physics, gauge symmetry, is typically realised by lifting a finite-dimensional global symmetry group of a given functional to an infinite-dimensional local one by extending the functional to include gauge fields. In this contribution we review the construction of gauged actions for two-dimensional sigma models, considering a more general notion to be gauged, namely that of a (possibly singular) foliation. In particular, the original action does not need to have any global symmetry for this purpose. Moreover, reformulating the ungauged theory by means of auxiliary 1-form fields taking values in the generalised tangent bundle over the target, all possible such gauge theories result from restriction of these fields to take values in (possibly small) Dirac structures. This turns all the remaining 1-form fields into gauge fields and leads to the presence of a local symmetry. We recall all needed mathematical notions, those of (higher) Lie algebroids, Courant algebroids, and Dirac structures.


title: On the asymptotic behavior of the dimension of spaces of harmonic functions with polynomial growth

abstract: Suppose $(M^{n},g)$ is a Riemannian manifold with nonnegative Ricci curvature, and let $h_{d}(M)$ be the dimension of the space of harmonic functions with polynomial growth of growth order at most $d$. Colding and Minicozzi proved that $h_{d}(M)$ is finite. Later on, there are many researches which give better estimates of $h_{d}(M)$. We study the behavior of $h_{d}(M)$ when $d$ is large in this paper. More precisely, suppose that $(M^{n},g)$ has maximal volume growth and has a unique tangent cone at infinity, then when $d$ is sufficiently large, we obtain some estimates of $h_{d}(M)$ in terms of the growth order $d$, the dimension $n$ and the the asymptotic volume ratio $\alpha=\lim_{R\rightarrow\infty}\frac{\mathrm{Vol}(B_{p}(R))}{R^{n}}$. When $\alpha=\omega_{n}$, i.e., $(M^{n},g)$ is isometric to the Euclidean space, the asymptotic behavior obtained in this paper recovers a well-known asymptotic property of $h_{d}(\mathbb{R}^{n})$.


title: Symbolic dynamics of a piecewise rotation: case of the non symmetric bijective maps

abstract: We consider a specific piecewise rotation of the plane that is continuous on two half-planes, as studied by some authors like Boshernitzan, Goetz and Quas. If the angle belongs to the set $\{\frac{\pi}{2},\frac{2\pi}{3},\frac{\pi}{4}\}$, we give a complete description of the symbolic dynamics of this map in the non symmetric bijective case.


title: Universal dependence on the channel conductivity of the competing weak localization and antilocalization in amorphous InGaZnO$_4$ thin-film transistors

abstract: We investigate the gate-voltage dependence of the magnetoconductivity of several amorphous InGaZnO$_4$ (a-IGZO) thin-film transistors (TFTs). The magnetoconductivity exhibits gate-voltage- controlled competitions between weak localization (WL) and weak antilocalization (WAL), and the respective weights of WL and WAL contributions demonstrate an intriguing universal dependence on the channel conductivity regardless of the difference in the electrical characteristics of the a-IGZO TFTs. Our findings help build a theoretical interpretation of the competing WL and WAL observed in the electron systems in a-IGZO TFTs.


title: Laplacian Spectra of Regular Graph Transformations

abstract: For any given graph G = (V,E) we define in a certain way a new graph G(x,y,z) with the vertex set V\cup E depending on parameters x,y,z from {0,1, +, -} and call graph G(x,y,z) the (x,y,z)-transformation of G. It turns out that if G is an r-regular graph, then the Laplacian polynomial of G(x,y,z) is a function of |V|, r, and the Laplacian spectrum of G. We give a complete description of this function.


title: Large photocathode 20-inch PMT testing methods for the JUNO experiment

abstract: The 20kt Liquid Scintillator (LS) JUNO detector is being constructed by the International Collaboration in China, with the primary goal of addressing the question of neutrino mass ordering (hierarchy). The main challenge for JUNO is to achieve a record energy resolution, ~3% at 1MeV of energy released in the LS, which is required to perform the neutrino mass hierarchy determination. About 20 000 large 20-inch PMTs with high Photon Detection Efficiency (PDE) and good photocathode uniformity will ensure an approximately 80% surface coverage of the JUNO detector. The JUNO collaboration is preparing equipment for the mass tests of all PMTs using 4 dedicated containers. This approach allows us to test 144 PMTs in parallel. The primary measurement in the container will be the PMT response to illumination of its photocathode by a low-intensity uniform light. Each of the 20 000 PMTs will undergo the container test. Additionally, a dedicated scanning system was constructed for sampled tests of PMTs that allows us to study the variation of the PDE over the entire PMT photocathode surface. The core of the scanning station is a rotating frame with 7 LED sources of calibrated short light flashes that are placed along the photocathode surface covering zenith angles from the top of a PMT to its equator. The collection efficiency of a large PMT is known to be very sensitive to the Earth Magnetic Field (EMF), therefore, understanding the necessary level of EMF suppression is crucial for the JUNO Experiment. A dark room with Helmholtz coils compensating the EMF components is available for these tests at a JUNO facility. The Hamamatsu R12860 20-inch PMT is a candidate for the JUNO experiment. In this article the container design and mass-testing method, the scanning setup and scanning method are briefly described and preliminary results for performance test of this PMT are reported.


title: Solution of the Gardner problem on the lock-in range of phase-locked loop

abstract: The lock-in frequency and lock-in range concepts were introduced in 1966 by Floyd Gardner to describe the frequency differences of phase-locked loop based circuit for which the loop can acquire lock within one beat, i.e. without cycle slipping. These concepts became popular among engineering community and were given in various engineering publications. However rigorous mathematical explanations these concepts turned out to be a challenging task, thus, in the 2nd edition of Gardner's well-known work, Phaselock Techniques, he wrote that "despite its vague reality, lock-in range is a useful concept" and posed the problem "to define exactly any unique lock-in frequency". In this paper an effective solution for Gardner's problem on the unique definition of the lock-in frequency and lock-in range is discussed. The lock-in range and lock-in frequency computation is explained on the example of classical second-order PLL with lead-lag and active proportional-integral filters. The obtained results can also be used for the lock-in range computation of such PLL-based circuits as two-phase PLL, two-phase Costas loop, BPSK Costas loop, and optical Costas loop, used in intersatellite communication.


title: The development of super fine-grained nuclear emulsion

abstract: A nuclear emulsion with micronized crystals is required for the tracking detection of submicron ionizing particles, which are a target of dark matter detection and other methods. We found that a new production method, named as the PVA-Gelatin Mixing Method (PGMM), could effectively control crystal size from 20 nm to 50 nm. We named two types of an emulsion produced with the new method NIT and UNIT. The composition and spatial resolution of them were measured, and the results indicated that these emulsions detect extremely short tracks.


title: Modulus stabilization in a non-flat warped braneworld scenario

abstract: The stability of the modular field in a warped brane world scenario has been a subject of interest for a long time. Goldberger \& Wise ( GW ) proposed a mechanism to achieve this by invoking a massive scalar field in the bulk space-time neglecting the back-reaction. In this work, we examine the possibility of stabilizing the modulus without bringing in any external scalar field. We show that instead of flat 3-branes as considered in Randall-Sundrum ( RS ) warped braneworld model, if one considers a more generalized version of warped geometry with de-Sitter 3-brane, then the brane vacuum energy automatically leads to a modulus potential with a metastable minimum. Our result further reveals that in this scenario the gauge hierarchy problem can also be resolved for appropriate choice of brane cosmological constant.


title: A Correspondence Relaxation Approach for 3D Shape Reconstruction

abstract: This paper presents a new method for 3D shape reconstruction based on two existing methods. A 3D reconstruction from a single photograph is introduced by both papers: the first one uses a photograph and a set of existing 3D model to generate the 3D object in the photograph, while the second one uses a photograph and a selected similar model to create the 3D object in the photograph. According to their difference, we propose a relaxation based method for more accurate correspondence establishment and shape recovery. The experiment demonstrates promising results compared to the state-of-the-art work on 3D shape estimation.


title: Tensor categories for vertex operator superalgebra extensions

abstract: Let $V$ be a vertex operator algebra with a category $\mathcal{C}$ of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let $A$ be a vertex operator (super)algebra extension of $V$. We employ tensor categories to study untwisted (also called local) $A$-modules in $\mathcal{C}$, using results of Huang-Kirillov-Lepowsky showing that $A$ is a (super)algebra object in $\mathcal{C}$ and that generalized $A$-modules in $\mathcal{C}$ correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a $\mathcal{C}$-algebra and (under suitable conditions) of generalized $A$-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of $V$-modules to $A$-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular $(1/2)\mathbb{Z}$-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and $\mathbb{Z}$-graded components, respectively. Second, we analyze parafermionic cosets $C=\mathrm{Com}(V_L,V)$ where $L$ is a positive definite even lattice and $V$ is regular. If the category of either $V$-modules or $C$-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.


title: FLASH: A Faster Optimizer for SBSE Tasks

abstract: Most problems in search-based software engineering involve balancing conflicting objectives. Prior approaches to this task have required a large number of evaluations- making them very slow to execute and very hard to comprehend. To solve these problems, this paper introduces FLASH, a decision tree based optimizer that incrementally grows one decision tree per objective. These trees are then used to select the next best sample. This paper compares FLASH to state-of-the-art algorithms from search-based SE and machine learning. This comparison uses multiple SBSE case studies for release planning, configuration control, process modeling, and sprint planning for agile development. FLASH was found to be the fastest optimizer (sometimes requiring less than 1% of the evaluations used by evolutionary algorithms). Also, measured in terms of model size, FLASH's reasoning was far more succinct and comprehensible. Further, measured in terms of finding effective optimization, FLASH's recommendations were highly competitive with other approaches. Finally, FLASH scaled to more complex models since it always terminated (while state-of-the-art algorithm did not).


title: Semiclassical measures on hyperbolic surfaces have full support

abstract: We show that each limiting semiclassical measure obtained from a sequence of eigenfunctions of the Laplacian on a compact hyperbolic surface is supported on the entire cosphere bundle. The key new ingredient for the proof is the fractal uncertainty principle, first formulated in [arXiv:1504.06589] and proved for porous sets in [arXiv:1612.09040].


title: Discrete-Continuous ADMM for Transductive Inference in Higher-Order MRFs

abstract: This paper introduces a novel algorithm for transductive inference in higher-order MRFs, where the unary energies are parameterized by a variable classifier. The considered task is posed as a joint optimization problem in the continuous classifier parameters and the discrete label variables. In contrast to prior approaches such as convex relaxations, we propose an advantageous decoupling of the objective function into discrete and continuous subproblems and a novel, efficient optimization method related to ADMM. This approach preserves integrality of the discrete label variables and guarantees global convergence to a critical point. We demonstrate the advantages of our approach in several experiments including video object segmentation on the DAVIS data set and interactive image segmentation.


title: Categorical New Foundations

abstract: New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with atoms) is known to be consistent through its close connection with models of conventional set theory that admit automorphisms. A first-order theory, $\mathrm{ML}_\mathrm{CAT}$, in the language of categories is introduced and proved to be equiconsistent to $\mathrm{NF}$ (analogous results are obtained for intuitionistic and classical $\mathrm{NF}$ with and without atoms). $\mathrm{ML}_\mathrm{CAT}$ is intended to capture the categorical content of the predicative class theory of $\mathrm{NF}$. $\mathrm{NF}$ is interpreted in $\mathrm{ML}_\mathrm{CAT}$ through the categorical semantics. Thus, the result enables application of category theoretic techniques to meta-mathematical problems about $\mathrm{NF}$ -style set theory. For example, an immediate corollary is that $\mathrm{NF}$ is equiconsistent to $\mathrm{NFU} + |V| = |\mathcal{P}(V)|$. This is already proved by Crabb\'e, but becomes more transparent in light of the results of this paper. Just like a category of classes has a distinguished subcategory of small morphisms, a category modelling $\mathrm{ML}_\mathrm{CAT}$ has a distinguished subcategory of type-level morphisms. This corresponds to the distinction between sets and proper classes in $\mathrm{NF}$. With this in place, the axiom of power objects familiar from topos theory can be appropriately formulated for $\mathrm{NF}$. It turns out that the subcategory of type-level morphisms contains a topos as a natural subcategory.


title: Efficient Evaluation of Cosmological Angular Statistics

abstract: Angular statistics of cosmological observables are hard to compute. The main difficulty is due to the presence of highly-oscillatory Bessel functions which need to be integrated over. In this paper, we provide a simple and fast method to compute the angular power spectrum and bispectrum of any observable. The method is based on using an FFTlog algorithm to decompose the momentum-space statistics onto a basis of power-law functions. For each power law, the integrals over Bessel functions have a simple analytical solution. This allows us to efficiently evaluate these integrals, independently of the value of the multipole $\ell$. In particular, this method significantly speeds up the evaluation of the angular bispectrum compared to existing methods. To illustrate our algorithm, we compute the galaxy, lensing and CMB temperature angular power spectrum and bispectrum.


title: Acyclic edge-coloring of planar graphs: $\Delta$ colors suffice when $\Delta$ is large

abstract: An \emph{acyclic edge-coloring} of a graph $G$ is a proper edge-coloring of $G$ such that the subgraph induced by any two color classes is acyclic. The \emph{acyclic chromatic index}, $\chi'_a(G)$, is the smallest number of colors allowing an acyclic edge-coloring of $G$. Clearly $\chi'_a(G)\ge \Delta(G)$ for every graph $G$. Cohen, Havet, and M\"{u}ller conjectured that there exists a constant $M$ such that every planar graph with $\Delta(G)\ge M$ has $\chi'_a(G)=\Delta(G)$. We prove this conjecture.


title: Entanglement Entropy and Conformal Collider Physics in 2D CFTs

abstract: We consider a conformal field theory in two dimensions in which an external perturbation is placed. We study the energy flux and entanglement entropy for one, two and multiple intervals and give a suggestion relating the two in some cases. We show that both the energy flux and the entanglement entropy exhibit a light-cone singularity which strongly depends on the regularization we choose.


title: Complexity in cancer stem cells and tumor evolution: towards precision medicine

abstract: In this review, we discuss recent advances on the plasticity of cancer stem cells and highlight their relevance to understand the metastatic process and to guide therapeutic interventions. Recent results suggest that the strict hierarchical structure of cancer cell populations advocated by the cancer stem cell model must be reconsidered since the depletion of cancer stem cells leads the other tumor cells to switch back into the cancer stem cell phenotype. This plasticity has important implications for metastasis since migrating cells do not need to be cancer stem cells in order to seed a metastasis. We also discuss the important role of the immune system and the microenvironment in modulating phenotypic switching and suggest possible avenues to exploit our understanding of this process to develop an effective strategy for precision medicine.


title: Horofunction Compactifications of Symmetric Spaces

abstract: We consider horofunction compactifications of symmetric spaces with respect to invariant Finsler metrics. We show that any (generalized) Satake compactification can be realized as a horofunction compactification with respect to a polyhedral Finsler metric.


title: Ultrahigh-energy Cosmic-ray Nuclei from Black Hole Jets: Recycling Galactic Cosmic Rays through Shear Acceleration

abstract: We perform Monte Carlo simulations of transrelativistic shear acceleration dedicated to a jet-cocoon system of active galactic nuclei. A certain fraction of galactic cosmic rays in a halo is entrained, and sufficiently high-energy particles can be injected to the reacceleration process and further accelerated up to 100 EeV. We show that the shear reacceleration mechanism leads to a hard spectrum of escaping cosmic rays, $dL_E/dE\propto E^{-1}-E^0$, distinct from a conventional $E^{-2}$ spectrum. The supersolar abundance of ultrahigh-energy nuclei is achieved due to injections at TeV-PeV energies. As a result, we find that the highest-energy spectrum and mass composition can be reasonably explained by our model without contradictions with the anisotropy data.


title: Optimum weight chamber examples of moduli spaces of stable parabolic bundles in genus 0

abstract: We present an explicit construction of the moduli spaces of rank 2 stable parabolic bundles of parabolic degree 0 over the Riemann sphere, corresponding to "optimum" open weight chambers of parabolic weights in the weight polytope. The complexity of the different moduli space' weight chambers is understood in terms of the complexity of the actions of the corresponding groups of bundle automorphisms on stable parabolic structures. For the given choices of parabolic weights, $\mathscr{N}$ consists entirely of isomorphism classes of strictly stable parabolic bundles whose underlying Birkhoff-Grothendieck splitting coefficients are constant and minimal, is constructed as a quotient of a set of stable parabolic structures by a group of bundle automorphisms, and is a smooth, compact complex manifold biholomorphic to $\left(\mathbb{C}\mathbb{P}^{1}\right)^{n-3}$ for even degree, and $\mathbb{C}\mathbb{P}^{n-3}$ for odd degree. As an application of the construction of such explicit models, we provide an explicit characterization of the nilpotent cone locus on $T^{*}\mathscr{N}$ for Hitchin's integrable system.


title: Max-min Fair Beamforming for SWIPT Systems with Non-linear EH Model

abstract: We study the beamforming design for multiuser systems with simultaneous wireless information and power transfer (SWIPT). Employing a practical non-linear energy harvesting (EH) model, the design is formulated as a non-convex optimization problem for the maximization of the minimum harvested power across several energy harvesting receivers. The proposed problem formulation takes into account imperfect channel state information (CSI) and a minimum required signal-to-interference-plus-noise ratio (SINR). The globally optimal solution of the design problem is obtained via the semidefinite programming (SDP) relaxation approach. Interestingly, we can show that at most one dedicated energy beam is needed to achieve optimality. Numerical results demonstrate that with the proposed design a significant performance gain and improved fairness can be provided to the users compared to two baseline schemes.


title: Information Leakage Games

abstract: We consider a game-theoretic setting to model the interplay between attacker and defender in the context of information flow, and to reason about their optimal strategies. In contrast with standard game theory, in our games the utility of a mixed strategy is a convex function of the distribution on the defender's pure actions, rather than the expected value of their utilities. Nevertheless, the important properties of game theory, notably the existence of a Nash equilibrium, still hold for our (zero-sum) leakage games, and we provide algorithms to compute the corresponding optimal strategies. As typical in (simultaneous) game theory, the optimal strategy is usually mixed, i.e., probabilistic, for both the attacker and the defender. From the point of view of information flow, this was to be expected in the case of the defender, since it is well known that randomization at the level of the system design may help to reduce information leaks. Regarding the attacker, however, this seems the first work (w.r.t. the literature in information flow) proving formally that in certain cases the optimal attack strategy is necessarily probabilistic.


title: Fermionic Casimir effect in Graphene

abstract: We investigate the Fermionic Casimir effect at finite temperature for two parallel chain of adatoms in a Graphene sheet, and the corresponding Casimir force is interpreted as an interaction between the adatom chains. We apply useful techniques to find asymptotically explicit expressions for the Casimir energy, for small as well as large temperatures (with respect to the effective temperature of the Graphene). We obtain a value in the order of $10^{-2} N/m$ for the Casimir force between (per unit length of) the adatom chains being one nanometer apart, which is considerably noticeable e.g. in comparison to the experimental values for built-in tension of a suspended Graphene sheet.


title: Notes on oldest jump unravelling of spatial decoherence master equation

abstract: Solution of free particle quantum master equation with spatial decoherence can be unravelled into stochastic quantum trajectories in many ways. The first example, published in 1985, proposed a piecewise deterministic jump process for the wave function. While alternative unravellings, diffusive ones in particular, proved to be tractable analytically, the jump process 1985, also called orthojump, allows for few analytic results, it needs numeric methods as well. Here we prove that, similarly to diffusive unravellings, it is localizing the quantum state.


title: Length of local cohomology of powers of ideals

abstract: Let $R$ be a polynomial ring over a field $k$ with irrelevant ideal $\frak m$ and dimension $d$. Let $I$ be a homogeneous ideal in $R$. We study the asymptotic behavior of the length of the modules $H^{i}_{\frak m}(R/I^n)$ for $n\gg 0$. We show that for a fixed number $\alpha \in \mathbb Z$, $\limsup_{n\rightarrow \infty}\frac{\lambda(H^{i}_{\frak m}(R/I^n)_{\geq -\alpha n})}{n^d}<\infty.$ Combining this with recent strong vanishing results gives that $\limsup_{n\rightarrow \infty}\frac{\lambda(H^{i}_{\frak m}{R/I^n})}{n^d}<\infty$ in many situations. We also establish that the actual limit exists and is rational for certain classes of monomial ideals $I$ such that the lengths of local cohomology of $I^n$ are eventually finite. Our proofs use Gr\"obner deformation and Presburger arithmetic. Finally, we utilize more traditional commutative algebra techniques to show that $\liminf_{n\rightarrow \infty}\frac{\lambda(H^{i}_{\frak m}(R/I^n))}{n^d}>0$ when $R/I$ has "nice" singularities in both zero and positive characteristics.


title: Electroweak Baryogenesis driven by Extra Top Yukawa Couplings

abstract: We study electroweak baryogenesis driven by the top quark in a general two Higgs doublet model with flavor-changing Yukawa couplings, keeping the Higgs potential $CP$ invariant. With Higgs sector couplings and the additional top Yukawa coupling $\rho_{tt}$ all of $\mathcal{O}$(1), one naturally has sizable $CP$ violation that fuels the cosmic baryon asymmetry. Even if $\rho_{tt}$ vanishes, the favor-changing coupling $\rho_{tc}$ can still lead to successful baryogenesis. Phenomenological consequences such as $t\to ch$, $\tau \to \mu\gamma$, electron electric dipole moment, $h\to\gamma\gamma$, and $hhh$ coupling are discussed.


title: Discrete Sequential Prediction of Continuous Actions for Deep RL

abstract: It has long been assumed that high dimensional continuous control problems cannot be solved effectively by discretizing individual dimensions of the action space due to the exponentially large number of bins over which policies would have to be learned. In this paper, we draw inspiration from the recent success of sequence-to-sequence models for structured prediction problems to develop policies over discretized spaces. Central to this method is the realization that complex functions over high dimensional spaces can be modeled by neural networks that predict one dimension at a time. Specifically, we show how Q-values and policies over continuous spaces can be modeled using a next step prediction model over discretized dimensions. With this parameterization, it is possible to both leverage the compositional structure of action spaces during learning, as well as compute maxima over action spaces (approximately). On a simple example task we demonstrate empirically that our method can perform global search, which effectively gets around the local optimization issues that plague DDPG. We apply the technique to off-policy (Q-learning) methods and show that our method can achieve the state-of-the-art for off-policy methods on several continuous control tasks.


title: Nonexistence of Wandering Domains for Infinitely Renormalizable H\'enon Maps

abstract: This article extends the theorem of the absence of wandering domains from unimodal maps to infinitely period-doubling renormalizable H\'enon-like maps in the strongly dissipative (area contracting) regime. The theorem solves an open problem proposed by several authors [van Strien (2010) and Lyubich and Martens (2011)], and covers a class of maps in the nonhyperbolic higher dimensional setting. The classical proof for unimodal maps breaks down in the H\'enon settings, and two techniques, "the area argument" and "the good region and the bad region", are introduced to resolve the main difficulty. The theorem also helps to understand the topological structure of the heteroclinic web for such kind of maps: the union of the stable manifolds for all periodic points is dense.


title: Radiative heating in the kinetic mode of AGN feedback

abstract: AGN feedback is now widely believed to play a crucial role in the co-evolution between the central black hole and its host galaxy. Two feedback modes have been identified, namely the radiative and kinetic modes, which correspond to the luminous AGNs and low-luminosity AGNs (LLAGNs), respectively. In this paper, we investigate the radiative heating in the kinetic mode. This process is potentially important because: 1) the radiation power of LLAGNs is higher than the jet power over a wide parameter range, 2) the spectral energy distribution of LLAGNs is such that the radiative heating is more effective compared to that of luminous AGNs with the same luminosity, and 3) most of the time in the lifecycle of an AGN is spent in the LLAGNs phase. In this paper, adopting the characteristic broad-band spectral energy distributions of LLAGNs, we calculate the value of "Compton temperature" ($T_{\rm c}$), which determines the radiative heating by Compton scattering. We find that $T_{\rm c}\sim (5-15)\times 10^7$ K, depending on the spectrum of individual LLAGN and at which distance from the black hole we evaluate the heating. We also compare this heating process with other radiative heating and cooling processes such as photoionization/recombination. Our result can be used for an accurate calculation of the radiative heating in the study of AGN feedback.


title: An explicit formula for a branched covering from $\mathbb{CP}^2$ to $S^4$

abstract: We give an explicit formula for a 2-fold branched covering from $\mathbb{CP}^2$ to $S^4$, and relate it to other maps between quotients of $S^2\times{S^2}$.