title: Statistical Channel Modeling for Long-Range Ground-to-Air FSO Links

abstract: To provide high data rate aerial links for 5G and beyond wireless networks, the integration of free-space optical (FSO) communications and aerial platforms has been recently suggested as a practical solution. To fully reap the benefit of aerial-based FSO systems, in this paper, an analytical channel model for a long-range ground-to-air FSO link under the assumption of plane wave optical beam profile at the receiver is derived. Particularly, the model includes the combined effects of transmitter divergence angle, random wobbling of the receiver, jitter due to beam wander, attenuation loss, and atmospheric turbulence. Furthermore, a closed-form expression for the outage probability of the considered link is derived which makes it possible to evaluate the performance of such systems. Numerical results are then provided to corroborate the accuracy of the proposed analytical expressions and to prove the superiority of the proposed channel model over the previous models in long-range aerial FSO links.


title: Optimizing Unlicensed Band Spectrum Sharing With Subspace-Based Pareto Tracing

abstract: To meet the ever-growing demands of data throughput for forthcoming and deployed wireless networks, new wireless technologies like Long-Term Evolution License-Assisted Access (LTE-LAA) operate in shared and unlicensed bands. However, the LAA network must co-exist with incumbent IEEE 802.11 Wi-Fi systems. We consider a coexistence scenario where multiple LAA and Wi-Fi links share an unlicensed band. We aim to improve this coexistence by maximizing the key performance indicators (KPIs) of these networks simultaneously via dimension reduction and multi-criteria optimization. These KPIs are network throughputs as a function of medium access control protocols and physical layer parameters. We perform an exploratory analysis of coexistence behavior by approximating active subspaces to identify low-dimensional structure in the optimization criteria, i.e., few linear combinations of parameters for simultaneously maximizing KPIs. We leverage an aggregate low-dimensional subspace parametrized by approximated active subspaces of throughputs to facilitate multi-criteria optimization. The low-dimensional subspace approximations inform visualizations revealing convex KPIs over mixed active coordinates leading to an analytic Pareto trace of near-optimal solutions.


title: Design, Implementation, Comparison, and Performance analysis between Analog Butterworth and Chebyshev-I Low Pass Filter Using Approximation, Python and Proteus

abstract: Filters are broadly used in signal processing and communication systems in noise reduction. Butterworth, Chebyshev-I Analog Low Pass Filters are developed and implemented in this paper. The filters are manually calculated using approximations and verified using Python Programming Language. Filters are also simulated in Proteus 8 Professional and implemented in the Hardware Lab using the necessary components. This paper also denotes the comparison and performance analysis of filters using Manual Computations, Hardware, and Software.


title: Efficient Reservoir Computing using Field Programmable Gate Array and Electro-optic Modulation

abstract: We experimentally demonstrate a hybrid reservoir computing system consisting of an electro-optic modulator and field programmable gate array (FPGA). It implements delay lines and filters digitally for flexible dynamics and high connectivity, while supporting a large number of reservoir nodes. To evaluate the system's performance and versatility, three benchmark tests are performed. The first is the 10th order Nonlinear Auto-Regressive Moving Average test (NARMA-10), where the predictions of 1000 and 25,000 steps yield impressively low normalized root mean square errors (NRMSE's) of 0.142 and 0.148, respectively. Such accurate predictions over into the far future speak to its capability of large sample size processing, as enabled by the present hybrid design. The second is the Santa Fe laser data prediction, where a normalized mean square error (NMSE) of 6.73x10-3 is demonstrated. The third is the isolate spoken digit recognition, with a word error rate close to 0.34%. Accurate, versatile, flexibly reconfigurable, and capable of long-term prediction, this reservoir computing system could find a wealth of impactful applications in real-time information processing, weather forecasting, and financial analysis.


title: End-to-end learnable EEG channel selection for deep neural networks with Gumbel-softmax

abstract: Many electroencephalography (EEG) applications rely on channel selection methods to remove the least informative channels, e.g., to reduce the amount of electrodes to be mounted, to decrease the computational load, or to reduce overfitting effects and improve performance. Wrapper-based channel selection methods aim to match the channel selection step to the target model, yet they require to re-train the model multiple times on different candidate channel subsets, which often leads to an unacceptably high computational cost, especially when said model is a (deep) neural network. To alleviate this, we propose a framework to embed the EEG channel selection in the neural network itself to jointly learn the network weights and optimal channels in an end-to-end manner by traditional backpropagation algorithms. We deal with the discrete nature of this new optimization problem by employing continuous relaxations of the discrete channel selection parameters based on the Gumbel-softmax trick. We also propose a regularization method that discourages selecting channels more than once. This generic approach is evaluated on two different EEG tasks: motor imagery brain-computer interfaces and auditory attention decoding. The results demonstrate that our framework is generally applicable, while being competitive with state-of-the art EEG channel selection methods, tailored to these tasks.


title: Efficient and Secure Mobile Cloud Networking

abstract: Mobile cloud computing is a very strong candidate for the title "Next Generation Network" which empowers mobile users with extended mobility, service continuity and superior performance. Users can expect to execute their jobs faster, with lower battery consumption and affordable prices; however this is not always the case. Various mobile applications have been developed to take advantage of this new technology, but each application has its own requirements. Several mobile cloud architectures have been proposed but none was suitable for all mobile applications which resulted in lower customer satisfaction. In addition to that, the absence of a valid business model to motivate investors hindered its deployment on production scale. This dissertation proposes a new mobile cloud architecture which positions the mobile operator at the core of this technology equipped with a revenue-making business model. This architecture, named OCMCA (Operator Centric Mobile Cloud Architecture), connects the user from one side and the Cloud Service Provider (CSP) from the other and hosts a cloud within its network. The OCMCA/user connection can utilize multicast channels leading to a much cheaper service for the users and more revenues, lower congestion and rejection rates for the operator.


title: Multilevel calibration weighting for survey data

abstract: In the November 2016 U.S. presidential election, many state level public opinion polls, particularly in the Upper Midwest, incorrectly predicted the winning candidate. One leading explanation for this polling miss is that the precipitous decline in traditional polling response rates led to greater reliance on statistical methods to adjust for the corresponding bias -- and that these methods failed to adjust for important interactions between key variables like education, race, and geographic region. Finding calibration weights that account for important interactions remains challenging with traditional survey methods: raking typically balances the margins alone, while post-stratification, which exactly balances all interactions, is only feasible for a small number of variables. In this paper, we propose multilevel calibration weighting, which enforces tight balance constraints for marginal balance and looser constraints for higher-order interactions. This incorporates some of the benefits of post-stratification while retaining the guarantees of raking. We then correct for the bias due to the relaxed constraints via a flexible outcome model; we call this approach Double Regression with Post-stratification (DRP). We characterize the asymptotic properties of these estimators and show that the proposed calibration approach has a dual representation as a multilevel model for survey response. We then use these tools to to re-assess a large-scale survey of voter intention in the 2016 U.S. presidential election, finding meaningful gains from the proposed methods. The approach is available in the multical R package.


title: Estimating The Proportion of Signal Variables Under Arbitrary Covariance Dependence

abstract: Estimating the proportion of signals hidden in a large amount of noise variables is of interest in many scientific inquires. In this paper, we consider realistic but theoretically challenging settings with arbitrary covariance dependence between variables. We define mean absolute correlation (MAC) to measure the overall dependence level and investigate a family of estimators for their performances in the full range of MAC. We explicit the joint effect of MAC dependence and signal sparsity on the performances of the family of estimators and discover that no single estimator in the family is most powerful under different MAC dependence levels. Informed by the theoretical insight, we propose a new estimator to better adapt to arbitrary covariance dependence. The proposed method compares favorably to several existing methods in extensive finite-sample settings with strong to weak covariance dependence and real dependence structures from genetic association studies.


title: Multilevel Second-Moment Methods with Group Decomposition for Multigroup Transport Problems

abstract: This paper presents multilevel iterative schemes for solving the multigroup Boltzmann transport equations (BTEs) with parallel calculation of group equations. They are formulated with multigroup and grey low-order equations of the Second-Moment (SM) method. The group high-order BTEs and low-order SM (LOSM) equations are solved in parallel. To further improve convergence and increase computational efficiency of algorithms Anderson acceleration is applied to inner iterations for solving the system of multigroup LOSM equations. Numerical results are presented to demonstrate performance of the multilevel iterative methods.


title: Mechanical behavior of high-entropy alloys: A review

abstract: High-entropy alloys (HEAs) are materials that consist of equimolar or near-equimolar multiple principal components but tend to form single phases, which is a new research topic in the field of metallurgy, have attracted extensive attention in the past decade. The HEAs families contain the face-centered-cubic (fcc), body-centered-cubic (bcc), and hexagonal-close-packed (hcp)-structured HEAs. On one hand, mechanical properties, e.g. hardness, strength, ductility, fatigue, and elastic moduli, are essential for practical applications of HEAs. Scientists have explored in this direction since the advent of HEAs. On the other hand, the pursuit of high strength and good plasticity is the critical research issue of materials. Hence, strengthening of HEAs is a crucial issue. Recently, many articles are focusing on the strengthening strategies of HEAs[1-14]. In this chapter, we reviewed the recent work on the room-temperature elastic properties and mechanical behavior of HEAs, including the mechanisms behind the plastic deformation of HEAs at both low and high temperatures. Furthermore, the present work examined the strengthening strategies of HEAs, e.g. strain hardening, grain-boundary strengthening, solid-solution strengthening, and particle strengthening. The fatigue, creep, and fracture properties were briefly introduced. Lastly, the future scientific issues and challenges of HEAs were discussed.


title: Communication-free Cohesive Flexible-Object Transport using Decentralized Robot Networks

abstract: Decentralized network theories focus on achieving consensus and in speeding up the rate of convergence to consensus. However, network cohesion (i.e., maintaining consensus) during transitions between consensus values is also important when transporting flexible structures. Deviations in the robot positions due to loss of cohesion when moving flexible structures from one position to another, such as uncuredcomposite aircraft wings, can cause large deformations, which in turn, can result in potential damage. The major contribution of this work is to develop a decentralized approach to transport flexible objects in a cohesive manner using local force measurements, without the need for additional communication between the robots. Additionally, stability conditions are developed for discrete-time implementation of the proposed cohesive transition approach, and experimental results are presented, which show that the proposed cohesive transportation approach can reduce the relative deformations by 85% when compared to the case without it.


title: Towards Adversarial-Resilient Deep Neural Networks for False Data Injection Attack Detection in Power Grids

abstract: False data injection attacks (FDIAs) pose a significant security threat to power system state estimation. To detect such attacks, recent studies have proposed machine learning (ML) techniques, particularly deep neural networks (DNNs). However, most of these methods fail to account for the risk posed by adversarial measurements, which can compromise the reliability of DNNs in various ML applications. In this paper, we present a DNN-based FDIA detection approach that is resilient to adversarial attacks. We first analyze several adversarial defense mechanisms used in computer vision and show their inherent limitations in FDIA detection. We then propose an adversarial-resilient DNN detection framework for FDIA that incorporates random input padding in both the training and inference phases. Our simulations, based on an IEEE standard power system, demonstrate that this framework significantly reduces the effectiveness of adversarial attacks while having a negligible impact on the DNNs' detection performance.


title: On the implementation of Approximate Randomization Tests in Linear Models with a Small Number of Clusters

abstract: This paper provides a user's guide to the general theory of approximate randomization tests developed in Canay, Romano, and Shaikh (2017) when specialized to linear regressions with clustered data. An important feature of the methodology is that it applies to settings in which the number of clusters is small -- even as small as five. We provide a step-by-step algorithmic description of how to implement the test and construct confidence intervals for the parameter of interest. In doing so, we additionally present three novel results concerning the methodology: we show that the method admits an equivalent implementation based on weighted scores; we show the test and confidence intervals are invariant to whether the test statistic is studentized or not; and we prove convexity of the confidence intervals for scalar parameters. We also articulate the main requirements underlying the test, emphasizing in particular common pitfalls that researchers may encounter. Finally, we illustrate the use of the methodology with two applications that further illuminate these points. The companion {\tt R} and {\tt Stata} packages facilitate the implementation of the methodology and the replication of the empirical exercises.


title: A Search for L4 Earth Trojan Asteroids Using a Novel Track-Before-Detect Multi-Epoch Pipeline

abstract: Earth Trojan Asteroids are an important but elusive population that co-orbit with Earth at the L4 and L5 Lagrange points. There is only one known, but a large population is theoretically stable and could provide insight into our solar system's past and present as well as planetary defense. In this paper, we present the results of an Earth Trojan survey that uses a novel shift-and-stack detection method on two nights of data from the Dark Energy Camera. We find no new Earth Trojan Asteroids. We calculate an upper limit on the population that is consistent with previous searches despite much less sky coverage. Additionally, we elaborate on previous upper limit calculations using current asteroid population statistics and an extensive asteroid simulation to provide the most up to date population constraints. We find an L4 Earth Trojan population of NET < 1 for H = 13.93, NET < 7 for H = 16, and NET < 938 for H = 22.


title: Non-contact, in-vivo, functional, and structural ophthalmic imaging using multimodal photoacoustic remote sensing (PARS) microscopy and optical coherence tomography (OCT)

abstract: Early diagnosis of ocular diseases improves the understanding of pathophysiology and helps with accurate monitoring and effective treatment. Advanced multimodal ocular imaging platforms play a crucial role in the visualization of the ocular components and provide clinicians with a valuable tool for evaluating different eye diseases. Here, for the first time, we present a non-contact, multimodal photoacoustic remote sensing (PARS) microscopy and swept-source optical coherence tomography (SS-OCT) for in-vivo functional and structural imaging of the eye. The system provides complementary imaging contrasts of optical absorption and optical scattering and is used for non-contact, in-vivo imaging of the murine eye. Results of vasculature and structural imaging as well as melanin content in the retinal pigment epithelium (RPE) layer are presented. Multiwavelength PARS microscopy using Stimulated Raman Scattering (SRS) is applied for the first time, to provide non-contact oxygen saturation estimation in the ocular tissue. The reported work may be a major step toward clinical translation of ophthalmic technologies and has the potential to advance the diagnosis and treatment of ocular diseases.


title: Analysis of EEG data using complex geometric structurization

abstract: Electroencephalogram (EEG) is a common tool used to understand brain activities. The data are typically obtained by placing electrodes at the surface of the scalp and recording the oscillations of currents passing through the electrodes. These oscillations can sometimes lead to various interpretations, depending on the subject's health condition, the experiment carried out, the sensitivity of the tools used, human manipulations etc. The data obtained over time can be considered a time series. There is evidence in the literature that epilepsy EEG data may be chaotic. Either way, the embedding theory in dynamical systems suggests that time series from a complex system could be used to reconstruct its phase space under proper conditions. In this paper, we propose an analysis of epilepsy electroencephalogram time series data based on a novel approach dubbed complex geometric structurization. Complex geometric structurization stems from the construction of strange attractors using embedding theory from dynamical systems. The complex geometric structures are themselves obtained using a geometry tool, namely the $\alpha$-shapes from shape analysis. Initial analyses show a proof of concept in that these complex structures capture the expected changes brain in lobes under consideration. Further, a deeper analysis suggests that these complex structures can be used as biomarkers for seizure changes.


title: The Doubling Method in Algebraic Families

abstract: We define the doubling zeta integral for smooth families of representations of classical groups. Following this we prove a rationality result for these zeta integrals and show that they satisfy a functional equation. Moreover, we show that there exists an apropriate normalizing factor which allows us to construct $\gamma$-factors for smooth families out of the functional equation. We prove that under certain hypothesis, specializing this $\gamma$-factor at a point of the family yields the $\gamma$-factor defined by Piateski-Shapiro and Rallis.


title: Selecting Features for the Next Release in a System of Systems Context

abstract: Smart Cities are developing in parallel with the global trend towards urbanization. The ultimate goal of Smart City projects is to deliver a positive impact for the citizens and the socio-economic and ecological environment. This involves the challenge to derive concrete requirements for (technical) projects from overarching concepts like Quality of Life (QoL) and Subjective Well-Being (SWB). Linking long-term, impact oriented goals with project outputs and outcomes is a complex problem. Decision making on requirements and resulting features of single Smart City projects (or systems) is even more complex since cities are not like monolithic, hierarchical and well structured systems. Nevertheless, systems engineering provides concepts which support decision making in such situations. Complex socio-technical systems such as smart cities can be characterized as systems of systems (SoS). A SoS is composed of independently developed systems that nevertheless provide a higher-level integrated functionality. To add new functionality to a SoS, either existing systems must be extended or new systems must be developed and integrated. In both cases, the extension of functionality is usually done in small increments and structured via software releases. However, the decision which features to include in the next release is complex and difficult to manage when done manually. To address this, we make use of the multi-objective next release problem (MONRP) to search for an optimal set of features for a software release in a SoS context. In order to refine the search in an early planning phase, we propose a technique to model and validate the features using the scenario modeling language for Kotlin (SMLK). This is demonstrated with a proof-of-concept implementation.


title: Simple weight modules with finite weight multiplicities over the Lie algebra of polynomial vector fields

abstract: Let ${\mathcal W}_n$ be the Lie algebra of polynomial vector fields. We classify simple weight ${\mathcal W}_n$-modules $M$ with finite weight multiplicities. We prove that every such nontrivial module $M$ is either a tensor module or the unique simple submodule in a tensor module associated with the de Rham complex on $\mathbb C^n$.


title: Type $II$ quantum subgroups of $\mathfrak{sl}_N$. $I$: Symmetries of local modules

abstract: This paper is the first of a pair that aims to classify a large number of the type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. In this work we classify the braided auto-equivalences of the categories of local modules for all known type $I$ quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds $\mathcal{C}( \mathfrak{sl}_{2},16)_{\operatorname{Rep}(\mathbb{Z}_2)}$, $\mathcal{C}( \mathfrak{sl}_{3},9)_{\operatorname{Rep}(\mathbb{Z}_3)}$, $\mathcal{C}( \mathfrak{sl}_{4},8)_{\operatorname{Rep}(\mathbb{Z}_4)}$, and $\mathcal{C}( \mathfrak{sl}_{5},5)_{\operatorname{Rep}(\mathbb{Z}_5)}$. We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type $D$-$D$ case, which is used to construct one of the exceptionals. Finally we uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. When paired with Gannon's type $I$ classification for $r\leq 6$, this will complete the type $II$ classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$.


title: Is preprint the future of science? A thirty year journey of online preprint services

abstract: Preprint is a version of a scientific paper that is publicly distributed preceding formal peer review. Since the launch of arXiv in 1991, preprints have been increasingly distributed over the Internet as opposed to paper copies. It allows open online access to disseminate the original research within a few days, often at a very low operating cost. This work overviews how preprint has been evolving and impacting the research community over the past thirty years alongside the growth of the Web. In this work, we first report that the number of preprints has exponentially increased 63 times in 30 years, although it only accounts for 4% of research articles. Second, we quantify the benefits that preprints bring to authors: preprints reach an audience 14 months earlier on average and associate with five times more citations compared with a non-preprint counterpart. Last, to address the quality concern of preprints, we discover that 41% of preprints are ultimately published at a peer-reviewed destination, and the published venues are as influential as papers without a preprint version. Additionally, we discuss the unprecedented role of preprints in communicating the latest research data during recent public health emergencies. In conclusion, we provide quantitative evidence to unveil the positive impact of preprints on individual researchers and the community. Preprints make scholarly communication more efficient by disseminating scientific discoveries more rapidly and widely with the aid of Web technologies. The measurements we present in this study can help researchers and policymakers make informed decisions about how to effectively use and responsibly embrace a preprint culture.


title: A Geodesic Stratification of Two-dimensional Semi-algebraic Sets

abstract: Given any arbitrary semi-algebraic set $X$, any two points in $X$ may be joined by a piecewise $C^2$ path $\gamma$ of shortest length. Suppose $\mathcal{A}$ is a semi-algebraic stratification of $X$ such that each component of $\gamma \cap \mathcal{A}$ is either a singleton or a real analytic geodesic segment in $\mathcal{A}$, the question is whether $\gamma \cap \mathcal{A}$ has at most finitely many such components. This paper gives a semi-algebraic stratification, in particular a cell decomposition, of a real semi-algebraic set in the plane whose open cells have this finiteness property. This provides insights for high dimensional stratifications of semi-algebraic sets in connection with geodesics.


title: Critical point determination from probability distribution functions in the three dimensional Ising model

abstract: In this work we propose a new numerical method to evaluate the critical point, the susceptibility critical exponent and the correlation length critical exponent of the three dimensional Ising model without external field using an algorithm that evaluates directly the derivative of the logarithm of the probability distribution function with respect to the magnetisation. Using standard finite-size scaling theory we found that correction-to-scaling effects are not present within this approach. Our results are in good agreement with previous reported values for the three dimensional Ising model.


title: SRDTI: Deep learning-based super-resolution for diffusion tensor MRI

abstract: High-resolution diffusion tensor imaging (DTI) is beneficial for probing tissue microstructure in fine neuroanatomical structures, but long scan times and limited signal-to-noise ratio pose significant barriers to acquiring DTI at sub-millimeter resolution. To address this challenge, we propose a deep learning-based super-resolution method entitled "SRDTI" to synthesize high-resolution diffusion-weighted images (DWIs) from low-resolution DWIs. SRDTI employs a deep convolutional neural network (CNN), residual learning and multi-contrast imaging, and generates high-quality results with rich textural details and microstructural information, which are more similar to high-resolution ground truth than those from trilinear and cubic spline interpolation.


title: Counting rational points close to $p$-adic integers and applications in Diophantine approximation

abstract: We find upper and lower bounds on the number of rational points that are $\psi$-approximations of some $n$-dimensional $p$-adic integer. Lattice point counting techniques are used to find the upper bound result, and a Pigeon-hole principle style argument is used to find the lower bound result. We use these results to find the Hausdorff dimension for the set of $p$-adic weighted simultaneously approximable points intersected with $p$-adic coordinate hyperplanes. For the lower bound result we show that the set of rational points that $\tau$-approximate a $p$-adic integer form a set of resonant points that can be used to construct a local ubiquitous system of rectangles.


title: Estimating Perinatal Critical Windows of Susceptibility to Environmental Mixtures via Structured Bayesian Regression Tree Pairs

abstract: Maternal exposure to environmental chemicals during pregnancy can alter birth and children's health outcomes. Research seeks to identify critical windows, time periods when the exposures can change future health outcomes, and estimate the exposure-response relationship. Existing statistical approaches focus on estimation of the association between maternal exposure to a single environmental chemical observed at high-temporal resolution, such as weekly throughout pregnancy, and children's health outcomes. Extending to multiple chemicals observed at high temporal resolution poses a dimensionality problem and statistical methods are lacking. We propose a tree-based model for mixtures of exposures that are observed at high temporal resolution. The proposed approach uses an additive ensemble of structured tree-pairs that define structured main effects and interactions between time-resolved predictors and variable selection to select out of the model predictors not correlated with the outcome. We apply our method in a simulation and the analysis of the relationship between five exposures measured weekly throughout pregnancy and resulting birth weight in a Denver, Colorado birth cohort. We identified critical windows during which fine particulate matter, sulfur dioxide, and temperature are negatively associated with birth weight and an interaction between fine particulate matter and temperature. Software is made available in the R package dlmtree.


title: Dynamical tides in Jupiter as revealed by Juno

abstract: The Juno orbiter continues to collect data on Jupiter's gravity field with unprecedented precision since 2016, recently reporting a non-hydrostatic component in the tidal response of the planet. At the mid-mission perijove 17, Juno registered a Love number $k_2=0.565\pm0.006$ that is $-4\pm1\%$ ($1\sigma$) from the theoretical hydrostatic $k_2^{(hs)}=0.590$. Here we assess whether the aforementioned departure of tides from hydrostatic equilibrium represents the neglected gravitational contribution of dynamical tides. We employ perturbation theory and simple tidal models to calculate a fractional dynamical correction $\Delta k_2$ to the well-known hydrostatic $k_2$. Exploiting the analytical simplicity of a toy uniform-density model, we show how the Coriolis acceleration motivates the negative sign in the $\Delta k_2$ observed by Juno. By simplifying Jupiter's interior into a core-less, fully-convective, and chemically-homogeneous body, we calculate $\Delta k_2$ in a model following an $n=1$ polytrope equation of state. Our numerical results for the $n=1$ polytrope qualitatively follow the behaviour of the uniform-density model, mostly because the main component of the tidal flow is similar in each case. Our results indicate that the gravitational effect of the Io-induced dynamical tide leads to $\Delta k_2=-4\pm1\%$, in agreement with the non-hydrostatic component reported by Juno. Consequently, our results suggest that Juno obtained the first unambiguous detection of the gravitational effect of dynamical tides in a gas giant planet. These results facilitate a future interpretation of Juno tidal gravity data with the purpose of elucidating the existence of a dilute core in Jupiter.


title: SonicChain: A Wait-free, Pseudo-Static Approach Toward Concurrency in Blockchains

abstract: Blockchains have a two-sided reputation: they are praised for disrupting some of our institutions through innovative technology for good, yet notorious for being slow and expensive to use. In this work, we tackle this issue with concurrency, yet we aim to take a radically different approach by valuing simplicity. We embrace the simplicity through two steps: first, we formulate a simple runtime mechanism to deal with conflicts called concurrency delegation. This method is much simpler and has less overhead, particularly in scenarios where conflicting transactions are relatively rare. Moreover, to further reduce the number of conflicting transactions, we propose using static annotations attached to each transaction, provided by the programmer. These annotations are pseudo-static: they are static with respect to the lifetime of the transaction, and therefore are free to use information such as the origin and parameters of the transaction. We propose a distributor component that can use the output of this pseudo-static annotations and use them to effectively distribute transactions between threads in the least-conflicting way. We name the outcome of a system combining concurrency delegation and pseudo-static annotations as SonicChain. We evaluate SonicChain for both validation and authoring tasks against a common workload in blockchains, namely, balance transfers, and observe that it performs expectedly well while introducing very little overhead and additional complexity to the system.


title: Quantum Operations in an Information Theory for Fermions

abstract: A reasonable quantum information theory for fermions must respect the parity super-selection rule to comply with the special theory of relativity and the no-signaling principle. This rule restricts the possibility of any quantum state to have a superposition between even and odd parity fermionic states. It thereby characterizes the set of physically allowed fermionic quantum states. Here we introduce the physically allowed quantum operations, in congruence with the parity super-selection rule, that map the set of allowed fermionic states onto itself. We first introduce unitary and projective measurement operations of the fermionic states. We further extend the formalism to general quantum operations in the forms of Stinespring dilation, operator-sum representation, and axiomatic completely-positive-trace-preserving maps. We explicitly show the equivalence between these three representations of fermionic quantum operations. We discuss the possible implications of our results in characterization of correlations in fermionic systems.


title: On the unique ergodicity for a class of 2 dimensional stochastic wave equations

abstract: We study the global-in-time dynamics for a stochastic semilinear wave equation with cubic defocusing nonlinearity and additive noise, posed on the $2$-dimensional torus. The noise is taken to be slightly more regular than space-time white noise. In this setting, we show existence and uniqueness of an invariant measure for the Markov semigroup generated by the flow over an appropriately chosen Banach space. This extends a result of the second author to a situation where the invariant measure is not explicitly known.


title: Grid Cell Path Integration For Movement-Based Visual Object Recognition

abstract: Grid cells enable the brain to model the physical space of the world and navigate effectively via path integration, updating self-position using information from self-movement. Recent proposals suggest that the brain might use similar mechanisms to understand the structure of objects in diverse sensory modalities, including vision. In machine vision, object recognition given a sequence of sensory samples of an image, such as saccades, is a challenging problem when the sequence does not follow a consistent, fixed pattern - yet this is something humans do naturally and effortlessly. We explore how grid cell-based path integration in a cortical network can support reliable recognition of objects given an arbitrary sequence of inputs. Our network (GridCellNet) uses grid cell computations to integrate visual information and make predictions based on movements. We use local Hebbian plasticity rules to learn rapidly from a handful of examples (few-shot learning), and consider the task of recognizing MNIST digits given only a sequence of image feature patches. We compare GridCellNet to k-Nearest Neighbour (k-NN) classifiers as well as recurrent neural networks (RNNs), both of which lack explicit mechanisms for handling arbitrary sequences of input samples. We show that GridCellNet can reliably perform classification, generalizing to both unseen examples and completely novel sequence trajectories. We further show that inference is often successful after sampling a fraction of the input space, enabling the predictive GridCellNet to reconstruct the rest of the image given just a few movements. We propose that dynamically moving agents with active sensors can use grid cell representations not only for navigation, but also for efficient recognition and feature prediction of seen objects.


title: On H\'{e}thelyi-K\"{u}lshammer's conjecture for principal blocks

abstract: We prove that the number of irreducible ordinary characters in the principal $p$-block of a finite group $G$ of order divisible by $p$ is always at least $2\sqrt{p-1}$. This confirms a conjecture of H\'{e}thelyi and K\"{u}lshammer for principal blocks and provides an affirmative answer to Brauer's Problem 21 for principal blocks of bounded defect. Our proof relies on recent works of Mar\'{o}ti and Malle-Mar\'{o}ti on bounding the conjugacy class number and the number of $p'$-degree irreducible characters of finite groups, earlier works of Brou\'{e}-Malle-Michel and Cabanes-Enguehard on the distribution of characters into unipotent blocks and $e$-Harish-Chandra series of finite reductive groups, and known cases of the Alperin-McKay conjecture.


title: Estimation of the Mass of Dark Matter Using the Observed Mass Profiles of Late-Type Galaxies

abstract: The system of stability equations for galactic halos is under-determined in most of the models of dark matter (DM). Conventionally, the issue is resolved by taking the temperature as a constant, and the chemical potential and the mass density as position-dependent variables. In this paper, to close the under-determined set of equations, we remove the mass density using observations and leave the temperature and the chemical potential as position-dependent variables. We analyze observations of the mass profiles of 175 late-type galaxies in the Spitzer Photometry \& Accurate Rotation Curves (SPARC) database as well as 26 late-type dwarfs in the Little Things database, to construct the temperature profile of their DM halos by assuming that (1) DM in the halos obeys either the Fermi-Dirac or the Maxwell-Boltzmann distribution, and (2) the halos are in the virial state. We derive the dispersion velocity of DM at the center of the halos and show that its correlation with the halo's total mass is consistent with the direct observations of visible matter. Taking the latter agreement as a validation of our analysis, we derive the mass to the temperature of DM at the edge of the halos and show that it is galaxy independent and is equal to $m/T_{R_{200}}\simeq 10^{10}$ in natural units. In the thermal models of DM, such universal temperature is inherently assumed. In this paper, we derive the universal temperature from observations without imposing it by assumptions. Therefore, $T_{R_{200}}$ in the above ratio can be expressed in terms of the temperature of the cosmic microwave background (CMB) at the time of DM decoupling. This result is used to study possible cosmological scenarios. We show that observations are at odds with (1) non-thermal DM, (2) hot DM, and (3) collision-less cold DM. If DM is warm, we estimate its mass to be in the range of keV--MeV.


title: Two-dimensional charge order stabilized in clean polytype heterostructures

abstract: Compelling evidence suggests distinct correlated electron behavior may exist only in clean 2D materials such as 1T-TaS2. Unfortunately, experiment and theory suggest that extrinsic disorder in free standing 2D layers disrupts correlation-driven quantum behavior. Here we demonstrate a route to realizing fragile 2D quantum states through endotaxial polytype engineering of van der Waals materials. The true isolation of 2D charge density waves (CDWs) between metallic layers stabilizes commensurate long-range order and lifts the coupling between neighboring CDW layers to restore mirror symmetries via interlayer CDW twinning. The twinned-commensurate charge density wave (tC-CDW) reported herein has a single metal--insulator phase transition at ~350 K as measured structurally and electronically. Fast in-situ transmission electron microscopy and scanned nanobeam diffraction map the formation of tC-CDWs. This work introduces endotaxial polytype engineering of van der Waals materials to access latent 2D ground states distinct from conventional 2D fabrication.


title: Adjusting the Benjamini-Hochberg method for controlling the false discovery rate in knockoff assisted variable selection

abstract: The knockoff-based multiple testing setup of Barber & Candes (2015) for variable selection in multiple regression where sample size is as large as the number of explanatory variables is considered. The method of Benjamini & Hochberg (1995) based on ordinary least squares estimates of the regression coefficients is adjusted to the setup, transforming it to a valid p-value based false discovery rate controlling method not relying on any specific correlation structure of the explanatory variables. Simulations and real data applications show that our proposed method that is agnostic to {\pi}0, the proportion of unimportant explanatory variables, and a data-adaptive version of it that uses an estimate of {\pi}0 are powerful competitors of the false discovery rate controlling method in Barber & Candes (2015).


title: Using thymine-18 for enhancing dose delivery and localizing the Bragg peak in proton-beam therapy

abstract: Therapeutic protons acting on O18-substituted thymidine increase cytotoxicity in radio-resistant human cancer cells. We consider here the physics behind the irradiation during proton beam therapy and diagnosis using O18-enriched thymine in DNA, with attention to the effect of the presence of thymine-18 on cancer cell death.


title: Markov semigroups on unitary duals generated by quantized characters

abstract: In this paper, we study Markov dynamics on unitary duals of compact quantum groups. We construct such dynamics from characters of quantum groups. Then we show that the dynamics have generators, and we give an explicit formula of the generators using the representation theory. Moreover, we construct Markov dynamics on the unitary dual of an inductive limit of compact quantum groups.


title: Two-dimensional easy-plane SU$(3)$ magnet with the transverse field: Anisotropy-driven multicriticality

abstract: The two-dimensional easy-plane SU$(3)$ magnet subjected to the transverse field was investigated with the exact-diagonalization method. So far, as to the $XY$ model (namely, the easy-plane SU$(2)$ magnet), the transverse-field-driven order-disorder phase boundary has been investigated with the exact-diagonalization method, and it was claimed that the end-point singularity (multicriticality) at the $XX$-symmetric point does not accord with large-$N$-theory's prediction. Aiming to reconcile the discrepancy, we extend the internal symmetry to the easy-plane SU$(3)$ with the anisotropy parameter $\eta$, which interpolates the isotropic ($\eta=0$) and fully anisotropic ($\eta=1$) cases smoothly. As a preliminary survey, setting $\eta=1$, we analyze the order-disorder phase transition through resorting to the fidelity susceptibility $\chi_F$, which exhibits a pronounced signature for the criticality. Thereby, with $\eta$ scaled carefully, the $\chi_F$ data are cast into the crossover-scaling formula so as to determine the crossover exponent $\phi$, which seems to reflect the extension of the internal symmetry group to SU(3).


title: Reinforcement Learning for Beam Pattern Design in Millimeter Wave and Massive MIMO Systems

abstract: Employing large antenna arrays is a key characteristic of millimeter wave (mmWave) and terahertz communication systems. However, due to the adoption of fully analog or hybrid analog/digital architectures, as well as non-ideal hardware or arbitrary/unknown array geometries, the accurate channel state information becomes hard to acquire. This impedes the design of beamforming/combining vectors that are crucial to fully exploit the potential of large-scale antenna arrays in providing sufficient receive signal power. In this paper, we develop a novel framework that leverages deep reinforcement learning (DRL) and a Wolpertinger-variant architecture and learns how to iteratively optimize the beam pattern (shape) for serving one or a small set of users relying only on the receive power measurements and without requiring any explicit channel knowledge. The proposed model accounts for key hardware constraints such as the phase-only, constant-modulus, and quantized-angle constraints. Further, the proposed framework can efficiently optimize the beam patterns for systems with non-ideal hardware and for arrays with unknown or arbitrary array geometries. Simulation results show that the developed solution is capable of finding near-optimal beam patterns based only on the receive power measurements.


title: Imaging graphene moir\'e superlattices via scanning Kelvin probe microscopy

abstract: Moir\'e superlattices in van der Waals heterostructures are gaining increasing attention because they offer new opportunities to tailor and explore unique electronic phenomena when stacking 2D materials with small twist angles. Here, we reveal local surface potentials associated with stacking domains in twisted double bilayer graphene (TDBG) moir\'e superlattices. Using a combination of both lateral Piezoresponse Force Microscopy (LPFM) and Scanning Kelvin Probe Microscopy (SKPM), we distinguish between Bernal (ABAB) and rhombohedral (ABCA) stacked graphene and directly correlate these stacking configurations with local surface potential. We find that the surface potential of the ABCA domains is ~15 mV higher (smaller work function) than that of the ABAB domains. First-principles calculations based on density functional theory further show that the different work functions between ABCA and ABAB domains arise from the stacking dependent electronic structure. We show that, while the moir\'e superlattice visualized by LPFM can change with time, imaging the surface potential distribution via SKPM appears more stable, enabling the mapping of ABAB and ABCA domains without tip-sample contact-induced effects. Our results provide a new means to visualize and probe local domain stacking in moir\'e superlattices along with its impact on electronic properties.


title: Consistent Non-Parametric Methods for Maximizing Robustness

abstract: Learning classifiers that are robust to adversarial examples has received a great deal of recent attention. A major drawback of the standard robust learning framework is there is an artificial robustness radius $r$ that applies to all inputs. This ignores the fact that data may be highly heterogeneous, in which case it is plausible that robustness regions should be larger in some regions of data, and smaller in others. In this paper, we address this limitation by proposing a new limit classifier, called the neighborhood optimal classifier, that extends the Bayes optimal classifier outside its support by using the label of the closest in-support point. We then argue that this classifier maximizes the size of its robustness regions subject to the constraint of having accuracy equal to the Bayes optimal. We then present sufficient conditions under which general non-parametric methods that can be represented as weight functions converge towards this limit, and show that both nearest neighbors and kernel classifiers satisfy them under certain conditions.


title: TapNet: The Design, Training, Implementation, and Applications of a Multi-Task Learning CNN for Off-Screen Mobile Input

abstract: To make off-screen interaction without specialized hardware practical, we investigate using deep learning methods to process the common built-in IMU sensor (accelerometers and gyroscopes) on mobile phones into a useful set of one-handed interaction events. We present the design, training, implementation and applications of TapNet, a multi-task network that detects tapping on the smartphone. With phone form factor as auxiliary information, TapNet can jointly learn from data across devices and simultaneously recognize multiple tap properties, including tap direction and tap location. We developed two datasets consisting of over 135K training samples, 38K testing samples, and 32 participants in total. Experimental evaluation demonstrated the effectiveness of the TapNet design and its significant improvement over the state of the art. Along with the datasets, (https://sites.google.com/site/michaelxlhuang/datasets/tapnet-dataset), and extensive experiments, TapNet establishes a new technical foundation for off-screen mobile input.


title: Investigating a Conceptual Construct for Software Context

abstract: A growing number of empirical software engineering researchers suggest that a complementary focus on theory is required if the discipline is to mature. A first step in theory-building involves the establishment of suitable theoretical constructs. For researchers studying software projects, the lack of a theoretical construct for context is problematic for both experimentation and effort estimation. For experiments, insufficiently understood contextual factors confound results, and for estimation, unstated contextual factors affect estimation reliability. We have earlier proposed a framework that we suggest may be suitable as a construct for context i.e. represents a minimal, spanning set for the space of software contexts. The framework has six dimensions, described as Who, Where, What, When, How and Why. In this paper, we report the outcomes of a pilot study to test its suitability by categorising contextual factors from the software engineering literature into the framework. We found that one of the dimensions, Why, does not represent context, but rather is associated with objectives. We also identified some factors that do not clearly fit into the framework and require further investigation. Our contributions are the pursuing of a theoretical approach to understanding software context, the initial establishment and evaluation of a construct for context and the exposure of a lack of clarity of meaning in many 'contexts' currently applied as factors for estimating project outcomes.


title: Cascade of phase transitions in a planar Dirac material

abstract: We investigate a model of interacting Dirac fermions in $2+1$ dimensions with $M$ flavors and $N$ colors having the $\mathrm{U}(M)\times \mathrm{SU}(N)$ symmetry. In the large-$N$ limit, we find that the $\mathrm{U}(M)$ symmetry is spontaneously broken in a variety of ways. In the vacuum, when the parity-breaking flavor-singlet mass is varied, the ground state undergoes a sequence of $M$ first-order phase transitions, experiencing $M+1$ phases characterized by symmetry breaking $\mathrm{U}(M)\to \mathrm{U}(M-k)\times \mathrm{U}(k)$ with $k\in\{0,1,2,\cdots,M\}$, bearing a close resemblance to the vacuum structure of three-dimensional QCD. At finite temperature and chemical potential, a rich phase diagram with first and second-order phase transitions and tricritical points is observed. Also exotic phases with spontaneous symmetry breaking of the form as $\mathrm{U}(3)\to \mathrm{U}(1)^3$, $\mathrm{U}(4)\to \mathrm{U}(2)\times \mathrm{U}(1)^2$, and $\mathrm{U}(5)\to \mathrm{U}(2)^2\times \mathrm{U}(1)$ exist. For a large flavor-singlet mass, the increase of the chemical potential $\mu$ brings about $M$ consecutive first-order transitions that separate the low-$\mu$ phase diagram with vanishing fermion density from the high-$\mu$ region with a high fermion density.


title: Inhomogeneous Knight shift in vortex cores of superconducting FeSe

abstract: We report $^{77}$Se NMR data in the normal and superconducting states of a single crystal of FeSe for several different field orientations. The Knight shift is suppressed in the superconducting state for in-plane fields, but does not vanish at zero temperature. For fields oriented out of the plane, little or no reduction is observed below $T_c$. These results reflect spin-singlet pairing emerging from a nematic state with large orbital susceptibility and spin-orbit coupling. The spectra and spin-relaxation rate data reveal electronic inhomogeneity that is enhanced in the superconducting state, possibly arising from enhanced density of states in the vortex cores. Despite the spin polarization of these states, there is no evidence for antiferromagnetic fluctuations.


title: Cygnus X-1 contains a 21-solar mass black hole -- implications for massive star winds

abstract: The evolution of massive stars is influenced by the mass lost to stellar winds over their lifetimes. These winds limit the masses of the stellar remnants (such as black holes) that the stars ultimately produce. We use radio astrometry to refine the distance to the black hole X-ray binary Cygnus X-1, which we find to be $2.22^{+0.18}_{-0.17}$ kiloparsecs. When combined with previous optical data, this implies a black hole mass of $21.2\pm2.2$ solar masses, higher than previous measurements. The formation of such a high-mass black hole in a high-metallicity system constrains wind mass loss from massive stars.


title: Wind mass-loss rates of stripped stars inferred from Cygnus X-1

abstract: Recent observations of the high-mass X-ray binary Cygnus X-1 have shown that both the companion star (41 solar masses) and the black hole (21 solar masses) are more massive than previously estimated. Furthermore, the black hole appears to be nearly maximally spinning. Here we present a possible formation channel for the Cygnus X-1 system that matches the observed system properties. In this formation channel, we find that the orbital parameters of Cygnus X-1, combined with the observed metallicity of the companion, imply a significant reduction in mass loss through winds relative to commonly used prescriptions for stripped stars.


title: Re-estimating the Spin Parameter of the Black Hole in Cygnus X-1

abstract: Cygnus X-1 is a well-studied persistent black hole X-ray binary. Recently, the three parameters needed to estimate the black hole spin of this system, namely the black hole mass $M$, the orbital inclination $i$ and the source distance $D$, have been updated. In this work we redetermine the spin parameter using the continuum-fitting technique for those updated parameter values. Based on the assumption that the spin axis of the black hole is aligned with the orbital plane, we fit the thermal disk component to a fully relativistic thin accretion disk model. The error in the spin estimate arising from the combined observational uncertainties is obtained via Monte Carlo (MC) simulations. We demonstrate that, without considering the counteracting torque effect, the new spin parameter is constrained to be a$_* > 0.9985$ (3$\sigma$), which confirms that the spin of the black hole in Cygnus X-1 is extreme.


title: Quiz-Style Question Generation for News Stories

abstract: A large majority of American adults get at least some of their news from the Internet. Even though many online news products have the goal of informing their users about the news, they lack scalable and reliable tools for measuring how well they are achieving this goal, and therefore have to resort to noisy proxy metrics (e.g., click-through rates or reading time) to track their performance. As a first step towards measuring news informedness at a scale, we study the problem of quiz-style multiple-choice question generation, which may be used to survey users about their knowledge of recent news. In particular, we formulate the problem as two sequence-to-sequence tasks: question-answer generation (QAG) and distractor, or incorrect answer, generation (DG). We introduce NewsQuizQA, the first dataset intended for quiz-style question-answer generation, containing 20K human written question-answer pairs from 5K news article summaries. Using this dataset, we propose a series of novel techniques for applying large pre-trained Transformer encoder-decoder models, namely PEGASUS and T5, to the tasks of question-answer generation and distractor generation. We show that our models outperform strong baselines using both automated metrics and human raters. We provide a case study of running weekly quizzes on real-world users via the Google Surveys platform over the course of two months. We found that users generally found the automatically generated questions to be educational and enjoyable. Finally, to serve the research community, we are releasing the NewsQuizQA dataset.


title: A hybrid partitioned deep learning methodology for moving interface and fluid-structure interaction

abstract: We present a hybrid partitioned deep learning framework for the reduced-order modeling of fluid-structure interaction. Using the discretized Navier-Stokes in the arbitrary Lagrangian-Eulerian reference frame, we generate the full-order flow snapshots and point cloud displacements as target data for the learning and inference of fluid-structure dynamics. The hybrid operation of this methodology comes by combining two data-driven models for fluid and solid subdomains via deep learning-based reduced-order models (DL-ROMs). The proposed framework comprises the partitioned data-driven drivers for unsteady flow and the moving point cloud displacements. At the fluid-structure interface, the force information is exchanged between the two partitioned subdomain solvers. The first component of our framework relies on the proper orthogonal decomposition-based recurrent neural network (POD-RNN) as a DL-ROM procedure to infer the point cloud with a moving interface. This model utilizes the POD basis modes to reduce dimensionality and evolve them in time via RNN. The second component employs the convolution-based recurrent autoencoder network (CRAN) as a self-supervised DL-ROM procedure to infer the nonlinear flow dynamics at static Eulerian probes. We introduce these probes as spatially structured query nodes in the moving point cloud to treat the Lagrangian-to-Eulerian conflict together with convenience in training the CRAN driver. To determine these Eulerian probes, we construct a novel snapshot-field transfer and load recovery algorithm. A popular prototypical fluid-structure interaction problem of flow past a freely oscillating cylinder is considered to assess the efficacy of the proposed methodology for a different set of reduced velocities. The proposed framework tracks the interface description with acceptable accuracy and predicts the nonlinear wake dynamics over the chosen test data range.


title: Enhancing long-range order in disordered two-band s-wave superconductors

abstract: We investigate the effects of disorder in a hybridized two-dimensional two-band s-wave superconductor model. The situation in which electronic orbitals form these bands with angular momentum such that the hybridization $V_{i,j}$ among them is antisymmetric, under inversion symmetry, was taken into account. The on-site disorder is given by a random impurity potential $W$. We find that while the random disorder acts to the detriment of superconductivity, hybridization proceeds favoring it. Accordingly, hybridization plays an important role in two-band models of superconductivity, in order to hold the long-range order against the increase of disorder. This makes the present model eligible to describe real materials, since the hybridization may be induced by pressure or doping. In addition, the regime from moderate to strong disorder, reveals that the system is broken into superconductor islands with correlated local order parameters. These correlations persist to distances of several order lattice spacing which corresponds to the size of the SC-Islands.


title: Vesicle dynamics in large amplitude oscillatory extensional flow

abstract: Although the behavior of fluid-filled vesicles in steady flows has been extensively studied, far less is understood regarding the shape dynamics of vesicles in time-dependent oscillatory flows. Here, we investigate the nonlinear dynamics of vesicles in large amplitude oscillatory extensional (LAOE) flows using both experiments and boundary integral (BI) simulations. Our results characterize the transient membrane deformations, dynamical regimes, and stress response of vesicles in LAOE in terms of reduced volume (vesicle asphericity), capillary number ($\Ca$, dimensionless flow strength), and Deborah number ($\De$, dimensionless flow frequency). Results from single vesicle experiments are found to be in good agreement with BI simulations across a wide range of parameters. Our results reveal three distinct dynamical regimes based on vesicle deformation: pulsating, reorienting, and symmetrical regimes. We construct phase diagrams characterizing the transition of vesicle shapes between pulsating, reorienting, and symmetrical regimes within the two-dimensional Pipkin space defined by $\De$ and $\Ca$. Contrary to observations on clean Newtonian droplets, vesicles do not reach a maximum length twice per strain rate cycle in the reorienting and pulsating regimes. The distinct dynamics observed in each regime result from a competition between the flow frequency, flow time scale, and membrane deformation timescale. By calculating the particle stresslet, we quantify the nonlinear relationship between average vesicle stress and strain rate. Additionally, we present results on tubular vesicles that undergo shape transformation over several strain cycles. Broadly, our work provides new information regarding the transient dynamics of vesicles in time-dependent flows that directly informs bulk suspension rheology.


title: Smart Build Targets Batching Service at Google

abstract: Google has a monolithic codebase with tens of millions build targets. Each build target specifies the information that is needed to build a software artifact or run tests. It is common to execute a subset of build targets at each revision and make sure that the change does not break the codebase. Google's build service system uses Bazel to build targets. Bazel takes as input a build that specifies the execution context, flags and build targets to run. The outputs are the build libraries, binaries or test results. To be able to support developer's daily activities, the build service system runs millions of builds per day. It is a known issue that a build with many targets could run out of the allocated memory or exceed its execution deadline. This is problematic because it reduces the developer's productivity, e.g. code submissions or binary releases. In this paper, we propose a technique that predicts the memory usage and executor occupancy of a build. The technique batches a set of targets such that the build created with those targets does not run out of memory or exceed its deadline. This approach significantly reduces the number of builds that run out of memory or exceed the deadlines, hence improving developer's productivity.


title: NuCLS: A scalable crowdsourcing, deep learning approach and dataset for nucleus classification, localization and segmentation

abstract: High-resolution mapping of cells and tissue structures provides a foundation for developing interpretable machine-learning models for computational pathology. Deep learning algorithms can provide accurate mappings given large numbers of labeled instances for training and validation. Generating adequate volume of quality labels has emerged as a critical barrier in computational pathology given the time and effort required from pathologists. In this paper we describe an approach for engaging crowds of medical students and pathologists that was used to produce a dataset of over 220,000 annotations of cell nuclei in breast cancers. We show how suggested annotations generated by a weak algorithm can improve the accuracy of annotations generated by non-experts and can yield useful data for training segmentation algorithms without laborious manual tracing. We systematically examine interrater agreement and describe modifications to the MaskRCNN model to improve cell mapping. We also describe a technique we call Decision Tree Approximation of Learned Embeddings (DTALE) that leverages nucleus segmentations and morphologic features to improve the transparency of nucleus classification models. The annotation data produced in this study are freely available for algorithm development and benchmarking at: https://sites.google.com/view/nucls.


title: Regularity method and large deviation principles for the Erd\H{o}s--R\'enyi hypergraph

abstract: We develop a quantitative large deviations theory for random hypergraphs, which rests on tensor decomposition and counting lemmas under a novel family of cut-type norms. As our main application, we obtain sharp asymptotics for joint upper and lower tails of homomorphism counts in the $r$-uniform Erd\H{o}s--R\'enyi hypergraph for any fixed $r\ge 2$, generalizing and improving on previous results for the Erd\H{o}s--R\'enyi graph ($r=2$). The theory is sufficiently quantitative to allow the density of the hypergraph to vanish at a polynomial rate, and additionally yields tail asymptotics for other nonlinear functionals, such as induced homomorphism counts.


title: Online $k$-means Clustering on Arbitrary Data Streams

abstract: We consider online $k$-means clustering where each new point is assigned to the nearest cluster center, after which the algorithm may update its centers. The loss incurred is the sum of squared distances from new points to their assigned cluster centers. The goal over a data stream $X$ is to achieve loss that is a constant factor of $L(X, OPT_k)$, the best possible loss using $k$ fixed points in hindsight. We propose a data parameter, $\Lambda(X)$, such that for any algorithm maintaining $O(k\text{poly}(\log n))$ centers at time $n$, there exists a data stream $X$ for which a loss of $\Omega(\Lambda(X))$ is inevitable. We then give a randomized algorithm that achieves clustering loss $O(\Lambda(X) + L(X, OPT_k))$. Our algorithm uses $O(k\text{poly}(\log n))$ memory and maintains $O(k\text{poly}(\log n))$ cluster centers. Our algorithm also enjoys a running time of $O(k\text{poly}(\log n))$ and is the first algorithm to achieve polynomial space and time complexity in this setting. It also is the first to have provable guarantees without making any assumptions on the input data.


title: The Small World Phenomenon and Network Analysis of ICT Startup Investment in Indonesia and Singapore

abstract: The internet's rapid growth stimulates the emergence of start-up companies based on information technology and telecommunication (ICT) in Indonesia and Singapore. As the number of start-ups and its investor growth, the network of its relationship become larger and complex, but on the other side feel small. Everyone in the ICT start-up investment network can be reached in short steps, led to a phenomenon called small-world phenomenon, a principle that we are all connected by a short chain of relationships. We investigate the pattern of the relationship between a start-up with its investor and the small world characteristics using network analysis methodology. The research is conducted by creating the ICT start-up investment network model of each country and calculate its small-world network properties to see the characteristic of the networks. Then we compare and analyze the result of each network model. The result of this research is to give knowledge about the current condition of ICT start-up investment in Indonesia and Singapore. The research is beneficial for business intelligence purposes to support decision-making related to ICT start-up investment.


title: Gender Bias, Social Bias and Representation: 70 Years of B$^H$ollywood

abstract: With an outreach in more than 90 countries, a market share of 2.1 billion dollars and a target audience base of at least 1.2 billion people, Bollywood, aka the Mumbai film industry, is a formidable entertainment force. While the number of lives Bollywood can potentially touch is massive, no comprehensive NLP study on the evolution of social and gender biases in Bollywood dialogues exists. Via a substantial corpus of movie dialogues spanning a time horizon of 70 years, we seek to understand the portrayal of women, in a broader context studying subtle social signals, and analyze the evolving trends in geographic and religious representation in India. Our argument is simple -- popular movie content reflects social norms and beliefs in some form or shape. In this project, we propose to analyze such trends over 70 years of Bollywood movies contrasting them with their Hollywood counterpart and critically acclaimed world movies.


title: Distributed Algorithms for Linearly-Solvable Optimal Control in Networked Multi-Agent Systems

abstract: Distributed algorithms for both discrete-time and continuous-time linearly solvable optimal control (LSOC) problems of networked multi-agent systems (MASs) are investigated in this paper. A distributed framework is proposed to partition the optimal control problem of a networked MAS into several local optimal control problems in factorial subsystems, such that each (central) agent behaves optimally to minimize the joint cost function of a subsystem that comprises a central agent and its neighboring agents, and the local control actions (policies) only rely on the knowledge of local observations. Under this framework, we not only preserve the correlations between neighboring agents, but moderate the communication and computational complexities by decentralizing the sampling and computational processes over the network. For discrete-time systems modeled by Markov decision processes, the joint Bellman equation of each subsystem is transformed into a system of linear equations and solved using parallel programming. For continuous-time systems modeled by It\^o diffusion processes, the joint optimality equation of each subsystem is converted into a linear partial differential equation, whose solution is approximated by a path integral formulation and a sample-efficient relative entropy policy search algorithm, respectively. The learned control policies are generalized to solve the unlearned tasks by resorting to the compositionality principle, and illustrative examples of cooperative UAV teams are provided to verify the effectiveness and advantages of these algorithms.


title: DeepMetaHandles: Learning Deformation Meta-Handles of 3D Meshes with Biharmonic Coordinates

abstract: We propose DeepMetaHandles, a 3D conditional generative model based on mesh deformation. Given a collection of 3D meshes of a category and their deformation handles (control points), our method learns a set of meta-handles for each shape, which are represented as combinations of the given handles. The disentangled meta-handles factorize all the plausible deformations of the shape, while each of them corresponds to an intuitive deformation. A new deformation can then be generated by sampling the coefficients of the meta-handles in a specific range. We employ biharmonic coordinates as the deformation function, which can smoothly propagate the control points' translations to the entire mesh. To avoid learning zero deformation as meta-handles, we incorporate a target-fitting module which deforms the input mesh to match a random target. To enhance deformations' plausibility, we employ a soft-rasterizer-based discriminator that projects the meshes to a 2D space. Our experiments demonstrate the superiority of the generated deformations as well as the interpretability and consistency of the learned meta-handles.


title: Fundamental Frequency Feature Normalization and Data Augmentation for Child Speech Recognition

abstract: Automatic speech recognition (ASR) systems for young children are needed due to the importance of age-appropriate educational technology. Because of the lack of publicly available young child speech data, feature extraction strategies such as feature normalization and data augmentation must be considered to successfully train child ASR systems. This study proposes a novel technique for child ASR using both feature normalization and data augmentation methods based on the relationship between formants and fundamental frequency ($f_o$). Both the $f_o$ feature normalization and data augmentation techniques are implemented as a frequency shift in the Mel domain. These techniques are evaluated on a child read speech ASR task. Child ASR systems are trained by adapting a BLSTM-based acoustic model trained on adult speech. Using both $f_o$ normalization and data augmentation results in a relative word error rate (WER) improvement of 19.3% over the baseline when tested on the OGI Kids' Speech Corpus, and the resulting child ASR system achieves the best WER currently reported on this corpus.


title: A Core of E-Commerce Customer Experience based on Conversational Data using Network Text Methodology

abstract: E-commerce provides an efficient and effective way to exchange goods between sellers and customers. E-commerce has been a popular method for doing business, because of its simplicity of having commerce activity transparently available, including customer voice and opinion about their own experience. Those experiences can be a great benefit to understand customer experience comprehensively, both for sellers and future customers. This paper applies to e-commerces and customers in Indonesia. Many Indonesian customers expressed their voice to open social network services such as Twitter and Facebook, where a large proportion of data is in the form of conversational data. By understanding customer behavior through open social network service, we can have descriptions about the e-commerce services level in Indonesia. Thus, it is related to the government's effort to improve the Indonesian digital economy ecosystem. A method for finding core topics in large-scale internet unstructured text data is needed, where the method should be fast but sufficiently accurate. Processing large-scale data is not a straightforward job, it often needs special skills of people and complex software and hardware computer system. We propose a fast methodology of text mining methods based on frequently appeared words and their word association to form network text methodology. This method is adapted from Social Network Analysis by the model relationships between words instead of actors.


title: On Generalizations of Graded $2$-absorbing and Graded $2$-absorbing primary submodules

abstract: Let $R$ be a graded commutative ring with non-zero unity $1$ and $M$ be a graded unitary $R$-module. In this article, we introduce the concepts of graded $\phi$-$2$-absorbing and graded $\phi$-$2$-absorbing primary submodules as generalizations of the concepts of graded $2$-absorbing and graded $2$-absorbing primary submodules. Let $GS(M)$ be the set of all graded $R$-submodules of $M$ and $\phi: GS(M)\rightarrow GS(M)\bigcup\{\emptyset\}$ be a function. A proper graded $R$-submodule $K$ of $M$ is said to be a graded $\phi$-$2$-absorbing $R$-submodule of $M$ if whenever $x, y$ are homogeneous elements of $R$ and $m$ is a homogeneous element of $M$ with $xym\in K-\phi(K)$, then $xm\in K$ or $ym\in K$ or $xy\in (K :_{R} M)$, and $K$ is said to be a graded $\phi$-$2$-absorbing primary $R$-submodule of $M$ if whenever $x, y$ are homogeneous elements of $R$ and $m$ is a homogeneous element of $M$ with $xym\in K-\phi(K)$, then $xm$ or $ym$ is in the graded radical of $K$ or $xy\in (K:_{R}M)$. We investigate several properties of these new types of graded submodules.


title: Understanding and Creating Art with AI: Review and Outlook

abstract: Technologies related to artificial intelligence (AI) have a strong impact on the changes of research and creative practices in visual arts. The growing number of research initiatives and creative applications that emerge in the intersection of AI and art, motivates us to examine and discuss the creative and explorative potentials of AI technologies in the context of art. This paper provides an integrated review of two facets of AI and art: 1) AI is used for art analysis and employed on digitized artwork collections; 2) AI is used for creative purposes and generating novel artworks. In the context of AI-related research for art understanding, we present a comprehensive overview of artwork datasets and recent works that address a variety of tasks such as classification, object detection, similarity retrieval, multimodal representations, computational aesthetics, etc. In relation to the role of AI in creating art, we address various practical and theoretical aspects of AI Art and consolidate related works that deal with those topics in detail. Finally, we provide a concise outlook on the future progression and potential impact of AI technologies on our understanding and creation of art.


title: Quantum transport in non-Markovian dynamically-disordered photonic lattices

abstract: We theoretically show that the dynamics of a driven quantum harmonic oscillator subject to non-dissipative noise is formally equivalent to the single-particle dynamics propagating through an experimentally feasible dynamically-disordered photonic network. Using this correspondence, we find that noise assisted energy transport occurs in this network and, if the noise is Markovian or delta-correlated, we can obtain an analytical solution for the maximum amount of transferred energy between all network's sites at a fixed propagation distance. Beyond the Markovian limit, we further consider two different types of non-Markovian noise and show that it is possible to have efficient energy transport for larger values of the dephasing rate.


title: Online Optimization and Learning in Uncertain Dynamical Environments with Performance Guarantees

abstract: We propose a new framework to solve online optimization and learning problems in unknown and uncertain dynamical environments. This framework enables us to simultaneously learn the uncertain dynamical environment while making online decisions in a quantifiably robust manner. The main technical approach relies on the theory of distributional robust optimization that leverages adaptive probabilistic ambiguity sets. However, as defined, the ambiguity set usually leads to online intractable problems, and the first part of our work is directed to find reformulations in the form of online convex problems for two sub-classes of objective functions. To solve the resulting problems in the proposed framework, we further introduce an online version of the Nesterov accelerated-gradient algorithm. We determine how the proposed solution system achieves a probabilistic regret bound under certain conditions. Two applications illustrate the applicability of the proposed framework.

categories: eess.SY cs.LG cs.SY math.DS math.OC stat.AP stat.ML


title: Rouse model with fluctuating internal friction

abstract: A coarse-grained bead-spring-dashpot chain model with the dashpots representing the presence of internal friction, is solved exactly numerically, for the case of chains with more than two beads. Using a decoupling procedure to remove the explicit coupling of a bead's velocity with that of its nearest neighbors, the governing set of stochastic differential equations are solved with Brownian dynamics simulations to obtain material functions in oscillatory and steady simple shear flow. Simulation results for the real and imaginary components of the complex viscosity have been compared with the results of previously derived semi-analytical approximations, and the difference in the predictions are seen to diminish with an increase in the number of beads in the chain. The inclusion of internal friction results in a non-monotonous variation of the viscosity with shear rate, with the occurrence of continuous shear-thickening following an initial shear-thinning regime. The onset of shear-thickening in the first normal stress coefficient is pushed to lower shear rates with an increase in the internal friction parameter.


title: Quantum repetition codes as building blocks of large period discrete time crystals

abstract: Discrete time crystals (DTCs) are nonequilibrium phases of matter with exotic observable dynamics. Among their remarkable features is their response to a periodic drive at a fraction of its frequency. Current successful experiments are however only limited to realizing DTCs with period-doubling and period-tripling observable dynamics, forming only a very small subset of DTC phases. Creating larger periodic DTCs in the lab remains a longstanding challenge, yet it is necessary for developing the technological applications of DTCs, e.g., as a quantum memory for highly-entangled qubits, or exploring interesting features beyond subharmonic dynamics, e.g., condensed matter phenomena in the time domain. By highlighting the connection between DTCs and quantum error correction, we devise a general and realistic scheme for building DTCs exhibiting any large period observable dynamics, which is observable even at sufficiently small system sizes. Our proposal uses an array of spin-1/2 chains to simulate a repetition code at the hardware level, which has essential properties to realize robust observable dynamics. It is readily implemented with existing superconducting or trapped-ion quantum processors, making new families of DTCs experimentally accessible in the immediate future.


title: Echo State Speech Recognition

abstract: We propose automatic speech recognition (ASR) models inspired by echo state network (ESN), in which a subset of recurrent neural networks (RNN) layers in the models are randomly initialized and untrained. Our study focuses on RNN-T and Conformer models, and we show that model quality does not drop even when the decoder is fully randomized. Furthermore, such models can be trained more efficiently as the decoders do not require to be updated. By contrast, randomizing encoders hurts model quality, indicating that optimizing encoders and learn proper representations for acoustic inputs are more vital for speech recognition. Overall, we challenge the common practice of training ASR models for all components, and demonstrate that ESN-based models can perform equally well but enable more efficient training and storage than fully-trainable counterparts.


title: The Heat Distribution of the Underdamped Langevin Equation

abstract: In Stochastic Thermodynamics, heat is a random variable with a probability distribution associated. Studies of the distribution of heat are mostly in the overdamped regime and in one dimension. Here we solve the heat distribution in the underdamped regime for three different cases: the free particle, the linear potential, and the harmonic potential. All of them in arbitrary dimensions. The results are exact and generalize known results in the literature.


title: Cosmetic crossing conjecture for genus one knots with non-trivial Alexander polynomial

abstract: We prove the cosmetic crossing conjecture for genus one knots with non-trivial Alexander polynomial. We also prove the conjecture for genus one knots with trivial Alexander polynomial, under some additional assumptions.


title: Spatio-Temporal Graph Dual-Attention Network for Multi-Agent Prediction and Tracking

abstract: An effective understanding of the environment and accurate trajectory prediction of surrounding dynamic obstacles are indispensable for intelligent mobile systems (e.g. autonomous vehicles and social robots) to achieve safe and high-quality planning when they navigate in highly interactive and crowded scenarios. Due to the existence of frequent interactions and uncertainty in the scene evolution, it is desired for the prediction system to enable relational reasoning on different entities and provide a distribution of future trajectories for each agent. In this paper, we propose a generic generative neural system (called STG-DAT) for multi-agent trajectory prediction involving heterogeneous agents. The system takes a step forward to explicit interaction modeling by incorporating relational inductive biases with a dynamic graph representation and leverages both trajectory and scene context information. We also employ an efficient kinematic constraint layer applied to vehicle trajectory prediction. The constraint not only ensures physical feasibility but also enhances model performance. Moreover, the proposed prediction model can be easily adopted by multi-target tracking frameworks. The tracking accuracy proves to be improved by empirical results. The proposed system is evaluated on three public benchmark datasets for trajectory prediction, where the agents cover pedestrians, cyclists and on-road vehicles. The experimental results demonstrate that our model achieves better performance than various baseline approaches in terms of prediction and tracking accuracy.


title: Production and polarization of direct $J/\psi$ to ${\mathcal O}(\alpha_s^3)$ in the improved color evaporation model in collinear factorization

abstract: We calculate the production and polarization of direct $J/\psi$ in the improved color evaporation model at $\mathcal{O}(\alpha_s^3)$ in the collinear factorization approach. We present the first calculation of polarization parameters $\lambda_\vartheta$, $\lambda_{\phi}$, and $\lambda_{\vartheta \phi}$ in the helicity and the Collins-Soper frames, as well as the frame-invariant polarization parameter $\tilde{\lambda}$ as a function of transverse momentum. We find agreement with both $J/\psi$ cross sections and the invariant polarization parameters at small and moderate $p_T$.


title: Learning Invariant Representation of Tasks for Robust Surgical State Estimation

abstract: Surgical state estimators in robot-assisted surgery (RAS) - especially those trained via learning techniques - rely heavily on datasets that capture surgeon actions in laboratory or real-world surgical tasks. Real-world RAS datasets are costly to acquire, are obtained from multiple surgeons who may use different surgical strategies, and are recorded under uncontrolled conditions in highly complex environments. The combination of high diversity and limited data calls for new learning methods that are robust and invariant to operating conditions and surgical techniques. We propose StiseNet, a Surgical Task Invariance State Estimation Network with an invariance induction framework that minimizes the effects of variations in surgical technique and operating environments inherent to RAS datasets. StiseNet's adversarial architecture learns to separate nuisance factors from information needed for surgical state estimation. StiseNet is shown to outperform state-of-the-art state estimation methods on three datasets (including a new real-world RAS dataset: HERNIA-20).


title: A Query-Driven System for Discovering Interesting Subgraphs in Social Media

abstract: Social media data are often modeled as heterogeneous graphs with multiple types of nodes and edges. We present a discovery algorithm that first chooses a "background" graph based on a user's analytical interest and then automatically discovers subgraphs that are structurally and content-wise distinctly different from the background graph. The technique combines the notion of a \texttt{group-by} operation on a graph and the notion of subjective interestingness, resulting in an automated discovery of interesting subgraphs. Our experiments on a socio-political database show the effectiveness of our technique.


title: Characters of irreducible unitary representations of $U(n, n+1)$ via double lifting from $U(1)$

abstract: In this paper, we obtained character formulas of irreducible unitary representations of $U(n, n+1)$ by using Howe's correspondence and the Cauchy--Harish-Chandra integral. The representations of $U(n, n+1)$ we are dealing with are obtained from a double lifting of a representation of $U(1)$ via the dual pairs $(U(1), U(1, 1))$ and $(U(1, 1), U(n, n+1))$.


title: Sustainable and Resilient Systems for Intergenerational Justice

abstract: Rawls' theory of justice aims at fairness. He does not only think of justice between exiting parties in existing society, but he also thinks of it between generations intergenerational justice problem. Rawls' solution to this problem is the saving principle, and he says that we are responsible for being just with the next generations. Wolf thinks of our responsibility for future generations as a kind of financial debt that we have to pay. He also develops the meaning of "saving" and says that it is not restricted to the monetary one. Wolf extends the definition of "saving" such that it includes investment on behalf of the next generations as well. In this paper, I want to extend the meaning of "saving" to "using the resources for sustainable and resilient systems." By referring to the problem of time, I show that our decision on behalf of the next generations will be rational only if we entirely use the natural resources and wealth to produce sustainable and resilient systems.


title: Heterogeneous interactions and polymer entropy decide organization and dynamics of chromatin domains

abstract: Chromatin is known to be organized into multiple domains of varying sizes and compaction. While these domains are often imagined as static structures, they are highly dynamic and show cell-to-cell variability. Since processes such as gene regulation and DNA replication occur in the context of these domains, it is important to understand their organization, fluctuation and dynamics. To simulate chromatin domains, one requires knowledge of interaction strengths among chromatin segments. Here, we derive interaction strength parameters from experimentally known contact maps and use them to predict chromatin organization and dynamics. Taking two domains on the human chromosome as examples, we investigate its 3D organization, size/shape fluctuations, and dynamics of different segments within a domain, accounting for hydrodynamic effects. Considering different cell types, we quantify changes in interaction strengths and chromatin shape fluctuations in different epigenetic states. Perturbing the interaction strengths systematically, we further investigate how epigenetic-like changes can alter the spatio-temporal nature of the domains. Our results show that heterogeneous weak interactions are crucial in determining the organization of the domains. Computing effective stiffness and relaxation times, we investigate how perturbations in interactions affect the solid-like and liquid-like nature of chromatin domains. Quantifying dynamics of chromatin segments within a domain, we show how the competition between polymer entropy and interaction energy influence the timescales of loop formation and maintenance of stable loops.


title: Self-Organized Criticality in the Brain

abstract: Self-organized criticality (SOC) refers to the ability of complex systems to evolve towards a 2nd-order phase transition at which interactions between system components lead to scale-invariant events beneficial for system performance. For the last two decades, considerable experimental evidence accumulated that the mammalian cortex with its diversity in cell types and connections might exhibit SOC. Here we review experimental findings of isolated, layered cortex preparations to self-organize towards four dynamical motifs identified in the cortex in vivo: up-states, oscillations, neuronal avalanches, and coherence potentials. During up-states, the synchronization observed for nested theta/gamma-oscillations embeds scale-invariant neuronal avalanches that exhibit robust power law scaling in size with a slope of -3/2 and a critical branching parameter of 1. This dynamical coordination, tracked in the local field potential (nLFP) and pyramidal neuron activity using 2-photon imaging, emerges autonomously in superficial layers of organotypic cortex cultures and acute cortex slices, is homeostatically regulated, displays separation of time scales, and reveals unique size vs. quiet time dependencies. A threshold operation identifies coherence potentials; avalanches that in addition maintain the precise time course of propagated synchrony. Avalanches emerge under conditions of external driving. Control parameters are established by the balance of excitation and inhibition (E/I) and the neuromodulator dopamine. This rich dynamical repertoire is not observed in dissociated cortex cultures, which lack cortical layers and exhibit dynamics similar to a 1st-order phase transition. The precise interactions between up-states, nested oscillations, avalanches, and coherence potentials in superficial cortical layers provide compelling evidence for SOC in the brain.


title: Formalizing groups in type theory

abstract: In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and simple enough to use in formal proofs. Based on this definition, we formalize the concepts of subgroup, coset, conjugate, normal subgroup, and quotient group, and formally derive some related theorems. We aim to keep these formalizations transparent and concise, and as close as possible to the standard mathematical theory. The results can be implemented in proof assistants that are based on calculus of constructions.


title: Crystal orientation-dependent oxidation of epitaxial TiN films with tunable plasmonics

abstract: Titanium nitride (TiN) is a paradigm of refractory transition metal nitrides with great potential in vast applications. Generally, the plasmonic performance of TiN can be tuned by oxidation, which was thought to be only temperature-, oxygen partial pressure-, and time-dependent. Regarding the role of crystallographic orientation in the oxidation and resultant optical properties of TiN films, little is known thus far. Here we reveal that both the oxidation resistance behavior and the plasmonic performance of epitaxial TiN films follow the order of (001) < (110) < (111). The effects of crystallographic orientation on the lattice constants, optical properties, and oxidation levels of epitaxial TiN films have been systematically studied by combined high-resolution X-ray diffraction, spectroscopic ellipsometry, X-ray absorption spectroscopy, and X-ray photoemission spectroscopy. To further understand the role of crystallographic orientation in the initial oxidation process of TiN films, density-functional-theory calculations are carried out, indicating the energy cost of oxidation is (001) < (110) < (111), consistent with the experiments. The superior endurance of the (111) orientation against mild oxidation can largely alleviate the previously stringent technical requirements for the growth of TiN films with high plasmonic performance. The crystallographic orientation can also offer an effective controlling parameter to design TiN-based plasmonic devices with desired peculiarity, e.g., superior chemical stability against mild oxidation or large optical tunability upon oxidation.


title: Efficient Online ML API Selection for Multi-Label Classification Tasks

abstract: Multi-label classification tasks such as OCR and multi-object recognition are a major focus of the growing machine learning as a service industry. While many multi-label prediction APIs are available, it is challenging for users to decide which API to use for their own data and budget, due to the heterogeneity in those APIs' price and performance. Recent work shows how to select from single-label prediction APIs. However the computation complexity of the previous approach is exponential in the number of labels and hence is not suitable for settings like OCR. In this work, we propose FrugalMCT, a principled framework that adaptively selects the APIs to use for different data in an online fashion while respecting user's budget. The API selection problem is cast as an integer linear program, which we show has a special structure that we leverage to develop an efficient online API selector with strong performance guarantees. We conduct systematic experiments using ML APIs from Google, Microsoft, Amazon, IBM, Tencent and other providers for tasks including multi-label image classification, scene text recognition and named entity recognition. Across diverse tasks, FrugalMCT can achieve over 90% cost reduction while matching the accuracy of the best single API, or up to 8% better accuracy while matching the best API's cost.


title: Extract the information from the big data with randomly distributed noise

abstract: In this manuscript, a purely data driven statistical regularization method is proposed for extracting the information from big data with randomly distributed noise. Since the variance of the noise maybe large, the method can be regarded as a general data preprocessing method in ill-posed problems, which is able to overcome the difficulty that the traditional regularization method unable to solve, and has superior advantage in computing efficiency. The unique solvability of the method is proved and a number of conditions are given to characterize the solution. The regularization parameter strategy is discussed and the rigorous upper bound estimation of confidence interval of the error in $L^2$ norm is established. Some numerical examples are provided to illustrate the appropriateness and effectiveness of the method.